An isomorphism for digital images

In usual topology, a homeomorphism is a one to one mapping between two topological spaces which induces a one to one mapping between their open subsets and so establishes an equivalence between their topologies. In digital images, as well as in several discrete structures (e.g., planar graphs), one encounters concepts and features analogous to those of topology, for example connectedness, holes, surrounding relations, but it is impossible to define on these structures an isomorphism in the classical sense, if one excepts a trivial one, and this only between images having the same number of points for each colour. It is thus necessary to define in a new way a corresponding concept for digital images. In this paper, an isomorphism between two digital images as a relation, not a map, which satisfies several requirements related to the equivalence of the two digital structures is defined. Such an isomorphism wil then play the same role as the homeomorphism in classical topology. The requirements for this isomorphism are found by a study of the special case of binary images on a rectangular grid, on which we can construct such an isomorphism from a Euclidean plane homeomorphism thanks to a correspondence that we establish between the digital rectangular grid structure and the Euclidean plane topology. It is shown then how this new type of isomorphism preserves certain digital features related to topology (connected components, surrounding relations, etc.). These properties, together with the correspondence with the Euclidean topology in the case of the rectangular grid, validate our definition of the digital isomorphism.     

Testing planar pictures for isomorphism in linear time

A planar picture is defined as an embedding of a planar graph in a plane. Two pictures are said to be isoraorphic if one of them can be mapped onto the other by an isotopy of the plane. A linear time algorithm (in the RAM) is constructed that tests two pictures for isomorphism.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institute im. V. A. Stekolova Akad. Nauk SSSR, Vol. 174, pp. 101–121, 1988.     

Towards the multiplicative behavior of the K-theoretical McKay correspondence

When the quotient of a symplectic vector space by the action of a finite subgroup of symplectic automorphisms admits as a crepant projective resolution of singularities the Hilbert scheme of regular orbits of Nakamura, then there is a natural isomorphism between the Grothendieck group of this resolution and the representation ring of the group, given by the Bridgeland-King-Reid map. However, this isomorphism is not compatible with the ring structures. For the Hilbert scheme of points on the affine plane, we study the multiplicative behavior of this map.     

Whittaker Modules for Graded Lie Algebras

In this paper, we study Whittaker modules for graded Lie algebras over ℂ. We define Whittaker modules for a class of graded Lie algebras and obtain a bijective correspondence between the set of isomorphism classes of Whittaker modules and the set of ideals of a polynomial ring, parallel to a result from the classical setting and the case of the Virasoro algebra. As a consequence of this, we obtain a classification of simple Whittaker modules for such algebras. Also, we discuss some concrete algebras as examples.     

On existence of tame Harrison map

We present here two new criteria for existence of a tame Harrison map of two formally real algebraic function fields over a fixed real closed field of constants. The first criterion (c.f. Theorem 2.5) shows that a square class group isomorphism is a tame Harrison map if it induces an isomorphism of the coproduct rings of residue Witt rings. The other result (c.f. Proposition 3.5) associates a tame Harrison map to an integral quaternion-symbol equivalence.      

Obstructions to homotopy equivalences

An obstruction theory is developed to decide when an isomorphism of rational cohomology can be realized by a rational homotopy equivalence (either between rationally nilpotent spaces, or between commutative graded differential algebras). This is used to show that a cohomology isomorphism can be so realized whenever it can be realized over some field extension (a result obtained independently by Sullivan).In particular an algorithmic method is given to decide when a c.g.d.a. has the same homotopy type as its cohomology (the c.g.d.a. is called formal in this case).The chief technique is the construction of a canonically filtered model for a commutative graded differential algebra (over a field of characteristic zero) by perturbing the minimal model for the cohomology algebra. This filtered model is also used to give a simple construction of the Eilenberg-Moore spectral sequence arising from the bar construction. An example is given of a c.g.d.a. whose Eilenberg-Moore sequence collapses, yet which is not formal.     

Equivalence classes of Niho bent functions

Equivalence classes of Niho bent functions are in one-to-one correspondence with equivalence classes of ovals in a projective plane. Since a hyperoval can produce several ovals, each hyperoval is associated with several inequivalent Niho bent functions. For all known types of hyperovals we described the equivalence classes of the corresponding Niho bent functions. For some types of hyperovals the number of equivalence classes of the associated Niho bent functions are at most 4. In general, the number of equivalence classes of associated Niho bent functions increases exponentially as the dimension of the underlying vector space grows. In small dimensions the equivalence classes were considered in detail.

     

A new proof of laman’s theorem

We give a simple proof for the characterization of generically rigid bar frameworks in the plane.     

Whittaker modules for a Lie algebra of Block type

In this paper, we study Whittaker modules for a Lie algebra of Block type. We define Whittaker modules and under some conditions, obtain a bijective correspondence between the set of isomorphism classes of Whittaker modules over this algebra and the set of ideals of a polynomial ring, parallel to a result from the classical setting and the case of the Virasoro algebra.     

The Hillman-Grassl correspondence and the enumeration of reverse plane partitions

Hillman and Grassl have devised a correspondence between reverse plane partitions and nonnegative integer arrays of the same shape that allowed them to easily enumerate reverse plane partitions and provided a combinatorial connection between hook lengths and plane partitions. In this work, a collection of properties of this correspondence are presented, including two characterizations that relate this map to the familiar Schensted-Knuth correspondence. These properties are used to derive simple expressions for the generating functions of reverse plane partitions and symmetric reverse plane partitions with respect to sums along the diagonals. Equally general results are obtained for shifted reverse plane partitions using a new type of hook, thereby proving a conjecture of Stanley.     

