graph
34516 papers tagged with this keyword
Logarithms of Catalan generating functions: A combinatorial approach
Published in Electron. J. Combin., 31(1): P1.46, 2024
• View Publication
• BIB
We analyze the combinatorics behind the operation of taking the logarithm of the generating function $G_k$ for $k^\text{th}$ generalized Catalan numbers. We provide combinatorial interpretations in terms of lattice paths and in terms of tree graphs. Using explicit bijections, we are able to recover known closed expressions for the coefficients of $\log G_k$ by purely combinatorial means of enumeration. The non-algebraic proof easily generalizes to higher powers $\log^a G_k$, $a\geq 2$.
On perfect subdivision tilings
Published in Combinator. Probab. Comp. 34 (2025) 421-444
• View Publication
• BIB
For a given graph $H$, we say that a graph $G$ has a perfect $H$-subdivision tiling if $G$ contains a collection of vertex-disjoint subdivisions of $H$ covering all vertices of $G.$ Let $δ_{\mathrm{sub}}(n, H)$ be the smallest integer $k$ such that any $n$-vertex graph $G$ with minimum degree at least $k$ has a perfect $H$-subdivision tiling. For every graph $H$, we asymptotically determined the value of $δ_{\mathrm{sub}}(n, H)$. More precisely, for every graph $H$ with at least one edge, there is an integer $\mathrm{hcf}_ξ(H)$ and a constant $1 < ξ^*(H)\leq 2$ that can be explicitly determined by structural properties of $H$ such that $δ_{\mathrm{sub}}(n, H) = \left(1 - \frac{1}{ξ^*(H)} + o(1) \right)n$ holds for all $n$ and $H$ unless $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd. When $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd, then we show that $δ_{\mathrm{sub}}(n, H) = \left(\frac{1}{2} + o(1) \right)n$.
The maximum Wiener index of a uniform hypergraph
The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index.
The Matching Kneser Graph Conjecture For High Chromatic Numbers
\noindent In this paper, we show that for any positive integers $r$, $k$, $Θ$, and $Γ$ such that $k \geq 2$ and $r \geq k + Γ$, there exists a connected graph $G$ for which $$\begin{array}{llcr}
ω(G) = χ(G) = k, & χ\left( G , rK_2 \right) = Θ, & {\rm and} & |E(G)| - {\rm ex}\left( G , rK_2 \right) = Θ+ Γ. \end{array}$$
On integral variations for roots of the Laplacian matching polynomial of graphs
In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.
Proof of a Conjecture on Online Ramsey Numbers of Stars versus Paths
Given two graphs $G$ and $H$, the online Ramsey number $\tilde{r}(G,H)$ is defined to be the minimum number of rounds that Builder can always guarantee a win in the following $(G, H)$-online Ramsey game between Builder and Painter. Starting from an infinite set of isolated vertices, in each round Builder draws an edge between some two vertices, and Painter immediately colors it red or blue. Builder's goal is to force either a red copy of $G$ or a blue copy of $H$ in as few rounds as possible, while Painter's goal is to delay it for as many rounds as possible. Let $K_{1,3}$ denote a star with three edges and $P_{\ell}$ a path with $\ell$ vertices. Latip and Tan conjectured that $\tilde{r}(K_{1,3}, P_{\ell})=(3/2+o(1))\ell$ [Bull. Malays. Math. Sci. Soc. 44 (2021) 3511--3521]. We show that $\tilde{r}(K_{1,3}, P_{\ell})=\lfloor 3\ell/2 \rfloor$ for $\ell\ge 2$, which verifies the conjecture in a stronger form.
Computational complexity aspects of super domination
Let $G$ be a graph. A dominating set $D\subseteq V(G)$ is a super dominating set if for every vertex $x\in V(G) \setminus D$ there exists $y\in D$ such that $N_G(y)\cap (V(G)\setminus D)) = \{x\}$. The cardinality of a smallest super dominating set of $G$ is the super domination number of $G$. An exact formula for the super domination number of a tree $T$ is obtained and demonstrated that a smallest super dominating set of $T$ can be computed in linear time. It is proved that it is NP-complete to decide whether the super domination number of a graph $G$ is at most a given integer if $G$ is a bipartite graph of girth at least $8$. The super domination number is determined for all $k$-subdivisions of graphs. Interestingly, in half of the cases the exact value can be efficiently computed from the obtained formulas, while in the other cases the computation is hard. While obtaining these formulas, II-matching numbers are introduced and proved that they are computationally hard to determine.
Semidefinite approximations for bicliques and biindependent pairs
We investigate some graph parameters dealing with biindependent pairs $(A,B)$ in a bipartite graph $G=(V_1\cup V_2,E)$, i.e., pairs $(A,B)$ where $A\subseteq V_1$, $B\subseteq V_2$ and $A\cup B$ is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality $|A\cup B|$ one finds the stability number $α(G)$, well-known to be polynomial-time computable. When maximizing the product $|A|\cdot |B|$ one finds the parameter $g(G)$, shown to be NP-hard by Peeters (2003), and when maximizing the ratio $|A|\cdot |B|/|A\cup B|$ one finds $h(G)$, introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that $h(G)$ is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph $G$ has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for $g(G)$, $h(G)$, and $α_{\text{bal}}(G)$ (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász $\vartheta$-number, a well-known semidefinite bound on $α(G)$. In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).
A note on the Gyárfás-Sumner conjecture
The Gyárfás-Sumner conjecture says that for every tree $T$ and every integer $t\ge 1$, if $G$ is a graph with no clique of size $t$ and with sufficiently large chromatic number, then $G$ contains an induced subgraph isomorphic to $T$. This remains open, but we prove that under the same hypotheses, $G$ contains a subgraph $H$ isomorphic to $T$ that is ``path-induced''; that is, for some distinguished vertex~$r$, every path of $H$ with one end $r$ is an induced path of $G$.
Twin-width of Planar Graphs; a Short Proof
Published in European Journal of Combinatorics, 2024
• View Publication
• BIB
The fascinating question of the maximum value of twin-width on planar graphs is nowadays not far from the final resolution; there is a lower bound of 7 coming from a construction by Král' and Lamaison [arXiv, September 2022], and an upper bound of 8 by Hliněný and Jedelský [arXiv, October 2022]. The upper bound (currently best) of 8, however, is rather complicated and involved. In the paper we give a short and simple self-contained proof that the twin-width of planar graphs is at most 11. We believe that this short proof can also shed more light on the topic of upper bound(s) on the twin-width of planar and beyond-planar graphs in general.
The asymptotic topology of the multineighbor complex of a random graph
We introduce the multineighbor complex of a graph, which is a simplicial complex in which a simplex is a subset of the graph with a sufficient number of mutual neighbors. We investigate the asymptotic homological properties of such complexes for the Erdos-Renyi random graphs and obtain a number of vanishing and nonvanishing results. We use this construction to perform a topological data analysis classification of noisy synthetic point clouds obtaining favorable accuracy as obtained by the standard methods. The case when there is a single neighbor has been studied earlier by Mathew Kahle.
Fractional colorings of partial $t$-trees with no large clique
Dvořák and Kawarabayashi [European Journal of Combinatorics, 2017] asked, what is the largest chromatic number attainable by a graph of treewidth $t$ with no $K_r$ subgraph? In this paper, we consider the fractional version of this question. We prove that if $G$ has treewidth $t$ and clique number $2 \leq ω\leq t$, then $χ_f(G) \leq t + \frac{ω- 1}{t}$, and we show that this bound is tight for $ω= t$. We also show that for each value $0 < c < \frac{1}{2}$, there exists a graph $G$ of a large treewidth $t$ and clique number $ω= \lfloor (1 - c)t \rfloor$ satisfying $χ_f(G) \geq t + 1 + \frac{1}{2}\log(1-2c) + o(1)$, which is approximately equal to the upper bound for small values $c$.
Unit and distinct distances in typical norms
Erdős' unit distance problem and Erdős' distinct distances problem are among the most classical and well-known open problems in discrete mathematics. They ask for the maximum number of unit distances, or the minimum number of distinct distances, respectively, determined by $n$ points in the Euclidean plane. The question of what happens in these problems if one considers normed spaces other than the Euclidean plane has been raised in the 1980s by Ulam and Erdős and attracted a lot of attention over the years. We give an essentially tight answer to both questions for almost all norms on $\mathbb{R}^d$, in a certain Baire categoric sense.
For the unit distance problem we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$, any set of $n$ points defines at most $\frac{1}{2} d \cdot n \log_2 n$ unit distances according to $\|.\|$. We also show that this is essentially tight, by proving that for every norm $\|.\|$ on $\mathbb{R}^d$, for any large $n$, we can find $n$ points defining at least $\frac{1}{2}(d-1-o(1))\cdot n \log_2 n$ unit distances according to $\|.\|$.
For the distinct distances problem, we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$ any set of $n$ points defines at least $(1-o(1))n$ distinct distances according to $\|.\|$. This is clearly tight up to the $o(1)$ term.
We also answer the famous Hadwiger--Nelson problem for almost all norms on $\mathbb{R}^2$, showing that their unit distance graph has chromatic number $4$.
Our results settle, in a strong and somewhat surprising form, problems and conjectures of Brass, Matoušek, Brass-Moser-Pach, Chilakamarri, and Robertson. The proofs combine combinatorial and geometric ideas with tools from Linear Algebra, Topology and Algebraic Geometry.
On the limit of the positive $\ell$-degree Turán problem
The minimum positive $\ell$-degree $δ^+_{\ell}(G)$ of a non-empty $k$-graph $G$ is the maximum $m$ such that every $\ell$-subset of $V(G)$ is contained in either none or at least $m$ edges of $G$; let $δ^+_{\ell}(G):=0$ if $G$ has no edges. For a family $\mathcal F$ of $k$-graphs, let $co^+ex_\ell(n,\mathcal F)$ be the maximum of $δ^+_{\ell}(G)$ over all $\mathcal F$-free $k$-graphs $G$ on $n$ vertices. We prove that the ratio $co^+ex_\ell(n,\mathcal F)/{n-\ell\choose k-\ell}$ tends to limit as $n\to\infty$, answering a question of Halfpap, Lemons and Palmer. Also, we show that the limit can be obtained as the value of a natural optimisation problem for $k$-hypergraphons; in fact, we give an alternative description of the set of possible accumulation points of almost extremal $k$-graphs.
From combinatorial maps to correlation functions in loop models
Published in SciPost Phys. 15, 147 (2023)
• View Publication
• BIB
In two-dimensional statistical physics, correlation functions of the O(N) and Potts models may be written as sums over configurations of non-intersecting loops.
We define sums associated to a large class of combinatorial maps (also known as ribbon graphs). We allow disconnected maps, but not maps that include monogons. Given a map with n vertices, we obtain a function of the moduli of the corresponding punctured Riemann surface. Due to the map's combinatorial (rather than topological) nature, that function is single-valued, and we call it an n-point correlation function.
We conjecture that in the critical limit, such functions form a basis of solutions of certain conformal bootstrap equations. They include all correlation functions of the O(N) and Potts models, and correlation functions that do not belong to any known model. We test the conjecture by counting solutions of crossing symmetry for four-point functions on the sphere.
Maximum Independent Set when excluding an induced minor: $K_1 + tK_2$ and $tC_3 \uplus C_4$
Published
• View Publication
• BIB
Dallard, Milanič, and Štorgel [arXiv '22] ask if for every class excluding a fixed planar graph $H$ as an induced minor, Maximum Independent Set can be solved in polynomial time, and show that this is indeed the case when $H$ is any planar complete bipartite graph, or the 5-vertex clique minus one edge, or minus two disjoint edges. A positive answer would constitute a far-reaching generalization of the state-of-the-art, when we currently do not know if a polynomial-time algorithm exists when $H$ is the 7-vertex path. Relaxing tractability to the existence of a quasipolynomial-time algorithm, we know substantially more. Indeed, quasipolynomial-time algorithms were recently obtained for the $t$-vertex cycle, $C_t$ [Gartland et al., STOC '21] and the disjoint union of $t$ triangles, $tC_3$ [Bonamy et al., SODA '23].
We give, for every integer $t$, a polynomial-time algorithm running in $n^{O(t^5)}$ when $H$ is the friendship graph $K_1 + tK_2$ ($t$ disjoint edges plus a vertex fully adjacent to them), and a quasipolynomial-time algorithm running in $n^{O(t^2 \log n)+f(t)}$, with $f$ a single-exponential function, when $H$ is $tC_3 \uplus C_4$ (the disjoint union of $t$ triangles and a 4-vertex cycle). The former extends a classical result on graphs excluding $tK_2$ as an induced subgraph [Alekseev, DAM '07], while the latter extends Bonamy et al.'s result.
The hitting time of clique factors
In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting of clique factors in the random graph process: At the time that the last vertex joins a copy of the complete graph $K_r$, the random graph process contains a $K_r$-factor. Our proof draws on a novel sequence of couplings, extending techniques of Riordan and the first author. An analogous result is proved for clique factors in the $s$-uniform hypergraph process ($s \ge 3$).
On mixed radial Moore graphs of diameter 3
Radial Moore graphs and digraphs are extremal graphs related to the Moore ones where the distance-preserving spanning tree is preserved for some vertices. This leads to classify them according to their proximity to being a Moore graph or digraph. In this paper we deal with mixed radial Moore graphs, where the mixed setting allows edges and arcs as different elements. An exhaustive computer search shows the top ranked graphs for an specific set of parameters. Moreover, we study the problem of their existence by providing two infinite families for different values of the degrees and diameter $3$. One of these families turns out to be optimal.
Playing Games with Cacti
The Game of Cycles is a two-player impartial mathematical game, introduced by Francis Su in his book Mathematics for Human Flourishing (2020). The game is played on simple planar graphs in which players take turns marking edges using a sink-source rule. In Alvarado et al., the authors determine who is able to win on graphs with certain types of symmetry using a mirror-reverse strategy. In this paper, we analyze the game for specific types of cactus graphs using a modified version of the mirror-reverse strategy.
Another proof of Seymour's 6-flow theorem
In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints.