Lattice uniformities on pseudo-D-lattices

Let L be a pseudo-D-lattice. We prove that the lattice uniformities on L which make uniformly continuous the operations of L are uniquely determined by their system of neighbourhoods of 0 and form a distributive lattice. Moreover we prove that every such uniformity is generated by a family of weakly subadditive [0,+∞]-valued functions on L.     

Radon-Nikodým derivatives for vector measures belonging to Köthe function spaces

Let m, n be a couple of vector measures with values on a Banach space. We develop a separation argument which provides a characterization of when the Radon-Nikodým derivative of n with respect to m—in the sense of the Bartle-Dunford-Schwartz integral—exists and belongs to a particular sublattice Z(μ) of the space of integrable functions L¹(m). We show that this theorem is in fact a particular feature of our separation argument, which can be applied to prove other results in both the vector measure and the function space settings.     

An Aumann–Shapley type operator in Pseudo-D-lattices

Let L be a \(\sigma \)-complete pseudo-D-lattice and let BV be the Banach space of all real-valued, vanishing at zero, functions of bounded variation on L endowed with the variation norm. We prove the existence of a continuous Aumann–Shapley type operator \(\phi \) on the closed subspace of BV spanned by powers of nonatomic \(\sigma \)-additive positive modular measures on L. Moreover we give an integral representation of \(\phi \) on a class of functions that correspond to measure games.     

Pseudo-localization of singular integrals and noncommutative Calderón-Zygmund theory

The weak type (1,1) boundedness of singular integrals acting on matrix-valued functions has remained open since the 1980s, mainly because the methods provided by the vector-valued theory are not strong enough. In fact, we can also consider the action of generalized Calderón-Zygmund operators on functions taking values in any other von Neumann algebra. Our main tools for its solution are two. First, the lack of some classical inequalities in the noncommutative setting forces to have a deeper knowledge of how fast a singular integral decreases—L₂ sense—outside of the support of the function on which it acts. This gives rise to a pseudo-localization principle which is of independent interest, even in the classical theory. Second, we construct a noncommutative form of Calderón-Zygmund decomposition by means of the recent theory of noncommutative martingales. This is a corner stone in the theory. As application, we obtain the sharp asymptotic behavior of the constants for the strong Lp inequalities, also unknown up to now. Our methods settle some basics for a systematic study of a noncommutative Calderón-Zygmund theory.     

A new algebraic approach to stabilization for boundary control systems of parabolic type

We study the stabilization problem of linear parabolic boundary control systems. While the control system is described by a pair of standard linear differential operators (L,τ), the corresponding semigroup generator generally admits no Riesz basis of eigenvectors. In the sense that very little information on the fractional powers of this generator is needed, our approach has enough generality as a prototype to be used for other types of parabolic systems. We propose in this paper a new algebraic approach to the stabilization, which gives—to the best of the author's knowledge—the simplest framework of the problem. The control system with the scheme of boundary observation/boundary feedback is turned into the differential equations with no boundary input in usual and standard L²-spaces in a readable manner.     

A Komlós Theorem for abstract Banach lattices of measurable functions

Consider a Banach function space X(μ) of (classes of) locally integrable functions over a σ-finite measure space (Ω,Σ,μ) with the weak σ-Fatou property. Day and Lennard (2010) [9] proved that the theorem of Komlós on convergence of Cesàro sums in L¹[0,1] holds also in these spaces; i.e. for every bounded sequence n(fn) in X(μ), there exists a subsequence k(fnk) and a function f∈X(μ) such that for any further subsequence j(hj) of k(fnk), the series converges μ-a.e. to f. In this paper we generalize this result to a more general class of Banach spaces of classes of measurable functions — spaces L¹(ν) of integrable functions with respect to a vector measure ν on a δ-ring — and explore to which point the Fatou property and the Komlós property are equivalent. In particular we prove that this always holds for ideals of spaces L¹(ν) with the weak σ-Fatou property, and provide an example of a Banach lattice of measurable functions that is Fatou but do not satisfy the Komlós Theorem.     

Morita theory for coring extensions and cleft bicomodules

