Search

A classical result of K. L. Chung and W. Feller deals with the partial sums S k S_k arising in a fair coin-tossing game. If N n N_n is the number of “positive” terms among S 1 S_1 , S 2 S_2 , …, S n S_n then the quantity P ( N 2 n = 2 r ) P(N_{2n} = 2r) takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for P ( N 2 n + 1 = r ) P(N_{2n+1} = r) , r = 0 r = 0 , 1 1 , 2 2 , …, 2 n + 1 2n+1 . We get to this ansatz by adaptating the Feynman–Kac methodology.

This is a corrigendum to our paper, “On a class of prime entire functions”, published in Acta Math. Sin., Engl. Ser., 25, 1647–1652 (2009).

This work is a contribution to the Project UIDB/04035/2020, funded by FCT - Fundacao para a Ciencia e a Tecnologia, Portugal.

The abstract results and applications presented in “Controllability of fractional neutral stochastic functional differential systems, Z. Angew. Math. Phys. 65 (2014), no. 5, 941–959, are not correct. Moreover, the class of differential control problems studied in [1] is not H-controllable.

Recently, Alaca et al. [Alaca et al., Chaos, Solitons & Fractals 2006;29:1073–9] proved some fixed point theorems in intuitionistic fuzzy metric spaces by a strong definition of Cauchy sequence (see [George and Veeramani, Fuzzy Sets Syst 1994;64:395–9] and [Veeramani and Vasuki, Fuzzy Sets Syst 2003;135:409–13]), also the intuitionistic fuzzy metric space has extra conditions (see [Gregori et al., Chaos, Solitons & Fractals, 2006;28:902–5]). In this paper, we consider generalized intuitionistic fuzzy metric spaces i.e., L -fuzzy metric spaces and prove the fuzzy version of Banach and Edelstein contraction theorems in these spaces for modified definition of Cauchy sequence.

It is shown that an approach earlier used by the author for classification of closed simply connected 6-manifolds (reduction to the problem of calculating certain bordism groups) can also be applied for easily obtaining the results by Barden (1965) on classification of closed simply connected 5-manifolds. Bibliography: 11 titles.

Zannier proved that for a Laurent series f(x) satisfying the functional equation of type f(x m ) = P(x, f(x)), where \( P(x, y) \in {\Bbb C}(x)[y] \), if f(x) is not rational the set of such m consists of the powers of a single integer. He mentioned that the case f(x) = P(x, f(x m )) should be proved in a similar way. In this paper we first verify this statement and second we show a theorem which is useful for proving the transcendence of a Laurent series satisfying a certain functional equation. This theorem is a generalization of the result that a Laurent series which satisfiesf(x m ) = P(x, f(x)), where\( P(x, y) \in {\Bbb C}(x, y),\,m \geq 2 \)cannot represent an algebraic function unless it is rational (Ke. Nishioka [1], Zannier [8], Section 3).

In a recent paper, Chao-Ping Chen and Feng Qi (2005) established sharp upper and lower bounds for the sequence P n := 1.3 … ( 2 n − 1 ) 2.4 … 2 n P_{n}:=\frac {1.3\ldots (2n-1)}{2.4\ldots 2n} . We show that their result follows easily from a theorem of G. N Watson published in 1959. We also show that the main result of Chen and Qi’s paper is a special case of a more general inequality which admits a very short proof.

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

In Sec. 1 a correction is given of the estimate of the Hausdorff dimension and an estimate of the fractal dimension of a bounded subset of a Hilbert space, semiinvariant with respect to a flattening transformation. In Sec. 2 the results, proved by the author for semigroups with a continuous group parameter t∈R+≡[0, ∞), are carried over to the case when t runs through the semigroup ℑ+≡{t∈ℑ∣t⩾0} of some additive group ℑ⊂R=(−∞, ∞).

We observe that a strictly singular operator is not necessarily condensing, so that the invariant subspace problem for strictly singular operators remains open.

I regret to announce that there is a serious error in my paper in these Transactions, volume 84, pp. 430-443. The error was discovered by Louis Kokoris who found that on line 8 of page 434 the expression given as 4[g(bz)](az) should have been 4[g(az)](bz). As a consequence the computation of P(z, g, az, b) yields nothing, the proof of formula (30) is not valid, and the important Lemma 9 is not proved. Thus the paper does not give a proof of its major result stated as Theorem 1. Nevertheless, the theorems of the paper are all correct and we shall provide a revision of the proof here. This revised proof has been checked by Louis Kokoris to whom the author wishes to express his great thanks. We observe first that the equation

