A função e natureza das convenções e hipóteses segundo o convencionalismo francês da virada do século XIX para o XX: relações entre ciência e metafísica nas obras de Henri Poincaré, Pierre Duhem e Édouard Le Roy

Nesse trabalho apresentamos a função e determinamos a natureza das convenções e hipóteses para os fundamentos científicos segundo a corrente convencionalista que surgiu na França na virada do século XIX para o XX, composta por Henri Poincaré, Pierre Duhem e Édouard Le Roy. Além disso, analisamos a relação que as convenções e hipóteses podem estabelecer com teses metafísicas através dos critérios utilizados pelos cientistas para determinar a preferência por certas teorias. Para isso, promovemos uma interpretação imanente das obras publicadas entre 1891 e 1905. Como resultado, revelamos que os autores, apesar de serem classificados como pertencentes a uma mesma corrente, não possuem apenas posições comuns, mas também divergências. Poincaré e Le Roy concordam que as convenções geométricas são escolhidas de acordo com o critério de conveniência. Contudo, eles discordam sobre o valor que a conveniência agrega ao conhecimento científico. Em relação aos fenômenos naturais, os três autores concordam que a realidade não pode ser descrita univocamente por um mesmo conjunto de convenções e hipóteses. Porém, Poincaré e Duhem acreditam que há critérios que tornam umas teorias mais satisfatórias que outras. Analisamos os critérios experimentais, racionais e axiológicos que justificam a satisfação dos cientistas com certas teorias e apontamos como estes critérios se relacionam com a metafísica. Concluímos que os convencionalistas, mesmo que cautelosamente e de modo implícito, buscaram se aproximar da metafísica com o intuito de justificar a própria atividade científica.

La philosophie géométrique de Henri Poincaré,

Published also as Thèse--Univ. de Paris.

Il dibattito sull'essenza della matematica. Scienza della natura o libera invenzione della mente umana?

Questa dissertazione si concentra sul dibattito circa l’essenza della matematica a partire dalla nascita delle geometrie non euclidee. Essa è una scienza della natura o una costruzione (e dunque una libera invenzione) della mente umana? Trattando altresì della crisi dei fondamenti, e tenendo a mente le posizioni platoniste e costruttiviste, questa tesi analizza le risposte che, da fine Ottocento in poi, diedero Jules-Henri Poincaré, Bertrand Russell, L.E.J. Brouwer e David Hilbert, e con loro le varie correnti convenzionaliste, logiciste, intuizioniste e formaliste.

On polynomials with given Hilbert function and applications

Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for the dimension of cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur.

Underlying Event measurements in pp collisions at root s=0.9 and 7 TeV with the ALICE experiment at the LHC

We present measurements of Underlying Event observables in pp collisions at root s = 0 : 9 and 7 TeV. The analysis is performed as a function of the highest charged-particle transverse momentum p(T),L-T in the event. Different regions are defined with respect to the azimuthal direction of the leading (highest transverse momentum) track: Toward, Transverse and Away. The Toward and Away regions collect the fragmentation products of the hardest partonic interaction. The Transverse region is expected to be most sensitive to the Underlying Event activity. The study is performed with charged particles above three different p(T) thresholds: 0.15, 0.5 and 1.0 GeV/c. In the Transverse region we observe an increase in the multiplicity of a factor 2-3 between the lower and higher collision energies, depending on the track p(T) threshold considered. Data are compared to PYTHIA 6.4, PYTHIA 8.1 and PHOJET. On average, all models considered underestimate the multiplicity and summed p(T) in the Transverse region by about 10-30%.

Automated proof for formal indistinguishability and its applications

Bana et al. proposed the relation formal indistinguishability (FIR), i.e. an equivalence between two terms built from an abstract algebra. Later Ene et al. extended it to cover active adversaries and random oracles. This notion enables a framework to verify computational indistinguishability while still offering the simplicity and formality of symbolic methods. We are in the process of making an automated tool for checking FIR between two terms. First, we extend the work by Ene et al. further, by covering ordered sorts and simplifying the way to cope with random oracles. Second, we investigate the possibility of combining algebras together, since it makes the tool scalable and able to cover a wide class of cryptographic schemes. Specially, we show that the combined algebra is still computationally sound, as long as each algebra is sound. Third, we design some proving strategies and implement the tool. Basically, the strategies allow us to find a sequence of intermediate terms, which are formally indistinguishable, between two given terms. FIR between the two given terms is then guaranteed by the transitivity of FIR. Finally, we show applications of the work, e.g. on key exchanges and encryption schemes. In the future, the tool should be extended easily to cover many schemes. This work continues previous research of ours on use of compilers to aid in automated proofs for key exchange.

