group
10258 papers tagged with this keyword
The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph.
Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.
A Demazure crystal construction for Schubert polynomials
Published in Algebraic Combinatorics 1(2) (2018) 225-247
• View Publication
• BIB
Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by Morse and the second author in connection with Stanley symmetric functions.
Restriction of Odd Degree Characters of $\mathfrak{S}_n$
Published in SIGMA 13 (2017), 070, 10 pages
• View Publication
• BIB
Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in [Ayyer A., Prasad A., Spallone S., Sem. Lothar. Combin. 75 (2015), Art. B75g, 13 pages] and recently developed in [Isaacs I.M., Navarro G., Olsson J.B., Tiep P.H., J. Algebra 478 (2017), 271-282].
Group divisible (K_4-e)-packings with any minimum leave
Published
• View Publication
• BIB
A decomposition of $K_{n(g)}\setminus L$, the complete n-partite equipartite graph with a subgraph L (called the leave) removed, into edge disjoint copies of a graph G is called a maximum group divisible packing of $K_{n(g)}$ with G if L contains as few edges as possible. We examine all possible minimum leaves for maximum group divisible $(K_4-e)$-packings. Necessary and sufficient conditions are established for their existences.
Conscious and controlling elements in combinatorial group testing problems with more defectives
Published
• View Publication
• BIB
In combinatorial group testing problems Questioner needs to find a defective element $x\in [n]$ by testing subsets of $[n]$. In [18] the authors introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the defective one. In this article we continue to investigate this kind of models with more defective elements. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the defectives. Finally the adaptive versions of the different models are also investigated.
Construction of strongly regular Cayley graphs based on three-valued Gauss periods
Published
• View Publication
• BIB
In this paper, we give a construction of strongly regular Cayley graphs on the additive groups of finite fields based on three-valued Gauss periods. As consequences, we obtain two infinite families and one sporadic example of new strongly regular Cayley graphs. This construction can be viewed as a generalization of that of strongly regular Cayley graphs obtained in \cite{BLMX}.
Sandpile Groups of Random Bipartite Graphs
Published
• View Publication
• BIB
We determine the asymptotic distribution of the p-rank of the sandpile groups of random bipartite graphs. We see that this depends on the ratio between the number of vertices on each side, with a threshold when the ratio between the sides is equal to 1/p. We follow the approach of Melanie Wood and consider random graphs as a special case of random matrices, and rely on a variant the definition of min-entropy given by Maples, in order to obtain useful results about these random matrices. Our results show that unlike the sandpile groups of Erdos-Renyi random graphs, the distribution of the sandpile groups of random bipartite graphs depends on the properties of the graph, rather than coming from some more general random group model.
Conjectures about certain parabolic Kazhdan--Lusztig polynomials
Published in Geometric Aspects of the Trace Formula, Simons Symposia (Springer, 2018), p. 267-298
• View Publication
• BIB
Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some computer calculations, we conjecture that certain alternating sums of Kazhdan--Lusztig polynomials known as parabolic Kazhdan--Lusztig polynomials satisfy properties analogous to those of the ordinary ones.
A vanishing result for the first twisted cohomology of affine varieties and applications to line arrangements
Published in Manuscripta Mathematica 157 (2018), no. 3-4, 497-511
• View Publication
• BIB
A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$.
Connectedness of two-sided group digraphs and graphs
Published in Involve 11 (2018) 679-699
• View Publication
• BIB
Two-sided group digraphs and graphs, introduced by Iradmusa and Praeger, provide a generalization of Cayley digraphs and graphs in which arcs are determined by left and right multiplying by elements of two subsets of the group. We characterize when two-sided group digraphs and graphs are weakly and strongly connected and count connected components, using both an explicit elementary perspective and group actions. Our results and examples address four open problems posed by Iradmusa and Praeger that concern connectedness and valency. We pose five new open problems.
Cherlin's conjecture for sporadic simple groups
Published in Pacific J. Math. 297 (2018) 47-66
• View Publication
• BIB
We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.
On disjoint $(v,k,k-1)$ difference families
Published
• View Publication
• BIB
A disjoint $(v,k,k-1)$ difference family in an additive group $G$ is a partition of $G\setminus\{0\}$ into sets of size $k$ whose lists of differences cover, altogether, every non-zero element of $G$ exactly $k-1$ times. The main purpose of this paper is to get the literature on this topic in order, since some authors seem to be unaware of each other's work. We show, for instance, that a couple of heavy constructions recently presented as new, had been given in several equivalent forms over the last forty years. We also show that they can be quickly derived from a general nearring theory result which probably passed unnoticed by design theorists and that we restate and reprove in terms of differences. We exploit this result to get an infinite class of disjoint $(v,k,k-1)$ difference families coming from the Fibonacci sequence. Finally, we will prove that if all prime factors of $v$ are congruent to 1 modulo $k$, then there exists a disjoint $(v,k,k-1)$ difference family in every group, even non-abelian, of order $v$.
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.