graph
34516 papers tagged with this keyword
The distribution of the cokernel of a polynomial evaluated at a random integral matrix
Given a prime $p$, let $P(t)$ be a non-constant monic polynomial in $t$ over the ring $\mathbb{Z}_{p}$ of $p$-adic integers. Let $X_{n}$ be an $n \times n$ random matrix over $\mathbb{Z}_{p}$ with independent entries that lie in any residue class modulo $p$ with probability at most $1 - ε$ for a fixed real number $0 < ε< 1$. We prove that as $n \rightarrow \infty$, the distribution of the cokernel $\mathrm{cok}(P(X_{n}))$ of $P(X_{n})$ converges to the distribution given by a finite product of some explicit measures that resemble Cohen--Lenstra measures. For example, the random matrix $X_{n}$ can be taken as a Haar-random matrix or a uniformly random $(0,1)$-matrix. We consider the distribution of $\mathrm{cok}(P(X_{n}))$ as a distribution of modules over $\mathbb{Z}_{p}[t]/(P(t))$, which gives us a clearer formulation in comparison to considering the distribution as that of abelian groups. For the proof, we first reduce our problem into a problem over $\mathbb{Z}/p^{k}\mathbb{Z}$, for large enough positive integer $k$, in place of $\mathbb{Z}_{p}$. Then we use a result of Sawin and Wood to reduce our problem into another problem of computing the limit of the expected number of surjective $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-linear maps from $\mathrm{cok}(P(X_{n}))$ modulo $p^{k}$ to a fixed finite size $(\mathbb{Z}/p^{k}\mathbb{Z})[t]/(P(t))$-module $G$. To estimate the expected number and compute the desired limit, we carefully adopt subtle techniques developed by Wood, which were originally used to compute the asymptotic distribution of the $p$-part of the sandpile group of a random graph.
Disconnected Common Graphs via Supersaturation
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a $2$-colouring of the edges of a large complete graph is asymptotically minimized by a random colouring. It is well known that the disjoint union of two common graphs may be uncommon; e.g., $K_2$ and $K_3$ are common, but their disjoint union is not. We investigate the commonality of disjoint unions of multiple copies of $K_3$ and $K_2$. As a consequence of our results, we obtain an example of a pair of uncommon graphs whose disjoint union is common. Our approach is to reduce the problem of showing that certain disconnected graphs are common to a constrained optimization problem in which the constraints are derived from supersaturation bounds related to Razborov's Triangle Density Theorem. We also improve bounds on the Ramsey multiplicity constant of a triangle with a pendant edge and the disjoint union of $K_3$ and $K_2$.
Efficiently distinguishing all tangles in locally finite graphs
Published in Journal of Combinatorial Theory, Series B Volume 167, July 2024, Pages 189-214
• View Publication
• BIB
While finite graphs have tree-decompositions that efficiently distinguish all their tangles, locally finite graphs with thick ends need not have such tree-decompositions. We show that every locally finite graph without thick ends admits such a tree-decomposition, in fact a canonical one. Our proof exhibits a thick end at any obstruction to the existence of such tree-decompositions and builds on new methods for the analysis of the limit behaviour of strictly increasing sequences of separations.
Kempe Classes and Almost Bipartite Graphs
Published in Discrete Applied Math. Vol. 357, 15 November 2024, pp. 94-98
• Search Publication
Let $G$ be a graph and $k$ be a positive integer, and let $Kc(G, k)$ denote the number of Kempe equivalence classes for the $k$-colorings of $G$. In 2006, Mohar noted that $Kc(G, k) = 1$ if $G$ is bipartite. As a generalization, we show that $Kc(G, k) = 1$ if $G$ is formed from a bipartite graph by adding any number of edges less than $\binom{\lceil k/2\rceil}2+\binom{\lfloor k/2\rfloor}2$. We show that our result is tight (up to lower order terms) by constructing, for each $k \geq 8$, a graph $G$ formed from a bipartite graph by adding $(k^2+8k-45+1)/4$ edges such that $Kc(G, k) \geq 2$. This refutes a recent conjecture of Higashitani--Matsumoto.
Books, Hallways and Social Butterflies: A Note on Sliding Block Puzzles
Published in The Mathematical Intelligencer (2024): 1-14
• Search Publication
Recall the classical 15-puzzle, consisting of 15 sliding blocks in a $4\times 4$ grid. Famously, the configuration space of this puzzle consists of two connected components, corresponding to the odd and even permutations of the symmetric group $S_{15}$. In 1974, Wilson generalised sliding block puzzles beyond the $4\times 4$ grid to arbitrary graphs (considering $n-1$ sliding blocks on a graph with $n$ vertices), and characterised the graphs for which the corresponding configuration space is connected.
In this work, we extend Wilson's characterisation to sliding block puzzles with an arbitrary number of blocks (potentially leaving more than one empty vertex). For any graph, we determine how many empty vertices are necessary to connect the corresponding configuration space, and more generally we provide an algorithm to determine whether any two configurations are connected. Our work may also be interpreted within the framework of "Friends and Strangers graphs", where empty vertices correspond to "social butterflies" and sliding blocks to "asocial" people.
Optimization of trigonometric polynomials with crystallographic symmetry and spectral bounds for set avoiding graphs
Published
• View Publication
• BIB
Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.
A Triangle-free, 4-chromatic $\mathbb{Q}^3$ Euclidean Distance Graph Scavenger Hunt!
For $d > 0$, define $G(\mathbb{Q}^3, d)$ to be the graph whose set of vertices is the rational space $\mathbb{Q}^3$, where two vertices are adjacent if and only if they are a Euclidean distance $d$ apart. Let $χ(\mathbb{Q}^3, d)$ be the chromatic number of such a graph or, in other words, the minimum number of colors needed to color the points of $\mathbb{Q}^3$ so that no two points at distance $d$ apart receive the same color. An open problem, originally posed by Benda and Perles in the 1970s, asks if there exists $d$ such that $χ(\mathbb{Q}^3, d) = 3$. Through numerous efforts over the years, $χ(\mathbb{Q}^3, d)$ has been determined for many values of $d$, and for all those distances $d$ where $χ(\mathbb{Q}^3, d)$ has not been exactly pinned down, it is known that $χ(\mathbb{Q}^3, d) \in \{3,4\}$. In our work, we detail several search algorithms we have employed to find $4$-chromatic subgraphs of various graphs $G(\mathbb{Q}^3, d)$ whose chromatic number was previously unknown. Ultimately, we conjecture that no $3$-chromatic $G(\mathbb{Q}^3, d)$ exists. Along the way, we pose a few related questions that we feel are of interest in their own right.
An exponential improvement for diagonal Ramsey
The Ramsey number $R(k)$ is the minimum $n \in \mathbb{N}$ such that every red-blue colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove that \[ R(k) \leqslant (4 - \varepsilon)^k \] for some constant $\varepsilon > 0$. This is the first exponential improvement over the upper bound of Erdős and Szekeres, proved in 1935.
Homogeneous sets in hypergraphs with forbidden order-size pairs
The well-known Erdős-Hajnal conjecture states that for any graph $F$, there exists $ε>0$ such that every $n$-vertex graph $G$ that contains no induced copy of $F$ has a homogeneous set of size at least $n^ε$. We consider a variant of the Erdős-Hajnal problem for hypergraphs where we forbid a family of hypergraphs described by their orders and sizes. For graphs, we observe that if we forbid induced subgraphs on $m$ vertices and $f$ edges for any positive $m$ and $0\leq f \leq \binom{m}{2}$, then we obtain large homogeneous sets. For triple systems, in the first nontrivial case $m=4$, for every $S \subseteq \{0,1,2,3,4\}$, we give bounds on the minimum size of a homogeneous set in a triple system where the number of edges spanned by every four vertices is not in $S$. For all $S$ we determine if the growth rate is polylogarithmic. Several open problems remain.
Graph embeddings with no Hamiltonian extensions
Published in Bulletin of the Institute of Combinatorics and its Applications, vol 99, 2023, pp 52--57
• Search Publication
We show that extending an embedding of a graph $Γ$ in a surface to an embedding of a Hamiltonian supergraph can be blocked by certain planar subgraphs but, for some subdivisions of $Γ$, Hamiltonian extensions must exist.
Large induced subgraphs of random graphs with given degree sequences
We study a random graph $G$ with given degree sequence $\boldsymbol{d}$, with the aim of characterising the degree sequence of the subgraph induced on a given set $S$ of vertices. For suitable $\boldsymbol{d}$ and $S$, we show that the degree sequence of the subgraph induced on $S$ is essentially concentrated around a sequence that we can deterministically describe in terms of $\boldsymbol{d}$ and $S$. We then give an application of this result, determining a threshold for when this induced subgraph contains a giant component. We also apply a similar analysis to the case where $S$ is chosen by randomly sampling vertices with some probability $p$, i.e. site percolation, and determine a threshold for the existence of a giant component in this model. We consider the case where the density of the subgraph is either constant or slowly going to $0$ as $n$ goes to infinity, and the degree sequence $\boldsymbol{d}$ of the whole graph satisfies a certain maximum degree condition. Analogously, in the percolation model we consider the cases where either $p$ is a constant or where $p \to 0$ slowly. This is similar to work of Fountoulakis in 2007 and Janson in 2009, but we work directly in the random graph model to avoid the limitations of the configuration model that they used.
Sharp lower bound on the "number of nodal decomposition" of graphs
Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous Laplacian. In this article, using the same notion of partitioning, we discuss the lower bound (or lack thereof) on the number of nodal decomposition of eigenvectors in the class of all graphs with a fixed number of vertices (however large). This can be treated as a discrete analogue to the results of Stern and Lewy in the continuous Laplacian case.
Adjacency Spectrum and Wiener Index of the Essential Ideal Graph of a Finite Commutative Ring $\mathbb{Z}_{n}$
Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_{R}$ of $R$, is a graph with a vertex set consisting of all nonzero proper ideals of \textit{R} and two vertices $I$ and $K$ are adjacent if and only if $I+ K$ is an essential ideal. In this paper, we study the adjacency spectrum of the essential ideal graph of the finite commutative ring $\mathbb{Z}_{n}$, for $n=\{p^{m}, p^{m_{1}}q^{m_{2}}\}$, where $p,q$ are distinct primes, and $m,m_{1}, m_2\in \mathbb N$. We show that $0$ is an eigenvalue of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ if and only if either $n= p^2$ or $n$ is not a product of distinct primes. We also determine all the eigenvalues of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ whenever $n$ is a product of three or four distinct primes. Moreover, we calculate the topological indices, namely the Wiener index and hyper-Wiener index of the essential ideal graph of $\mathbb{Z}_{n}$ for different forms of $n$
Irregular labeling on Abelian groups of digraphs
Let $\overrightarrow{G}$ be a directed graph of order $n$ with no component of order less than $4$, and let $Γ$ be a finite Abelian group such that $|Γ|\geq n+6$. We show that there exists a mapping $ψ$ from the arc set $E(\overrightarrow{G})$ of $\overrightarrow{G}$ to an Abelian group $Γ$ such that if we define a mapping $\varphi_ψ$ from the vertex set $V(\overrightarrow{G})$ of $\overrightarrow{G}$ to $Γ$ by $$\varphi_ψ(x)=\sum_{y\in N^+(x)}ψ(xy)-\sum_{y\in N^-(x)}ψ(yx),\;\;\;(x\in V(\overrightarrow{G})),$$ then $\varphi_ψ$ is injective. Such a labeling $ψ$ is called \textit{irregular}.
The Number of Edges in Maximal 2-planar Graphs
A graph is $2$-planar if it has local crossing number two, that is, it can be drawn in the plane such that every edge has at most two crossings. A graph is maximal $2$-planar if no edge can be added such that the resulting graph remains $2$-planar. A $2$-planar graph on $n$ vertices has at most $5n-10$ edges, and some (maximal) $2$-planar graphs -- referred to as optimal $2$-planar -- achieve this bound. However, in strong contrast to maximal planar graphs, a maximal $2$-planar graph may have fewer than the maximum possible number of edges. In this paper, we determine the minimum edge density of maximal $2$-planar graphs by proving that every maximal $2$-planar graph on $n\ge 5$ vertices has at least $2n$ edges. We also show that this bound is tight, up to an additive constant. The lower bound is based on an analysis of the degree distribution in specific classes of drawings of the graph. The upper bound construction is verified by carefully exploring the space of admissible drawings using computer support.
$\mathbb Z_3^8$ is not a CI-group
A Cayley graph Cay$(G;S)$ has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay$(G;T)$, there is a group automorphism $α$ of $G$ such that $S^α=T$. The DCI (Directed Cayley Isomorphism) property is defined analogously on digraphs. A group $G$ is a CI-group if every Cayley graph on $G$ has the CI property, and is a DCI-group if every Cayley digraph on $G$ has the DCI property. Since a graph is a special type of digraph, this means that every DCI-group is a CI-group, and if a group is not a CI-group then it is not a DCI-group, but there are well-known examples of groups that are CI-groups but not DCI-groups.
In 2009, Spiga showed that $\mathbb Z_3^8$ is not a DCI-group, by producing a digraph that does not have the DCI property. He also showed that $\mathbb Z_3^5$ is a DCI-group (and therefore also a CI-group). Until recently the question of whether there are elementary abelian $3$-groups that are not CI-groups remained open. In a recent preprint with Dave Witte Morris, we showed that $\mathbb Z_3^{10}$ is not a CI-group. In this paper we show that with slight modifications, the underlying undirected graph of order $3^8$ described by Spiga is does not have the CI property, so $\mathbb Z_3^8$ is not a CI-group.
Strong arboricity of graphs
An edge coloring of a graph $G$ is \emph{woody} if no cycle is monochromatic. The \emph{arboricity} of a graph $G$, denoted by $\arb (G)$, is the least number of colors needed for a woody coloring of $G$. A coloring of $G$ is \emph{strongly woody} if after contraction of any single edge it is still woody. In other words, not only any cycle in $G$ can be monochromatic but also any \emph{broken cycle}, i.e., a simple path arising by deleting a single edge from the cycle. The least number of colors in a strongly woody coloring of $G$ is denoted by $ζ(G)$ and called the \emph{strong arboricity} of $G$.
We prove that $ζ(G)\leqslant χ_a(G)$, where $χ_a(G)$ is the \emph{acyclic chromatic number} of $G$ (the least number of colors in a proper vertex coloring without a $2$-colored cycle). In particular, we get that $ζ(G)\leqslant 5$ for planar graphs and $ζ(G)\leqslant 4$ for otuterplanar graphs. We conjecture that $ζ(G)\leqslant 4$ holds for all planar graphs. We also prove that $ζ(G)\leqslant 4(\arb(G))^2$ holds for arbitrary graph $G$. A natural generalziation of strong arboricity to \emph{matroids} is also discussed, with a special focus on cographic matroids.
Independence complexes of wedge of graphs
In this article, we introduce the notion of a wedge of graphs and provide detailed computations for the independence complex of a wedge of path and cycle graphs. In particular, we show that these complexes are either contractible or wedges of spheres.
Online Bipartite Matching in the Probe-Commit Model
We consider the classical online bipartite matching problem in the probe-commit model. In this problem, when an online vertex arrives, its edges must be probed to determine if they exist, based on known edge probabilities. A probing algorithm must respect commitment, meaning that if a probed edge exists, it must be used in the matching. Additionally, each online vertex has a patience constraint which limits the number of probes that can be made to an online vertex's adjacent edges. We introduce a new configuration linear program (LP) which we prove is a relaxation of an optimal offline probing algorithm. Using this LP, we establish the following competitive ratios which depend on the model used to generate the instance graph, and the arrival order of its online vertices:
- In the worst-case instance model, an optimal $1/e$ ratio when the vertices arrive in uniformly at random (u.a.r.) order.
- In the known independently distributed (i.d.) instance model, an optimal $1/2$ ratio when the vertices arrive in adversarial order, and a $1-1/e$ ratio when the vertices arrive in u.a.r. order.
The latter two results improve upon the previous best competitive ratio of $0.46$ due to Brubach et al. (Algorithmica 2020), which only held in the more restricted known i.i.d. (independent and identically distributed) instance model. Our $1-1/e$-competitive algorithm matches the best known result for the prophet secretary matching problem due to Ehsani et al. (SODA 2018). Our algorithm is efficient and implies a $1-1/e$ approximation ratio for the special case when the graph is known. This is the offline stochastic matching problem, and we improve upon the $0.42$ approximation ratio for one-sided patience due to Pollner et al. (EC 2022), while also generalizing the $1-1/e$ approximation ratio for unbounded patience due to Gamlath et al. (SODA 2019).
Stable Set Polytopes with High Lift-and-Project Ranks for the Lovász-Schrijver SDP Operator
We study the lift-and-project rank of the stable set polytopes of graphs with respect to the Lovász-Schrijver SDP operator $\text{LS}_+$. In particular, we focus on a search for relatively small graphs with high $\text{LS}_+$-rank (i.e., the least number of iterations of the $\text{LS}_+$ operator on the fractional stable set polytope to compute the stable set polytope). We provide families of graphs whose $\text{LS}_+$-rank is asymptotically a linear function of its number of vertices, which is the best possible up to improvements in the constant factor. This improves upon the previous best result in this direction from 1999, which yielded graphs whose $\text{LS}_+$-rank only grew with the square root of the number of vertices.