Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Abstract configurations in algebraic geometry
An abstract $(v_k,b_r)$-configuration is a pair of finite sets of cardinalities $v$ and $b$ with a relation on the product of the sets such that each element of the first set is related to the same number $k$ of elements from the second set and each element of the second set is related to the same number $r$ of elements in the first set. An example of an abstract configuration is a finite geometry. In this paper we discuss some examples of abstract configurations and, in particular finite geometries, which one encounters in algebraic geometry.
The Tropical Grassmannian
In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical Grassmannian arises in this manner from the ideal of quadratic Plucker relations. It is shown to parametrize all tropical linear spaces. Lines in tropical projective space are trees, and their tropical Grassmannian G_{2,n} equals the space of phylogenetic trees studied by Billera, Holmes and Vogtmann. Higher Grassmannians offer a natural generalization of the space of trees. Their facets correspond to binomial initial ideals of the Plucker ideal. The tropical Grassmannian G_{3,6} is a simplicial complex glued from 1035 tetrahedra.
Some new aspects of the coupon-collector's problem
Published
• View Publication
• BIB
We extend the classical coupon collector's problem to one in which two collectors are simultaneously and independently seeking collections of $d$ coupons. We find, in finite terms, the probability that the two collectors finish at the same trial, and we find, using the methods of Gessel-Viennot, the probability that the game has the following ``ballot-like'' character: the two collectors are tied with each other for some initial number of steps, and after that the player who first gains the lead remains ahead throughout the game. As a by-product we obtain the evaluation in finite terms of certain infinite series whose coefficients are powers and products of Stirling numbers of the second kind.
We study the variant of the original coupon collector's problem in which a single collector wants to obtain at least $h$ copies of each coupon. Here we give a simpler derivation of results of Newman and Shepp, and extend those results. Finally we obtain the distribution of the number of coupons that have been obtained exactly once (``singletons'') at the conclusion of a successful coupon collecting sequence.
The Circuit Polynomial of the Restricted Rooted Product G(Gamma) of Graphs with a Bipartite Core G
Published
• View Publication
• BIB
As an instance of the B-polynomial, the circuit, or cycle, polynomial P(G(Gamma); w) of the generalized rooted product G(Gamma) of graphs was studied by Farrell and Rosenfeld ({\em Jour. Math. Sci. (India)}, 2000, \textbf{11}(1), 35--47) and Rosenfeld and Diudea ({\em Internet Electron. J. Mol. Des.}, 2002, \textbf{1}(3), 142--156). In both cases, the rooted product G(Gamma) was considered without any restrictions on graphs G and Gamma. Herein, we present a new general result and its corollaries concerning the case when the core graph G is restricted to be bipartite. The last instance of G(Gamma), as well as all its predecessors, can find chemical applications.
The peak algebra and the Hecke-Clifford algebras at $q=0$
Published in J. Combin. Theory Ser. A 107 (2004), no. 1, 1-19
• View Publication
• BIB
Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak algebra and its graded dual as Grothendieck rings of the tower of Hecke-Clifford algebras at $q=0$.
Dense graphs are antimagic
Published
• View Publication
• BIB
An {\em antimagic labeling} of a graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called {\em antimagic} if it has an antimagic labeling. A conjecture of Ringel (see \cite{HaRi}) states that every connected graph, but $K_2$, is antimagic. Our main result validates this conjecture for graphs having minimum degree $Ω(\log n)$. The proof combines probabilistic arguments with simple tools from analytic number theory and combinatorial techniques. We also prove that complete partite graphs (but $K_2$) and graphs with maximum degree at least $n-2$ are antimagic.
The enumeration of simple permutations
A simple permutation is one which maps no proper non-singleton interval onto an interval. We consider the enumeration of simple permutations from several aspects. Our results include a straightforward relationship between the ordinary generating function for simple permutations and that for all permutations, that the coefficients of this series are not P-recursive, an asymptotic expansion for these coefficients, and a number of congruence results.
Mathematics of Plott choice functions
Published
• View Publication
• BIB
This paper is devoted to a study of mathematical structures arising from choice functions satisfying the path independence property (Plott functions). We broaden the notion of a choice function by allowing of empty choice. This enables us to define a lattice structure on the set of Plott functions. Moreover, this lattice is functorially dependent on its base. We introduce a natural convex structure on the set of linear orders (or words) and show that Plott functions are in one-to-one correspondence with convex subsets in this set of linear orders. That correspondence is compatible with both lattice structures. Keywords: Convex geometries, shuffle, linear orders, lattices, direct image, path independence, convex structure
Structure constants for Hecke and representation rings
We study the structure constants defining two related rings: the spherical Hecke algebra of a split connected reductive group over a non-Archimedean local field, and the representation ring of the Langlands dual group.
Proof of a Conjecture on the Slit Plane Problem
Published in Discrete Mathematics, Vol 282/1-3 pp 281-287, 2004
• View Publication
• BIB
Let $a_{i,j}(n)$ denote the number of walks in $n$ steps from $(0,0)$ to $(i,j)$, with steps $(\pm 1,0)$ and $(0,\pm 1)$, never touching a point $(-k,0)$ with $k\ge 0$ after the starting point. \bous and Schaeffer conjectured a closed form for the number $a_{-i,i}(2n)$ when $i\ge 1$. In this paper, we prove their conjecture, and give a formula for $a_{-i,i}(2n)$ for $i\le -1$.
The number of edge disjoint transitive triples in a tournament
Published
• View Publication
• BIB
We prove that a tournament with $n$ vertices has more than $0.13n^2(1+o(1))$ edge-disjoint transitive triples. We also prove some results on the existence of large packings of $k$-vertex transitive tournaments in an $n$-vertex tournament. Our proofs combine probabilistic arguments and some powerful packing results due to Wilson and to Frankl and Rödl.
Counting sets with small sumset, and the clique number of random Cayley graphs
Published
• View Publication
• BIB
Given a set A in Z/NZ we may form a Cayley sum graph G_A on vertex set Z/NZ by joining i to j if and only if i + j is in A. We investigate the extent to which performing this construction with a random set A simulates the generation of a random graph, proving that the clique number of G_A is a.s. O(log N). This shows that Cayley sum graphs can furnish good examples of Ramsey graphs. To prove this result we must study the specific structure of set addition on Z/NZ. Indeed, we also show that the clique number of a random Cayley sum graph on (Z/2Z)^n, 2^n = N, is almost surely not O(log N).
Despite the graph-theoretical title, this is a paper in number theory. Our main results are essentially estimates for the number of sets A in {1,...,N} with |A| = k and |A + A| = m, for various values of k and m.
On the average of triangular numbers
The problem we are dealing with is the following: find two sequences $a_n$ and $b_n$ such that the average of the first $b_n$ triangular numbers (starting with the triangular number 1) is still a triangular number, precisely the $a_n$-th triangular number. We get also some side results: for instance one of the sequence instrumental to finding the asked for sequences turns out to be a bisection of the sequence of the numerators of continued fraction convergents to $\sqrt{3}$.
Quasiconvex Analysis of Backtracking Algorithms
Published
• View Publication
• BIB
We consider a class of multivariate recurrences frequently arising in the worst case analysis of Davis-Putnam-style exponential time backtracking algorithms for NP-hard problems. We describe a technique for proving asymptotic upper bounds on these recurrences, by using a suitable weight function to reduce the problem to that of solving univariate linear recurrences; show how to use quasiconvex programming to determine the weight function yielding the smallest upper bound; and prove that the resulting upper bounds are within a polynomial factor of the true asymptotics of the recurrence. We develop and implement a multiple-gradient descent algorithm for the resulting quasiconvex programs, using a real-number arithmetic package for guaranteed accuracy of the computed worst case time bounds.
New coins from old: computing with unknown bias
Published
• View Publication
• BIB
Suppose that we are given a function f : (0,1) -> (0,1) and, for some unknown p in (0,1), a sequence of independent tosses of a p-coin (i.e., a coin with probability p of ``heads'').
For which functions f is it possible to simulate an f(p)-coin?; This question was raised by S. Asmussen and J. Propp. A simple simulation scheme for the constant function 1/2 was described by von Neumann (1951); this scheme can be easily implemented using a finite automaton. We prove that in general, an f(p)-coin can be simulated by a finite automaton for all p in (0,1), if and only if f is a rational function over Q. We also show that if an f(p)-coin can be simulated by a pushdown automaton, then f is an algebraic function over Q; however, pushdown automata can simulate f(p)-coins for certain non-rational functions such as the square root of p. These results complement the work of Keane and O'Brien (1994), who determined the functions $f$ for which an f(p)-coin can be simulated when there are no computational restrictions on the simulation scheme.
Longest increasing subsequences in pattern-restricted permutations
Published
• View Publication
• BIB
Inspired by the results of Baik, Deift and Johansson on the limiting distribution of the lengths of the longest increasing subsequences in random permutations, we find those limiting distributions for pattern-restricted permutations in which the pattern is any one of the six patterns of length 3. We show that the (132)-avoiding case is identical to the distribution of heights of ordered trees, and that the (321)-avoiding case has interesting connections with a well known theorem of Erd\H os-Szekeres.
Supersolvable LL-lattices of binary trees
Published
• View Publication
• BIB
Some posets of binary leaf-labeled trees are shown to be supersolvable lattices and explicit EL-labelings are given. Their characteristic polynomials are computed, recovering their known factorization in a different way.
Nonstandard Graphs, Revised
Published
• View Publication
• BIB
This is a revision of the paper archived previously on August 22, 2002. It corrects a mistake in Sec. 8 concerning eccentricities of graphs.
From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction on an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices and edges are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs.
Key Words: Nonstandard graphs, transfer principle, ultrapower constructions.
Applications of Graphical Condensation for Enumerating Matchings and Tilings
Published in Theoretical Computer Science, Vol. 319/1-3 (2004), pp. 29-57
• View Publication
• BIB
A technique called graphical condensation is used to prove various combinatorial identities among numbers of (perfect) matchings of planar bipartite graphs and tilings of regions. Graphical condensation involves superimposing matchings of a graph onto matchings of a smaller subgraph, and then re-partitioning the united matching (actually a multigraph) into matchings of two other subgraphs, in one of two possible ways. This technique can be used to enumerate perfect matchings of a wide variety of bipartite planar graphs. Applications include domino tilings of Aztec diamonds and rectangles, diabolo tilings of fortresses, plane partitions, and transpose complement plane partitions.
SPM Bulletin 4
This issue of the SPM Bulletin announces two conferences which are of interest to anyone working in SPM or general topology. In the second announced conference it is planned to have a significant part devoted to SPM. Those who are interested in participating should contact Ljubisa D. R. Kocinac at lkocinac@ptt.yu
Kocinac is a very active mathematician in the field of SPM. We announce here one of his most recent works.
The first issues of this bulletin, contain general information (first issue), basic definitions, research announcements, and open problems (all issues).