Torus Actions of Complexity 1 and Their Local Properties

We consider an effective action of a compact (n ? 1)-torus on a smooth 2n-manifold with isolated fixed points. We prove that under certain conditions the orbit space is a closed topological manifold. In particular, this holds for certain torus actions with disconnected stabilizers. There is a filtration of the orbit manifold by orbit dimensions. The subset of orbits of dimensions less than n ? 1 has a specific topology, which is axiomatized in the notion of a sponge. In many cases the original manifold can be recovered from its orbit manifold, the sponge, and the weights of tangent representations at fixed points. We elaborate on the introduced notions using specific examples: the Grassmann manifold G_4,2, the complete flag manifold F₃, and quasitoric manifolds with an induced action of a subtorus of complexity 1.     

Fixed points indices and period-doubling cascades

Period-doubling cascades are among the most prominent features of many smooth one-parameter families of maps, \({F : \mathbb{R}\times\mathfrak{M} \rightarrow \mathfrak{M},}\) where \({\mathfrak{M}}\) is a locally compact manifold without boundary, typically \({\mathbb{R}^N}\). In particular, we investigate F(μ, ·) for \({\mu \in J = [\mu_{1}, \mu_{2}]}\), when F(μ ₁, ·) has only finitely many periodic orbits while F(μ ₂, ·) has exponential growth of the number of periodic orbits as a function of the period. For generic F, under additional hypotheses, we use a fixed point index argument to show that there are infinitely many “regular” periodic orbits at μ ₂. Furthermore, all but finitely many of these regular orbits at μ ₂ are tethered to their own period-doubling cascade. Specifically, each orbit ρ at μ ₂ lies in a connected component C(ρ) of regular orbits in \({J \times \mathfrak{M}}\); different regular orbits typically are contained in different components, and each component contains a period-doubling cascade. These components are one-manifolds of orbits, meaning that we can reasonably say that an orbit ρ is “tethered” or “tied” to a unique cascade. When F(μ ₂) has horseshoe dynamics, we show how to count the number of regular orbits of each period, and hence the number of cascades in \({J \times \mathfrak{M}}\).As corollaries of our main results, we give several examples, we prove that the map in each example has infinitely many cascades, and we count the cascades.     

On <Emphasis Type="Italic">n</Emphasis>-cubic Pyramid Algebras

In this paper we study a class of algebras having n-dimensional pyramid shaped quiver with n-cubic cells, which we called n-cubic pyramid algebras. This class of algebras includes the quadratic dual of the basic n-Auslander absolutely n-complete algebras introduced by Iyama. We show that the projective resolutions of the simples of n-cubic pyramid algebras can be characterized by n-cuboids, and prove that they are periodic. So these algebras are almost Koszul and (n?1)-translation algebras. We also recover Iyama’s cone construction for n-Auslander absolutely n-complete algebras using n-cubic pyramid algebras and the theory of n-translation algebras.     

On Stability of Thomson’s Vortex <Emphasis Type="Italic">N</Emphasis>-gon in the Geostrophic Model of the Point Bessel Vortices

A stability analysis of the stationary rotation of a system of N identical point Bessel vortices lying uniformly on a circle of radius R is presented. The vortices have identical intensity Γ and length scale γ^?1 > 0. The stability of the stationary motion is interpreted as equilibrium stability of a reduced system. The quadratic part of the Hamiltonian and eigenvalues of the linearization matrix are studied. The cases for N = 2,..., 6 are studied sequentially. The case of odd N = 2?+1 ≥ 7 vortices and the case of even N = 2_n ≥ 8 vortices are considered separately. It is shown that the (2? + 1)-gon is exponentially unstable for 0 < γR<R_*(N). However, this (2? + 1)-gon is stable for γR ≥ R_*(N) in the case of the linearized problem (the eigenvalues of the linearization matrix lie on the imaginary axis). The even N = 2n ≥ 8 vortex 2n-gon is exponentially unstable for R > 0.     

Numerical solution to generalized Lyapunov/Stein and rational Riccati equations in stochastic control

We consider the numerical solution of the generalized Lyapunov and Stein equations in \(\mathbb {R}^{n}\), arising respectively from stochastic optimal control in continuous- and discrete-time. Generalizing the Smith method, our algorithms converge quadratically and have an O(n³) computational complexity per iteration and an O(n²) memory requirement. For large-scale problems, when the relevant matrix operators are “sparse”, our algorithm for generalized Stein (or Lyapunov) equations may achieve the complexity and memory requirement of O(n) (or similar to that of the solution of the linear systems associated with the sparse matrix operators). These efficient algorithms can be applied to Newton’s method for the solution of the rational Riccati equations. This contrasts favourably with the naive Newton algorithms of O(n⁶) complexity or the slower modified Newton’s methods of O(n³) complexity. The convergence and error analysis will be considered and numerical examples provided.     

