graph
34516 papers tagged with this keyword
Sharp thresholds for spanning regular graphs
Let $d\geq 3$ be a constant and let $F$ be a $d$-regular graph on $[n]$ with not too many symmetries. By the union bound, the probability threshold for the existence of a spanning subgraph in $G(n,p)$ isomorphic to $F$ is at least $p^*(n)=(1+o(1))(e/n)^{2/d}$. We give a tight bound on the edge expansion of $F$ guaranteeing that the probability threshold for the appearance of a copy of $F$ has the same order of magnitude as $p^*$. We also prove that, within a slight strengthening of this bound, the probability threshold is asymptotically equal to $p^*$. In particular, it proves the conjecture of Kahn, Narayanan and Park on a sharp threshold for the containment of a square of a Hamilton cycle. It also implies that, for $d\geq 4$ and (asymptotically) almost all $d$-regular graphs $F$ on $[n]$, $p(n)=(e/n)^{2/d}$ is a sharp threshold for $F$-containment.
Neighbourhood complexity of graphs of bounded twin-width
Published in European Journal of Combinatorics 115:103772, 2024
• View Publication
• BIB
We give essentially tight bounds for, $ν(d,k)$, the maximum number of distinct neighbourhoods on a set $X$ of $k$ vertices in a graph with twin-width at most~$d$. Using the celebrated Marcus-Tardos theorem, two independent works [Bonnet et al., Algorithmica '22; Przybyszewski '22] have shown the upper bound $ν(d,k) \leqslant \exp(\exp(O(d)))k$, with a double-exponential dependence in the twin-width. The work of [Gajarsky et al., ICALP '22], using the framework of local types, implies the existence of a single-exponential bound (without explicitly stating such a bound).
We give such an explicit bound, and prove that it is essentially tight. Indeed, we give a short self-contained proof that for every $d$ and $k$ $$ν(d,k) \leqslant (d+2)2^{d+1}k = 2^{d+\log d+Θ(1)}k,$$ and build a bipartite graph implying $ν(d,k) \geqslant 2^{d+\log d+Θ(1)}k$, in the regime when $k$ is large enough compared to~$d$.
Finite topologies for finite geometries
Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some remarks like that the general Lefschetz formula works for any continuous map on any finite topological space. We also noted that any higher order Wu characteristic as well as their cohomology are topological invariants which are not homotopy invariants. Energy theorems allow to express these topological invariants in terms of interaction energies of local open sets.
Combinatorial Properties for a Class of Simplicial Complexes Extended from Pseudo-fractal Scale-free Web
Published
• View Publication
• BIB
Simplicial complexes are a popular tool used to model higher-order interactions between elements of complex social and biological systems. In this paper, we study some combinatorial aspects of a class of simplicial complexes created by a graph product, which is an extension of the pseudo-fractal scale-free web. We determine explicitly the independence number, the domination number, and the chromatic number. Moreover, we derive closed-form expressions for the number of acyclic orientations, the number of root-connected acyclic orientations, the number of spanning trees, as well as the number of perfect matchings for some particular cases.
Digraph redicolouring
Given two $k$-dicolourings of a digraph $D$, we prove that it is PSPACE-complete to decide whether we can transform one into the other by recolouring one vertex at each step while maintaining a dicolouring at any step even for $k=2$ and for digraphs with maximum degree $5$ or oriented planar graphs with maximum degree $6$. A digraph is said to be $k$-mixing if there exists a transformation between any pair of $k$-colourings. We show that every digraph $D$ is $k$-mixing for all $k\geq δ^*_{\min}(D)+2$, generalizing a result due to Dyer et al. We also prove that every oriented graph $\vec{G}$ is $k$-mixing for all $k\geq δ^*_{\max}(\vec{G}) +1$ and for all $k\geq δ^*_{\rm avg}(\vec{G})+1$. We conjecture that, for every digraph $D$, the dicolouring graph of $D$ on $k\geq δ_{\min}^*(D)+2$ colours has diameter at most $O(|V(D)|^2)$ and give some evidences. We first prove that the dicolouring graph of any digraph $D$ on $k\geq 2δ_{\min}^*(D) + 2$ colours has linear diameter, extending a result from Bousquet and Perarnau. We also prove that the conjecture is true when $k\geq \frac{3}{2}(δ_{\min}^*(D)+1)$. Restricted to the special case of oriented graphs, we prove that the dicolouring graph of any subcubic oriented graph on $k\geq 2$ colours is connected and has diameter at most $2n$. We conjecture that every non $2$-mixing oriented graph has maximum average degree at least $4$, and we provide some support for this conjecture by proving it on the special case of $2$-freezable oriented graphs. More generally, we show that every $k$-freezable oriented graph on $n$ vertices must contain at least $kn + k(k-2)$ arcs, and we give a family of $k$-freezable oriented graphs that reach this bound. In the general case, we prove as a partial result that every non $2$-mixing oriented graph has maximum average degree at least $\frac{7}{2}$.
Criticality in Sperner's Lemma
We answer a question posed by T. Gallai in 1969 concerning criticality in Sperner's lemma, listed as Problem 9.14 in the collection of Jensen and Toft [Graph coloring problems, John Wiley & Sons, Inc., New York, 1995].
Sperner's lemma states that if a labelling of the vertices of a triangulation of the $d$-simplex $Δ^d$ with labels $1, 2, \ldots, d+1$ has the property that (i) each vertex of $Δ^d$ receives a distinct label, and (ii) any vertex lying in a face of $Δ^d$ has the same label as one of the vertices of that face, then there exists a rainbow facet (a facet whose vertices have pairwise distinct labels). For $d\leq 2$, it is not difficult to show that for every facet $σ$, there exists a labelling with the above properties where $σ$ is the unique rainbow facet. For every $d\geq 3$, however, we construct an infinite family of examples where this is not the case, which implies the answer to Gallai's question as a corollary. The construction is based on the properties of a $4$-polytope which had been used earlier to disprove a claim of T. S. Motzkin on neighbourly polytopes.
The one-visibility Localization game
Published
• View Publication
• BIB
We introduce a variant of the Localization game in which the cops only have visibility one, along with the corresponding optimization parameter, the one-visibility localization number $ζ_1$. By developing lower bounds using isoperimetric inequalities, we give upper and lower bounds for $ζ_1$ on $k$-ary trees with $k\ge 2$ that differ by a multiplicative constant, showing that the parameter is unbounded on $k$-ary trees. We provide a $O(\sqrt{n})$ bound for $K_h$-minor free graphs of order $n$, and we show Cartesian grids meet this bound by determining their one-visibility localization number up to four values. We present upper bounds on $ζ_1$ using pathwidth and the domination number and give upper bounds on trees via their depth and order. We conclude with open problems.
Saturation Numbers for Berge Cliques
Let $F$ be a graph and $\mathcal{H}$ be a hypergraph, both embedded on the same vertex set. We say $\mathcal{H}$ is a Berge-$F$ if there exists a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We say $\mathcal{H}$ is Berge-$F$-saturated if $\mathcal{H}$ does not contain any Berge-$F$, but adding any missing edge to $\mathcal{H}$ creates a copy of a Berge-$F$.
The saturation number $\mathrm{sat}_k(n,\text{Berge-}F)$ is the least number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices.
We show
\[
\mathrm{sat}_k(n,\text{Berge-}K_\ell)\sim \frac{\ell-2}{k-1}n,
\]
for all $k,\ell\geq 3$. Furthermore, we provide some sufficient conditions to imply that $\mathrm{sat}_k(n,\text{Berge-}F)=O(n)$ for general graphs $F$.
Toughness and normalized Laplacian eigenvalues of graphs
Given a connected graph $G$, the toughness $τ_G$ is defined as the minimum value of the ratio $|S|/ω_{G-S}$, where $S$ ranges over all vertex cut sets of $G$, and $ω_{G-S}$ is the number of connected components in the subgraph $G-S$ obtained by deleting all vertices of $S$ from $G$. In this paper, we provide a lower bound for the toughness $τ_G$ in terms of the maximum degree, minimum degree and normalized Laplacian eigenvalues of $G$. This can be viewed as a slight generalization of Brouwer's toughness conjecture, which was confirmed by Gu (2021). Furthermore, we give a characterization of those graphs attaining the two lower bounds regarding toughness and Laplacian eigenvalues provided by Gu and Haemers (2022).
Comparing Three Generations of D-Wave Quantum Annealers for Minor Embedded Combinatorial Optimization Problems
Published in Quantum Science and Technology, 2025
• View Publication
• BIB
Quantum annealing is a novel type of analog computation that aims to use quantum mechanical fluctuations to search for optimal solutions of Ising problems. Quantum annealing in the Transverse Ising model, implemented on D-Wave QPUs, are available as cloud computing resources. In this article we report concise benchmarks across three generations of D-Wave quantum annealers, consisting of four different devices, for the NP-Hard combinatorial optimization problems unweighted maximum clique and unweighted maximum cut on random graphs. The Ising, or equivalently QUBO, formulation of these problems do not require auxiliary variables for order reduction, and their overall structure and weights are not highly complex, which makes these problems simple test cases to understand the sampling capability of current D-Wave quantum annealers. All-to-all minor embeddings of size $52$, with relatively uniform chain lengths, are used for a direct comparison across the Chimera, Pegasus, and Zephyr device topologies. A grid search over annealing times and the minor embedding chain strengths is performed in order to determine the level of reasonable performance for each device and problem type. Experiment metrics that are reported are approximation ratios for non-broken chain samples and chain break proportions. How fairly the quantum annealers sample optimal maximum cliques, for instances which contain multiple maximum cliques, is also quantified using entropy of the measured ground state distributions. The newest generation of quantum annealing hardware, which has a Zephyr hardware connectivity, performed the best overall with respect to approximation ratios and chain break frequencies.
Bipartite unique-neighbour expanders via Ramanujan graphs
We construct an infinite family of bounded-degree bipartite unique-neighbour expander graphs with arbitrarily unbalanced sides. Although weaker than the lossless expanders constructed by Capalbo et al., our construction is simpler and may be closer to be implementable in practice due to the smaller constants. We construct these graphs by composing bipartite Ramanujan graphs with a fixed-size gadget in a way that generalizes the construction of unique neighbour expanders by Alon and Capalbo. For the analysis of our construction we prove a strong upper bound on average degrees in small induced subgraphs of bipartite Ramanujan graphs. Our bound generalizes Kahale's average degree bound to bipartite Ramanujan graphs, and may be of independent interest. Surprisingly, our bound strongly relies on the exact Ramanujan-ness of the graph and is not known to hold for nearly-Ramanujan graphs.
Links in orthoplicial Apollonian packings
In this paper, we establish a connection between Apollonian packings and knot theory. We introduce new representations of links realized in the tangency graph of the regular crystallographic sphere packings. Particularly, we prove that any algebraic link can be realized in the cubic section of the orthoplicial Apollonian packing. We use these representations to improve the upper bound on the ball number of an infinite family of alternating algebraic links. Furthermore, the later allow us to reinterpret the correspondence of rational tangles and rational numbers and to reveal geometrically primitive solutions for the Diophantine equation $x^4 + y^4 + z^4 = 2t^2$.
Observations on the Lovász $θ$-Function, Graph Capacity, Eigenvalues, and Strong Products
Published in Entropy, vol. 25, no. 1, paper 104, pp. 1-41, January 2023
• View Publication
• BIB
This paper provides new observations on the Lovász $θ$-function of graphs. These include a simple closed-form expression of that function for all strongly regular graphs, together with upper and lower bounds on that function for all regular graphs. These bounds are expressed in terms of the second-largest and smallest eigenvalues of the adjacency matrix of the regular graph, together with sufficient conditions for equalities (the upper bound is due to Lovász, followed by a new sufficient condition for its tightness). These results are shown to be useful in many ways, leading to the determination of the exact value of the Shannon capacity of various graphs, eigenvalue inequalities, and bounds on the clique and chromatic numbers of graphs. Since the Lovász $θ$-function factorizes for the strong product of graphs, the results are also particularly useful for parameters of strong products or strong powers of graphs. Bounds on the smallest and second-largest eigenvalues of strong products of regular graphs are consequently derived, expressed as functions of the Lovász $θ$-function (or the smallest eigenvalue) of each factor. The resulting lower bound on the second-largest eigenvalue of a $k$-fold strong power of a regular graph is compared to the Alon--Boppana bound; under a certain condition, the new bound is superior in its exponential growth rate (in $k$). Lower bounds on the chromatic number of strong products of graphs are expressed in terms of the order and the Lovász $θ$-function of each factor. The utility of these bounds is exemplified, leading in some cases to an exact determination of the chromatic numbers of strong products or strong powers of graphs. The present research paper is aimed to have tutorial value as well.
Vertex-Critical $(P_5, chair)$-Free Graphs
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. A $P_t$ is the path on $t$ vertices. A chair is a $P_4$ with an additional vertex adjacent to one of the middle vertices of the $P_4$. A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but every proper induced subgraph of $G$ has chromatic number less than $k$. In this paper, we prove that there are finitely many 5-vertex-critical $(P_5,chair)$-free graphs.
Perturbation results for distance-edge-monitoring numbers
Published in Fundamenta Informaticae, Volume 191, Issue 2 (July 8, 2024) fi:10788
• Search Publication
Foucaud et al. recently introduced and initiated the study of a new graph-theoretic concept in the area of network monitoring. Given a graph $G=(V(G), E(G))$, a set $M \subseteq V(G)$ is a distance-edge-monitoring set if for every edge $e \in E(G)$, there is a vertex $x \in M$ and a vertex $y \in V(G)$ such that the edge $e$ belongs to all shortest paths between $x$ and $y$. The smallest size of such a set in $G$ is denoted by $\operatorname{dem}(G)$. Denoted by $G-e$ (resp. $G \backslash u$) the subgraph of $G$ obtained by removing the edge $e$ from $G$ (resp. a vertex $u$ together with all its incident edges from $G$). In this paper, we first show that $\operatorname{dem}(G-e)- \operatorname{dem}(G)\leq 2$ for any graph $G$ and edge $e \in E(G)$. Moreover, the bound is sharp. Next, we construct two graphs $G$ and $H$ to show that $\operatorname{dem}(G)-\operatorname{dem}(G\setminus u)$ and $\operatorname{dem}(H\setminus v)-\operatorname{dem}(H)$ can be arbitrarily large, where $u \in V(G)$ and $v \in V(H)$. We also study the relation between $\operatorname{dem}(H)$ and $\operatorname{dem}(G)$, where $H$ is a subgraph of $G$. In the end, we give an algorithm to judge whether the distance-edge monitoring set still remain in the resulting graph when any edge of the graph $G$ is deleted.
The Critical Groups of Adinkras up to 2-Rank of Cayley Graphs
Adinkras are graphical gadgets introduced by physicists to study supersymmetry, which can be thought of as the Cayley graphs for supersymmetry algebras. Improving the result of Iga et al., we determine the critical group of an Adinkra given the 2-rank of the Laplacian of the underlying Cayley graph. As a corollary, we show that the critical group is independent of the signature of the Adinkra. The proof uses the monodromy pairing on these critical groups.
Interaction graphs of isomorphic automata networks I: complete digraph and minimum in-degree
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. Here, we report some basic facts. First, we prove that if $n\geq 5$ or $q\geq 3$ and $f$ is neither the identity nor constant, then $\mathbb{G}(f)$ always contains the complete digraph $K_n$, with $n^2$ arcs. Then, we prove that $\mathbb{G}(f)$ always contains a digraph whose minimum in-degree is bounded as a function of $q$. Hence, if $n$ is large with respect to $q$, then $\mathbb{G}(f)$ cannot only contain $K_n$. However, we prove that $\mathbb{G}(f)$ can contain only dense digraphs, with at least $\lfloor n^2/4 \rfloor$ arcs.
A splitting property of the chromatic homology of the complete graph
Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In the present paper, we introduce a combinatorial description of enhanced states that can be applied to analysis of the homology in an explicit way by hand. Using the new combinatorial description, we show a splitting property of the chromatic homology for a certain class of graphs. Finally, as an application of the description, we compute the chromatic homology of the complete graph.
Extremal Independent Set Reconfiguration
The independent set reconfiguration problem asks whether one can transform one given independent set of a graph into another, by changing vertices one by one in such a way the intermediate sets remain independent. Extremal problems on independent sets are widely studied: for example, it is well known that an $n$-vertex graph has at most $3^{n/3}$ maximum independent sets (and this is tight). This paper investigates the asymptotic behavior of maximum possible length of a shortest reconfiguration sequence for independent sets of size $k$ among all $n$-vertex graphs. We give a tight bound for $k=2$. We also provide a subquadratic upper bound (using the hypergraph removal lemma) as well as an almost tight construction for $k=3$. We generalize our results for larger values of $k$ by proving an $n^{2\lfloor k/3 \rfloor}$ lower bound.
Improved Gilbert-Varshamov bounds for hopping cyclic codes and optical orthogonal codes
Hopping cyclic codes (HCCs) are (non-linear) cyclic codes with the additional property that the $n$ cyclic shifts of every given codeword are all distinct, where $n$ is the code length. Constant weight binary hopping cyclic codes are also known as optical orthogonal codes (OOCs). HCCs and OOCs have various practical applications and have been studied extensively over the years.
The main concern of this paper is to present improved Gilbert-Varshamov type lower bounds for these codes, when the minimum distance is bounded below by a linear factor of the code length. For HCCs, we improve the previously best known lower bound of Niu, Xing, and Yuan by a linear factor of the code length. For OOCs, we improve the previously best known lower bound of Chung, Salehi, and Wei, and Yang and Fuja by a quadratic factor of the code length. As by-products, we also provide improved lower bounds for frequency hopping sequences sets and error-correcting weakly mutually uncorrelated codes. Our proofs are based on tools from probability theory and graph theory, in particular the McDiarmid's inequality on the concentration of Lipschitz functions and the independence number of locally sparse graphs.