Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Strong forms of self-duality for Hopf monoids in species
Published in Trans. Amer. Math. Soc. 368 (2016), 5433-5473
• View Publication
• BIB
A vector species is a functor from the category of finite sets with bijections to vector spaces (over a fixed field); informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. A vector species has a basis if and only if it is given by a sequence of $S_n$-modules which are permutation representations. We say that a Hopf monoid is freely self-dual if it is connected and finite-dimensional, and if it has a basis in which the structure constants of its product and coproduct coincide. Such Hopf monoids are self-dual in the usual sense, and we show that they are furthermore both commutative and cocommutative. We prove more specific classification theorems for freely self-dual Hopf monoids whose products (respectively, coproducts) are linearized in the sense that they preserve the basis; we call such Hopf monoids strongly self-dual (respectively, linearly self-dual). In particular, we show that every strongly self-dual Hopf monoid has a basis isomorphic to some species of block-labeled set partitions, on which the product acts as the disjoint union. In turn, every linearly self-dual Hopf monoid has a basis isomorphic to the species of maps to a fixed set, on which the coproduct acts as restriction. It follows that every linearly self-dual Hopf monoid is strongly self-dual. Our final results concern connected Hopf monoids which are finite-dimensional, commutative, and cocommutative. We prove that such a Hopf monoid has a basis in which its product and coproduct are both linearized if and only if it is strongly self-dual with respect to a basis equipped with a certain partial order, generalizing the refinement partial order on set partitions.
A Theory of Stationary Trees and the Balanced Baumgartner-Hajnal-Todorcevic Theorem for Trees
Published in Acta Math. Hungar. 144 (2014), no. 2, 285-352
• View Publication
• BIB
Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize arbitrary subsets of a non-special tree as being either stationary or non-stationary.
We then use this theory to prove the following partition relation for trees:
Main Theorem: Let $κ$ be any infinite regular cardinal, let $ξ$ be any ordinal such that $2^{\left|ξ\right|} < κ$, and let $k$ be any natural number. Then \[ \text{non-$\left(2^{<κ}\right)$-special tree } \to \left(κ+ ξ\right)^2_k. \]
This is a generalization to trees of the Balanced Baumgartner-Hajnal-Todorcevic Theorem, which we recover by applying the above to the cardinal $(2^{<κ})^+$, the simplest example of a non-$(2^{<κ})$-special tree.
As a corollary, we obtain a general result for partially ordered sets:
Theorem: Let $κ$ be any infinite regular cardinal, let $ξ$ be any ordinal such that $2^{\left|ξ\right|} < κ$, and let $k$ be any natural number. Let $P$ be a partially ordered set such that $P \to (2^{<κ})^1_{2^{<κ}}$. Then \[ P \to \left(κ+ ξ\right)^2_k. \]
Hom-configurations in triangulated categories generated by spherical objects
Hom- and Riedtmann configurations were studied in the context of stable module categories of selfinjective algebras and a certain orbit category C of the bounded derived category of a Dynkin quiver, which is highly reminiscent of the cluster category. The category C is (-1)-Calabi-Yau. Holm and Jorgensen introduced a family of triangulated categories generated by $w$-spherical objects. When $w \geq 2$, these may be regarded as higher cluster categories of type A infinity. When $w \leq -1$, they are higher analogues of the orbit category C. In this paper, we classify the (higher) Hom- and Riedtmann configurations for these categories, and link them with noncrossing partitions in the case $w = -1$. Along the way, we obtain a new geometric model for the higher versions of the orbit category C.
Thickness, relative hyperbolicity, and randomness in Coxeter groups
Published in Algebr. Geom. Topol. 17 (2017) 705-740
• View Publication
• BIB
For right-angled Coxeter groups $W_Γ$, we obtain a condition on $Γ$ that is necessary and sufficient to ensure that $W_Γ$ is thick and thus not relatively hyperbolic. We show that Coxeter groups which are not thick all admit canonical minimal relatively hyperbolic structures; further, we show that in such a structure, the peripheral subgroups are both parabolic (in the Coxeter group-theoretic sense) and strongly algebraically thick. We exhibit a polynomial-time algorithm that decides whether a right-angled Coxeter group is thick or relatively hyperbolic. We analyze random graphs in the Erdós-Rényi model and establish the asymptotic probability that a random right-angled Coxeter group is thick.
In the joint appendix we study Coxeter groups in full generality and there we also obtain a dichotomy whereby any such group is either strongly algebraically thick or admits a minimal relatively hyperbolic structure. In this study, we also introduce a notion we call \emph{intrinsic horosphericity} which provides a dynamical obstruction to relative hyperbolicity which generalizes thickness.
Sigma-Algebras for Quasirandom Hypergraphs
Published
• View Publication
• BIB
We examine the correspondence between the various notions of quasirandomness for k-uniform hypergraphs and sigma-algebras related to measurable hypergraphs. This gives a uniform formulation of most of the notions of quasirandomness for dense hypergraphs which have been studied, with each notion of quasirandomness corresponding to a sigma-algebra defined by a collection of subsets of [1,k].
We associate each notion of quasirandomness I with a collection of hypergraphs, the I-adapted hypergraphs, so that G is quasirandom exactly when it contains roughly the correct number of copies of each I-adapted hypergraph. We then identify, for each I, a particular I-adapted hypergraph M_k[I] with the property that if G contains roughly the correct number of copies of M_k[I] then G is quasirandom in the sense of I. This generalizes recent results of Kohayakawa, Nagle, Rödl, and Schacht; Conlon, Hàn, Person, and Schacht; and Lenz and Mubayi giving this result for some notions of quasirandomness.
Interval-Valued Rank in Finite Ordered Sets
Published
• View Publication
• BIB
We consider the concept of rank as a measure of the vertical levels and positions of elements of partially ordered sets (posets). We are motivated by the need for algorithmic measures on large, real-world hierarchically-structured data objects like the semantic hierarchies of ontological databases. These rarely satisfy the strong property of gradedness, which is required for traditional rank functions to exist. Representing such semantic hierarchies as finite, bounded posets, we recognize the duality of ordered structures to motivate rank functions which respect verticality both from the bottom and from the top. Our rank functions are thus interval-valued, and always exist, even for non-graded posets, providing order homomorphisms to an interval order on the interval-valued ranks. The concept of rank width arises naturally, allowing us to identify the poset region with point-valued width as its longest graded portion (which we call the "spindle"). A standard interval rank function is naturally motivated both in terms of its extremality and on pragmatic grounds. Its properties are examined, including the relationship to traditional grading and rank functions, and methods to assess comparisons of standard interval-valued ranks.
On the metric dimension of imprimitive distance-regular graphs
Published
• View Publication
• BIB
A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension of $Γ$ is the smallest size of a resolving set for $Γ$. Much attention has been paid to the metric dimension of distance-regular graphs. Work of Babai from the early 1980s yields general bounds on the metric dimension of primitive distance-regular graphs in terms of their parameters. We show how the metric dimension of an imprimitive distance-regular graph can be related to that of its halved and folded graphs, but also consider infinite families (including Taylor graphs and the incidence graphs of certain symmetric designs) where more precise results are possible.
The metric dimension of small distance-regular and strongly regular graphs
A {\em resolving set} for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The {\em metric dimension} of $Γ$ is the smallest size of a resolving set for $Γ$.
A graph is {\em distance-regular} if, for any two vertices $u,v$ at each distance $i$, the number of neighbours of $v$ at each possible distance from $u$ (i.e. $i-1$, $i$ or $i+1$) depends only on the distance $i$, and not on the choice of vertices $u,v$. The class of distance-regular graphs includes all distance-transitive graphs and all strongly regular graphs.
In this paper, we present the results of computer calculations which have found the metric dimension of all distance-regular graphs on up to 34 vertices, low-valency distance transitive graphs on up to 100 vertices, strongly regular graphs on up to 45 vertices, rank-$3$ strongly regular graphs on under 100 vertices, as well as certain other distance-regular graphs.
Model categories with simple homotopy categories
Published
• View Publication
• BIB
In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when is there a model structure on $\mathcal{C}$ with $w\mathcal{C}$ as the subcategory of weak equivalences? We begin exploring this question in the case where $w\mathcal{C} = F^{-1}(\mathrm{iso}\, \mathcal{D})$ for some functor $F:\mathcal{C}\rightarrow \mathcal{D}$. We also prove properness of our constructions under minor assumptions and examine an application to the category of infinite graphs.
Classification of finite-multiplicity symmetric pairs
Published in Transformation Groups: Volume 19, Issue 2 (2014), Page 457-493
• View Publication
• BIB
We give a complete classification of the reductive symmetric pairs (G,H) for which the homogeneous space $(G \times H)/diag(H)$ is real spherical in the sense that a minimal parabolic subgroup has an open orbit.
Combining with a criterion established in [T. Kobayashi--T. Oshima, Adv. Math. 2013], we give a necessary and sufficient condition for a reductive symmetric pair $(G,H)$ such that the multiplicities for the branching law of the restriction any admissible smooth representation of $G$ to $H$ have finiteness/boundedness property.
Calculating the dimension of the universal embedding of the symplectic dual polar space using languages
Published
• View Publication
• BIB
The main result of this paper is the construction of a bijection of the set of words in so-called standard order of length $n$ formed by four different letters and the set $\mathbb{N}^n$ of all subspaces of a fixed $n$-dimensional maximal isotropic subspace of the $2n$-dimensional symplectic space $V$ over $\mathbb{F}_2$ which are not maximal in a certain sense. Since the number of different words in standard order is known, this gives an alternative proof for the formula of the dimension of the universal embedding of a symplectic dual polar space $\mathcal G_n$. Along the way, we give formulas for the number of all $n$- and $(n-1)$-dimensional totally isotropic subspaces of $V$.
Extensions of rich words
Published
• View Publication
• BIB
In [X. Droubay et al, Episturmian words and some constructions of de Luca and Rauzy, Theoret. Comput. Sci. 255 (2001)], it was proved that every word w has at most |w|+1 many distinct palindromic factors, including the empty word. The unified study of words which achieve this limit was initiated in [A. Glen et al, Palindromic richness, Eur. Jour. of Comb. 30 (2009)]. They called these words rich (in palindromes).
This article contains several results about rich words and especially extending them. We say that a rich word w can be extended richly with a word u if wu is rich. Some notions are also made about the infinite defect of a word, the number of rich words of length n and two-dimensional rich words.
The Catalan case of Armstrong's conjecture on simultaneous core partitions
Published in SIAM J. Discrete Math. 29 (2015), no. 1, 658--666
• View Publication
• BIB
A beautiful recent conjecture of D. Armstrong predicts the average size of a partition that is simultaneously an $s$-core and a $t$-core, where $s$ and $t$ are coprime. Our goal is to prove this conjecture when $t=s+1$. These simultaneous $(s,s+1)$-core partitions, which are enumerated by Catalan numbers, have average size $\binom{s+1}{3}/2$.
A formula for the number of spanning trees in circulant graphs with non-fixed generators and discrete tori
Published in Bulletin of the Australian Mathematical Society 92.03 (2015): 365-373
• View Publication
• BIB
We consider the number of spanning trees in circulant graphs of $βn$ vertices with generators depending linearly on $n$. The matrix tree theorem gives a closed formula of $βn$ factors, while we derive a formula of $β-1$ factors. Using the same trick, we also derive a formula for the number of spanning trees in discrete tori. Moreover, the spanning tree entropy of circulant graphs with fixed and non-fixed generators is compared.
The Flip Diameter of Rectangulations and Convex Subdivisions
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Combinatorics (March 17, 2016) dmtcs:646
• View Publication
• BIB
We study the configuration space of rectangulations and convex subdivisions of $n$ points in the plane. It is shown that a sequence of $O(n\log n)$ elementary flip and rotate operations can transform any rectangulation to any other rectangulation on the same set of $n$ points. This bound is the best possible for some point sets, while $Θ(n)$ operations are sufficient and necessary for others. Some of our bounds generalize to convex subdivisions of $n$ points in the plane.
Structural Properties of the Cambrian Semilattices -- Consequences of Semidistributivity
The $γ$-Cambrian semilattices $\mathcal{C}_γ$ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, and they are lattices if and only if $W$ is finite. In the case where $W$ is the symmetric group $\mathfrak{S}_{n}$ and $γ$ is the long cycle $(1\;2\;\ldots\;n)$ the corresponding $γ$-Cambrian lattice is isomorphic to the well-known Tamari lattice $\mathcal{T}_{n}$. Recently, Kallipoliti and the author have investigated $\mathcal{C}_γ$ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that $\mathcal{C}_γ$ is semidistributive. First we prove that every closed interval of $\mathcal{C}_γ$ is a bounded-homomorphic image of a free lattice (in fact it is a so-called $\mathcal{H\!H}$-lattice). Subsequently we prove that each closed interval of $\mathcal{C}_γ$ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.
Permutations sortable by two stacks in parallel and quarter plane walks
Published in Europ. J. Combin. 43 (2015) p. 131-164
• View Publication
• BIB
At the end of the 1960s, Knuth characterised the permutations that can be sorted using a stack in terms of forbidden patterns. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Even \& Itai, Pratt and Tarjan studied permutations that can be sorted using two stacks in parallel. This problem is significantly harder. In particular, a sortable permutation can now be sorted by several distinct sequences of stack operations. Moreover, in order to be sortable, a permutation must avoid infinitely many patterns. The associated counting question has remained open for 40 years. We solve it by giving a pair of functional equations that characterise the generating function of permutations that can be sorted with two parallel stacks. The first component of this system describes the generating function Q(a,u) of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with the series Q(a,u). We prove that they hold for loops confined to the upper half plane, or not confined at all. They remain open for quarter plane loops. Given the recent activity on walks confined to cones, we believe them to be attractive per se.
The densest subgraph problem in sparse random graphs
Published in Annals of Applied Probability 2016, Vol. 26, No. 1, 305-327
• View Publication
• BIB
We determine the asymptotic behavior of the maximum subgraph density of large random graphs with a prescribed degree sequence. The result applies in particular to the Erdős-Rényi model, where it settles a conjecture of Hajek [IEEE Trans. Inform. Theory 36 (1990) 1398-1414]. Our proof consists in extending the notion of balanced loads from finite graphs to their local weak limits, using unimodularity. This is a new illustration of the objective method described by Aldous and Steele [In Probability on Discrete Structures (2004) 1-72 Springer].
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Reversal
This paper presents a new distributed approach for generating all prime numbers in a given interval of integers. From Eratosthenes, who elaborated the first prime sieve (more than 2000 years ago), to the current generation of parallel computers, which have permitted to reach larger bounds on the interval or to obtain previous results in a shorter time, prime numbers generation still represents an attractive domain of research and plays a central role in cryptography. We propose a fully distributed algorithm for finding all primes in the interval $[2\ldots, n]$, based on the \emph{wheel sieve} and the SMER (\emph{Scheduling by Multiple Edge Reversal}) multigraph dynamics. Given a multigraph $\mathcal{M}$ of arbitrary topology, having $N$ nodes, a SMER-driven system is defined by the number of directed edges (arcs) between any two nodes of $\mathcal{M}$, and by the global period length of all "arc reversals" in $\mathcal{M}$. The new prime number generation method inherits the distributed and parallel nature of SMER and requires at most $n + \lfloor \sqrt{n}\rfloor$ time steps. The message complexity achieves at most $nΔ_N + \lfloor \sqrt{n}\rfloor Δ_N$, where $1\le Δ_N\le N - 1$ is the maximal multidegree of $\mathcal{M}$, and the maximal amount of memory space required per process is $\mathcal{O}(n)$ bits.
On the genericity of Whitehead minimality
Published in Journal of Group Theory 19 (2016) 137-159
• View Publication
• BIB
We show that a finitely generated subgroup of a free group, chosen uniformly at random, is strictly Whitehead minimal with overwhelming probability. Whitehead minimality is one of the key elements of the solution of the orbit problem in free groups. The proofs strongly rely on combinatorial tools, notably those of analytic combinatorics. The result we prove actually depends implicitly on the choice of a distribution on finitely generated subgroups, and we establish it for the two distributions which appear in the literature on random subgroups.