Related papers: A Consistent Sandpile Torsor Algorithm for Regular…
Transactions simplify concurrent programming by enabling computations on shared data that are isolated from other concurrent computations and are resilient to failures. Modern databases provide different consistency models for transactions…
In this paper we establish a new characterisation of star-regular categories, using a property of internal reflexive graphs, which is suggested by a recent result due to O. Ngaha Ngaha and the first author. We show that this property is, in…
In this article, we establish sufficient conditions for the regularity of solutions of Navier-Stokes equations based on one of the nine entries of the gradient tensor. We improve the recently results of C.S. Cao, E.S. Titi (Arch. Rational…
In this paper, we establish characterizations of variational $s$-convexity and tilt stability for prox-regular functions in the absence of subdifferential continuity via quadratic bundles, a kind of primal-dual generalized second-order…
We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data,…
This is the first in a series of papers by the authors on the arborealization program. The main goal of the paper is the proof of uniqueness of arboreal models, defined as the closure of the class of smooth germs of Lagrangian submanifolds…
In 1966, P. G\"unther proved the following result: Given a continuous function $f$ on a compact surface $M$ of constant curvature -1 and its periodic lift $\tilde{f}$ to the universal covering, the hyperbolic plane, then the averages of the…
Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map…
In this paper, we study properties and patterns on permutations of multisets whose multivariate generating functions are symmetric. We interpret this phenomenon through the lens of group actions and define such a property or pattern as…
A catalogue of simplicial hyperplane arrangements was first given by Gr\"unbaum in 1971. These arrangements naturally generalize finite Coxeter arrangements and the weak order through the poset of regions. For simplicial arrangements,…
We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted.…
Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct…
We give a simple example of an $n$-tuple of orthonormal elements in $L_2$ (actually martingale differences) bounded by a fixed constant, and hence subgaussian with a fixed constant but that are Sidon only with constant $\approx \sqrt n$.…
We describe the recursive algorithmic procedure to compute the stabilizers of the group of complex orthogonal matrices with respect to the action of similarity on the set of all symmetric matrices. Futhermore, lower bounds for dimensions of…
A well-known result of Bill Parry shows that a topologically transitive continuous piecewise monotone mapping with positive topological entropy is conjugate to a uniformly piecewise linear mapping with slope determined by the entropy. In…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be…
We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently…
We construct a regularized index of a generalized Dirac operator on a complete Riemannian manifold endowed with a proper action of a unimodular Lie group. We show that the index is preserved by a certain class of non-compact cobordisms and…