Related papers: Forcing among exact patterns of triods
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of…
We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…
The 1970s conjecture of Lov\'asz and Plummer that the number of perfect matchings in any $3$-regular graph is exponential in the number of vertices was proved in 2011 by Esperet, Kardo\v{s}, King, Kr\'al', and Norine. We give the exact…
We show that for any n divisible by 3, almost all order-n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class). In fact, we prove a general upper bound on the number of perfect matchings in a…
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067,…
In this paper, we revisit the theory of perfect unary forms over real quadratic fields. Specifically, we deduce an infinite family of real quadratic fields $\mathbb{Q}(\sqrt{d})$ when $d=2$ or $3$ mod $4$, such that there are three classes…
In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…
We study three classes of local homomorphisms and their behavior with respect to the ascent and descent of the \emph{complete intersection} property. Crucially, they fall in between the already studied classes of complete intersection and…
We classify rotary (orientably-regular) maps whose underlying graphs are multicycles. For the multicycle $\mathrm{C}_n^{(\lambda)}$ of length $n$ and edge-multiplicity $\lambda$, we determine all rotary embeddings for $n\geqslant 3$ and…
In his pioneering work [Crelle's Journal, 1955], Eichler established the theory of trace formulas for Brandt matrices of quaternion orders. From it he derived a class number formula for Eichler orders in a totally definite quaternion…
The real numbers are important in both mathematics and computation theory. Computationally, real numbers can be represented in several ways; most commonly using inexact floating-point data-types, but also using exact arbitrary-precision…
We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…
We study questions motivated by results in the classical theory of dynamical systems in the context of triangulated and A-infinity categories. First, entropy is defined for exact endofunctors and computed in a variety of examples. In…
In this paper we propose an algorithm for exact partitioning of high-order models. We define a general class of $m$-degree Homogeneous Polynomial Models, which subsumes several examples motivated from prior literature. Exact partitioning…
We construct a new family of surgery exact triangles in Heegaard Floer theory over the field with two elements. This family generalizes both Ozsv\'{a}th and Szab\'{o}'s $n$- and $1/n$-surgery exact triangles for positive integers $n$ and…
Symmetry fractionalization (SF) on topological excitations is one of the most remarkable quantum phenomena in topological orders with symmetry, i.e., symmetry-enriched topological phases. While much progress has been theoretically and…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly…
We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial…