group
10430 papers tagged with this keyword
The set of vertices with positive curvature in a planar graph with nonnegative curvature
Published
• View Publication
• BIB
In this paper, we give the sharp upper bound for the number of vertices with positive curvature in a planar graph with nonnegative combinatorial curvature. Based on this, we show that the automorphism group of a planar---possibly infinite---graph with nonnegative combinatorial curvature and positive total curvature is a finite group, and give an upper bound estimate for the order of the group.
RGB image-based data analysis via discrete Morse theory and persistent homology
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cellular complexes. These complexes can be studied using the techniques of discrete Morse theory. We expand the functionality of the ANU code by introducing methods and software for analyzing images encoded in red, green, and blue (RGB), because this image encoding is very popular for publicly available data. Our methods allow the extraction of key topological information from RGB images via informative persistence diagrams by introducing novel methods for transforming RGB-to-grayscale. This paradigm allows us to perform data analysis directly on RGB images representing water scarcity variability as well as crime variability. We introduce software enabling a a user to predict future image properties, towards the eventual aim of more rapid image-based data behavior prediction.
Probability distributions of multi-species q-TAZRP and ASEP as double cosets of parabolic subgroups
Published in Annales Henri Poincaré, April 2019, 20(4), 1149-1173
• View Publication
• BIB
We write explicit contour integral formulas for probability distributions of the multi-species q-TAZRP and the multi-species ASEP starting with q-exchangeable initial conditions. The formulas are equal to the corresponding explicit contour integral formulas for the single-species q-TAZRP ([Korhonen-Lee 2014, Wang-Waugh 2016]) and ASEP [Tracy-Widom 2007], with a factor in front of the integral.
For the multi-species q-TAZRP, we use a decomposition theorem for elements of double cosets of parabolic subgroups in a Coxeter group. The set of distinguished double coset representatives with minimal length is viewed as a particle configuration. For the multi-species ASEP we use a more direct proof.
Lifting a prescribed group of automorphisms of graphs
Published
• View Publication
• BIB
In this paper we are interested in lifting a prescribed group of automorphisms of a finite graph via regular covering projections. Here we describe with an example the problems we address and refer to the introductory section for the correct statements of our results.
Let $P$ be the Petersen graph, say, and let $\wp:\tilde{P}\to P$ be a regular covering projection. With the current covering machinery, it is straightforward to find $\wp$ with the property that every subgroup of $\Aut(P)$ lifts via $\wp$. However, for constructing peculiar examples and in applications, this is usually not enough. Sometimes it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ along which $G$ lifts but no further automorphism of $P$ does. For instance, in this concrete example, it is interesting to find a covering of the Petersen graph lifting the alternating group $A_5$ but not the whole symmetric group $S_5$. (Recall that $\Aut(P)\cong S_5$.) Some other time it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ with the property that $\Aut(\tilde{P})$ is the lift of $G$. Typically, it is desirable to find $\wp$ satisfying both conditions. In a very broad sense, this might remind wallpaper patterns on surfaces: the group of symmetries of the dodecahedron is $S_5$, and there is a nice colouring of the dodecahedron (found also by Escher) whose group of symmetries is just $A_5$.
In this paper, we address this problem in full generality.
Enumeration and randomized constructions of hypertrees
Published
• View Publication
• BIB
Over thirty years ago, Kalai proved a beautiful $d$-dimensional analog of Cayley's formula for the number of $n$-vertex trees. He enumerated $d$-dimensional hypertrees weighted by the squared size of their $(d-1)$-dimensional homology group. This, however, does not answer the more basic problem of unweighted enumeration of $d$-hypertrees, which is our concern here. Our main result, Theorem 1.4, significantly improves the lower bound for the number of $d$-hypertrees. In addition, we study a random $1$-out model of $d$-complexes where every $(d-1)$-dimensional face selects a random $d$-face containing it, and show it has a negligible $d$-dimensional homology.
Schurity and separability of quasiregular coherent configurations
Published
• View Publication
• BIB
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.
The Action of Young Subgroups on the Partition Complex
Published
• View Publication
• BIB
We study the restrictions, the strict fixed points, and the strict quotients of the partition complex $|Π_n|$, which is the $Σ_n$-space attached to the poset of proper nontrivial partitions of the set $\{1,\ldots,n\}$.
We express the space of fixed points $|Π_n|^G$ in terms of subgroup posets for general $G\subset Σ_n$ and prove a formula for the restriction of $|Π_n|$ to Young subgroups $Σ_{n_1}\times \dots\times Σ_{n_k}$. Both results follow by applying a general method, proven with discrete Morse theory, for producing equivariant branching rules on lattices with group actions. We uncover surprising links between strict Young quotients of $|Π_n|$, commutative monoid spaces, and the cotangent fibre in derived algebraic geometry. These connections allow us to construct a cofibre sequence relating various strict quotients $|Π_n|^\diamond\wedge_{Σ_n} (S^\ell)^{\wedge n}$ and give a combinatorial proof of a splitting in derived algebraic geometry. Combining all our results, we decompose strict Young quotients of $|Π_n|$ in terms of "atoms" $|Π_d|^\diamond\wedge_{Σ_d} (S^\ell)^{\wedge d}$ for $\ell$ odd and compute their homology. We thereby also generalise Goerss' computation of the algebraic André-Quillen homology of trivial square-zero extensions from $\mathbb{F}_2$ to $\mathbb{F}_p$ for $p$ an odd prime.
Automorphism groups and Ramsey properties of sparse graphs
Published
• View Publication
• BIB
We study automorphism groups of sparse graphs from the viewpoint of topological dynamics and the Kechris, Pestov, Todorčević correspondence. We investigate amenable and extremely amenable subgroups of these groups using the space of orientations of the graph and results from structural Ramsey theory. Resolving one of the open questions in the area, we show that Hrushovski's example of an $ω$-categorical sparse graph has no $ω$-categorical expansion with extremely amenable automorphism group.
Reconstruction of the Path Graph
Let $P$ be a set of $n \geq 5$ points in convex position in the plane. The path graph $G(P)$ of $P$ is an abstract graph whose vertices are non-crossing spanning paths of $P$, such that two paths are adjacent if one can be obtained from the other by deleting an edge and adding another edge.
We prove that the automorphism group of $G(P)$ is isomorphic to $D_{n}$, the dihedral group of order $2n$. The heart of the proof is an algorithm that first identifies the vertices of $G(P)$ that correspond to boundary paths of $P$, where the identification is unique up to an automorphism of $K(P)$ as a geometric graph, and then identifies (uniquely) all edges of each path represented by a vertex of $G(P)$. The complexity of the algorithm is $O(N \log N)$ where $N$ is the number of vertices of $G(P)$.
Inverting non-invertible trees
If a graph has a non-singular adjacency matrix, then one may use the inverse matrix to define a (labeled) graph that may be considered to be the inverse graph to the original one. It has been known that an adjacency matrix of a tree is non-singular if and only if the tree has a unique perfect matching; in this case the determinant of the matrix turns out to be $\pm 1$ and the inverse of the tree was shown to be `switching-equivalent' to a simple graph [C. Godsil, Inverses of Trees, Combinatorica 5 (1985), 33--39]. Using generalized inverses of symmetric matrices (that coincide with Moore-Penrose, Drazin, and group inverses in the symmetric case) we prove a formula for determining a `generalized inverse' of a tree.
On the structure of zero-sum free set with minimum subset sums in abelian groups
Let $G$ be an additive abelian group and $S\subset G$ a subset. Let $Σ(S)$ denote the set of group elements which can be expressed as a sum of a nonempty subset of $S$. We say $S$ is zero-sum free if $0 \not\in Σ(S)$. It was conjectured by R.B.~Eggleton and P.~Erdös in 1972 and proved by W.~Gao et. al. in 2008 that $|Σ(S)|\geq 19$ provided that $S$ is a zero-sum free subset of an abelian group $G$ with $|S|=6$. In this paper, we determined the structure of zero-sum free set $S$ where $|S|=6$ and $|Σ(S)|=19$.
Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs
We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein.
On regular 3-wise intersecting families
Ellis and the third author showed, verifying a conjecture of Frankl, that any $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$ admitting a transitive automorphism group has cardinality $o(2^n)$, while a construction of Frankl demonstrates that the same conclusion need not hold under the weaker constraint of being regular. Answering a question of Cameron, Frankl and Kantor from 1989, we show that the restriction of admitting a transitive automorphism group may be relaxed significantly: we prove that any $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$ that is regular and increasing has cardinality $o(2^n)$.
Perfect State Transfer on Abelian Cayley Graphs
Perfect state transfer (PST) has great significance due to its applications in quantum information processing and quantum computation. In this paper we present a characterization on connected simple Cayley graph $Γ={\rm Cay}(G,S)$ having PST. We show that many previous results on periodicity and existence of PST of circulant graphs (where the underlying group $G$ is cyclic) and cubelike graphs ($G=(\mathbb{F}_2^n,+)$) can be derived or generalized to arbitrary abelian case in unified and more simple ways from our characterization. We also get several new results including answers on some problems raised before.
Soliton cellular automata associated with infinite reduced words
We consider a family of cellular automata $Φ(n,k)$ associated with infinite reduced elements on the affine symmetric group $\hat S_n$, which is a tropicalization of the rational maps introduced by two of the authors. We study the soliton solutions for $Φ(n,k)$ and explore a `duality' with the $\mathfrak{sl}_n$-box-ball system.
Bricks over preprojective algebras and join-irreducible elements in Coxeter groups
Published
• View Publication
• BIB
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.
Homology of Finite Topological Spaces
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous injective maps between spaces called immersions. The so-called orb complex which is much smaller than the order complex induces a surjective map of its homology to the simplicial homology of the space. An analysis of the kernel of this map allows to define an effective algorithm for computing the homology groups, whose time complexity is polynomial in the size of the space.
Cyclic Sieving of Matchings
The cyclic sieving phenomenon (CSP) was introduced by Reiner, Stanton, and White to study combinatorial structures with actions of cyclic groups. The crucial step is to find a polynomial, for example a q-analog, that satisfies the CSP conditions for an action. This polynomial will give us a lot of information about the symmetry and structure of the set under the action. In this paper, we study the cyclic sieving phenomenon of the cyclic group $C_{2n}$ acting on $P_{n,k}$, which is the set of matchings of $2n$ points on a circle with $k$ crossings. The noncrossing matchings ($k=0$) was recently studied as a Catalan object. In this paper, we study more general cases, the matchings with more number of crossings. We prove that there exists $q$-analog polynomials $f_{n,k}(q)$ such that $(P_{n,k},f_{n,k},C_{2n})$ exhibits the cyclic sieving phenomenon for $k=1,2,3$. In the proof, we also introduce an efficient representation of the elements in $P_{n,k}$, which helps us to understand the symmetrical structure of the set.
On the matchings-Jack and hypermap-Jack conjectures for labelled matchings and star hypermaps
Published
• View Publication
• BIB
Introduced by Goulden and Jackson in their 1996 paper, the matchings-Jack conjecture and the hypermap-Jack conjecture (also known as the $b$-conjecture) are two major open questions relating Jack symmetric functions, the representation theory of the symmetric groups and combinatorial maps. They show that the coefficients in the power sum expansion of some Cauchy sum for Jack symmetric functions and in the logarithm of the same sum interpolate respectively between the structure constants of the class algebra and the double coset algebra of the symmetric group and between the numbers of orientable and locally orientable hypermaps. They further provide some evidence that these two families of coefficients indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are polynomials in $β= α-1$ with non negative integer coefficients of combinatorial significance. This paper is devoted to the case when one of the three partitions is equal to $(n)$. We exhibit some polynomial properties of both families of coefficients and prove a variation of the hypermap-Jack conjecture and the matchings-Jack conjecture involving labelled hypermaps and matchings in some important cases.
A Plünnecke-Ruzsa inequality in compact abelian groups
Published
• View Publication
• BIB
The Plünnecke-Ruzsa inequality is a fundamental tool to control the growth of finite subsets of abelian groups under repeated addition and subtraction. Other tools to handle sumsets have gained applicability by being extended to more general subsets of more general groups. This motivates extending the Plünnecke-Ruzsa inequality, in particular to measurable subsets of compact abelian groups by replacing the cardinality with the Haar probability measure. This objective is related to the question of the stability of classes of Haar measurable sets under addition. In this direction the class of analytic sets is a natural one to work with. We prove a Plünnecke-Ruzsa inequality for K-analytic sets in general compact (Hausdorff) abelian groups. We also discuss further extensions, some of which raise questions of independent interest in descriptive topology.