partition
6235 papers tagged with this keyword
Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials
Published in SIAM J. Comput., 46(6), 1893-1919
• View Publication
• BIB
In this paper we show a new way of constructing deterministic polynomial-time approximation algorithms for computing complex-valued evaluations of a large class of graph polynomials on bounded degree graphs. In particular, our approach works for the Tutte polynomial and independence polynomial, as well as partition functions of complex-valued spin and edge-coloring models.
More specifically, we define a large class of graph polynomials $\mathcal C$ and show that if $p\in \cal C$ and there is a disk $D$ centered at zero in the complex plane such that $p(G)$ does not vanish on $D$ for all bounded degree graphs $G$, then for each $z$ in the interior of $D$ there exists a deterministic polynomial-time approximation algorithm for evaluating $p(G)$ at $z$. This gives an explicit connection between absence of zeros of graph polynomials and the existence of efficient approximation algorithms, allowing us to show new relationships between well-known conjectures.
Our work builds on a recent line of work initiated by. Barvinok, which provides a new algorithmic approach besides the existing Markov chain Monte Carlo method and the correlation decay method for these types of problems.
Special classes of $q$-bracket operators
Published in Ramanujan Journal 47.2 (2018): 309-316
• View Publication
• BIB
We study the $q$-bracket operator of Bloch and Okounkov when applied to $f(λ)=\sum_{λ_i \in λ}g(λ_i)$ and $f(λ)=\sum_{\substack{λ_i \in λλ_i \text{distinct} }}g(λ_i)$. We use these expansions to derive convolution identities for the functions $f$ and link both classes of $q$-brackets through divisor sums. As a result, we generalize Euler's classic convolution identity for the partition function and obtain an analogous identity for the totient function. As corollaries, we generalize Stanley's theorem as well as provide several new combinatorial results.
Modularity of regular and treelike graphs
Published
• View Publication
• BIB
Clustering algorithms for large networks typically use modularity values to test which partitions of the vertex set better represent structure in the data. The modularity of a graph is the maximum modularity of a partition. We consider the modularity of two kinds of graphs.
For $r$-regular graphs with a given number of vertices, we investigate the minimum possible modularity, the typical modularity, and the maximum possible modularity. In particular, we see that for random cubic graphs the modularity is usually in the interval $(0.666, 0.804)$, and for random $r$-regular graphs with large $r$ it usually is of order $1/\sqrt{r}$. These results help to establish baselines for statistical tests on regular graphs.
The modularity of cycles and low degree trees is known to be close to 1: we extend these results to `treelike' graphs, where the product of treewidth and maximum degree is much less than the number of edges. This yields for example the (deterministic) lower bound $0.666$ mentioned above on the modularity of random cubic graphs.
Partial sum of matrix entries of representations of the symmetric group and its asymptotics
Published
• View Publication
• BIB
Many aspects of the asymptotics of Plancherel distributed partitions have been studied in the past fifty years, in particular the limit shape, the distribution of the longest rows, connections with random matrix theory and characters of the representation matrices of the symmetric group. Regarding the latter, we expand a celebrated result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose these objects into a main term and a reminder, proving a central limit theorem for both main terms and a law of large numbers for the partial sum itself. Our main tool is the expansion of symmetric functions evaluated on Jucys-Murphy elements.
Comments related to infinite wedge representations
We study the infinite wedge representation and show how it is related to the universal extension of $g[t,t^{-1}]$ the loop algebra of a complex semi-simple Lie algebra $g$. We also give an elementary proof of the boson-fermion correspondence. Our approach to proving this result is based on a combinatorial construction with partitions combined with an application of the Murnaghan-Nakayama rule.
Counting Matrices that are Squares
On the math-fun mailing list (7 May 2013), Neil Sloane asked to calculate the number of $n \times n$ matrices with entries in $\{0,1\}$ which are squares of other such matrices. In this paper we analyze the case that the arithmetic is in $\mathbb{F}_{2}$. We follow the dictum of Wilf ("What is an answer?") to derive a "effective" algorithm to count such matrices in much less time than it takes to enumerate them. The algorithm which we use involves the analysis of conjugacy classes of matrices. The restricted integer partitions which arise are counted by the coefficients of one of Ramanujan's mock Theta functions, which we found thanks to Sloane's OEIS (Online Encyclopedia of Integer Sequences). Let $a_n$ be the number elements of ${\rm Mat}_n(\mathbb{F}_{2})$ which are squares, and $b_n$ be the number of elements of ${\rm GL}(n,\mathbb{F}_{2})$ which are squares. The numerical results strongly suggest that there are constants $α,β> 0$ such that $a_n \sim α2^{n^2}$, $b_n \sim β2^{n^2}$.
Robust Tverberg and colorful Carathéodory results via random choice
We use the probabilistic method to obtain versions of the colorful Carathéodory theorem and Tverberg's theorem with tolerance.
In particular, we give bounds for the smallest integer $N=N(t,d,r)$ such that for any $N$ points in $R^d$, there is a partition of them into $r$ parts for which the following condition holds: after removing any $t$ points from the set, the convex hulls of what is left in each part intersect.
We prove the bound $N=rt+O(\sqrt{t})$ for fixed $r,d$ which is polynomial in each parameters. Our bounds extend to colorful versions of Tverberg's theorem, as well as Reay-type variations of this theorem.
The twist for positroid varieties
Published
• View Publication
• BIB
The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plücker coordinates which are expected to be a cluster in a cluster structure.
This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plücker coordinates.
Combinatorial interpretations of Ramanujan's tau function
Published in Discrete Math. 341(10) (2018), 2831-2840
• View Publication
• BIB
We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan's tau function which involves t-cores and a new class of partitions which we call (m,k)-capsids. The same method can be applied in conjunction with other related identities yielding alternative combinatorial interpretations of the tau function.
S-Restricted Compositions Revisited
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (March 28, 2017) dmtcs:1522
• View Publication
• BIB
An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed- form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to finding solutions to corresponding so-called interpreters which are linear homogeneous recurrence relations with constant coefficients. Then, we reduce interpreters to Diophantine equations. Such equations are not in general solvable. Thus, we restrict our attention to those S-restricted composition problems whose interpreters have a small number of coefficients, thereby leading to solvable Diophantine equations. The formalism developed is then used to study the integer sequences related to some well-known cases of the S-restricted composition problem.
Classification of large partial plane spreads in $PG(6,2)$ and related combinatorial objects
Published
• View Publication
• BIB
In this article, the partial plane spreads in $PG(6,2)$ of maximum possible size $17$ and of size $16$ are classified. Based on this result, we obtain the classification of the following closely related combinatorial objects: Vector space partitions of $PG(6,2)$ of type $(3^{16} 4^1)$, binary $3\times 4$ MRD codes of minimum rank distance $3$, and subspace codes with parameters $(7,17,6)_2$ and $(7,34,5)_2$.
Partition regularity of generalised Fermat equations
Published
• View Publication
• BIB
Let $α,β,γ\in\mathbb{N}$. We prove that given an $r$-colouring of $\mathbb{F}_p$ with $p$ prime, there are more than $c_{r,α,β,γ} p^2$ solutions to the equation $x^α+y^β=z^γ$ with all of $x,y,z$ of the same colour. Here $c_{r,α,β,γ}>0$ is some constant depending on the number of colours and the exponents in the equation. This is already a new result for $α=β=1$ and $γ=2$, that is to say for the equation $x+y=z^2$.
Schröder partitions, Schröder tableaux and weak poset patterns
Published
• View Publication
• BIB
We introduce the notions of Schröder shape and of Schröder tableau, which provide some kind of analogs of the classical notions of Young shape and Young tableau. We investigate some properties of the partial order given by containment of Schröder shapes. Then we propose an algorithm which is the natural analog of the well known RS correspondence for Young tableaux, and we characterize those permutations whose insertion tableaux have some special shapes. The last part of the article relates the notion of Schröder tableau with those of interval order and of weak containment (and strong avoidance) of posets. We end our paper with several suggestions for possible further work.
Scalable motif-aware graph clustering
Published
• View Publication
• BIB
We develop new methods based on graph motifs for graph clustering, allowing more efficient detection of communities within networks. We focus on triangles within graphs, but our techniques extend to other clique motifs as well. Our intuition, which has been suggested but not formalized similarly in previous works, is that triangles are a better signature of community than edges. We therefore generalize the notion of conductance for a graph to {\em triangle conductance}, where the edges are weighted according to the number of triangles containing the edge. This methodology allows us to develop variations of several existing clustering techniques, including spectral clustering, that minimize triangles split by the cluster instead of edges cut by the cluster. We provide theoretical results in a planted partition model to demonstrate the potential for triangle conductance in clustering problems. We then show experimentally the effectiveness of our methods to multiple applications in machine learning and graph mining.
Tight Bounds on the Complexity of Semi-Equitable Coloring of Cubic and Subcubic Graphs
A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| \notin \{\lceil |V|/k\rceil, \lfloor |V|/k \rfloor\}$ and $||V_i|-|V_j|| \leq 1$ for each $i,j=2,\ldots,k$. The color class $V_1$ is called non-equitable. In this note we consider the complexity of semi-equitable $k$-coloring, $k\geq 4$, of the vertices of a cubic or subcubic graph $G$. In particular, we show that, given a $n$-vertex subcubic graph $G$ and constants $ε> 0$, $k \geq 4$, it is NP-complete to obtain a semi-equitable $k$-coloring of $G$ whose non-equitable color class is of size $s$ if $s \geq n/3+εn$, and it is polynomially solvable if $s \leq n/3$.
A Nekrasov-Okounkov formula for Macdonald polynomials
Published in Journal of Algebraic Combinatorics 48 (2018), 1-30
• View Publication
• BIB
We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces.
Quivers with subadditive labelings: classification and integrability
Published
• View Publication
• BIB
Strictly subadditive, subadditive and weakly subadditive labelings of quivers were introduced by the second author, generalizing Vinberg's definition for undirected graphs. In our previous work we have shown that quivers with strictly subadditive labelings are exactly the quivers exhibiting Zamolodchikov periodicity. In this paper, we classify all quivers with subadditive labelings. We conjecture them to exhibit a certain form of integrability, namely, as the $T$-system dynamics proceeds, the values at each vertex satisfy a linear recurrence. Conversely, we show that every quiver integrable in this sense is necessarily one of the $19$ items in our classification. For the quivers of type $\hat A \otimes A$ we express the coefficients of the recurrences in terms of the partition functions for domino tilings of a cylinder, called \emph{Goncharov-Kenyon Hamiltonians}. We also consider tropical $T$-systems of type $\hat A \otimes A$ and explain how affine slices exhibit solitonic behavior, i.e. soliton resolution and speed conservation. Throughout, we conjecture how the results in the paper are expected to generalize from $\hat A \otimes A$ to all other quivers in our classification.
Partitioning sparse graphs into an independent set and a forest of bounded degree
Published
• View Publication
• BIB
An $({\cal I},{\cal F}_d)$-partition of a graph is a partition of the vertices of the graph into two sets $I$ and $F$, such that $I$ is an independent set and $F$ induces a forest of maximum degree at most $d$. We show that for all $M<3$ and $d \ge \frac{2}{3-M} - 2$, if a graph has maximum average degree less than $M$, then it has an $({\cal I},{\cal F}_d)$-partition. Additionally, we prove that for all $\frac{8}{3} \le M < 3$ and $d \ge \frac{1}{3-M}$, if a graph has maximum average degree less than $M$ then it has an $({\cal I},{\cal F}_d)$-partition.
On the exact learnability of graph parameters: The case of partition functions
We study the exact learnability of real valued graph parameters $f$ which are known to be representable as partition functions which count the number of weighted homomorphisms into a graph $H$ with vertex weights $α$ and edge weights $β$. M. Freedman, L. Lovász and A. Schrijver have given a characterization of these graph parameters in terms of the $k$-connection matrices $C(f,k)$ of $f$. Our model of learnability is based on D. Angluin's model of exact learning using membership and equivalence queries. Given such a graph parameter $f$, the learner can ask for the values of $f$ for graphs of their choice, and they can formulate hypotheses in terms of the connection matrices $C(f,k)$ of $f$. The teacher can accept the hypothesis as correct, or provide a counterexample consisting of a graph. Our main result shows that in this scenario, a very large class of partition functions, the rigid partition functions, can be learned in time polynomial in the size of $H$ and the size of the largest counterexample in the Blum-Shub-Smale model of computation over the reals with unit cost.
Quasimodularity and large genus limits of Siegel-Veech constants
Published
• View Publication
• BIB
Quasimodular forms were first studied in the context of counting torus coverings. Here we show that a weighted version of these coverings with Siegel-Veech weights also provides quasimodular forms. We apply this to prove conjectures of Eskin and Zorich on the large genus limits of Masur-Veech volumes and of Siegel-Veech constants.
In Part I we connect the geometric definition of Siegel-Veech constants both with a combinatorial counting problem and with intersection numbers on Hurwitz spaces. We introduce modified Siegel-Veech weights whose generating functions will later be shown to be quasimodular.
Parts II and III are devoted to the study of the quasimodularity of the generating functions arising from weighted counting of torus coverings. The starting point is the theorem of Bloch and Okounkov saying that q-brackets of shifted symmetric functions are quasimodular forms. In Part II we give an expression for their growth polynomials in terms of Gaussian integrals and use this to obtain a closed formula for the generating series of cumulants that is the basis for studying large genus asymptotics. In Part III we show that the even hook-length moments of partitions are shifted symmetric polynomials and prove a formula for the q-bracket of the product of such a hook-length moment with an arbitrary shifted symmetric polynomial. This formula proves quasimodularity also for the (-2)-nd hook-length moments by extrapolation, and implies the quasimodularity of the Siegel-Veech weighted counting functions.
Finally, in Part IV these results are used to give explicit generating functions for the volumes and Siegel-Veech constants in the case of the principal stratum of abelian differentials. To apply these exact formulas to the Eskin-Zorich conjectures we provide a general framework for computing the asymptotics of rapidly divergent power series.