Convergence in measure with respect to a matrix-valued measure and some matrix completion problems

For a matrix-valued measure M we introduce a notion of convergence in measure M, which generalizes the notion of convergence in measure with respect to a scalar measure and takes into account the matrix structure of M. Let S be a subset of the set of matrices of given size. It is easy to see that the set of S-valued measurable functions is closed under convergence in measure with respect to a matrix-valued measure if and only if S is a ρ-closed set, i.e. if and only if SP is closed for any orthoprojector P. We discuss the behaviour of ρ-closed sets under operations of linear algebra and the ρ-closedness of particular classes of matrices.     

Invariant Palm and related disintegrations via skew factorization

Let G be a measurable group with Haar measure ??, acting properly on a space S and measurably on a space T. Then any ??-finite, jointly invariant measure M on S?× T admits a disintegration ${\nu \otimes \mu}$ into an invariant measure ?? on S and an invariant kernel ?? from S to T. Here we construct ?? and??? by a general skew factorization, which extends an approach by Rother and Z?hle for homogeneous spaces S over G. This leads to easy extensions of some classical propositions for invariant disintegration, previously known in the homogeneous case. The results are applied to the Palm measures of jointly stationary pairs (??, ??), where ?? is a random measure on S and ?? is a random element in T.     

On polygonal measures with vanishing harmonic moments

A polygonal measure is the sum of finitely many real constant density measures supported on triangles in ?. Given a finite set S ? ?, we study the existence of polygonal measures spanned by triangles with vertices in S, all of whose harmonic moments vanish. We show that for generic S, the dimension of the linear space of such measures is \(\left( {_2^{|S| - 3} } \right)\) . We also investigate the situation in which the density for such measure takes on only values 0 or ±1. This corresponds to pairs of polygons of unit density having the same logarithmic potential at ∞. We show that such (signed) measures do not exist for |S| ≤ 5, but that for each n ≥ 6 one can construct an S, with |S| = n, giving rise to such a measure.     

Use of the Szeged index and the revised Szeged index for measuring network bipartivity

We have revisited the Szeged index (Sz) and the revised Szeged index (Sz^∗), both of which represent a generalization of the Wiener number to cyclic structures. Unexpectedly we found that the quotient of the two indices offers a novel measure for characterization of the degree of bipartivity of networks, that is, offers a measure of the departure of a network, or a graph, from bipartite networks or bipartite graphs, respectively. This is because the two indices assume the same values for bipartite graphs and different values for non-bipartite graphs. We have proposed therefore the quotient Sz/Sz^∗ as a measure of bipartivity. In this note we report on some properties of the revised Szeged index and the quotient Sz/Sz^∗ illustrated on a number of smaller graphs as models of networks.     

The weak McShane integral

We present a weaker version of the Fremlin generalized McShane integral (1995) for functions defined on a σ-finite outer regular quasi Radon measure space (S,Σ, T, µ) into a Banach space X and study its relation with the Pettis integral. In accordance with this new method of integration, the resulting integral can be expressed as a limit of McShane sums with respect to the weak topology. It is shown that a function f from S into X is weakly McShane integrable on each measurable subset of S if and only if it is Pettis and weakly McShane integrable on S. On the other hand, we prove that if an X-valued function is weakly McShane integrable on S, then it is Pettis integrable on each member of an increasing sequence (S _l ) _l?1 of measurable sets of finite measure with union S. For weakly sequentially complete spaces or for spaces that do not contain a copy of c ₀, a weakly McShane integrable function on S is always Pettis integrable. A class of functions that are weakly McShane integrable on S but not Pettis integrable is included.     

Homeomorphic measures on stationary Bratteli diagrams

