Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the Sparing Number of Certain Graph Structures
Published in Annals of Pure and Applied Mathematics, Vol. 6 No.2, 2014, pp-140-149
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An IASI $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. A graph which admits a weak IASI may be called a weak IASI graph. The set-indexing number of an element of a graph $G$, a vertex or an edge, is the cardinality of its set-labels. A mono-indexed element of a graph is an element of $G$ which has the set-indexing number $1$. The Sparing number of a graph $G$ is the minimum number of mono-indexed edges required for a graph $G$ to admit a weak IASI. In this paper, we introduce the notion of conjoined graphs, entwined graphs and floral graphs and study further about the sparing number of various finite graph operations as extensions to our earlier studies and provide some useful results on these types of graph structures.
Weak Integer Additive Set-Indexers of Certain Graph Products
Published in Journal of Informatics & Mathemtical Sciences, Vol. 6, Issue 1, 2014, pp. 35-43
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective, where $f(u)+f(v)$ is the sumset of $f(u)$ and $f(v)$. If $g_f(uv)=k \forall uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexers. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|g_f(uv)|=max(|f(u)|,|f(v)|) \forall uv\in E(G)$. We have some characteristics of the graphs which admit weak integer additive set-indexers. We already have some results on the admissibility of weak integer additive set-indexer by certain graphs and finite graph operations. In this paper, we study further characteristics of certain graph products like cartesian product and corona of two weak IASI graphs and their admissibility of weak integer additive set-indexers and provide some useful results on these types of set-indexers.
On the Lattice Isomorphism Problem
Published
• View Publication
• BIB
We study the Lattice Isomorphism Problem (LIP), in which given two lattices L_1 and L_2 the goal is to decide whether there exists an orthogonal linear transformation mapping L_1 to L_2. Our main result is an algorithm for this problem running in time n^{O(n)} times a polynomial in the input size, where n is the rank of the input lattices. A crucial component is a new generalized isolation lemma, which can isolate n linearly independent vectors in a given subset of Z^n and might be useful elsewhere. We also prove that LIP lies in the complexity class SZK.
On enumeration of a class of toroidal graphs
Published
• View Publication
• BIB
We present enumerations of a class of toroidal graphs which give rise to semi-equivelar maps. There are eleven different types of semi-equivelar maps on the torus. These are of the types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$, $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$. We know the classification of the maps of types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$ on the torus. In this article, we attempt to classify maps of types $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\{3, 12^{2}\}$, $\{4, 6, 12\}$, $\{3, 4, 6, 4\}$ on the torus.
Neighbour-transitive codes in Johnson graphs
Published
• View Publication
• BIB
The Johnson graph J(v,k) has, as vertices, the k-subsets of a v-set V, and as edges the pairs of k-subsets with intersection of size k-1. We introduce the notion of a neighbour-transitive code in J(v,k). This is a vertex subset Γsuch that the subgroup G of graph automorphisms leaving Γinvariant is transitive on both the set Γof `codewords' and also the set of `neighbours' of Γ, which are the non-codewords joined by an edge to some codeword. We classify all examples where the group G is a subgroup of the symmetric group on V and is intransitive or imprimitive on the underlying v-set V. In the remaining case where G lies in Sym(V) and G is primitive on V, we prove that, provided distinct codewords are at distance at least 3 in J(v,k), then G is 2-transitive on V. We examine many of the infinite families of finite 2-transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.
Nearly Planar Graphs and λ-flat Graphs
A graph G is ξ-nearly planar if it can be embedded in the sphere so that each of its edges is crossed at most ξ times. The family of ξ-nearly planar graphs is widely extending the notion of planarity. We introduce an alternative parameterized graph family extending the notion of planarity, the λ-flat graphs, this time defined as powers of plane graphs in regard to a novel notion of distance, the wall-by-wall distance. We show that the two parameterized graph classes are parametrically equivalent.
The PFR Conjecture Holds for Two Opposing Special Cases
Let $A \subseteq F_2^n$ be a set with $|2A| = K|A|$. We prove that if (1) for at least a fraction $1-K^{-9}$ of all $s \in 2A$, the set $(A+s) \cap A$ has size at most $L\cdot|A|/K$, or (2) for at least a fraction $K^{-L}$ of all $s \in 2A$, the set $(A+s) \cap A$ has size at least $|A|\cdot(1- K^{-1/L})$, then there is a subset $B \subseteq A$ of size $|A|/K^{O_L(1)}$ such that $\mathrm{span}(B) \leq K^{O_L(1)}\cdot|A|$.
On a question of Hof, Knill and Simon on palindromic substitutive systems
Published
• View Publication
• BIB
In a 1995 paper, Hof, Knill and Simon obtain a sufficient combinatorial criterion on the hull $Ω$ of the potential of a discrete Schrödinger operator which guarantees purely singular continuous spectrum on a generic subset of $Ω.$ In part, this condition requires the existence of infinitely many palindromic factors. In this same paper, they introduce the class P of morphisms $f:A^*\rightarrow B^*$ of the form $a\mapsto pq_a$ and ask whether every palindromic subshift generated by a primitive substitution arises from morphisms of class P or by morphisms of the form $a\mapsto q_ap$ where again $p$ and $q_a$ are palindromes. In this paper we give a partial affirmative answer to the question of Hof, Knill and Simon: we show that every rich primitive substitutive subshift is generated by at most two morphisms each of which is conjugate to a morphism of class P. More precisely, we show that every rich (or almost rich in the sense of finite defect) primitive morphic word $y\in B^ω$ is of the form $y=f(x)$ where $f:A^*\rightarrow B^*$ is conjugate to a morphism of class P, and where $x$ is a rich word fixed by a primitive substitution $g:A^*\rightarrow A^*$ of class P.
Hunter & Mole
We consider a variation of a cops and robbers game in which the cop---here referred to as "hunter"---is not constrained by the graph but must play in the dark against a "mole." We characterize the graphs---which we will call "hunter-win"---on which the hunter can guarantee capture of the mole in bounded time. We also define an optimal hunter strategy (and consequently an upper bound on maximum game time on hunter-win graphs) and note that an optimal hunter strategy need not take advantage of the hunter's unconstrained movement! This game comes from a puzzle of unknown origin which was told to the authors by Dick Hess.
Faster Algorithms For Vertex Partitioning Problems Parameterized by Clique-width
Published in Theoret. Comput. Sci. 535(May 2014), pp. 16-24
• View Publication
• BIB
Many NP-hard problems, such as Dominating Set, are FPT parameterized by clique-width. For graphs of clique-width $k$ given with a $k$-expression, Dominating Set can be solved in $4^k n^{O(1)}$ time. However, no FPT algorithm is known for computing an optimal $k$-expression. For a graph of clique-width $k$, if we rely on known algorithms to compute a $(2^{3k}-1)$-expression via rank-width and then solving Dominating Set using the $(2^{3k}-1)$-expression, the above algorithm will only give a runtime of $4^{2^{3k}} n^{O(1)}$. There have been results which overcome this exponential jump; the best known algorithm can solve Dominating Set in time $2^{O(k^2)} n^{O(1)}$ by avoiding constructing a $k$-expression [Bui-Xuan, Telle, and Vatshelle. Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. Theoret. Comput. Sci., 2013. doi:10.1016/j.tcs.2013.01.009]. We improve this to $2^{O(k\log k)}n^{O(1)}$. Indeed, we show that for a graph of clique-width $k$, a large class of domination and partitioning problems (LC-VSP), including Dominating Set, can be solved in $2^{O(k\log{k})} n^{O(1)}$. Our main tool is a variant of rank-width using the rank of a $0$-$1$ matrix over the rational field instead of the binary field.
A diagrammatic approach to Kronecker squares
Published in J. Combin. Theory Ser. A 127 (2014) 243-285
• View Publication
• BIB
In this paper we apply a method of Robinson and Taulbee for computing Kronecker coefficients together with other ingredients and show that the multiplicity of each component in a Kronecker square can be obtained from an evaluation of a certain polynomial, which depends only on the component and is computed combinatorially. This polynomial has as many variables as the set of isomorphism classes of connected skew diagrams of size at most the depth of the component.
We present two applications. The first is a contribution to Saxl conjecture, which asserts that the Kronecker square of the staircase partition, contains every irreducible character of the symmetric group as a component. We prove that for any partition there is a piecewise polynomial function in one real variable such that for all k, such that the multiplicity of this partition in the Kronecker square of the staircase partition of size k is given by the evaluation of the polynomial function in k. The second application is a proof of a new stability property for Kronecker coefficients.
Stanley-Wilf limits are typically exponential
For a permutation $π$, let $S_{n}(π)$ be the number of permutations on $n$ letters avoiding $π$. Marcus and Tardos proved the celebrated Stanley-Wilf conjecture that $L(π)= \lim_{n \to \infty} S_n(π)^{1/n}$ exists and is finite. Backed by numerical evidence, it has been conjectured by many researchers over the years that $L(π)=Θ(k^2)$ for every permutation $π$ on $k$ letters. We disprove this conjecture, showing that $L(π)=2^{k^{Θ(1)}}$ for almost all permutations $π$ on $k$ letters.
Every finite acyclic quiver is a full subquiver of a quiver mutation equivalent to a bipartite quiver
We give a very short proof of the claim in the title.
An Existential Proof of the Conjecture on Packing Anchored Rectangles
Let $P_{n}$ be a set of $n$ points, including the origin, in the unit square $U = [0,1]^2$. We consider the problem of constructing $n$ axis-parallel and mutually disjoint rectangles inside $U$ such that the bottom-left corner of each rectangle coincides with a point in $P_{n}$ and the total area covered by the rectangles is maximized \cite{ibmpuzzle}, \cite{Winkler2007}, \cite{Winkler2010a}, \cite{Winkler2010b}. The longstanding conjecture has been that at least half of $U$ can be covered when such rectangles are properly placed. In this paper, we give an existential proof of the conjecture.
Flows on Bidirected Graphs
The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow.
For a graph embedded in an orientable surface of higher genus, flows are not dual to colourings, but to local-tensions. By Seymour's theorem, every graph on an orientable surface without the obvious obstruction has a nowhere-zero 6-local-tension. Bouchet conjectured that the same should hold true on non-orientable surfaces. Equivalently, Bouchet conjectured that every bidirected graph with a nowhere-zero $\mathbb{Z}$-flow has a nowhere-zero 6-flow. Our main result establishes that every such graph has a nowhere-zero 12-flow.
Combinatorics of Link Diagrams and Volume
Published in Journal of Knot Theory and Its Ramifications, Vol. 24, No. 1 (2015), 1550001 (21 pages)
• View Publication
• BIB
We show that the volumes of certain hyperbolic A-adequate links can be bounded (above and) below in terms of two diagrammatic quantities: the twist number and the number of certain alternating tangles in an A-adequate diagram. We then restrict our attention to plat closures of certain braids, a rich family of links whose volumes can be bounded in terms of the twist number alone. Furthermore, in the absence of special tangles, our volume bounds can be expressed in terms of a single stable coefficient of the colored Jones polynomial. Consequently, we are able to provide a new collection of links that satisfy a Coarse Volume Conjecture.
Edge-colorings and circular flow numbers on regular graphs
Published in Journal Graph Theory 79 (2015) 1-7
• View Publication
• BIB
The paper characterizes $(2t+1)$-regular graphs with circular flow number $2 + \frac{2}{2t-1}$. For $t=1$ this is Tutte's characterization of cubic graphs with flow number 4. The class of cubic graphs is the only class of odd regular graphs where a flow number separates the class 1 graphs from the class 2 graphs. We finally state some conjectures and relate them to existing flow-conjectures.
Some Motzkin-Straus type results for non-uniform hypergraphs
Published
• View Publication
• BIB
A remarkable connection between the order of a maximum clique and the Lagrangian of a graph was established by Motzkin and Straus in 1965. This connection and its extensions were applied in Turán problems of graphs and uniform hypergraphs. Very recently, the study of Turán densities of non-uniform hypergraphs has been motivated by extremal poset problems. In this paper, we give some Motzkin-Straus type results for non-uniform hypergraphs.
Images of Rational Maps of Projective Spaces
Published
• View Publication
• BIB
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the closure of the image of the rational map using a combination of techniques of moduli functors and initial degenerations. We first give a formula of multi-degree in terms of the dimensions of intersections of linear subspaces and then prove that it is Cohen-Macaulay. Finally, we compute its Hilbert polynomials.
A conjecture on the primitive degree of Tensors
In this paper, we prove: Let A be a nonnegative primitive tensor with order m and dimension n. Then its primitive degree R(A)\leq (n-1)^2+1, and the upper bound is sharp. This confirms a conjecture of Shao [7].