Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A discrete Laplace-Beltrami operator for simplicial surfaces
Published in Discrete Comput. Geom. 38:4 (2007) 740-756
• View Publication
• BIB
We define a discrete Laplace-Beltrami operator for simplicial surfaces. It depends only on the intrinsic geometry of the surface and its edge weights are positive. Our Laplace operator is similar to the well known finite-elements Laplacian (the so called ``cotan formula'') except that it is based on the intrinsic Delaunay triangulation of the simplicial surface. This leads to new definitions of discrete harmonic functions, discrete mean curvature, and discrete minimal surfaces. The definition of the discrete Laplace-Beltrami operator depends on the existence and uniqueness of Delaunay tessellations in piecewise flat surfaces. While the existence is known, we prove the uniqueness. Using Rippa's Theorem we show that, as claimed, Musin's harmonic index provides an optimality criterion for Delaunay triangulations, and this can be used to prove that the edge flipping algorithm terminates also in the setting of piecewise flat surfaces.
Entropy-driven phase transition in a polydisperse hard-rods lattice system
Published in J. Stat. Phys., Vol. 122, Nr. 4 (2006) , p. 761--786
• View Publication
• BIB
We study a system of rods on the 2d square lattice, with hard-core exclusion. Each rod has a length between 2 and N. We show that, when N is sufficiently large, and for suitable fugacity, there are several distinct Gibbs states, with orientational long-range order. This is in sharp contrast with the case N=2 (the monomer-dimer model), for which Heilmann and Lieb proved absence of phase transition at any fugacity. This is the first example of a pure hard-core system with phases displaying orientational order, but not translational order; this is a fundamental characteristic feature of liquid crystals.
A scheme related to the Brauer loop model
Published in Advances in Mathematics, Volume 214, Issue 1, 10 September 2007, Pages 40-77
• View Publication
• BIB
We introduce the_Brauer loop scheme_ E := {M in M_N(C) : M\cp M = 0}, where \cp is a certain degeneration of the ordinary matrix product. Its components of top dimension, floor(N^2/2), correspond to involutions πin S_N having one or no fixed points. In the case N even, this scheme contains the upper-upper scheme from [Knutson '04] as a union of (N/2)! of its components. One of those is a degeneration of the_commuting variety_ of pairs of commuting matrices.
The_Brauer loop model_ is a quantum integrable stochastic process introduced in [de Gier--Nienhuis '04], and some of the entries of its Perron-Frobenius eigenvector were observed (conjecturally) to match the degrees of the components of the upper-upper scheme. We extend this, with proof, to_all_ the entries: they are the degrees of the components of the Brauer loop scheme.
Our proof of this follows the program outlined in [Di Francesco--Zinn-Justin '04]. In that paper, the entries of the Perron-Frobenius eigenvector were generalized from numbers to polynomials, which allowed them to be calculated inductively using divided difference operators. We relate these polynomials to the multidegrees of the components of the Brauer loop scheme, defined using an evident torus action on E. In particular, we obtain a formula for the degree of the commuting variety, previously calculated up to 4x4 matrices.
An Inductive Proof of the Berry-Esseen Theorem for Character Ratios
Published
• View Publication
• BIB
Bolthausen used a variation of Stein's method to give an inductive proof of the Berry-Esseen theorem for sums of independent, identically distributed random variables. We modify this technique to prove a Berry-Esseen theorem for character ratios of a random representation of the symmetric group on transpositions. An analogous result is proved for Jack measure on partitions.
Algorithms for computing linear invariants if directed graphs
Call two pairs $(M,N)$ and $(M',N')$ of $m\times n$ matrices over a field $K$, \emph{simultaneously K-equivalent} if there exist square invertible matrices $S,T$ over K, with $M'=SMT$ and $N'=SNT$. Kronecker \cite{Kronecker} has given a complete set of invariants for simultaneous equivalence of pairs of matrices.
Associate in the natural way to a finite directed graph $Γ$, with $v$ vertices and $e$ edges, an ordered pair $(M,N)$ of $e\times v$ matrices of zeros and ones. It is natural to try to compute the Kronecker invariants of such a pair $(M,N)$, particularly since they clearly furnish isomorphism-invariants of $Γ$. Let us call two graphs `linearly equivalent' when their two corresponding pairs are simultaneously equivalent.
The purpose of the present paper, is to compute directly these Kronecker invariants of finite directed graphs, from elementary combinatorial properties of the graphs. A pleasant surprise is that these new invariants are purely {\bf rational} --indeed, {\bf integral}, in the sense that the computation needed to decide if two directed graphs are linearly equivalent only involves counting vertices in various finite graphs constructed from each of the given graphs-- and {\bf does not involve finding the irreducible factorization of a polynomial over K} (in apparent contrast both to the familiar invariant-computations of graphs furnished by the eigenvalues of the connection matrix, and to the isomorphism problem for general pairs of matrices.)
On q-functional equations and excursion moments
Published in Discrete Mathematics 309 (2009) 207-230
• View Publication
• BIB
We analyse q-functional equations arising from tree-like combinatorial structures, which are counted by size, internal path length, and certain generalisations thereof. The corresponding counting parameters are labelled by a positive integer k. We show the existence of a joint limit distribution for these parameters in the limit of infinite size, if the size generating function has a square root as dominant singularity. The limit distribution coincides with that of integrals of k-th powers of the standard Brownian excursion. Our approach yields a recursion for the moments of the limit distribution. It can be used to analyse asymptotic expansions of the moments, and it admits an extension to other types of singularity.
Splittable ideals and the resolutions of monomial ideals
We provide a new combinatorial approach to study the minimal free resolutions of edge ideals, that is, quadratic square-free monomial ideals. With this method we can recover most of the known results on resolutions of edge ideals with fuller generality, and at the same time, obtain new results. Past investigations on the resolutions of edge ideals usually reduced the problem to computing the dimensions of reduced homology or Koszul homology groups. Our approach circumvents the highly nontrivial problem of computing the dimensions of these groups and turns the problem into combinatorial questions about the associated simple graph. We also show that our technique extends successfully to the study of graded Betti numbers of arbitrary square-free monomial ideals viewed as facet ideals of simplicial complexes.
Symmetric Groups and Expanders
Published
• View Publication
• BIB
We construct an explicit generating sets $F_n$ and $\tilde F_n$ of the alternating and the symmetric groups, which make the Cayley graphs $C(Alt(n), F_n)$ and $C(Sym(n), \tilde F_n)$ a family of bounded degree expanders for all sufficiently large $n$. These expanders have many applications in the theory of random walks on groups and other areas of mathematics.
On the Number of Hamiltonian Groups
Finite hamiltonian groups are counted. The sequence of numbers of all groups of order $n$ all whose subgroups are normal and the sequence of numbers of all groups of order less or equal to $n$ all whose subgroups are normal are presented.
Some conjectures for Macdonald polynomials of type B, C, D
Published in Seminaire Lotharingien de Combinatoire, 52 (2005), article B52h
• Search Publication
We present conjectures giving formulas for the Macdonald polynomials of type B, C, D which are indexed by a multiple of the first fundamental weight. The transition matrices between two different types are explicitly given.
Low rank approximations of symmetric polynomials and asymptotic counting of contingency tables
We represent the number of mxn non-negative integer matrices (contingency tables) with prescribed row sums and column sums as the expected value of the permanent of a non-negative random matrix with exponentially distributed entries. We bound the variance of the obtained estimator, from which it follows that if the row and column sums are bounded by a constant fixed in advance, we get a polynomial time approximation scheme for counting contingency tables. We show that the complete symmetric polynomial of a fixed degree in n variables can be epsilon-approximated coefficient-wise by a sum of powers of O(log n) linear forms, from which it follows that if the row sums (but not necessarily column sums) are bounded by a constant, there is a deterministic approximation algorithm of m^{O(log n)} complexity to compute the logarithmic asymptotic of the number of tables.
Schubert Unions in Grassmann Varieties
Published
• View Publication
• BIB
We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss the maximum number of points over a finite field for the Schubert unions of a given spanning dimension, and we give some applications to coding theory. We define Schubert union codes, and study the parameters and support weights of these codes and of the well-known Grassmann codes.
A Foata bijection for the alternating group and for q analogues
Published in Séminaire Lotharingien Combin. 53 (2005), Article B53b, 16 pp
• Search Publication
The Foata bijection $Φ: S_n \to S_n$ is extended to the bijections $Ψ: A_{n+1} \to A_{n+1}$ and $Ψ_q : S_{n+q-1} \to S_{n+q-1}$, where S_m, A_m are the symmetric and the alternating groups. These bijections imply bijective proofs for recent equidistribution theorems, by Regev and Roichman, for A_{n+1} and for S_{n+q-1}.
A combinatorial interpretation of Guo and Zeng's q-Faulhaber coefficients
Recently, Guo and Zeng discovered q-analogues of Faulhaber's formulas for the sums of powers. They left it as an open problem to extend the combinatorial interpretation of Faulhaber's formulas as given by Gessel and Viennot to the q case. In this note we will provide such an interpretation.
Siegel's Lemma and Sum-Distinct Sets
Published
• View Publication
• BIB
We give a sharpened form of Siegel Lemma's w. r. t. the maximum norm. This implies a new lower bound on the greatest element of a sum-distinct set of positive integers (Erdös-Moser problem). The main tools are Minkowski's theorem on successive minima and the Busemann theorem from convex geometry.
On the structure of $p$-zero-sum free sequences and its application to a variant of Erdos--Ginzburg--Ziv theorem
Published in Proc. Indian Acad. Sci. (Math. Sci.), Vol. 115, No. 1, February 2005, pp. 67-77
• View Publication
• BIB
Let $p$ be any odd prime number. Let $k$ be any positive integer such that $2\leq k\leq [\frac{p+1}3]+1$. Let $S = (a_1,a_2,...,a_{2p-k})$ be any sequence in ${\Bbb Z}_p$ such that there is no subsequence of length $p$ of $S$ whose sum is zero in $\zp$. Then we prove that we can arrange the sequence $S$ as follows: $ S = (\underbrace{a, a, ..., a}_{u {\rm times}}, \underbrace{b, b, >..., b}_{v {\rm times}}, a_1', a_2', >..., a_{2p-k-u-v}') $ where $u\geq v$, $u+v\geq 2p-2k+2$ and $a-b$ generates $\zp$. This extends a result in \cite{gao10} to all primes $p$ and $k$ satisfying $(p+1)/4+3\leq k\leq (p+1)/3+1$. Also, we prove that if $g$ denotes the number of distinct residue classes modulo $p$ appearing in the sequence $S$ in $\zp$ of length $2p-k$ $(2\leq k\leq [(p+1)/4]+1)$, and $g\geq 2\sqrt{2}\sqrt{k-2}$, then there exists a subsequence of $S$ of length $p$ whose sum is zero in $\zp$.
Intersection properties of relations
Published
• View Publication
• BIB
We derive some equalities for relations on the algebra A, under the assumption that every subalgebra of A $\times$ A is congruence modular.
On the Bias of Traceroute Sampling; or, Power-law Degree Distributions in Regular Graphs
Published in Proc. 37th ACM Symposium on Theory of Computing (STOC) 2005
• View Publication
• BIB
Understanding the structure of the Internet graph is a crucial step for building accurate network models and designing efficient algorithms for Internet applications. Yet, obtaining its graph structure is a surprisingly difficult task, as edges cannot be explicitly queried. Instead, empirical studies rely on traceroutes to build what are essentially single-source, all-destinations, shortest-path trees. These trees only sample a fraction of the network's edges, and a recent paper by Lakhina et al. found empirically that the resuting sample is intrinsically biased. For instance, the observed degree distribution under traceroute sampling exhibits a power law even when the underlying degree distribution is Poisson.
In this paper, we study the bias of traceroute sampling systematically, and, for a very general class of underlying degree distributions, calculate the likely observed distributions explicitly. To do this, we use a continuous-time realization of the process of exposing the BFS tree of a random graph with a given degree distribution, calculate the expected degree distribution of the tree, and show that it is sharply concentrated. As example applications of our machinery, we show how traceroute sampling finds power-law degree distributions in both delta-regular and Poisson-distributed random graphs. Thus, our work puts the observations of Lakhina et al. on a rigorous footing, and extends them to nearly arbitrary degree distributions.
Correlation functions for random involutions
Published
• View Publication
• BIB
Our interest is in the scaled joint distribution associated with $k$-increasing subsequences for random involutions with a prescribed number of fixed points. We proceed by specifying in terms of correlation functions the same distribution for a Poissonized model in which both the number of symbols in the involution, and the number of fixed points, are random variables. From this, a de-Poissonization argument yields the scaled correlations and distribution function for the random involutions. These are found to coincide with the same quantities known in random matrix theory from the study of ensembles interpolating between the orthogonal and symplectic universality classes at the soft edge, the interpolation being due to a rank 1 perturbation.
On distinct consecutive differences
Published
• View Publication
• BIB
We show that if $A=\{a_1,a_2,..., a_k\}$ is a monotone increasing set of numbers, and the differences of the consecutive elements are all distinct, then $|A+B|\geq c|A|^{1/2}|B|$ for any finite set of numbers $B$. The bound is tight up to the constant multiplier.