Logarithmic diameter bounds for some Cayley graphs

Let S ⊂ GL n ⁢ ( Z ) S\subset\mathrm{GL}_{n}(\mathbb{Z}) be a finite symmetric set. We show that if the Zariski closure of Γ = ⟨ S ⟩ \Gamma=\langle S\rangle is a product of special linear groups or a special affine linear group, then the diameter of the Cayley graph Cay ⁡ ( Γ / Γ ⁢ ( q ) , π q ⁢ ( S ) ) \operatorname{Cay}(\Gamma/\Gamma(q),\pi_{q}(S)) is O ⁢ ( log ⁡ q ) O(\log q) , where 𝑞 is an arbitrary positive integer, π q : Γ → Γ / Γ ⁢ ( q ) \pi_{q}\colon\Gamma\to\Gamma/\Gamma(q) is the canonical projection induced by the reduction modulo 𝑞, and the implied constant depends only on 𝑆.

Extended Hamilton–Jacobi Theory, Symmetries and Integrability by Quadratures

In this paper, we study the extended Hamilton–Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group G on a manifold M and a G-invariant vector field X on M, we construct complete solutions of the Hamilton–Jacobi equation (HJE) related to X (and a given fibration on M). We do that along each open subset U⊆M, such that πU has a manifold structure and πU:U→πU, the restriction to U of the canonical projection π:M→M/G, is a surjective submersion. If XU is not vertical with respect to πU, we show that such complete solutions solve the reconstruction equations related to XU and G, i.e., the equations that enable us to write the integral curves of XU in terms of those of its projection on πU. On the other hand, if XU is vertical, we show that such complete solutions can be used to construct (around some points of U) the integral curves of XU up to quadratures. To do that, we give, for some elements ξ of the Lie algebra g of G, an explicit expression up to quadratures of the exponential curve expξt, different to that appearing in the literature for matrix Lie groups. In the case of compact and of semisimple Lie groups, we show that such expression of expξt is valid for all ξ inside an open dense subset of g.

The Fourier transform of thick distributions

We first construct a space [Formula: see text] whose elements are test functions defined in [Formula: see text] the one point compactification of [Formula: see text] that have a thick expansion at infinity of special logarithmic type, and its dual space [Formula: see text] the space of sl-thick distributions. We show that there is a canonical projection of [Formula: see text] onto [Formula: see text] We study several sl-thick distributions and consider operations in [Formula: see text] We define and study the Fourier transform of thick test functions of [Formula: see text] and thick tempered distributions of [Formula: see text] We construct isomorphisms [Formula: see text] [Formula: see text] that extend the Fourier transform of tempered distributions, namely, [Formula: see text] and [Formula: see text] where [Formula: see text] are the canonical projections of [Formula: see text] or [Formula: see text] onto [Formula: see text] We determine the Fourier transform of several finite part regularizations and of general thick delta functions.

Max-projective modules

Weakening the notion of [Formula: see text]-projectivity, a right [Formula: see text]-module [Formula: see text] is called max-projective provided that each homomorphism [Formula: see text], where [Formula: see text] is any maximal right ideal, factors through the canonical projection [Formula: see text]. We study and investigate properties of max-projective modules. Several classes of rings whose injective modules are [Formula: see text]-projective (respectively, max-projective) are characterized. For a commutative Noetherian ring [Formula: see text], we prove that injective modules are [Formula: see text]-projective if and only if [Formula: see text], where [Formula: see text] is [Formula: see text] and [Formula: see text] is a small ring. If [Formula: see text] is right hereditary and right Noetherian then, injective right modules are max-projective if and only if [Formula: see text], where [Formula: see text] is a semisimple Artinian and [Formula: see text] is a right small ring. If [Formula: see text] is right hereditary then, injective right modules are max-projective if and only if each injective simple right module is projective. Over a right perfect ring max-projective modules are projective. We discuss the existence of non-perfect rings whose max-projective right modules are projective.

Oscillation free robust adaptive synchronization of chaotic systems with parametric uncertainties

The complexity of the closed-loop system, short transient response time, and fast synchronization error convergence rates are the three basic parameters that limit hacking in the data encryption and secure the communication systems. This paper addresses the following two challenges: The full-order synchronization (FOS) of two parametrically excited second-order nonlinear pendulum (PENP) chaotic systems with uncertain parameters. The reduced-order synchronization (ROS) between the canonical projection part of an uncertain third-order chaotic Rossler and the uncertain PENP systems. This article designs a new robust adaptive synchronization control (RASC) algorithm to address the above two challenges. The proposed controller achieves the FOS and ROS in a shorter transient time, and the synchronization error signals converge to the origin with faster rates in the presence of bounded unknown state-dependent and time-dependent disturbances. The Lyapunov direct method verifies this convergence behavior. The paper provides parameters updated laws that confirm the convergence of the uncertain parameters to some fixed values. The controller does not cancel the nonlinear terms of the plant; this property of the controller keeps the nonlinear terms in the closed-loop that results in the enhanced complexity of the dynamical system. The proposed RASC strategy is successful in synthesizing oscillation free convergence of the synchronization error signals to the origin for reducing the transient time and guarantees the asymptotic stability at the origin. The simulation results endorse the theoretical findings.

Elliptic curves over the ring R

Let Fq be a finite field of q elements, where q is a power of a prime number p greater than or equal to 5. In this paper, we study the elliptic curve denoted Ea,b(Fq[e]) over the ring Fq[e], where e2 = e and (a,b) ∈ (Fq[e])2. In a first time, we study the arithmetic of this ring. In addition, using the Weierstrass equation, we define the elliptic curve Ea,b(Fq[e]) and we will show that Eπ0(a),π0(b)(Fq) and Eπ1(a),π1(b)(Fq) are two elliptic curves over the field Fq, where π0 and π1 are respectively the canonical projection and the sum projection of coordinates of X ∈Fq[e]. Precisely, we give a bijection between the sets Ea,b(Fq[e]) and Eπ0(a),π0(b)(Fq)×Eπ1(a),π1(b)(Fq).

Spectral gap property and strong ergodicity for groups of affine transformations of solenoids

Let $X$ be a solenoid, i.e. a compact, finite-dimensional, connected abelian group with normalized Haar measure $\unicode[STIX]{x1D707}$, and let $\unicode[STIX]{x1D6E4}\rightarrow \operatorname{Aff}(X)$ be an action of a countable discrete group $\unicode[STIX]{x1D6E4}$ by continuous affine transformations of $X$. We show that the probability measure preserving action $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ does not have the spectral gap property if and only if there exists a $p_{\text{a}}(\unicode[STIX]{x1D6E4})$-invariant proper subsolenoid $Y$ of $X$ such that the image of $\unicode[STIX]{x1D6E4}$ in $\operatorname{Aff}(X/Y)$ is a virtually solvable group, where $p_{\text{a}}:\operatorname{Aff}(X)\rightarrow \operatorname{Aut}(X)$ is the canonical projection. When $\unicode[STIX]{x1D6E4}$ is finitely generated or when $X$ is the $a$-adic solenoid for an integer $a\geq 1$, the subsolenoid $Y$ can be chosen so that the image $\unicode[STIX]{x1D6E4}$ in $\operatorname{Aff}(X/Y)$ is a virtually abelian group. In particular, an action $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ by affine transformations on a solenoid $X$ has the spectral gap property if and only if $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ is strongly ergodic.

A minimal realization for affine control systems on connected Lie groups

In this work, we study minimal realization problem for an affine control system [Formula: see text] on a connected Lie group [Formula: see text]. We construct a minimal realization by using a canonical projection and by characterizing indistinguishable points of the system.