Self-similar random measures are locally scale invariant

Summary In an earlier paper Patzschke and U. Zähle [11] have proved the existence of a fractional tangent measure at the typical point of a self-similar random measure under rather special technical assumptions. In the present paper we remove the most restrictive one. Here we suppose the open set condition for the similarities, a constant positive lower bound for the random contraction ratios, and vanishing on the boundary of the open set with probability 1. The tangent measure isD-scale-invariant, whereD is the similarity dimension of . Moreover, we approximate the tangential distribution by means of and use this in order to prove that the Hausdorff dimension of the tangent measure equalsD. Since the former coincides with the Hausdorff dimension of we obtain an earlier result of Mauldin and Williams [9] as a corollary.     

General Topology — the Monadic Case, Examples, Applications

The paper deals with monadic as well as monadic-free topological notions. For defining these monadic-free notions the notion of basic triple is introduced. A lot of monadic-free topological notions are presented, for instance that of -convergence structure, -hull operator and -uniform structure. By means of a generalized metric, e.g. a probabilistic metric, and the general notion of -zero approach introduced in this paper, a -uniform structure is generated. In case of a fuzzy metric the related -uniform structure defines in a canonic way a fuzzy topology which is used for developing a fuzzy analysis and fuzzy calculus.     

A characterization of semimartingales on nuclear spaces

Summary This work is devoted to prove the following fact: Suppose that is a nuclear space whose dual is nuclear under the strong topology. IfX is a weakly adapted mapping with values in such that for any,X'() has a modification which is a semimartingale then there exists a unique projective system of Hubert space-valued semimartingales indexed by the Hilbert-Schmidt neighbourhood base of the dual space whose projective limit isX.In the last part we study in detail a semimartingale defined as the convolution of a distribution by a random Dirac measure whose support is determined by the trajectories of a real-valued semimartingale.     

On Vector Valued Measure Spaces of Bounded Φ-variation containing copies of ℓ∞

Given a Young function , we study the existence of copies of c ₀ and in cabv (,X) and in cabsv (,X), the countably additive, -continuous, and X-valued measure spaces of bounded -variation and bounded -semivariation, respectively.     

Über die Minimalflächen des isotropen Raumes,welche zugleich Affinminimalflächen sind

One determines all the minimal surfaces of the isotropic space, which simultaneously are affinminimal surfaces. A characteristic property of those surfaces is that the isotropic spherical imagines of the asymptotic lines of form two orthogonal pencils of circles. There are three types of such surfaces : first the well known right helicoid _I , second an interesting transcendental surface _II , and third the isotropic analogy _III of the minimal surface ofEnneper. The surfaces permit cinematic generations. Especially _II and _III can be generated byClifford screws in a certain indefinite quasielliptic space.In the isotropic space conjugate to the surfaces are isotropic minimal surfaces ^* with plane lines of curvature. There are also three types of such surfaces: _I ^* is a logarithmic surface of revolution, _II ^* is an interesting transcendental surface, and _III ^* is again the isotropic minimal surface ofEnnerper.     

Generalized ornstein-uhlenbeck process having a characteristic operator with polynomial coefficients

Summary Let be a weighted Schwartz's space of rapidly decreasing functions, the dual space and (t) a perturbed diffusion operator with polynomial coefficients from into itself. It is proven that (t) generates the Kolmogorov evolution operator from into itself via stochastic method. As applications, we construct a unique solution of a Langevin's equation on : whereW(t) is a Brownian motion and ^*(t) is the adjoint of (t) and show a central limit theorem for interacting multiplicative diffusions.     

Über geschlossene Regelflächen im elliptischen Raum

On a ruled closed surface in the elliptic 3-space two integral invariants are considered: the aperture distance of a curve orthogonal to the generating lines of , and the aperture angle of an orthogonally circumscribed tangent surfaces. By means of these integral invariants and by considering certain ruled surfaces associated to one finds the geometric meaning of further integral invariants. If is generated by the binormals of a curve one obtains some properties of closed curves in the elliptic 3-space.     

