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.     

Combinatorial invariance of Stanley-Reisner rings

In this short note we show that Stanley—Reisner rings of simplicial complexes, which have had a dramatic application in combinatorics [2, p. 41], possess a rigidity property in the sense that they determine their underlying simplicial complexes.     

Relations on the period mapping giving extensions of mixed hodge structures on compact Riemann surfaces

We consider a period map from Teichmüller space to , which is a real vector bundle over the Siegel upper half space. This map lifts the Torelli map. We study the action of the mapping class group on this period map. We show that the period map from Teichmüller space modulo the Johnson kernel is generically injective. We derive relations that the quadratic periods must satisfy. These identities are generalizations of the symmetry of the Riemann period matrix. Using these higher bilinear relations, we show that the period map factors through a translation of the subbundle and is completely determined by the purely holomorphic quadratic periods. We apply this result to strengthen some theorems in the literature. One application is that the quadratic periods, along with the abelian periods, determine a generic marked compact Riemann surface up to an element of the kernel of Johnson's homomorphism. Another application is that we compute the cocycle that exhibits the mapping class group modulo the Johnson kernel as an extension of the group SP _g () by the group .     

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).     

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.     

Generic continuity of restricted weak upper semi-continuous set-valued mappings

Set-valued mappings from a topological space into subsets of a Banach space which satisfy a restricted form of weak upper semi-continuity, have particularly noteworthy properties. We establish a selection theorem for certain set-valued mappings from a (-) unfavourable topological space into subsets of a Banach space and as a consequence derive the property that restricted weak upper semi-continuous set-valued mappings which satisfy a minimality condition, from a (-) unfavourable topological space into subsets of a Banach space are single-valued and norm upper semi-continuous at the points of a residual subset of their domain.     

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.     

An embedding theorem in Lorentz-Zygmund spaces

We study Sobolev embedding theorems in Lorentz-Zygmund spaces. Some limiting cases are considered.Supported by M.U.R.S.T. (1990).     

The Katětov dimension of proximity spaces

An analogue of Kattov's theorem on the equality between the dimension of a Tychonov space and the analytic dimension of its ring of bounded real-valued continuous maps is established for proximity spaces and proximally continuous maps by an internal method of proof. A new kind of filter, called proximally prime filter, arises naturally as a tool in this theory.     

Cutting planes,connectivity, and threshold logic

Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP _q ofCP, forq2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem forCP ₂-proofs and thereby for arbitraryCP-proofs. As a corollary, we show that the coefficients and constant terms in arbitrary cutting plane proofs may be exponentially bounded by the number of steps in the proof, at the cost of an at most polynomial increase in the number of steps in the proof. The extensionCPLE ⁺, introduced in [9] and there shown top-simulate Frege systems, is proved to be polynomially equivalent to Frege systems. Lastly, since linear inequalities are related to threshold gates, we introduce a new threshold logic and prove a completeness theorem.Supported in part by NSF grant DMS-9205181 and by US-Czech Science and Technology Grant 93-205Partially supported by NSF grant CCR-9102896 and by US-Czech Science and Technology Grant 93-205