Affine Mendelsohn triple systems and the Eisenstein integers

We define a Mendelsohn triple system (MTS) of order coprime with 3, and having multiplication affine over an abelian group, to be affine, nonramified. By exhibiting a one‐to‐one correspondence between isomorphism classes of affine MTS and those of modules over the Eisenstein integers, we solve the isomorphism problem for affine, nonramified MTS and enumerate these isomorphism classes (extending the work of Donovan, Griggs, McCourt, Opr?al, and Stanovský). As a consequence, all entropic MTSs of order coprime with 3 and distributive MTS of order coprime with 3 are classified. Partial results on the isomorphism problem for affine MTS with order divisible by 3 are given, and a complete classification is conjectured. We also prove that for any affine MTS, the qualities of being nonramified, pure, and self‐orthogonal are equivalent.     

Hyper-para-Kähler Lie algebras with abelian complex structures and their classification up to dimension 8

Hyper-para-Kähler structures on Lie algebras where the complex structure is abelian are studied. We show that there is a one-to-one correspondence between such hyper-para-Kähler Lie algebras and complex commutative (hence, associative) symplectic left-symmetric algebras admitting a semilinear map \(K_s\) verifying certain algebraic properties. Such equivalence allows us to give a complete classification, up to holomorphic isomorphism, of pairs \(({\mathfrak g},J)\) of 8-dimensional Lie algebras endowed with abelian complex structures which admit hyper-para-Kähler structures.     

Representations of étale Lie groupoids and modules over Hopf algebroids

The classical Serre-Swan’s theorem defines an equivalence between the category of vector bundles and the category of finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these results to obtain a correspondence between the category of representations of an étale Lie groupoid and the category of modules over its Hopf algebroid that are of finite type and of constant rank. Both of these constructions are functorially defined on the Morita category of étale Lie groupoids and we show that the given correspondence represents a natural equivalence between them.     

Computational method for phase space transport with applications to lobe dynamics and rate of escape

Lobe dynamics and escape from a potential well are general frameworks introduced to study phase space transport in chaotic dynamical systems.While the former approach studies how regions of phase space get transported by reducing the flow to a two-dimensional map, the latter approach studies the phase space structures that lead to critical events by crossing certain barriers. Lobe dynamics describes global transport in terms of lobes, parcels of phase space bounded by stable and unstable invariant manifolds associated to hyperbolic fixed points of the system. Escape from a potential well describes how the critical events occur and quantifies the rate of escape using the flux across the barriers. Both of these frameworks require computation of curves, intersection points, and the area bounded by the curves. We present a theory for classification of intersection points to compute the area bounded between the segments of the curves. This involves the partition of the intersection points into equivalence classes to apply the discrete form of Green’s theorem. We present numerical implementation of the theory, and an alternate method for curves with nontransverse intersections is also presented along with a method to insert points in the curve for densification.     

On posets and independence spaces

By constructing a correspondence relationship between independence spaces and posets, under isomorphism, this paper characterizes loopless independence spaces and applies this characterization to reformulate certain results on independence spaces in poset frameworks. These state that the idea provided in this paper is a new approach for the study of independence spaces. We outline our future work finally.     

Derived brackets and sh Leibniz algebras

We develop a general framework for the construction of various derived brackets. We show that suitably deforming the differential of a graded Leibniz algebra extends the derived bracket construction and leads to the notion of strong homotopy (sh) Leibniz algebra. We discuss the connections among homotopy algebra theory, deformation theory and derived brackets. We prove that the derived bracket construction induces a map from suitably defined deformation theory equivalence classes to the isomorphism classes of sh Leibniz algebras.     

Stable pairs on elliptic K3 surfaces

We study semistable pairs on elliptic K3 surfaces with a section: we construct a family of moduli spaces of pairs, related by wall crossing phenomena, which can be studied to describe the birational correspondence between moduli spaces of sheaves of rank 2 and Hilbert schemes on the surface. In the 4-dimensional case, this can be used to get the isomorphism between the moduli space and the Hilbert scheme described by Friedman.     

On uncertainty bounds and growth estimates for fractional fourier transforms

Gelfand–Shilov spaces are spaces of entire functions defined in terms of a rate of growth in one direction and a concomitant rate of decay in an orthogonal direction. Gelfand and Shilov proved that the Fourier transform is an isomorphism among certain of these spaces. In this article we consider mapping properties of fractional Fourier transforms on Gelfand–Shilov spaces. Just as the Fourier transform corresponds to rotation through a right angle in the phase plane, fractional Fourier transforms correspond to rotations through intermediate angles. Therefore, the aim of fractional Fourier estimates is to set up a correspondence between growth properties in the complex plane versus decay properties in phase space.     

Intermediate rings between matrix rings and Ornstein dual pairs

We show that isomorphism of intermediate rings between row and column finite matrix rings and row finite matrix rings implies Morita equivalence of the coefficient rings and equality of the cardinality of the set of indices. Among the applications we extend the Isomorphism Theorem for Dual Pairs over Division Rings to Ornstein dual pairs over any class of rings for which Morita equivalence implies isomorphism.     

Generic singularities of implicit systems of first order differential equations on the plane

For the implicit systems of first order ordinary differential equations on the plane there is presented the complete local classification of generic singularities of family of its phase curves up to smooth orbital equivalence. Besides the well-known singularities of generic vector fields on the plane and the singularities described by a generic first order implicit differential equations, there exists only one generic singularity described by the implicit first order equation supplied by Whitney umbrella surface generically embedded to the space of directions on the plane.