graph
34516 papers tagged with this keyword
Unital compressed commuting graph of $3 \times 3$ matrices over a finite prime field
In this paper we completely describe the unital compressed commuting graph of the ring $\mathcal{M}_3(\mathrm{GF}(p))$ of $3 \times 3$ matrices over the finite prime field $\mathrm{GF}(p)$. To achieve this we combine methods from linear algebra, field theory, projective geometry and combinatorics. We first partition the set of vertices into types based on the Jordan form and describe the neighborhood of each vertex. The key part of the graph, i.e., the subgraph that corresponds to non-scalar derogatory matrices, is then determined using a bijective correspondence between its vertices and point-line pairs in the projective plane over $\mathrm{GF}(p)$. At the end we explain how the remaining vertices are attached to the key part. We also give an algorithm to construct the whole graph. As a consequence, we describe the usual commuting graph $Γ(\mathcal{M}_3(\mathrm{GF}(p)))$, whose structure was an open problem for several years.
The Turán number of the triangular pyramid of 4-layers
The Turán number $ex(n,H)$ of a graph $H$ is the maximum number of edges in any $H$-free graph on $n$ vertices. The triangular pyramid of $k$-layers, denoted by $TP_k$, is a generalization of a triangle. The Turán problems of a triangular pyramid with small layers have been studied widely by Liu (E-JC, 2013), Xiao, Katona, Xiao and Zamora (DAM, 2022), Ghosh, Győri, Paulos, Xiao and Zamora (DAM, 2022). Moreover, Ghosh et al. conjectured that $ex(n, TP_4)=\frac{1}{4}n^2+Θ(n^{\frac{4}{3}})$. In this note, we confirm this conjecture.
Certain topological indices and spectral properties of SGB-graphs of finite cyclic groups
Let $L(G)$ be the set of all subgroups of a group $G$. The subgroup generating bipartite graph $\mathcal{B}(G)$ defined on $G$ is a bipartite graph whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. In this paper, we realize the structures of $\mathcal{B}(G)$ for cyclic groups of order $pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are primes and $p \neq q$. We also deduce expressions for first and second Zagreb indices of these graphs and check the validity of Hansen-Vuki{č}evi{ć} conjecture [Hansen, P. and Vuki{č}evi{ć}, D. Comparing the Zagreb indices, {\em Croatica Chemica Acta}, \textbf{80}(2), 165-168, 2007]. Expressions of certain other degree-based topological indices of these graphs are also computed. We further compute various spectra and their corresponding energies of $\mathcal{B}(G)$ if $G$ is any cyclic group of order $p^n, pq, p^2q$ and $p^2q^2$, where $p$ and $q$ are two distinct primes and $n \geq 1$. We conclude the paper showing that $\mathcal{B}(G)$ satisfies E-LE conjecture [Gutman, I., Abreu, N. M. M., Vinagre, C. T. M., Bonifacioa, A. S. and Radenkovic, S. Relation between energy and Laplacian energy, {\em MATCH Communications in Mathematical and in Computer Chemistry}, \textbf{59}, 343--354, 2008] for these groups.
Determining the Outerthickness of Graphs Is NP-Hard
We give a short, self-contained, and easily verifiable proof that determining the outerthickness of a general graph is NP-hard. This resolves a long-standing open problem on the computational complexity of outerthickness.
Moreover, our hardness result applies to a more general covering problem $P_F$, defined as follows. Fix a proper graph class $F$ whose membership is decidable. Given an undirected simple graph $G$ and an integer $k$, the task is to cover the edge set $E(G)$ by at most $k$ subsets $E_1,\ldots,E_k$ such that each subgraph $(V(G),E_i)$ belongs to $F$. Note that if $F$ is monotone (in particular, when $F$ is the class of all outerplanar graphs), any such cover can be converted into an edge partition by deleting overlaps; hence, in this case, covering and partitioning are equivalent.
Our result shows that for every proper graph class $F$ whose membership is decidable and that satisfies all of the following conditions: (a) $F$ is closed under topological minors, (b) $F$ is closed under $1$-sums, and (c) $F$ contains a cycle of length $3$, the problem $P_F$ is NP-hard for every fixed integer $k\ge 3$. In particular:
For $F$ equal to the class of all outerplanar graphs, our result settles the long-standing open problem on the complexity of determining outerthickness.
For $F$ equal to the class of all planar graphs, our result complements Mansfield's NP-hardness result for the thickness, which applies only to the case $k=2$.
It is also worth noting that each of the three conditions above is necessary. If $F$ is the class of all eulerian graphs, then cond. (a) fails. If $F$ is the class of all pseudoforests, then cond. (b) fails. If $F$ is the class of all forests, then cond. (c) fails. For each of these three classes $F$, the problem $P_F$ is solvable in polynomial time for every fixed integer $k\ge 3$, showing that none of the three conditions can be dropped.
Generalized binomial edge ideals of whisker graphs via an extension of generalized corona products
In this paper, we initiate a systematic study of generalized binomial edge ideals of whisker graphs by working within a substantially broader class of graphs. We extend the notion of generalized corona products, and through this enlarged framework, investigate fundamental algebraic invariants such as depth, (Castelnuovo-Mumford) regularity, and the Cohen-Macaulay property. In particular, we establish a sharp lower bound on the depth of generalized binomial edge ideals for our extended class, and further obtain explicit depth formula for a broad subclass of this family, which in turn recovers the depth formula for whisker graphs. We also establish sharp upper bounds for the regularity, and in the case of binomial edge ideals of whisker graphs over gap-free graphs, determine the exact value of the regularity. Finally, for our extended class, we provide a combinatorial classification of all Cohen-Macaulay binomial edge ideals, which in turn yields a new construction of Cohen-Macaulay binomial edge ideals.
Topology of a uniform spanning tree on a cylinder
We study uniform spanning trees (USTs) on the cylindrical graph $G = C_n \times P_m$. Fix a trunk $L$ as a designated simple path in the tree connecting the two boundary rings of the cylinder. We prove an exponential tail bound for the length of branches emanating from the trunk: there exist constants $C>0$ and $θ=θ(n)\in(0,1)$, depending only on $n$, such that for all $m\in\mathbb{N}$ and $l\geq 0$, $$ \mathbb{P}\left(\text{UST has a branch off the trunk }L \,\text{ of length }\geq l \right) \leq Cm(n-1)θ^{l}. $$
Our work is motivated by the Abelian sandpile model on cylinders and, in particular, by the step-like (ladder) avalanche size distributions observed numerically in [Eckmann--Nagnibeda--Perriard, Abelian sandpiles on cylinders]. Via Dhar's burning algorithm, recurrent sandpile configurations correspond to spanning trees, so the geometry of a typical UST should influence how avalanches propagate along the cylinder. The trunk-with-short-branches structure and slash estimates proved here are intended as a first step towards a geometric explanation of these plateau phenomena for sandpile avalanches.
Quickly excluding an annotated planar graph
We provide proofs certifying that the structure theorem for vertex sets of bounded bidimensionality holds with polynomial bounds. The bidimensionality of vertex sets is a common generalisation of both treewidth and the face-cover-number of vertex sets in planar graphs. As such, it plays a crucial role in extensions of Courcelle's Theorem to $H$-minor-free graphs. Recently, bidimensionality and similar parameters have emerged as key for extensions of known parameterized algorithms for problems defined on a terminal set $R$. A prominent example for such a problem is Steiner Tree, which admits efficient algorithms on planar graphs whenever $R$ can be covered with few faces.
Key to the algorithmic applications of bidimensionality is a structure theorem that explains how a graph $G$ can be decomposed into pieces where the behaviour of $R$ is highly controlled. One may see this structure theorem as a rooted analogue of Robertson and Seymour's celebrated Grid Theorem. Combining recent advances in obtaining polynomial bounds in the Graph Minors framework with new techniques for handling annotated vertex sets, we show that all parameters in the structure theorem above admit polynomial bounds. As an application, we also provide a sketch showing how our techniques imply polynomial bounds for the structure theorem for graphs excluding an apex minor.
Characterization of Some Graphs Realizing Regularity Bounds for Binomial Edge Ideals
In this paper, we characterize all graphs $G$ satisfying \[\operatorname{reg}(S/J_G)=\ell(G)=c(G)\] where $\ell(G)$ is the sum of the lengths of the longest induced paths in each connected component of $G$ and $c(G)$ is the number of the maximal cliques of $G$. We also characterize all connected graphs $G$ that satisfy \[\operatorname{reg}(S/J_G)=\ell(G)=|V(G)|-ω(G)+1\] where $ω(G)$ is the clique number of $G$. Moreover, we investigate the possible values of the regularity of $S/J_G$ within the intervals $[\ell(G), c(G)]$ and $[\ell(G), |V(G)|-ω(G)+1]$.
Universal 3-Edge-Weightability of Regular Graphs
A graph $G=(V,E)$ is universally $3$-edge-weightable if for every set $\{a,b,c\}$ of three distinct real numbers, there exists an edge-weighting $w:E\to\{a,b,c\}$ such that $d_w(u)\neq d_w(v)$ for all $uv\in E$. The 1-2-3 Conjecture, recently settled by Keusch, ensures that all nice graphs admit a proper $\{1,2,3\}$-edge-weighting. For regular graphs, this implies proper edge-weightings for arithmetic progressions $\{a,b,c\}$ via affine transformation, but not for general triples due to the spacing-ratio preservation property of affine maps. We prove that every $k$-regular graph with $k\ge 2$ is universally $3$-edge-weightable. This establishes proper edge-weightings for all triples $\{a,b,c\}$, not just arithmetic progressions, showing that regular graphs satisfy a strictly stronger weighting property than what follows from the 1-2-3 Conjecture alone. The proof adapts the independent-set decomposition framework to edge-weightings and introduces a two-phase conflict-resolution scheme that operates independently of the specific choice of $\{a,b,c\}$.
Factors in finite groups and well-covered graphs
We study a combinatorial property of subsets in finite groups that is analogous to the notion of independence in graphs. Given a group $G$ and a non-empty subset $A\subset G$, we define a (right) $s$-factor as a subset $B\subset G$ satisfying the following conditions:
(i) Every element of $AB$ can be written uniquely as $ab$ with $a\in A$ and $b\in B$.
(ii) $B$ is maximal (with respect to inclusion) with this property.
For a finite group $G$, the upper and lower indices of $A$ are the sizes of the largest and smallest $s$-factors associated with $A$. A subset is called stable if its upper and lower indices coincide. A group is called stable if all its subsets are stable.
We then explore the connection between $s$-factors in groups and maximal independent sets in graphs. Specifically, we show that $s$-factors in $G$ associated with $A$ correspond to maximal independent sets in a Cayley graph Cay($G$, $S$), where $S=A^{-1}A\setminus\{e\}$. Consequently, the upper and lower indices of $A$ are equal to the independence number and the independent domination number of the associated Cayley graph.
The concepts of $s$-factors, subset indices in groups, stable subsets, and stable groups (under different names) were introduced by Hooshmand in 2020. Later, Hooshmand and Yousefian-Arani classified stable groups using computer calculations.
Using the connection with graphs, we compute the upper and lower indices for various groups and their subsets. Furthermore, we prove a classification theorem describing all stable groups without relying on computer calculations.
Counting Isomorphism Classes of Spanning Trees of Complete Bipartite Graphs
Spanning trees of complete bipartite graphs exhibit a rich interaction between degree sequences and graph structure. In this paper, we obtain lower bounds on the number of isomorphism classes of spanning trees in $K_{a,b}, 2 \leq a \leq b$ in terms of $P_a(a+b-1)$ and $P_b(a+b-1)$ where $P_k(m)$ is the number of integer partitions of $m$ of length $k$.
Induced Cycles of Many Lengths
Let $G$ be a graph and let $\mathrm{cl}(G)$ be the number of distinct induced cycle lengths in $G$. We show that for $c,t\in \mathbb N$, every graph $G$ that does not contain an induced subgraph isomorphic to $K_{t+1}$ or $K_{t,t}$ and satisfies $\mathrm{cl}(G) \le c$ has bounded treewidth. As a consequence, we obtain a polynomial-time algorithm for deciding whether a graph $G$ contains induced cycles of at least three distinct lengths.
Almost all graphs are vertex-minor universal
Answering a question of Claudet, we prove that the uniformly random graph $G\sim \mathbb G(n, 1/2)$ is $Ω(\sqrt n)$-vertex-minor universal with high probability. That is, for some constant $α\approx 0.911$, any graph on any $α\sqrt n$ specified vertices of $G$ can be obtained as a vertex-minor of $G$. This has direct implications for quantum communications networks: an $n$-vertex $k$-vertex-minor universal graph corresponds to an $n$-qubit $k$-stabilizer universal graph state, which has the property that one can induce any stabilizer state on any $k$ qubits using only local operations and classical communications.
We further employ our methods in two other contexts. We obtain a bipartite pivot-minor version of our main result, and we use it to derive a universality statement for minors in random binary matroids. We also introduce the vertex-minor Ramsey number $R_{\mathrm{vm}}(k)$ to be the smallest value $n$ such that every $n$-vertex graph contains an independent set of size $k$ as a vertex-minor. Supported by our main result, we conjecture that $R_{\mathrm{vm}}(k)$ is polynomial in $k$. We prove $Ω(k^2) \leq R_{\mathrm{vm}}(k) \leq 2^k - 1$.
On 3-colorability of (claw, diamond)-free graphs
The $3$-colorability problem is a well-known NP-complete problem and it remains NP-complete for $(claw, diamond, K_4)$-free graphs. Recently, $3$-colorability has been also considered for $(claw, N_{1,1,1})$-free graphs. Here, a generalised net $N_{i, j, k}$ is the graph obtained by identifying each vertex of a triangle with an endvertex of one of three vetex-disjont paths of lengths $i, j, k$.
We study the class of $(claw, diamond, N_{i, j, k})$-free graphs for $(i, j, k) \in \{(1, 1, 3),$ $ (1, 2, 2), $ $(2, 2, 2) \}$. We show that these graphs are $3$-colorable or contain a $K_4$ or belong to some well-defined class of non $3$-colorable graphs. Moreover, we prove that there are only finitely many non $3$-colorable $N_{1, 2, k}$-free graphs for any $k \geq 2$, but there exist infinitely many non $3$-colorable $N_{i, j, k}$-free graphs for any
$2 \leq i \leq j \leq k.$
Unsplittable Transshipments
We introduce the Unsplittable Transshipment Problem in directed graphs with multiple sources and sinks. An unsplittable transshipment routes given supplies and demands using at most one path for each source-sink pair. Although they are a natural generalization of single source unsplittable flows, unsplittable transshipments raise interesting new challenges and require novel algorithmic techniques. As our main contribution, we give a nontrivial generalization of a seminal result of Dinitz, Garg, and Goemans (1999) by showing how to efficiently turn a given transshipment $x$ into an unsplittable transshipment $y$ with $y_a<x_a+d_{\max}$ for all arcs $a$, where $d_{\max}$ is the maximum demand (or supply) value. Further results include bounds on the number of rounds required to satisfy all demands, where each round consists of an unsplittable transshipment that routes a subset of the demands while respecting arc capacity constraints.
Extremal Graphs for the Lights Out Problem
Lights Out is a game played on a graph $G$ where every vertex has a light bulb that is either on or off, and pressing a vertex $v$ toggles the state of every vertex in the closed neighborhood of $v$. The goal is to find a subset of vertices $S$ such that pressing every vertex in $S$ results in all light bulbs being turned off. We study the extremal graphs for which pressing every vertex is the unique solution to the lights out problem given an initial configuration of all lights on. We show that a graph is extremal if and only if it is even and has an odd number of matchings. Furthermore, there is a bijection between the set of labeled $n$-vertex extremal graphs and the set of symmetric invertible matrices of size $n-2$ over $\mathbb{F}_2$. We prove that any even graph with no cycle of length $0\pmod 3$ must be extremal. We also demonstrate operations that build larger extremal graphs from smaller ones. Along the way, we prove using the polynomial method that in any even graph, the number of matchings of a fixed size covering an odd subset of vertices is even.
Spectral Theory for Borel PMP Graphs
We initiate a systematic study of spectral theory for bounded-degree Borel pmp graphs. Specifically, we study spectral properties of the associated adjacency and Laplacian operators. We start with proving a spectral characterization of approximate measurable bipartiteness. Next, we adapt classical theorems of Wilf and Hoffman to give novel upper and lower bounds on the approximate measurable chromatic number. Using similar techniques, we then show that the approximate measurable chromatic number of a pmp graph generated by $n$ bounded-to-one functions is at most $2n + 1$. Next, concerning matchings, we introduce a measurable version of Tutte's condition and show that a spectral assumption analogous to the one from a classical theorem of Brouwer and Haemers implies this measurable Tutte condition. Finally, we show that the spectrum is continuous under local-global convergence.
Near-perfect matchings in highly connected 1-planar graphs with a local crossing constraint
For planar graphs, it is well known that high connectivity implies a Hamiltonian cycle and hence any 4-connected planar graph has a near-perfect matching. Nevertheless, whether 6-connected 1-planar graphs admit near-perfect matchings remains largely open. The prior art established this for 4-connected 1-planar graphs only when each crossing involves four endpoints that induce a $K_4$. In this paper, we study 6-connected 1-planar graphs that are drawn such that at all crossings the four endpoints induce a 4-cycle (plus perhaps more edges). We show that these have a near-perfect matching, and in fact even stronger, their scattering number is at most one. Moreover, under the local crossing restriction, the requirement of 6-connectivity is best possible; this is witnessed by explicit constructions due to Biedl and Fabrici et al.
Regions surrounded by parabolas in the plane and trees representing their shapes respecting their natural projection to the line
The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics being also elementary and connected to various fields. The shapes are understood via graphs the regions collapsing to respecting the canonical projection onto the 1st component.
Our main result is the following: each tree is realized by regions surrounded by parabolas of two types, here.
Related studies are elementary and interesting and surprisingly, this explicit field is started very recently, by Bodin, Popescu-Pampu and Sorea in the 2020s. After that, this is developing, due to the author. The author also investigates this motivated by studies on explicit construction of real algebraic maps onto the regions locally so-called moment maps: this comes from singularity theory of differentiable maps and real algebraic geometry.
Tilted Richardson Varieties
The study of the flag variety $\mathrm{Fl}_n$ and its subvarieties, including Schubert and Richardson varieties, plays a fundamental role in algebraic geometry and algebraic combinatorics. In this paper, we introduce and develop the theory of tilted Richardson varieties $\mathrm{T}_{u,v}$, a new family of subvarieties of the flag variety that provides a geometric framework for the quantum Bruhat graphs. These varieties are defined for all pairs of permutations $u$ and $v$, extending the classical Richardson varieties in the case where $u\leq v$ in the Bruhat order. We establish their fundamental geometric properties, proving irreducibility and providing explicit dimension formulas. Moreover, we show that they have a well-defined stratification indexed by tilted Bruhat intervals, a generalization of classical Bruhat intervals previously introduced by Brenti, Fomin, and Postnikov. Additionally, we introduce a tilted generalization of the classical Deodhar decomposition of Richardson varieties, which leads to a combinatorial formula for tilted Kazhdan--Lusztig R-polynomials, a notion that arises naturally in our framework.
We further develop a theory of total positivity for tilted Richardson varieties. In particular, we define and study the totally nonnegative parts of tilted Richardson varieties, proving they form a CW complex. This generalizes earlier results on the totally nonnegative flag variety and answers Björner's questions regarding geometric realizations of tilted Bruhat intervals.
Finally, we establish explicit connections between tilted Richardson varieties and quantum Schubert calculus. Specifically, we prove that $\mathrm{T}_{u,v}$ coincides with minimal-degree two-point curve neighborhoods. As a result, we compute their cohomology classes and derive new relationships among Gromov--Witten invariants of the flag variety.