Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The minimal cardinality where the Reznichenko property fails
Published in Israel Journal of Mathematics 140 (2004), 367--374
• View Publication
• BIB
A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect all neighborhoods of x. In their paper, Kocinac and Scheepers conjecture that the minimal cardinality of a set X of real numbers such that C_p(X) does not have the weak Frechet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space).
We prove the Kocinac-Scheepers conjecture by showing that if C_p(X) has the Reznichenko property, then a continuous image of X cannot be a subbase for a non-feeble filter on the natural numbers.
3-enumerated alternating sign matrices
Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$.
Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2).
The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.
Kerov's central limit theorem for the Plancherel measure on Young diagrams
Published in In: S.Fomin, editor. Symmetric Functions 2001: Surveys of Developments and Perspectives (NATO Science Series II. Mathematics, Physics and Chemistry. Vol.74), Kluwer, 2002, pp. 93-151
• View Publication
• BIB
Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).
Uncertainty of the Shapley Value
Published in International Game Theory Review, 2005, 7, 517-529
• View Publication
• BIB
This paper introduces a measure of uncertainty in the determination of the Shapley value, illustrates it with examples, and studies some of its properties. The introduced measure of uncertainty quantifies random variations in a player's marginal contribution during the bargaining process. The measure is symmetric with respect to exchangeable substitutions in the players, equal to zero for dummy player, and convex in the game argument. The measure is illustrated by several examples of abstract games and an example from epidemiology.
Bose-Mesner Algebras attached to Invertible Jones Pairs
Published
• View Publication
• BIB
In 1989, Vaughan Jones introduced spin models and showed that they could be used to form link invariants in two different ways--by constructing representations of the braid group, or by constructing partition functions. These spin models were subsequently generalized to so-called 4-weight spin models by Bannai and Bannai; these could be used to construct partition functions, but did not lead to braid group representations in any obvious way. Jaeger showed that spin models were intimately related to certain association schemes. Yamada gave a construction of a symmetric spin model on $4n$ vertices from each 4-weight spin model on $n$ vertices.
In this paper we build on recent work with Munemasa to give a different proof to Yamada's result, and we analyse the structure of the association scheme attached to this spin model.
Numerical Estimation of the Asymptotic Behaviour of Solid Partitions of an Integer
Published in Journal of Physics A, Vol 36, 6651 (2003)
• View Publication
• BIB
The number of solid partitions of a positive integer is an unsolved problem in combinatorial number theory. In this paper, solid partitions are studied numerically by the method of exact enumeration for integers up to 50 and by Monte Carlo simulations using Wang-Landau sampling method for integers up to 8000. It is shown that, for large n, ln[p(n)]/n^(3/4) = 1.79 \pm 0.01, where p(n) is the number of solid partitions of the integer n. This result strongly suggests that the MacMahon conjecture for solid partitions, though not exact, could still give the correct leading asymptotic behaviour.
A random tiling model for two dimensional electrostatics
Published
• View Publication
• BIB
We consider triangular holes on the hexagonal lattice and we study their interaction when the rest of the lattice is covered by dimers. More precisely, we analyze the joint correlation of these triangular holes in a ``sea'' of dimers. We determine the asymptotics of the joint correlation (for large separations between the holes) in the case when one of the holes has side 1, all remaining holes have side 2, and the holes are distributed symmetrically with respect to a symmetry axis. Our result has a striking physical interpretation. If we regard the holes as electrical charges, with charge equal to the difference between the number of down-pointing and up-pointing unit triangles in a hole, the logarithm of the joint correlation behaves exactly like the electrostatic potential energy of this two-dimensional electrostatic system: it is obtained by a Superposition Principle from the interaction of all pairs, and the pair interactions are according to Coulomb's law.
Latin squares, partial latin squares and its generalized quotients
Published
• View Publication
• BIB
A (partial) Latin square is a table of multiplication of a (partial) quasigroup. Multiplication of a (partial) quasigroup may be considered as a set of triples. We give a necessary and sufficient condition when a set of triples is a quotient of a (partial) Latin square.
A Shorter Proof of the Transitivity of Transfinite Connectedness
A criterion is established for the transitivity of connectedness in a transfinite graph. Its proof is much shorter than a prior argument published previously for that criterion.
Increasing trees and Kontsevich cycles
Published in Geom. Topol. 8 (2004) 969-1012
• View Publication
• BIB
It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.
What majority decisions are possible
Published
• View Publication
• BIB
The main result is the following:
Let X be a finite set and D be a non empty family of choice functions for (X choose 2) closed under permutation of X. Then the following conditions are equivalent:
(A) for any choice function c on (X choose 2) we can find a finite set J and c_j in D for j in J such that for any x not= y in X : c{x,y}=y Leftrightarrow |J|/2<| {j in J:c_j{x,y}= y}| (so equality never occurs)
(B) for some c in D and x in X we have |{y: c{x,y}=y}| not= (|X|-1)/2 . We then describe what is the closure of a set of choice functions by majority; in fact, there are just two possibilities (in section 3). In section 4 we discuss a generalization.
OTIS Layouts of De Bruijn Digraphs
The Optical Transpose Interconnection System (OTIS) was proposed by Marsden et al. [Opt. Lett 18 (1993) 1083--1085] to implement very dense one-to-one interconnection between processors in a free space of optical interconnections. The system which allows one-to-one optical communications from p groups of q transmitters to q groups of p receivers, using electronic intragroup communications for each group of consecutive d processors, is denoted by OTIS(p,q,d). H(p,q,d) is the digraph which characterizes the underlying topology of the optical interconnection implemented by OTIS(p,q,d). A digraph has an OTIS(p,q,d) layout if it is isomorphic to H(p,q,d). Based on results of Coudert et al. [Networks 40 (2002) 155--164], we characterize all OTIS(p,q,d) layouts of De Bruijn digraph B(d,n) where both p and q are powers of d. Coudert et al. posed the conjecture that if B(d,n) has an OTIS(p,q,d) layout, then both p and q are powers of d. As an effort to prove this conjecture, we prove that H(p,q,d) is a line digraph if and only if both p and q are multiples of d.
The Orchard crossing number of an abstract graph
We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number.
Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.
The quantum MacMahon Master Theorem
Published
• View Publication
• BIB
We state and prove a quantum-generalization of MacMahon's celebrated Master Theorem, and relate it to a quantum-generalization of the boson-fermion correspondence of Physics.
C-Groups
In this paper we explore the structure and properties of C-groups. We define a C-group as a group $G$ with $rk(G) < rk(Z(G))$ (where $rk(G)$ is the minimal cardinal of a generating set for a group $G$). Using GAP (a group theory program) and traditional methods, we identified an interesting infinite class of C-groups. In particular, we have proved that there is always a C-group of order an integer multiple of a fifth power of a prime. One way to obtain C-groups is take the direct product of certain C-groups, mentioned in this paper, with other appropriate groups. We, at this time, do not know whether the C-groups discussed in this paper are the building block of all finite C-groups. But a complete classification of finite or infinite C-groups is an interesting problem. We have also formulated a number of open questions relating to C-groups: Are they all solvable? What is the structure of the C-groups that are not in our class? Is the minimal number of generators of the center always polynomially bounded by the minimal number of generators of the group? What are the isoperimetric inequalities of infinite C-groups?
Trees, permutations and the tangent function
Published in Reflections 27 (2) (Math. Assoc. of New South Wales, May 2002) 19-23
• Search Publication
This is a report on a talk to high school mathematics students. It gives some combinatorial connections for the entries of the boustrophedon triangle whose sides are the Taylor coefficients for the tangent and secant functions.
Matrix Integrals and the Generation and Counting of Virtual Tangles and Links
Published in J.Knot Theor.Ramifications 13 (2004) 325-356
• View Publication
• BIB
Virtual links are generalizations of classical links that can be represented by links embedded in a ``thickened'' surface $Σ\times I$, product of a Riemann surface of genus $h$ with an interval. In this paper, we show that virtual alternating links and tangles are naturally associated with the $1/N^2$ expansion of an integral over $N\times N$ complex matrices. We suggest that it is sufficient to count the equivalence classes of these diagrams modulo ordinary (planar) flypes. To test this hypothesis, we use an algorithm coding the corresponding Feynman diagrams by means of permutations that generates virtual diagrams up to 6 crossings and computes various invariants. Under this hypothesis, we use known results on matrix integrals to get the generating functions of virtual alternating tangles of genus 1 to 5 up to order 10 (i.e.\ 10 real crossings). The asymptotic behavior for $n$ large of the numbers of links and tangles of genus $h$ and with $n$ crossings is also computed for $h=1,2,3$ and conjectured for general $h$.
Correlation functions of strict partitions and twisted Fock spaces
Published in Transformation Groups, vol 9 (2004), 89--101.
• View Publication
• BIB
Using twisted Fock spaces, we formulate and study two twisted versions of the n-point correlation functions of Bloch-Okounkov, and then identify them with q-expectation values of certain functions on the set of (odd) strict partitions. We find closed formulas for the 1-point functions in both cases in terms of Jacobi theta functions. These correlation functions afford several distinct interpretations.
Determinantal Construction of Orthogonal Polynomials Associated with Root Systems
Published in Compositio Math, 140/2, 255--273 (2004)
• View Publication
• BIB
We consider semisimple triangular operators acting in the symmetric component of the group algebra over the weight lattice of a root system. We present a determinantal formula for the eigenbasis of such triangular operators. This determinantal formula gives rise to an explicit construction of the Macdonald polynomials and of the Heckman-Opdam generalized Jacobi polynomials.
Counting Integer flows in Networks
Published
• View Publication
• BIB
This paper discusses new analytic algorithms and software for the enumeration of all integer flows inside a network. Concrete applications abound in graph theory \cite{Jaeger}, representation theory \cite{kirillov}, and statistics \cite{persi}. Our methods clearly surpass traditional exhaustive enumeration and other algorithms and can even yield formulas when the input data contains some parameters. These methods are based on the study of rational functions with poles on arrangements of hyperplanes.