Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Explicit formulas for permutation pattern character polynomials
Given permutations $π\in S_n$ and $σ\in S_k$, let $N_σ(π)$ denote the number of occurrences of $σ$ in $π$. While pattern avoidance and the distribution of pattern occurrences in permutations have been extensively studied, their interactions with the group structure on $S_n$ are still poorly understood. Gaetz and Ryba showed that the expected value of $χ^{λ[n]}(π)N_σ(π)$ for $π\in S_n$ is given by a polynomial $a_σ^λ(n)$. More recently, Gaetz and Pierson derived explicit formulas for $a_{\mathrm{id}_k}^λ(n)$ when $\lvertλ\rvert \le 2$, which led them to conjecture that the polynomials $a_{\mathrm{id}_k}^λ(n)$ are real-rooted and nonnegative for $n \ge k$. We show that for all partitions $λ$, the polynomials $a_{\mathrm{id}_k}^λ(n)$ admit explicit closed forms in $n$ and $k$. These formulas allow us to exhibit counterexamples to Gaetz and Pierson's real-rootedness conjecture as well as to prove special cases of their nonnegativity conjecture. Lastly, we note that our results imply that the expected value of $f \cdot N_{\mathrm{id}_k}$ on $S_n$ admits a closed form whenever $f$ is a permutation statistic expressible as a polynomial in the functions $m_j \colon \bigsqcup_{n \ge 0} S_n \to \mathbb{Z}$ which count $j$-cycles in their inputs.
Paired 2-disjoint path covers of burnt pancake graphs with faulty elements
The burnt pancake graph $BP_n$ is the Cayley graph of the hyperoctahedral group using prefix reversals as generators. Let $\{u,v\}$ and $\{x,y\}$ be any two pairs of distinct vertices of $BP_n$ for $n\geq 4$. We show that there are $u-v$ and $x-y$ paths whose vertices partition the vertex set of $BP_n$ even if $BP_n$ has up to $n-4$ faulty elements. On the other hand, for every $n\ge3$ there is a set of $n-2$ faulty edges or faulty vertices for which such a fault-free disjoint path cover does not exist.
The Barnes-Hurwitz zeta cocycle at $s=0$ and Ehrhart quasi-polynomials of triangles
Published
• View Publication
• BIB
Following a theorem of David R. Hayes, we give a geometric interpretation of the special value at $s=0$ of certain $1$-cocycle on $\mathrm{PGL}_2(\mathbb{Q})$ previously introduced by the author. This work yields three main results: an explicit formula for our cocycle at $s=0$, a generalization and a new proof of Hayes' theorem, and an elegant summation formula for the $0$th coefficient of the Ehrhart quasi-polynomial of certain triangles in $\mathbb{R}^2$.
On the volumes of simplices determined by a subset of $\mathbb{R}^d$
Published in Ann. Fenn. Math. 50 (2025), no. 1, 97--108
• View Publication
• BIB
We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.
Mixed pairwise cross intersecting families (I)
An $(n, k_1, \dots, k_t)$-cross intersecting system is a set of non-empty pairwise cross-intersecting families $\mathcal{F}_1\subset{[n]\choose k_1}, \mathcal{F}_2\subset{[n]\choose k_2}, \dots, \mathcal{F}_t\subset{[n]\choose k_t}$ with $t\geq 2$ and $k_1\geq k_2\geq \cdots \geq k_t$. If an $(n, k_1, \dots, k_t)$-cross intersecting system contains at least two families which are cross intersecting freely and at least two families which are cross intersecting but not freely, then we say that the cross intersecting system is of mixed type. All previous studies are on non-mixed type, i.e, under the condition that $n \ge k_1+k_2$. In this paper, we study for the first interesting mixed type, an $(n, k_1, \dots, k_t)$-cross intersecting system with $k_1+k_3\leq n <k_1+k_2$, i.e., families $\mathcal{F}_i\subseteq {[n]\choose k_i}$ and $\mathcal{F}_j\subseteq {[n]\choose k_j}$ are cross intersecting freely if and only if $\{i, j\}=\{1, 2\}$. Let $M(n, k_1, \dots, k_t)$ denote the maximum sum of sizes of families in an $(n, k_1, \dots, k_t)$-cross intersecting system. We determine $M(n, k_1, \dots, k_t)$ and characterize all extremal $(n, k_1, \dots, k_t)$-cross intersecting systems for $k_1+k_3\leq n <k_1+k_2$. We think that the characterization of maximal cross intersecting L-initial families and the unimodality of functions in this paper are interesting in their own, in addition to the extremal result. The most general condition on $n$ is that $n\ge k_1+k_t$. This paper provides foundation work for the solution to the most general condition $n\ge k_1+k_t$.
Forts, (fractional) zero forcing, and Cartesian products of graphs
The (disjoint) fort number and fractional zero forcing number are introduced and related to existing parameters including the (standard) zero forcing number. The fort hypergraph is introduced and hypergraph results on transversals and matchings are applied to the zero forcing number and fort number. These results are used to establish a Vizing-like lower bound for the zero forcing number of a Cartesian product of graphs for certain families of graphs, and a family of graphs achieving this lower bound is exhibited.
Data-scientific study of Kronecker coefficients
Published
• View Publication
• BIB
We take a data-scientific approach to study whether Kronecker coefficients are zero or not. Motivated by principal component analysis and kernel methods, we define loadings of partitions and use them to describe a sufficient condition for Kronecker coefficients to be nonzero. The results provide new methods and perspectives for the study of these coefficients.
The birational geometry of Markov numbers
It is known that all degenerations of the complex projective plane into a surface with only quotient singularities are controlled by the positive integer solutions $(a,b,c)$ of the Markov equation $$x^2+y^2+z^2=3xyz.$$ It turns out that these degenerations are all connected through finite sequences of other simpler degenerations by means of birational geometry. In this paper, we explicitly describe these birational sequences and show how they are bridged among all Markov solutions. For a given Markov triple $(a,b,c)$, the number of birational modifications depends on the number of branches that it needs to cross in the Markov tree to reach the Fibonacci branch. We show that each of these branches corresponds exactly to a Mori train of the flipping universal family of a particular cyclic quotient singularity defined by $(a,b,c)$. As a byproduct, we obtain new numerical/combinatorial data for each Markov number, and new connections with the Markov conjecture (Frobenius Uniqueness Conjecture), which rely on Hirzebruch-Jung continued fractions of Wahl singularities.
Matrix positivity preservers in fixed dimension. II: positive definiteness and strict monotonicity of Schur function ratios
We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials.
Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary.
The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.
Symmetry-Based Quantum Circuit Mapping
Published in Phys. Rev. Applied 22, 024029 (2024)
• View Publication
• BIB
Quantum circuit mapping is a crucial process in the quantum circuit compilation pipeline, facilitating the transformation of a logical quantum circuit into a list of instructions directly executable on a target quantum system. Recent research has introduced a post-compilation step known as remapping, which seeks to reconfigure the initial circuit mapping to mitigate quantum circuit errors arising from system variability. As quantum processors continue to scale in size, the efficiency of quantum circuit mapping and the overall compilation process has become of paramount importance. In this work, we introduce a quantum circuit remapping algorithm that leverages the intrinsic symmetries in quantum processors, making it well-suited for large-scale quantum systems. This algorithm identifies all topologically equivalent circuit mappings by constraining the search space using symmetries and accelerates the scoring of each mapping using vector computation. Notably, this symmetry-based circuit remapping algorithm exhibits linear scaling with the number of qubits in the target quantum hardware and is proven to be optimal in terms of its time complexity. Moreover, we conduct a comparative analysis against existing methods in the literature, demonstrating the superior performance of our symmetry-based method on state-of-the-art quantum hardware architectures and highlighting the practical utility of our algorithm, particularly for quantum processors with millions of qubits.
On stability of weighted spanning tree degree enumerators
Published
• View Publication
• BIB
Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.
On some integrable models in inhomogeneous space
The purpose of this work is to build a framework that allows for an in-depth study of various generalisations to inhomogeneous space of models of Borodin-Ferrari, Dieker-Warren, Nordenstam, Warren-Windridge of interacting particles in interlacing arrays, both in discrete and continuous time, involving both Bernoulli and geometric jumps. The models can in addition be either time-inhomogeneous or particle-inhomogeneous. We show that the correlation functions of these models are determinantal and using this we prove a short-time asymptotic for these dynamics to the discrete Bessel point process. We moreover prove a number of closely related results. We prove that the autonomous, inhomogeneous in space and time, TASEP-like and pushTASEP-like particle systems on the edges of the array have explicit transition kernels and that from any deterministic initial condition their distributions are marginals of a determinantal measure. We prove a novel duality relation between dynamics in inhomogeneous space and dynamics with inhomogeneities on the level of the array. We extend the work of Nordenstam on the shuffling algorithm for domino tilings of the Aztec diamond and its relation to push-block dynamics in interlacing arrays to general weights on the tilings and then connect this, for a special class of weights, back to our previous results. We also consider non-intersecting walks in inhomogeneous space and time with fixed starting and end points and obtain a formula for their correlation functions, involving among other ingredients, an explicit Riemann-Hilbert problem. We then prove a limit theorem for the bottom lines in this line-ensemble, under some technical conditions. The main computational tool throughout this work is a natural generalisation of a Toeplitz matrix, that we call inhomogeneous Toeplitz-like matrix $\mathsf{T}_{\mathbf{f}}$ with (a possibly matrix-valued) symbol $\mathbf{f}$.
Improved covering results for conjugacy classes of symmetric groups via hypercontractivity
Published in Forum of Mathematics, Sigma 12 (2024) e85
• View Publication
• BIB
We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as \emph{normal} sets. We show that for any $ε>0$, there exists $n_0$ such that if $n>n_0$ and $A$ is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - ε}}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$.
Our proof strategy combines two types of techniques. The first is `traditional' techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck--Shalev, Larsen--Shalev, and more recently, Larsen--Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups.
Implementing and Experimenting with the Calabi-Wilf algorithm for random selection of a subspace over a finite field
We revisit, implement, and experiment with a beautiful algorithm, due to Calabi and Wilf for the random generation of subspaces over a finie field.
A collection of open problems in celebration of Imre Leader's 60th birthday
One of the great pleasures of working with Imre Leader is to experience his infectious delight on encountering a compelling combinatorial problem. This collection of open problems in combinatorics has been put together by a subset of his former PhD students and students-of-students for the occasion of his 60th birthday. All of the contributors have been influenced (directly or indirectly) by Imre: his personality, enthusiasm and his approach to mathematics. The problems included cover many of the areas of combinatorial mathematics that Imre is most associated with: including extremal problems on graphs, set systems and permutations, and Ramsey theory. This is a personal selection of problems which we find intriguing and deserving of being better known. It is not intended to be systematic, or to consist of the most significant or difficult questions in any area. Rather, our main aim is to celebrate Imre and his mathematics and to hope that these problems will make him smile. We also hope this collection will be a useful resource for researchers in combinatorics and will stimulate some enjoyable collaborations and beautiful mathematics.
Abundance: Asymmetric Graph Removal Lemmas and Integer Solutions to Linear Equations
We prove that a large family of pairs of graphs satisfy a polynomial dependence in asymmetric graph removal lemmas. In particular, we give an unexpected answer to a question of Gishboliner, Shapira, and Wigderson by showing that for every $t \geqslant 4$, there are $K_t$-abundant graphs of chromatic number $t$. Using similar methods, we also extend work of Ruzsa by proving that a set $\mathcal{A} \subset \{1,\dots,N\}$ which avoids solutions with distinct integers to an equation of genus at least two has size $\mathcal{O}(\sqrt{N})$. The best previous bound was $N^{1 - o(1)}$ and the exponent of $1/2$ is best possible in such a result. Finally, we investigate the relationship between polynomial dependencies in asymmetric removal lemmas and the problem of avoiding integer solutions to equations. The results suggest a potentially deep correspondence. Many open questions remain.
Order-2 Delaunay Triangulations Optimize Angles
Published in Advances in Mathematics. 461, February 2025, 110055
• View Publication
• BIB
The local angle property of the (order-$1$) Delaunay triangulations of a generic set in $\mathbb{R}^2$ asserts that the sum of two angles opposite a common edge is less than $π$. This paper extends this property to higher order and uses it to generalize two classic properties from order-$1$ to order-$2$: (1) among the complete level-$2$ hypertriangulations of a generic point set in $\mathbb{R}^2$, the order-$2$ Delaunay triangulation lexicographically maximizes the sorted angle vector; (2) among the maximal level-$2$ hypertriangulations of a generic point set in $\mathbb{R}^2$, the order-$2$ Delaunay triangulation is the only one that has the local angle property. We also use our method of establishing (2) to give a new short proof of the angle vector optimality for the (order-1) Delaunay triangulation. For order-$1$, both properties have been instrumental in numerous applications of Delaunay triangulations, and we expect that their generalization will make order-$2$ Delaunay triangulations more attractive to applications as well.
The Pak--Postnikov and Naruse skew hook length formulas: a new proof
The classical hook length formula of enumerative combinatorics expresses the number of standard Young tableaux of a given partition shape as a single fraction. In recent years, two generalizations of this formula have emerged: one by Pak and Postnikov, replacing the number by a (rational) generating function, and one by Naruse, which generalizes the setting from a partition to a skew partition. Both generalizations appear to lie significantly deeper, with no simple proofs known. We combine them into a generating-function identity for skew partitions, and prove it in a fairly elementary way using recursion, determinants and simple combinatorics.
Rainbow subgraphs of uniformly coloured randomly perturbed graphs
Published
• View Publication
• BIB
For a given $δ\in (0,1)$, the randomly perturbed graph model is defined as the union of any $n$-vertex graph $G_0$ with minimum degree $δn$ and the binomial random graph $\mathbf{G}(n,p)$ on the same vertex set. Moreover, we say that a graph is uniformly coloured with colours in $\mathcal{C}$ if each edge is coloured independently and uniformly at random with a colour from $\mathcal{C}$.
Based on a coupling idea of McDiarmird, we provide a general tool to tackle problems concerning finding a rainbow copy of a graph $H=H(n)$ in a uniformly coloured perturbed $n$-vertex graph with colours in $[(1+o(1))e(H)]$. For example, our machinery easily allows to recover a result of Aigner-Horev and Hefetz concerning rainbow Hamilton cycles, and to improve a result of Aigner-Horev, Hefetz and Lahiri concerning rainbow bounded-degree spanning trees.
Furthermore, using different methods, we prove that for any $δ\in (0,1)$ and integer $d \ge 2$, there exists $C=C(δ,d)>0$ such that the following holds. Let $T$ be a tree on $n$ vertices with maximum degree at most $d$ and $G_0$ be an $n$-vertex graph with $δ(G_0)\ge δn$. Then a uniformly coloured $G_0 \cup \mathbf{G}(n,C/n)$ with colours in $[n-1]$ contains a rainbow copy of $T$ with high probability. This is optimal both in terms of colours and edge probability (up to a constant factor).
Note on power hypergraphs with equal domination and matching numbers
We present some examples that refute two recent results in the literature concerning the equality of the domination and matching numbers for power and generalized power hypergraphs. In this note we pinpoint the flaws in the proofs and suggest how they may be mended.