group
10430 papers tagged with this keyword
Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature
We prove a homology vanishing theorem for graphs with positive Bakry-Émery curvature, analogous to a classic result of Bochner on manifolds \cite{Bochner}. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan2}. %\Hm{added the fundamental group curvature relation} We moreover prove that the fundamental group is finite for graphs with positive Bakry-Émery curvature, analogous to a classic result of Myers on manifolds \cite{Myers1941}. The proofs draw on several separate areas of graph theory. We study graph coverings, gain graphs, and cycle spaces of graphs, in addition to the Bakry-Émery curvature and the path homology. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature can have no non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. We relate cycle spaces of graphs to gain graphs with abelian gain group, and relate these to coverings of graphs. Along the way, we prove other new facts about gain graphs, coverings, and cycles spaces that are of related interest. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan_homotopy}, and obtain an alternative proof to their result that the abelianization of the fundamental group is isomorphic to the first path homology over the integers.
On asymptotics of two non-uniform recursive tree models
In this thesis the properties of two kinds of non-uniform random recursive trees are studied. In the first model weights are assigned to each node, thus altering the attachment probabilities. We will call these trees weighted recursive trees. In the second model a different distribution rather than the uniform one is chosen on the symmetric group, namely a riffle shuffle distribution. These trees will be called biased recursive trees. For both of these models the number of branches, the number of leaves, the depth of nodes and some other properties are studied. The focus is on asymptotic results and the comparison with uniform random recursive trees. It will be shown that the studied properties of weighted recursive trees are close to uniform recursive trees in many cases when the number of nodes increases. In contrast biased recursive trees show a different behaviour but approach uniform recursive trees depending on the parameters of the riffle shuffle distribution.
Factorial characters of classical Lie groups and their combinatorial realisations
Just as the definition of factorial Schur functions as a ratio of determinants allows one to show that they satisfy a Jacobi-Trudi-type identity and have an explicit combinatorial realisation in terms of semistandard tableaux, so we offer here definitions of factorial irreducible characters of the classical Lie groups as ratios of determinants that share these two features. These factorial characters are each specified by a partition, $λ=(λ_1,λ_2,\ldots,λ_n)$, and in each case a flagged Jacobi-Trudi identity is derived that expresses the factorial character as a determinant of corresponding factorial characters specified by one-part partitions, $(m)$, for which we supply generating functions. These identities are established by manipulating determinants through the use of certain recurrence relations derived from these generating functions. The transitions to combinatorial realisations of the factorial characters in terms of tableaux are then established by means of non-intersecting lattice path models. The results apply to $gl(n)$, $so(2n+1)$, $sp(2n)$ and $o(2n)$, and are extended to the case of $so(2n)$ by making use of newly defined factorial difference characters.
Zeons, Permanents, the Johnson scheme, and Generalized Derangements
Published in International Journal of Combinatorics, (2011), v.2011, Article ID 539030, 29 pages
• View Publication
• BIB
Starting with the zero-square "zeon algebra" the connection with permanents is shown. Permanents of sub-matrices of a linear combination of the identity matrix and all-ones matrix leads to moment polynomials with respect to the exponential distribution. A permanent trace formula analogous to MacMahon's Master Theorem is presented and applied. Connections with permutation groups acting on sets and the Johnson association scheme arise. The families of numbers appearing as matrix entries turn out to be related to interesting variations on derangements. These generalized derangements are considered in detail as an illustration of the theory.
Entropy Inequalities for Sums in Prime Cyclic Groups
Published in SIAM J. Discrete Math., 35(3), pp. 1628-1649, 2021
• View Publication
• BIB
Lower bounds for the Rényi entropies of sums of independent random variables taking values in cyclic groups of prime order under permutations are established. The main ingredients of our approach are extended rearrangement inequalities in prime cyclic groups building on Lev (2001), and notions of stochastic ordering. Several applications are developed, including to discrete entropy power inequalities, the Littlewood-Offord problem, and counting solutions of certain linear systems.
Heptavalent symmetric graphs with solvable stabilizers admitting vertex-transitive non-abelian simple groups
A graph $Γ$ is said to be symmetric if its automorphism group $\rm Aut(Γ)$ acts transitively on the arc set of $Γ$. In this paper, we show that if $Γ$ is a finite connected heptavalent symmetric graph with solvable stabilizer admitting a vertex-transitive non-abelian simple group $G$ of automorphisms, then either $G$ is normal in $\rm Aut(Γ)$, or $\rm Aut(Γ)$ contains a non-abelian simple normal subgroup $T$ such that $G\leq T$ and $(G,T)$ is explicitly given as one of $11$ possible exception pairs of non-abelian simple groups. Furthermore, if $G$ is regular on the vertex set of $Γ$ then the exception pair $(G,T)$ is one of $7$ possible pairs, and if $G$ is arc-transitive then the exception pair $(G,T)=(A_{17},A_{18})$ or $(A_{35},A_{36})$.
On a generalization of Lie($k$): a CataLAnKe theorem
Published in Advances in Mathematics, Volume 380, 26 March 2021, 107570
• View Publication
• BIB
We initiate a study of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra, which we call a free LAnKe. Our central result is that the representation of the symmetric group $S_{2n-1}$ on the multilinear component of the free LAnKe with $2n-1$ generators is given by an irreducible representation whose dimension is the $n$th Catalan number. This leads to a more general result on eigenspaces of a certain linear operator, which has additional consequences. We also obtain a new presentation of Specht modules of staircase shape as a consequence of our central result.
Group-labeled light dual multinets in the projective plane (with Appendix)
Published
• View Publication
• BIB
In this paper we investigate light dual multinets labeled by a finite group in the projective plane $PG(2,\mathbb{K})$ defined over a field $\mathbb{K}$. We present two classes of new examples. Moreover, under some conditions on the characteristic $\mathbb{K}$, we classify group-labeled light dual multinets with lines of length least $9$.
Acyclic cluster algebras, reflection groups, and curves on a punctured disc
Published in Adv. Math. 340 (2018), 855--882
• View Publication
• BIB
We establish a bijective correspondence between certain non-self-intersecting curves in an $n$-punctured disc and positive ${\mathbf c}$-vectors of acyclic cluster algebras whose quivers have multiple arrows between every pair of vertices. As a corollary, we obtain a proof of a conjecture by K.-H. Lee and K. Lee (arXiv:1703.09113) on the combinatorial description of real Schur roots for acyclic quivers with multiple arrows, and give a combinatorial characterization of seeds in terms of curves in an $n$-punctured disc.
Upper and lower bounds for rich lines in grids
Published
• View Publication
• BIB
We prove upper and lower bounds for the number of lines in general position that are rich in a Cartesian product point set. This disproves a conjecture of Solymosi and improves work of Elekes, Borenstein and Croot, and Amirkhanyan, Bush, Croot, and Pryby.
The upper bounds are based on a version of the asymmetric Balog-Szemeredi-Gowers theorem for group actions combined with product theorems for the affine group. The lower bounds are based on a connection between rich lines in Cartesian product sets and amenability (or expanding families of graphs in the finite field case).
As an application of our upper bounds for rich lines in grids, we give a geometric proof of the asymmetric sum-product estimates of Bourgain and Shkredov.
Self-avoiding walk on nonunimodular transitive graphs
Published
• View Publication
• BIB
We study self-avoiding walk on graphs whose automorphism group has a transitive nonunimodular subgroup. We prove that self-avoiding walk is ballistic, that the bubble diagram converges at criticality, and that the critical two-point function decays exponentially in the distance from the origin. This implies that the critical exponent governing the susceptibility takes its mean-field value, and hence that the number of self-avoiding walks of length $n$ is comparable to the $n$th power of the connective constant. We also prove that the same results hold for a large class of repulsive walk models with a self-intersection based interaction, including the weakly self-avoiding walk. All these results apply in particular to the product $T_k \times \mathbb{Z}^d$ of a $k$-regular tree ($k\geq 3$) with $\mathbb{Z}^d$, for which these results were previously only known for large $k$.
Antichain toggling and rowmotion
Published in Electronic Journal of Combinatorics, Volume 26, Issue 1, Number 29, 2019
• View Publication
• BIB
In this paper, we analyze the toggle group on the set of antichains of a poset. Toggle groups, generated by simple involutions, were first introduced by Cameron and Fon-Der-Flaass for order ideals of posets. Recently Striker has motivated the study of toggle groups on general families of subsets, including antichains. This paper expands on this work by examining the relationship between the toggle groups of antichains and order ideals, constructing an explicit isomorphism between the two groups. We also focus on the rowmotion action that has been well-studied in dynamical algebraic combinatorics, describing it as the composition of antichain toggles. We also describe a piecewise-linear analogue of toggling to Stanley's chain polytope. We examine the connections with the piecewise-linear toggling Einstein and Propp introduced for order polytopes and prove that almost all of our results for antichain toggles extend to the piecewise-linear setting.
On the maximum number of integer colourings with forbidden monochromatic sums
Published
• View Publication
• BIB
Let $f(n,r)$ denote the maximum number of colourings of $A \subseteq \lbrace 1,\ldots,n\rbrace$ with $r$ colours such that each colour class is sum-free. Here, a sum is a subset $\lbrace x,y,z\rbrace$ such that $x+y=z$. We show that $f(n,2) = 2^{\lceil n/2\rceil}$, and describe the extremal subsets. Further, using linear optimisation, we asymptotically determine the logarithm of $f(n,r)$ for $r \leq 5$. Similar results were obtained by Hàn and Jiménez in the setting of finite abelian groups.
Asymptotically approaching the Moore bound for diameter three by Cayley graphs
The largest order $n(d,k)$ of a graph of maximum degree $d$ and diameter $k$ cannot exceed the Moore bound, which has the form $M(d,k)=d^k - O(d^{k-1})$ for $d\to\infty$ and any fixed $k$. Known results in finite geometries on generalised $(k+1)$-gons imply, for $k=2,3,5$, the existence of an infinite sequence of values of $d$ such that $n(d,k)=d^k - o(d^k)$. This shows that for $k=2,3,5$ the Moore bound can be asymptotically approached in the sense that $n(d,k)/M(d,k)\to 1$ as $d\to\infty$; moreover, no such result is known for any other value of $k\ge 2$. The corresponding graphs are, however, far from vertex-transitive, and there appears to be no obvious way to extend them to vertex-transitive graphs giving the same type of asymptotic result.
The second and the third author (2012) proved by a direct construction that the Moore bound for diameter $k=2$ can be asymptotically approached by Cayley graphs. Subsequently, the first and the third author (2015) showed that the same construction can be derived from generalised triangles with polarity.
By a detailed analysis of regular orbits of suitable groups of automorphisms of graphs arising from polarity quotients of incidence graphs of generalised quadrangles with polarity, we prove that for an infinite set of values of $d$ there exist Cayley graphs of degree $d$, diameter $3$, and order $d^3{-}O(d^{2.5})$. The Moore bound for diameter $3$ can thus as well be asymptotically approached by Cayley graphs. We also show that this method does not extend to constructing Cayley graphs of diameter $5$ from generalised hexagons with polarity.
On cubic graphical regular representations of finite simple groups
Published
• View Publication
• BIB
A recent conjecture of the author and Teng Fang states that there are only finitely many finite simple groups with no cubic graphical regular representation. In this paper, we make a crucial progress towards this conjecture by giving an affirmative answer for groups of Lie type of large rank.
Commutative association schemes obtained from twin prime powers, Fermat primes, Mersenne primes
Published
• View Publication
• BIB
For prime powers $q$ and $q+\varepsilon$ where $\varepsilon\in\{1,2\}$, an affine resolvable design from $\mathbb{F}_q$ and Latin squares from $\mathbb{F}_{q+\varepsilon}$ yield a set of symmetric designs if $\varepsilon=2$ and a set of symmetric group divisible designs if $\varepsilon=1$. We show that these designs derive commutative association schemes, and determine their eigenmatrices.
Data structures for real multiparameter persistence modules
A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace the noetherian hypothesis in the general setting of modules over posets, a "finitely encoded" condition is defined combinatorially and developed algebraically. It captures topological tameness of persistent homology. Poset-modules satisfying it can be specified by "fringe presentations" that reflect birth-and-death descriptions of persistence. A syzygy theorem characterizes finitely encoded modules as admitting appropriately finite presentations and resolutions.
The geometric and algebraic theory focuses on modules over real polyhedral groups (real vector spaces with polyhedral positive cones) and a parallel theory over discrete polyhedral groups (abelian groups with finitely generated positive cones). Existence of primary decomposition is proved over arbitrary polyhedral partially ordered abelian groups, but the real and discrete cases carry enough geometry and, crucially in the real case, topology to induce complete theories of minimal primary and secondary decomposition, associated and attached faces, minimal generators and cogenerators, socles and tops, minimal upset covers and downset hulls, Matlis duality, and minimal fringe presentation. Real semialgebraic properties of data are preserved by functorial constructions.
Tops and socles become functorial birth and death spaces for multiparameter persistence modules. They yield functorial "QR codes" and "elder morphisms" for modules over real and discrete polyhedral groups that generalize and categorify the bar code and elder rule for persistent homology in one parameter. The disparate ways that QR codes and elder morphisms model bar codes coalesce, in one parameter, to functorial bar codes.
On some actions of the 0-Hecke monoids of affine symmetric groups
Published in J. Combin. Theory Ser. A 161 (2019) 178-219
• View Publication
• BIB
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.
Products of characters of the symmetric group
Published
• View Publication
• BIB
In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper.
Almost Difference Sets in Nonabelian Groups
Published
• View Publication
• BIB
We give two new constructions of almost difference sets. The first is a generic construction of $(q^{2}(q+1),q(q^{2}-1),q(q^{2}-q-1),q^{2}-1)$ almost difference sets in certain groups of order $q^{2}(q+1)$ ($q$ is an odd prime power) having ($\mathbb{F}_{q},+)$ as a subgroup. The construction occurs in any group of order $p^{2}(p+1)$ ($p$ is an odd prime) having ($\mathbb{F}_{p^{2}},+)$ as an additive subgroup. This construction yields several infinite families of almost difference sets, many of which occur in nonabelian groups. The second construction yields $(4p,2p+1,p,p-1)$ almost difference sets in dihedral groups of order $4p$ where $p\equiv 3 \ ({\rm mod} \ 4)$ is a prime. Moreover, it turns out that some of the infinite families of almost difference sets obtained have Cayley graphs which are Ramanujan graphs. \keywords{Difference set \and Almost difference set \and Nonabelian group}