group
10226 papers tagged with this keyword
Algebraic polytopes in Normaliz
Published
• View Publication
• BIB
We describe the implementation of algebraic polyhedra in Normaliz. In addition to convex hull computation/vertex enumeration, it is possible to compute triangulations, volumes, lattice points, face lattices and automorphism groups. The arithmetic is based on the package e-antic by V.~Delecroix.
Gorenstein property for phylogenetic trivalent trees
Published
• View Publication
• BIB
We study the Gorenstein property for phylogenetic group-based models. We prove that for the groups $\mathbb Z_3$ and $\mathbb Z_2\times \mathbb Z_2$ and trivalent trees the associated polytopes are always Gorenstein extending the results of Buczyńska and Wiśniewski for the group $\mathbb Z_2$.
Invariants for metabelian groups of prime power exponent, colorings and stairs
Published
• View Publication
• BIB
We study the free metabelian group $M(2,n)$ of prime power exponent $n$ on two generators by means of invariants $M(2,n)'\to \mathbb{Z}_n$ that we construct from colorings of the squares in the integer grid $\mathbb{R} \times \mathbb{Z} \cup \mathbb{Z} \times \mathbb{R}$. In particular we improve bounds found by M.F. Newman for the order of $M(2,2^k)$. We study identities in $M(2,n)$, which give information about identities in the Burnside group $B(2,n)$ and the restricted Burnside group $R(2,n)$.
Integral quantum cluster structures
Published
• View Publication
• BIB
We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over ${\mathbb{Z}}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra ${\mathfrak{g}}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q( {\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]} \otimes_{\mathbb{Z}[q^{ \pm 1}]} {\mathbb{Z}}[ q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$.
Classification of minimally unsatisfiable 2-CNFs
We consider minimally unsatisfiable 2-CNFs (short 2-MUs). Characterisations of 2-MUs in the literature have been restricted to the nonsingular case (where every variable occurs positively and negatively at least twice), and those with a unit-clause. We provide the full classification of 2-MUs F. The main tool is the implication digraph, and we show that the implication digraph of F is a "weak double cycle" (WDC), a big cycle of small cycles (with possible overlaps). Combining logical and graph-theoretical methods, we prove that WDCs have at most one skew-symmetry, and thus we obtain that the isomorphisms between 2-MUs F, F' are exactly the isomorphisms between their implication digraphs.
We obtain a variety of applications. For fixed deficiency k, the difference of the number of clauses of F and the number n of variables of F, the automorphism group of F is a subgroup of the Dihedral group with 4k elements. The isomorphism problem restricted to 2-MUs F is decidable in linear time for fixed k. The number of isomorphism types of 2-MUs for fixed k is Theta(n^(3k-1)). The smoothing (removal of linear vertices) of skew-symmetric WDCs corresponds exactly to the canonical normal form of F obtained by 1-singular DP-reduction, a restricted form of DP-reduction (or "variable elimination") only reducing variables of degree 2. The isomorphism types of these normal forms, i.e., the homeomorphism types of skew-symmetric WDCs, are in one-to-one correspondence with binary bracelets (or "turnover necklaces") of length k.
An ergodic correspondence principle, invariant means and applications
Published
• View Publication
• BIB
A theorem due to Hindman states that if $E$ is a subset of $\mathbb{N}$ with $d^*(E)>0$, where $d^*$ denotes the upper Banach density, then for any $\varepsilon>0$ there exists $N \in \mathbb{N}$ such that $d^*\left(\bigcup_{i=1}^N(E-i)\right) > 1-\varepsilon$. Curiously, this result does not hold if one replaces the upper Banach density $d^*$ with the upper density $\bar{d}$. Originally proved combinatorially, Hindman's theorem allows for a quick and easy proof using an ergodic version of Furstenberg's correspondence principle. In this paper, we establish a variant of the ergodic Furstenberg's correspondence principle for general amenable (semi)-groups and obtain some new applications, which include a refinement and a generalization of Hindman's theorem and a characterization of countable amenable minimally almost periodic groups.
Higher discrete homotopy groups of graphs
Published
• View Publication
• BIB
This paper studies a discrete homotopy theory for graphs introduced by Barcelo et al. We prove two main results. First we show that if $G$ is a graph containing no 3- or 4-cycles, then the $n$th discrete homotopy group $A_n(G)$ is trivial for all $n\geq 2$. Second we exhibit for each $n\geq 1$ a natural homomorphism $ψ:A_n(G)\to \mathcal{H}_n(G)$, where $\mathcal{H}_n(G)$ is the $n$th discrete cubical singular homology group, and an infinite family of graphs $G$ for which $\mathcal{H}_n(G)$ is nontrivial and $ψ$ is surjective. It follows that for each $n\geq 1$ there are graphs $G$ for which $A_n(G)$ is nontrivial.
Disconnected Character graphs and odd Dominating sets
Published
• View Publication
• BIB
Suppose $Γ$ is a finite simple graph. If $D$ is a dominating set of $Γ$ such that each $x\in D$ is contained in the set of vertices of an odd cycle of $Γ$, then we say that $D$ is an odd dominating set for $Γ$. For a finite group $G$, let $Δ(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In this paper, we show that the complement of $Δ(G)$ contains an odd dominating set, if and only if $Δ(G)$ is a disconnected graph with non-bipartite complement.
On zero-sum free sequences contained in random subsets of finite cyclic groups
Published in Discrete Appl. Math. 330 (2023), 118 - 127
• View Publication
• BIB
Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence.
Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.
Combinatorial foundations for geometric realizations of subword complexes of Coxeter groups
Multitriangulations, and more generally subword complexes, yield a large family of simplicial complexes that are homeomorphic to spheres. Until now, all attempts to prove or disprove that they can be realized as convex polytopes faced major obstacles. In this article, we lay out the foundations of a framework -- built upon notions from algebraic combinatorics and discrete geometry -- that allows a deeper understanding of geometric realizations of subword complexes of Coxeter groups. Namely, we describe explicitly a family of chirotopes that encapsulate the necessary information to obtain geometric realizations of subword complexes. Further, we show that the space of geometric realizations of this family covers that of subword complexes, making this combinatorially defined family into a natural object to study.
The family of chirotopes is described through certain parameter matrices. That is, given a finite Coxeter group, we present matrices where certain minors have prescribed signs. Parameter matrices are universal: The existence of these matrices combined with conditions in terms of Schur functions is equivalent to the realizability of all subword complexes of this Coxeter group as chirotopes. Finally, parameter matrices provide extensions of combinatorial identities; for instance, the Vandermonde determinant and the dual Cauchy identity are recovered through suitable choices of parameters.
Orchards in elliptic curves over finite fields
Published in Finite Fields and Their Applications, Volume 68, 2020, 101756, ISSN 1071-5797
• View Publication
• BIB
Consider a set of $ n $ points on a plane. A line containing exactly $ 3 $ out of the $ n $ points is called a $ 3 $-rich line. The classical orchard problem asks for a configuration of the $ n $ points on the plane that maximizes the number of $ 3 $-rich lines. In this note, using the group law in elliptic curves over finite fields, we exhibit several (infinitely many) group models for orchards wherein the number of $ 3 $-rich lines agrees with the expected number given by Green-Tao (or, Burr, Grünbaum and Sloane) formula for the maximum number of lines. We also show, using elliptic curves over finite fields, that there exist infinitely many point-line configurations with the number of $ 3 $-rich lines exceeding the expected number given by Green-Tao formula by two, and this is the only other optimal possibility besides the case when the number of $ 3 $-rich lines agrees with the Green-Tao formula.
An algebraic characterization of $k$--colorability
Published
• View Publication
• BIB
We characterize $k$--colorability of a simplicial graph via the intrinsic algebraic structure of the associated right-angled Artin group. As a consequence, we show that a certain problem about the existence of homomorphisms from right-angled Artin groups to products of free groups is NP--complete.
Singular nonsymmetric Jack polynomials for some rectangular tableaux
Published in Symmetry 2020 12(4), 630
• View Publication
• BIB
In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $κ=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $κ=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions.
An asymptotic for the Hall--Paige conjecture
Published
• View Publication
• BIB
Hall and Paige conjectured in 1955 that a finite group $G$ has a complete mapping if and only if its Sylow $2$-subgroups are trivial or noncyclic. This conjecture was proved in 2009 by Wilcox, Evans, and Bray using the classification of finite simple groups and extensive computer algebra. Using a completely different approach motivated by the circle method from analytic number theory, we prove that the number of complete mappings of any group $G$ of order $n$ satisfying the Hall--Paige condition is $(e^{-1/2} + o(1)) \, |G^\text{ab}| \, n!^2/n^n$.
Graph covers with two new eigenvalues
Published
• View Publication
• BIB
A certain signed adjacency matrix of the hypercube, which Hao Huang used last year to resolve the sensitivity conjecture, is closely related to the unique, 4-cycle free, 2-fold cover of the hypercube. We develop a framework in which this connection is a natural first example of the relationship between group labeled adjacency matrices with few eigenvalues, and combinatorially interesting covering graphs. In particular, we define a two-eigenvalue cover to be a covering graph whose adjacency spectra differs (as a multiset) from that of the graph it covers by exactly two eigenvalues. We show that walk regularity of a graph implies walk regularity of any abelian two-eigenvalue cover. We also give a spectral characterization for when a cyclic two-eigenvalue cover of a strongly-regular graph is distance regular.
Non-Hyperoctahedral Categories of Two-Colored Partitions, Part II: All Possible Parameter Values
Published
• View Publication
• BIB
This article is part of a series with the aim of classifying all non-hyperoctahedral categories of two-colored partitions. Those constitute by some Tannaka-Krein type result the co-representation categories of a specific class of quantum groups. However, our series of articles is purely combinatorial. In Part I we introduced a class of parameters which gave rise to many new non-hyperoctahedral categories of partitions. In the present article we show that this class actually contains all possible parameter values of all non-hyperoctahedral categories of partitions. This is an important step towards the classification of all non-hyperoctahedral categories.
Sphere tangencies, line incidences, and Lie's line-sphere correspondence
Published in Math. Proc. Camb. Philos. Soc. 172: 2 (2022), 401 - 421
• View Publication
• BIB
Two spheres with centers $p$ and $q$ and signed radii $r$ and $s$ are said to be in contact if $|p-q|^2 = (r-s)^2$. Using Lie's line-sphere correspondence, we show that if $F$ is a field in which $-1$ is not a square, then there is an isomorphism between the set of spheres in $F^3$ and the set of lines in a suitably constructed Heisenberg group that is embedded in $(F[i])^3$; under this isomorphism, contact between spheres translates to incidences between lines.
In the past decade there has been significant progress in understanding the incidence geometry of lines in three space. The contact-incidence isomorphism allows us to translate statements about the incidence geometry of lines into statements about the contact geometry of spheres. This leads to new bounds for Erdős' repeated distances problem in $F^3$, and improved bounds for the number of point-sphere incidences in three dimensions. These new bounds are sharp for certain ranges of parameters.
On an inverse problem of Erd\H os, Kleitman, and Lemke
Published
• View Publication
• BIB
Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$. We say $S$ is a tiny product-one sequence if its terms can be ordered such that their product equals $1_G$ and $\sum_{i=1}^{\ell}\frac{1}{\ord(g_i)}\le 1$. Let $\mathsf {ti}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ with $|S|\ge t$ has a tiny product-one subsequence. The direct problem is to obtain the exact value of $\mathsf {ti}(G)$, while the inverse problem is to characterize the structure of long sequences over $G$ which have no tiny product-one subsequences. In this paper, we consider the inverse problem for cyclic groups and we also study both direct and inverse problems for dihedral groups and dicyclic groups.
On free products of graphs
Published in AUSTRALASIAN JOURNAL OF COMBINATORICS 78.1 (2020): 154-176
• Search Publication
We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs.
One-relator groups and algebras related to polyhedral products
Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics 152 (2022) 128-147
• View Publication
• BIB
We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_*(Ω\mathcal{Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterisation of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal{R}_K)$, whereas for $H_*(Ω\mathcal{Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal{Z}_K$.