group
10405 papers tagged with this keyword
Cubic vertex-transitive non-Cayley graphs of order 12p
Published
• View Publication
• BIB
A graph is said to be {\em vertex-transitive non-Cayley} if its full automorphism group acts transitively on its vertices and contains no subgroups acting regularly on its vertices. In this paper, a complete classification of cubic vertex-transitive non-Cayley graphs of order $12p$, where $p$ is a prime, is given. As a result, there are $11$ sporadic and one infinite family of such graphs, of which the sporadic ones occur when $p=5$, $7$ or $17$, and the infinite family exists if and only if $p\equiv1\ (\mod 4)$, and in this family there is a unique graph for a given order.
Coboundary categories and local rules
Published
• View Publication
• BIB
First we develop the theory of local rules for coboundary categories. Then we describe the local rules in two main cases. First for the quantum groups in general and in the seminormal representations of the Hecke algebras. Then for crystals in general and specifically for crystals of minuscule representations. Finally we show how growth diagrams can be extended to construct the action of the cactus group on highest weight words.
Group representations that resist worst-case sampling
Motivated by expansion in Cayley graphs, we show that there exist infinitely many groups $G$ with a nontrivial irreducible unitary representation whose average over every set of $o(\log\log|G|)$ elements of $G$ has operator norm $1 - o(1)$. This answers a question of Lovett, Moore, and Russell, and strengthens their negative answer to a question of Wigderson.
The construction is the affine group of $\mathbb{F}_p$ and uses the fact that for every $A \subset \mathbb{F}_p\setminus\{0\}$, there is a set of size $\exp(\exp(O(|A|)))$ that is almost invariant under both additive and multiplicatpive translations by elements of $A$.
Hadamard partitioned difference families and their descendants
Published
• View Publication
• BIB
If $D$ is a $(4u^2,2u^2-u,u^2-u)$ Hadamard difference set (HDS) in $G$, then $\{G,G\setminus D\}$ is clearly a $(4u^2,[2u^2-u,2u^2+u],2u^2)$ partitioned difference family (PDF). Any $(v,K,λ)$-PDF will be said of Hadamard-type if $v=2λ$ as the one above. We present a doubling construction which, starting from any such PDF, leads to an infinite class of PDFs. As a special consequence, we get a PDF in a group of order $4u^2(2n+1)$ and three block-sizes $4u^2-2u$, $4u^2$ and $4u^2+2u$, whenever we have a $(4u^2,2u^2-u,u^2-u)$-HDS and the maximal prime power divisors of $2n+1$ are all greater than $4u^2+2u$.
On the minimum degree, edge-connectivity and connectivity of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups.
Benchmark Graphs for Practical Graph Isomorphism
The state-of-the-art solvers for the graph isomorphism problem can readily solve generic instances with tens of thousands of vertices. Indeed, experiments show that on inputs without particular combinatorial structure the algorithms scale almost linearly. In fact, it is non-trivial to create challenging instances for such solvers and the number of difficult benchmark graphs available is quite limited. We describe a construction to efficiently generate small instances for the graph isomorphism problem that are difficult or even infeasible for said solvers. Up to this point the only other available instances posing challenges for isomorphism solvers were certain incidence structures of combinatorial objects (such as projective planes, Hadamard matrices, Latin squares, etc.). Experiments show that starting from 1500 vertices our new instances are several orders of magnitude more difficult on comparable input sizes. More importantly, our method is generic and efficient in the sense that one can quickly create many isomorphism instances on a desired number of vertices. In contrast to this, said combinatorial objects are rare and difficult to generate and with the new construction it is possible to generate an abundance of instances of arbitrary size. Our construction hinges on the multipedes of Gurevich and Shelah and the Cai-Fürer-Immerman gadgets that realize a certain abelian automorphism group and have repeatedly played a role in the context of graph isomorphism. Exploring limits of such constructions, we also explain that there are group theoretic obstructions to generalizing the construction with non-abelian gadgets.
Cobordism classes of maps and covers for spheres
Published in Topology and its Applications, 237 (2018), p. 21-25
• View Publication
• BIB
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
Inductive Freeness of Ziegler's Canonical Multiderivations for Reflection Arrangements
Published
• View Publication
• BIB
Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements.
More precisely, let $A = A(W)$ be the reflection arrangement of a complex reflection group $W$. By work of Terao, each such reflection arrangement is free. Thus so is Ziegler's canonical multiplicity on the restriction $A''$ of $A$ to a hyperplane. We show that the latter is inductively free as a multiarrangement if and only if $A''$ itself is inductively free.
Elementary abelian groups of rank 5 are DCI-groups
Published
• View Publication
• BIB
In this paper, we show that the group $\mathbb{Z}_p^5$ is a DCI-group for any odd prime $p,$ that is, two Cayley digraphs Cay$(\mathbb{Z}_p^5,S)$ and Cay$(\mathbb{Z}_p^5,T)$ are isomorphic if and only if $S=T^\varphi$ for some automorphism $\varphi$ of the group $\mathbb{Z}_p^5$.
Quantum Chaos on random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$
Published
• View Publication
• BIB
We investigate the statistical behavior of the eigenvalues and diameter of random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ %and the Symmetric group $S_n$ as the prime number $p$ goes to infinity. We prove a density theorem for the number of exceptional eigenvalues of random Cayley graphs i.e. the eigenvalues with absolute value bigger than the optimal spectral bound. Our numerical results suggest that random Cayley graphs of ${\rm SL}_2[\mathbb{Z}/p\mathbb{Z}]$ and the explicit LPS Ramanujan projective graphs of $\mathbb{P}^1(\mathbb{Z}/p\mathbb{Z})$ have optimal spectral gap and diameter as the prime number $p$ goes to infinity.
Small partial Latin squares that embed in an infinite group but not into any finite group
Published in J. Symbolic Computation 86 (2018), 142-152
• View Publication
• BIB
Suppose that $Y_1,Y_2,Y_3$ are finite sets and $P\subseteq Y_1\times Y_2\times Y_3$. We say that $P$ embeds in a group $G$ if there exist injective maps $φ_i\colon Y_i\rightarrow G$ for $i=1,2,3$ such that $φ_1(y_1)φ_2(y_2)=φ_3(y_3)$ for each $(y_1,y_2,y_3)\in P$. Hirsch and Jackson asked for the cardinality of the smallest $P$ that embeds in some infinite group but not into any finite group. We prove that the answer to their question is 12. Moreover, we show that there are 50 examples of cardinality 12, up to equivalence, and each of them embeds in the (infinite) Baumslag group $G=\langle a,b \mid b=[b,b^a]\rangle$. Our proof uses computations to answer questions about finitely presented groups which are known to be algorithmically undecidable in general.
Linear syzygies, hyperbolic Coxeter groups and regularity
Published in Compositio Math. 155 (2019), 1076-1097
• View Publication
• BIB
We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number of variables if these ideals are Cohen--Macaulay.
On Drinfel'd associators
In 1986, in order to study the linear representations of the braid group $B\_n$coming from the monodromy of the Knizhnik-Zamolodchikov differential equations,Drinfel'd introduced a class of formal power series $Φ$on noncommutative variables. These formal series can be considered as a class of associators. We here give an interpretation of them as well as some new tools over Noncommutative Evolution Equations. Asymptotic phenomena are also discussed.
The power graph of a torsion-free group
Published in J. Algebraic Combinatorics 49 (2019), 83-98
• View Publication
• BIB
The \emph{power graph} $P(G)$ of a group $G$ is the graph whose vertex set is $G$, with $x$ and $y$ joined if one is a power of the other; the \emph{directed power graph} $\vec{P}(G)$ has the same vertex set, with an arc from $x$ to $y$ if $y$ is a power of $x$. It is known that, for finite groups, the power graph determines the directed power graph up to isomorphism. However, it is not true that any isomorphism between power graphs induces an isomorphism between directed power graphs. Moreover, for infinite groups the power graph may fail to determine the directed power graph.
In this paper, we consider power graphs of torsion-free groups. Our main results are that, for torsion-free nilpotent groups of class at most $2$, and for groups in which every non-identity element lies in a unique maximal cyclic subgroup, the power graph determines the directed power graph up to isomorphism. For specific groups such as $\mathbb{Z}$ and $\mathbb{Q}$, we obtain more precise results. Any isomorphism $P(\mathbb{Z})\to P(G)$ preserves orientation, so induces an isomorphism between directed power graphs; in the case of $\mathbb{Q}$, the orientations are either all preserved or all reversed.
We also obtain results about groups in which every element is contained in a unique maximal cyclic subgroup (this class includes the free and free abelian groups), and about subgroups of the additive group of $\mathbb{Q}$ and about $\mathbb{Q}^n$.
A combinatorial approach to Rauzy-type dynamics I: permutations and the Kontsevich--Zorich--Boissy classification theorem
Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action are related to components of the moduli spaces of Abelian differentials with prescribed singularities, and, in two variants of the problem, have been classified by Kontsevich and Zorich, and by Boissy, through methods involving both combinatorics and algebraic geometry.
We provide here a purely combinatorial proof of both classification theorems, and in passing establish a few previously unnoticed features. As will be shown elsewhere, our methods extend also to other Rauzy-type dynamics, both on labeled and unlabeled structures. Some of these dynamics have a geometrical interpretation (e.g., matchings, related to IET on non-orientable surfaces), while some others do not have one so far.
Quantum Fourier Sampling is Guaranteed to Fail to Compute Automorphism Groups of Easy Graphs
The quantum hidden subgroup approach is an actively studied approach to solve combinatorial problems in quantum complexity theory. With the success of the Shor's algorithm, it was hoped that similar approach may be useful to solve the other combinatorial problems. One such problem is the graph isomorphism problem which has survived decades of efforts using the hidden subgroup approach. This paper provides a systematic approach to create arbitrarily large classes of classically efficiently solvable graph automorphism problems or easy graph automorphism problems for which hidden subgroup approach is guaranteed to always fail irrespective of the size of the graphs no matter how many copies of coset states are used. As the graph isomorphism problem is believed to be at least as hard as the graph automorphism problem, the result of this paper entails that the hidden subgroup approach is also guaranteed to always fail for the arbitrarily large classes of graph isomorphism problems. Combining these two results, it is argued that the hidden subgroup approach is essentially a dead end and alternative quantum algorithmic approach needs to be investigated for the graph isomorphism and automorphism problems.
Group actions, the Mattila integral and applications
Published in Proc. Amer. Math. Soc. 147 (2019), no. 6, 2503-2516
• View Publication
• BIB
The Mattila integral, $$ {\mathcal M}(μ)=\int {\left( \int_{S^{d-1}} {|\widehatμ(r ω)|}^2 dω\right)}^2 r^{d-1} dr,$$ developed by Mattila, is the main tool in the study of the Falconer distance problem. In this paper, with a very simple argument, we develop a generalized version of the Mattila integral. Our first application is to consider the product of distances $$(Δ(E))^k= \left\{\prod_{j=1}^k |x^j-y^j|: x^j, y^j\in E\right\} $$ and show that when $d\geq 2$, $(Δ(E))^k$ has positive Lebesgue measure if $\dim_{\mathcal{H}}(E)>\frac{d}{2}+\frac{1}{4k-1}$. Another application is, we prove for any $E,F,H\subset\mathbb{R}^2$, $\dim_{\mathcal{H}}(E)+\dim_{\mathcal{H}}(F)+\dim_{\mathcal{H}}(H)>4$, the set $$E\cdot(F+H)=\{x\cdot(y+z): x\in E, y\in F, z\in H\}$$ has positive Lebesgue.
Maximum scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^4)$
There are two known families of maximum scattered $\mathbb{F}_q$-linear sets in $PG(1,q^t)$: the linear sets of pseudoregulus type and for $t\geq 4$ the scattered linear sets found by Lunardon and Polverino. For $t=4$ we show that these are the only maximum scattered $\mathbb{F}_q$-linear sets and we describe the orbits of these linear sets under the groups $PGL(2,q^4)$ and $PΓL(2,q^4)$.
Zero divisors and units with small supports in group algebras of torsion-free groups
Published
• View Publication
• BIB
We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.
Quadrant marked mesh patterns in 123-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (August 3, 2018) dmtcs:3297
• View Publication
• BIB
Given a permutation $σ= σ_1 \ldots σ_n$ in the symmetric group $\mathcal{S}_{n}$, we say that $σ_i$ matches the quadrant marked mesh pattern $\mathrm{MMP}(a,b,c,d)$ in $σ$ if there are at least $a$ points to the right of $σ_i$ in $σ$ which are greater than $σ_i$, at least $b$ points to the left of $σ_i$ in $σ$ which are greater than $σ_i$, at least $c$ points to the left of $σ_i$ in $σ$ which are smaller than $σ_i$, and at least $d$ points to the right of $σ_i$ in $σ$ which are smaller than $σ_i$. Kitaev, Remmel, and Tiefenbruck systematically studied the distribution of the number of matches of $\mathrm{MMP}(a,b,c,d)$ in 132-avoiding permutations. The operation of reverse and complement on permutations allow one to translate their results to find the distribution of the number of $\mathrm{MMP}(a,b,c,d)$ matches in 231-avoiding, 213-avoiding, and 312-avoiding permutations. In this paper, we study the distribution of the number of matches of $\mathrm{MMP}(a,b,c,d)$ in 123-avoiding permutations. We provide explicit recurrence relations to enumerate our objects which can be used to give closed forms for the generating functions associated with such distributions. In many cases, we provide combinatorial explanations of the coefficients that appear in our generating functions.