Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A simple proof for the number of tilings of quartered Aztec diamonds
Published
• View Publication
• BIB
We get four quartered Aztec diamonds by dividing an Aztec diamond region by two zigzag cuts passing its center. W. Jockusch and J. Propp (in an unpublished work) found that the number of tilings of quartered Aztec diamonds is given by simple product formulas. In this paper we present a simple proof for this result.
Search Problems in Vector Spaces
Published
• View Publication
• BIB
We consider the following $q$-analog of the basic combinatorial search problem: let $q$ be a prime power and $\GF(q)$ the finite field of $q$ elements. Let $V$ denote an $n$-dimensional vector space over $\GF(q)$ and let $\mathbf{v}$ be an unknown 1-dimensional subspace of $V$. We will be interested in determining the minimum number of queries that is needed to find $\mathbf{v}$ provided all queries are subspaces of $V$ and the answer to a query $U$ is YES if $\mathbf{v} \leqslant U$ and NO if $\mathbf{v} \not\leqslant U$. This number will be denoted by $A(n,q)$ in the adaptive case (when for each queries answers are obtained immediately and later queries might depend on previous answers) and $M(n,q)$ in the non-adaptive case (when all queries must be made in advance).
In the case $n=3$ we prove $2q-1=A(3,q)<M(3,q)$ if $q$ is large enough. While for general values of $n$ and $q$ we establish the bounds \[ n\log q \le A(n,q) \le (1+o(1))nq \] and \[ (1-o(1))nq \le M(n,q) \le 2nq, \] provided $q$ tends to infinity.
The Multiple-orientability Thresholds for Random Hypergraphs
Published in Combinator. Probab. Comp. 25 (2016) 870-908
• View Publication
• BIB
A $k$-uniform hypergraph $H = (V, E)$ is called $\ell$-orientable, if there is an assignment of each edge $e\in E$ to one of its vertices $v\in e$ such that no vertex is assigned more than $\ell$ edges. Let $H_{n,m,k}$ be a hypergraph, drawn uniformly at random from the set of all $k$-uniform hypergraphs with $n$ vertices and $m$ edges. In this paper we establish the threshold for the $\ell$-orientability of $H_{n,m,k}$ for all $k\ge 3$ and $\ell \ge 2$, i.e., we determine a critical quantity $c_{k, \ell}^*$ such that with probability $1-o(1)$ the graph $H_{n,cn,k}$ has an $\ell$-orientation if $c < c_{k, \ell}^*$, but fails doing so if $c > c_{k, \ell}^*$.
Our result has various applications including sharp load thresholds for cuckoo hashing, load balancing with guaranteed maximum load, and massive parallel access to hard disk arrays.
A combinatorial proof for Cayley's identity
Published
• View Publication
• BIB
In a recent paper, Caracciolo, Sokal and Sportiello presented, inter alia, an algebraic/combinatorial proof for Cayley's identity. The purpose of the present paper is to give a "purely combinatorial" proof for this identity; i.e., a proof involving only combinatorial arguments together with a generalization of Laplace's Theorem, for which a "purely combinatorial" proof is already known.
Beyond Log-Supermodularity: Lower Bounds and the Bethe Partition Function
A recent result has demonstrated that the Bethe partition function always lower bounds the true partition function of binary, log-supermodular graphical models. We demonstrate that these results can be extended to other interesting classes of graphical models that are not necessarily binary or log-supermodular: the ferromagnetic Potts model with a uniform external field and its generalizations and special classes of weighted graph homomorphism problems.
Inclusion-exclusion enhanced by nerve stimulation
When evaluating the lengthy inclusion-exclusion expansion many of its terms may turn out to be zero, and hence should be discarded beforehand. Often this can be done. The main idea is that the index sets of nonzero terms constitute a set ideal (called the 'nerve'), which often can be encoded in a compact way (Upgrade B). As a further enhancement (Upgrade A), equal nonzero terms can sometimes be efficiently collected.
Large regular bipartite graphs with median eigenvalue 1
Published in Linear Algebra and its Applications, Volume 449, 15 May 2014, Pages 68-75
• View Publication
• BIB
A recent result of one of the authors says that every connected subcubic bipartite graph that is not isomorphic to the Heawood graph has at least one, and in fact a positive proportion of its eigenvalues in the interval [-1,1]. We construct an infinite family of connected cubic bipartite graphs which have no eigenvalues in the open interval (-1,1), thus showing that the interval [-1,1] cannot be replaced by any smaller symmetric subinterval even when allowing any finite number of exceptions. Similar examples with vertices of larger degrees are considered and it is also shown that their eigenvalue distribution has somewhat unusual properties. By taking limits of these graphs, we obtain examples of infinite vertex-transitive r-regular graphs for every r\ge3, whose spectrum consists of points $\pm1$ together with intervals [r-2,r] and [-r,-r+2]. These examples shed some light onto a question communicated by Daniel Lenz and Matthias Keller with motivation in relation to the Baum-Connes conjecture.
Stable Intersections of Tropical Varieties
Published in J. Algebraic Combin. 43 (2016), no. 1, 101-128
• View Publication
• BIB
We give several characterizations of stable intersections of tropical cycles and establish their fundamental properties. We prove that the stable intersection of two tropical varieties is the tropicalization of the intersection of the classical varieties after a generic rescaling. A proof of Bernstein's theorem follows from this. We prove that the tropical intersection ring of tropical cycle fans is isomorphic to McMullen's polytope algebra. It follows that every tropical cycle fan is a linear combination of pure powers of tropical hypersurfaces, which are always realizable. We prove that every stable intersection of constant coefficient tropical varieties defined by prime ideals is connected through codimension one. We also give an example of a realizable tropical variety that is connected through codimension one but whose stable intersection with a hyperplane is not.
Stability of the Centrality of Unions of Networks on the Same Vertex Set
Let $G^1(V,E_1)$ and $G^2(V,E_2)$ be two networks on the same vertex set $V$ and consider the union of edges $G(V, E_1 \cup E_2)$. This paper studies the stability of the Degree, Betweenness and Eigenvector Centrality of the resultant network, $G(V, E_1 \cup E_2)$. Specifically assume $v^1_{max}$ and $v^c_{max}$ are the highest centrality vertices of $G^1(V,E_1)$ and $G(V, E_1 \cup E_2)$ respectively, we want to find $Pr(v^1_{max} = v^c_{max})$.
Integrable Hierarchy of the Quantum Benjamin-Ono Equation
Published in SIGMA 9 (2013) 078
• View Publication
• BIB
A hierarchy of pairwise commuting Hamiltonians for the quantum periodic Benjamin-Ono equation is constructed by using the Lax matrix. The eigenvectors of these Hamiltonians are Jack symmetric functions of infinitely many variables $x_1,x_2,\ldots$. This construction provides explicit expressions for the Hamiltonians in terms of the power sum symmetric functions $p_n=x_1^n+x_2^n+\cdots$ and is based on our recent results from [Comm. Math. Phys. 324 (2013), 831-849, arXiv:1212.2781].
Dyck tilings and the homogeneous Garnir relations for graded Specht modules
Published
• View Publication
• BIB
Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson.
We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.
Recurrence and non-uniformity of bracket polynomials
Published in Online J. Anal. Comb. 9 (2014), 36pp
• View Publication
• BIB
A bracket polynomial on the integers is a function formed using the operations of addition, multiplication and taking fractional parts. For a fairly large class of bracket polynomials we show that if p is a bracket polynomial of degree k-1 on [N] then the function f defined by f(n) = e(p(n)) has Gowers U^k[N]-norm bounded away from zero, uniformly in N.
We establish this result by first reducing it to a certain recurrence property of sets of bracket polynomials. Specifically, for a fairly large class of bracket polynomials we show that if p_1, ..., p_r are bracket polynomials then their values, modulo 1, are all close to zero on at least some constant proportion of the points 1, ..., N.
The proofs rely on two deep results from the literature. The first is work of V. Bergelson and A. Leibman showing that an arbitrary bracket polynomial can be expressed in terms of a polynomial sequence on a nilmanifold. The second is a theorem of B. Green and T. Tao describing the quantitative distribution properties of such polynomial sequences.
We give elementary alternative proofs of the first result, without reference to nilmanifolds, in certain "low-complexity" special cases.
Minimum Number of Affine Simplexes of Given Dimension
Published
• View Publication
• BIB
In this paper we formulate and solve extremal problems in the d-dimensional Euclidean space and further in hypergraphs, originating from problems in stoichiometry and elementary linear algebra. The notion of affine simplex is the bridge between the original problems and the presented extremal theorem on set systems. A function related to Sperners theorem and the YBLM inequality is also considered and its relation to hypergraph Turan problems is discussed.
The Computational Complexity of the Game of Set and its Theoretical Applications
Published
• View Publication
• BIB
The game of SET is a popular card game in which the objective is to form Sets using cards from a special deck. In this paper we study single- and multi-round variations of this game from the computational complexity point of view and establish interesting connections with other classical computational problems. Specifically, we first show that a natural generalization of the problem of finding a single Set, parameterized by the size of the sought Set is W-hard; our reduction applies also to a natural parameterization of Perfect Multi-Dimensional Matching, a result which may be of independent interest. Second, we observe that a version of the game where one seeks to find the largest possible number of disjoint Sets from a given set of cards is a special case of 3-Set Packing; we establish that this restriction remains NP-complete. Similarly, the version where one seeks to find the smallest number of disjoint Sets that overlap all possible Sets is shown to be NP-complete, through a close connection to the Independent Edge Dominating Set problem. Finally, we study a 2-player version of the game, for which we show a close connection to Arc Kayles, as well as fixed-parameter tractability when parameterized by the number of rounds played.
Turán numbers and batch codes
Combinatorial batch codes provide a tool for distributed data storage, with the feature of keeping privacy during information retrieval. Recently, Balachandran and Bhattacharya observed that the problem of constructing such uniform codes in an economic way can be formulated as a Turán-type question on hypergraphs. Here we establish general lower and upper bounds for this extremal problem, and also for its generalization where the forbidden family consists of those $r$-uniform hypergraphs $H$ which satisfy the condition $k\ge |E(H)|> |V(H)|+q$ (for $k>q+r$ and $q> -r$ fixed). We also prove that, in the given range of parameters, the considered Turán function is asymptotically equal to the one restricted to $|E(H)|=k$, studied by Brown, Erdős and T. Sós. Both families contain some $r$-partite members --- often called the `degenerate case', characterized by the equality $\lim_{n\to\infty} \ex(n,\cF)/n^r=0$ --- and therefore their exact order of growth is not known.
Kirillov-Reshetikhin crystals, energy function and the combinatorial R-matrix
Published in J. Algebraic Combin. 43 (2016) no. 1, 45-74
• View Publication
• BIB
We study the polytope model for the affine type $A$ Kirillov-Reshetikhin crystals and prove that the action of the affine Kashiwara operators can be described in a remarkable simple way. Moreover, we investigate the combinatorial $R$-matrix on a tensor product of polytopes and characterize the map explicitly on the highest weight elements. We further give a formula for the local energy function and provide an alternative proof for the perfectness. We determine for any dominant highest weight element $Λ$ of level $\ell$ the elements $b_Λ, b^Λ$ involved in the definition of perfect crystals and give an explicit description of the ground-state path in the tensor product of polytopes.
Labelled seeds and the mutation group
Published in Math. Proc. Cambridge Philos. Soc. 163 (2017), no. 2, 193-217
• View Publication
• BIB
We study the set S of labelled seeds of a cluster algebra of rank n inside a field F as a homogeneous space for the group M_n of (globally defined) mutations and relabellings. Regular equivalence relations on S are associated to subgroups W of Aut_{M_n}(S), and we thus obtain groupoids W \ S. We show that for two natural choices of equivalence relation, the corresponding groups W^c and W^+ act on F, and the groupoids W^c \ S and W^+ \ S on the model field K=Q(x_1,...,x_n). The groupoid W^+ \ S is equivalent to Fock-Goncharov's cluster modular groupoid. Moreover, W^c is isomorphic to the group of cluster automorphisms, and W^+ to the subgroup of direct cluster automorphisms, in the sense of Assem-Schiffler-Shramchenko. We also prove that, for mutation classes whose seeds have mutation finite quivers, the stabilizer of a labelled seed under M_n determines the quiver of the seed up to 'similarity', meaning up to taking opposites of some of the connected components. Consequently, the subgroup W^c is the entire automorphism group of S in these cases.
Twists of Plücker coordinates as dimer partition functions
Published
• View Publication
• BIB
The homogeneous coordinate ring of the Grassmannian Gr(k,n) has a cluster structure defined in terms of planar diagrams known as Postnikov diagrams. The cluster corresponding to such a diagram consists entirely of Pluecker coordinates. We introduce a twist map on Gr(k,n), related to the Berenstein-Fomin-Zelevinsky-twist, and give an explicit Laurent expansion for the twist of an arbitrary Pluecker coordinate in terms of the cluster variables associated with a fixed Postnikov diagram. The expansion arises as a (scaled) dimer partition function of a weighted version of the bipartite graph dual to the Postnikov diagram, modified by a boundary condition determined by the Pluecker coordinate. We also relate the twist map to a maximal green sequence.
On q-Series Identities Related to Interval Orders
Published
• View Publication
• BIB
We prove several power series identities involving the refined generating function of interval orders, as well as the refined generating function of the self-dual interval orders. These identities may be expressed as $\sum_{n\ge 0}(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(q;q)_n$ and $\sum_{n\ge 0} (-1)^n(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(-q;q)_n =\sum_{n\ge 0} (q/p)^n(p;q^2)_n$, where the equalities apply to the (purely formal) power series expansions of the above expressions at $p=q=1$, as well as at other suitable roots of unity.
Packing Posets in the Boolean Lattice
Published
• View Publication
• BIB
We are interested in maximizing the number of pairwise unrelated copies of a poset $P$ in the family of all subsets of $[n]$. We prove that for any $P$ the maximum number of unrelated copies of $P$ is asymptotic to a constant times the largest binomial coefficient. Moreover, the constant has the form $\frac{1}{c(P)}$, where $c(P)$ is the size of the smallest convex closure over all embeddings of $P$ into the Boolean lattice.