Showing 20 papers (Total: 82064 papers, 47505 authors in database)
On the Erdos distinct distance problem in the plane
Published
• View Publication
• BIB
In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.
Polytopes from Subgraph Statistics
Polytopes from subgraph statistics are important in applications and conjectures and theorems in extremal graph theory can be stated as properties of them. We have studied them with a view towards applications by inscribing large explicit polytopes and semi-algebraic sets when the facet descriptions are intractable. The semi-algebraic sets called curvy zonotopes are introduced and studied using graph limits. From both volume calculations and algebraic descriptions we find several interesting conjectures.
Sharp Thresholds for Monotone Non Boolean Functions and Social Choice Theory
Published
• View Publication
• BIB
A key fact in the theory of Boolean functions $f : \{0,1\}^n \to \{0,1\}$ is that they often undergo sharp thresholds. For example: if the function $f : \{0,1\}^n \to \{0,1\}$ is monotone and symmetric under a transitive action with $\E_p[f] = \eps$ and $\E_q[f] = 1-\eps$ then $q-p \to 0$ as $n \to \infty$. Here $\E_p$ denotes the product probability measure on $\{0,1\}^n$ where each coordinate takes the value $1$ independently with probability $p$. The fact that symmetric functions undergo sharp thresholds is important in the study of random graphs and constraint satisfaction problems as well as in social choice.In this paper we prove sharp thresholds for monotone functions taking values in an arbitrary finite sets. We also provide examples of applications of the results to social choice and to random graph problems. Among the applications is an analog for Condorcet's jury theorem and an indeterminacy result for a large class of social choice functions.
Constructing Extended Formulations from Reflection Relations
Published
• View Publication
• BIB
There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).
Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees
The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.
Deformed diagonal harmonic polynomials for complex reflection groups
Published
• View Publication
• BIB
We introduce deformations of the space of (multi-diagonal) harmonic polynomials for any finite complex reflection group of the form W=G(m,p,n), and give supporting evidence that this space seems to always be isomorphic, as a graded W-module, to the undeformed version.
A determinant formula for the Jones polynomial of pretzel knots
Published in Journal of Knot Theory and Its Ramifications vol. 21, no. 6 (2012) 1250062 (23 pages)
• View Publication
• BIB
This paper presents an algorithm to construct a weighted adjacency matrix of a plane bipartite graph obtained from a pretzel knot diagram. The determinant of this matrix after evaluation is shown to be the Jones polynomial of the pretzel knot by way of perfect matchings (or dimers) of this graph. The weights are Tutte's activity letters that arise because the Jones polynomial is a specialization of the signed version of the Tutte polynomial. The relationship is formalized between the familiar spanning tree setting for the Tait graph and the perfect matchings of the plane bipartite graph above. Evaluations of these activity words are related to the chain complex for the Champanerkar-Kofman spanning tree model of reduced Khovanov homology.
Affine Patches on Positroid Varieties and Affine Pipe Dreams (Thesis)
The objects of interest in this thesis are positroid varieties in the Grassmannian, which are indexed by juggling patterns. In particular, we study affine patches on these positroid varieties. Our main result corresponds these affine patches to Kazhdan-Lusztig varieties in the affine Grassmannian. We develop a new term order and study how these spaces are related to subword complexes and Stanley-Reisner ideals. We define an extension of pipe dreams to the affine case and conclude by showing how our affine pipe dreams are generalizations of Cauchon and Le diagrams.
Generalizations of Nekrasov-Okounkov Identity
Published
• View Publication
• BIB
Nekrasov-Okounkov identity gives a product representation of the sum over partitions of a certain function of partition hook length. In this paper we give several generalizations of the Nekrasov-Okounkov identity using the cyclic symmetry of the topological vertex.
Generalized covering designs and clique coverings
Published
• View Publication
• BIB
Inspired by the "generalized t-designs" defined by Cameron [P. J. Cameron, A generalisation of t-designs, Discrete Math. 309 (2009), 4835--4842], we define a new class of combinatorial designs which simultaneously provide a generalization of both covering designs and covering arrays. We then obtain a number of bounds on the minimum sizes of these designs, and describe some methods of constructing them, which in some cases we prove are optimal. Many of our results are obtained from an interpretation of these designs in terms of clique coverings of graphs.
Induced subgraphs in sparse random graphs with given degree sequence
Published
• View Publication
• BIB
For any $S\subset [n]$, we compute the probability that the subgraph of $\mathcal{G}_{n,d}$ induced by $S$ is a given graph $H$ on the vertex set $S$. The result holds for any $d=o(n^{1/3})$ and is further extended to $\mathcal{G}_{\bf d}$, the probability space of random graphs with a given degree sequence $\bf d$.
Magnetic Towers of Hanoi and their Optimal Solutions
The Magnetic Tower of Hanoi puzzle - a modified "base 3" version of the classical Tower of Hanoi puzzle as described in earlier papers, is actually a small set of independent sister-puzzles, depending on the "pre-coloring" combination of the tower's posts. Starting with Red facing up on a Source post, working through an Intermediate - colored or Neutral post, and ending Blue facing up on a Destination post, we identify the different pre-coloring combinations in (S,I,D) order. The Tower's pre-coloring combinations are {[(R,B,B) / (R,R,B)] ; [(R,B,N) / (N,R,B)] ; [(N,B,N) / (N,R,N)] ; [R,N,B] ; [(R,N,N) / (N,N,B)] ; [N,N,N]}. In this paper we investigate these sister-puzzles, identify the algorithm that optimally solves each pre-colored puzzle, and prove its Optimality. As it turns out, five of the six algorithms, challenging on their own, are part of the algorithm solving the "natural", Free Magnetic Tower of Hanoi puzzle [N,N,N]. We start by showing that the N-disk Colored Tower [(R,B,B) / (R,R,B)] is solved by (3^N - 1)/2 moves. Defining "Algorithm Duration" as the ratio of number of algorithm-moves solving the puzzle to the number of algorithm-moves solving the Colored Tower, we find the Duration-Limits for all sister-puzzles. In the order of the list above they are {[1] ; [10/11] ; [10/11] ; [8/11] ; [7/11] ; [20/33]}. Thus, the Duration-Limit of the Optimal Algorithm solving the Free Magnetic Tower of Hanoi puzzle is 20/33 or 606 0/00. On the road to optimally solve this colorful Magnetic puzzle, we hit other "forward-moving" puzzle-solving algorithms. Overall we looked at 10 pairs of integer sequences. Of the twenty integer sequences, five are listed in the On-line Encyclopedia of Integer Sequences, the other fifteen - not yet. The large set of different solutions is a clear indication to the freedom-of-wondering that makes this Magnetic Tower of Hanoi puzzle so colorful.
On core and bar-core partitions
Published in The Ramanujan Journal, vol 27 (2012), no. 2, pp. 229-233
• View Publication
• BIB
If $s$ and $t$ are relatively prime J. Olsson proved in 2008 that the $s$-core of a $t$-core partition is again a $t$-core partition, and that the $s$-bar-core of a $t$-bar-core partition is again a $t$-bar-core partition. Here generalized results are proved for partitions and bar-partitions when the restriction that $s$ and $t$ be relatively prime is removed.
Pfaffian Stochastic Dynamics of Strict Partitions
Published
• View Publication
• BIB
We study a family of continuous time Markov jump processes on strict partitions (partitions with distinct parts) preserving the distributions introduced by Borodin (1997) in connection with projective representations of the infinite symmetric group. The one-dimensional distributions of the processes (i.e., the Borodin's measures) have determinantal structure. We express the dynamical correlation functions of the processes in terms of certain Pfaffians and give explicit formulas for both the static and dynamical correlation kernels using the Gauss hypergeometric function. Moreover, we are able to express our correlation kernels (both static and dynamical) through those of the z-measures on partitions obtained previously by Borodin and Olshanski in a series of papers.
The results about the fixed time case were announced in the author's note arXiv:1002.2714. A part of the present paper contains proofs of those results.
Intersecting Families of Permutations
Published
• View Publication
• BIB
A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest $k$-intersecting subsets of $S_n$ are cosets of stabilizers of $k$ points, proving a conjecture of Deza and Frankl. We also prove a similar result concerning $k$-cross-intersecting subsets. Our proofs are based on eigenvalue techniques and the representation theory of the symmetric group.
On sizes of complete arcs in PG(2,q)
New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for 853 <= q <= 4561 and q\in T1\cup T2 where T1={173,181,193,229,243,257,271,277,293,343,373,409,443,449,457, 461,463,467,479,487,491,499,529,563,569,571,577,587,593,599,601,607,613,617,619,631, 641,661,673,677,683,691, 709}, T2={4597,4703,4723,4733,4789,4799,4813,4831,5003,5347,5641,5843,6011,8192}. From these new bounds it follows that for q <= 2593 and q=2693,2753, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 4561 we have t_{2}(2,q) < 4.75\sqrt{q}. It is showed that for 23 <= q <= 4561 and q\in T2\cup {2^{14},2^{15},2^{18}}, the inequality t_{2}(2,q) < \sqrt{q}ln^{0.75}q is true. Moreover, the results obtained allow us to conjecture that this estimate holds for all q >= 23. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms. Also new constructions of complete arcs are proposed. These constructions form families of k-arcs in PG(2,q) containing arcs of all sizes k in a region k_{min} <= k <= k_{max} where k_{min} is of order q/3 or q/4 while k_{max} has order q/2. The completeness of the arcs obtained by the new constructions is proved for q <= 1367 and 2003 <= q <= 2063. There is reason to suppose that the arcs are complete for all q > 1367. New sizes of complete arcs in PG(2,q) are presented for 169 <= q <= 349 and q=1013,2003.
Another Proof of Oscar Rojo's Theorems
We present here another proof of Oscar Rojo's theorems about the spectrum of graph Laplacian on certain balanced trees, by taking advantage of the symmetry properties of the trees in question, and looking into the eigenfunctions of Laplacian.
CAT-generation of ideals
We consider the problem of generating all ideals of a poset. It is a long standing open problem, whether or not the ideals of any poset can be generated in constant amortized time, CAT for short. We refine the tree traversal, a method introduced by Pruesse and Ruskey in 1993, to obtain a CAT-generator for two large classes of posets: posets of interval dimension at most two and so called locally planar posets. This includes all posets for which a CAT-generator was known before. Posets of interval dimension at most two generalize both, interval orders and 2-dimensional posets. Locally planar posets generalize for example posets with a planar cover graph.
We apply our results to CAT-generate all c-orientations of a planar graph. As a special case this is a CAT-generator for many combinatorial objects like domino and lozenge tilings, planar spanning trees, planar bipartite perfect matchings, Schnyder woods, and others.
Star chromatic index
The star chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors needed to properly color the edges of the graph so that no path or cycle of length four is bi-colored. We obtain a near-linear upper bound in terms of the maximum degree $Δ=Δ(G)$. Our best lower bound on $χ_s'$ in terms of $Δ$ is $2Δ(1+o(1))$ valid for complete graphs. We also consider the special case of cubic graphs, for which we show that the star chromatic index lies between 4 and 7 and characterize the graphs attaining the lower bound. The proofs involve a variety of notions from other branches of mathematics and may therefore be of certain independent interest.
Equivalence between Extendibility and Factor-Criticality
Published in Ars Combinatoria, 85(2007), 279-285
• Search Publication
In this paper, we show that if $k\geq (ν+2)/4$, where $ν$ denotes the order of a graph, a non-bipartite graph $G$ is $k$-extendable if and only if it is $2k$-factor-critical. If $k\geq (ν-3)/4$, a graph $G$ is $k\ 1/2$-extendable if and only if it is $(2k+1)$-factor-critical. We also give examples to show that the two bounds are best possible. Our results are answers to a problem posted by Favaron [3] and Yu [11].