group
10405 papers tagged with this keyword
Uniform mixing on integral abelian Cayley graph
In the past few decades, quantum algorithms have become a popular research area of both mathematicians and engineers. Among them, uniform mixing provides a uniform probability distribution of quantum information over time which attracts a special attention. However, there are only a few known examples of graphs which admit uniform mixing. In this paper, a characterization of abelian Cayley graphs having uniform mixing is presented. Some concrete constructions of such graphs are provided. Specifically, for cubelike graphs, it is shown that the Cayley graph ${\rm Cay}(\mathbb{F}_2^{2k};S)$ has uniform mixing if the characteristic function of $S$ is bent. Moreover, a difference-balanced property of the eigenvalues of an integral abelian Cayley graph having uniform mixing is established. Some nonexistence results of uniform mixing on abelian Cayley graphs are presented also. Notably, for a linear abelian Cayley graph $Γ$ over $\mathbb{Z}_n^r$, it is proved that uniform mixing occurs on this graph only if $n=2,3,4$ which partially confirms a long-standing conjecture. Finally, with some restrictions on the connection set, we show that if a cyclic group $G$ whose order is divisible by an odd prime such that ${\rm Cay}(G,S)$ has uniform mixing at some time $t$ being a rational multiple of $π$, then the graph should be integral. An interesting reduction method on the circulant Cayley graphs having uniform mixing has been established. Using this method, we can answer some related open questions. For example, we can show that the only two cycles having uniform mixing are $C_3$ and $C_4$.
Asymptotic Freeness of Unitary Matrices in Tensor Product Spaces for Invariant States
Published in Random Matrices: Theory and Applications (2023) 12, no. 02: 2250052
• View Publication
• BIB
In this paper, we pursue our study of asymptotic properties of families of random matrices that have a tensor structure. In previous work, the first- and second-named authors provided conditions under which tensor products of unitary random matrices are asymptotically free with respect to the normalized trace. Here, we extend this result by proving that asymptotic freeness of tensor products of Haar unitary matrices holds with respect to a significantly larger class of states. Our result relies on invariance under the symmetric group, and therefore on traffic probability.
As a byproduct, we explore two additional generalisations: (i) we state results of freeness in a context of general sequences of representations of the unitary group -- the fundamental representation being a particular case that corresponds to the classical asymptotic freeness result for Haar unitary matrices, and (ii) we consider actions of the symmetric group and the free group simultaneously and obtain a result of asymptotic freeness in this context as well.
Automorphism groups of homogeneous structures with stationary weak independence relations
We generalise the result of Tent and Ziegler to homogeneous structures that have a stationary independence relation without the symmetry axiom. We apply our result to prove simplicity of the automorphism group of some asymmetric examples due to Cherlin.
Double Affine Bruhat Order
Published
• View Publication
• BIB
We classify cocovers and covers of a given element of the double affine Weyl semigroup W with respect to the Bruhat order, specifically when W is associated to a finite root system that is irreducible and simply laced. We show two approaches: one extending the work of Lam and Shimozono, and its strengthening by Milicevic, where cocovers are characterized in the affine case using the quantum Bruhat graph of the finite Weyl group, and another, which takes a more geometrical approach by using the length difference set defined by Muthiah and Orr.
On self-Mullineux and self-conjugate partitions
Published
• View Publication
• BIB
The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.
Latin squares with maximal partial transversals of many lengths
Published in Journal of Combinatorial Theory, Series A 180 (2021) 105403
• View Publication
• BIB
A partial transversal $T$ of a Latin square $L$ is a set of entries of $L$ in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order $n$ has size at least $\lceil\frac{n}{2}\rceil$ and at most $n$. We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near-omniversal if it possesses a maximal partial transversal of all feasible sizes except one.
Evans showed that omniversal Latin squares of order $n$ exist for any odd $n \neq 3$. By extending this result, we show that an omniversal Latin square of order $n$ exists if and only if $n\notin\{3,4\}$ and $n \not\equiv 2 \mod 4$. Furthermore, we show that near-omniversal Latin squares exist for all orders $n \equiv 2 \mod 4$.
Finally, we show that no non-trivial group has an omniversal Cayley table, and only 15 groups have a near-omniversal Cayley table. In fact, as $n$ grows, Cayley tables of groups of order $n$ miss a constant fraction of the feasible sizes of maximal partial transversals. In the course of proving this, we are led to consider the following interesting problem in combinatorial group theory. Suppose that we have two subsets $R,C\subseteq G$ of a finite group $G$ such that $|\{rc:r\in R,c\in C\}|=m$. How large do $|R|$ and $|C|$ need to be (in terms of $m$) to be certain that $R\subseteq xH$ and $C\subseteq Hy$ for some subgroup $H$ of order $m$ in $G$, and $x,y\in G$.
Quasiparabolic sets and Stanley symmetric functions for affine fixed-point-free involutions
Published
• View Publication
• BIB
We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.
The Boolean intervals of Chevalley type are strongly non group-complemented
Let G be a finite Chevalley group and B a Borel subgroup. Then the interval [B,G] in L(G) is Boolean. We prove, using Zsigmondy's theorem, that for any element P in the open interval (B,G), its lattice-complement P^c is not a group-complement.
A classification of flag-transitive block designs
Published
• View Publication
• BIB
In this article, we investigate $2$-$(v,k,λ)$ designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups $G$. We prove that if $G$ is an almost simple group, then such a design belongs to one of the seven infinite families of $2$-designs or it is one of the eleven well-known examples. We describe all these examples of designs. We, in particular, prove that if $\mathcal{D}$ is a symmetric $(v,k,λ)$ design with $\gcd(k,λ)=1$ admitting a flag-transitive automorphism group $G$, then either $G\leq AΓL_{1}(q)$ for some odd prime power $q$, or $\mathcal{D}$ is a projective space or the unique Hadamard design with parameters $(11,5,2)$.
Further equidistribution of set-valued statistics on permutations
Published
• View Publication
• BIB
We construct bijections to show that two pairs of sextuple set-valued statistics of permutations are equidistributed on symmetric groups. This extends a recent result of Sokal and the second author valid for integer-valued statistics as well as a previous result of Foata and Han for bivariable set-valued statistics.
On the generic family of Cayley graphs of a finite group
Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and show that for a fixed $m>1$ and groups $G$ and $H$ the graphs $\mathscr{G}_m(G)$ and $\mathscr{G}_m(H)$ are isomorphic if and only if the groups $G$ and $H$ are isomorphic. We describe also the groups of automorphisms $\mathbf{Aut}(\mathscr{G}_m(G))$. It is shown that if $G$ is a non-abelian group, then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq \big(G^m \rtimes \mathbf{Aut}(G)\big)\rtimes D_{m+1}$, where $D_{m+1}$ is the dihedral group of order $2m+2$. If $G$ is an abelian group (with some exceptions for $m=3$), then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq G^m\rtimes \big(\mathbf{Aut}(G)\times S_{m+1}\big)$, where $S_{m+1}$ is the symmetric group of degree $m+1$. As an example of application we discuss relations between Cayley graphs $\mathscr{G}_m(G)$ and Bergman-Isaacs Theorem on rings with fixed-point-free group actions.
On half-factoriality of transfer Krull monoids
Published in Communications in Algebra 49 (2021), No. 1, pp. 409-420
• View Publication
• BIB
Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$, and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$. We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$, then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$, then $H$ is half-factorial.
On residual connectedness in chiral geometries
Published
• View Publication
• BIB
We show that a chiral coset geometry constructed from a $C^+$-group necessarily satisfies residual connectedness and is therefore a hypertope.
An Energy Bound in the Affine Group
Published in Int. Math. Res. Not. IMRN 2022 (2), 1154--1172, 2022
• View Publication
• BIB
We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes about rich lines in grids. We also give a positive answer to a question of Yufei Zhao that for a plane point set P for which no line contains a positive proportion of points from P, there may be at most one line, meeting the set of lines defined by P in at most a constant multiple of |P| points.
On a new graph defined on the order of elements of a finite group
In this paper, a new graph structure called the \textit{coprime order graph} of a finite group $G$ denoted by $Θ(G)$ has been introduced. The \textit{coprime graph} of a finite group introduced by Ma, Wei, and Yang [\textit{The coprime graph of a group. International Journal of Group Theory, 3(3), pp.13-23.}] is a subgraph of the \textit{coprime order graph} introduced in this paper. The vertex set of $Θ(G)$ is $G$, and any two vertices $x,y$ in $Θ(G)$ are adjacent if and only if $\gcd(o(x),o(y))$ is equal to $1$ or a prime number. We study how the graph properties of $Θ(G)$ and group properties of $G$ are related among themselves. We provide a necessary and sufficient condition for $Θ(G)$ to be Eulerian for any finite group $G$. We also study $Θ(G)$ for certain finite groups like $\mathbb Z_n$ and $\mbox D_n$ and derive conditions when it is connected, complete, planar, and Hamiltonian for various $n\in \mathbb N$. We also study the vertex connectivity of $Θ(\mathbb Z_n)$ for various $n\in \mathbb N.$ Finally, we have computed the signless Laplacian spectrum of $Θ(G)$ when $G=\mathbb Z_n$ and $G=\mbox D_n$ for $n\in \{pq,p^m\}$ where $p,q$ are distinct primes and $m\in \mathbb{N}$.
The homotopy type of elliptic arrangements
Published in Algebr. Geom. Topol. 21 (2021) 2037-2063
• View Publication
• BIB
We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as an application, we treat the case of ordered configuration spaces of elliptic curves.
Our models are finite polyhedral CW complexes, and our combinatorial tools of choice are acyclic categories (small categories without loops). As a stepping stone, we give a characterization of which acyclic categories arise as face categories of polyhedral CW complexes.
Almost all trees have quantum symmetry
Published
• View Publication
• BIB
From the work of Erdős and Rényi from 1963 it is known that almost all graphs have no symmetry. In 2017, Lupini, Mančinska and Roberson proved a quantum counterpart: Almost all graphs have no quantum symmetry. Here, the notion of quantum symmetry is phrased in terms of Banica's definition of quantum automorphism groups of finite graphs from 2005, in the framework of Woronowicz's compact quantum groups. Now, Erdős and Rényi also proved a complementary result in 1963: Almost all trees do have symmetry. The crucial point is the almost sure existence of a cherry in a tree. But even more is true: We almost surely have two cherries in a tree - and we derive that almost all trees have quantum symmetry. We give an explicit proof of this quantum counterpart of Erdős and Rényi's result on trees.
Optimal group testing
Published
• View Publication
• BIB
In the group testing problem the aim is to identify a small set of $k\sim n^θ$ infected individuals out of a population size $n$, $0<θ<1$. We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result iff at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information-theoretic/algorithmic phase transition $\minf$ for non-adaptive group testing, where all tests are conducted in parallel. Thus, with more than $\minf$ tests the infected individuals can be identified in polynomial time \whp, while learning the set of infected individuals is information-theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.
Partitions for semi-magic squares of size three
Published in Combinatorial and additive number theory IV. Springer Proc. in Math. and Stat. 347, 131-149, Springer, NY (2021)
• View Publication
• BIB
In the theory of Clebsch-Gordan coefficients, one may recognize the domain space as the set of weakly semi-magic squares of size three. Two partitions on this set are considered: a triangle-hexagon model based on top lines, and one based on the orbits under a finite group action. In addition to giving another proof of McMahon's formula, we give a generating function that counts the so-called trivial zeros of Clebsch-Gordan coefficients and its associated quasi-polynomial.
Analyzing connectivity of heterogeneous secure sensor networks
Published
• View Publication
• BIB
We analyze connectivity of a heterogeneous secure sensor network that uses key predistribution to protect communications between sensors. For this network on a set $\mathcal{V}_n$ of $n$ sensors, suppose there is a pool $\mathcal{P}_n$ consisting of $P_n$ distinct keys. The $n$ sensors in $\mathcal{V}_n$ are divided into $m$ groups $\mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m$. Each sensor $v$ is independently assigned to exactly a group according to the probability distribution with $\mathbb{P}[v \in \mathcal{A}_i]= a_i$ for $i=1,2,\ldots,m$, where $\sum_{i=1}^{m}a_i = 1$. Afterwards, each sensor in group $\mathcal{A}_i$ independently chooses $K_{i,n}$ keys uniformly at random from the key pool $\mathcal{P}_n$, where $K_{1,n} \leq K_{2,n}\leq \ldots \leq K_{m,n}$. Finally, any two sensors in $\mathcal{V}_n$ establish a secure link in between if and only if they have at least one key in common. We present critical conditions for connectivity of this heterogeneous secure sensor network. The result provides useful guidelines for the design of secure sensor networks.
This paper improves the seminal work [1] (IEEE Transactions on Information Theory 2016) of Ya{ğ}an on connectivity in several aspects (omitted due to arxiv abstract's character limitation; see the paper for details).