The Tutte-Grothendieck group of a convergent alphabetic rewriting system

The two operations, deletion and contraction of an edge, on multigraphs directly lead to the Tutte polynomial which satisfies a universal problem. As observed by Brylawski in terms of order relations, these operations may be interpreted as a particular instance of a general theory which involves universal invariants like the Tutte polynomial, and a universal group, called the Tutte-Grothendieck group. In this contribution, Brylawski's theory is extended in two ways: first of all, the order relation is replaced by a string rewriting system, and secondly, commutativity by partial commutations (that permits a kind of interpolation between non commutativity and full commutativity). This allows us to clarify the relations between the semigroup subject to rewriting and the Tutte-Grothendieck group: the later is actually the Grothendieck group completion of the former, up to the free adjunction of a unit (this was even not mention by Brylawski), and normal forms may be seen as universal invariants. Moreover we prove that such universal constructions are also possible in case of a non convergent rewriting system, outside the scope of Brylawski's work.Comment: 17 page

Doubly Perfect Nonlinear Boolean Permutations

Due to implementation constraints the XOR operation is widely used in order to combine plaintext and key bit-strings in secret-key block ciphers. This choice directly induces the classical version of the differential attack by the use of XOR-kind differences. While very natural, there are many alternatives to the XOR. Each of them inducing a new form for its corresponding differential attack (using the appropriate notion of difference) and therefore block-ciphers need to use S-boxes that are resistant against these nonstandard differential cryptanalysis. In this contribution we study the functions that offer the best resistance against a differential attack based on a finite field multiplication. We also show that in some particular cases, there are robust permutations which offers the best resistant against both multiplication and exponentiation base differential attacks. We call them doubly perfect nonlinear permutations

Direct simulation of compressible reacting flows

A research program for direct numerical simulations of compressible reacting flows is described. Two main research subjects are proposed: the effect of pressure waves on turbulent combustion and the use of direct simulation methods to validate flamelet models for turbulent combustion. The interest of a compressible code to study turbulent combustion is emphasized through examples of reacting shear layer and combustion instabilities studies. The choice of experimental data to compare with direct simulation results is discussed. A tentative program is given and the computation cases to use are described as well as the code validation runs

The actual impedance of non-reflecting boundary conditions : implications for the computation of resonators

Non-reflecting boundary conditions are essential elements in the computation of many compressible flows: such simulations are very sensitive to the treatment of acoustic waves at boundaries. Non-reflecting conditions allow acoustic waves to propagate through boundaries with zero or small levels of reflection into the domain. However, perfectly non-reflecting conditions must be avoided because they can lead to ill-posed problems for the mean flow. Various methods have been proposed to construct boundary conditions which can be sufficiently non-reflecting for the acoustic field while still making the mean-flow problem well posed. This paper analyses a widely-used technique for non-reflecting outlets (Rudy and Strikwerda, Poinsot and Lele). It shows that the correction introduced by these authors can lead to large reflection levels and non-physical resonant behaviors. A simple scaling is proposed to evaluate the relaxation coefficient used in theses methods for a non-reflecting outlet. The proposed scaling is tested for simple cases (ducts) both theoretically and numerically

M\"obius inversion formula for monoids with zero

The M\"obius inversion formula, introduced during the 19th century in number theory, was generalized to a wide class of monoids called locally finite such as the free partially commutative, plactic and hypoplactic monoids for instance. In this contribution are developed and used some topological and algebraic notions for monoids with zero, similar to ordinary objects such as the (total) algebra of a monoid, the augmentation ideal or the star operation on proper series. The main concern is to extend the study of the M\"obius function to some monoids with zero, i.e., with an absorbing element, in particular the so-called Rees quotients of locally finite monoids. Some relations between the M\"obius functions of a monoid and its Rees quotient are also provided.Comment: 12 pages, r\'esum\'e \'etendu soumis \`a FPSAC 201

Partial monoids: associativity and confluence