A Morita context is constructed for any comodule of a coring and, more generally, for an L-C bicomodule Σ for a coring extension (D:L) of (C:A). It is related to a 2-object subcategory of the category of k-linear functors MC→MD. Strictness of the Morita context is shown to imply the Galois property of Σ as a C-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold.Cleft property of an L-C bicomodule Σ—implying strictness of the associated Morita context—is introduced. It is shown to be equivalent to being a GaloisC-comodule and isomorphic to EndC(Σ)L_⊗D, in the category of left modules for the ring EndC(Σ) and right comodules for the coring D, i.e. satisfying the normal basis property.Algebra extensions, that are cleft extensions by a Hopf algebra, a coalgebra or a Hopf algebroid, as well as cleft entwining structures (over commutative or non-commutative base rings) and cleft weak entwining structures, are shown to provide examples of cleft bicomodules.     

Interval analysis techniques for boundary value problems of elasticity in two dimensions

In this paper we prove that the L² spectral radius of the traction double layer potential operator associated with the Lamé system on an infinite sector in R² is within 10⁻² from a certain conjectured value which depends explicitly on the aperture of the sector and the Lamé moduli of the system. This type of result is relevant to the spectral radius conjecture, cf., e.g., Problem 3.2.12 in [C.E. Kenig, Harmonic Analysis Techniques for Second Order Elliptic Boundary Value Problems, CBMS Reg. Conf. Ser. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1994]. The techniques employed in the paper are a blend of classical tools such as Mellin transforms, and Calderón-Zygmund theory, as well as interval analysis—resulting in a computer-aided proof.     

The asymptotic lift of a completely positive map

Starting with a unit-preserving normal completely positive map acting on a von Neumann algebra—or more generally a dual operator system—we show that there is a unique reversible system (i.e., a complete order automorphism α of a dual operator system N) that captures all of the asymptotic behavior of L, called the asymptotic lift of L. This provides a noncommutative generalization of the Frobenius theorems that describe the asymptotic behavior of the sequence of powers of a stochastic n×n matrix. In cases where M is a von Neumann algebra, the asymptotic lift is shown to be a W^∗-dynamical system (N,Z), and we identify (N,Z) as the tail flow of the minimal dilation of L. We are also able to identify the Poisson boundary of L as the fixed algebra Nα. In general, we show the action of the asymptotic lift is trivial iff L is slowly oscillating in the sense that

     

Chessboard complexes indomitable

We give a simpler, degree-theoretic proof of the striking new Tverberg type theorem of Blagojevi?, Ziegler and Matschke. Our method also yields some new examples of “constrained Tverberg theorems” including a simple colored Radon?s theorem for d+3 points in Rd. This gives us an opportunity to review some of the highlights of this beautiful theory and reexamine the role of chessboard complexes in these and related problems of topological combinatorics.     

Convexity of trace functionals and Schrödinger operators

Let H be a semi-bounded self-adjoint operator on a separable Hilbert space. For a certain class of positive, continuous, decreasing, and convex functions F we show the convexity of trace functionals of the form tr(F(H+U−ε(U)))−ε(U), where U is a bounded, self-adjoint operator and ε(U) is a normalizing real function—the Fermi level—which may be identical zero. If additionally F is continuously differentiable, then the corresponding trace functional is Fréchet differentiable and there is an expression of its gradient in terms of the derivative of F. The proof of the differentiability of the trace functional is based upon Birman and Solomyak's theory of double Stieltjes operator integrals. If, in particular, H is a Schrödinger-type operator and U a real-valued function, then the gradient of the trace functional is the quantum mechanical expression of the particle density with respect to an equilibrium distribution function f=−F^′. Thus, the monotonicity of the particle density in its dependence on the potential U of Schrödinger's operator—which has been understood since the late 1980s—follows as a special case.     

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">P</Emphasis></Superscript>

Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in L² spaces and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of L ^p spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator to prove that they have a bounded holomorphic functional calculus in those L ^p spaces. We also obtain functional calculus results for restrictions to certain subspaces, for a larger range of p. This provides a framework for obtaining L ^p results on perturbed Hodge Laplacians, generalising known Riesz transform bounds for an elliptic operator L with bounded measurable coefficients, one Sobolev exponent below the Hodge exponent, and L ^p bounds on the square-root of L by the gradient, two Sobolev exponents below the Hodge exponent. Our proof shows that the heart of the harmonic analysis in L² extends to L ^p for all p ∈ (1,∞), while the restrictions in p come from the operator-theoretic part of the L² proof. In the course of our work, we obtain some results of independent interest about singular integral operators on tent spaces and about the relationship between conical and vertical square functions.     

