Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Areas of triangles and Beck's theorem in planes over finite fields
Published
• View Publication
• BIB
It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base.
It is also shown that if $|E|\geq 64q\log_2 q$, then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite field version of the Beck theorem for large subsets of $\F_q^2$ that we prove. If $|E|\geq 64q\log_2 q$, there exists a point $z\in E$, such that there are at least $\frac{q}{4}$ straight lines incident to $z$, each supporting the number of points of $E$ other than $z$ in the interval between $\frac{|E|}{2q}$ and $\frac{2|E|}{q}.$ This is proved by combining combinatorial and Fourier analytic techniques.
We also discuss higher-dimensional implications of these results in light of recent developments.
On the parameter $μ_{21}$ of a complete bipartite graph
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval.
Suppose that all edges of a graph $G$ are colored in the game of Alice and Bob with asymmetric distribution of roles. Alice determines the number $t$ of colors in the future proper edge coloring of $G$ and aspires to minimize the number of vertices with an interval spectrum in it. Bob colors edges of $G$ with $t$ colors and aspires to maximize that number. $μ_{21}(G)$ is equal to the number of vertices of $G$ with an interval spectrum at the finish of the game on the supposition that both players choose their best strategies.
In this paper, for arbitrary positive integers $m$ and $n$, the exact value of the parameter $μ_{21}(K_{m,n})$ is found.
It was not known about simple cycles
Published
• View Publication
• BIB
A proper edge $t$-coloring of a graph is a coloring of its edges with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. For any integer $n\geq 3$, all possible values of $t$ are found, for which there exists such a proper edge $t$-coloring of the simple cycle C(n), which uses for each pair of adjacent edges either consecutive colors or the first and the last ones.
On one-sided interval edge colorings of biregular bipartite graphs
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval. We say that a proper edge $t$-coloring of a graph $G$ is interval in the vertex $x$ if the spectrum of $x$ is an interval. We say that a proper edge $t$-coloring $\varphi$ of a graph $G$ is interval on a subset $R_0$ of vertices of $G$, if for an arbitrary $x\in R_0$, $\varphi$ is interval in $x$. We say that a subset $R$ of vertices of $G$ has an $i$-property if there is a proper edge $t$-coloring of $G$ which is interval on $R$. If $G$ is a graph, and a subset $R$ of its vertices has an $i$-property, then the minimum value of $t$ for which there is a proper edge $t$-coloring of $G$ interval on $R$ is denoted by $w_R(G)$.
In this paper, for some bipartite graphs, we estimate the value of this parameter in that cases when $R$ coincides with the set of all vertices of one part of the graph.
Estimates for the number of vertices with an interval spectrum in proper edge colorings of some graphs
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that each of $t$ colors is used, and adjacent edges are colored differently. The set of colors of edges incident with a vertex $x$ of $G$ is called a spectrum of $x$. A proper edge $t$-coloring of a graph $G$ is interval for its vertex $x$ if the spectrum of $x$ is an interval of integers. A proper edge $t$-coloring of a graph $G$ is persistent-interval for its vertex $x$ if the spectrum of $x$ is an interval of integers beginning from the color 1.
For graphs $G$ from some classes of graphs, we obtain estimates for the possible number of vertices for which a proper edge $t$-coloring of $G$ can be interval or persistent-interval.
A short proof of the odd-girth theorem
Published in Electron J. Combin. 19 (3) (2012) P12
• View Publication
• BIB
Recently, it has been shown that a connected graph $Γ$ with $d+1$ distinct eigenvalues and odd-girth $2d+1$ is distance-regular. The proof of this result was based on the spectral excess theorem. In this note we present an alternative and more direct proof which does not rely on the spectral excess theorem, but on a known characterization of distance-regular graphs in terms of the predistance polynomial of degree $d$.
On cyclically-interval edge colorings of trees
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ For an arbitrary tree $G$, it is proved that $G\in\mathfrak{M}$ and all possible values of $t$ are found for which $G\in\mathfrak{M}_t.$
Littlewood Polynomials with Small $L^4$ Norm
Littlewood asked how small the ratio $||f||_4/||f||_2$ (where $||.||_α$ denotes the $L^α$ norm on the unit circle) can be for polynomials $f$ having all coefficients in $\{1,-1\}$, as the degree tends to infinity. Since 1988, the least known asymptotic value of this ratio has been $\sqrt[4]{7/6}$, which was conjectured to be minimum. We disprove this conjecture by showing that there is a sequence of such polynomials, derived from the Fekete polynomials, for which the limit of this ratio is less than $\sqrt[4]{22/19}$.
An Entropic Proof of Chang's Inequality
Published
• View Publication
• BIB
Chang's lemma is a useful tool in additive combinatorics and the analysis of Boolean functions. Here we give an elementary proof using entropy. The constant we obtain is tight, and we give a slight improvement in the case where the variables are highly biased.
The number of multinomial coefficients based on a set of partitions of n into k parts and divided by k evenly
In this paper we obtained an original integer sequence based on the properties of the multinomial coefficient. We investigated a property of the sequence that shows connection with a primality testing. For any prime n the n-th term in the sequence is less by 1 than the number of partitions of n. We hypothesize the existence of an asymptotic algorithm of primality testing.
Voronoi tilings hidden in crystals - The case of maximal abelian coverings
Published
• View Publication
• BIB
Consider a finite connected graph possibly with multiple edges and loops. In discrete geometric analysis, Kotani and Sunada constructed the crystal associated to the graph as a standard realization of the maximal abelian covering of the graph. As an application of what the author showed in an earlier paper with Seshadri as a by-product of Geometric Invariant Theory, he shows that the Voronoi tiling (also known as the Wigner-Seitz tiling) is hidden in the crystal, that is, the crystal does not intrude the interiors of the top-dimensional Voronoi cells. The result turns out to be closely related to the tropical Abel-Jacobi map of the associated compact tropical curve.
Hypergraph containers
Published
• View Publication
• BIB
We develop a notion of containment for independent sets in hypergraphs. For every $r$-uniform hypergraph $G$, we find a relatively small collection $C$ of vertex subsets, such that every independent set of $G$ is contained within a member of $C$, and no member of $C$ is large; the collection, which is in various respects optimal, reveals an underlying structure to the independent sets. The containers offer a straightforward and unified approach to many combinatorial questions concerned (usually implicitly) with independence.
With regard to colouring, it follows that simple $r$-uniform hypergraphs of average degree $d$ have list chromatic number at least $(1/(r-1)^2 + o(1)) \log_r d$. For $r = 2$ this improves a bound due to Alon and is tight. For $r \ge 3$, previous bounds were weak but the present inequality is close to optimal.
In the context of extremal graph theory, it follows that, for each $\ell$-uniform hypergraph $H$ of order $k$, there is a collection $C$ of $\ell$-uniform hypergraphs of order $n$ each with $o(n^k)$ copies of $H$, such that every $H$-free $\ell$-uniform hypergraph of order $n$ is a subgraph of a hypergraph in $C$, and $\log |C| \le c n^{\ell-1/m(H)} \log n$ where $m(H)$ is a standard parameter (there is a similar statement for induced subgraphs). This yields simple proofs, for example, for the number of $H$-free hypergraphs, and for the sparsity theorems of Conlon-Gowers and Schacht. A slight variant yields a counting version of the KŁR conjecture.
Likewise, for systems of linear equations the containers supply, for example, bounds on the number of solution-free sets, and the existence of solutions in sparse random subsets.
Balogh, Morris and Samotij have independently obtained related results.
Extremal results in sparse pseudorandom graphs
Published in Adv. Math. 256 (2014), 206-290
• View Publication
• BIB
Szemerédi's regularity lemma is a fundamental tool in extremal combinatorics. However, the original version is only helpful in studying dense graphs. In the 1990s, Kohayakawa and Rödl proved an analogue of Szemerédi's regularity lemma for sparse graphs as part of a general program toward extending extremal results to sparse graphs. Many of the key applications of Szemerédi's regularity lemma use an associated counting lemma. In order to prove extensions of these results which also apply to sparse graphs, it remained a well-known open problem to prove a counting lemma in sparse graphs.
The main advance of this paper lies in a new counting lemma, proved following the functional approach of Gowers, which complements the sparse regularity lemma of Kohayakawa and Rödl, allowing us to count small graphs in regular subgraphs of a sufficiently pseudorandom graph. We use this to prove sparse extensions of several well-known combinatorial theorems, including the removal lemmas for graphs and groups, the Erdős-Stone-Simonovits theorem and Ramsey's theorem. These results extend and improve upon a substantial body of previous work.
On the Cartesian product of non well-covered graphs
Published
• View Publication
• BIB
A graph is well-covered if every maximal independent set has the same cardinality, namely the vertex independence number. We answer a question of Topp and Volkmann and prove that if the Cartesian product of two graphs is well-covered, then at least one of them must be well-covered.
Online version of the theorem of Thue
Published
• View Publication
• BIB
A sequence S is nonrepetitive if no two adjacent blocks of S are the same. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3 symbols. We consider the online variant of this result in which a nonrepetitive sequence is constructed during a play between two players: Bob is choosing a position in a sequence and Alice is inserting a symbol on that position taken from a fixed set A. The goal of Bob is to force Alice to create a repetition, and if he succeeds, then the game stops. The goal of Alice is naturally to avoid that and thereby to construct a nonrepetitive sequence of any given length. We prove that Alice has a strategy to play arbitrarily long provided the size of the set A is at least 12. This is the online version of the Theorem of Thue. The proof is based on nonrepetitive colorings of outerplanar graphs. On the other hand, one can prove that even over 4 symbols Alice has no chance to play for too long. The minimum size of the set of symbols needed for the online version of Thue's theorem remains unknown.
Nested recursions with ceiling function solutions
Published
• View Publication
• BIB
Consider a nested, non-homogeneous recursion R(n) defined by R(n) = \sum_{i=1}^k R(n-s_i-\sum_{j=1}^{p_i} R(n-a_ij)) + nu, with c initial conditions R(1) = xi_1 > 0,R(2)=xi_2 > 0, ..., R(c)=xi_c > 0, where the parameters are integers satisfying k > 0, p_i > 0 and a_ij > 0. We develop an algorithm to answer the following question: for an arbitrary rational number r/q, is there any set of values for k, p_i, s_i, a_ij and nu such that the ceiling function ceiling{rn/q} is the unique solution generated by R(n) with appropriate initial conditions? We apply this algorithm to explore those ceiling functions that appear as solutions to R(n). The pattern that emerges from this empirical investigation leads us to the following general result: every ceiling function of the form ceiling{n/q}$ is the solution of infinitely many such recursions. Further, the empirical evidence suggests that the converse conjecture is true: if ceiling{rn/q} is the solution generated by any recursion R(n) of the form above, then r=1. We also use our ceiling function methodology to derive the first known connection between the recursion R(n) and a natural generalization of Conway's recursion.
Independent Events in a Simple Random Experiment and the Meaning of Independence
Published
• View Publication
• BIB
We count the number and patterns of pairs and tuples of independent events in a simple random experiment: first a fair coin is flipped and then a fair die is tossed. The first number, equal to 888,888, suggest that there are some open questions about the structure of independence even in a finite sample space. We discuss briefly these questions and possible approaches to answer them.
C-sortable words as green mutation sequences
Published
• View Publication
• BIB
Let $Q$ be an acyclic quiver and $\mathbf{s}$ be a sequence with elements in the vertex set $Q_0$. We describe an induced sequence of simple (backward) tilting in the bounded derived category $\mathcal{D}(Q)$, starting from the standard heart $\mathcal{H}_Q=\operatorname{mod}\mathbf{k}Q$ and ending at another heart $\mathcal{H}_\mathbf{s}$ in $\mathcal{D}(Q)$. Then we show that $\mathbf{s}$ is a green mutation sequence if and only if every heart in this simple tilting sequence is greater than or equal to $\mathcal{H}_Q[-1]$; it is maximal if and only if $\mathcal{H}_\mathbf{s}=\mathcal{H}_Q[-1]$. This provides a categorical way to understand green mutations. Further, fix a Coxeter element $c$ in the Coxeter group $W_Q$ of $Q$, which is admissible with respect to the orientation of $Q$. We prove that the sequence $\widetilde{\mathbf{w}}$ induced by a $c$-sortable word $\mathbf{w}$ is a green mutation sequence. As a consequence, we obtain a bijection between $c$-sortable words and finite torsion classes in $\mathcal{H}_Q$. As byproducts, the interpretations of inversions, descents and cover reflections of a $c$-sortable word $\mathbf{w}$ are given in terms of the combinatorics of green mutations.
The Deodhar decomposition of the Grassmannian and the regularity of KP solitons
Published
• View Publication
• BIB
Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y>>0 and y<<0. Next we introduce a refinement of the positroid stratification -- the Deodhar decomposition of the Grassmannian -- which is defined to be the projection of Deodhar's decomposition of the complete flag variety. We index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams, and then use these Go-diagrams to characterize the contour plots of solitons solutions when t<<0. Finally we use these results to show that a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.
Open Problems in Analysis of Boolean Functions
A list of open problems in the field of analysis of boolean functions, compiled February 2012 for the Simons Symposium.