partition
6235 papers tagged with this keyword
A subexponential upper bound for van der Waerden numbers W(3,k)
Published
• View Publication
• BIB
We show an improved upper estimate for van der Waerden number $W(3,k):$ there is an absolute constant $c>0$ such that if $\{1,\dots,N\}=X\cup Y$ is a partition such that $X$ does not contain any arithmetic progression of length $3$ and $Y$ does not contain any arithmetic progression of length $k$ then $$N\le \exp(O(k^{1-c}))\,.$$
Beck-type identities for Euler pairs of order $r$
Published
• View Publication
• BIB
Partition identities are often statements asserting that the set $\mathcal P_X$ of partitions of $n$ subject to condition $X$ is equinumerous to the set $\mathcal P_Y$ of partitions of $n$ subject to condition $Y$. A Beck-type identity is a companion identity to $|\mathcal P_X|=|\mathcal P_Y|$ asserting that the difference $b(n)$ between the number of parts in all partitions in $\mathcal P_X$ and the number of parts in all partitions in $\mathcal P_Y$ equals a $c|\mathcal P_{X'}|$ and also $c|\mathcal P_{Y'}|$, where $c$ is some constant related to the original identity, and $X'$, respectively $Y'$, is a condition on partitions that is a very slight relaxation of condition $X$, respectively $Y$. A second Beck-type identity involves the difference $b'(n)$ between the total number of different parts in all partitions in $\mathcal P_X$ and the total number of different parts in all partitions in $\mathcal P_Y$. We extend these results to Beck-type identities accompanying all identities given by Euler pairs of order $r$ (for any $r\geq 2$). As a consequence, we obtain many families of new Beck-type identities. We give analytic and bijective proofs of our results.
$q$-Series congruences involving statistical mechanics partition functions in regime III and IV of Baxter's solution of the hard-hexagon model
Published
• View Publication
• BIB
For each $s\in\{2,4\}$, the generating function of $R_s(n)$, the number of partitions of $n$ into odd parts or congruent to $0$, $\pm s\pmod {10}$, arises naturally in regime III of Rodney Baxter's solution of the hard-hexagon model of statistical mechanics. For each $s\in\{1,3\}$, the generating function of $R^*_s(n)$, the number of partitions of $n$ into parts not congruent to $0$, $\pm s\pmod {10}$ and $10-2s \pmod {20}$, arises naturally in regime IV of Rodney Baxter's solution of the hard-hexagon model of statistical mechanics. In this paper, we investigate the parity of $R_s(n)$ and $R^*_s(n)$, providing new parity results involving sums of partition numbers $p(n)$ and squares in arithmetic progressions.
Vanishing Flats: A Combinatorial Viewpoint on the Planarity of Functions and Their Application
Published
• View Publication
• BIB
For a function $f$ from $\mathbb{F}_2^n$ to $\mathbb{F}_2^n$, the planarity of $f$ is usually measured by its differential uniformity and differential spectrum. In this paper, we propose the concept of vanishing flats, which supplies a combinatorial viewpoint on the planarity. First, the number of vanishing flats of $f$ can be regarded as a measure of the distance between $f$ and the set of almost perfect nonlinear functions. In some cases, the number of vanishing flats serves as an "intermediate" concept between differential uniformity and differential spectrum, which contains more information than differential uniformity, however less than the differential spectrum. Secondly, the set of vanishing flats forms a combinatorial configuration called partial quadruple system, since it convey detailed structural information about $f$. We initiate this study by considering the number of vanishing flats and the partial quadruple systems associated with monomials and Dembowski-Ostrom polynomials. In addition, we present an application of vanishing flats to the partition of a vector space into disjoint equidimensional affine spaces. We conclude the paper with several further questions and challenges.
On the Borel Submonoid of a Symplectic Monoid
Published
• View Publication
• BIB
In this article, we study the Bruhat-Chevalley-Renner order on the complex symplectic monoid $MSp_n$. After showing that this order is completely determined by the Bruhat-Chevalley-Renner order on the linear algebraic monoid of $n\times n$ matrices $M_n$, we focus on the Borel submonoid of $MSp_n$. By using this submonoid, we introduce a new set of type B set partitions. We determine their count by using the ``folding'' and ``unfolding'' operators that we introduce. We show that the Borel submonoid of a rationally smooth reductive monoid with zero is rationally smooth. Finally, we analyze the nilpotent subsemigroups of the Borel semigroups of $M_n$ and $MSp_n$. We show that, contrary to the case of $MSp_n$, the nilpotent subsemigroup of the Borel submonoid of $M_n$ is irreducible.
Partitioning digraphs with outdegree at least 4
Published
• View Publication
• BIB
Scott asked the question of determining $c_d$ such that if $D$ is a digraph with $m$ arcs and minimum outdegree $d\ge 2$ then $V(D)$ has a partition $V_1, V_2$ such that $\min\left\{e(V_1,V_2),e(V_2, V_1)\right\}\geq c_dm$, where $e(V_1,V_2)$ (respectively, $e(V_2,V_1)$) is the number of arcs from $V_1$ to $V_2$ (respectively, from $V_2$ to $V_1$). Lee, Loh, and Sudakov showed that $c_2=1/6+o(1)$ and $c_3=1/5+o(1)$, and conjectured that $c_d= \frac{d-1}{2(2d-1)}+o(1)$ for $d\ge 4$. In this paper, we show $c_4=3/14+o(1)$ and prove some partial results for $d\ge 5$.
Two variable logic with ultimately periodic counting
Published
• View Publication
• BIB
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of the logic are decidable. We also show that the spectrum of any sentence is definable in Presburger arithmetic. In the process we present several refinements to the ``biregular graph method''. In this method, decidability issues concerning two-variable logics are reduced to questions about Presburger definability of integer vectors associated with partitioned graphs, where nodes in a partition satisfy certain constraints on their in- and out-degrees.
Combinatorial interpretations of two identities of Guo and Yang
Published
• View Publication
• BIB
The restricted partitions in which the largest part is less than or equal to $N$ and the number of parts is less than or equal to $k$ were investigated by Andrews in \cite{Andrews76}. These partitions were extended recently by the author to the partitions into parts of two kinds. In this paper, we use a new class of restricted partitions into parts of two kinds to provide new combinatorial interpretations for two identities of Guo and Yang.
On the expected number of perfect matchings in cubic planar graphs
Published in Publicacions Matemàtiques, 2022, Vol. 66, Núm. 1, p. 325-353
• View Publication
• BIB
A well-known conjecture by Lovász and Plummer from the 1970s asserted that a bridgeless cubic graph has exponentially many perfect matchings. It was solved in the affirmative by Esperet et al. (Adv. Math. 2011). On the other hand, Chudnovsky and Seymour (Combinatorica 2012) proved the conjecture in the special case of cubic planar graphs. In our work we consider random bridgeless cubic planar graphs with the uniform distribution on graphs with $n$ vertices. Under this model we show that the expected number of perfect matchings in labeled bridgeless cubic planar graphs is asymptotically $cγ^n$, where $c>0$ and $γ\sim 1.14196$ is an explicit algebraic number. We also compute the expected number of perfect matchings in (non necessarily bridgeless) cubic planar graphs and provide lower bounds for unlabeled graphs. Our starting point is a correspondence between counting perfect matchings in rooted cubic planar maps and the partition function of the Ising model in rooted triangulations.
Tolerance for colorful Tverberg partitions
Published
• View Publication
• BIB
Tverberg's theorem bounds the number of points $\mathbb{R}^d$ needed for the existence of a partition into $r$ parts whose convex hulls intersect. If the points are colored with $N$ colors, we seek partitions where each part has at most one point of each color. In this manuscript, we bound the number of color classes needed for the existence of partitions where the convex hulls of the parts intersect even after any set of $t$ colors is removed. We prove asymptotically optimal bounds for $t$ when $r \le d+1$, improve known bounds when $r>d+1$, and give a geometric characterization for the configurations of points for which $t=N-o(N)$.
Poset Hopf Monoids
We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related through a Galois connection, then they are dual to each other. This duality is best understood by introducing a new basis constructed through Möbius inversion. We use this new basis to give uniform proofs for cofreeness and calculations of primitives for the Hopf monoids of set partitions, graphs, hypergraphs, and simplicial complexes.
Further, we show that the monoid and comonoid of a Hopf monoid are related through a Galois connection if and only if the Hopf monoid is linearized, commutative, and cocommutative. In these cases, we give a grouping-free formula for the antipode in terms of an evaluation of the characteristic polynomial of a related poset. This gives new proofs for the antipodes of the Hopf monoids of graphs, hypergraphs, set partitions, and simplicial complexes.
Alternating sign matrices and totally symmetric plane partitions
We study the Schur polynomial expansion of a family of symmetric polynomials related to the refined enumeration of alternating sign matrices with respect to their inversion number, complementary inversion number and the position of the unique $1$ in the top row. We prove that the expansion can be expressed as a sum over totally symmetric plane partitions and we are also able to determine the coefficients. This establishes a new connection between alternating sign matrices and a class of plane partitions, thereby complementing the fact that alternating sign matrices are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. As a by-product we obtain an interesting map from totally symmetric plane partitions to Dyck paths. The proof is based on a new, quite general antisymmetrizer-to-determinant formula.
A shuffle algebra point of view on operator-valued probability theory
Published
• View Publication
• BIB
We extend the shuffle algebra perspective on scalar-valued non-commutative probability theory to the operator-valued case. Given an operator-valued probability space with an algebra $B$ acting on it (on the left and on the right), we associate operators in the operad of multilinear maps on $B$ to the operator-valued distribution and free cumulants of a random variable. These operators define a representation of a PROS of non-crossing partitions. Using concepts from higher category theory, specifically $2$-monoidal categories, we define a notion of unshuffle Hopf algebra on an underlying PROS. We introduce a PROS of words insertions and show that both the latter and the PROS of non-crossing partitions are unshuffle Hopf algebras (in a $2$-monoidal sense). The two relate by mean of a map of unshuffle bialgebras (in a $2$-monoidal sense) which we call the splitting map. Ultimately, we obtain a left half-shuffle fixed point equation corresponding to free moment-cumulant relations in a shuffle algebra of bicollection homomorphisms on the PROS of words insertions. Right half-shuffle and shuffle laws are interpreted in the framework of boolean and monotone non-commutative probability theory, respectively.
Keywords: operator-valued non-commutative probability theory, higher category theory, duoidal categories, operads, properads, PROS, shuffle algebra, half-shuffles
Partition of complement of good ideals and Apéry sets
Published
• View Publication
• BIB
Good semigroups form a class of submonoids of $\mathbb{N}^d$ containing the value semigroups of curve singularities. In this article, we describe a partition of the complements of good semigroup ideals, having as main application the description of the Apéry sets of good semigroups. This generalizes to any $d \geq 2$ the results of a recent paper of D'Anna, Guerrieri and Micale, which are proved in the case $d=2$ and only for the standard Apéry set with respect to the smallest nonzero element. Several new results describing good semigroups in $\mathbb{N}^d$ are also provided.
A construction for weak Schur partitions
In 1952, J.H.Braun claimed to have established a formula giving a lower bound for certain partitions of sets of integers into weakly sum-free classes. However, no proof or supporting construction was published at that time. In today's terminology, that claim was equivalent to giving a formulaic lower bound for the weak Schur number $WS(s)$. $WS(s)$ is the maximum number such that there exists a weak Schur partition of the integers from 1 to $WS(s)$, into $s$ subsets. In a weak Schur partition of a set of integers, there can be no three distinct members $a$, $b$ and $c$ in any subset, such that $a+b=c$. An iterative construction described in this paper results in a similar formulaic lower bound. Although different from that given by Braun, it reproduces the result $WS(6) \ge 554$ implied by his formula, and exceeds it for all larger values of $s$. Various starting points can be used as a basis for the iterations. This result itself is no longer remarkable: it has been proven elsewhere that $WS(6) \ge 642$. Even so, it is hoped that the formula and its underlying construction may nevertheless be of interest to those interested in weak Schur partitions and/or the closely-related linear Ramsey graphs.
Strong Gelfand subgroups of $F\wr S_n$
Published in Internat. J. Math., 32 (2021), no. 2, 2150010
• View Publication
• BIB
The multiplicity-free subgroups (strong Gelfand subgroups) of wreath products are investigated. Various useful reduction arguments are presented. In particular, we show that for every finite group $F$, the wreath product $F\wr S_λ$, where $S_λ$ is a Young subgroup, is multiplicity-free if and only if $λ$ is a partition with at most two parts, the second part being 0,1, or 2. Furthermore, we classify all multiplicity-free subgroups of hyperoctahedral groups. Along the way, we derive various decomposition formulas for the induced representations from some special subgroups of hyperoctahedral groups.
More on zeros and approximation of the Ising partition function
Published in Forum of Mathematics, Sigma 9 (2021) e46
• View Publication
• BIB
We consider the problem of computing the partition function $\sum_x e^{f(x)}$, where $f: \{-1, 1\}^n \longrightarrow {\Bbb R}$ is a quadratic or cubic polynomial on the Boolean cube $\{-1, 1\}^n$. In the case of a quadratic polynomial $f$, we show that the partition function can be approximated within relative error $0 < ε< 1$ in quasi-polynomial $n^{O(\ln n - \ln ε)}$ time if the Lipschitz constant of the non-linear part of $f$ with respect to the $\ell^1$ metric on the Boolean cube does not exceed $1-δ$, for any $δ>0$, fixed in advance. For a cubic polynomial $f$, we get the same result under a somewhat stronger condition.
We apply the method of polynomial interpolation, for which we prove that $\sum_x e^{\tilde{f}(x)} \ne 0$ for complex-valued polynomials $\tilde{f}$ in a neighborhood of a real-valued $f$ satisfying the above mentioned conditions. The bounds are asymptotically optimal. Results on the zero-free region are interpreted as the absence of a phase transition in the Lee - Yang sense in the corresponding Ising model. The novel feature of the bounds is that they control the total interaction of each vertex but not every single interaction of sets of vertices.
On $k$-point configuration sets with nonempty interior
Published in Mathematika 68 (2022), no. 1, 163-190
• View Publication
• BIB
We give conditions for $k$-point configuration sets of thin sets to have nonempty interior, applicable to a wide variety of configurations. This is a continuation of our earlier work \cite{GIT19} on 2-point configurations, extending a theorem of Mattila and Sjölin \cite{MS99} for distance sets in Euclidean spaces. We show that for a general class of $k$-point configurations, the configuration set of a $k$-tuple of sets, $E_1,\,\dots,\, E_k$, has nonempty interior provided that the sum of their Hausdorff dimensions satisfies a lower bound, dictated by optimizing $L^2$-Sobolev estimates of associated generalized Radon transforms over all nontrivial partitions of the $k$ points into two subsets. We illustrate the general theorems with numerous specific examples. Applications to 3-point configurations include areas of triangles in $\mathbb R^2$ or the radii of their circumscribing circles; volumes of pinned parallelepipeds in $\mathbb R^3$; and ratios of pinned distances in $\mathbb R^2$ and $\mathbb R^3$. Results for 4-point configurations include cross-ratios on $\mathbb R$, triangle area pairs determined by quadrilaterals in $\mathbb R^2$, and dot products of differences in $\mathbb R^d$.
Some unexpected properties of Littlewood-Richardson coefficients
Published
• View Publication
• BIB
We are interested in identities between Littlewood-Richardson coefficients, and hence in comparing different tensor product decompositions of the irreducible modules of the linear group GL n (C). A family of partitions-called near-rectangular-is defined, and we prove a stability result which basically asserts that the decomposition of the tensor product of two representations associated to near-rectangular partitions does not depend on n. Given a partition $λ$, of length at most n, denote by V n ($λ$) the associated simple GL n (C)-module. We conjecture that, if $λ$ is near-rectangular and $μ$ any partition, the decompositions of V n ($λ$) $\otimes$ V n ($μ$) and V n ($λ$) * $\otimes$ V n ($μ$) coincide modulo a mysterious bijection. We prove this conjecture if $μ$ is also near-rectangular and report several computer-assisted computations which reinforce our conjecture.
On the distribution of the major index on standard Young tableaux
The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.