graph
35299 papers tagged with this keyword
On Polynomial Representations of Dual DP Color Functions
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.
A linear-time algorithm for $(1+ε)Δ$-edge-coloring
Published
• View Publication
• BIB
We present a randomized algorithm that, given a constant $ε> 0$, outputs a proper $(1+ε)Δ$-edge-coloring of an $m$-edge simple graph $G$ of maximum degree $Δ\geq 1/ε$ in $O(m)$ time with high probability. This is the first linear-time algorithm for this problem covering the full range of possible values of $Δ$. Indeed, even for edge-coloring with $2Δ- 1$ colors (i.e., meeting the "greedy" bound), no such linear-time algorithm has been previously known.
Walecki tournaments with an arc that lies in a unique directed triangle
Published
• View Publication
• BIB
A Walecki tournament is any tournament that can be formed by choosing an orientation for each of the Hamilton cycles in the Walecki decomposition of a complete graph on an odd number of vertices. In this paper, we show that if some arc in a Walecki tournament on at least $7$ vertices lies in exactly one directed triangle, then there is a vertex of the tournament (the vertex typically labelled $*$ in the decomposition) that is fixed under every automorphism of the tournament. Furthermore, any isomorphism between such Walecki tournaments maps the vertex labelled $*$ in one to the vertex labelled $*$ in the other.
We also show that among Walecki tournaments with a signature of even length $2k$, of the $2^{2k}$ possible signatures, at least $2^k$ produce tournaments that have an arc that lies in a unique directed triangle (and therefore to which our result applies).
Exploring Algorithmic Solutions for the Independent Roman Domination Problem in Graphs
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (or IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for $i\in \{0,1,2\}$. The total weight of $f$ is equal to $\sum_{v\in V} f(v)$, and is denoted as $w(f)$. The \emph{Independent Roman Domination Number} of $G$, denoted by $i_R(G)$, is defined as min$\{w(f)~\vert~f$ is an IRDF of $G\}$. For a given graph $G$, the problem of computing $i_R(G)$ is defined as the \emph{Minimum Independent Roman Domination problem}. The problem is already known to be NP-hard for bipartite graphs. In this paper, we further study the algorithmic complexity of the problem.
In this paper, we propose a polynomial-time algorithm to solve the Minimum Independent Roman Domination problem for distance-hereditary graphs, split graphs, and $P_4$-sparse graphs.
Homology of graph burnings
Published
• View Publication
• BIB
In this paper we study graph burnings using methods of algebraic topology. We prove that the time function of a burning is a graph map to a path graph. Afterwards, we define a category whose objects are graph burnings and morphisms are graph maps which commute with the time functions of the burnings. In this category we study relations between burnings of different graphs and, in particular, between burnings of a graph and its subgraphs. For every graph, we define a simplicial complex, arising from the set of all the burnings, which we call a configuration space of the burnings. Further, simplicial structure of the configuration space gives burning homology of the graph. We describe properties of the configuration space and the burning homology theory. In particular, we prove that the one-dimensional skeleton of the configuration space of a graph $G$ coincides with the complement graph of $G$. The results are illustrated with numerous examples.
A Consistent Sandpile Torsor Algorithm for Regular Matroids
Published
• View Publication
• BIB
Every regular matroid is associated with a sandpile group, which acts simply transitively on the set of bases in various ways. Ganguly and the second author introduced the notion of consistency to describe classes of actions that respect deletion-contraction in a precise sense, and proved the consistency of rotor-routing torsors (and uniqueness thereof) for plane graphs.
In this work, we prove that the class of actions introduced by Backman, Baker, and the fourth author, is consistent for regular matroids. More precisely, we prove the consistency of its generalization given by Backman, Santos and the fourth author, and independently by the first author. This extends the above existence assertion, as well as makes progress on the goal of classifying all consistent actions.
A remark on the Whitney Broken Circuit Theorem
Published
• View Publication
• BIB
In the present note we show, via the connection between chromatic polynomial and Potts model, that the Whitney Broken circuit theorem is in fact a special case of a more general identity relating the chromatic polynomial of a graph G=(V,E) to sums over forests of G associated to some partition scheme in G.
Spectral Methods for Matrix Product Factorization
Published
• View Publication
• BIB
A graph $G$ is factored into graphs $H$ and $K$ via a matrix product if there exist adjacency matrices $A$, $B$, and $C$ of $G$, $H$, and $K$, respectively, such that $A = BC$. In this paper, we study the spectral aspects of the matrix product of graphs, including regularity, bipartiteness, and connectivity. We show that if a graph $G$ is factored into a connected graph $H$ and a graph $K$ with no isolated vertices, then certain properties hold. If $H$ is non-bipartite, then $G$ is connected. If $H$ is bipartite and $G$ is not connected, then $K$ is a regular bipartite graph, and consequently, $n$ is even. Furthermore, we show that trees are not factorizable, which answers a question posed by Maghsoudi et al.
Artificial intelligence and machine learning generated conjectures with TxGraffiti
\emph{TxGraffiti} is a machine learning and heuristic based artificial intelligence designed to automate the task of conjecturing in mathematics. Since its inception, TxGraffiti has generated many surprising conjectures leading to publication in respectable mathematical journals. In this paper we outline the machine learning and heuristic techniques implemented by TxGraffiti. We also recall its contributions to the mathematical literature and announce a new online version of the program available for anyone curious to explore conjectures in graph theory.
Tightness of the weight-distribution bound for strongly regular polar graphs
Published
• View Publication
• BIB
In this paper we show the tightness of the weight-distribution bound for the positive non-principle eigenvalue of strongly regular (affine) polar graphs and characterise the optimal eigenfunctions. Additionally, we show the tightness of the weight-distribution bound for the negative non-principle eigenvalue of some unitary polar graphs.
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
Published in J. Phys. A: Math. Theor. 58 (2025) 215302
• View Publication
• BIB
We introduce and describe a new heuristic method for finding an upper bound on the degree of contextuality and the corresponding unsatisfied part of a quantum contextual configuration with three-element contexts (i.e., lines) located in a multi-qubit symplectic polar space of order two. While the previously used method based on a SAT solver was limited to three qubits, this new method is much faster and more versatile, enabling us to also handle four- to six-qubit cases. The four-qubit unsatisfied configurations we found are quite remarkable. That of an elliptic quadric features 315 lines and has in its core three copies of the split Cayley hexagon of order two having a Heawood-graph-underpinned geometry in common. That of a hyperbolic quadric also has 315 lines but, as a point-line incidence structure, is isomorphic to the dual $\mathcal{DW}(5,2)$ of $\mathcal{W}(5,2)$. Finally, an unsatisfied configuration with 1575 lines associated with all the lines/contexts of the four-qubit space contains a distinguished $\mathcal{DW}(5,2)$ centered on a point-plane incidence graph of PG$(3,2)$. The corresponding configurations found in the five-qubit space exhibit a considerably higher degree of complexity, except for a hyperbolic quadric, whose 6975 unsatisfied contexts are compactified around the point-hyperplane incidence graph of PG$(4,2)$. The most remarkable unsatisfied patterns discovered in the six-qubit space are a couple of disjoint split Cayley hexagons (for the full space) and a subgeometry underpinned by the complete bipartite graph $K_{7,7}$ (for a hyperbolic quadric).
Metric dimension and Zagreb indices of essential ideal graph of a finite commutative ring
Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_{R}$ of $R$ is a graph whose vertex set consists of all nonzero proper ideals of \textit{R}. Two vertices $\hat{I}$ and $\hat{J}$ are adjacent if and only if $\hat{I}+ \hat{J}$ is an essential ideal. In this paper, we characterize the graph $\mathcal{E}_{R}$ as having a finite metric dimension.
Additionally, we identify that the essential ideal graph and annihilating ideal graph of the ring $\mathbb{Z}_{n}$ are isomorphic whenever $n$ is a product of distinct primes. Also, we estimate the metric dimension of the essential ideal graph of the ring $\mathbb{Z}_{n}$. Furthermore, we determine the topological indices, namely the first and the second Zagreb indices, of $\mathcal{E}_{\mathbb Z_n}$.
Finding Spanning Trees with Perfect Matchings
We investigate the tractability of a simple fusion of two fundamental structures on graphs, a spanning tree and a perfect matching. Specifically, we consider the following problem: given an edge-weighted graph, find a minimum-weight spanning tree among those containing a perfect matching. On the positive side, we design a simple greedy algorithm for the case when the graph is complete (or complete bipartite) and the edge weights take at most two values. On the negative side, the problem is NP-hard even when the graph is complete (or complete bipartite) and the edge weights take at most three values, or when the graph is cubic, planar, and bipartite and the edge weights take at most two values.
We also consider an interesting variant. We call a tree strongly balanced if on one side of the bipartition of the vertex set with respect to the tree, all but one of the vertices have degree $2$ and the remaining one is a leaf. This property is a sufficient condition for a tree to have a perfect matching, which enjoys an additional property. When the underlying graph is bipartite, strongly balanced spanning trees can be written as matroid intersection, and this fact was recently utilized to design an approximation algorithm for some kind of connectivity augmentation problem. The natural question is its tractability in nonbipartite graphs. As a negative answer, it turns out NP-hard to test whether a given graph has a strongly balanced spanning tree or not even when the graph is subcubic and planar.
The extended zero-divisor graph of the amalgamated duplication of a ring along an ideal
Let $R$ be a commutative ring and $I$ be an ideal of $R$. The amalgamated duplication of $R$ along $I$ is the subring $R\Join I:=\{(r,r+i)| r\in R, i\in I\}$ of $R\times R$. This paper investigates the extended zero-divisor graph of the amalgamated duplication of $R$ along $I$. The purpose of this work is to study when $\overlineΓ(R\Join I)$ and $Γ(R\Join I)$ coincide, to characterize when $\overlineΓ(R\Join I)$ is complete, and to compute the diameter and the girth of $\overlineΓ(R\Join I)$.
Erdős-Rogers functions for arbitrary pairs of graphs
Published
• View Publication
• BIB
Let $f_{F,G}(n)$ be the largest size of an induced $F$-free subgraph that every $n$-vertex $G$-free graph is guaranteed to contain. We prove that for any triangle-free graph $F$, \[ f_{F,K_3}(n) = f_{K_2,K_3}(n)^{1 + o(1)} = n^{\frac{1}{2} + o(1)}.\] Along the way we give a slight improvement of a construction of Erd\H os-Frankl-Rödl for the Brown-Erd\H os-Sós $(3r-3,3)$-problem when $r$ is large.
In contrast to our result for $K_3$, for any $K_4$-free graph $F$ containing a cycle, we prove there exists $c_F > 0$ such that $$f_{F,K_4}(n) > f_{K_2,K_4}(n)^{1 + c_F} = n^{\frac{1}{3}+c_F+o(1)}.$$ \iffalse We also observe that our earlier proof for $F=K_3$ generalizes to $f_{F,K_4}(n) = O(\sqrt{n}\log n)$ for all $F$ containing a cycle. \fi
For every graph $G$, we prove that there exists $\varepsilon_G >0$ such that whenever $F$ is a non-empty graph such that $G$ is not contained in any blowup of $F$, then $f_{F,G}(n) = O(n^{1-\varepsilon_G})$. On the other hand, for graph $G$ that is not a clique, and every $\varepsilon>0$, we exhibit a $G$-free graph $F$ such that $f_{F,G}(n) = Ω(n^{1-\varepsilon})$.
Optimal Unimodular Matching
Published
• View Publication
• BIB
We consider sequences of finite weighted random graphs that converge locally to unimodular i.i.d. weighted random trees. When the weights are atomless, we prove that the matchings of maximal weight converge locally to a matching on the limiting tree. For this purpose, we introduce and study unimodular matchings on weighted unimodular random trees as well as a notion of optimality for these objects. In this context, we prove that, in law, there is a unique optimal unimodular matching for a given unimodular tree. We then prove that this law is the local limit of the sequence of matchings of maximal weight. Along the way, we also show that this law is characterised by an equation derived from a message passing algorithm.
Matroid Intersection under Minimum Rank Oracle
In this paper, we consider the tractability of the matroid intersection problem under the minimum rank oracle. In this model, we are given an oracle that takes as its input a set of elements and returns as its output the minimum of the ranks of the given set in the two matroids. For the unweighted matroid intersection problem, we show how to construct a necessary part of the exchangeability graph, which enables us to emulate the standard augmenting path algorithm. For the weighted problem, the tractability is open in general. Nevertheless, we describe several special cases where tractability can be achieved, and we discuss potential approaches and the challenges encountered.
On the positive side, we present a solution for the case where no circuit of one matroid is contained within a circuit of the other. Additionally, we propose a fixed-parameter tractable algorithm, parameterized by the maximum size of a circuit of one matroid. We also show that a lexicographically maximal common independent set can be found by the same approach, which leads to a nontrivial approximation ratio for finding a maximum-weight common independent set. On the negative side, we prove that the approach employed for the tractable cases above involves an NP-hard problem in the general case. We also show that if we consider the generalization to polymatroid intersection, even the unweighted problem is hard under the minimum rank oracle.
Unimodality and peak location of the characteristic polynomials of two distance matrices of trees
Published
• View Publication
• BIB
Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC matrix and the 2-Steiner distance matrix. We show that the sequences of coefficients of the characteristic polynomials of these matrices are both unimodal and log-concave. Moreover, we find the peak location for the coefficients of the characteristic polynomials of the Min-4PC matrix of any tree on $n$ vertices. Further, we show that the Min-4PC matrix of any tree on $n$ vertices is isometrically embeddable in $\mathbb{R}^{n-1}$ equipped with the $\ell_1$ norm.
Compatible Forts and Maximum Nullity of a Graph
Published
• View Publication
• BIB
We consider bounds on maximum nullity of a graph via transversal numbers of compatible collections of forts. Results include generalizations of theorems from symmetric to combinatorially symmetric matrices, special bases of matrix nullspaces derived from transversal sets, and examples of issues that arise when considering only minimal forts and how to avoid them. We also show an important difference between constructing symmetric and combinatorially symmetric matrices associated to a graph whose nullspaces are supported on collections of disjoint forts.
The chromatic number of 4-dimensional lattices
Published in Indag. Math. (N.S.) 36 (2025) 988-1004
• View Publication
• BIB
The chromatic number of a lattice in n-dimensional Euclidean space is defined as the chromatic number of its Voronoi graph. The Voronoi graph is the Cayley graph on the lattice having the strict Voronoi vectors as generators. In this paper we determine the chromatic number of all 4-dimensional lattices. To achieve this we use the known classification of 52 parallelohedra in dimension 4. These 52 geometric types yield 16 combinatorial types of relevant Voronoi graphs. We discuss a systematic approach to checking for isomorphism of Cayley graphs of lattices. Lower bounds for the chromatic number are obtained from choosing appropriate small finite induced subgraphs of the Voronoi graphs. Matching upper bounds are derived from periodic colorings. To determine the chromatic numbers of these finite graphs, we employ a SAT solver.