Showing 20 papers (Total: 82661 papers, 47773 authors in database)
First non-trivial upper bound on the circular chromatic number of the plane
Published
• View Publication
• BIB
We consider circular version of the famous Nelson-Hadwiger problem. It is know that 4 colors are necessary and 7 colors suffice to color the euclidean plane in such a way that points at distance one get different colors. In $r$-circular coloring we assign arcs of length one of a circle with a perimeter $r$ in such a way that points at distance one get disjoint arcs. In this paper we show the existence of $r$-circular coloring for $r=4+\frac{4\sqrt{3}}{3}\approx 6.30$. It is the first result with $r$-circular coloring of the plane with $r$ smaller than 7. We also show $r$-circular coloring of the plane with $r<7$ in the case when we require disjoint arcs for points at distance belonging to the internal $[\frac{10}{11}, \frac{12}{11}]$.
Fractional and $j$-fold colouring of the plane
Published in Discrete Comput Geom (2016) 55: 594
• View Publication
• BIB
We present results referring to the Hadwiger-Nelson problem which asks for the minimum number of colours needed to colour the plane with no two points at distance $1$ having the same colour. Exoo considered a more general problem concerning graphs $G_{[a,b]}$ with $\mathbb{R}^2$ as the vertex set and two vertices adjacent if their distance is in the interval $[a,b]$. Exoo conjectured $χ(G_{[a,b]}) = 7$ for sufficiently small but positive difference between $a$ and $b$. We partially answer this conjecture by proving that $χ(G_{[a,b]}) \geq 5$ for $b > a$.
A $j$-fold colouring of graph $G = (V,E)$ is an assignment of $j$-elemental sets of colours to the vertices of $G$, in such a way that the sets assigned to any two adjacent vertices are disjoint. The fractional chromatic number $χ_f(G)$ is the infimum of fractions $k/j$ for $j$-fold colouring of $G$ using $k$ colours. We generalize a method by Hochberg and O'Donnel (who proved that $G_{[1,1]} \leq 4.36$) for fractional colouring of graphs $G_{[a,b]}$, obtaining a bound dependant on $\frac{a}{b}$.
We also present few specific and two general methods for $j$-fold coloring of $G_{[a,b]}$ for small $j$, in particular for $G_{[1,1]}$ and $G_{[1,2]}$. The $j$-fold colouring for small $j$ has strong practical motivation especially in scheduling theory, while graph $G_{[1,2]}$ is often used to model hidden conflicts in radio networks.
Non-abelian Littlewood-Offord inequalities
Published
• View Publication
• BIB
In 1943, Littlewood and Offord proved the first anti-concentration result for sums of independent random variables. Their result has since then been strengthened and generalized by generations of researchers, with applications in several areas of mathematics.
In this paper, we present the first non-abelian analogue of Littlewood-Offord result, a sharp anti-concentration inequality for products of independent random variables.
Tableaux combinatorics of the two-species PASEP
Published in J. Comb. Theory, Ser. A 159 (2015): 215-239
• View Publication
• BIB
We study a two-species PASEP, in which there are two types of particles, "heavy" and "light," hopping right and left on a one-dimensional lattice of $n$ cells with open boundaries. In this process, only the "heavy" particles can enter on the left of the lattice and exit from the right of the lattice. In the bulk, any transition where a heavier particle type swaps places with an adjacent lighter particle type is possible. We generalize combinatorial results of Corteel and Williams for the ordinary PASEP by defining a combinatorial object which we call a rhombic alternative tableau that gives a combinatorial formula for the stationary probabilities for the states of this two-species PASEP.
On infinite regular and chiral maps
Published
• View Publication
• BIB
We prove that infinite regular and chiral maps take place on surfaces with at most one end. Moreover, we prove that an infinite regular or chiral map on an orientable surface with genus can only be realized on the Loch Ness monster, that is, the topological surface of infinite genus with one end.
Equivariant K-theory of Grassmannians
Published in Forum of Mathematics Pi (2017), Vol. 5, e3, 128pp
• View Publication
• BIB
We address a unification of the Schubert calculus problems solved by [A. Buch '02] and [A. Knutson-T. Tao '03]. That is, we prove a combinatorial rule for the structure coefficients in the torus-equivariant K-theory of Grassmannians with respect to the basis of Schubert structure sheaves. We thereby deduce the conjectural rule of [H. Thomas-A. Yong '13] for the same coefficients. Both rules are positive in the sense of [D. Anderson-S. Griffeth-E. Miller '11] (and moreover in a stronger form). Our work is based on the combinatorics of genomic tableaux and a generalization of [M.-P. Schutzenberger '77]'s jeu de taquin.
Combinatorial tropical surfaces
We study the combinatorial properties of 2-dimensional tropical complexes. In particular, we prove tropical analogues of the Hodge index theorem and Noether's formula. In addition, we introduce algebraic equivalence for divisors on tropical complexes of arbitrary dimension.
Bias vs structure of polynomials in large fields, and applications in information theory
Published
• View Publication
• BIB
Let $f$ be a polynomial of degree $d$ in $n$ variables over a finite field $\mathbb{F}$. The polynomial is said to be unbiased if the distribution of $f(x)$ for a uniform input $x \in \mathbb{F}^n$ is close to the uniform distribution over $\mathbb{F}$, and is called biased otherwise. The polynomial is said to have low rank if it can be expressed as a composition of a few lower degree polynomials. Green and Tao [Contrib. Discrete Math 2009] and Kaufman and Lovett [FOCS 2008] showed that bias implies low rank for fixed degree polynomials over fixed prime fields. This lies at the heart of many tools in higher order Fourier analysis. In this work, we extend this result to all prime fields (of size possibly growing with $n$). We also provide a generalization to nonprime fields in the large characteristic case. However, we state all our applications in the prime field setting for the sake of simplicity of presentation.
Using the above generalization to large fields as a starting point, we are also able to settle the list decoding radius of fixed degree Reed-Muller codes over growing fields. The case of fixed size fields was solved by Bhowmick and Lovett [STOC 2015], which resolved a conjecture of Gopalan-Klivans-Zuckerman [STOC 2008]. Here, we show that the list decoding radius is equal the minimum distance of the code for all fixed degrees, even when the field size is possibly growing with $n$.
Additionally, we effectively resolve the weight distribution problem for Reed-Muller codes of fixed degree over all fields, first raised in 1977 in the classic textbook by MacWilliams and Sloane [Research Problem 15.1 in Theory of Error Correcting Codes].
ShapeFit: Exact location recovery from corrupted pairwise directions
Published
• View Publication
• BIB
Let $t_1,\ldots,t_n \in \mathbb{R}^d$ and consider the location recovery problem: given a subset of pairwise direction observations $\{(t_i - t_j) / \|t_i - t_j\|_2\}_{i<j \in [n] \times [n]}$, where a constant fraction of these observations are arbitrarily corrupted, find $\{t_i\}_{i=1}^n$ up to a global translation and scale. We propose a novel algorithm for the location recovery problem, which consists of a simple convex program over $dn$ real variables. We prove that this program recovers a set of $n$ i.i.d. Gaussian locations exactly and with high probability if the observations are given by an \erdosrenyi graph, $d$ is large enough, and provided that at most a constant fraction of observations involving any particular location are adversarially corrupted. We also prove that the program exactly recovers Gaussian locations for $d=3$ if the fraction of corrupted observations at each location is, up to poly-logarithmic factors, at most a constant. Both of these recovery theorems are based on a set of deterministic conditions that we prove are sufficient for exact recovery.
Integration and measures on the space of countable labelled graphs
In this paper we develop a rigorous foundation for the study of integration and measures on the space $\mathscr{G}(V)$ of all graphs defined on a countable labelled vertex set $V$. We first study several interrelated $σ$-algebras and a large family of probability measures on graph space. We then focus on a "dyadic" Hamming distance function $\left\| \cdot \right\|_{ψ,2}$, which was very useful in the study of differentiation on $\mathscr{G}(V)$. The function $\left\| \cdot \right\|_{ψ,2}$ is shown to be a Haar measure-preserving bijection from the subset of infinite graphs to the circle (with the Haar/Lebesgue measure), thereby naturally identifying the two spaces. As a consequence, we establish a "change of variables" formula that enables the transfer of the Riemann-Lebesgue theory on $\mathbb{R}$ to graph space $\mathscr{G}(V)$. This also complements previous work in which a theory of Newton-Leibnitz differentiation was transferred from the real line to $\mathscr{G}(V)$ for countable $V$. Finally, we identify the Pontryagin dual of $\mathscr{G}(V)$, and characterize the positive definite functions on $\mathscr{G}(V)$.
Associated primes of powers of edge ideals and ear decompositions of graphs
Published
• View Publication
• BIB
In this paper, we give a complete description of the associated primes of every power of the edge ideal in terms of generalized ear decompositions of the graph. This result establishes a surprising relationship between two seemingly unrelated notions of Commutative Algebra and Combinatorics. It covers all previous major results in this topic and has several interesting consequences.
A representation on the labeled rooted forests
Published
• View Publication
• BIB
We consider conjugation action of symmetric group on the semigroup of all partial functions and develop a machinery to investigate character formulas and multiplicities. In particular, we determine nilpotent matrices whose orbit under symmetric group afford the sign representation. Applications to rook theory are offered.
On the number of transversals in latin squares
Published in Discrete Appl. Math. 2016. V. 202. P. 194-196
• View Publication
• BIB
The logarithm of the maximum number of transversals over all latin squares of order $n$ is greater than $\frac{n}{6}(\ln n+ O(1))$.
The peeling process of infinite Boltzmann planar maps
Published in The Electronic Journal of Combinatorics 23 (2016) pp.1.28
• View Publication
• BIB
We start by studying a peeling process on finite random planar maps with faces of arbitrary degrees determined by a general weight sequence, which satisfies an admissibility criterion. The corresponding perimeter process is identified as a biased random walk, in terms of which the admissibility criterion has a very simple interpretation. The finite random planar maps under consideration were recently proved to possess a well-defined local limit known as the infinite Boltzmann planar map (IBPM). Inspired by recent work of Curien and Le Gall, we show that the peeling process on the IBPM can be obtained from the peeling process of finite random maps by conditioning the perimeter process to stay positive. The simplicity of the resulting description of the peeling process allows us to obtain the scaling limit of the associated perimeter and volume process for arbitrary regular critical weight sequences.
The Ring of Support-Classes of $\mathrm{SL}\_2(\mathbb F\_q)$
We introduce and study a subring $\mathcal{SC}$ of $\mathbb Z[\mathrm{SL}\_2(\mathbb F\_q)]$ obtained by summing elements of $\mathrm{SL}\_2(\mathbb F\_q)$ according to their support. The ring $\mathcal SC$ can be used for the construction of several association schemes.
A family of symmetric functions associated with Stirling permutations
We present exponential generating function analogues to two classical identities involving the ordinary generating function of the complete homogeneous symmetric functions. After a suitable specialization the new identities reduce to identities involving the first and second order Eulerian polynomials. The study of these identities led us to consider a family of symmetric functions associated with a class of permutations introduced by Gessel and Stanley, known in the literature as Stirling permutations. In particular, we define certain type statistics on Stirling permutations that refine the statistics of descents, ascents and plateaux and we show that their refined versions are equidistributed, generalizing a result of Bóna. The definition of this family of symmetric functions extends to the generality of $r$-Stirling permutations. We discuss some occurrences of these symmetric functions in the cases of $r=1$ and $r=2$.
On the spectral characterization of Kite graphs
Published
• View Publication
• BIB
The \textit{Kite graph}, denoted by $Kite_{p,q}$ is obtained by appending a complete graph $K_{p}$ to a pendant vertex of a path $P_{q}$. In this paper, firstly we show that no two non-isomorphic kite graphs are cospectral w.r.t adjacency matrix. Let $G$ be a graph which is cospectral with $Kite_{p,q}$ and the clique number of $G$ is denoted by $w(G)$. Then, it is shown that $w(G)\geq p-2q+1$. Also, we prove that $Kite_{p,2}$ graphs are determined by their adjacency spectrum.
Snake graph calculus and cluster algebras from surfaces III: Band graphs and snake rings
We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in the theory of cluster algebras. We obtain several rings by varying the conditions on the structure as well as the labelling of the graphs. The most restrictive form of this ring is isomorphic to the ring $\mathbb{Z}[x,y]$ of polynomials in two variables over the integers. A more general form contains all cluster algebras of unpunctured surface type.
The definition of the rings requires the snake graph calculus which is completed in this paper building on two earlier articles on the subject. Identities in the snake ring correspond to bijections between the posets of perfect matchings of the graphs. One of the main results of the current paper is the completion of the explicit construction of these bijections.
Recovering a tree from the lengths of subtrees spanned by a randomly chosen sequence of leaves
Published
• View Publication
• BIB
Given an edge-weighted tree $T$ with $n$ leaves, sample the leaves uniformly at random without replacement and let $W_k$, $2 \le k \le n$, be the length of the subtree spanned by the first $k$ leaves. We consider the question, "Can $T$ be identified (up to isomorphism) by the joint probability distribution of the random vector $(W_2, \ldots, W_n)$?" We show that if $T$ is known {\em a priori} to belong to one of various families of edge-weighted trees, then the answer is, "Yes." These families include the edge-weighted trees with edge-weights in general position, the ultrametric edge-weighted trees, and certain families with equal weights on all edges such as $(k+1)$-valent and rooted $k$-ary trees for $k \ge 2$ and caterpillars.
Chip games and paintability
Published
• View Publication
• BIB
We prove that the difference between the paint number and the choice number of a complete bipartite graph $K_{N,N}$ is $Θ(\log \log N )$. That answers the question of Zhu (2009) whether this difference, for all graphs, can be bounded by a common constant. By a classical correspondence, our result translates to the framework of on-line coloring of uniform hypergraphs. This way we obtain that for every on-line two coloring algorithm there exists a k-uniform hypergraph with $Θ(2^k )$ edges on which the strategy fails. The results are derived through an analysis of a natural family of chip games.