Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the local metric dimension of corona product graphs
Published
• View Publication
• BIB
A vertex $v\in V(G)$ is said to distinguish two vertices $x,y\in V(G)$ of a nontrivial connected graph $G$ if the distance from $v$ to $x$ is different from the distance from $v$ to $y$.
A set $S\subset V(G)$ is a local metric generator for $G$ if every two adjacent vertices of $G$ are distinguished by some vertex in $S$. A local metric generator with the minimum cardinality is called a local metric basis for $G$ and its cardinality, the local metric dimension of G. In this paper we study the problem of finding exact values for the local metric dimension of corona product of graphs.
A new randomized algorithm for the Erdos--Hajnal problem
In 1961 Erdős and Hajnal introduced the quantity $m(n)$ as the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least 3. The best known lower and upper bounds for $ m(n) $ are $ c_1 \sqrt{\frac{n}{\ln n}} 2^n$ and $c_2 n^2 2^n$ respectively. The lower bound is due to Radhakrishnan and Srinivasan (see \cite{RS}). A natural generalization for $ m(n) $ is the quantity $ m(n,r) $, which is the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least $r+1$. In this work, we present a new randomized algorithm yielding a bound $ m(n,r) \ge c n^{\frac{r-1}{r}} r^{n-1} $, which improves upon all the previous bounds in a wide range of the parameters $ n, r $. Moreover, for $ r = 2 $, we get exactly the same bound as in the work \cite{RS} of Radhakrishnan and Srinivasan, and our proof is simpler.
Hamiltonian Cycle in Semi-Equivelar Maps on the Torus
Semi-Equivelar maps are generalizations of Archimedean solids to the surfaces other than 2-sphere. There are eight semi-equivelar maps of types $\{3^{3},4^{2}\}$, $\{3^{2},4,3,4\}$, $\{6,3,6,3\}$, $\{3^{4},6\}$, $\{4,8^{2}\}$, $\{3,12^{2}\}$, $\{4,6,12\}$, $\{6,4,3,4\}$ exist on the torus. In this article we show the existence of Hamiltonian cycle in each semi-equivelar map on the torus except the map of type $\{3,12^{2}\}$. This result gives the partial solution to the conjecture which is given by Gr$\ddot{u}$nbaum \cite{grunbaum} and Nash-Williams \cite{nash williams} that every 4-connected graph on the torus is Hamiltonian.
Beyond Ohba's Conjecture: A bound on the choice number of $k$-chromatic graphs with $n$ vertices
Published
• View Publication
• BIB
Let $\text{ch}(G)$ denote the choice number of a graph $G$ (also called "list chromatic number" or "choosability" of $G$). Noel, Reed, and Wu proved the conjecture of Ohba that $\text{ch}(G)=χ(G)$ when $|V(G)|\le 2χ(G)+1$. We extend this to a general upper bound: $\text{ch}(G)\le \max\{χ(G),\lceil({|V(G)|+χ(G)-1})/{3}\rceil\}$. Our result is sharp for $|V(G)|\le 3χ(G)$ using Ohba's examples, and it improves the best-known upper bound for $\text{ch}(K_{4,\dots,4})$.
Deterministic bootstrap percolation in high dimensional grids
In this paper, we study the k-neighbor bootstrap percolation process on the d-dimensional grid [n]^d, and show that the minimum number of initial vertices that percolate is (1-d/k)n^d + O(n^{d-1})$ when d<=k<=2d. This confirms a conjecture of Pete.
Asymptotics of Chebyshev-Stirling and Stirling numbers of the second kind
Published
• View Publication
• BIB
For the Chebyshev-Stirling numbers, a special case of the Jacobi-Stirling numbers, asymptotic formulae are derived in terms of a local central limit theorem. The underlying probabilistic approach also applies to the classical Stirling numbers of the second kind. Thereby a supplement of the asymptotic analysis for these numbers is established.
A classification of nilpotent 3-BCI groups
Given a finite group $G$ and a subset $S\subseteq G,$ the bi-Cayley graph $\bcay(G,S)$ is the graph whose vertex set is $G \times \{0,1\}$ and edge set is $\{\{(x,0),(s x,1)\} : x \in G, s\in S \}$. A bi-Cayley graph $\bcay(G,S)$ is called a BCI-graph if for any bi-Cayley graph $\bcay(G,T),$ $\bcay(G,S) \cong \bcay(G,T)$ implies that $T = g S^α$ for some $g \in G$ and $α\in \aut(G)$. A group $G$ is called an $m$-BCI-group if all bi-Cayley graphs of $G$ of valency at most $m$ are BCI-graphs.In this paper we prove that, a finite nilpotent group is a 3-BCI-group if and only if it is in the form $U \times V,$ where $U$ is a homocyclic group of odd order, and $V$ is trivial or one of the groups $\Z_{2^r},$ $\Z_2^r$ and $\Q_8$.
Asymptotic formulas for stacks and unimodal sequences
Published
• View Publication
• BIB
We study enumeration functions for unimodal sequences of positive integers, where the size of a sequence is the sum of its terms. We survey known results for a number of natural variants of unimodal sequences, including Auluck's generalized Ferrer diagrams, Wright's stacks, and Andrews' convex compositions. These results describe combinatorial properties, generating functions, and asymptotic formulas for the enumeration functions. We also prove several new asymptotic results that fill in the notable missing cases from the literature, including an open problem in statistical mechanics due to Temperley. Furthermore, we explain the combinatorial and asymptotic relationship between partitions, Andrews' Frobenius symbols, and stacks with summits.
A Canonical Partition of the Primes of Logic Functions
This paper presents algorithms that relate to the problem of finding a minimum-cost sum-of-primes representation of a Boolean function f when the cost function C is positive and additive. A set of primes whose sum equals f is called a basis for f, so a solution to the problem is a minimum-cost basis.
The algorithms construct the following canonical partition of the complete set of primes and identify the members of sets 1, 2, and 3:
(1) Essential Primes, which must be part of any basis for f,
(2) Unnecessary Primes that cannot be part of a minimum-cost basis for f for any positive additive cost function,
(3) Unique disjoint sets of primes, PS1,...,PSN with associated "covering" tables TS1,..., TSN such that any minimum-cost basis consists of the union of the sets
Essential Primes, QS1(C), ..., QSN(C) where QSi(C) is contained in PSi and QSi(C) is a minimum-cost "cover" for PSi. Covering is defined by operation Cascade(QS, TS), which has the property that QS covers PS if and only if Cascade(QS, TS) is empty.
The key to the results is the study of objects called Ancestor Sets. The Ancestor Theorem proves that if A is an Ancestor Set for f, every minimum-cost basis includes a minimum-cost cover for the set of primes PS in Ancestor Set A and a minimum-cost cover for the set of primes that are not in A (and are not covered by the the union of the Essentials with PS). The PSi in the partition are the sets of primes in canonical disjoint Independent Ancestor Sets Ai, which are easy to generate when the calculation of the primes (and their consensus combinations) is within computational scope. The paper also presents a condition under which QSi(C) can be easily determined, and another condition such that PSi can be broken into disjoint pieces that can be minimized separately.
The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$
Published in Electronic Journal of Combinatorics, 20(4) (2013) #P19
• View Publication
• BIB
Using computer algorithms we establish that the Ramsey number $R(3,K_{10}-e)$ is equal to 37, which solves the smallest open case for Ramsey numbers of this type. We also obtain new upper bounds for the cases of $R(3,K_k-e)$ for $11 \le k \le 16$, and show by construction a new lower bound $55 \le R(3,K_{13}-e)$.
The new upper bounds on $R(3,K_k-e)$ are obtained by using the values and lower bounds on $e(3,K_l-e,n)$ for $l \le k$, where $e(3,K_k-e,n)$ is the minimum number of edges in any triangle-free graph on $n$ vertices without $K_k-e$ in the complement. We complete the computation of the exact values of $e(3,K_k-e,n)$ for all $n$ with $k \leq 10$ and for $n \leq 34$ with $k = 11$, and establish many new lower bounds on $e(3,K_k-e,n)$ for higher values of $k$.
Using the maximum triangle-free graph generation method, we determine two other previously unknown Ramsey numbers, namely $R(3,K_{10}-K_3-e)=31$ and $R(3,K_{10}-P_3-e)=31$. For graphs $G$ on 10 vertices, %besides $G=K_{10}$, this leaves 6 other open besides $G=K_{10}$, this leaves 6 open cases of the form $R(3,G)$. The hardest among them appears to be $G=K_{10}-2K_2$, for which we establish the bounds $31 \le R(3,K_{10}-2K_2) \le 33$.
Infinitesimal Rigidity of Symmetric Frameworks
Published
• View Publication
• BIB
We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whose joints are positioned as generic as possible subject to the symmetry constraints imposed by a reflection, a half-turn or a three-fold rotation in the plane. For bar-joint frameworks which are generic with respect to any other cyclic point group in the plane, we provide a number of necessary conditions for infinitesimal rigidity.
Detecting wheels
Published in Applicable Analysis and Discrete Mathematics, 8:111-122, 2014
• View Publication
• BIB
A \emph{wheel} is a graph made of a cycle of length at least~4 together with a vertex that has at least three neighbors in the cycle. We prove that the problem whose instance is a graph $G$ and whose question is "does $G$ contains a wheel as an induced subgraph" is NP-complete. We also settle the complexity of several similar problems.
Root-theoretic Young diagrams and Schubert calculus: planarity and the adjoint varieties
Published in J. Algebra, Volume 448, 15 February 2016, p. 238-293
• View Publication
• BIB
We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess both uniform and non-uniform features. Using these classical type rules, as well as results of P.-E.Chaput-N.Perrin in the exceptional types, we suggest a connection between polytopality of the set of nonzero Schubert structure constants and planarity of the diagrams. This is an addition to work of A.Klyachko and A.Knutson-T.Tao on the Grassmannian and of K.Purbhoo-F.Sottile on cominuscule varieties, where the diagrams are always planar.
Number of permutations with same peak set for signed permutations
Published
• View Publication
• BIB
A signed permutation π= π_1π_2 \ldots π_n in the hyperoctahedral group B_n is a word such that each π_i \in {-n, \ldots, -1, 1, \ldots, n} and {|π_1|, |π_2|, \ldots, |π_n|} = {1,2,\ldots,n}. An index i is a peak of πif π_{i-1}<π_i>π_{i+1} and P_B(π) denotes the set of all peaks of π. Given any set S, we define P_B(S,n) to be the set of signed permutations π\in B_n with P_B(π) = S. In this paper we are interested in the cardinality of the set P_B(S,n). In 2012, Billey, Burdzy and Sagan investigated the analogous problem for permutations in the symmetric group, S_n. In this paper we extend their results to the hyperoctahedral group; in particular we show that #P_B(S,n) = p(n)2^{2n-|S|-1} where p(n) is the same polynomial found in by Billey, Burdzy and Sagan which leads to the explicit computation of interesting special cases of the polynomial p(n). In addition we have extended these results to the case where we add π_0=0 at the beginning of the permutations, which gives rise to the possibility of a peak at position 1, for both the symmetric and the hyperoctahedral groups.
On the structure of self-complementary graphs
A \emph{self-complementary} graph is a graph isomorphic to its complement. An isomorphism between $G$ and its complement, viewed as a permutation of $V(G)$, is then called an \emph{antimorphism}. A \emph{skew partition} of $G$ is a partition of $V(G)$ into 4 sets $A,B,C,D$ such that there is no edge between $A,B$ and every possible edge between $C,D$. A \emph{symmetric partition} of $G$ is a partition of $V(G)$ into 4 sets $A,B,C,D$ such that there is no edge between $A, D$, no edge between $B, C$, every possible edge between $A,B$ and every possible edge between $C,D$.
We give a new proof of a theorem of Gibbs saying that every self-complementary graph on $4k$ vertices has $k$ disjoint paths on 4 vertices as induced subgraph. This new proof gives more structural information than the original one. We conjecture that every self-complementary graph on $4k$ vertices either has an induced cycle on 5 vertices, or a skew partition, or a symmetric partition. The new proof of Gibb's theorem yields a proof of the conjecture for the self-complementary graphs that have an antimorphism that is the product of a two circular permutations, one of them of length 4.
A generalized closure concept based on neighborhood-equivalence and preserving graph Hamiltonicity
A graph is Hamiltonian if it contains a cycle which goes through all vertices exactly once. Determining if a graph is Hamiltonian is known as a NP-complete problem and no satisfactory characterization for these graphs has been found.
In 1976 Bondy and Chvatal introduced a way to get round the Hamiltonicity problem complexity by using a closure of the graph. This closure is a supergraph of G which preserves Hamiltonicity, that is, which is Hamiltonian if and only if G is. Since this seminal work, several closure concepts preserving Hamiltonicity were introduced. In particular Ryjacek defined in 1997 a closure concept for claw-free graphs based on local completion. The completion is performed for every eligible vertex of the graph.
Extending these works, Vallee and Bretto recently introduced a new closure concept preserving Hamiltonicity and based on local completion. The local completion is performed for each neighborhood-equivalence eligible vertex of the graph.
In this article, we generalize the main results of Vallee and Bretto by introducing a broader notion of neighborhood equivalence eligibility, allowing the definition of a denser graph closure which still preserves Hamiltonicity.
Bidimensionality of Geometric Intersection Graphs
Published
• View Publication
• BIB
Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the corresponding bodies is non-empty. For such graph classes and under natural restrictions on their maximum degree or subgraph exclusion, we prove that the relation between their treewidth and the maximum size of a grid minor is linear. These combinatorial results vastly extend the applicability of all the meta-algorithmic results of the bidimensionality theory to geometrically defined graph classes.
Voronoi's Conjecture for extensions of Voronoi parallelohedra
Published
• View Publication
• BIB
Let $I$ be a segment in the $d$-dimensional Euclidean space $\mathbb E^d$. Let $P$ and $P+I$ be parallelohedra in $\mathbb E^d$, where "+" denotes the Minkowski sum. We prove that Voronoi's Conjecture holds for $P+I$, i.e. $P+I$ is a Voronoi parallelohedron for some Euclidean metric in $\mathbb E^d$, if Voronoi's Conjecture holds for $P$.
Equidistant Codes in the Grassmannian
Published
• View Publication
• BIB
Equidistant codes over vector spaces are considered. For $k$-dimensional subspaces over a large vector space the largest code is always a sunflower. We present several simple constructions for such codes which might produce the largest non-sunflower codes. A novel construction, based on the Plücker embedding, for 1-intersecting codes of $k$-dimensional subspaces over $\F_q^n$, $n \geq \binom{k+1}{2}$, where the code size is $\frac{q^{k+1}-1}{q-1}$ is presented. Finally, we present a related construction which generates equidistant constant rank codes with matrices of size $n \times \binom{n}{2}$ over $\F_q$, rank $n-1$, and rank distance $n-1$.
The threshold for integer homology in random d-complexes
Published
• View Publication
• BIB
Let Y ~ Y_d(n,p) denote the Bernoulli random d-dimensional simplicial complex. We answer a question of Linial and Meshulam from 2003, showing that the threshold for vanishing of homology H_{d-1}(Y; Z) is less than 80d log n / n. This bound is tight, up to a constant factor.