Related papers: Axiomatic Closure Operations, Phantom Extensions, …

We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…

Building on the results of [1,2], we study the resurgence of $q$-Pochhammer symbols and determine their summability and quantum modularity properties. We construct a new, infinite family of pairs of modular resurgent series from the…

This note points out a lemma on closures of monotonic increasing functions and shows how it is applicable to decomposition and modularity for semantics defined as the least fixedpoint of some monotonic function. In particular it applies to…

We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed…

We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, finite node-labeled sibling-ordered trees. We present…

There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over…

In this paper we discuss log blow-up's, introduced by Kazuya Kato, and define the concept of log modifications. Using this concept we prove that any morphism f: X ---> Y of locally noetherian fs log schemes with underlying structures of f…

Algorithms for computing congruence closure of ground equations over uninterpreted symbols and interpreted symbols satisfying associativity and commutativity (AC) properties are proposed. The algorithms are based on a framework for…

In this paper we discuss extensions of the canonical quantization procedure in quantum field theories. We focus specifically on S-matrix representation as a T-exponent. This extension involves flat bundles on certain infinite dimensional…

In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…

We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…

The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of…

In this paper we study codes where the alphabet is a finite Frobenius bimodule over a finite ring. We discuss the extension property for various weight functions. Employing an entirely character-theoretic approach and a duality theory for…

The octagon abstract domain is a widely used numeric abstract domain expressing relational information between variables whilst being both computationally efficient and simple to implement. Each element of the domain is a system of…

We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the…

In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral…

We prove functional limit theorems for dynamical systems in the presence of clusters of large values which, when summed and suitably normalised, get collapsed in a jump of the limiting process observed at the same time point. To keep track…

We show that the well-known fact that the equivariant cohomology of a torus action is a torsion-free module if and only if the map induced by the inclusion of the fixed point set is injective generalises to actions of arbitrary compact…

J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…

We discuss a simple example of an F-theory compactification on a Calabi-Yau fourfold where background fluxes, together with nonperturbative effects from Euclidean D3 instantons and gauge dynamics on D7 branes, allow us to fix all closed and…