graph
34585 papers tagged with this keyword
Cubic bipartite graphs with minimum spectral gap
The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic connectivity of cubic bipartite graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{n^{2}}$. Moreover, the unique cubic bipartite graph with minimum algebraic connectivity is completed characterized. Based on the relation between the algebraic connectivity and spectral gap of regular graphs, the cubic bipartite graph with minimum spectral gap and the corresponding asymptotic value are also presented. In [J. Graph Theory 99 (2022) 671--690], Horak and Kim established a sharp upper bound for the number of perfect matchings in terms of the Fibonacci number. We obtain a spectral characterization for the extremal graphs by showing that a cubic bipartite graph has the maximum number of perfect matchings if and only if it minimizes the algebraic connectivity.
On the maximum spread of planar and outerplanar graphs
Published
• View Publication
• BIB
The spread of a graph $G$ is the difference between the largest and smallest eigenvalue of the adjacency matrix of $G$. Gotshall, O'Brien and Tait conjectured that for sufficiently large $n$, the $n$-vertex outerplanar graph with maximum spread is the graph obtained by joining a vertex to a path on $n-1$ vertices. In this paper, we disprove this conjecture by showing that the extremal graph is the graph obtained by joining a vertex to a path on $\lceil (2n-1)/3\rceil$ vertices and $\lfloor(n-2)/3\rfloor$ isolated vertices. For planar graphs, we show that the extremal $n$-vertex planar graph attaining the maximum spread is the graph obtained by joining two nonadjacent vertices to a path on $\lceil(2n-2)/3\rceil$ vertices and $\lfloor(n-4)/3\rfloor$ isolated vertices.
Ramsey Numbers through the Lenses of Polynomial Ideals and Nullstellensätze
Published
• View Publication
• BIB
In this article we study the Ramsey numbers $R(r,s)$ through Hilbert's Nullstellensatz and Alon's Combinatorial Nullstellensatz. We give polynomial encodings whose solutions correspond to Ramsey graphs of order $n$, those that do not contain a copy of $K_r$ or $\bar{K}_s$. When these systems have no solution and $n \ge R(r,s)$, we construct Nullstellensatz certificates whose degrees are equal to the restricted online Ramsey numbers introduced by Conlon, Fox, Grinshpun and He. Moreover, we show that these results generalize to other numbers in Ramsey theory, including Rado, van der Waerden, and Hales-Jewett numbers. Finally, we introduce a family of numbers that relate to the coefficients of a certain "Ramsey polynomial" that gives lower bounds for Ramsey numbers.
Rainbow Subgraphs in Edge-colored Complete Graphs -- Answering two Questions by Erdős and Tuza
Published
• View Publication
• BIB
An edge-coloring of a complete graph with a set of colors $C$ is called completely balanced if any vertex is incident to the same number of edges of each color from $C$. Erdős and Tuza asked in $1993$ whether for any graph $F$ on $\ell$ edges and any completely balanced coloring of any sufficiently large complete graph using $\ell$ colors contains a rainbow copy of $F$. This question was restated by Erdős in his list of ``Some of my favourite problems on cycles and colourings''. We answer this question in the negative for most cliques $F=K_q$ by giving explicit constructions of respective completely balanced colorings. Further, we answer a related question concerning completely balanced colorings of complete graphs with more colors than the number of edges in the graph $F$.
A survey of Heffter arrays
Published
• View Publication
• BIB
Heffter arrays were introduced by Archdeacon in 2015 as an interesting link between combinatorial designs and topological graph theory. Since the initial paper on this topic, there has been a good deal of interest in Heffter arrays as well as in related topics such as the sequencing of subsets of a group, biembeddings of cycle systems on a surface, and orthogonal cycle systems. This survey presents an overview of the current state of the art of this topic. We begin with an introduction to Heffter arrays for the reader who is unfamiliar with the subject, then we give a unified and comprehensive presentation of the major results, showing some proof methods also. This survey also includes sections on the connections of Heffter arrays to several other combinatorial objects, such as problems on partial sums and sequenceability, biembedding graphs on surfaces, difference families and orthogonal graph decompositions. These sections are followed by a section discussing the variants and generalizations of Heffter arrays which have been proposed. The survey itself is complemented by a list of unsolved problems as well as an updated and complete bibliography.
On the minimum cut-sets of the power graph of a finite cyclic group
Published
• View Publication
• BIB
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$, in which two distinct vertices are adjacent if one of them is a power of the other. For an integer $n\geq 2$, let $C_n$ denote the cyclic group of order $n$ and let $r$ be the number of distinct prime divisors of $n$. The minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. In this paper, for $r\geq 4$, we identify certain cut-sets of $\mathcal{P}(C_n)$ such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them.
Homogeneous Sets in Graphs and a Chromatic Multisymmetric Function
Published
• View Publication
• BIB
In this paper, we extend the chromatic symmetric function $X$ to a chromatic $k$-multisymmetric function $X_k$, defined for graphs equipped with a partition of their vertex set into $k$ parts. We demonstrate that this new function retains the basic properties and basis expansions of $X$, and we give a method for systematically deriving new linear relationships for $X$ from previous ones by passing them through $X_k$.
In particular, we show how to take advantage of homogeneous sets of $G$ (those $S \subseteq V(G)$ such that each vertex of $V(G) \backslash S$ is either adjacent to all of $S$ or is nonadjacent to all of $S$) to relate the chromatic symmetric function of $G$ to those of simpler graphs. Furthermore, we show how extending this idea to homogeneous pairs $S_1 \sqcup S_2 \subseteq V(G)$ generalizes the process used by Guay-Paquet to reduce the Stanley-Stembridge conjecture to unit interval graphs.
Graph Universal Cycles: Compression and Connections to Universal Cycles
Published in Advances in Applied Mathematics, Volume 148, July 2023, Article 102522
• View Publication
• BIB
Universal cycles, such as De Bruijn cycles, are cyclic sequences of symbols that represent every combinatorial object from some family exactly once as a consecutive subsequence. Graph universal cycles are a graph analogue of universal cycles introduced in 2010. We introduce graph universal partial cycles, a more compact representation of graph classes, which use "do not know" edges. We show how to construct graph universal partial cycles for labeled graphs, threshold graphs, and permutation graphs. For threshold graphs and permutation graphs, we demonstrate that the graph universal cycles and graph universal partial cycles are closely related to universal cycles and compressed universal cycles, respectively. Using the same connection, for permutation graphs, we define and prove the existence of an $s$-overlap form of graph universal cycles. We also prove the existence of a generalized form of graph universal cycles for unlabeled graphs.
Kontsevich's star-product up to order 7 for affine Poisson brackets: where are the Riemann zeta values?
Published in Open Communications in Nonlinear Mathematical Physics, Proceedings: OCNMP Conference, Bad Ems (Germany), 23-29 June 2024 (October 3, 2024) ocnmp:14168
• View Publication
• BIB
The Kontsevich star-product admits a well-defined restriction to the class of affine -- in particular, linear -- Poisson brackets; its graph expansion consists only of Kontsevich's graphs with in-degree $\leqslant 1$ for aerial vertices. We obtain the formula $\star_{\text{aff}}\text{ mod }\bar{o}(\hbar^7)$ with harmonic propagators for the graph weights (over $n\leqslant 7$ aerial vertices); we verify that all these weights satisfy the cyclic weight relations by Shoikhet--Felder--Willwacher, that they match the computations using the $\textsf{kontsevint}$ software by Panzer, and the resulting affine star-product is associative modulo $\bar{o}(\hbar^7)$.
We discover that the Riemann zeta value $ζ(3)^2/π^6$, which enters the harmonic graph weights (up to rationals), actually disappears from the analytic formula of $\star_{\text{aff}}\text{ mod }\bar{o}(\hbar^7)$ \textit{because} all the $\mathbb{Q}$-linear combinations of Kontsevich graphs near $ζ(3)^2/π^6$ represent differential consequences of the Jacobi identity for the affine Poisson bracket, hence their contribution vanishes. We thus derive a ready-to-use shorter formula $\star_{\text{aff}}^{\text{red}}$ mod~$\bar{o}(\hbar^7)$ with only rational coefficients.
Euclidean Gallai-Ramsey Theory
In this paper, we introduce Euclidean Gallai-Ramsey theory, by combining Euclidean Ramsey theory and Gallai-Ramsey theory on graphs. More precisely, we consider the following problem: For an integer $r$ and configurations $K$ and $K'$, does there exist an integer $n_0$ such that for any $r$-coloring of the points of $n$-dimensional Euclidean space with $n \geq n_0$, there is a monochromatic configuration congruent to $K$ or a rainbow configuration congruent to $K'$? In particular, we give a bound on $n_0$ for some configurations $K$ and $K'$, such as triangles and rectangles. Those are extensions of ordinary Euclidean Ramsey theory where the purpose is to find a monochromatic configuration.
Lagrangian densities of some $3$-uniform hypergraphs
Published
• View Publication
• BIB
The Lagrangian density of an $r$-uniform hypergraph $H$ is $r!$ multiplying the supremum of the Lagrangians of all $H$-free $r$-uniform hypergraphs. For an $r$-uniform graph $H$ with $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ with $t$ vertices is $λ$-perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. A theorem of Motzkin and Straus implies that all $2$-uniform graphs are $λ$-perfect. It is interesting to understand what kind of hypergraphs are $λ$-perfect. The property `$λ$-perfect' is monotone in the sense that an $r$-graph obtained by removing an edge from a $λ$-perfect $r$-graph (keep the same vertex set) is $λ$-perfect. It's interesting to understand the relation between the number of edges in a hypergraph and the `$λ$-perfect' property. We propose that the number of edges in a hypergraph no more than the number of edges in a linear hyperpath would guarantee the `$λ$-perfect' property. We show some partial result to support this conjecture. We also give some partial result to support the conjecture that the disjoint union of two $λ$-perfect $r$-uniform hypergraph is $λ$-perfect. We show that the disjoint union of a $λ$-perfect $3$-graph and $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$ is perfect. This result implies the earlier result of Heftz and Keevash, Jiang, Peng and Wu, and several other earlier results.
Total Cut Complexes of Graphs
Published in Discrete Comput. Geom. 73, No. 2, 500-527 (2025)
• View Publication
• BIB
Inspired by work of Fröberg (1990), and Eagon and Reiner (1998), we define the \emph{total $k$-cut complex} of a graph $G$ to be the simplicial complex whose facets are the complements of independent sets of size $k$ in $G$. We study the homotopy types and combinatorial properties of total cut complexes for various families of graphs, including chordal graphs, cycles, bipartite graphs, the prism $K_n \times K_2$, and grid graphs, using techniques from algebraic topology and discrete Morse theory.
The asymptotic number of score sequences
Published in Combinatorica 43, No. 4, 827-844 (2023)
• View Publication
• BIB
A tournament on a graph is an orientation of its edges. The score sequence lists the in-degrees in non-decreasing order. Works by Winston and Kleitman (1983) and Kim and Pittel (2000) showed that the number $S_n$ of score sequences on the complete graph $K_n$ satisfies $S_n=Θ(4^n/n^{5/2})$. By combining a recent recurrence relation for $S_n$ in terms of the Erdős--Ginzburg--Ziv numbers $N_n$ with the limit theory for discrete infinitely divisible distributions, we observe that $n^{5/2}S_n/4^n\to e^λ/2\sqrtπ$, where $λ=\sum_{k=1}^\infty N_k/k4^k$. This limit agrees numerically with the asymptotics of $S_n$ conjectured by Takács (1986). We also identify the asymptotic number of strong score sequences, and show that the number of irreducible subscores in a random score sequence converges in distribution to a shifted negative binomial with parameters $r=2$ and $p=e^{-λ}$.
Perforated Tableaux in Type $A_{n-1}$ Crystal Graphs and the RSK Correspondence
Published
• View Publication
• BIB
We continue work begun in \cite{ptab} which introduced \emph{perforated tableaux} as a combinatorial model for crystals of type $A_{n-1}$, emphasizing connections to the classical Robinson-Schensted-Knuth (RSK) correspondence and Lusztig involutions, and, more generally, exploring the role of insertion schemes in the analysis of crystal graphs. An essential feature of our work is the role of \emph{dual} crystals (\cite{GerberLecouvey,vanLeeuwen}) from which we obtain new results within and beyond the classic RSK theory.
Maxima of spectral radius of irregular graphs with given maximum degree
Let $λ^{*}$ be the maximum spectral radius of connected irregular graphs on $n$ vertices with maximum degree $Δ$. Liu, Shen and Wang (2007) conjectured that $\lim_{n\rightarrow \infty}(n^{2}(Δ-λ^{*}))/(Δ-1)=π^{2},$ which describes the asymptotic behavior for the maximum spectral radius of irregular graphs. Focusing on this conjecture, we consider the maximum spectral radius of connected subcubic bipartite graphs. The unique connected subcubic bipartite graph with the maximum spectral radius is determined. Let $G$ be a $k$-connected irregular graph with spectral radius $λ_{1}(G)$, we present a lower bound for $Δ-λ_{1}(G)$. Moreover, if $H$ is a proper subgraph of a $k$-connected $Δ$-regular graph, a lower bound for $Δ-λ_{1}(H)$ is also obtained. These bounds improve some previous results.
Polynomial invariants for cactuses
Published
• View Publication
• BIB
Graph invariants are a useful tool in graph theory. Not only do they encode useful information about the graphs to which they are associated, but complete invariants can be used to distinguish between non-isomorphic graphs. Polynomial invariants for graphs such as the well-known Tutte polynomial have been studied for several years, and recently there has been interest to also define such invariants for phylogenetic networks, a special type of graph that arises in the area of evolutionary biology. Recently Liu gave a complete invariant for (phylogenetic) trees. However, the polynomial invariants defined thus far for phylogenetic networks that are not trees require vertex labels and either contain a large number of variables, or they have exponentially many terms in the number of reticulations. This can make it difficult to compute these polynomials and to use them to analyse unlabelled networks. In this paper, we shall show how to circumvent some of these difficulties for rooted cactuses and cactuses. As well as being important in other areas such as operations research, rooted cactuses contain some common classes of phylogenetic networks such phylogenetic trees and level-1 networks. More specifically, we define a polynomial $F$ that is a complete invariant for the class of rooted cactuses without vertices of indegree 1 and outdegree 1 that has 5 variables, and a polynomial $Q$ that is a complete invariant for the class of rooted cactuses that has 6 variables \vince{whose degree can be bounded linearly in terms of the size of the rooted cactus}. We also explain how to extend the $Q$ polynomial to define a complete invariant for leaf-labelled rooted cactuses as well as (unrooted) cactuses.
Traversing a graph in general position
Let $G$ be a graph. Assume that to each vertex of a set of vertices $S\subseteq V(G)$ a robot is assigned. At each stage one robot can move to a neighbouring vertex. Then $S$ is a mobile general position set of $G$ if there exists a sequence of moves of the robots such that all the vertices of $G$ are visited whilst maintaining the general position property at all times. The mobile general position number of $G$ is the cardinality of a largest mobile general position set of $G$. In this paper, bounds on the mobile general position number are given and exact values determined for certain common classes of graphs including block graphs, rooted products, unicyclic graphs, Cartesian products, joins of graphs, Kneser graphs $K(n,2)$, and line graphs of complete graphs.
Codes parameterized by the edges of a bipartite graph with a perfect matching
Published
• View Publication
• BIB
In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching.
Limit Profile for Projections of Random Walks on Groups
Published in Electron. J. Probab. 29: 1-22 (2024)
• View Publication
• BIB
Establishing cutoff, an abrupt transition from "not mixed" to "well mixed", is a classical topic in the theory of mixing times for Markov chains. Interest has grown recently in determining not only the existence of cutoff and the order of its mixing time and window, but the exact shape, or profile, of the convergence inside the window. Classical techniques, such as coupling or $\ell_2$-bounds, are typically too crude to establish this and there has been a push to develop general techniques.
We build upon this work, extending from conjugacy-invariant random walks on groups to certain projections. We exemplify our method by analysing the $k$-particle interchange process on the complete $n$-graph with $k \asymp n$. This is a projection of the random-transposition card shuffle, which corresponds to $k = n$, analysed by Teyssier.
Diameter formulas for a class of undirected multi-loop networks
Let $n\geq 5$ and $m\geq 1$ be positive integers. Let $S = ( s_1, s_2, \ldots , s_m)$ be a sequence of integers such that $1 \leq s_1 < s_2 < \ldots < s_m \leq \lfloor \frac{n-1}{2} \rfloor.$ In this paper, we discuss the diameter of multi-loop networks $C_n(s_1,s_2, \ldots, s_m)$ when $s_1=1$. We also present a relation between the diameter of multi-loop networks and the diameter of generalized Petersen graphs.