natural ↗ reference
4894 papers tagged with this keyword
Saturation of edge-ordered graphs
Published in Electronic J. Combin. 33(3), #P3.62, 2026
• Search Publication
For an edge-ordered graph $G$, an $n$-vertex edge-ordered graph $H$ is $G$-saturated if it is $G$-free and adding any new edge with an arbitrary label to $H$ creates a copy of $G$. The saturation function is the minimum number of edges in a $G$-saturated graph.
For (unordered) graphs, $0$-$1$ matrices, and vertex-ordered graphs, the saturation function is always $O(n)$ and satisfies a dichotomy: it is either $O(1)$ or $Θ(n)$. The saturation function of an edge-ordered graph follows a weaker dichotomy, being either $O(1)$ or $Ω(n)$. However, by finding edge-ordered graphs whose saturation functions are $Ω(n \sqrt{\log n})$, we show that $O(n)$ is not a universal upper bound.
We also study the semisaturation problem for edge-ordered graphs, a variant of the saturation problem in which $H$ is not required to be $G$-free. We prove a general upper bound $O(n \log n)$ and characterize edge-ordered graphs with bounded semisaturation functions.
We then present several families of edge-ordered graphs with bounded, linear, and superlinear (semi)saturation functions. We also introduce a natural variant of saturation in which the added edge is required to receive the smallest label. The behaviour of the two variants is similar in many respects, which motivated us to investigate the second variant extensively.
Unitary causal decompositions: a characterisation via lattice theory
Published in Quantum 10, 2218 (2026)
• View Publication
• BIB
If a unitary transformation has a circuit representation with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints $G$ for which any unitary transformation satisfying $G$ admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.
Linear equations mod $n$ are pseudo-telepathic
We prove that the quantum monad in dimension $2n$ admits no natural transformation to the polymorphism clone of linear equations modulo $n$. Consequently, for every $n\geq 2$, there exists an unsatisfiable system of linear equations over $\mathbb{Z}_n$ whose constraint system game admits a perfect finite-dimensional quantum strategy. As a corollary, we completely characterise pseudo-telepathic constraint languages in finite dimension. The proof combines a result of Harding, Jager, and Smith on group-valued measures on subspaces of Hilbert spaces with the polymorphism-minion characterisation of quantum pseudo-telepathy.
Canon Permutation Posets
A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.
On additive complements in natural numbers
We prove that for additive complements $A$ and $B$, if $$
\limsup_{x\to+\infty}\frac{A(x)B(x)}{x}<\frac43, $$ then $$
A(x)B(x)-x\rightarrow+\infty\qquad(x\to+\infty). $$ This improves the earlier upper bound $3-\sqrt{3}$ due to Fang and Chen.
Four-arm polyominoes in Golomb's hierarchy: A complete classification with Lean verification
We classify the polyominoes obtained by adjoining four straight arms to a single square, allowing zero arm lengths, according to their ability to tile rectangles, half-strips, bent strips, quadrants, strips, half-planes, and the plane. We also classify their ability to tile an integer enlargement of themselves. Tiles occupy whole square-grid cells; translations, rotations, and reflections are permitted. Exactly five capability profiles occur. For the family $P(n,1,1,0)$, the rectangle profile holds for $n\le3$ and the bent-strip profile, with no half-strip or rep-tiling, for every $n\ge4$. A cross with four positive arms tiles the plane precisely when two opposite arms have length one; it never tiles a half-plane. Explicit periodic constructions and geometric obstructions are combined with finite symbolic case certificates. A Lean 4 development verifies the full classification for every natural four-tuple, including the interpretation of the certificates as statements about arbitrary infinite tilings. The account incorporates the author's 2020--2021 L- and T-polyomino work, reconstructs Dahlke's gun argument, and documents the subsequent AI-assisted proof development and formalization.
Oriented and Valuated Delta Matroids from Stable Polynomials
Stable polynomials are the natural multivariate generalization of real rooted univariate polynomials. While their definition is purely algebraic in nature, they have deep connections to combinatorics. One such connection is the support theorem proved by Brändén in 2007, showing that the support of any stable polynomial is a jump system, and hence that the support of any multiaffine stable polynomial is a $Δ$-matroid. In this work, we generalize this result, showing that coefficients of multiaffine real stable polynomials give rise to oriented $Δ$-matroids, and coefficients of multiaffine stable polynomials over Puiseux series give rise to valuated $Δ$-matroids.
NOC NOC, who's there? Clustering systems of tree-child and normal networks
Clustering systems provide a natural way to encode structural information contained in phylogenetic networks. In this note, we study the clustering systems of normal and tree-child networks through an overlap-based property of set systems, called not-overlap-covered (NOC). We show that the NOC property is equivalent to inclusion-visibility, a memberwise formulation of the strict-compatibility condition previously used for tree-child clustering systems.
We characterize normal networks as precisely the semi-regular networks whose clustering systems satisfy NOC. Consequently, a clustering system is realized by a normal network if and only if it satisfies NOC, or equivalently, if every one of its clusters is inclusion-visible. In this case, the Hasse diagram provides a canonical normal realization. These are exactly the clustering systems realized by tree-child networks.
The NOC formulation yields a sharp quadratic upper bound on the number of distinct clusters of tree-child and normal networks and a direct polynomial-time recognition algorithm. Finally, we explore several consequences of the NOC perspective beyond the phylogenetic setting. These include connections to the enumeration of normal networks, an order-theoretic interpretation of inclusion-visibility, structural properties of NOC set systems, and a tractable special case of Minimum Set Cover, which is NP-hard in general.
Rotating-Memory Fibonacci Numbers and Periodic Tilings
We introduce and study the rotating-memory Fibonacci numbers, a periodic variable-order analogue of the Fibonacci sequence in which the number of preceding terms used in the recurrence changes cyclically with the index. Despite this varying memory, the resulting sequences exhibit a remarkably rigid structure. We derive closed forms, rational generating functions, arithmetic properties, and exact growth behavior, and show that the sequence decomposes naturally into geometric subsequences. We also develop combinatorial interpretations in terms of periodically constrained tilings, and restricted compositions, including bijective explanations for the multiplicative structure of the sequence. In addition, the first two nonclassical periods admit natural geometry-driven realizations: the period-2 sequence arises from monomer--dimer tilings of a triangular chain, while the period-3 sequence is related to tilings of a double hexagon strip by single and double hexagons. These connections provide geometric interpretations of the rotating recurrence in which the periodic behavior is induced by the underlying structures themselves, and suggest a broader problem of constructing analogous models for higher periods.
Complexity of learning matchings and half graphs via edge queries
The problem of learning or reconstructing an unknown graph from a known family via partial-information queries arises as a mathematical model in various contexts. The most basic type of access to the graph is via \emph{edge queries}, where an algorithm may query the presence/absence of an edge between a pair of vertices of its choosing, at unit cost.
While more powerful query models have been extensively studied in the context of graph reconstruction, the basic model of edge queries seems to have not attracted as much attention. In this paper we study the edge query complexity of learning a hidden bipartite graph, or equivalently its bipartite adjacency matrix, in the classical as well as quantum settings. We focus on learning matchings and half graphs, which are graphs whose bipartite adjacency matrices are a row/column permutation of the identity matrix and the lower triangular matrix with all entries on and below the principal diagonal being 1, respectively.
- For matchings of size $n$, we show a tight deterministic bound of $n(n-1)/2$ and an asymptotically tight randomized bound of $Θ(n^2)$. A quantum bound of $Θ(n^{1.5})$ was shown in a recent work of van Apeldoorn et al.~[ICALP'21].
- For half graphs whose bipartite adjacency matrix is a column-permutation of the $n \times n$ lower triangular matrix, we give tight $Θ(n \log n)$ bounds in both deterministic and randomized settings, and an $Ω(n)$ quantum lower bound. \item
- For general half graphs, we observe that the problem is equivalent to a natural generalization of the famous nuts-and-bolts problem, leading to a tight $Θ(n \log n)$ randomized bound.
- We also present a simple quicksort-style method that instantiates to a $O(n \log^2 n)$ randomized algorithm and a tight $O(n \log n)$ quantum algorithm.
Polyhedral Geometry of Time-to-First-Spike Neural Networks
We study the expressivity of spiking neural networks, which provide a natural framework for asynchronous, event-driven computation complementary to conventional feedforward neural networks. We consider the time-to-first-spike model in a setting for which the input-output map is continuous and piecewise linear, with affine pieces governed by causal feasibility constraints that determine which presynaptic spikes occur before a neuron fires. We first show that each neuron's firing time admits a maxout-like representation with exponentially many, highly constrained affine pieces. We then formalize causal regions as polyhedral regions with fixed causal sets and derive upper and lower bounds on the maximal number of causal regions in both shallow and multilayer feedforward spiking networks. Our theoretical and experimental results show that spiking networks can generate richer partitions of the input space than conventional feedforward ReLU networks.
On union-closed families with prescribed number of $k$-sets
Fix positive integers $N,k,n$ with $n\ge k$. We seek the minimum number of members of size at least $n$ in a finite family of finite sets closed under union and containing exactly $N$ distinct sets of size $k$. This problem is a specialization of the Leck--Roberts--Simpson weighted conjecture: assign weight one to sets of size at least $n$ and zero to smaller sets. The predicted minimizer consists of the unions of nonempty subfamilies of the first $N$ $k$-subsets of the natural numbers, ordered by their largest elements and, when these agree, by their increasing lists lexicographically. For an integer $t\ge 1$, call the range \[
\binom{n+t-1}{k}<N\le\binom{n+t}{k} \] the $t$-th strip.
We prove the layered conjecture throughout the first strip, and throughout the second strip for $k=3$. For arbitrary $k$, we prove the second strip for families of subsets of an $(n+2)$-element set. For $k,t\ge 3$, we prove the $t$-th strip for families of subsets of an $(n+t)$-element set whenever $n\ge(t+1)(k-1)$. With no restriction on the ground set, we prove it for $k\ge 3$ and $t\ge 2$ whenever $n>\frac{5}{2} k^2t$. For sufficiently large $k$, we obtain a sufficient bound of order $k^2t/\log k$, uniformly in $t\ge2$.
Uniform meandric systems as percolation on planar maps: conjectures and a numerical study
We perform a numerical study of uniform meandric systems via their encoding by pairs of simple random walks and their interpretation as a model of critical percolation on random planar maps. We investigate certain natural box-crossing events and provide numerical evidence for a strong negative association between opposite open crossings and formulate conjectures on their asymptotic behavior. Our second contribution is a simple law-preserving dynamics on meandric systems, by local peak/valley flips in the walk encoding. Our simulations suggest that the percolation structure decorrelates much faster than the underlying random planar map.
Isomorphisms of abelian Cayley graphs with their natural edge-colouring
We prove that if $φ$ is an isomorphism between two connected Cayley graphs of abelian groups, and $φ$ respects the natural edge-colourings of the Cayley graphs, then $φ$ is the composition of a group isomorphism and a colour-preserving graph automorphism. This implies that if every colour-preserving automorphism of a connected abelian Cayley graph $Cay(G;S)$ is an affine map, then the same is true for every colour-permuting automorphism. We also show that this property holds if and only if the subgroup generated by $\{\, s \in S \mid 2s \neq c \,\} \cup \{c\}$ has index $\le 2$ for every element $c$ of order $2$ in $G$.
Extending Symmetric Layer-Rainbow Latin Cubes
An $n\times n\times n$ array on $n^2$ symbols is a layer-rainbow Latin cube if every layer contains every symbol exactly once. We call it symmetric if $L_{ij\ell}=L_{j\ell i}=L_{\ell ij}$ for distinct $i,j,\ell$ and $L_{iij}=L_{jji}$, $L_{iji}=L_{jij}$, $L_{ijj}=L_{jii}$ for distinct $i,j$. We determine exactly when a symmetric layer-rainbow Latin cube of order $m$ embeds in one of order $n$, giving a three-dimensional analogue of Cruse's embedding theorem. Call a positive integer admissible if it is congruent to $0$ or $2$ modulo $3$, with $1$ admissible and $3$ excluded. For $n>m$, an embedding exists if and only if $m,n$ are admissible, $(m,n)\ne(2,5)$, and \[ \begin{cases}
n\geq2m,&n-m\not\equiv1\pmod3,\\[1mm]
\displaystyle n\geq m+\frac{\sqrt{48m^2+1}-1}{6},&n-m\equiv1\pmod3. \end{cases} \] Via the equivalent one-factorization problem for a non-uniform hypergraph, fair detachment reduces the proof to an exact integer allocation. We also determine the structure forced at both sharp boundaries and obtain infinitely many equality cases. At order eight, we construct a symmetric layer-rainbow Latin cube admitting the natural diagonal action of $\operatorname{PSL}(2,7)$, whose induced action on the $64$ symbols has orbit sizes $1,7,28,28$.
Metric Bases of Barycentric and Matching Subdivisions of Zero-Divisor Graphs
In this paper, we study metric bases and related metric properties for barycentric and partial matching subdivisions of the zero-divisor graph of $\mathbb Z_{pq}$, where $p$ and $q$ are distinct odd primes with $q>p$. We first recall the natural partition of the zero-divisor graph into the two prime classes and then give a detailed characterization of those subsets of $BS(Γ(\mathbb Z_{pq}))$ that form metric bases when $q\geq 2p-1$. The proof is expanded by separating the role of closed neighborhoods, rows of subdivision vertices, and forbidden twin configurations. We then investigate $M$-subdivision graphs obtained by subdividing selected edges of $Γ(\mathbb Z_{pq})$. In addition to the lower bounds for subdivisions of $p-3$ and $p-2$ edges, we prove an exact formula for matching subdivisions of arbitrary size $r$, $0\leq r\leq p-2$, namely $\dim(G_r)=p+q-r-4$. Several consequences are included to illustrate how a small matching subdivision can reduce the localization cost of the original zero-divisor network.
Quasi-modularity of symmetric quasi-shuffles
We develop an algebraic framework for the quasi-modularity of symmetric multiple $q$-zeta values. We identify natural classes of symmetric quasi-shuffles whose $q$-zeta values exhaust the algebra of level-one quasi-modular forms, and further classes whose $q$-zeta values are quasi-modular forms of finite level. We also obtain explicit symmetrization formulas and relate symmetric quasi-shuffles to symmetric and quasisymmetric functions.
Hyperbolic distance matrix completion
A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.
Spectrally symmetric orientations of graphs
The Hermitian adjacency matrices of digraphs based on the sixth root of unity were introduced in [B. Mohar, A new kind of Hermitian matrices for digraphs, Linear Alg. Appl. (2020)]. They appear to be the most natural choice for the spectral theory of digraphs. Undirected graphs have adjacency spectrum symmetric about 0 if and only if they are bipartite. The situation is more complex for the Hermitian spectra of digraphs. In this paper we study non-bipartite oriented graphs with symmetric Hermitian spectra. Our main result concerns the extremal problem of maximizing the density of spectrally symmetric oriented graphs. The maximum possible density is shown to be between 31/36} and 10/11. Furthermore, we give a necessary condition for an oriented graph to be spectrally symmetric based on the adjacency spectrum of the underlying graph. This allows us to show that line graphs of sufficiently dense graphs do not admit spectrally symmetric orientations. We also show how to construct infinite families of spectrally symmetric graphs using 1-sums.
$J$-ascent sets in parabolic quotients of Coxeter groups
Let $(W,S)$ be a Coxeter system and let $J\subseteq S$. The right $J$-ascent set $$ A_R^J(w)=\{s\in S\mid ws\in{}^JW,\ \ell(ws)=\ell(w)+1\} $$ is a natural refinement of the classical ascent set adapted to the parabolic quotient ${}^JW$. We establish a local transition formula describing the behaviour of $J$-ascent sets under right multiplication by a simple reflection. As a consequence, for every $w\in{}^JW$ and every $s\in A_R^J(w)$, we prove that $$ \Bigl||A_R^J(w)|-|A_R^J(ws)|\Bigr| \leq \max\{1,\text{deg}(s)-1\}. $$