Related papers: Rectangular loops and rectangular quasigroups
We give a procedure for "reverse engineering" a closed, simply connected, Riemannian manifold with bounded local geometry from a sparse chain complex over $\mathbb{Z}$. Applying this procedure to chain complexes obtained by "lifting"…
Simulating quantum systems using classical computing equipment has been a significant research focus. This work demonstrates that circuits as large and complex as the random circuit sampling (RCS) circuits published as a part of Google's…
The aim of the paper is to provide an method to obtain representations of the braid group through a set of quasitriangular Hopf algebras. In particular, these algebras may be derived from group algebras of cyclic groups with additional…
This is an exposition of the work of O. Riemenschneider about five ''circles'' of implications relating real analysis theorems each equivalent to the Dedekind completeness of the real field. These circles cover five elements of real…
We can associate with any irreducible curve singularity (ics) a numerical semigroup. Two ics are said to be equisingular if they have the same semigroup. Two equisingular ics have the same Milnor number. Conversely, The set of ics with a…
We prove the well-posedness of a linear closed-loop system with an explicit (already known) feedback leading to arbitrarily large decay rates. We define a mild solution of the closed-loop problem using a dual equation and we prove that the…
The research described in this note aims at solving the constructive membership problem for the class of quasisimple classical groups. Our algorithms are developed in the black-box group model; that is, they do not require specific…
In a recent paper, Bruhn, Diestel, Kriesell and Wollan (arXiv:1003.3919) present four systems of axioms for infinite matroids, in terms of independent sets, bases, closure and circuits. No system of rank axioms is given. We give an easy…
In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of…
Problems occurring in physically important non-trivial examples of loop calculations are discussed. A procedure of deriving expansions of two-loop self-energy diagrams with different masses is constructed. The cases of small and large…
Given a function field $K$ and $\phi \in K[x]$, we study two finiteness questions related to iteration of $\phi$: whether all but finitely many terms of an orbit of $\phi$ must possess a primitive prime divisor, and whether the Galois…
The Cohn-Umans (FOCS '03) group-theoretic framework for matrix multiplication produces fast matrix multiplication algorithms from three subsets of a finite group $G$ satisfying a simple combinatorial condition (the Triple Product Property).…
For finite-dimensional maps and periodic systems, Palmer rigorously proved Smale horseshoe theorem using shadowing lemma in 1988. For infinite-dimensional maps and periodic systems, such a proof was completed by Steinlein and Walther in…
Rectangulations are decompositions of a square into finitely many axis-aligned rectangles. We describe realizations of $(n-1)$-dimensional polytopes associated with two combinatorial families of rectangulations composed of $n$ rectangles.…
Finding the Lie-algebraic closure of a handful of matrices has important applications in quantum computing and quantum control. For most realistic cases, the closure cannot be determined analytically, necessitating an explicit numerical…
Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…
Motivated by a theorem of Groves and Wilton, we propose the study of the lattice of numberings of isomorphism classes of marked groups as a rigorous and comprehensive framework to study global decision problems for finitely generated…
We establish the existence of multi-bump solutions for the following class of quasilinear problems $$ - \Delta_{ p(x) } u + \big( \lambda V(x) + Z(x) \big) u ^{ p(x)-1 } = f(x,u) \text{ in } \mathbb R^N, \, u \ge 0 \text{ in } \mathbb R^N,…
We give a criterion for a finitely generated odd-angled Coxeter group to have a proper finite index subgroup generated by reflections. The answer is given in terms of the least prime divisors of the exponents of the Coxeter relations.
We give explicit examples of pairs of one-ended, open 4-manifolds whose end-sums yield uncountably many manifolds with distinct proper homotopy types. This answers strongly in the affirmative a conjecture of Siebenmann regarding the…