On nonnegative solvability of linear operator equations

LetE be a Banach lattice having order continuous norm. Suppose, moreover,T is a nonnegative reducible operator having a compact iterate and which mapsE into itself. The purpose of this work is to extend the previous results of the authors, concerning nonnegative solvability of (kernel) operator equations on generalL ^p-spaces. In particular, we provide necessary and sufficient conditions for the operator equation x=T x+y to possess a nonnegative solutionxE wherey is a given nonnegative and nontrivial element ofE and is any given positive parameter.     

Monotone path systems in simple regions

A monotone path system (MPS) is a finite set of pairwise disjoint paths (polygonal areas) in thexy-plane such that every horizontal line intersects each of the paths in at most one point. A MPS naturally determines a pairing of its top points with its bottom points. We consider a simple polygon in thexy-plane wich bounds the simple polygonal (closed) regionD. LetT andB be two finite, disjoint, equicardinal sets of points ofD. We give a good characterization for the existence of a MPS inD which pairsT withB, and a good algorithm for finding such a MPS, and we solve the problem of finding all MPSs inD which pairT withB. We also give sufficient conditions for any such pairing to be the same.The first author's research is supported by the Natural Sciences and Engineering Research Council of Canada     

On a functional equation of Luce

Summary In a recent communication to J. Aczél, R. Duncan Luce asked about the functional equationU(x)U(G(x)F(y)) = U(G(x))U(xy) forx, y > 0, (1) which has arisen in his research on certainty equivalents of gambles. He was particularly interested in cases in which the unknowns (U, F andG) are strictly increasing functions from (0, + ) into (0, + ). In this paper we solve (1) in the case whereU, F andG are continuously differentiable with everywhere positive first derivatives. Our solution is perhaps novel in that in certain cases (1) reduces to a functional equation in a single variable and in other cases to a functional equation in several variables; see [1] for the terminology.     

Incomplete idempotent Schröder quasigroups and related packing designs

Summary In this paper it is proved that, for any positive integern 2, 3 (mod 4),n 7, there exists an incomplete idempotent Schröder quasigroup with one hole of size two IISQ(n, 2) except forn = 10. It is also proved that for any positive integern 0, 1 (mod 4), there exists an idempotent Schröder quasigroup ISQ(n) except forn = 5 and 9. These results completely determine the spectrum of ISQ(n) and provide an application to the packing of a class of edge-coloured block designs.Research supported by NSERC grant A-5320.Research supported by NSFC grant 19231060-2.     

Path integrals on finite sets