A partial monoid $P$ is a set with a partial multiplication $\times$ (and total identity $1_P$) which satisfies some associativity axiom. The partial monoid $P$ may be embedded in a free monoid $P^*$ and the product $\star$ is simulated by a string rewriting system on $P^*$ that consists in evaluating the concatenation of two letters as a product in $P$, when it is defined, and a letter $1_P$ as the empty word $\epsilon$. In this paper we study the profound relations between confluence for such a system and associativity of the multiplication. Moreover we develop a reduction strategy to ensure confluence and which allows us to define a multiplication on normal forms associative up to a given congruence of $P^*$. Finally we show that this operation is associative if, and only if, the rewriting system under consideration is confluent

Curvature and confinement effects for flame speed measurements in laminar spherical and cylindrical flames.

This paper discusses methods used to obtain laminar flame speeds in spherical laminar premixed flames. Most recent studies express the laminar flame consumption speed as ρb/ρudR/dt, where R is the flame radius and ρb/ρu is the ratio of the burnt to the fresh gas density (ρb is evaluated at chemical equilibrium and supposed to be constant). This paper investigates the validity of this assumption by reconsidering it in a more general framework. Other formulae are derived and tested on a DNS of cylindrical flames (methane/air and octane/air). Results show that curvature and confinement effects lead to variations of ρb and ρu and to significant errors on the flame speed. Another expression (first proposed by Bradley and Mitcheson in 1976) is derived where no density evaluation is required and only pressure and flame radius evolution are used. It is shown to provide more precise results for the consumption speed than ρb/ρudR/dt because it takes into account curvature and confinement of the flame in the closed bomb

Experimental and numerical study of the accuracy of flame-speed measurements for methane/air combustion in a slot burner

Measuring the velocities of premixed laminar flames with precision remains a controversial issue in the combustion community. This paper studies the accuracy of such measurements in two-dimensional slot burners and shows that while methane/air flame speeds can be measured with reasonable accuracy, the method may lack precision for other mixtures such as hydrogen/air. Curvature at the flame tip, strain on the flame sides and local quenching at the flame base can modify local flame speeds and require correc- tions which are studied using two-dimensional DNS. Numerical simulations also provide stretch, dis- placement and consumption flame speeds along the flame front. For methane/air flames, DNS show that the local stretch remains small so that the local consumption speed is very close to the unstretched premixed flame speed. The only correction needed to correctly predict flame speeds in this case is due to the finite aspect ratio of the slot used to inject the premixed gases which induces a flow acceleration in the measurement region (this correction can be evaluated from velocity measurement in the slot section or from an analytical solution). The method is applied to methane/air flames with and without water addition and results are compared to experimental data found in the literature. The paper then discusses the limitations of the slot-burner method to measure flame speeds for other mixtures and shows that it is not well adapted to mixtures with a Lewis number far from unity, such as hydrogen/air flames

Large-Eddy Simulation of combustion instabilities in a variable-length combustor.

This article presents a simulation of a model rocket combustor with continuously variable acoustic properties thanks to a variable-length injector tube. Fully compressible Large-Eddy Simulations are conducted using the AVBP code. An original flame stabilization mechanism is uncovered where the recirculation of hot gases in the corner recirculation zone creates a triple flame structure. An unstable operating point is then chosen to investigate the mech- anism of the instability. The simulations are compared to experimental results in terms of frequency and mode structure. Two-dimensional axi-symmetric computations are com- pared to full 3D simulations in order to assess the validity of the axi-symmetry assumption for the prediction of mean and unsteady features of this flow. Despite the inaccuracies in- herent to the 2D description of a turbulent flow, for this configuration and the particular operating point investigated, the axi-symmetric simulation qualitatively reproduces some features of the instability

On the relative impact of subgrid-scale modelling and conjugate heat transfer in LES of hot jets in cross-flow over cold plates

This work describes numerical simulations of a hot jet in cross-flow with applications to anti-ice systems of aircraft engine nacelles. Numerical results are compared with experimental measurements obtained at ONERA to evaluate the performances of LES in this industrial context. The combination of complex geometries requiring unstructured meshes and high Reynolds number does not allow the resolution of boundary layers so that wall models must be employed. In this framework, the relative influence of subgrid-scale modelling and conjugate heat transfer in LESs of aerothermal flows is evaluated. After a general overview of the transverse jet simulation results, a LES coupled with a heat transfer solver in the walls is used to show that thermal boundary conditions at the wall have more influence on the results than subgrid scale models. Coupling fluid flow and heat transfer in solids simulations is the only method to specify their respective thermal boundary conditions