Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A note on fine graphs and homological isoperimetric inequalities
Published in Canad. Math. Bull. 59(2016), 170-181
• View Publication
• BIB
In the framework of homological characterizations of relative hyperbolicity, Groves and Manning posed the question of whether a simply connected $2$-complex $X$ with a linear homological isoperimetric inequality, a bound on the length of attaching maps of $2$-cells and finitely many $2$-cells adjacent to any edge must have a fine $1$-skeleton. We provide a positive answer to this question. We revisit a homological characterization of relative hyperbolicity, and show that a group $G$ is hyperbolic relative to a collection of subgroups $\mathcal P$ if and only if $G$ acts cocompactly with finite edge stabilizers on an connected $2$-dimensional cell complex with a linear homological isoperimetric inequality and $\mathcal P$ is a collection of representatives of conjugacy classes of vertex stabilizers.
All face 2-colorable d-angulations are Grünbaum colorable
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 95 (2015), 301-307
• Search Publication
A $d$-angulation of a surface is an embedding of a 3-connected graph on that surface that divides it into $d$-gonal faces. A $d$-angulation is said to be Grünbaum colorable if its edges can be $d$-colored so that every face uses all $d$ colors. Up to now, the concept of Grünbaum coloring has been related only to triangulations ($d = 3$), but in this note, this concept is generalized for an arbitrary face size $d \geqslant 3$. It is shown that the face 2-colorability of a $d$-angulation $P$ implies the Grünbaum colorability of $P$. Some wide classes of triangulations have turned out to be face 2-colorable.
BKP and projective Hurwitz numbers
Published
• View Publication
• BIB
We consider $d$-fold branched coverings of the projective plane $\mathbb{RP}^2$ and show that the hypergeometric tau function of the BKP hierarchy of Kac and van de Leur is the generating function for weighted sums of the related Hurwitz numbers. In particular we get the $\mathbb{RP}^2$ analogues of the $\mathbb{CP}^1$ generating functions proposed by Okounkov and by Goulden and Jackson. Other examples are Hurwitz numbers weighted by the Hall-Littlewood and by the Macdonald polynomials. We also consider integrals of tau functions which generate projective Hurwitz numbers and Hurwitz numbers related to different Euler characteristics of the base Klein surfaces.
DNF complexity of complete boolean functions
In this paper we analyse the complexity of boolean functions takes value 0 on a sufficiently small number of points. For many functions this leads to the analysis of a single function attains 0 only on unsigned representation of numbers from 1 to d for various d. Here we obtain a tight bounds on the DNF complexity of complete functions in terms of the number of literals and conjunctions. The method is based on a certain efficient approximation of the hypercube covering problem related to DNF complexity of a given boolean function.
Expansions of generalized Euler's constants into the series of polynomials in $π^{-2}$ and into the formal enveloping series with rational coefficients only
Published in Journal of Number Theory (Elsevier), vol. 158, pp. 365-396, 2016; Journal of Number Theory (Elsevier) vol. 173, pp. 631-632, 2017
• View Publication
• BIB
In this work, two new series expansions for generalized Euler's constants (Stieltjes constants) $γ_m$ are obtained. The first expansion involves Stirling numbers of the first kind, contains polynomials in $π^{-2}$ with rational coefficients and converges slightly better than Euler's series $\sum n^{-2}$. The second expansion is a semi-convergent series with rational coefficients only. This expansion is particularly simple and involves Bernoulli numbers with a non-linear combination of generalized harmonic numbers. It also permits to derive an interesting estimation for generalized Euler's constants, which is more accurate than several well-known estimations. Finally, in Appendix A, the reader will also find two simple integral definitions for the Stirling numbers of the first kind, as well an upper bound for them.
Path separation by short cycles
Published
• View Publication
• BIB
Two Hamilton paths in $K_n$ are separated by a cycle of length $k$ if their union contains such a cycle. For small fixed values of $k$ we bound the asymptotics of the maximum cardinality of a family of Hamilton paths in $K_n$ such that any pair of paths in the family is separated by a cycle of length $k.$
Some Remarks on Rainbow Connectivity
Published in J. Graph Theory, 83 (2016), p. 372 - 383
• View Publication
• BIB
An edge (vertex) coloured graph is rainbow-connected if there is a rainbow path between any two vertices, i.e. a path all of whose edges (internal vertices) carry distinct colours. Rainbow edge (vertex) connectivity of a graph $G$ is the smallest number of colours needed for a rainbow edge (vertex) colouring of $G$. In this paper we propose a very simple approach to studying rainbow connectivity in graphs. Using this idea, we give a unified proof of several known results, as well as some new ones.
Petersen cores and the oddness of cubic graphs
Published in Journal Graph Theory 84 (2017) 109-120
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. Consider a list of $k$ 1-factors of $G$. Let $E_i$ be the set of edges contained in precisely $i$ members of the $k$ 1-factors. Let $μ_k(G)$ be the smallest $|E_0|$ over all lists of $k$ 1-factors of $G$. If $G$ is not 3-edge-colorable, then $μ_3(G) \geq 3$. In [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78(3) (2015) 195-206] it is shown that if $μ_3(G) \not = 0$, then $2 μ_3(G)$ is an upper bound for the girth of $G$. We show that $μ_3(G)$ bounds the oddness $ω(G)$ of $G$ as well. We prove that $ω(G)\leq \frac{2}{3}μ_3(G)$. If $μ_3(G) = \frac{2}{3} μ_3(G)$, then every $μ_3(G)$-core has a very specific structure. We call these cores Petersen cores. We show that for any given oddness there is a cyclically 4-edge-connected cubic graph $G$ with $ω(G) = \frac{2}{3}μ_3(G)$. On the other hand, the difference between $ω(G)$ and $\frac{2}{3}μ_3(G)$ can be arbitrarily big. This is true even if we additionally fix the oddness. Furthermore, for every integer $k\geq 3$, there exists a bridgeless cubic graph $G$ such that $μ_3(G)=k$.
Face-degree bounds for planar critical graphs
Published in The Electronic Journal of Combinatorics 23(3) (2016), #p3.21
• View Publication
• BIB
The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist.
For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.
The most unbalanced words $0^{q-p}1^p$ and majorization
Published
• View Publication
• BIB
A finite word $w\in\{0,1\}^*$ is balanced if for every equal-length factors $u$ and $v$ of every cyclic shift of $w$ we have $||u|_1-|v|_1| <= 1$. This new class of finite words were defined in [JZ].
In [J], there was proved several results considering finite balanced words and majorization. One of the main results was that the base-2 orbit of the balanced word is the least element in the set of orbits with respect to partial sum. It was also proved that the product of the elements in the base-2 orbit of a word is maximized precisely when the word is balanced.
It turns out that the words $0^{q-p}1^p$ have similar extremal properties, opposite to the balanced words, which makes it meaningful to call these words the most unbalanced words. This article contains the counterparts of the results mentioned above. We will prove that the orbit of the word $u=0^{q-p}1^p$ is the greatest element in the set of orbits with respect to partial sum and that it has the smallest product. We will also prove that $u$ is the greatest element in the set of orbits with respect to partial product.
The number of directed k-convex polyominoes
Published
• View Publication
• BIB
We present a new method to obtain the generating functions for directed convex polyominoes according to several different statistics including: width, height, size of last column/row and number of corners. This method can be used to study different families of directed convex polyominoes: symmetric polyominoes, parallelogram polyominoes. In this paper, we apply our method to determine the generating function for directed k-convex polyominoes. We show it is a rational function and we study its asymptotic behavior.
On colored set partitions of type $B_n$
Published in Cent. Eur. J. Math. 12(9) (2014), 1372--1381
• View Publication
• BIB
Generalizing Reiner's notion of set partitions of type $B_n$, we define colored $B_n$-partitions by coloring the elements in and not in the zero-block respectively. Considering the generating function of colored $B_n$-partitions, we get the exact formulas for the expectation and variance of the number of non-zero-blocks in a random colored $B_n$-partition. We find an asymptotic expression of the total number of colored $B_n$-partitions up to an error of $O(n^{-1/2}\log^{7/2}{n})$, and prove that the centralized and normalized number of non-zero-blocks is asymptotic normal over colored $B_n$-partitions.
Perfect State Transfer on NEPS of the path P3
Published in Discrete Mathematics, 339(2): pp.831-838 (2016)
• View Publication
• BIB
Perfect state transfer is significant in quantum communication networks. There are very few graphs having this property. So, it is useful to find some new graphs having perfect state transfer. A good way to construct new graphs is by forming NEPS. It is known that the graph $P_{3}$ exhibits perfect state transfer and so we investigate some NEPS of the path $P_{3}$. A sufficient condition is found for a NEPS of $P_{3}$ to have perfect state transfer. Using these NEPS, some other graphs are constructed having perfect state transfer. We also prove that for every $n\in \Nl\setminus \left\lbrace 1\right\rbrace$ and any odd positive integer $k< n$, there is a basis $Ω$ such that $NEPS(P_{3},\ldots, P_{3};Ω)$ is connected and exhibits perfect state transfer.
A new Plethystic Symmetric Function Operator and The rational Compositional Shuffle Conjecture at t=1/q
Published
• View Publication
• BIB
Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, \textstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km\times kn$ lattice rectangle.
On the number of maximal intersecting k-uniform families and further applications of Tuza's set pair method
Published in Electronic J. Combinatorics. 22(1) P1.83 (2015)
• View Publication
• BIB
We study the function $M(n,k)$ which denotes the number of maximal $k$-uniform intersecting families $F\subseteq \binom{[n]}{k}$. Improving a bound of Balogh at al. on $M(n,k)$, we determine the order of magnitude of $\log M(n,k)$ by proving that for any fixed $k$, $M(n,k) =n^{Θ(\binom{2k}{k})}$ holds. Our proof is based on Tuza's set pair approach.
The main idea is to bound the size of the largest possible point set of a cross-intersecting system. We also introduce and investigate some related functions and parameters.
On the $k$-limited packing numbers in graphs
Published in Discrete Optimization, 22 (2016), 270-276
• View Publication
• BIB
We give a sharp lower bound on the lower $k$-limited packing number of a general graph. Moreover, we establish a Nordhaus-Gaddum type bound on $2$-limited packing number of a graph. Also, we investigate the concepts of packing number ($1$-limited packing number) and open packing number in graphs with more details. In this way, by making use of the classic result of Meir and Moon (1975) and its total version (2005) we give new sharp upper bounds on domination number and total domination number of trees.
Huge Unimodular N-Fold Programs
Published in SIAM Journal on Discrete Mathematics, 29:2277-2283, 2015
• View Publication
• BIB
Optimization over $l\times m\times n$ integer $3$-way tables with given line-sums is NP-hard already for fixed $l=3$, but is polynomial time solvable with both $l,m$ fixed. In the {\em huge} version of the problem, the variable dimension $n$ is encoded in {\em binary}, with $t$ {\em layer types}. It was recently shown that the huge problem can be solved in polynomial time for fixed $t$, and the complexity of the problem for variable $t$ was raised as an open problem. Here we solve this problem and show that the huge table problem can be solved in polynomial time even when the number $t$ of types is {\em variable}. The complexity of the problem over $4$-way tables with variable $t$ remains open. Our treatment goes through the more general class of {\em huge $n$-fold integer programming problems}. We show that huge integer programs over $n$-fold products of totally unimodular matrices can be solved in polynomial time even when the number $t$ of brick types is variable.
Antipode formulas for some combinatorial Hopf algebras
Published
• View Publication
• BIB
Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, Lam and Pylyavskyy studied six combinatorial Hopf algebras that can be thought of as K-theoretic analogues of the Hopf algebras of symmetric functions, quasisymmetric functions, noncommutative symmetric functions, and of the Malvenuto-Reutenauer Hopf algebra of permutations. They described the bialgebra structure in all cases that were not yet known but left open the question of finding explicit formulas for the antipode maps. We give combinatorial formulas for the antipode map for the K-theoretic analogues of the symmetric functions, quasisymmetric functions, and noncommutative symmetric functions.
A positive Grassmannian analogue of the permutohedron
Published
• View Publication
• BIB
The classical permutohedron Perm is the convex hull of the points (w(1),...,w(n)) in R^n where w ranges over all permutations in the symmetric group. This polytope has many beautiful properties -- for example it provides a way to visualize the weak Bruhat order: if we orient the permutohedron so that the longest permutation w_0 is at the "top" and the identity e is at the "bottom," then the one-skeleton of Perm is the Hasse diagram of the weak Bruhat order. Equivalently, the paths from e to w_0 along the edges of Perm are in bijection with the reduced decompositions of w_0. Moreover, the two-dimensional faces of the permutohedron correspond to braid and commuting moves, which by the Tits Lemma, connect any two reduced expressions of w_0.
In this note we introduce some polytopes Br(k,n) (which we call bridge polytopes) which provide a positive Grassmannian analogue of the permutohedron. In this setting, BCFW bridge decompositions of reduced plabic graphs play the role of reduced decompositions. We define Br(k,n) and explain how paths along its edges encode BCFW bridge decompositions of the longest element pi(k,n) in the circular Bruhat order. We also show that two-dimensional faces of Br(k,n) correspond to certain local moves for plabic graphs, which by a result of Postnikov [Pos06], connect any two reduced plabic graphs associated to pi(k,n). All of these results can be generalized to the positive parts of Schubert cells. A useful tool in our proofs is the fact that our polytopes are isomorphic to certain Bruhat interval polytopes. Conversely, our results on bridge polytopes allow us to deduce some corollaries about the structure of Bruhat interval polytopes.
Lessons I learned from Richard Stanley
Published
• View Publication
• BIB
I will share with the reader what I have learned from Richard Stanley and the ways in which he has contributed to research in combinatorics conducted by me and my collaborators.