Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Grothendieck Shenanigans: Permutons from pipe dreams via integrable probability
Published
• View Publication
• BIB
We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class.
We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.
The poset of normalized ideals of numerical semigroups with multiplicity three
Published
• View Publication
• BIB
We study the poset of normalized ideals of a numerical semigroup with multiplicity three. We show that this poset is always a lattice, and that two different numerical semigroups with multiplicity three have non-isomorphic posets of normalized ideals.
Proofs of Mizuno's Conjectures on Rank Three Nahm Sums of Index $(1,2,2)$
Published
• View Publication
• BIB
Mizuno provided 15 examples of generalized rank three Nahm sums with symmetrizer $\mathrm{diag}(1,2,2)$ which are conjecturally modular. Using the theory of Bailey pairs and some $q$-series techniques, we establish a number of triple sum Rogers--Ramanujan type identities. These identities confirm the modularity of all of Mizuno's examples except that two Nahm sums are sums of modular forms of weights $0$ and $1$. We also prove Mizuno's conjectural modular transformation formulas for two vector-valued functions consisting of Nahm sums with symmetrizers $\mathrm{diag}(1,1,2)$ and $\mathrm{diag}(1,2,2)$.
On the spouse-loving variant of the Oberwolfach problem
Published in J. Combin. Des 27 (2019), 251-260
• View Publication
• BIB
We prove that $K_n+I$, the complete graph of an even order with a $1$-factor duplicated, admits a decomposition into $2$-factors, each a disjoint union of cycles of length $m \geq 5$ if and only if $m \mid n$, except possibly when $m$ is odd and $n=4m$. In addition, we show that $K_n+I$ admits a decomposition into $2$-factors, each a disjoint union of cycles of lengths $m_1, \ldots, m_t$, whenever $m_1, \ldots, m_t$ are all even.
Sign-balance of excedances over mod-k-alternating permutations and gamma-positivity
Published
• View Publication
• BIB
A permutation is called mod-k-alternating if its entries are restricted to having the same remainder as the index, modulo some integer $k \geq 1.$ In this paper, we find the sign-balance for mod-k-alternating permutations with respect to the statistic excedance. Moreover, we study the sign-balance for excedances over mod-k-alternating derangements. The results are obtained by constructing suitable matrices and connecting their determinants with the signed excedance enumeration of mod-k-alternating permutations. As an application of the signed excedance enumeration, we prove that when $n \equiv k \pmod {2k}$, the excedance enumerating polynomials over the even and odd mod-k-alternating permutations, starting with a fixed remainder, are gamma-positive.
The Aldous--Lyons Conjecture I: Subgroup Tests
This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement.
In this part we introduce subgroup tests. These tests are finite distributions over continuous functions from the space of subgroups of the free group to $\{0,1\}$. Subgroup tests provide a general framework in which one can study invariant random subgroups of the free group. Classical notions such as group soficity and group stability arise naturally in this framework. By the correspondence between subgroups of the free group and Schreier graphs, one can view subgroup tests as a property testing model for certain edge-labeled graphs. This correspondence also provides the connection to random networks.
Subgroup tests have values, which are their asymptotic optimal expectations when integrated against co-sofic invariant random subgroups. Our first main result is that, if every invariant random subgroup of the free group is co-sofic, then one can approximate the value of a subgroup test up to any positive additive constant. Our second main result is an essentially value preserving correspondence between certain non-local games and subgroup tests. By composing this correspondence with a stronger variant of the reduction in MIP*=RE [JNV+21], proved in the companion paper [BCV24], we deduce that approximating the sofic value of a subgroup test is as hard as the Halting Problem, and in particular, undecidable. The combination of our two main results proves the existence of non co-sofic invariant random subgroups of the free group.
Matroid reinforcement and sparsification
Homogeneous matroids are characterized by the property that strength equals fractional arboricity, and arise in the study of base modulus [22]. For graphic matroids, Cunningham [9] provided efficient algorithms for calculating graph strength, and also for determining minimum cost reinforcement to achieve a desired strength. This paper extends this latter problem by focusing on two optimal strategies for transforming a matroid into a homogeneous one, by either increasing or decreasing element weights. As an application to graphs, we give algorithms to solve this problem in the context of spanning trees.
Freiman's $3k-4$ Theorem for Function Fields
Freiman's $3k-4$ Theorem states that if a subset $A$ of $k$ integers has a Minkowski sum $A+A$ of size at most $3k-4$, then it must be contained in a short arithmetic progression. We prove a function field analogue that is also a generalisation: it states that if $K$ is a perfect field and if $S\supset K$ is a vector space of dimension $k$ inside an extension $F/K$ in which~$K$ is algebraically closed, and if the $K$-vector space generated by all products of pairs of elements of $S$ has dimension at most $3k-4$, then $K(S)$ is a function field of small genus, and $S$ is of small codimension inside a Riemann-Roch space of $K(S)$.
$q$-Binomial Identities Finder
Published
• View Publication
• BIB
This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalschütz's formula and $q$-Suranyi's formula, are re-fund, and numerous new ones are discovered. Moreover, the generation of the identities is accompanied by the corresponding proofs. During the transformation process, different ranges of variable values and various combinations of $q$-Pochhammer symbols yield different identities. The algorithm maps variable constraints to positive elements in an ordered vector space and employs a backtracking method to provide the feasible variable constraints and $q$-binomial coefficient combinations for each step.
Algorithmic Pot Generation: Algorithms for the Flexible-Tile Model of DNA Self-Assembly
Recent advancements in microbiology have motivated the study of the production of nanostructures with applications such as biomedical computing and molecular robotics. One way to construct these structures is to construct branched DNA molecules that bond to each other at complementary cohesive ends. One practical question is: given a target nanostructure, what is the optimal set of DNA molecules that assemble such a structure? We use a flexible-tile graph theoretic model to develop several algorithmic approaches, including a integer programming approach. These approaches take a target undirected graph as an input and output an optimal collection of component building blocks to construct the desired structure.
Two parallel dynamic lexicographic algorithms for factorization sets in numerical semigroups
To the existing dynamic algorithm FactorizationsUpToElement for factorization sets of elements in a numerical semigroup, we add lexicographic and parallel behavior. To the existing parallel lexicographic algorithm for the same, we add dynamic behavior. The (dimensionwise) dynamic algorithm is parallelized either elementwise or factorizationwise, while the parallel lexicographic algorithm is made dynamic with low-dimension tabulation. The tabulation for the parallel lexicographic algorithm can itself be performed using the dynamic algorithm. We provide reference CUDA implementations with measured runtimes.
Association schemes obtained from the action of the general unitary group on isotropic vectors
Published
• View Publication
• BIB
An infinite family of association schemes obtained from the general unitary groups acting transitively on the sets of isotropic vectors in the finite unitary spaces are investigated. We compute the parameters and determine the character tables for all nontrivial commutative association schemes belonging to this family.
Unmixed polymatroidal ideals
Published
• View Publication
• BIB
Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work addresses a question raised by Herzog and Hibi in [10]
Hyperelliptic four-manifolds defined by vector-colorings of simple polytopes
Published
• View Publication
• BIB
Toric topology assigns to each simple convex $n$-polytope $P$ with $m$ facets an $n$-dimensional real moment angle manifold $\mathbb RZ_P$ with a canonical action of $\mathbb Z_2^m=(\mathbb Z/2\mathbb Z)^m$. We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on $\mathbb RZ_P$. The orbit space $N(P,H)=\mathbb RZ_P/H$ has an action of $\mathbb Z_2^m/H$. For general $n$ we introduce the notion of a Hamiltonian $C(n,k)$-subcomplex in the boundary of an $n$-polytope $P$ generalizing the notions of a Hamiltonian cycle ($k=2$), Hamiltonian theta-subgraph ($k=3$) and Hamiltonian $K_4$-subgraph ($k=4)$ in the $1$-skeleton of a $3$-polytope. Each $C(n,k)$-subcomplex $C\subset \partial P$ corresponds to a subgroup $H_C\subset\mathbb Z_2^m$ such that $N(P,H_C)\simeq S^n$. We prove that in dimensions $n\leqslant 4$ this correspondence is a bijection. Any subgroup $H\subset \mathbb Z_2^m$ defines a complex $C(P,H)\subset \partial P$. We prove that each Hamiltonian $C(n,k)$-subcomplex $C\subset C(P,H)$ inducing $H$ corresponds to a hyperelliptic involution $τ_C\in\mathbb Z_2^m/H$ on the manifold $N(P,H)$ (that is, an involution with the orbit space homeomorphic to $S^n$) and in dimensions $n\leqslant 4$ this correspondence is a bijection. We prove that for the geometries $\mathbb X= \mathbb S^4$, $\mathbb S^3\times\mathbb R$, $\mathbb S^2\times \mathbb S^2$, $\mathbb S^2\times \mathbb R^2$, $\mathbb S^2\times \mathbb L^2$, and $\mathbb L^2\times \mathbb L^2$ there exists a compact right-angled $4$-polytope $P$ with a free action of $H$ such that the geometric manifold $N(P,H)$ has a hyperelliptic involution in $\mathbb Z_2^m/H$, and for $\mathbb X=\mathbb R^4$, $\mathbb L^4$, $\mathbb L^3\times \mathbb R$ and $\mathbb L^2\times \mathbb R^2$ there are no such polytopes.
Vertex generated polytopes
In this paper we define and investigate a class of polytopes which we call "vertex generated" consisting of polytopes which are the average of their $0$ and $n$ dimensional faces. We show many results regarding this class, among them: that the class contains all zonotopes, that it is dense in dimension $n=2$, that any polytope can be summed with a zonotope so that the sum is in this class, and that a strong form of the celebrated "Maurey Lemma" holds for polytopes in this class. We introduce for every polytope a parameter which measures how far it is from being vertex-generated, and show that when this parameter is small, strong covering properties hold.
On cover-free families of finite vector spaces
Published
• View Publication
• BIB
There is a large literature on cover-free families of finite sets, because of their many applications in combinatorial group testing, cryptographic and communications. This work studies the generalization of cover-free families from sets to finite vector spaces. Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$ and let $\left[V\atop k\right]_q$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq \left[V\atop k\right]_q$ is called cover-free if there are no three distinct subspaces $F_{0}, F_{1}, F_{2}\in \mathcal{F}$ such that $F_{0}\leq (F_{0}\cap F_{1})+(F_{0}\cap F_{2})$. A family $\mathcal{H}\subseteq \left[V\atop k\right]_q$ is called a $q$-Steiner system $S_{q}(t, k, n)$ if for every $T\in \left[V\atop t\right]_q$, there is exactly one $H\in \mathcal{H}$ such that $T\leq H$. In this paper we investigate cover-free families in the vector space $V$. Firstly, we determine the maximum size of a cover-free family in $\left[V\atop k\right]_q$. Secondly, we characterize the structures of all maximum cover-free families which are closely related to $q$-Steiner systems.
On the minimum density of monotone subwords
Published
• View Publication
• BIB
We consider the asymptotic minimum density $f(s,k)$ of monotone $k$-subwords of words over a totally ordered alphabet of size $s$. The unrestricted alphabet case, $f(\infty,k)$, is well-studied, known for $f(\infty,3)$ and $f(\infty,4)$, and, in particular, conjectured to be rational for all $k$. Here we determine $f(2,k)$ for all $k$ and determine $f(3,3)$, which is already irrational. We describe an explicit construction for all $s$ which is conjectured to yield $f(s,3)$. Using our construction and flag algebra, we determine $f(4,3),f(5,3),f(6,3)$ up to $10^{-3}$ yet argue that flag algebra, regardless of computational power, cannot determine $f(5,3)$ precisely. Finally, we prove that for every fixed $k \ge 3$, the gap between $f(s,k)$ and $f(\infty,k)$ is $Θ(\frac{1}{s})$.
Transformation properties of Andrews-Beck $NT$ functions and generalized Appell-Lerch series
In 2021, Andrews mentioned that George Beck introduced a partition statistic $NT(r,m,n)$ which is related to Dyson's rank statistic. Motivated by Andrews's work, scholars have established a number of congruences and identities involving $NT(r,m,n)$. In this paper, we strengthen and extend a recent work of Mao on the transformation properties of the $NT$ function and provide an analogy of Hickerson and Mortenson's work on the rank function. As an application, we demonstrate how one can deduce from our results many identities involving $NT(r,m,n)$ and another crank-analog statistic $M_ω(r,m,n)$. As a related result, some new properties of generalized Appell-Lerch series are given.
Cardinalities of irredundant bases of finite primitive groups
Published
• View Publication
• BIB
Let $G$ be a finite permutation group acting on a set $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point is fixed by the stabilizer of its predecessors. We show that any interval of natural numbers can be realized as the set of cardinalities of irredundant bases for some finite primitive group.
Colorful positive bases decomposition and Helly-type results for cones
Published
• View Publication
• BIB
We prove the following colorful Helly-type result: Fix $k \in [d-1]$. Assume $\mathcal{A}_1, \dots, \mathcal{A}_{d+(d-k)+1}$ are finite sets (colors) of nonzero vectors in $\R^d$. If for every rainbow sub-selection $R$ from these sets of size at most $\max \{d+1, 2(d-k+1)\}$, the system $\langle {a},{x} \rangle \leq 0,\; a \in R$ has at least $k$ linearly independent solutions, then at least one of the systems $\langle {a},{x} \rangle \leq 0,\; a \in \mathcal{A}_i,$ $i \in [d+(d-k)+1]$ has at least $k$ linearly independent solutions.
A \emph{rainbow sub-selection} from several sets refers to choosing at most one element from each set (color).
The Helly number $\max \{d+1, 2(d-k+1)\}$ and the number of colors $d+(d-k)+1$ are optimal.
Our key observation is a certain colorful Carathéodory-type result for positive bases.