Related papers: Extensions of Abelian Automata Groups
One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…
The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or…
The set of finite binary matrices of a given size is known to carry a finite type A bicrystal structure. We first review this classical construction, explain how it yields a short proof of the equality between Kostka polynomials and…
Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from…
A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different…
It is well known that at distances shorter than Planck length, no length measurements are possible. The Volovich hypothesis asserts that at sub-Planckian distances and times, spacetime itself has a non-Archimedean geometry. We discuss the…
In this work we apply the Poincare-Cartan formalism of the Classical Field Theory to study the systems of balance equations (balance systems). We introduce the partial k-jet bundles of the configurational bundle and study their basic…
We prove finiteness properties for groups of homeomorphisms that have finitely many "singular points", and we describe the normal structure of such groups. As an application, we prove that every countable abelian group can be embedded into…
We make progress towards characterizing the algebraic matroid of the determinantal variety defined by the minors of fixed size of a matrix of variables. Our main result is a novel family of base sets of the matroid, which characterizes the…
We generalize the notion of length to an ordinal-valued invariant defined on the class of finitely generated modules over a Noetherian ring. A key property of this invariant is its semi-additivity on short exact sequences. As an…
We introduce homing vector automata, which are finite automata augmented by a vector that is multiplied at each step by a matrix determined by the current transition, and have to return the vector to its original setting in order to accept…
We consider Hamiltonian systems in first-order multisymplectic field theories. We review the properties of Hamiltonian systems in the so-called restricted multimomentum bundle, including the variational principle which leads to the…
The main content of this paper is Lectures 5 and 6 that continue lecture notes [20]. Content of Lectures 1-4 of [20] is reviewed for the reader's convenience in sections 1-4, respectively. It is shown in Lecture 5 how residual parts of the…
The reconstruction theorem and the multilevel Schauder estimate have central roles in the analytic theory of regularity structures [17]. Inspired by [26], we provide elementary proofs for them by using the semigroup of operators.…
We outline an algorithm for construction of functional bases of absolute invariants under the rotation group for sets of rank 2 tensors and vectors in the Euclidean space of arbitrary dimension. We will use our earlier results for symmetric…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
In random-matrix ensembles that interpolate between the three basic ensembles (orthogonal, unitary, and symplectic), there exist correlations between elements of the same eigenvector and between different eigenvectors. We study such…
In this article we calculate two aspects of the representation theory of a Brauer configuration algebra: its Cartan matrix, and the module length of its associated indecomposable projective modules. Then we introduce the concept of…
To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA…
We present a new structure called the "conservative matrix field", initially developed to elucidate and provide insight into the methodologies employed by Ap\'ery's in his proof of the irrationality of the Riemann zeta function at 3. This…