graph
34516 papers tagged with this keyword
Domination inequalities and dominating graphs
Published in Math. Proc. Camb. Phil. Soc. 177 (2024) 167-184
• View Publication
• BIB
We say that a graph $H$ dominates another graph $H'$ if the number of homomorphisms from $H'$ to any graph $G$ is dominated, in an appropriate sense, by the number of homomorphisms from $H$ to $G$. We study the family of dominating graphs, those graphs with the property that they dominate all of their subgraphs. It has long been known that even-length paths are dominating in this sense and a result of Hatami implies that all weakly norming graphs are dominating. In a previous paper, we showed that every finite reflection group gives rise to a family of weakly norming, and hence dominating, graphs. Here we revisit this connection to show that there is a much broader class of dominating graphs.
On the socle of Artinian algebras associated to graphs
Given a simple graph, consider the polynomial ring with coefficients in a field and variables identified with the edges of the graph. Given a non-empty even cardinality Eulerian subgraph and a choice of half of its edges, consider the homogeneous binomial obtained by taking the product of these edges minus the product of the remaining edges of the subgraph. We define a homogeneous ideal by taking as generators all binomials obtained in this way, varying the Eulerian subgraph and the choice of half of its edges, together with the squares of the variables of the ring. This ideal is related to the Eulerian ideal, introduced by Neves, Vaz Pinto and Villarreal. We call the corresponding quotient the Eulerian Artinian algebra associated to the graph. The goal of the present work is to study the socle of these algebras through the lens of graph theory. Our main results include a combinatorial characterization of a monomial basis of the socle, a characterization of Gorenstein Eulerian Artinian algebras in the case of bipartite graphs and the computation of the h-vector and socle degrees in the cases of a complete graph and a complete bipartite graph.
On the Independence Polynomial and Threshold of an Antiregular $k$-Hypergraph
Given an integer $k\geq 3$ and an initial $k-1$ isolated vertices, an {\em antiregular $k$-hypergraph} is constructed by alternatively adding an isolated vertex (connected to no other vertices) or a dominating vertex (connected to every other $k-1$ vertices). Let $a_i$ be the number of independent sets of cardinality $i$ in a hypergraph $H$, then the {\em independence polynomial} of $H$ is defined as $I(H;x)=\sum_{i=0}^m a_i x^i$, where $m$ is the size of a maximum independent set. The main purpose of the present paper is to generalise some results of independence polynomials of antiregular graphs to the case of antiregular $k$-hypergraphs. In particular, we derive (semi-)closed formulas for the independence polynomials of antiregular $k$-hypergraphs and prove their log-concavity. Furthermore, we show that antiregular $k$-hypergraphs are {\em $T2$-threshold}, which means there exist a labeling $c$ of the vertex set and a threshold $τ$ such that for any vertex subset $S$ of cardinality $k$, $\sum_{i\in S}c(i)>τ$ if and only if $S$ is a hyperedge.
List packing number of bounded degree graphs
Published in Combinator. Probab. Comp. 33 (2024) 807-828
• View Publication
• BIB
We investigate the list packing number of a graph, the least $k$ such that there are always $k$ disjoint proper list-colourings whenever we have lists all of size $k$ associated to the vertices. We are curious how the behaviour of the list packing number contrasts with that of the list chromatic number, particularly in the context of bounded degree graphs. The main question we pursue is whether every graph with maximum degree $Δ$ has list packing number at most $Δ+1$. Our results highlight the subtleties of list packing and the barriers to, for example, pursuing a Brooks'-type theorem for the list packing number.
A family of $2$-groups and an associated family of semisymmetric, locally $2$-arc-transitive graphs
A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley graph of $H$. We prove that $Σ$ is semisymmetric, that is, ${\rm Aut}(Σ)$ acts transitively on the edges, but intransitively on the vertices, of $Σ$. These graphs are the first known semisymmetric graphs constructed from groups that are not $2$-generated (indeed $H$ requires $2n$ generators). Additionally, we prove that $Σ$ is locally $2$-arc-transitive, and is a normal cover of the `basic' locally $2$-arc-transitive graph ${\rm K}_{2^n,2^n}$. As such, the construction of this family of graphs contributes to the investigation of normal covers of prime-power order of basic locally $2$-arc-transitive graphs -- the `local' analogue of a question posed by C.~H.~Li.
The Total Matching Polytope of Complete Bipartite Graphs
The total matching polytope generalizes the stable set polytope and the matching polytope. In this paper, we first propose new facet-defining inequalities for the total matching polytope. We then give an exponential-sized, non-redundant description in the original space and a compact description in an extended space of the total matching polytope of complete bipartite graphs.
There is no going back: Properties of the non-backtracking Laplacian
We prove new properties of the non-backtracking graph and the non-backtracking Laplacian for graphs. In particular, among other results, we prove that two simple graphs are isomorphic if and only if their corresponding non-backtracking graphs are isomorphic, and we investigate properties of various classes of non-backtracking Laplacian eigenfunctions, such as symmetric and antisymmetric eigenfunctions. Moreover, we introduce and study circularly partite graphs as a generalization of bipartite graphs, and we use this notion to state a sharp upper bound for the spectral gap from $1$. We also investigate the singular values of the non-backtracking Laplacian in relation to independence numbers, and we use them to bound the moduli of the eigenvalues.
Fitting ideals of Jacobian groups of graphs
The Jacobian group of a graph is a finite abelian group through which we can study the graph in an algebraic way. When the graph is a finite abelian covering of another graph, the Jacobian group is equipped with the action of the Galois group. In this paper, we study the Fitting ideal of the Jacobian group as a module over the group ring. We also study the corresponding question for infinite coverings. Additionally, this paper includes module-theoretic approach to Iwasawa theory for graphs.
Hypergraphs defined on algebraic structures
There has been a great deal of research on graphs defined on algebraic structures in the last two decades. In this paper we begin an exploration of hypergraphs defined on algebraic structures, especially groups, to investigate whether this can add a new perspective.
Characterising path-, ray- and branch spaces of order trees, and end spaces of infinite graphs
We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of (sub-)bases. Our results yield a solution to a problem due to Diestel from 1992, by establishing the following equivalences for any Hausdorff space $X$:
(1) $X$ is homeomorphic to the end space of a graph,
(2) $X$ is homeomorphic to the ray space of a special order tree,
(3) $X$ admits a nested clopen subbase that is noetherian, hereditarily complete and $σ$-disjoint.
A linear bound for the Colin de Verdière parameter $μ$ for graphs embedded on surfaces
We provide a combinatorial and self-contained proof that for all graphs $G$ embedded on a surface $S$, the Colin de Verdière parameter $μ(G)$ is upper bounded by $7-2χ(S)$.
Scarf's algorithm and stable marriages
Scarf's algorithm gives a pivoting procedure to find a special vertex -- a dominating vertex -- in down-monotone polytopes. This paper studies the behavior of Scarf's algorithm when employed to find stable matchings in bipartite graphs. First, it proves that Scarf's algorithm can be implemented to run in polynomial time, showing the first positive result on its runtime in significant settings. Second, it shows an infinite family of instances where, no matter the pivoting rule and runtime, Scarf's algorithm outputs a matching from an exponentially small subset of all stable matchings, thus showing a structural weakness of the approach.
Nonexistence of uniformly most reliable graphs of least corank
If $G$ is a simple graph and $ρ\in[0,1]$, the reliability $R_G(ρ)$ is the probability of $G$ being connected after each of its edges is removed independently with probability $ρ$. A simple graph $G$ is a \emph{uniformly most reliable graph} (UMRG) if $R_G(ρ)\geq R_H(ρ)$ for every $ρ\in[0,1]$ and every simple graph $H$ on the same number of vertices and edges as $G$. Boesch [J.\ Graph Theory 10 (1986), 339--352] conjectured that, if $n$ and $m$ are such that there exists a connected simple graph on $n$ vertices and $m$ edges, then there also exists a UMRG on the same number of vertices and edges. Some counterexamples to Boesch's conjecture were given by Kelmans, Myrvold et al., and Brown and Cox. It is known that Boesch's conjecture holds whenever the corank, defined as $c=m-n+1$, is at most $4$ (and the corresponding UMRGs are fully characterized). Ath and Sobel conjectured that Boesch's conjecture holds whenever the corank $c$ is between $5$ and $8$, provided the number of vertices is at least $2c-2$. In this work, we give an infinite family of counterexamples to Boesch's conjecture of corank $5$. These are the first reported counterexamples that attain the minimum possible corank. As a byproduct, the conjecture by Ath and Sobel is disproved.
Packing Odd Walks and Trails in Multiterminal Networks
Let $G$ be an undirected network with a distinguished set of terminals $T \subseteq V(G)$ and edge capacities $cap: E(G) \rightarrow \mathbb{R}_+$. By an odd $T$-walk we mean a walk in $G$ (with possible vertex and edge self-intersections) connecting two distinct terminals and consisting of an odd number of edges. Inspired by the work of Schrijver and Seymour on odd path packing for two terminals, we consider packings of odd $T$-walks subject to capacities $cap$.
First, we present a strongly polynomial time algorithm for constructing a maximum fractional packing of odd $T$-walks. For even integer capacities, our algorithm constructs a packing that is half-integer. Additionally, if $cap(δ(v))$ is divisible by 4 for any $v \in V(G) - T$, our algorithm constructs an integer packing.
Second, we establish and prove the corresponding min-max relation.
Third, if $G$ is inner Eulerian (i.e. degrees of all nodes in $V(G) - T$ are even) and $cap(e) = 2$ for all $e \in E$, we show that there exists an integer packing of odd $T$-trails (i.e. odd $T$-walks with no repeated edges) of the same value as in case of odd $T$-walks, and this packing can be found in polynomial time.
To achieve the above goals, we establish a connection between packings of odd $T$-walks and $T$-trails and certain multiflow problems in undirected and bidirected graphs.
On Vietoris-Rips complexes of Finite Metric Spaces with Scale $2$
We examine the homotopy types of Vietoris-Rips complexes on certain finite metric spaces at scale $2$. We consider the collections of subsets of $[m]=\{1, 2, \ldots, m\}$ equipped with symmetric difference metric $d$, specifically, $\mathcal{F}^m_n$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}$, and $\mathcal{F}_{\preceq A}^m$. Here $\mathcal{F}^m_n$ is the collection of size $n$ subsets of $[m]$ and $\mathcal{F}_{\preceq A}^m$ is the collection of subsets $\preceq A$ where $\preceq$ is a total order on the collections of subsets of $[m]$ and $A\subseteq [m]$ (see the definition of $\preceq$ in Section~\ref{Intro}). We prove that the Vietoris-Rips complexes $\mathcal{VR}(\mathcal{F}^m_n, 2)$ and $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^2$'s; also, the complexes $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}, 2)$ and $\mathcal{VR}(\mathcal{F}_{\preceq A}^m, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^3$'s. We provide inductive formula for these homotopy types extending the result of Barmak in \cite{Bar13} about the independence complexes of Kneser graphs \text{KG}$_{2, k}$ and the result of Adamaszek and Adams in \cite{AA22} about Vietoris-Rips complexes of hypercube graphs with scale $2$.
On the geometric thickness of 2-degenerate graphs
A graph is 2-degenerate if every subgraph contains a vertex of degree at most 2. We show that every 2-degenerate graph can be drawn with straight lines such that the drawing decomposes into 4 plane forests. Therefore, the geometric arboricity, and hence the geometric thickness, of 2-degenerate graphs is at most 4. On the other hand, we show that there are 2-degenerate graphs that do not admit any straight-line drawing with a decomposition of the edge set into 2 plane graphs. That is, there are 2-degenerate graphs with geometric thickness, and hence geometric arboricity, at least 3. This answers two questions posed by Eppstein [Separating thickness from geometric thickness. In Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004].
Improved bounds on the cop number when forbidding a minor
Published in Journal of Graph Theory, 108(3):620-646, March 2025
• View Publication
• BIB
Andreae (1986) proved that the cop number of connected $H$-minor-free graphs is bounded for every graph $H$. In particular, the cop number is at most $|E(H-h)|$ if $H-h$ contains no isolated vertex, where $h\in V(H)$. The main result of this paper is an improvement on this bound, which is most significant when $H$ is small or sparse, for instance when $H-h$ can be obtained from another graph by multiple edge subdivisions. Some consequences of this result are improvements on the upper bound for the cop number of $K_{3,t}$-minor-free graphs, $K_{2,t}$-minor-free graphs and linklessly embeddable graphs.
Linear Size Universal Point Sets for Classes of Planar Graphs
A finite set $P$ of points in the plane is $n$-universal with respect to a class $\mathcal{C}$ of planar graphs if every $n$-vertex graph in $\mathcal{C}$ admits a crossing-free straight-line drawing with vertices at points of $P$. For the class of all planar graphs the best known upper bound on the size of a universal point set is quadratic and the best known lower bound is linear in $n$. Some classes of planar graphs are known to admit universal point sets of near linear size, however, there are no truly linear bounds for interesting classes beyond outerplanar graphs.
In this paper, we show that there is a universal point set of size $2n-2$ for the class of bipartite planar graphs with $n$ vertices. The same point set is also universal for the class of $n$-vertex planar graphs of maximum degree $3$. The point set used for the results is what we call an exploding double chain, and we prove that this point set allows planar straight-line embeddings of many more planar graphs, namely of all subgraphs of planar graphs admitting a one-sided Hamiltonian cycle. The result for bipartite graphs also implies that every $n$-vertex plane graph has a $1$-bend drawing all whose bends and vertices are contained in a specific point set of size $4n-6$, this improves a bound of $6n-10$ for the same problem by Löffler and Tóth.
Jump-systems of $T$-paths
Published in Proceedings of the Twelfth Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications (March 2023)
• Search Publication
Jump systems are sets of integer vectors satisfying a simple axiom, generalizing matroids, also delta-matroids, and well-kown combinatorial examples such as degree sequences of subgraphs of a graph. It is useful to know if a set of vectors defined from combinatorial structures is a jump system: this has consequences for optimizing on the set, or on some derived sets of vectors. In this note we are mainly concerned in telling our proof of the following more than two decades old fact and its original, elementary proof for an example different from degree sequences:
{\em Given an udirected graph $G=(V,E)$ and $T\subseteq V$, the vectors $m$ indexed by $T$ for which there exist a set of openly disjoint $T$-paths so that each $t\in T$ is the endpoint of exactly $m(t)$ paths forms a jump system. The same holds for edge-disjoint $T$-paths.}
We are also exhibiting the context and some consequences of this fact, with some pointers to recent developments, among them ro another proof by Iwata and Yokoi, to some related jump system intersection theorems and to some open problems.
Littlewood-Richardson coefficients and the eigenvalues of integral line graphs
We first describe a system of inequalities (Horn's inequalities) that characterize eigenvalues of sums of Hermitian matrices.
When we apply this system for integral Hermitian matrices, one can directly test it by using Littlewood-Richardson coefficients.
In this paper, we apply Horn's inequalities to analysis the eigenvalues of an integral line graph $G$ of a connected bipartite graph. Then we show that the diameter of $G$ is at most $2ω(G)$, where $ω(G)$ is the clique number of $G$. Also using Horn's inequalities, we show that for every odd integer $k\geq 19$, a non-complete $k$-regular Ramanujan graph has an eigenvalue less than $-2$.