graph
34516 papers tagged with this keyword
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
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
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.
Power Domination and Resolving Power Domination of Fractal Cubic Network
In network theory, the domination parameter is vital in investigating several structural features of the networks, including connectedness, their tendency to form clusters, compactness, and symmetry. In this context, various domination parameters have been created using several properties to determine where machines should be placed to ensure that all the places are monitored. To ensure efficient and effective operation, a piece of equipment must monitor their network (power networks) to answer whenever there is a change in the demand and availability conditions. Consequently, phasor measurement units (PMUs) are utilised by numerous electrical companies to monitor their networks perpetually. Overseeing an electrical system which consists of minimum PMUs is the same as the vertex covering the problem of graph theory, in which a subset D of a vertex set V is a power dominating set (PDS) if it monitors generators, cables, and all other components, in the electrical system using a few guidelines. Hypercube is one of the versatile, most popular, adaptable, and convertible interconnection networks. Its appealing qualities led to the development of other hypercube variants. A fractal cubic network is a new variant of the hypercube that can be used as a best substitute in case faults occur in the hypercube, which was wrongly defined in [Eng. Sci. Technol. 18(1) (2015) 32-41]. Arulperumjothi et al. have recently corrected this definition and redefined this variant with the exact definition in [Appl. Math. Comput. 452 (2023) 128037]. This article determines the PDS of the fractal cubic network. Further, we investigate the resolving power dominating set (RPDS), which contrasts starkly with hypercubes, where resolving power domination is inherently challenging.
Isoperimetry in product graphs
In this short note, we establish an edge-isoperimetric inequality for arbitrary product graphs. Our inequality is sharp for subsets of many different sizes in every product graph. In particular, it implies that the $2^d$-element sets with smallest edge-boundary in the hypercube are subcubes and is only marginally weaker than the Bollobás$\unicode{x2013}$Leader edge-isoperimetric inequalities for grids and tori. Additionally, it improves two edge-isoperimetric inequalities for products of regular graphs proved by Erde, Kang, Krivelevich, and the first author and answers two questions about edge-isoperimetry in powers of regular graphs raised in their work.
Separating the edges of a graph by cycles and by subdivisions of $K_4$
A separating system of a graph $G$ is a family $\mathcal{S}$ of subgraphs of $G$ for which the following holds: for all distinct edges $e$ and $f$ of $G$, there exists an element in $\mathcal{S}$ that contains $e$ but not $f$. Recently, it has been shown that every graph of order $n$ admits a separating system consisting of $19n$ paths [Bonamy, Botler, Dross, Naia, Skokan, Separating the Edges of a Graph by a Linear Number of Paths, Adv. Comb., October 2023], improving the previous almost linear bound of $\mathrm{O}(n\log^\star n)$ [S. Letzter, Separating paths systems of almost linear size, Trans. Amer. Math. Soc., to appear], and settling conjectures posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan.
We investigate a natural generalization of these results to subdivisions of cliques, showing that every graph admits both a separating system consisting of $41n$ edges and cycles, and a separating system consisting of $82 n$ edges and subdivisions of $K_4$.
Hoffman colorings of graphs
Hoffman's bound is a well-known spectral bound on the chromatic number of a graph, known to be tight for instance for bipartite graphs. While Hoffman colorings (colorings attaining the bound) were studied before for regular graphs, for general graphs not much is known. We investigate tightness of the Hoffman bound, with a particular focus on irregular graphs, obtaining several results on the graph structure of Hoffman colorings. In particular, we prove a Decomposition Theorem, which characterizes the structure of Hoffman colorings, and we use it to completely classify Hoffman colorability of cone graphs and line graphs. We also prove a partial converse, the Composition Theorem, leading to an algorithm for computing all connected Hoffman colorable graphs for some given number of vertices and colors. Since several graph coloring parameters are known to be sandwiched between the Hoffman bound and the chromatic number, as a byproduct of our results, we obtain the values of these chromatic parameters.
Algorithmic methods of finite discrete structures. Automorphism of Nonseparable Graphs
The monography examines the problem of constructing a group of automorphisms of a graph. A graph automorphism is a mapping of a set of vertices onto itself that preserves adjacency. The set of such automorphisms forms a vertex group of a graph or simply a graph group. The basis for constructing a group of graph automorphisms is the concept of orbit. The construction of an orbit is closely related to the quantitative assessment of a vertex or edge of a graph, called weight. To determine the weight of an element, graph invariants built on the spectrum of edge cuts and the spectrum of edge cycles are used. The weight of the graph elements allows identifying generating cycles and forming orbits. Examples are given of constructing a group of automorphisms for some types of graphs.
Graceful coloring is computationally hard
Given a (proper) vertex coloring $f$ of a graph $G$, say $f\colon V(G)\to \mathbb{N}$, the difference edge labelling induced by $f$ is a function $h\colon E(G)\to \mathbb{N}$ defined as $h(uv)=|f(u)-f(v)|$ for every edge $uv$ of $G$. A graceful coloring of $G$ is a vertex coloring $f$ of $G$ such that the difference edge labelling $h$ induced by $f$ is a (proper) edge coloring of $G$. A graceful coloring with range $\{1,2,\dots,k\}$ is called a graceful $k$-coloring. The least integer $k$ such that $G$ admits a graceful $k$-coloring is called the graceful chromatic number of $G$, denoted by $χ_g(G)$.
We prove that $χ(G^2)\leq χ_g(G)\leq a(χ(G^2))$ for every graph $G$, where $a(n)$ denotes the $n$th term of the integer sequence A065825 in OEIS. We also prove that graceful coloring problem is NP-hard for planar bipartite graphs, regular graphs and 2-degenerate graphs. In particular, we show that for each $k\geq 5$, it is NP-complete to check whether a planar bipartite graph of maximum degree $k-2$ is graceful $k$-colorable. The complexity of checking whether a planar graph is graceful 4-colorable remains open.
General limit theorems for mixtures of free, monotone, and boolean independence
We study mixtures of free, monotone, and Boolean independence described by a directed graph $G = (V,E)$ in the context of $\mathcal{T}$-free convolutions of Jekel and Liu. We prove general limit theorems for the associated additive convolution operations $\boxplus_G$. For a sequence of digraphs $G_n = (V_n,E_n)$, we give sufficient conditions for the limit $\widehatμ = \lim_{n \to \infty} \boxplus_{G_n}(μ_n)$ to exist whenever the Boolean convolution powers $μ_n^{\uplus |V_n|}$ converge to some $μ$. This in particular includes central limit and Poisson limit theorems, as well as limit theorems for each classical domain of attraction. The hypothesis on the sequence of $G_n$ is that the normalized counts of digraph homomorphisms from rooted trees into $G_n$ converge as $n \to \infty$, and we verify this for several families of examples where the $G_n$'s converge in some sense to a continuum limit, or digraphon. In particular, we obtain a new limit theorem for multiregular digraphs, as well as recovering several limit theorems in prior work.
Finding automorphism groups of double coset graphs and Cayley graphs are equivalent
It has long been known that a vertex-transitive graph $Γ$ is isomorphic to a double coset graph $\text{Cos}(G,H,S)$ of a transitive group $G\le\text{Aut}(Γ)$, a vertex stabilizer $H\le G$, and some subset $S\subseteq G$. We show that the automorphism group of the Cayley graph $\text{Cay}(G,S)$ with connection set $S$ can be obtained from the automorphism group of $\text{Cos}(G,H,S)$ and vice versa. We also show that the isomorphism problem for double coset graphs is equivalent to the isomorphism problem for Cayley graphs provided one knows all groups $G$ for which a fixed Cayley graph is a Cayley graph of $G$. Our main tool is a "recognition theorem", which recognizes when a Cayley graph of a group $G$ is a wreath product of two graphs based upon its connection set.
$k$-Leaf Powers Cannot be Characterized by a Finite Set of Forbidden Induced Subgraphs for $k \geq 5$
A graph $G=(V,E)$ is a $k$-leaf power if there is a tree $T$ whose leaves are the vertices of $G$ with the property that a pair of leaves $u$ and $v$ induce an edge in $G$ if and only if they are distance at most $k$ apart in $T$. For $k\le 4$, it is known that there exists a finite set $F_k$ of graphs such that the class $L(k)$ of $k$-leaf power graphs is characterized as the set of strongly chordal graphs that do not contain any graph in $F_k$ as an induced subgraph. We prove no such characterization holds for $k\ge 5$. That is, for any $k\ge 5$, there is no finite set $F_k$ of graphs such that $L(k)$ is equivalent to the set of strongly chordal graphs that do not contain as an induced subgraph any graph in $F_k$.
Monoid algebras and graph products
Published in Art Discrete Appl. Math. 8, No. 1, Paper No. P1.11, 18 p. (2025)
• View Publication
• BIB
In this note, we extend results about unique $n^{\textrm{th}}$ roots and cancellation of finite disconnected graphs with respect to the Cartesian, the strong and the direct product, to the rooted hierarchical products, and to a modified lexicographic product. We show that these results also hold for graphs with countably many finite connected components, as long as every connected component appears only finitely often (up to isomorphism). The proofs are via monoid algebras and generalized power series rings.
On $\{1,2\}$-distance-balancedness of generalized Petersen graphs
Published in Discrete Math. 348 (2025) Paper 114579
• View Publication
• BIB
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. It is proved that if $k\ge 3$ and $n>k(k+2)$, then the generalized Petersen graph $GP(n,k)$ is not distance-balanced and that $GP(k(k+2),k)$ is distance-balanced. This significantly improves the main result of Yang et al.\ [Electron.\ J.\ Combin.\ 16 (2009) \#N33]. It is also proved that if $k\ge 6$, where $k$ is even, and $n>\frac{5}{4}k^2+2k$, or if $k\ge 5$, where $k$ is odd, and $n>\frac{7}{4}k^2+\frac{3}{4}k$, then $GP(n,k)$ is not $2$-distance-balanced. These results partially resolve a conjecture of Miklavič and Šparl [Discrete Appl.\ Math.\ 244 (2018) 143--154].
A Refutation of the Pach-Tardos Conjecture for 0-1 Matrices
The theory of forbidden 0-1 matrices generalizes Turan-style (bipartite) subgraph avoidance, Davenport-Schinzel theory, and Zarankiewicz-type problems, and has been influential in many areas, such as discrete and computational geometry, the analysis of self-adjusting data structures, and the development of the graph parameter twin width.
The foremost open problems in this area is to resolve the Pach-Tardos conjecture from 2005, which states that if a forbidden pattern $P\in\{0,1\}^{k\times l}$ is the bipartite incidence matrix of an acyclic graph (forest), then $\mathrm{Ex}(P,n) = O(n\log^{C_P} n)$, where $C_P$ is a constant depending only on $P$. This conjecture has been confirmed on many small patterns, specifically all $P$ with weight at most 5, and all but two with weight 6.
The main result of this paper is a clean refutation of the Pach-Tardos conjecture. Specifically, we prove that $\mathrm{Ex}(S_0,n),\mathrm{Ex}(S_1,n) \geq n2^{Ω(\sqrt{\log n})}$, where $S_0,S_1$ are the outstanding weight-6 patterns. We also prove sharp bounds on the entire class of alternating patterns $(P_t)$, specifically that for every $t\geq 2$, $\mathrm{Ex}(P_t,n)=Θ(n(\log n/\log\log n)^t)$. This is the first proof of an asymptotically sharp bound that is $ω(n\log n)$.
Chromatic polynomials of signed graphs and dominating-vertex deletion formulae
We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new pair of bivariate chromatic polynomials. We establish recursive dominating-vertex deletion formulae for these bivariate chromatic polynomials. Finally, we show that for certain families of signed threshold graphs, isomorphism is equivalent to the equality of bivariate chromatic polynomials.
Packing Density of Sets With Only Two Nonmixed Gaps
Published in Journal of Graph Theory, 2025, Vol. 110, No. 3, pp. 263--271
• View Publication
• BIB
For a finite set of integers such that the first few gaps between its consecutive elements equal $a$, while the remaining gaps equal $b$, we study dense packings of its translates on the line. We obtain an explicit lower bound on the corresponding optimal density, conjecture its tightness, and prove it in case one of the gap lengths, $a$ or $b$, appears only once. This is equivalent to a Motzkin problem on the independence ratio of certain integer distance graphs.
On well (edge) dominated and equimatchable strong product graphs
A graph is well-(edge-)dominated if every minimal (edge) dominating set is minimum. A graph is equimatchable if every maximal matching is maximum. We study these concepts on strong product graphs. We fully characterize well-edge-dominated and equimatchable strong product graphs of nontrivial graphs, and identify a large family of graphs whose strong products with any well-dominated graph are well-dominated.
Duality for the $\mathfrak{sl}_2$ weight system
The $\mathfrak{sl}_2$ weight system, corresponding to the colored Jones polynomial of knots, is one of the the simplest weight system for chord diagrams. Recent works have led to explicit computations of this weight system on chord diagrams with complete and complete bipartite intersection graphs using $\mathfrak{sl}_2$ weight systems on shares, i.e., on chord diagrams on two strands.
In this paper, we continue our study of shares. We prove a conjecture by Lando about a duality of values of the $\mathfrak{sl}_2$ weight system on chord diagrams whose intersection graphs are joins of complementary graphs with discrete ones. To achieve this, we introduce the two-colored intersection graph of shares, define the inner product of shares, and use chord-adding operators.