group
10258 papers tagged with this keyword
On the Complexity of the Cogrowth Sequence
Published
• View Publication
• BIB
Given a finitely generated group with generating set $S$, we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks in a Cayley graph with steps from $S$. We prove that the cogrowth sequence is not $P$-recursive when~$G$ is an amenable group of superpolynomial growth, answering a question of Garrabant and Pak.
Combinatorial Structures in Random Matrix Theory Predictions for $L$-Functions
Our results can be viewed as applications of algebraic combinatorics in random matrix theory. These applications are motivated by the predictive power of random matrix theory for the statistical behavior of the celebrated Riemann $ζ$-function (and $L$-functions in general), which was discovered by Montgomery (with regard to zeros of $L$-functions) and by Keating and Snaith (with regard to values of $L$-functions).
The first results revolve around a new operation on partitions, which we call overlap. We prove two overlap identities for so-called Littlewood-Schur functions. The first overlap identity represents the Littlewood-Schur function $LS _λ(X; Y)$ as a sum over subsets of $X$, while the second overlap identity essentially represents $LS_λ(X; Y)$ as a sum over pairs of partitions whose overlap equals $λ$. Both identities are derived by applying Laplace expansion to a determinantal formula for Littlewood-Schur functions due to Moens and Van der Jeugt. In addition, we give two visual characterizations for the set of all pairs of partitions whose overlap is equal to a partition $λ$.
The second result is an asymptotic formula for averages of mixed ratios of characteristic polynomials over the unitary group, where mixed ratios are products of ratios and/or logarithmic derivatives. Our proof of this formula is a generalization of Bump and Gamburd's elegant combinatorial proof of Conrey, Forrester and Snaith's formula for averages of ratios of characteristic polynomials over the unitary group. The generalization relies on three combinatorial results, namely the first overlap identity, a new variant of the Murnaghan-Nakayama rule and an idea from vertex operator formalism. We conclude this thesis by explaining how this approach might lead to new number theoretic proofs.
A Combinatorial Approach to Mixed Ratios of Characteristic Polynomials
We provide a combinatorial derivation of an asymptotic formula for averages of mixed ratios of characteristic polynomials over the unitary group, where mixed ratios are products of ratios and/or logarithmic derivatives. Our proof of this formula is a generalization of Bump and Gamburd's elegant combinatorial proof of Conrey, Forrester and Snaith's formula for averages of ratios of characteristic polynomials over the unitary group. One application of this formula is an asymptotic expression for sums over zeros of a random characteristic polynomial from the unitary group, which we call an explicit formula for eigenvalues in an analogy to what is called an explicit formula in the context of $L$-functions.
New explicit solution to the N-Queens Problem and its relation to the Millennium Problem
Using modular arithmetic of the ring $\mathbb{Z}_{n+1}$ we obtain a new short solution to the problem of existence of at least one solution to the $N$-Queens problem on an $N \times N$ chessboard. It was proved, that these solutions can be represented as the Queen function with the width fewer or equal to 3. It is shown, that this estimate could not be reduced. A necessary and sufficient condition of being a composition of solutions a solution is found. Based on the obtained results we formulate a conjecture about the width of the representation of arbitrary solution. If this conjecture is valid, it entails solvability of the $N$-Queens completion in polynomial time. The connection between the $N$-Queens completion and the Millennium $P$ vs $NP$ Problem is found by the group of mathematicians from Scotland in August 2017.
Classification of Coxeter groups with finitely many elements of $\mathbf{a}$-value 2
Published
• View Publication
• BIB
We consider Lusztig's $\mathbf{a}$-function on Coxeter groups (in the equal parameter case) and classify all Coxeter groups with finitely many elements of $\mathbf{a}$-value 2 in terms of Coxeter diagrams.
Quantitative structure of stable sets in finite abelian groups
Published
• View Publication
• BIB
We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.
The Chromatic Number of Finite Group Cayley Tables
Published in Published in Electon. J. Combin. Vol. 26 P1.36 (2019)
• View Publication
• BIB
The chromatic number of a latin square $L$, denoted $χ(L)$, is the minimum number of partial transversals needed to cover all of its cells. It has been conjectured that every latin square satisfies $χ(L) \leq |L|+2$. If true, this would resolve a longstanding conjecture---commonly attributed to Brualdi---that every latin square has a partial transversal of size $|L|-1$. Restricting our attention to Cayley tables of finite groups, we prove two main results. First, we resolve the chromatic number question for Cayley tables of finite Abelian groups: the Cayley table of an Abelian group $G$ has chromatic number $|G|$ or $|G|+2$, with the latter case occurring if and only if $G$ has nontrivial cyclic Sylow 2-subgroups. Second, we give an upper bound for the chromatic number of Cayley tables of arbitrary finite groups. For $|G|\geq 3$, this improves the best-known general upper bound from $2|G|$ to $\frac{3}{2}|G|$, while yielding an even stronger result in infinitely many cases.
Distribution of Base Pair Alternations in a Periodic DNA Chain: Application of Polya Counting to a Physical System
Published in Regular and Chaotic Dynamics (2018) 23: 135
• View Publication
• BIB
In modeling DNA chains, the number of alternations between Adenine-Thymine (AT) and Guanine-Cytosine (GC) base pairs can be considered as a measure of the heterogeneity of the chain, which in turn could affect its dynamics. A probability distribution function of the number of these alternations is derived for circular or periodic DNA. Since there are several symmetries to account for in the periodic chain, necklace counting methods are used. In particular, Polya's Enumeration Theorem is extended for the case of a group action that preserves partitioned necklaces. This, along with the treatment of generating functions as formal power series, allows for the direct calculation of the number of possible necklaces with a given number of AT base pairs, GC base pairs and alternations. The theoretically obtained probability distribution functions of the number of alternations are accurately reproduced by Monte Carlo simulations and fitted by Gaussians. The effect of the number of base pairs on the characteristics of these distributions is also discussed, as well as the effect of the ratios of the numbers of AT and GC base pairs.
Constructing 2-Arc-Transitive Covers of Hypercubes
Published
• View Publication
• BIB
We introduce the notion of a symmetric basis of a vector space equipped with a quadratic form, and provide a sufficient and necessary condition for the existence to such a basis. Symmetric bases are then used to study Cayley graphs of certain extraspecial 2-groups of order 2^{2r+1} (r\geq 1), which are further shown to be normal Cayley graphs and 2-arc-transitive covers of 2r-dimensional hypercubes.
Improved Bounds for Progression-Free Sets in $C_{8}^{n}$
Published
• View Publication
• BIB
Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$, where $C_{m}$ denotes the cyclic group of order $m$. For finite abelian groups $G \cong \prod_{i=1}^{n} C_{m_{i}}$, where $m_{1},\ldots,m_{n}$ denote positive integers such that $m_{1} | \ldots | m_{n}$, this also yields a bound of the form $r_{3}(G) \leqslant (0.903)^{\operatorname{rk}_{4}(G)} |G|$, with $\operatorname{rk}_{4}(G)$ representing the number of indices $i \in \left\{1,\ldots,n\right\}$ with $4\ |\ m_{i}$. In particular, $r_{3}(C_{8}^{n}) \leqslant (7.22)^{n}$. In this paper, we provide an exponential improvement for this bound, namely $r_{3}(C_{8}^{n}) \leq (7.09)^{n}$.
Linear bounds on nowhere-zero group irregularity strength and nowhere-zero group sum chromatic number of graphs
Published in Applied Mathematics and Computation Volume 343, 15 February 2019, Pages 149-155
• View Publication
• BIB
We investigate the \textit{group irregularity strength}, $s_g(G)$, of a graph, i.e. the least integer $k$ such that taking any Abelian group $\mathcal{G}$ of order $k$, there exists a function $f:E(G)\rightarrow \mathcal{G}$ so that the sums of edge labels incident with every vertex are distinct. So far the best upper bound on $s_g(G)$ for a general graph $G$ was exponential in $n-c$, where $n$ is the order of $G$ and $c$ denotes the number of its components. In this note we prove that $s_g(G)$ is linear in $n$, namely not greater than $2n$. In fact, we prove a stronger result, as we additionally forbid the identity element of a group to be an edge label or the sum of labels around a vertex.
We consider also locally irregular labelings where we require only sums of adjacent vertices to be distinct. For the corresponding graph invariant we prove the general upper bound: $Δ(G)+{\rm col}(G)-1$ (where ${\rm col}(G)$ is the coloring number of $G$) in the case when we do not use the identity element as an edge label, and a slightly worse one if we additionally forbid it as the sum of labels around a vertex. In the both cases we also provide a sharp upper bound for trees and a constant upper bound for the family of planar graphs.
Strong Skolem Starters
Published
• View Publication
• BIB
This paper concerns a class of combinatorial objects called Skolem starters, and more specifically, strong Skolem starters, which are generated by Skolem sequences.
In 1991, Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or $3\pmod{8},\ n\ge11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\le n\le57$. Only finitely many strong Skolem starters have been known to date.
In this paper, we offer a geometrical interpretation of strong Skolem starters and explicitly construct infinite families of them.
An application of the theory of FI-algebras to graph configuration spaces
Published
• View Publication
• BIB
Recent work of An, Drummond-Cole, and Knudsen, as well as the author, has shown that the homology groups of configuration spaces of graphs can be equipped with the structure of a finitely generated graded module over a polynomial ring. In this work we study this module structure in certain families of graphs using the language of FI-algebras recently explored by Nagel and Römer. As an application we prove that the syzygies of the modules in these families exhibit a range of stable behaviors.
Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures.
We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorčević, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the $\emptyset$-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubička and Nešetril.
Finally, we consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems.
The thickness of Schubert cells as incidence structures
Published in J. Aust. Math. Soc. 109 (2020) 145-156
• View Publication
• BIB
This paper explores the possible use of Schubert cells and Schubert varieties in finite geometry, particularly in regard to the question of whether these objects might be a source of understanding of ovoids or provide new examples. The main result provides a characterization of those Schubert cells for finite Chevalley groups which have the first property (thinness) of ovoids. More importantly, perhaps this short paper can help to bridge the modern language barrier between finite geometry and representation theory. For this purpose, this paper includes very brief surveys of the powerful lattice theory point of view from finite geometry and the powerful method of indexing points of flag varieties by Chevalley generators from representation theory.
Asymptotic results for Representation Theory
Representation theory of finite groups portrays a marvelous crossroad of group theory, algebraic combinatorics, and probability. In particular the Plancherel measure is a probability that arises naturally from representation theory, and in this thesis we consider three ramifications of asymptotic questions for random Plancherel distributed representations. First we recall irreducible characters of the symmetric group, which are indexed by integer partitions. We focus on the so called 'dual approach', in which the partition indexing a character is now considered to be the variable. We extend a famous result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose each of these objects into a main term and a remainder, and in each case we prove a central limit theorem for the main term. We apply these results to prove a law of large numbers for the partial sum. In the second part we consider projective representations of the symmetric group by converting a multirectangular approach developed by Stanley for the classical case. In particular, we present a positivity conjecture for the coefficients of the renormalized projective character, written as a polynomial in a new set of coordinates. We prove the positivity for the leading term of the polynomial. In the last part of the thesis we recall the theory of supercharacters, which is an alternative tool to representation theory when the classical approach proves to be intractable. We show that a generalization of the Plancherel measure, called the superplancherel measure, arises naturally. We focus on a particular supercharacter theory for the upper unitriangular group in which supercharacters are indexed by set partitions. We prove a limit shape result for a random set partition according to this distribution.
Combinatorics of certain abelian Lie group arrangements and chromatic quasi-polynomials
Published in Journal of Combinatorial Theory, Series A, 165 (2019), 258-272
• View Publication
• BIB
The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints.
Sets of Arithmetical Invariants in Transfer Krull Monoids
Published in J. Pure Appl. Algebra,2019
• View Publication
• BIB
Transfer Krull monoids are a recent concept including all commutative Krull domains and also, for example, wide classes of non-commutative Dedekind domains. We show that transfer Krull monoids are fully elastic (i.e., every rational number between $1$ and the elasticity of the monoid can be realized as the elasticity of an element). In commutative Krull monoids which have sufficiently many prime divisors in all classes of their class group, the set of catenary degrees and the set of tame degrees are intervals. Without the assumption on the distribution of prime divisors, arbitrary finite sets can be realized as sets of catenary degrees and as sets of tame degrees.
Coset decision trees and the Fourier algebra
Published
• View Publication
• BIB
We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)).
Proto-exact categories of matroids, Hall algebras, and K-theory
Published
• View Publication
• BIB
This paper examines the category $\mathbf{Mat}_{\bullet}$ of pointed matroids and strong maps from the point of view of Hall algebras. We show that $\mathbf{Mat}_{\bullet}$ has the structure of a finitary proto-exact category - a non-additive generalization of exact category due to Dyckerhoff-Kapranov. We define the algebraic K-theory $K_* (\mathbf{Mat}_{\bullet})$ of $\mathbf{Mat}_{\bullet}$ via the Waldhausen construction, and show that it is non-trivial, by exhibiting injections $$π^s_n (\mathbb{S}) \hookrightarrow K_n (\mathbf{Mat}_{\bullet})$$ from the stable homotopy groups of spheres for all $n$. Finally, we show that the Hall algebra of $\mathbf{Mat}_{\bullet}$ is a Hopf algebra dual to Schmitt's matroid-minor Hopf algebra.