Bounding Averages Rigorously Using Semidefinite Programming: Mean Moments of the Lorenz System

We describe methods for proving bounds on infinite-time averages in differential dynamical systems. The methods rely on the construction of nonnegative polynomials with certain properties, similarly to the way nonlinear stability can be proved using Lyapunov functions. Nonnegativity is enforced by requiring the polynomials to be sums of squares, a condition which is then formulated as a semidefinite program (SDP) that can be solved computationally. Although such computations are subject to numerical error, we demonstrate two ways to obtain rigorous results: using interval arithmetic to control the error of an approximate SDP solution, and finding exact analytical solutions to relatively small SDPs. Previous formulations are extended to allow for bounds depending analytically on parametric variables. These methods are illustrated using the Lorenz equations, a system with three state variables (x, y, z) and three parameters \((\beta ,\sigma ,r)\). Bounds are reported for infinite-time averages of all eighteen moments \(x^ly^mz^n\) up to quartic degree that are symmetric under \((x,y)\mapsto (-x,-y)\). These bounds apply to all solutions regardless of stability, including chaotic trajectories, periodic orbits, and equilibrium points. The analytical approach yields two novel bounds that are sharp: the mean of \(z^3\) can be no larger than its value of \((r-1)^3\) at the nonzero equilibria, and the mean of \(xy^3\) must be nonnegative. The interval arithmetic approach is applied at the standard chaotic parameters to bound eleven average moments that all appear to be maximized on the shortest periodic orbit. Our best upper bound on each such average exceeds its value on the maximizing orbit by less than 1%. Many bounds reported here are much tighter than would be possible without computer assistance.     

On the stability of discrete tripole,quadrupole, Thomson’ vortex triangle and square in a two-layer/homogeneous rotating fluid

A two-layer quasigeostrophic model is considered in the f-plane approximation. The stability of a discrete axisymmetric vortex structure is analyzed for the case when the structure consists of a central vortex of arbitrary intensity Γ and two/three identical peripheral vortices. The identical vortices, each having a unit intensity, are uniformly distributed over a circle of radius R in a single layer. The central vortex lies either in the same or in another layer. The problem has three parameters (R, Γ, α), where α is the difference between layer thicknesses. A limiting case of a homogeneous fluid is also considered.A limiting case of a homogeneous fluid is also considered.The theory of stability of steady-state motions of dynamic systems with a continuous symmetry group G is applied. The two definitions of stability used in the study are Routh stability and G-stability. The Routh stability is the stability of a one-parameter orbit of a steady-state rotation of a vortex multipole, and the G-stability is the stability of a three-parameter invariant set O _G , formed by the orbits of a continuous family of steady-state rotations of a multipole. The problem of Routh stability is reduced to the problem of stability of a family of equilibria of a Hamiltonian system. The quadratic part of the Hamiltonian and the eigenvalues of the linearization matrix are studied analytically.The cases of zero total intensity of a tripole and a quadrupole are studied separately. Also, the Routh stability of a Thomson vortex triangle and square was proved at all possible values of problem parameters. The results of theoretical analysis are sustained by numerical calculations of vortex trajectories.     

On <Emphasis Type="Italic">s</Emphasis>-Elementary Super Frame Wavelets and Their Path-Connectedness

