Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Subdivided Claws and the Clique-Stable Set Separation Property
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a class of graphs closed under taking induced subgraphs. We say that $\mathcal{C}$ has the {\em clique-stable set separation property} if there exists $c \in \mathbb{N}$ such that for every graph $G \in \mathcal{C}$ there is a collection $\mathcal{P}$ of partitions $(X,Y)$ of the vertex set of $G$ with $|\mathcal{P}| \leq |V(G)|^c$ and with the following property: if $K$ is a clique of $G$, and $S$ is a stable set of $G$, and $K \cap S =\emptyset$, then there is $(X,Y) \in \mathcal{P}$ with $K \subseteq X$ and $S \subseteq Y$. In 1991 M. Yannakakis conjectured that the class of all graphs has the clique-stable set separation property, but this conjecture was disproved by Göös in 2014. Therefore it is now of interest to understand for which classes of graphs such a constant $c$ exists. In this paper we define two infinite families $\mathcal{S}, \mathcal{K}$ of graphs and show that for every $S \in \mathcal{S}$ and $K \in \mathcal{K}$, the class of graphs with no induced subgraph isomorphic to $S$ or $K$ has the clique-stable set separation property.
On conjectures of network distance measures by using graph spectra
In this note we resolve three conjectures from [M. Dehmer, S. Pickl, Y. Shi, G. Yu, \emph{New inequalities for network distance measures by using graph spectra}, Discrete Appl. Math. 252 (2019), 17--27] on the comparison of distance measures based on the graph spectra, by constructing families of counterexamples and using computer search.
Cores of Ariki-Koike algebras
Published
• View Publication
• BIB
We study a natural generalization of the notion of cores for l-partitions attached with a multi-charge s $\in$ Z^l : the (e, s)-cores. We rely them both to the combinatorics and the notion of weight defined by Fayers. Next we study applications in the context of the block theory for Ariki-Koike algebras.
Signed magic rectangles with three filled cells in each column
A {\em signed magic rectangle} $SMR(m,n;k, s)$ is an $m \times n$ array with entries from $X$, where $X=\{0,\pm1,\pm2,\ldots, $ $\pm (mk-1)/2\}$ if $mk$ is odd and $X = \{\pm1,\pm2,\ldots,\pm mk/2\}$ if $mk$ is even, such that precisely $k$ cells in every row and $s$ cells in every column are filled, every integer from set $X$ appears exactly once in the array and the sum of each row and of each column is zero. In this paper, we prove that a signed magic rectangle $SMR(m,n;k, 3)$ exists if and only if $3\leq m,k\leq n$ and $mk=3n$.
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.