Related papers: Finiteness theorems and algorithms for permutation…
We consider matrices with entries in a local ring, Mat(m,n,R). Fix a group action, G on Mat(m,n,R), and a subset of allowed deformations, \Sigma\subseteq Mat(m,n,R). The standard question of Singularity Theory is the…
A final goal for thimble regularization of lattice field theories is the application to lattice QCD and the study of its phase diagram. Gauge theories pose a number of conceptual and algorithmic problems, some of which can be addressed even…
We study the renormalization group evolution up to the fixed point of the lattice topological susceptibility in the 2-d O(3) non-linear sigma-model. We start with a discretization of the continuum topological charge by a local charge…
In this paper we consider Tyler's robust covariance M-estimator under group symmetry constraints. We assume that the covariance matrix is invariant to the conjugation action of a unitary matrix group, referred to as group symmetry. Examples…
This paper concerns the general problem of classifying the finite deterministic automata that admit a synchronizing (or reset) word. (For our purposes it is irrelevant if the automata has initial or final states.) Our departure point is the…
In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick up on Wiles' work and generalize the numerical criterion to…
We study deterministic constructions of graphs for which the unique completion of low rank matrices is generically possible regardless of the values of the entries. We relate the completability to the presence of some patterns (particular…
Given a positive definite even lattice and a commutative ring, there is a standard construction of a lattice vertex algebra over the commutative ring, and it admits a natural grading by non-negative integers. We describe the groups of…
We use finite group topological lattice gauge theory, also known as the quantum double model, as a lens to explore a notion of topological order enriched by a non-invertible symmetry. For invertible symmetry enriched topological order,…
We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological…
Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated…
In this paper using the connections between some subvarieties of residuated lattices, we investigated some properties of the lattice of ideals in commutative and unitary rings. We give new characterizations for commutative rings $A$ in…
Consider a convex function that is invariant under an group of transformations. If it has a minimizer, does it also have an invariant minimizer? Variants of this problem appear in nonparametric statistics and in a number of adjacent fields.…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
The aim of this paper is to analize the structure of BL-algebras using commutative rings. From computational considerations, we are very interested in the finite case. We present new ways to generate finite BL-algebras using commutative…
Let k be a field of positive characteristic p and let G be a finite group. In this paper we study the category TsG of finitely generated commutative k-algebras A on which G acts by algebra automorphisms with surjective trace. If A = k[X],…
We present a new method of establishing a bijective correspondence - in fact, a lattice isomorphism - between action- and coaction-invariant ideals of C*-algebras and their crossed products by a fixed locally compact group. It is known that…
We develop a representation theoretic technique for detecting closed orbits that is applicable in all characteristics. Our technique is based on Kempf's theory of optimal subgroups and we make some improvements and simplify the theory from…
We prove that any ergodic nonatomic probability-preserving action of an irreducible lattice in a semisimple group, at least one factor being connected and higher-rank, is essentially free. This generalizes the result of Stuck and Zimmer…
We set up a generalization of ubiquitous one-parameter families in algebraic geometry and their use for stability theories ([GIT, HL, AHLH]) to families over toric varieties and their analytic analogues. The language allows us to…