A super wavelet of length n is an n-tuple (ψ ₁,ψ ₂,…,ψ _n ) in the product space \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\), such that the coordinated dilates of all its coordinated translates form an orthonormal basis for \(\prod_{j=1}^{n} L^{2} (\mathbb{R})\). This concept is generalized to the so-called super frame wavelets, super tight frame wavelets and super normalized tight frame wavelets (or super Parseval frame wavelets), namely an n-tuple (η ₁,η ₂,…,η _n ) in \(\prod_{j=1}^{n}L^{2} (\mathbb{R})\) such that the coordinated dilates of all its coordinated translates form a frame, a tight frame, or a normalized tight frame for \(\prod_{j=1}^{n} L^{2}(\mathbb{R})\). In this paper, we study the super frame wavelets and the super tight frame wavelets whose Fourier transforms are defined by set theoretical functions (called s-elementary frame wavelets). An m-tuple of sets (E ₁,E ₂,…,E _m ) is said to be τ-disjoint if the E _j ’s are pair-wise disjoint under the 2π-translations. We prove that a τ-disjoint m-tuple (E ₁,E ₂,…,E _m ) of frame sets (i.e., η _j defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\) is a frame wavelet for L ²(?) for each j) lead to a super frame wavelet (η ₁,η ₂,…,η _m ) for \(\prod_{j=1}^{m} L^{2} (\mathbb{R})\) where \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\). In the case of super tight frame wavelets, we prove that (η ₁,η ₂,…,η _m ), defined by \(\widehat{\eta_{j}}=\frac{1}{\sqrt{2\pi}}\chi_{E_{j}}\), is a super tight frame wavelet for ∏_1≤j≤m L ²(?) with frame bound k ₀ if and only if each η _j is a tight frame wavelet for L ²(?) with frame bound k ₀ and that (E ₁,E ₂,…,E _m ) is τ-disjoint. Denote the set of all τ-disjoint s-elementary super frame wavelets for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}(m)\) and the set of all s-elementary super tight frame wavelets (with the same frame bound k ₀) for ∏_1≤j≤m L ²(?) by \(\mathfrak{S}^{k_{0}}(m)\). We further prove that \(\mathfrak{S}(m)\) and \(\mathfrak{S}^{k_{0}}(m)\) are both path-connected under the ∏_1≤j≤m L ²(?) norm, for any given positive integers m and k ₀.     

Homoclinic solutions for a class of second order discrete Hamiltonian systems

Consider the second order discrete Hamiltonian systems Δ2u(n-1)-L(n)u(n) + ▽W (n, u(n)) = f(n),where n ∈ Z, u ∈ RN and W : Z × RN → R and f : Z → RN are not necessarily periodic in n. Under some comparatively general assumptions on L, W and f , we establish results on the existence of homoclinic orbits. The obtained results successfully generalize those for the scalar case.     

Expansive homoclinic classes of generic <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-vector fields

Let γ be a hyperbolic closed orbit of a C ¹ vector field X on a compact C ^∞ manifold M of dimension n ≥ 3, and let H _X(γ) be the homoclinic class of X containing γ. In this paper, we prove that C ¹-generically, if H _X(γ) is expansive and isolated, then it is hyperbolic.     

Explore Stochastic Instabilities of Periodic Points by Transition Path Theory

We consider the noise-induced transitions from a linearly stable periodic orbit consisting of T periodic points in randomly perturbed discrete logistic map. Traditional large deviation theory and asymptotic analysis at small noise limit cannot distinguish the quantitative difference in noise-induced stochastic instabilities among the T periodic points. To attack this problem, we generalize the transition path theory to the discrete-time continuous-space stochastic process. In our first criterion to quantify the relative instability among T periodic points, we use the distribution of the last passage location related to the transitions from the whole periodic orbit to a prescribed disjoint set. This distribution is related to individual contributions to the transition rate from each periodic points. The second criterion is based on the competency of the transition paths associated with each periodic point. Both criteria utilize the reactive probability current in the transition path theory. Our numerical results for the logistic map reveal the transition mechanism of escaping from the stable periodic orbit and identify which periodic point is more prone to lose stability so as to make successful transitions under random perturbations.     

Some relations among multiplicative and <Emphasis Type="Italic">q</Emphasis>-additive functions

We give all solutions of the equation f(n) = g(n) + h(n) for every n ∈ ?, where f is a completely multiplicative, g is a 2-additive, and h is a 3-additive function. We also determine all completely multiplicative functions f and all q-additive functions g for which f(n) = g ²(n) for every n ∈ ?.     

The unique trace property of <Emphasis Type="Italic">n</Emphasis>-periodic product of groups

In this paper we prove the unique trace property of C*-algebras of n-periodic products of arbitrary family of groups without involutions. We show that the free Burnside groups B(m, n) and their automorphism groups also possess the unique trace property. Also, we show that every countable group is embedded into some 3-generated group with the unique trace property, while every countable periodic group of bounded period and without involutions is embedded into some 3- generated periodic group G of bounded period with the unique trace property. Moreover, as a group G can be chosen both simple and not simple group.     

Equicontinuity of maps on a dendrite with finite branch points

Let(T, d) be a dendrite with finite branch points and f be a continuous map from T to T. Denote byω(x,f) and P(f) the ω-limit set of x under f and the set of periodic points of,respectively. Write Ω(x,f) = {y| there exist a sequence of points x_k E T and a sequence of positive integers n_1 n_2 … such that lim_(k→∞)x_k=x and lim_(k→∞)f~(n_k)(x_k) =y}. In this paper, we show that the following statements are equivalent:(1) f is equicontinuous.(2) ω(x, f) = Ω(x,f) for any x∈T.(3) ∩_(n=1)~∞f~n(T) = P(f),and ω(x,f)is a periodic orbit for every x ∈ T and map h : x→ω(x,f)(x ET)is continuous.(4) Ω(x,f) is a periodic orbit for any x∈T.     

