Related papers: Discrete equational theories
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…
The operational Chow cohomology classes of a complete toric variety are identified with certain functions, called Minkowski weights, on the corresponding fan. The natural product of Chow cohomology classes makes the Minkowski weights into a…
New formulas on the inverse problem for the continuous skew-self-adjoint Dirac type system are obtained. For the discrete skew-self-adjoint Dirac type system the solution of a general type inverse spectral problem is also derived in terms…
We develop an approach analogous to classical Frobenius theory for the analysis of singularities of ODEs in the case of discrete dynamical systems. Our methodology is based on the Roman-Rota theory of finite operators and relies crucially…
In this short note we prove, by means of classical fixed point index, an affine version of a Birkhoff--Kellogg type theorem in cones. We apply our result to discuss the solvability of a class of boundary value problems for functional…
In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a…
There are two rather distinct approaches to Morse theory nowadays: smooth and discrete. We propose to study a real valued function by assembling all associated sections in a topological category. From this point of view, Reeb functions on…
Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications…
We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract the underlying data structures (e.g. sets or linear…
We extend the well-known 't Hooft anomaly matching conditions for continuous global symmetries to discrete groups. We state the matching conditions for all possible anomalies which involve discrete symmetries explicitly. There are two types…
We prove the meromorphy of solutions for a wide class of ordinary differential equations. These equations are given by invariant manifolds of non-linear partial differential equations integrable by the inverse scattering method. Some higher…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…
In this paper higher order mimetic discretizations are introduced which are firmly rooted in the geometry in which the variables are defined. The paper shows how basic constructs in differential geometry have a discrete counterpart in…
In this paper we present a new approach to computing homology (with field coefficients) and persistent homology. We use concepts from discrete Morse theory, to provide an algorithm which can be expressed solely in terms of simple graph…
We provide graded extensions of algebraic theories and Lawvere theories that correspond to graded monads. We prove that graded algebraic theories, graded Lawvere theories, and finitary graded monads are equivalent via equivalence of…
In this paper, we survey physically related applications of a class of weighted quasi-Monte Carlo methods from a theoretical, deterministic perspective, and establish quantitative universal rapid convergence results via various regularity…
We present the constraint for the discrete Moutard equation which gives the integrable discretization of the Bianchi-Ernst system. We also derive the discrete analogue of the Bianchi transformation between solutions of such a system (the…
In this paper, we introduce a discrete version of weighted Morrey spaces, and discuss the inclusion relations of these spaces. In addition, we obtain the boundedness of discrete weighted Hardy-Littlewood maximal operators on discrete…
A discretization of a continuum theory with constraints or conserved quantities is called mimetic if it mirrors the conserved laws or constraints of the continuum theory at the discrete level. Such discretizations have been found useful in…
A discrete duality is a relationship between classes of algebras and classes of relational systems (frames) resulting in two representation theorems building on the early work of J\'onsson and Tarski, Kripke, and van Benthem. In this…