Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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).
Polynomial versus Exponential Growth in Repetition-Free Binary Words
It is known that the number of overlap-free binary words of length n grows polynomially, while the number of cubefree binary words grows exponentially. We show that the dividing line between polynomial and exponential growth is 7/3. More precisely, there are only polynomially many binary words of length n that avoid 7/3-powers, but there are exponentially many binary words of length n that avoid (7/3+)-powers. This answers an open question of Kobayashi from 1986.
Vanishing and non-vanishing criteria in Schubert calculus
Published in International Math. Research Notices (2006), 24590, 1-38
• View Publication
• BIB
For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian.
More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.
The Cameron-Erdos Conjecture
Published
• View Publication
• BIB
A set A of integers is said to be sum-free if there are no solutions to the equation x + y = z with x,y and z all in A. Answering a question of Cameron and Erdos, we show that the number of sum-free subsets of {1,...,N} is O(2^(N/2)).
Minimal and maximal elements in Kazhdan-Lusztig double sided cells of $S_n$ and Robinson-Schensted correspondance
Published in Discrete Math. 304 (1) (2005), 79-87
• View Publication
• BIB
In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.
Knot theory for self-indexed graphs
We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.
Sequences related to the Pell generalized equation
We consider sequences of the type $A_n=6A_{n-1}-A_{n-2}, A_0=r, A_1=s$ ($r$ and $s$ integers) and show that all sequences that solve particular cases of the Pell generalized equation are expressible as a constant times one of four particular sequences of the same type.
Critical cardinalities and additivity properties of combinatorial notions of smallness
Published in Journal of Applied Analysis 9 (2003), 149--162
• View Publication
• BIB
Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study.
1. Two new cardinals introduced in the topological study are expressed in terms of well known cardinals characteristics of the continuum.
2. We study the additivity numbers of the combinatorial notions corresponding to the topological diagonalization notions.
This gives new insights on the structure of the eventual dominance ordering on the Baire space, the almost inclusion ordering on the Rothberger space, and the interactions between them.