Infinitesimal,first order bendings of smooth,convex surfaces of revolution subject to conic,sleeve-like constraints along the boundary

We prove that on a closed, smooth, convex surface of revolution , whose poles are not flattening points, there exists only a countable set of parallels _n. Each of these parallels cuts surface into two parts so that one of the parts, , admits nontrivial, infinitesimal bendings in the process of which all the points of its boundary _n are displaced on a preassigned, conic sleeve K that is coaxial with the surface. The sequence of such parallels _n converges to parallel ^*, which has the following properties: 1) the tangent cone to surface along ^* is orthogonal to sleeve K; 2) surface , cut off from surface by parallel ^*, has rigidity of first order in the indicated class of bendings.Translated from Ukrainskii Geometricheskii Sbornik, No. 33, pp. 3–8, 1990.     

On Some Special Surfaces Connected with Convex Surfaces of the Lobachevskii Space

With a closed convex surface in a Lobachevskii space we associate four special surfaces: the inscribed and circumscribed spheres, a sphere rolling freely over the inner side of , and an equidistant surface over whose inner side rolls freely. We find an exact dependence between these four special surfaces.     

Inequalities Between the Radii of Some Spheres That Are Connected with a Convex Surface in Space of Constant Curvature

With a convex surface in space of constant curvature, we associate four numbers (,M,), where is the radius of a largerst sphere freely rolling over the interior side of , is the inradius of , M is the outradius of , and is the radius of a sphere over whose interior may roll freely. Exact inequalities connecting these four numbers are found.     

Compromise optimization of a composite plate with a given probability of realization

A method is proposed for solution of the problem of the compromise optimization of three properties of a composite plate (thermal conductivity, stability, and the probability P^* of design realization), which depend on three initial stochastic data with constant average values, and two variable initial data. The geometry of the domain of plate properties, the curve of optimal Pareto solutions, and the scatter ellipses is determined at four points for a given range of variable parameters. A method of constructing the curves of optimal Pareto solutions for the following assigned probabilities of design realization is proposed and numerically implemented: P^*=0.40, 0.80, and 0.95. The generalized efficiency function ( max, 0 1) of the first two properties decreases from 0.74 to 0.23 as the numerical value of P^* increases from 0.40 to 0.95. A family of isolines = const is plotted for all three properties investigated, and max determined as 0.63.A paper presented at the Tenth International Conference on Mechanics of Composite Materials (Riga, April 1998).Institute of Polymer Mechanics, Riga, Latvia. Translated from Mekhanika Kompozitnykh Materialov, Vol. 33, No. 5, pp. 626–635, September–October, 1997.     

Compact groups on compact projective planes

LetP=(P, L) be a compact projective plane with 0P< and let be a compact connected subgroup of Aut(P). If dim dimE – dimP, whereE is the elliptic motion group of the corresponding classical plane, then E or is isomorphic to a point stabilizerE ₀ inE, cf. [31]. Here we consider the case E ₀. It is shown that the action of on the point spaceP is equivalent to the classical action ofE ₀. For dimP {8, 16} the planeP is uniquely determined by a 2-dimensional subplane with SO₂ Aut().Für H. Reiner Salzmann zum 65. Geburtstag     

A Selection Theorem for Strongly Regular Multivalued Mappings

We prove the following generalization of a theorem of Ferry concerning selections of strongly regular multivalued maps onto the class of paracompact spaces: Let : X (Z, ) be a map of a paracompact space X into a metric space (Z, ) whose values (x) are complete subspaces of Z and absolute extensors (AE), for every x X. Suppose that can be represented as = , where : X Y is a continuous singlevalued map of X onto some finite-dimensional paracompact space Y and : Y (Z, ) is a strongly regular map. Then for every closed subset A X and every selection r : A Z of the map |A : A Z, there exists an extension : X Z of r such that is a selection of the map . We also prove a local version of this theorem.     

