Related papers: A new approach to classification of integral quadr…
This is the second in a series of papers that aim to develop rigorous and most encompassing foundations for field theory, where in the first installment, we laid out the natural formulation of bosonic variational field theory via the…
Tangent categories offer a categorical context for differential geometry, by categorifying geometric notions like the tangent bundle functor, vector fields, Euclidean spaces, vector bundles, connections, etc. In the last decade, the theory…
We give a parametrization of square roots of the ideal class of the inverse different of rings defined by binary forms in terms of the orbits of a coregular representation. This parametrization, which can be construed as a new integral…
We provide a variant of Baer's theorem about isomorphism of endomorphism rings of vector spaces over division rings, where the full endomorphism rings are replaced by some subrings of finitary maps.
The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching structure of the transition systems they specify. Labelled…
We describe a general way of constructing integrable defect theories as perturbations of conformal field theory by local defect operators. The method relies on folding the system onto a boundary field theory of twice the central charge. The…
Let $A$ be a central simple algebra over a number field $K$ with ring of integers $\mathcal{O}_K$, such that either the degree of the algebra $n \ge 3$, or $n=2$ and $A$ is not a totally definite quaternion algebra. Then strong…
Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to…
We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…
This paper introduces the approach of Randomized Orthogonal Decomposition (ROD) for producing twin data models in order to overcome the drawbacks of existing reduced order modelling techniques. When compared to Fourier empirical…
Motivated by better understanding the bideterminant (=product of minors) basis on the polynomial ring in $n \times m$ variables, we develop theory \& algorithms for Gr\"obner bases in not only algebras with straightening law (ASLs or Hodge…
This paper introduces a novel approach to the axiomatic theory of quadratic forms. We work internally in a category of certain partially ordered sets, subject to additional conditions which amount to a strong form of local presentability.…
Following the concept of topological theory of S.~E.~Rodabaugh, this paper introduces a new approach to (lattice-valued) bornology, which is based in bornological theories, and which is called variety-based bornology. In particular,…
In this paper, higher-order perturbation theory is applied and tailored to one-dimensional ring-shaped Bose-Hubbard systems. Spectral and geometrical properties are used to structurally simplify the contributions and reduce computational…
We introduce a finite-dimensional algebra that controls the possible boundary conditions of a conformal field theory. For theories that are obtained by modding out a Z_2 symmetry (corresponding to a so-called D_odd-type, or half-integer…
A non-singular formulation of the boundary integral method (BIM) is presented for the Laplace equation whereby the well-known singularities that arise from the fundamental solution are eliminated analytically. A key advantage of this…
A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…
As already done for the matrix case for example in [Joe Harris, Algebraic Geometry - A first course, p.256] we give a parametrization of the Bouligand tangent cone of the variety of tensors of bounded TT rank. We discuss how the proof…