Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Excluding Pinched Spheres
The pinched sphere is the pseudo-surface $\mathbb{S}^{\circ}_0$ obtained by identifying two distinct points of the sphere. We provide a structural characterization of graphs excluding an $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. Given a graph $G$ and a vertex set $X$, the bidimensionality of $X$ in $G$ is the maximum $k$ such that $G$ contains the $(k\times k)$-grid as an $X$-rooted minor, i.e., there exists a minor model of the $(k \times k)$-grid in~$G$ such that every branchset of this model contains a vertex of $X$. We prove that there is a function~$f$ such that, if a graph $G$ excludes an $\mathbb{S}^{\circ}_0$-embeddable graph $H$ as a minor, $G$ has a tree decomposition where each torso $G_{t}$ contains some set of vertices $X,$ whose bidimensionality in $G_{t}$ is at most $f(k)$ such that $G_{t}$ can be reduced to a graph embeddable in the projective plane by identifying vertices from $X$. This result is optimal in the sense that every graph admitting such a tree decomposition must exclude some $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. An alternative interpretation of this result can be obtained by the fact that edge-apex graphs, i.e., graphs that can be made planar by removing an edge, are graphs embeddable in the pinched sphere. Several consequences and variants of this min-max duality are discussed.
Transparent Rectangle Visibility Graphs
A transparent rectangle visibility graph (TRVG) is a graph whose vertices can be represented by a collection of non-overlapping rectangles in the plane whose sides are parallel to the axes such that two vertices are adjacent if and only if there is a horizontal or vertical line intersecting the interiors of their rectangles.
We show that every threshold graph, tree, cycle, rectangular grid graph, triangular grid graph and hexagonal grid graph is a TRVG. We also obtain a maximum number of edges of a bipartite TRVG and characterize complete bipartite TRVGs. More precisely, a bipartite TRVG with $n$ vertices has at most $2n-2$ edges. The complete bipartite graph $K_{p,q}$ is a TRVG if and only if $\min\{p,q\} \le 2$ or $(p,q) \in \{(3,3), (3,4)\}$. We prove similar results for the torus. Moreover, we study whether powers of cycles and their complements are TRVGs.
A group-theoretic approach to Shannon capacity of graphs and a limit theorem from lattice packings
We develop a group-theoretic approach to the Shannon capacity problem. Using this approach we extend and recover, in a structured and unified manner, various families of previously known lower bounds on the Shannon capacity. Bohman (2003) proved that, in the limit $p\to\infty$, the Shannon capacity of cycle graphs $Θ(C_p)$ converges to the fractional clique covering number, that is, $\lim_{p \to \infty} p/2 - Θ(C_p) = 0$. We strengthen this result by proving that the same is true for all fraction graphs: $\lim_{p/q \to \infty} p/q - Θ(E_{p/q}) = 0$. Here the fraction graph $E_{p/q}$ is the graph with vertex set $\mathbb{Z}/p\mathbb{Z}$ in which two distinct vertices are adjacent if and only if their distance mod $p$ is strictly less than $q$. We obtain the limit via the group-theoretic approach. In particular, the independent sets we construct in powers of fraction graphs are subgroups (and, in fact, lattices). Our approach circumvents known barriers for structured ("linear") constructions of independent sets of Calderbank-Frankl-Graham-Li-Shepp (1993) and Guruswami-Riazanov (2021).
The homology torsion growth of determinantal hypertrees
Fix a dimension $d\ge 2$, and let $T_n$ be a random $d$-dimensional determinantal hypertree on $n$ vertices. We prove that \[\frac{\log|H_{d-1}(T_n,\mathbb{Z})|}{n\choose {d}}\] converges in probability to a constant $c_d$, which satisfies
\[\frac{1}2 \log\left(\frac{d+1}e\right)\le c_d\le \frac{1}2 \log\left(d+1\right) .\]
Stability with minuscule structure for chromatic thresholds
Published
• View Publication
• BIB
The chromatic threshold $δ_χ(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $d n$ is bounded by a constant depending only on $H$ and $d$. Allen, B{ö}ttcher, Griffiths, Kohayakawa, and Morris determined the chromatic threshold for every $H$; in particular, they showed that if $χ(H)=r\ge 3$, then $δ_χ(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$. While the chromatic thresholds have been completely determined, rather surprisingly the structural behaviors of extremal graphs near the threshold remain unexplored.
In this paper, we establish the stability theorems for chromatic threshold problems. We prove that every $n$-vertex $H$-free graph $G$ with $δ(G)\ge (δ_χ(H)-o(1))n$ and $χ(G)=ω(1)$ must be structurally close to one of the extremal configurations. Furthermore, we give a stronger stability result when $H$ is a clique, showing that $G$ admits a partition into independent sets and a small subgraph on sublinear number of vertices. We show that this small subgraph has fractional chromatic number $2+o(1)$ and is homomorphic to a Kneser graph defined by subsets of a logarithmic size set; both these two bounds are best possible. This is the first stability result that captures the lower-order structural features of extremal graphs.
We also study two variations of chromatic thresholds. Replacing chromatic number by its fractional counterpart, we determine the fractional chromatic thresholds for all graphs. Another variation is the bounded-VC chromatic thresholds, which was introduced by Liu, Shangguan, Skokan, and Xu very recently. Extending work of Łuczak and Thomass{é} on the triangle case, we determine the bounded-VC chromatic thresholds for all cliques.
Factorizations in Geometric Lattices
Published
• View Publication
• BIB
This article investigates atomic decompositions in geometric lattices isomorphic to the partition lattice $Π(X)$ of a finite set $X$, a fundamental structure in lattice theory and combinatorics. We explore the role of atomicity in these lattices, building on concepts introduced by D.D. Anderson, D.F. Anderson, and M. Zafrullah within the context of factorization theory in commutative algebra. As part of the study, we first examine the main characteristics of the function $\mathfrak{N}\colon Π(X) \rightarrow \mathbb{N}$, which assigns to each partition $π$ the number of minimal atomic decompositions of $π$. We then consider a distinguished subset of atoms, $\mathcal{R}$, referred to as the set of red atoms, and derive a recursive formula for $\pmbπ(X, j, s, \mathcal{R})$, which enumerates the rank-$j$ partitions expressible as the join of exactly $s$ red atoms.
Short monochromatic odd cycles
Published
• View Publication
• BIB
It is easy to see that every $k$-edge-colouring of the complete graph on $2^k+1$ vertices contains a monochromatic odd cycle. In 1973, Erdős and Graham asked to estimate the smallest $L(k)$ such that every $k$-edge-colouring of $K_{2^k+1}$ contains a monochromatic odd cycle of length at most $L(k)$. Recently, Girão and Hunter obtained the first nontrivial upper bound by showing that $L(k)=O(\frac{2^k}{k^{1-o(1)}})$, which improves the trivial bound by a polynomial factor. We obtain an exponential improvement by proving that $L(k)=O(k^{3/2}2^{k/2})$. Our proof combines tools from algebraic combinatorics and approximation theory.
Some remarks on Folkman graphs for triangles
Folkman's theorem asserts the existence of graphs $G$ which are $K_4$-free, but which have the property that every two-coloring of $E(G)$ contains a monochromatic triangle. The quantitative aspects of $f(2,3,4)$, the least $n$ such that there exists an $n$-vertex graph with both properties above, are notoriously difficult; a series of improvements over the span of two decades witnessed the solution to two \$100 Erdős problems, and the current record due to Lange, Radziszowski, and Xu now stands at $f(2,3,4) \leq 786$, the proof of which is computer-assisted.
In this paper, we study Folkman-like properties of a sequence $H_q$ of finite geometric graphs constructed using Hermitian unitals in projective planes which were instrumental in the recent Mattheus-Verstraëte breakthrough on off-diagonal Ramsey numbers. We show that for all prime powers $q \geq 4$, there exists a subset $\mathscr{T}_q$ of triangles in $H_q$ such that no four span a $K_4$ in $H_q$, but every two-coloring of $E(H_q)$ induces a monochromatic triangle in $\mathscr{T}_q$. For $q=4$, this gives a graph on $208$ vertices with this "quasi-Folkman" property. Moreover, we show that a certain random alteration of $H_q$ which destroys all of its $K_4$'s will, for large $q$, maintain the Ramsey property with high probability.
Positive $m$-divisible non-crossing partitions and their Kreweras maps
We study positive $m$-divisible non-crossing partitions and their positive Kreweras maps. In classical types, we describe their combinatorial realisations as certain non-crossing set partitions. We also realise these positive Kreweras maps as pseudo-rotations on a circle, respectively on an annulus. We enumerate positive $m$-divisible non-crossing partitions in classical types that are invariant under powers of the positive Kreweras maps with respect to several parameters. In order to cope with the exceptional types, we develop a different combinatorial model in general type describing positive $m$-divisible non-crossing partitions that are invariant under powers of the positive Kreweras maps. We finally show that altogether these results establish several cyclic sieving phenomena.
Data analysis using discrete cubical homology
We present a new tool for data analysis: persistence discrete homology, which is well-suited to analyze filtrations of graphs. In particular, we provide a novel way of representing high-dimensional data as a filtration of graphs using pairwise correlations. We discuss several applications of these tools, e.g., in weather and financial data, comparing them to the standard methods used in the respective fields.
On polynomial progressions via transference
We prove new cases of reasonable bounds for the polynomial Szemerédi theorem both over $\mathbb{Z}/N\mathbb{Z}$ with $N$ prime and over the integers. In particular, we prove reasonable bounds for Szemerédi's theorem in the integers with fixed polynomial common difference. That is, we prove for any polynomial $P(y)\in \mathbb{Z}[y]$ with $P(0) = 0$, that the largest subset $A\subseteq [N]$ avoiding the pattern \[x, x+P(y),\ldots, x+ kP(y)\] has size bounded by $\ll_{P,k}N(\log\log\log N)^{-Ω_{P,k}(1)}.$
A Hierarchical Constructive Heuristic for Large-Scale Survivable Traffic Grooming Problem under Double-Link Failures
This paper studies a survivable traffic grooming problem in large-scale optical transport networks under double-link failures (STG2). Each communication demand must be assigned a route for every possible scenario involving zero, one, or two failed fiber links. Protection against double-link failures is crucial for ensuring reliable telecommunications services while minimizing equipment costs, making it essential for telecommunications companies today. However, this significantly complicates the problem and is rarely addressed in existing studies. Furthermore, current research typically examines networks with fewer than 300 nodes, much smaller than some emerging networks containing thousands of nodes. To address these challenges, we propose a novel hierarchical constructive heuristic for STG2. This heuristic constructs and assigns routes to communication demands across different scenarios by following a hierarchical sequence. It incorporates several innovative optimization techniques and utilizes parallel computing to enhance efficiency. Extensive experiments have been conducted on large-scale STG2 instances provided by our industry partner, encompassing networks with 1,000 to 2,600 nodes. Results demonstrate that within a one-hour time limit and a 16 GB memory limit set by the industry partner, our heuristic improves the objective values of the best-known solutions by 18.5\% on average, highlighting its significant potential for practical applications.
The Combinatorial Rank of Subsets: Metric Density in Finite Hamming Spaces
We introduce a novel concept of rank for subsets of finite metric spaces E^n_q (the set of all n-dimensional vectors over an alphabet of size q) equipped with the Hamming distance, where the rank R(A) of a subset A is defined as the number of non-constant columns in the matrix formed by the vectors of A. This purely combinatorial definition provides a new perspective on the structure of finite metric spaces, distinct from traditional linear-algebraic notions of rank. We establish tight bounds for R(A) in terms of D_A, the sum of Hamming distances between all pairs of elements in A. Specifically, we prove that 2qD_A/((q-1)|A|^2) <= R(A) <= D_A/(|A|-1) when |A|/q >= 1, with a modified lower bound for the case |A|/q < 1. These bounds show that the rank is constrained by the metric properties of the subset. Furthermore, we introduce the concept of metrically dense subsets, which are subsets that minimize rank among all isometric images. This notion captures an extremal property of subsets that represent their distance structure in the most compact way possible. We prove that subsets with uniform column distribution are metrically dense, and as a special case, establish that when q is a prime power, every linear subspace of E^n_q is metrically dense. This reveals a fundamental connection between the algebraic and metric structures of these spaces.
Boundary rigidity of systolic and Helly complexes
In this article, we prove that finite (weakly) systolic and Helly complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). Furthermore, Helly complexes and 2-dimensional systolic complexes can be reconstructed by an algorithm that runs in polynomial time with respect to the number of vertices of the complex. Both results can be viewed as a positive contribution to a general question of Haslegrave, Scott, Tamitegama, and Tan (2025). The reconstruction of a finite cell complex from the boundary distances is the discrete analogue of the boundary rigidity problem, which is a classical problem from Riemannian geometry.
Ricci Curvature of Strong Product Graphs
Published
• View Publication
• BIB
We establish for the first time the explicit curvature formulas for the horizontal and vertical edges of the strong product of two regular graphs. We complement this result with showing that there does not exist an analogous formula for the curvatures of diagonal edges except for a special case, and providing a sharp lower bound for them in terms of the curvatures of the factors. This gives the curvature formulas for all the edges of the product of a complete graph and a regular graph. We also present an accessible and simpler proof of the curvature formulas for all the edges of the Cartesian product of two regular graphs, originally established by Lin, Lu, and Yau [2011].
Words avoiding the morphic images of most of their factors
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (September 23, 2025) dmtcs:15919
• View Publication
• BIB
We say that a finite factor $f$ of a word $w$ is \emph{imaged} if there exists a non-erasing morphism $m$, distinct from the identity, such that $w$ contains $m(f)$. We show that every infinite word contains an imaged factor of length at least 6 and that 6 is best possible. We show that every infinite binary word contains at least 36 distinct imaged factors and that 36 is best possible.
Meeting a Challenge raised by Ekhad and Zeilberger related to Stern's Triangle
This paper resolves an open problem raised by Ekhad and Zeilberger for computing $ω(10000)$, which is related to Stern's triangle. While $ν(n)$, defined as the sum of squared coefficients in $\prod_{i=0}^{n-1} (1 + x^{2^i} + x^{2^{i+1}})$, admits a rational generating function, the analogous function $ω(n)$ for $\prod_{i=0}^{n-1} (1 + x^{2^i+1} + x^{2^{i+1}+1})$ presents substantial computational difficulties due to its complex structure.
We develop a method integrating constant term techniques, conditional transfer matrices, algebraic generating functions, and $P$-recursions. Using the conditional transfer matrix method, we represent $ω(n)$ as the constant term of a bivariate rational function. This framework enables the calculation of $ω(10000)$, a $6591$-digit number, and illustrates the method's broad applicability to combinatorial generating functions.
Covering radii of $3$-zonotopes and the shifted Lonely Runner Conjecture
We show that the shifted Lonely Runner Conjecture (sLRC) holds for 5 runners. We also determine that there are exactly 3 primitive tight instances of the conjecture, only two of which are tight for the non-shifted conjecture (LRC). Our proof is computational, relying on a rephrasing of the sLRC in terms of covering radii of certain zonotopes (Henze and Malikiosis, 2017), and on an upper bound for the (integer) velocities to be checked (Malikiosis, Santos and Schymura, 2024+).
As a tool for the proof, we devise an algorithm for bounding the covering radius of rational lattice polytopes, based on constructing dyadic fundamental domains.
Characteristic Imsets for Cyclic Linear Causal Models and the Chickering Ideal
Two directed graphs are called covariance equivalent if they induce the same set of covariance matrices, up to a Lebesgue measure zero set, on the random variables of their associated linear structural equation models. For acyclic graphs, covariance equivalence is characterized both structurally, via essential graphs and characteristic imsets, and transformationally, through sequences of covered edge flips. However, when cycles are allowed, only a transformational characterization of covariance equivalence has been discovered. We consider a linear map whose fibers correspond to the sets of graphs with identical characteristic imset vectors, and study the toric ideal associated to its integer matrix. Using properties of this ideal we show that directed graphs with the same characteristic imset vectors are covariance equivalent. In applications, imsets form a smaller search space for solving causal discovery via greedy search.
No-dimensional Tverberg-type problems
Recently, Adiprasito et al. have initiated the study of the so-called no-dimensional Tverberg problem. This problem can be informally stated as follows: Given $n\geq k$, partition an $n$-point set in Euclidean space into $k$ parts such that their convex hulls intersect a ball of relatively small radius.
In this survey, we aim to present the recent progress towards solving the no-dimensional Tverberg problem and new open questions arising in its context. Also, we discuss the colorful variation of this problem and its algorithmic aspects, particularly focusing on the case when each part of a partition contains exactly 2 points. The latter turns out to be related to the following no-dimensional Tverberg-type problem of Huemer et al.: For an even set of points in Euclidean space, find a perfect matching such that the balls with diameters induced by its edges intersect.