Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Equivariant cohomology, symmetric functions and the Hilbert schemes of points on the total space of the invertible sheaf O(-2) over the projective line
Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X.
We give and prove a closed formula expressing any multiplicative characteristic class evaluated on the Hilb X in terms of the standard Fock space description of the cohomology of the Hilb X. As a side result, we also deduce a formula for the Chern character of the tangent bundles of the Hilb X.
The results found here are another step towards a complete description of the tangent bundle of the Hilbert scheme of a general quasi-projective surface as the formulas given here yield certain coefficients in that description.
Finally, we also give a closed formula expressing any multiplicative characteristic class evaluated on some tautological bundles on the Hilb X.
Estimating the relative order of speciation or coalescence events on a given phylogeny
Published
• View Publication
• BIB
The reconstruction of large phylogenetic trees from data that violates clocklike evolution (or as a supertree constructed from any m input trees) raises a difficult question for biologists - how can one assign relative dates to the vertices of the tree? In this paper we investigate this problem, assuming a uniform distribution on the order of the inner vertices of the tree (which includes, but is more general than, the popular Yule distribution on trees). We derive fast algorithms for computing the probability that (i) any given vertex in the tree was the j--th speciation event (for each j), and (ii) any one given vertex is earlier in the tree than a second given vertex. We show how the first algorithm can be used to calculate the expected length of any given interior edge in any given tree that has been generated under either a constant-rate speciation model, or the coalescent model.
Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps
Published in Europ. J. Comb. 30 (2009), 625-637.
• View Publication
• BIB
We apply the semidefinite programming approach developed in arxiv:math.MG/0608426 to obtain new upper bounds for codes in spherical caps. We compute new upper bounds for the one-sided kissing number in several dimensions where we in particular get a new tight bound in dimension 8. Furthermore we show how to use the SDP framework to get analytic bounds.
Regular trees in random regular graphs
We investigate the size of the embedded regular tree rooted at a vertex in a $d$ regular random graph. We show that almost always, the radius of this tree will be ${1/2}\log n$, where $n$ is the number of vertices in the graph. And we give an asymptotic estimate for Gauss' Hypergeometric Function.
John Michael Hammersley (1920-2004)
Published
• View Publication
• BIB
In writing this biographical memoir of John Hammersley, we have tried to communicate something of the character of the person, and of the impact of his scientific achievements across lattice models (for example, percolation, self-avoiding walks, first-passage percolation, dimer models), stochastic processes (including subadditive ergodic theory), Monte Carlo methods, applied probability, statistics, and other areas to which he contributed. There is also an extended account of his earlier life, taken from autobiographical notes written around 1994, together with a list of his published work.
An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the coloring. The computational complexity of this algorithm is on a par with (or even below) the fastest known algorithms that find a single 3-edge coloring or a Hamiltonian cycle for a cubic graph.
Interpreting the two variable Distance enumerator of the Shi hyperplane arrangement
Published
• View Publication
• BIB
We give an interpretation of the coefficients of the two variable refinement $D_{\Sh_n}(q,t)$ of the distance enumerator of the Shi hyperplane arrangement $\Sh_n$ in $n$ dimensions. This two variable refinement was defined by Stanley \cite{stan-rota} for the general $r$-extended Shi hyperplane arrangements. We give an interpretation when $r=1$.
We define three natural three-dimensional partitions of the number $(n+1)^{n-1}$. The first arises from parking functions of length $n$, the second from special posets on $n$ vertices defined by Athanasiadis and the third from spanning trees on $n+1$ vertices. We call the three partitions as the parking partition, the tree-poset partition and the spanning-tree partition respectively. We show that one of the parts of the parking partition is identical to the number of edge-labelled trees with label set $\{1,2,...,n\}$ on $n+1$ unlabelled vertices. We prove that the parking partition majorises the tree-poset partition and conjecture that the spanning-tree partition also majorises the tree-poset partition.
Splitting multidimensional necklaces
Published
• View Publication
• BIB
The well-known "splitting necklace theorem" of Noga Alon says that each "necklace" having beads of n different colors can be fairly divided between k "thieves" by at most n(k-1) cuts. We demonstrate that Alon's result is a special case of a multidimensional, consensus division theorem for n continuous probability measures on a d-cube [0,1]^d. The dissection is performed by m_1+...+ m_d=n(k-1) hyperplanes parallel to the sides of [0,1]^d dividing the cube into m_1 x m_2 x ... x m_d elementary parallelepipeds where the integers m_i are prescribed in advance.
Giant Component and Vacant Set for Random Walk on a Discrete Torus
Published in J. Eur. Math. Soc. 10, 133-172, 2008
• View Publication
• BIB
We consider random walk on a discrete torus E of side-length N, in sufficiently high dimension d. We investigate the percolative properties of the vacant set corresponding to the collection of sites which have not been visited by the walk up to time uN^d. We show that when u is chosen small, as N tends to infinity, there is with overwhelming probability a unique connected component in the vacant set which contains segments of length const log N. Moreover, this connected component occupies a non-degenerate fraction of the total number of sites N^d of E, and any point of E lies within distance an arbitrary fractional power of N from this component.
Shifted set families, degree sequences, and plethysm
Published
• View Publication
• BIB
We study, in three parts, degree sequences of k-families (or k-uniform hypergraphs) and shifted k-families. The first part collects for the first time in one place, various implications such as: Threshold implies Uniquely Realizable implies Degree-Maximal implies Shifted, which are equivalent concepts for 2-families (=simple graphs), but strict implications for k-families with k > 2. The implication that uniquely realizable implies degree-maximal seems to be new. The second part recalls Merris and Roby's reformulation of the characterization due to Ruch and Gutman for graphical degree sequences and shifted 2-families. It then introduces two generalizations which are characterizations of shifted k-families. The third part recalls the connection between degree sequences of k-families of size m and the plethysm of elementary symmetric functions e_m[e_k]. It then uses highest weight theory to explain how shifted k-families provide the ``top part'' of these plethysm expansions, along with offering a conjecture about a further relation.
Computing the distribution of the maximum in balls-and-boxes problems, with application to clusters of disease cases
Published
• View Publication
• BIB
We present a rapid method for the exact calculation of the cumulative distribution function of the maximum of multinomially distributed random variables. The method runs in time $O(mn)$, where $m$ is the desired maximum and $n$ is the number of variables. We apply the method to the analysis of two situations where an apparent clustering of cases of a disease in some locality has raised the possibility that the disease might be communicable, and this possibility has been discussed in the recent literature. We conclude that one of these clusters may be explained on purely random grounds, whereas the other may not.
Bounds for codes in products of spaces, Grassmann and Stiefel manifolds
Published
• View Publication
• BIB
Upper bounds are derived for codes in Stiefel and Grassmann manifolds with given minimal chordal distance. They stem from upper bounds for codes in products of unit spheres and projective spaces. The new bounds are asymptotically better than the previously known ones.
Linear programming bounds for codes in Grassmannian spaces
Published in IEEE Trans. Inf. Th., 52-5 (2006), 2111-2125
• View Publication
• BIB
We introduce a linear programming method to obtain bounds on the cardinality of codes in Grassmannian spaces for the chordal distance. We obtain explicit bounds, and an asymptotic bound that improves on the Hamming bound. Our approach generalizes the approach originally developed by P. Delsarte and Kabatianski-Levenshtein for compact two-point homogeneous spaces.
Clustering of spectra and fractals of regular graphs
Published in J. Math. Anal. Appl. 333 (2007) 236-246
• View Publication
• BIB
We exhibit a characteristic structure of the class of all regular graphs of degree d that stems from the spectra of their adjacency matrices. The structure has a fractal threadlike appearance. Points with coordinates given by the mean and variance of the exponentials of graph eigenvalues cluster around a line segment that we call a filar. Zooming-in reveals that this cluster splits into smaller segments (filars) labeled by the number of triangles in graphs. Further zooming-in shows that the smaller filars split into subfilars labelled by the number of quadrangles in graphs, etc. We call this fractal structure, discovered in a numerical experiment, a multifilar structure. We also provide a mathematical explanation of this phenomenon based on the Ihara-Selberg trace formula, and compute the coordinates and slopes of all filars in terms of Bessel functions of the first kind.
A set theoretic framework for enumerating matches in surveys and its application to reducing inaccuracies in vehicle roadside surveys
Published in European Journal of Operational Research, 175(3) pp 1501-1513 2006
• View Publication
• BIB
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches are to be found in data surveyed at a number of locations (or at a single location over a number of days). As an example, the framework is applied to the problem of false matches in licence plate survey data. The specific problem addressed is that of estimating how many vehicles were genuinely sighted at every one of a number of survey points when there is a possibility of accidentally confusing two vehicles due to the nature of the survey undertaken.
In this paper, a method for representing the possible "types of match" is outlined using set theory. The phrase "types of match" will be defined and formalised in this paper. A method for enumerating the set of all types of match over n survey sites, is described. The method is applied to the problem of correcting survey data for false matches using a simple probabalistic method. An algorithm is developed for correcting false matches over multiple survey sites and its use is demonstrated with simulation results.
Cordial Deficiency
We introduce two new measures of the noncordiality of a graph. We then calculate the values of these measures for various families of noncordial graphs. We also determine exactly which of the Möbius ladders are cordial.
Loop model with mixed boundary conditions, qKZ equation and alternating sign matrices
Published
• View Publication
• BIB
The integrable loop model with mixed boundary conditions based on the 1-boundary extended Temperley--Lieb algebra with loop weight 1 is considered. The corresponding qKZ equation is introduced and its minimal degree solution described. As a result, the sum of the properly normalized components of the ground state in size L is computed and shown to be equal to the number of Horizontally and Vertically Symmetric Alternating Sign Matrices of size 2L+3. A refined counting is also considered.
A fixed point theorem for the infinite-dimensional simplex
Published in J. Math. Anal. Appl. 332 (2007) 1063-1070
• View Publication
• BIB
We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Sperner's lemma. The fixed point theorem is shown to imply Schauder's fixed point theorem on infinite-dimensional compact convex subsets of normed spaces.
The 6 Vertex Model and Schubert Polynomials
Published in SIGMA 3(2007) (24/02/2007) 029, 12 pages
• View Publication
• BIB
We enumerate staircases with fixed left and right columns. These objects correspond to ice-configurations, or alternating sign matrices, with fixed top and bottom parts. The resulting partition functions are equal, up to a normalization factor, to some Schubert polynomials.
The Number of [Old-Time] Basketball games with Final Score n:n where the Home Team was never losing but also never ahead by more than w Points
Published in Electronic J. of Combinatorics 14(1) (2007), R19
• View Publication
• BIB
We show that the generating function (in n) for the number of walks on the square lattice with steps (1,1), (1,-1), (2,2) and (2,-2) from (0,0) to (2n,0) in the region 0 <= y <= w satisfies a very special fifth order nonlinear recurrence relation in w that implies both its numerator and denominator satisfy a linear recurrence relation.