graph
34516 papers tagged with this keyword
Vertex Partitioning and $p$-Energy of Graphs
For a Hermitian matrix $A$ of order $n$ with eigenvalues $λ_1(A)\ge \cdots\ge λ_n(A)$, define \[ \mathcal{E}_p^+(A)=\sum_{λ_i > 0} λ_i^p(A), \quad \mathcal{E}_p^-(A)=\sum_{λ_i<0} |λ_i(A)|^p,\] to be the positive and the negative $p$-energy of $A$, respectively. In this note, first we show that if $A=[A_{ij}]_{i,j=1}^k$, where $A_{ii}$ are square matrices, then \[ \mathcal{E}_p^+(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^+(A_{ii}), \quad \mathcal{E}_p^-(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^-(A_{ii}),\] for any real number $p\geq 1$. We then apply the previous inequality to establish lower bounds for $p$-energy of the adjacency matrix of graphs.
Separation Number and Treewidth, Revisited
We give a constructive proof of the fact that the treewidth of a graph $G$ is bounded by a linear function of the separation number of $G$.
A Note on Mixed Cages of Girth 5
A mixed regular graph is a graph where every vertex has $z$ incoming arcs, $z$ outgoing arcs, and $r$ edges; furthermore, if it has girth $g$, we say that the graph is a \emph{$[z,r;g]$-mixed graph}. A \emph{$[z,r;g]$-mixed cage} is a $[z,r;g]$-mixed graph with the smallest possible order. In this note, we give a family of $[z,q;5]$-mixed graphs for $q\geq 7$ power of prime and $q-1\leq 4z+R$ with $z\geq 1$ and $R \in \{1,\ldots,5\}$. This provides better upper bounds on the order of mixed cages until this moment.
Characterizing simplex graphs
The simplex graph $S(G)$ of a graph $G$ is defined as the graph whose vertices are the cliques of $G$ (including the empty set), with two vertices being adjacent if, as cliques of $G$, they differ in exactly one vertex. Simplex graphs form a subclass of median graphs and include many well-known families of graphs, such as gear graphs, Fibonacci cubes and Lucas cubes.
In this paper, we characterize simplex graphs from four different perspectives: the first focuses on a graph class associated with downwards-closed sets -- namely, the daisy cubes; the second identifies all forbidden partial cube-minors of simplex graphs; the third is from the perspective of the $Θ$ equivalent classes; and the fourth explores the relationship between the maximum degree and the isometric dimension. Furthermore, very recently, Betre et al.\ [K. H. Betre, Y. X. Zhang, C. Edmond, Pure simplicial and clique complexes with a fixed number of facets, 2024, arXiv: 2411.12945v1] proved that an abstract simplicial complex (i.e., an independence system) of a finite set can be represented to a clique complex of a graph if and only if it satisfies the Weak Median Property. As a corollary, we rederive this result by using the graph-theoretical method.
On high discrepancy $1$-factorizations of complete graphs
We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $σ: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c > 0$ such that every edge-signed $K_{2n}$ has a perfect matching decomposition $\{ψ_1, \ldots, ψ_{2n-1}\}$, where for each perfect matching $ψ_i$, the discrepancy $\lvert \frac{1}{n} \sum_{e\in E(ψ_i)} σ(e) \rvert$ is at least $c$.
Cycle Patterns and Mean Payoff Games
We introduce the concept of a \emph{cycle pattern} for directed graphs as functions from the set of cycles to the set $\{-,0,+\}$. The key example for such a pattern is derived from a weight function, giving rise to the sign of the total weight of the edges for each cycle. Hence, cycle patterns describe a fundamental structure of a weighted digraph, and they arise naturally in games on graphs, in particular parity games, mean payoff games, and energy games.
Our contribution is threefold: we analyze the structure and derive hardness results for the realization of cycle patterns by weight functions. Then we use them to show hardness of solving games given the limited information of a cycle pattern. Finally, we identify a novel geometric hardness measure for solving mean payoff games (MPG) using the framework of linear decision trees, and use cycle patterns to derive lower bounds with respect to this measure, for large classes of algorithms for MPGs.
On almost Gallai colourings in complete graphs
For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube.
Dirac-type condition for Hamilton-generated graphs
The cycle space $\mathcal{C}(G)$ of a graph $G$ is defined as the linear space spanned by all cycles in $G$. For an integer $k\ge 3$, let $\mathcal{C}_k (G)$ denote the subspace of $\mathcal{C}(G)$ generated by the cycles of length exactly $k$. A graph $G$ on $n$ vertices is called Hamilton-generated if $\mathcal{C}_n (G) = \mathcal{C}(G)$, meaning every cycle in $G$ is a symmetric difference of some Hamilton cycles of $G$. %A necessary condition for this property is that $n$ must be odd. Heinig (European J. Combin., 2014) showed that for any $σ>0$ and sufficiently large odd $n$, every $n$-vertex graph with minimum degree $(1+ σ)n/2$ is Hamilton-generated. He further posed the question that whether the minimum degree requirement could be lowered to the Dirac threshold $n/2$. Recent progress by Christoph, Nenadov, and Petrova~(arXiv:2402.01447) reduced the minimum degree condition to $n/2 + C$ for some large constant $C$. In this paper, we resolve Heinig's problem completely by proving that for sufficiently large odd $n$, every Hamilton-connected graph $G$ on $n$ vertices with minimum degree at least $(n-1)/2$ is Hamilton-generated. Moreover, this result is tight for the minimum degree and the Hamilton-connected condition. The proof relies on the parity-switcher technique introduced by Christoph, et al in their recent work, as well as a classification lemma that strengthens a previous result by Krivelevich, Lee, and Sudakov~(Trans. Amer. Math. Soc., 2014).
Maximal Entropy Random Walks in Z: Random and non-random environments
The Maximal Entropy Random Walk (MERW) is a natural process on a finite graph, introduced a few years ago with motivations from theoretical physics. The construction of this process relies on Perron-Frobenius theory for adjacency matrices. Generalizing to infinite graphs is rather delicate, and in this article, we treat in a fairly exhaustive manner the case of the MERW on Z with loops, for both random and nonrandom loops. Thanks to an explicit combinatorial representation of the corresponding Perron-Frobenius eigenvectors, we are able to precisely determine the asymptotic behavior of these walks. We show, in particular, that essentially all MERWs on Z with loops have positive speed.
A Linear Programming Approach to the Super-Stable Roommates Problem
The stable roommates problem is a non-bipartite version of the well-known stable matching problem. Teo and Sethuraman proved that, for each instance of the stable roommates problem in a complete graph, there exists a linear inequality system such that there exists a feasible solution to this system if and only if there exists a stable matching in the given instance. The aim of this paper is to extend the result of Teo and Sethuraman to the stable roommates problem with ties. More concretely, we prove that, for each instance of the stable roommates problem with ties in a complete graph, there exists a linear inequality system such that there exists a feasible solution to this system if and only if there exists a super-stable matching in the given instance.
Global Least Common Ancestor (LCA) Networks
Directed acyclic graphs (DAGs) are fundamental structures used across many scientific fields. A key concept in DAGs is the least common ancestor (LCA), which plays a crucial role in understanding hierarchical relationships. Surprisingly little attention has been given to DAGs that admit a unique LCA for every subset of their vertices. Here, we characterize such global lca-DAGs and provide multiple structural and combinatorial characterizations. We show that global lca-DAGs have a close connection to join semi-lattices and establish a connection to forbidden topological minors. In addition, we introduce a constructive approach to generating global lca-DAGs and demonstrate that they can be recognized in polynomial time. We investigate their relationship to clustering systems and other set systems derived from the underlying DAGs.
Counting cliques with prescribed intersection sizes
We study the generalized Turán problem regarding cliques with restricted intersections, which highlights the motivation from extremal set theory. Let $L=\{\ell_1,\dots,\ell_s\}\subset [0,r-1]$ be a fixed integer set with $|L|\notin \{1,r\}$ and $\ell_1<\dots<\ell_s$, and let $Ψ_r(n,L)$ denote the maximum number of $r$-cliques in an $n$-vertex graph whose $r$-cliques are $L$-intersecting as a family of $r$-subsets. Helliar and Liu recently initiated the systematic study of the function $Ψ_r(n,L)$ and showed that $Ψ_r(n,L)\le \left(1-\frac{1}{3r}\right) \prod_{\ell\in L}\frac{n-\ell}{r-\ell}$ for large $n$, improving the trivial bound from the Deza--Erdős--Frankl theorem by a factor of $1-\frac{1}{3r}$. In this article, we improve their result by showing that as $n$ goes to infinity $Ψ_r(n,L)=Θ_{r,L}(n^{|L|})$ if and only if $\ell_1,\dots,\ell_s,r$ form an arithmetic progression and fully determining the corresponding exact values of $Ψ_r(n,L)$ for sufficiently large $n$ in this case. Moreover, when $L=[t,r-1]$, for the generalized Turán extension of the Erdős--Ko--Rado theorem given by Helliar and Liu, we show a Hilton--Milner-type stability result.
Log-Concavity of the Grothendieck Classes of Banana Graphs and Clasped Necklaces
The Grothendieck classes of melonic graphs satisfy a recursive relation and may be written as polynomials in the class of the moduli space $\mathcal{M}_{0,4}$ with nonnegative integer coefficients, conjectured to be log-concave. In this article, we investigate log-concavity and ultra-log-concavity for the Grothendieck class of banana graphs and the three families of polynomials involved in the recursive relation. We prove that all four are log-concave, establishing the specific case of banana graphs for the log-concavity conjecture. We additionally introduce the infinite family of clasped necklaces, melonic graphs obtained by replacing an edge of a $2$-banana with a string of $m$-bananas. Using the recursive relation, we explicitly compute the classes of clasped necklaces and prove that they too are log-concave.
Series-parallel graphs and hypercube degeneracy
Several recent works have identified patterns that must exist in dense subsets of either the vertices or the edges of a large hypercube. We introduce a framework, based on the concept of series-parallel graphs, that unifies and generalizes these results.
Brown functors of directed graphs
We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris axiom -- is representable. Furthermore, we show that the first path cohomology functor is a digraph Brown functor.
DP color functions of hypergraphs
In this article, we introduce the DP color function of a hypergraph, based on the DP coloring introduced by Bernshteyn and Kostochka, which is the minimum value where the minimum is taken over all its k-fold covers. It is an extension of its chromatic polynomial. we obtain an upper bound for the DP color functions of hypergraphs when hypergraphs are connected r-uniform hypergraphs for any r greater than one. The upper bound is attained if and only if the hypergraph is a r-uniform hypertree. We also show the cases of the DP color function equal to its chromatic polynomial. These conclusions coincide with the known results of graphs.
On non-bipartite graphs with integral signless Laplacian eigenvalues at most 6
In this paper, we completely classify the connected non-bipartite graphs with integral signless Laplacian eigenvalues at most 6.
On $G^p$-unimodality of radius functions in graphs: structure and algorithms
For every weight assignment $π$ to the vertices in a graph $G$, the radius function $r_π$ maps every vertex of $G$ to its largest weighted distance to the other vertices. The center problem asks to find a center, i.e., a vertex of $G$ that minimizes $r_π$. We here study some local properties of radius functions in graphs, and their algorithmic implications; our work is inspired by the nice property that in Euclidean spaces every local minimum of every radius function $r_π$ is a center. We study a discrete analogue of this property for graphs, which we name $G^p$-unimodality: specifically, every vertex that minimizes the radius function in its ball of radius $p$ must be a central vertex. While it has long been known since Dragan (1989) that graphs with $G$-unimodal radius functions $r_π$ are exactly the Helly graphs, the class of graphs with $G^2$-unimodal radius functions has not been studied insofar. We prove the latter class to be much larger than the Helly graphs, since it also comprises (weakly) bridged graphs, graphs with convex balls, and bipartite Helly graphs.
Recently, using the $G$-unimodality of radius functions $r_π$, a randomized $\widetilde{\mathcal{O}}(\sqrt{n}m)$-time local search algorithm for the center problem on Helly graphs was proposed by Ducoffe (2023). Assuming the Hitting Set Conjecture (Abboud et al., 2016), we prove that a similar result for the class of graphs with $G^2$-unimodal radius functions is unlikely. However, we design local search algorithms (randomized or deterministic) for the center problem on many of its important subclasses.
Cayley trees and increasing 1,2-trees: let's twist!
An increasing 1,2-tree is a labeled graph formed by starting with a vertex and then repeatedly attaching a leaf to a vertex or a triangle to an edge, the labeling of the vertices corresponding to the order in which the vertices are added. Equivalently, increasing 1,2-trees are connected chordal graphs of treewidth at most 2 labeled with a reversed perfect elimination ordering. We prove that this family is equinumerous with Cayley trees, which are unconstrained labeled trees. In particular, the number of triangles in an increasing 1,2-tree corresponds to the number of twists. A twist (also called improper edge) is an edge whose endpoint closer to vertex 1 has a greater label than some vertex in the subtree rooted at the other endpoint of the edge. We provide three proofs of this result, the rst being based on similar recursive decompositions, the second on the resolution of generating functions, and the third describing a bijection. Finally, we propose ecient random generators for these two combinatorial families.
Exceptional projections in finite fields: Fourier analytic bounds and incidence geometry
We consider the problem of bounding the number of exceptional projections (projections which are smaller than typical) of a subset of a vector space over a finite field onto subspaces. We establish bounds that depend on $L^p$ estimates for the Fourier transform, improving various known bounds for sets with sufficiently good Fourier analytic properties. The special case $p=2$ recovers a recent result of Bright and Gan (following Chen), which established the finite field analogue of Peres--Schlag's bounds from the continuous setting. We prove several auxiliary results of independent interest, including a character sum identity for subspaces (solving a problem of Chen) and a full generalization of Plancherel's theorem for subspaces. These auxiliary results also have applications in affine incidence geometry, that is, the problem of estimating the number of incidences between a set of points and a set of affine $k$-planes. We present a novel and direct proof of a well-known result in this area that avoids the use of spectral graph theory, and we provide simple examples demonstrating that these estimates are sharp up to constants.