Showing 20 papers (Total: 82797 papers, 47838 authors in database)
New Lower Bounds for van der Waerden Numbers Using Distributed Computing
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 2021
• View Publication
• BIB
This paper provides new lower bounds for van der Waerden numbers using Rabung's method, which colors based on the discrete logarithm modulo some prime. Through a distributed computing project with 500 volunteers over one year, we checked all primes up to 950 million, compared to 27 million in previous work. We point to evidence that the van der Waerden number for $r$ colors and progression length $k$ is roughly $r^k$.
Topological substitutions and Rauzy fractals
Published
• View Publication
• BIB
We consider two families of planar self-similar tilings of different nature: the tilings consisting of translated copies of the fractal sets defined by an iterated function system, and the tilings obtained as a geometrical realization of a topological substitution (an object of purely combinatorial nature). We establish a link between the two families in a specific case, by defining an explicit topological substitution and by proving that it generates the same tilings as those associated with the Tribonacci Rauzy fractal.
Constructions and nonexistence results for suitable sets of permutations
Published
• View Publication
• BIB
A set of $N$ permutations of $\{1,2,\dots,v\}$ is $(N,v,t)$-suitable if each symbol precedes each subset of $t-1$ others in at least one permutation. The central problems are to determine the smallest $N$ for which such a set exists for given $v$ and $t$, and to determine the largest $v$ for which such a set exists for given $N$ and $t$. These extremal problems were the subject of classical studies by Dushnik in 1950 and Spencer in 1971. We give examples of suitable sets of permutations for new parameter triples $(N,v,t)$. We relate certain suitable sets of permutations with parameter $t$ to others with parameter $t+1$, thereby showing that one of the two infinite families recently presented by Colbourn can be constructed directly from the other. We prove an exact nonexistence result for suitable sets of permutations using elementary combinatorial arguments. We then establish an asymptotic nonexistence result using Ramsey's theorem.
Augmented Zagreb Index of Polyhex Nanotubes
Augmented Zagreb Index is a newly defined degree based topological invariant which has been well established for its better correlation properties and is defined as $AZI(G)= \sum_{uv\in E(G)}(\frac{d_G (u)d_G (v)}{d_G (u)+ d_G (v)-2})^3 $, where $E(G)$ is the edge set of graph $G$ and $d(u),\,\,d(v)$ are the degrees of the end vertices $u$ and $v$ of edge $uv$, respectively. It has outperformed many well known degree based topological indices. In this article we give closed formulae for the augmented Zagreb index of arm-chair polyhex and zigzag edge polyhex nanotubes.
Improper coloring of graphs on surfaces
Published in Journal of Graph Theory 91(1) (2019), 16-34
• View Publication
• BIB
A graph $G$ is $(d_1,\ldots,d_k)$-colorable if its vertex set can be partitioned into $k$ sets $V_1,\ldots,V_k$, such that for each $i\in\{1, \ldots, k\}$, the subgraph of $G$ induced by $V_i$ has maximum degree at most $d_i$. The Four Color Theorem states that every planar graph is $(0,0,0,0)$-colorable, and a classical result of Cowen, Cowen, and Woodall shows that every planar graph is $(2,2,2)$-colorable. In this paper, we extend both of these results to graphs on surfaces. Namely, we show that every graph embeddable on a surface of Euler genus $g>0$ is $(0,0,0,9g-4)$-colorable and $(2,2,9g-4)$-colorable. Moreover, these graphs are also $(0,0,O(\sqrt{g}),O(\sqrt{g}))$-colorable and $(2,O(\sqrt{g}),O(\sqrt{g}))$-colorable. We also prove that every triangle-free graph that is embeddable on a surface of Euler genus $g$ is $(0, 0, O(g))$-colorable. This is an extension of Grötzsch's Theorem, which states that triangle-free planar graphs are $(0, 0, 0)$-colorable. Finally, we prove that every graph of girth at least 7 that is embeddable on a surface of Euler genus $g$ is $(0,O(\sqrt{g}))$-colorable. All these results are best possible in several ways as the girth condition is sharp, the constant maximum degrees cannot be improved, and the bounds on the maximum degrees depending on $g$ are tight up to a constant multiplicative factor.
Linear Extensions and Comparable Pairs in Partial Orders
Published in Order (2018) 35:403-420
• View Publication
• BIB
We study the number of linear extensions of a partial order with a given proportion of comparable pairs of elements, and estimate the maximum and minimum possible numbers. We also consider a random interval partial order on $n$ elements, which has close to a third of the pairs comparable with high probability: we show that the number of linear extensions is $n! \, 2^{-Θ(n)}$ with high probability.
Dominating sets in projective planes
Published
• View Publication
• BIB
We describe small dominating sets of the incidence graphs of finite projective planes by establishing a stability result which shows that dominating sets are strongly related to blocking and covering sets. Our main result states that if a dominating set in a projective plane of order $q>81$ is smaller than $2q+2[\sqrt{q}]+2$ (i.e., twice the size of a Baer subplane), then it contains either all but possibly one points of a line or all but possibly one lines through a point. Furthermore, we completely characterize dominating sets of size at most $2q+\sqrt{q}+1$. In Desarguesian planes, we could rely on strong stability results on blocking sets to show that if a dominating set is sufficiently smaller than 3q, then it consists of the union of a blocking set and a covering set apart from a few points and lines.
Maximising the number of induced cycles in a graph
Published
• View Publication
• BIB
We determine the maximum number of induced cycles that can be contained in a graph on $n\ge n_0$ vertices, and show that there is a unique graph that achieves this maximum. This answers a question of Tuza. We also determine the maximum number of odd or even cycles that can be contained in a graph on $n\ge n_0$ vertices and characterise the extremal graphs. This resolves a conjecture of Chvátal and Tuza from 1988.
Quasirandom Cayley graphs
Published in Discrete Analysis 2017:6, 14 pp
• View Publication
• BIB
We prove that the properties of having small discrepancy and having small second eigenvalue are equivalent in Cayley graphs, extending a result of Kohayakawa, Rödl, and Schacht, who treated the abelian case. The proof relies on Grothendieck's inequality. As a corollary, we also prove that a similar result holds in all vertex-transitive graphs.
Sum-avoiding sets in groups
Published in Discrete Analysis 2016:15, 31 pp
• View Publication
• BIB
Let $A$ be a finite subset of an arbitrary additive group $G$, and let $φ(A)$ denote the cardinality of the largest subset $B$ in $A$ that is sum-avoiding in $A$ (that is to say, $b_1+b_2 \not \in A$ for all distinct $b_1,b_2 \in B$). The question of controlling the size of $A$ in terms of $φ(A)$ in the case when $G$ was torsion-free was posed by Erdős and Moser. When $G$ has torsion, $A$ can be arbitrarily large for fixed $φ(A)$ due to the presence of subgroups. Nevertheless, we provide a qualitative answer to an analogue of the Erdős-Moser problem in this setting, by establishing a structure theorem, which roughly speaking asserts that $A$ is either efficiently covered by $φ(A)$ finite subgroups of $G$, or by fewer than $φ(A)$ finite subgroups of $G$ together with a residual set of bounded cardinality. In order to avoid a large number of nested inductive arguments, our proof uses the language of nonstandard analysis.
We also answer negatively a question of Erdős regarding large subsets $A$ of finite additive groups $G$ with $φ(A)$ bounded, but give a positive result when $|G|$ is not divisible by small primes.
Sumfree sets in groups: a survey
Published
• View Publication
• BIB
We discuss several questions concerning sum-free sets in groups, raised by Erdős in his survey "Extremal problems in number theory" (Proceedings of the Symp. Pure Math. VIII AMS) published in 1965.
Among other things, we give a characterization for large sets $A$ in an abelian group $G$ which do not contain a subset $B$ of fixed size $k$ such that the sum of any two different elements of $B$ do not belong to $A$ (in other words, $B$ is sum-free with respect to $A$). Erdős, in the above mentioned survey, conjectured that if $|A|$ is sufficiently large compared to $k$, then $A$ contains two elements that add up to zero. This is known to be true for $k \leq 3$. We give counterexamples for all $k \ge 4$. On the other hand, using the new characterization result, we are able to prove a positive result in the case when $|G|$ is not divisible by small primes.
A New Result on Packing Unit Squares into a Large Square
In their 2009 note: \emph{Packing equal squares into a large square}, Chung and Graham proved that the uncovered area of a large square of side length $x$ is $O\left(x^{(3+\sqrt{2})/7}\log x\right)$ after maximum number of non-overlapping unit squares are packed into it, which improved the earlier results of Erdős-Graham, Roth-Vaughan, and Karabash-Soifer. Here we further improve the result to $O(x^{5/8})$ that also helps to improve the bound for the dual problem: finding the minimum number of unit squares needed for covering the large square, from $x^2+O\left(x^{(3+\sqrt{2})/7}\log x\right)$ to $x^2+O(x^{5/8})$.
Reducing the generalised Sudoku problem to the Hamiltonian cycle problem
Published
• View Publication
• BIB
The generalised Sudoku problem with $N$ symbols is known to be NP-complete, and hence is equivalent to any other NP-complete problem, even for the standard restricted version where $N$ is a perfect square. In particular, generalised Sudoku is equivalent to the, classical, Hamiltonian cycle problem. A constructive algorithm is given that reduces generalised Sudoku to the Hamiltonian cycle problem, where the resultant instance of Hamiltonian cycle problem is sparse, and has $O(N^3)$ vertices. The Hamiltonian cycle problem instance so constructed is a directed graph, and so a (known) conversion to undirected Hamiltonian cycle problem is also provided so that it can be submitted to the best heuristics. A simple algorithm for obtaining the valid Sudoku solution from the Hamiltonian cycle is provided. Techniques to reduce the size of the resultant graph are also discussed.
Upper k-tuple total domination in graphs
Published in Pure_and_Applied_Mathematics_Quarterly_13_4_2017_563-579
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several classes of graphs, as well as finding general bounds and characterizations. Also, we find some results on the upper $k$-tuple total domination number of the Cartesian and cross product graphs.
Double Total Domination in Harary Graphs
Published in Pure_and_Applied_Mathematics_Quarterly_8_1_2017_1-6
• Search Publication
Let $G$ be a graph with minimum degree at least 2. A set $D\subseteq V$ is a double total dominating set of $G$ if each vertex is adjacent to at least two vertices in $D$. The double total domination number $γ_{\times 2,t}(G)$ of $G$ is the minimum cardinality of a double total dominating set of $G$. In this paper, we will find double total domination number of Harary graphs.
k-Tuple Restrained Domination in Graphs
Published
• View Publication
• BIB
For $k \ge 1$ an integer, a set $S$ of vertices in a graph $G$ with minimum degree at least~$k-1$ is a $k$-tuple dominating set of $G$ if every vertex of $S$ is adjacent to at least $k-1$ vertices in $S$ and every vertex of $V(G) \setminus S$ is adjacent to at least $k$ vertices in $S$; that is, $|N_G[v] \cap S| \ge k$ for every vertex $v$ of $G$ where $N_G[v]$ denotes the closed neighborhood of $v$ which consists of $v$ and all neighbors of $v$. A $k$-tuple restrained dominating set of $G$ is a $k$-tuple dominating set $S$ of $G$ with the additional property that every vertex outside $S$ has at least $k$ neighbors outside $S$. The minimum cardinality of a $k$-tuple restrained dominating set of $G$ is the $k$-tuple restrained domination number of $G$. When $k=1$, the $k$-tuple restrained domination number is the well-studied restrained domination number. In this paper, we determine the $k$-tuple restrained domination number of several classes of graphs. Tight upper bounds on the $k$-tuple restrained domination number of a general graph are established. We present basic properties of the $k$-tuple restrained domatic number of a graph which is the maximum number of the classes of a partition of $V(G)$ into $k$-tuple restrained dominating sets of $G$.
Sparse spanning $k$-connected subgraphs in tournaments
Published
• View Publication
• BIB
In 2009, Bang-Jensen asked whether there exists a function $g(k)$ such that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + g(k)$ arcs. In this paper, we answer the question by showing that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + 750k^2\log(k+1)$ arcs.
Permutation Representations of the Orbits of the Automorphism Group of a Finite Module over Discrete Valuation Ring
Published in Proc. Math. Sci. (Indian Acad. Sci.) April 2017, Vol. 127, Issue 2, pp. 295-321
• View Publication
• BIB
Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space $C[O]$ is multiplicity free. This is achieved by obtaining a complete description of the transitive subsets of $O\times O$ under the diagonal action of the automorphism group.
The Erdos-Posa Property for Directed Graphs
A classical result by Erdos and Posa states that there is a function $f: {\mathbb N} \rightarrow {\mathbb N}$ such that for every $k$, every graph $G$ contains $k$ pairwise vertex disjoint cycles or a set $T$ of at most $f(k)$ vertices such that $G-T$ is acyclic. The generalisation of this result to directed graphs is known as Younger's conjecture and was proved by Reed, Robertson, Seymour and Thomas in 1996. This so-called Erdos-Posa-property can naturally be generalised to arbitrary graphs and digraphs. Robertson and Seymour proved that a graph $H$ has the Erdos-Posa-property if, and only if, $H$ is planar. In this paper we study the corresponding problem for digraphs. We obtain a complete characterisation of the class of strongly connected digraphs which have the Erdos-Posa-property (both for topological and butterfly minors). We also generalise this result to classes of digraphs which are not strongly connected. In particular, we study the class of vertex-cyclic digraphs (digraphs without trivial strong components). For this natural class of digraphs we obtain a nearly complete characterisation of the digraphs within this class with the Erdos-Posa-property. In particular we give positive and algorithmic examples of digraphs with the Erdos-Posa-property by using directed tree decompositions in a novel way.
Tensor Product Multiplicities via Upper Cluster Algebras
Published in Annales de l'ENS, volume 54, issue 6 (2021)
• View Publication
• BIB
For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.