Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Rank-one perturbations of matrix pencils
We solve the problem of characterizing the Kronecker structure of a matrix pencil obtained by a rank-one perturbation of another matrix pencil. The results hold over arbitrary fields.
Width-k Eulerian polynomials of type A and B and its Gamma-positivity
Published
• View Publication
• BIB
We define some generalizations of the classical descent and inversion statistics on signed permutations that arise from the work of Sack and Ulfarsson [20] and called after width-k descents and width-k inversionsof type A in Davis's work [8]. Using the aforementioned new statistics, we derive some new generalizations of Eulerian polynomials of type A, B and D. It should also be noticed that we establish the Gamma-positivity of the "width-k" Eulerian polynomials and we give a combinatorial interpretation of finite sequences associated to these new polynomials using quasisymmetric functions and P-partition in Petersen's work [18].
Freeness for multiarrangements of hyperplanes over arbitrary fields
Published
• View Publication
• BIB
In this paper, we study the class of free multiarrangements of hyperplanes. Specifically, we investigate the relations between freeness over a field of finite characteristic and freeness over the rationals.
Smooth torus quotients of Schubert varieties in the Grassmannian
Published
• View Publication
• BIB
Let $r < n$ be positive integers and further suppose $r$ and $n$ are coprime. We study the GIT quotient of Schubert varieties $X(w)$ in the Grassmannian $G_{r,n}$, admitting semistable points for the action of $T$ with respect to the $T$-linearized line bundle ${\cal L}(nω_r)$. We give necessary and sufficient combinatorial conditions for the GIT quotient $T\backslash\mkern-6mu\backslash X(w)^{ss}_{T}({\cal L}(nω_r))$ to be smooth.
A Fast Fourier Transform for the Johnson graph
Published
• View Publication
• BIB
The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis.
The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. The factorization is based on the construction of $n-1$ intermediate bases which are parametrized via the Robinson-Schensted insertion algorithm. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$.
We show that each one of these sparse matrices can be constructed using $O(\binom{n}{k})$ arithmetic operations. Our construction does not depend on numerical methods. Instead, they are obtained by solving small linear systems with integer coefficients derived from the Jucys-Murphy operators. Then both the construction and the succesive application of all these $n-1$ matrices can be performed using $O(n \binom{n}{k})$ operations.
As a consequence, we show that the problem of computing all the weights of the isotypic components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$.
Iterated Ramsey bounds for the Hales-Jewett numbers
Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow $N_0$ to be empty) and some $ρ_0: N_0 \to Λ$, such that the subspace consists of those $ρ\in \mathcal{U}_{M, Λ}$ such that for $0<l<k+1, ρ\restriction N_l$ is constant and $ρ\restriction N_0= ρ_0.$
It seems natural to think it is better to have each $N_{l}, 0<l<k+1$ a singleton. However it is then impossible to always find monochromatic $k$-dimensional subspaces (for example color $η$ by $0$ if $|η^{-1}\{α\}|$ is an even number and by $1$ otherwise). But modulo restricting the sign of each $|η^{-1}\{α\}|$, we prove the parallel theorem -- whose proof is not related to the Hales-Jewett theorem. We then connect the two numbers by showing that the Hales-Jewett numbers are not too much above the present ones. This gives an alternative proof of the Hales-Jewett theorem.
A universal tropical Jacobian over $M_g^{\trop}$
Published
• View Publication
• BIB
We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical counterpart of Caporaso universal Picard scheme. We describe polyhedral decompositions of the Jacobian of a tropical curve via polystable divisors, relating them with other known polyhedral decompositions.
Stringy Canonical Forms
Published
• View Publication
• BIB
Canonical forms of positive geometries play an important role in revealing hidden structures of scattering amplitudes, from amplituhedra to associahedra. In this paper, we introduce "stringy canonical forms", which provide a natural definition and extension of canonical forms for general polytopes, deformed by a parameter $α'$. They are defined by real or complex integrals regulated with polynomials with exponents, and are meromorphic functions of the exponents, sharing various properties of string amplitudes. As $α' \to 0$, they reduce to the usual canonical form of a polytope given by the Minkowski sum of the Newton polytopes of the regulating polynomials, or equivalently the volume of the dual of this polytope, naturally determined by tropical functions. At finite $α'$, they have simple poles corresponding to the facets of the polytope, with the residue on the pole given by the stringy canonical form of the facet. There is the remarkable connection between the $α' \to 0$ limit of tree-level string amplitudes, and scattering equations that appear when studying the $α' \to \infty$ limit. We show that there is a simple conceptual understanding of this phenomenon for any stringy canonical form: the saddle-point equations provide a diffeomorphism from the integration domain to the interior of the polytope, and thus the canonical form can be obtained as a pushforward via summing over saddle points. When the stringy canonical form is applied to the ABHY associahedron in kinematic space, it produces the usual Koba-Nielsen string integral, giving a direct path from particle to string amplitudes without an a priori reference to the string worldsheet. We also discuss a number of other examples, including stringy canonical forms for finite-type cluster algebras (with type A for string amplitudes), and other natural integrals over the positive Grassmannian.
The Maximin Share Dominance Relation
Given a finite set $X$ and an ordering $\succeq$ over its subsets, the $l$-out-of-$d$ maximin-share of $X$ is the maximal (by $\succeq$) subset of $X$ that can be constructed by partitioning $X$ into $d$ parts and picking the worst union of $l$ parts. A pair of integers $(l,d)$ dominates a pair $(l',d')$ if, for any set $X$ and ordering $\succeq$, the $l$-out-of-$d$ maximin-share of $X$ is at least as good (by $\succeq$) as the $l'$-out-of-$d'$ maximin-share of $X$. This note presents a necessary and sufficient condition for deciding whether a given pair of integers dominates another pair, and an algorithm for finding all non-dominated pairs. It compares the $l$-out-of-$d$ maximin-share to some other criteria for fair allocation of indivisible objects among people with different entitlements.
On Littlewood-Offord theory for arbitrary distributions
Let $X_1,\ldots,X_n$ be independent identically distributed random vectors in $\mathbb{R}^d$. We consider upper bounds on $\max_x \mathbb{P}(a_1X_1+\cdots+a_nX_n=x)$ under various restrictions on $X_i$ and the weights $a_i$. When $\mathbb{P}(X_i=\pm 1) = \frac {1} {2}$, this corresponds to the classical Littlewood-Offord problem. We prove that in general for identically distributed random vectors and even values of $n$ the optimal choice for $(a_i)$ is $a_i=1$ for $i\leq \frac{n}{2}$ and $a_i=-1$ for $i > \frac {n} 2$, regardless of the distribution of $X_1$. Applying these results for Bernoulli random variables answers a recent question of Fox, Kwan and Sauermann.
Finally, we provide sharp bounds for concentration probabilities of sums of random vectors under the condition $\sup_{x}\mathbb{P}(X_i=x)\leq α$, where it turns out that the worst case scenario is provided by distributions on an arithmetic progression that are in some sense as close to the uniform distribution as possible. An important feature of this work is that unlike much of the literature on the subject we use neither methods of harmonic analysis nor those from extremal combinatorics.
A New Bound for the Brown--Erdős--Sós Problem
Published
• View Publication
• BIB
Let $f(n,v,e)$ denote the maximum number of edges in a $3$-uniform hypergraph not containing $e$ edges spanned by at most $v$ vertices. One of the most influential open problems in extremal combinatorics then asks, for a given number of edges $e \geq 3$, what is the smallest integer $d=d(e)$ so that $f(n,e+d,e) = o(n^2)$? This question has its origins in work of Brown, Erdős and Sós from the early 70's and the standard conjecture is that $d(e)=3$ for every $e \geq 3$. The state of the art result regarding this problem was obtained in 2004 by Sárközy and Selkow, who showed that $f(n,e + 2 + \lfloor \log_2 e \rfloor,e) = o(n^2)$. The only improvement over this result was a recent breakthrough of Solymosi and Solymosi, who improved the bound for $d(10)$ from 5 to 4. We obtain the first asymptotic improvement over the Sárközy--Selkow bound, showing that $$ f(n, e + O(\log e/ \log\log e), e) = o(n^2). $$
The group $C^4_p\times C_q$ is a DCI-group
Published in Discrete Mathematics, Volume 345, Issue 3 (2022), Article ID 112705
• View Publication
• BIB
We prove that the group $C_p^4\times C_q$ is a DCI-group for distinct primes $p$ and $q$, that is, two Cayley digraphs over $C_p^4 \times C_q$ are isomorphic if and only if their connection sets are conjugate by a group automorphism.
Asymptotic enumeration of lonesum matrices
Published
• View Publication
• BIB
We provide bivariate asymptotics for the poly-Bernoulli numbers, a combinatorial array that enumerates lonesum matrices, using the methods of Analytic Combinatorics in Several Variables (ACSV). For the diagonal asymptotic (i.e., for the special case of square lonesum matrices) we present an alternative proof based on Parseval's identity. In addition, we provide an application in Algebraic Statistics on the asymptotic ML-degree of the bivariate multinomial missing data problem, and we strengthen an existing result on asymptotic enumeration of permutations having a specified excedance set.
Toric heaps, cyclic reducibility, and conjugacy in Coxeter groups
Published
• View Publication
• BIB
As a visualization of Cartier and Foata's "partially commutative monoid" theory, G.X. Viennot introduced "heaps of pieces" in 1986. These are essentially labeled posets satisfying a few additional properties. They naturally arise as models of reduced words in Coxeter groups. In this paper, we introduce a cyclic version, motivated by the idea of taking a heap and wrapping it into a cylinder. We call this object a "toric heap", as we formalize it as a labeled toric poset, which is a cyclic version of an ordinary poset. To define the concept of a toric extension, we develop a morphism in the category of toric heaps. We study toric heaps in Coxeter theory, in view of the fact that a cyclic shift of a reduced word is simply a conjugate by an initial or terminal generator. This allows us to formalize and study a framework of "cyclic reducibility" in Coxeter theory, and apply it to model conjugacy. We introduce the notion of "torically reduced", which is stronger than being cyclically reduced for group elements. This gives rise to a new class of elements called "torically fully commutative" (TFC), which are those that have a unique cyclic commutativity class, and comprise a strictly bigger class than the "cyclically fully commutative" (CFC) elements. We prove several cyclic analogues of results on fully commutative (FC) elements due to Stembridge. We conclude with how this framework fits into recent work in Coxeter groups, and we correct a minor flaw in a few recently published theorems.
The Planted Matching Problem: Phase Transitions and Exact Results
Published
• View Publication
• BIB
We study the problem of recovering a planted matching in randomly weighted complete bipartite graphs $K_{n,n}$. For some unknown perfect matching $M^*$, the weight of an edge is drawn from one distribution $P$ if $e \in M^*$ and another distribution $Q$ if $e \notin M^*$. Our goal is to infer $M^*$, exactly or approximately, from the edge weights. In this paper we take $P=\exp(λ)$ and $Q=\exp(1/n)$, in which case the maximum-likelihood estimator of $M^*$ is the minimum-weight matching $M_{\text{min}}$. We obtain precise results on the overlap between $M^*$ and $M_{\text{min}}$, i.e., the fraction of edges they have in common. For $λ\ge 4$ we have almost perfect recovery, with overlap $1-o(1)$ with high probability. For $λ< 4$ the expected overlap is an explicit function $α(λ) < 1$: we compute it by generalizing Aldous' celebrated proof of the $ζ(2)$ conjecture for the un-planted model, using local weak convergence to relate $K_{n,n}$ to a type of weighted infinite tree, and then deriving a system of differential equations from a message-passing algorithm on this tree.
An equivariant basis for the cohomology of Springer fibers
Published
• View Publication
• BIB
Springer fibers are subvarieties of the flag variety that play an important role in combinatorics and geometric representation theory. In this paper, we analyze the equivariant cohomology of Springer fibers for $GL_n(\mathbb{C})$ using results of Kumar and Procesi that describe this equivariant cohomology as a quotient ring. We define a basis for the equivariant cohomology of a Springer fiber, generalizing a monomial basis of the ordinary cohomology defined by De Concini and Procesi and studied by Garsia and Procesi. Our construction yields a combinatorial framework with which to study the equivariant and ordinary cohomology rings of Springer fibers. As an application, we identify an explicit collection of (equivariant) Schubert classes whose images in the (equivariant) cohomology ring of a given Springer fiber form a basis.
CAT(0) geometry, robots, and society
Published in Notices of the American Mathematical Society (67) (2020), 977-987
• View Publication
• BIB
How do we move a robot efficiently from one position to another? To answer this question, we need to understand its configuration space, a 'map' where we can find every possible position of the robot. Unfortunately, these maps are very large, they live in high dimensions, and they are very difficult to visualize. Fortunately, for some discrete robots they are CAT(0) cubical complexes, a family of spaces with favorable properties. In this case, using ideas from combinatorics and geometric group theory, we can construct a 'remote control' to navigate these complicated maps, and move the robots optimally. Along the way, we face larger ethical questions that we cannot ignore.
Glauber dynamics for Ising models on random regular graphs: cut-off and metastability
Published
• View Publication
• BIB
Consider random $d$-regular graphs, i.e., random graphs such that there are exactly $d$ edges from each vertex for some $d\ge 3$. We study both the configuration model version of this graph, which has occasional multi-edges and self-loops, as well as the simple version of it, which is a $d$-regular graph chosen uniformly at random from the collection of all $d$-regular graphs.
In this paper, we discuss mixing times of Glauber dynamics for the Ising model with an external magnetic field on a random $d$-regular graph, both in the quenched as well as the annealed settings. Let $β$ be the inverse temperature, $β_c$ be the critical temperature and $B$ be the external magnetic field. Concerning the annealed measure, we show that for $β> β_c$ there exists $\hat{B}_c(β)\in (0,\infty)$ such that the model is metastable (i.e., the mixing time is exponential in the graph size $n$) when $β> β_c$ and $0 \leq B < \hat{B}_c(β)$, whereas it exhibits the cut-off phenomenon at $c_\star n \log n$ with a window of order $n$ when $β< β_c$ or $β> β_c$ and $B>\hat{B}_c(β)$. Interestingly, $\hat{B}_c(β)$ coincides with the critical external field of the Ising model on the $d$-ary tree (namely, above which the model has a unique Gibbs measure). Concerning the quenched measure, we show that there exists $B_c(β)$ with $B_c(β) \leq \hat{B}_c(β)$ such that for $β> β_c$, the mixing time is at least exponential along some subsequence $(n_k)_{k\geq 1}$ when $0 \leq B < B_c(β)$, whereas it is less than or equal to $Cn\log n$ when $B>\hat{B}_c(β)$. The quenched results also hold for the model conditioned on simplicity, for the annealed results this is unclear.
Asymptotic confirmation of the Faudree-Lehel Conjecture on irregularity strength for all but extreme degrees
The irregularity strength of a graph $G$, $s(G)$, is the least $k$ admitting a $\{1,2,\ldots,k\}$-weighting of the edges of $G$ assuring distinct weighted degrees of all vertices, or equivalently the least possible maximal edge multiplicity in an irregular multigraph obtained of $G$ via multiplying some of its edges. The most well-known open problem concerning this graph invariant is the conjecture posed in 1987 by Faudree and Lehel that there exists a constant $C$ such that $s(G)\leq \frac{n}{d}+C$ for each $d$-regular graph $G$ with $n$ vertices and $d\geq 2$ (while a straightforward counting argument yields $s(G)\geq \frac{n+d-1}{d}$). The best known results towards this imply that $s(G)\leq 6\lceil\frac{n}{d}\rceil$ for every $d$-regular graph $G$ with $n$ vertices and $d\geq 2$, while $s(G)\leq (4+o(1))\frac{n}{d}+4$ if $d\geq n^{0.5}\ln n$.
We show that the conjecture of Faudree and Lehel holds asymptotically in the cases when $d$ is neither very small nor very close to $n$. We in particular prove that for large enough $n$ and $d\in [\ln^8n,\frac{n}{\ln^3 n}]$, $s(G)\leq \frac{n}{d}(1+\frac{8}{\ln n})$, and thereby we show that $s(G) = \frac{n}{d}(1+o(1))$ then. We moreover prove the latter to hold already when $d\in [\ln^{1+\varepsilon}n,\frac{n}{\ln^\varepsilon n}]$ where $\varepsilon$ is an arbitrary positive constant.
A phase transition for large values of bifurcating autoregressive models
Published
• View Publication
• BIB
We describe the asymptotic behavior of the number $Z_n[a_n,\infty)$ of individuals with a large value in a stable bifurcating autoregressive process. The study of the associated first moment $\mathbb{E}(Z_n[a_n,\infty))$ is equivalent to the annealed large deviation problem $\mathbb{P}(Y_n\geq a_n)$, where $Y$ is an autoregressive process in a random environment and $a_n\rightarrow \infty$.
The population with large values and the trajectorial behavior of $Z_n[a_n,\infty)$ is obtained from the ancestral paths associated to the large deviations of $Y$ together with its environment. The study of large deviations of autoregressive processes in random environment is of independent interest and achieved first in this paper. The proofs of trajectorial estimates for bifurcating autoregressive process involves then a law of large numbers for non-homogenous trees.
Two regimes appear in the stable case, depending on the fact that one of the autoregressive parameter is greater than one or not. It yields two different asymptotic behaviors for the large local densities and maximal value of the bifurcating autoregressive process.