We review the continuous symmetry approach and apply it to find the solution, via the construction of constants of motion and infinitesimal symmetries, of the 3D Euler fluid equations in several instances of interest, without recourse to Noethers the
orem. We show that the vorticity field is a symmetry of the flow and therefore one can construct a Lie algebra of symmetries if the flow admits another symmetry. For steady Euler flows this leads directly to the distinction of (non-)Beltrami flows: an example is given where the topology of the spatial manifold determines whether the flow admits extra symmetries. Next, we study the stagnation-point-type exact solution of the 3D Euler fluid equations introduced by Gibbon et al. (Physica D, vol.132, 1999, pp.497-510) along with a one-parameter generalisation of it introduced by Mulungye et al. (J. Fluid Mech., vol.771, 2015, pp.468-502). Applying the symmetry approach to these models allows for the explicit integration of the fields along pathlines, revealing a fine structure of blowup for the vorticity, its stretching rate, and the back-to-labels map, depending on the value of the free parameter and on the initial conditions. Finally, we produce explicit blowup exponents and prefactors for a generic type of initial conditions.
The goal of this study is to analyze the fine structure of nonlinear modal interactions in different 1D Burgers and 3D Navier-Stokes flows. This analysis is focused on preferential alignments characterizing the phases of Fourier modes participating i
n triadic interactions, which are key to determining the nature of energy fluxes between different scales. We develop novel diagnostic tools designed to probe the level of coherence among triadic interactions realizing different flow scenarios. We consider extreme 1D viscous Burgers flows and 3D Navier-Stokes flows which are complemented by singularity-forming inviscid Burgers flows as well as viscous Burgers flows and Navier-Stokes flows corresponding to generic turbulent and simple unimodal initial data, such as the Taylor-Green vortex. The main finding is that while the extreme viscous Burgers and Navier-Stokes flows reveal the same relative level of enstrophy amplification by nonlinear effects, this behaviour is realized via modal interactions with vastly different levels of coherence. In the viscous Burgers flows the flux-carrying triads have phase values which saturate the nonlinearity thereby maximizing the energy flux towards small scales. On the other hand, in 3D Navier-Stokes flows with the extreme initial data the energy flux to small scales is realized by a very small subset of helical triads. The second main finding concerns the role of initial coherence. Comparison of the flows resulting from the extreme and generic initial conditions shows striking similarities between these two types of flows, for the 1D viscous Burgers equation as well as the 3D Navier-Stokes equation.
Evolution algebras are non-associative algebras that describe non-Mendelian hereditary processes and have connections with many other areas. In this paper we obtain necessary and sufficient conditions for a given algebra $A$ to be an evolution algebr
a. We prove that the problem is equivalent to the so-called $SDC$ $problem$, that is, the $simultaneous$ $diagonalisation$ $via$ $congruence$ of a given set of matrices. More precisely we show that an $n$-dimensional algebra $A$ is an evolution algebra if, and only if, a certain set of $n$ symmetric $ntimes n$ matrices ${M_{1}, ldots, M_{n}}$ describing the product of $A$ are $SDC$. We apply this characterisation to show that while certain classical genetic algebras (representing Mendelian and auto-tetraploid inheritance) are not themselves evolution algebras, arbitrarily small perturbations of these are evolution algebras. This is intriguing as evolution algebras model asexual reproduction unlike the classical ones.
We propose an image encryption scheme based on quasi-resonant Rossby/drift wave triads (related to elliptic surfaces) and Mordell elliptic curves (MECs). By defining a total order on quasi-resonant triads, at a first stage we construct quasi-resonant
triads using auxiliary parameters of elliptic surfaces in order to generate pseudo-random numbers. At a second stage, we employ an MEC to construct a dynamic substitution box (S-box) for the plain image. The generated pseudo-random numbers and S-box are used to provide diffusion and confusion, respectively, in the tested image. We test the proposed scheme against well-known attacks by encrypting all gray images taken from the USC-SIPI image database. Our experimental results indicate the high security of the newly developed scheme. Finally, via extensive comparisons we show that the new scheme outperforms other popular schemes.
The dynamics of a spherical body with a non-uniform mass distribution rolling on a plane were discussed by Sergey Chaplygin, whose 150th anniversary we celebrate this year. The Chaplygin top is a non-integrable system, with a colourful range of inter
esting motions. A special case of this system was studied by Edward Routh, who showed that it is integrable. The Routh sphere has centre of mass offset from the geometric centre, but it has an axis of symmetry through both these points, and equal moments of inertia about all axes orthogonal to the symmetry axis. There are three constants of motion: the total energy and two quantities involving the angular momenta. It is straightforward to demonstrate that these quantities, known as the Jellett and Routh constants, are integrals of the motion. However, their physical significance has not been fully understood. In this paper, we show how the integrals of the Routh sphere arise from Emmy Noethers invariance identity. We derive expressions for the infinitesimal symmetry transformations associated with these constants. We find the finite version of these symmetries and provide their geometrical interpretation. As a further demonstration of the power and utility of this method, we find the Noether symmetries and corresponding Noether integrals for a system introduced recently: the Chaplygin ball on a rotating turntable, confirming that the known integrals are directly obtained from Noethers theorem.
We provide a solution to the problem of simultaneous $diagonalization$ $via$ $congruence$ of a given set of $m$ complex symmetric $ntimes n$ matrices ${A_{1},ldots,A_{m}}$, by showing that it can be reduced to a possibly lower-dimensional problem whe
re the question is rephrased in terms of the classical problem of simultaneous $diagonalization$ $via$ $similarity$ of a new related set of matrices. We provide a procedure to determine in a finite number of steps whether or not a set of matrices is simultaneously diagonalizable by congruence. This solves a long standing problem in the complex case.
We study numerically the region of convergence of the normal form transformation for the case of the Charney-Hasagawa-Mima (CHM) equation to investigate whether certain finite amplitude effects can be described in normal coordinates. We do this by ta
king a Galerkin truncation of four Fourier modes making part of two triads: one resonant and one non-resonant, joined together by two common modes. We calculate the normal form transformation directly from the equations of motion of our reduced model, successively applying the algorithm to calculate the transformation up to $7^textrm{th}$ order to eliminate all non-resonant terms, and keeping up to $8$-wave resonances. We find that the amplitudes at which the normal form transformation diverge very closely match with the amplitudes at which a finite-amplitude phenomenon called $precession$ $resonance$ (Bustamante $et$ $al.$ 2014) occurs, characterised by strong energy transfers. This implies that the precession resonance mechanism cannot be explained using the usual methods of normal forms in wave turbulence theory, so a more general theory for intermediate nonlinearity is required.
In systems of N coupled anharmonic oscillators, exact resonant interactions play an important role in the energy exchange between normal modes. In the weakly nonlinear regime, those interactions may facilitate energy equipartition in Fourier space. W
e consider analytically resonant wave-wave interactions for the celebrated Fermi-Pasta-Ulam-Tsingou (FPUT) system. Using a number-theoretical approach based on cyclotomic polynomials, we show that the problem of finding exact resonances for a system of N particles is equivalent to a Diophantine equation whose solutions depend sensitively on the set of divisors of N. We provide an algorithm to construct all possible resonances, based on two methods: pairing-off and cyclotomic, which we introduce to build up explicit solutions to the 4-, 5- and 6-wave resonant conditions. Our results shed some light in the understanding of the long-standing FPUT paradox, regarding the sensitivity of the resonant manifolds with respect to the number of particles N and the corresponding time scale of the interactions leading to thermalisation. In this light we demonstrate that 6-wave resonances always exist for any N, while 5-wave resonances exist if N is divisible by 3 and N > 6. It is known (for finite N) that 4-wave resonances do not mix energy across the spectrum, so we investigate whether 5-wave resonances can produce energy mixing across a significant region of the Fourier spectrum by analysing the interconnected network of Fourier modes that can interact nonlinearly via resonances. The answer depends on the set of odd divisors of N that are not divisible by 3: the size of this set determines the number of dynamically independent components, corresponding to independent constants of motion (energies). We show that 6-wave resonances connect all these independent components, providing in principle a restoring mechanism for full-scale thermalisation.
During the 125th European Study Group with Industry held in Limassol, Cyprus, 5-9 December 2016, one of the participating companies, Engino.net Ltd, posed a very interesting challenge to the members of the study group. Engino.net Ltd is a Cypriot com
pany, founded in 2004, that produces a series of toy sets -- the Engino$^{circledR}$ toy sets -- consisting of a number of building blocks which can be assembled by pupils to compose toy models. Depending on the contents of a particular toy set, the company has developed a number of models that can be built utilizing the blocks present in the set, however the production of a step-by-step assembly manual for each model could only be done manually. The goal of the challenge posed by the company was to implement a procedure to automatically generate the assembly instructions for a given toy. In the present paper we propose a graph-theoretic approach to model the problem and provide a series of results to solve it by employing modifi
