group
10430 papers tagged with this keyword
On partition functions for 3-graphs
Published
• View Publication
• BIB
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$).
Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces.
On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities
Published
• View Publication
• BIB
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the above mentioned cohomology modules.
We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov and Zell.
Limits of functions on groups
Published
• View Publication
• BIB
Our goal is to develop a limit approach for a class of problems in additive combinatorics that is analogous to the limit theory of dense graph sequences. We introduce metric, convergence and limit objects for functions on groups and for measurable functions on compact abelian groups. As an application we find exact minimizers for densities of linear configurations of complexity $1$.
Counting Trees in Supersymmetric Quantum Mechanics
We study the supersymmetric ground states of the Kronecker model of quiver quantum mechanics. This is the simplest quiver with two gauge groups and bifundamental matter fields, and appears universally in four-dimensional N=2 systems. The ground state degeneracy may be written as a multi-dimensional contour integral, and the enumeration of poles can be simply phrased as counting bipartite trees. We solve this combinatorics problem, thereby obtaining exact formulas for the degeneracies of an infinite class of models. We also develop an algorithm to compute the angular momentum of the ground states, and present explicit expressions for the refined indices of theories where one rank is small.
Sharp bound on the number of maximal sum-free subsets of integers
Published
• View Publication
• BIB
Cameron and Erdős asked whether the number of \emph{maximal} sum-free sets in $\{1, \dots , n\}$ is much smaller than the number of sum-free sets. In the same paper they gave a lower bound of $2^{\lfloor n/4 \rfloor }$ for the number of maximal sum-free sets. Here, we prove the following: For each $1\leq i \leq 4$, there is a constant $C_i$ such that, given any $n\equiv i \mod 4$, $\{1, \dots , n\}$ contains $(C_i+o(1)) 2^{n/4}$ maximal sum-free sets. Our proof makes use of container and removal lemmas of Green, a structural result of Deshouillers, Freiman, Sós and Temkin and a recent bound on the number of subsets of integers with small sumset by Green and Morris. We also discuss related results and open problems on the number of maximal sum-free subsets of abelian groups.
Triadic analysis of affiliation networks
Published in Network Science / Volume 3 / Issue 04 / December 2015, pp 480-508
• View Publication
• BIB
Triadic closure has been conceptualized and measured in a variety of ways, most famously the clustering coefficient. Existing extensions to affiliation networks, however, are sensitive to repeat group attendance, which manifests in bipartite models as biclique proliferation. Whereas this sensitivity does not reflect common interpretations of triadic closure in social networks, this paper proposes a measure of triadic closure in affiliation networks designed to control for it. To avoid arbitrariness, the paper introduces a triadic framework for affiliation networks, within which a range of measures can be defined; it then presents a set of basic axioms that suffice to narrow this range to the one measure. An instrumental assessment compares the proposed and two existing measures for reliability, validity, redundancy, and practicality. All three measures then take part in an investigation of three empirical social networks, which illustrates their differences.
Spectra of Cayley Graphs of Complex Reflection Groups
Published
• View Publication
• BIB
Renteln proved that the eigenvalues of the distance matrix of a Cayley graph of a real reflection group with respect to the set of all reflections are integral and provided a combinatorial formula for some such spectra. We prove the eigenvalues of the distance, adjacency, and codimension matrices of Cayley graphs of complex reflection groups with connection sets consisting of all reflections are integral and provide a combinatorial formula for the codimension spectra for a family of monomial complex reflection groups.
Lamplighter groups, de Bruijn graphs, spider-web graphs and their spectra
Published in J. Phys. A: Math. Theor. Vol. 49, No 20 (2016)
• View Publication
• BIB
We describe the infinite family of spider-web graphs $S_{k,M,N }$, $k \geq 2$, $M \geq 1$ and $N \geq 0$, studied in physical literature as tensor products of well-known de Brujin graphs $B_{k,N}$ and cyclic graphs $C_M$ and show that these graphs are Schreier graphs of the lamplighter groups $L_k = Z/kZ \wr Z$. This allows us to compute their spectra and to identify the infinite limit of $S_{k,M,N}$, as $N, M \to\infty$, with the Cayley graph of the lamplighter group $L_k$.
This is the final version of the article, taking in account comments from the referees and with an extended introduction.
On inversion sets and the weak order in Coxeter groups
Published in European Journal of Combinatorics, vol. 55, pp. 1-19 (2016)
• View Publication
• BIB
In this article, we investigate the existence of joins in the weak order of an infinite Coxeter group W. We give a geometric characterization of the existence of a join for a subset X in W in terms of the inversion sets of its elements and their position relative to the imaginary cone. Finally, we discuss inversion sets of infinite reduced words and the notions of biconvex and biclosed sets of positive roots.
Polar Root Polytopes that are Zonotopes
Published in Séminaire Lotharingien de Combinatoire 73 (2015), B73a
• Search Publication
Let $\mathcal P_Φ$ be the root polytope of a finite irreducible crystallographic root system $Φ$, i.e., the convex hull of all roots in $Φ$. The polar of $\mathcal P_Φ$, denoted $\mathcal P_Φ^*$, coincides with the union of the orbit of the fundamental alcove under the action of the Weyl group. In this paper, we establishes which polytopes $\mathcal P_Φ^*$ are zonotopes and which are not. The proof is constructive.
Special matchings and parabolic Kazhdan-Lusztig polynomials
Published in Transactions of the American Mathematical Society, 368 (2016), 5247-5269
• View Publication
• BIB
We prove that the combinatorial concept of a special matching can be used to compute the parabolic Kazhdan-Lusztig polynomials of doubly laced Coxeter groups and of dihedral Coxeter groups. In particular, for this class of groups which includes all Weyl groups, our results generalize to the parabolic setting the main results in [Advances in Math. {202} (2006), 555-601]. As a consequence, the parabolic Kazhdan-Lusztig polynomial indexed by $u$ and $v$ depends only on the poset structure of the Bruhat interval from the identity element to $v$ and on which elements of that interval are minimal coset representatives.
The irreducible unipotent modules of the finite general linear groups via tableaux
Published
• View Publication
• BIB
We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^\text{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.
The Catalan combinatorics of the hereditary artin algebras
Published
• View Publication
• BIB
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler.
Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories.
If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements.
Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.
Signed group orthogonal designs and their applications
Published
• View Publication
• BIB
Craigen introduced and studied {\it signed group Hadamard matrices} extensively in \cite{Craigenthesis, Craigen}. Livinskyi \cite{Ivan}, following Craigen's lead, studied and provided a better estimate for the asymptotic existence of signed group Hadamard matrices and consequently improved the asymptotic existence of Hadamard matrices. In this paper, we introduce and study signed group orthogonal designs. The main results include a method for finding signed group orthogonal designs for any $k$-tuple of positive integer and then an application to obtain orthogonal designs from signed group orthogonal designs, namely, for any $k$-tuple $\big(u_1, u_2, ..., u_{k}\big)$ of positive integers, we show that there is an integer $N=N(u_1, u_2, ..., u_k)$ such that for each $n\ge N$, a full orthogonal design (no zero entries) of type $\big(2^nu_1,2^nu_2,...,2^nu_{k}\big)$ exists . This is an alternative approach to the results obtained in \cite{EK}.
Words in Linear Groups, Random Walks, Automata and P-Recursiveness
Published
• View Publication
• BIB
Fix a finite set $S \subset {GL}(k,\mathbb{Z})$. Denote by $a_n$ the number of products of matrices in $S$ of length $n$ that are equal to 1. We show that the sequence $\{a_n\}$ is not always P-recursive. This answers a question of Kontsevich.
Lattices from Hermitian function fields
Published in J. Algebra 447 (2016) 560-579
• Search Publication
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
The CI problem for infinite groups
Published
• View Publication
• BIB
A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$.
We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
Rotor-routing orbits in directed graphs and the Picard group
In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.
The structure of rainbow-free colorings for linear equations on three variables in Zp
Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.
VC-sets and generic compact domination
Published
• View Publication
• BIB
Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if X is constructible. We deduce from this generic compact domination for definably amenable NIP groups.