group
10226 papers tagged with this keyword
Phase transitions in isoperimetric problems on the integers
Barber and Erde asked the following question: if $B$ generates $\mathbb Z^d$ as an additive group, then must the extremal sets for the vertex/edge-isoperimetric inequality on the Cayley graph $\operatorname{Cay}(\mathbb Z^d,B)$ form a nested family? We answer this question negatively for both the vertex- and edge-isoperimetric inequalities, specifically in the case of $d=1$. The key is to show that the structure of the cylinder $\mathbb Z\times(\mathbb Z/k\mathbb Z)$ can be mimicked in certain Cayley graphs on $\mathbb Z$, leading to a phase transition. We do, however, show that Barber--Erde's question for Cayley graphs on $\mathbb Z$ has a positive answer if one is allowed to ignore finitely many sets.
On the k-spanning cyclability of 4-valent Cayley graphs on Abelian groups
A graph $X$ is $k$-spanning cyclable if for any subset $S$ of $k$ distinct vertices there is a 2-factor of $X$ consisting of $k$ cycles such that each vertex in $S$ belongs to a distinct cycle. In this paper we examine the $k$-spanning cyclability of 4-valent Cayley graphs on Abelian groups.
Operahedron Lattices
Laplante-Anfossi associated to each rooted plane tree a polytope called an operahedron. He also defined a partial order on the vertex set of an operahedron and asked if the resulting poset is a lattice. We answer this question in the affirmative, motivating us to name Laplante-Anfossi's posets operahedron lattices. The operahedron lattice of a chain with $n+1$ vertices is isomorphic to the $n$-th Tamari lattice, while the operahedron lattice of a claw with $n+1$ vertices is isomorphic to $\mathrm{Weak}(\mathfrak S_n)$, the weak order on the symmetric group $\mathfrak S_n$. We characterize semidistributive operahedron lattices and trim operahedron lattices. Let $Δ_{\mathrm{Weak}(\mathfrak S_n)}(w_\circ(k,n))$ be the principal order ideal of $\mathrm{Weak}(\mathfrak S_n)$ generated by the permutation ${w_\circ(k,n)=k(k-1)\cdots 1(k+1)(k+2)\cdots n}$. Our final result states that the operahedron lattice of a broom with $n+1$ vertices and $k$ leaves is isomorphic to the subposet of $\mathrm{Weak}(\mathfrak S_n)$ consisting of the preimages of $Δ_{\mathrm{Weak}(\mathfrak S_n)}(w_\circ(k,n))$ under West's stack-sorting map; as a consequence, we deduce that this subposet is a semidistributive lattice.
Flipclasses and Combinatorial Invariance for Kazhdan--Lusztig polynomials
In this work, we investigate a novel approach to the Combinatorial Invariance Conjecture of Kazhdan--Lusztig polynomials for the symmetric group. Using the new concept of flipclasses, we introduce some combinatorial invariants of intervals in the symmetric group whose analysis leads us to a recipe to compute the coefficients of $q^h$ of the Kazhdan--Lusztig $\widetilde{R}$-polynomials, for $h\leq 6$. This recipe depends only on the isomorphism class (as a poset) of the interval indexing the polynomial and thus provides new evidence for the Combinatorial Invariance Conjecture.
Owings-like theorems for infinitely many colours or finite monochromatic sets
Published in Annals of Pure and Applied Logic 175 (2024), 103495
• Search Publication
Inspired by Owings's problem, we investigate whether, for a given an Abelian group $G$ and cardinal numbers $κ,θ$, every colouring $c:G\longrightarrowθ$ yields a subset $X\subseteq G$ with $|X|=κ$ such that $X+X$ is monochromatic. (Owings's problem asks this for $G=\mathbb Z$, $θ=2$ and $κ=\aleph_0$; this is known to be false for the same $G$ and $κ$ but $θ=3$.) We completely settle the question for $κ$ and $θ$ both finite (by obtaining sufficient and necessary conditions for a positive answer) and for $κ$ and $θ$ both infinite (with a negative answer). Also, in the case where $θ$ is infinite but $κ$ is finite, we obtain some sufficient conditions for a negative answer as well as an example with a positive answer.
Explicit expressions for the gamma vector leading to connections to upper/lower bounds and structural properties
We find an explicit formula for the gamma vector in terms of the input polynomial in a way that extends it to arbitrary polynomials. More specifically, we find explicit linear combination in terms of coefficients of the input polynomial (using Catalan numbers and binomial coefficients) and an expression involving the derivative of the input polynomial. The first expression suggests connections to common Coxeter group/noncrossing partition structures in existing gamma positivity examples. In the case where the input is the $h$-polynomial of a simplicial complex, this gives an interpretation of the gamma vector as a measure of differences in local and global contributions. We also apply them to connect signs/inequalities of (shifts of) the gamma vector to upper/lower bound conditions on coefficients of the input polynomial. Finally, we make use of the shape of the sums used to make these estimates and connections with intersection numbers to relate these properties of the gamma vector to algebraic structures (e.g. characteristic classes involved in existing log concavity and Schur positivity properties).
Quantum Sabidussi's Theorem
Sabidussi's theorem [Duke Math. J. 28, 1961] gives necessary and sufficient conditions under which the automorphism group of a lexicographic product of two graphs is a wreath product of the respective automorphism groups. We prove a quantum version of Sabidussi's theorem for finite graphs, with the automorphism groups replaced by quantum automorphism groups and the wreath product replaced by the free wreath product of quantum groups. This extends the result of Chassaniol [J. Algebra 456, 2016], who proved it for regular graphs. Moreover, we apply our result to lexicographic products of quantum vertex transitive graphs, determining their quantum automorphism groups even when Sabidussi's conditions do not apply.
Grothendieck rings of polytopes and non-archimedean semi-algebraic sets
Let $Γ$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $Γ$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Z})$ is equivalent to the classification up to affine transformations in $Γ^n\rtimes \mathrm{GL}_n(\mathbb{Q})$. We prove this by giving an explicit description of these Grothendieck groups. This yields, in particular, a positive answer to the basic case of a question by Hrushovski and Kazhdan; all other cases are still open. As a second application, we give a simple description of the kernel of the motivic volume for non-archimedean semi-algebraic sets, which is a key ingredient of Hrushovski and Kazhdan's theory of motivic integration.
On a recent extension of a family of biprojective APN functions
APN functions play a big role as primitives in symmetric cryptography as building blocks that yield optimal resistance to differential attacks. In this note, we consider a recent extension of a biprojective APN family by Göloğlu defined on $\mathbb{F}_{2^{2m}}$. We show that this generalization yields functions equivalent to Göloğlu's original family if $3\nmid m$. If $3|m$ we show exactly how many inequivalent APN functions this new family contains. We also show that the family has the minimal image set size for an APN function and determine its Walsh spectrum, hereby settling some open problems. In our proofs, we leverage a group theoretic technique recently developed by Göloğlu and the author in conjunction with a group action on the set of projective polynomials.
The common basis complex and the partial decomposition poset
Published in International Mathematics Research Notices, Volume 2024, Issue 18, September 2024, Pages 12746-12760
• View Publication
• BIB
For a finite-dimensional vector space $V$, the common basis complex of $V$ is the simplicial complex whose vertices are the proper non-zero subspaces of $V$, and $σ$ is a simplex if and only if there exists a basis $B$ of $V$ that contains a basis of $S$ for all $S\in σ$. This complex was introduced by Rognes in 1992 in connection with stable buildings. In this article, we prove that the common basis complex is homotopy equivalent to the proper part of the poset of partial direct sum decompositions of $V$. Moreover, we establish this result in a more general combinatorial context, including the case of free groups, matroids, vector spaces with non-degenerate sesquilinear forms, and free modules over commutative Hermite rings, such as local rings or Dedekind domains.
A categorification for the characteristic polynomial of matroids
In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata.
Mallows Product Measure
Published in Electron. J. Probab. 29: 1-33 (2024)
• View Publication
• BIB
Q-exchangeable ergodic distributions on the infinite symmetric group were classified by Gnedin-Olshanski (2012). In this paper, we study a specific linear combination of the ergodic measures and call it the Mallows product measure. From a particle system perspective, the Mallows product measure is a reversible stationary blocking measure of the infinite-species ASEP and it is a natural multi-species extension of the Bernoulli product blocking measures of the one-species ASEP. Moreover, the Mallows product measure can be viewed as the universal product blocking measure of interacting particle systems coming from random walks on Hecke algebras.
For the random infinite permutation distributed according to the Mallows product measure we have computed the joint distribution of its neighboring displacements, as well as several other observables. The key feature of the obtained formulas is their remarkably simple product structure. We project these formulas to ASEP with finitely many species, which in particular recovers a recent result of Adams-Balazs-Jay, and also to ASEP(q,M).
Our main tools are results of Gnedin-Olshanski about ergodic Mallows measures and shift-invariance symmetries of the stochastic colored six vertex model discovered by Borodin-Gorin-Wheeler and Galashin.
On a family of quasi-strongly regular Cayley graphs
In this paper, we construct a family of quasi-strongly regular Cayley graphs $Γ_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.
Spread Construction for (36,15,6) Hadamard Difference Sets
There are exactly 35 inequivalent (36, 15, 6) difference sets in nine groups. Eight of the nine groups have a normal Sylow 3-subgroup. We give a straightforward spread construction which explains the 32 inequivalent difference sets in these eight groups. An interesting variation on this construction provides the three difference sets in the ninth group.
On reduced expressions for core double cosets
The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko.
Finding product sets in some classes of amenable groups
Published in Forum of Mathematics, Sigma 13 (2025) e10
• View Publication
• BIB
In 2022, using methods from ergodic theory, Kra, Moreira, Richter, and Robertson resolved a longstanding conjecture of Erdős about sumsets in large subsets of the natural numbers. In this paper, we extend this result to several important classes of amenable groups, including all finitely generated virtually nilpotent groups, and all abelian groups $(G,+)$ with the property that the subgroup $2G := \{g+g : g\in G\}$ has finite index. We prove that in any group $G$ from the above classes, any $A\subset G$ with positive upper Banach density contains a shifted product set of the form $\{tb_ib_j\colon i<j\}$, for some infinite sequence $(b_n)_{n\in\mathbb{N}}$ and some $t\in G$. In fact, we show this result for all amenable groups that posses a property which we call square absolute continuity. Our results provide answers to several questions and conjectures posed in a recent survey of Kra, Moreira, Richter and Robertson.
An elaborate new proof of Cayley's formula
We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.
Classifying abelian groups through acyclic matchings
The inquiry into identifying sets of monomials that can be eliminated from a generic homogeneous polynomial via a linear change of coordinates was initiated by E. K. Wakeford. This linear algebra problem prompted C. K. Fan and J. Losonczy to introduce the notion of acyclic matchings in the additive group $\mathbb{Z}^n$, subsequently extended to abelian groups by the latter author. Alon, Fan, Kleitman, and Losonczy established the acyclic matching property for $\mathbb{Z}^n$. This note aims to classify all abelian groups with respect to the acyclic matching property.
Computing discrete residues of rational functions
Published in Proceedings of ISSAC 2024 (2024), pp. 65-73
• View Publication
• BIB
In 2012 Chen and Singer introduced the notion of discrete residues for rational functions as a complete obstruction to rational summability. More explicitly, for a given rational function f(x), there exists a rational function g(x) such that f(x) = g(x+1) - g(x) if and only if every discrete residue of f(x) is zero. Discrete residues have many important further applications beyond summability: to creative telescoping problems, thence to the determination of (differential-)algebraic relations among hypergeometric sequences, and subsequently to the computation of (differential) Galois groups of difference equations. However, the discrete residues of a rational function are defined in terms of its complete partial fraction decomposition, which makes their direct computation impractical due to the high complexity of completely factoring arbitrary denominator polynomials into linear factors. We develop a factorization-free algorithm to compute discrete residues of rational functions, relying only on gcd computations and linear algebra.
Spectra of infinite Cayley graphs, examples with pure band spectra
It is shown that there are groups $Γ$ with finite generating sets $S$ such that the adjacency operator of the Cayley graph ${\rm Cay}(Γ,S)$ is a disjoint union of $N$ intervals, for arbitrarily large integers $N$.