The distribution of square-full integers

Let , wheref(n) is the characteristic function of square-full integers. A formula is proved that can be used to obtain better upper bound estimate for (x). We get (x)=O(x ^5/33+), which improves the exponent 11/72 obtained by R. Blasubramania and K. Ramachandra.     

Algebras of sets generating non-barrelled spaces

IfA is a -algebra on setX, thenl ₀ (X,A) is a barrelled space of class ₀. IfA is an algebra, there are conditions which imply thatl ₀ (X,A) is suprabarelled. Here, wheneverA is an algebra, we give conditions forl ₀ (X,A) to be not barrelled which are related with the existence of non-trivial convergent sequences.Supported in part by DGICYT, project PB91-0407 and by the Institució Valenciana d'Estudis i Investigació, project 023.     

Nonlinear transformations of the canonical gauss measure on Hilbert space and absolute continuity

The papers of R. Ramer and S. Kusuoka investigate conditions under which the probability measure induced by a nonlinear transformation on abstract Wiener space(,H,B) is absolutely continuous with respect to the abstract Wiener measure. These conditions reveal the importance of the underlying Hilbert spaceH but involve the spaceB in an essential way. The present paper gives conditions solely based onH and takes as its starting point, a nonlinear transformationT=I+F onH. New sufficient conditions for absolute continuity are given which do not seem easily comparable with those of Kusuoka or Ramer but are more general than those of Buckdahn and Enchev. The Ramer-Itô integral occurring in the expression for the Radon-Nikodym derivative is studied in some detail and, in the general context of white noise theory it is shown to be an anticipative stochastic integral which, under a stronger condition on the weak Gateaux derivative of F is directly related to the Ogawa integral.Research supported by the National Science Foundation and the Air Force Office of Scientific Research Grant No. F49620 92 J 0154 and the Army Research Office Grant No. DAAL 03 92 G 0008.     

Partial order complementation graphs

Two partial ordersP andQ on a setX arecomplementary (written asPQ) if they share no ordered pairs (except for loops) but the transitive closure of the union is all possible ordered pairs. For each positive integern we form a graph Pos _n consisting of all nonempty partial orders on {1, ,n} with edges denoting complementation. We investigate here properties of the graphs Pos _n . In particular, we show:

Finely holomorphic functions and quasi-analytic classes

We study the set of functions in quasi-analytic classes and the set of finely holomorphic functions. We show that no one of these two sets is contained in the other.LetI denote the set of complex functionsf: for which there exists a quasi-analytic classC{M _n} containingf. Let denote the set of complex functionsf: for which there exist a fine domainU containing the real line and a function finely holomorphic onU satisfyingf(x)= (x) for allx . The power of unique continuation is incomparable in these two cases (I\ is non-empty, \I is non-empty).Research supported by the grant No. 201/93/2174 of Czech Grant Agency and by the grant No. 354 of Charles University.     

The invertibility of the product of unbounded Toeplitz operators

In this note I give necessary and sufficient conditions on outer functionsf andg for the operator to be bounded and invertible on H². I also discuss the relationship of this question to two open questions in operator theory and weighted norm inequalities.     

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.     

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.     

Reflecting Brownian motions and a deletion result for Sobolev spaces of order (1, 2)

Let D be an open set in ^d and E be a relatively closed subset of D having zero Lebesgue measure. A necessary and sufficient integral condition is given for the Sobolev spaces W ^1,2 (D) and W ^1,2(D\E) to be the same. The latter is equivalent to (normally) reflecting Brownian motion (RBM) on being indistinguishable (in distribution) from RBM on . This integral condition is satisfied, for example, when E has zero (d–1)-dimensional Hausdorff measure. Therefore it is possible to delete from D a relatively closed subset E having positive capacity but nevertheless the RBM on is indistinguishable from the RBM on , or equivalently, W ^1,2(D\E)=W^1,2(D). An example of such kind is: D=² and E is the Cantor set. In the proof of above mentioned results, a detailed study of RBMs on general open sets is given. In particular, a semimartingale decomposition and approximation result previously proved in [3] for RBMs on bounded open sets is extended to the case of unbounded open sets.Research supported in part by NSF Grant DMS 86-57483.