We construct an analogue of the Feynman path integral for the case of % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOeI0YaaS% aaaeaacaaIXaaabaGaamyAaaaadaWcaaqaaiabgkGi2cqaaiabgkGi% 2kaadshaaaqeduuDJXwAKbYu51MyVXgaiuaacqWFvpGAcaWG0bGaey% ypa0JaamisamaaBaaaleaacaGGOaaabeaakmaaBaaaleaacaGGPaaa% beaakiab-v9aQjaadshaaaa!4A8D!\[ - \frac{1}{i}\frac{\partial }{{\partial t}}\varphi t = H_( _) \varphi t\] in which H ₍₎ is a self-adjoint operator in the space L ²(M)= % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeSOaHmkaaa!3744!\[\mathbb{C}\], where _M is a finite set, the paths being functions of % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeSyhHekaaa!375D!\[\mathbb{R}\] with values in M. The path integral is a family of measures F _t,t with values in the operators on L ²(M), or equivalently, a family of complex measures corresponding to matrix coefficients.It is shown that these measures on path space are in some sense dominated by the measure of a Markov process. This implies that F _t,t is concentrated on the set of step functions S[t,t].This allows one to make sense of, and prove, the analogue of Feynman's formula for the propagator of the Hamiltonian H=H ₀+V, where V is a potential, namely the formula: % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyzamaaCa% aaleqabaGaeyOeI0IaamyAaiaacIcacaWG0bGaai4jaiabgkHiTiaa% dshacaGGPaGaamisaaaakiabg2da9maapebabaGaaeyzamaaCaaale% qabaGaeyOeI0IaamyAamaapedabaGaamOvaiaacIcatCvAUfKttLea% ryqr1ngBPrgaiuGacqWF4baEcaGGOaGaam4CaiaacMcacaGGPaGaae% izaiaabohaaWqaaiaadshaaeaacaWG0bGaai4jaaGdcqGHRiI8aaaa% kiaadAeadaWgaaWcbaGaamiDaiaacEcacaGGSaGaamiDaaqabaGcca% GGOaGaaeizaiab-Hha4jaacMcaaSqaaiaadofacaGGBbGaamiDaiaa% cYcacaWG0bGaai4jaiaac2faaeqaniabgUIiYdaaaa!6410!\[{\text{e}}^{ - i(t' - t)H} = \int_{S[t,t']} {{\text{e}}^{ - i\int_t^{t'} {V(x(s)){\text{ds}}} } F_{t',t} ({\text{d}}x)} \]and the corresponding formulas for the matrix coefficients, in which the integral extends over the paths beginning and ending in the appropriate points. We show that the measures F _t,t are completely determined by these equations and by a certain multiplicative property.The path integral corresponding to a two-particle system without interaction is the direct product of the corresponding path integrals. The propagator for a two-particle system with interaction can be obtained by repeated integration.Finally, we show that the above integral formula can be generalized to the case where the potential is time dependent.     

Brownian confinement and pinning in a Poissonian potential. II

Summary We continue our study ofd-dimensional Brownian motion in a soft repulsive Poissonian potential over a long time interval [0,t]. We prove here a pinning effect: for typical configuratons, with probability tending to 1 ast tends to , the particle gets trapped close to locations of near minima of certain variational problems. These locations lie at distances growing almost linearly witht from the origin, and the particle gets pinned within distance smaller than any positive power oft of one such location. In dimension 1, we can push further our estimates and show that in a suitable sense, the particle gets trapped with high probability, within time t and within distance (logt)²⁺ from a suitable location at distance of ordert/(logt)³ from the origin.This article was processed by the author using the LATEX style filepljour1m from Springer-Verlag     

Surgery on 3-manifolds with \mathbb{S} 1-actions

We study the topological structure of all 3-manifolds obtained by surgery along principal fibers of a closed orientable -manifold. As a consequence, we give alternative proofs of some classical results due to W. Heil and L. Moser. Moreover, we completely specify the Seifert invariants for the considered manifolds. Finally we classify the manifolds obtained by surgery along certain Seifert links and determine geometric presentations of their fundamental groups.Work performed under the auspices of C.N.R. (National Research Council) of Italy and partially supported by Ministero della Ricerca Scientifica e Tecnologica within the projects Geometria Reale e Complessa and Topologia.     

Some families of complete caps of quadrics and symplectic polarities over GF(8)

A cap on a quadric is a set of its points whose pairwise joins are all chords. A cap is complete if it is not part of a larger one. The only field for which all complete quadric caps are known is GF(2). Those caps are small; the biggest for each quadric is of order the dimension of the ambient space. Apart from information about ovoids in dimensions at most 7, little else is known. Here, the evidence is increased by providing caps over GF(2), odd, which, if >1, have size of order the dimension cubed. In particular, complete caps are obtained for the quadrics Q _2m (8), Q ₊ ^8k+7 (8), Q _- ^8k+3 (8), Q ₊ ^8k+1 (8) and Q _- ^8k+5 (8). These caps on Q ₊ ^8k+7 (8) and Q _- ^8k+3 (8) are complete on any Q _n(8) of which their quadrics are sections; so is that that of Q ₄₊₂(8) for any Q _2n (8) of which Q ₄₊₂(8) is a section with the same kernel. From the correspondence with Q _2n (8) complete caps are obtained for symplectic polarities over GF(8).     

On the products of cross-ratios on diagonals of polygons

The purpose of this paper is to establish a conjecture of B. Grünbaum, which states that in every n-polygon P in the plane, n 5, some diagonals intersect in a pattern that defines a new n-polygon (P), such that the product of the cross-rations on the diagonals of P is equal to the product of the corresponding cross-ratios on the diagonals of (P).     

There are uncountably many universal topological planes

We prove the existence of uncountably many nonisomorphic topological projective planes, each universal in the sense that it contains an isomorphic copy of every pseudoline arrangement.