partition
6235 papers tagged with this keyword
Absence of zeros implies strong spatial mixing
Published in Probability Theory and Related Fields 186, 621--641 (2023)
• View Publication
• BIB
In this paper we show that absence of complex zeros of the partition function of the hard-core model on any family of bounded degree graphs implies that the associated probability measure, the \emph{hard-core measure}, satisfies strong spatial mixing on that family. As a corollary we obtain that the hard-core measure on the family of bounded degree claw-free graphs satisfies strong spatial mixing. We furthermore derive strong spatial mixing for graph homomorphism measures from absence of zeros of the graph homomorphism partition function.
Copartitions
Published
• View Publication
• BIB
We develop the theory of copartitions, which are a generalization of partitions with connections to many classical topics in partition theory, including Rogers-Ramanujan partitions, theta functions, mock theta functions, partitions with parts separated by parity, and crank statistics. Using both analytic and combinatorial methods, we give two forms of the three-parameter generating function, and we study several special cases that demonstrate the potential broader impact the study of copartitions may have.
Asymptotics for the twisted eta-product and applications to sign changes in partitions
Published
• View Publication
• BIB
We prove asymptotic formulas for the complex coefficients of $(ζq;q)_\infty^{-1}$, where $ζ$ is a root of unity, and apply our results to determine secondary terms in the asymptotics for $p(a,b,n)$, the number of integer partitions of $n$ with largest part congruent $a$ modulo $b$. Our results imply that, as $n \to \infty$, the difference $p(a_1,b,n)-p(a_2,b,n)$ for $a_1 \neq a_2$ oscillates like a cosine, when renormalized by elementary functions. Moreover, we give asymptotic formulas for arbitrary linear combinations of $\{p(a,b,n)\}_{1 \leq a \leq b}$.
Spectral radius and clique partitions of graphs
Published in Linear Algebra and its Applications 630 (2021), 84-94
• View Publication
• BIB
We give lower bounds on the size and total size of clique partitions of a graph in terms of its spectral radius and minimum degree, and derive a spectral upper bound for the maximum number of edge-disjoint $t$-cliques. The extremal graphs attaining the bounds are exactly the block graphs of Steiner $2$-designs and the regular graphs with $K_t$-decompositions, respectively.
Computational thresholds for the fixed-magnetization Ising model
Published
• View Publication
• BIB
The ferromagnetic Ising model is a model of a magnetic material and a central topic in statistical physics. It also plays a starring role in the algorithmic study of approximate counting: approximating the partition function of the ferromagnetic Ising model with uniform external field is tractable at all temperatures and on all graphs, due to the randomized algorithm of Jerrum and Sinclair. Here we show that hidden inside the model are hard computational problems. For the class of bounded-degree graphs we find computational thresholds for the approximate counting and sampling problems for the ferromagnetic Ising model at fixed magnetization (that is, fixing the number of $+1$ and $-1$ spins). In particular, letting $β_c(Δ)$ denote the critical inverse temperature of the zero-field Ising model on the infinite $Δ$-regular tree, and $η_{Δ,β,1}^+$ denote the mean magnetization of the zero-field $+$ measure on the infinite $Δ$-regular tree at inverse temperature $β$, we prove, for the class of graphs of maximum degree $Δ$:
1. For $β< β_c(Δ)$ there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for all magnetizations $η$.
2. For $β> β_c(Δ)$, there is an FPRAS and efficient sampling scheme for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| >η_{Δ,β,1}^+ $.
3. For $β> β_c(Δ)$, there is no FPRAS for the fixed-magnetization Ising model for magnetizations $η$ such that $|η| <η_{Δ,β,1}^+ $ unless NP=RP\@.
Irregular triads in 3-uniform hypergraphs
Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intricate.
The main results in this paper concern certain combinatorial properties which arose as natural higher-order generalizations of the order property in parallel work of the authors in the arithmetic setting. Interpreted in the context of 3-uniform hypergraphs, these are tightly connected to the nature of irregular triads. Specifically, we show that a hereditary property of 3-uniform hypergraphs admits regular decompositions with so-called "linear error" if and only if it does not have the functional order property.
Along the way, we show that a hereditary property of 3-uniform hypergraphs is homogeneous (i.e. all regular triads have density near $0$ or near $1$) if and only it has bounded $\textrm{VC}_2$-dimension. This provides a quantitative version of a recent result of Chernikov and Towsner.
We also address several questions arising from prior work on tame regularity in hypergraphs. In particular, we characterize the hereditary properties of $3$-uniform hypergraphs admitting the type of regular partitions appearing in work of Fox et al. as those that have bounded slicewise $\textrm{VC}$-dimension. This is again analogous to a recent non-quantitative result of Chernikov and Towsner.
A note on the number of partitions of $n$ into $k$ parts
Published in Politehn. Univ. Bucharest Sci. Bull. Ser. A Appl. Math. Phys. 84 (2022), no. 4, 131-138
• Search Publication
We prove new formulas and congruences for $p(n,k):=$ the number of partitions of $n$ into $k$ parts and $q(n,k):=$ the number of partitions of $n$ into $k$ distinct parts. Also, we give lower and upper bounds for the density of the set $\{n\in\mathbb N\;:\;p(n,k)\equiv i(\bmod\; m)\}$, where $m\geq 2$ and $0\leq i\leq m-1$.
Strong Cospectrality and Twin Vertices in Weighted Graphs
Published in Electron. J. Linear Algebra 38, 494-518 (2021)
• View Publication
• BIB
We explore algebraic and spectral properties of weighted graphs containing twin vertices that are useful in quantum state transfer. We extend the notion of adjacency strong cospectrality to arbitrary Hermitian matrices, with focus on the generalized adjacency matrix and the generalized normalized adjacency matrix. We then determine necessary and sufficient conditions such that a pair of twin vertices in a weighted graph exhibits strong cospectrality with respect to the above-mentioned matrices. We also generalize known results about equitable and almost equitable partitions, and use these to determine which joins of the form $X\vee H$, where $X$ is either the complete or empty graph, exhibit strong cospectrality.
Pure pairs. IX. Transversal trees
Published in SIAM Journal on Discrete Mathematics, Volume 38(1), 2024, pp. 645-667
• View Publication
• BIB
Fix k>0, and let G be a graph, with vertex set partitioned into k subsets (`blocks') of approximately equal size. An induced subgraph of G is transversal (with respect to this partition) if it has exactly one vertex in each block (and therefore it has exactly k vertices). A pure pair in G is a pair X,Y of disjoint subsets of V(G) such that either all edges between X,Y are present or none are; and in the present context we are interested in pure pairs (X,Y) where each of X,Y is a subset of one of the blocks, and not the same block. This paper collects several results and open questions concerning how large a pure pair must be present if various types of transversal subgraphs are excluded.
Ramsey-type results for path covers and path partitions
Published
• View Publication
• BIB
A family $\mathcal{P}$ of subgraphs of $G$ is called a {\it path cover} (resp. a {\it path partition}) of $G$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$) and every element of $\mathcal{P}$ is a path. The minimum cardinality of a path cover (resp. a path partition) of $G$ is denoted by ${\rm pc}(G)$ (resp. ${\rm pp}(G)$). In this paper, we characterize the forbidden subgraph conditions assuring us that ${\rm pc}(G)$ (or ${\rm pp}(G)$) is bounded by a constant. Our main results introduce a new Ramsey-type problem.
Self-conjugate $t$-core partitions and applications
Published in Australas. J. Combin. 82(2) (2022), 212--227
• Search Publication
Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding partition into distinct odd parts, by proving a new hook length formula. Corollaries of these results include new applications of $t$-core self-conjugate partitions to subsets of the natural numbers, due to the recent investigation of a new partition statistic called the supernorm by the first author, Just, and Schneider, as well as many results on $t$-cores by Bringmann, Kane, Males, Ono, Raji, and others. We provide several examples of these applications, one of which gives a new formula for certain families of Hurwitz class numbers.
Towards a Combinatorial Model for $q$-weight Multiplicities of Simple Lie Algebras (Extended Abstract)
Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charge statistic beyond type $A$ has been a long-standing problem. Here, we take a completely new approach based on the definition of Kostka-Foulkes polynomials as an alternating sum over Kostant partitions, which can be thought of as formal sums of positive roots. We use a sign-reversing involution to obtain a positive expansion, in which the relevant statistic is simply the number of parts in the Kostant partitions. The hope is that the simplicity of this new crystal-like model will naturally extend to other classical types.
Divisibility of certain $\ell$-regular partitions by $2$
Published
• View Publication
• BIB
For a positive integer $\ell$, let $b_{\ell}(n)$ denote the number of $\ell$-regular partitions of a nonnegative integer $n$. Motivated by some recent conjectures of Keith and Zanello, we establish infinite families of congruences modulo $2$ for $b_3(n)$ and $b_{21}(n)$. We prove a specific case of a conjecture of Keith and Zanello on self-similarities of $b_3(n)$ modulo $2$. We next prove that the series $\sum_{n=0}^{\infty}b_9(2n+1)q^n$ is lacunary modulo arbitrary powers of $2$. We also prove that the series $\sum_{n=0}^{\infty}b_9(4n)q^n$ is lacunary modulo $2$.
Proof of some conjectural congruences of da Silva and Sellers
Published
• View Publication
• BIB
Let $p_{\{3, 3\}}(n)$ denote the number of $3$-regular partitions in three colours. In a very recent paper, da Silva and Sellers studied certain arithmetic properties of $p_{\{3, 3\}}(n)$. They further conjectured four Ramanujan-like congruences modulo $5$ satisfied by $p_{\{3, 3\}}(n)$. In this article, we confirm the conjectural congruences of da Silva and Sellers using the theory of modular forms.
Almost periodic functions and an analytical method of solving the number partitioning problem
In the present paper, we study the limit sets of the almost periodic functions $f(x)$. It is interesting that the values $r=\inf|f(x)|$ and $R=\sup|f(x)|$ may be expressed in the exact form. We show that the ring $r\leq |z|\leq R$ is the limit set of the almost periodic function $f(x)$ (under some natural conditions on $f$). The exact expression for $r$ coincides with the well known partition problem formula and gives a new analytical method of solving the corresponding partition problem. Several interesting examples are considered. For instance, in the case of the five numbers, the well-known Karmarkar--Karp algorithm gives the value $m=2$ as the solution of the partition problem in our example, and our method gives the correct answer $m=0.$ The figures presented in Appendix illustrate our results.
Active clustering for labeling training data
Published in NeurIPS 2021
• Search Publication
Gathering training data is a key step of any supervised learning task, and it is both critical and expensive. Critical, because the quantity and quality of the training data has a high impact on the performance of the learned function. Expensive, because most practical cases rely on humans-in-the-loop to label the data. The process of determining the correct labels is much more expensive than comparing two items to see whether they belong to the same class. Thus motivated, we propose a setting for training data gathering where the human experts perform the comparatively cheap task of answering pairwise queries, and the computer groups the items into classes (which can be labeled cheaply at the very end of the process). Given the items, we consider two random models for the classes: one where the set partition they form is drawn uniformly, the other one where each item chooses its class independently following a fixed distribution. In the first model, we characterize the algorithms that minimize the average number of queries required to cluster the items and analyze their complexity. In the second model, we analyze a specific algorithm family, propose as a conjecture that they reach the minimum average number of queries and compare their performance to a random approach. We also propose solutions to handle errors or inconsistencies in the experts' answers.
Extremal Sidon sets are Fourier uniform, with applications to partition regularity
Published
• View Publication
• BIB
Generalising results of Erdős-Freud and Lindström, we prove that the largest Sidon subset of a bounded interval of integers is equidistributed in Bohr neighbourhoods. We establish this by showing that extremal Sidon sets are Fourier-pseudorandom, in that they have no large non-trivial Fourier coefficients. As a further application we deduce that, for any partition regular equation in five or more variables, every finite colouring of an extremal Sidon set has a monochromatic solution.
Cylindric plane partitions, Lambda determinants, Commutants in semicircular systems
This thesis is divided into three parts. The first part deals with cylindric plane partitions. The second with lambda-determinants and the third with commutators in semi-circular systems. For more detailed abstract please see inside.
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of section one is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences. The second result is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. The third result is an explicit combinatorial interpretation of the Macdonald weight occurring in the $(q,t)$-analog using the non-intersecting lattice path model for cylindric plane partitions.
Alternating sign matrices were discovered by Robbins and Rumsey whilst studying \emph{$λ$-determinants}. In the second part of this thesis we prove a multi-parameter generalization of the $λ$-determinant, generalizing a recent result by di Francesco. Like the original $λ$-determinant, our formula exhibits the \emph{Laurent phenomenon}.
Semicircular systems were first introduced by Voiculescu as a part of his study of von Neumann algebras. In the third part of this thesis we study certain commutator subalgebras of the semicircular system. We find a projection matrix with an interesting self-similar structure. Making use of our projection formula we given an alternative, elementary proof that the semicircular system is a factor.
Linked partition ideals and the Alladi--Schur theorem
Published
• View Publication
• BIB
Let $\mathscr{S}$ denote the set of integer partitions into parts that differ by at least $3$, with the added constraint that no two consecutive multiples of $3$ occur as parts. We derive trivariate generating functions of Andrews--Gordon type for partitions in $\mathscr{S}$ with both the number of parts and the number of even parts counted. In particular, we provide an analytic counterpart of Andrews' recent refinement of the Alladi--Schur theorem.
A Note on Minimum Degree Condition for Hamiltonian $(a,b)$-Cycles in Hypergraphs
Published
• View Publication
• BIB
Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $α\in (0,1)$ such that $δ_a(\mathcal{H})\geq (α+o(1))\binom{n-a}{b}$ and $δ_b(\mathcal{H})\geq (1-α+o(1))\binom{n-b}{a}$, then $\mathcal{H}$ contains a Hamilton $(a,b)$-cycle. As a corollary, we prove that if $δ_{\ell}(\mathcal{H})\geq (1/2 +o(1))\binom{n-\ell}{k-\ell}$ for some $\ell \geq k/2$, then $\mathcal{H}$ contains a Hamilton $(k-\ell,\ell)$-cycle and this is asymptotically best possible.