Geometric Algebra in Linear Algebra and Geometry

This article explores the use of geometric algebra in linear and multilinear algebra, and in affine, projective and conformal geometries. Our principal objective is to show how the rich algebraic tools of geometric algebra are fully compatible with and augment the more traditional tools of matrix algebra. The novel concept of an h-twistor makes possible a simple new proof of the striking relationship between conformal transformations in a pseudo-Euclidean space to isometries in a pseudo-Euclidean space of two higher dimensions. The utility of the h-twistor concept, which is a generalization of the idea of a Penrose twistor to a pseudo-Euclidean space of arbitrary signature, is amply demonstrated in a new treatment of the Schwarzian derivative.     

On Matter and Metric in Affine Theory of Gravity

The affine theory was conceived as a geometric model, wherein the connection field is the primary structure of the space-time. According to the program lying on the basis of this theory, metric and some sort of matter are somehow to be deduced from the connection field. In the present paper, we point out classical ways to a realization of this program. It is shown that, even in that case where the introduction of the metric seems to exclude the coupling of gravity to matter, the situation is not so hopeless as one may assume. In particular, for a symmetric Einstein tensor, it is answered the old question as to a self-consistent introduction of a metric and a metrical energy-momentum tensor controversially debated by Einstein, Eddington, and Weyl.     

Dimension Theory and Nonstable K 1

This article provides an introduction to A. Bak's theory of group-valued functors on categories with structure and dimension and applies this theory to the algebraic K-theory functors nonstable K ₁ and K ₂.     

Computing the dimension ofN-free ordered sets is NP-complete

We show that the problem of deciding whether anN-free ordered set has dimension at most 3 is NP-complete.Both authors supported by Office of Naval Research contract N00014-85K-0494.     

On classical analogues of free entropy dimension

We define a classical probability analogue of Voiculescu's free entropy dimension that we shall call the classical probability entropy dimension of a probability measure on Rn. We show that the classical probability entropy dimension of a measure is related with diverse other notions of dimension. First, it can be viewed as a kind of fractal dimension. Second, if one extends Bochner's inequalities to a measure by requiring that microstates around this measure asymptotically satisfy the classical Bochner's inequalities, then we show that the classical probability entropy dimension controls the rate of increase of optimal constants in Bochner's inequality for a measure regularized by convolution with the Gaussian law as the regularization is removed. We introduce a free analogue of the Bochner inequality and study the related free entropy dimension quantity. We show that it is greater or equal to the non-microstates free entropy dimension.     

Lemniscates and inequalities for the logarithmic capacities of continua

It is shown that if P(z) = z ⁿ + ? is a polynomial with connected lemniscate E(P) = {z: ¦P(z)¦ ≤ 1} and m critical points, then, for any n? m+1 points on the lemniscate E(P), there exists a continuum γ ? E(P) of logarithmic capacity cap γ ≤ 2^?1/n which contains these points and all zeros and critical points of the polynomial. As corollaries, estimates for continua of minimum capacity containing given points are obtained.     

High-precision Monte Carlo test of the conformai-invariance predictions for two-dimensional mutually avoiding walks

Let _l be the critical exponent associated with the probability thatl independentN-step ordinary random walks, starting at nearby points, are mutually avoiding. Using Monte Carlo methods combined with a maximum-likelihood data analysis, we find that in two dimensions ₂=0.6240±0.0005±0.0011 and ₃=1.4575±0.0030±0.0052, where the first error bar represents systematic error due to corrections to scaling (subjective 95% confidence limits) and the second error bar represents statistical error (classical 95% confidence limits). These results are in good agreement with the conformal-invariance predictions ₂=5/8 and ₃=35/24.     

Size distribution of fractured areas in one-dimensional systems

We study a one-dimensional model for fracture, identifying fractured areas with intervals on which a stress field exceeds a threshold value. When is a diffusion process, the cumulative numberN(l) of fractured areas whose length is greater thanl obeys a power lawCl ^–p asl0 with probability one. The exponentp and the constantC are determined. The exponentp agrees with the Hausdorff dimension of the end points of fractured areas, i.e., ^–1(). Even if is self-similar with parameterH>0, i.e.,(cx)– is equivalent toc ^H {(x)–} for anyc>0, the exponentp does not depend solely onH;p=H, where(0, 1/H) is another parameter characterizing. Non-diffusion processes are given whereN(l) does not follow a power law.     

Resistivity exponent of two-dimensional lattice animals

We calculate the average resistanceR(L) of lattice animals spanningL×L cells on the square lattice using exact and Monte Carlo methods. The dynamical resistivity exponent, defined asR(L) L , is found to be =1.36±0.07. This contradicts the Alexander-Orbach conjecture, which predicts 0.8. Our value for differs from earlier measurements of this quantity by other methods yielding =1.17±0.05 and 1.22±0.08 by Havlin et al.On leave from the Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing, China.     

Pattern formation in diffusion-limited reactions

The conditions for macroscopic segregation ofA andB in a steady-stateA+B 0 reaction are studied in infinite systems. Segregation occurs in one and two dimensions and is marginal ford=3. We note the dependence of these results on the precise experimental conditions assumed in the theory. We also note the difference between these results and our earlier ones for finite systems where the critical dimension isd=2.