Showing 20 papers (Total: 82139 papers, 47531 authors in database)
An Euler operator approach to Ehrhart series
We use the ordinary Euler operator to compute the Ehrhart series for an arbitrary lattice polytope. The resulting formula involves the coefficients of the Ehrhart polynomial, combined via Eulerian numbers. We use this to compute $h^*_{d-1}$ in terms of the coefficients of the Ehrhart polynomial, resulting in a new linear inequality satisfied by the coefficents of the Ehrhart polynomial.
Ramsey numbers of cliques versus monotone paths
Published
• View Publication
• BIB
One formulation of the Erdos-Szekeres monotone subsequence theorem states that for any red/blue coloring of the edge set of the complete graph on $\{1, 2, \ldots, N\}$, there exists a monochromatic red $s$-clique or a monochromatic blue increasing path $P_n$ with $n$ vertices, provided $N >(s-1)(n-1)$. %We had previously shown that a suitable generalization of this problem to quadruple systems is essentially equivalent to classical diagonal hypergraph Ramsey numbers. Here, we prove a similar statement as above in the off-diagonal case for triple systems, with the quasipolynomial bound $N>2^{c(\log n)^{s-1}}$. For the $t$th power $P_n^t$ of the ordered increasing graph path with $n$ vertices, we prove a near linear bound $c\, n(\log n)^{s-2}$ which improves the previous bound that applied to a more general class of graphs than $P_n^t$ due to Conlon-Fox-Lee-Sudakov.
Hyperbolicity Theorems for Correspondence Colouring
Published
• View Publication
• BIB
We generalize a framework of list colouring results to correspondence colouring. Correspondence colouring is a generalization of list colouring wherein we localize the meaning of the colours available to each vertex. As pointed out by Dvořák and Postle, both of Thomassen's theorems on the 5-choosability of planar graphs and 3-choosability of planar graphs of girth at least five carry over to the correspondence colouring setting. In this paper, we show that the family of graphs that are critical for 5-correspondence colouring as well as the family of graphs of girth at least five that are critical for 3-correspondence colouring form hyperbolic families. Analogous results for list colouring were shown by Postle and Thomas and by Dvořák and Kawarabayashi, respectively. Using results on hyperbolic families due to Postle and Thomas, we show further that this implies that locally planar graphs are 5-correspondence colourable; and, using results of Dvořák and Kawarabayashi, that there exist linear-time algorithms for the decidability of 5-correspondence colouring for embedded graphs. We show analogous results for 3-correspondence colouring graphs of girth at least five.
%-Immanants and Temperley-Lieb Immanants
In this paper, we investigate the relationship between Temperley-Lieb immanants, which were introduced by Rhoades and Skandera, and %-immanants, an immanant based on a concept introduced by Chepuri and Sherman-Bennett. Our main result is a classification of when a Temperley-Lieb immanant can be written as a linear combination of %-immanants. This result uses a formula by Rhoades and Skandera to compute Temperley-Lieb immanants in terms of complementary minors. Using this formula, we also derive an explicit expression for the coefficients of a Temperley-Lieb immanant coming from a $321$-, $1324$-avoiding permutation $w$ containing the pattern $2143,$ which we use to derive our main result.
Experimenting with Standard Young Tableaux
Published
• View Publication
• BIB
Using Symbolic Computation with Maple, we can discover lots of (rigorously-proved!) facts about Standard Young Tableaux, in particular the distribution of the entries in any specific cell, and the sorting probabilities.
Power-law bounds for increasing subsequences in Brownian separable permutons and homogeneous sets in Brownian cographons
Published
• View Publication
• BIB
The Brownian separable permutons are a one-parameter family -- indexed by $p\in(0,1)$ -- of universal limits of random constrained permutations. We show that for each $p\in (0,1)$, there are explicit constants $1/2 < α_*(p) \leq β^*(p) < 1$ such that the length of the longest increasing subsequence in a random permutation of size $n$ sampled from the Brownian separable permuton is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ with probability tending to 1 as $n\to\infty$. In the symmetric case $p=1/2$, we have $α_*(p) \approx 0.812$ and $β^*(p)\approx 0.975$. We present numerical simulations which suggest that the lower bound $α_*(p)$ is close to optimal in the whole range $p\in(0,1)$.
Our results work equally well for the closely related Brownian cographons. In this setting, we show that for each $p\in (0,1)$, the size of the largest clique (resp. independent set) in a random graph on $n$ vertices sampled from the Brownian cographon is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ (resp. $n^{α_*(1-p) - o(1)}$ and $n^{β^*(1-p) + o(1)}$) with probability tending to 1 as $n\to\infty$.
Our proofs are based on the analysis of a fragmentation process embedded in a Brownian excursion introduced by Bertoin (2002). We expect that our techniques can be extended to prove similar bounds for uniform separable permutations and uniform cographs.
Polarity on $H$-split graphs
Published
• View Publication
• BIB
Given nonnegative integers, $s$ and $k$, an $(s,k)$-polar partition of a graph $G$ is a partition $(A,B)$ of $V_G$ such that $G[A]$ and $\overline{G[B]}$ are complete multipartite graphs with at most $s$ and $k$ parts, respectively. If $s$ or $k$ is replaced by $\infty$, it means that there is no restriction on the number of parts of $G[A]$ or $\overline{G[B]}$, respectively. A graph admitting a $(1,1)$-polar partition is usually called a split graph.
In this work, we present some results related to $(s,k)$-polar partitions on two graph classes generalizing split graphs. Our main results include efficient algorithms to decide whether a graph on these classes admits an $(s,k)$-polar partition, as well as upper bounds for the order of minimal $(s,k)$-polar obstructions on such graph families for any $s$ and $k$ (even if $s$ or $k$ is $\infty$).
Signal processing on large networks with group symmetries
Current methods of graph signal processing rely heavily on the specific structure of the underlying network: the shift operator and the graph Fourier transform are both derived directly from a specific graph. In many cases, the network is subject to error or natural changes over time. This motivated a new perspective on GSP, where the signal processing framework is developed for an entire class of graphs with similar structures. This approach can be formalized via the theory of graph limits, where graphs are considered as random samples from a distribution represented by a graphon.
When the network under consideration has underlying symmetries, they may be modeled as samples from Cayley graphons. In Cayley graphons, vertices are sampled from a group, and the link probability between two vertices is determined by a function of the two corresponding group elements. Infinite groups such as the 1-dimensional torus can be used to model networks with an underlying spatial reality. Cayley graphons on finite groups give rise to a Stochastic Block Model, where the link probabilities between blocks form a (edge-weighted) Cayley graph. This manuscript summarizes some work on graph signal processing on large networks, in particular samples of Cayley graphons.
Graphs with queue number three and unbounded stack number
We prove that the graphs $T\boxslash P$ have unbounded stack number and queue number $3$, where $T$ is a tree and $P$ is a path, and $\boxslash$ denotes the graph strong product but with one of the directions removed. The previous best known results is that graphs with queue number $4$ can have unbounded stack number.
Higher rank $(q,t)$-Catalan polynomials, affine Springer fibers, and a finite Rational Shuffle Theorem
We introduce the higher rank $(q,t)$-Catalan polynomials and prove they equal truncations of the Hikita polynomial to a finite number of variables. Using affine compositions and a certain standardization map, we define a dinv statistic on rank $r$ semistandard $(m,n)$-parking functions and prove codinv counts the dimension of an affine space in an affine paving of a parabolic affine Springer fiber. Combining these results, we give a finite analogue of the Rational Shuffle Theorem in the context of double affine Hecke algebras. Lastly, we also give a Bizley-type formula for the higher rank Catalan numbers in the non-coprime case.
On $t$-Intersecting Families of Permutations
Published
• View Publication
• BIB
We prove that there exists a constant $c_0$ such that for any $t \in \mathbb{N}$ and any $n\geq c_0 t$, if $A \subset S_n$ is a $t$-intersecting family of permutations then$|A|\leq (n-t)!$. Furthermore, if $|A|\ge 0.75(n-t)!$ then there exist $i_1,\ldots,i_t$ and $j_1,\ldots,j_t$ such that $σ(i_1)=j_1,\ldots,σ(i_t)=j_t$ holds for any $σ\in A$. This shows that the conjectures of Deza and Frankl (1977) and of Cameron (1988) on $t$-intersecting families of permutations hold for all $t \leq c_0 n$. Our proof method, based on hypercontractivity for global functions, does not use the specific structure of permutations, and applies in general to $t$-intersecting sub-families of `pseudorandom' families in $\{1,2,\ldots,n\}^n$, like $S_n$.
Complete non-ambiguous trees and associated permutations: new enumerative results
We study a link between complete non-ambiguous trees (CNATs) and permutations exhibited by Daniel Chen and Sebastian Ohlig in recent work. In this, they associate a certain permutation to the leaves of a CNAT, and show that the number of $n$-permutations that are associated with exactly one CNAT is $2^{n-2}$. We connect this to work by the first author and co-authors linking complete non-ambiguous trees and the acyclic orientation number of the associated permutation graph. This allows us to prove a number of conjectures by Chen and Ohlig on the number of $n$-permutations that are associated with exactly $k$ CNATs for various $k > 1$, via various bijective correspondences between such permutations. We also exhibit a new bijection between $(n-1)$-permutations and CNATs whose permutation is the decreasing permutation $n(n-1)\cdots1$. This bijection maps the left-to-right minima of the permutation to dots on the top row of the corresponding CNAT, and descents of the permutation to empty rows of the CNAT.
Realizations of multiassociahedra via bipartite rigidity
Let $Ass_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{n}{2}$. Here $k,n\in \mathbb{N}$ and $n\ge 2k+1$. It is conjectured that this simplicial complex is polytopal (Jonsson 2005). However, despite several recent advances, this is still an open problem.
In this paper we attack this problem using as a vector configuration the rows of a rigidity matrix, namely, hyperconnectivity restricted to bipartite graphs. We see that in this way $Ass_k(n)$ can be realized as a polytope for $k=2$ and $n\le 10$, and as a fan for $k=2$ and $n\le 13$, and for $k=3$ and $n\le 11$. However, we also prove that the cases with $k\ge 3$ and $n\ge \max\{12,2k+4\}$ are not realizable in this way.
We also give an algebraic interpretation of the rigidity matroid, relating it to a projection of determinantal varieties with implications in matrix completion, and prove the presence of a fan isomorphic to $Ass_{k-1}(n-2)$ in the tropicalization of that variety.
On equivalences of polarized partition relations
Published
• View Publication
• BIB
The paper deals with two notions: polarized partition relations and product of generalized strong sequences. Strong sequences were introduced by Efimov in 1965 as a usefull tool for proving famous theorems in dyadic spaces, i.e. continuous images of Cantor cube. In this paper we introduce the notion of product of generalized strong sequences and give pure combinatorial proof that existence of product of generalized strong sequences is equivalent to polarized partition relations.
Some remarks on polarized partition relations
Published
• View Publication
• BIB
This paper deals with two notions: a polarized partition relations $\left( \begin{array}{c}
α
β
\end{array} \right) \to \left( \begin{array}{cc}
γ& η
δ& λ
\end{array} \right)$ and product of generalized strong sequences. Strong sequences were introduced by Efimov in 1965 as a usefull tool for proving famous theorems in dyadic spaces, i.e. continuous images of Cantor cube. In this paper we introduce the notion of product of generalized strong sequences and give the pure combinatorial proof that $\left( \begin{array}{c}
α
β
\end{array} \right) \to \left( \begin{array}{cc}
γ& η
δ& λ
\end{array} \right)$ is a consequence of the existence of product of generalized strong sequences.
Canonical forms for pairs of commuting nilpotent $4\times 4$ matrices under simultaneous similarity
We provide a list of canonical forms for all pairs of commuting nilpotent $4\times 4$ matrices over an algebraically closed field under simultaneous similarity.
Unbounded expansion of polynomials and products
Published
• View Publication
• BIB
Given $d,s \in \mathbb{N}$, a finite set $A \subseteq \mathbb{Z}$ and polynomials $\varphi_1, \dots, \varphi_{s} \in \mathbb{Z}[x]$ such that $1 \leq deg \varphi_i \leq d$ for every $1 \leq i \leq s$, we prove that \[ |A^{(s)}| + |\varphi_1(A) + \dots + \varphi_s(A) | \gg_{s,d} |A|^{η_s} , \]
for some $η_s \gg_{d} \log s / \log \log s$. Moreover if $\varphi_i(0) \neq 0$ for every $1 \leq i \leq s$, then \[ |A^{(s)}| + |\varphi_1(A) \dots \varphi_s(A) | \gg_{s,d} |A|^{η_s}. \] These generalise and strengthen previous results of Bourgain--Chang, Pálvölgyi--Zhelezov and Hanson--Roche-Newton--Zhelezov. We derive these estimates by proving the corresponding low-energy decompositions. The latter furnish further applications to various problems of a sum-product flavour, including questions concerning large additive and multiplicative Sidon sets in arbitrary sets of integers.
Generalized Turán results for disjoint cliques
Published
• View Publication
• BIB
The generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in $n$-vertex $F$-free graphs. We denote by $tF$ the vertex-disjoint union of $t$ copies of $F$. Gerbner, Methuku and Vizer in 2019 determined the order of magnitude of $\mathrm{ex}(n,K_s,tK_r)$. We extend this result in three directions. First, we determine $\mathrm{ex}(n,K_s,tK_r)$ exactly for sufficiently large $n$. Second, we determine the asymptotics of the analogous number for $p$-uniform hypergraphs. Third, we determine the order of magnitude of $\mathrm{ex}(n,H,tK_r)$ for every graph $H$, and also of the analogous number for $p$-uniform hypergraphs.
Forbidden sparse intersections
Published in Forum of Mathematics, Sigma 13 (2025) e99
• View Publication
• BIB
Let $n$ be a positive integer, let $0<p\leqslant p'\leqslant \frac{1}{2}$, and let $\ell \leqslant pn$ be a nonnegative integer. We prove that if $\mathcal{F},\mathcal{G}\subseteq \{0,1\}^n$ are two families whose cross intersections forbid $\ell$ -- that is, they satisfy $|A\cap B|\neq \ell$ for every $A\in\mathcal{F}$ and every $B\in\mathcal{G}$ -- then, setting $t:=\min\{\ell,pn-\ell\}$, we have the subgaussian bound \[ μ_p(\mathcal{F})\, μ_{p'}(\mathcal{G})\leqslant 2\exp\Big( - \frac{t^2}{58^2\,pn}\Big), \] where $μ_p$ and $μ_{p'}$ denote the $p$-biased and $p'$-biased measures on $\{0,1\}^n$ respectively.
On a Lemma of Schensted
Published
• View Publication
• BIB
We give a direct proof of Schensted's lemma asserting that row and column insertion in a tableau commute.