Discrete Moving Frames and Discrete Integrable Systems

Group-based moving frames have a wide range of applications, from the classical equivalence problems in differential geometry to more modern applications such as computer vision. Here we describe what we call a discrete group-based moving frame, which is essentially a sequence of moving frames with overlapping domains. We demonstrate a small set of generators of the algebra of invariants, which we call the discrete Maurer–Cartan invariants, for which there are recursion formulas. We show that this offers significant computational advantages over a single moving frame for our study of discrete integrable systems. We demonstrate that the discrete analogues of some curvature flows lead naturally to Hamiltonian pairs, which generate integrable differential-difference systems. In particular, we show that in the centro-affine plane and the projective space, the Hamiltonian pairs obtained can be transformed into the known Hamiltonian pairs for the Toda and modified Volterra lattices, respectively, under Miura transformations. We also show that a specified invariant map of polygons in the centro-affine plane can be transformed to the integrable discretization of the Toda Lattice. Moreover, we describe in detail the case of discrete flows in the homogeneous 2-sphere and we obtain realizations of equations of Volterra type as evolutions of polygons on the sphere.     

Recursive Moving Frames

A recursive algorithm for the equivariant method of moving frames, for both finite-dimensional Lie group actions and Lie pseudo-groups, is developed and illustrated by several examples of interest. The recursive method enables one avoid unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method.     

Inductive Moving Frames

An inductive implementation of the equivariant moving frame method is introduced for both finite-dimensional Lie group actions and infinite-dimensional Lie pseudo-groups. Given two Lie (pseudo-)groups ${\mathcal{G}}$ and ${\mathcal{H}}$ with ${\mathcal{G} \subset \mathcal{H}}$ , the inductive method streamlines the construction of a moving frame for ${\mathcal{H}}$ using the already constructed moving frame for ${\mathcal{G}}$ . As a by-product, a systematic procedure for expressing ${\mathcal{H}}$ -invariant quantities in terms of their ${\mathcal{G}}$ -invariant counterparts is obtained.     

Directional Frames for Image Recovery: Multi-scale Discrete Gabor Frames

Sparsity-driven image recovery methods assume that images of interest can be sparsely approximated under some suitable system. As discontinuities of 2D images often show geometrical regularities along image edges with different orientations, an effective sparsifying system should have high orientation selectivity. There have been enduring efforts on constructing discrete frames and tight frames for improving the orientation selectivity of tensor product real-valued wavelet bases/frames. In this paper, we studied the general theory of discrete Gabor frames for finite signals, and constructed a class of discrete 2D Gabor frames with optimal orientation selectivity for sparse image approximation. Besides high orientation selectivity, the proposed multi-scale discrete 2D Gabor frames also allow us to simultaneously exploit sparsity prior of cartoon image regions in spatial domain and the sparsity prior of textural image regions in local frequency domain. Using a composite sparse image model, we showed the advantages of the proposed discrete Gabor frames over the existing wavelet frames in several image recovery experiments.     

Some Results on the Lattice Parameters of Quaternionic Gabor Frames

Gabor frames play a vital role not only in modern harmonic analysis but also in several fields of applied mathematics, for instances, detection of chirps, or image processing. In this work we present a non-trivial generalization of Gabor frames to the quaternionic case and give new density results. The key tool is the two-sided windowed quaternionic Fourier transform (WQFT). As in the complex case, we want to write the WQFT as an inner product between a quaternion-valued signal and shifts and modulates of a real-valued window function. We demonstrate a Heisenberg uncertainty principle and for the results regarding the density, we employ the quaternionic Zak transform to obtain necessary and sufficient conditions to ensure that a quaternionic Gabor system is a quaternionic Gabor frame. We conclude with a proof that the Gabor conjecture does not hold true in the quaternionic case.     

Moving Frames and Conservation Laws for Euclidean Invariant Lagrangians

In recent work, the authors show the mathematical structure behind both the Euler–Lagrange system and the set of conservation laws, in terms of the differential invariants of the group action and a moving frame. In this paper, the authors demonstrate that the knowledge of this structure allows to find the first integrals of the Euler–Lagrange equations, and subsequently, to solve by quadratures, variational problems that are invariant under the special Euclidean groups SE(2) and SE(3) .     

On Moving Frames and Noether’s Conservation Laws

Noether’s Theorem yields conservation laws for a Lagrangian with a variational symmetry group. The explicit formulae for the laws are well known and the symmetry group is known to act on the linear space generated by the conservation laws. The aim of this paper is to explain the mathematical structure of both the Euler‐Lagrange system and the set of conservation laws, in terms of the differential invariants of the group action and a moving frame. For the examples, we demonstrate, knowledge of this structure allows the Euler‐Lagrange equations to be integrated with relative ease. Our methods take advantage of recent advances in the theory of moving frames by Fels and Olver, and in the symbolic invariant calculus by Hubert. The results here generalize those appearing in Kogan and Olver [ 1 ] and in Mansfield [ 2 ]. In particular, we show results for high‐dimensional problems and classify those for the three inequivalent SL(2) actions in the plane.     

