group
10263 papers tagged with this keyword
An inequality on global alliances for trees
Published
• View Publication
• BIB
In this paper, we prove an inequality on the cardinalities of the minimum size global defensive alliance and the minimum size global offensive alliance. A global defensive alliance is a dominating set such that when any point inside a selected group $S$ is chosen, at least half of the points in its neighborhood are also in the set $S$, including the selected point. A global offensive alliance is a dominating set such that if any point outside $S$ is selected, at least half of the points in its neighborhood, including the selected point, are in set $S$. Our result answers an open question in [HA].
A decomposition based proof for fast mixing of a Markov chain over balanced realizations of a joint degree matrix
Published in SIAM J. Discrete Mathematics 29 (1) (2015), 481-499
• View Publication
• BIB
A joint degree matrix (JDM) specifies the number of connections between nodes of given degrees in a graph, for all degree pairs and uniquely determines the degree sequence of the graph. We consider the space of all balanced realizations of an arbitrary JDM, realizations in which the links between any two degree groups are placed as uniformly as possible. We prove that a swap Markov Chain Monte Carlo (MCMC) algorithm in the space of all balanced realizations of an {\em arbitrary} graphical JDM mixes rapidly, i.e., the relaxation time of the chain is bounded from above by a polynomial in the number of nodes $n$. To prove fast mixing, we first prove a general factorization theorem similar to the Martin-Randall method for disjoint decompositions (partitions). This theorem can be used to bound from below the spectral gap with the help of fast mixing subchains within every partition and a bound on an auxiliary Markov chain between the partitions. Our proof of the general factorization theorem is direct and uses conductance based methods (Cheeger inequality).
Matrix Units in the Symmetric Group Algebra, and Unitary Integration
In this paper, we establish an explicit isomorphism between the symmetric group algebra and the path algebra of the Young graph. Specifically, we construct a family of matrix units in the group algebra. As a main application of this construction, we obtain new formulas, alternative to Weingarten calculus, for the integral of a polynomial over the unitary group with respect to the Haar measure. In particular, we obtain a closed formula for the law of moments of the first k rows of the unitary group.
Associahedra via spines
Published in Combinatorica, 38(2):443-486, 2018
• View Publication
• BIB
An associahedron is a polytope whose vertices correspond to triangulations of a convex polygon and whose edges correspond to flips between them. Using labeled polygons, C. Hohlweg and C. Lange constructed various realizations of the associahedron with relevant properties related to the symmetric group and the classical permutahedron. We introduce the spine of a triangulation as its dual tree together with a labeling and an orientation. This notion extends the classical understanding of the associahedron via binary trees, introduces a new perspective on C. Hohlweg and C. Lange's construction closer to J.-L. Loday's original approach, and sheds light upon the combinatorial and geometric properties of the resulting realizations of the associahedron. It also leads to noteworthy proofs which shorten and simplify previous approaches.
Majority Dynamics and the Retention of Information
Published in Israel Journal of Mathematics, 2015, Volume 206, Issue 1, pp 483-507
• View Publication
• BIB
We consider a group of agents connected by a social network who participate in majority dynamics: each agent starts with an opinion in {-1,+1} and repeatedly updates it to match the opinion of the majority of its neighbors.
We assume that one of {-1,+1} is the "correct" opinion S, and consider a setting in which the initial opinions are independent conditioned on S, and biased towards it. They hence contain enough information to reconstruct S with high probability. We ask whether it is still possible to reconstruct S from the agents' opinions after many rounds of updates.
While this is not the case in general, we show that indeed, for a large family of bounded degree graphs, information on S is retained by the process of majority dynamics.
Our proof technique yields novel combinatorial results on majority dynamics on both finite and infinite graphs, with applications to zero temperature Ising models.
The combinatorial Hopf algebra of motivic dissection polylogarithms
Published in Advances in Mathematics 264 (2014) 646-699
• View Publication
• BIB
We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra structure on the latter. This generalizes Goncharov's formula for the motivic coproduct on (generic) iterated integrals. Our main tool is the study of the relative cohomology group corresponding to a bi-arrangement of hyperplanes.
Fomin-Greene monoids and Pieri operations
Published in Fields Inst. Commun., 71, Springer, New York, (2014) 305-338
• View Publication
• BIB
We explore monoids generated by operators on certain infinite partial orders. Our starting point is the work of Fomin and Greene on monoids satisfying the relations $(ur+\u{r+1})\u{r+1}ur=\u{r+1}ur(ur+\u{r+1})$ and $urut=usur$ if $|r-t|>1.$ Given such a monoid, the non-commutative functions in the variables $\u{}$ are shown to commute. Symmetric functions in these operators often encode interesting structure constants. Our aim is to introduce similar results for more general monoids not satisfying the relations of Fomin and Greene. This paper is an extension of a talk by the second author at the workshop on algebraic monoids, group embeddings and algebraic combinatorics at The Fields Institute in 2012.
Hamiltonicity of the Cayley Digraph on the Symmetric Group Generated by σ = (1 2 ... n) and τ = (1 2)
The symmetric group is generated by σ = (1 2 ... n) and τ = (1 2). We answer an open problem of Nijenhuis and Wilf by constructing a Hamilton path in the directed Cayley graph for all n, and a Hamilton cycle for odd n.
An elementary non-recursive expression for the partition function P(n)
Published in Physica 114A, 1982, 361-364
• Search Publication
Consideration of a classification of the number of partitions of a natural number according to the members of sub-partitions differing from unity leads to a non-recursive formula for the number of irreducible representations of the symmetric group Sn. This article was published, long ago, under the title A non-recursive expression for the number of irreducible representations of the Symmetric Group Sn, Physica 114A, 1982, 361-364, North-Holland Publishing Co. The Introduction has been, somewhat, improved, however, the handmade result remains unproved.
Homology of analogues of Heisenberg Lie algebras
Published in Math. Res. Lett. 22 (2015), no. 4, 1223-1241
• View Publication
• BIB
We calculate the homology of three families of 2-step nilpotent Lie (super)algebras associated with the symplectic, orthogonal, and general linear groups. The symplectic case was considered by Getzler and the main motivation for this work was to complete the calculations started by him. In all three cases, these algebras can be realized as the nilpotent radical of a parabolic subalgebra of a simple Lie algebra, and our first approach relies on a theorem of Kostant, but is otherwise elementary and involves combinatorics of Weyl groups and partitions which may be of independent interest. Our second approach is an application of (un)stable representation theory of the classical groups in the sense of recent joint work of the author with Snowden, which is shorter and more conceptual.
Finite groups whose prime graphs are regular
Published
• View Publication
• BIB
Let G be a finite group and let Irr(G) be the set of all irreducible complex characters of G. Let cd(G) be the set of all character degrees of G and denote by ρ(G) the set of primes which divide some character degrees of G. The prime graph Δ(G) associated to G is a graph whose vertex set is ρ(G) and there is an edge between two distinct primes p and q if and only if the product pq divides some character degree of G. In this paper, we show that the prime graph Δ(G) of a finite group G is 3-regular if and only if it is a complete graph with four vertices.
New steps in walks with small steps in the quarter plane
Published in Annals of Combinatorics 19 (2015) 461-511
• View Publication
• BIB
In this article we obtain new expressions for the generating functions counting (non-singular) walks with small steps in the quarter plane. Those are given in terms of infinite series, while in the literature, the standard expressions use solutions to boundary value problems. We illustrate our results with three examples (an algebraic case, a transcendental D-finite case, and an infinite group model).
Coxeter groups and their quotients arising from cluster algebras
Published in Int. Math. Res. Notices (2016), 5135-5186
• View Publication
• BIB
In a recent paper, Barot and Marsh presented an explicit construction of presentation of a finite Weyl group by any seed of corresponding cluster algebra, i.e. by any diagram mutation-equivalent to an orientation of a Dynkin diagram with given Weyl group. Extending their construction to the affine case, we obtain presentations for all affine Coxeter groups. Furthermore, we generalize the construction to the settings of diagrams arising from unpunctured triangulated surfaces and orbifolds, which leads to presentations of corresponding groups as quotients of numerous distinct Coxeter groups.
On a sumset conjecture of Erdős
Published in Canad. J. Math. 67 (2015), no. 4, 795-809
• View Publication
• BIB
Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$. We verify Erdős' conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$. As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$. Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős' conjecture for subsets of the natural numbers that are pseudorandom.
Cohen-Lenstra heuristics and random matrix theory over finite fields
Published
• View Publication
• BIB
Let g be a random element of a finite classical group G, and let λ_{z-1}(g) denote the partition corresponding to the polynomial z-1 in the rational canonical form of g. As the rank of G tends to infinity, λ_{z-1}(g) tends to a partition distributed according to a Cohen-Lenstra type measure on partitions. We give sharp upper and lower bounds on the total variation distance between the random partition λ_{z-1}(g) and the Cohen-Lenstra type measure.
Lattice Points in Orthotopes and a Huge Polynomial Tutte Invariant of Weighted Gain Graphs
Published in Journal of Combinatorial Theory Ser. B, 118 (2016), 186--227. MR 3471850. Zbl 1332.05065
• View Publication
• BIB
A gain graph is a graph whose edges are orientably labelled from a group. A weighted gain graph is a gain graph with vertex weights from an abelian semigroup, where the gain group is lattice ordered and acts on the weight semigroup. For weighted gain graphs we establish basic properties and we present general dichromatic and forest-expansion polynomials that are Tutte invariants (they satisfy Tutte's deletion-contraction and multiplicative identities). Our dichromatic polynomial includes the classical graph one by Tutte, Zaslavsky's two for gain graphs, Noble and Welsh's for graphs with positive integer weights, and that of rooted integral gain graphs by Forge and Zaslavsky. It is not a universal Tutte invariant of weighted gain graphs; that remains to be found.
An evaluation of one example of our polynomial counts proper list colorations of the gain graph from a color set with a gain-group action. When the gain group is Z^d, the lists are order ideals in the integer lattice Z^d, and there are specified upper bounds on the colors, then there is a formula for the number of bounded proper colorations that is a piecewise polynomial function of the upper bounds, of degree nd where n is the order of the graph.
This example leads to graph-theoretical formulas for the number of integer lattice points in an orthotope but outside a finite number of affinographic hyperplanes, and for the number of n x d integral matrices that lie between two specified matrices but not in any of certain subspaces defined by simple row equations.
Moduli spaces of ten-line arrangements with double and triple points
Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by considering the moduli space of a given configuration table which describes the intersection lattice. A complete combinatorial classification is given of all arrangements of this type under a suitable assumption, producing a list of seventy-one described in a table, most of which do not explicitly appear in the literature. This list also includes other important counterexamples: nine combinatorial arrangements that are not geometrically realizable.
On Cayley digraphs that do not have hamiltonian paths
Published
• View Publication
• BIB
We construct an infinite family of connected, 2-generated Cayley digraphs Cay(G;a,b) that do not have hamiltonian paths, such that the orders of the generators a and b are arbitrarily large. We also prove that if G is any finite group with |[G,G]| < 4, then every connected Cayley digraph on G has a hamiltonian path (but the conclusion does not always hold when |[G,G]| = 4 or 5).
Symmetric Graphs and their Quotients
In this expository paper we describe a group theoretic characterization of arc-transitive graphs and their quotients. When passing from a symmetric graph to its quotient, much information is lost, but some of this information may be recovered from a certain combinatorial design on the blocks, as well as a bipartite graph between the blocks. We address the "extention problem" which asks, when is this additional information sufficient to recover the original graph?
Primitive Groups Synchronize Non-uniform Maps of Extreme Ranks
Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ synchronizes $f$ if the semigroup $\langle G,f\rangle$ contains a constant map.
The first author has conjectured that a primitive group synchronizes any map whose kernel is non-uniform. Rystsov proved one instance of this conjecture, namely, degree $n$ primitive groups synchronize maps of rank $n-1$ (thus, maps with kernel type $(2,1,\ldots,1)$). We prove some extensions of Rystsov's result, including this: a primitive group synchronizes every map whose kernel type is $(k,1,\ldots,1)$. Incidentally this result provides a new characterization of imprimitive groups. We also prove that the conjecture above holds for maps of extreme ranks, that is, ranks 3, 4 and $n-2$.
These proofs use a graph-theoretic technique due to the second author: a transformation semigroup fails to contain a constant map if and only if it is contained in the endomorphism semigroup of a non-null (simple undircted) graph.
The paper finishes with a number of open problems, whose solutions will certainly require very delicate graph theoretical considerations.