group
10263 papers tagged with this keyword
Aztec Castles and the dP3 Quiver
Published
• View Publication
• BIB
Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling.
Cross Number Invariants of Finite Abelian Groups
Published in Journal of Number Theory 136 (2014): 100-117
• View Publication
• BIB
The cross number of a sequence over a finite abelian group $G$ is the sum of the inverse orders of the terms of that sequence. We study two group invariants, the maximal cross number of a zero-sum free sequence over $G$, called $\mathsf{k}(G)$, introduced by Krause, and the maximal cross number of a unique factorization sequence over $G$, called $K_{1}(G)$, introduced by Gao and Wang. Conjectured formulae for $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ are known, but only some special cases are proved for either. We show structural results about maximal cross number sequences that allow us to prove an inductive theorem giving conditions under which the conjectured values of $\mathsf{k}$ and $\mathsf{K}_{1}$ must be correct for $G\oplus C_{p^α}$ if they are correct for a group $G$. As a corollary of this result we prove the conjectured values of $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ for cyclic groups $C_{n}$, given that the prime factors of $n$ are far apart. Our methods also prove the $\mathsf{K}_{1}(G)$ conjecture for rank two groups of the form $C_{n}\oplus C_{q}$, where $q$ is the largest or second largest prime dividing $n$, and the prime factors of $n$ are far apart, and the $\mathsf{k}(G)$ conjecture for groups of the form $C_{n}\oplus H_{q}$, where the prime factors of $n$ are far apart, $q$ is the largest prime factor of $n$, and $H_{q}$ is an arbitrary finite abelian $q$-group. Finally, we pose a conjecture about the structure of maximal-length unique factorization sequences over elementary $p$-groups, which is a major roadblock to extending the $\mathsf{K}_{1}$ conjecture to groups of higher rank, and formulate a general question about the structure of maximal zero-sum free and unique factorization sequences with respect to arbitrary weighting functions.
Bounded quotients of the fundamental group of a random 2-complex
Let D denote the (n-1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of D obtained by starting with the full 1-skeleton of D and then adding each 2-simplex independently with probability p. For a fixed c>0 it is shown that if p=\frac{(6+7c) \log n}{n} then a.a.s. the fundamental group π(Y) does not have a nontrivial quotient of order at most n^c.
Polyhedrons and PBIBDs from hyperbolic manifolds
Published
• View Publication
• BIB
By taking quotients of a certain tiling of hyperbolic plane / space by certain group actions, we obtain geometric polyhedra / cellulations with interesting symmetries and incidence structure.
A generalisation of core partitions
Published
• View Publication
• BIB
Suppose $s$ and $t$ are coprime natural numbers. A theorem of Olsson says that the $t$-core of an $s$-core partition is again an $s$-core. We generalise this theorem, showing that the $s$-weight of the $t$-core of a partition $λ$ is at most the $s$-weight of $λ$. Then we consider the set $\mathcal C_{s:t}$ of partitions for which equality holds, which we call $[s{:}t]$-cores; this set has interesting structure, and we expect that it will be the subject of future study. We show that the set of $[s{:}t]$-cores is a union of finitely many orbits for an action of a Coxeter group of type $\tilde A_{s-1}\times\tilde A_{t-1}$ on the set of partitions. We also consider the problem of constructing an $[s{:}t]$-core with specified $s$-core and $t$-core.
Some exact values of the Harborth constant and its plus-minus weighted analogue
Published
• View Publication
• BIB
The Harborth constant of a finite abelian group is the smallest integer $\ell$ such that each subset of $G$ of cardinality $\ell$ has a subset of cardinality equal to the exponent of the group whose elements sum to the neutral element of the group. The plus-minus weighted analogue of this constant is defined in the same way except that instead of considering the sum of all elements of the subset one can choose to add either the element or its inverse. We determine these constants for certain groups, mainly groups that are the direct sum of a cyclic group and a group of order 2. Moreover, we contrast these results with existing results and conjectures on these problems.
Remarks on the plus-minus weighted Davenport constant
Published
• View Publication
• BIB
For $(G,+)$ a finite abelian group the plus-minus weighted Davenport constant, denoted $\mathsf{D}_{\pm}(G)$, is the smallest $\ell$ such that each sequence $g_1 ... g_{\ell}$ over $G$ has a weighted zero-subsum with weights +1 and -1, i.e., there is a non-empty subset $I \subset \{1,..., \ell\}$ such that $\sum_{i \in I} a_i g_i =0$ for $a_i \in \{+1,-1\}$. We present new bounds for this constant, mainly lower bounds, and also obtain the exact value of this constant for various additional types of groups.
Vertex operators, Weyl determinant formulae and Littlewood duality
Published in Ann. Combin. 19 (2015), no.3, 427--442
• View Publication
• BIB
Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.
A method for deterining the mod-$3^k$ behaviour of recursive sequences
We present a method for obtaining congruences modulo powers of 3 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Motzkin numbers, Riordan numbers, Schröder numbers, Eulerian numbers, trinomial coefficients, Delannoy numbers, and to functions counting free subgroups of finite index in the inhomogeneous modular group and its lifts. This leads to numerous new results, including many extensions of known results to higher powers of 3.
Rotor-routing and spanning trees on planar graphs
Published in International Mathematics Research Notices 2015 (2015) 11, 3225-3244
• View Publication
• BIB
The sandpile group Pic^0(G) of a finite graph G is a discrete analogue of the Jacobian of a Riemann surface which was rediscovered several times in the contexts of arithmetic geometry, self-organized criticality, random walks, and algorithms. Given a ribbon graph G, Holroyd et al. used the "rotor-routing" model to define a free and transitive action of Pic^0(G) on the set of spanning trees of G. However, their construction depends a priori on a choice of basepoint vertex. Ellenberg asked whether this action does in fact depend on the choice of basepoint. We answer this question by proving that the action of Pic^0(G) is independent of the basepoint if and only if G is a planar ribbon graph.
Integer invariants of abelian Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association scheme $H(n,q)$. We also recover results of Bai and Jacobson-Niedermaier-Reiner on the critical group of a Cartesian product of complete graphs.
Webs on surfaces, rings of invariants, and clusters
Published
• View Publication
• BIB
We construct and study cluster algebra structures in rings of invariants of the special linear group action on collections of three-dimensional vectors, covectors, and matrices. The construction uses Kuperberg's calculus of webs on marked surfaces with boundary.
$q$-Analogs of $t$-Wise Balanced Designs from Borel Subgroups
Published
• View Publication
• BIB
A $t\text{-}(n,K,λ;q)$ design, also called the $q$-analog of a $t$-wise balanced design, is a set ${\mathcal B}$ of subspaces with dimensions contained in $K$ of the $n$-dimensional vector space ${\mathbb F}_q^n$ over the finite field with $q$ elements such that each $t$-subspace of ${\mathbb F}_q^n$ is contained in exactly $λ$ elements of ${\mathcal B}$. In this paper we give a construction of an infinite series of nontrivial $t\text{-}(n,K,λ;q)$ designs with $|K|=2$ for all dimensions $t\ge 1$ and all prime powers $q$ admitting the standard Borel subgroup as group of automorphisms. Furthermore, replacing $q=1$ gives an ordinary $t$-wise balanced design defined on sets.
On the chromatic number of random Cayley graphs
Published
• View Publication
• BIB
Let G be an abelian group of cardinality N, where (N,6) = 1, and let A be a random subset of G. Form a graph Gamma_A on vertex set G by joining x to y if and only if x + y is in A. Then, almost surely as N tends to infinity, the chromatic number chi(Gamma_A) is at most (1 + o(1))N/2 log_2 N. This is asymptotically sharp when G = Z/NZ, N prime.
Presented at the conference in honour of Bela Bollobas on his 70th birthday, Cambridge August 2013.
Thin subsets of groups
Published
• View Publication
• BIB
For a group $G$ and a natural number $m$, a subset $A$ of $G$ is called $m$-thin if, for each finite subset $F$ of $G$, there exists a finite subset $K$ of $G$ such that $|Fg\cap A|\leqslant m$ for every $g\in G\setminus K$. We show that each $m$-thin subset of a group $G$ of cardinality $\aleph_n$, $n= 0,1,...$ can be partitioned into $\leqslant m^{n+1}$ 1-thin subsets. On the other side, we construct a group $G$ of cardinality $\aleph_ω$ and point out a 2-thin subset of $G$ which cannot be finitely partitioned into 1-thin subsets.
Ultracompanions of subsets of a group
Let $G$ be a group, $βG$ is the Stone-$\check{C}$ech compactification of $βG$ endowed with the structure of a right topological semigroup, $G^*=βG\setminus G$. Given any subset $A$ of $G$ and $p\in G^*$, we define the $p$-companion $\vt_p(A)=A^*\cap Gp$ of $A$, and characterize the subsets with finite and discrete ultracompanions.
Inequivalence of skew Hadamard difference sets and triple intersection numbers modulo a prime
Published
• View Publication
• BIB
Recently, Feng and Xiang \cite{FX113} found a new construction of skew Hadamard difference sets in elementary abelian groups. In this paper, we introduce a new invariant for equivalence of skew Hadamard difference sets, namely triple intersection numbers modulo a prime, and discuss inequivalence between Feng-Xiang skew Hadamard difference sets and the Paley difference sets. As a consequence, we show that their construction produces infinitely many skew Hadamard difference sets inequivalent to the Paley difference sets.
Sporadic neighbour-transitive codes in Johnson graphs
Published
• View Publication
• BIB
We classify the neighbour-transitive codes in Johnson graphs J(v, k) of minimum distance at least three which admit a neighbour-transitive group of automorphisms that is an almost simple two-transitive group of degree v and does not occur in an infinite family of two-transitive groups. The result of this classification is a table of 22 codes with these properties. Many have relatively large minimum distance in comparison to their length v and number of code words. We construct an additional five neighbour-transitive codes with minimum distance two admitting such a group. All 27 codes are t-designs with t at least two.
Locally s-distance transitive graphs and pairwise transitive designs
Published
• View Publication
• BIB
The study of locally s-distance transitive graphs initiated by the authors in previous work, identified that graphs with a star quotient are of particular interest. This paper shows that the study of locally s-distance transitive graphs with a star quotient is equivalent to the study of a particular family of designs with strong symmetry properties that we call nicely affine and pairwise transitive. We show that a group acting regularly on the points of such a design must be abelian and give a general construction for this case.
Proofs and generalizations of a homomesy conjecture of Propp and Roby
Published in Discrete Mathematics, 339 (2016), 194-206
• View Publication
• BIB
Let $G$ be a group acting on a set $X$ of combinatorial objects, with finite orbits, and consider a statistic $ξ: X \to \mathbb{C}$. Propp and Roby defined the triple $(X, G, ξ)$ to be \emph{homomesic} if for any orbits $\mathcal{O}_1, \mathcal{O}_2$, the average value of the statistic $ξ$ is the same, that is \[\frac{1}{{|\mathcal{O}_1|}}\sum_{x \in \mathcal{O}_1} ξ(x) = \frac{1}{|\mathcal{O}_2|}\sum_{y \in \mathcal{O}_2} ξ(y).\]
In 2013 Propp and Roby conjectured the following instance of homomesy. Let $\mathrm{SSYT}_k(m \times n)$ denote the set of semistandard Young tableaux of shape $m \times n$ with entries bounded by $k$. Let $S$ be any set of boxes in the $m \times n$ rectangle fixed under $180^\circ$ rotation. For $T \in \mathrm{SSYT}_k(m \times n)$, define $σ_S(T)$ to be the sum of the entries of $T$ in the boxes of $S$. Let $\langle \mathcal{P} \rangle$ be a cyclic group of order $k$ where $\mathcal{P}$ acts on $\mathrm{SSYT}_k(m \times n)$ by promotion. Then $(\mathrm{SSYT}_k(m \times n), \langle \mathcal{P} \rangle, σ_S)$ is homomesic.
We prove this conjecture, as well as a generalization to cominuscule posets. We also discuss analogous questions for tableaux with strictly increasing rows and columns under the K-promotion of Thomas and Yong, and prove limited results in that direction.