Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cayley graphs with metric dimension two - A characterization
In this paper, we study the metric dimension of Cayley graphs. Specially, we present a complete characterization of Cayley graphs on Abelian groups whose metric dimension is two.
No-hole $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling for Square Grid
Given a fixed $k$ $\in$ $\mathbb{Z}^+$ and $λ$ $\in$ $\mathbb{Z}^+$, the objective of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of a graph $G$ is to assign non-negative integers (known as labels) from the set $\{0, \ldots, λ-1\}$ to the vertices of $G$ such that the adjacent vertices receive values which differ by at least $k$, vertices connected by a path of length two receive values which differ by at least $k-1$, and so on. The vertices which are at least $k+1$ distance apart can receive the same label. The smallest $λ$ for which there exists a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of $G$ is known as the $L(k, k-1, \ldots, 2, 1)$-labeling number of $G$ and is denoted by $λ_k(G)$. The ratio between the upper bound and the lower bound of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling is known as the approximation ratio. In this paper a lower bound on the value of the labeling number for square grid is computed and a formula is proposed which yields a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of square grid, with approximation ratio at most $\frac{9}{8}$. The labeling presented is a no-hole one, i.e., it uses each label from $0$ to $λ-1$ at least once.
The local $h$-polynomial of the edgewise subdivision of the simplex
The $r$-fold edgewise subdivision is a well studied flag triangulation of the simplex with interesting algebraic, combinatorial and geometric properties. An important enumerative invariant, namely the local $h$-polynomial, of this triangulation is computed and shown to be $γ$-nonnegative by providing explicit combinatorial interpretations to the corresponding coefficients. A construction of a flag triangulation of the seven-dimensional simplex whose local $h$-polynomial is not real-rooted is also described.
Hyperbolic families and coloring graphs on surfaces
Published
• View Publication
• BIB
Let $G$ be a graph embedded in a fixed surface $Σ$ of genus $g$ and let $L=(L(v):v\in V(G))$ be a collection of lists such that either each list has size at least five, or each list has size at least four and $G$ is triangle-free, or each list has size at least three and $G$ has no cycle of length four or less. An $L$-coloring of $G$ is a mapping $φ$ with domain $V(G)$ such that $φ(v)\in L(v)$ for every $v\in V(G)$ and $φ(v)\neφ(u)$ for every pair of adjacent vertices $u,v\in V(G)$. We prove
* if every non-null-homotopic cycle in $G$ has length $Ω(\log g)$, then $G$ has an $L$-coloring,
* if $G$ does not have an $L$-coloring, but every proper subgraph does ("$L$-critical graph"), then $|V(G)|=O(g)$,
* if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and a set $X\subseteq V(G)$ of vertices that are pairwise at distance $Ω(1)$ is precolored from the corresponding lists, then the precoloring extends to an $L$-coloring of $G$,
* if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and the graph $G$ is allowed to have crossings, but every two crossings are at distance $Ω(1)$, then $G$ has an $L$-coloring, and
* if $G$ has at least one $L$-coloring, then it has at least $2^{Ω(|V(G)|)}$ distinct $L$-colorings.
We show that the above assertions are consequences of certain isoperimetric inequalities satisfied by $L$-critical graphs, and we study the structure of families of embedded graphs that satisfy those inequalities. It follows that the above assertions hold for other coloring problems, as long as the corresponding critical graphs satisfy the same inequalities.
Can the Sierpinski graph be embedded in the Hamming graph?
The (generalized & expanded) Sierpinski graph, S(n,m), and the Hamming graph have the same set of vertices (n-tuples from the set {0,1,...,m-1}. The edges of both are (unordered) pairs of vertices. Each set of edges is defined by a different property so that neither is contained in the other. We ask if there is a subgraph of the Hamming graph isomorphic to the Sierpinski graph and show that the answer is yes. The embedding map leads to number of variations and ramifications. Among them is a simple algebraic formula for the solution of the Tower of Hanoi puzzle.
Proper Orientations of Planar Bipartite Graphs
Published
• View Publication
• BIB
An orientation of a graph $G$ is proper if any two adjacent vertices have different indegrees. The proper orientation number $\overrightarrowχ(G)$ of a graph $G$ is the minimum of the maximum indegree, taken over all proper orientations of $G$. In this paper, we show that a connected bipartite graph may be properly oriented even if we are only allowed to control the orientation of a specific set of edges, namely, the edges of a spanning tree and all the edges incident to one of its leaves. As a consequence of this result, we prove that 3-connected planar bipartite graphs have proper orientation number at most 6. Additionally, we give a short proof that $\overrightarrowχ(G) \leq 4$, when $G$ is a tree and this proof leads to a polynomial-time algorithm to proper orient trees within this bound.
Lagrange Inversion
Published in Journal of Combinatorial Theory, Series A, Volume 144, November 2016, Pages 212-249
• View Publication
• BIB
We give a survey of the Lagrange inversion formula, including different versions and proofs, with applications to combinatorial and formal power series identities.
Addressing Graph Products and Distance-Regular Graphs
Graham and Pollak showed that the vertices of any connected graph $G$ can be assigned $t$-tuples with entries in $\{0, a, b\}$, called addresses, such that the distance in $G$ between any two vertices equals the number of positions in their addresses where one of the addresses equals $a$ and the other equals $b$. In this paper, we are interested in determining the minimum value of such $t$ for various families of graphs. We develop two ways to obtain this value for the Hamming graphs and present a lower bound for the triangular graphs.
Planar Graphs have Independence Ratio at least 3/13
Published in Electronic Journal of Combinatorics. Vol. 23(3), 2016, #P3.45
• View Publication
• BIB
The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$.
Spectral properties of the Cayley Graphs of split metacyclic groups
Let $Γ(G,S)$ denote the Cayley graph of a group $G$ with respect to a set $S \subset G$. In this paper, we analyze the spectral properties of the Cayley graphs $\mathcal{T}_{m,n,k} = Γ(\mathbb{Z}_m \ltimes_k \mathbb{Z}_n, \{(\pm 1,0),(0,\pm 1)\})$, where $m,n \geq 3$ and $k^m \equiv 1 \pmod{n}$. We show that the adjacency matrix of $\mathcal{T}_{m,n,k}$, upto relabeling, is a block circulant matrix, and we also obtain an explicit description of these blocks. By extending a result due to Walker-Mieghem to Hermitian matrices, we show that $\mathcal{T}_{m,n,k}$ is not Ramanujan, when either $m > 8$, or $n \geq 400$.
Asymptotics of Pattern Avoidance in the Permutation-Tuple and Klazar Set Partition Settings
We consider asymptotics of set partition pattern avoidance in the sense of Klazar. One of the results of this paper extends work of Alweiss, and finds a classification for set partitions $π$ such that the number of set partitions of $[n]$ avoiding $π$ grows more slowly than $n^{cn}$ for all $c>0$. Several conjectures are proposed, and the related question of asymptotics of parallel ($k$-tuple) permutation pattern avoidance is considered and solved completely to within an exponential factor, generalizing Marcus and Tardos's 2004 proof of the Stanley-Wilf Conjecture.
Abelian Ramsey Length and Asymptotic Lower Bounds
This technical note aims at evaluating an asymptotic lower bound on abelian Ramsey lengths.
Continued fraction algorithm for Sturmian colorings of trees
Published in Ergod. Th. Dynam. Sys. 39 (2019) 2541-2569
• View Publication
• BIB
Factor complexity $b_φ(n)$ for a vertex coloring $φ$ of a regular tree is the number of colored $n$-balls up to color-preserving automorphisms. Sturmian colorings are colorings of minimal unbounded factor complexity $b_φ(n) = n+2$. In this article, we prove an induction algorithm for Sturmian colorings using colored balls in a way analogous to induction algorithm of Sturmian words. Furthermore, we characterize Sturmian colorings in terms of the data for the induction algorithm.
On the restricted partition function
Published in Ramanujan J. Volume 47, Issue 3, 565-588 (2018)
• View Publication
• BIB
For a vector $\mathbf a=(a_1,\ldots,a_r)$ of positive integers we prove formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$ and its polynomial part.
On Vertex Rankings of Graphs and its Relatives
Published
• View Publication
• BIB
A vertex ranking of a graph is an assignment of ranks (or colors) to the vertices of the graph, in such a way that any simple path connecting two vertices of equal rank, must contain a vertex of a higher rank. In this paper we study a relaxation of this notion, in which the requirement above should only hold for paths of some bounded length $l$ for some fixed $l$. For instance, already the case $l=2$ exhibit quite a different behavior than proper coloring. We prove upper and lower bounds on the minimum number of ranks required for several graph families, such as trees, planar graphs, graphs excluding a fixed minor and degenerate graphs.
The complexity of perfect matchings and packings in dense hypergraphs
Published
• View Publication
• BIB
Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices.
In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph.
For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.
Coincidences among skew dual stable Grothendieck polynomials
Published in Involve 11 (2018) 143-167
• View Publication
• BIB
The question of when two skew Young diagrams produce the same skew Schur function has been well-studied. We investigate the same question in the case of stable Grothendieck polynomials, which are the K-theoretic analogues of the Schur functions. We prove a necessary condition for two skew shapes to give rise to the same dual stable Grothendieck polynomial. We also provide a necessary and sufficient condition in the case where the two skew shapes are ribbons.
Affine Hecke algebras and quantum symmetric pairs
Published
• View Publication
• BIB
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n)$, and $\big({\mathbf U}(\hat{ \mathfrak{gl}}_n), {\mathbf K}^{\mathfrak c}_n)$ forms a quantum symmetric pair. The modified coideal subalgebra is shown to admit monomial and stably canonical bases. We also formulate several variants of the affine Schur algebra and the (modified) coideal subalgebra above, as well as their monomial and canonical bases. This work provides a new and algebraic approach which complements and sheds new light on our previous geometric approach on the subject. In the appendix by four of the authors, new length formulas for the Weyl groups of affine classical types are obtained in a symmetrized fashion.
The multi-stripe travelling salesman problem
In the classical Travelling Salesman Problem (TSP), the objective function sums the costs for travelling from one city to the next city along the tour. In the q-stripe TSP with q larger than 1, the objective function sums the costs for travelling from one city to each of the next q cities along the tour. The resulting q-stripe TSP generalizes the TSP and forms a special case of the quadratic assignment problem. We analyze the computational complexity of the q-stripe TSP for various classes of specially structured distance matrices. We derive NP-hardness results as well as polyomially solvable cases. One of our main results generalizes a well-known theorem of Kalmanson from the classical TSP to the q-stripe TSP.
Gallai's path decomposition conjecture for graphs of small maximum degree
Published
• View Publication
• BIB
Gallai's path decomposition conjecture states that the edges of any connected graph on n vertices can be decomposed into at most (n+1)/2 paths. We confirm that conjecture for all graphs with maximum degree at most five.