We study the set S of ergodic probability Borel measures on stationary non-simple Bratteli diagrams which are invariant with respect to the tail equivalence relation R. Equivalently, the set S is formed by ergodic probability measures invariant with respect to aperiodic substitution dynamical systems. The paper is devoted to the classification of measures μ from S with respect to a homeomorphism. The properties of the clopen values set S(μ) are studied. It is shown that for every measure μ∈S there exists a subgroup G⊂R such that S(μ)=G∩[0,1]. A criterion of goodness is proved for such measures. Based on this result, the measures from S are classified up to a homeomorphism. We prove that for every good measure μ∈S there exist countably many measures {μi}_i∈N⊂S such that the measures μ and μi are homeomorphic but the tail equivalence relations on the corresponding Bratteli diagrams are not orbit equivalent.     

Orbit structure and countable sections for actions of continuous groups

It is shown that if a second countable locally compact group G acts nonsingularly on an analytic measure space (S, μ), then there is a Borel subset E ? S such that EG is conull in S and each sG ∩ E is countable. It follows that the measure groupoid constructed from the equivalence relation s ～ sg on E may be simply described in terms of the measure groupoid made from the action of some countable group. Some simplifications are made in Mackey's theory of measure groupoids. A natural notion of “approximate finiteness” (AF) is introduced for nonsingular actions of G, and results are developed parallel to those for countable groups; several classes of examples arising naturally are shown to be AF. Results on “skew product” group actions are obtained, generalizing the countable case, and partially answering a question of Mackey. We also show that a group-measure space factor obtained from a continuous group action is isomorphic (as a von Neumann algebra) to one obtained from a discrete group action.     

A few remarks on sampling of signals with small spectrum

Given a bounded set S of small measure, we discuss the existence of sampling sequences for the Paley-Wiener space PW _S , which have both densities and sampling bounds close to the optimal ones.     

On Two Measures of Problem Instance Complexity and their Correlation with the Performance of SeDuMi on Second-Order Cone Problems

We evaluate the practical relevance of two measures of conic convex problem complexity as applied to second-order cone problems solved using the homogeneous self-dual (HSD) embedding model in the software SeDuMi. The first measure we evaluate is Renegar's data-based condition measure C(d), and the second measure is a combined measure of the optimal solution size and the initial infeasibility/optimality residuals denoted by S (where the solution size is measured in a norm that is naturally associated with the HSD model). We constructed a set of 144 second-order cone test problems with widely distributed values of C(d) and S and solved these problems using SeDuMi. For each problem instance in the test set, we also computed estimates of C(d) (using Peña’s method) and computed S directly. Our computational experience indicates that SeDuMi iteration counts and log (C(d)) are fairly highly correlated (sample correlation R = 0.675), whereas SeDuMi iteration counts are not quite as highly correlated with S (R = 0.600). Furthermore, the experimental evidence indicates that the average rate of convergence of SeDuMi iterations is affected by the condition number C(d) of the problem instance, a phenomenon that makes some intuitive sense yet is not directly implied by existing theory.     

Measure equivalence rigidity and bi-exactness of groups

We get three types of results on measurable group theory; direct product groups of Ozawa's class S groups, wreath product groups and amalgamated free products. We prove measure equivalence factorization results on direct product groups of Ozawa's class S groups. As consequences, Monod-Shalom type orbit equivalence rigidity theorems follow. We prove that if two wreath product groups A?G, B?Γ of non-amenable exact direct product groups G, Γ with amenable bases A, B are measure equivalent, then G and Γ are measure equivalent. We get Bass-Serre rigidity results on amalgamated free products of non-amenable exact direct product groups.     

Palm pairs and the general mass-transport principle

We consider a lcsc group G acting on a Borel space S and on an underlying ??-finite measure space. Our first main result is a transport formula connecting the Palm pairs of jointly stationary random measures on S. A key (and new) technical result is a measurable disintegration of the Haar measure on G along the orbits. The second main result is an intrinsic characterization of the Palm pairs of a G-invariant random measure. We then proceed with deriving a general version of the mass-transport principle for possibly non-transitive and non-unimodular group operations first in a deterministic and then in its full probabilistic form.     

Measuring cubeness in the limit cases

