graph
34516 papers tagged with this keyword
Borodin-Kostochka conjecture and Partitioning a graph into classes with no clique of specified size
For a given graph $H$ and the graphical properties $P_1, P_2,\ldots,P_k$, a graph $H$ is said to be $(V_1, V_2,\ldots,V_k)$-partitionable if there exists a partition of $V(H)$ into $k$-sets $V_1, V_2\ldots,V_k$, such that for each $i\in[k]$, the subgraph induced by $V_i$ has the property $P_i$. In $1979$, Bollobás and Manvel showed that for a graph $H$ with maximum degree $Δ(H)\geq 3$ and clique number $ω(H)\leq Δ(H)$, if $Δ(H)= p+q$, then there exists a $(V_1,V_2)$-partition of $V(H)$, such that $Δ(H[V_1])\leq p$, $Δ(H[V_2])\leq q$, $H[V_1]$ is $(p-1)$-degenerate, and $H[V_2]$ is $(q-1)$-degenerate.
Assume that $p_1\geq p_2\geq\cdots\geq p_k\geq 2$ are $k$ positive integers and $\sum_{i=1}^k p_i=Δ(H)-1+k$. Assume that for each $i\in[k]$ the properties $P_i$ means that $ω(H[V_i])\leq p_i-1$. Is $H$ a $(V_1,\ldots,V_k)$-partitionable graph?
In 1977, Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph, has chromatic number at most $Δ(H)-1$. Reed proved that the conjecture holds whenever $ Δ(G) \geq 10^{14} $.
When $p_1=2$ and $Δ(H)\geq 9$, the above question is the Borodin and Kostochka conjecture. Therefore, when all $p_i$s are equal to $2$ and $Δ(H)\leq 8$, the answer to the above question is negative. Let $H$ is a graph with maximum degree $Δ$, and clique number $ω(H)$, where $ω(H)\leq Δ-1$. In this article, we intend to study this question when $k\geq 2$ and $Δ\geq 13$. In particular as an analogue of the Borodin-Kostochka conjecture, for the case that $Δ\geq 13$ and $p_i\geq 2$ we prove that the above question is true.
Matroids in OSCAR
Published in Chapter in the book "The Computer Algebra System OSCAR. Algorithms and Computation in Mathematics", 2-2025
• View Publication
• BIB
OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Here, we present parts of the module handeling matroids in OSCAR, which will appear as a chapter of the upcoming OSCAR book. A matroid is a fundamental and actively studied object in combinatorics. Matroids generalize linear dependency in vector spaces as well as many aspects of graph theory. Moreover, matroids form a cornerstone of tropical geometry and a deep link between algebraic geometry and combinatorics. Our focus lies in particular on computing the realization space and the Chow ring of a matroid.
On the distance spectral radius, fractional matching and factors of graphs with given minimum degree
A fractional matching of $G$ is a function $f: E(G)\to [0,1]$ such that $\sum_{e\in E_G(v_i)}f(e)\le 1$ for any $v_i\in V(G)$, where $E_G(v_i)=\{e: e\in E(G) \ \textrm{and}\ e \ \textrm{is incident with} \ v_i\}$. Let $α_f(G)$ denote the fractional matching number of $G$, which is defined as $α_f(G)=\max\{\sum_{e\in E(G)}f(e): f\ \textrm{is a fractional matching of} \ G\}$. Let $\{G_1,G_2,G_3,\dots\}$ be a set of graphs, a $\{G_1,G_2,G_3,\dots\}$-factor of a graph $G$ is a spanning subgraph of $G$ such that each component of which is isomorphic to one of $\{G_1,G_2,G_3,\dots\}$. In this paper, we first establish a sharp upper bound for the distance spectral radius to guarantee that $α_f(G)>\frac{n-k}{2}$ in a graph $G$ of order $n$ with given minimum degree, where $0<k<n$ is an integer. Then we give a sharp upper bound on the distance spectral radius of a graph $G$ with given minimum degree $δ$ to ensure that $G$ has a $\{K_2, \{C_k\}\}$-factor, where $3\le k<+\infty$ is an integer. Moreover, we obtain a sharp upper bound on the distance spectral radius for the existence of a $\{K_{1,1},K_{1,2},\dots,K_{1,k}\}$-factor with $2\le k<+\infty$ in a graph $G$ with given minimum degree.
Non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$
In this paper, we classify non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$. This is progress towards what is hoped to be an eventual complete classification of distance-regular graphs with smallest eigenvalue at least $-3$, analogous to existing classification results available in the case that the smallest eigenvalue is at least $-2$.
A necessary and sufficient condition for the existence of a properly coloured $f$-factor in an edge-coloured graph
The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the $f$-factor theorem given by Tutte in 1954. An alternative statement, analogous to the original $f$-factor theorem, is also given. We show that our theorem generalises the $f$-factor theorem; that is, the former implies the latter. We consider other properties of edge-coloured graphs, and show that similar results are unlikely for $f$-factors with rainbow components and distance-$d$-coloured $f$-factors, even when $d=2$ and the number of colours used is asymptotically minimal.
On the Crazy Knight's Tour Problem
Heffter arrays are partially filled arrays that have been introduced in [1] as a tool to construct regular embeddings of graphs on surfaces. These constructions can be achieved from the solution of a tour problem on the filled cells of the array, introduced in [3] and called Crazy Knight's Tour Problem. In particular, the knight's move is seen as the composition of an horizontal move and a vertical one, where the directions (leftward or rightward, upward or downward respectively) are prescribed in advance for each row and each column of the array and each filled cell is mapped to the first filled cell encountered along that direction. Then, a solution to the Crazy Knight's Tour Problem is a set of directions such that the resulting move function is a tour over the array. Here, we consider a particular class of square arrays, and we construct solutions to the tour problem in some infinite families of these arrays.
Majority dynamics on random graphs: the multiple states case
We study the evolution of majority dynamics with more than two states on the binomial random graph $G(n,p)$. In this process, each vertex has a state in $\{1,\ldots, k\}$, with $k\geq 3$, and at each round every vertex adopts state $i$ if it has more neighbours in state $i$ that in any other state. Ties are resolved randomly. We show that with high probability the process reaches unanimity in at most three rounds, if $np\gg n^{2/3}$.
The least eigenvalues of integral circulant graphs
The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$, where vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, with $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. In this paper, we establish that the minimal value of the least eigenvalues (minimal least eigenvalue) of integral circulant graphs $ICG_n(D)$, given an order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $-\frac{n}{p_1}$. Moreover, we show that the minimal least eigenvalue of connected integral circulant graphs $ICG_n(D)$ of order $n$ whose complements are also connected is equal to $-\frac{n}{p_1}+p_1^{α_1-1}$. Finally, we determine the second minimal eigenvalue among all least eigenvalues within the class of connected integral circulant graphs of a prescribed order $n$ and show it to be equal to $-\frac{n}{p_1}+p_1-1$ or $-\frac{n}{p_1}+1$, depending on whether $α_1>1$ or not, respectively. In all the aforementioned tasks, we provide a complete characterization of graphs whose spectra contain these determined minimal least eigenvalues.
Multimatroids and rational curves with cyclic action
We study the connection between multimatroids and moduli spaces of rational curves with cyclic action. Multimatroids are generalizations of matroids and delta-matroids introduced by Bouchet, which naturally arise in topological graph theory. The vantage point of moduli of curves provides a tropical framework for studying multimatroids, generalizing the previous connection between type-A permutohedral varieties (Losev--Manin moduli spaces) and matroids, and the connection between type-B permutohedral varieties (Batyrev--Blume moduli spaces) and delta-matroids. Specifically, we equate a combinatorial nef cone of the moduli space with the space of $\mathbb{R}$-multimatroids, a slight generalization of multimatroids, and we introduce the independence polytopal complex of a multimatroid, whose volume is identified with an intersection number on the moduli space. As an application, for the generating set of the Chow ring of the moduli space consisting of all psi-classes and their pullbacks along certain forgetful maps, we give a combinatorial formula for their intersection numbers by relating to the volumes of independence polytopal complexes of multimatroids.
Connectivity threshold for superpositions of Bernoulli random graphs. II
Let $G_1,\dots, G_m$ be independent Bernoulli random subgraphs of the complete graph ${\cal K}_n$ having variable sizes $X_1,\dots, X_m\in \{0,1,2,\dots\}$ and densities $Q_1,\dots, Q_m\in [0,1]$. Letting $n,m\to+\infty$ we establish the connectivity threshold for the union $\cup_{i=1}^mG_i$ defined on the vertex set of ${\cal K}_n$. Assuming that $(X_1,Q_1), (X_2,Q_2),\dots, (X_m,Q_m)$ are independent identically distributed bivariate random variables and $\ln n -\frac{m}{n}E\bigl(X_1(1-(1-Q_1)^{|X_1-1|}\bigr)\to c$ we show that $P\{\cup_{i=1}^mG_i$ is connected$\}\to e^{-e^c}$.The result extends to the case of non-identically distributed random variables $(X_1,Q_1),\dots, (X_m,Q_m)$ as well.
The Structure of Metrizable Graphs
A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths defined by assigning some positive lengths to its edges. We show that metrizable graphs are, in essence, subdivisions of a small family of basic graphs with additional compliant edges. In particular, we show that every metrizable graph with 11 vertices or more is outerplanar plus one vertex.
Topological and spectral properties of random digraphs
We investigate some topological and spectral properties of Erdős-Rényi (ER) random digraphs $D(n,p)$. In terms of topological properties, our primary focus lies in analyzing the number of non-isolated vertices $V_x(D)$ as well as two vertex-degree-based topological indices: the Randić index $R(D)$ and sum-connectivity index $χ(D)$. First, by performing a scaling analysis we show that the average degree $\langle k \rangle$ serves as scaling parameter for the average values of $V_x(D)$, $R(D)$ and $χ(D)$. Then, we also state expressions relating the number of arcs, spectral radius, and closed walks of length 2 to $(n,p)$, the parameters of ER random digraphs. Concerning spectral properties, we compute six different graph energies on $D(n,p)$. We start by validating $\langle k \rangle$ as the scaling parameter of the graph energies. Additionally, we reformulate a set of bounds previously reported in the literature for these energies as a function $(n,p)$. Finally, we phenomenologically state relations between energies that allow us to extend previously known bounds.
Ultrafilters, Transversals, and the Hat Game
Geschke, Lubarsky, and Rahn in ``Choice and the Hat Game''~\cite{choice-and-the-hat-game} generalize the classic hat game puzzle to infinitely-many players and ask whether every model of set theory without choice in which the optimal solution can be carried out contains either a nonprincipal ultrafilter on $\mathbb N$ or else a Vitali set. A negative answer is obtained here by constructing a model in which there is an optimal solution to the hat game puzzle but no nonprincipal ultrafilter on $\mathbb N$ and no Vitali set. This is accomplished in a more general setting, establishing that for any Borel bipartite graph $Γ$ not embedding some $K_{n,ω_1}$ and with countable colouring number there is a model of $\mbox{ZF} + \mbox{DC}$ in which $Γ$ has a $2$-colouring but there is no ultrafilter as above or Vitali set. The same conclusion applies to the natural generalization of the hat game to an arbitrary finite number of hat colours.
An Algebraic Approach to the Longest Path Problem
The Longest Path Problem is a question of finding the maximum length between pairs of vertices of a graph. In the general case, the problem is NP-complete. However, there is a small collection of graph classes for which there exists an efficient solution. Current approaches involve either approximation or computational enumeration. For Tree-like classes of graphs, there are approximation and enumeration algorithms which solves the problem efficiently. Despite this, we propose a new method of approaching the longest path problem with exact algebraic solutions that give rise to polynomial-time algorithms. Our method provides algorithms that are proven correct by their underlying algebraic operations unlike existing purely algorithmic solutions to this problem. We introduce a `booleanize' mapping on the adjacency matrix of a graph which we prove identifies the solution for trees, uniform block graphs, block graphs, and directed acyclic graphs with exact conditions and associated polynomial-time algorithms. In addition, we display additional algorithms that can generate every possible longest path of acyclic graphs in efficient time, as well as for block graphs.
EPPA numbers of graphs
Published in Journal of Combinatorial Theory, Series B Volume 170, January 2025, Pages 203-224
• View Publication
• BIB
If $G$ is a graph, $A$ and $B$ its induced subgraphs, and $f\colon A\to B$ an isomorphism, we say that $f$ is a \emph{partial automorphism} of $G$. In 1992, Hrushovski proved that graphs have the \emph{extension property for partial automorphisms} (\emph{EPPA}, also called the \emph{Hrushovski property}), that is, for every finite graph $G$ there is a finite graph $H$, an \emph{EPPA-witness} for $G$, such that $G$ is an induced subgraph of $H$ and every partial automorphism of $G$ extends to an automorphism of $H$.
The EPPA number of a graph $G$, denoted by $\mathop{\mathrm{eppa}}\nolimits(G)$, is the smallest number of vertices of an EPPA-witness for $G$, and we put $\mathop{\mathrm{eppa}}\nolimits(n) = \max\{\mathop{\mathrm{eppa}}\nolimits(G) : \lvert G\rvert = n\}$. In this note we review the state of the area, prove several lower bounds (in particular, we show that $\mathop{\mathrm{eppa}}\nolimits(n)\geq \frac{2^n}{\sqrt{n}}$, thereby identifying the correct base of the exponential) and pose many open questions. We also briefly discuss EPPA numbers of hypergraphs, directed graphs, and $K_k$-free graphs.
A signed $e$-expansion of the chromatic quasisymmetric function
Published
• View Publication
• BIB
We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.
Silhouettes and generic properties of subgroups of the modular group
We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a natural graph-theoretic representation of the subgroup.
The proofs of these results rely on the combinatorial and asymptotic study of a natural map, which associates with any finitely generated subgroup of $\textsf{PSL}(2,\mathbb{Z})$ a graph which we call its silhouette, which can be interpreted as a conjugacy class of free finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$.
Distance-regular Cayley graphs over (pseudo-) semi-dihedral groups
Distance-regular graphs are a class of regualr graphs with pretty combinatorial symmetry. In 2007, Miklavič and Potočnik proposed the problem of charaterizing distance-regular Cayley graphs, which can be viewed as a natural extension of the problem of characterizing strongly-regular Cayley graphs (or equivalently, regular partial difference sets). In this paper, we provide a partial characterization for distance-regular Cayley graphs over semi-dihedral groups and pseudo-semi-dihedral groups, both of which are $2$-groups with a cyclic subgroup of index $2$.
Graph Curve Matroids
We introduce a new class of matroids, called graph curve matroids. A graph curve matroid is associated to a graph and defined on the vertices of the graph as a ground set. We prove that these matroids provide a combinatorial description of hyperplane sections of degenerate canonical curves in algebraic geometry. Our focus lies on graphs that are 2-connected and trivalent, which define identically self-dual graph curve matroids, but we also develop generalizations. Finally, we provide an algorithm to compute the graph curve matroid associated to a given graph, as well as an implementation and data of examples that can be used in Macaulay2.
On Hamilton cycles in graphs defined by intersecting set systems
In 1970 Lovász conjectured that every connected vertex-transitive graph admits a Hamilton cycle, apart from five exceptional graphs. This conjecture has recently been settled for graphs defined by intersecting set systems, which feature prominently throughout combinatorics. In this expository article, we retrace these developments and give an overview of the many different ingredients in the proofs.