Cocyclic <Emphasis Type="Italic">n</Emphasis>-groups

We describe all cocyclic n-groups and the structure of (n, 2)-rings of endomorphisms of cocyclic n-groups. We prove that a cocyclic n-group is defined uniquely by its (n, 2)-ring of endomorphisms.     

<Emphasis Type="Italic">n</Emphasis>-Abelian and <Emphasis Type="Italic">n</Emphasis>-exact categories

We introduce n-abelian and n-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that n-cluster-tilting subcategories of abelian (resp. exact) categories are n-abelian (resp. n-exact). These results allow to construct several examples of n-abelian and n-exact categories. Conversely, we prove that n-abelian categories satisfying certain mild assumptions can be realized as n-cluster-tilting subcategories of abelian categories. In analogy with a classical result of Happel, we show that the stable category of a Frobenius n-exact category has a natural \((n+2)\)-angulated structure in the sense of Geiß–Keller–Oppermann. We give several examples of n-abelian and n-exact categories which have appeared in representation theory, commutative algebra, commutative and non-commutative algebraic geometry.     

Toroidal Geometry Stabilizing a Latitudinal Ring of Point Vortices on a Torus

We carry out the linear stability analysis of a polygonal ring configuration of N point vortices, called an N-ring, along the line of latitude \(\theta _0\) on a torus with the aspect ratio \(\alpha \). Deriving a criterion for the stability depending on the parameters N, \(\theta _0\) and \(\alpha \), we reveal how the aspect ratio \(\alpha \) contributes to the stability of the N-ring. While the N-ring necessarily becomes unstable when N is sufficiently large for fixed \(\alpha \), the stability is closely associated with the geometric property of the torus for variable \(\alpha \); for low aspect ratio \(\alpha \sim 1\), \(N=7\) is a critical number determining the stability of the N-ring when it is located along a certain range of latitudes, which is an analogous result to those in a plane and on a sphere. On the other hand, the stability is determined by the sign of curvature for high aspect ratio \(\alpha \gg 1\). That is to say, the N-ring is neutrally stable if it is located on the inner side of the toroidal surface with a negative curvature, while the N-ring on its outer side with a positive curvature is unstable. Furthermore, based on the linear stability analysis, we describe nonlinear evolution of the N-ring when it becomes unstable. It is difficult to deal with this problem, since the evolution equation of the N point vortices is formulated as a Hamiltonian system with N degrees of freedom, which is in general non-integrable. Thus, we reduce the Hamiltonian system to a simple integrable system by introducing a cyclic symmetry. Owing to this reduction, we successfully find some periodic orbits in the reduced system, whose local bifurcations and global transitions for variable \(\alpha \) are characterized in terms of the fundamental group of the torus.     

The Thouless formula for random non-Hermitian Jacobi matrices

Random non-Hermitian Jacobi matricesJ _n of increasing dimensionn are considered. We prove that the normalized eigenvalue counting measure ofJ _n converges weakly to a limiting measure μ asn→∞. We also extend to the non-Hermitian case the Thouless formula relating μ and the Lyapunov exponent of the second-order difference equation associated with the sequenceJ _n . The measure μ is shown to be log-Hölder continuous. Our proofs make use of (i) the theory of products of random matrices in the form first offered by H. Furstenberg and H. Kesten in 1960 [8], and (ii) some potential theory arguments.     

Peixoto graph of Morse-Smale diffeomorphisms on manifolds of dimension greater than three

Let M ⁿ be a closed orientable manifold of dimension greater than three and G ₁(M ⁿ ) be the class of orientation-preserving Morse-Smale diffeomorphisms on M ⁿ such that the set of unstable separatrices of every f ∈ G ₁(M ⁿ ) is one-dimensional and does not contain heteroclinic orbits. We show that the Peixoto graph is a complete invariant of topological conjugacy in G ₁(M ⁿ ).     

Minimal <Emphasis Type="Italic">P</Emphasis>-symmetric period problem of first-order autonomous Hamiltonian systems

Let P ∈ Sp(2n) satisfying P ^k = I _2n . We consider the minimal P-symmetric period problem of the autonomous nonlinear Hamiltonian system \(\dot x\left( t \right) = JH'\left( {x\left( t \right)} \right)\). For some symplectic matrices P, we show that for any τ > 0, the above Hamiltonian system possesses a kτ periodic solution x with kτ being its period provided H satis Fies Rabinowitz's conditions on the minimal minimal P-symmetric period conjecture, together with that H is convex and H(Px) = H(x).