graph
34585 papers tagged with this keyword
Small resolutions of moduli spaces of scaled curves
Published in International Mathematics Research Notices, Volume 2025, Issue 13, July 2025, rnaf196
• View Publication
• BIB
We construct small resolutions of the moduli space $\overline{Q}_n$ of stable scaled $n$-marked lines of Ziltener and Ma'u--Woodward and of the moduli space $\overline{P}_n$ of stable $n$-marked ${\mathbb G}_a$-rational trees introduced in earlier work. The resolution of $\overline{P}_n$ is the augmented wonderful variety corresponding to the graphic matroid of the complete graph. The resolution of $\overline{Q}_n$ is a further blowup, also a wonderful model of an arrangement in ${\mathbb P}^{n-1}$.
The 2-center Problem in Maximal Outerplanar Graph
We consider the problem of computing 2-center in maximal outerplanar graph. In this problem, we want to find an optimal solution where two centers cover all the vertices with the smallest radius. We provide the following result. We can compute the optimal centers and the optimal radius in $O(n^2)$ time for a given maximal outerplanar graph with $n$ vertices. We try to let the maximal outerplanar graph be cut into two subgraphs with an internal edge, each center will cover vertices which are continuous.
Coloring in essential annihilating-ideal graphs of commutative rings
Published
• View Publication
• BIB
The essential annihilating-ideal graph $\mathcal{EG}(R)$ of a commutative unital ring $R$ is a simple graph whose vertices are non-zero ideals of $R$ with non-zero annihilator and there exists an edge between two distinct vertices $I,J$ if and only if $Ann(IJ)$ has a non-zero intersection with any non-zero ideal of $R$. In this paper, we show that $\mathcal{EG}(R)$ is weakly perfect, if $R$ is Noetherian and an explicit formula for the clique number of $\mathcal{EG}(R)$ is given. Moreover, the structures of all rings whose essential annihilating-ideal graphs have chromatic number $2$ are fully determined. Among other results, twin-free clique number and edge chromatic number of $\mathcal{EG}(R)$ are examined.
On a conjecture of McNeil
Suppose that the $n^2$ vertices of the grid graph $P_n^2$ are labeled, such that the set of their labels is $\{1,2,\ldots,n^2\}$. The labeling induces a walk on $P_n^2$, beginning with the vertex whose label is $1$, proceeding to the vertex whose label is $2$, etc., until all vertices are visited. The question of the maximal possible length of such a walk, denoted by $M(P_n^2)$, when the distance between consecutive vertices is the Manhattan distance, was studied by McNeil, who, based on empirical evidence, conjectured that $M(P_n^2)=n^3-3$, if $n$ is even, and $n^3-n-1$, otherwise. In this work we study the more general case of $P_m\times P_n$ and capture $M(P_m\times P_n)$, up to an additive factor of $1$. This holds, in particular, for the values conjectured by McNeil.
Expanded-clique graphs and the domination problem
Published
• View Publication
• BIB
Given a graph $G$ such that each vertex $v_i$ has a value $f(v_i)$, the expanded-clique graph $H$ is the graph where each vertex $v_i$ of $G$ becomes a clique $V_i$ of size $f(v_i)$ and for each edge $v_iv_j \in E(G)$, there is a vertex of $V_i$ adjacent to an exclusive vertex of $V_j$. In this work, among the results, we present two characterizations of the expanded-clique graphs, one of them leads to a linear-time recognition algorithm. Regarding the domination number, we show that this problem is \NP-complete for planar bipartite $3$-expanded-clique graphs and for cubic line graphs of bipartite graphs.
Perfect colorings of hypergraphs
Perfect colorings (equitable partitions) of graphs are extensively studied, while the same concept for hypergraphs attracts much less attention. The aim of this paper is to develop basic notions and properties of perfect colorings for hypergraphs. Firstly, we introduce a multidimensional matrix equation for perfect colorings of hypergraphs and compare this definition with a standard approach based on the incidence graph. Next, we show that the eigenvalues of the parameter matrix of a perfect coloring are eigenvalues of the multidimensional adjacency matrix of a hypergraph. We consider coverings of hypergraphs as a special case of perfect colorings and prove a theorem on the existence of a common covering of two hypergraphs. As an example, we show that a $k$-transversal in a hypergraph corresponds to a perfect coloring and calculate its parameters. At last, we find all perfect $2$-colorings of the Fano's plane hypergraph and compute some eigenvalues of this hypergraph.
Computing higher graph gonality is hard
Published
• View Publication
• BIB
In the theory of divisors on multigraphs, the $r^{th}$ divisorial gonality of a graph is the minimum degree of a rank $r$ divisor on that graph. It was proved by Gijswijt et al. that the first divisorial gonality of a finite graph is NP-hard to compute. We generalize their argument to prove that it is NP-hard to compute the $r^{th}$ divisorial gonality of a finite graph for all $r$. We use this result to prove that it is NP-hard to compute $r^{th}$ stable divisorial gonality for a finite graph, and to compute $r^{th}$ divisorial gonality for a metric graph. We also prove these problems are APX-hard, and we study the NP-completeness of these problems.
A spectral Erdős-Pósa Theorem
A set of cycles is called independent if no two of them have a common vertex. Let $S_{n, 2k-1}$ be the complete split graph, which is the join of a clique of size $2k-1$ with an independent set of size $n-2k+1$. In 1962, Erdős and Pósa established the following edge-extremal result: for every graph $G$ of order $n$ which contains no $k$ independent cycles, where $k\geq2$ and $n\geq 24k$, we have $e(G)\leq (2k-1)(n-k),$ with equality if and only if $G\cong S_{n,2k-1}.$ In this paper, we prove a spectral version of Erdős-Pósa Theorem. Let $k\geq1$ and $n\geq \frac{16(2k-1)}{λ^{2}}$ with $λ=\frac1{120k^2}$. If $G$ is a graph of order $n$ which contains no $k$ independent cycles, then $ρ(G)\leq ρ(S_{n,2k-1}),$ the equality holds if and only if $G\cong S_{n,2k-1}.$ This presents a new example illustration for which edge-extremal problems have spectral analogues. Finally, a related problem is proposed for further research.
A quadratic estimation for the Kühnel conjecture on embeddings
The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the Kühnel conjecture. In a simplified form it states that for every integer $k>0$ there is $c_k>0$ such that if the union of $k$-faces of $n$-simplex embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge c_k n^{k+1}$. For $k>1$ only linear estimates were known. We present a quadratic estimate $g\ge c_k n^2$. The proof is based on beautiful and fruitful interplay between geometric topology, combinatorics and linear algebra.
Finite approximation of free groups I: the $F$-inverse cover problem
Published in Adv. Math. 482 (2025) 110563
• View Publication
• BIB
For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of generators (i.e.~edges). As a consequence, every element $g\in G$ admits a unique minimal set $\mathrm{C}(g)$ of edges (the \emph{content} of $g$) needed to represent $g$ as a word over $\mathrm{C}(g)\cup\mathrm{C}(g)^{-1}$. The crucial property of the group $G$ is that connectivity in the graph $\mathcal{E}$ is encoded in $G$ in the following sense: if a word $p$ forms a path $u\longrightarrow v$ in $\mathcal{E}$ then there exists a $G$-equivalent word $q$ which also forms a path $u\longrightarrow v$ and uses only edges from their content; in particular, the content of the corresponding group element $[p]_G=[q]_G$ spans a connected subgraph of $\mathcal{E}$ containing the vertices $u$ and $v$. As the free group generated by $E$ obviously has these properties, the construction provides another instance of how certain features of free groups can be ``approximated'' or ``simulated'' in finite groups. As an application it is shown that every finite inverse monoid admits a finite $F$-inverse cover. This solves a long-standing problem of Henckell and Rhodes.
Depth and Singular Varieties of Exterior Edge Ideals
Published
• View Publication
• BIB
Edge ideals of finite simple graphs are well-studied over polynomial rings. In this paper, we initiate the study of edge ideals over exterior algebras, specifically focusing on the depth and singular varieties of such ideals. We prove an upper bound on the depth of the edge ideal associated to a general graph and a more refined bound for bipartite graphs, and we show that both are tight. We also compute the depth of several large families of graphs including cycles, complete multipartite graphs, spider graphs, and Ferrers graphs. Finally, we focus on the effect whiskering a graph has on the depth of the associated edge ideal.
Exact results for generalized extremal problems forbidding an even cycle
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
Cycle space of graphs of polytopes
It is folklore that the cycle space of graphs of polytopes is generated by the cycles bounding the 2-faces. We provide a proof of this result that bypass homological arguments, which seem to be the most widely known proof. As a corollary, we obtain a result of Blind & Blind (1994) stating that graphs of polytopes are bipartite if and only if graphs of every 2-face are bipartite.
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture
Published
• View Publication
• BIB
An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables.
The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.
Functional graphs of families of quadratic polynomials
Published
• View Publication
• BIB
We study functional graphs generated by several quadratic polynomials, acting simultaneously on a finite field of odd characteristic. We obtain several results about the number of leaves in such graphs. In particular, in the case of graphs generated by three polynomials, we relate the distribution of leaves to the Sato-Tate distribution of Frobenius traces of elliptic curves. We also present extensive numerical results which we hope may shed some light on the distribution of leaves for larger families of polynomials.
Generalized non-coprime graphs of groups
Published
• View Publication
• BIB
Let G be a finite group with identity e and H \neq \{e\} be a subgroup of G. The generalized non-coprime graph GAmma_{G,H} of G with respect to H is the simple undirected graph with G - \{e \}\) as the vertex set and two distinct vertices a and b are adjacent if and only if \gcd(|a|,|b|) \neq 1 and either a \in H or b \in H, where |a| is the order of a\in G. In this paper, we study certain graph theoretical properties of generalized non-coprime graphs of finite groups, concentrating on cyclic groups. More specifically, we obtain necessary and sufficient conditions for the generalized non-coprime graph of a cyclic group to be in the class of stars, paths, cycles, triangle-free, complete bipartite, complete, unicycle, split, claw-free, chordal or perfect graphs. Then we show that widening the class of groups to all finite nilpotent groups gives us no new graphs, but we give as an example of contrasting behaviour the class of EPPO groups (those in which all elements have prime power order). We conclude with a connection to the Gruenberg--Kegel graph.
On adjacency operators of locally finite graphs
Published in Izvestiya RAN: Ser. Mat. 88:3 (2024) 139-191 (English translation of the paper: Izvestiya: Mathematics 88:3 (2024) 542-589)
• View Publication
• BIB
A graph $Γ$ is called locally finite if, for each vertex $v$ of $Γ$, the set $Γ(v)$ of all neighbors of $v$ in $Γ$ is finite. For any locally finite graph $Γ$ with vertex set $V(Γ)$ and for any field $F$, let $F^{V(Γ)}$ be the vector space over $F$ of all functions $V(Γ) \to F$ (with natural componentwise operations) and let $A^{({\rm alg})}_{Γ,F}$ be the linear operator $F^{V(Γ)} \to F^{V(Γ)}$ defined by $(A^{({\rm alg})}_{Γ,F}(f))(v) = \sum_{u \in Γ(v)}f(u)$ for all $f \in F^{V(Γ)}$, $v \in V(Γ)$. In the case of finite graph $Γ$ the mapping $A^{({\rm alg})}_{Γ,F}$ is the well known operator defined by the adjacency matrix of $Γ$ (over $F$), and the theory of eigenvalues and eigenfunctions of such operator is a well-developed (at least in the case $F = \mathbb{C}$) part of the theory of finite graphs. In this paper we develope a theory of eigenvalues and eigenfunctions of $A^{({\rm alg})}_{Γ,F}$ for arbitrary infinite locally finite graphs $Γ$ (although a few results may be of interest for finite graphs) and fields $F$ with a special emphasis on the case when $Γ$ is connected with uniformly bounded vertex degrees and $F = \mathbb{C}$. By the author opinion, previous attempts in this direction were not quite satisfactory since were limited by consideration of rather special eigenfunctions and corresponding eigenvalues.
An upper bound on the nullity of signed graphs
In this paper, an upper bound on the nullity of signed graphs in terms of the cyclomatic number and the number of pendant vertices is proved, and the corresponding extremal signed graphs are completely characterized.
Disproof of a conjecture on the minimum Wiener index of signed trees
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of distances between all unordered pairs of vertices. Sam Spiro [The Wiener index of signed graphs, Appl. Math. Comput., 416(2022)126755] recently introduced the Wiener index for a signed graph and conjectured that the path $P_n$ with alternating signs has the minimum Wiener index among all signed trees with $n$ vertices. By constructing an infinite family of counterexamples, we prove that the conjecture is false whenever $n$ is at least 30.
Common Pairs of Graphs
Published
• View Publication
• BIB
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.