Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Perfect divisibility of (fork, antifork$\cup K_1$)-free graphs
A {\em fork} is a graph obtained from $K_{1,3}$ (usually called {\em claw}) by subdividing an edge once, an {\em antifork} is the complement graph of a fork, and a {\em co-cricket} is a union of $K_1$ and $K_4-e$. A graph is perfectly divisible if for each of its induced subgraph $H$, $V (H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. Karthick {\em et al.} [Electron. J. Comb. 28 (2021), P2.20.] conjectured that fork-free graphs are perfectly divisible, and they proved that each (fork, co-cricket)-free graph is either claw-free or perfectly divisible. In this paper, we show that every (fork, {\em antifork}$\cup K_1$)-free graph is perfectly divisible. This improves some results of Karthick {\em et al.}.
Nearly spanning cycle in the percolated hypercube
Let $Q^d$ be the $d$-dimensional binary hypercube. We form a random subgraph $Q^d_p\subseteq Q^d$ by retaining each edge of $Q^d$ independently with probability $p$. We show that, for every constant $\varepsilon>0$, there exists a constant $C=C(\varepsilon)>0$ such that, if $p\ge C/d$, then with high probability $Q^d_p$ contains a cycle of length at least $(1-\varepsilon)2^d$. This confirms a long-standing folklore conjecture, stated in particular by Condon, Espuny Díaz, Girão, Kühn, and Osthus [Hamiltonicity of random subgraphs of the hypercube, Mem. Amer. Math. Soc. 305 (2024), No. 1534].
Binary operations on pattern-avoiding cycles
Suppose $c_n(σ)$ denotes the number of cyclic permutations in $\mathcal{S}_n$ that avoid a pattern $σ$. In this paper, we define partial groupoid structures on cyclic pattern-avoiding permutations that allow us to build larger cyclic pattern-avoiding permutations from smaller ones. We use this structure to find recursive lower bounds on $c_n(σ)$. These bounds imply that $c_n(σ)$ has a growth rate of at least 3 for $σ\in\{231,312,321\}$ and a growth rate of at least 2.6 for $σ\in\{123,132,213\}$. In the process, we prove (and sometimes improve) a conjecture of Bóna and Cory that $c_n(σ)\geq 2 c_{n-1}(σ)$ for all $σ\in\mathcal{S}_3\setminus\{123\}$ and $n\geq 2.$
Halin graphs with positive Lin-Lu-Yau curvature
Halin graphs constitute an interesting class of planar and polyhedral graphs. A generalized Halin graph is obtained by connecting all leaves of a planar embedding of a tree via a cycle. A Halin graph is a generalized Halin graph having no vertex of degree two. We classify all generalized Halin graphs with positive Lin-Lu-Yau curvature.
New bounds for proper $h$-conflict-free colourings
Published
• View Publication
• BIB
A proper $k$-colouring of a graph $G$ is called $h$-conflict-free if every vertex $v$ has at least $\min\, \{h, {\rm deg}(v)\}$ colours appearing exactly once in its neighbourhood. Let $χ_{\rm pcf}^h(G)$ denote the minimum $k$ such that such a colouring exists. We show that for every fixed $h\ge 1$, every graph $G$ of maximum degree $Δ$ satisfies $χ_{\rm pcf}^h(G) \le hΔ+ \mathcal{O}(\log Δ)$. This expands on the work of Cho et al., and improves a recent result of Liu and Reed in the case $h=1$. We conjecture that for every $h\ge 1$ and every graph $G$ of maximum degree $Δ$ sufficiently large, the bound $χ_{\rm pcf}^h(G) \le hΔ+ 1$ should hold, which would be tight. When the minimum degree $δ$ of $G$ is sufficiently large, namely $δ\ge \max\{100h, 2000\log Δ\}$, we show that this upper bound can be further reduced to $χ_{\rm{pcf}}^h(G) \le Δ+ \mathcal{O}(\sqrt{hΔ})$. This improves a recent bound from Kamyczura and Przybyło when $δ\le \sqrt{hΔ}$.
Counting tame $SL_3$- and $SL_4$- frieze patterns over finite fields
In this article we count tame $ SL_3 $- and $ SL_4 $-frieze patterns with width $ w $ over a finite field $ K $, as well as some tame $ SL_k $-frieze patterns for higher $ k $. Let $ n = w + k + 1 $. We consider the sets $ C_k(n) $ of tuples of $ n $ points in the projective space $ \mathbb{P}^{k-1}(K) $, such that $ k $ consecutive points are always independent (the first and last point in the tuple are considered to be consecutive). First assume $ \gcd(k,n) = 1 $. In this case, we prove that the problem of counting tame $ SL_k $-frieze patterns can be reduced to counting $ C_k(n) $. We also show that $ \lvert C_k(n) \rvert $ is essentially already known as long as $ k $ and $ n $ are coprime, and we derive the number of tame $ SL_k $-frieze-patterns in that case. In the case $ \gcd(k,n) \neq 1 $, we define certain subsets $ C_k^*(n) $ and show that it is sufficient to count these sets. Afterwards, we count $ C_k^*(n)$ in the cases $ k = 3 $ and $ k = 4 $ and thus the number of tame $ SL_3 $- and $ SL_4 $-frieze patterns for any width $ w $.
Matchings in Corona graph and classical symmetric varieties
We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits in Types AIII and CII. Moreover, we prove a conjecture of Can and Ugurlu concerning the non-integrality of the coefficients of the polynomial that interpolates the number of orbits in Type BI.
Odd complete bipartite minors in graphs with independence number two
Recently, Chen and Deng have proved that every graph $G$ with independence number two contains $K_{\ell,χ(G)- \ell}$ as a minor for each integer $\ell$ with $1\leq\ell < χ(G)$. In this paper, we extend this result to odd minor version. That is, we prove that each graph $G$ with independence number two contains $K_{\ell,χ(G)- \ell}$ as an odd minor for each integer $\ell$ with $1\leq\ell < χ(G)$.
Lower Bounds for Greedy Teaching Set Constructions
A fundamental open problem in learning theory is to characterize the best-case teaching dimension $\operatorname{TS}_{\min}$ of a concept class $\mathcal{C}$ with finite VC dimension $d$. Resolving this problem will, in particular, settle the conjectured upper bound on Recursive Teaching Dimension posed by [Simon and Zilles; COLT 2015]. Prior work used a natural greedy algorithm to construct teaching sets recursively, thereby proving upper bounds on $\operatorname{TS}_{\min}$, with the best known bound being $O(d^2)$ [Hu, Wu, Li, and Wang; COLT 2017]. In each iteration, this greedy algorithm chooses to add to the teaching set the $k$ labeled points that restrict the concept class the most. In this work, we prove lower bounds on the performance of this greedy approach for small $k$. Specifically, we show that for $k = 1$, the algorithm does not improve upon the halving-based bound of $O(\log(|\mathcal{C}|))$. Furthermore, for $k = 2$, we complement the upper bound of $O\left(\log(\log(|\mathcal{C}|))\right)$ from [Moran, Shpilka, Wigderson, and Yuhudayoff; FOCS 2015] with a matching lower bound. Most consequentially, our lower bound extends up to $k \le \lceil c d \rceil$ for small constant $c>0$: suggesting that studying higher-order interactions may be necessary to resolve the conjecture that $\operatorname{TS}_{\min} = O(d)$.
Divisible design graphs with selfloops
We develop a basic theory for divisible design graphs with possible selfloops (LDDG's), and describe two infinite families of such graphs, some members of which are also classical examples of divisible design graphs without loops (DDG's). Among the described theoretical results is a discussion of the spectrum, a classification of all examples satisfying certain parameter restrictions or having at most three eigenvalues, a discussion of the structure of the improper and the disconnected examples, and a procedure called dual Seidel switching which allows to construct new examples of LDDG's from others.
Normal $4$-pseudomanifolds with a relative 2-skeleton
The study of face-number-related invariants in simplicial complexes is a central topic in combinatorial topology. Among these, the invariant $g_2$ plays a significant role. For a normal $d$-pseudomanifold $K$ ($d \geq 3$), it is known that $g_2(K) \geq g_2(lk(v, K))$ for every vertex $v$. If $K$ has at most two singularities and satisfies $g_2(K) = g_2(lk(t, K))$ for a singular vertex $t$, then $g_3(K) \geq g_3(lk(t,K))$ holds. A normal $d$-pseudomanifold $K$ is called $g_2$- and $g_3$-optimal if $g_2(K) = g_2(lk (t,K))$ and $g_3(K) = g_3(lk (t,K))$ for a singular vertex $t$.
In this article, we establish structural results for normal $4$-pseudomanifolds under $g_2$- and $g_3$-optimality conditions. We show that if $K$ is a normal $4$-pseudomanifold with exactly one singular vertex $t$ and is $g_2$- and $g_3$-optimal at $t$, then $K$ can be obtained from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings and connected sums. When $K$ has exactly two singularities and is $g_2$- and $g_3$-optimal at one singular vertex, it is derived from the boundary complexes of $4$-simplices through a sequence of operations of types one-vertex suspensions, vertex foldings, and connected sums. Alternatively, we prove that if $K$ has two singular vertices and is $g_2$- and $g_3$-optimal at one of them, then it arises from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings, edge foldings, and connected sums.
A practical algorithm for 2-admissibility
The $2$-admissibility of a graph is a promising measure to identify real-world networks which have an algorithmically favourable structure. In contrast to other related measures, like the weak/strong $2$-colouring numbers or the maximum density of graphs that appear as $1$-subdivisions, the $2$-admissibility can be computed in polynomial time. However, so far these results are theoretical only and no practical implementation to compute the $2$-admissibility exists.
Here we present an algorithm which decides whether the $2$-admissibility of an input graph $G$ is at most $p$ in time $O(p^4 |V(G)|)$ and space $O(|E(G)| + p^2)$. The simple structure of the algorithm makes it easy to implement. We evaluate our implementation on a corpus of 214 real-world networks and find that the algorithm runs efficiently even on networks with millions of edges, that it has a low memory footprint, and that indeed many networks have a small $2$-admissibility.
On edge-colouring-games by Erdős, and Bensmail and Mc Inerney
We study two games proposed by Erdős, and one game by Bensmail and Mc Inerney, all sharing a common setup: two players alternately colour edges of a complete graph, or in the biased version, they colour $p$ and $q$ edges respectively on their turns, aiming to maximise a graph parameter determined by their respective induced subgraphs. In the unbiased case, we give a first reduction towards confirming the conjecture of Bensmail and Mc Inerney, propose a conjecture for Erdős' game on maximum degree, and extend the clique and maximum-degree versions to edge-transitive and regular graphs. In the biased case, the maximum-degree and vertex-capturing games are resolved, and we prove the clique game with $(p,q)=(1,3)$.
Weighted Random Dot Product Graphs
Modeling of intricate relational patterns has become a cornerstone of contemporary statistical research and related data science fields. Networks, represented as graphs, offer a natural framework for this analysis. This paper extends the Random Dot Product Graph (RDPG) model to accommodate weighted graphs, markedly broadening the model's scope to scenarios where edges exhibit heterogeneous weight distributions. We propose a nonparametric weighted (W)RDPG model that assigns a sequence of latent positions to each node. Inner products of these nodal vectors specify the moments of their incident edge weights' distribution via moment-generating functions. In this way, and unlike prior art, the WRDPG can discriminate between weight distributions that share the same mean but differ in other higher-order moments. We derive statistical guarantees for an estimator of the nodal's latent positions adapted from the workhorse adjacency spectral embedding, establishing its consistency and asymptotic normality. We also contribute a generative framework that enables sampling of graphs that adhere to a (prescribed or data-fitted) WRDPG, facilitating, e.g., the analysis and testing of observed graph metrics using judicious reference distributions. The paper is organized to formalize the model's definition, the estimation (or nodal embedding) process and its guarantees, as well as the methodologies for generating weighted graphs, all complemented by illustrative and reproducible examples showcasing the WRDPG's effectiveness in various network analytic applications.
Unexpectedly, a symmetry on unlabeled graphs
We exhibit the joint symmetric distribution of the following two parameters on the set of unlabeled, simple, connected graphs with $n$ vertices. The first parameter is the maximal number of leaves attached to a vertex. The second parameter is the size of the largest set of vertices sharing the same closed neighborhood minus $1$.
Apparently, this is the first example of a natural, non-trivial equidistribution of graph parameters on unlabeled connected graphs on a fixed set of vertices.
Our proof is enumerative, using the theory of species. Exhibiting an explicit bijection interchanging the two parameters remains an open problem.
The Erdős-Rado Sunflower Problem for Vector Spaces
The famous Erdős-Rado sunflower conjecture suggests that an $s$-sun\-flower-free family of $k$-element sets has size at most $(Cs)^k$ for some absolute constant $C$. In this note, we investigate the analog problem for $k$-spaces over the field with $q$ elements. For $s \geq k+1$, we show that the largest $s$-sunflower-free family $\mathcal{F}$ satisfies
\[
1 \leq |\mathcal{F}| / q^{(s-1) \binom{k+1}{2} - k} \leq (q/(q-1))^k.
\] For $s \leq k$, we show that
\[
q^{-\binom{k+1}{2}} \leq |\mathcal{F}| / q^{(s-1) \binom{k+1}{2} - k} \leq (q/(q-1))^k.
\] Our lower bounds rely on an iterative construction that uses lifted maximum rank-distance (MRD) codes.
Maximizing Alternating Paths via Entropy
We prove that if $G$ is an $n$-vertex graph whose edges are coloured with red and blue, then the number of colour-alternating walks of length $2k+1$ with $k+1$ red edges and $k$ blue edges is at most $k^k(k+1)^{k+1}(2k+1)^{-2k-1}n^{2k+2}$. This solves a problem that was recently posed by Basit, Granet, Horsley, Kündgen and Staden. Our proof involves an application of the entropy method.
The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes
We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules
$P = \sum_{N\in \mathbb N} P_N$, where $P_N$ is the $N$th homogeneous component of $P$. For $N\in \mathbb N$ we construct some additional $\mathfrak{sl}_4(\mathbb C)$-modules ${\rm Fix}(G)$ and $T$. For these modules the underlying vector space is described as follows. Let $X$ denote the vertex set of the hypercube $H(N,2)$, and let $V$ denote the $\mathbb C$-vector space with basis $X$. For the automorphism group $G$ of $H(N,2)$, the action of $G$ on $X$ turns $V$ into a $G$-module. The vector space $V^{\otimes 3} = V \otimes V \otimes V$ becomes a $G$-module such that $g(u \otimes v \otimes w)= g(u) \otimes g(v) \otimes g(w)$ for $g\in G$ and $u,v,w \in V$. The subspace ${\rm Fix}(G)$
of $V^{\otimes 3}$ consists of the vectors in $V^{\otimes 3}$ that are fixed by every element in $G$.
Pick $\varkappa \in X$. The corresponding subconstituent algebra $T$ of $H(N,2)$ is the subalgebra of ${\rm End}(V)$ generated by the adjacency map $\sf A$ of $H(N,2)$ and the dual adjacency map ${\sf A}^*$ of $H(N,2)$ with respect to $\varkappa$. In our main results, we turn ${\rm Fix}(G)$ and $T$ into $\mathfrak{sl}_4(\mathbb C)$-modules, and display $\mathfrak{sl}_4(\mathbb C)$-module isomorphisms $P_N \to {\rm Fix}(G) \to T$.
We describe the $\mathfrak{sl}_4(\mathbb C)$-modules $P_N$, ${\rm Fix}(G)$, $T$ from multiple points of view.
Some results on perfect codes in Cayley sum graphs
We establish a necessary and sufficient condition for a normal subgroup of a finite group to be a subgroup perfect code.
The edge-statistics conjecture for hypergraphs
Let $r,k,\ell$ be integers such that $0\le\ell\le\binom{k}{r}$. Given a large $r$-uniform hypergraph $G$, we consider the fraction of $k$-vertex subsets which span exactly $\ell$ edges. If $\ell$ is 0 or $\binom{k}{r}$, this fraction can be exactly 1 (by taking $G$ to be empty or complete), but for all other values of $\ell$, one might suspect that this fraction is always significantly smaller than 1.
In this paper we prove an essentially optimal result along these lines: if $\ell$ is not 0 or $\binom{k}{r}$, then this fraction is at most $(1/e) + \varepsilon$, assuming $k$ is sufficiently large in terms of $r$ and $\varepsilon>0$, and $G$ is sufficiently large in terms of $k$. Previously, this was only known for a very limited range of values of $r,k,\ell$ (due to Kwan-Sudakov-Tran, Fox-Sauermann, and Martinsson-Mousset-Noever-Trujić). Our result answers a question of Alon-Hefetz-Krivelevich-Tyomkyn, who suggested this as a hypergraph generalisation of their "edge-statistics conjecture". We also prove a much stronger bound when $\ell$ is far from 0 and $\binom{k}{r}$.