A sharp transition for the two-dimensional Ising percolation

We show that the percolation transition for the two-dimensional Ising model is sharp. Namely, we show that for every reciprocal temperature >0, there exists a critical valueh _c () of external magnetic fieldh such that the following two statements hold.

Some notes about affine diameters of convex figures

Given a pointx in a convex figureM, let(x) denote the number of all affine diameters ofM passing throughx. It is shown that, for a convex figureM, the following conditions are equivalent.

Subadditive functions on modules and subgroups of abelian groups

Thepositive half A ₊ of an ordered abelian groupA is the set {x Ax 0} andM A ₊ is amodule if for allx, y M alsox + y, |x – y| M. If A ₊ \M thenM() is the module generated byM and. S M isunbounded inM if(x M)(y S)(x y) and isdense inM if (x₁, x₂ M)(y S) (x₁ <>₂ x₁ y x₂). IfM is a module, or a subgroup of any abelian group, a real-valuedg: M R issubadditive ifg(x + y) g(x) + g(y) for allx, y M. The following hold:

Pointwise hereditary majorization and some applications

A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as Kleene/Feferman's) is applied to systems of intuitionistic and classical arithmetic (H andH ^c) in all finite types with full induction as well as to the corresponding systems with restricted induction and^c.

Blocks of orthogonal random variables and the strong law of large numbers

(X _k ),k=1,2,... — _k ² >1; (X _k ) , E(X _k X _t )=0 p k<>(p+1) (p,k,l=1, 2, ...) , , ,

On the preservation of periodic monotonicity

A 2-periodic continuous real functionf is said to beperiodically monotone if it has the following property: there exist numbert ₁t ₂t ₃t ₁+2 such thatf is nonincreasing fort ₁t ₂ and nondecreasing int ₂tt ₃. For any 2-periodic, integrable real functiong with ₀ ² |g(t|dt) we define

Some counterexamples for the theory of sobolev spaces on bad domains

It is shown that some well-known properties of the Sobolev spaceL _p ^l () do not admit extension to the spaceL _p ^l () of the functions withl-th order derivatives inL _p (),l>1, without requirements to the domain . Namely, we give examples of such that

Generalized solution to a semilinear hyperbolic system with a non-Lipshitz nonlinearity

Let

A note on the small-time development of the solution to a scalar, non-linear, singular reaction-diffusion equation

In this note, we consider a class of scalar, non-linear, singular (in the sense that the reaction terms in the equation are not Lipschitz continuous) reaction-diffusion equations with positive initial data being of (a) O(x^–) or (b) O(x^–e^{– x}) at large x (dimensionless distance), where , > 0 and are constants. We establish, by developing the small–t (dimensionless time) asymptotic structure of the solution, that the support of the solution becomes finite in infinitesimal time in both cases (a) and (b) above. The asymptotic form for the location of the edge of the support as t  0 is given in both cases.     

Percolation in half-spaces: equality of critical densities and continuity of the percolation probability

Renormalization arguments are developed and applied to independent nearest-neighbor percolation on various subsets of ^d ,d2, yielding:

A geometric approach to the cascade approximation operator for wavelets

This paper is devoted to an approximation problem for operators in Hilbert space, that appears when one tries to study geometrically thecascade algorithm in wavelet theory. Let be a Hilbert space, and let be a representation ofL ( ) on . LetR be a positive operator inL ( ) such thatR(1) =1, where1 denotes the constant function 1. We study operatorsM on (bounded, but noncontractive) such that

Large-time behavior of perturbed diffusion markov processes with applications to the second eigenvalue problem for fokker-planck operators and simulated annealing

We study the large-time behavior and rate of convergence to the invariant measures of the processes dX (t)=b(X) (t)) dt + (X (t)) dB(t). A crucial constant appears naturally in our study. Heuristically, when the time is of the order exp( – )/² , the transition density has a good lower bound and when the process has run for about exp( – )/², it is very close to the invariant measure. LetL =(²/2) – U · be a second-order differential operator on ^d. Under suitable conditions,L ^z has the discrete spectrum

