Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number
A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number.
We also consider a newly introduced problem called \emph{Hamiltonian-$\ell$-Linkage} which is related to the notions of a path cover and of a linkage in a graph. This problem asks if given $\ell$ pairs of vertices in an input graph can be connected by disjoint paths that altogether traverse all vertices of the graph. For $\ell=1$, Hamiltonian-1-Linkage asks for existence of a Hamiltonian path connecting a given pair of vertices. Our main result reads that for every pair of integers $k$ and $\ell$, the Hamiltonian-$\ell$-Linkage problem is polynomial time solvable for graphs of independence number not exceeding $k$.
Homological Shift Ideals: Macaulay2 Package
We introduce the Macaulay2 package HomologicalShiftIdeals. It allows to compute the homological shift ideals of a monomial ideal, and to check the homological shift properties, including having linear resolution, having linear quotients, or being polymatroidal. The theory behind these concepts is explained and the main features of the package are presented.
Sufficient conditions for fractional [a,b]-deleted graphs
Published
• View Publication
• BIB
Let $a$ and $b$ be two positive integers with $a\leq b$, and let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. Let $h:E(G)\rightarrow[0,1]$ be a function. If $a\leq\sum\limits_{e\in E_G(v)}{h(e)}\leq b$ holds for every $v\in V(G)$, then the subgraph of $G$ with vertex set $V(G)$ and edge set $F_h$, denoted by $G[F_h]$, is called a fractional $[a,b]$-factor of $G$ with indicator function $h$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$ and $F_h=\{e\in E(G):h(e)>0\}$. A graph $G$ is defined as a fractional $[a,b]$-deleted graph if for any $e\in E(G)$, $G-e$ contains a fractional $[a,b]$-factor. The size, spectral radius and signless Laplacian spectral radius of $G$ are denoted by $e(G)$, $ρ(G)$ and $q(G)$, respectively. In this paper, we establish a lower bound on the size, spectral radius and signless Laplacian spectral radius of a graph $G$ to guarantee that $G$ is a fractional $[a,b]$-deleted graph.
On the structure of a smallest counterexample and a new class verifying the 2-Decomposition Conjecture
Published
• View Publication
• BIB
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on developing a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.
The Cohen-Macaulay type of edge-weighted r-path ideals
We describe combinatorially the Cohen-Macaulay type of edge-weighted r-path suspensions of edge-weighted graphs for an arbitrary positive integer r. The computation of the Cohen-Macaulay type of edge-weighted suspensions of edge-weighted graphs becomes a special case of r = 1.
Random Maps with Sociological Flavor
Published in J. Phys. A 57, 215201 (2024)
• View Publication
• BIB
A map of a set to itself admits a representation by a graph with vertices being the elements of the set and an edge between every vertex and its image. Communities defined as the maximal connected components are uni-cyclic. The distributions of the sizes of communities and lengths of cycles for unconstrained random maps is a classical subject. We call experts the images and followers the remaining vertexes, and we further define prophets, egocentrics, and introverts. We introduce and analyze classes of random maps with sociological flavor.
A central limit theorem for a card shuffling problem
Published
• View Publication
• BIB
Given a positive integer $n$, consider a random permutation $τ$ of the set $\{1,2,\ldots, n\}$. In $τ$, we look for sequences of consecutive integers that appear in adjacent positions: a maximal such a sequence is called a block. Each block in $τ$ is merged, and after all the merges, the elements of this new set are relabeled from $1$ to the current number of elements. We continue to randomly permute and merge this new set until only one integer is left. In this paper, we investigate the asymptotic behavior of $X_n$, the number of permutations needed for this process to end. In particular, we find an explicit asymptotic expression for each of $\mathbf{E}[X_n]$ and $\mathbf{Var} [X_n]$ as well as for every higher central moment, and show that $X_n$ satisfies a central limit theorem.
Proof of the Kresch-Tamvakis Conjecture
Published
• View Publication
• BIB
In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following.
Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*}
{_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right].
\end{equation*}
To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.
Ehrhart Polynomials of Generic Orthotopes
A generic orthotope is an orthogonal polytope whose tangent cones are described by read-once Boolean functions. The purpose of this note is to develop a theory ofEhrhart polynomials for integral generic orthotopes. The most remarkable part of this theory is a relation between the number of lattice points in an integral generic orthotope $P$ and the number of unit cubes in $P$ of various floral types. This formula is facilitated through the introduction of a set of "local polynomials" defined for every read-once Boolean function.
Some bounds on the Laplacian eigenvalues of token graphs
The $k$-token graph $F_k(G)$ of a graph $G$ on $n$ vertices is the graph whose vertices are the ${n\choose k}$ $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$.
It is known that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity $α(G)$ of $G$.
In this paper, we give some bounds on the (Laplacian) eigenvalues of a $k$-token graph (including the algebraic connectivity) in terms of the $h$-token graph, with $h\leq k$. For instance, we prove that if $λ$ is an eigenvalue of $F_k(G)$, but not of $G$, then $$ λ\ge kα(G)-k+1. $$ As a consequence, we conclude that if $α(G)\geq k$, then $α(F_h(G))=α(G)$ for every $h\le k$.
A note on the Assmus--Mattson theorem for some ternary codes (a resume)
Published
• View Publication
• BIB
Let $C$ be a two and three-weight ternary code. Furthermore, we assume that $C_\ell$ are $t$-designs for all $\ell$ by the Assmus--Mattson theorem. We show that $t \leq 5$. As a corollary, we provide a new characterization of the (extended) ternary Golay code.
Multivariate Fibonacci-like Polynomials and their Applications
The Fibonacci polynomials are defined recursively as $f_{n}(x)=xf_{n-1}(x)+f_{n-2}(x)$, where $f_0(x) = 0$ and $f_1(x)= 1$. We generalize these polynomials to an arbitrary number of variables with the $r$-Fibonacci polynomial. We extend several well-known results such as the explicit Binet formula and a Cassini-like identity, and use these to prove that the $r$-Fibonacci polynomials are irreducible over $\mathbb{C}$ for $n \geq r \geq 3$. Additionally, we derive an explicit sum formula and a generalized generating function. Using these results, we establish connections to ordinary Bell polynomials, exponential Bell polynomials, Fubini numbers, and integer and set partitions.
On Induced Versions of Menger's Theorem on Sparse Graphs
Let $A$ and $B$ be sets of vertices in a graph $G$. Menger's theorem states that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of at most $k-1$ vertices. Let $Δ$ be the maximum degree of $G$. We show that there exists a function $f(Δ) = (Δ+1)^{Δ^2+1}$, so that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint and pairwise anticomplete paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of at most $k \cdot f(Δ)$ vertices. We also show that the result can be generalized from bounded-degree graphs to graphs excluding a topological minor. On the negative side, we show that no such relation holds on graphs that have degeneracy 2 and arbitrarily large girth, even when $k = 2$. Similar results were obtained independently and concurrently by Hendrey, Norin, Steiner, and Turcotte [arXiv:2309.07905].
On the first two eigenvalues of regular graphs
Published
• View Publication
• BIB
Let $G$ be a regular graph with $m$ edges, and let $μ_1, μ_2$ denote the two largest eigenvalues of $A_G$, the adjacency matrix of $G$. We show that, if $G$ is not complete, then
$$μ_1^2 + μ_2^2 \leq \frac{2(ω- 1)}ω m$$
where $ω$ is the clique number of $G$. This confirms a conjecture of Bollobás and Nikiforov for regular graphs. We also show that equality holds if and only if $G$ is either a balanced Turán graph or the disjoint union of two balanced Turán graphs of the same size.
A Cross Entropy Approach to the Domination Problem and its Variants
Published
• View Publication
• BIB
The domination problem and several of its variants (total domination, 2-domination and secure domination) are considered. These problems have various real-world applications, but are NP-hard to solve to provable optimality, making fast heuristics for these problems desirable. There is a wealth of highly-developed heuristics and approximation algorithms for the domination problem, however such heuristics are much less common for variants of the domination problem. We redress this by proposing an implementation of the cross entropy method that can be applied to any sensible variant of domination. We present results from experiments which demonstrate that this approach can produce good results in an efficient manner even for larger graphs, and that it works roughly as well for any of the domination variants considered.
Crystal Structure of Upper Cluster Algebras
We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.
Forbidden Tournaments and the Orientation Completion Problem
Published
• View Publication
• BIB
For a fixed finite set of finite tournaments ${\mathcal F}$, the ${\mathcal F}$-free orientation problem asks whether a given finite undirected graph $G$ has an $\mathcal F$-free orientation, i.e., whether the edges of $G$ can be oriented so that the resulting digraph does not embed any of the tournaments from ${\mathcal F}$. We prove that for every ${\mathcal F}$, this problem is in P or NP-complete. Our proof reduces the classification task to a complete complexity classification of the orientation completion problem for ${\mathcal F}$, which is the variant of the problem above where the input is a directed graph instead of an undirected graph, introduced by Bang-Jensen, Huang, and Zhu (2017). Our proof uses results from the theory of constraint satisfaction, and a result of Agarwal and Kompatscher (2018) about infinite permutation groups and transformation monoids.
Effective bounds for Roth's theorem with shifted square common difference
Let $S$ be a subset of $\{1,\ldots,N\}$ avoiding the nontrivial progressions $x, x+y^2-1, x+ 2(y^2-1)$. We prove that $|S|\ll N/\log_m{N}$, where $\log_m $ is the $m$-fold iterated logarithm and $m\in\mathbf{N}$ is an absolute constant. This answers a question of Green.
Gallai-Ramsey multiplicity for rainbow small trees
Published
• View Publication
• BIB
Let $G, H$ be two non-empty graphs and $k$ be a positive integer. The Gallai-Ramsey number $\operatorname{gr}_k(G:H)$ is defined as the minimum positive integer $N$ such that for all $n\geq N$, every $k$-edge-coloring of $K_n$ contains either a rainbow subgraph $G$ or a monochromatic subgraph $H$. The Gallai-Ramsey multiplicity $\operatorname{GM}_k(G:H)$ is defined as the minimum total number of rainbow subgraphs $G$ and monochromatic subgraphs $H$ for all $k$-edge-colored $K_{\operatorname{gr}_k(G:H)}$. In this paper, we get some exact values of the Gallai-Ramsey multiplicity for rainbow small trees versus general monochromatic graphs under a sufficiently large number of colors. We also study the bipartite Gallai-Ramsey multiplicity.
Stability conditions for line bundles on nodal curves
Published in Forum of Mathematics, Sigma 12 (2024) e87
• View Publication
• BIB
We introduce the abstract notion of a \emph{smoothable fine compactified Jacobian} of a nodal curve, and of a family of nodal curves whose general element is smooth. Then we introduce the notion of a combinatorial stability condition for line bundles and their degenerations. We prove that smoothable fine compactified Jacobians are in bijection with these stability conditions. We then turn our attention to \emph{fine compactified universal Jacobians}, that is, fine compactified Jacobians for the moduli space $\overline{\mathcal{M}}_g$ of stable curves (without marked points). We prove that every fine compactified universal Jacobian is isomorphic to the one first constructed by Caporaso, Pandharipande and Simpson in the nineties. In particular, without marked points, there exists no fine compactified universal Jacobian unless $\gcd(d+1-g, 2g-2)=1$.