Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Non-intersecting, simple, symmetric random walks and the extended Hahn kernel
Published
• View Publication
• BIB
Consider $a$ particles performing simple, symmetric, non-intersecting random walks, starting at points $2(j-1)$, $1\le j\le a$ at time 0 and ending at $2(j-1)+c-b$ at time $b+c$. This can also be interpreted as a random rhombus tiling of an $abc$-hexagon, or as a random boxed planar partition confined to a rectangular box with side lengths $a$, $b$ and $c$. The positions of the particles at all times gives a determinantal point process with a correlation kernel given in terms of the associated Hahn polynomials. In a suitable scaling limit we obtain non-intersecting Brownian motions which can be related to Dysons's Hermitian Brownian motion via a suitable transformation.
Hopf algebras, from basics to applications to renormalization
Published in Comptes Rendus des Rencontres Mathematiques de Glanon 2001 (published in 2003)
• Search Publication
An extended version of a series of lectures given at Bogota in december 2002. It consists in a presentation of some aspects of Connes' and Kreimer's work on renormalization in the context of general connected Hopf algebras, in particular Birkhoff decomposition and, in the graded case, the scattering-type formula.
Symmetric products of surfaces; a unifying theme for topology and physics
Published in Proceedings of Summer school in modern mathematical physics (B. Dragovic, B. Sazdovic, eds.) SFIN, XV (A3), Institute of Physics, Belgrade 2002
• Search Publication
This is a review paper about symmetric products of spaces $SP^n(X):= X^n/S_n$. We focus our attention on the symmetric products of 2-manifolds and make a journey through selected topics of algebraic topology, algebraic geometry, mathematical physics, theoretical mechanics etc. where these objects play an important role, demonstrating along the way the fundamental unity of diverse fields of physics and mathematics.
Collinear Points in Permutations
Published
• View Publication
• BIB
Consider the following problem: how many collinear triples of points must a transversal of (Z/nZ)^2 have? This question is connected with venerable issues in discrete geometry. We show that the answer, for n prime, is between (n-1)/4 and (n-1)/2, and consider an analogous question for collinear quadruples. We conjecture that the upper bound is the truth and suggest several other interesting problems in this area.
Erdos-Hajnal Sets and Semigroup Decompositions
Define a set of lines in $R^3$ to be ``stacked'' with respect to $v \in R^3$ if, from a vantage point far away in the direction of $v$, the lines are linearly ordered by the ``crossing over'' relation. Given a collection of skew lines and a point $v$, we ask, what is the largest stacked subset that must be present among the lines? This question, which appears in a 2000 paper of Erdos, Hajnal and Pach, is intimately related to the well-known Erdos-Hajnal conjecture via the Milnor-Thom theorem. It was recently resolved by a powerful and very general theorem of Alon, Pach, Pinchasi, Radoicic, and Sharir. We describe these results and discuss several related issues, including a generalization to ``Erdos-Hajnal sets'' and an intriguing problem concerning the decomposability of semi-algebraic sets: Do all semi-algebraic sets belong to the set algebra generated by semigroups in $R^d$? Our main result is a resolution of this question in dimensions 1 and 2.
A Fast Algorithm for MacMahon's Partition Analysis
Published
• View Publication
• BIB
This paper deals with evaluating constant terms of a special class of rational functions, the Elliott-rational functions. The constant term of such a function can be read off immediately from its partial fraction decomposition. We combine the theory of iterated Laurent series and a new algorithm for partial fraction decompositions to obtain a fast algorithm for MacMahon's Omega calculus, which (partially) avoids the "run-time explosion" problem when eliminating several variables. We discuss the efficiency of our algorithm by investigating problems studied by Andrews and his coauthors; our running time is much less than that of their Omega package.
Three Colorability of an Arrangement Graph of Great Circles
Stan Wagon asked the following in 2000. Is every zonohedron face 3-colorable when viewed as a planar map? An equivalent question, under a different guise, is the following: is the arrangement graph of great circles on the sphere always vertex 3-colorable? (The arrangement graph has a vertex for each intersection point, and an edge for each arc directly connecting two intersection points.) Assume that no three circles meet at a point, so that this arrangement graph is 4-regular. In this note we have shown that all arrangement graphs defined as above are 3-colorable.
A Pfaffian-Hafnian analogue of Borchardt's identity
Published in Electron. J. Combin. 12(1), (2005) #N9
• View Publication
• BIB
We present an identity which can be regarded as a Pfaffian-Hafnian analogue of Borchardt's identity and as a generalization of Schur's identity. We give a proof using the complex analysis.
Quasi-concave functions on antimatroids
In this paper we consider quasi-concave set functions defined on antimatroids. There are many equivalent axiomatizations of antimatroids, that may be separated into two categories: antimatroids defined as set systems and antimatroids defined as languages. An algorthmic characterization of antimatroids, that considers them as set systems, was given in (Kempner, Levit 2003). This characterization is based on the idea of optimization using set functions defined as minimum values of linkages between a set and the elements from the set complement. Such set functions are quasi-concave. Their behavior on antimatroids was studied in (Kempner, Muchnik 2003), where they were applied to constraint clustering. In this work we investigate a duality between quasi-concave set functions and linkage functions. Our main finding is that quasi-concave set functions on an antimatroid may be represented as minimum values of some monotone linkage functions.
Free dendriform dialgebras: reformulation and application in free probability. Part I
We propose a reformulation of some results known on the free dendriform dialgebra on one generator from a parenthesis point of view. This turns out to be more tractable and point out a connection to free probability by identifying noncrossing partitions with binary trees and by introducing the concept of NCP-operad.
A LL-lattice reformulation of arithmetree over planar rooted trees. Part II
We continue our reformulation of free dendriform algebras, dealing this time with the free dendriform trialgebra generated be Y over planar rooted trees. We propose a 'deformation' of a vectorial coding used in Part I, giving a LL-lattice on rooted planar trees according to the terminology of A. Blass and B. E. Sagan. The three main operations on trees become explicit, giving thus a complementary approach to a very recent work of P. palacios and M. Ronco. Our parenthesis framework allows a more tractable reformulation to explore the properties of the underlying lattice describing operations and simplify a proof of a fundamental theorem related to arithmetics over trees, the so-called arithmetree. Arithmetree is then viewed as a noncommutative extention of (N,+,x), the integers being played by the corollas. We give also two representations of the super Catalan numbers or Schroder numbers.
The number of halving circles
Published in American Mathematical Monthly 111 (2004), 586-591
• View Publication
• BIB
A set S of 2n+1 points in the plane is said to be in general position if no three points of S are collinear and no four are concyclic. A circle is called halving with respect to S if it has three points of S on its circumference, n-1 points in its interior, and n-1 in its exterior. We prove the following surprising result: any set of 2n+1 points in general position in the plane has exactly n^2 halving circles.
An extremal problem on potentially $K_{p_{1},p_{2},...,p_{t}}$-graphic sequences
A sequence $S$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical if it has a realization containing a $K_{p_{1},p_{2},...,p_{t}}$ as a subgraph, where $K_{p_{1},p_{2},...,p_{t}}$ is a complete t-partite graph with partition sizes $p_{1},p_{2},...,p_{t} (p_{1}\geq p_{2}\geq ...\geq p_{t} \geq 1)$. Let $σ(K_{p_{1},p_{2},...,p_{t}}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{p_{1},p_{2},...,p_{t}}, n)$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical. In this paper, we prove that $σ(K_{p_{1},p_{2},...,p_{t}}, n)\geq 2[((2p_{1}+2p_{2}+...+2p_{t}-p_{1}-p_{2}-...-p_{i}-2)n -(p_{1}+p_{2}+...+p_{t}-p_{i})(p_{i}+p_{i+1}+...+p_{t}-1)+2)/2]$ for $n \geq p_{1}+p_{2}+...+p_{t}, i=2,3,...,t.$
Computing Optimal Morse Matchings
Published
• View Publication
• BIB
Morse matchings capture the essential structural information of discrete Morse functions. We show that computing optimal Morse matchings is NP-hard and give an integer programming formulation for the problem. Then we present polyhedral results for the corresponding polytope and report on computational results.
Hard squares with negative activity
Published in J. Phys. A38 (2005) 315
• View Publication
• BIB
We show that the hard-square lattice gas with activity z= -1 has a number of remarkable properties. We conjecture that all the eigenvalues of the transfer matrix are roots of unity. They fall into groups (``strings'') evenly spaced around the unit circle, which have interesting number-theoretic properties. For example, the partition function on an M by N lattice with periodic boundary condition is identically 1 when M and N are coprime. We provide evidence for these conjectures from analytical and numerical arguments.
Lower bounds for h-vectors of k-CM, independence and broken circuit complexes
Published
• View Publication
• BIB
We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.
Counterexamples to the Neggers-Stanley conjecture
Published in Electron. Res. Announc. Amer. Math. Soc. 10 (2004), 155--158 (electronic)
• Search Publication
The Neggers-Stanley conjecture (also known as the Poset conjecture) asserts that the polynomial counting the linear extensions of a partially ordered set on $\{1,2,...,p\}$ by their number of descents has real zeros only. We provide counterexamples to this conjecture.
An extremal problem on potentially $K_{p,1,1}$-graphic sequences
Published in Discrete Mathematics and Theoretical Computer Science 7(2005), 75-80
• View Publication
• BIB
A sequence $S$ is potentially $K_{p,1,1}$ graphical if it has a realization containing a $K_{p,1,1}$ as a subgraph, where $K_{p,1,1}$ is a complete 3-partite graph with partition sizes $p,1,1$. Let $σ(K_{p,1,1}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{p,1,1}, n)$ is potentially $K_{p,1,1}$ graphical. In this paper, we prove that $σ(K_{p,1,1}, n)\geq 2[((p+1)(n-1)+2)/2]$ for $n \geq p+2.$ We conjecture that equality holds for $n \geq 2p+4.$ We prove that this conjecture is true for $p=3$.
Distinct distances on a sphere
We study the Erdos distance conjecture on the unit sphere in three dimensions using Fourier analytic methods.
Proofs Without Syntax
Published in Annals of Mathematics, 2006
• View Publication
• BIB
"[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868.
Proofs are traditionally syntactic, inductively generated objects. This paper presents an abstract mathematical formulation of propositional calculus (propositional logic) in which proofs are combinatorial (graph-theoretic), rather than syntactic. It defines a *combinatorial proof* of a proposition P as a graph homomorphism h : C -> G(P), where G(P) is a graph associated with P and C is a coloured graph. The main theorem is soundness and completeness: P is true iff there exists a combinatorial proof h : C -> G(P).