Consistency,optimality, and incompleteness

Assume that the problem _P0$P_0$ is not solvable in polynomial time. Let T   be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{_ConT}$T\cup \{{\mathit{Con}}_T\}$ as the minimal extension of T   proving for some algorithm that it decides _P0$P_0$ as fast as any algorithm B$\mathbb{B}$ with the property that T   proves that B$\mathbb{B}$ decides _P0$P_0$. Here, _ConT${\mathit{Con}}_T$ claims the consistency of T. As a byproduct, we obtain a version of Gödel?s Second Incompleteness Theorem. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.     

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth _TPT${\mathsf{T}}_{\mathsf{PT}}$ which proves totality exactly for the polynomial time computable functions. _TPT${\mathsf{T}}_{\mathsf{PT}}$ has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system _TPT${\mathsf{T}}_{\mathsf{PT}}$ has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic.     

The quantum harmonic oscillator as a Zariski geometry

A structure is associated with the quantum harmonic oscillator, over a fixed algebraically closed field F$\mathbb{F}$ of characteristic 0, which is shown to be uncountably categorical. An analysis of definable sets is carried out, from which it follows that this structure is a Zariski geometry of dimension 1. It is non-classical in the sense that it is not interpretable in _ACF0${\mathit{ACF}}_0$ and in the case F=C$\mathbb{F}=\mathbb{C}$, is not a structure on a complex manifold.     

Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra

In the present paper we consider the Volterra integration operator V   on the Wiener algebra W(D)$W(\mathbb{D})$ of analytic functions on the unit disc D$\mathbb{D}$ of the complex plane C$\mathbb{C}$. A complex number λ$\lambda$ is called an extended eigenvalue of V if there exists a nonzero operator A   satisfying the equation AV=λVA$\mathit{AV}=\lambda \mathit{VA}$. We prove that the set of all extended eigenvalues of V   is precisely the set C?{0}$\mathbb{C}?\{0\}$, and describe in terms of Duhamel operators and composition operators the set of corresponding extended eigenvectors of V$V$. The similar result for some weighted shift operator on _?p${?}_p$ spaces is also obtained.     

Positional graphs and conditional structure of weakly null sequences

We prove that, unless assuming additional set theoretical axioms, there are no reflexive spaces without unconditional sequences of the density continuum. We show that for every integer n$n$ there are normalized weakly-null sequences of length _ωn${\omega }_n$ without unconditional subsequences. This together with a result of Dodos et al. (2011) [7] shows that _ωω${\omega }_{\omega }$ is the minimal cardinal κ$\kappa$ that could possibly have the property that every weakly null κ$\kappa$-sequence has an infinite unconditional basic subsequence. We also prove that for every cardinal number κ$\kappa$ which is smaller than the first ω$\omega$-Erd?s cardinal there is a normalized weakly-null sequence without subsymmetric subsequences. Finally, we prove that mixed Tsirelson spaces of uncountable densities must always contain isomorphic copies of either _c0$c_0$ or _?p${?}_p$, with p≥1$p\ge 1$.     

Factorization properties of paratopological groups

In this article we continue the study of R$\mathbb{R}$-factorizability in paratopological groups. It is shown that: (1) all concepts of R$\mathbb{R}$-factorizability in paratopological groups coincide; (2) a Tychonoff paratopological group G   is R$\mathbb{R}$-factorizable if and only if it is totally ω  -narrow and has property ω-QU$\omega \text{-}\mathit{QU}$; (3) every subgroup of a _T1$T_1$ paratopological group G   is R$\mathbb{R}$-factorizable provided that the topological group G^?$G^{?}$ associated to G is a Lindelöf Σ-space, i.e., G is a totally Lindelöf Σ-space  ; (4) if Π=_∏i∈IGi$\Pi ={\prod }_{i\in I}{G}_i$ is a product of _T1$T_1$ paratopological groups which are totally Lindelöf Σ-spaces, then each dense subgroup of Π   is R$\mathbb{R}$-factorizable. These results answer in the affirmative several questions posed earlier by M. Sanchis and M. Tkachenko and by S. Lin and L.-H. Xie.     

