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.     

Growth functions for semi-regular tilings of the hyperbolic plane

This paper studies the growth function, with respect to the generating set of edge identifications, of a surface group with fundamental domainD in the hyperbolic plane ann-gon whose angles alternate between /p and /q. The possibilities ofn,p andq for which a torsion-free surface group can have such a fundamental polygon are classified, and the growth functions are computed. Conditions are given for which the denominator of the growth function is a product of cyclotomic polynomials and a Salem polynomial.This work was supported in part by NSF Research Grants.     

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.     

On Anosov energy levels of hamiltonians on twisted cotangent bundles

LetT ^* M denote the cotangent bundle of a manifoldM endowed with a twisted symplectic structure [1]. We consider the Hamiltonian flow generated (with respect to that symplectic structure) by a convex HamiltonianH: T ^* M, and we consider a compact regular energy level ofH, on which this flow admits a continuous invariant Lagrangian subbundleE. When dimM3, it is known [9] that such energy level projects onto the whole manifoldM, and thatE is transversal to the vertical subbundle. Here we study the case dimM=2, proving that the projection property still holds, while the transversality property may fail. However, we prove that in the case whenE is the stable or unstable subbundle of an Anosov flow, both properties hold.     

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.     

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.