group
10405 papers tagged with this keyword
Circuits and Hurwitz action in finite root systems
Published in New York J. Math 22 (2016), pp. 1457-1486
• Search Publication
In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.
Large Cayley digraphs and bipartite Cayley digraphs of odd diameters
Published in Discrete Mathematics 340 (2017) 1162-1171
• View Publication
• BIB
Let $C_{d,k}$ be the largest number of vertices in a Cayley digraph of degree $d$ and diameter $k$, and let $BC_{d,k}$ be the largest order of a bipartite Cayley digraph for given $d$ and $k$. For every degree $d\geq2$ and for every odd $k$ we construct Cayley digraphs of order $2k\left(\lfloor\frac{d}{2}\rfloor\right)^k$ and diameter at most $k$, where $k\ge 3$, and bipartite Cayley digraphs of order $2(k-1)\left(\lfloor\frac{d}{2}\rfloor\right)^{k-1}$ and diameter at most $k$, where $k\ge 5$. These constructions yield the bounds $C_{d,k} \ge 2k\left(\lfloor\frac{d}{2}\rfloor\right)^k$ for odd $k\ge 3$ and $d\ge \frac{3^{k}}{2k}+1$, and $BC_{d,k} \ge 2(k-1)\left(\lfloor\frac{d}{2}\rfloor\right)^{k-1}$ for odd $k\ge 5$ and $d\ge \frac{3^{k-1}}{k-1}+1$. Our constructions give the best currently known bounds on the orders of large Cayley digraphs and bipartite Cayley digraphs of given degree and odd diameter $k\ge 5$. In our proofs we use new techniques based on properties of group automorphisms of direct products of abelian groups.
An easy upper bound for Ramsey numbers
It is observed that the conjugacy growth series of the infinite finitary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Computations suggest a class of finite graphs, that we call partition-complete, which generalizes the class of semi-hamiltonian graphs, and which is of independent interest. Numerical evidences indicate that the coefficients of a series related to the finitary alternating group seem to satisfy congruence relations reminiscent of Ramanujan's congruences for the partition function.
The generalized lifting property of Bruhat intervlas
Published
• View Publication
• BIB
In [E. Tsukerman and L. Williams, {\em Bruhat Interval Polytopes}, Advances in Mathematics, 285 (2015), 766-810] it is shown that every Bruhat interval of the symmetric group satisfies the so-called generalized lifting property. In this paper we show that a Coxeter group satisfies this property if and only if it is finite and simply-laced.
Structure coefficients for Jack characters: approximate factorization property
Jack characters are a generalization of the characters of the symmetric groups; a generalization that is related to Jack symmetric functions. We investigate the structure coefficients for Jack characters; they are a generalization of the connection coefficients for the symmetric groups. More specifically, we study the cumulants which measure the discrepancy between these structure coefficients and the simplistic structure coefficients related to the disjoint product. We show that Jack characters satisfy approximate factorization property: their cumulants are of very small degree and the character related to a given partition is approximately equal to the product of the characters related to its parts. This result will play a key role in the proof of Gaussianity of fluctuations for a class of random Young diagrams related to the Jack polynomials.
On the structure of the power graph and the enhanced power graph of a group
Published in Electronic J. Combinatorics 24(3) (2017), P3.16
• View Publication
• BIB
Let $G$ be a group. The \emph{power graph} of $G$ is a graph with the vertex set $G$, having an edge between two elements whenever one is a power of the other. We characterize nilpotent groups whose power graphs have finite independence number. For a bounded exponent group, we prove its power graph is a perfect graph and we determine its clique/chromatic number. Furthermore, it is proved that for every group $G$, the clique number of the power graph of $G$ is at most countably infinite. We also measure how close the power graph is to the \emph{commuting graph} by introducing a new graph which lies in between. We call this new graph as the \emph{enhanced power graph}. For an arbitrary pair of these three graphs we characterize finite groups for which this pair of graphs are equal.
The Evasiveness Conjecture and Graphs on 2p Vertices
The Evasiveness conjecture have been proved for properties of graphs on a prime-power number of vertices and the six vertices case. The ten vertices case is still unsolved. In this paper we study the size of the automorphism group of a graph on $2p$ vertices to estimate the Euler characteristic of monotone non-evasive graph properties and get some conditions such graph properties must satisfy. We also do this by means of Oliver groups and give some lower bounds for the dimension of the simplicial complex associated to a nontrivial monotone non-evasive graph property. We apply our results to graphs on ten vertices to get conditions on potential counterexamples to the evasiveness conjecture in the ten vertices case.
Symmetry in Sphere-based Assembly Configuration Spaces
Published in Symmetry 8.1 (2016): 5
• View Publication
• BIB
Many remarkably robust, rapid and spontaneous self-assembly phenomena in nature can be modeled geometrically starting from a collection of rigid bunches of spheres. This paper highlights the role of symmetry in sphere-based assembly processes. Since spheres within bunches could be identical and bunches could be identical as well, the underlying symmetry groups could be of large order that grows with the number of participating spheres and bunches. Thus, understanding symmetries and associated isomorphism classes of microstates correspond to various types of macrostates can significantly reduce the complexity of computing entropy and free energy, as well as paths and kinetics, in high dimensional configuration spaces. In addition, a precise understanding of symmetries is crucial for giving provable guarantees of algorithmic accuracy and efficiency in such computations. In particular, this may aid in predicting crucial assembly-driving interactions.
This is a primarily expository paper that develops a novel, original framework for dealing with symmetries in configuration spaces of assembling spheres with the following goals. (1) We give new, formal definitions of various concepts relevant to sphere-based assembly that occur in previous work, and in turn, formal definitions of their relevant symmetry groups leading to the main theorem concerning their symmetries. These previously developed concepts include, for example, (a) assembly configuration spaces, (b) stratification of assembly configuration space into regions defined by active constraint graphs, (c) paths through the configurational regions, and (d) coarse assembly pathways. (2) We demonstrate the new symmetry concepts to compute sizes and numbers of orbits in two example settings appearing in previous work. (3) We give formal statements of a variety of open problems and challenges using the new conceptual definitions.
The Jones polynomial and functions of positive type on the oriented Jones-Thompson groups $\vec{F}$ and $\vec{T}$
Published
• View Publication
• BIB
The pioneering work of Jones and Kauffman unveiled a fruitful relationship between statistical mechanics and knot theory. Recently, Jones introduced two subgroups $\vec{F}$ and $\vec{T}$ of the Thompson groups $F$ and $T$, respectively, together with a procedure that associates an oriented link diagram to any element of these subgroups. Moreover, several specializations of some well-known polynomial link invariants can be seen as functions of positive type on the Thompson groups or the Jones-Thompson subgroups. One important example is provided by suitable evaluations of the Jones polynomial, which are thus associated with certain unitary representations of the groups $\vec{F}$ and $\vec{T}$. Within this framework, we discuss an alternative approach that relies on some partition function interpretation of the Jones polynomial, and also exhibit more examples associated with other link invariants, notably the two-variable Kauffman polynomial and the HOMFLY polynomial. In the unoriented case, extending our previous results, we also show by similar methods that certain evaluations of the Tutte polynomial and of the Kauffman bracket, suitably renormalized, yield functions of positive type on $T$.
Products of abstract polytopes
Published
• View Publication
• BIB
Given two convex polytopes, the join, the cartesian product and the direct sum of them are well understood. In this paper we extend these three kinds of products to abstract polytopes and introduce a new product, called the topological product, which also arises in a natural way.
We show that these products have unique prime factorization theorems.
We use this to compute the automorphism group of a product in terms of the automorphism groups of the factors and show that (non trivial) products are almost never regular or two-orbit polytopes. We finish the paper by studying the monodromy group of a product, show that such a group is always an extension of a symmetric group, and give some examples in which this extension splits.
Proof of a conjecture of Bergeron, Ceballos and Labbé
Published in New York Journal of Mathematics, Volume 23 (2017), pp. 1581--1610 (minor editorial variations)
• Search Publication
The reduced expressions for a given element $w$ of a Coxeter group $(W, S)$ can be regarded as the vertices of a directed graph $\mathcal{R}(w)$; its arcs correspond to the braid moves. Specifically, an arc goes from a reduced expression $a$ to a reduced expression $b$ when $b$ is obtained from $a$ by replacing a contiguous subword of the form $stst...$ (for some distinct $s, t$ in $S$) by $tsts...$ (where both subwords have length $m_{s, t}$, the order of $st$ in $W$). We prove a strong bipartiteness-type result for this graph $\mathcal{R}(w)$: Not only does every cycle of $\mathcal{R}(w)$ have even length; actually, the arcs of $\mathcal{R}(w)$ can be colored (with colors corresponding to the type of braid moves used), and to every color $c$ corresponds an "opposite" color $c^{\operatorname{op}}$ (corresponding to the reverses of the braid moves with color $c$), and for any color $c$, the number of arcs in any given cycle of $\mathcal{R}(w)$ having color in $\left\{c, c^{\operatorname{op}}\right\}$ is even. This is a generalization and strengthening of a 2014 result by Bergeron, Ceballos and Labbé. We state further conjectural extensions.
Sum-avoiding sets in groups
Published in Discrete Analysis 2016:15, 31 pp
• View Publication
• BIB
Let $A$ be a finite subset of an arbitrary additive group $G$, and let $φ(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 \not \in A$ for all distinct $b_1,b_2 \in B$). The question of controlling the size of $A$ in terms of $φ(A)$ in the case when $G$ was torsion-free was posed by Erdős and Moser. When $G$ has torsion, $A$ can be arbitrarily large for fixed $φ(A)$ due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the Erdős-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that $A$ is either efficiently covered by $φ(A)$ finite subgroups of $G$, or by fewer than $φ(A)$ finite subgroups of $G$ together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis.
We also answer negatively a question of Erdős regarding large subsets $A$ of finite additive groups $G$ with $φ(A)$ bounded, but give a positive result when $|G|$ is not divisible by small primes.
Sumfree sets in groups: a survey
Published
• View Publication
• BIB
We discuss several questions concerning sum-free sets in groups, raised by Erdős in his survey "Extremal problems in number theory" (Proceedings of the Symp. Pure Math. VIII AMS) published in 1965.
Among other things, we give a characterization for large sets $A$ in an abelian group $G$ which do not contain a subset $B$ of fixed size $k$ such that the sum of any two different elements of $B$ do not belong to $A$ (in other words, $B$ is sum-free with respect to $A$). Erdős, in the above mentioned survey, conjectured that if $|A|$ is sufficiently large compared to $k$, then $A$ contains two elements that add up to zero. This is known to be true for $k \leq 3$. We give counterexamples for all $k \ge 4$. On the other hand, using the new characterization result, we are able to prove a positive result in the case when $|G|$ is not divisible by small primes.
Permutation Representations of the Orbits of the Automorphism Group of a Finite Module over Discrete Valuation Ring
Published in Proc. Math. Sci. (Indian Acad. Sci.) April 2017, Vol. 127, Issue 2, pp. 295-321
• View Publication
• BIB
Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space $C[O]$ is multiplicity free. This is achieved by obtaining a complete description of the transitive subsets of $O\times O$ under the diagonal action of the automorphism group.
Tensor Product Multiplicities via Upper Cluster Algebras
Published in Annales de l'ENS, volume 54, issue 6 (2021)
• View Publication
• BIB
For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.
Equilateral triangles in subsets of ${\Bbb R}^d$ of large Hausdorff dimension
Published
• View Publication
• BIB
We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two dimensions (see \cite{CLP14}). We show that no extra conditions are needed in dimensions four and higher. The three dimensional case remains open.
Some interesting parallels exist between the triangle problem in Euclidean space and its counter-part in vector spaces over finite fields. We shall outline these similarities in hopes of eventually achieving a comprehensive understanding of this phenomenon in the setting of locally compact abelian groups.
An explicit prime geodesic theorem for discrete tori and the hypergeometric functions
Published in Math. Z., 289 (2018) No. 1, 361 -- 376
• View Publication
• BIB
The discrete tori are graph analogues of the real tori, which are defined by the Cayley graphs of a finite product of finite cyclic groups. In this paper, using the theory of the heat kernel on the discrete tori established by Chinta, Jorgenson and Karlsson, we derive an explicit prime geodesic theorem for the discrete tori, which is not an asymptotic formula. To describe the formula, we need generalizations of the classical Jacobi polynomials, which are defined by the Lauricella multivariable hypergeometric function of type C.
Counting surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group with motivations from string theory and QFT
Published in Nuclear Physics B 910 (2016), 712-723
• View Publication
• BIB
Graphs embedded into surfaces have many important applications, in particular, in combinatorics, geometry, and physics. For example, ribbon graphs and their counting is of great interest in string theory and quantum field theory (QFT). Recently, Koch, Ramgoolam, and Wen [Nuclear Phys.\,B {\bf 870} (2013), 530--581] gave a refined formula for counting ribbon graphs and discussed its applications to several physics problems. An important factor in this formula is the number of surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group. The aim of this paper is to give an explicit and practical formula for the number of such epimorphisms. As a consequence, we obtain an `equivalent' form of the famous Harvey's theorem on the cyclic groups of automorphisms of compact Riemann surfaces. Our main tool is an explicit formula for the number of solutions of restricted linear congruence recently proved by Bibak et al. using properties of Ramanujan sums and of the finite Fourier transform of arithmetic functions.
Gröbner bases and cocyclic Hadamard matrices
Published in Journal of Symbolic Computation 89 (2018) 26-40
• View Publication
• BIB
Hadamard ideals were introduced in 2006 as a set of nonlinear polynomial equations whose zeros are uniquely related to Hadamard matrices with one or two circulant cores of a given order. Based on this idea, the cocyclic Hadamard test enable us to describe a polynomial ideal that characterizes the set of cocyclic Hadamard matrices over a fixed finite group $G$ of order $4t$. Nevertheless, the complexity of the computation of the reduced Gröbner basis of this ideal is $2^{O(t^2)}$, which is excessive even for very small orders. In order to improve the efficiency of this polynomial method, we take advantage of some recent results on the inner structure of a cocyclic matrix to describe an alternative polynomial ideal that also characterizes the mentioned set of cocyclic Hadamard matrices over $G$. The complexity of the computation decreases in this way to $2^{O(n)}$, where $n$ is the number of $G$-coboundaries. Particularly, we design two specific procedures for looking for $\mathbb{Z}_t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices and $D_{4t}$-cocyclic Hadamard matrices, so that larger cocyclic Hadamard matrices (up to $t \leq 31$) are explicitly obtained.
Isomorphisms of Cayley graphs on nilpotent groups
Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. For the special case where the groups are abelian, these results were previously proved by A.A.Ryabchenko and C.Loeh, respectively.