Finite order spreading models

Extending the classical notion of spreading model, the k$k$-spreading models of a Banach space are introduced, for every k∈N$k\in \mathbb{N}$. The definition, which is based on the k$k$-sequences and plegma families, reveals a new class of spreading sequences associated to a Banach space. Most of the results of the classical theory are stated and proved in the higher order setting. Moreover, new phenomena like the universality of the class of the 2-spreading models of _c0$c_0$ and the composition property are established. As consequence, a problem concerning the structure of the k$k$-iterated spreading models is solved.     

A model of Cummings and Foreman revisited

This paper concerns the model of Cummings and Foreman where from ω   supercompact cardinals they obtain the tree property at each _ℵn${\mathrm{\aleph }}_n$ for 2≤n<ω$2\le n<\omega$. We prove some structural facts about this model. We show that the combinatorics at _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ in this model depend strongly on the properties of _ω1${\omega }_1$ in the ground model. From different ground models for the Cummings–Foreman iteration we can obtain either _ℵω+1∈I[_ℵω+1]${\mathrm{\aleph }}_{\omega +1}\in I[{\mathrm{\aleph }}_{\omega +1}]$ and every stationary subset of _ℵω+1${\mathrm{\aleph }}_{\omega +1}$ reflects or there are a bad scale at _ℵω${\mathrm{\aleph }}_{\omega }$ and a non-reflecting stationary subset of _ℵω+1∩cof(_ω1)${\mathrm{\aleph }}_{\omega +1}\cap \mathrm{cof}({\omega }_1)$. We also prove that regardless of the ground model a strong generalization of the tree property holds at each _ℵn${\mathrm{\aleph }}_n$ for n≥2$n\ge 2$.     

Symplectic Calabi–Yau 6-manifolds

In this article, we construct simply connected symplectic Calabi–Yau 6-manifolds by applying Gompf's symplectic fiber sum operation along T⁴${\mathbb{T}}^4$. Using our method, we also construct symplectic non-Kähler Calabi–Yau 6-manifolds with fundamental group Z$\mathbb{Z}$. This paper also produces the first examples of simply connected and non-simply connected symplectic Calabi–Yau 6-manifolds with fundamental groups _Zp×_Zq${\mathbb{Z}}_p\times {\mathbb{Z}}_q$, and Z×_Zq$\mathbb{Z}\times {\mathbb{Z}}_q$ for any p≥1$p\ge 1$ and q≥2$q\ge 2$via co-isotropic Luttinger surgery.     

The inverse inertia problem for the complements of partial k-trees

Let F$\mathbb{F}$ be an infinite field with characteristic not equal to two. For a graph G=(V,E)$G=(V,E)$ with V={1,…,n}$V=\{1,\dots ,n\}$, let S(G;F)$S(G;\mathbb{F})$ be the set of all symmetric n×n$n\times n$ matrices A=[_ai,j]$A=[a_{i,j}]$ over F$\mathbb{F}$ with _ai,j≠0$a_{i,j}\ne 0$, i≠j$i\ne j$ if and only if ij∈E$ij\in E$. We show that if G is the complement of a partial k  -tree and m?k+2$m?k+2$, then for all nonsingular symmetric m×m$m\times m$ matrices K   over F$\mathbb{F}$, there exists an m×n$m\times n$ matrix U   such that U^TKU∈S(G;F)$U^{T}KU\in S(G;\mathbb{F})$. As a corollary we obtain that, if k+2?m?n$k+2?m?n$ and G is the complement of a partial k-tree, then for any two nonnegative integers p and q   with p+q=m$p+q=m$, there exists a matrix in S(G;R)$S(G;\mathbb{R})$ with p positive and q negative eigenvalues.