Showing 20 papers (Total: 81378 papers, 47165 authors in database)
At most 10 cylinders mutually touch: a Ramsey-theoretic approach
Littlewood asked for the maximum number $N$ of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair touches. We improve upon the proof of the second author that $N \leq 18$ to show that $N \leq 10$. Together with the lower bound established by Bozóki, Lee, and Rónyai, this shows that $N \in \{7,8,9,10\}$. Our method is based on linear algebra and Ramsey theory, and makes partial use of computer verification. We also provide a completely computer-free proof that $N \leq 12$.
Every Fifth Real Number is Evil
Fifteen years ago, then-Carleton-undergrad Isaac Hodes, proved that the Golden Ratio is evil. In this modest contribution to human knowledge, we show that in fact, every fifth real number is evil, and we present lots of other interesting numbers that are evil. We also show (in addition to many other fascinating facts), that the expected evil-location of a random evil number is 148.185185185185185... . It follows that the Golden Ratio is a fairly average evil real number, since, as first computed by Hodes, the evil location of the Golden Ratio is 146.
Congestion bounds via Laplacian eigenvalues and their application to tensor networks with arbitrary geometry
Embedding the vertices of arbitrary graphs into trees while minimizing some measure of overlap is an important problem with applications in computer science and physics. In this work, we consider the problem of bijectively embedding the vertices of an $n$-vertex graph $G$ into the leaves of an $n$-leaf rooted binary tree $\mathcal{B}$. The congestion of such an embedding is given by the largest size of the cut induced by the two components obtained by deleting any vertex of $\mathcal{B}$. The congestion $\mathrm{cng}(G)$ is defined as the minimum congestion obtained by any embedding. We show that $λ_2(G)\cdot 2n/9\le \mathrm{cng} (G)\le λ_n(G)\cdot 2n/9$, where $0=λ_1(G)\le \cdots \le λ_n(G)$ are the Laplacian eigenvalues of $G$. We also provide a contraction heuristic given by hierarchically spectral clustering the original graph, which we numerically find to be effective in finding low congestion embeddings for sparse graphs. We numerically compare our congestion bounds on different families of graphs with regular structure (hypercubes and lattices), random graphs, and tensor network representations of quantum circuits. Our results imply lower and upper bounds on the memory complexity of tensor network contraction in terms of the underlying graph.
On the Enumeration of all Unique Paths of Recombining Trinomial Trees
Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree naively yields $\mathcal{O}(3^{D})$ trajectories, making exhaustive enumeration infeasible. Under time-homogeneous dynamics, however, the graph exhibits two exploitable symmetries: (i) translational invariance of nodes and (ii) a canonical bijection between admissible paths and ordered tuples encoding weak compositions. Leveraging these, we introduce a mass-shifting enumeration algorithm that slides integer "masses" through a cardinality tuple to generate exactly one representative per path-equivalence class while implicitly counting the associated weak compositions. This trims the search space by an exponential factor, enabling markedly deeper trees -- and therefore tighter numerical approximations of the underlying evolution -- to be processed in practice. We further derive an upper bound on the combinatorial counting expression that induces a theoretical lower bound on the algorithmic cost of approximately $\mathcal{O}\bigl(D^{1/2}1.612^{D}\bigr)$. This correspondence permits direct benchmarking while empirical tests, whose pseudo-code we provide, corroborate the bound, showing only a small constant overhead and substantial speedups over classical breadth-first traversal. Finally, we highlight structural links between our algorithmic/combinatorial framework and Motzkin paths with Narayana-type refinements, suggesting refined enumerative formulas and new potential analytic tools for path-dependent functionals.
On $d$-distance $p$-packing domination number in strong products
The $d$-distance $p$-packing domination number $γ_d^p(G)$ of a graph $G$ is the cardinality of a smallest set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. If no such set exists, then we set $γ_d^p(G) = \infty$. For an arbitrary strong product $G\boxtimes H$ it is proved that $γ_d^p(G\boxtimes H) \le γ_d^p(G) γ_d^p(H)$. By proving that $γ_d^p(P_m \boxtimes P_n) = \left \lceil \frac{m}{2d+1} \right \rceil \left \lceil \frac{n}{2d+1} \right \rceil$, and that if $γ_d^p(C_n) < \infty$, then $γ_d^p(P_m \boxtimes C_n) = \left \lceil \frac{m}{2d+1} \right \rceil \left \lceil \frac{n}{2d+1} \right \rceil$, the sharpness of the upper bound is demonstrated. On the other hand, infinite families of strong toruses are presented for which the strict inequality holds. For instance, we present strong toruses with difference $2$ and demonstrate that the difference can be arbitrarily large if only one factor is a cycle. It is also conjectured that if $γ_d^p(G) = \infty$, then $γ_d^p(G\boxtimes H) = \infty$ for every graph $H$. Several results are proved which support the conjecture, in particular, if $γ_d^p(C_m)= \infty$, then $γ_d^p(C_m \boxtimes C_n)=\infty$.
Spectral extremal problems for the $(p,Q)$-spectral radius of hypergraphs
Let $Q$ be an $s$-vertex $r$-uniform hypergraph, and let $H$ be an $n$-vertex $r$-uniform hypergraph. Denote by $\mathcal{N}(Q,H)$ the number of isomorphic copies of $Q$ in $H$. For a hereditary family $\mathcal{P}$ of $r$-uniform hypergraphs, define $$π(Q,\mathcal{P}):=\lim\limits_{n\to \infty}\binom{n}{s}^{-1}\max\{\mathcal{N}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}.$$ For $p\geq1$, the $(p,Q)$-spectral radius of $H$ is defined as $$λ^{(p)}(Q,H):=\max_{\|\mathbf{x}\|_{p}=1}s!\sum_{\{i_{1},\ldots,i_{s}\}\in \binom{[n]}{s}}\mathcal{N}(Q,H[\{i_{1},\ldots,i_{s}\}])x_{i_{1}}\cdots x_{i_{s}}.$$
%generalizing the concept of the $p$-spectral radius introduced by %Keevash, Lenz, and Mubayi \cite{KLM2014}.
In this paper, we present a systematically investigation of the parameter $λ^{(p)}(Q,H)$. First, we prove that the limit $$λ^{(p)}(Q,\mathcal{P}):=\lim\limits_{n\to \infty}n^{s/p-s}\max\{λ^{(p)}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}$$ exists, and for $p>1$, it satisfies $$π(Q,\mathcal{P})=λ^{(p)}(Q,\mathcal{P}).$$
Second, we study spectral generalized Turán problems.
Specifically, we establish a spectral stability result and apply it to derive a spectral version of the Erdős Pentagon Problem: for $p\geq1$ and sufficiently large $n$, the balanced blow-up of $C_{5}$ maximizes $λ^{(p)}(C_{5},H)$ among all $n$-vertex triangle-free graphs $H$, thereby improving a result of Liu \cite{Liu2025}. Furthermore, we show that for $p\geq1$ and sufficiently large $n$, the $l$-partite Turán graph $T_{l}(n)$ attains the maximum $λ^{(p)}(K_{s},H)$ among all $n$-vertex F-free graphs $H$, where $F$ is an edge-critical graph with $χ(F)=l+1$. This provides a spectral analogue of a theorem due to Ma and Qiu \cite{MQ2020}.
The paired construction for Boolean functions on the slice
Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all $K\in\binom{V}{k}$ with $I \subseteq K \subseteq J$ is called "basic". In this article, we investigate a construction arising as the sum of two "opposite" basic functions. In essentially all cases, these "paired" functions are Boolean.
Our main result is the determination of the exact degree -- regarding a representation by an $n$-variable polynomial -- of all paired functions. The proof is elementary and does not involve any spectral methods. First, we settle the middle layer case $n=2k$ by identifying and combining various relations among the degrees involved. Then the general case is reduced to the middle layer situation by means of derived, reduced, and dual functions.
Remarkably, in certain situations, the degree is strictly smaller than what is guaranteed by the elementary upper bound for the sum of functions. This makes paired functions good candidates for fixed-degree Boolean functions of small support size. As it turns out, for $n = 2k$ and even degree $t \notin \{0,k\}$, paired functions provide the smallest known non-zero Boolean functions, surpassing the $t$-pencils, which is the smallest known construction in all other cases.
Goodman-Strauss theorem revisited
The Goodman-Strauss theorem states that for ``almost every" substitution, the family of substitution tilings is sofic, that is, it can be defined by local rules for some decoration of tiles. The conditions on the substitution that guarantee the soficity are quite complicated.
In this paper we propose a version of Goodman-Strauss theorem with simpler conditions on the substitution. Although the conditions are quite restrictive, we show that, in combination with two simple tricks (taking a sufficiently large power of the substitution and combining small tiles into larger ones), our version of Goodman-Strauss theorem can also prove the soficity of the family of substitution tilings for ``almost every'' substitution.
We also prove a similar theorem for the family of hierarchical tilings associated with the given substitution. A tiling is called hierarchical if it has a composition under the substitution, such that this composition also has a composition, and so on, infinitely many times. Every substitution tiling is hierarchical, but the converse is not always true. Fernique and Ollinger formulated some conditions on the substitution that guarantee that the family of hierarchical tilings is sofic. However, their technique does not prove this statement under such general conditions as in their paper. In the present paper, we show that under the same assumptions, as for our version of the Goodman-Strauss theorem, their technique works.
A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.
Generalised Kauffman Clock Theorems
Kauffman's clock theorem provides a distributive lattice structure on the set of states of a four-valent graph in the plane. We prove two distinct generalisations of this theorem, for four-valent graphs embedded in more general compact oriented surfaces. The proofs use results of Propp providing distributive lattice structures on matchings on bipartite plane graphs, and orientations of graphs with fixed circulation.
Computing the number of realisations of a rigid graph
A graph is said to be rigid if, given a generic realisation of the graph as a bar-and-joint framework in the plane, there exist only finitely many other realisations of the graph with the same edge lengths modulo rotations, reflections and translations. In recent years there has been an increase of interest in determining exactly what this finite amount is, hereon known as the realisation number. Combinatorial algorithms for the realisation number were previously known for the special cases of minimally rigid and redundantly rigid graphs. In this paper we provide a combinatorial algorithm to compute the realisation number of any rigid graph, and thus solve an open problem of Jackson and Owen. We then adapt our algorithm to compute: (i) spherical realisation numbers, and (ii) the number of rank-3 PSD matrix completions of a generic partial matrix.
(Injective) facet-complexity between simplicial complexes
We present the notion of facet-complexity, $\text{C}(\mathsf{L};\mathsf{K})$, for two simplicial complexes $\mathsf{L}$ and $\mathsf{K}$, along with basic results for this numerical invariant. This invariant $\text{C}(\mathsf{L};\mathsf{K})$ quantifies the \aspas{complexity} of the following question: When does there exist a facet simplicial map $\mathsf{L}\to \mathsf{K}$? A facet simplicial map is a simplicial map that preserves non-unitary facets. Likewise, we introduce the notion of injective facet-complexity, $\text{IC}(\mathsf{L};\mathsf{K})$. These invariants generalize the notion of (injective) hom-complexity between graphs, recently introduced by Zapata et al. We demonstrate a triangular inequality for (injective) facet-complexity and show that it is a simplicial complex invariant. Additionally, these invariants provide an obstruction to the existence of facet simplicial maps. We explore the sub-additivity of (injective) facet-complexity and we present a lower bound in terms of the chromatic number. Moreover, we provide an upper bound for $\mathrm{C}(\mathsf{L};\mathsf{H})$ in terms of the number of facets of $L$. Finally, we establish a formula for $\mathrm{IC}(\mathsf{L};\mathsf{K})$ when $\mathsf{L}$ is a pure simplicial complex and $K$ is a complete simplicial complex.
Labeled Plane Trees and Increasing Plane Trees
This note is dedicated to presenting a polynomial analogue of $(n+1)!C_n=2^n(2n-1)!!$ (with $C_n$ as the $n$-th Catalan number) in the context of labeled plane trees and increasing plane trees, based on the definition of improper edges in labeled plane trees. A new involution on labeled plane trees is constructed to establish this identity, implying that the number of improper edges and the number of proper edges are equidsitributed over the set of labeled plane trees.
A sparse canonical van der Waerden theorem
The canonical van der Waerden theorem asserts that, for sufficiently large $n$, every colouring of $[n]$ contains either a monochromatic or a rainbow arithmetic progression of length $k$ ($k$-AP, for short). In this paper, we determine the threshold at which the binomial random subset $[n]_p$ almost surely inherits this canonical Ramsey type property. As an application, we show the existence of sets $A\subseteq [n]$ such that the $k$-APs in $A$ define a $k$-uniform hypergraph of arbitrarily high girth and yet any colouring of $A$ induces a monochromatic or rainbow $k$-AP.
Digraph Yama Nim
{\sc Yama Nim} is a variant of two piles {\sc Nim}. In this ruleset, the player chosses one of the piles and removes at least two tokens from the pile. In the same move, the player adds one token to the other pile. We show the winning strategies and SG-values of this ruleset.
In addition, we introduce a generalization of {\sc Yama Nim}, named {\sc Digraph Yama Nim}. In this ruleset, a digraph is given and there are some tokens on each vertex of the digraph. Each player, in their turn, chooses one vertex and removes at least its out-degree plus one tokens from the vertex. Furthermore, one token is added to each vertex to which a directed edge from the chosen vertex is connected. We show that the winner determination problem of {\sc Digraph Yama Nim} is PSPACE-complete even when the input graph is bipartite and directed acyclic. Despite this, there are some cases that can be solved easily and we show them.
The lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive
We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.
Yamaguti algebras and noncrossing partitions
Recently, Das defined a new type of algebras, the Yamaguti algebras, which are supposed to serve as envelopes of Lie-Yamaguti algebras appearing naturally in differential geometry. We show that the nonsymmetric operad of Yamaguti algebras admit a simple combinatorial description via noncrossing partitions without singleton blocks.
Many rays of the submodular cone
The study of the cone of submodular functions goes back to Jack Edmonds' seminal 1970 paper, which already highlighted the difficulty of characterizing its extreme rays. Since then, researchers from diverse fields have sought to characterize, enumerate, and bound the number of such rays. In this paper, we introduce an inductive construction that generates new rays of the submodular cone. This allows us to establish that the $n$-th submodular cone has at least $2^{2^{n-2}}$ rays, which improves upon the lower bound obtained from Hien Q. Nguyen's 1986 characterization of indecomposable matroid polytopes by a factor of order $\sqrt{n^3}$ in the exponent.
Note on the Number of Almost Ordinary Triangles
Let $X$ be a set of $n$ points in the plane, not all on a line. According to the Gallai-Sylvester
theorem, $X$ always spans an \emph{ordinary line}, i.e., one that passes through precisely 2
elements of $X$. Given an integer $c\ge 2,$ a \emph{line} spanned by $X$ is called
\emph{$c$-ordinary} if it passes through at most $c$ points of $X$. A \emph{triangle} spanned by 3
noncollinear points of $X$ is called \emph{$c$-ordinary} if all 3 lines determined by its sides
are \emph{$c$-ordinary}. Motivated by a question of Erd\H os, Fulek \emph{et al.}~\cite{FMN+17}
proved that there exists an absolute constant $c > 2$ such that if $X$ cannot be covered by 2
lines, then it determines at least one $c$-ordinary triangle. Moreover, the number of such
triangles grows at least linearly in $n$. They raised the question whether the true growth rate of
this function is superlinear.
We prove that if $X$ cannot be covered by 2 lines, and no line passes through more than $n-t(n)$
points of $X$, for some function $t(n)\rightarrow\infty,$ then the number of $17$-ordinary
triangles spanned by $X$ is at least constant times $n \cdot t(n)$, i.e., superlinear in $n$. We also
show that the assumption $t(n)\rightarrow\infty$ is necessary. If we further assume that no line
passes through more than $n/2-t(n)$ points of $X$, then the number of $17$-ordinary triangles
grows superquadratically in $n$. This statement does not hold if $t(n)$ is bounded. We close this
paper with some algorithmic results. In particular, we provide a $O(n^{2.372})$ time algorithm for
counting all $c$-ordinary triangles in an $n$-element point set, for any $c<n$.
Chip-Firing Games on Banana Trees
We study chip-firing games on multigraphs whose underlying simple graphs are trees, paths, and stars, denoted as banana trees, paths, and stars respectively. We present a polynomial time algorithm to compute the divisorial gonality of banana paths, and give combinatorial formulas for the related invariants of scramble number and screewidth for any banana tree. Furthermore, we leverage banana paths to show that gonality can increase or decrease by an arbitrary amount upon deletion of a single edge, even when the resulting graph is connected. Lastly, we study banana trees and Brill-Noether theory to prove that the gonality conjecture holds for all banana trees.