Related papers: A canonical tree-of-tangles theorem for structural…

A tangle of order $k$ in a matroid or graph may be thought of as a "$k$-connected component". For a tangle of order $k$ in a matroid or graph that satisfies a certain robustness condition, we describe a tree decomposition of the matroid or…

While many inner model theoretic combinatorial principles are incompatible with large cardinal axioms, on some rare occasions, large cardinals actually imply that the structure of the universe of sets is analogous to the canonical inner…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a…

We establish one-body reduced density-matrix functional theory for the canonical ensemble in a finite basis set at an elevated temperature. Including temperature guarantees differentiability of the universal functional by occupying all…

We prove that any commutative group scheme separated over a noetherian normal scheme admits a canonical structure of a presheaf with transfers, which is characterized by a simple condition on radicial transfers.

Trusses, defined as sets with a suitable ternary and a binary operations, connected by the distributive laws, are studied from a ring and module theory point of view. The notions of ideals and paragons in trusses are introduced and several…

We prove a conjecture stated in a previous paper by the author about the existence of canonical filtrations for a family of vertex operator algebras in rational levels.

We prove the complete intersection theorem and complete nontrivial-intersection theorem for systems of set partitions

Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…

In this short note, we give a characterization of domains satisfying Serre's condition $(\mathrm{R}_1)$ in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa,…

We prove that universal differentiability sets in Euclidean spaces possess distinctive structural properties. Namely, we show that any universal differentiability set contains a `kernel' in which the points of differentiability of each…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

We study algebraic tangles as fundamental components in knot theory, developing a systematic approach to classify and tabulate prime tangles using a novel canonical representation. The canonical representation enables us to distinguish…

We prove the following indistinguishability theorem for $k$-tuples of trees in the uniform spanning forest of $\mathbb{Z}^d$: Suppose that $\mathscr{A}$ is a property of a $k$-tuple of components that is stable under finite modifications of…

We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…

We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…

Purpose: To develop the algebraic foundation of finite commutative ternary $\Gamma$-semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that generalize classical semiring and $\Gamma$-ring…

We develop categorical foundations of discrete dynamical systems, aimed at understanding how the structure of the system affects its dynamics. The key technical innovation is the notion of a cycle set, which provides a formal language in…

We give a dual, separated-tree formulation of Latala's majorizing measure theorem for canonical processes with log-concave tails. Under the same assumptions as in Latala's characterization, we introduce parameterized separation trees and…