The strong <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-<Emphasis Type="Italic">greedy</Emphasis> property of the Walsh system

For any 0 < ? < 1 one can find a measurable set E ? [0, 1] with the measure |E| > 1 ? ? such that for each function f(x) ε L ¹ (0, 1) a function g(x) ε L ¹ (0, 1) exists such that it coincides with f (x) on E, its Fourier—Walsh series converges to it in the metric of L ¹ (0, 1), and all nonzero terms of the sequence of Fourier coefficients of the new function obtained by the Walsh system have the modulo decreasing order; consequently, the greedy algorithm for this function converges to it in the L ¹ (0, 1)-norm.     

Pattern avoidance in “flattened” partitions

To flatten a set partition (with apologies to Mathematica^®) means to form a permutation by erasing the dividers between its blocks. Of course, the result depends on how the blocks are listed. For the usual listing—increasing entries in each block and blocks arranged in increasing order of their first entries—we count the partitions of [n] whose flattening avoids a single 3-letter pattern. Five counting sequences arise: a null sequence, the powers of 2, the Fibonacci numbers, the Catalan numbers, and the binomial transform of the Catalan numbers.     

Sharp estimates for pseudo-differential operators with symbols of limited smoothness and commutators

We consider here pseudo-differential operators whose symbol σ(x,ξ) is not infinitely smooth with respect to x. Decomposing such symbols into four—sometimes five—components and using tools of paradifferential calculus, we derive sharp estimates on the action of such pseudo-differential operators on Sobolev spaces and give explicit expressions for their operator norm in terms of the symbol σ(x,ξ). We also study commutator estimates involving such operators, and generalize or improve the so-called Kato-Ponce and Calderon-Coifman-Meyer estimates in various ways.     

Asymmetric norms and optimal distance points in linear spaces

In this paper we analyze the existence of points of a subset S of a linear space X where the shortest distance to a point x of X with respect to an asymmetric norm q is attained (q-nearest points). Since the structure of an asymmetric norm do not provide in general uniqueness of such points—due to the fact that the separation properties in these spaces are in general weaker than in normed spaces—we develop a technique to find particular subsets of the set of q-nearest points—that we call optimal distance points—that are also optimal for the norm qs associated to the asymmetric norm.     

Quasirecognition by prime graph of <Emphasis Type="Italic">L</Emphasis><Subscript>10</Subscript>(2)

Let G be a finite group. The prime graph of G is denoted by Γ(G). The main result we prove is as follows: If G is a finite group such that Γ(G) = Γ(L ₁₀(2)) then G/O ₂(G) is isomorphic to L ₁₀(2). In fact we obtain the first example of a finite group with the connected prime graph which is quasirecognizable by its prime graph. As a consequence of this result we can give a new proof for the fact that the simple group L ₁₀(2) is uniquely determined by the set of its element orders.     

Decomposition of Pseudo-effect Algebras and the Hammer–Sobczyk Theorem

We prove an algebraic and a topological decomposition theorem for complete pseudo-D-lattices (i.e. lattice-ordered pseudo-effect algebras). As a consequence, we obtain a Hammer–Sobczyk type decomposition theorem for group-valued modular measures defined on pseudo-D-lattices and compactness of the range of every \(\mathbb {R}^{n} \)-valued σ-additive modular measure on a σ-complete pseudo-D-lattice.     

<Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript> spline fits via sliding window process: continuous and discrete cases

The best L ₁ approximation of the Heaviside function and the best ? ₁ approximation of multiscale univariate datasets by a cubic spline have a Gibbs phenomenon near the discontinuity. We show by numerical experiments that the Gibbs phenomenon can be reduced by using L ₁ spline fits which are the best L ₁ approximations in an appropriate spline space obtained by the union of L ₁ interpolation splines. We prove here the existence of L ₁ spline fits for function approximation which has never previously been done to the best of our knowledge. A major disadvantage of this technique is an increased computation time. Thus, we propose a sliding window algorithm on seven nodes which is as efficient as the global method both for functions and datasets with abrupt changes of magnitude, but within a linear complexity on the number of spline nodes.