Related papers: Forcing among exact patterns of triods
We investigate finite 3-nets embedded in a projective plane over a (finite or infinite) field of any characteristic p. Such an embedding is regular when each of the three classes of the 3-net comprises concurrent lines, and irregular…
We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…
We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and…
We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…
In a previous paper we produced a complex iteration of a holomorphic function $\phi$ in the immediate basin of a fixed point whose multiplier is a real number and in between zero and one. We further explore this problem, allowing the…
Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…
We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem…
Given an $n$-vertex non-negatively real-weighted graph $G$, whose vertices are partitioned into a set of $k$ clusters, a \emph{clustered network design problem} on $G$ consists of solving a given network design optimization problem on $G$,…
A natural framework for real-time specification is monadic first-order logic over the structure $(\mathbb{R},<,+1)$---the ordered real line with unary $+1$ function. Our main result is that $(\mathbb{R},<,+1)$ has the 3-variable property:…
The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to…
In this paper, we introduce and analyze arbitrarily high-order quadrature rules for evaluating the two-dimensional singular integrals of the forms \begin{align} I_{i,j} = \int_{\mathbb{R}^2}\phi(x)\frac{x_ix_j}{|x|^{2+\alpha}} \d x, \quad…
A convenient measure of a map or flow's chaotic action is the topological entropy. In many cases, the entropy has a homological origin: it is forced by the topology of the space. For example, in simple toral maps, the topological entropy is…
We study almost sure limiting behavior of extreme and intermediate order statistics arising from strictly stationary sequences. First, we provide sufficient dependence conditions under which these order statistics converges almost surely to…
We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass…
We classify the interactions between self-propelled particles moving at a constant speed from symmetry considerations. We establish a systematic expansion for the two-body forces in the spirit of a multipolar expansion. This formulation…
The Exact Regularity Property was introduced recently as a property of homological Pisot substitutions in one dimension. In this paper, we consider exact regularity for arbitrary tiling spaces. Let ${T}$ be a $d$ dimensional repetitive…
We obtain various characterizations of the fundamental operators of $\Gamma_{E(3; 3; 1, 1, 1)}$-contraction and $\Gamma_{E(3; 2; 1, 2)}$-contraction. We also demonstrate some important relations between the fundamental operators of a…
I prove three classification results about harmonic morphisms whose fibers have dimension one. All are valid when the domain is at least of dimension 4. (The character of this overdetermined problem is very different when the dimension of…