group
10258 papers tagged with this keyword
Circular support in random sorting networks
Published in Transactions of the American Mathematical Society 373.3 (2020): 1529-1553
• View Publication
• BIB
A sorting network is a shortest path from $12 \cdots n$ to $n \cdots 2 1$ in the Cayley graph of the symmetric group generated by adjacent transpositions. For a uniform random sorting network, we prove that in the global limit, particle trajectories are supported on $π$-Lipschitz paths. We show that the weak limit of the permutation matrix of a random sorting network at any fixed time is supported within a particular ellipse. This is conjectured to be an optimal bound on the support. We also show that in the global limit, trajectories of particles that start within distance $ε$ of the edge are within $\sqrt{2ε}$ of a sine curve in uniform norm.
The Archimedean limit of random sorting networks
Published
• View Publication
• BIB
A sorting network (also known as a reduced decomposition of the reverse permutation), is a shortest path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of the symmetric group $S_n$ generated by adjacent transpositions. We prove that in a uniform random $n$-element sorting network $σ^n$, all particle trajectories are close to sine curves with high probability. We also find the weak limit of the time-$t$ permutation matrix measures of $σ^n$. As a corollary of these results, we show that if $S_n$ is embedded into $\mathbb{R}^n$ via the map $τ\mapsto (τ(1), τ(2), \dots τ(n))$, then with high probability, the path $σ^n$ is close to a great circle on a particular $(n-2)$-dimensional sphere in $\mathbb{R}^n$. These results prove conjectures of Angel, Holroyd, Romik, and Virag.
$2$-groups behaving as automorphism groups of regular $3$-polytopes
In this paper, we classify regular polytopes with automorphism groups of order $2^n$ and Schläfli types $\{4, 2^{n-3}\}, \{4, 2^{n-4}\}$ and $\{4, 2^{n-5}\}$ for $n \geq 10$, therefore giving a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53(2006) 231-255].
Group Divisible Designs with $λ_1=3$ and Large Second Index
A group divisible design $\mbox{GDD}(m,n;λ_1,λ_2)$, is an ordered pair $(V, \cal{B})$ where $V$ is an $(m+n)$-set of symbols while $\cal{B}$ is a collection of $3$-subsets (called blocks) of $V$ satisfying the following properties: the $(m+n)$-set is divided into 2 groups of size $m$ and of size $n$: each pair of symbols from the same group occurs in exactly $λ_1$ blocks in $\cal{B}$, and each pair of symbols from different groups occurs in exactly $λ_2$ blocks in $\cal{B}$. $λ_1$ and $λ_2$ are referred to as first index and second index, respectively.
Here, we focus on an existence problem of $\mbox{GDD}$s when $λ_1=3$ and $λ_2>3$. We obtain the necessary conditions and prove that these conditions are sufficient for most of the cases.
Cylindric Reverse Plane Partitions and 2D TQFT
Published in Séminaire Lotharingien de Combinatoire - FPSAC 2018, 80B, 30
• Search Publication
The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.
Bound on the diameter of split metacyclic groups
Published
• View Publication
• BIB
Let $G_{m,n,k} = \mathbb{Z}_m \ltimes_k \mathbb{Z}_n$ be the split metacyclic group, where $k$ is a unit modulo $n$. We derive an upper bound for the diameter of $G_{m,n,k}$ using an arithmetic parameter called the \textit{weight}, which depends on $n$, $k$, and the order of $k$. As an application, we show how this would determine a bound on the diameter of an arbitrary metacyclic group.
Hypergeometry inspired by irrationality questions
Published in Kyushu J. Math. 73:1 (2019) 189-203
• View Publication
• BIB
We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $π^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement is a new partial irrationality result for the values of Riemann's zeta function at odd integers.
River Crossing Problems: Algebraic Approach
Published
• View Publication
• BIB
We consider two river crossing problems, about jealous husbands and about missionaries and cannibals. The missionaries and cannibals problem arose a thousand years after the jealous husbands problem, although its solution had actually appeared several hundred years before its formulation. We apply an algebraic approach to study these problems, using a symmetry group action on the state set of the jealous husband problem; then category theory is used to describe the relationship between the two problems. Some historical issues are also touched, related to the fact that the missionaries and cannibals problem arose precisely when the group approach began to be widely spread and popularized. This is the approach that naturally connects both problems.
Graph polynomials and symmetries
Published
• View Publication
• BIB
In a recent paper, we studied the interaction between the automorphism group of a graph and its Tutte polynomial. More precisely, we proved that certain symmetries of graphs are clearly reflected by their Tutte polynomials. The purpose of this paper is to extend this study to other graph polynomials. In particular, we prove that if a graph $G$ has a symmetry of prime order $p$, then its characteristic polynomial, with coefficients in the finite filed $\mathbb{F}_p$, is determined by the characteristic polynomial of its quotient graph $\overline G$. Similar results are also proved for some generalization of the Tutte polynomial.
The Laplacian spectrum of power graphs of some finite abelian p-groups
The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.
Cambrian acyclic domains: counting $c$-singletons
We study the size of certain acyclic domains that arise from geometric and combinatorial constructions. These acyclic domains consist of all permutations visited by commuting equivalence classes of maximal reduced decompositions if we consider the symmetric group and, more generally, of all c-singletons of a Cambrian lattice associated to the weak order of a finite Coxeter group. For this reason, we call these sets Cambrian acyclic domains. Extending a closed formula of Galambos--Reiner for a particular acyclic domain called Fishburn's alternating scheme, we provide explicit formulae for the size of any Cambrian acyclic domain and characterize the Cambrian acyclic domains of minimum or maximum size.
Minimal cut-sets in the power graphs of certain finite non-cyclic groups
Published
• View Publication
• BIB
The power graph of a group is the simple graph with vertices as the group elements, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. We study (minimal) cut-sets of the power graph of a (finite) non-cyclic (nilpotent) group which are associated with its maximal cyclic subgroups. Let $G$ be a finite non-cyclic nilpotent group whose order is divisible by at least two distinct primes. If $G$ has a Sylow subgroup which is neither cyclic nor a generalized quaternion $2$-group and all other Sylow subgroups of $G$ are cyclic, then under some conditions we prove that there is only one minimum cut-set of the power graph of $G$. We apply this result to find the vertex connectivity of the power graphs of certain finite non-cyclic abelian groups whose order is divisible by at most three distinct primes.
Equivelar toroids with few flag-orbits
Published
• View Publication
• BIB
An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits; in particular, we discuss a classification of $2$-orbit toroids of arbitrary dimension.
On the automorphism groups of distance-regular graphs and rank-4 primitive coherent configurations
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to primitive coherent configurations of rank 3. We extend Babai's result to primitive coherent configurations of rank 4. We also show that the result extends to non-geometric distance-regular graphs of bounded diameter. The proofs combine structural and spectral methods.
Generalized nil-Coxeter algebras
Published in Seminaire Lotharingien de Combinatoire 80B (2018), Article #29
• Search Publication
Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras; these form a $2$-parameter type $A$ family that we term $NC_A(n,d)$. We explore the combinatorial properties of these algebras, including the Coxeter word basis, length function, maximal words, and their connection to Khovanov's categorification of the Weyl algebra.
Our broader motivation arises from complex reflection groups and the Broue-Malle-Rouquier freeness conjecture (1998). With generic Hecke algebras over real and complex groups in mind, we show that the 'first' finite-dimensional examples $NC_A(n,d)$ are in fact the only ones, outside of the usual nil-Coxeter algebras. The proofs use a diagrammatic calculus akin to crystal theory.
Building Large Free Subshifts Using the Local Lemma
Published
• View Publication
• BIB
Gao, Jackson, and Seward proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq 2^Γ$. Here we strengthen this result by showing that free subshifts can be "large" in various senses. Specifically, we prove that for any $k \geqslant 2$ and $h < \log_2 k$, there exists a free subshift $X \subseteq k^Γ$ of Hausdorff dimension and, if $Γ$ is sofic, entropy at least $h$, answering two questions attributed by Gao, Jackson, and Seward to Juan Souto. Furthermore, we establish a general lower bound on the largest "size" of a free subshift $X'$ contained inside a given subshift $X$. A central role in our arguments is played by the Lovász Local Lemma, an important tool in probabilistic combinatorics, whose relevance to the problem of finding free subshifts was first recognized by Aubrun, Barbieri, and Thomassé.
Cubic graphs, their Ehrhart quasi-polynomials, and a scissors congruence phenomenon
Published
• View Publication
• BIB
The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. Liu and Osserman studied the Ehrhart quasi-polynomials of polytopes naturally associated to graphs whose vertices have degree one or three. In this paper, we prove the scissors congruence conjecture, posed by Haase and McAllister, for this class of polytopes. The key ingredient in the proofs is the nearest neighbor interchange on graphs and a naturally arising piecewise unimodular transformation.
On Davenport constant of finite abelian groups
$G$ be an additive finite abelian group. The Davenport constant $\mathsf D(G)$ is the smallest integer $t$ such that every sequence (multiset) $S$ over $G$ of length $|S|\ge t$ has a non-empty zero-sum subsequence. Recently, B. Girard proved that for every fixed integer $r > 1$ the Davenport constant $\mathsf D(C_n^r)$ is asymptotic to $rn$ when $n$ tends to infinity. In this paper, for every fixed positive integer $r$, we prove that
$$\mathsf D(C_n^r)=rn+O(\frac{n}{\ln n}).$$
This is an explicit version of the above result of B. Girard. Furthermore, we can get better estimates of the error term for some $n$ of special types. Finally, we get an asymptotic result for some finite abelian groups of special types. Our proof combines a classical argument in the zero-sum theory together with some basic tools and results from analytic number theory.
$PI$-eigenfunctions of the Star graphs
Published
• View Publication
• BIB
We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.
When are permutation invariants Cohen-Macaulay over all fields?
Published in Alg. Number Th. 12 (2018) 1787-1821
• View Publication
• BIB
We prove that the polynomial invariants of a permutation group are Cohen-Macaulay for any choice of coefficient field if and only if the group is generated by transpositions, double transpositions, and 3-cycles. This unites and generalizes several previously known results. The "if" direction of the argument uses Stanley-Reisner theory and a recent result of Christian Lange in orbifold theory. The "only-if" direction uses a local-global result based on a theorem of Raynaud to reduce the problem to an analysis of inertia groups, and a combinatorial argument to identify inertia groups that obstruct Cohen-Macaulayness.