It is pointed out that the proof of the basic result of Rahmanov's paper has a serious gap. It is documented by original sources that a statement he relied on in the proof contains a misprint, and it is shown by a counterexample that this statement (with the misprint) is, in fact, false. A somewhat weaker statement is proved true.

Let A be a partition of the segment [0, 1] into a countable number of disjoint subsets of positive measure, let t∈L1(0,1), let Nt be the smallest rearrangement-invariant order ideal vector lattice in L1(0,1), containing t. In the paper one investigates the properties of the image E(Nt¦A) of the averaging operator with respect to A. In particular, one elucidates under what conditions there exists a function g, g∈L1(0,1), such that E(Nt¦A)⊂Ng. One formulates a generalization of the known Hardy-Littlewood inequality, namely Theorem E(t∣A)≺QE(t*∣A*), where ≺ is the Hardy-Littlewood preorder, t* and A* are the decreasing rearrangements of the function ¦t¦ and (in a special sense) of the partition A, while Q is an absolute constant, 1⩽Q⩽25. One formulates the problem of the smallest value of Q.

In this short paper we prove that every sufficiently large odd integer can be written as a sum of one prime, two squares of primes and 83 83 powers of 2 2 .

Wahl recently proved that the homology of the non-orientable mapping class group stabilizes as the genus increases. In this short paper we analyse the situation where the underlying non-orientable surfaces have marked points.

The reading of Ayres' interesting paper suggested to me the following remarks: 1. The order of a subset of a set S in a point p4 cannot surpass the order of S in p. Hence if S2 denotes the set of all points of S of order 2, then S2 has in each point of S the order 2, the order 1, or the order 0, where the terms "order 0" and "0-dimensional" are used synonymously. SI(M), S2(1), S" may denote the set of all points of S in which S2 has the order 0, 1, 2, respectively. The points of order 2 of S are also called the ordinary points of S, and the set S2 of all ordinarv points of S may be called the ordinary part of S. The set S" of all ordinary points of the ordinary part of S may be designated the ordinary kernel of S. WVe have

The purpose of this note is to present a new proof of a generalized form of Day's fixed point theorem. The proof we give is suggested by the work of T. Mitchell in his paper, Function algebras, means, and fixed points, [2]. The version of Day's theorem which we present here has not appeared explicitly in the literature before, and seems especially well suited for application to questions concerning fixed point properties of topological semigroups. 1. Preliminaries. We adopt the terminology and notation of [2] except where otherwise specified. New terminology will be introduced as needed. Let y be a convex compactum (compact convex set in a real locally convex linear topological space E), and let A( Y) denote the Banach space of all (real) continuous affine functions on Y under the supremum norm. Observe that A(Y) contains every function of the form h=f\Y + r where fe E* and r is real; thus A(Y) separates points of Y.

1. In a recent paper [2] Reich has made the observation that an example of Koebe given in 1918 [1] does not fulfill its asserted purpose. This example was to show that vanishing measure of the complement did not assure that a slit domain was minimal. Reich proceeded to fill the gap by carrying out the following somewhat more general construction. Let A be a compact perfect nowhere dense set on the x-axis in the z-plane (z=x+iy). Then there exists a compact set S in the z-plane with the properties: (i) A is the projection of S on the x-axis, (ii) S is composed of segments symmetric with respect to the x-axis and points on the x-axis, at least one segment being present, (iii) any point in S, not on the x-axis and not at the end of a segment in S, is the limit, both from the left and right, of points of S. Once this construction is performed the desired examples are easily given [2, ?4]. The object of the present paper is to give an alternative construction which is very explicit and direct.

Among other results, it is proved that if a sequence { μ n } \{ {\mu _n}\} of regular measures on a Hausdorff space, with values in a normed group, is convergent to zero for all σ \sigma -compact sets or all open sets, then there exists a maximal open set U such that μ ˙ n ( U ) → 0 , { μ ˙ n } {\dot \mu _n}(U) \to 0,\{ {\dot \mu _n}\} being the associated submeasures.

We give a simplified proof to the following theorem due to D. Quillen: if A is a commutative noetherian ring of global dimension ⩽ 1 \leqslant 1 , then finitely generated projective modules over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A. We prove also that if A is a commutative noetherian ring of global dimension d, then finitely generated projective modules of rank > d > d over A [ T 1 , … , T n ] A[{T_1}, \ldots ,{T_n}] are extended from A.

