group
10266 papers tagged with this keyword
Orbits and Hamilton bonds in a family of plane triangulations with vertices of degree three or six
Let $\cal{P}$ be the family of all 2-connected plane triangulations with vertices of degree three or six. Grünbaum and Motzkin proved (in the dual terms) that every graph $P \in \cal{P}$ is factorable into factors $P_0$, $P_1$, $P_2$ (indexed by elements of the cyclic group $Q = \{0,1,2\}$) such that every factor $P_q$ consists of two induced paths with the same length $M(q)$, and $K(q)-1$ induced cycles with the same length $2M(q)$. For $q \in Q$, we define an integer $S^+(q)$ such that the vector $(K(q), M(q), S^+(q))$ determines the graph $P$ (if $P$ is simple) uniquely up to orientation-preserving isomorphism. We establish arithmetic equations that will allow calculate the vector $(K(q+1), M(q+1), S^+(q+1))$ by the vector $(K(q), M(q), S^+(q))$, $q \in Q$. We present some applications of the equations. The set $\{(K(q), M(q), S^+(q)): q \in Q\}$ is called the orbit of $P$. We characterize one point orbits of graphs in $\cal{P}$. We prove that if $P$ is of order $4n +2$, $n \in\mathbb{N}$, than it has a Hamilton bond such that the end-trees of the bond are equitable 2-colorable and have the same order. We prove that if $M(q)$ is odd and $K(q) \geqslant \frac{M(q)}{3}$, then there are two disjoint induced paths of the same order, which vertices together span all of $P$.
Markov Chains on Orbits of Permutation Groups
We present a novel approach to detecting and utilizing symmetries in probabilistic graphical models with two main contributions. First, we present a scalable approach to computing generating sets of permutation groups representing the symmetries of graphical models. Second, we introduce orbital Markov chains, a novel family of Markov chains leveraging model symmetries to reduce mixing times. We establish an insightful connection between model symmetries and rapid mixing of orbital Markov chains. Thus, we present the first lifted MCMC algorithm for probabilistic graphical models. Both analytical and empirical results demonstrate the effectiveness and efficiency of the approach.
Symmetric Graphicahedra
Published
• View Publication
• BIB
Given a connected graph G with p vertices and q edges, the G-graphicahedron is a vertex-transitive simple abstract polytope of rank q whose edge-graph is isomorphic to a Cayley graph of the symmetric group S_p associated with G. The paper explores combinatorial symmetry properties of G-graphicahedra, focussing in particular on transitivity properties of their automorphism groups. We present a detailed analysis of the graphicahedra for the q-star graphs K_{1,q} and the q-cycles C_q. The C_q-graphicahedron is intimately related to the geometry of the infinite Euclidean Coxeter group \tilde{A}_{q-1} and can be viewed as an edge-transitive tessellation of the (q-1)-torus by (q-1)-dimensional permutahedra, obtained as a quotient, modulo the root lattice A_{q-1}, of the Voronoi tiling for the dual root lattice A_{q-1}^* in Euclidean (q-1)-space.
Canonical forms of small tensors over F_2
We consider multidimensional arrays with at most 27 entries over the field with two elements, and their equivalence classes for the action of the direct product of general linear groups. The possible 3-dimensional formats are p x 2 x 2 (p = 2, ..., 6), p x 3 x 2 (p = 3, 4), and 3 x 3 x 3; the possible 4-dimensional formats are p x 2 x 2 x 2 (p = 2, 3). In each case, we compute the orbits for the group action, and then we determine the rank of each orbit. In particular, we determine the maximum rank for these arrays over F_2.
Distance Powers and Distance Matrices of Integral Cayley Graphs over Abelian Groups
Published
• View Publication
• BIB
It is shown that distance powers of an integral Cayley graph over an abelian group are again integral Cayley graphs over that group. Moreover, it is proved that distance matrices of integral Cayley graphs over abelian groups have integral spectrum.
The Canada Day Theorem
Published in The Electronic Journal of Combinatorics, Volume 20, Issue 1 (2013), #P20
• View Publication
• BIB
The Canada Day Theorem is an identity involving sums of $k \times k$ minors of an arbitrary $n \times n$ symmetric matrix. It was discovered as a by-product of the work on so-called peakon solutions of an integrable nonlinear partial differential equation proposed by V. Novikov. Here we present another proof of this theorem, which explains the underlying mechanism in terms of the orbits of a certain abelian group action on the set of all $k$-edge matchings of the complete bipartite graph $K_{n,n}$.
Degenerate flag varieties: moment graphs and Schröder numbers
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, p. 1-31, 2012
• View Publication
• BIB
We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.
The rotor-router group of directed covers of graphs
Published
• View Publication
• BIB
A rotor-router walk is a deterministic version of a random walk, in which the walker is routed to each of the neighbouring vertices in some fixed cyclic order. We consider here directed covers of graphs (called also periodic trees) and we study several quantities related to rotor-router walks on directed covers. The quantities under consideration are: order of the rotor-router group, order of the root element in the rotor-router group and the connection with random walks.
The inverse Erdos-Heilbronn Problem for restricted set addition in finite groups
We provide a survey of results concerning both the direct and inverse problems to the Cauchy-Davenport theorem and Erdos-Heilbronn problem in Additive Combinatorics. We prove a slight extension to an inverse theorem of Dias da Silva-Hamidoune in Z/pZ, and we present a counterexample to an open conjecture concerning the inverse Erdos-Heilbronn problem in nonabelian groups.
On Bounding the Diameter of the Commuting Graph of a Group
Published
• View Publication
• BIB
The commuting graph of a group $G$ is the simple undirected graph whose vertices are the non-central elements of $G$ and two distinct vertices are adjacent if and only if they commute. It is conjectured by Jafarzadeh and Iranmanesh that there is a universal upper bound on the diameter of the commuting graphs of finite groups when the commuting graph is connected. In this paper we determine upper bounds on the diameter of the commuting graph for some classes of groups to rule them out as possible counterexamples to this conjecture. We also give an example of an infinite family of groups with trivial centre and diameter 6, the previously largest known diameter for an infinite family was 5 for $S_n$.
A note on the homotopy type of the Alexander dual
Published
• View Publication
• BIB
We investigate the homotopy type of the Alexander dual of a simplicial complex. In general the homotopy type of K does not determine the homotopy type of its dual K*. Moreover, one can construct for each finitely presented group G, a simply connected simplicial complex K with fundamental group isomorphic to G. We study sufficient conditions on K for K* to have the homotopy type of a sphere. We also extend the simplicial Alexander duality to the context of reduced lattices.
An expansion formula for the inversions and excedances in the symmetric group
We prove a recent conjecture of Blanco and Petersen (arXiv:1206.0803v2) about an expansion formula for inversions and excedances in the symmetric group.
Macdonald polynomials, Laumon spaces and perverse coherent sheaves
Published
• View Publication
• BIB
Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$-theoretic version of the main result of arXiv/0811.4454.
On 021-Avoiding Ascent Sequences
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev in their study of $(\bf{2+2})$-free posets. An ascent sequence of length $n$ is a nonnegative integer sequence $x=x_{1}x_{2}... x_{n}$ such that $x_{1}=0$ and $x_{i}\leq \asc(x_{1}x_{2}...x_{i-1})+1$ for all $1<i\leq n$, where $\asc(x_{1}x_{2}...x_{i-1})$ is the number of ascents in the sequence $x_{1}x_{2}... x_{i-1}$. We let $\cA_n$ stand for the set of such sequences and use $\cA_n(p)$ for the subset of sequences avoiding a pattern $p$. Similarly, we let $S_{n}(τ)$ be the set of $τ$-avoiding permutations in the symmetric group $S_{n}$. Duncan and Steingrímsson have shown that the ascent statistic has the same distribution over $\cA_n(021)$ as over $S_n(132)$. Furthermore, they conjectured that the pair $(\asc, \rlm)$ is equidistributed over $\cA_n(021)$ and $S_n(132)$ where $\rlm$ is the right-to-left minima statistic. We prove this conjecture by constructing a bistatistic-preserving bijection.
Lectures on Self-Avoiding Walks
These lecture notes provide a rapid introduction to a number of rigorous results on self-avoiding walks, with emphasis on the critical behaviour. Following an introductory overview of the central problems, an account is given of the Hammersley--Welsh bound on the number of self-avoiding walks and its consequences for the growth rates of bridges and self-avoiding polygons. A detailed proof that the connective constant on the hexagonal lattice equals $\sqrt{2+\sqrt{2}}$ is then provided. The lace expansion for self-avoiding walks is described, and its use in understanding the critical behaviour in dimensions $d>4$ is discussed. Functional integral representations of the self-avoiding walk model are discussed and developed, and their use in a renormalisation group analysis in dimension 4 is sketched. Problems and solutions from tutorials are included.
GL-equivariant modules over polynomial rings in infinitely many variables
Published in Trans. Amer. Math. Soc. 368 (2016), 1097-1158
• View Publication
• BIB
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly.
Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.
Semisymmetric graphs of order $2p^3$
A simple undirected graph is said to be {\em semisymmetric} if it is regular and edge-transitive but not vertex-transitive. Every semisymmetric graph is a bipartite graph with two parts of equal size. It was proved in [{\em J. Combin. Theory Ser. B} {\bf 3}(1967), 215-232] that there exist no semisymmetric graphs of order $2p$ and $2p^2$, where $p$ is a prime. The classification of semisymmetric graphs of order $2pq$ was given in [{\em Comm. in Algebra} {\bf 28}(2000), 2685-2715], for any distinct primes $p$ and $q$. Our long term goal is to determine all the semisymmetric graphs of order $2p^3$, for any prime $p$. All these graphs $\G$ are divided into two subclasses: (I) $\Aut(\G)$ acts unfaithfully on at least one bipart; and (II) $\Aut(\G)$ acts faithfully on both biparts. This paper gives a group theoretical characterization for Subclass (I) and based on this characterization, we shall give a complete classification for this subclass in our further research.
Lattice Point Generating Functions and Symmetric Cones
Published in Journal of Algebraic Combinatorics 38, no. 3 (2013), 543-566
• View Publication
• BIB
We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.
Polyhedral Combinatorics of UPGMA Cones
Published
• View Publication
• BIB
Distance-based methods such as UPGMA (Unweighted Pair Group Method with Arithmetic Mean) continue to play a significant role in phylogenetic research. We use polyhedral combinatorics to analyze the natural subdivision of the positive orthant induced by classifying the input vectors according to tree topologies returned by the algorithm. The partition lattice informs the study of UPGMA trees. We give a closed form for the extreme rays of UPGMA cones on n taxa, and compute the normalized volumes of the UPGMA cones for small n.
Keywords: phylogenetic trees, polyhedral combinatorics, partition lattice
A method to determine algebraically integral Cayley digraphs on finite Abelian group
Published in Contributions to Discrete Mathematics,Vol. 15 No. 2 (2020)
• View Publication
• BIB
Researchers in the past have studied eigenvalues of Cayley digraphs or graphs. We are interested in characterizing Cayley digraphs on a finite Abelian group G whose eigenvalues are algebraic integers in a given number field K. And we succeed in finding a method to do so by proving Theorem 1. Also, the number of such Cayley digraphs is computed.