group
10258 papers tagged with this keyword
Cayley graphs with few automorphisms
Published in J Algebr Comb 53, 1117-1146 (2021)
• View Publication
• BIB
We show that every finitely generated group G with an element of order at least $(5rank(G))^{12}$ admits a locally finite directed Cayley graph with automorphism group equal to G. If moreover G is not generalized dihedral, then the above Cayley directed graph does not have bigons. On the other hand, if G is neither generalized dicyclic nor abelian and has an element of order at least $(2rank(G))^{36}$, then it admits an undirected Cayley graph with automorphism group equal to G. This extends classical results for finite groups and free products of groups. The above results are obtained as corollaries of a stronger form of rigidity which says that the rigidity of the graph can be observed in a ball of radius 1 around a vertex. This strong rigidity result also implies that the Cayley (di)graph covers very few (di)graphs. In particular, we obtain Cayley graphs of Tarski monsters which essentially do not cover other quasi-transitive graphs.
We also show that a finitely generated group admits a locally finite labelled unoriented Cayley graph with automorphism group equal to itself if and only if it is neither generalized dicyclic nor abelian with an element of order greater than 2.
Recent results on Choi's orthogonal Latin squares
Choi Seok-Jeong studied Latin squares at least 60 years earlier than Euler although this was less known. He introduced a pair of orthogonal Latin squares of order 9 in his book. Interestingly, his two orthogonal non-double-diagonal Latin squares produce a magic square of order 9, whose theoretical reason was not studied. There have been a few studies on Choi's Latin squares of order 9. The most recent one is Ko-Wei Lih's construction of Choi's Latin squares of order 9 based on the two $3 \times 3$ orthogonal Latin squares.
In this paper, we give a new generalization of Choi's orthogonal Latin squares of order 9 to orthogonal Latin squares of size $n^2$ using the Kronecker product including Lih's construction. We find a geometric description of Choi's orthogonal Latin squares of order 9 using the dihedral group $D_8$. We also give a new way to construct magic squares from two orthogonal non-double-diagonal Latin squares, which explains why Choi's Latin squares produce a magic square of order 9.
Finite diamond-colored modular and distributive lattices with applications to combinatorial Lie representation theory
A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation theory, particularly in the study of poset models for semisimple Lie algebra representations and their companion Weyl group symmetric functions. One of our goals is to gather in one place some elementary but foundational results concerning these lattice structures; this includes some new results as well as some new interpretations of classical results. We then develop many points of contact between diamond-colored modular/distributive lattices and combinatorial Lie representation theory, leading to some new Dynkin diagram classification results and some new results concerning minuscule and quasi-minuscule representations.
On growth rate in $SL_2(\mathbf{F}_p)$, the affine group and sum-product type implications
This paper aims to study in more depth the relation between growth in matrix groups ${\rm SL_2}(\mathbf{F})$ and ${\rm Aff}(\mathbf{F})$ over a field $\mathbf{F}$ by multiplication and geometric incidence estimates, associated with the sum-product phenomenon over $\mathbf{F}$. It presents streamlined proofs of Helfgott's theorems on growth in the $\mathbf{F}_p$-case, which avoid sum-product estimates. For ${\rm SL_2}(\mathbf{F}_p)$, for sets exceeding in size some absolute constant, we improve the lower bound $\frac{1}{1512}$ for the growth exponent, due to Kowalski, to $\frac{1}{21}.$ For the affine group we fetch a sharp theorem of Szőnyi on the number of directions, determined by a point set in $\mathbf{F}_p^2$.
We then focus on ${\rm Aff}(\mathbf{F})$ and present a new incidence bound between a set of points and a set of lines in $\mathbf{F}^2$, which explicitly depends on the energy of the set of lines as affine transformations under composition. This bound, strong when the number of lines is considerably smaller than the number of points, yields generalizations of structural theorems of Elekes and Murphy on rich lines in grids.
In the special case when the set of lines is also a grid -- relating back to sum-products -- we use growth in ${\rm Aff}(\mathbf{R})$ to obtain a subthreshold estimate on the energy of the set of lines. This yields a unified way to break the ice in various threshold sum-product type energy inequalities. We show this in applications to energy estimates, corresponding to sets $A(A+ A)$, $A+AA$ (also embracing asymmetric versions) as well as $A+B$ when $A$ has small multiplicative doubling and $\sqrt{|A|} \le |B|\le|A|^{1+o(1)}$.
Macdonald trees and determinants of representations for finite Coxeter groups
Published in Indian J. Discrete Math., Vol. 5, No. 1 (2019), pp. 1-22
• Search Publication
Every irreducible odd dimensional representation of the $n$'th symmetric or hyperoctahedral group, when restricted to the $(n-1)$'th, has a unique irreducible odd-dimensional constituent. Furthermore, the subgraph induced by odd-dimensional representations in the Bratteli diagram of symmetric and hyperoctahedral groups is a binary tree with a simple recursive description. We survey the description of this tree, known as the Macdonald tree, for symmetric groups, from our earlier work. We describe analogous results for hyperoctahedral groups.
A partition $λ$ of $n$ is said to be chiral if the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We review our previous results on the structure and enumeration of chiral partitions, and subsequent extension to all Coxeter groups by Ghosh and Spallone. Finally we show that the numbers of odd and chiral partitions track each other closely.
The Component Connectivity of Alternating Group Graphs and Split-Stars
Published in IEEE Access, Vol. 7, (2019) pp. 97745-97759
• View Publication
• BIB
For an integer $\ell\geqslant 2$, the $\ell$-component connectivity of a graph $G$, denoted by $κ_{\ell}(G)$, is the minimum number of vertices whose removal from $G$ results in a disconnected graph with at least $\ell$ components or a graph with fewer than $\ell$ vertices. This is a natural generalization of the classical connectivity of graphs defined in term of the minimum vertex-cut and is a good measure of robustness for the graph corresponding to a network. So far, the exact values of $\ell$-connectivity are known only for a few classes of networks and small $\ell$'s. It has been pointed out in~[Component connectivity of the hypercubes, Int. J. Comput. Math. 89 (2012) 137--145] that determining $\ell$-connectivity is still unsolved for most interconnection networks, such as alternating group graphs and star graphs. In this paper, by exploring the combinatorial properties and fault-tolerance of the alternating group graphs $AG_n$ and a variation of the star graphs called split-stars $S_n^2$, we study their $\ell$-component connectivities. We obtain the following results: (i) $κ_3(AG_n)=4n-10$ and $κ_4(AG_n)=6n-16$ for $n\geqslant 4$, and $κ_5(AG_n)=8n-24$ for $n\geqslant 5$; (ii) $κ_3(S_n^2)=4n-8$, $κ_4(S_n^2)=6n-14$, and $κ_5(S_n^2)=8n-20$ for $n\geqslant 4$.
Graph calculus and the disconnected-boundary Schwinger-Dyson equations of quartic tensor field theories
Published in Math Phys Anal Geom 23, 42 (2020)
• View Publication
• BIB
Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves connected. In a recent work, the Schwinger-Dyson equations for an arbitrary albeit connected boundary were obtained. Here, we introduce the multivariable graph calculus in order to derive the missing equations for all correlation functions with disconnected boundary, thus completing the Schwinger-Dyson pyramid for quartic melonic (`pillow'-vertices) models in arbitrary rank. We first study finite group actions that are parametrised by graphs and build the graph calculus on a suitable quotient of the monoid algebra $A[G]$ corresponding to a certain function space $A$ and to the free monoid $G$ in finitely many graph variables; a derivative of an element of $A[G]$ with respect to a graph yields its corresponding group action on $A$. The present result and the graph calculus have three potential applications: the non-perturbative large-$N$ limit of tensor field theories, the solvability of the theory by using methods that generalise the topological recursion to the TFT setting and the study of `higher dimensional maps' via Tutte-like equations. In fact, we also offer a term-by-term comparison between Tutte equations and the present Schwinger-Dyson equations.
Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley
Published in Algebraic Combinatorics 3, no. 2, 2020, 301-307
• View Publication
• BIB
We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture implies the (strong) Sperner property for the weak order on the symmetric group, a property recently established by C. Gaetz and Y. Gao (2018).
The Hall--Paige conjecture, and synchronization for affine and diagonal groups
Published
• View Publication
• BIB
The Hall--Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group $\mathrm{J}_4$).
We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent.
Synchronization and separation are conditions on permutation groups which are stronger than primitivity but weaker than $2$-homogeneity, the second of these being stronger than the first. Empirically it has been found that groups which are synchronizing but not separating are rather rare. It follows from our results that such groups must be primitive of almost simple type.
Enumerating coloured partitions in 2 and 3 dimensions
Published in Math. Proc. Camb. Phil. Soc. 169 (2020) 479-505
• View Publication
• BIB
We study generating functions of ordinary and plane partitions coloured by the action of a finite subgroup of the corresponding special linear group. After reviewing known results for the case of ordinary partitions, we formulate a conjecture concerning a factorisation property of the generating function of coloured plane partitions that can be thought of as an orbifold analogue of a conjecture of Maulik et al., now a theorem, in three-dimensional Donaldson-Thomas theory. We study natural quantisations of the generating functions arising from geometry, discuss a quantised version of our conjecture, and prove a positivity result for the quantised coloured plane partition function under a geometric assumption.
Automatic Logarithm and Associated Measures
We introduce the notion of the Automatic Logarithm $\mathcal L_{\mathcal A, \mathcal B}$ with the purpose of studying the expanding properties of Schreier graphs of action of the group generated by two finite initial Mealy automata $\mathcal A$ and $\mathcal B$ on the levels of a regular $d$-ary rooted tree $\mathcal T$, where $\mathcal A$ is level-transitive and of bounded activity. $\mathcal L_{\mathcal A, \mathcal B}$ computes the lengths of chords in this family of graphs. Formally, $\mathcal L$ is a map $\partial \mathcal T \rightarrow \mathbb{Z}_d$ from the boundary of the tree to the integer $p$-adics whose values are determined by a Moore machine. The distribution of its outputs yields a probabilistic measure $μ$ on $\partial \mathcal T$, which in some cases can be computed by a Mealy-type machine (we then say that $μ$ is finite-state). We provide a criterion to determine whether $μ$ is finite-state. A number of examples illustrating the different cases with $\mathcal A$ being the adding machine is provided.
Two-valenced association schemes and the Desargues theorem
Published in Arab. J. Math., 9, 481--493 (2019),
• Search Publication
The main goal of the paper is to establish a sufficient condition for a two-valenced association scheme to be schurian and separable. To this end, an analog of the Desargues theorem is introduced for a noncommutative geometry defined by the scheme in question. It turns out that if the geometry has enough many Desarguesian configurations, then under a technical condition the scheme is schurian and separable. This result enables us to give short proofs for known statements on the schurity and separability of quasi-thin and pseudocyclic schemes. Moreover, by the same technique we prove a new result: given a prime $p$, any $\{1,p\}$-scheme with thin residue isomorphic to an elementary abelian $p$-group of rank greater than two, is schurian and separable.
Lobe, Edge, and Arc Transitivity of Graphs of Connectivity 1
We give necessary and sufficient conditions for lobe-transitivity of locally finite and locally countable graphs whose connectivity equals 1. We show further that, given any biconnected graph $Λ$ and a "code" assigned to each orbit of Aut($Λ$), there exists a unique lobe-transitive graph $Γ$ of connectivity 1 whose lobes are copies of $Λ$ and is consistent with the given code at every vertex of $Γ$. These results lead to necessary and sufficient conditions for a graph of connectivity $1$ to be edge-transitive and to be arc-transitive. Countable graphs of connectivity 1 the action of whose automorphism groups is, respectively, vertex-transitive, primitive, regular, Cayley, and Frobenius had been previously characterized in the literature.
Optimal arrangements of classical and quantum states with limited purity
Published
• View Publication
• BIB
We consider sets of trace-normalized non-negative operators in Hilbert-Schmidt balls that maximize their mutual Hilbert-Schmidt distance; these are optimal arrangements in the sets of purity-limited classical or quantum states on a finite-dimensional Hilbert space. Classical states are understood to be represented by diagonal matrices, with the diagonal entries forming a probability vector. We also introduce the concept of spectrahedron arrangements which provides a unified framework for classical and quantum arrangements and the flexibility to define new types of optimal packings. Continuing a prior work, we combine combinatorial structures and line packings associated with frames to arrive at optimal arrangements of higher-rank quantum states. One new construction that is presented involves generating an optimal arrangement we call a Gabor-Steiner equiangular tight frame as the orbit of a projective representation of the Weyl-Heisenberg group over any finite abelian group. The minimal sets of linearly dependent vectors, the so-called binder, of the Gabor-Steiner equiangular tight frames are then characterized; under certain conditions these form combinatorial block designs and in one case generate a new class of block designs. The projections onto the span of minimal linearly dependent sets in the Gabor-Steiner equiangular tight frame are then used to generate further optimal spectrahedron arrangements.
Infinite Families of Asymmetric Graphs
A graph $G$ is \textit{asymmetric} if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erdős and Rényi in 1963. They showed that the probability of a graph on $n$ vertices being asymmetric tends to $1$ as $n$ tends to infinity. In this paper, we first give consider the number of asymmetric trees, a question posed by Erdős and Rényi. We give a partial result, showing that the number of asymmetric subdivided stars is approximately $q(n-1) - \lfloor \frac{n-1}{2} \rfloor$ where $q(n)$ is the number of ways to sum to $n$ using distinct positive integers, found by Hardy and Ramanujan in 1918. We also investigate cubic Hamiltonian graphs where asymmetry, at least for small values of $n$, seems to be rare. It is known that none of the cubic Hamiltonian graphs on $4\leq n\leq 10$ vertices are asymmetric, and of the $80$ cubic Hamiltonian graphs on $12$ vertices only $5$ are asymmetric. We give a construction of an infinite family of cubic Hamiltonian graphs that are asymmetric. Then we present an infinite family of quartic Hamiltonian graphs that are asymmetric. We use both of the above results for cubic and quartic asymmetric Hamiltonian graphs to establish the existence of $k$-regular asymmetric Hamiltonian graphs for all $k\geq 3$.
The center of the wreath product of symmetric groups algebra
Published in Algebra and Discrete Mathematics 31(2) (2021) 302-322
• View Publication
• BIB
We consider the wreath product of two symmetric groups as a group of blocks permutations and we study its conjugacy classes. We give a polynomiality property for the structure coefficients of the center of the wreath product of symmetric groups algebra. This allows us to recover an old result of Farahat and Higman about the polynomiality of the structure coefficients of the center of the symmetric group algebra and to generalize our recent result about the polynomiality property of the structure coefficients of the center of the hyperoctahedral group algebra. A particular attention is paid to the cases when the blocks contain two or three elements.
Deformations of the Weyl Character Formula for $SO(2n+1,\mathbb{C})$ via Ice Models
We explore combinatorial formulas for deformations of highest weight characters of the odd orthogonal group $SO(2n+1)$. Our goal is to represent these deformations of characters as partition functions of statistical mechanical models -- in particular, two-dimensional solvable lattice models. In Cartan type $A$, Hamel and King [8] and Brubaker, Bump, and Friedberg [3] gave square ice models on a rectangular lattice which produced such a deformation. Outside of type $A$, ice-type models were found using rectangular lattices with additional boundary conditions that split into two classes -- those with `nested' and `non-nested bends.' Our results fill a gap in the literature, providing the first such formulas for type $B$ with non-nested bends. In type $B$, there are many known combinatorial parameterizations of highest weight representation basis vectors as catalogued by Proctor [19]. We show that some of these permit ice-type models via appropriate bijections (those of Sundaram [21] and Koike-Terada [15]) while other examples due to Proctor do not.
Partial Difference Sets in $C_{2^n} \times C_{2^n}$
We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial results for $n=10$ and $n=11$. Most of these PDS are new. For $n\le 4$ we also identify group-inequivalent PDS. Our approach involves constructing tree diagrams and canonical colorings of these diagrams. Both the total number and the number of group-inequivalent PDS in $G_n$ appear to grow super-exponentially in $n$. For $n=9$, a typical canonical coloring represents in excess of $10^{146}$ group-inequivalent PDS, and there are precisely $2^{520}$ reversible Hadamard difference sets.
Even and odd trees
In this paper we at first consider plane trees with the root vertex and a marked directed edge, outgoing from the root vertex. For such trees we introduce a new characteristic --- the \emph{parity}, using the bracket code. It turns out that the parity depends only on the root vertex (not on the marked edge). And in the case of an even number of vertices the parity does not depend on the root vertex also. Then we consider rotation groups of bipartite trees, study their properties and prove that in the case of even number of vertices rotation groups of even and odd trees are different.
Enumerative properties of restricted words and compositions
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count cyclically restricted and circular objects. This either fills gaps in the current literature by e.g. considering particular new patterns, or involves general progress, notably with locally restricted compositions over a finite group. We associate these compositions to walks on a covering graph whose structure is exploited to simplify asymptotic expressions. Specifically, we show that under certain conditions the number of locally restricted compositions of a group element is asymptotically independent of the group element. For some problems our results extend to the case of a positive number of subword pattern occurrences (instead of zero for pattern avoidance) or convergence in distribution of the normalized number of occurrences. We typically apply the more general propositions to concrete examples such as the familiar Carlitz compositions or simple subword patterns.