It has been brought to my attention by Mr. N. E. Steenrod that the lemma of page 708 in the paper referred to is in error. The final assertion of the proof is false. It is therefore necessary to point out that the paper is not "disturbed" by this fault. For if one requires that the Pn, «= 1,2, • • •, of the lemma be arcs then the (altered) lemma does hold, since it is true that the connected sum of a perfect continuous curve and an arc is "perfect." One verifies that this restricted lemma is sufficient for the uses of the paper.

J. L. Palacios claimed [2] that the author’s paper [1] contained errors. This note refutes those claims by showing that Palacios misunderstood [1] and adopted assumptions different from those of [1].

There is a mistake in each of [3] and [4]. The purpose of this note is to correct the error in [3] and to salvage what can be saved in [4]. In each case the notation will be that of the paper under discussion. Professor Homer Bechtell has kindly informed me of an error in the proof of the Theorem of [3] which occurs in the case MG1c G. The theorem is true however by altering the proof at this point. Assume that Mc: MG1=M1lc:G. M1 is an invariant subgroup of G, and since G1c: Soc(G), G1 is a direct sum of minimal invariant subgroups of G. By Clifford's theorem (p. 70 of [1]), each minimal invariant subgroup of G is either M1-central or M1-hypereccentric, and hence

The first part of the theorem of the above paper states that if ois a closed convex set in real X1 ... Xn-space which is invariant under permutations of coordinates, and if C(o-) denotes the set of real symmetric nXn matrices whose eigenvalues X1, X. form the coordinates of points in a, then C(o) is convex. I am obliged to Professor R. T. Rockafellar for pointing out that this statement is essentially contained in a theorem of Chandler Davis.2 The statement also follows from an earlier result of V. B. Lidskii,3 which was not known to me at the time of publication.

This gives the desired result. It might be pointed out that Theorem 4 shows that Ilfn-gn I-->O In ?4 it is tacitly assumed that the measurable set E can be partitioned into measurable sets E,,. This is always the case in separable spaces. To proceed without this assumption it will not be necessary to assume that J is metric. The class So(E) is defined as the class of functions finitely valued on E. Such a function is one for which there is a decomposition of E into a finite number of disjoint measurable subsets on each of which it is constant. This basis necessitates only a slight rewording in a few places. In Lemma 1 the set E should be taken as a set in A. In Theorem 2 the words "functions uniformly continuous" should be replaced by "functions finitely valued." In the proof of Theorem 11 the sentence "Fix . . . continuous on e" should be worded "Fix e with 18(E-e)

A regular system is a Delone set in Euclidean space with a transitive group of symmetries or, in other words, the orbit of a crystallographic group. The local theory for regular systems, created by the geometric school of B. N. Delone, was aimed, in particular, to rigorously establish the “local-global-order” link, i.e., the link between the arrangement of a set around each of its points and symmetry/regularity of the set as a whole. The main result of this paper is a proof of the so-called 10R-theorem. This theorem asserts that identity of neighborhoods within a radius 10R of all points of a Delone set (in other words, an (r, R)-system) in 3D Euclidean space implies regularity of this set. The result was obtained and announced long ago independently by M. Shtogrin and the author of this paper. However, a detailed proof remains unpublished for many years. In this paper, we give a proof of the 10R-theorem. In the proof, we use some recent results of the author, which simplify the proof.

It is known that Julia sets, as a rule, have a fractal structure. In this paper, we give examples of smooth Julia sets, among them: a circle, a segment, an infinite interval, a straight line, and the complex plane. It is shown that the functions studied in the paper are chaotic on their Julia sets. The results obtained by analytical research are visualized using computer programs. The algorithms for constructing the Julia sets being considered are indicated.

The main goal of this paper is to study algorithmic properties of countable linear orders by constructing effective presentations of these structures on the set of natural numbers. In 1991, C. Jockusch and R. Soare constructed a low linear order without computable presentations. Earlier, in 1989, R. Downey and M. Moses showed that each low discrete linear order has a computable copy. It is natural to ask for which order types of low presentations the existence of a computable presentation is sufficient. This question (namely, research program) was stated by R. Downey in 1998: Describe the order property P such that, for any low linear order L, P(L) implies the existence of a computable presentation of L. In this paper, we give a detailed review of the main results in this direction. These results are mostly obtained by the author or in co-authorship.

