group
10405 papers tagged with this keyword
Polynomial Criterion for Abelian Difference Sets
Difference sets are subsets of a group satisfying certain combinatorial property with respect to the group operation. They can be characterized using an equality in the group ring of the corresponding group. In this paper, we exploit the special structure of the group ring of an abelian group to establish a one-to one correspondence of the class of difference sets with specific parameters in that group with the set of all complex solutions of a specified system of polynomial equations. The correspondence also develops some tests for a Boolean function to be a bent function.
Around the $q$-binomial-Eulerian polynomials
Published in European Journal of Combinatorics, 2019
• View Publication
• BIB
We find a combinatorial interpretation of Shareshian and Wachs' $q$-binomial-Eulerian polynomials, which leads to an alternative proof of their $q$-$γ$-positivity using group actions. Motivated by the sign-balance identity of Désarménien--Foata--Loday for the $(\mathrm{des}, \mathrm{inv})$-Eulerian polynomials, we further investigate the sign-balance of the $q$-binomial-Eulerian polynomials. We show the unimodality of the resulting signed binomial-Eulerian polynomials by exploiting their continued fraction expansion and making use of a new quadratic recursion for the $q$-binomial-Eulerian polynomials. We finally use the method of continued fractions to derive a new $(p,q)$-extension of the $γ$-positivity of binomial-Eulerian polynomials which involves crossings and nestings of permutations.
Character polynomials for two rows and hook partitions
Representation theory of the symmetric group $\mathfrak{S}_n$ has a very distinctive combinatorial flavor. The conjugacy classes as well as the irreducible characters are indexed by integer partitions $λ\vdash n$. We introduce class functions on $\mathfrak{S}_n$ that count the number of certain tilings of Young diagrams. The counting interpretation gives a uniform expression of these class functions in the ring of character polynomials, as defined by \cite{murnaghanfirst}. A modern treatment of character polynomials is given in \cite{orellana-zabrocki}. We prove a relation between these combinatorial class functions in the (virtual) character ring. From this relation, we were able to prove Goupil's generating function identity \cite{goupil}, which can then be used to derive Rosas' formula \cite{rosas} for Kronecker coefficients of hook shape partitions and two row partitions.
The triangle groups (2,4,5) and (2,5,5) are not systolic
In this paper we provide new examples of hyperbolic but nonsystolic groups by showing that the triangle groups $(2,4,5)$ and $(2,5,5)$ are not systolic. Along the way we prove some results about subsets of systolic complexes stable under involutions.
Matroids over one-dimensional groups
Published in Int. Math. Res. Not., 2022:3, 2298-2336
• View Publication
• BIB
We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindström valuations and Frobenius flocks of such matroids. Building on work by Evans and Hrushovski, we show that the class of algebraic matroids, paired with their Lindström valuations, is not closed under duality of valuated matroids.
Limits on the Universal Method for Matrix Multiplication
In this work, we prove limitations on the known methods for designing matrix multiplication algorithms. Alman and Vassilevska Williams recently defined the Universal Method, which substantially generalizes all the known approaches including Strassen's Laser Method and Cohn and Umans' Group Theoretic Method. We prove concrete lower bounds on the algorithms one can design by applying the Universal Method to many different tensors. Our proofs use new tools for upper bounding the asymptotic slice rank of a wide range of tensors. Our main result is that the Universal method applied to any Coppersmith-Winograd tensor $CW_q$ cannot yield a bound on $ω$, the exponent of matrix multiplication, better than $2.16805$. By comparison, it was previously only known that the weaker `Galactic Method' applied to $CW_q$ could not achieve an exponent of $2$.
We also study the Laser Method (which is, in principle, a highly special case of the Universal Method) and prove that it is "complete" for matrix multiplication algorithms: when it applies to a tensor $T$, it achieves $ω= 2$ if and only if it is possible for the Universal method applied to $T$ to achieve $ω= 2$. Hence, the Laser Method, which was originally used as an algorithmic tool, can also be seen as a lower bounding tool. For example, in their landmark paper, Coppersmith and Winograd achieved a bound of $ω\leq 2.376$, by applying the Laser Method to $CW_q$. By our result, the fact that they did not achieve $ω=2$ implies a lower bound on the Universal Method applied to $CW_q$. Indeed, if it were possible for the Universal Method applied to $CW_q$ to achieve $ω=2$, then Coppersmith and Winograd's application of the Laser Method would have achieved $ω=2$.
Growth series of CAT(0) cubical complexes
Published in Topology Proc.54(2019), 295-303
• Search Publication
Let $X$ be a CAT(0) cubical complex. The growth series of $X$ at $x$ is $G_{x}(t)=\sum_{y \in Vert(X)} t^{d(x,y)}$, where $d(x,y)$ denotes $\ell_{1}$-distance between $x$ and $y$. If $X$ is cocompact, then $G_{x}$ is a rational function of $t$. In the case when $X$ is the Davis complex of a right-angled Coxeter group it is a well-known that $G_{x}(t)=1/f_{L}(-t/(1+t))$, where $f_{L}$ denotes the $f$-polynomial of the link $L$ of a vertex of $X$. We obtain a similar formula for general cocompact $X$. We also obtain a simple relation between the growth series of individual orbits and the $f$-polynomials of various links. In particular, we get a simple proof of reciprocity of these series ($G_{x}(t)=\pm G_{x}(t^{-1})$) for an Eulerian manifold $X$.
Qualitative graph limit theory. Cantor Dynamical Systems and Constant-Time Distributed Algorithms
The goal of the paper is to lay the foundation for the qualitative analogue of the classical, quantitative sparse graph limit theory. In the first part of the paper we introduce the qualitative analogues of the Benjamini-Schramm and local-global graph limit theories for sparse graphs. The natural limit objects are continuous actions of finitely generated groups on totally disconnected compact metric spaces. We prove that the space of weak equivalent classes of free Cantor actions is compact and contains a smallest element, as in the measurable case. We will introduce and study various notions of almost finiteness, the qualitative analogue of hyperfiniteness, for classes of bounded degree graphs. We prove the almost finiteness of a new class of étale groupoids associated to Cantor actions and construct an example of a nonamenable, almost finite totally disconnected étale groupoid, answering a query of Suzuki. Motivated by the notions and results on qualitative graph limits, in the second part of our paper we give a precise definition of constant-time distributed algorithms on sparse graphs. We construct such constant-time algorithms for various approximation problems for hyperfinite and almost finite graph classes. We also prove the Hausdorff convergence of the spectra of convergent graph sequences in the strongly almost finite category.
Homology groups of cubical sets with connections
Toward defining commutative cubes in all dimensions, Brown and Spencer introduced the notion of "connection" as a new kind of degeneracy. In this paper, for a cubical set with connections, we show that the connections generate an acyclic subcomplex of the chain complex of the cubical set. In particular, our results show that the homology groups of a cubical set with connections are independent of whether we normalize by the connections or we do not, that is, connections do not contribute to any nontrivial cycle in the homology groups of the cubical set.
Polylogarithmic bounds in the nilpotent Freiman theorem
We show that if $A$ is a finite $K$-approximate subgroup of an $s$-step nilpotent group then there is a finite normal subgroup $H\subset A^{K^{O_s(1)}}$ modulo which $A^{O_s(\log^{O_s(1)}K)}$ contains a nilprogression of rank at most $O_s(\log^{O_s(1)}K)$ and size at least $\exp(-O_s(\log^{O_s(1)}K))|A|$. This partially generalises the close-to-optimal bounds obtained in the abelian case by Sanders, and improves the bounds and simplifies the exposition of an earlier result of the author. Combined with results of Breuillard-Green, Breuillard-Green-Tao, Gill-Helfgott-Pyber-Szabó, and the author, this leads to improved rank bounds in Freiman-type theorems in residually nilpotent groups and certain linear groups of bounded degree.
Isometry invariant permutation codes and mutually orthogonal Latin squares
Published
• View Publication
• BIB
Commonly the direct construction and the description of mutually orthogonal Latin squares (MOLS) makes use of difference or quasi-difference matrices. Now there exists a correspondence between MOLS and separable permutation codes. We like to present separable permutation codes of length $35$, $48$, $63$ and $96$ and minimum distance $34$, $47$, $62$ and $95$ consisting of $6 \times 35$, $10 \times 48$, $8 \times 63$ and $8 \times 96$ codewords respectively. Using the correspondence this gives $6$ MOLS for $n=35$, $10$ MOLS for $n=48$, $8$ MOLS for $n=63$ and $8$ MOLS for $n=96$. So $N(35) \ge 6$, $N(48) \ge 10$, $N(63) \ge 8$ and $N(96) \ge 8$ holds which are new lower bounds for MOLS. The codes will be given by generators of an appropriate subgroup $U$ of the isometry group of the symmetric group $S_n$ and $U$-orbit representatives. This gives an alternative uniform way to describe the MOLS where the data for the codes can be used as input for computer algebra systems like MAGMA, GAP etc.
q-deformed Character Theory for Infinite-Dimensional Symplectic and Orthogonal Groups
The classification of irreducible, spherical characters of the infinite-dimensional unitary/orthogonal/symplectic groups can be obtained by finding all possible limits of normalized, irreducible characters of the corresponding finite-dimensional groups, as the rank tends to infinity. We solve a q-deformed version of the latter problem for orthogonal and symplectic groups, extending previously known results for the unitary group. The proof is based on novel determinantal and double-contour integral formulas for the q-specialized characters.
Testing isomorphism of circulant objects in polynomial time
Published in J. Combin. Theory, A169, 105128 (2020)
• View Publication
• BIB
Let ${\frak K}$ be a class of combinatorial objects invariant with respect to a given regular cyclic group. It is proved that the isomorphism of any two objects $X,Y\in{\frak K}$ can be tested in polynomial time in sizes of $X$ and $Y$.
Bruhat order and graph structures of lower intervals in Coxeter groups
We show that any lower Bruhat interval in a Coxeter group is a disjoint union of certain two-sided cosets as a consequence of Lifting Property and Subword Property. Furthermore, we describe these details in terms of Bruhat graphs, graded posets, and two-sided quotients altogether. For this purpose, we introduce some new ideas, quotient lower intervals and quotient Bruhat graphs.
A Stallings' type theorem for quasi-transitive graphs
We consider infinite connected quasi-transitive locally finite graphs and show that every such graph with more than one end is a tree amalgamation of two other such graphs. This can be seen as a graph-theoretical version of Stallings' splitting theorem for multi-ended finitely generated groups and indeed it implies this theorem. It will also lead to a characterisation of accessible graphs in terms of tree amalgamations. We obtain applications of our results for hyperbolic graphs, planar graphs and graphs without any thick end. The application for planar graphs answers a question of Mohar in the affirmative.
A Note on a Picture-Hanging Puzzle
In the picture-hanging puzzle we are to hang a picture so that the string loops around $n$ nails and the removal of any nail results in a fall of the picture. We show that the length of a sequence representing an element in the free group with $n$ generators that corresponds to a solution of the picture-hanging puzzle must be at least $n2^{\sqrt{\log_2 n}}$.
In other words, this is a lower bound on the length of a sequence representing a non-trivial element in the free group with $n$ generators such that if we replace any of the generators by the identity the sequence becomes trivial.
A panorama of positivity
Published
• View Publication
• BIB
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or mass distributions). We put emphasis on entrywise operations which preserve positivity, in a variety of guises. Techniques from harmonic analysis, function theory, operator theory, statistics, combinatorics, and group representations are invoked. Some partially forgotten classical roots in metric geometry and distance transforms are presented with comments and full bibliographical references. Modern applications to high-dimensional covariance estimation and regularization are included.
The spectrum of group-based Latin squares
We construct sequencings for many groups that are a semi-direct product of an odd-order abelian group and a cyclic group of odd prime order. It follows from these constructions that there is a group-based complete Latin square of order $n$ if and only if $n \in \{ 1,2,4\}$ or there is a non-abelian group of order $n$.
Two-ended quasi-transitive graphs
The well-known characterization of two-ended groups says that every two-ended group can be split over finite subgroups which means it is isomorphic to either by a free product with amalgamation $A\ast_C B$ or an HNN-extension $\ast_φ C$, where $C$ is a finite group and $[A:C]=[B:C]=2$ and $φ\in Aut(C)$. In this paper, we show that there is a way in order to spilt two-ended quasi-transitive graphs without dominated ends and two-ended transitive graphs over finite subgraphs in the above sense. As an application of it, we characterize all groups acting with finitely many orbits almost freely on those graphs.
Affine transitions for involution Stanley symmetric functions
Published in European J. Combin. 101 (2022), 103463
• View Publication
• BIB
We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Schützenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.