group
10226 papers tagged with this keyword
Critical classes of power graphs and reconstruction of directed power graphs
Published
• View Publication
• BIB
In a graph $Γ=(V,E)$, we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation in which two vertices are equivalent if they have the same closed neighbourhood. Those notions are deeply explored when $Γ$ is the power graph associated with a finite group $G$. In that case, among the corresponding closed twin equivalence classes, we introduce the concepts of plain, compound and critical classes. The study of critical classes, together with properties of the Moore closure operator, allow us to correct a mistake in the proof of {\rm \cite[Theorem 2 ]{Cameron_2}} and to deduce a simple algorithm to reconstruct the directed power graph of a finite group from its undirected counterpart, as asked in \cite[Question 2]{GraphsOnGroups}.
On Gorenstein algebras of finite Cohen-Macaulay type: dimer tree algebras and their skew group algebras
Published
• View Publication
• BIB
Dimer tree algebras are a class of non-commutative Gorenstein algebras of Gorenstein dimension 1. In previous work we showed that the stable category of Cohen-Macaulay modules of a dimer tree algebra $A$ is a 2-cluster category of Dynkin type $\mathbb{A}$. Here we show that, if $A$ has an admissible action by the group $G$ with two elements, then the stable Cohen-Macaulay category of the skew group algebra $AG$ is a 2-cluster category of Dynkin type $\mathbb{D}$. This result is reminiscent of and inspired by a result by Reiten and Riedtmann, who showed that for an admissible $G$-action on the path algebra of type $\mathbb{A}$ the resulting skew group algebra is of type $\mathbb{D}$. Moreover, we provide a geometric model of the syzygy category of $AG$ in terms of a punctured polygon $\mathcal{P}$ with a checkerboard pattern in its interior, such that the 2-arcs in $\mathcal{P}$ correspond to indecomposable syzygies in $AG$ and 2-pivots correspond to morphisms. In particular, the dimer tree algebras and their skew group algebras are Gorenstein algebras of finite Cohen-Macaulay type $\mathbb{A}$ and $\mathbb{D}$ respectively. We also provide examples of types $\mathbb{E}_6,\mathbb{E}_7,$ and $\mathbb{E}_8$.
Integer Representations of the Generalized Symmetric Groups
In this paper, we construct a mixed-base number system over the generalized symmetric group $G(m,1,n)$, which is a complex reflection group with a root system of type $B_n^{(m)}$. We also establish one-to-one correspondence between all positive integers in the set $\{1,\cdots,m^nn!\}$ and the elements of $G(m,1,n)$ by constructing the subexceedant function in relation to this group. In addition, we provide a new enumeration system for $G(m,1,n)$ by defining the inversion statistic on $G(m,1,n)$. Finally, we prove that the \textit{flag-major index} is equi-distributed with this inversion statistic on $G(m,1,n)$. Therefore, the flag-major index is Mahonian on $G(m,1,n)$ with respect to the length function $L$.
The structure of Sidon set systems
A family $\mathcal{F}\subset 2^G$ of subsets of an abelian group $G$ is a Sidon system if the sumsets $A+B$ with $A,B\in \mathcal{F}$ are pairwise distinct. Cilleruelo, Serra and the author previously proved that the maximum size $F_k(n)$ of a Sidon system consisting of $k$-subsets of the first $n$ positive integers satisfies $C_k n^{k-1}\leq F_k(n) \leq \binom{n-1}{k-1}+n-k$ for some constant $C_k$ only depending on $k$. We close the gap by proving an essentially tight structural result that in particular implies $F_k(n)\geq (1-o(1))\binom{n}{k-1}$. We also use this to establish a result about the size of the largest Sidon system in the binomial random family $\binom{[n]}{k}_p$. Extensions to $h$-fold sumsets for any fixed $h\geq 3$ are also obtained.
Modular flats of oriented matroids and poset quasi-fibrations
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 306-328
• View Publication
• BIB
We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case.
Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements.
We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.
Group divisible designs with block size five: direct constructions
We give direct constructions for 233 group divisible designs with block size five, mostly of type $g^u m^1$, $m > 0$.
On $k$-geodetic graphs and groups
Published
• View Publication
• BIB
We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.
New High Dimensional Expanders from Covers
Published
• View Publication
• BIB
We present a new construction of high dimensional expanders based on covering spaces of simplicial complexes. High dimensional expanders (HDXs) are hypergraph analogues of expander graphs. They have many uses in theoretical computer science, but unfortunately only few constructions are known which have arbitrarily small local spectral expansion.
We give a randomized algorithm that takes as input a high dimensional expander $X$ (satisfying some mild assumptions). It outputs a sub-complex $Y \subseteq X$ that is a high dimensional expander and has infinitely many simplicial covers. These covers form new families of bounded-degree high dimensional expanders. The sub-complex $Y$ inherits $X$'s underlying graph and its links are sparsifications of the links of $X$. When the size of the links of $X$ is $O(\log |X|)$, this algorithm can be made deterministic. Our algorithm is based on the groups and generating sets discovered by Lubotzky, Samuels and Vishne (2005), that were used to construct the first discovered high dimensional expanders. We show these groups give rise to many more ``randomized'' high dimensional expanders.
In addition, our techniques also give a random sparsification algorithm for high dimensional expanders, that maintains its local spectral properties. This may be of independent interest.
Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners
Published
• View Publication
• BIB
A fundamental result in the study of graph homomorphisms is Lovász's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lovász's result to more general types of graphs was recently capped by Cai and Govorov, who showed that it holds for graphs with vertex and edge weights from an arbitrary field of characteristic 0. In this work, we generalize from graph homomorphism -- a special case of #CSP with a single binary function -- to general #CSP by showing that two sets $\mathcal{F}$ and $\mathcal{G}$ of arbitrary constraint functions are isomorphic if and only if the partition function of any #CSP instance is unchanged when we replace the functions in $\mathcal{F}$ with those in $\mathcal{G}$. We give two very different proofs of this result. First, we demonstrate the power of the simple Vandermonde interpolation technique of Cai and Govorov by extending it to general #CSP. Second, we give a proof using the intertwiners of the automorphism group of a constraint function set, a concept from the representation theory of compact groups. This proof is a generalization of a classical version of the recent proof of the Lovász-type result by Mančinska and Roberson relating quantum isomorphism and homomorphisms from planar graphs.
The distribution of the number of automorphisms of random trees
Published
• View Publication
• BIB
We study the size of the automorphism group of two different types of random trees: Galton--Watson trees and rooted Pólya trees. In both cases, we prove that it asymptotically follows a log-normal distribution and provide asymptotic formulas for mean and variance of the logarithm of the size of the automorphism group. While the proof for Galton--Watson trees mainly relies on probabilistic arguments and a general result on additive tree functionals, generating functions are used in the case of rooted Pólya trees. We also show how to extend the results to some classes of unrooted trees.
Improved Elekes-Szabó type estimates using proximity
Published in J. Comb. Theory Ser. A. 201:105813, 2024
• View Publication
• BIB
We prove a new Elekes-Szabó type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a trivariate polynomial, then either $f$ has a special form that encodes additive group structure (for example $f(x,y,x) = x + y - z$), or $A \times B\times C \cap\{f=0\}$ has cardinality $O(N^{12/7})$. This is an improvement over the previously bound $O(N^{11/6})$. We also prove an asymmetric version of our main result, which yields an Elekes-Ronyai type expanding polynomial estimate with exponent $3/2$. This has applications to questions in combinatorial geometry related to the Erdős distinct distances problem.
Like previous approaches to the problem, we rephrase the question as a $L^2$ estimate, which can be analyzed by counting additive quadruples. The latter problem can be recast as an incidence problem involving points and curves in the plane. The new idea in our proof is that we use the order structure of the reals to restrict attention to a smaller collection of proximate additive quadruples.
Group rings and character sums: tricks of the trade
Published
• View Publication
• BIB
The combination of the group ring setting with the methods of character theory allows an elegant and powerful analysis of various combinatorial structures, via their character sums. These combinatorial structures include difference sets, relative difference sets, partial difference sets, bent functions, hyperplanes, spreads, and LP-packings. However, the literature on these techniques often relies on peculiar conventions and implicit understandings that are not always readily accessible to those new to the subject. While there are many excellent advanced sources describing these techniques, we are not aware of an expository paper at the introductory level that articulates the commonly used ``tricks of the trade''. We attempt to remedy this situation by means of illustrative examples, explicit discussion of conventions, and instructive proofs of fundamental results.
On Jacobian group of the $Δ$-graph
Published
• View Publication
• BIB
In the present paper we compute the Jacobian group of $Δ$-graph $Δ(n; k, l, m).$ The notion of $Δ$-graph continues the list of families of $I$-, $Y$- and $H$-graphs well-known in the graph theory. In particular, graph $Δ(n; 1, 1, 1)$ is isomorphic to discrete torus $C_3\times C_n.$ It this case, the structure of the Jacobian group will be find explicitly.
Atomic length on Weyl groups
Published
• View Publication
• BIB
We define a new statistic on Weyl groups called the atomic length and investigate its combinatorial and representation-theoretic properties. In finite types, we show a number of properties of the atomic length which are reminiscent of the properties of the usual length. Moreover, we prove that, with the exception of rank two, this statistic describes an interval. In affine types, our results shed some light on classical enumeration problems, such as the celebrated Granville-Ono theorem on the existence of core partitions, by relating the atomic length to the theory of crystals.
Some new results on skew frame starters in cyclic groups
Published
• View Publication
• BIB
In this paper, we study skew frame starters, which are strong frame starters that satisfy an additional "skew" property. We prove three new non-existence results for cyclic skew frame starters of certain types. We also construct several small examples of previously unknown cyclic skew frame starters by computer.
On the Laplacian spectrum of $k$-symmetric graphs
Published
• View Publication
• BIB
For some positive integer $k$, if the finite cyclic group $\mathbb{Z}_k$ can act freely on a graph $G$, then we say that $G$ is $k$-symmetric. In 1985, Faria showed that the multiplicity of Laplacian eigenvalue 1 is greater than or equal to the difference between the number of pendant vertices and the number of quasi-pendant vertices. But if a graph has a pendant vertex, then it is at most 1-connected. In this paper, we investigate a class of 2-connected $k$-symmetric graphs with a Laplacian eigenvalue 1. We also identify a class of $k$-symmetric graphs in which all Laplacian eigenvalues are integers.
Total positivity in twisted product of flag varieties
We show that the totally nonnegative part of the twisted product of flag varieties of a Kac-Moody group admits a cellular decomposition, and the closure of each cell is a topological manifold with boundary. We also establish explicit parameterizations of each totally positive cell.
In the special cases of double flag varieties and braid varieties, we show that the totally nonnegative parts are regular CW complexes homeomorphic to closed balls. Moreover, we prove that the link of any totally nonnegative double Bruhat cell in a reductive group is a regular CW complex homeomorphic to a closed ball, solving an open problem of Fomin and Zelevinsky.
Polyharmonic Functions in the Quarter Plane (Extended Abstract)
Published in 33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2022); Leibniz International Proceedings in Informatics (LIPIcs) vol.225, 15:1-15:16
• View Publication
• BIB
In this article, a novel method to compute all discrete polyharmonic functions in the quarter plane for models with small steps, zero drift and a finite group is proposed. A similar method is then introduced for continuous polyharmonic functions, and convergence between the discrete and continuous cases is shown.
Immanant varieties
Published
• View Publication
• BIB
We introduce immanant varieties, associated to simple characters of a finite group. They include well-studied classes of varieties, as Segre embeddings, Grassmannians and certain other classes of Chow varieties. For a one-dimensional character $χ$, we define $χ$-matroids by a maximality property. For trivial characters, by exploring the combinatorics of incidence stratifications, we provide a set of generators for the Chow vector spaces of the corresponding immanant varieties.
The palindromization map
Published
• View Publication
• BIB
The palindromization map has been defined initially by Aldo de Luca in the context of Sturmian words. It was extended to the free group of rank $2$ by Kassel and the second autho We extend their construction to arbitrary alphabets. We also
investigate the suffix automaton and compact suffix automaton of the words obtained by palindromization.