In a previous paper (Funct. Anal. Appl., 3 (2015), 205–209), we defined quantum Markov states. Here we recall this definition and present a proof of the results from that paper (which are given there without proofs). We give a definition of a quantum hidden Markov state generated by a function of a quantum Markov process and show how it is related to other definitions of such states. Our definitions work for quantum Markov fields on ℤN and on graphs. We consider an example with the Cayley tree.

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper., Comment: 44 pages

The Hermite–Hadamard inequality was extended using iterated integrals by Retkes [Acta Sci Math (Szeged) 74:95–106, 2008]. In this paper we further extend the main results of the above paper for convex and also for s-convex functions in the second sense.

This paper presents a curvature-free version of the Log ( 2 k − 1 ) \text {Log}(2k-1) Theorem of Anderson, Canary, Culler, and Shalen [J. Differential Geometry 44 (1996), pp. 738–782]. It generalizes a result by Hou [J. Differential Geometry 57 (2001), no. 1, pp. 173–193] and its proof is rather straightforward once we know the work by Lim [Trans. Amer. Math. Soc. 360 (2008), no. 10, pp. 5089–5100] on volume entropy for graphs. As a byproduct we obtain a curvature-free version of the Collar Lemma in all dimensions.

For a fixed digraph G, the Constraint Satisfaction Problem with the template G, or CSP(G) for short, is the problem of deciding whether a given input digraph H admits a homomorphism to G. The dichotomy conjecture of Feder and Vardi states that CSP(G), for any choice of G, is solvable in polynomial time or NP-complete. This paper confirms the conjecture for a class of oriented trees called special triads. As a corollary we get the smallest known example of an oriented tree (with 33 vertices) defining an NP-complete CSP(G).

In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various approaches to graph limits fit to this framework and that they naturally appear as "tractable cases" of a general theory. As an outcome of this, we provide extensions of known results. We believe that this put these into next context and perspective. For example, we prove that the sparse--dense dichotomy exactly corresponds to random free graphons. The second part of the paper is devoted to the study of sparse structures. First, we consider limits of structures with bounded diameter connected components and we prove that in this case the convergence can be "almost" studied component-wise. We also propose the structure of limits objects for convergent sequences of sparse structures. Eventually, we consider the specific case of limits of colored rooted trees with bounded height and of graphs with bounded tree-depth, motivated by their role of elementary brick these graphs play in decompositions of sparse graphs, and give an explicit construction of a limit object in this case. This limit object is a graph built on a standard probability space with the property that every first-order definable set of tuples is measurable. This is an example of the general concept of {\em modeling} we introduce here. Our example is also the first "intermediate class" with explicitly defined limit structures., Comment: added journal reference

The main purpose of this paper is to explore the structure of local and regular Dirichlet forms associated with symmetric one-dimensional diffusions, which are also called symmetric linear diffusions. Let ( E , F ) (\mathcal {E},\mathcal {F}) be a regular and local Dirichlet form on L 2 ( I , m ) L^2(I,m) , where I I is an interval and m m is a fully supported Radon measure on I I . We shall first present a complete representation for ( E , F ) (\mathcal {E},\mathcal {F}) , which shows that ( E , F ) (\mathcal {E},\mathcal {F}) lives on at most countable disjoint “effective" intervals with an “adapted" scale function on each interval, and any point outside these intervals is a trap of the one-dimensional diffusion. Furthermore, we shall give a necessary and sufficient condition for C c ∞ ( I ) C_c^\infty (I) being a special standard core of ( E , F ) (\mathcal {E},\mathcal {F}) and shall identify the closure of C c ∞ ( I ) C_c^\infty (I) in ( E , F ) (\mathcal {E},\mathcal {F}) when C c ∞ ( I ) C_c^\infty (I) is contained but not necessarily dense in F \mathcal {F} relative to the E 1 1 / 2 \mathcal {E}_1^{1/2} -norm. This paper is partly motivated by a result of Hamza’s that was stated in a theorem of Fukushima, Oshima, and Takeda’s and that provides a different point of view to this theorem. To illustrate our results, many examples are provided.

In 1975 Barwise and Schlipf published a landmark paper whose main theorem asserts that a nonstandard model $\mathcal{M}$ of PA (Peano arithmetic) is recursively saturated iff $\mathcal{M}$ has an expansion that satisfies the subsystem $\Delta_1^1$-${\sf CA}_0$ of second order arithmetic. In this paper we identify a crucial error in the Barwise-Schlipf proof of the right-to-left direction of the theorem, and additionally, we offer a correct proof of the problematic direction., Comment: Some editorial changes have been made. To appear in PAMS