Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Minimum degree $k$ and $k$-connectedness usually arrive together
Published
• View Publication
• BIB
Let $d,n\in \mathbb{N}$ be such that $d=ω(1)$, and $d\le n^{1-a}$ for some constant $a>0$. Consider a $d$-regular graph $G=(V, E)$ and the random graph process that starts with the empty graph $G(0)$ and at each step $G(i)$ is obtained from $G(i-1)$ by adding uniformly at random a new edge from $E$. We show that if $G$ satisfies some (very) mild global edge-expansion, and an almost optimal edge-expansion of sets up to order $O(d\log n)$, then for any constant $k\in \mathbb{N}$ in the random graph process on $G$, typically the hitting times of minimum degree at least $k$ and of $k$-connectedness are equal. This, in particular, covers both $d$-regular high dimensional product graphs and pseudo-random graphs, and confirms a conjecture of Joos from 2015. We further demonstrate that this result is tight in the sense that there are $d$-regular $n$-vertex graphs with optimal edge-expansion of sets up to order $Ω(d)$, for which the probability threshold of minimum degree at least one is different than the probability threshold of connectivity.
Some constructive results on Disjoint Golomb Rulers
A set $\{a_i\:|\: 1\leq i \leq k\}$ of non-negative integers is a Golomb ruler if differences $a_i-a_j$, for any $i \neq j$, are all distinct.All finite Sidon sets are Golomb rulers, and vice versa. A set of $I$ disjoint Golomb rulers (DGR) each being a $J$-subset of $\{1,2,\cdots, n\}$ is called an $(I,J,n)$-DGR. Let $H(I, J)$ be the least positive integer $n$ such that there is an $(I,J,n)$-DGR. In this paper, we propose a series of conjectures on the constructions and structures of DGR. The main conjecture states that if $A$ is any set of positive integers such that $|A| = H(I, J)$, then there are $I$ disjoint Golomb rulers, each being a $J$-subset of $A$, which generalizes the conjecture proposed by Koml{ó}s, Sulyok and Szemer{é}di in 1975 on the special case $I = 1$. This main conjecture implies some interesting conjectures on disjoint Golomb rulers. We also prove some constructive results on DGR, which improve or generalize some basic inequalities on DGR proved by Kløve.
A Further Investigation on Complete Complementary Codes from $q$-ary Functions
This research focuses on constructing $q$-ary functions for complete complementary codes (CCCs) with flexible parameters. Most existing work has primarily identified sufficient conditions for $q$-ary functions related to $q$-ary CCCs. To the best of the authors' knowledge, this study is the first to establish both the necessary and sufficient conditions for $q$-ary functions, encompassing most existing CCCs constructions as special cases. For $q$-ary CCCs with a length of $q^m$ and a set size of $q^{n+1}$, we begin by analyzing the necessary and sufficient conditions for $q$-ary functions defined over the domain $\mathbb{Z}_q^m$. Additionally, we construct CCCs with lengths given by $L = \prod_{i=1}^k p_i^{m_i}$, set sizes given by $K = \prod_{i=1}^k p_i^{n_i+1}$, and an alphabet size of $ν= \prod_{i=1}^k p_i$, where $p_1 < p_2 < \cdots < p_k$. To achieve these specific parameters, we examine the necessary and sufficient conditions for $ν$-ary functions over the domain $\mathbf{Z}_{p_1}^{m_1} \times \cdots \times \mathbf{Z}_{p_k}^{m_k}$, which is a subset of $\mathbb{Z}_ν^m$ and contains $\prod_{i=1}^k p_i^{m_i}$ vectors. In this context, $\mathbf{Z}_{p_i}^{m_i} = \{0, 1, \ldots, p_i - 1\}^{m_i}$, and $m$ is the sum of $m_1, m_2, \ldots, m_k$. The $q$-ary and $ν$-ary functions allow us to cover all possible length sequences. However, we find that the proposed $ν$-ary functions are more suitable for generating CCCs with a length of $L = \prod_{i=1}^k p_i^{m_i}$, particularly when $m_i$ is coprime to $m_j$ for some $1 \leq i \neq j \leq k$. While the proposed $q$-ary functions can also produce CCCs of the same length $L$, the set size and alphabet size become as large as $L$, since in this case, the only choice for $q$ is $L$. In contrast, the proposed $ν$-ary functions yield CCCs with a more flexible set size $K\leq L$ and an alphabet size of $ν<L$.
Multipath matroids, digraph colourings, and the Tutte polynomial
Published
• View Publication
• BIB
We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.
Maximum genus embeddings of dense eulerian graphs with specified faces
We give a density condition for when, subject to a necessary parity condition, an eulerian graph or digraph may be cellularly embedded in an orientable surface so that it has exactly two faces, each bounded by an euler circuit, one of which may be specified in advance. More generally, suppose that every vertex in an $n$-vertex eulerian digraph (loops and multiple arcs allowed) has at least $(4n+2)/5$ neighbors, and specify any decomposition of the arcs into disjoint directed circuits (closed trails). We show that such a digraph has an orientable embedding in which the given circuits are facial walks and there are exactly one or two other faces. This embedding then has maximum genus relative to the given circuits being facial walks. When there is only one other face, it is necessarily bounded by an euler circuit. Consequently, if the numbers of vertices and edges have the same parity, a sufficiently dense digraph $D$ with a given directed euler circuit $T$ has an orientable embedding with exactly two faces, each bounded by an euler circuit, one of which is $T$. These results for digraphs give analogous results for graphs as immediate corollaries. The main theorem encompasses several special cases in the literature, such as when the digraph is a tournament.
A note on the alternating number of independent sets in a graph
Published
• View Publication
• BIB
The independence polynomial of a graph $G$ evaluated at $-1$, denoted here as $I(G;-1)$, has arisen in a variety of different areas of mathematics and theoretical physics as an object of interest. Engström used discrete Morse theory to prove that $\left|I(G;-1)\right|\leq 2^{φ(G)}$ where $φ(G)$ is the decycling number of $G$, i.e., the minimum number of vertices needed to be deleted from $G$ so that the remaining graph is acyclic. Here, we improve Engström's bound by showing $\left|I(G;-1)\right|\leq 2^{φ_3(G)}$ where $φ_3(G)$ is the minimum number of vertices needed to be deleted from $G$ so that the resulting graph contains no induced cycles whose length is divisible by $3$. We also note that this bound is not just sharp but that every value in the range given by the bound is attainable by some connected graph.
On the second moment of the determinant of random symmetric, Wigner, and Hermitian matrices
In this paper, we analyze the second moment of the determinant of random symmetric, Wigner, and Hermitian matrices. Using analytic combinatorics techniques, we determine the second moment of the determinant of Hermitian matrices whose entries on the diagonal are i.i.d and whose entries above the diagonal are i.i.d. and have real expected values. Our results extend previous work analyzing the second moment of the determinant of symmetric and Wigner matrices, providing a unified approach for this analysis.
New Upper Bounds on the Minimal Domination Numbers of High-Dimensional Hypercubes
We briefly review known results on upper bounds for the minimal domination number $γ_n$ of a hypercube of dimension $n$, then present a new method for constructing dominating sets.
Write $n =2^{\hat{n}}-1 +{\check{n}}$ with $0\leq {\check{n}}<2^{\hat{n}}$. Our construction applies to all $n$ lying within the expanding wedge $θ({\hat{n}}) \leq {\check{n}} < 2^{\hat{n}}$, where $θ$ is a specific, easily computable function with the asymptotic property $θ(a) \sim 2^{a/2}$. For all $n$ within the smaller wedge $θ({\hat{n}}) \leq {\check{n}} < 2^{\hat{n}-2}$, the resulting upper bound on $γ_n$ betters those previously known.
The vertex-pancyclicity of the simplified shuffle-cube and the vertex-bipancyclicity of the balanced shuffle-cube
Published
• View Publication
• BIB
A graph $G$ $=$ $(V,E)$ is vertex-pancyclic if for every vertex $u$ and any integer $l$ ranging from $3$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. A bipartite graph $G$ $=$ $(V,E)$ is vertex-bipancyclic if for every vertex $u$ and any even integer $l$ ranging from $4$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. The simplified shuffle-cube and the balanced shuffle-cube, which are two variants of the shuffle-cube and are superior to shuffle-cube in terms of vertex-transitivity. In this paper, we show that the $n$-dimensional simplified shuffle-cube is vertex-pancyclic for $n\geqslant 6$, and the $n$-dimensional balanced shuffle-cube is vertex-bipancyclic for $n\geqslant 2$.
Total Domination Index in Graphs
This paper introduces the concept of compliant vertices and compliant graphs, with a focus on the total domination degree (TDD) of a vertex in compliant graphs. The TDD is systematically calculated for various graph classes, including path graphs, cycles, book graphs, windmill graphs, wheel graphs, complete graphs, and complete bipartite graphs. The study explores inequalities involving TDD and defines total domination regular graphs. Furthermore, the TDD is analyzed in several graph operations such as union, join, composition, and corona, with a discussion on the property of the resulting graphs. The paper also examines the subdivision of complete graphs and degree splitting of path graphs. In the subsequent section, the total domination index (TDI) is introduced, and its values are calculated for different graph classes. The study concludes with bounds for the TDI across these graph classes.
Correlation Function of Self-Conjugate Partitions: $q$-Difference Equation and Quasimodularity
Published
• View Publication
• BIB
In this paper, we study the uniform measure for the self-conjugate partitions. We derive the $q$-difference equation which is satisfied by the $n$-point correlation function related to the uniform measure. As applications, we give explicit formulas for the one-point and two-point functions, and study their quasimodularity. Motivated by this, we also prove the quasimodularity of the general $n$-point function using a combinatorial method. Finally, we derive the limit shape of self-conjugate partitions under the Gibbs uniform measure and compare it to the leading asymptotics of the one-point function.
Computing the determinant of links through Fourier-Hadamard transforms
In this paper, we present a novel method to compute the determinant of a link using Fourier-Hadamard transforms of Boolean functions. We also investigate the determinant of centrally symmetric links (a special class of strong achiral links). In particular, we show that the determinant of a centrally symmetric link with an even number of components is equals zero.
Distinct degrees and homogeneous sets II
Given an $n$-vertex graph $G$, let $\hom (G)$ denote the size of a largest homogeneous set in $G$ and let $f(G)$ denote the maximal number of distinct degrees appearing in an induced subgraph of $G$. The relationship between these parameters has been well studied by several researchers over the last 40 years, beginning with Erdős, Faudree and Sós in the Ramsey regime when $\hom (G) = O(\log n)$.
Our main result here proves that any $n$-vertex graph $G$ with $\hom (G) \leq n^{1/2}$ satisfies
\begin{align*}
f(G) \geq \sqrt[3]{\frac {n^2}{\hom (G)} } \cdot n^{-o(1)}.
\end{align*}
This confirms a conjecture of the authors from a previous work, in which we addressed the $\hom (G) \geq n^{1/2}$ regime. Together, these provide the complete extremal relationship between these parameters (asymptotically), showing that any $n$-vertex graph $G$ satisfies
\begin{align*}
\max \Big ( f(G) \cdot \hom (G), \sqrt {f(G) ^3 \cdot \hom (G) } \Big ) \geq n^{1-o(1)}.
\end{align*}
This relationship is tight (up to the $n^{-o(1)}$ term) for all possible values of $\hom (G)$, from $Ω(\log n )$ to $n$, as demonstrated by appropriately generated Erdős $-$ Renyi random graphs.
A Brualdi-Hoffman-Turán problem for friendship graph
A graph is said to be $H$-free if it does not contain $H$ as a subgraph. Brualdi-Hoffman-Turán type problem is to determine the maximum spectral radius of an $H$-free graph $G$ with give size $m$. The $F_k$ is the graph consisting of $k$ triangles that intersect in exactly one common vertex, which is known as the friendship graph. In this paper, we resolve a conjecture (the Brualdi-Hoffman-Turán-type problem for $F_k$) of Li, Lu and Peng [Discrete Math. 346 (2023) 113680] by using the $k$-core technique presented in Li, Zhai and Shu [European J. Combin, 120 (2024) 103966].
Isolation game on graphs
Given a graph $G$ and a family of graphs $\cal F$, an $\cal F$-isolating set, as introduced by Caro and Hansberg, is any set $S\subset V(G)$ such that $G - N[S]$ contains no member of $\cal F$ as a subgraph. In this paper, we introduce a game in which two players with opposite goals are together building an $\cal F$-isolating set in $G$. Following the domination games, Dominator (Staller) wants that the resulting $\cal F$-isolating set obtained at the end of the game, is as small (as big) as possible, which leads to the graph invariant called the game $\cal F$-isolation number, denoted $ι_{\rm g}(G,\cal F)$. We prove that the Continuation Principle holds in the $\cal F$-isolation game, and that the difference between the game $\cal F$-isolation numbers when either Dominator or Staller starts the game is at most $1$. Considering two arbitrary families of graphs $\cal F$ and $\cal F'$, we find relations between them that ensure $ι_{\rm g}(G,{\cal{F}}') \leq ι_{\rm g}(G,{\cal{F}})$ for any graph $G$. A special focus is given on the isolation game, which takes place when ${\cal F}=\{K_2\}$. We prove that $ι_{\rm g}(G,\{K_2\})\le |V(G)|/2$ for any graph $G$, and conjecture that $\lceil 3|V(G)|/7\rceil$ is the actual (sharp) upper bound. We prove that the isolation game on a forest when Dominator has the first move never lasts longer than the one in which Staller starts the game. Finally, we prove good lower and upper bounds on the game isolation numbers of paths $P_n$, which lead to the exact values $ι_{\rm g}(P_n,\{K_2\})=\left\lfloor\frac{2n+2}{5}\right\rfloor$ when $n \equiv i \pmod 5$ and $i \in \{1,2,3\}$.
Avoiding secants of given size in finite projective planes
Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.
Graphs with single interval Cayley configuration spaces in 3-dimensions
We prove a conjectured graph theoretic characterization of a geometric property of 3 dimensional linkages posed 15 years ago by Sitharam and Gao, motivated by their equivalent characterization for $d\le 2$ that does not generalize to $d\ge 3$. A linkage $(G,\ell)$ contains a finite simple undirected graph $G$ and a map $\ell$ that assigns squared Euclidean lengths to the edges of $G$. A \emph{$d$-realization} of $(G,\ell)$ is an assignment of points in $\mathbb{R}^d$ to the vertices of $G$ for which pairwise squared distances between points agree with $\ell$. For any positive integer $d \leq 3$, we characterize pairs $(G,f)$, where $f$ is a nonedge of $G$, such that, for any linkage $(G,\ell)$, the lengths attained by $f$ form a single interval - over the (typically a disconnected set of) $d$-realizations of $(G,\ell)$.
Although related to the minor closed class of $d$-flattenable graphs, the class of pairs $(G,f)$ with the above property is not closed under edge deletions, has no obvious well quasi-ordering, and there are infinitely many minimal graph-nonedge pairs - with respect to edge contractions - in the complement class. Our characterization overcomes these obstacles, is based on the forbidden minors for $d$-flattenability for $d \leq 3$, and contributes to the theory of Cayley configurations with many applications. Helper results and corollaries provide new tools for reasoning about configuration spaces and completions of partial 3-tree linkages, (non)convexity of Euclidean measurement sets in $3$-dimensions, their projections, fibers and sections. Generalizations to higher dimensions and efficient algorithmic characterizations are conjectured.
The Hypergraph Turán Densities of Tight Cycles Minus an Edge
A tight $\ell$-cycle minus an edge $C_\ell^-$ is the $3$-graph on the vertex set $[\ell]$, where any three consecutive vertices in the string $123\ldots\ell 1$ form an edge. We show that for every $\ell\ge 5$, $\ell$ not divisible by $3$, the extremal number is
$
ex\left(C_\ell^-,n\right)=\tfrac1{24}n^3+O(n\ln n)=\left(\tfrac14+o(1)\right){n\choose 3}.
$
We determine the extremal graph up to $O(n)$ edge edits.
Frozen colourings in $2K_2$-free graphs
Published in Electronic Journal of Combinatorics 32(2), 2025
• View Publication
• BIB
The \emph{reconfiguration graph of the $k$-colourings} of a graph $G$, denoted $\mathcal{R}_k(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two vertices of $\mathcal{R}_k(G)$ are joined by an edge if the colourings of $G$ they correspond to differ in colour on exactly one vertex. A $k$-colouring of a graph $G$ is called \emph{frozen} if it is an isolated vertex in $\mathcal{R}_k(G)$; in other words, for every vertex $v \in V(G)$, $v$ is adjacent to a vertex of every colour different from its colour.
A clique partition is a partition of the vertices of a graph into cliques. A clique partition is called a $k$-clique-partition if it contains at most $k$ cliques. Clearly, a $k$-colouring of a graph $G$ corresponds precisely to a $k$-clique-partition of its complement, $\overline{G}$. A $k$-clique-partition $\mathcal{Q}$ of a graph $H$ is called \emph{frozen} if for every vertex $v \in V(H)$, $v$ has a non-neighbour in each of the cliques of $\mathcal{Q}$ other than the one containing $v$.
The cycle on four vertices, $C_4$, is sometimes called the \emph{square}; its complement is called $2K_2$.
We give several infinite classes of $2K_2$-free graphs with frozen colourings. We give an operation which transforms a $k$-chromatic graph with a frozen $(k+1)$-colouring into a $(k+1)$-chromatic graph with a frozen $(k+2)$-colouring. Our operation preserves being $2K_2$-free. It follows that for all $k \ge 4$, there is a $k$-chromatic $2K_2$-free graph with a frozen $(k+1)$-colouring. We prove these results by studying frozen clique partitions in $C_4$-free graphs.
We say a graph $G$ is \emph{recolourable} if $R_{\ell}(G)$ is connected for all $\ell$ greater than the chromatic number of $G$. We prove that every 3-chromatic $2K_2$-free graph is recolourable.
Eccentricity Spectra and Integral Eigenvalues of Zero Divisor Graphs
In this work, we study the eccentricity spectra of zero divisor graphs (ZDGs) associated with the ring $\mathbb{Z}_n.$ While previous studies have examined the Laplacian and distance Laplacian spectra of ZDGs, the eccentricity spectra have remained largely unknown due to the unique features of the eccentricity matrix. More specifically, we prove that for a prime $p$, the ZDG and extended ZDG of $\mathbb{Z}_{p^t}$ have integral eccentricity eigenvalues for $t \geq 3$ and $t \geq 2$, respectively. We also find the eccentricity spectra for specific classes of ZDGs and the relationship between the eccentricity matrix of these ZDGs and their tree structures using matrix analysis tools. In addition, for the usefulness of the energy gap in applications, we have calculated the eccentricity energy gap of ZDGs. These findings reveal interesting behaviours of the eccentricity matrix and may contribute to a more profound understanding of the structural properties of ZDGs.