Varieties of Cost Functions.

Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties. For instance, stabilisation monoids play the same role for cost functions as monoids do for regular languages. The purpose of this article is to further extend this algebraic approach by generalising two results on regular languages to cost functions: Eilenberg's varieties theorem and profinite equational characterisations of lattices of regular languages. This opens interesting new perspectives, but the specificities of cost functions introduce difficulties that prevent these generalisations to be straightforward. In contrast, although syntactic algebras can be defined for formal power series over a commutative ring, no such notion is known for series over semirings and in particular over the tropical semiring

Electrical conductance of a 2D packing of metallic beads under thermal perturbation

Electrical conductivity measurements on a 2D packing of metallic beads have been performed to study internal rearrangements in weakly pertubed granular materials. Small thermal perturbations lead to large non gaussian conductance fluctuations. These fluctuations are found to be intermittent and gathered in bursts. The distributions of the waiting time between to peaks is found to be a power law inside bursts. The exponent is independent of the bead network, the intensity of the perturbation and external stress. these bursts are interpreted as the signature of individual bead creep rather than collective vaults reorganisations. We propose a simple model linking the exponent of the waiting time distribution to the roughness exponent of the surface of the beads.Comment: 7 pages, 6 figure

Experimental study of granular surface flows via a fast camera: a continuous description

Depth averaged conservation equations are written for granular surface flows. Their application to the study of steady surface flows in a rotating drum allows to find experimentally the constitutive relations needed to close these equations from measurements of the velocity profile in the flowing layer at the center of the drum and from the flowing layer thickness and the static/flowing boundary profiles. The velocity varies linearly with depth, with a gradient independent of both the flowing layer thickness and the static/flowing boundary local slope. The first two closure relations relating the flow rate and the momentum flux to the flowing layer thickness and the slope are then deduced. Measurements of the profile of the flowing layer thickness and the static/flowing boundary in the whole drum explicitly give the last relation concerning the force acting on the flowing layer. Finally, these closure relations are compared to existing continuous models of surface flows.Comment: 20 pages, 11 figures, submitted to Phys. FLuid

On the properties of steady states in turbulent axisymmetric flows

We experimentally study the properties of mean and most probable velocity fields in a turbulent von K\'arm\'an flow. These fields are found to be described by two families of functions, as predicted by a recent statistical mechanics study of 3D axisymmetric flows. We show that these functions depend on the viscosity and on the forcing. Furthermore, when the Reynolds number is increased, we exhibit a tendency for Beltramization of the flow, i.e. a velocity-vorticity alignment. This result provides a first experimental evidence of nonlinearity depletion in non-homogeneous non-isotropic turbulent flow.Comment: latex prl-stationary-051215arxiv.tex, 9 files, 6 figures, 4 pages (http://www-drecam.cea.fr/spec/articles/S06/008/

Fluctuations for the Ginzburg-Landau ∇ϕ\nabla \phi Interface Model on a Bounded Domain

We study the massless field on $D_n = D \cap \tfrac{1}{n} \Z^2$, where $D \subseteq \R^2$ is a bounded domain with smooth boundary, with Hamiltonian \CH(h) = \sum_{x \sim y} \CV(h(x) - h(y)). The interaction \CV is assumed to be symmetric and uniformly convex. This is a general model for a $(2+1)$-dimensional effective interface where $h$ represents the height. We take our boundary conditions to be a continuous perturbation of a macroscopic tilt: $h(x) = n x \cdot u + f(x)$ for $x \in \partial D_n$, $u \in \R^2$, and $f \colon \R^2 \to \R$ continuous. We prove that the fluctuations of linear functionals of $h(x)$ about the tilt converge in the limit to a Gaussian free field on $D$, the standard Gaussian with respect to the weighted Dirichlet inner product $(f,g)_\nabla^\beta = \int_D \sum_i \beta_i \partial_i f_i \partial_i g_i$ for some explicit $\beta = \beta(u)$. In a subsequent article, we will employ the tools developed here to resolve a conjecture of Sheffield that the zero contour lines of $h$ are asymptotically described by $SLE(4)$, a conformally invariant random curve.Comment: 58 page

Statistical mechanics of Beltrami flows in axisymmetric geometry: Equilibria and bifurcations

We characterize the thermodynamical equilibrium states of axisymmetric Euler-Beltrami flows. They have the form of coherent structures presenting one or several cells. We find the relevant control parameters and derive the corresponding equations of state. We prove the coexistence of several equilibrium states for a given value of the control parameter like in 2D turbulence [Chavanis and Sommeria, J. Fluid Mech. 314, 267 (1996)]. We explore the stability of these equilibrium states and show that all states are saddle points of entropy and can, in principle, be destabilized by a perturbation with a larger wavenumber, resulting in a structure at the smallest available scale. This mechanism is therefore reminiscent of the 3D Richardson energy cascade towards smaller and smaller scales. Therefore, our system is truly intermediate between 2D turbulence (coherent structures) and 3D turbulence (energy cascade). We further explore numerically the robustness of the equilibrium states with respect to random perturbations using a relaxation algorithm in both canonical and microcanonical ensembles. We show that saddle points of entropy can be very robust and therefore play a role in the dynamics. We evidence differences in the robustness of the solutions in the canonical and microcanonical ensembles. A scenario of bifurcation between two different equilibria (with one or two cells) is proposed and discussed in connection with a recent observation of a turbulent bifurcation in a von Karman experiment [Ravelet et al., Phys. Rev. Lett. 93, 164501 (2004)].Comment: 25 pages; 16 figure

Containment and equivalence of weighted automata: Probabilistic and max-plus cases

This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain

Is the Riemann zeta function in a short interval a 1-RSB spin glass ?

Fyodorov, Hiary & Keating established an intriguing connection between the maxima of log-correlated processes and the ones of the Riemann zeta function on a short interval of the critical line. In particular, they suggest that the analogue of the free energy of the Riemann zeta function is identical to the one of the Random Energy Model in spin glasses. In this paper, the connection between spin glasses and the Riemann zeta function is explored further. We study a random model of the Riemann zeta function and show that its two-overlap distribution corresponds to the one of a one-step replica symmetry breaking (1-RSB) spin glass. This provides evidence that the local maxima of the zeta function are strongly clustered.Comment: 20 pages, 1 figure, Minor corrections, References update

Evolution of turbulent spots in a parallel shear flow

The evolution of turbulent spots in a parallel shear flow is studied by means of full three-dimensional numerical simulations. The flow is bounded by free surfaces and driven by a volume force. Three regions in the spanwise spot cross-section can be identified: a turbulent interior, an interface layer with prominent streamwise streaks and vortices and a laminar exterior region with a large scale flow induced by the presence of the spot. The lift-up of streamwise streaks which is caused by non-normal amplification is clearly detected in the region adjacent to the spot interface. The spot can be characterized by an exponentially decaying front that moves with a speed different from that of the cross-stream outflow or the spanwise phase velocity of the streamwise roll pattern. Growth of the spots seems to be intimately connected to the large scale outside flow, for a turbulent ribbon extending across the box in downstream direction does not show the large scale flow and does not grow. Quantitatively, the large scale flow induces a linear instability in the neighborhood of the spot, but the associated front velocity is too small to explain the spot spreading.Comment: 10 pages, 10 Postscript figure