math.CO ↗ arXiv
7121 papers in this category
Partitions of canonical bases
We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.
Complexity of Arc-Decompositions involving Perfect Matchings and Cycle Factors
For two digraph properties $P_1$ and $P_2$, a $(P_1,P_2)$-arc-decomposition of a digraph $D$ is a partition $A(D)=A_1\mathbin{\dot\cup}A_2$ such that the spanning subdigraphs $D[A_1]$ and $D[A_2]$ have properties $P_1$ and $P_2$, respectively. For example, a (strong,strong)-arc-decomposition of a digraph $D=(V,A)$ is a partitioning $A=A_1\cup{}A_2$ of $A$ so that each of the spanning digraphs $D_i=(V,A_i)$, $i=1,2$ are strongly connected. We prove that it is NP-complete to decide whether a digraph admits an arc-decomposition with properties $(P_1,P_2)$ where $(P_1,P_2)\in \{$(is a perfect matching, having no odd directed cycle), (perfect matching, strong), (perfect matching, having an out-branching), (is a cycle factor, having no odd directed cycle)$\}$. These results settle some open problems posed by Bang-Jensen, Bessy, Gonçalves, and Picasarri-Arrieta [Theoret. Comput. Sci. 928 (2022), 167--182].
Solution to an open problem on the computational complexity of immanant
Immanants are a class of generalized matrix functions associated with the irreducible characters of the symmetric group. Bürgisser [SIAM J. Comput., 30 (2000), pp. 1023--1040] proved that the computation of hook immanants and immanants corresponding to rectangular Young diagrams of polynomially growing width is VNP-complete under $p$-projections. And he posed an open problem: whether the family of immanants corresponding to rectangular Young diagrams of width $2$ is VNP-complete under $p$-projections. This paper gives a solution to this problem. We prove that, over any field of characteristic zero, the immanant families associated with rectangular Young diagrams of width $2$ and of length $2$ are both VNP-complete under $p$-projections.
Hamilton Cycles in 10-Tough $(2P_2 \cup P_1)$-Free Graphs
A graph is called 10-tough and $(2P_2 \cup P_1)$-free if every vertex set whose deletion leaves at least two components has cardinality at least ten times the number of those components and if the graph has no induced subgraph consisting of two disjoint edges and an isolated vertex. We prove that every finite simple 10-tough $(2P_2 \cup P_1)$-free graph on at least three vertices is Hamiltonian. The proof splits according to whether some edge has joint neighbourhood of order at most $4n/11$. In the small-neighbourhood case, a matched path-cover is compressed to a prescribed matching. In the large-neighbourhood case, an asymmetric analysis of the two components left by a putative small cut yields the required connectivity bound. A Hamilton cycle through the prescribed edges is then expanded, and a cycle-extension lemma inserts the remaining vertices.
Cohomology of moduli spaces of pointed curves
In this paper, after reviewing recent progress on the cohomology of $\overline{\cal M}_{0,n}$, we further our investigation on the cohomology of moduli spaces of pointed curves in continuation of [2,4,5,6,7,8]. In particular, we prove that the Betti number distribution of the Fulton-MacPherson compactification $C[n]$ of the space of $n$ ordered distinct points on any smooth projective curve $C$ is asymptotically Gaussian as $n$ goes to infinity.
Sharp Bisection Bounds for Digraphs
Fix an integer $d\ge1$. We prove that, for all sufficiently large $m$, every digraph $D$ with $m$ arcs and minimum semidegree at least $d$ admits a bisection $V(D)=V_1\cup V_2$ with $\bigl||V_1|-|V_2|\bigr|\le1$ such that \[
\min\{e(V_1,V_2),e(V_2,V_1)\}
\ge \frac{d(m+d+1)}{2(2d+1)}. \] Here, for disjoint vertex sets $A,B\subseteq V(D)$, $e(A,B)$ denotes the number of arcs directed from $A$ to $B$. For each $d$, equality holds for infinitely many values of $m$, showing that the additive term $d+1$ is best possible. This answers a question of Liu, Ma and Zu by removing the asymptotic error in the minimum-semidegree bound, strengthens the result to the bisection setting, and determines the optimal additive correction. We also prove that every $n$-vertex digraph with $m$ arcs admits a bisection in which both directed cuts have size at least $(m-n+1)/4$, and that this universal bound is sharp for out-stars.
An Ore-type condition for regular factors
Let $G$ be a simple graph of order $n$ satisfying the following Ore-type condition: For any two nonadjacent vertices $x$ and $y$ of $G$, $d_G(x)+d_G(y)\geq n+k-2$, where $1\leq k\leq n-1$, $kn$ is even and $d_G(x)$ is the degree of $x$ in $G$. It is well known that $G$ has a $k$-factor for $k=1$ or $2$. Lu and Ning (J. Graph Theory, 94(2020), 307-319) proved that if $k\geq n/2$, then $G$ has a $k$-factor. In this paper, we show that $G$ has a $k$-factor for any $1\leq k\leq n-1$.
Main-Factor Constraints on Generalized Cospectral Mates of Trees
We study how irreducible factors associated with main eigenvalues constrain the connected components of generalized cospectral mates. Let $M_G(x):=\prod_{λ {\rm main}}(x-λ)$ be the main polynomial of $G$, where the product is over the distinct main eigenvalues, and write $φ_G(x)=\prod_{i=1}^{r}f_i(x)^{m_i}$, where the $f_i$ are distinct monic irreducible polynomials over $\mathbb Q$. With $I_{\mathrm m}(G) :=\{\,i:f_i\mid M_G\,\}$, define $κ_{\mathrm m}(G):=\sum_{i\in I_{\mathrm m}(G)}m_i$. For a graph $X$, write $c(X)$ and $β(X)$ for its number of connected components and cycle rank, respectively. We prove that every graph $H$ with the same characteristic polynomial and main polynomial as $G$ satisfies $c(H)\leκ_{\mathrm m}(G)$. Consequently, if $T$ is a tree and $H$ is generalized cospectral with $T$, then $β(H)=c(H)-1 \le κ_{\mathrm m}(T)-1$.
We develop the case $κ_{\mathrm m}(T)=2$ further. A disconnected generalized cospectral mate must be the union of a tree and a connected bipartite unicyclic graph, and its two component coronals are uniquely prescribed by the canonical partial-fraction decomposition of the coronal of $T$ with respect to the two irreducible main factors. Consequently, these factor coronals must be realizable as coronals of actual graph components; their Laurent coefficients must therefore be nonnegative integers satisfying low-order walk identities. These realizability conditions, supplemented by matching restrictions on the unicyclic component, yield effective tree-forcing obstructions.
As an application, we show that the double star $D(2m,m+1)$ is determined by its generalized spectrum but not by its adjacency spectrum whenever $m\ge2$ and neither $m$ nor $2m+2$ is a perfect square. In particular, the double stars $D(8t+4,4t+3), t\ge0$, is an explicit infinite family of graphs that are DGS but not DS.
Induced-saturated graphs exist for even cycles
A graph $G$ is \emph{$H$-induced-saturated} if $G$ has no induced subgraph isomorphic to $H$ but changing the adjacency of an arbitrary pair of vertices in $G$ creates an induced copy of $H$. The existence problem for $H$-induced-saturated graphs had previously been settled when $H$ is a complete graph, a path, an odd cycle, or an even cycle of length at most $10$. In this paper, for every integer $q\ge3$, we construct a $C_{2q+2}$-induced-saturated graph. Hence, induced-saturated graphs exist for all cycles, except for the cycle of length 3.
Forbidden stars in multidimensional $0$-$1$ matrices and visibility of lattice points
A $d$-dimensional $0$-$1$ matrix $M$ of size $n_1\times n_2\times \dots \times n_d$ can be considered as a Boolean function
$M: B(n_1\times n_2\times \dots \times n_d) \to \{ 0,1\}$, where $B$ is the $d$-dimensional box of lattice points $(x_1, \dots, , x_d)\in Z^d$ with $0\leq x_i \leq n_i-1$, $1\leq i\leq d$. The $0$-$1$ matrix $M$ can also be described as a subset $P:=P(M)$ of $B$ such that $x\in P$ if and only if $M(x)=1$. A $k$-star with center $p$ in $M$ corresponds to a $(k+1)$-element subset $\{ p, p_1, \dots , p_k\} \subset B$ such that $p$ and $p_i$ differ only in one coordinate (for all $1\leq i\leq k$) and these $k$ coordinates are distinct.
Here we consider the problem of determining the maximum number of $1$-entries of a $0$-$1$ matrix $M$ of dimension $d$ and size $n\times n \times \dots \times n$ that avoids all $k$-stars.
Our main results are the asymptotical solution of the problem for every $d$ and $k$ (as $n\to \infty$), very close bounds for $k=d$, and the exact solution of the $d=k=3$ case.
This problem has connections to several other areas of discrete mathematics, including $k$-partite hypergraphs, independent set problems, dominating set problems and covering codes. One of our tools (concerning maximal packings of induced copies of a given hypergraph) might have independent interest.
On the Maximum Number of Vertices that Belong to Every Metric Basis
Metric bases of graphs have been widely studied since their introduction in the 1970's by Slater and, independently, by Harary and Melter. In this paper, we concentrate on the existence of vertices in a graph $G$ that belong to all metric bases of $G$. We call these basis forced vertices, and denote the number of them by $\mathrm{bf}(G)$. We show that $\mathrm{bf}(G)\le 2/3(n-k-1)$ for any connected nontrivial graph $G$ of order $n$ having $k$ vertices in each metric basis. In addition, we show that this bound can be attained. Furthermore, the previous result implies the bound $\mathrm{bf}(G)\le 2/5(n-1)$ formulated in terms of the order $n$ of the graph for any nontrivial connected graph $G$. This result answers a question posed by Bagheri et al. in 2016. Moreover, we provide a complete realization of the parameters $n$, $\dim(G)$ and $\mathrm{bf}(G) \ge 1$ within the previous bounds. We consider some extremal cases related to basis forced vertices in a graph, in particular, we give a full characterization of the graphs with $\mathrm{bf}(G) = 2$ and $\dim(G) = n-4$.
Stability for Helly-type and triangle-free families
We consider $k$-graphs, $\mathcal{F}\subset \binom{[n]}{k}$, $k\geq 3$. A $k$-graph is called intersecting if any two of its edges have non-empty intersection. It is called a star if all its edges share a common vertex. The $k$-graph $\mathcal{F}$ is called Helly if all its intersecting subfamilies are stars. If the same is required only for subfamilies consisting of three edges, it is called triangle-free. It is well known that for $n\geq 3k/2$, the full star is the unique largest triangle-free family whence the largest Helly family as well. In 1984 Tuza proved the best possible bound $|\mathcal{F}|\leq \binom{n-k-1}{k-1}+\binom{n-2}{k-2}+1$ for Helly families that are not stars, albeit only for some unspecified $n>n_0(k)$.
The aim of this paper is twofold. First we establish the same bound for $n>2k$. Second we show that for $n>12k^2$ the same upper bound holds for triangle-free families. It is shown as well that it is not true for $2k<n\leq 3k-4$.
The Partition of Paley Graphs into Petersen Graphs and a New Strongly Regular Graph with Parameters (50, 21, 8, 9)
This paper utilizes an extremely simple idea: in the multiplicative group of a finite field $F_q$, cosets of a certain subgroup are considered, and an attempt is made to combine these cosets into pairs such that the resulting induced subgraph in the corresponding Paley graph is strongly regular. It is shown that there exists an infinite sequence of Paley graphs that can be partitioned into Petersen graphs in this manner. Furthermore, a new strongly regular graph with parameters $(50, 21, 8, 9)$ is constructed using this method.
A Sharp Spectral Erdős--Ko--Rado Theorem for Uniform Hypergraphs
The spectral Erdős--Ko--Rado problem asks for the largest adjacency-tensor spectral radius of a $t$-intersecting $k$-uniform family. Keevash, Lenz and Mubayi proved that, for fixed $k,t$ and sufficiently large $n$, the unique extremal family is a full $t$-star, and asked whether such a theorem extends to all $n$. Let $\mathcal{A}_r=\{F\in\binom{[n]}k:|F\cap[t+2r]|\ge t+r\}$ be the Frankl families and write $ρ_r$ for their spectral radii. For $2\le t<k$ and $n>2k-t$, we prove that $\mathcal{A}_0$ is spectrally extremal if and only if $ρ_0\geρ_1$; it is unique up to permutation when the inequality is strict, whereas $\mathcal{A}_0$ and $\mathcal{A}_1$ are both extremal at equality. The layerwise pull used in the Ahlswede--Khachatrian cardinality proof is not applicable here: applied directly, it may decrease the spectral radius. Our proof instead pulls all boundary layers simultaneously and applies Perron tail symmetrization. It follows that $\mathcal{A}_0$ is uniquely extremal for $n\ge (t+1)(k-t+1)+\lceil(t+1)\log(t+1)\rceil$; the leading coefficient $t+1$ is best possible for fixed $t$. We also determine all extremal structures for $t=1$ throughout the range $n\ge2k$.
Spectral extrema of 1-planar graphs with no short cycles or small cliques
The spectral Turán type problem, initiated by Nikiforov in 2007, aims to determine the graphs among $n$-vertex $H$-free graphs having maximum spectral radius. In this paper, we study this problem for $1$-planar graphs, i.e., graphs that admit a drawing in the plane such that each edge is crossed at most once. Recently, Xu and Chang proved that the graphs among all $n$-vertex $K_5$-free $1$-planar graphs having maximum spectral radius lie within a small family of candidates. First, this paper explicitly identifies the unique spectral extremal graph among the $n$-vertex $K_5$-free $1$-planar graphs. Second, it establishes a structural reduction theorem: For any forbidden subgraph $F$ with $δ(F)\ge2$ that is contained in $K_2\vee P_{n-2}^{2+}$ but not in $K_2\vee I_{n-2}$, every spectral extremal $F$-free $1$-planar graph contains a spanning complete bipartite graph $K_{2,n-2}$, where $P^{2+}_{n-2}$ is obtained from a path $u_1u_2\dots u_{n-2}$ by adding edge $u_1u_{n-2}$ and all edges $u_iu_{i+2}$ for $1\le i\le n-4$, and $I_{n-2}$ denotes the empty graph on $n-2$ vertices. As applications, the graph among all $n$-vertex $C_5$-free (resp. $2C_5$-free) $1$-planar graphs having maximum spectral radius is determined. These results extend spectral Turán type problems for $1$-planar graphs from cliques to cycles and their disjoint union.
Homomorphic-core phase transition threshold in Erdős--Rényi random graphs
It is shown in this manuscript that a random graph $G$ drawn from the Erdős--Rényi model $\mathcal{G}(n,p)$ with \[ p=p(n)\leq 1/2, \qquad \lim_{n\to+\infty}(np-\log n-\log\log n)=+\infty, \] is a homomorphic core, i.e., every homomorphism from $G$ to itself is an automorphism. This implies tight ETH-based lower bounds of the subgraph isomorphism problem for almost all $k$-vertex patterns with polynomial average degree.
A new antisymmetrizer-to-determinant formula and a conjecture of Colomo and Pronko
Identities asserting that an antisymmetrizer admits a determinantal expression are central to several proofs of counting formulas for alternating sign matrices. Antisymmetrizers appear also frequently in symmetric function theory as, for instance, the Hall-Littlewood polynomials can be realized via antisymmetrizers. In this paper, we establish a new identity of this type, thereby proving a conjecture of Lukas Riegler and one of the authors. We also elaborate on a related antisymmetrizer that may be pivotal in resolving a beautiful conjecture of Colomo and Pronko, and we formulate a version of their conjecture tailored to the suggested approach.
Homomorphism and VC-dimension thresholds: spectra and separations
Minimum-degree thresholds ask when excluding a fixed graph $H$ forces a dense graph to admit a simple global description. For each fixed chromatic number, the chromatic threshold has only three possible values. We show that this finite-spectrum phenomenon is special to chromatic threshold: already among $3$-chromatic graphs, both the homomorphism and VC-dimension thresholds have infinite spectra and are nonmonotone under taking induced subgraphs. For complete tripartite graphs with a singleton part, we prove $δ_{\mathrm{hom}}(K_{1,s,t}) \ge \max\left\{\frac13,\frac{s}{1+s+t}\right\}$, with equality for an infinite range of $s,t$; in particular, $δ_{\mathrm{hom}}(K_{1,s,s})=s/(2s+1)$ for every $s\ge2$. More generally, for every $r\ge3$, the value $(r-2)/(r-1)$ is an accumulation point of the homomorphism thresholds of $r$-chromatic graphs. For maximal $H$-free graphs, we determine the VC-dimension threshold of every complete tripartite graph and prove that it is positive for every nonbipartite $H$, yielding in particular the exact value for every odd cycle. We also classify the chromatic threshold under an a priori VC-dimension bound.
Together with known blowup-threshold results, our theorems reveal that $δ_χ,δ_{\mathrm{hom}},δ_{\mathrm{VC}}$, and $δ_{\mathrm B}$ are \emph{pairwise distinct}: bounded colorability, homomorphic compressibility, neighborhood complexity, and exact blowup structure are genuinely different forms of global simplicity. The proofs develop random and grid-based obstructions to bounded homomorphic images, saturated gadgets that preserve high VC-dimension under maximal completion, and a core-orientation method for raising minimum degree while preserving $H$-freeness.
The exact Turán number of the even wheel $W_{2k+2}$ among non-$3$-partite graphs
Let $\mathrm{ex}(n,H)$ denote the Turán number of $H$. A graph is color-critical if there exists an edge $e\in E(H)$ such that $χ(H-e)<χ(H)$. For a color-critical graph $H$ with $χ(H)=r+1$, Simonovits' chromatic critical edge theorem implies that there exists an $n_0(H)$ such that $\mathrm{ex}(n,H)=e(T_{n,r})$ and the Turán graph $T_{n,r}$ is the only extremal graph provided $n\geq n_0(H).$ Let $W_{2k+2}$ be the even wheel obtained by joining a vertex to a cycle of length $2k+1,$ where $k\geq1$ is an integer. Since $W_{2k+2}$ is color-critical and $χ(W_{2k+2})=4$, $T_{n,3}$ is the unique extremal graph for $W_{2k+2}$-free graphs of sufficiently large $n.$ Note that the extremal graph $T_{n,3}$ is 3-partite. In this paper, we determine the exact Turán number of $W_{2k+2}$ in non-$3$-partite graphs and characterize all extremal graphs provided $n$ is sufficiently large.
Componentwise linear monomial ideals
Let $S=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with ${\rm deg} x_1=\cdots ={\rm deg} x_n = 1$ and ${\bf a} = (a_1,\ldots,a_n) \in {\mathbb Z}_{>0}^n$. Given a squarefree monomial $u=x_{i_1} \cdots x_{i_d}$ of $S$ with $1 \leq i_1 < \cdots < i_d \leq n$, we set $u^{[{\bf a}]}:=x_{i_1}^{a_{i_1}}\cdots x_{i_d}^{a_{i_d}}$. Let $I$ be a squarefree monomial ideal of $S$ and $G(I)$ its unique minimal set of monomial generators. We introduce the monomial ideal $I^{[{\bf a}]}$ with $G(I^{[{\bf a}]})=\{u^{[{\bf a}]} : u \in G(I)\}$. In the present paper, componentwise linearity of a squarefree monomial ideal $I$ and that of $I^{[{\bf a}]}$ is studied.