Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A positive formula for type $A$ Peterson Schubert calculus
Published
• View Publication
• BIB
Peterson varieties are special nilpotent Hessenberg varieties that have appeared in the study of quantum cohomology, representation theory, and combinatorics. In type $A$, the Peterson variety $Y$ is a subvariety of the complete flag variety $Fl(n; \mathbb C)$, and is invariant under the action of a subgroup $S\cong \mathbb C^*$ of $T$, where $T$ is the standard (noncompact) torus acting on $Fl(n; \mathbb C)$. Using the Peterson Schubert basis introduced by Harada and Tymoczko obtained by restricting a specific set of Schubert classes from $H_T^*(Fl(n; \mathbb C))$ to $H_S^*(Y)$, we describe the product structure of the equivariant cohomology $H_{S}^*(Y)$. In particular, we show that the product is manifestly positive in an appropriate sense by providing an explicit positive combinatorial formula for its structure constants. Our method requires a new combinatorial identity of binomial coefficients that generalizes Vandermonde's identity.
Factorization statistics and bug-eyed configuration spaces
Published in Geom. Topol. 25 (2021) 3691-3723
• View Publication
• BIB
A recent theorem of Hyde proves that the factorizations statistics of a random polynomial over a finite field are governed by the action of the symmetric group on the configuration space of $n$ distinct ordered points in $\mathbb R^3$. Hyde asked whether this result could be explained geometrically. We give a geometric proof of Hyde's theorem as an instance of the Grothendieck--Lefschetz trace formula applied to an interesting, highly nonseparated algebraic space. An advantage of our method is that it generalizes uniformly to an arbitrary Weyl group. In the process we study certain non-Hausdorff models for complements of hyperplane arrangements, first introduced by Proudfoot.
Saturation problems in the Ramsey theory of graphs, posets and point sets
In 1964, Erdős, Hajnal and Moon introduced a saturation version of Turán's classical theorem in extremal graph theory. In particular, they determined the minimum number of edges in a $K_r$-free, $n$-vertex graph with the property that the addition of any further edge yields a copy of $K_r$. We consider analogues of this problem in other settings. We prove a saturation version of the Erdős-Szekeres theorem about monotone subsequences and saturation versions of some Ramsey-type theorems on graphs and Dilworth-type theorems on posets.
We also consider semisaturation problems, wherein we allow the family to have the forbidden configuration, but insist that any addition to the family yields a new copy of the forbidden configuration. In this setting, we prove a semisaturation version of the Erdős-Szekeres theorem on convex $k$-gons, as well as multiple semisaturation theorems for sequences and posets.
Radius of Gyration, Contraction Factors, and Subdivisions of Topological Polymers
Published in Journal of Physics A: Mathematical and Theoretical 55 (2022), no. 47, 475202
• View Publication
• BIB
We consider the topologically constrained random walk model for topological polymers. In this model, the polymer forms an arbitrary graph whose edges are selected from an appropriate multivariate Gaussian which takes into account the constraints imposed by the graph type. We recover the result that the expected radius of gyration can be given exactly in terms of the Kirchhoff index of the graph. We then consider the expected radius of gyration of a topological polymer whose edges are subdivided into $n$ pieces. We prove that the contraction factor of a subdivided polymer approaches a limit as the number of subdivisions increases, and compute the limit exactly in terms of the degree-Kirchhoff index of the original graph. This limit corresponds to the thermodynamic limit in statistical mechanics and is fundamental in the physics of topological polymers. Furthermore, these asymptotic contraction factors are shown to fit well with molecular dynamics simulations.
On the parity of the number of partitions with odd multiplicities
Published in Int. J. Number Theory 17 (2021), no. 7, 1717--1728
• View Publication
• BIB
Recently, Hirschhorn and the first author considered the parity of the function $a(n)$ which counts the number of integer partitions of $n$ wherein each part appears with odd multiplicity. They derived an effective characterization of the parity of $a(2m)$ based solely on properties of $m.$ In this note, we quickly reprove their result, and then extend it to an explicit characterization of the parity of $a(n)$ for all $n\not\equiv 7 \pmod{8}.$ We also exhibit some infinite families of congruences modulo 2 which follow from these characterizations.
We conclude by discussing the case $n\equiv 7 \pmod{8}$, where, interestingly, the behavior of $a(n)$ modulo 2 appears to be entirely different. In particular, we conjecture that, asymptotically, $a(8m+7)$ is odd precisely $50\%$ of the time. This conjecture, whose broad generalization to the context of eta-quotients will be the topic of a subsequent paper, remains wide open.
On reconstruction of graphs from the multiset of subgraphs obtained by deleting $\ell$ vertices
Published
• View Publication
• BIB
The Reconstruction Conjecture of Ulam asserts that, for $n\geq 3$, every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-1$ vertices. The conjecture is known to hold for various special classes of graphs but remains wide open. We survey results on the more general conjecture by Kelly from 1957 that for every positive integer $\ell$ there exists $M_\ell$ (with $M_1=3$) such that when $n\geq M_\ell$ every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-\ell$ vertices.
The categorical graph minor theorem
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gröbner theory of categories to the setting of pairs consisting of a category along with a functor to sets, and we apply this theory to the edge functor on the graph minor category. As an application, we study homology groups of unordered configuration spaces of graphs, improving upon various finite generation results in this subject.
Graded Algebras, Algebraic Functions, Planar Trees, and Elliptic Integrals
Published
• View Publication
• BIB
This article surveys results on graded algebras and their Hilbert series. We give simple constructions of finitely generated graded associative algebras $R$ with Hilbert series $H(R,t)$ very close to an arbitrary power series $a(t)$ with exponentially bounded nonnegative integer coefficients. Then we summarize some related facts on algebras with polynomial identity. Further we discuss the problem how to find series $a(t)$ which are rational/algebraic/transcendental over ${\mathbb Q}(t)$. Applying a classical result of Fatou we conclude that if a finitely generated graded algebra has a finite Gelfand-Kirillov dimension, then its Hilbert series is either rational or transcendental. In particular the same dichotomy holds for the Hilbert series of a finitely generated algebra with polynomial identity. We show how to use planar rooted trees to produce algebraic power series. Finally we survey some results on noncommutative invariant theory which show that we can obtain as Hilbert series various algebraic functions and even elliptic integrals.
Legendre $G$-array pairs and the theoretical unification of several $G$-array families
Published
• View Publication
• BIB
We investigate how Legendre $G$-array pairs are related to several different perfect binary $G$-array families. In particular we study the relations between Legendre $G$-array pairs, Sidelnikov-Lempel-Cohn-Eastman $\mathbb{Z}_{q-1}$-arrays, Yamada-Pott $G$-array pairs, Ding-Helleseth-Martinsen $\mathbb{Z}_{2}\times \mathbb{Z}_p^{m}$-arrays, Yamada $\mathbb{Z}_{(q-1)/2}$-arrays, Szekeres $\mathbb{Z}^m_{p}$-array pairs, Paley $\mathbb{Z}^m_{p}$-array pairs, and Baumert $\mathbb{Z}^{m_1}_{p_1}\times \mathbb{Z}^{m_2}_{p_2}$-array pairs. Our work also solves one of the two open problems posed in Ding~[J. Combin. Des. 16 (2008), 164-171]. Moreover, we provide several computer search based existence and non-existence results regarding Legendre $\mathbb{Z}_n$-array pairs. Finally, by using cyclotomic cosets, we provide a previously unknown Legendre $\mathbb{Z}_{57}$-array pair.
Approximate subgroups with bounded VC-dimension
Published in Math. Ann. 388, 1001-1043 (2024)
• View Publication
• BIB
We combine the fundamental results of Breuillard, Green, and Tao on the structure of approximate groups, together with "tame" arithmetic regularity methods based on work of the authors and Terry, to give a structure theorem for finite subsets $A$ of arbitrary groups $G$ where $A$ has "small tripling" and bounded VC-dimension: Roughly speaking, up to a small error, $A$ will be a union of a bounded number of translates of a coset nilprogression of bounded rank and step (see Theorem 2.1). We also prove a stronger result in the setting of bounded exponent (see Theorem 2.2). Our results extend recent work of Martin-Pizarro, Palacín, and Wolf on finite stable sets of small tripling.
The order complex of $PGL_2(p^{2^n})$ is contractible when $p$ is odd
Given a group $G$, its lattice of subgroups $\mathcal{L}(G)$ can be viewed as a simplicial complex in a natural way. The inclusion of $1_G, G \in \mathcal{L}(G)$ implies that $\mathcal{L}(G)$ is contractible, and so we study the topology of the order complex $\widehat{\mathcal{L}(G)} := \mathcal{L}(G) \setminus \{1_G,G\}$. In this short note we consider the homotopy type of $\widehat{\mathcal{L}(G)}$ where $G \cong PGL_2(p^{2^n})$, $p \geq 3$, $n \geq 1$ and show that $\widehat{\mathcal{L}(G)}$ is contractible. This is consistent with a conjecture of Shareshian on the homotopy type of order complexes of finite groups.
Covering $\mathsf{Irrep}(S_n)$ With Tensor Products and Powers
Published
• View Publication
• BIB
We study when a tensor product of irreducible representations of the symmetric group $S_n$ contains all irreducibles as subrepresentations; we say such a tensor product covers $\mathsf{Irrep}(S_n)$. Our results show that this behavior is typical. We first give a general sufficient criterion for tensor products to have this property, which holds asymptotically almost surely for constant-sized collections of (Plancherel or uniformly) random irreducibles. We also consider the minimal tensor power of a single fixed irreducible representation needed to cover $\mathsf{Irrep}(S_n)$. Here a simple lower bound comes from considering dimensions, and we show it is always tight up to a universal constant factor as was recently conjectured by Liebeck, Shalev, and Tiep.
Location of Ritz values in the numerical range of normal matrices
Published
• View Publication
• BIB
Let $μ_1$ be a complex number in the numerical range $W(A)$ of a normal matrix $A$. In the case when no eigenvalues of $A$ lie in the interior of $W(A)$, we identify the smallest convex region containing all possible complex numbers $μ_2$ for which $\begin{bmatrix}μ_1& *\\0& μ_2\end{bmatrix}$ is a $2$-by-$2$ compression of $A$.
On the existence of $s$-extremal singly even self-dual codes
Published
• View Publication
• BIB
We construct new $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$. We also give tables for the currently known results on the existence of $s$-extremal singly even self-dual codes of minimum weights $8,10,12$ and $14$.
Birational rowmotion and coxeter-motion on minuscule posets
Published in Electron. J. Combin. 28 (2021), P1.17
• View Publication
• BIB
Birational rowmotion is a discrete dynamical system on the set of all positive real-valued functions on a finite poset, which is a birational lift of combinatorial rowmotion on order ideals. It is known that combinatorial rowmotion for a minuscule poset has order equal to the Coxeter number, and exhibits the file homomesy phenomenon for refined order ideal cardinality statistic. In this paper we generalize these results to the birational setting. Moreover, as a generalization of birational promotion on a product of two chains, we introduce birational Coxeter-motion on minuscule posets, and prove that it enjoys periodicity and file homomesy.
A lower bound on the saturation number, and graphs for which it is sharp
Published
• View Publication
• BIB
Let $H$ be a fixed graph. We say that a graph $G$ is $H$-saturated if it has no subgraph isomorphic to $H$, but the addition of any edge to $G$ results in an $H$-subgraph. The saturation number $\mathrm{sat}(H,n)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Kászonyi and Tuza, in 1986, gave a general upper bound on the saturation number of a graph $H$, but a nontrivial lower bound has remained elusive. In this paper we give a general lower bound on $\mathrm{sat}(H,n)$ and prove that it is asymptotically sharp (up to an additive constant) on a large class of graphs. This class includes all threshold graphs and many graphs for which the saturation number was previously determined exactly. Our work thus gives an asymptotic common generalization of several earlier results. The class also includes disjoint unions of cliques, allowing us to address an open problem of Faudree, Ferrara, Gould, and Jacobson.
Symmetric decompositions and the Veronese construction
Published
• View Publication
• BIB
We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.
Construction and Random Generation of Hypergraphs with Prescribed Degree and Dimension Sequences
Published
• View Publication
• BIB
We propose algorithms for construction and random generation of hypergraphs without loops and with prescribed degree and dimension sequences. The objective is to provide a starting point for as well as an alternative to Markov chain Monte Carlo approaches. Our algorithms leverage the transposition of properties and algorithms devised for matrices constituted of zeros and ones with prescribed row- and column-sums to hypergraphs. The construction algorithm extends the applicability of Markov chain Monte Carlo approaches when the initial hypergraph is not provided. The random generation algorithm allows the development of a self-normalised importance sampling estimator for hypergraph properties such as the average clustering coefficient.We prove the correctness of the proposed algorithms. We also prove that the random generation algorithm generates any hypergraph following the prescribed degree and dimension sequences with a non-zero probability. We empirically and comparatively evaluate the effectiveness and efficiency of the random generation algorithm. Experiments show that the random generation algorithm provides stable and accurate estimates of average clustering coefficient, and also demonstrates a better effective sample size in comparison with the Markov chain Monte Carlo approaches.
Clique immersions in graphs of independence number two with certain forbidden subgraphs
Published
• View Publication
• BIB
The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{χ(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $α(G)\ge 2$ and no hole of length between $4$ and $2α(G)$ satisfies this conjecture. In particular, every $C_4$-free graph $G$ with $α(G)= 2$ satisfies the Lescure-Meyniel conjecture. We give another generalisation of this corollary, as follows. Let $G$ and $H$ be graphs with independence number at most 2, such that $|V(H)|\le 4$. If $G$ is $H$-free, then $G$ satisfies the Lescure-Meyniel conjecture.
Diameter of General Knödel Graphs
Published in Fundamenta Informaticae, Volume 190, Issue 1 (October 14, 2023) fi:12318
• View Publication
• BIB
The Knödel graph $W_{Δ,n}$ is a $Δ$-regular bipartition graph on $n\ge 2^Δ$ vertices and $n$ is an even integer. The vertices of $W_{Δ,n}$ are the pairs $(i,j)$ with $i=1,2$ and $0\le j\le n/2-1$. For every $j$, $0\le j\le n/2-1$, there is an edge between vertex $(1, j)$ and every vertex $(2,(j+2^k-1) \mod (n/2))$, for $k=0,1,\cdots,Δ-1$. In this paper we obtain some formulas for evaluating the distance of vertices of the Knödel graph and by them, we provide the formula $diam(W_{Δ,n})=1+\lceil\frac{n-2}{2^Δ-2}\rceil$ for the diameter of $W_{Δ,n}$, where $n\ge (2Δ-5)(2^Δ-2)+4$.