Showing 20 papers (Total: 81564 papers, 47262 authors in database)
2-extendability of (4,5,6)-fullerenes
A (4,5,6)-fullerene is a plane cubic graph whose faces are only quadrilaterals, pentagons and hexagons, which includes all (4,6)- and (5,6)-fullerenes. A connected graph $G$ with at least $2k+2$ vertices is $k$-extendable if $G$ has perfect matchings and any matching of size $k$ is contained in a perfect matching of $G$. We know that each (4,5,6)-fullerene graph is 1-extendable and at most 2-extendable. It is natural to wonder which (4,5,6)-fullerene graphs are 2-extendable. In this paper, we completely solve this problem (see Theorem 3.3): All non-2-extendable (4,5,6)-fullerenes consist of four sporadic (4,5,6)-fullerenes ($F_{12},F_{14},F_{18}$ and $F_{20}$) and five classes of (4,5,6)-fullerenes. As a surprising consequence, we find that all (4,5,6)-fullerenes with the anti-Kekulé number 3 are non-2-extendable. Further, there also always exists a non-2-extendable (4,5,6)-fullerene with arbitrarily even $n\geqslant10$ vertices.
Low rank matrix completion and realization of graphs: results and problems
The Netflix problem (from machine learning) asks the following. Given a ratings matrix in which each entry $(i,j)$ represents the rating of movie $j$ by customer $i$, if customer $i$ has watched movie $j$, and is otherwise missing, we would like to predict the remaining entries in order to make good recommendations to customers on what to watch next. The remaining entries are predicted so as to minimize the {\it rank} of the completed matrix.
In this survey we study a more general problem, in which instead of knowing specific matrix elements, we know linear relations on such elements. We describe applications of these results to embeddings of graphs in surfaces (more precisely, embeddings with rotation systems, and embeddings modulo 2).
Oriented discrepancy of Hamilton cycles in oriented graphs satisfying Ore-type condition
Erd{\H o}s (1963) initiated extensive graph discrepancy research on 2-edge-colored graphs. Gishboliner, Krivelevich, and Michaeli (2023) launched similar research on oriented graphs. They conjectured the following extension of Dirac's theorem: If $D$ is an oriented graph on $n \ge 3$ vertices with minimum degree $δ(D) \ge n/ 2$, then $D$ contains a Hamilton oriented cycle with at least $δ(D)$ arcs in the same direction. This conjecture was proved by Freschi and Lo (2024) who posed an open problem to extend their result to an Ore-type condition. We propose two conjectures for such extensions and prove results which provide support to the conjectures.
Enumeration of Colored Tilings on Graphs via Generating Functions
In this paper, we study the problem of partitioning a graph into connected and colored components called blocks. Using bivariate generating functions and combinatorial techniques, we determine the expected number of blocks when the vertices of a graph $G$, for $G$ in certain families of graphs, are colored uniformly and independently. Special emphasis is placed on graphs of the form $G \times P_n$, where $P_n$ is the path graph on $n$ vertices. This case serves as a generalization of the problem of enumerating the number of tilings of an $m \times n$ grid using colored polyominoes.
Exercises in Iterational Asymptotics II
The nonlinear recurrences we consider here include the functions $3x(1-x)$ and $\cos(x)$, which possess attractive fixed points $2/3$ and $0.739...$ (Dottie's number). Detailed asymptotics for oscillatory convergence are found, starting with a 1960 paper by Wolfgang Thron. Another function, $x/(1+x\ln(1+x))$, gives rise to a sequence with monotonic convergence to $0$ but requires substantial work to calculate its associated constant $C$.
Refined Brill-Noether Theory for Complete Graphs
The divisor theory of the complete graph $K_n$ is in many ways similar to that of a plane curve of degree $n$. We compute the splitting types of all divisors on the complete graph $K_n$. We see that the possible splitting types of divisors on $K_n$ exactly match the possible splitting types of line bundles on a smooth plane curve of degree $n$. This generalizes the earlier result of Cori and Le Borgne computing the ranks of all divisors on $K_n$, and the earlier work of Cools and Panizzut analyzing the possible ranks of divisors of fixed degree on $K_n$.
A quantitative improvement on the hypergraph Balog-Szemerédi-Gowers theorem
In this note, we obtain a quantitative improvement on the hypergraph variant of the Balog-Szemerédi-Gowers theorem due to Sudakov, Szemerédi, and Vu [Duke Math. J.129.1 (2005): 129--155]. Additionally, we prove the hypergraph variant of the ``almost all'' version of Balog-Szemerédi-Gowers theorem.
Critical $(P_5,W_4)$-Free Graphs
A graph $G$ is $k$-vertex-critical if $χ(G) = k$ but $χ(G-v)<k$ for all $v \in V(G)$. A graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A $W_4$ is the graph consisting of a $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$.
We show that there are finitely many $k$-vertex-critical $(P_5,W_4)$-free graphs for all $k \ge 1$ and we characterize all $5$-vertex-critical $(P_5,W_4)$-free graphs. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,W_4)$-free graphs for each $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.
Injective edge-coloring of graphs with small maximum degree
An injective $k$-edge-coloring of a graph $G$ is a mapping $φ$: $E(G)\rightarrow\{1,2,...,k\}$, such that $φ(e)\neφ(e')$ if edges $e$ and $e'$ are at distance two, or are in a triangle. The smallest integer $k$ such that $G$ has an injective $k$-edge-coloring is called the injective chromatic index of $G$, denoted by $χ_i'(G)$. In this paper, we prove that $χ_i'(G)\le 7$ for every graph $G$ with $Δ(G)\leq 4$ and mad$(G)<\frac{8}{3}$, where $Δ(G)$ is the maximum degree of $G$.
On the crossing profile of rectilinear drawings of $K_n$
We introduce the \textit{crossing profile} of a drawing of a graph. This is a sequence of integers whose $(k+1)^{\text{th}}$ entry counts the number of edges in the drawing which are involved in exactly $k$ crossings. The first and second entries of this sequence (which count uncrossed edges and edges with one crossing, respectively) have been studied by multiple authors. However, to the best of our knowledge, we are the first to consider the entire sequence. Most of our results concern crossing profiles of rectilinear drawings of the complete graph $K_n$. We show that for any $k\leq (n-2)^2/4$ there is such a drawing for which the $k^{\text{th}}$ entry of the crossing profile is of magnitude $Ω(n)$. On the other hand, we prove that for any $k \geq 1$ and any sufficiently large $n$, the $k^{\text{th}}$ entry can also be made to be $0$. As our main result, we essentially characterize the asymptotic behavior of both the maximum and minimum values that the sum of the first $k$ entries of the crossing profile might achieve. Our proofs are elementary and rely mostly on geometric constructions and classical results from discrete geometry and geometric graph theory.
An Aα-spectral radius for the existence of {P3, P4, P5}-factors in graphs
Let $G$ be a connected graph of order $n$ with $n\geq25$. A $\{P_3,P_4,P_5\}$-factor is a spanning subgraph $H$ of $G$ such that every component of $H$ is isomorphic to an element of $\{P_3,P_4,P_5\}$. Nikiforov introduced the $A_α$-matrix of $G$ as $A_α(G)=αD(G)+(1-α)A(G)$ [V. Nikiforov, Merging the $A$- and $Q$-spectral theories, Appl. Anal. Discrete Math. 11 (2017) 81--107], where $α\in[0,1]$, $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$, denoted by $λ_α(G)$, is called the $A_α$-spectral radius of $G$. In this paper, it is proved that $G$ has a $\{P_3,P_4,P_5\}$-factor unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $λ_α(G)\geqλ_α(K_1\vee(K_{n-2}\cup K_1))$, where $α$ be a real number with $0\leqα<\frac{2}{3}$.
D-Antimagic Labelings on Oriented Linear Forests
Let $\overrightarrow{G}$ be an oriented graph with the vertex set $V(\overrightarrow{G})$ and the arc set $A(\overrightarrow{G})$. Suppose that $D\subseteq \{0,1,\dots,\partial \}$ is a distance set where $\partial=\max \{d(u,v)<\infty|u,v\in V(\overrightarrow{G})\}$. Given a bijection $h:V(\overrightarrow{G}) \rightarrow\{1,2,\dots,|V(\overrightarrow{G})|\}$, the $D$-weight of a vertex $v\in V(\overrightarrow{G})$ is defined as $ω_D(v)=\sum_{u\in N_D(v)}h(u)$, where $N_D(v)=\{u\in V|d(v,u)\in D\}$. A bijection $h$ is called a $D$-antimagic labeling if for every pair of distinct vertices $x$ and $y$, $ω_D(x)\ne ω_D(y)$. An oriented graph $\overrightarrow{G}$ is called $D$-antimagic if it admits such a labeling.
In addition to introducing the notion of $D$-antimagic labeling for oriented graphs, we investigate some properties of $D$-antimagic oriented graphs. In particular, we study $D$-antimagic linear forests for some $D$. We characterize $D$-antimagic paths where $1 \in D$, $n-1\in D$, or $\{0,n-2\}\subset D$. We characterize distance antimagic trees and forests. We conclude by constructing $D$-antimagic labelings on oriented linear forests.
Frobenius--Perron dimension via $τ$-tilting theory
From the perspective of $τ$-tilting theory, we study Frobenius--Perron dimensions of finite-dimensional algebras. First, we evaluate the Frobenius--Perron dimensions of $τ$-tilting finite algebras by a combinatorial method in $τ$-tilting theory. Secondly, we give the upper bound for the Frobenius--Perron dimension for $τ$-tilting finite algebras of tame representation type. Thirdly, we determine the Frobenius--Perron dimensions of Nakayama algebras and generalized preprojective algebras of Dynkin type in the sense of Geiss--Leclerc--Schröer.
On the Boxicity of Line Graphs and of Their Complements
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.''
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded.
We finally extend our approach to upper and lower bounding the boxicity of line graphs.
Equivalence of labeled graphs and lattices
In $1973$, Harary and Palmer posed the problem of enumeration of labeled graphs on $n \geq 1$ unisolated vertices and $l \geq 0$ edges. In $1997$, Bender et al.\ obtained a recurrence relation representing the sequence $A054548$(OEIS) of labeled graphs on $n \geq 0$ unisolated vertices containing $q \geq \frac{n}{2}$ edges. In $2020$, Bhavale and Waphare obtained a recurrence relation representing the sequence of fundamental basic blocks on $n \geq 0$ comparable reducible elements, having nullity $l \geq \lfloor \frac{n+1}{2} \rfloor$. In this paper, we prove the equivalence of these two sequences. We also provide an edge labeling for a given vertex labeled finite simple graph.
D-Antimagic Labelings of Oriented 2-Regular Graphs
Given an oriented graph $\overrightarrow{G}$ and $D$ a distance set of $\overrightarrow{G}$, $\overrightarrow{G}$ is $D$-antimagic if there exists a bijective vertex labeling such that the sum of all labels of the $D$-out-neighbors of each vertex is distinct.
This paper investigates $D$-antimagic labelings of 2-regular oriented graphs. We characterize $D$-antimagic oriented cycles, when $|D|=1$; $D$-antimagic unidirectional odd cycles, when $|D|=2$; and $D$-antimagic $Θ$-oriented cycles. Finally, we characterize $D$-antimagic oriented 2-regular graphs, when $|D|=1$, and $D$-antimagic $Θ$-oriented 2-regular graphs.
On Maximum Induced Forests of the Balanced Bipartite Graphs
The decycling number $\nabla(G)$ of a graph $G$ is the minimum number of vertices that must be removed to eliminate all cycles in $G$. The forest number $f(G)$ is the maximum number of vertices that induce a forest in $G$. So $\nabla(G) + f(G) = |V(G)|$. For the Cartesian product $T \,\square\, T'$ of trees $T$ and $T'$ it is proved that $\nabla(S_n \,\square\, S_{n'}) \leq \nabla(T \,\square\, T')$, thus resolving the conjecture of Wang and Wu asserting that $f(T \,\square\, T') \leq f(S_n \,\square\, S_{n'})$. It is shown that $\nabla(T \,\square\, T') \ge\min\{ |V(T)|,|V(T')|\} - 1$ and the equality cases characterized. For prisms over trees, it is proved that $\nabla(T\,\square\, K_2) = α'(T)$, and for arbitrary graphs $G_1$ and $G_2$, it is proved that $\nabla(G_1 \,\square\, G_2) \geq α'(G_1) α'(G_2)$, where $α'$ is the matching number.
D-Antimagic Labelings of Oriented Star Forests
For a distance set $D$, an oriented graph $\overrightarrow{G}$ is $D$-antimagic if there exists a bijective vertex labeling such that the sum of all labels of $D$-out-neighbors is distinct for each vertex. This paper provides all orientations and all possible $D$s of a $D$-antimagic oriented star. We provide necessary and sufficient condition for $D$-antimagic oriented star forest containing isomorphic oriented stars. We show that for all possible $D$s, there exists an orientation for a star forest to admit a $D$-antimagic labeling.
An $O(n\log^2n)$ Algorithm for Computing Hankel Determinants up to Order $n$
Given the rational power series $h(x) = \sum_{i \geq 0} h_i x^i \in \mathbb{C}[[x]]$, the Hankel determinant of order $n$ is defined as $H_n(h(x)) := \det (h_{i+j})_{0 \leq i,j \leq n-1}$. We explore the relationship between the Hankel continued fraction and the generalized Sturm sequence. This connection inspires the development of a novel algorithm for computing the Hankel determinants $\{H_i(h(x))\}_{i=0}^{n-1}$ using $O(n \log^2 n)$ arithmetic operations. We also explore the connection between the generalized Sturm sequences and the signature of Hankel matrices.
The{N/D}-Conjecture for Nonresonant Hyperplane Arrangements
This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements, this is a conjecture by Budur, Mustaţă and Teitler and implies the strong topological monodromy conjecture for arrangements. Walther gave a sufficient condition that a certain differential form does not vanish in the top cohomology group of Milnor fiber. We use Walther's result to verify the $n\over d$-conjecture for weighted hyperplane arrangements satisfying the nonresonant condition.