In this paper we show that the recently introduced family of the cubeness measures C_β(S)(β>0) satisfy the following desirable property: lim_β→∞C_β(S)=0, for any given 3D shape S different from a cube. The result implies that the behaviour of cubeness measures changes depending on the selected value of β and the cubeness measure can be arbitrarily close to zero for a suitably large value of β. This also implies that for a suitable value of β, the measure C_β(S) can be used for detecting small deviations of a shape from a perfect cube. Some examples are given to illustrate these properties.     

Embeddings of submanifolds and normal bundles

This paper studies the embeddings of a complex submanifold S inside a complex manifold M; in particular, we are interested in comparing the embedding of S in M with the embedding of S as the zero section in the total space of the normal bundle NS of S in M. We explicitly describe some cohomological classes allowing to measure the difference between the two embeddings, in the spirit of the work by Grauert, Griffiths, and Camacho, Movasati and Sad; we are also able to explain the geometrical meaning of the separate vanishing of these classes. Our results hold for any codimension, but even for curves in a surface we generalize previous results due to Laufert and Camacho, Movasati and Sad.     

Convergence of stochastic empirical measures

Let P_n be a random probability measure on a metric space S. Let Pˆ_n be the empirical measure of k_n iid random variables, each distributed according to P_n. Our main theorem asserts that if {P_n} converges in distribution, as random probability measures on S, then so does {Pˆ_n}. Applications of the result to the study of bootstrap and other stochastic procedures are given.     

Characterization of the closed convex hull of the range of a vector-valued measure

For a set K in a locally convex topological vector space X there exists a set T, a σ-algebra $\text{S}$ of subsets of T and a σ-additive measure m: $\text{S}$ → X such that K is the closed convex hull of the range {m(E): E ∈ $\text{S}$} of the measure m if and only if there exists a conical measure u on X so that K K_u,K_u, the set of resultants of all conical measures v on X such that v < u.     

Subnormal operators whose adjoints have rich point spectrum

A generalized version of the Glauber-Klauder basic formula of quantum optics is shown to be valid for any cyclic subnormal operator S whose adjoint has a rich point spectrum σp(S^∗) (in the sense that a semispectral measure of S vanishes on C?σp^∗(S^∗)). It is exhibited that such operators always have analytic models. The point spectrum of the adjoint of a subnormal operator which satisfies a generalized version of the Glauber-Klauder formula is proved to be rich (in the above sense).     

Barrelledness and bornological conditions on spaces of vector-valued μ-simple functions

Let S(μ, E) be the space of (classes of μ-a.e. equal) simple functions defined on a (non-trivial) measure space with values in a locally convex space E. The following results hold: S(μ,E) is quasi-barrelled (resp. bornological) if and only if E is quasi-barrelled (resp. bornological) and E′(β(E′,E)) has the property (B) of Pietsch; S(μ, E) is barrelled if and only if S(μ,K) is barrelled and E is barrelled and nuclear; S(μ, E) is never ultrabornological; and S(μ, E) is a DF-space if and only if E is a DF-space.     

A Distributional Approach to Multiple Stochastic Integrals and Transformations of the Poisson Measure, II

We study a class of “nonpoissonian” transformations of the configuration space (over a space of the form G=S×?, where S is a complete separable metric space) and the corresponding transformations of the Poisson measure. For the Poisson measures of the Lévy-Khinchin type we find conditions which are sufficient to ensure that the transformed measure (which in general is nonpoissonian) is absolutely continuous with respect to the initial Poisson measure and derive an expression for the corresponding Radon-Nikodym derivative. To this end we use a distributional approach to Poisson multiple stochastic integrals. This is the second of a series of papers, as compared to the first part the space G is different and the intensity measure is more general, allowing a stronger singularity at the origin.     

An Extension of Mercer’s Theorem via Pontryagin Spaces

We extend Mercer’s theorem to a composition of the form RS, in which R and S are integral operators acting on a space L ²(X) generated by a locally finite measure space (X, ν). The operator R is compact and positive while S is continuous and having spectral decomposition based on well distributed eigenvalues. The proof is based on a Pontryagin space structure for L ²(X) constructed via the operators R and S themselves.