Galois Graphs: Walks, Trees and Automorphisms

Given a symmetric polynomial (x, y) over a perfect field k of characteristic zero, the Galois graph G() is defined by taking the algebraic closure as the vertex set and adjacencies corresponding to the zeroes of (x, y). Some graph properties of G(), such as lengths of walks, distances and cycles are described in terms of . Symmetry is also considered, relating the Galois group Gal( /k) to the automorphism group of certain classes of Galois graphs. Finally, an application concerning modular curves classifying pairs of isogeny elliptic curves is revisited.     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

Formal Flows on the Non-Archimedean Open Unit Disk

This paper deals with group actions of one-dimensional formal groups defined over the ring of integers in a finite extension of the p-adic field, where the space acted upon is the maximal ideal in the ring of integers of an algebraic closure of the p-adic field. Given a formal group F as above, a formal flow is a series (t,x) satisfying the conditions (0,x)=x and (F(s,t),x)=(s,(t,x)). With this definition, any formal group will act on the disk by left translation, but this paper constructs flows with any specified divisor of fixed points, where a point of the open unit disk is a fixed point of order n if (x–) ⁿ |((t,x)–x). Furthermore, if is an analytic automorphism of the open unit disk with only finitely many periodic points, then there is a flow , an element of the maximal ideal of the ring of constants, and an integer m such that the m-fold iteration of (x) is equal to (,x). All the formal flows constructed here are actions of the additive formal group on the unit disk. Indeed, if the divisor of fixed points of a formal flow is of degree at least two, then the formal group involved must become isomorphic to the additive group when the base is extended to the residue field of the constant ring.     

Combinatorics of first order structures and propositional proof systems

We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence iff holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all for which the associated sequence of propositional formulas _n, encoding that holds in L-structures of size n, have polynomial size P-proofs. That is, Comb(M) contains all feasibly verifiable in P. Finding M that covers P but does not combinatorially satisfy thus gives a super polynomial lower bound for the size of P-proofs of _n. We show that any proof system admits a class of structures covering it; these structures are expansions of models of bounded arithmetic. We also give, using structures covering proof systems R^*(log) and PC, new lower bounds for these systems that are not apparently amenable to other known methods. We define new type of propositional proof systems based on a combinatorics of (a class of) structures.Partially supported by grant # A 101 99 01 of the Academy of Sciences of the Czech Republic and by project LN00A056 of The Ministry of Education of the Czech Republic.Also member of the Institute for Theoretical Computer Science of the Charles University. A part of this work was done while visiting the Mathematical Institute, Oxford.     

Descendants constructed from matter field in Landau-Ginzburg theories coupled to topological gravity

It is argued that gravitational descendants in the theory of topological gravity coupled to topological Landau-Ginzburg theory (not necessarily conformal) can be constructed from matter fields alone (without metric fields and ghosts). In this sense topological gravity is induced. We discuss the mechanism of this effect (that turns out to be connected with K. Saito's higher residue pairing: Kⁱ(_i(₁),₂)=K⁰(₁,₂)), and demonstrate how it works in a simplest nontrivial example: correlator on a sphere with four marked points. We also discuss some results on k-point correlators on a sphere. From the idea of induced topological gravity it follows that the theory of pure topological gravity (without topological matter) is equivalent to the trivial Landau-Ginzburg theory (with quadratic superpotential).Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 2, pp. 307–316, May, 1993.     

Circularity of Finite Groups without Fixed Points

Let be a fixed point free group given by the presentation where and are relative prime numbers, t = /s and s = gcd( – 1,), and is the order of modulo . We prove that if (1) = 2, and (2) is embeddable into the multiplicative group of some skew field, then is circular. This means that there is some additive group N on which acts fixed point freely, and |((a)+b)((c)+d)| 2 whenever a,b,c,d N, a0c, are such that (a)+b(c)+d.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.