Uniqueness of the polar factorisation and projection of a vector-valued mapping

G.R. BURTON and R.J. DOUGLAS, Uniqueness of the polar factorisation and projection of a vector-valued mapping. Ann. I.H. Poincare ? A.N. 20 (2003), 405-418.

Scattering poles near the real axis for two strictly convex obstacles

Iantchenko, A., (2007) 'Scattering poles near the real axis for two strictly convex obstacles', Annales of the Institute Henri Poincar? 8 pp.513-568 RAE2008

On the positivity of the Jansen-He? operator for arbitrary mass

Iantchenko, A.; Jakuba?a-Amundsen, D.H., (2003) 'On the positivity of the Jansen-He? operator for arbitrary mass', Annales of the Institute Henri Poincar? 4 pp.1083-1099 RAE2008

L’épistémologie de Marcel Proust dans À la recherche du temps perdu : littérature et savoirs en 1900 : une pensée de l’imprévisible

La somme romanesque que représente À la recherche du temps perdu se constitue au prix d’une « recherche » qui est à prendre au pied de la lettre, et qui instaure le sujet connaissant en savant-chercheur face à son objet de savoir. Proust fait en effet du « savoir » la condition même du talent, et fait entreprendre à son héros une exploration qui se présente en priorité comme étant une quête de savoirs. Ce travail se situe dans le sillage de l’épistémocritique qui étudie l’inscription dans le texte littéraire des savoirs en général, tout en insistant sur les savoirs qui relèvent de la science. Notre but est de dégager la posture épistémique qui caractérise le narrateur de la Recherche face aux divers savoirs qu’il récolte au cours de ses observations. Le parcours cognitif du narrateur est examiné suivant les quatre grandes étapes de sa recherche, que nous redéfinissons en termes de paradigmes : le paradigme de l’Exploration, qui définit une « épistémologie de l’observateur » ; le paradigme de la Communication, qui définit une « épistémologie de l’homme social » et une « épistémologie de l’homme moderne » ; le paradigme de l’Introspection, qui prépare à l’élaboration d’une « épistémologie du personnage intérieur » ; et enfin, le paradigme de la Vocation, qui rassemble les réponses trouvées par le narrateur à la plupart des questionnements qui auront jalonné son parcours cognitif. Ce dernier paradigme se présente sous la forme d’une « épistémologie de la création », d’une « épistémologie du réel » et d’une « épistémologie du hasard ». Car en dépit d’une démarche qui apparaît soumise aux médiations culturelles, la recherche du héros proustien se présente comme une « pensée de l’imprévisible » : fortement déterminée par la recherche cognitive du protagoniste, elle demeure pourtant irréductible à cette seule recherche. Nous dégageons, pour terminer, le statut réservé à la science et aux savoirs positifs en regard de la découverte de la vocation, mais aussi par rapport à l’élaboration d’une théorie de la création littéraire : ces deux grands domaines du savoir sont-ils considérés par Proust comme inconciliables avec une priorité évidente de l’un sur l’autre ou, au contraire, participent-ils tous deux d’une manière égale à la connaissance et à la création artistique ?

The Stokes conjecture for waves with vorticity

We study stagnation points of two-dimensional steady gravity free-surface water waves with vorticity. We obtain for example that, in the case where the free surface is an injective curve, the asymptotics at any stagnation point is given either by the “Stokes corner flow” where the free surface has a corner of 120°, or the free surface ends in a horizontal cusp, or the free surface is horizontally flat at the stagnation point. The cusp case is a new feature in the case with vorticity, and it is not possible in the absence of vorticity. In a second main result we exclude horizontally flat singularities in the case that the vorticity is 0 on the free surface. Here the vorticity may have infinitely many sign changes accumulating at the free surface, which makes this case particularly difficult and explains why it has been almost untouched by research so far. Our results are based on calculations in the original variables and do not rely on structural assumptions needed in previous results such as isolated singularities, symmetry and monotonicity.

Eigenvalues of a one-dimensional Dirac operator pencil

We study the spectrum of a one-dimensional Dirac operator pencil, with a coupling constant in front of the potential considered as the spectral parameter. Motivated by recent investigations of graphene waveguides, we focus on the values of the coupling constant for which the kernel of the Dirac operator contains a square integrable function. In physics literature such a function is called a confined zero mode. Several results on the asymptotic distribution of coupling constants giving rise to zero modes are obtained. In particular, we show that this distribution depends in a subtle way on the sign variation and the presence of gaps in the potential. Surprisingly, it also depends on the arithmetic properties of certain quantities determined by the potential. We further observe that variable sign potentials may produce complex eigenvalues of the operator pencil. Some examples and numerical calculations illustrating these phenomena are presented.