arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35252 papers tagged with this keyword
2025-04-13
The characteristic polynomials of $r$-uniform hypercycles with length $l$
Published • View Publication • BIB
Let $C_{l}$ be a cycle with length $l.$ The $r$-uniform hypercycle with length $l$ is obtained by adding $r-2$ new vertices in every edge of $C_{l},$ denoted by $C_l^{(r)}$. In this paper, we deduce some higher-order traces for the adjacent tensor of $C_l^{(r)}$ by BEST Theorem. Then we obtain higher-order spectral moments according to the relationship between eigenvalues of power hypergraphs and eigenvalues of signed graphs. Finally, the general expression of the characteristic polynomials of $C_l^{(r)}$ is given. Furthermore, by using this general expression, we present the characteristic polynomials of $C_5^{(r)}$ and $C_6^{(r)}$ as examples.
2025-04-13 v2
Homological invariants of edge ideals of weighted oriented graphs
We determine all possible triples of depth, dimension, and regularity of edge ideals of weighted oriented graphs with a fixed number of vertices. Also, we compute all the possible Betti table sizes of edge ideals of weighted oriented trees and bipartite~graphs with a fixed number of vertices.
Refinement of Hikita's $e$-positivity theorem via Abreu--Nigro's $g$-functions and restricted modular law
We study the symmetric functions \( g_{\mm,k}(x;q) \), introduced by Abreu and Nigro for a Hessenberg function \( \mm \) and a positive integer \( k \), which refine the chromatic symmetric function. Building on Hikita's recent breakthrough on the Stanley--Stembridge conjecture, we prove the \( e \)-positivity of \( g_{\mm,k}(x;1) \), refining Hikita's result. We also provide a Schur expansion of the sum \( \sum_{k=1}^n e_k(x) g_{\mm,n-k}(x;q) \) in terms of \( P \)-tableaux with 1 in the upper-left corner. We introduce a restricted version of the modular law as our main tool. Then, we show that any function satisfying the restricted modular law is determined by its values on disjoint unions of path graphs.
2025-04-12
On the $d$-transversal number of cylindrical and toroidal grids
Published • View Publication • BIB
For a positive integer $d$, a $d$-transversal set of a graph $G$ is an edge subset $T\subseteq E(G)$ such that $|T\cap M|\geq d$ for every maximum matching $M$ of $G$. The $d$-transversal number of $G$, denoted by $τ_d(G)$, is the minimum cardinality of a $d$-transversal set in $G$. It is NP-complete to determine the $d$-transversal number of a bipartite graph for any fixed $d\geq 1$. Ries et al. (Discrete Math. 310 (2010) 132-146) established the $d$-transversal number of rectangular grids $P_m\square P_n$. In this paper, we consider cylindrical grids $P_m\square C_n$ and toroidal grids $C_m\square C_n$. We derive explicit expressions for the $d$-transversal numbers of $P_m\square C_n$ for $m\geq 1$ and even $n\geq 4$, or even $m\geq 2$ and $n=3$, and of $C_m\square C_n$ with even order, for $1\leq d\leq \frac{mn}{2}$. For the other cases we obtain explicit expressions or bounds for their $d$-transversal numbers.
2025-04-12
Iwasawa theory and the representations of finite groups
Published • View Publication • BIB
In this note, I develop a representation-theoretic refinement of the Iwasawa theory of finite Cayley graphs. Building on analogies between graph zeta functions and number-theoretic L-functions, I study $\mathbb{Z}_\ell$-towers of Cayley graphs and the asymptotic growth of their Jacobians. My main result establishes that the Iwasawa polynomial associated to such a tower admits a canonical factorization indexed by the irreducible representations of the underlying group. This leads to the definition of representation-theoretic Iwasawa polynomials, whose properties are studied.
2025-04-12
Positivity properties of $q$-hit numbers in the finite general linear group
Published • View Publication • BIB
We consider the problem of counting matrices over a finite field with fixed rank and support contained in a fixed set. The count of such matrices gives a $q$-analogue of the classical rook and hit numbers, known as the $q$-rook and $q$-hit numbers. They are known not to be polynomial in $q$ in general. We use inclusion-exclusion on the support of the matrices and the orbit counting method of Lewis et al. to show that the residues of these functions in low degrees are polynomial. We define a generalization of the classical rook and hit numbers which count placements of certain classes of graphs. These give us a formula for residues of the $q$-rook and $q$-hit numbers in low degrees. We analyze the residues of the $q$-hit number and show that the coefficient of $q-1$ in the $q$-hit number is always non-negative.
2025-04-11
Expanding the unicellular LLT polynomials of two-headed melting lollipops into ribbon Schurs
We prove a simple formula expanding the unicellular LLT polynomials of a class of graphs we call two-headed melting lollipops into ribbon Schur functions. Our work extends the Schur expansion originally found for melting lollipop graphs by Huh, Nam, and Yoo.
2025-04-11 v2
$χ$-Boundedness and Neighbourhood Complexity of Bounded Merge-Width Graphs
Merge-width, recently introduced by Dreier and Toruńczyk, is a common generalisation of bounded expansion classes and twin-width for which the first-order model checking problem remains tractable. We prove that a number of basic properties shared by bounded expansion and bounded twin-width graphs also hold for bounded merge-width graphs: they are $χ$-bounded, they satisfy the strong Erdős-Hajnal property, and their neighbourhood complexity is linear.
2025-04-11
Degree sum conditions and a 2-factor with a bounded number of cycles in claw-free graphs
Published • View Publication • BIB
A claw-free graph is a graph that does not contain $K_{1,3}$ as an induced subgraph, and a 2-factor is a 2-regular spanning subgraph of a graph. In 1997, Ryjáček introduced the closure concept of claw-free graphs, and Hamilton cycles and related structures in claw-free graphs have been intensively studied via the closure concept. In this paper, using the closure concept, we show that for a claw-free graph $G$ of order $n$, if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)-1$ and $G$ satisfies $σ_{k+1}(G)\geq n$, then $G$ has a 2-factor with at most $k$ cycles, where $δ_G(I)$ denotes the minimum degree of the vertices in $I$. As a corollary of the result, we show that every claw-free graph $G$ with $δ(G)\geq α(G)+1$ has a 2-factor with at most $α(G)$ cycles, which partially solves a conjecture by Faudree et al. in 2012.
2025-04-11 v2
On a conjecture concerning 4-coloring of graphs with one crossing
We conjecture that every graph of minimum degree five with no separating triangles and drawn in the plane with one crossing is 4-colorable. In this paper, we use computer enumeration to show that this conjecture holds for all graphs with at most 28 vertices, explore the consequences of this conjecture and provide some insights on how it could be proved.
2025-04-11
Harmonic Morphisms of Arithmetical Structures on Graphs
Let $φ\colon Γ_2 \rightarrow Γ_1$ be a harmonic morphism of connected graphs. We show that an arithmetical structure on $Γ_1$ can be pulled back via $φ$ to an arithmetical structure on $Γ_2$. We then show that some results of Baker and Norine on the critical groups for the usual Laplacian extend to arithmetical critical groups, which are abelian groups determined by the generalized Laplacian associated to these arithmetical structures. In particular, we show that the morphism $φ$ induces a surjective group homomorphism from the arithmetical critical group of $Γ_2$ to that of $Γ_1$ and an injective group homomorphism from the arithmetical critical group of $Γ_1$ to that of $Γ_2$. Finally, we prove a Riemann-Hurwitz formula for arithmetical structures.
2025-04-11
On the Asymptotics of the Connectivity Probability of Erdos-Renyi Graphs
In this paper, we investigate the exact asymptotic behavior of the connectivity probability in the Erdos-Renyi graph G(n,p), under different asymptotic assumptions on the edge probability p=p(n). We propose a novel approach based on the analysis of inhomogeneous random walks to derive this probability. We show that the problem of graph connectivity can be reduced to determining the probability that an inhomogeneous random walk with Poisson-distributed increments, conditioned to form a bridge, is actually an excursion
2025-04-11
Graph shadows and edge-regular graphs
The definition of edge-regularity in graphs is a relaxation of the definition of strong regularity, so strongly regular graphs are edge-regular and, not surprisingly, the family of edge-regular graphs is much larger and more diverse than that of the strongly regular. In [1], a few methods of constructing new graphs from old are of use. One of these is the unary "graph shadow" operation. Here, this operation is generalized, and then generalized again, and conditions are given under which application of the new operations to edge-regular graphs result in edge-regular graphs. Also, some attention to strongly regular graphs is given.
Counting independent sets in percolated graphs via the Ising model
Published • View Publication • BIB
Given a graph $G$, we form a random subgraph $G_p$ by including each edge of $G$ independently with probability $p$. We provide an asymptotic expansion of the expected number of independent sets in random subgraphs of regular bipartite graphs satisfying certain vertex-isoperimetric properties, extending the work of Kronenberg and Spinka on the percolated hypercube. Combining graph containers with the cluster expansion from statistical physics, we give an expansion of the partition function of the Ising model in certain range of the parameters. Among other applications, we obtain results for even tori of growing side-length. As a tool, we prove a refined container lemma for the Ising model, which mildly improves recent bounds of Jenssen, Malekshahian, and Park.
2025-04-11 v3
Eigenspace embeddings of imprimitive association schemes
Published • View Publication • BIB
For a given symmetric association scheme $\mathcal{A}$ and its eigenspace $S_j$ there exists a mapping of vertices of $\mathcal{A}$ to unit vectors of $S_j$, known as the spherical representation of $\mathcal{A}$ in $S_j$, such that the inner products of these vectors only depend on the relation between the corresponding vertices; furthermore, these inner products only depend on the parameters of $\mathcal{A}$. We consider parameters of imprimitive association schemes listed as open cases in the list of parameters for quotient-polynomial graphs recently published by Herman and Maleki, and study embeddings of their substructures into some eigenspaces consistent with spherical representations of the putative association schemes. Using this, we obtain nonexistence for two parameter sets for $4$-class association schemes and one parameter sets for a $5$-class association scheme passing all previously known feasibility conditions, as well as uniqueness for two parameter sets for $5$-class association schemes.
2025-04-11 v2
Hamiltonian cycles in tough $(P_4 \cup P_1)$-free graphs
Published • View Publication • BIB
In 1973, Chvátal conjectured that there exists a constant $t_0$ such that every $t_0$-tough graph on at least three vertices is Hamiltonian. This conjecture has inspired extensive research and has been verified for several special classes of graphs. Notably, Jung in 1978 proved that every 1-tough $P_4$-free graph on at least three vertices is Hamiltonian. However, the problem remains challenging even when restricted to graphs with no induced $P_4\cup P_1$, the disjoint union of a path on four vertices and a one-vertex path. In 2013, Nikoghosyan conjectured that every 1-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian. Later in 2015, Broersma remarked that ``this question seems to be very hard to answer, even if we impose a higher toughness." He instead posed the following question: ``Is the general conjecture of Chvátal's true for $(P_4\cup P_1)$-free graphs?" We provide a positive answer to Broersma's question by establishing that every $23$-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian.
2025-04-10
Extension and rigidity of Perrin's lower bound estimate for Steklov eigenvalues on graphs
In this paper, we extend a lower bound estimate for Steklov eigenvalues by Perrin \cite{Pe} on unit-weighted graphs to general weighted graphs and characterise its rigidity.
2025-04-10 v2
Distance signless Laplacian spectral radius and tough graphs involving minimun degree
Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is $t$-tough. Recently, Fan, Lin and Lu [European J. Combin. 110(2023), 103701] presented sufficient conditions based on the spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough with $t\geq 1$ being an integer, respectively. In this paper, we establish sufficient conditions in terms of the distance signless Laplacian spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough, where $\frac{1}{t}$ is a positive integer. Moreover, we consider the relationship between the distance signless Laplacian spectral radius and $t$-tough graphs in terms of the order $n$.
Hardness of 4-Colourings G-Colourable Graphs
We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Nešetřil, this problem is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami [SODA 2018] conjectured the hardness extends to promise graph homomorphism problems as follows: fix a pair of non-bipartite loop-less graphs G, H such that there is a homomorphism from G to H, it is NP-hard to distinguish between graphs that are G-colourable and those that are not H-colourable. We confirm this conjecture in the cases when both G and H are 4-colourable. This is a common generalisation of previous results of Khanna, Linial, and Safra [Comb. 20(3): 393-415 (2000)] and of Krokhin and Opršal [FOCS 2019]. The result is obtained by combining the algebraic approach to promise constraint satisfaction with methods of topological combinatorics and equivariant obstruction theory.
2025-04-10
A note on extendable sets of colorings and rooted minors
DeVos and Seymour (2003) proved that for every set $C$ of 3-colorings of a set $X$ of vertices, there exists a plane graph $G$ with vertices of $X$ incident with the outer face such that a 3-coloring of $X$ extends to a 3-coloring of $G$ if and only if it belongs to $C$. We prove a generalization of this claim for $k$-colorings of $X$-rooted-$K_{k+1}$-minor-free $K_{k+2}$-minor-free graphs.