The anti-Specker property, a Heine–Borel property, and uniform continuity

Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics.     

P-distances, q-distances and a generalized Ekeland’s variational principle in uniform spaces

In this paper, we attempt to give a unified approach to the existing several versions of Ekeland’s variational principle. In the framework of uniform spaces, we introduce p-distances and more generally, q-distances. Then we introduce a new type of completeness for uniform spaces, i.e., sequential completeness with respect to a q-distance (particularly, a p-distance), which is a very extensive concept of completeness. By using q-distances and the new type of completeness, we prove a generalized Takahashi’s nonconvex minimization theorem, a generalized Ekeland’s variational principle and a generalized Caristi’s fixed point theorem. Moreover, we show that the above three theorems are equivalent to each other. From the generalized Ekeland’s variational principle, we deduce a number of particular versions of Ekeland’s principle, which include many known versions of the principle and their improvements.     

On Ha＇s Version of Set-valued Ekeland＇s Variational Principle

By using the concept of cone extensions and Dancs-Hegedus-Medvegyev theorem, Ha [Some variants of the Ekeland variational principle for a set-valued map. J. Optim. Theory Appl., 124, 187–206 (2005)] established a new version of Ekeland’s variational principle for set-valued maps, which is expressed by the existence of strict approximate minimizer for a set-valued optimization problem. In this paper, we give an improvement of Ha’s version of set-valued Ekeland’s variational principle. Our proof is direct and it need not use Dancs-Hegedus-Medvegyev theorem. From the improved Ha’s version, we deduce a Caristi-Kirk’s fixed point theorem and a Takahashi’s nonconvex minimization theorem for set-valued maps. Moreover, we prove that the above three theorems are equivalent to each other.     

On the modularity of rigid Calabi−Yau threefolds: epilogue

In a recent paper by F. Gouvea and N. Yui, a detailed account is given of a patching argument due to Serre that proves that the modularity of all rigid Calabi–Yau threefolds defined over \mathbbQ \mathbb{Q} follows from Serre’s modularity conjecture (now a theorem). In this note, we give an alternative proof of this implication. The main difference with Serre’s argument is that instead of using as a main input residual modularity in infinitely many characteristics, we just require residual modularity in a suitable characteristic. This is combined with the effective Chebotarev theorem.     

Asymptotic behavior of Bayes estimators for hidden Markov models with application to ion channels

In this paper we study the asymptotic behavior of Bayes estimators for hidden Markov models as the number of observations goes to infinity. The theorem that we prove is similar to the Bernstein—von Mises theorem on the asymptotic behavior of the posterior distribution for the case of independent observations. We show that our theorem is applicable to a wide class of hidden Markov models. We also discuss the implication of the theorem’s assumptions for several models that are used in practical applications such as ion channel kinetics.      

A Unified Convergence Theorem

We prove a unified convergence theorem, which presents, in four equivalent forms, the famous Antosik-Mikusinski theorems. In particular, we show that Swartz‘ three uniform convergence principles are all equivalent to the Antosik-Mikusinski theorems.     

The equivalence of theories that characterize ALogTime

A number of theories have been developed to characterize ALogTime (or uniform NC ¹, or just NC ¹), the class of languages accepted by alternating logtime Turing machines, in the same way that Buss’s theory characterizes polytime functions. Among these, ALV′ (by Clote) is particularly interesting because it is developed based on Barrington’s theorem that the word problem for the permutation group S ₅ is complete for ALogTime. On the other hand, ALV (by Clote), T ⁰ NC ⁰ (by Clote and Takeuti) as well as Arai’s theory and its two-sorted version VNC ¹ (by Cook and Morioka) are based on the circuit characterization of ALogTime. While the last three theories have been known to be equivalent, their relationship to ALV′ has been an open problem. Here we show that ALV′ is indeed equivalent to the other theories.      

Weyl’s Theorem and Perturbations

In the present paper we examine the stability of Weyl’s theorem under perturbations. We show that if T is an isoloid operator on a Banach space, that satisfies Weyl’s theorem, and F is a bounded operator that commutes with T and for which there exists a positive integer n such that Fⁿ is finite rank, then T + F obeys Weyl’s theorem. Further, we establish that if T is finite-isoloid, then Weyl’s theorem is transmitted from T to T + R, for every Riesz operator R commuting with T. Also, we consider an important class of operators that satisfy Weyl’s theorem, and we give a more general perturbation results for this class.     

VITALI-HAHN-SAKS THEOREM FOR VECTOR MEASURES ON OPERATOR ALGEBRAS

We show that the direct generalization of the Vitali–Hahn–Sakstheorem is not valid for all measures on von Neumann algebras.By applying a general equicontinuity argument, we prove a directextension of the Vitali–Hahn–Saks theorem for awide range of vector measures on von Neumann algebra s and JBWalgebras. We also characterize relatively compact sets of vectormeasures on operator algebras.     

A reciprocity theorem for certain q-series found in Ramanujan’s lost notebook

