contain ↗ reference
7689 papers tagged with this keyword
Gorenstein rings through face rings of manifolds
Published
• View Publication
• BIB
The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the sphere $g$-conjecture implies all enumerative consequences of its far reaching generalization (due to Kalai) to manifolds. A special case of Kalai's manifold $g$-conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.
New Proofs of the Green-Tao-Ziegler Dense Model Theorem: An Exposition
Green, Tao and Ziegler prove ``Dense Model Theorems'' of the following form: if R is a (possibly very sparse) pseudorandom subset of set X, and D is a dense subset of R, then D may be modeled by a set M whose density inside X is approximately the same as the density of D in R. More generally, they show that a function that is majorized by a pseudorandom measure can be written as a sum of a bounded function having the same expectation plus a function that is ``indistinguishable from zero.'' This theorem plays a key role in the proof of the Green-Tao Theorem that the primes contain arbitrarily long arithmetic progressions.
In this note, we present a new proof of the Green-Tao-Ziegler Dense Model Theorem, which was discovered independently by ourselves and Gowers. We refer to our full paper for variants of the result with connections and applications to computational complexity theory, and to Gowers' paper for applications of the proof technique to ``decomposition, ``structure,'' and ``transference'' theorems in arithmetic and extremal combinatorics (as well as a broader survey of such theorems).
Implicit higher derivatives, and a formula of Comtet and Fiolet
Let F(x,y) be a function of two variables, and suppose y = f(x) satisfies F(x,y)=0 in some range. Then dy/dx = -Fx/Fy, where Fx and Fy denote the partial derivatives of F with respect to x and y. It is natural to seek a general expression for the higher derivatives d^ny/dx^n, in terms of partial derivatives of F, and such an expression was given in 1974 by L. Comtet and M. Fiolet. Their formula, however, contains some errors. In this note, we give a corrected expression. We give a derivation using Lagrange inversion and also an elementary proof by induction. We further correct a minor error in Comtet and Fiolet's expression for the number of terms in their formula.
Eight Hateful Sequences
In his July 1974 Scientific American column, Martin Gardner mentioned the Handbook of Integer Sequences, which then contained 2372 sequences. Today the On-Line Encyclopedia of Integer Sequences (the OEIS) contains 140000 sequences. This paper discusses eight of them, suggested by the theme of the Eighth Gathering For Gardner: they are all infinite, and all 'ateful in one way or another. Each one is connected with an unsolved problem. The sequences are related to: hateful numbers, Angelini's 1995 puzzle, the persistence of a number, Alekseyev's 123 sequence, the curling number conjecture, Quet's prime-generating recurrence, the traveling salesman's problem, and the Riemann Hypothesis.
On the Ramsey numbers for paths and generalized Jahangir graphs
For given graphs $G$ and $H,$ the \emph{Ramsey number} $R(G,H)$ is the least natural number $n$ such that for every graph $F$ of order $n$ the following condition holds: either $F$ contains $G$ or the complement of $F$ contains $H.$ In this paper, we determine the Ramsey number of paths versus generalized Jahangir graphs. We also derive the Ramsey number $R(tP_n,H)$, where $H$ is a generalized Jahangir graph $J_{s,m}$ where $s\geq2$ is even, $m\geq3$ and $t\geq1$ is any integer.
On Combinatorial Formulas for Macdonald Polynomials
Published
• View Publication
• BIB
A recent breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of a pair of statistics on fillings of Young diagrams. Ram and Yip gave a formula for the Macdonald polynomials of arbitrary type in terms of so-called alcove walks; these originate in the work of Gaussent-Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. In this paper, we relate the above developments, by explaining how the Ram-Yip formula compresses to a new formula, which is similar to the Haglund-Haiman-Loehr one but contains considerably fewer terms.
An analog of the Furstenberg-Katznelson-Weiss theorem on triangles in sets of positive density in finite field geometries
We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge ρq^2$, with $\frac{1}{\sqrt{q}}<<ρ\leq 1$, then it contains an isometric copy of $\ge cρq^3$ triangles.
Potentially $K_{m}-G$-graphical Sequences: A Survey
Published in Czechoslovak Mathematical Journal, 59(4)(2009), 1059-1075.
• View Publication
• BIB
The set of all non-increasing nonnegative integers sequence $π=$
($d(v_1),$ $d(v_2),$ $...,$ $d(v_n)$) is denoted by $NS_n$.
A sequence $π\in NS_n$ is said to be graphic if it is the degree sequence of a simple graph $G$ on $n$ vertices, and such a graph $G$ is called a realization of $π$. The set of all graphic sequences in $NS_n$ is denoted by $GS_n$. A graphical sequence $π$ is potentially $H$-graphical if there is a realization of $π$ containing $H$ as a subgraph, while $π$ is forcibly $H$-graphical if every realization of $π$ contains $H$ as a subgraph. Let $K_k$ denote a complete graph on $k$ vertices. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). This paper summarizes briefly some recent results on potentially $K_{m}-G$-graphic sequences and give a useful classification for determining $σ(H,n)$.
Three Dimensional Corners: A Box Norm Proof
In an additive group (G,+), a three-dimensional corner is the four points g, g+d(1,0,0), g+d(0,1,0), g+d(0,0,1), where g is in G^3, and d is a non-zero element of G. The Ramsey number of interest is R_3(G) the maximal cardinality of a subset of G^3 that does not contain a three-dimensional corner. Furstenberg and Katznelson have shown R_3(Z_N) is little-o of N^3, and in fact the corresponding result holds in all dimensions, a result that is a far reaching extension of the Szemeredi Theorem. We give a new proof of the finite field version of this fact, a proof that is a common generalization of the Gowers proof of Szemeredi's Theorem for four term progressions, and the result of Shkredov on two-dimensional corners. The principal tool are the Gowers Box Norms.
Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness
Published
• View Publication
• BIB
In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.
Interlace Polynomials: Enumeration, Unimodality, and Connections to Codes
Published in Discrete Appl. Math. 158(6), pp. 636-648, 2010.
• View Publication
• BIB
The interlace polynomial q was introduced by Arratia, Bollobas, and Sorkin. It encodes many properties of the orbit of a graph under edge local complementation (ELC). The interlace polynomial Q, introduced by Aigner and van der Holst, similarly contains information about the orbit of a graph under local complementation (LC). We have previously classified LC and ELC orbits, and now give an enumeration of the corresponding interlace polynomials of all graphs of order up to 12. An enumeration of all circle graphs of order up to 12 is also given. We show that there exist graphs of all orders greater than 9 with interlace polynomials q whose coefficient sequences are non-unimodal, thereby disproving a conjecture by Arratia et al. We have verified that for graphs of order up to 12, all polynomials Q have unimodal coefficients. It has been shown that LC and ELC orbits of graphs correspond to equivalence classes of certain error-correcting codes and quantum states. We show that the properties of these codes and quantum states are related to properties of the associated interlace polynomials.
Rooted induced trees in triangle-free graphs
Published
• View Publication
• BIB
For a graph $G$, let $t(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree. Further, for a vertex $v\in V(G)$, let $t^v(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree, with the extra condition that the tree must contain $v$. The minimum of $t(G)$ ($t^v(G)$, respectively) over all connected triangle-free graphs $G$ (and vertices $v\in V(G)$) on $n$ vertices is denoted by $t_3(n)$ ($t_3^v(n)$). Clearly, $t^v(G)\le t(G)$ for all $v\in V(G)$. In this note, we solve the extremal problem of maximizing $|G|$ for given $t^v(G)$, given that $G$ is connected and triangle-free. We show that $|G|\le 1+\frac{(t_v(G)-1)t_v(G)}{2}$ and determine the unique extremal graphs. Thus, we get as corollary that $t_3(n)\ge t_3^v(n)=\lceil {1/2}(1+\sqrt{8n-7})\rceil$, improving a recent result by Fox, Loh and Sudakov.
Packing index of subsets in Polish groups
Published in Notre Dame J. Formal Logic 50:4 (2009), 453-468.
• View Publication
• BIB
For a subset $A$ of a Polish group $G$, we study the (almost) packing index $\ind_P(A)$ (resp. $\Ind_P(A)$) of $A$, equal to the supremum of cardinalities $|S|$ of subsets $S\subset G$ such that the family of shifts $\{xA\}_{x\in S}$ is (almost) disjoint (in the sense that $|xA\cap yA|<|A|$ for any distinct points $x,y\in S$). Subsets $A\subset G$ with small (almost) packing index are small in a geometric sense. We show that $\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$ for any $σ$-compact subset $A$ of a Polish group. If $A\subset G$ is Borel, then the packing indices $\ind_P(A)$ and $\Ind_P(A)$ cannot take values in the half-interval $[\sq(Π^1_1),\cc)$ where $\sq(Π^1_1)$ is a certain uncountable cardinal that is smaller than $\cc$ in some models of ZFC. In each non-discrete Polish Abelian group $G$ we construct two closed subsets $A,B\subset G$ with $\ind_P(A)=\ind_P(B)=\cc$ and $\Ind_P(A\cup B)=1$ and then apply this result to show that $G$ contains a nowhere dense Haar null subset $C\subset G$ with $\ind_P(C)=\Ind_P(C)=κ$ for any given cardinal number $κ\in[4,\cc]$.
Symmetric monochromatic subsets in colorings of the Lobachevsky plane
Published in Discr. Math. & Theor. Comp. Sci. 12:1 (2010), 12-20.
• View Publication
• BIB
We prove that for each partition of the Lobachevsky plane into finitely many Borel pieces one of the cells of the partition contains an unbounded centrally symmetric subset.
Quasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets
Published
• View Publication
• BIB
For every fixed graph $H$ and every fixed $0 < α< 1$, we show that if a graph $G$ has the property that all subsets of size $αn$ contain the ``correct'' number of copies of $H$ one would expect to find in the random graph $G(n,p)$ then $G$ behaves like the random graph $G(n,p)$; that is, it is $p$-quasi-random in the sense of Chung, Graham, and Wilson. This solves a conjecture raised by Shapira and solves in a strong sense an open problem of Simonovits and Sós.
The KP hierarchy, branched covers, and triangulations
Published
• View Publication
• BIB
The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.
Factors in random graphs
Published
• View Publication
• BIB
Let $H$ be a fixed graph on $v$ vertices. For an $n$-vertex graph $G$ with $n$ divisible by $v$, an $H$-{\em factor} of $G$ is a collection of $n/v$ copies of $H$ whose vertex sets partition $V(G)$.
In this paper we consider the threshold $th_{H} (n)$ of the property that an Erdős-Rényi random graph (on $n$ points) contains an $H$-factor. Our results determine $th_{H} (n)$ for all strictly balanced $H$.
The method here extends with no difficulty to hypergraphs. As a corollary, we obtain the threshold for a perfect matching in random $k$-uniform hypergraph, solving the well-known "Shamir's problem."
Minors in random regular graphs
Published
• View Publication
• BIB
We show that there is a constant c>0 so that for any fixed r which is at least 3 a.a.s. an r-regular graph on n vertices contains a complete graph on c n^{1/2} vertices as a minor. This confirms a conjecture of Markstrom. Since any minor of an r-regular graph on n vertices has at most rn/2 edges, our bound is clearly best possible up to the value of the constant c. As a corollary, we also obtain the likely order of magnitude of the largest complete minor in a random graph G(n,p) during the phase transition (i.e. when pn is close to 1).
On the size of Kakeya sets in finite fields
Published
• View Publication
• BIB
A Kakeya set is a subset of F^n, where F is a finite field of q elements, that contains a line in every direction. In this paper we show that the size of every Kakeya set is at least C_n * q^n, where C_n depends only on n. This improves the previously best lower bound for general n of ~q^{4n/7}.
Unavoidable patterns
Published
• View Publication
• BIB
Let \mathcal{F}_k denote the family of 2-edge-colored complete graphs on 2k vertices in which one color forms either a clique of order k or two disjoint cliques of order k. Bollobás conjectured that for every ε>0 and positive integer k there is an n(k,ε) such that every 2-edge-coloring of the complete graph of order n \geq n(k,ε) which has at least ε{n \choose 2} edges in each color contains a member of \mathcal{F}_k. This conjecture was proved by Cutler and Montágh, who showed that n(k,ε)<4^{k/ε}. We give a much simpler proof of this conjecture which in addition shows that n(k,ε)<ε^{-ck} for some constant c. This bound is tight up to the constant factor in the exponent for all k and ε. We also discuss similar results for tournaments and hypergraphs.