Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Dihedral sign patterns in $\mathcal{M}_{0,n}$
The connected components of $\mathcal{M}_{0,n}(\mathbb{R})$ are in bijection with the $(n-1)!/2$ dihedral orderings of $[n]$. They are all isomorphic. We construct monomial maps between them, and use these maps to prove a conjecture of Arkani-Hamed, He, and Lam in the case of $\mathcal{M}_{0,n}$. Namely, we provide a bijection between connected components and sign patterns that are consistent with the extended $u$-relations for the dihedral embedding.
Polymatroidal tilings and the Chow class of linked projective spaces
Linked projective spaces are quiver Grassmanians of constant dimension one of certain quiver representations, called linked nets, over special class of quivers, called $\mathbb{Z}^n$-quivers. They were recently introduced as a tool for describing schematic limits of families of divisors. They are subschemes of products of projective spaces of the same dimension. It is an open question whether they are degenerations of the (small) diagonal. We show that they have the Chow class of the diagonal.
On the generator graph of a cyclic group
In this paper, we continue the study of the generator graph of a group. In 2023, Tacbobo [9] defined the generator graph of a nontrivial group to be the graph whose vertices are the elements of the group, with two vertices being adjacent if at least one of them is a generator of the group. Building on the properties established in [9], we prove that the diameter of the generator graph of a cyclic group is at most $2$. Furthermore, we present explicit formulas for some topological indices of the generator graph of a cyclic group with $n \ge 2$ elements and whose set of generators is $S$, expressed in terms of $n$ and $|S|$. Lastly, we determine the metric dimension of the generator graph of a nontrivial cyclic group as a function of its order $n$.
Dimensions of toggleability spaces
We establish a conjecture of Defant, Hopkins, Poznanović, and Propp concerning the dimensions of toggleability spaces for products of chains, shifted staircases, type-A root posets, and type-B posets. Generalizing this result, we show that for a larger family of posets defined by restricted diagrams, the dimensions of toggleability spaces are equal to the rank of the poset plus one. As part of our approach, we build upon the technique of rook statistics introduced by Chan, Haddadan, Hopkins, and Moci.
Mutations of quivers with 2-cycles
We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic quivers and yields involutive mutations that preserve the fundamental groupoid quotient by the homotopy. It generalizes orbit mutations arising from quiver coverings and allows for infinite mutation sequences even when orbit mutations are obstructed. We further construct quivers with homotopies from triangulations of marked surfaces with colored punctures, and prove that flips correspond to mutations, extending the Fomin-Shapiro-Thurston model to the setting with 2-cycles.
Anisotropy and the $g$-theorem for simplicial spheres
We give an exposition of the proof of the lower bound part of the $g$-theorem for simplicial spheres by Adiprasito, Papadakis, and Petrotou.
Tight cylindric partitions
In this note, we initiate the study of generating functions for tight cylindric partitions. For general (i.e., $r$-rowed for $r\geq 2$) tight cylindric partitions, we provide analogs of the Corteel--Welsh functional equations. We prove closed forms for the bivariate generating functions for 2-rowed tight cylindric partitions. We also show that these partitions are in bijection with a class of partitions studied by Dousse, Hardiman, and Konan.
Metrics on Signed Permutations with the Same Peak Set
Let $S^B_n$ be the Coxeter group of type B. We denote the set of indices where $σ\in S^B_n$ has a peak as $Peak(σ)$ and let $P^{B}(S;n)=\{σ\in S^{B}_n~|~ Peak(σ)=S\}$. In \cite{metrics}, Diaz-Lopez, Haymaker, Keough, Park and White considered metrics for unsigned permutations with the same peak set. In this paper, we generalize their result by studying Hamming, $l_{\infty}$, and the word metrics on $P^{B}(S;n)$ for all $S$. We also determine the minimum and maximum possible values that these metrics can achieve in these subsets of $S^B_n$.
A sharp lower bound for the number of phylogenetic trees displayed by a tree-child network
A normal (phylogenetic) network with $k$ reticulations displays $2^k$ phylogenetic trees. In this paper, we establish an analogous result for tree-child (phylogenetic) networks with no underlying $3$-cycles. In particular, we show that a tree-child network with $k\ge 2$ reticulations and no underlying $3$-cycles displays at least $2^{k/2}$ phylogenetic trees if $k$ is even and at least $\frac{3}{2\sqrt{2}}2^{k/2}$ if $k$ is odd. Moreover, we show that these bounds are sharp and characterise the tree-child networks that attain these bounds.
Maya-Tupi graphs: a generalization of split graphs
We define the family of Maya-Tupi graphs as those graphs that admit a partition $(A,B)$ of their vertex sets such that $A$ induces a complete multipartite graph where each part has size at most two, and $B$ induces a graph where every connected component is $K_1$ or $K_2$. The family of Maya-Tupi graphs is self complementary, generalizes split graphs, falls into the sparse-dense partitioning schema and is characterized by finitely many forbidden induced subgraphs. Unfortunately, our computational experiments show that the number of minimal forbidden induced subgraphs to characterize Maya-Tupi graphs is greater than 2000.
In this work, we study Maya-Tupi graphs when restricted to some well-known graph classes. We find characterizations in terms of minimal forbidden induced subgraphs for disconnected graphs, trees and cographs; our results imply linear time certifying recognition algorithms for Maya-Tupi graphs within these classes. We also show that Maya-Tupi graphs can be recognized in $\mathcal{O}(n^3)$-time in $C_4$-free graphs and in graphs with bounded neighborhood diversity.
Comparison between the first Steklov eigenvalue and algebraic connectivity on trees
Trees can be regarded as discrete analogue of Hadamard manifolds, namely simply-connected Riemannian manifolds of non-positive sectional curvature. In this paper, we compare the first (non-trivial) Steklov eigenvalue and algebraic connectivity of trees with prescribed number of boundary vertices and matching number. It is particularly noteworthy that while the extremal trees coincide for both operators, their corresponding eigenvalues differ significantly.
Finite graphs and configurations of points
We generalize the Atiyah problem on configurations and the related Atiyah--Sutcliffe conjectures 1 and 2 using finite graphs, configurations of points and tensors. Our conjectures are intriguing geometric inequalities, defined using the pairwise directions of the configuration of points, just as in the original problem. The generalization of the Atiyah determinant to our setting is no longer a determinant. We call it the $G$-amplitude function, where $G$ is a finite simple graph, in analogy with probability amplitudes in quantum physics. If $G = K_n$ is the complete graph with $n$ vertices, we recover the Atiyah--Sutcliffe conjectures 1 and 2.
Generating the Spanning Trees of Series-Parallel Graphs up to Graph Automorphism
In this paper, we investigate the problem of generating the spanning trees of a graph $G$ up to the automorphisms or "symmetries" of $G$. After introducing and surveying this problem for general input graphs, we present algorithms that fully solve the case of series-parallel graphs, under two standard definitions. We first show how to generate the nonequivalent spanning trees of a oriented series-parallel graph $G$ in output-linear time, where both terminals of $G$ have been individually distinguished (i.e. applying an automorphism that exchanges the terminals produces a different series-parallel graph). Subsequently, we show how to adapt these oriented algorithms to the case of semioriented series-parallel graphs, where we still have a set of two distinguished terminals but neither has been designated as a source or sink. Finally, we discuss the case of unoriented series-parallel graphs, where no terminals have been distinguished and present a few observations and open questions relating to them. The algorithms we present generate the nonequivalent spanning trees of $G$ but never explicitly compute the automorphism group of $G$, revealing how the recursive structure of $G$'s automorphism group mirrors that of its spanning trees.
The fundamental module of $S_3$-symmetric tridiagonal algebra associated with cycles
Terwilliger recently introduced the $S_3$-symmetric tridiagonal algebra, a generalization of the tridiagonal algebra. This algebra has six generators naturally associated with the vertices of a regular hexagon: adjacent generators satisfy the tridiagonal relations, while non-adjacent ones commute. To each $Q$-polynomial distance-regular graph $Γ$, we associate scalars $β, γ, γ^*, \varrho, \varrho^*$, and define the corresponding $S_3$-symmetric tridiagonal algebra $\mathbb{T} = \mathbb{T}(β, γ, γ^*, \varrho, \varrho^*)$. Let $V$ denote the standard module of $Γ$. Then the tensor $V^{\otimes 3} := V \otimes V \otimes V$ supports a $\mathbb{T}$-module structure, and within it exists a unique irreducible $\mathbb{T}$-submodule called the fundamental $\mathbb{T}$-module, denoted by $Λ$. In this paper, we focus on the case where $Γ$ is a cycle with vertex set $X$ and diameter $D$. We show that the associated scalars satisfy: \begin{align*} β= ζ+ ζ^{-1}, \quad γ= γ^* = 0, \quad \varrho = \varrho^* = -(ζ-ζ^{-1})^2, \end{align*} where $ζ$ is a fixed primitive $|X|$th root of unity. We prove that \begin{align*} \operatorname{dim}(Λ) & = \left\{\begin{array}{ll} \textstyle 2D^2+2 & \text{if } |X| \text{ is even},\\ \textstyle 2D^2 + 2D +1 & \text{if } |X| \text{ is odd}, \end{array} \right. \end{align*} and construct two explicit bases for $Λ$, each of which diagonalizes half of the generators of $\mathbb{T}$. Finally, we verify that Terwilliger's conjectures hold when $Γ$ is a cycle.
Amplitude maximization in stable systems, Schur positivity, and some conjectures on polynomial interpolation
For $r > 0$ and integers $t \ge n > 0$, we consider the following problem: maximize the amplitude $|x_t|$ at time $t$, over all complex solutions $x = (x_0, x_1, \dots)$ of arbitrary homogeneous linear difference equations of order $n$ with the characteristic roots in the disc $\{z \in \mathbb{C}: |z| \le r\}$, and with initial values $x_0, \dots, x_{n-1}$ in the unit disc. We find that for any triple $t,n,r$, the maximum is attained with coinciding roots on the boundary circle; in particular, this implies that the peak amplitude $\sup_{t \ge n} |x_t|$ can be maximized explicitly, by studying a unique equation with the characteristic polynomial $(z-r)^n$. Moreover, the optimality of the cophase root configuration holds for origin-centered polydiscs. To prove this result, we first reduce the problem to a certain interpolation problem over monomials, then solve the latter by leveraging the theory of symmetric functions and identifying the associated Schur positivity structure. We also discuss the implications for more general Reinhardt domains. Finally, we study the problem of estimating the derivatives of a real entire function from its values at $n/2$ pairs of complex conjugate points in the unit disc. We propose conjectures on the extremality of the monomial $z^n$, and restate them in terms of Schur polynomials.
Strong spectral stabilities for $C_{2k+1}$-free graphs
A stability result due to Ren, Wang, Wang and Yang [SIAM J. Discrete Math. 38 (2024)] shows that if $3\le r \le 2k$ and $n\ge 318 (r-2)^2k$, and $G$ is a $C_{2k+1}$-free graph on $n$ vertices with $e(G)\ge \lfloor {(n-r+1)^2}/{4}\rfloor +{r \choose 2}$, then $G$ can be made bipartite by deleting at most $r-2$ vertices. Using a different method, we give a linear bound on $n$ in terms of $k$ and show a stronger structural result, which roughly says that $G$ can be obtained from a large bipartite graph by suspending some small graphs that the total number of vertices is at most $r-2$. This improves a result of Yan and Peng (2024) by weakening the requirement on $n$ and $k$. As a direct corollary, we obtain a tight upper bound on the size of an $n$-vertex $C_{2k+1}$-free graph with chromatic number $χ(G)\ge r$ for every $r\le 2k$. The second part of this paper concerns the spectral extremal problem for $C_{2k+1}$-free graphs. We denote by $λ(G)$ the spectral radius of the adjacency matrix of a graph $G$. Let $T_{n-r+1,2}\circ K_r$ be the graph obtained by identifying a vertex of the complete graph $K_r$ and a vertex of the smaller partite set of the bipartite Turán graph $T_{n-r+1 ,2}$. Using the spectral techniques, we prove that if $3\le r\le 2k$ and $n\ge 712k$, and $G$ is an $n$-vertex $C_{2k+1}$-free graph with chromatic number $χ(G) \ge r$, then $λ(G)\le λ(T_{n-r+1,2}\circ K_r)$, where the equality holds if and only if $G=T_{n-r+1,2}\circ K_r$. Our result not only extends a result of Guo, Lin and Zhao [Linear Algebra Appl. 627 (2021)] as well as a result of Zhang and Zhao [Discrete Math. 346 (2023)], but also provides the first solution to the spectral extremal problem for $F$-free graphs with high chromatic number.
Cyclic sieving phenomena via combinatorics of continued fractions
We will exhibit several instances of the cyclic sieving phenomenon involving statistics and involutions on the following combinatorial families of objects: permutations, set partitions, perfect matchings, D-permutations (and its subclasses). Our results will be based on continued fraction identities enumerating these objects. Our instances of cyclic sieving phenomenon for permutations involve the Corteel involution; this was first studied by Adams, Elder, Lafrenière, McNicholas, Striker and Welch (arxiv~2024). We will reprove several of their results using our setting of continued fractions; we will also prove two of their conjectures. Our study of set partitions and perfect matchings will involve the Kasraoui-Zeng involution and the Chen-Deng-Du-Stanley-Yan (CDDSY) involution. Finally, for D-permutations, we will construct a new involution which we call the Genocchi-Corteel involution. The common feature of all of these involutions, other than the CDDSY involution, is that they are constructed via bijections to weighted lattice paths, and that they exchange crossings and nestings on their respective objects.
Congruences modulo $7$ and $11$ for certain two restricted partition functions
For an integer $c\geq 1$, let $a_c(n)$ count the number of generalized cubic partitions of $n$, which are partitions of $n$ whose even parts may appear in $c$ different colors, and $d_c(n)$ count the number of partitions obtained by adding the links of the $c$-elongated plane partition diamonds of length $n$. We prove in this note infinite families of congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ by employing elementary $q$-series techniques. These results generalize particular congruences modulo $7$ and $11$ for $a_c(n)$ and $d_c(n)$ recently found by Dockery, and Baruah, Das, and Talukdar, respectively, using modular forms.
Triangular tensors and set-intersection problems
In the past few years, the slice-rank lemma of Tao has been applied successfully to many problems in extremal combinatorics. In this paper, first, we define a new notion of triangular tensors which generalizes that of triangular matrices (2-tensors), and prove a lemma similar to the slice-rank lemma for them. Then, applying the slice-rank framework with triangular matrices, we give new and shorter proofs for some well-known theorems on set-intersections like Frankl-Wilson and Snevily with modular constraints, and some of the more recent set-intersection results. We also improve Snevily with modular constraints in some special cases. Finally, using Snevily's theorem with some combinatorial lemmas, we give new bounds on some generalizations of the reverse odd-town problem.
On chain polynomials of geometric lattices
Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.