- We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lovász theta number.
- The information of quantum pathways can be extracted in the framework of the Hamiltonian-encoding and Observable-decoding method. For closed quantum systems, only off-diagonal elements of the Hamiltonian in the Hilbert space is required to be encoded to obtain the desired transitions. For open quantum systems, environment-related terms will appear in the diagonal elements of the Hamiltonian in the Liouville space. Therefore, diagonal encodings have to be performed to differentiate different pathways, which will lead to self-to-self transitions and inconsistency of pathway amplitudes with Dyson expansion. In this work, a well-designed transformation is proposed to avoid the counter-intuitive transitions and the inconsistency, with or without control fields. A three-level open quantum system is employed for illustration, and numerical simulations show that the method are consistent with Dyson expansion.
- Oct 19 2017 math.CO arXiv:1710.06470v1Let $D$ be a knot diagram, and let ${\mathcal D}$ denote the set of diagrams that can be obtained from $D$ by crossing exchanges. If $D$ has $n$ crossings, then ${\mathcal D}$ consists of $2^n$ diagrams. A folklore argument shows that at least one of these $2^n$ diagrams is unknot, from which it follows that every diagram has finite unknotting number. It is easy to see that this argument can be used to show that actually ${\mathcal D}$ has more than one unknot diagram, but it cannot yield more than $4n$ unknot diagrams. We improve this linear bound to a superpolynomial bound, by showing that at least $2^{\sqrt[3]{n}}$ of the diagrams in ${\mathcal D}$ are unknot. We also show that either all the diagrams in ${\mathcal D}$ are unknot, or there is a diagram in ${\mathcal D}$ that is a diagram of the trefoil knot.
- The principle goal of computational mechanics is to define pattern and structure so that the organization of complex systems can be detected and quantified. Computational mechanics developed from efforts in the 1970s and early 1980s to identify strange attractors as the mechanism driving weak fluid turbulence via the method of reconstructing attractor geometry from measurement time series and in the mid-1980s to estimate equations of motion directly from complex time series. In providing a mathematical and operational definition of structure it addressed weaknesses of these early approaches to discovering patterns in natural systems. Since then, computational mechanics has led to a range of results from theoretical physics and nonlinear mathematics to diverse applications---from closed-form analysis of Markov and non-Markov stochastic processes that are ergodic or nonergodic and their measures of information and intrinsic computation to complex materials and deterministic chaos and intelligence in Maxwellian demons to quantum compression of classical processes and the evolution of computation and language. This brief review clarifies several misunderstandings and addresses concerns recently raised regarding early works in the field (1980s). We show that misguided evaluations of the contributions of computational mechanics are groundless and stem from a lack of familiarity with its basic goals and from a failure to consider its historical context. For all practical purposes, its modern methods and results largely supersede the early works. This not only renders recent criticism moot and shows the solid ground on which computational mechanics stands but, most importantly, shows the significant progress achieved over three decades and points to the many intriguing and outstanding challenges in understanding the computational nature of complex dynamic systems.
- Oct 19 2017 math.FA arXiv:1710.06830v1Using the recent theory of Krein--von Neumann extensions for positive functionals we present several simple criteria to decide whether a given positive functional on the full operator algebra is normal. We also characterize those functionals defined on the left ideal of finite rank operators that have a normal extension.
- Stabilization, by deformation, of the Poincaré-Heisenberg algebra requires both the introduction of a fundamental lentgh and the noncommutativity of translations which is associated to the gravitational field. The noncommutative geometry structure that follows from the deformed algebra is studied both for the non-commutative tangent space and the full space with gravity. The contact points of this approach with the work of David Finkelstein are emphasized.
- Maddah-Ali and Niesen's original coded caching scheme for shared-link broadcast networks is now known to be optimal to within a factor two, and has been applied to other types of networks. For practical reasons, this paper considers that a server communicates to cache-aided users through $H$ intermediate relays. In particular, it focuses on combination networks where each of the $K = \binom{H}{r}$ users is connected to a distinct $r$-subsets of relays. By leveraging the symmetric topology of the network, this paper proposes a novel method to general multicast messages and to deliver them to the users. By numerical evaluations, the proposed scheme is shown to reduce the download time compared to the schemes available in the literature. The idea is then extended to decentralized combination networks, more general relay networks, and combination networks with cache-aided relays and users. Also in these cases the proposed scheme outperforms known ones.
- Oct 19 2017 math.PR arXiv:1710.06751v1We propose in this paper a construction of a diffusion process on the space $\mathcal {P}_2(\mathbb{R})$ of probability measures with a second-order moment. This process was introduced in several papers by Konarovskyi (see e.g. "A system of coalescing heavy diffusion particles on the real line", 2017) and consists of the limit when $N$ tends to $+\infty$ of a system of $N$ coalescing and mass-carrying particles. It has properties analogous to those of a standard Euclidean Brownian motion, in a sense that we will precise in this paper. We also compare it to the Wasserstein diffusion on $\mathcal {P}_2(\mathbb{R})$ constructed by von Renesse and Sturm (see Entropic measure and Wasserstein diffusion). We obtain that process by the construction of a system of particles having short-range interactions and by letting the range of interactions tend to zero. This construction can be seen as an approximation of the singular process of Konarovskyi by a sequence of smoother processes.
- Oct 19 2017 math.CO arXiv:1710.06680v1A vertex u of a graph t-dominates a vertex v if there are at most t vertices different from u,v that are adjacent to v and not to u; and a graph is t-dominating if for every pair of distinct vertices, one of them t-dominates the other. Our main result says that if a graph is t-dominating, then it is close (in an appropriate sense) to being 0-dominating. We also show that an analogous statement for digraphs is false; and discuss some connections with the Erdos-Hajnal conjecture.
- Oct 19 2017 math.OC arXiv:1710.06612v1We consider the problem of minimization of a convex function on a simple set with convex non-smooth inequality constraint and describe first-order methods to solve such problems in different situations: smooth or non-smooth objective function; convex or strongly convex objective and constraint; deterministic or randomized information about the objective and constraint. We hope that it is convenient for a reader to have all the methods for different settings in one place. Described methods are based on Mirror Descent algorithm and switching subgradient scheme. One of our focus is to propose, for the listed different settings, a Mirror Descent with adaptive stepsizes and adaptive stopping rule. This means that neither stepsize nor stopping rule require to know the Lipschitz constant of the objective or constraint. We also construct Mirror Descent for problems with objective function, which is not Lipschitz continuous, e.g. is a quadratic function. Besides that, we address the problem of recovering the solution of the dual problem.
- Oct 19 2017 math.OC arXiv:1710.06598v1In this short communication paper, we propose, for the first time, a convergent bounded degree hierarchy of second-order cone programming (SOCP) relaxations for solving nonconvex polynomial optimization problems. A key feature of the proposed SOCP hierarchy is that the size and the number of the second-order cone constraints of the relaxations are independent of the step of the relaxation in the hierarchy. Using the Krivine-Stengle's certificate of positivity in real algebraic geometry, we establish the asymptotic convergence of the hierarchy under a simple condition which, for instance, is automatically satisfied for box constraints. Finally, by establishing new structured sums-of-squares representation results for nonnegative polynomials, we show that finite convergence is achieved at the first step of the hierarchy for two classes of polynomial optimization problems: polynomial optimization problems satisfying a new numerically tractable convexity condition, called SOCP-convexity, and polynomials problems with essentially non-positive coefficients. Numerical examples are also provided to illustrate the significance of the results.
- We consider random Schrödinger operators with Dirichlet boundary conditions outside lattice approximations of a smooth Euclidean domain and study the behavior of its lowest-lying eigenvalues in the limit when the lattice spacing tends to zero. Under a suitable moment assumption on the random potential and regularity of the spatial dependence of its mean, we prove that the eigenvalues of the random operator converge to those of a deterministic Schrödinger operator. Assuming also regularity of the variance, the fluctuation of the random eigenvalues around their mean are shown to obey a multivariate central limit theorem. This extends the authors' recent work where similar conclusions have been obtained for bounded random potentials.
- In this paper we study the Liouville type properties for solutions to the steady incompressible Navier-Stoks equations in $\mathbf{R}^{3}$. It is shown that any solution to the steady Navier-Stokes equations in $\mathbf{R}^{3}$ with finite Dirichlet integral and vanishing velocity field at far fields must be trivial. This solves an open problem. The key ingredients of the proof include a Hodge decomposition of the energy-flux and the observation that the square of the deformation matrix lies in the local Hardy space. As a by-product, we also obtain a Liouville type theorem for the steady density-dependent Navier-Stokes equations.
- If X and Y are real valued random variables such that the first moments of X, Y, and XY exist and the conditional expectation of Y given X is an affine function of X, then the intercept and slope of the conditional expectation equal the intercept and slope of the least squares linear regression function, even though Y may not have a finite second moment. As a consequence, the affine in X form of the conditional expectation and zero covariance imply mean independence.
- We describe the relationship between two spaces associated to a quiver with potential. The first is a complex manifold parametrizing Bridgeland stability conditions on a triangulated category, and the second is a cluster variety with a natural Poisson structure. For quivers of type $A$, we construct a local biholomorphism from the space of stability conditions to the cluster variety. The existence of this map follows from results of Sibuya in the classical theory of ordinary differential equations.
- Spectral efficiency of low-density spreading non-orthogonal multiple access channels in the presence of fading is derived for linear detection with independent decoding as well as optimum decoding. The large system limit, where both the number of users and number of signal dimensions grow with fixed ratio, called load, is considered. In the case of optimum decoding, it is found that low-density spreading underperforms dense spreading for all loads. Conversely, linear detection is characterized by different behaviors in the underloaded vs. overloaded regimes. In particular, it is shown that spectral efficiency changes smoothly as load increases. However, in the overloaded regime, the spectral efficiency of low- density spreading is higher than that of dense spreading.
- We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence between the $c$-vectors of the cluster categories ${\mathscr{C}}(A_{\infty})$ of type $A_{\infty}$ due to Igusa--Todorov and the roots of the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$. Contrary to the finite dimensional case, the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$ are not conjugate to each other. On the categorical side, the cluster tilting subcategories of ${\mathscr{C}}(A_{\infty})$ exhibit different homological properties. The correspondence builds a bridge between the two classes of objects.
- We present a successive detection scheme for the fourth dimension in a four-dimensional Stokes-space direct detection receiver. At the expense of a small number of electrical-domain computations, the additional information rate can be substantial.
- Oct 19 2017 math.CV arXiv:1710.06800v1The purpose of the paper is to present an short proof of the Chuang's inequality.
- The author studies the structure of space $ \mathbf {L} _ {2} (G) $ of vector-valued functions that are square integrable in a bounded connected domain $ G $ of the three-dimensional space with a smooth boundary and the role of gradient divergence operators and the rotor in the construction of bases in subspaces $ {\mathcal {{A}}} $ and $ {\mathcal {{B}}} $. The self-adjointness of the extension $ \mathcal {N} _d $ of operator $ \nabla \mathrm {div} $ to the subspace $ \mathcal {A} _ {\gamma} \subset {\mathcal {{A}}} $ and the basicity system of its own functions. Written explicit formulas for solving the spectral problem in a ball and the conditions for the decomposition vector-functions in a Fourier series in eigenfunctions gradient of divergence. The solvability of the boundary tasks: $ \nabla \mathrm {div} \, \mathbf {u} + \lambda \, \mathbf {u} = \mathbf {f} $ in $ G $, $ (\mathbf {n} \cdot \mathbf {u}) | _ {\Gamma} = g $ in Sobolev spaces $ \mathbf {H} ^ {s} (G) $ of order $ s \geq 0 $ and in subspaces. In passing, similar results for the operator of the rotor and its symmetric extension $ S $ to $ \mathcal {B} $.
- Oct 19 2017 math.RT arXiv:1710.06847v1
- Oct 19 2017 math.NT arXiv:1710.06841v1
- Oct 19 2017 math.NT arXiv:1710.06834v1
- Oct 19 2017 math.DG arXiv:1710.06828v1
- Oct 19 2017 math.NT arXiv:1710.06821v1
- Oct 19 2017 math.CO arXiv:1710.06797v1
- Oct 19 2017 math.DG arXiv:1710.06794v1
- Oct 19 2017 math.DG arXiv:1710.06781v1
- Oct 19 2017 math.AP arXiv:1710.06762v1
- Oct 19 2017 math.AP arXiv:1710.06760v1
- Oct 19 2017 math.CO arXiv:1710.06757v1
- Oct 19 2017 math.NA arXiv:1710.06750v1
- Oct 19 2017 math.DS arXiv:1710.06743v1
- Oct 19 2017 math.NA arXiv:1710.06742v1
- Oct 19 2017 math.OC arXiv:1710.06723v1
- Oct 19 2017 math.CO arXiv:1710.06719v1
- Oct 19 2017 math.DS arXiv:1710.06712v1