Moving Out the Edges of a Lattice Polygon

We review previous work of (mainly) Koelman, Haase and Schicho, and Poonen and Rodriguez-Villegas on the dual operations of (i) taking the interior hull and (ii) moving out the edges of a two-dimensional lattice polygon. We show how the latter operation naturally gives rise to an algorithm for enumerating lattice polygons by their genus. We then report on an implementation of this algorithm, by means of which we produce the list of all lattice polygons (up to equivalence) whose genus is contained in {1,…,30}. In particular, we obtain the number of inequivalent lattice polygons for each of these genera. As a byproduct, we prove that the minimal possible genus for a lattice 15-gon is 45.     

Cancellable Elements of the Lattice of Epigroup Varieties

We completely describe all commutative epigroup varieties that are cancellable elements of the lattice EPI of all epigroup varieties. In particular, we prove that a commutative epigroup variety is a cancellable element of the lattice EPI if and only if it is a modular element of this lattice.     

Lower-Modular Elements of the Lattice of Semigroup Varieties

We call a semigroup variety modular [upper-modular, lower-modular, neutral] if it is a modular [respectively upper-modular, lower-modular, neutral] element of the lattice of all semigroup varieties. It is proved that if V is a lower-modular variety then either V coincides with the variety of all semigroups or V is periodic and the greatest nil-subvariety of V may be given by 0-reduced identities only. We completely determine all commutative lower-modular varieties. In particular, it turns out that a commutative variety is lower-modular if and only if it is neutral. A number of corollaries of these results are obtained.     

On the Lattice of Varieties of Involution Semigroups

In this paper, we investigate the lattice \smallbf L( \cal S ^\ast) of varieties of involution semigroups (semigroups endowed with an involutorial antiautomorphism ^\ast as a fundamental operation). There are two kinds of atoms in \smallbf L( \cal S ^\ast) : four nongroup ones and two countably infinite families of varieties of groups with involution. We exhibit the sublattices of \smallbf L( \cal S ^\ast) generated by both of these two collections of its atoms. September 9, 1999     

Covers in the Lattice of Varieties of m-Groups

We consider some questions on covers in the lattice of varieties of m-groups. We prove the existence of a nonabelian cover of the smallest nontrivial variety of m-groups. We show that there exists an uncountable set of o-approximable varieties of m-groups each of which has continuum many o-approximable covers. In the lattice of o-approximable varieties of m-groups we find a variety that has no covers in this variety and no independent basis of identities.     

A Lattice of Varieties of Completely Regular Semigroups

In a previous communication, we defined a countably infinite sequence of varieties of completely regular semigroups, termed canonical. Finite intersections of these varieties constitute the upper ends of the intervals which are the classes of the congruence induced by the complete homomorphism 𝒱 → 𝒱 ∩ ?, where ? is the variety of all bands. We construct here the lattice generated by the first few of these varieties in some detail. In particular, we determine their bases and illustrate our findings by three diagrams.     

On the Lattice of Overcommutative Varieties of Monoids

We study the lattice of varieties of monoids, i.e., algebras with two operations, namely, an associative binary operation and a 0-ary operation that fixes the neutral element. It was unknown so far, whether this lattice satisfies some non-trivial identity. The objective of this paper is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic image of some sublattice of the lattice of overcommutative varieties of monoids (i.e., varieties that contain the variety of all commutative monoids). This implies that the lattice of overcommutative varieties of monoids, and therefore, the lattice of all varieties of monoids does not satisfy any non-trivial identity.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

The Lattice of Varieties of Completely Regular Semigroups

Polák’s theorem on the structure of the (lattice of) varieties of completely regular semigroups provides an isomorphic copy of the interval $[{\cal S,CR}]$ of varieties which contain semilattices in terms of certain functions. We give a variant of this theorem for the lattice ${\cal L(CR)}$ of all varieties of completely regular semigroups in terms of pairs with componentwise inclusion. The first entry of these pairs is a band variety and the second consists of a ?₀-tuple of members of ${\cal K}_0$ . Here ${\cal K}_0$ is the set of varieties which satisfy ${\cal V}_K={\cal V}$ where ${\cal V}_K$ is the least element of the K-class containing ${\cal V}$ . We have based the proof of our theorem on Polák’s theorem for the sake of expediency and comparison. It utilizes a set of varieties which we term canonical. Several corollaries treat various special cases.     

An Unusual Series of Autonomous Discrete Integrable Equations on a Square Lattice

Theoretical and Mathematical Physics - We present an infinite series of autonomous discrete equations on a square lattice with hierarchies of autonomous generalized symmetries and conservation laws...