Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Rational curves with many rational points over a finite field
Published
• View Publication
• BIB
We study a particular plane curve over a finite field whose normalization is of genus 0. The number of rational points of this curve achieves the Aubry-Perret bound for rational curves. The configuration of its rational points and a generalization of the curve are also presented.
An Optimal Odd Unimodular Lattice in Dimension 72
Published in Archiv der Mathematik 97 (2011), 529-533
• View Publication
• BIB
It is shown that if there is an extremal even unimodular lattice in dimension 72, then there is an optimal odd unimodular lattice in that dimension. Hence, the first example of an optimal odd unimodular lattice in dimension 72 is constructed from the extremal even unimodular lattice which has been recently found by G. Nebe.
On sub-determinants and the diameter of polyhedra
Published
• View Publication
• BIB
We derive a new upper bound on the diameter of a polyhedron P = {x \in R^n : Ax <= b}, where A \in Z^{m\timesn}. The bound is polynomial in n and the largest absolute value of a sub-determinant of A, denoted by Δ. More precisely, we show that the diameter of P is bounded by O(Δ^2 n^4 log nΔ). If P is bounded, then we show that the diameter of P is at most O(Δ^2 n^3.5 log nΔ).
For the special case in which A is a totally unimodular matrix, the bounds are O(n^4 log n) and O(n^3.5 log n) respectively. This improves over the previous best bound of O(m^16 n^3 (log mn)^3) due to Dyer and Frieze.
Min-max relations for odd cycles in planar graphs
Let m(G) be the maximum number of vertex-disjoint odd cycles of a graph G and t(G) the minimum number of vertices whose removal makes G bipartite. We show that t(G)<=6m(G) if G is planar. This improves the previous bound t(G)<=10m(G) by Fiorini, Hardy, Reed and Vetta [Math. Program. Ser. B 110 (2007), 71-91].
A note on statistical model for BPS D4-D2-D0 states
Published
• View Publication
• BIB
We construct a statistical model that reproduces the BPS partition function of D4-D2-D0 bound states on a class of toric Calabi-Yau three-folds. The Calabi-Yau three-folds we consider are obtained by adding a compact two-cycle to $A_{N-1}$-ALE $\times \mathbb{C}$. We show that in the small radii limit of the Calabi-Yau the D4-D2-D0 partition function is correctly reproduced by counting the number of triangles and parallelograms.
Complexity of a Single Face in an Arrangement of s-Intersecting Curves
Consider a face F in an arrangement of n Jordan curves in the plane, no two of which intersect more than s times. We prove that the combinatorial complexity of F is O(λ_s(n)), O(λ_{s+1}(n)), and O(λ_{s+2}(n)), when the curves are bi-infinite, semi-infinite, or bounded, respectively; λ_k(n) is the maximum length of a Davenport-Schinzel sequence of order k on an alphabet of n symbols.
Our bounds asymptotically match the known worst-case lower bounds. Our proof settles the still apparently open case of semi-infinite curves. Moreover, it treats the three cases in a fairly uniform fashion.
Three layer $Q_2$-free families in the Boolean lattice
Published
• View Publication
• BIB
We prove that the largest $Q_2$-free family of subsets of $[n]$ which contains sets of at most three different sizes has at most $(3 + 2\sqrt {3})N/3 + o(N) \approx 2.1547N + o(N)$ members, where $N = {n \choose {\lfloor n/2 \rfloor}}$. This improves an earlier bound of $2.207N + o(N)$ by Axenovich, Manske, and Martin.
Excursions into Algebra and Combinatorics at $q=0$
We explore combinatorics associated with the degenerate Hecke algebra at $q=0$, obtaining a formula for a system of orthogonal idempotents, and also exploring various pattern avoidance results. Generalizing constructions for the 0-Hecke algebra, we explore the representation theory of $\JJ$-trivial monoids.
We then discuss two-tensors of crystal bases for $U_q(\tilde{\mathfrak{sl}_2})$, establishing a complementary result to one of Bandlow, Schilling, and Thiéry on affine crystals arising from promotion operators. Finally, we give a computer implementation of Stembridge's local axioms for simply-laced crystal bases.
On a theorem of Schoen and Shkredov on sumsets of convex sets
A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.
The Stabilizer Of Immanants
Published
• View Publication
• BIB
We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. we prove that the identity component of the stabilizer of any immanant (except determinant, permanent) is the expected one. We also prove that for n>5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is again the expected one.
Formulae for the number of partitions of n into at most m parts (using the quasi-polynomial ansatz)
Published in Advances in Applied Mathematics 48 (2012) 640--645
• View Publication
• BIB
The purpose of this short article is to announce, and briefly describe, a Maple package, PARTITIONS, that (inter alia) completely automatically discovers, and then proves, explicit expressions (as sums of quasi-polynomials) for pm(n) for any desired m. We do this to demonstrate the power of "rigorous guessing" as facilitated by the quasi-polynomial ansatz.
VC density and dp rank
We derive that dpR(n) \leq dens(n) \leq dpR(n)+1, where dens(n) is the supremum of the VC density of all formulas in n parameters, and dpR(n) is the maximum depth of an ICT pattern in n variables. Consequently, strong dependence is equivalent to finite VC density.
Another proof of the $n!$ conjecture
The "n! conjecture" of Garsia and Haiman has inspired mathematicians for nearly two decades, even after Haiman published a proof in 2001. Kumar and Funch Thomsen proved in 2003 that in order to prove the conjecture for all partitions, it suffices to prove it for the so-called "staircase partitions" $(k,k-1,...,2,1)$ for each $k>1$. In the present paper we give a construction of a specially designed two-dimensional family of length-$n$ subschemes of the plane, and use that to prove the $n!$ conjecture for staircase partitions. Together with the result of Kumar and Funch Thomsen, this provides a new proof of Haiman's theorem.
Diameter of the thick part of moduli space and simultaneous Whitehead moves
Published in Duke Math. J. 162, no. 10 (2013), 1833-1876
• View Publication
• BIB
Let S be a surface of genus g with p punctures with negative Euler characteristic. We study the diameter of the $ε$-thick part of moduli space of S equipped with the Teichmüller or Thurston's Lipschitz metric. We show that the asymptotic behaviors in both metrics are of order $\log \frac{g+p}ε$. The same result also holds for the $ε$-thick part of the moduli space of metric graphs of rank n equipped with the Lipschitz metric. The proof involves a sorting algorithm that sorts an arbitrary labeled tree with n labels with simultaneous Whitehead moves, where the number of steps is of order log(n).
A multipartite version of the Hajnal-Szemerédi theorem for graphs and hypergraphs
Published
• View Publication
• BIB
A perfect $K_t$-matching in a graph $G$ is a spanning subgraph consisting of vertex disjoint copies of $K_t$. A classic theorem of Hajnal and Szemerédi states that if $G$ is a graph of order $n$ with minimum degree $δ(G) \ge (t-1)n/t$ and $t| n$, then $G$ contains a perfect $K_t$-matching. Let $G$ be a $t$-partite graph with vertex classes $V_1$,..., $V_t$ each of size $n$. We show that if every vertex $x \in V_i$ is joined to at least $((t-1)/t + γ)n $ vertices of $V_j$ for $i \ne j$, then $G$ contains a perfect $K_t$-matching, thus verifying a conjecture of Fisher asymptotically. Furthermore, we consider a generalisation to hypergraphs in terms of the codegree.
Asymptotic rays
Published in International Journal of Pure and Applied Mathematics, Volume 56, No. 3 (2009), 353-358
• Search Publication
We prove that a graph G is asymptotically isomorphic to the ray if and only if G is uniformly spherically bounded and is of bounded local degrees. This problem arouse in combinatorics and was posed in [3] (Problem 10.1).
Tiling 3-uniform hypergraphs with K_4^3-2e
Published
• View Publication
• BIB
Let K_4^3-2e denote the hypergraph consisting of two triples on four points. For an integer n, let t(n, K_4^3-2e) denote the smallest integer d so that every 3-uniform hypergraph G of order n with minimum pair-degree δ_2(G) \geq d contains \floor{n/4} vertex-disjoint copies of K_4^3-2e. Kühn and Osthus proved that t(n, K_4^3-2e) = (1 + o(1))n/4 holds for large integers n. Here, we prove the exact counterpart, that for all sufficiently large integers n divisible by 4, t(n, K_4^3-2e) = n/4 when n/4 is odd, and t(n, K_4^3-2e) = n/4+1 when n/4 is even.
A main ingredient in our proof is the recent `absorption technique' of Rödl, Ruciński and Szemerédi.
Edge covering pseudo-outerplanar graphs with forests
Published
• View Publication
• BIB
A graph is called pseudo-outerplanar if each block has an embedding on the plane in such a way that the vertices lie on a fixed circle and the edges lie inside the disk of this circle with each of them crossing at most one another. In this paper, we prove that each pseudo-outerplanar graph admits edge decompositions into a linear forest and an outerplanar graph, or a star forest and an outerplanar graph, or two forests and a matching, or $\max\{Δ(G),4\}$ matchings, or $\max\{\lceilΔ(G)/2\rceil,3\}$ linear forests. These results generalize some ones on outerplanar graphs and $K_{2,3}$-minor-free graphs, since the class of pseudo-outerplanar graphs is a larger class than the one of $K_{2,3}$-minor-free graphs.
Understanding 3-manifolds in the context of permutations
We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an algorithm we have developed that takes the permutation data as input and determines whether the data represents a closed 3-manifold. We therefore have an invariant of groups, that is given any group presentation, we can determine if that fixed presentation presents a closed 3-manifold.
(The proposed techniques begin with a pair of signed permutations and builds a finite group presentation. The finite group presentation results in a finite class of associated 3-manifolds. Notice that a negative answer only implies the fixed presentation does not result in a closed 3-manifold under this construction, but says nothing about an isomorphic form of the group presentation.)
Disjoint Empty Convex Pentagons in Planar Point Sets
Published in Periodica Mathematica Hungarica, Vol. 66 (1), 73-86, 2013
• View Publication
• BIB
Harborth [{\it Elemente der Mathematik}, Vol. 33 (5), 116--118, 1978] proved that every set of 10 points in the plane, no three on a line, contains an empty convex pentagon. From this it follows that the number of disjoint empty convex pentagons in any set of $n$ points in the plane is least $\lfloor\frac{n}{10}\rfloor$. In this paper we prove that every set of 19 points in the plane, no three on a line, contains two disjoint empty convex pentagons. We also show that any set of $2m+9$ points in the plane, where $m$ is a positive integer, can be subdivided into three disjoint convex regions, two of which contains $m$ points each, and another contains a set of 9 points containing an empty convex pentagon. Combining these two results, we obtain non-trivial lower bounds on the number of disjoint empty convex pentagons in planar points sets. We show that the number of disjoint empty convex pentagons in any set of $n$ points in the plane, no three on a line, is at least $\lfloor\frac{5n}{47}\rfloor$. This bound has been further improved to $\frac{3n-1}{28}$ for infinitely many $n$.