Realizations of regular polytopes

Let be a finite regular incidence-polytope. A realization of is given by an imageV of its vertices under a mapping into some euclidean space, which is such that every element of the automorphism group () of induces an isometry ofV. It is shown in this paper that the family of all possible realizations (up to congruence) of forms, in a natural way, a closed convex cone, which is also denoted by The dimensionr of is the number of equivalence classes under () of diagonals of , and is also the number of unions of double cosets ^{** *–1*} ( ^*), where ^* is the subgroup of () which fixes some given vertex of . The fine structure of corresponds to the irreducible orthogonal representations of (). IfG is such a representation, let its degree bed _G , and let the subgroup ofG corresponding to ^* have a fixed space of dimensionw _G . Then the relations

Exponential Decay of Lifetimes and a Theorem of Kac on Total Occupation Times

Let be the Dirichlet integral and the Brownian motion on R. Let be a finite positive measure in the Kato class and the additive functional associated with . We prove that for a regular domain D of R ^d

Asymptotics of polynomials orthogonal with respect to varying measures

Letd be a finite positive Borel measure on the interval [0, 2] such that >0 almost everywhere; andW _n be a sequence of polynomials, degW _n =n, whose zeros (w _n ,1,,w _n,n lie in [|z|1]. Let d _n <> for each_nN, whered _n =d/|W _n (e ⁱ )|². We consider the table of polynomials _n,m such that for each fixednN the system _n,m,mN, is orthonormal with respect tod _n . If

On maximal ranges of polynomial spaces in the unit disk

Let be a domain in C, 0, and let _n ⁰ () be the set of polynomials of degreen such thatP(0)=0 andP(D), whereD denotes the unit disk. The maximal range _n is then defined to be the union of all setsP(D),P _n ⁰ (). We derive necessary and, in the case of ft convex, sufficient conditions for extremal polynomials, namely those boundaries whose ranges meet _n . As an application we solve explicitly the cases where is a half-plane or a strip-domain. This also implies a number of new inequalities, for instance, for polynomials with positive real part inD. All essential extremal polynomials found so far in the convex cases are univalent inD. This leads to the formulation of a problem. It should be mentioned that the general theory developed in this paper also works for other than polynomial spaces.Communicated by J. Milne Anderson.     

Convex polynomial and spline approximation in C[−1, 1]

We prove that a convex functionf C[–1, 1] can be approximated by convex polynomialsp _n of degreen at the rate of ₃(f, 1/n). We show this by proving that the error in approximatingf by C² convex cubic splines withn knots is bounded by ₃(f, 1/n) and that such a spline approximant has anL third derivative which is bounded by n³₃(f, 1/n). Also we prove that iff C²[–1, 1], then it is approximable at the rate ofn ^–2 (f, 1/n) and the two estimates yield the desired result.Communicated by Ronald A. DeVore.     

Fourier series of functions whose Hankel transform is supported on [0, 1]

LetJ denote the Bessel function of order . For >–1, the system x^–/2–1/2J_+2n+1(x^1/2, n=0, 1, 2,..., is orthogonal onL ²((0, ),x dx). In this paper we study the mean convergence of Fourier series with respect to this system for functions whose Hankel transform is supported on [0, 1].Communicated by Mourad Ismail.     

The existence of non-trivial hyperfactorizations ofK 2n

A -hyperfactorization ofK _2n is a collection of 1-factors ofK _2n for which each pair of disjoint edges appears in precisely of the 1-factors. We call a -hyperfactorizationtrivial if it contains each 1-factor ofK _2n with the same multiplicity (then =(2n–5)!!). A -hyperfactorization is calledsimple if each 1-factor ofK _2n appears at most once. Prior to this paper, the only known non-trivial -hyperfactorizations had one of the following parameters (or were multipliers of such an example)

Projection minima of a symmetric convex body

R ⁿ n- , : RⁿPRⁿ/ o - . —