Three proofs are given for a reciprocity theorem for a certain q-series found in Ramanujan’s lost notebook. The first proof uses Ramanujan’s ₁ψ₁ summation theorem, the second employs an identity of N. J. Fine, and the third is combinatorial. Next, we show that the reciprocity theorem leads to a two variable generalization of the quintuple product identity. The paper concludes with an application to sums of three squares. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—33D15 B. C. Berndt: Research partially supported by grant MDA904-00-1-0015 from the National Security Agency. A. J. Yee: Research partially supported by a grant from The Number Theory Foundation.     

Cyclic orders: Equivalence and duality

Cyclic orders of graphs and their equivalence have been promoted by Bessy and Thomassé’s recent proof of Gallai’s conjecture. We explore this notion further: we prove that two cyclic orders are equivalent if and only if the winding number of every circuit is the same in the two. The proof is short and provides a good characterization and a polynomial algorithm for deciding whether two orders are equivalent. We then derive short proofs of Gallai’s conjecture and a theorem “polar to” the main result of Bessy and Thomassé, using the duality theorem of linear programming, total unimodularity, and the new result on the equivalence of cyclic orders.     

Uniformity seminorms on ℓ<Superscript>∞</Superscript> and applications

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on ℤ/Nℤ introduced by Gowers in his proof of Szemerédi’s Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg’s proof of Szemerédi’s Theorem) defined by the authors. For each integer k ≥ 1, we define seminorms on ℓ^∞(ℤ) analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.     

Oriented matroids and Ky Fan’s theorem

L. Lovász (Matroids and Sperner’s Lemma, Europ. J. Comb. 1 (1980), 65–66) has shown that Sperner’s combinatorial lemma admits a generalization involving a matroid defined on the set of vertices of the associated triangulation. We prove that Ky Fan’s theorem admits an oriented matroid generalization of similar nature. Classical Ky Fan’s theorem is obtained as a corollary if the underlying oriented matroid is chosen to be the alternating matroid C ^m,r .     

Newton’s method for generalized equations: a sequential implicit function theorem

In an extension of Newton’s method to generalized equations, we carry further the implicit function theorem paradigm and place it in the framework of a mapping acting from the parameter and the starting point to the set of all associated sequences of Newton’s iterates as elements of a sequence space. An inverse function version of this result shows that the strong regularity of the mapping associated with the Newton sequences is equivalent to the strong regularity of the generalized equation mapping.     

Talagrand＇s T2-transportation Inequality w.r.t, a Uniform Metric for Diffusions

Using the method of Girsanov transformation, we establish the Talagrand‘s T2-inequality for diffusion on the path space C([0, N], R^d) with respect to a uniform metric, with the constant independent of N. This improves the known results for the L2-metric.     

Complete harmonic stable minimal hypersurfaces in a Riemannian manifold

In this paper, we will introduce the notion of harmonic stability for complete minimal hypersurfaces in a complete Riemannian manifold. The first result we prove, is that a complete harmonic stable minimal surface in a Riemannian manifold with non-negative Ricci curvature is conformally equivalent to either a plane R ² or a cylinder R × S ¹, which generalizes a theorem due to Fischer-Colbrie and Schoen [12]. The second one is that an n ≥ 2-dimensional, complete harmonic stable minimal, hypersurface M in a complete Riemannian manifold with non-negative sectional curvature has only one end if M is non-parabolic. The third one, which we prove, is that there exist no non-trivial L ²-harmonic one forms on a complete harmonic stable minimal hypersurface in a complete Riemannian manifold with non-negative sectional curvature. Since the harmonic stability is weaker than stability, we obtain a generalization of a theorem due to Miyaoka [20] and Palmer [21]. Research partially Supported by a Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology, Japan. The author’s research was supported by grant Proj. No. KRF-2007-313-C00058 from Korea Research Foundation, Korea. Authors’ addresses: Qing-Ming Cheng, Department of Mathematics, Faculty of Science and Engineering, Saga University, Saga 840-8502, Japan; Young Jin Suh, Department of Mathematics, Kyungpook National University, Taegu 702-701, South Korea     

A Note on the Browder＇s and Weyl＇s Theorem

Let T be a Banach space operator, E（T） be the set of all isolated eigenvalues of T and π（T） be the set of all poles of T. In this work, we show that Browder＇s theorem for T is equivalent to the localized single-valued extension property at all complex numbers λ in the complement of the Weyl spectrum of T, and we give some characterization of Weyl＇s theorem for operator satisfying E（T） = π（T）. An application is also given.     

A Convex-Analytical Approach to Extension Results for n -Cyclically Monotone Operators

Results concerning extensions of monotone operators have a long history dating back to a classical paper by Debrunner and Flor from 1964. In 1999, Voisei obtained refinements of Debrunner and Flor’s work for n-cyclically monotone operators. His proofs rely on von Neumann’s minimax theorem as well as Kakutani’s fixed point theorem. In this note, we provide a new proof of the central case of Voisei’s work. This proof is more elementary and rooted in convex analysis. It utilizes only Fitzpatrick functions and Fenchel–Rockafellar duality.      

A strong form of almost differentiability

We present a uniformization of Reeken’s macroscopic differentiability (see [5]), discuss its relations to uniform differentiability (see [6]) and classical continuous differentiability, prove the corresponding chain rule, Taylor’s theorem, mean value theorem, and inverse mapping theorem. An attempt to compare it with the observability (see [1, 4]) is made too.