Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A result in asymmetric Euclidean Ramsey theory
Published
• View Publication
• BIB
It is proved that if the points of the three-dimensional Euclidean space are coloured in red and blue, then there exist either two red points unit distance apart, or six collinear blue points with distance one between any two consecutive points.
Weak dual equivalence for polynomials
Published
• View Publication
• BIB
We use dual equivalence to give a short, combinatorial proof that Stanley symmetric functions are Schur positive. We introduce weak dual equivalence, and use it to give a short, combinatorial proof that Schubert polynomials are key positive. To demonstrate further the utility of this new tool, we use weak dual equivalence to prove a nonnegative Littlewood--Richardson rule for the key expansion of the product of a key polynomial and a Schur polynomial, and to introduce skew key polynomials that, when skewed by a partition, expand nonnegatively in the key basis.
Maximum Independent Sets Partition of (n,k)-Star Graphs
Published
• View Publication
• BIB
The (n,k)-star graph is a very important computer modelling. The independent number and chromatic number of a graph are two important parameters in graph theory. However, we did not know the values of this two parameters of the (n,k)-star graph since it was proposed. In [18], Wei et. al. declared that they determined the independent number of the (n,k)-star graph, unfortunately their proof is wrong. This paper generalize their result and present a maximum independent sets partition of (n,k)-star graph. From that we can immediately deduce the exact value of the independent number and chromatic number of (n,k)-star graph.
Kneser graphs are like Swiss cheese
Published in Discrete Analysis, 2018:2
• View Publication
• BIB
We prove that for a large family of product graphs, and for Kneser graphs $K(n,αn)$ with fixed $α<1/2$, the following holds. Any set of vertices that spans a small proportion of the edges in the graph can be made independent by removing a small proportion of the vertices of the graph. This allows us to strengthen the results of [DinurFR06] and [DinurF09], and show that any independent set in these graphs is almost contained in an independent set which depends on few coordinates. Our proof is inspired by, and follows some of the main ideas of, Fox's proof of the graph removal lemma [Fox11].
Pinned Distances in Modules over Finite Valuation Rings
Let $R$ be a finite valuation ring of order $q^r$ where $q$ is odd and $A$ be a subset of $R$. In the present paper, we prove that there exists a point $u$ in the Cartesian product set $A\times A\subset R^2$ such that the size of the pinned distance set at $u$ satisfies $$|Δ_u(A\times A)|\gg \min\left\{q^r, \frac{|A|^3}{q^{2r-1}}\right\}.$$ This implies that if $|A|\ge q^{r-\frac{1}{3}}$, then the set $A\times A$ determines a positive proportion of all possible distances.
A set of 12 numbers is not determined by its set of 4-sums
Published
• View Publication
• BIB
We present two sets of 12 integers that have the same sets of 4-sums. The proof of the fact that a set of 12 numbers is uniquely determined by the set of its 4-sums published 50 years ago is wrong, and we demonstrate an incorrect calculation in it.
Enumeration of Carlitz Multipermutations
A multipermutation with $k$ copies each of $1\ldots n$ is Carlitz if neighbours are different. We enumerate these objects for $k=2,3,4$ and derive recurrences. In particular, we prove and improve a conjectured recurrence for $k=3$, stated in OEIS, the Online Encyclopedia of Integer Sequences.
On the block number of graphs
A $k$-block in a graph $G$ is a maximal set of at least $k$ vertices no two of which can be separated in $G$ by deleting fewer than $k$ vertices. The block number $β(G)$ of $G$ is the maximum integer $k$ for which $G$ contains a $k$-block.
We prove a structure theorem for graphs without a $(k+1)$-block, showing that every such graph has a tree-decomposition in which every torso has at most $k$ vertices of degree $2k^2$ or greater. This yields a qualitative duality, since every graph that admits such a decomposition has block number at most $2k^2$.
We also study $k$-blocks in graphs from classes of graphs $\mathcal{G}$ that exclude some fixed graph as a topological minor, and prove that every $G \in \mathcal{G}$ satisfies $β(G) \leq c\sqrt[3]{|G|}$ for some constant $c = c( \mathcal{G})$.
Moreover, we show that every graph of tree-width at least $2k^2$ has a minor containing a $k$-block. This bound is best possible up to a multiplicative constant.
The Graovac-Pisanski Index of Zig-Zag Tubulenes and the Generalized Cut Method
Published in J. Math. Chem. 55 (2017) 1622-1637
• View Publication
• BIB
The Graovac-Pisanski index, which is also called the modified Wiener index, was introduced in 1991 by A. Graovac and T. Pisanski. This variation of the classical Wiener index takes into account the symmetries of a graph. In 2016 M. Ghorbani and S. Klavžar calculated this index by using the cut method, which we generalize in this paper. Moreover, we prove that in some cases the automorphism group of a zig-zag tubulene is isomorphic to the direct product of a dihedral group and a cyclic group. Finally, the closed formulas for the Graovac-Pisanski index of zig-zag tubulenes are calculated.
Characterising inflations of monotone grid classes of permutations
Published
• View Publication
• BIB
We characterise those permutation classes whose simple permutations are monotone griddable. This characterisation is obtained by identifying a set of nine substructures, at least one of which must occur in any simple permutation containing a long sum of 21s.
On the number of vertices of the stochastic tensor polytope
Published
• View Publication
• BIB
This paper is devoted to the study of lower and upper bounds for the number of vertices of the polytope of $n\times n\times n$ stochastic tensors (i.e., triply stochastic arrays of dimension $n$). By using known results on polytopes (i.e., the Upper and Lower Bound Theorems), we present some new lower and upper bounds. We show that the new upper bound is tighter than the one recently obtained by Chang, Paksoy and Zhang [Ann. Funct. Anal. 7 (2016), no.~3, 386--393] and also sharper than the one in Linial and Luria's [Discrete Comput. Geom. 51 (2014), no.~1, 161--170]. We demonstrate that the analog of the lower bound obtained in such a way, however, is no better than the existing ones.
Terminal-Pairability in Complete Bipartite Graphs
Published in Discrete Applied Mathematics, Volume 236, 19 February 2018, Pages 459-463
• View Publication
• BIB
We investigate the terminal-pairibility problem in the case when the base graph is a complete bipartite graph, and the demand graph is also bipartite with the same color classes. We improve the lower bound on maximum value of $Δ(D)$ which still guarantees that the demand graph $D$ is terminal-pairable in this setting. We also prove a sharp theorem on the maximum number of edges such a demand graph can have.
Polytopes, dualities, and Floer homology
This article is an exposition of a body of existing results, together with an announcement of recent results. We discuss a theory of polytopes associated to bipartite graphs and trinities, developed by Kálmán, Postnikov and others. This theory exhibits a variety of interesting duality and triality relations, and extends into knot theory, 3-manifold topology and Floer homology. In recent joint work with Kálmán, we extend this story into contact topology and contact invariants in sutured Floer homology.
Strong 2.t and Strong 3.t Transformations for Strong M-equivalence
Published
• View Publication
• BIB
Parikh matrices have been extensively investigated due to their usefulness in studying subword occurrences in words. Due to the dependency of Parikh matrices on the ordering of the alphabet, strong M-equivalence was proposed as an order-independent alternative to M-equivalence in studying words possessing the same Parikh matrix. This paper introduces and studies the notions of strong 2.t and strong 3.t transformations in determining when two ternary words are strongly M-equivalent. The irreducibility of strong 2.t transformations are then scrutinized, exemplified by a structural characterization of irreducible strong 2.2 transformations. The common limitation of these transformations in characterizing strong M-equivalence is then addressed.
Projections in vector spaces over finite fields
Published
• View Publication
• BIB
We study the projections in vector spaces over finite fields. We prove finite fields analogues of the bounds on the dimensions of the exceptional sets for Euclidean projection mapping. We provide examples which do not have exceptional projections via projections of random sets. In the end we study the projections of sets which have the (discrete) Fourier decay.
Finding Hamilton cycles in random intersection graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (March 5, 2018) dmtcs:3144
• View Publication
• BIB
The construction of the random intersection graph model is based on a random family of sets. Such structures, which are derived from intersections of sets, appear in a natural manner in many applications. In this article we study the problem of finding a Hamilton cycle in a random intersection graph. To this end we analyse a classical algorithm for finding Hamilton cycles in random graphs (algorithm HAM) and study its efficiency on graphs from a family of random intersection graphs (denoted here by G(n,m,p)). We prove that the threshold function for the property of HAM constructing a Hamilton cycle in G(n,m,p) is the same as the threshold function for the minimum degree at least two. Until now, known algorithms for finding Hamilton cycles in G(n,m,p) were designed to work in very small ranges of parameters and, unlike HAM, used the structure of the family of random sets.
Epsilon-approximations and epsilon-nets
The use of random samples to approximate properties of geometric configurations has been an influential idea for both combinatorial and algorithmic purposes. This chapter considers two related notions---$ε$-approximations and $ε$-nets---that capture the most important quantitative properties that one would expect from a random sample with respect to an underlying geometric configuration.
Borsuk and Ramsey type questions in Euclidean space
Published in Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge University Press, 2018, 259--277
• View Publication
• BIB
We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every $d\ge d_0$, there is a finite point set $P\subset\mathbb{R}^d$ of diameter $1$ such that no matter how we color the elements of $P$ with fewer than $(1+\varepsilon)^{\sqrt{d}}$ colors, we can always find $r$ points of the same color, any two of which are at distance $1$.
The Roman harmonic numbers revisited
Published in Journal of Number Theory 180, 544-565 (2017)
• View Publication
• BIB
Two decades ago, Steven Roman, Daniel E. Loeb and Gian-Carlo Rota introduced a family of harmonic numbers in their study of harmonic logarithms. We propose to refer to those numbers as {\it Roman harmonic numbers}. With the purpose of revitalizing the study of these mathematical objects, we recall here their known properties and unveil additional ones. An integral representation, several generating relations, and a collection of sum rules involving those numbers are presented. It is also shown that higher derivatives of the Pochhammer and reciprocal Pochhammer symbols are easily expressed in terms of Roman harmonic numbers.
3k-4 theorem for ordered groups
Published
• View Publication
• BIB
Recently, G. A. Freiman, M. Herzog, P. Longobardi, M. Maj proved two `structure theorems' for ordered groups \cite{FHLM}. We give elementary proof of these two theorems.