Duality respecting representations and compatible complexity measures for gammoids

We show that every gammoid has special digraph representations, such that a representation of the dual of the gammoid may be easily obtained by reversing all arcs. In an informal sense, the duality notion of a poset applied to the digraph of a special representation of a gammoid commutes with the operation of forming the dual of that gammoid. We use these special representations in order to define a complexity measure for gammoids, such that the classes of gammoids with bounded complexity are closed under duality, minors, and direct sums.     

Topology and measure in logics for region-based theories of space

Space, as we typically represent it in mathematics and physics, is composed of dimensionless, indivisible points. On an alternative, region-based approach to space, extended regions together with the relations of ‘parthood’ and ‘contact’ are taken as primitive; points are represented as mathematical abstractions from regions.Region-based theories of space have been traditionally modeled in regular closed (or regular open) algebras, in work that goes back to [5] and [21]. Recently, logics for region-based theories of space were developed in [3] and [19]. It was shown that these logics have both a nice topological and relational semantics, and that the minimal logic for contact algebras, ${\mathbb{L}}_{min}^{cont}$ (defined below), is complete for both.The present paper explores the question of completeness of ${\mathbb{L}}_{min}^{cont}$ and its extensions for individual topological spaces of interest: the real line, Cantor space, the rationals, and the infinite binary tree. A second aim is to study a different, algebraic model of logics for region-based theories of space, based on the Lebesgue measure algebra (or algebra of Borel subsets of the real line modulo sets of Lebesgue measure zero). As a model for point-free space, the algebra was first discussed in [2]. The main results of the paper are that ${\mathbb{L}}_{min}^{cont}$ is weakly complete for any zero-dimensional, dense-in-itself metric space (including, e.g., Cantor space and the rationals); the extension ${\mathbb{L}}_{min}^{cont}+(Con)$ is weakly complete for the real line and the Lebesgue measure contact algebra. We also prove that the logic ${\mathbb{L}}_{min}^{cont}+(Univ)$ is weakly complete for the infinite binary tree.     

Densely defined non‐closable curl on carpet‐like metric measure spaces

The paper deals with the possibly degenerate behaviour of the exterior derivative operator defined on 1‐forms on metric measure spaces. The main examples we consider are the non self‐similar Sierpinski carpets recently introduced by Mackay, Tyson and Wildrick. Although topologically one‐dimensional, they may have positive two‐dimensional Lebesgue measure and carry nontrivial 2‐forms. We prove that in this case the curl operator (and therefore also the exterior derivative on 1‐forms) is not closable, and that its adjoint operator has a trivial domain. We also formulate a similar more abstract result. It states that for spaces that are, in a certain way, structurally similar to Sierpinski carpets, the exterior derivative operator taking 1‐forms into 2‐forms cannot be closable if the martingale dimension is larger than one.     

Tighter Constraints of Multiqubit Entanglement

Monogamy and polygamy relations characterize the distributions of entanglement in multipartite systems.We provide classes of monogamy and polygamy inequalities of multiqubit entanglement in terms of concurrence, entanglement of formation, negativity, Tsallis-q entanglement, and Rényi-α entanglement, respectively. We show that these inequalities are tighter than the existing ones for some classes of quantum states.     

Continuum versus discrete networks,graph Laplacians,and reproducing kernel Hilbert spaces

Motivated by applications to machine learning, we construct a reversible and irreducible Markov chain whose state space is a certain collection of measurable sets of a chosen l.c.h. space $\mathfrak{X}$. We study the resulting network (connected undirected graph), including transience, Royden and Riesz decompositions, and kernel factorization. We describe a construction for Hilbert spaces of signed measures which comes equipped with a new notion of reproducing kernels and there is a unique solution to a regularized optimization problem involving the approximation of $L^2$ functions by functions of finite energy. The latter has applications to machine learning (for Markov random fields, for example).     

QK乘子代数上的Corona定理和Wolff定理

本文给出对数K-Carleson测度的一个新特征,并以此为工具研究Q_K空间的乘子代数M(Q_K),给出乘子代数M(Q_K)的某些特征描述.利用对数K-Carleson测度及Q_K空间的一个新特征,建立乘子代数M(Q_K)上的Corona定理和Wolff定理.