math.CO ↗ arXiv
7121 papers in this category
Wiener and Average Distance of Irregular Square-Cell Configuration
Published
• View Publication
• BIB
A subgraph of the square lattice with all of its inner faces being 4-cycles is called a square-cell configuration. Prior work has provided explicit expressions for the total and average distances between vertex pairs in symmetric square-cell configurations, including well-structured families such as hexagonal square-cell configurations $H(n)$, trapezium square-cell configurations $T(n,k)$, and bitrapezium square-cell configurations $BT(n,k_1,k_2)$. In this article, we further extend the square-cell configuration from regular boundaries to irregular boundaries, which do not exhibit complete regularity or symmetry in their structure. We find the generalized expressions for the Wiener index and average distance of such irregular configurations, incorporating combinatorial and structural variations. Our results demonstrate how irregularity affects the growth and distribution of pairwise distances and provide a unifying framework that includes both symmetric and asymmetric square-cell graphs as exceptional cases. This generalization provides novel insights into the structural behaviour of square-cell frameworks characterized by complex or perturbed geometries.
Root geometry of domination polynomials for friendship and book graphs
This study examines the domination polynomials of friendship graphs and book graphs, focusing on unanswered questions related to these families. For the friendship graph $F_n$, with even $n$, we show that the polynomial $D(F_n,x)$ has exactly three real zeros: $0$ and two simple zeros in the intervals $(-2,-1)$ and $(-1,0)$. We further show that these two nonzero zeros have monotonic variation and converge to $-1-\frac{1}{\sqrt2}$ and $-1+\frac{1}{\sqrt2}$, respectively. We obtain the quantitative approximation $(|z|-1)^2\log |z|\le n$ for any complex zeros of $D(F_n,x)$, resulting in the explicit bound $|z|\le 1+\sqrt{\tfrac{n}{\log 2}}$. For book graphs $B_n$, we ascertain the comprehensive limit set of domination roots and establish results about the presence of real roots contingent on parity. We provide a partial answer to the integer-root an issue by establishing that friendship and book graphs have no nonzero integer domination roots, whereas for corona families, the only nonzero integer root is $-2$.
Menger's theorem for ends of digraphs
Polat generalised Menger's theorem -- the maximum number of vertex-disjoint paths between two sets $A$ and $B$ equals the minimum size of an $A$-$B$ separator -- to ends of undirected graphs. In this paper we extend Menger's theorem to ends of digraphs. As an application, we characterise the combined degree of ends of digraphs.
Sharp threshold for reconstructing points on the line
For a set of $n$ points $V \subseteq \mathbb{R}$ let $G(V, p)$ be the random graph on $V$ where each possible edge is present independently with probability $p$. We call a subset $U \subseteq V$ {\emph {reconstructible}} if every injection $\varphi:V\to \mathbb{R}$ that preserves the distances along the edges of $G(V, p)$ also preserves all pairwise distances in $U$. How large is the size $\mathsf{R}$ of a largest reconstructible subset? Girão, Illingworth, Michel, Powierski and Scott conjectured that the answer is linear whp when $p = (1+\varepsilon)/n$ for every $\varepsilon > 0$. In this paper, we show that for every $\varepsilon>0$ whp there exists a reconstructible subset $U$ of the largest component $\mathcal{C}$ of the 2-core satisfying $|U| = |V(\mathcal{C})|(1-o(1))$, proving a stronger form of the conjecture. The bound is asymptotically best possible, since for $V \subseteq \mathbb{R}$ linearly independent over $\mathbb{Q}$ it is straightforward to verify that $\mathsf{R} \leq \max(2, |V(\mathcal{C})|)$. Furthermore, we extend these results to every $\varepsilon:= \varepsilon(n)$ satisfying $\varepsilon = ω(1/\ln n)$.
Fast Isotopy Computation for T-Curves
A T-curve of degree $d$ is given by a regular unimodular triangulation of $d \cdot Δ_2$ together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, this determines the ambient isotopy type (a.k.a. real scheme) of a smooth real plane projective algebraic curve of the same degree. We present a near-quadratic time algorithm for extracting that isotopy type from the triangulation and the signs. Through a GPU-accelerated implementation, this allows one to compute billions of real schemes per second, enabling exhaustive enumeration at scale. This algorithm was essential for our recent construction of all 121 real schemes of degree seven by T-curves.
Limit laws for longest edges in empty region graphs
Empty region graphs are graphs whose vertices are points in $\mathbb{R}^d$ and where two vertices are connected by an edge whenever some associated region does not contain any other vertices. We investigate the asymptotic behaviour of long edges in empty region graphs generated by a stationary Poisson process in $\mathbb{R}^d$. {Letting} the intensity of the underlying Poisson process tend to infinity, we consider the associated point process of edge midpoints, suitably transformed edge lengths, and directions of the edges. We prove that it converges in distribution to a Poisson process on $\mathbb{R}^d \times \mathbb{R}\times\mathbb{L}^d$, where $\mathbb{L}^d$ is the space of lines in $\mathbb{R}^d$ through the origin, and that the suitably transformed length of the longest edge with midpoint in an observation window converges in distribution to a Gumbel distributed random variable. Our approach yields explicit error bounds in Kantorovich--Rubinstein distance for the point process convergence {when restricting to an observation window} and in Kolmogorov distance for the maximal edge length. The results apply uniformly to a broad class of empty region graphs, including the Gabriel graph, the relative neighbourhood graph, the beta-skeleton graph, the Mastercard graph, and the Pacman graph.
More Vertices of the Tristochastic Polytope
The $n\times n$ doubly stochastic matrices constitute a polytope in $\mathbb{R}^{n^2}$, and by Birkhoff's theorem, its vertex set coincides with the set of order-$n$ permutation matrices.\\ A tristochastic array is an $n \times n\times n$ array of nonnegative reals, where each row, column, and shaft sums to one. These arrays constitute a polytope $Δ_n$ in $\mathbb{R}^{n^3}$. In analogy, it is easy to see that each of the $L_n$ order-$n$ Latin squares is a vertex of $Δ_n$, but in contrast to Birkhoff's theorem, Latin squares form a vanishingly small subset of $Δ_n$'s vertex set. We show here that $Δ_n$ has at least $L_n^{2-o(1)}$ vertices.
On the chromatic profile for tripartite graphs and beyond
Let $H$ be a graph and let $δ_χ(H,r)$ denote the infimum of $c$ such that every $H$-free graph with minimum degree at least $cn$ is $r$-colorable. The \textit{chromatic profile} of $H$ is defined to be the values of $δ_χ(H,r)$ as $r$ varies. Erdős and Simonovits described this graph parameter as ``too complicated", and Allen, Böttcher, Griffiths, Kohayakawa, and Morris posed its determination for every graph $H$ as an open problem \cite[Problem~45]{ABGKM2013}, emphasizing its expected difficulty.
In this paper, we resolve the case $r=2$ for every graph $H$ with $χ(H)=3$. We show that the set of possible values of $δ_χ(H,2)$ with $χ(H)=3$ is finite and discrete: $$\{δ_χ(H,2):χ(H)=3\}=\left\{\frac{1}{2},\frac{2}{5},\frac{2}{7},\frac{1}{4},\frac{2}{9},\frac{1}{5},\frac{2}{11},\frac{1}{6}\right\}.$$ Furthermore, we provide a complete structural characterization of the graphs $H$ associated with each threshold value. Moreover, we extend the classical chromatic profile result for triangle to color-critical graphs $H$ with $g_{\mathrm{odd}}(H)=χ(H)=3$.
Our approach introduces a useful auxiliary parameter. Motivated by the notion of vertex-extendability of Liu, Mubayi, and Reiher \cite{liu2023unified}, we define the {\it vertex-extendable threshold} of $H$, denoted by $δ_{\mathrm{ext}}(H,r)$, as the infimum of $c\in (0,1)$ so that for every $H$-free graph $G$ on $n$ vertices, the existence of a vertex $v \in V(G)$ with $χ(G - v) \leq r$ combined with $δ(G)\ge cn$ implies that $G$ is $r$-colorable. A key structural consequence is that $δ_χ(H,2) = \max\left\{δ_χ(C_{2k+1},2),δ_{\mathrm{ext}}(H,2)\right\},$ where $H$ is a color-critical graph with $χ(H)=3$ and $g_{\mathrm{odd}}(H)=2k+1$ for $k\geq 2$.
Billey-Type Formula for KL-Schubert Classes in Hyperbolic Cohomology
This paper studies the KL-Schubert classes defined by Kazhdan-Lusztig bases in $K$-theory and hyperbolic cohomology of flag varieties. We first establish Poincaré dualities of these classes. We then focus on Grassmannians, and establish the Billey-type formula for KL-Schubert classes in hyperbolic cohomology.
Colour-balanced subgraphs
A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that can be made colour-balanced by recolouring $O(k^2)$ edges. More generally, we obtain analogous bounds for arbitrary bounded-degree spanning subgraphs of edge-coloured complete graphs and for perfect matchings in edge-coloured $r$-uniform complete hypergraphs in a more general vector-label setting. The former result answers a question recently posed by Banerjee and Hollom, and significantly improves earlier bounds for all previously studied classes of subgraph. Our proofs reduce each of these problems to a setting in which we can apply a bound for perfect matchings in the complete bipartite graph, established via a linear relaxation and a necklace-splitting argument.
Graph Energy Maximisation for Integral Circulant Graphs of Order $n = p^2q^3$
The energy of a graph is the sum of the absolute values of its adjacency eigenvalues. For integral circulant graphs $\ICG(n,\mathcal{D})$ of order $n=p^2q^3$, where $p$ and $q$ are distinct odd primes, we prove that the adjacency eigenvalues of $\ICG(p^2q^3,\Dstar)$, for the divisor set $\Dstar=\{1,p^2,pq,q^2,p^2q^2,pq^3\}$, admit an exact Kronecker factorisation in the prime exponents: they separate completely into a factor depending only on $p$ and a factor depending only on~$q$. This factorisation holds unconditionally for all pairs of distinct odd primes and constitutes the structural core of the paper. From it we derive, unconditionally, the first closed-form polynomial formula for the energy of a two-prime-order integral circulant graph evaluated at $\Dstar$. Exhaustive computation over prime pairs $(p,q)$ confirms that $\Dstar$ is the unique energy maximiser in every tested case; we conjecture that this universality holds for all pairs of distinct odd primes.
Random 0/1-polytopes expand rapidly
A 0/1-polytope is the convex hull of a subset $V\subseteq \{0,1\}^n$. A celebrated conjecture of Mihail and Vazirani asserts that the graph of every 0/1-polytope has edge-expansion at least 1. In this paper, we show that typical 0/1-polytopes have significantly stronger expansion. Specifically, if $V$ is formed by sampling each vertex of $\{0,1\}^n$ independently with constant probability $p$, then with high probability the edge-expansion is $Θ(n)$ for $p \in (1/2, 1)$, and $n^{Θ(\log \log n)}$ for $p \in (0, 1/2)$. This improves the previously best known bound $Ω(1)$ due to Ferber, Krivelevich, Sales and Samotij.
Large products of double cosets for symmetric subgroups
We consider the problem of classifying pairs $x,y \in G$ such that $K x K y K = G$ where $G$ is a simple compact connected Lie group and $K$ is a symmetric subgroup. We give a necessary condition on $x,y$ for all simply connected $G$, and a complete classification when $G = \operatorname{SU}(n)$ and any symmetric $K \subseteq G$ except the type AIII case $K \simeq \operatorname{S}(\operatorname{U}(p) \times \operatorname{U}(n-p))$ with $p \neq n/2$. We also present some applications of these results to gate decompositions in quantum computing.
Sparse String Graphs and Region Intersection Graphs over Minor-Closed Classes have Linear Expansion
We prove that sparse string graphs in a fixed surface have linear expansion. We extend this result to the more general setting of sparse region intersection graphs over any proper minor-closed class. The proofs are combinatorial and self-contained, and provide bounds that are within a constant factor of optimal. Applications of our results to graph colouring are presented.
$2$-colourability of the maximum ranked elements of a combinatorially sphere-like ranked poset
We obtain a higher dimensional analogue of a classical theorem which states that a polygonally cellulated $2$-sphere in $\mathbb{R}^3$, such that each vertex has even degree, is $2$-face-colourable. In order to formulate our result, we introduce the notion of combinatorially sphere-like ranked posets, which are ranked posets that generalise combinatorial spheres. We prove that, in a combinatorially sphere-like ranked poset $S$ of rank $k$, if each element of rank $(k-2)$ is covered by an even number of elements, then the maximum ranked elements of $S$ admit a proper $2$-colouring, i.e., any two adjacent maximum ranked elements have different colours.
Ramsey numbers for regular induced subgraphs
A problem proposed by Erdős, Fajtlowicz and Staton asks for the smallest $n$ for which every graph on $n$ vertices contains a regular induced subgraph of order at least $k$. A variation is to ask for a regular induced subgraph of order exactly $k$. In this paper we provide exact values for $k\le 5$ and lower bounds for $k=6$ and $k=7$. We also improve the general lower bound of Alon, Krivelevich and Sudakov [SIAM J. Disc. Math, 2008].
Error analysis of quantization combined with Hadamard transforms
In this paper, we consider an image coding process consisting of the following four steps: a direct transformation, a direct quantization, an inverse quantization, and an inverse transformation, where Hadamard transforms are used for the transformation steps and a dead-zone quantizer is used for the quantization. The aim of this paper is to provide a theoretical tool for analyzing this process. We discuss error bounds for this process and bounds on the largest absolute value that the components of the result can attain. In order to obtain these bounds, we use methods of linear algebra and properties of Hadamard matrices. The obtained formulae depend on the size of the matrices, the parameters of the quantizer and the dequantizer, and a bound on the source values. Knowing the error bounds helps control the trade-off between compression efficiency and output quality. Knowing the bounds on the largest absolute value helps decide how many bits are needed to store the result. In addition, we demonstrate a connection between the norm $\|\mathbf{H}\|_{\infty, 1}$ of a Hadamard matrix $\mathbf{H}$ and the maximal excess $σ([\mathbf{H}])$ of the equivalence class containing $\mathbf{H}$.
Equivalences of promise compactness principles
For a pair of finite relational structures $(\mathfrak{A},\mathfrak{B})$ such that $\mathfrak{A}$ homomorphically maps to $\mathfrak{B}$ we denote by $K_{(\mathfrak{A},\mathfrak{B})}$ the following statement: for all structures $\mathfrak{I}$ with the same signature as $\mathfrak{A}$ if all finite substructures of $\mathfrak{I}$ homomorphically maps to $\mathfrak{A}$ then $\mathfrak{I}$ homomorphically maps to $\mathfrak{B}$. In this article, we show that if $(\mathfrak{A},\mathfrak{B})$ has no Olšák polymorphism, then $K_{(\mathfrak{A},\mathfrak{B})}$ is equivalent to the ultrafilter principle over $\operatorname{ZF}$. This includes the statements $K_{(K_3,K_5)}$ and $K_{(H_2,H_c)}$ for all $c\geq 2$ where $K_n$ denotes the clique of size $n$ and $H_k$ denotes the ternary not-all-equal structure on a $k$-element set. This means, for example, that in any $\operatorname{ZF}$ model, if every finitely 3-colourable graph can be coloured by 5 colours then all these graphs can in fact be coloured by 3 colours.
Ehrhart positivity for marked order polytopes
Given a pair of finite posets $A \subseteq P$, the function counting integer-valued order preserving extensions of an order preserving map $λ: A\rightarrow \mathbb{Z}$ is given by a piecewise polynomial in $λ$. We provide a criterion for the nonnegativity of the coefficients of these multivariate polynomials and apply it to show that marked order polytopes of skew shapes are Ehrhart positive in a multivariate sense. This extends recent results of Ferroni-Morales-Panova on order polytopes of skew shapes and proves conjectures on the Ehrhart positivity of skew Gelfand-Tsetlin polytopes and $m$-generalized Pitman-Stanley polytopes due to Alexanderson-Alhajjar and Dugan-Hegarty-Morales-Raymond, respectively.
4-cycle-free induced subgraphs of grid graphs
The avoidance of induced forests, or induced acyclic subgraphs, in $d$-dimensional grid graphs, or lattice graphs, has been studied in Alon et al. and later in Caragiannis et al., finding upper and lower bounds with respect to the number of vertices in a single dimension $n$ and the dimension $d$. In this work, we study the avoidance of induced $C_4$-free subgraphs, a superset of induced forests, of $2$-dimensional grid graphs $G$ and characterize the maximal sets $S \subseteq V$ such that the induced subgraph $G_S$ of $G$ with vertex set $S$ is $C_4$-free. Additionally, we will give upper and lower bounds on the number of $C_4$-free induced subgraphs with slightly fewer vertices than contained in the maximum.