partition
6235 papers tagged with this keyword
On the Impossibility of Decomposing Binary Matroids
Published
• View Publication
• BIB
We show that there exist $k$-colorable matroids that are not $(b,c)$-decomposable when $b$ and $c$ are constants. A matroid is $(b,c)$-decomposable, if its ground set of elements can be partitioned into sets $X_1, X_2, \ldots, X_l$ with the following two properties. Each set $X_i$ has size at most $ck$. Moreover, for all sets $Y$ such that $|Y \cap X_i| \leq 1$ it is the case that $Y$ is $b$-colorable. A $(b,c)$-decomposition is a strict generalization of a partition decomposition and, thus, our result refutes a conjecture from arXiv:1911.10485v2 .
Extensions and Limits of the Specker-Blatter Theorem
Published
• View Publication
• BIB
The original Specker-Blatter Theorem (1983) was formulated for classes of structures $\mathcal{C}$ of one or several binary relations definable in Monadic Second Order Logic MSOL. It states that the number of such structures on the set $[n]$ is modularly C-finite (MC-finite). In previous work we extended this to structures definable in CMSOL, MSOL extended with modular counting quantifiers. The first author also showed that the Specker-Blatter Theorem does not hold for one quaternary relation (2003).
If the vocabulary allows a constant symbol $c$, there are $n$ possible interpretations on $[n]$ for $c$. We say that a constant $c$ is {\em hard-wired} if $c$ is always interpreted by the same element $j \in [n]$. In this paper we show:
1. The Specker-Blatter Theorem also holds for CMSOL when hard-wired constants are allowed. The proof method of Specker and Blatter does not work in this case.
2. The Specker-Blatter Theorem does not hold already for $\mathcal{C}$ with one ternary relation definable in First Order Logic FOL. This was left open since 1983.
Using hard-wired constants allows us to show MC-finiteness of counting functions of various restricted partition functions which were not known to be MC-finite till now. Among them we have the restricted Bell numbers $B_{r,A}$, restricted Stirling numbers of the second kind $S_{r,A}$ or restricted Lah-numbers $L_{r,A}$. Here $r$ is an non-negative integer and $A$ is an ultimately periodic set of non-negative integers.
On the complexity of packing rainbow spanning trees
One of the most important questions in matroid optimization is to find disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases. Bérczi and Schwarcz showed that the problem is hard in general, therefore identifying the borderline between tractable and intractable instances is of interest.
In the present paper, we study the special case when one of the matroids is a partition matroid while the other one is a graphic matroid. This setting is equivalent to the problem of packing rainbow spanning trees, an extension of the problem of packing arborescences in directed graphs which was answered by Edmonds' seminal result on disjoint arborescences. We complement his result by showing that it is NP-complete to decide whether an edge-colored graph contains two disjoint rainbow spanning trees. Our complexity result holds even for the very special case when the graph is the union of two spanning trees and each color class contains exactly two edges. As a corollary, we give a negative answer to a question on the decomposition of oriented $k$-partition-connected digraphs.
Canonical bases and new applications of increasing and decreasing subsequences to invariant theory
Published
• View Publication
• BIB
In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the second author found a similar result for the centraliser of the partition algebra acting on the same tensor space. Each basis is indexed by permutations. We exploit these bases to show that the linear decomposition of an arbitrary invariant (in either centraliser algebra) depends integrally on its entries, and describe combinatorial rules that pick out minimal sets of such entries.
Random partitions under the Plancherel-Hurwitz measure, high genus Hurwitz numbers and maps
Published in Ann. Probab. 52 (4), 1253-1359, (July 2024)
• View Publication
• BIB
We study the asymptotic behaviour of random integer partitions under a new probability law that we introduce, the Plancherel-Hurwitz measure. This distribution, which has a natural definition in terms of Young tableaux, is a deformation of the classical Plancherel measure which appears naturally in the context of Hurwitz numbers, enumerating certain transposition factorisations in symmetric groups.
We study a regime in which the number of factors in the underlying factorisations grows linearly with the order of the group, and the corresponding topological objects, Hurwitz maps, are of high genus. We prove that the limiting behaviour exhibits a new, twofold, phenomenon: the first part becomes very large, while the rest of the partition has the standard Vershik-Kerov-Logan-Shepp limit shape. As a consequence, we obtain asymptotic estimates for unconnected Hurwitz numbers with linear Euler characteristic, which we use to study random Hurwitz maps in this regime. This result can also be interpreted as the return probability of the transposition random walk on the symmetric group after linearly many steps.
Rainbow bases in matroids
Recently, it was proved by Bérczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open.
We first show that the problem remains hard if the matroid is graphic, answering a question of Bérczi and Schwarcz. As another special case, we consider the problem of deciding whether a given digraph can be factorized into subgraphs which are spanning trees in the underlying sense and respect upper bounds on the indegree of every vertex. We prove that this problem is also hard. This answers a question of Frank.
In the second part of the article, we deal with the relaxed problem of covering the ground set of a matroid by rainbow bases. Among other results, we show that there is a linear function $f$ such that every matroid that can be factorized into $k$ bases for some $k \geq 3$ can be covered by $f(k)$ rainbow bases if every partition class contains at most 2 elements.
Turán inequalities for the broken $k$-diamond partition function
Published
• View Publication
• BIB
We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $Δ_k(n)$ satisfies the order $d$ Turán inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $Δ_k(a)Δ_k(b)\geΔ_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.
La conjecture du $K(π,1)$ pour les groupes d'Artin affines (d'après Paolini et Salvetti)
Published
• View Publication
• BIB
Consider an affine Coxeter group $W$ acting by isometries on the Euclidean space $\mathbb{R}^n$, and the arrangement of its reflection hyperplanes. The fundamental group of the complement $Y_W$ of the complexification of this arrangement in $\mathbb{C}^n$ mod out by $W$ is the affine Artin group $G_W$ associated with $W$. The $K(π,1)$ conjecture states that $Y_W$ is a classifying space for $G_W$. It has been recently proved by Paolini and Salvetti building on the works of McCammond and Sulway. We will present some ingredients of the proof that rests on the study of dual Garside structures for affine Artin groups, the factorisations of Euclidean isometries, and the shellability of noncrossing partitions. One consequence is that affine Artin groups, as well as braided crystallographic groups, have a finite classifying space.
On the Number of Regions of Piecewise Linear Neural Networks
Published
• View Publication
• BIB
Many feedforward neural networks (NNs) generate continuous and piecewise-linear (CPWL) mappings. Specifically, they partition the input domain into regions on which the mapping is affine. The number of these so-called linear regions offers a natural metric to characterize the expressiveness of CPWL NNs. The precise determination of this quantity is often out of reach in practice, and bounds have been proposed for specific architectures, including for ReLU and Maxout NNs. In this work, we generalize these bounds to NNs with arbitrary and possibly multivariate CPWL activation functions. We first provide upper and lower bounds on the maximal number of linear regions of a CPWL NN given its depth, width, and the number of linear regions of its activation functions. Our results rely on the combinatorial structure of convex partitions and confirm the distinctive role of depth which, on its own, is able to exponentially increase the number of regions. We then introduce a complementary stochastic framework to estimate the average number of linear regions produced by a CPWL NN. Under reasonable assumptions, the expected density of linear regions along any 1D path is bounded by the product of depth, width, and a measure of activation complexity (up to a scaling factor). This yields an identical role to the three sources of expressiveness: no exponential growth with depth is observed anymore.
Completing the $c_2$ completion conjecture for $p=2$
Published
• View Publication
• BIB
The $c_2$-invariant is an arithmetic graph invariant useful for understanding Feynman periods. Brown and Schnetz conjectured that the $c_2$-invariant has a particular symmetry known as completion invariance. This paper will prove completion invariance of the $c_2$-invariant in the $p=2$ case, extending previous work of one of us. The methods are combinatorial and enumerative involving counting certain partitions of the edges of the graph.
On the homology of the noncrossing partition lattice and the Milnor fibre
Published
• View Publication
• BIB
Let $\mathcal{L}$ be the noncrossing partition lattice associated to a finite Coxeter group $W$. In this paper we construct explicit bases for the top homology groups of intervals and rank-selected subposets of $\mathcal{L}$. We define a multiplicative structure on the Whitney homology of $\mathcal{L}$ in terms of the basis, and the resulting algebra has similarities to the Orlik-Solomon algebra. As an application, we obtain four chain complexes which compute the integral homology of the Milnor fibre of the reflection arrangement of $W$, the Milnor fibre of the discriminant of $W$, the hyperplane complement of $W$ and the Artin group of type $W$, respectively. We also tabulate some computational results on the integral homology of the Milnor fibres.
On Generalizations of a Conjecture of Kang and Park
Published
• View Publication
• BIB
Let $Δ_d^{(a,-)}(n) = q_d^{(a)}(n) - Q_d^{(a,-)}(n)$ where $q_d^{(a)}(n)$ counts the number of partitions of $n$ into parts with difference at least $d$ and size at least $a$, and $Q_d^{(a,-)}(n)$ counts the number of partitions into parts $\equiv \pm a \pmod{d + 3}$ excluding the $d+3-a$ part. Motivated by generalizing a conjecture of Kang and Park, Duncan, Khunger, Swisher, and the second author conjectured that $Δ_d^{(3,-)}(n)\geq 0$ for all $d\geq 1$ and $n\geq 1$ and were able to prove this when $d \geq 31$ is divisible by $3$. They were also able to conjecture an analog for higher values of $a$ that the modified difference function $Δ_{d}^{(a,-,-)}(n) = q_{d}^{(a)}(n) - Q_{d}^{(a,-,-)}(n) \geq 0$ where $Q_{d}^{(a,-,-)}(n)$ counts the number of partitions into parts $\equiv \pm a \pmod{d + 3}$ excluding the $a$ and $d+3-a$ parts and proved it for infinitely many classes of $n$ and $d$. We prove that $Δ_{d}^{(3,-)}(n) \geq 0$ for all but finitely many $d$. We also provide a proof of the generalized conjecture for all but finitely many $d$ for fixed $a$ and strengthen the results of Duncan, Khunger, Swisher, and the second author. We provide a conditional proof of a linear lower bound on $d$ for the generalized conjecture, which improves our unconditional result based on a conjectural modification of a recently proven conjecture of Alder. Using this modification, we obtain a strengthening of this generalization of Kang and Park's conjecture which remarkably allows $a$ as a part. Additionally, we provide asymptotic evidence that this strengthened conjecture holds.
The number of maximal unrefinable partitions
Published
• View Publication
• BIB
This paper completes the classification of maximal unrefinable partitions, extending a previous work of Aragona et al. devoted only to the case of triangular numbers. We show that the number of maximal unrefinable partitions of an integer coincides with the number of suitable partitions into distinct parts, depending on the distance from the successive triangular number.
Lee metrics on groups
In this work we consider interval metrics on groups; that is, integral invariant metrics whose associated weight functions do not have gaps. We give conditions for a group to have and to have not interval metrics. Then we study Lee metrics on general groups, that is interval metrics having the finest unitary symmetric associated partition. These metrics generalize the classic Lee metric on cyclic groups. In the case that $G$ is a torsion-free group or a finite group of odd order, we prove that $G$ has a Lee metric if and only if $G$ is cyclic. Also, if $G$ is a group admitting Lee metrics then $G \times \mathbb{Z}_2^k$ always have Lee metrics for every $k \in \mathbb{N}$. Then, we show that some families of metacyclic groups, such as cyclic, dihedral, and dicyclic groups, always have Lee metrics. Finally, we give conditions for non-cyclic groups such that they do not have Lee metrics. We end with tables of all groups of order $\le 31$ indicating which of them have (or have not) Lee metrics and why (not).
Log-concavity of the restricted partition function $p_\mathcal{A}(n,k)$ and the new Bessenrodt-Ono type inequality
Published
• View Publication
• BIB
Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and Pólya-Szegö as well as the Almkavist's estimation.
On $k$-measures and Durfee squares of partitions
Published
• View Publication
• BIB
Recently, Andrews, Bhattacharjee and Dastidar introduced the concept of $k$-measure of an integer partition, and proved a surprising identity that the number of partitions of $n$ which have $2$-measure $m$ is equal to the number of partitions of $n$ with a Durfee square of side $m$. The authors asked for a bijective proof of this result and also suggested a further exploration of the properties of the number of partitions of $n$ which have $k$-measure $m$ for $k \geq 3$. In this note, we complete these tasks. That is, we obtain a short combinatorial proof of the result of Andrews, Bhattacharjee and Dastidar, and using this proof, we easily generalize this result for $k$-measures.
Topological string amplitudes and Seiberg-Witten prepotentials from the counting of dimers in transverse flux
Published
• View Publication
• BIB
Important illustration to the principle ``partition functions in string theory are $τ$-functions of integrable equations'' is the fact that the (dual) partition functions of $4d$ $\mathcal{N}=2$ gauge theories solve Painlevé equations. In this paper we show a road to self-consistent proof of the recently suggested generalization of this correspondence: partition functions of topological string on local Calabi-Yau manifolds solve $q$-difference equations of non-autonomous dynamics of the ``cluster-algebraic'' integrable systems.
We explain in details the ``solutions'' side of the proposal. In the simplest non-trivial example we show how $3d$ box-counting of topological string partition function appears from the counting of dimers on bipartite graph with the discrete gauge field of ``flux'' $q$. This is a new form of topological string/spectral theory type correspondence, since the partition function of dimers can be computed as determinant of the linear $q$-difference Kasteleyn operator. Using WKB method in the ``melting'' $q\to 1$ limit we get a closed integral formula for Seiberg-Witten prepotential of the corresponding $5d$ gauge theory. The ``equations'' side of the correspondence remains the intriguing topic for the further studies.
On Mixing Distributions Via Random Orthogonal Matrices and the Spectrum of the Singular Values of Multi-Z Shaped Graph Matrices
In this paper, we introduce and analyze a new operation $\circ_{R}$ which mixes two distributions $Ω$ and $Ω'$ via a random orthogonal matrix. In particular, we take $Ω\circ_R Ω'$ to be the limit as $n \to \infty$ of the distribution of singular values of $DRD'$ where $D$ and $D'$ are $n \times n$ diagonal matrices whose diagonal entries have distributions $Ω$ and $Ω'$ respectively and $R$ is a random $n \times n$ orthogonal matrix. We show that $\circ_R$ has several nice properties. We first observe that $\circ_R$ is commutative and associative and compute the moments of $Ω\circ_R Ω'$ in terms of the moments of $Ω$ and $Ω'$. We then show that $\circ_R$ interacts very nicely with the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices. This allows us to answer the question posed by our previous paper of how to describe the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices when the input distribution is not $\{-1,1\}$. In our analysis, we show that the moments of our distributions are closely connected to non-crossing partitions and prove a number of new results on non-crossing partitions which may be of independent interest.
Subexponential mixing for partition chains on grid-like graphs
Published
• View Publication
• BIB
We consider the problem of generating uniformly random partitions of the vertex set of a graph such that every piece induces a connected subgraph. For the case where we want to have partitions with linearly many pieces of bounded size, we obtain approximate sampling algorithms based on Glauber dynamics which are fixed-parameter tractable with respect to the bandwidth of $G$, with simple-exponential dependence on the bandwidth. For example, for rectangles of constant or logarithmic width this gives polynomial-time sampling algorithms. More generally, this gives sub-exponential algorithms for bounded-degree graphs without large expander subgraphs (for example, we obtain $O(2^{\sqrt n})$ time algorithms for square grids).
In the case where we instead want partitions with a small number of pieces of linear size, we show that Glauber dynamics can have exponential mixing time, even just for the case of 2 pieces, and even for 2-connected subgraphs of the grid with bounded bandwidth.
Combinatorics on bounded free Motzkin paths and its applications
Published
• View Publication
• BIB
In this paper, we construct a bijection from a set of bounded free Motzkin paths to a set of bounded Motzkin prefixes that induces a bijection from a set of bounded free Dyck paths to a set of bounded Dyck prefixes. We also give bijections between a set of bounded cornerless Motzkin paths and a set of $t$-core partitions, and a set of bounded cornerless symmetric Motzkin paths and a set of self-conjugate $t$-core partitions. As an application, we get explicit formulas for the number of ordinary and self-conjugate $t$-core partitions with a fixed number of corners.