Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Incidence theorems for pseudoflats
Published
• View Publication
• BIB
We prove Pach-Sharir type incidence theorems for a class of curves in R^n and surfaces in R^3, which we call pseudoflats. In particular, our results apply to a wide class of generic irreducible real algebraic sets of bounded degree.
Complex hyperplane arrangements
Published in Emissary (MSRI Newsletter), Spring 2005, www.msri.org/publications/emissary
• Search Publication
This is a slightly revised version (with references added in) of a survey article which appeared in the Spring 2005 edition of the MSRI newsletter, the Emissary. The article describes some of the themes from the Fall 2004 MSRI program on Hyperplane Arrangements and Applications.
Mixed sums of squares and triangular numbers (II)
Published in Integers 7(2007), A56, 5 pp
• Search Publication
For an integer $x$ let $t_x$ denote the triangular number $x(x+1)/2$. Following a recent work of Z. W. Sun, we show that every natural number can be written in any of the following forms with $x,y,z\in\Z$: $$x^2+3y^2+t_z, x^2+3t_y+t_z, x^2+6t_y+t_z, 3x^2+2t_y+t_z, 4x^2+2t_y+t_z.$$ This confirms a conjecture of Sun.
Freiman's Theorem in an arbitrary abelian group
Published
• View Publication
• BIB
A famous result of Freiman describes the structure of finite sets A of integers with small doubling property. If |A + A| <= K|A| then A is contained within a multidimensional arithmetic progression of dimension d(K) and size f(K)|A|. Here we prove an analogous statement valid for subsets of an arbitrary abelian group.
The Hopf algebra of uniform block permutations. Extended abstract
Published
• View Publication
• BIB
We introduce the Hopf algebra of uniform block permutations and show that it is self-dual, free, and cofree. These results are closely related to the fact that uniform block permutations form a factorizable inverse monoid. This Hopf algebra contains the Hopf algebra of permutations of Malvenuto and Reutenauer and the Hopf algebra of symmetric functions in non-commuting variables of Gebhard, Rosas, and Sagan.
New Classes of Facets of Cut Polytope and Tightness of I_{mm22} Bell Inequalities
Published
• View Publication
• BIB
The Grishukhin inequality Gr_7 is a facet of CutP_7, the cut polytope on seven points, which is ``sporadic'' in the sense that its proper generalization has not been known. In this paper, we extend Gr_7 to an inequality I(G,H) valid for CutP_{n+1} where G and H are graphs with n nodes satisfying certain conditions, and prove a necessary and sufficient condition for I(G,H) to be a facet. This result combined with the triangular elimination theorem of Avis, Imai, Ito and Sasaki settles Collins and Gisin's conjecture in quantum theory affirmatively: the I_{mm22} Bell inequality is a facet of the correlation polytope CorP(K_{m,m}) of the complete bipartite graph K_{m,m} for all m>=1. We also extend the Gr_8 facet inequality of CutP_8 to an inequality I'(G,H,C) valid for CutP_{n+2}, and provide a sufficient condition for I'(G,H,C) to be a facet.
Mixed sums of squares and triangular numbers
Published in Acta Arith. 127(2007), no.2, 103-113
• View Publication
• BIB
By means of $q$-series, we prove that any natural number is a sum of an even square and two triangular numbers, and that each positive integer is a sum of a triangular number plus $x^2+y^2$ for some integers $x$ and $y$ with $x\not\equiv y (mod 2)$ or $x=y>0$. The paper also contains some other results and open conjectures on mixed sums of squares and triangular numbers.
A partition of connected graphs
Published in Electronic J. Combinatorics 12, N1 (2005), 8pp
• View Publication
• BIB
We define an algorithm k which takes a connected graph G on a totally ordered vertex set and returns an increasing tree R (which is not necessarily a subtree of G). We characterize the set of graphs G such that k(G)=R. Because this set has a simple structure (it is isomorphic to a product of non-empty power sets), it is easy to evaluate certain graph invariants in terms of increasing trees. In particular, we prove that, up to sign, the coefficient of x^q in the chromatic polynomial of G is the number of increasing forests with q components that satisfy a condition that we call G-connectedness. We also find a bijection between increasing G-connected trees and broken circuit free subtrees of G.
Application of multivariate splines to discrete mathematics
Using methods developed in multivariate splines, we present an explicit formula for discrete truncated powers, which are defined as the number of non-negative integer solutions of linear Diophantine equations. We further use the formula to study some classical problems in discrete mathematics as follows. First, we extend the partition function of integers in number theory. Second, we exploit the relation between the relative volume of convex polytopes and multivariate truncated powers and give a simple proof for the volume formula for the Pitman-Stanley polytope. Third, an explicit formula for the Ehrhart quasi-polynomial is presented.
Multiple Kronecker Covering Graphs
Published
• View Publication
• BIB
A graph may be the Kronecker cover in more than one way. In this note we explore this phenomenon. Using this approach we show that the least common cover of two graphs need not be unique.
Reductions of (v_3) configurations
Cubic bipartite graphs with girth at least 6 correspond to symmetric combinatorial (v_3) configurations. In 1887 V. Martinetti described a simple reduction method which enables one to reduce each combinatorial (v_3) configuration to one from the infinite set of so-called irreducible configurations. The aim of this paper is to show that a slightly extended set of reductions enables one to reduce each combinatorial (v_3) configuration either to the Fano configuration or to the Pappus configuration.
Sheaves on moment graphs and a localization of Verma flags
Published in Adv. Math. 217 (2008), 683-712
• View Publication
• BIB
To any moment graph G we assign a subcategory V of the category of sheaves on G together with an exact structure. We show that in the case that the graph is associated to a non-critical block of the equivariant category O over a symmetrizable Kac-Moody algebra, V is equivalent (as an exact category) to the subcategory of modules that admit a Verma flag. The projective modules correspond under this equivalence to the intersection cohomology sheaves on the graph.
Generalized cluster complexes and Coxeter combinatorics
Published in Int. Math. Res. Notices 2005, no. 44, 2709-2757
• Search Publication
We introduce and study a family of simplicial complexes associated to an arbitrary finite root system and a nonnegative integer parameter m. For m=1, our construction specializes to the (simplicial) generalized associahedra or, equivalently, to the cluster complexes for the cluster algebras of finite type.
Our computation of the face numbers and h-vectors of these complexes produces the enumerative invariants defined in other contexts by C.A.Athanasiadis, suggesting links to a host of well studied problems in algebraic combinatorics of finite Coxeter groups, root systems, and hyperplane arrangements.
Recurrences satisfied by the face numbers of our complexes lead to combinatorial algorithms for determining Coxeter-theoretic invariants. That is, starting with a Coxeter diagram of a finite Coxeter group, one can compute the Coxeter number, the exponents, and other classical invariants by a recursive procedure that only uses most basic graph-theoretic concepts applied to the input diagram.
In types A and B, we rediscover the constructions and results obtained by E.Tzanaki <math.CO/0501100>.
The Threshold for Ackermannian Ramsey numbers
For a function $g:\N\to \N$, the \emph{$g$-regressive Ramsey number} of $k$ is the least $N$ so that \[N\stackrel \min \longrightarrow (k)_g\] . This symbol means: for every $c:[N]^2\to \N$ that satisfies $c(m,n)\le g(\min\{m,n\})$ there is a \emph{min-homogeneous} $H\su N$ of size $k$, that is, the color $c(m,n)$ of a pair $\{m,n\}\su H$ depends only on $\min\{m,n\}$. It is known (\cite{km,ks}) that $\id$-regressive Ramsey numbers grow in $k$ as fast as $\Ack(k)$, Ackermann's function in $k$. On the other hand, for constant $g$, the $g$-regressive Ramsey numbers grow exponentially in $k$, and are therefore primitive recursive in $k$.
We compute below the threshold in which $g$-regressive Ramsey numbers cease to be primitive recursive and become Ackermannian, by proving:
Suppose $g:\N\to \N$ is weakly increasing. Then the $g$-regressive Ramsey numbers are primitive recursive if an only if for every $t>0$ there is some $M_t$ so that for all $n\ge M_t$ it holds that $g(m)<n^{1/t}$ and $M_t$ is bounded by a primitive recursive function in $t$.
Enumerating Segmented Patterns in Compositions and Encoding by Restricted Permutations
A composition of a nonnegative integer (n) is a sequence of positive integers whose sum is (n). A composition is palindromic if it is unchanged when its terms are read in reverse order. We provide a generating function for the number of occurrences of arbitrary segmented partially ordered patterns among compositions of (n) with a prescribed number of parts. These patterns generalize the notions of rises, drops, and levels studied in the literature. We also obtain results enumerating parts with given sizes and locations among compositions and palindromic compositions with a given number of parts. Our results are motivated by "encoding by restricted permutations," a relatively undeveloped method that provides a language for describing many combinatorial objects. We conclude with some examples demonstrating bijections between restricted permutations and other objects.
Conway's napkin problem
Published
• View Publication
• BIB
The napkin problem was first posed by John H. Conway, and written up as a `toughie' in "Mathematical Puzzles: A Connoisseur's Collection," by Peter Winkler. To paraphrase Winkler's book, there is a banquet dinner to be served at a mathematics conference. At a particular table, $n$ men are to be seated around a circular table. There are $n$ napkins, exactly one between each of the place settings. Being doubly cursed as both men and mathematicians, they are all assumed to be ignorant of table etiquette. The men come to sit at the table one at a time and in random order. When a guest sits down, he will prefer the left napkin with probability $p$ and the right napkin with probability $q=1-p$. If there are napkins on both sides of the place setting, he will choose the napkin he prefers. If he finds only one napkin available, he will take that napkin (though it may not be the napkin he wants). The third possibility is that no napkin is available, and the unfortunate guest is faced with the prospect of going through dinner without any napkin!
We think of the question of how many people don't get napkins as a statistic for signed permutations, where the permutation gives the order in which people sit and the sign tells us whether they initially reach left or right. We also keep track of the number of guests who get a napkin, but not the napkin they prefer. We build a generating function for the joint distribution of these statistics, and use it to answer questions like: What is the probability that every guest receives a napkin? How many guests do we expect to be without a napkin? How many guests are happy with the napkin they receive?
The $(f,g)$-inversion formula and its applications: the $(f,g)$-summation formula
A complete characterization of two functions $f(x,y)$ and $g(x,y)$ in the $(f,g)$-inversion is presented. As an application to the theory of hypergeometric series, a general bibasic summation formula determined by $f(x,y)$ and $g(x,y)$ as well as four arbitrary sequences is obtained which unifies Gasper and Rahman's, Chu's and Macdonald's bibasic summation formula. Furthermore, an alternative proof of the $(f,g)$-inversion derived from the $(f,g)$-summation formula is presented. A bilateral $(f,g)$-inversion containing Schlosser's bilateral matrix inversion as a special case is also obtained.
Maximal and Maximum Independent Sets In Graphs With At Most r Cycles
Published
• View Publication
• BIB
Let m(G) denote the number of maximal independent sets of vertices in a graph G and let c(n,r) be the maximum value of m(G) over all connected graphs with n vertices and at most r cycles. A theorem of Griggs, Grinstead, and Guichard gives a formula for c(n,r) when r is large relative to n, while a theorem of Goh, Koh, Sagan, and Vatter does the same when r is small relative to n. We complete the determination of c(n,r) for all n and r and characterize the extremal graphs. Problems for maximum independent sets are also completely resolved.
On Degrees in the Hasse Diagram of the Strong Bruhat Order
For a permutation $π$ in the symmetric group $S_n$ let the {\it total degree} be its valency in the Hasse diagram of the strong Bruhat order on $S_n$, and let the {\it down degree} be the number of permutations which are covered by $π$ in the strong Bruhat order. The maxima of the total degree and the down degree and their values at a random permutation are computed. Proofs involve variants of a classical theorem of Turán from extremal graph theory.
Algebraic shifting of finite graphs
Published in Comm. Algebra 35 (2007), 3071--3094
• View Publication
• BIB
In the present paper, exterior algebraic shifting and symmetric algebraic shifting of bipartite graphs and chordal graphs are studied. First, we will determine the symmetric algebraic shifted graph of complete bipartite graphs. It turns out that, for $a>3$ and $b>3$, the exterior algebraic shifted graph of the complete bipartite graph $K_{a,b}$ of size $a,b$ is different from the symmetric algebraic shifted graph of $K_{a,b}$. Second, we will show that the exterior algebraic shifted graph of any chordal graph $G$ is coincident with the symmetric algebraic shifted graph of $G$.