Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On trivial words in finitely presented groups
We propose a numerical method for studying the cogrowth of finitely presented groups. To validate our numerical results we compare them against the corresponding data from groups whose cogrowth series are known exactly. Further, we add to the set of such groups by finding the cogrowth series for Baumslag-Solitar groups $\mathrm{BS}(N,N) = < a,b | a^N b = b a^N >$ and prove that their cogrowth rates are algebraic numbers.
A natural barrier in random greedy hypergraph matching
Published in Combinator. Probab. Comp. 28 (2019) 816-825
• View Publication
• BIB
Let $r \ge 2$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D \to \infty$ as $N \to \infty$ and that degrees of pairs of vertices in ${\mathcal H}$ are at most $L$ where $L \ = D/ (\log N)^{ω(1)}$. We consider the random greedy algorithm for forming a matching in $ \mathcal{H}$. We choose a matching at random by iteratively choosing edges uniformly at random to be in the matching and deleting all edges that share at least one vertex with a chosen edge before moving on to the next choice. This process terminates when there are no edges remaining in the graph. We show that with high probability the proportion of vertices of $ {\mathcal H}$ that are not saturated by the final matching is at most $ (L/D)^{ \frac{ 1}{ 2(r-1) } + o(1) } $. This point is a natural barrier in the analysis of the random greedy hypergraph matching process.
Some new results on domination roots of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G,λ)=\sum_{i=0}^{n} d(G,i) λ^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. Every root of $D(G,λ)$ is called the domination root of $G$. We present families of graphs whose their domination polynomial have no nonzero real roots. We observe that these graphs have complex domination roots with positive real part. Then, we consider the lexicographic product of two graphs and obtain a formula for domination polynomial of this product. Using this product, we construct a family of graphs which their domination roots are dense in all of $\mathbb{C}$.
Introducing Privileged Words: Privileged Complexity of Sturmian Words
Published in Theoretical Computer Science 500 (2013) pp. 57-67
• View Publication
• BIB
In this paper we study the class of so-called privileged words which have been previously considered only a little. We develop the basic properties of privileged words, which turn out to share similar properties with palindromes. Privileged words are studied in relation to previously studied classes of words, rich words, Sturmian words and episturmian words. A new characterization of Sturmian words is given in terms of privileged complexity. The privileged complexity of the Thue-Morse word is also briefly studied.
On moments of a polytope
Published in Analysis and Mathematical Physics, 2018
• View Publication
• BIB
We show that the multivariate generating function of appropriately normalized moments of a measure with homogeneous polynomial density supported on a compact polytope P in R^d is a rational function. Its denominator is the product of linear forms dual to the vertices of P raised to the power equal to the degree of the density function. Using this, we solve the inverse moment problem for the set of, not necessarily convex, polytopes having a given set S of vertices. Under a weak non-degeneracy assumption we also show that the uniform measure supported on any such polytope is a linear combination of uniform measures supported on simplices with vertices in S.
Spectral Properties of Descent Algebra Elements
Published
• View Publication
• BIB
The descent algebra of finite Coxeter groups is studied by many famous mathematicians like Bergeron, Brown, Howlett, or Reutenauer. Blessenohl, Hohlweg, and Schocker, for example, proved a symmetry property of the descent algebra, when it is linked to the representation theory of its Coxeter group. The interest is particularly showed for the descent algebra of symmetric group. Thibon determined the eigenvalues and their multiplicities of the action on the group algebra of symmetric group of the descent algebra element, which is the sum over all permutations weighted by q^maj. And even the author diagonalized the matrix of the action of the descent algebra element, which is the sum over all permutations weighted by the new introduced statistic desX. In this article, we give a more general result by determining the eigenvalues and their multiplicities of the action on the group algebra of finite Coxeter group of an element of its descent algebra.
Approximation algorithms for nonbinary agreement forests
Published
• View Publication
• BIB
Given two rooted phylogenetic trees on the same set of taxa X, the Maximum Agreement Forest problem (MAF) asks to find a forest that is, in a certain sense, common to both trees and has a minimum number of components. The Maximum Acyclic Agreement Forest problem (MAAF) has the additional restriction that the components of the forest cannot have conflicting ancestral relations in the input trees. There has been considerable interest in the special cases of these problems in which the input trees are required to be binary. However, in practice, phylogenetic trees are rarely binary, due to uncertainty about the precise order of speciation events. Here, we show that the general, nonbinary version of MAF has a polynomial-time 4-approximation and a fixed-parameter tractable (exact) algorithm that runs in O(4^k poly(n)) time, where n = |X| and k is the number of components of the agreement forest minus one. Moreover, we show that a c-approximation algorithm for nonbinary MAF and a d-approximation algorithm for the classical problem Directed Feedback Vertex Set (DFVS) can be combined to yield a d(c+3)-approximation for nonbinary MAAF. The algorithms for MAF have been implemented and made publicly available.
On the stable moment graph of an affine Kac--Moody algebra
Published
• View Publication
• BIB
In 1980 Lusztig proved a stabilisation property of the affine Kazhdan-Lusztig polynomials. In this paper we give a categorical version of such a result using the theory of sheaves on moment graphs. This leads us to associate with any Kac-Moody algebra its stable moment graph.
An involution on bicubic maps and β(0,1)-trees
Bicubic maps are in bijection with β(0,1)-trees. We introduce two new ways of decomposing β(0,1)-trees. Using this we define an endofunction on β(0,1)-trees, and thus also on bicubic maps. We show that this endofunction is in fact an involution. As a consequence we are able to prove some surprising results regarding the joint equidistribution of certain pairs of statistics on trees and maps. Finally, we conjecture the number of fixed points of the involution.
Hyperbolicity and stable polynomials in combinatorics and probability
Published
• View Publication
• BIB
This was the basis of two lectures in the Current Developments in Mathematics conference in 2011. These lectures survey the theory of hyperbolic and stable polynomials, from their origins in the theory of linear PDE's to their present uses in combinatorics and probability theory.
Vertex barycenter of generalized associahedra
Published in Proc. Amer. Math. Soc., 143(6):2623-2636, 2015
• View Publication
• BIB
We show that the vertex barycenter of generalized associahedra and permutahedra coincide for any finite Coxeter system.
Pseudo-scheduling: A New Approach to the Broadcast Scheduling Problem
Published
• View Publication
• BIB
The broadcast scheduling problem asks how a multihop network of broadcast transceivers operating on a shared medium may share the medium in such a way that communication over the entire network is possible. This can be naturally modeled as a graph coloring problem via distance-2 coloring (L(1,1)-labeling, strict scheduling). This coloring is difficult to compute and may require a number of colors quadratic in the graph degree. This paper introduces pseudo-scheduling, a relaxation of distance-2 coloring. Centralized and decentralized algorithms that compute pseudo-schedules with colors linear in the graph degree are given and proved.
The central component of a triangulation
The central component of a polygon triangulation is defined as the triangle or diameter that contain its geometric center. More generally, every polygon dissection contains a central component. Using this notion, we derive new recurrences for the Catalan and $k$-Catalan numbers, and use these recursions to prove congruence relations of these numbers. We also enumerate the triangulations that contain a fixed vertex in their central components.
Paley type group schemes from cyclotomic classes and Arasu-Dillon-Player difference sets
Published
• View Publication
• BIB
In this paper, we present constructions of abelian Paley type group schemes by using multiplicative characters of finite fields and Arasu-Dillon-Player difference sets. The constructions produce many new Paley type group schemes that were previous unknown in our classification of Paley type group schemes in finite fields of small orders.
Fundamental groups of neighborhood complexes
Published in J. Math. Sci. Univ. Tokyo 24 (2017), 321-353
• Search Publication
The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$.
In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgroup of $π_1^{2r}(G,v)$ with index 1 or 2, is isomorphic to the fundamental group of $(N_r(G),v)$ if $v$ is not isolated. We can use the $r$-fundamental groups to show the non-existence of graph homomorphisms. For example, we show that $π_1^3(KG_{2k+1,k})$ is isomorphic to $\mathbb{Z} /2$, and this implies that there is no graph homomorphism from $KG_{2k+1,k}$ to the 5-cycle graph $C_5$. We discuss the covering maps associated to $r$-fundamental groups.
On the probability of two randomly generated S-permutation matrices to be disjoint
Published in Statistics & Probability Letters, Volume 91, August 2014, Pages 47-51, ISSN 0167-7152
• View Publication
• BIB
The concept of S-permutation matrix is considered in this paper. It defines when two binary matrices are disjoint. For an arbitrary $n^2 \times n^2$ S-permutation matrix, a lower band of the number of all disjoint with it S-permutation matrices is found. A formula for counting a lower band of the number of all disjoint pairs of $n^2 \times n^2$ S-permutation matrices is formulated and proven. As a consequence, a lower band of the probability of two randomly generated S-permutation matrices to be disjoint is found. In particular, a different proof of a known assertion is obtained in the work. The cases when $n=2$ and $n=3$ are discussed in detail.
Trees with the most subtrees -- an algorithmic approach
Published
• View Publication
• BIB
When considering the number of subtrees of trees, the extremal structures which maximize this number among binary trees and trees with a given maximum degree lead to some interesting facts that correlate to other graphical indices in applications. The number of subtrees in the extremal cases constitute sequences which are of interest to number theorists. The structures which maximize or minimize the number of subtrees among general trees, binary trees and trees with a given maximum degree have been identified previously. Most recently, results of this nature are generalized to trees with a given degree sequence. In this note, we characterize the trees which maximize the number of subtrees among trees of a given order and degree sequence. Instead of using theoretical arguments, we take an algorithmic approach that explicitly describes the process of achieving an extremal tree from any random tree. The result also leads to some interesting questions and provides insight on finding the trees close to extremal and their numbers of subtrees.
A rank computation problem related to the HK function of trinomial hypersurfaces
In this article, I provide a solution to a rank computation problem related to the computation of the Hilbert-Kunz function for any disjoint-term trinomial hypersurface, over any field of characteristic 2. This rank computation problem was posed in Upadhyay (arXiv:1204.5417). The formula for the Hilbert-Kunz function for disjoint-term trinomial hypersurfaces can be deduced from the result(s) of this article, modulo a lot of tedious notation.
Book drawings of complete bipartite graphs
Published in Discrete Applied Mathematics 167(2014), 80-93
• View Publication
• BIB
A "book" with k pages consists of a straight line (the "spine") and k half-planes (the "pages"), such that the boundary of each page is the spine. If a graph is drawn on a book with k pages in such a way that the vertices lie on the spine, and each edge is contained in a page, the result is a k-page book drawing (or simply a k-page drawing). The pagenumber of a graph G is the minimum k such that G admits a k-page embedding (that is, a k-page drawing with no edge crossings). The k-page crossing number nu_k(G) of G is the minimum number of crossings in a k-page drawing of G. We investigate the pagenumbers and k-page crossing numbers of complete bipartite graphs. We find the exact pagenumbers of several complete bipartite graphs, and use these pagenumbers to find the exact k-page crossing number of K_{k+1,n} for 3<=k<=6. We also prove the general asymptotic estimate lim_{k->oo} lim_{n->oo} nu_k(K_{k+1,n})/(2n^2/k^2)=1. Finally, we give general upper bounds for nu_k(K_{m,n}), and relate these bounds to the k-planar crossing numbers of K_{m,n} and K_n.
Infinitary Hales-Jewett theorem. Another proof
We give a proof of an infinitary version of the well known Hales-Jewett theorem on finite words avoiding the use of ultrafilters.