Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Combinatorics of the Delta conjecture at q=-1
Published in Algebraic Combinatorics 7(1) (2024), 17--35
• View Publication
• BIB
In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schröder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the observation that at $q=-1$, this $q,t$-analog becomes a $t$-analog of Euler numbers, a famous integer sequence that counts alternating permutations. We prove this observation via a more general statement, that involves the Delta operator on symmetric functions (on one side), and new combinatorial statistics on permutations involving peaks and valleys (on the other side). An important tool are the schedule numbers of a parking function first introduced by Hicks; and expanded upon by Haglund and Sergel. Other empirical observation suggest that nonnegativity at $q=-1$ holds in far greater generality.
(-1)-Enumerations of arrowed Gelfand-Tsetlin patterns
Published
• View Publication
• BIB
Arrowed Gelfand-Tsetlin patterns have recently been introduced to study alternating sign matrices. In this paper, we show that a $(-1)$-enumeration of arrowed Gelfand-Tsetlin patterns can be expressed by a simple product formula. The numbers are a one-parameter generalization of the numbers $2^{n(n-1)/2} \prod_{j=0}^{n-1} \frac{(4j+2)!}{(n+2j+1)!}$ that appear in recent work of Di Francesco. A second result concerns the (-1)-enumeration of arrowed Gelfand-Tsetlin patterns when excluding double-arrows as decoration in which case we also obtain a simple product formula. We are also able to provide signless interpretations of our results. The proofs of the enumeration formulas are based on a recent Littlewood-type identity, which allows us to reduce the problem to the evaluations of two determinants. The evaluations are accomplished by means of the LU-decompositions of the underlying matrices, and an extension of Sister Celine's algorithm as well as creative telescoping to evaluate certain triple sums. In particular, we use implementations of such algorithms by Koutschan, and by Wegschaider and Riese.
The number of Prime Parking Functions
Published
• View Publication
• BIB
A parking function of length $n$ is prime if we obtain a parking function of length $n-1$ by deleting one 1 from it. In this note we give a new direct proof that the number of prime parking functions of length $n$ is $(n-1)^{n-1}$. This proof leads to a new interpretation, in close terms to the definition of parking function.
Key and Lascoux polynomials for symmetric orbit closures
Published
• View Publication
• BIB
We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with nonnegative integer coefficients. We also prove that they are partial versions of the classical Schur $P$- and $Q$-polynomials. Finally, we examine $K$-theoretic generalizations of these functions, which give shifted forms of Lascoux polynomials. In the symplectic case, these generalizations are partial versions of the $GP$-polynomials introduced by Ikeda and Naruse. Besides developing basic properties, we identify a number of conjectures and open problems.
Longer cycles in vertex transitive graphs
In 1979 Babai found a clever argument to prove that every connected vertex transitive graph on $n \ge 3$ vertices contains a cycle of length at least $\sqrt{3n}$. Here we modify his approach to show that such graphs must contain a cycle of length at least $(1 - o(1))n^{3/5}$.
Algorithms for computing the permutation resemblance of functions over finite groups
Published
• View Publication
• BIB
Permutation resemblance measures the distance of a function from being a permutation. Here we show how to determine the permutation resemblance through linear integer programming techniques. We also present an algorithm for constructing feasible solutions to this integer program, and use it to prove an upper bound for permutation resemblance for some special functions. Additionally, we present a generalization of the linear integer program that takes a function on a finite group and determines a permutation with the lowest differential uniformity among those most resembling it.
Sum formulas for Schur multiple zeta values
Published
• View Publication
• BIB
In this paper, we study sum formulas for Schur multiple zeta values and give a generalization of the sum formulas for multiple zeta(-star) values. We show that for ribbons of certain types, the sum over all admissible Young tableaux of this shape evaluates to a rational multiple of the Riemann zeta value. For arbitrary ribbons with $n$ corners, we show that these can be always expressed in terms of multiple zeta values of depth $\leq n$. In particular, when $n=2$, we give explicit, what we call, bounded type sum formulas for these ribbons. Finally, we show how to evaluate the sum over all admissible Young tableaux with exactly one corner and also prove bounded type sum formulas for them. This will also lead to relations among sums of Schur multiple zeta values over all admissible Young tableaux of different shapes.
Spectral extremal problem on $t$ copies of $\ell$-cycle
Published
• View Publication
• BIB
Denote by $tC_\ell$ the disjoint union of $t$ cycles of length $\ell$. Let $ex(n,F)$ and $spex(n,F)$ be the maximum size and spectral radius over all $n$-vertex $F$-free graphs, respectively. In this paper, we shall pay attention to the study of both $ex(n,tC_\ell)$ and $spex(n,tC_\ell)$. On the one hand, we determine $ex(n,tC_{2\ell+1})$ and characterize the extremal graph for any integers $t,\ell$ and $n\ge f(t,\ell)$, where $f(t,\ell)=O(t\ell^2)$. This generalizes the result on $ex(n,tC_3)$ of Erdős [Arch. Math. 13 (1962) 222--227] as well as the research on $ex(n,C_{2\ell+1})$ of Füredi and Gunderson [Combin. Probab. Comput. 24 (2015) 641--645]. On the other hand, we focus on the spectral Turán-type function $spex(n,tC_{\ell})$, and determine the extremal graph for any fixed $t,\ell$ and large enough $n$. Our results not only extend some classic spectral extremal results on triangles, quadrilaterals and general odd cycles due to Nikiforov, but also develop the famous spectral even cycle conjecture proposed by Nikiforov (2010) and confirmed by Cioabă, Desai and Tait (2022).
The Extension of the Desargues Theorem, the Converse, Symmetry and Enumeration
This work is, in part, a generalization of the article by A.A. Bruen ,T.C Bruen and J.M.McQuillan on Desargues Theorem in arXiv:2007.09175[mathCO]July 17,2020. We prove the extension of Desargues theorem in all dimensions, using 4 different arguments.We also show the converse theorem. It is shown that the Desargues configuration in projective n-space, for all n at least 2, corresponds to an arc in a projective space of dimension n+1 containing the n-space. Thus, in principle, one can enumerate the number of Desargues configurations in n dimensions when the underlying field is finite. The Desargues configuration in n-dimensions is studied in detail and is shown to exhibit new self-replication or fractal-like properties. In section 11 we extend a classical theorem on semi-simplexes for all n at least 3.
On symmetric spectra of Hermitian adjacency matrices for non-bipartite mixed graphs
Published
• View Publication
• BIB
We study the equivalence between bipartiteness and symmetry of spectra of mixed graphs, for $θ$-Hermitian adjacency matrices defined by an angle $θ\in (0, π]$. We show that this equivalence holds when, for example, an angle $θ$ is an algebraic number, while it breaks down for any angle $θ\in \mathbb{Q}π$. Furthermore, we construct a family of non-bipartite mixed graphs having the symmetric spectra for given $θ\in \mathbb{Q}π$.
The Structure of Orthomorphism Graph of $(\mathbb{Z}_2 \times \mathbb{Z}_4)$
Published
• View Publication
• BIB
In this paper, we gave a theoretical proof of the fact that Orthomorphism graph of group $\mathbb{Z}_2 \times \mathbb{Z}_4$ has maximal clique 2, by determining the structure of the graph.
Extremal graphs for the odd prism
Published in Discrete Mathematics 348 (2025), No. 114249
• View Publication
• BIB
The Turán number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Turán number of regular polyhedrons was widely studied in a series of works due to Simonovits. In this paper, we shall present the exact Turán number of the prism $C_{2k+1}^{\square} $, which is defined as the Cartesian product of an odd cycle $C_{2k+1}$ and an edge $ K_2 $. Applying a deep theorem of Simonovits and a stability result of Yuan [European J. Combin. 104 (2022)], we shall determine the exact value of $\mathrm{ex}(n,C_{2k+1}^{\square})$ for every $k\ge 1$ and sufficiently large $n$, and we also characterize the extremal graphs. Moreover, in the case of $k=1$, motivated by a recent result of Xiao, Katona, Xiao and Zamora [Discrete Appl. Math. 307 (2022)], we will determine the exact value of $\mathrm{ex}(n,C_{3}^{\square} )$ for every $n$ instead of for sufficiently large $n$.
Spectral conditions for forbidden subgraphs in bipartite graphs
A graph $G$ is $H$-free, if it contains no $H$ as a subgraph. A graph is said to be \emph{$H$-minor free}, if it does not contain $H$ as a minor. In recent years, Nikiforov asked that what is the maximum spectral radius of an $H$-free graph of order $n$? In this paper, we consider about some Brualdi-Solheid-Turán type problems on bipartite graphs. In 2015, Zhai, Lin and Gong proved that if $G$ is a bipartite graph with order $n \geq 2k+2$ and $ρ(G)\geq ρ(K_{k,n-k})$, then $G$ contains a $C_{2k+2}$ unless $G \cong K_{k,n-k}$ [Linear Algebra Appl. 471 (2015)]. Firstly, we give a new and more simple proof for the above theorem. Secondly, we prove that if $G$ is a bipartite graph with order $n \geq 2k+2$ and $ρ(G)\geq ρ(K_{k,n-k})$, then $G$ contains all $T_{2k+3}$ unless $G \cong K_{k,n-k}$. Finally, we prove that among all outerplanar bipartite graphs on $n>344569$ vertices, $K_{1,n-1}$ attains the maximum spectral radius.
Thresholds and expectation thresholds for larger p
Published in Electron. J. Combin. 31 (2024), no. 4, P4.74
• View Publication
• BIB
Let $p_\mathrm{c}$ and $q_\mathrm{c}$ be the threshold and the expectation threshold, respectively, of an increasing family $\mathcal{F}$ of subsets of a finite set $X$, and let $l$ be the size of a largest minimal element of $\mathcal{F}$. Recently, Park and Pham proved the Kahn-Kalai conjecture, which says that $p_\mathrm{c} \leqslant K q_\mathrm{c} \log_2 l$ for some universal constant $K$. Here we slightly strengthen their result by showing that $p_\mathrm{c} \leqslant 1 - \mathrm{e}^{-K q_\mathrm{c} \log_2 l}$. The idea is to apply the Park-Pham Theorem to an appropriate `cloned' family $\mathcal{F}_k$, reducing the general case (of this and related results) to the case where the individual element probability $p$ is small.
The Solidarity Cover Problem
Various real-world problems consist of partitioning a set of locations into disjoint subsets, each subset spread in a way that it covers the whole set with a certain radius. Given a finite set S, a metric d, and a radius r, define a subset (of S) S' to be an r-cover if and only if forall s in S there exists s' in S' such that d(s,s') is less or equal to r. We examine the problem of determining whether there exist m disjoint r-covers, naming it the Solidarity Cover Problem (SCP). We consider as well the related optimization problems of maximizing the number of r-covers, referred to as the partition size, and minimizing the radius. We analyze the relation between the SCP and a graph problem known as the Domatic Number Problem (DNP), both hard problems in the general case. We show that the SCP is hard already in the Euclidean 2D setting, implying hardness of the DNP already in the unit-disc-graph setting. As far as we know, the latter is a result yet to be shown. We use the tight approximation bound of (1-o(1))/ln(n) for the DNP's general case, shown by U.Feige, M.Halld'orsson, G.Kortsarz, and A.Srinivasan (SIAM Journal on computing, 2002), to deduce the same bound for partition-size approximation of the SCP in the Euclidean space setting. We show an upper bound of 3 and lower bounds of 2 and sqrt(2) for approximating the minimal radius in different settings of the SCP. Lastly, in the Euclidean 2D setting we provide a general bicriteria-approximation scheme which allows a range of possibilities for trading the optimality of the radius in return for better approximation of the partition size and vice versa. We demonstrate a usage of the scheme which achieves an approximation of (1/16,2) for the partition size and radius respectively.
First-Order Model Checking on Structurally Sparse Graph Classes
Published
• View Publication
• BIB
A class of graphs is structurally nowhere dense if it can be constructed from a nowhere dense class by a first-order transduction. Structurally nowhere dense classes vastly generalize nowhere dense classes and constitute important examples of monadically stable classes. We show that the first-order model checking problem is fixed-parameter tractable on every structurally nowhere dense class of graphs.
Our result builds on a recently developed game-theoretic characterization of monadically stable graph classes. As a second key ingredient of independent interest, we provide a polynomial-time algorithm for approximating weak neighborhood covers (on general graphs). We combine the two tools into a recursive locality-based model checking algorithm. This algorithm is efficient on every monadically stable graph class admitting flip-closed sparse weak neighborhood covers, where flip-closure is a mild additional assumption. Thereby, establishing efficient first-order model checking on monadically stable classes is reduced to proving the existence of flip-closed sparse weak neighborhood covers on these classes - a purely combinatorial problem. We complete the picture by proving the existence of the desired covers for structurally nowhere dense classes: we show that every structurally nowhere dense class can be sparsified by contracting local sets of vertices, enabling us to lift the existence of covers from sparse classes.
When will (game) wars end?
Published
• View Publication
• BIB
We study several variants of the classical card game war. As anyone who played this game knows, the game can take some time to terminate, but it usually does. Here, we analyze a number of asymptotic variants of the game, where the number of cards is $n$, and show that all have expected termination time of order $n^2$. This is the same expected termination time as in the game where at each turn a fair coin toss decides which player wins a card, known as Gambler's Ruin and studied by Pascal, Fermat and others in the seventeenth century.
The Harer-Zagier and Jackson formulas and new results for one-face bipartite maps
Published in Proceedings of the American Mathematical Society, 152(10) (2024), 4245--4259
• View Publication
• BIB
The study of bipartite maps (or Grothendieck's dessins d'enfants) is closely connected with geometry, mathematical physics and free probability. Here we study these objects from their permutation factorization formulation using a novel character theory approach. We first present some general symmetric function expressions for the number of products of two permutations respectively from two arbitrary, but fixed, conjugacy classes indexed by $α$ and $γ$ which produce a permutation with $m$ cycles. Our next objective is to derive explicit formulas for the cases where $α$ corresponds to full cycles, i.e., one-face bipartite maps. We prove a far-reaching explicit formula, and show that the number for any $γ$ can be iteratively reduced to that of products of two full cycles, which implies an efficient dimension-reduction algorithm for building a database of all these numbers. Note that the number for products of two full cycles can be computed by the Zagier-Stanley formula. Also, in a unified way, we easily prove the celebrated Harer-Zagier formula and Jackson's formula, and we obtain explicit formulas for several new families as well.
Classifying Tree Topologies along Tropical Line Segments
Published in Alg. Stat. 14 (2023) 71-90
• View Publication
• BIB
The space of phylogenetic trees arises naturally in tropical geometry as the tropical Grassmannian. Tropical geometry therefore suggests a natural notion of a tropical path between two trees, given by a tropical line segment in the tropical Grassmannian. It was previously conjectured that tree topologies along such a segment change by a combinatorial operation known as Nearest Neighbor Interchange (NNI). We provide counterexamples to this conjecture, but prove that changes in tree topologies along the tropical line segment are either NNI moves or "four clade rearrangement" moves for generic trees. In addition, we show that the number of NNI moves occurring along the tropical line segment can be as large as $n^2$, but the average number of moves when the two endpoint trees are chosen at random is $O(n (\log n)^4)$. This is in contrast with $O(n \log n)$, the average number of NNI moves needed to transform one tree into another.
Top-degree components of Grothendieck and Lascoux polynomials
Published
• View Publication
• BIB
The Castelnuovo-Mumford polynomial $\widehat{\mathfrak{G}}_w$ with $w \in S_n$ is the highest homogeneous component of the Grothendieck polynomial $\mathfrak{G}_w$. Pechenik, Speyer and Weigandt define a statistic $\mathsf{rajcode}(\cdot)$ on $S_n$ that gives the leading monomial of $\widehat{\mathfrak{G}}_w$. We introduce a statistic $\mathsf{rajcode}(\cdot)$ on any diagram $D$ through a combinatorial construction ``snow diagram'' that augments and decorates $D$. When $D$ is the Rothe diagram of a permutation $w$, $\mathsf{rajcode}(D)$ agrees with the aforementioned $\mathsf{rajcode}(w)$. When $D$ is the key diagram of a weak composition $α$, $\mathsf{rajcode}(D)$ yields the leading monomial of $\widehat{\mathfrak{L}}_α$, the highest homogeneous component of the Lascoux polynomials $\mathfrak{L}_α$. We use $\widehat{\mathfrak{L}}_α$ to construct a basis of $\widehat{V}_n$, the span of $\widehat{\mathfrak{G}}_w$ with $w \in S_n$. Then we show $\widehat{V}_n$ gives a natural algebraic interpretation of a classical $q$-analogue of Bell numbers.