Breadth-first serialisation of trees and rational languages

We present here the notion of breadth-first signature and its relationship with numeration system theory. It is the serialisation into an infinite word of an ordered infinite tree of finite degree. We study which class of languages corresponds to which class of words and,more specifically, using a known construction from numeration system theory, we prove that the signature of rational languages are substitutive sequences.Comment: 15 page

Simulation of the elementary evolution operator with the motional states of an ion in an anharmonic trap

Following a recent proposal of L. Wang and D. Babikov, J. Chem. Phys. 137, 064301 (2012), we theoretically illustrate the possibility of using the motional states of a $Cd^+$ ion trapped in a slightly anharmonic potential to simulate the single-particle time-dependent Schr\"odinger equation. The simulated wave packet is discretized on a spatial grid and the grid points are mapped on the ion motional states which define the qubit network. The localization probability at each grid point is obtained from the population in the corresponding motional state. The quantum gate is the elementary evolution operator corresponding to the time-dependent Schr\"odinger equation of the simulated system. The corresponding matrix can be estimated by any numerical algorithm. The radio-frequency field able to drive this unitary transformation among the qubit states of the ion is obtained by multi-target optimal control theory. The ion is assumed to be cooled in the ground motional state and the preliminary step consists in initializing the qubits with the amplitudes of the initial simulated wave packet. The time evolution of the localization probability at the grids points is then obtained by successive applications of the gate and reading out the motional state population. The gate field is always identical for a given simulated potential, only the field preparing the initial wave packet has to be optimized for different simulations. We check the stability of the simulation against decoherence due to fluctuating electric fields in the trap electrodes by applying dissipative Lindblad dynamics.Comment: 31 pages, 8 figures. Revised version. New title, new figure and new reference

Noncommutative generalization of SU(n)-principal fiber bundles: a review

This is an extended version of a communication made at the international conference ``Noncommutative Geometry and Physics'' held at Orsay in april 2007. In this proceeding, we make a review of some noncommutative constructions connected to the ordinary fiber bundle theory. The noncommutative algebra is the endomorphism algebra of a SU(n)-vector bundle, and its differential calculus is based on its Lie algebra of derivations. It is shown that this noncommutative geometry contains some of the most important constructions introduced and used in the theory of connections on vector bundles, in particular, what is needed to introduce gauge models in physics, and it also contains naturally the essential aspects of the Higgs fields and its associated mechanics of mass generation. It permits one also to extend some previous constructions, as for instance symmetric reduction of (here noncommutative) connections. From a mathematical point of view, these geometrico-algebraic considerations highlight some new point on view, in particular we introduce a new construction of the Chern characteristic classes

On sl(2)-equivariant quantizations

By computing certain cohomology of Vect(M) of smooth vector fields we prove that on 1-dimensional manifolds M there is no quantization map intertwining the action of non-projective embeddings of the Lie algebra sl(2) into the Lie algebra Vect(M). Contrariwise, for projective embeddings sl(2)-equivariant quantization exists.Comment: 09 pages, LaTeX2e, no figures; to appear in Journal of Nonlinear Mathematical Physic

Decomposition of symmetric tensor fields in the presence of a flat contact projective structure

Let $M$ be an odd-dimensional Euclidean space endowed with a contact 1-form $\alpha$. We investigate the space of symmetric contravariant tensor fields on $M$ as a module over the Lie algebra of contact vector fields, i.e. over the Lie subalgebra made up by those vector fields that preserve the contact structure. If we consider symmetric tensor fields with coefficients in tensor densities, the vertical cotangent lift of contact form $\alpha$ is a contact invariant operator. We also extend the classical contact Hamiltonian to the space of symmetric density valued tensor fields. This generalized Hamiltonian operator on the symbol space is invariant with respect to the action of the projective contact algebra $sp(2n+2)$. The preceding invariant operators lead to a decomposition of the symbol space (expect for some critical density weights), which generalizes a splitting proposed by V. Ovsienko

Natural and projectively equivariant quantizations by means of Cartan Connections

The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas-Whitehead connections. We give a new proof of existence using the notion of Cartan projective connections and we obtain an explicit formula in terms of these connections. Our method yields the existence of a projectively equivariant quantization if and only if an \sl(m+1,\R)-equivariant quantization exists in the flat situation in the sense of [18], thus solving one of the problems left open by M. Bordemann.Comment: 13 page

Microscopic energy flows in disordered Ising spin systems

An efficient microcanonical dynamics has been recently introduced for Ising spin models embedded in a generic connected graph even in the presence of disorder i.e. with the spin couplings chosen from a random distribution. Such a dynamics allows a coherent definition of local temperatures also when open boundaries are coupled to thermostats, imposing an energy flow. Within this framework, here we introduce a consistent definition for local energy currents and we study their dependence on the disorder. In the linear response regime, when the global gradient between thermostats is small, we also define local conductivities following a Fourier dicretized picture. Then, we work out a linearized "mean-field approximation", where local conductivities are supposed to depend on local couplings and temperatures only. We compare the approximated currents with the exact results of the nonlinear system, showing the reliability range of the mean-field approach, which proves very good at high temperatures and not so efficient in the critical region. In the numerical studies we focus on the disordered cylinder but our results could be extended to an arbitrary, disordered spin model on a generic discrete structures.Comment: 12 pages, 6 figure

Temperature-induced crossovers in the static roughness of a one-dimensional interface

At finite temperature and in presence of disorder, a one-dimensional elastic interface displays different scaling regimes at small and large lengthscales. Using a replica approach and a Gaussian Variational Method (GVM), we explore the consequences of a finite interface width $\xi$ on the small-lengthscale fluctuations. We compute analytically the static roughness $B(r)$ of the interface as a function of the distance $r$ between two points on the interface. We focus on the case of short-range elasticity and random-bond disorder. We show that for a finite width $\xi$ two temperature regimes exist. At low temperature, the expected thermal and random-manifold regimes, respectively for small and large scales, connect via an intermediate `modified' Larkin regime, that we determine. This regime ends at a temperature-independent characteristic `Larkin' length. Above a certain `critical' temperature that we identify, this intermediate regime disappears. The thermal and random-manifold regimes connect at a single crossover lengthscale, that we compute. This is also the expected behavior for zero width. Using a directed polymer description, we also study via a second GVM procedure and generic scaling arguments, a modified toy model that provides further insights on this crossover. We discuss the relevance of the two GVM procedures for the roughness at large lengthscale in those regimes. In particular we analyze the scaling of the temperature-dependent prefactor in the roughness B(r)\sim T^{2 \text{\thorn}} r^{2 \zeta} and its corresponding exponent \text{\thorn}. We briefly discuss the consequences of those results for the quasistatic creep law of a driven interface, in connection with previous experimental and numerical studies