Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Quantum Fourier Transform-Based Arithmetic Logic Unit on a Quantum Processor

This study proposes and construct a primitive quantum arithmetic logic unit (qALU) based on the quantum Fourier transform (QFT). The qALU is capable of performing arithmetic ADD (addition) and logic NAND gate operations. It designs a scalable quantum circuit and presents the circuits for driving ADD and NAND operations on two-input and four-input quantum channels, respectively. By comparing the required number of quantum gates for serial and parallel architectures in executing arithmetic addition, it evaluates the performance. It also execute the proposed quantum Fourier transform-based qALU design on real quantum processor hardware provided by IBM. The results demonstrate that the proposed circuit can perform arithmetic and logic operations with a high success rate. Furthermore, it discusses in detail the potential implementations of the qALU circuit in the field of computer science, highlighting the possibility of constructing a soft-core processor on a quantum processing unit.     

Travelling wave mathematical analysis and efficient numerical resolution for a one-dimensional model of solid propellant combustion

We investigate a model of solid propellant combustion involving surface pyrolysis coupled to finite activation energy gas-phase combustion. Existence and uniqueness of a travelling wave solution are established by extending dynamical system tools classically used for premixed flames, dealing with the additional difficulty arising from the surface regression and pyrolysis. An efficient shooting method allows to solve the problem in phase space without resorting to space discretisation nor fixed-point Newton iterations. The results are compared to solutions from a CFD code developed at ONERA, assessing the efficiency and potential of the method, and the impact of the modelling assumptions is evaluated through parametric studies.     

Exact partition functions and correlation functions of multiple Hamiltonian walks on the Manhattan lattice

This is a general and exact study of multiple Hamiltonian walks (HAW) filling the two-dimensional (2D) Manhattan lattice. We generalize the original exact solution for a single HAW by Kasteleyn to a system ofmultiple closed walks, aimed at modeling a polymer melt. In 2D, two basic nonequivalent topological situations are distinguished. (1) the Hamiltonian loops are allrooted andcontractible to a point:adjacent one to another, and, on a torus,homotopic to zero. (2) the loops can encircle one another and, on a torus, canwind around it. Forcase 1, the grand canonical partition function and multiple correlation functions are calculated exactly as those of multiple rooted spanningtrees or of a massive 2Dfree field, critical at zero mass (zero fugacity). The conformally invariant continuum limit on a Manhattantorus is studied in detail. The melt entropy is calculated exactly. We also consider the relevant effect of free boundary conditions. The number of single HAWs on Manhattan lattices with other perimeter shapes (rectangular, Kagomé, triangular, and arbitrary) is studied and related to the spectral theory of the Dirichlet Laplacian. This allows the calculation of exact shape-dependent configuration exponents y. An exact surface critical exponent is obtained. Forcase 2, nested and winding Hamiltonian circuits are allowed. An exact equivalence to thecritical Q-state Potts model exists, whereQ ^1/2 is the walk fugacity. The Hamiltonian system is then always critical (forQ<-4). The exact critical exponents, in infinite numbers, are universal and identical to those of theO(n=Q ^1/2) model in its low-temperature phase, i.e. are those of dense polymers. The exact critical partition functions on the torus are given from conformai invariance theory. These models 1 and 2 yield the two first exactly solved models of polymer melts.     

Polarized light and X-ray precession study of the ferroelastic domains of YBa2Cu3O7-δ

The ferroelastic domains of the orthorhombic phase of YBa₂Cu₃O_7- have been observed in polarized light on ceramics and single crystals. By combining polarized light microscopy with the X-ray precession technique, the correlation of the orientation of the orthorhombica- andb-axes with that of thea-b-plane bireflectance, reflection dichroism, transmission dichroism (at a thickness of about 1m), reflection tints generated with compensators and upon uncrossing of polars, as well as the orientation of etch pits has been realized on ferroelastic single domains, bi-domains and more complicated domain patterns. Four ferroelastic orthorhombic domain states have been identified, at variance with former group theoretical considerations, predicting only two states. Ensembles of lamellar domains beyond optical resolution generate strong bireflectance with principal axes rotated by 45° relative to the truea, b-directions.     

The vacuum uv emission spectrum of the 15N22+ molecular ion

The vacuum uv emission of the ¹⁵N₂²⁺ ion has been recorded for the first time. Rotational analysis of two bands, analogous to those already observed in the case of the natural isotope, confirm their assignment to the D¹Σ_u⁺-X¹Σ_g⁺ (0, 0) and (1, 1) bands. More precise data are also obtained for the ³Σ_g^? state which perturbs ground state vibrational levels.     

Etude d'impulsions lumineuses breves par interferometrie a deux ondes

We have studied the evolution of the light transmitted through matter in which an optical breakdown is taking place. With a two-waves interferometer made a birefringent plate between polarizers we get informations about the time correlation function of the fields. With an interferometer made of two identical harmonic generating plates separated by a dispersion medium, we learn about the correlation function of the square of the fields. Both systems act as spectral filters with a notch cosine-shaped centered at the incident frequency. We have also observed a transient angular spreading of the beam not previously emphasized which brings a further complication in the picture.     

Single-ion approach to the susceptibility of an intermediate valence compound paramagnetic Imse

The magnetic properties of an intermediate valence compound are discussed within a single-ion framework. The effects of configuration mixing, crystalline electric fields, and external magnetic fields are included in the hamiltonian. The method incorporates in one single consistent approach both coherent (quantum) and incoherent (thermal) fluctuations. Numerical evaluation of the susceptibility and field dependent magnetization with parameters appropriate for TmSe yields results in good agreement with experiment.     

On the convergence of the Zassenhaus formula

The domain of convergence of the Zassenhaus formula in a Banach algebra is studied. This domain is shown to be strictly larger than the one which was already known.     

124Sn target residues in the interaction of heavy ions at intermediate energies

Cross sections, recoil energy distributions for residues produced by¹⁴N,²⁰Ne,⁴⁰Ar on¹²⁴Sn targets have been measured in the 10–70 MeV/u intermediate energy range. As the projectile energy increases, processes as complete fusion-evaporation, incomplete fusion-evaporation and intranuclear cascade-evaporation participate progressively in the nuclear collisions. Peculiar residues corresponding to a gain of 4, 5 or even 6 protons for the¹²⁴Sn target have been observed in the 30–50 MeV energy range.