contain ↗ reference
7689 papers tagged with this keyword
On matrices with different tropical and Kapranov ranks
Published in English translation of the note: Matematicheskie zametki, 92(2) (2012), 316-320
• View Publication
• BIB
In this note, we generalize the technique developed in [13] and prove that every 5xn matrix of tropical rank at most 3 has Kapranov rank at most 3, for the ground field that contains at least 4 elements. For the ground field either F_2 or F_3, we construct an example of a 5x5 matrix with tropical rank 3 and Kapranov rank 4.
Galois groups of Schubert problems of lines are at least alternating
Published
• View Publication
• BIB
We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formula to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality.
Abelian powers in paper-folding words
Published in Journal of Combinatorial Theory Series A 120 (4) (2013) 872-881
• View Publication
• BIB
We show that paper folding words contain arbitrarily large abelian powers.
Progress on Dirac's Conjecture
Published in Electronic J. Combinatorics 21.2:P2.12, 2014
• View Publication
• BIB
In 1951, Gabriel Dirac conjectured that every set P of n non-collinear points in the plane contains a point in at least n/2-c lines determined by P, for some constant c. The following weakening was proved by Beck and Szemerédi-Trotter: every set P of n non-collinear points contains a point in at least n/c lines determined by P, for some large unspecified constant c. We prove that every set P of n non-collinear points contains a point in at least n/37 lines determined by P. We also give the best known constant for Beck's Theorem, proving that every set of n points with at most k collinear determines at least n(n-k)/98 lines.
Empty pentagons in point sets with collinearities
Published in SIAM J. Discrete Math. 29-1 (2015), pp. 198-209
• View Publication
• BIB
An empty pentagon in a point set P in the plane is a set of five points in P in strictly convex position with no other point of P in their convex hull. We prove that every finite set of at least 328k^2 points in the plane contains an empty pentagon or k collinear points. This is optimal up to a constant factor since the (k-1)x(k-1) grid contains no empty pentagon and no k collinear points. The previous best known bound was doubly exponential.
Towards a de Bruijn-Erd\H os theorem in the $L_1$-metric
Published
• View Publication
• BIB
A well-known theorem of de Bruijn and Erdős states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that the answer is affirmative for sets of $n$ points in the plane with the $L_1$ metric, provided that no two points share their $x$- or $y$-coordinate. In this case, either there is a line that contains all $n$ points, or $X$ induces at least $n$ distinct lines.
If points of $X$ are allowed to share their coordinates, then either there is a line that contains all $n$ points, or $X$ induces at least $n/37$ distinct lines.
Families that remain $k$-Sperner even after omitting an element of their ground set
A family $\cF\subseteq 2^{[n]}$ of sets is said to be $l$-trace $k$-Sperner if for any $l$-subset $L \subset [n]$ the family $\cF|_L=\{F|_L:F \in \cF\}=\{F \cap L: F \in \cF\}$ is $k$-Sperner, i.e. does not contain any chain of length $k+1$. The maximum size that an $l$-trace $k$-Sperner family $\cF \subseteq 2^{[n]}$ can have is denoted by $f(n,k,l)$. For pairs of integers $l<k$, if in a family $\cG$ every pair of sets satisfies $||G_1|-|G_2||<k-l$, then $\cG$ possesses the $(n-l)$-trace $k$-Sperner property. Among such families, the largest one is $\cF_0=\{F\in 2^{[n]}: \lfloor \frac{n-(k-l)}{2}\rfloor+1 \le |F| \le \lfloor \frac{n-(k-l)}{2}\rfloor +k-l\}$ and also $\cF'_0=\{F\in 2^{[n]}: \lfloor \frac{n-(k-l)}{2}\rfloor \le |F| \le \lfloor \frac{n-(k-l)}{2}\rfloor +k-l-1\}$ if $n-(k-l)$ is even. In an earlier paper, we proved that this is asymptotically optimal for all pair of integers $l<k$, i.e. $f(n,k,n-l)=(1+o(1))|\cF_0|$. In this paper we consider the case when $l=1$, $k\ge 2$, and prove that $f(n,k,n-1)=|\cF_0|$ provided $n$ is large enough. We also prove that the unique $(n-1)$-trace $k$-Sperner family with size $f(n,k,n-1)$ is $\cF_0$ and also $\cF'_0$ when $n+k$ is odd.
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications
Published
• View Publication
• BIB
The Ihara limit (or -constant) $A(q)$ has been a central problem of study in the asymptotic theory of global function fields (or equivalently, algebraic curves over finite fields). It addresses global function fields with many rational points and, so far, most applications of this theory do not require additional properties. Motivated by recent applications, we require global function fields with the additional property that their zero class divisor groups contain at most a small number of $d$-torsion points. We capture this by the torsion limit, a new asymptotic quantity for global function fields. It seems that it is even harder to determine values of this new quantity than the Ihara constant. Nevertheless, some non-trivial lower- and upper bounds are derived. Apart from this new asymptotic quantity and bounds on it, we also introduce Riemann-Roch systems of equations. It turns out that this type of equation system plays an important role in the study of several other problems in areas such as coding theory, arithmetic secret sharing and multiplication complexity of finite fields etc. Finally, we show how our new asymptotic quantity, our bounds on it and Riemann-Roch systems can be used to improve results in these areas.
Subexponential estimations in Shirshov's height theorem (in English)
Published in Sbornik: Mathematics, 203:4 (2012), 534--553
• View Publication
• BIB
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 Psi(d,d,l), where Psi(n,d,l)=2^{18} l (nd)^{3 log_3 (nd)+13}d^2. 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>n be positive integers. Then all the words over alphabet of cardinality l which length is greater than Psi(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_0 W_1...W_n such that W_1 >' W_2>'...>'W_n. The symbol >' 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<Phi(n,l), where Phi(n,l) = 2^{87} n^{12 log_3 n + 48} l. Our proof uses Latyshev idea of Dilworth theorem application.
On the existence of 3-way k-homogeneous Latin trades
A {\sf $μ$-way Latin trade} of volume $s$ is a collection of $μ$ partial Latin squares $T_1,T_2,...,T_μ$, containing exactly the same $s$ filled cells, such that if cell $(i, j)$ is filled, it contains a different entry in each of the $μ$ partial Latin squares, and such that row $i$ in each of the $μ$ partial Latin squares contains, set-wise, the same symbols and column $j$, likewise. %If $μ=2$, $(T_1,T_2)$ is called a {\sf Latin bitrade}. It is called {\sf $μ$-way $k$-homogeneous Latin trade}, if in each row and each column $T_r$, for $1\le r\le μ,$ contains exactly $k$ elements, and each element appears in $T_r$ exactly $k$ times. It is also denoted by $(μ,k,m)$ Latin trade,where $m$ is the size of partial Latin squares.
We introduce some general constructions for $μ$-way $k$-homogeneous Latin trades and specifically show that for all $k \le m$, $6\le k \le 13$ and k=15, and for all $k \le m$, $k = 4, \ 5$ (except for four specific values), a 3-way $k$-homogeneous Latin trade of volume $km$ exists. We also show that there are no (3,4,6) Latin trade and (3,4,7) Latin trade. Finally we present general results on the existence of 3-way $k$-homogeneous Latin trades for some modulo classes of $m$.
A note on large rainbow matchings in edge-coloured graphs
Published
• View Publication
• BIB
A rainbow subgraph in an edge-coloured graph is a subgraph such that its edges have distinct colours. The minimum colour degree of a graph is the smallest number of distinct colours on the edges incident with a vertex over all vertices. Kostochka, Pfender, and Yancey showed that every edge-coloured graph on $n$ vertices with minimum colour degree at least $k$ contains a rainbow matching of size at least $k$, provided $n\geq (17/4)k^2$. In this paper, we show that $n\geq 4k-4$ is sufficient for $k \ge 4$.
A survey on the generalized connectivity of graphs
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$ was introduced by Hager before 1985. As its a natural counterpart, we introduced the concept of generalized edge-connectivity $λ_k(G)$, recently. In this paper we summarize the known results on the generalized connectivity and generalized edge-connectivity. After an introductory section, the paper is then divided into nine sections: the generalized (edge-)connectivity of some graph classes, algorithms and computational complexity, sharp bounds of $κ_k(G)$ and $λ_k(G)$, graphs with large generalized (edge-)connectivity, Nordhaus-Gaddum-type results, graph operations, extremal problems, and some results for random graphs and multigraphs. It also contains some conjectures and open problems for further studies.
Evolutionary Hamiltonian Graph Theory
We present an alternative domain concerning mathematics to investigate universal evolution mechanisms by focusing on large cycles theory (LCT) - a simplified version of well-known hamiltonian graph theory. LCT joins together a number of $NP$-complete cycle problems in graph theory. $NP$-completeness is the kay factor insuring (by conjecture of Cook) the generation of endless developments and great diversity around large cycles problems. Originated about 60 years ago, the individuals (claims, propositions, lemmas, conjectures, theorems, and so on) in LCT continually evolve and adapt to their environment by an iterative process from primitive beginnings to best possible theorems based on inductive reasoning. LCT evolves much more rapidly than biosphere and has a few thousand pronounced species (theorems). Recall that life on earth with more than 2 million species was originated about 3.7 billion years ago and evolves extremely slowly. We show that all theorems in LCT have descended from some common primitive propositions such as "every complete graph is hamiltonian" or "every graph contains a cycle of length at least one" via improvements, modifications and three kinds of generalizations - closing, associating and extending. It is reasonable to review Darwinian mechanisms in light of LCT evolution mechanisms (especially inductive reasoning) including the origin and macroevolution disputable phenomena in the biosphere.
On the facial Thue choice index via entropy compression
Published in J. Graph Theory 77(3) (2014) 180-189
• View Publication
• BIB
A sequence is nonrepetitive if it contains no identical consecutive subsequences. An edge colouring of a path is nonrepetitive if the sequence of colours of its consecutive edges is nonrepetitive. By the celebrated construction of Thue, it is possible to generate nonrepetitive edge colourings for arbitrarily long paths using only three colours. A recent generalization of this concept implies that we may obtain such colourings even if we are forced to choose edge colours from any sequence of lists of size 4 (while sufficiency of lists of size 3 remains an open problem). As an extension of these basic ideas, Havet, Jendrol', Soták and Škrabul'áková proved that for each plane graph, 8 colours are sufficient to provide an edge colouring so that every facial path is nonrepetitively coloured. In this paper we prove that the same is possible from lists, provided that these have size at least 12. We thus improve the previous bound of 291 (proved by means of the Lovász Local Lemma). Our approach is based on the Moser-Tardos entropy-compression method and its recent extensions by Grytczuk, Kozik and Micek, and by Dujmović, Joret, Kozik and Wood.
Erdos-Szekeres-type statements: Ramsey function and decidability in dimension 1
Published in Duke Math. J. 163, no. 12 (2014), 2243-2270
• View Publication
• BIB
A classical and widely used lemma of Erdos and Szekeres asserts that for every n there exists N such that every N-term sequence a of real numbers contains an n-term increasing subsequence or an n-term nondecreasing subsequence; quantitatively, the smallest N with this property equals (n-1)^2+1. In the setting of the present paper, we express this lemma by saying that the set of predicates Phi={x_1<x_2,x_1\ge x_2}$ is Erdos-Szekeres with Ramsey function ES_Phi(n)=(n-1)^2+1.
In general, we consider an arbitrary finite set Phi={Phi_1,...,Phi_m} of semialgebraic predicates, meaning that each Phi_j=Phi_j(x_1,...,x_k) is a Boolean combination of polynomial equations and inequalities in some number k of real variables. We define Phi to be Erdos-Szekeres if for every n there exists N such that each N-term sequence a of real numbers has an n-term subsequence b such that at least one of the Phi_j holds everywhere on b, which means that Phi_j(b_{i_1},...,b_{i_k}) holds for every choice of indices i_1,i_2,...,i_k, 1<=i_1<i_2<... <i_k<= n. We write ES_Phi(n) for the smallest N with the above property.
We prove two main results. First, the Ramsey functions in this setting are at most doubly exponential (and sometimes they are indeed doubly exponential): for every Phi that is Erdős--Szekeres, there is a constant C such that ES_Phi(n) < exp(exp(Cn)). Second, there is an algorithm that, given Phi, decides whether it is Erdos-Szekeres; thus, one-dimensional Erdos-Szekeres-style theorems can in principle be proved automatically.
Long paths and cycles in random subgraphs of graphs with large minimum degree
Published
• View Publication
• BIB
For a given finite graph $G$ of minimum degree at least $k$, let $G_{p}$ be a random subgraph of $G$ obtained by taking each edge independently with probability $p$. We prove that (i) if $p \ge ω/k$ for a function $ω=ω(k)$ that tends to infinity as $k$ does, then $G_p$ asymptotically almost surely contains a cycle (and thus a path) of length at least $(1-o(1))k$, and (ii) if $p \ge (1+o(1))\ln k/k$, then $G_p$ asymptotically almost surely contains a path of length at least $k$. Our theorems extend classical results on paths and cycles in the binomial random graph, obtained by taking $G$ to be the complete graph on $k+1$ vertices.
On cycles in graphs with specified radius and diameter
Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We show that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$. Moreover, for all positive integers $r$ and $d$ with $r\leq d\leq 2r-2$ there exists a graph of radius $r$ and diameter $d$ with circumference $4r-2d$.
Large stars with few colors
A recent question in generalized Ramsey theory is that for fixed positive integers $s\leq t$, at least how many vertices can be covered by the vertices of no more than $s$ monochromatic members of the family $\cal F$ in every edge coloring of $K_n$ with $t$ colors. This is related to an old problem of Chung and Liu: for graph $G$ and integers $1\leq s<t$ what is the smallest positive integer $n=R_{s,t}(G)$ such that every coloring of the edges of $K_n$ with $t$ colors contains a copy of $G$ with at most $s$ colors. We answer this question when $G$ is a star and $s$ is either $t-1$ or $t-2$ generalizing the well-known result of Burr and Roberts.
Minimal covers of the prisms and antiprisms
Published
• View Publication
• BIB
This paper contains a classication of the regular minimal abstract polytopes that act as covers for the convex polyhedral prisms and antiprisms. It includes a detailed discussion of their topological structure, and completes the enumeration of such covers for convex uniform polyhedra. Additionally, this paper addresses related structural questions in the theory of string C-groups.
Computing the blocks of a quasi-median graph
Published in Discrete Applied Mathematics, 179 (2014), 129-138
• View Publication
• BIB
Quasi-median graphs are a tool commonly used by evolutionary biologists to visualise the evolution of molecular sequences. As with any graph, a quasi-median graph can contain cut vertices, that is, vertices whose removal disconnect the graph. These vertices induce a decomposition of the graph into blocks, that is, maximal subgraphs which do not contain any cut vertices. Here we show that the special structure of quasi-median graphs can be used to compute their blocks without having to compute the whole graph. In particular we present an algorithm that, for a collection of $n$ aligned sequences of length $m$, can compute the blocks of the associated quasi-median graph together with the information required to correctly connect these blocks together in run time $\mathcal O(n^2m^2)$, independent of the size of the sequence alphabet. Our primary motivation for presenting this algorithm is the fact that the quasi-median graph associated to a sequence alignment must contain all most parsimonious trees for the alignment, and therefore precomputing the blocks of the graph has the potential to help speed up any method for computing such trees.