group
10258 papers tagged with this keyword
Isomorphism of the cubical and categorical cohomology groups of a higher-rank graph
Published
• View Publication
• BIB
We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $Λ$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian, Pask and Sims in the positive. Our first proof uses the topological realization of a higher-rank graph, which was introduced by Kaliszewski, Kumjian, Quigg, and Sims. In our more combinatorial second proof, we construct, explicitly and in both directions, maps on the level of (co-)chain complexes that implement said isomorphism. Along the way, we extend the definition of cubical (co-)homology to allow arbitrary coefficient modules.
The combinatorial invariance conjecture for parabolic Kazhdan-Lusztig polynomials of lower intervals
Published
• View Publication
• BIB
The aim of this work is to prove a conjecture related to the Combinatorial Invariance Conjecture of Kazhdan-Lusztig polynomials, in the parabolic setting, for lower intervals in every arbitrary Coxeter group. This result improves and generalizes, among other results, the main results of [Advances in Math. {202} (2006), 555-601], [Trans. Amer. Math. Soc. {368} (2016), no. 7, 5247--5269].
An algorithm for enumerating difference sets
Published in J. Softw. Alg. Geom. 9 (2019) 35-41
• View Publication
• BIB
The DifSets package for GAP implements an algorithm for enumerating all difference sets in a group up to equivalence and provides access to a library of results. The algorithm functions by finding difference sums, which are potential images of difference sets in quotient groups of the original group, and searching their preimages. In this way, the search space can be dramatically decreased, and searches of groups of relatively large order (such as order 64 or order 96) can be completed.
On the set of critical exponents of discrete groups acting on regular trees
We study the set of critical exponents of discrete groups acting on regular trees. We prove that for every real number $δ$ between $0$ and $\frac{1}{2}\log q$, there is a discrete subgroup $Γ$ acting without inversion on a $(q+1)$-regular tree whose critical exponent is equal to $δ$. Explicit construction of edge-indexed graphs corresponding to a quotient graph of groups are given.
Semicontinuity of structure for small sumsets in compact abelian groups
Published
• View Publication
• BIB
We study pairs of subsets $A, B$ of a compact abelian group $G$ where the sumset $A+B:=\{a+b: a\in A, b\in B\}$ is small. Let $m$ and $m_{*}$ be Haar measure and inner Haar measure on $G$, respectively. Given $\varepsilon>0$, we classify all pairs $A,B$ of Haar measurable subsets of $G$ satisfying $m(A), m(B)>\varepsilon$ and $m_{*}(A+B)\leq m(A)+m(B)+δ$ where $δ=δ(\varepsilon)>0$ is small. We also study the case where the $δ$-popular sumset $A+_δB:=\{t\in G: m(A\cap (t-B))>δ\}$ is small. We prove that for all $\varepsilon>0$, there is a $δ>0$ such that if $A$ and $B$ are subsets of a compact abelian group $G$ having $m(A), m(B)>\varepsilon$ and $m(A+_δB)\leq m(A)+m(B)+δ$, then there are sets $S, T\subseteq G$ such that $m(A\triangle S)+m(B\triangle T)<\varepsilon$ and $m(S+T)\leq m(S)+m(T)$. Appealing to known results, the latter inequality yields strong structural information on $S$ and $T$, and therefore on $A$ and $B$.
The perfect matching association scheme
Published
• View Publication
• BIB
We revisit the Bose-Mesner algebra of the perfect matching association scheme. Our main results are:
1. An inductive algorithm, based on solving linear equations, to compute the eigenvalues of the orbital basis elements given the central characters of the symmetric groups.
2. Universal formulas, as content evaluations of symmetric functions, for the eigenvalues of fixed orbitals.
3. An inductive construction of an eigenvector (the so called first Gelfand-Tsetlin vector) in each eigenspace leading to a different inductive algorithm (not using central characters) for the eigenvalues of the orbital basis elements.
Realisation of groups as automorphism groups in categories
Published
• View Publication
• BIB
It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.
Effective divisor classes on metric graphs
Published
• View Publication
• BIB
We introduce the notion of semibreak divisors on metric graphs (tropical curves) and prove that every effective divisor class (of degree at most the genus) has a semibreak divisor representative. This appropriately generalizes the notion of break divisors (in degree equal to genus). Our method of proof is new, even for the special case of break divisors. We provide an algorithm to efficiently compute such semibreak representatives. Semibreak divisors provide the tool to establish some basic properties of effective loci inside Picard groups of metric graphs. We prove that effective loci are pure-dimensional polyhedral sets. We also prove that a `generic' divisor class (in degree at most the genus) has rank zero, and that the Abel-Jacobi map is `birational' onto its image. These are analogues of classical results for Riemann surfaces.
Finding a Path with Two Labels Forbidden in Group-Labeled Graphs
Published
• View Publication
• BIB
The parity of the length of paths and cycles is a classical and well-studied topic in graph theory and theoretical computer science. The parity constraints can be extended to label constraints in a group-labeled graph, which is a directed graph with each arc labeled by an element of a group. Recently, paths and cycles in group-labeled graphs have been investigated, such as packing non-zero paths and cycles, where "non-zero" means that the identity element is a unique forbidden label.
In this paper, we present a solution to finding an $s$--$t$ path with two labels forbidden in a group-labeled graph. This also leads to an elementary solution to finding a zero $s$--$t$ path in a ${\mathbb Z}_3$-labeled graph, which is the first nontrivial case of finding a zero path. This situation in fact generalizes the 2-disjoint paths problem in undirected graphs, which also motivates us to consider that setting. More precisely, we provide a polynomial-time algorithm for testing whether there are at most two possible labels of $s$--$t$ paths in a group-labeled graph or not, and finding $s$--$t$ paths attaining at least three distinct labels if exist. The algorithm is based on a necessary and sufficient condition for a group-labeled graph to have exactly two possible labels of $s$--$t$ paths, which is the main technical contribution of this paper.
On line covers of finite projective and polar spaces
Published
• View Publication
• BIB
An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended lines of $\cal L$.
An $m$-cover $\cal L$ of ${\rm PG}(r,q)$ is an $(r-2)$-dual $m$-cover if there are two possibilities for the number of lines of $\cal L$ contained in an $(r-2)$-space of ${\rm PG}(r,q)$. Basing on this notion, we characterize $m$-covers $\cal L$ of ${\rm PG}(r,q)$ such that $\bar{\cal L}$ is a two-character set of ${\rm PG}(r,q^2)$. In particular, we show that if $\cal L$ is invariant under a Singer cyclic group of ${\rm PG}(r,q)$ then it is an $(r-2)$-dual $m$-cover.
Assuming that the lines of $\cal L$ are lines of a symplectic polar space ${\cal W}(r,q)$ (of an orthogonal polar space ${\cal Q}(r,q)$ of parabolic type), similarly to the projective case we introduce the notion of an $(r-2)$-dual $m$-cover of symplectic type (of parabolic type). We prove that an $m$-cover $\cal L$ of ${\cal W}(r,q)$ (of ${\cal Q}(r,q)$) has this dual property if and only if $\bar{\cal L}$ is a tight set of an Hermitian variety ${\cal H}(r,q^2)$ or of ${\cal W}(r,q^2)$ (of ${\cal H}(r,q^2)$ or of ${\cal Q}(r,q^2)$). We also provide some interesting examples of $(4n-3)$-dual $m$-covers of symplectic type of ${\cal W}(4n-1,q)$.
Rock, Paper, Scissors, Etc -- Topics in the Theory of Regular Tournaments
The classic Rock-Paper-Scissors game of size 3 and its extension, Rock-Paper-Scissors-Lizard-Spock, are modeled by directed graphs called tournaments. They can be further extended to any odd size. The extended games are regular tournaments where each strategy beats and is beaten by exactly half of the alternatives. We survey the properties of regular tournaments, which we will call games. In the process we describe a number of constructions for such games. These include games on groups of odd order and the associated games on coset spaces. We obtain a new lower bound for the number of games of size 2n+1.
Stanley symmetric functions for signed involutions
Published in J. Combin. Theory Ser. A 168 (2019), 288-317
• View Publication
• BIB
An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.
Subgroup growth of virtually cyclic right-angled Coxeter groups and their free products
Published
• View Publication
• BIB
We determine the asymptotic number of index $n$ subgroups in virtually cyclic right-angled Coxeter groups and their free products as $n\to\infty$.
Cokernels of adjacency matrices of random $r$-regular graphs
We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$.
On Sign Pattern Matrices that Allow or Require Algebraic Positivity
Published
• View Publication
• BIB
A square matrix $M$ with real entries is said to be algebraically positive (AP) if there exists a real polynomial $p$ such that all entries of the matrix $p(M)>0$. A square sign pattern matrix $S$ is said to allow algebraic positivity if there is an algebraically positive matrix $M$ whose sign pattern class is $S$. On the other hand, $S$ is said to require algebraic positivity if any matrix $M$, having sign pattern class $S$, is algebraically positive. Motivated by open problems raised in the work of Kirkland, Qiao and Zhan (2016) on AP matrices, we list down all nonequivalent irreducible $3\times 3$ sign pattern matrices and classify each of them into three groups (i) those that require AP, (ii) those that allow but not require AP, or (iii) those that do not allow AP. We also give a necessary condition for an irreducible $n\times n$ sign pattern to allow algebraic positivity.
Some combinatorial identities appearing in the calculation of the cohomology of Siegel modular varieties
Published
• View Publication
• BIB
In the computation of the intersection cohomology of Shimura varieties, or of the $L^2$ cohomology of equal rank locally symmetric spaces, combinatorial identities involving averaged discrete series characters of real reductive groups play a large technical role. These identities can become very complicated and are not always well-understood (see for example the appendix of [8]). We propose a geometric approach to these identities in the case of Siegel modular varieties using the combinatorial properties of the Coxeter complex of the symmetric group. Apart from some introductory remarks about the origin of the identities, our paper is entirely combinatorial and does not require any knowledge of Shimura varieties or of representation theory.
Doubly transitive lines I: Higman pairs and roux
Published
• View Publication
• BIB
We study lines through the origin of finite-dimensional complex vector spaces that enjoy a doubly transitive automorphism group. In doing so, we make fundamental connections with both discrete geometry and algebraic combinatorics. In particular, we show that doubly transitive lines are necessarily optimal packings in complex projective space, and we introduce a fruitful generalization of regular abelian distance-regular antipodal covers of the complete graph.
Acyclicity in finite groups and groupoids
We expound a concise construction of finite groups and groupoids whose Cayley graphs satisfy graded acyclicity requirements. Our acyclicity criteria concern cyclic patterns formed by coset-like configurations w.r.t. subsets of the generator set rather than just by individual generators. The proposed constructions correspondingly yield finite groups and groupoids whose Cayley graphs satisfy much stronger acyclicity conditions than large girth. We thus obtain generic and canonical constructions of highly homogeneous graph structures with strong acyclicity properties, which support known applications in finite graph and hypergraph coverings that locally unfold cyclic configurations.
Finding Certain Arithmetic Progressions in 2-Coloured Cyclic Groups
Published
• View Publication
• BIB
We say a pair of integers $(a, b)$ is findable if the following is true. For any $δ> 0$ there exists a $p_0$ such that for any prime $p \ge p_0$ and any red-blue colouring of $\mathbb{Z} /p\mathbb{Z}$ in which each colour has density at least $δ$, we can find an arithmetic progression of length $a+b$ inside $\mathbb{Z}/p\mathbb{Z}$ whose first $a$ elements are red and whose last $b$ elements are blue.
Szemerédi's Theorem on arithmetic progressions implies that $(0,k)$ and $(1,k)$ are findable for any $k$. We prove that $(2, k)$ is also findable for any $k$. However, the same is not true of $(3, k)$. Indeed, we give a construction showing that $(3, 30000)$ is not findable. We also show that $(14, 14)$ is not findable.
Direct zero-sum problems for certain groups of rank three
Published in Journal of Number Theory 197 (2019) 297-316
• View Publication
• BIB
We determine the exact value of the $η$-constant and the multiwise Davenport constants for finite abelian groups of rank three having the form $G \simeq C_2 \oplus C_{n_2} \oplus C_{n_3}$ with $2 \mid n_2 \mid n_3$. Moreover, we determine the Erdős-Ginzburg-Ziv constant of these groups under the assumption that $n_2/2$ has Property D or $n_2 = n_3$.