Orthogonally Biadditive Operators

In this article, we introduce and study a new class of operators defined on a Cartesian product of ideal spaces of measurable functions. We use the general approach of the theory of vector lattices. We say that an operator T : E × F ⟶ W defined on a Cartesian product of vector lattices E and F and taking values in a vector lattice W is orthogonally biadditive if all partial operators T y : E ⟶ W and T x : F ⟶ W are orthogonally additive. In the first part of the article, we prove that, under some mild conditions, a vector space of all regular orthogonally biadditive operators O B A r E , F ; W is a Dedekind complete vector lattice. We show that the set of all horizontally-to-order continuous regular orthogonally biadditive operators is a projection band in O B A r E , F ; W . In the last section of the paper, we investigate orthogonally biadditive operators on a Cartesian product of ideal spaces of measurable functions. We show that an integral Uryson operator which depends on two functional variables is orthogonally biadditive and obtain a criterion of the regularity of an orthogonally biadditive Uryson operator.

Precision-Aided Partial Ambiguity Resolution Scheme for Instantaneous RTK Positioning

The use of carrier phase data is the main driver for high-precision Global Navigation Satellite Systems (GNSS) positioning solutions, such as Real-Time Kinematic (RTK). However, carrier phase observations are ambiguous by an unknown number of cycles, and their use in RTK relies on the process of mapping real-valued ambiguities to integer ones, so-called Integer Ambiguity Resolution (IAR). The main goal of IAR is to enhance the position solution by virtue of its correlation with the estimated integer ambiguities. With the deployment of new GNSS constellations and frequencies, a large number of observations is available. While this is generally positive, positioning in medium and long baselines is challenging due to the atmospheric residuals. In this context, the process of solving the complete set of ambiguities, so-called Full Ambiguity Resolution (FAR), is limiting and may lead to a decreased availability of precise positioning. Alternatively, Partial Ambiguity Resolution (PAR) relaxes the condition of estimating the complete vector of ambiguities and, instead, finds a subset of them to maximize the availability. This article reviews the state-of-the-art PAR schemes, addresses the analytical performance of a PAR estimator following a generalization of the Cramér–Rao Bound (CRB) for the RTK problem, and introduces Precision-Driven PAR (PD-PAR). The latter constitutes a new PAR scheme which employs the formal precision of the (potentially fixed) positioning solution as selection criteria for the subset of ambiguities to fix. Numerical simulations are used to showcase the performance of conventional FAR and FAR approaches, and the proposed PD-PAR against the generalized CRB associated with PAR problems. Real-data experimental analysis for a medium baseline complements the synthetic scenario. The results demonstrate that (i) the generalization for the RTK CRB constitutes a valid lower bound to assess the asymptotic behavior of PAR estimators, and (ii) the proposed PD-PAR technique outperforms existing FAR and PAR solutions as a non-recursive estimator for medium and long baselines.

Convergence structures and locally solid topologies on vector lattices of operators

For vector lattices E and F, where F is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) from E into F. Using this, it follows that $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) admits a Hausdorff uo-Lebesgue topology whenever F does. For each of order convergence, unbounded order convergence, and—when applicable—convergence in the Hausdorff uo-Lebesgue topology, there are both a uniform and a strong convergence structure on $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) . Of the six conceivable inclusions within these three pairs, only one is generally valid. On the orthomorphisms of a Dedekind complete vector lattice, however, five are generally valid, and the sixth is valid for order bounded nets. The latter condition is redundant in the case of sequences of orthomorphisms, as a consequence of a uniform order boundedness principle for orthomorphisms that we establish. We furthermore show that, in contrast to general order bounded operators, orthomorphisms preserve not only order convergence of nets, but unbounded order convergence and—when applicable—convergence in the Hausdorff uo-Lebesgue topology as well.

ROMY: A Multi-Component Ring Laser for Geodesy and Geophysics

Summary Single-component ring lasers have provided high-resolution observations of Earth’s rotation rate as well as local earthquake- or otherwise-induced rotational ground motions. Here we present the design, construction, and operational aspects of ROMY, a four-component, tetrahedral-shaped ring laser installed at the Geophysical Observatory Fürstenfeldbruck near Munich, Germany. Four equilateral, triangular-shaped ring lasers with 12 m side length provide rotational motions that can be combined to construct the complete vector of Earth’s rotation from a point measurement with very high resolution. Combined with a classic broadband seismometer we obtain the most accurate 6 degree-of-freedom ground motion measurement system to date, enabling local and teleseismic observations as well as the analysis of ocean-generated Love and Rayleigh waves. The specific design and construction details are discussed as are the resulting consequences for permanent observations. We present seismic observations of local, regional, and global earthquakes as well as seasonal variations of ocean-generated rotation noise. The current resolution of polar motion is discussed and strategies how to further improve long-term stability of the multi-component ring-laser system are presented.

Atomic Operators in Vector Lattices

In this paper, we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator T from a vector lattice E to a vector lattice F is atomic if there exists a Boolean homomorphism $$\Phi $$ Φ from the Boolean algebra $${\mathfrak {B}}(E)$$ B ( E ) of all order projections on E to $${\mathfrak {B}}(F)$$ B ( F ) such that $$T\pi =\Phi (\pi )T$$ T π = Φ ( π ) T for every order projection $$\pi \in {\mathfrak {B}}(E)$$ π ∈ B ( E ) . We show that the set of all atomic operators defined on a vector lattice E with the principal projection property and taking values in a Dedekind complete vector lattice F is a band in the vector lattice of all regular orthogonally additive operators from E to F. We give the formula for the order projection onto this band, and we obtain an analytic representation for atomic operators between spaces of measurable functions. Finally, we consider the procedure of the extension of an atomic map from a lateral ideal to the whole space.

Теорема Гордона: истоки и смысл

Boolean valued analysis, the term coined by Takeuti, signifies a branch of functional analysis which uses a special technique of Boolean valued models of set theory. The fundamental result of Boolean valued analysis is Gordons Theorem stating that each internal field of reals of a Boolean valued model descends into a universally complete vector lattice. Thus, a remarkable opportunity opens up to expand and enrich the mathematical knowledge by translating information about the reals to the language of other branches of functional analysis. This is a brief overview of the mathematical events around the Gordon Theorem. The relationship between the Kantorovichs heuristic principle and Boolean valued transfer principle is also discussed.