contain ↗ reference
7694 papers tagged with this keyword
The Turan Number of Disjoint Copies of Paths
Published
• View Publication
• BIB
The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in a simple graph of order $n$ which does not contain $H$ as a subgraph. Let $k\cdot P_3$ denote $k$ disjoint copies of a path on $3$ vertices. In this paper, we determine the value $ex(n, k\cdot P_3)$ and characterize all extremal graphs. This extends a result of Bushaw and Kettle [N. Bushaw and N. Kettle, Turán Numbers of multiple and equibipartite forests, Combin. Probab. Comput., 20(2011) 837-853.], which solved the conjecture proposed by Gorgol in [I. Gorgol. Turán numbers for disjoint copies of graphs. {\it Graphs Combin.}, 27 (2011) 661-667.].
The number of trees in a graph
Let $T$ be a tree with $t$ edges. We show that the number of isomorphic (labeled) copies of $T$ in a graph $G = (V,E)$ of minimum degree at least $t$ is at least \[2|E| \prod_{v \in V} (d(v) - t + 1)^{\frac{(t-1)d(v)}{2|E|}}.\] Consequently, any $n$-vertex graph of average degree $d$ and minimum degree at least $t$ contains at least
$$nd(d-t+1)^{t-1}$$ isomorphic (labeled) copies of $T$.
This answers a question of Dellamonica et. al. (where the above statement was proved when $T$ is the path with three edges) while extending an old result of Erd\H os and Simonovits.
Ramsey numbers of trees and unicyclic graphs versus fans
Published
• View Publication
• BIB
The generalized Ramsey number $R(H, K)$ is the smallest positive integer $n$ such that for any graph $G$ with $n$ vertices either $G$ contains $H$ as a subgraph or its complement $\overline{G}$ contains $K$ as a subgraph. Let $T_n$ be a tree with $n$ vertices and $F_m$ be a fan with $2m + 1$ vertices consisting of $m$ triangles sharing a common vertex. We prove a conjecture of Zhang, Broersma and Chen for $m \ge 9$ that $R(T_n, F_m) = 2n - 1$ for all $n \ge m^2 - m + 1$. Zhang, Broersma and Chen showed that $R(S_n, F_m) \ge 2n$ for $n \le m^2 -m$ where $S_n$ is a star on $n$ vertices, implying that the lower bound we show is in some sense tight. We also extend this result to unicyclic graphs $UC_n$, which are connected graphs with $n$ vertices and a single cycle. We prove that $R(UC_n, F_m) = 2n - 1$ for all $n \ge m^2 - m + 1$ where $m \ge 18$. In proving this conjecture and extension, we present several methods for embedding trees in graphs, which may be of independent interest.
Infinite excursions of rotor walks on regular trees
Published in The Electronic Journal of Combinatorics, Volume 24, Issue 2 (2017), Paper #P2.18
• Search Publication
A rotor configuration on a graph contains in every vertex an infinite ordered sequence of rotors, each is pointing to a neighbor of the vertex. After sampling a configuration according to some probability measure, a rotor walk is a deterministic process: at each step it chooses the next unused rotor in its current location, and uses it to jump to the neighboring vertex to which it points.
Rotor walks capture many aspects of the expected behavior of simple random walks. However, this similarity breaks down for the property of having an infinite excursion. In this paper we study that question for natural random configuration models on regular trees. Our results suggest that in this context the rotor model behaves like the simple random walk unless it is not "close to" the standard rotor-router model.
A Roth type theorem for dense subsets of $\mathbb{R}^d$
Published
• View Publication
• BIB
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This means that dense subsets of $\R^d$ contain 3-term progressions of all sufficiently large gaps when the gap size is measured in the $l^p$-metric. This statement is known to be false in the Euclidean $l^2$-metric as well as in the $l^1$ and $\ell^{\infty}$-metrics. One of the goals of this note is to understand this phenomenon. A distinctive feature of the proof is the use of multilinear singular integral operators, widely studied in classical time-frequency analysis, in the estimation of forms counting configurations.
On path sequences of graphs
Published in Schedae Informaticae, vol. 24 (2015), pp. 230-242
• View Publication
• BIB
A subset $S$ of vertices of a graph $G=(V,E)$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $S$. Denote by $ψ_k(G)$ the minimum cardinality of a $k$-path vertex cover in $G$ and form a sequence $ψ(G)=(ψ_1(G),ψ_2(G),\ldots,ψ_{|V|}(G))$, called the path sequence of $G$. In this paper we prove necessary and sufficient conditions for two integers to appear on fixed positions in $ψ(G)$. A complete list of all possible path sequences (with multiplicities) for small connected graphs is also given.
On the number of touching pairs in a set of planar curves
Given a set of planar curves (Jordan arcs), each pair of which meets -- either crosses or touches -- exactly once, we establish an upper bound on the number of touchings. We show that such a curve family has $O(t^2n)$ touchings, where $t$ is the number of faces in the curve arrangement that contains at least one endpoint of one of the curves. Our method relies on finding special subsets of curves called quasi-grids in curve families; this gives some structural insight into curve families with a high number of touchings.
Better $s$-$t$-Tours by Gao Trees
Published
• View Publication
• BIB
We consider the $s$-$t$-path TSP: given a finite metric space with two elements $s$ and $t$, we look for a path from $s$ to $t$ that contains all the elements and has minimum total distance. We improve the approximation ratio for this problem from 1.599 to 1.566. Like previous algorithms, we solve the natural LP relaxation and represent an optimum solution $x^*$ as a convex combination of spanning trees. Gao showed that there exists a spanning tree in the support of $x^*$ that has only one edge in each narrow cut (i.e., each cut $C$ with $x^*(C)<2$). Our main theorem says that the spanning trees in the convex combination can be chosen such that many of them are such "Gao trees''.
The Kelmans-Seymour conjecture I: special separations
Published
• View Publication
• BIB
Seymour and, independently, Kelmans conjectured in the 1970s that every 5-connected nonplanar graph contains a subdivision of $K_5$. This conjecture was proved by Ma and Yu for graphs containing $K_4^-$, and an important step in their proof is to deal with a 5-separation in the graph with a planar side. In order to establish the Kelmans-Seymour conjecture for all graphs, we need to consider 5-separations and 6-separations with less restrictive structures. The goal of this paper is to deal with special 5-separations and 6-separations, including those with an apex side. Results will be used in subsequent papers to prove the Kelmans-Seymour conjecture.
Bipartite algebraic graphs without quadrilaterals
Published in Discrete Mathematics, Volume 341, Issue 6, June 2018, Pages 1597-1604
• View Publication
• BIB
Let $\mathbb{P}^s$ be the $s$-dimensional complex projective space, and let $X, Y$ be two non-empty open subsets of $\mathbb{P}^s$ in the Zariski topology. A hypersurface $H$ in $\mathbb{P}^s\times\mathbb{P}^s$ induces a bipartite graph $G$ as follows: the partite sets of $G$ are $X$ and $Y$, and the edge set is defined by $\overline{u}\sim\overline{v}$ if and only if $(\overline{u},\overline{v})\in H$. Motivated by the Turán problem for bipartite graphs, we say that $H\cap (X\times Y)$ is $(s,t)$-grid-free provided that $G$ contains no complete bipartite subgraph that has $s$ vertices in $X$ and $t$ vertices in $Y$. We conjecture that every $(s,t)$-grid-free hypersurface is equivalent, in a suitable sense, to a hypersurface whose degree in $\overline{y}$ is bounded by a constant $d = d(s,t)$, and we discuss possible notions of the equivalence.
We establish the result that if $H\cap(X\times \mathbb{P}^2)$ is $(2,2)$-grid-free, then there exists $F\in \mathbb{C}[\overline{x},\overline{y}]$ of degree $\le 2$ in $\overline{y}$ such that $H\cap(X\times \mathbb{P}^2) = \{F = 0\}\cap (X\times \mathbb{P}^2)$. Finally, we transfer the result to algebraically closed fields of large characteristic.
Estimates related to Shirshov height theorem (PhD Thesis)
In 1993 E. I. Zelmanov asked the following question in Dniester Notebook: $"$Suppose that $F_{2,m}$ is a $2$-generated associative ring with the identity $x^m=0$. Is it true, that the nilpotency degree of $F_{2,m}$ has exponential growth?$"$ We show that the nilpotency degree of $l$-generated associative algebra with the identity $x^d=0$ is smaller than $Ψ(d,d,l)$, where $Φ(n,d,l)=l(nd)^{C\log(nd)}$ and $C$ is a constant. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let $l$, $n$ and $d\ge n$ be positive integers. Then all the words over alphabet of cardinality $l$ which length is greater than $Ψ(n,d,l)$ are either $n$-divided or contain $d$-th power of subword, where a word $W$ is $n$-divided, if it can be represented in the following form $W=W_0W_1\dots W_n$ such that $W_n\succ W_{n-1}\succ\cdots\succ W_1$. The symbol $\succ$ means lexicographical order here. A. I. Shirshov proved that the set of non $n$-divided words over alphabet of cardinality $l$ has bounded height $h$ over the set $Y$ consisting of all the words of degree $<n$. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A. G. Kolotov and in 1993 A. Ya. Belov obtained exponential estimation. We show, that $h<Φ(n,l)$, where $Φ(n,l)=n^{C\log n} l$ and $C$ is a constant. Our proof uses Latyshev idea of Dilworth theorem application.
Matroids: A Macaulay2 package
Published in J. Softw. Alg. Geom. 9 (2019) 19-27
• View Publication
• BIB
We give an overview of the Macaulay2 package Matroids, which contains functionality to create and compute with matroids. Examples highlighting the use of all major functions in the package are provided, along with explanations of some of the algorithms. Interesting connections of matroids to various branches and areas are also given.
A refinement of theorems on vertex-disjoint chorded cycles
Published
• View Publication
• BIB
In 1963, Corrádi and Hajnal settled a conjecture of Erdős by proving that, for all $k \geq 1$, any graph $G$ with $|G| \geq 3k$ and minimum degree at least $2k$ contains $k$ vertex-disjoint cycles. In 2008, Finkel proved that for all $k \geq 1$, any graph $G$ with $|G| \geq 4k$ and minimum degree at least $3k$ contains $k$ vertex-disjoint chorded cycles. Finkel's result was strengthened by Chiba, Fujita, Gao, and Li in 2010, who showed, among other results, that for all $k \geq 1$, any graph $G$ with $|G| \geq 4k$ and minimum Ore-degree at least $6k-1$ contains $k$ vertex-disjoint cycles. We refine this result, characterizing the graphs $G$ with $|G| \geq 4k$ and minimum Ore-degree at least $6k-2$ that do not have $k$ disjoint chorded cycles.
We Found the Smallest Non-Autograph
Published
• View Publication
• BIB
Suppose that $G$ is a simple, vertex-labeled graph and that $S$ is a multiset. Then if there exists a one-to-one mapping between the elements of $S$ and the vertices of $G$, such that edges in $G$ exist if and only if the absolute difference of the corresponding vertex labels exist in $S$, then $G$ is an \emph{autograph}, and $S$ is a \emph{signature} for $G$. While it is known that many common families are graphs are autographs, and that infinitely many graphs are not autographs, a non-autograph has never been exhibited. In this paper, we identify the smallest non-autograph: a graph with 6 vertices and 11 edges. Furthermore, we demonstrate that the infinite family of graphs on $n$ vertices consisting of the complement of two non-intersecting cycles contains only non-autographs for $n \geq 8$.
On the number of ordinary conics
Published
• View Publication
• BIB
We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one ordinary conic. We give a simpler proof of their result and then combine it with a result of Green and Tao to prove our main result: If $S$ is not contained in a conic and has at most $c|S|$ points on a line, then $S$ determines $Ω_c(|S|^4)$ ordinary conics. We also give a construction, based on the group structure of elliptic curves, that shows that the exponent in our bound is best possible.
Solutions of Reeder's Puzzle
In this paper we consider the generalized Reeder's puzzle, introduced by Reeder in 2005 and generalized by Borovoi and Evenor in 2016. We give a detailed solution of the puzzle for the graphs of Dynkin diagrams and affine Dynkin diagrams. We find the number of equivalence classes in each case. We also discuss more general graphs, and prove the main theorem about graphs (simply-laced trees) that contain E_6 as a subgraph.
On unavoidable induced subgraphs in large prime graphs
Published
• View Publication
• BIB
Chudnovsky, Kim, Oum, and Seymour recently established that any prime graph contains one of a short list of induced prime subgraphs [1]. In the present paper we reprove their theorem using many of the same ideas, but with the key model-theoretic ingredient of first determining the so-called amount of stability of the graph. This approach changes the applicable Ramsey theorem, improves the bounds and offers a different structural perspective on the graphs in question. Complementing this, we give an infinitary proof which implies the finite result.
On Schur p-groups of odd order
Published in J. Algebra Appl., 16, 1750045 (2017) [29 pages]
• View Publication
• BIB
A finite group $G$ is called a Schur group if any $S$-ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. We prove that the groups $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, where $n\geq 1$, are Schur. Modulo previously obtained results, it follows that every noncyclic Schur $p$-group, where $p$ is an odd prime, is isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3 \times \mathbb{Z}_3$ or $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, $n\geq 1$ .
The Saxl Conjecture for Fourth Powers via the Semigroup Property
Published in J. Algebra. Comb. (2017) 45:33-80
• View Publication
• BIB
The tensor square conjecture states that for $n \geq 10$, there is an irreducible representation $V$ of the symmetric group $S_n$ such that $V \otimes V$ contains every irreducible representation of $S_n$. Our main result is that for large enough $n$, there exists an irreducible representation $V$ such that $V^{\otimes 4}$ contains every irreducible representation. We also show that tensor squares of certain irreducible representations contain $(1-o(1))$-fraction of irreducible representations with respect to two natural probability distributions. Our main tool is the semigroup property, which allows us to break partitions down into smaller ones.
A counterexample to a result on the tree graph of a graph
Published in Australasian Journal of Combinatorics 63(3) (2015), 368 - 373
• Search Publication
Given a set of cycles C of a graph G, the tree graph of G defined by C is the graph T(G,C) whose vertices are the spanning trees of G and in which two trees R and S are adjacent if the union of R and S contains exactly one cycle and this cycle lies in C. Li et al [Discrete Math 271 (2003), 303--310] proved that if the graph T(G,C) is connected, then C cyclically spans the cycle space of G. Later, Yumei Hu [Proceedings of the 6th International Conference on Wireless Communications Networking and Mobile Computing (2010), 1--3] proved that if C is an arboreal family of cycles of G which cyclically spans the cycle space of a $2$-connected graph G, then T(G, C) is connected. In this note we present an infinite family of counterexamples to Hu's result.