Mathematics (math)

  • PDF
    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.
  • PDF
    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.
  • PDF
    Let $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.
  • PDF
    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.
  • PDF
    Using 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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    We 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.
  • PDF
    A 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.
  • PDF
    We 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.
  • PDF
    In 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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    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.
  • PDF
    The purpose of the paper is to present an short proof of the Chuang's inequality.
  • PDF
    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} $.
  • PDF
    We continue the study of a general class of spaces of 0-cycles on a manifold defined and begun by Farb-Wolfson-Wood. Using work of Gadish on linear subspace arrangements, we obtain representation stability for the cohomology of the ordered version of these spaces. We establish subexponential bounds on the growth of unstable cohomology, and the Grothendieck-Lefschetz trace formula then allows us to translate these topological stability phenomena to stabilization of statistics for spaces of 0-cycles over finite fields. In particular, we show that the average value of certain arithmetic quantities associated to rational maps over finite fields stabilizes as the degree goes to infinity.
  • PDF
    We introduce the local and global indices of Dirac operators for the rational Cherednik algebra $\mathsf{H}_{t,c}(G,\mathfrak{h})$, where $G$ is a complex reflection group acting on a finite-dimensional vector space $\mathfrak{h}$. We investigate precise relations between the (local) Dirac index of a simple module in the category $\mathcal{O}$ of $\mathsf{H}_{t,c}(G,\mathfrak{h})$, the graded $G$-character of the module, the Euler-Poincaré pairing, and the composition series polynomials for standard modules. In the global theory, we introduce integral-reflection modules for $\mathsf{H}_{t,c}(G,\mathfrak{h})$ constructed from finite-dimensional $G$-modules. We define and compute the index of a Dirac operator on the integral-reflection module and show that the index is, in a sense, independent of the parameter function $c$. The study of the kernel of these global Dirac operators leads naturally to a notion of dualised generalised Dunkl-Opdam operators.
  • PDF
    Any generalization of the method of Godement-Jacquet on principal L-functions for GL(n) to other groups as perceived by Braverman-Kazhdan and Ngo requires a Fourier transform on a space of Schwartz functions. In the case of standard L-functions for classical groups, a theory of this nature was developed by Piatetski-Shapiro and Rallis, called the doubling method. It was later that Braverman and Kazhdan, using an algebro-geometric approach, different from doubling method, introduced a space of Schwartz functions and a Fourier transform, which projected onto those from doubling method. In both methods a normalized intertwining operator played the role of the Fourier transform. The purpose of this paper is to show that the Fourier transform of Braverman-Kazhdan projects onto that of doubling method. In particular, we show that they preserve their corresponding basic functions. The normalizations involved are not the standard ones suggested by Langlands, but rather a singular version of local coefficients of Langlands-Shahidi method. The basic function will require a shift by 1/2 as dictated by doubling construction, reflecting the global theory, and begs explanation when compared with the work of Bouthier-Ngo-Sakellaridis. This matter is further discussed in an appendix by Wen-Wei Li.
  • PDF
    We study the $1$-level density of low-lying zeros of quadratic Dirichlet $L$-functions by applying the $L$-functions Ratios Conjecture. We observe a transition in the main term as was predicted by the Katz-Sarnak heuristic as well as in the lower order terms when the support of the Fourier transform of the corresponding test function reaches the point $1$. Our results are consistent with those obtained in previous work under GRH and are furthermore analogous to results of Rudnick in the function field case.
  • PDF
    We give a characterization of relative Ding stable toric Fano manifolds in terms of the behavior of the modified Ding functional. We call the corresponding behavior of the modified Ding functional the pseudo-boundedness from below. We also discuss the pseudo-boundedness of the Ding / Mabuchi functional of general Fano manifolds.
  • PDF
    We propose a novel algorithm for phase-quantized constant-envelope precoding in the massive multi-user (MU) multiple-input multiple-output (MIMO) downlink. Specifically, we extend the nonlinear squared-infinity norm Douglas-Rachford splitting (SQUID) precoder to systems that use oversampling digital-to-analog converters (DACs) at the base station (BS) and orthogonal frequency-division multiplexing (OFDM) to communicate over frequency-selective channels. We demonstrate that SQUID is able to generate constant-envelope signals, which enables the use of power-efficient analog radio-frequency circuitry at the BS. By quantizing the phase of the resulting constant-envelope signal, we obtain a finite-cardinality signal that can be synthesized by low-resolution (e.g., 1-bit) DACs. We use error-rate simulations to demonstrate the superiority of SQUID over linear precoders for massive MU-MIMO-OFDM.
  • PDF
    In this paper, we classify all monic, critically finite quadratic polynomials $f(x) \in \mathbb{Z}[x]$ all of whose iterates are irreducible over $\mathbb{Q}$, but large enough iterates are reducible modulo every prime. In particular, we obtain infinitely many new examples of the phenomenon studied in [Jones]. While doing this, we also find all integers $a$ such that all iterates of the quadratic polynomial $(x+a)^2-a-1$ are irreducible over $\mathbb{Q}$, which answers a stability question posed in [AyadMcdonald]. Finally, we make a conjecture that suggests a necessary and sufficient condition for the stability of any monic, critically finite quadratic polynomial over any field of characteristic $\neq 2$.
  • PDF
    R. Kaufman and M. Tsujii proved that the Fourier transform of self-similar measures has a power decay outside of a sparse set of frequencies. We present a version of this result for homogeneous self-similar measures, with quantitative estimates, and derive several applications: (1) non-linear smooth images of homogeneous self-similar measures have a power Fourier decay, (2) convolving with a homogeneous self-similar measure increases correlation dimension by a quantitative amount, (3) the dimension and Frostman exponent of (biased) Bernoulli convolutions tend to $1$ as the contraction ratio tends to $1$, at an explicit quantitative rate.
  • PDF
    This paper characterizes the minimax linear estimator of the value of an unknown function at a boundary point of its domain in a Gaussian white noise model under the restriction that the first-order derivative of the unknown function is Lipschitz continuous (the second-order Hölder class). The result is then applied to construct the minimax optimal estimator for the regression discontinuity design model, where the parameter of interest involves function values at boundary points.
  • PDF
    We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the Perron-Frobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.
  • PDF
    Let $M$ be a real hypersurface of a complex space form with constant curvature $c$. In this paper, we study the hypersurface $M$ admitting Miao-Tam critical metric, i.e. the induced metric $g$ on $M$ satisfies the equation:$-(\Delta_g\lambda)g+\nabla^2_g\lambda-\lambda Ric=g$, where $\lambda$ is a smooth function on $M$. At first, for the case where $M$ is Hopf, $c=0$ and $c\neq0$ are considered respectively. For the non-Hopf case, we prove that the ruled real hypersurfaces of non-flat complex space forms do not admit Miao-Tam critical metrics. Finally, it is proved that a compact hypersurface of a complex Euclidean space admitting Miao-Tam critical metric with $\lambda>0$ or $\lambda<0$ is a sphere and a compact hypersurface of a non-flat complex space form does not exist such a critical metric.
  • PDF
    For the ring $\mathcal{O}_K$ of integers in a number field $K$, we construct a polynomial $H\in \operatorname{Int}(\mathcal{O}_K) = \{f\in K[x] \mid f(\mathcal{O}_K) \subseteq \mathcal{O}_K\}$ which has a given number of factorizations of prescribed length greater than $1$. In addition, we show that there is no transfer homomorphism from the multiplicative monoid of $\operatorname{Int}(\mathcal{O}_K)$ to a block monoid. In the case where $\mathcal{O}_K = \mathbb{Z}$ is the ring of integers these results had been shown before. However, the known construction depends on properties of $\mathbb{Z}$ which do not hold in general rings of integers $\mathcal{O}_K$ in number fields. We show that it is possible to overcome the difficulties and modify the approach in order to be applicable to the more general case. In particular, we exploit that $\mathcal{O}_K$ is a Dedekind domain and hence non-zero ideals factor uniquely as product of prime ideals.
  • PDF
    We prove the existence of singular harmonic ${\bf Z}_2$ spinors on $3$-manifolds with $b_1 > 1$. The proof relies on a wall-crossing formula for solutions to the Seiberg-Witten equation with two spinors. The existence of singular harmonic ${\bf Z}_2$ spinors and the shape of our wall-crossing formula shed new light on recent observations made by Joyce regarding Donaldson and Segal's proposal for counting $G_2$-instantons.
  • PDF
    This paper is concerned with the blowup phenomena for initial-boundary value problem for certain semi linear parabolic, dispersive and hyperbolic equations in cone-like domain. The result proposes a unified treatment of estimates for lifespan of solutions to the problem by test function method. The Fujita exponent p=1 + 2/N appears as a threshold of blowup phenomena for small data when $C_{{\Sigma}}=R^N$ , but the case of cone-like domain with boundary the threshold changes and explicitly given via the first eigenvalue of corresponding Laplace-Beltrami operator with Dirichlet boundary condition as in Levine-Meier in 1989.
  • PDF
    In the context of industrial engineering it is important to integrate efficient computational optimization methods in the product development process. Some of the most challenging simulation based engineering design optimization problems are characterized by: a large number of design variables, the absence of analytical gradient information, highly non-linear objectives and a limited function evaluation budget. Although a huge variety of different optimization algorithms is available, the development and selection of efficient algorithms for problems with these industrial relevant characteristics, remains a challenge. In this communication a hybrid variant of Differential Evolution (DE) is introduced which combines aspects of Stochastic Quasi-Gradient (SQG) methods within the framework of DE, in order to improve optimization efficiency on problems with the previously mentioned characteristics. The performance of the resulting method is compared with other state-of-the-art DE variants on 25 commonly used test functions, under tight function evaluation budget constraints of 1000 evaluations. The experimental results indicate that the proposed method performs particularly good on the "difficult" (high dimensional, multi-modal, inseparable) test functions. The operations used in the proposed mutation scheme, are computationally inexpensive, and can be easily implemented in existing differential evolution or other optimization algorithms by a few lines of program code as an non-invasive optional setting. Besides the applicability of the presented algorithm by itself, the described concepts can serve as a useful and interesting addition to the algorithmic operators in the frameworks of heuristics and evolutionary optimization and computing.
  • PDF
    In this paper, we study the pooled data problem of identifying the labels associated with a large collection of items, based on a sequence of pooled tests revealing the counts of each label within the pool. In the noiseless setting, we identify an exact asymptotic threshold on the required number of tests with optimal decoding, and prove a phase transition between complete success and complete failure. In addition, we present a novel noisy variation of the problem, and provide an information-theoretic framework for characterizing the required number of tests for general random noise models. Our results reveal that noise can make the problem considerably more difficult, with strict increases in the scaling laws even at low noise levels. Finally, we demonstrate similar behavior in an approximate recovery setting, where a given number of errors is allowed in the decoded labels.
  • PDF
    Dictionaries are collections of vectors used for representations of elements in Euclidean spaces. While recent research on optimal dictionaries is focussed on providing sparse (i.e., $\ell_0$-optimal,) representations, here we consider the problem of finding optimal dictionaries such that representations of samples of a random vector are optimal in an $\ell_2$-sense. For us, optimality of representation is equivalent to minimization of the average $\ell_2$-norm of the coefficients used to represent the random vector, with the lengths of the dictionary vectors being specified a priori. With the help of recent results on rank-$1$ decompositions of symmetric positive semidefinite matrices and the theory of majorization, we provide a complete characterization of $\ell_2$-optimal dictionaries. Our results are accompanied by polynomial time algorithms that construct $\ell_2$-optimal dictionaries from given data.
  • PDF
    We study a nonlinear, nonhomogeneous elliptic equation with an asymmetric reaction term depending on a positive parameter, coupled with Robin boundary conditions. Under appropriate hypotheses on both the leading differential operator and the reaction, we prove that, if the parameter is small enough, the problem admits at least four nontrivial solutions: two of such solutions are positive, one is negative, and one is sign-changing. Our approach is variational, based on critical point theory, Morse theory, and truncation techniques.
  • PDF
    Inspired by results of A. Bergamasco on perturbations of vector fields defined on the two-dimensional torus, and of J. Delgado and M. Ruzhansky on properties of invariant operators with respect to an elliptic operator defined on a closed manifold, we give necessary and sufficient conditions to ensure that perturbations of a globally hypoelliptic operator defined on $\mathbb{T}\times M$, continue to be globally hypoelliptic, where $\mathbb{T}$ is the flat torus and $M$ is a closed smooth manifold. For this, we analyze the behavior, at infinity, of the sequences of eigenvalues generated by the family of matrices given by the restrictions of this on the eigenspaces of a fixed elliptic operator. As an application, we construct perturbations, invariant with respect to the Laplacian, of the vector field $D_t + \omega D_x$ on $\mathbb{T}^2$. In the case where these perturbations commute with the operator $D_x$, our examples recover and extend some results of Bergamasco. Additionally, we construct examples of low order perturbations that destroy the global hypoellipticity, in the presence of diophantine phenomena.
  • PDF
    We present a new framework for optimal control of PDEs using Koopman operator-based reduced order models (K-ROMs). By introducing a finite number of constant controls, the dynamic control system is transformed into a set of autonomous systems and the corresponding optimal control problem into a switching time optimization problem. This way, a nonlinear infinite-dimensional control problem is transformed into a low-dimensional linear problem. Using a recent convergence result for Extended Dynamic Mode Decomposition (EDMD), we prove convergence of the K-ROM-based solution towards the solution of the full system. To illustrate the results, we consider the 1D Burgers equation and the 2D Navier-Stokes equations. The numerical experiments show remarkable performance concerning both solution times as well as accuracy.
  • PDF
    We derive a simple bijection between geometric plane perfect matchings on $2n$ points in convex position and triangulations on $n+2$ points in convex position. We then extend this bijection to monochromatic plane perfect matchings on periodically $k$-colored vertices and $(k+2)$-gonal tilings of convex point sets. These structures are related to a generalisation of Temperley-Lieb algebras and our bijections provide explicit one-to-one relations between matchings and tilings. Moreover, for a given element of one class, the corresponding element of the other class can be computed in linear time.
  • PDF
    We consider the problem of designing codes for distributed storage that protect user data against eavesdroppers that can gain access to network links as well as individual nodes. Our goal is to achieve weak security (also known as block security) that requires that the eavesdroppers would not be able to decode individual files or combinations of a small number of files. The standard approach for achieving block security is to use a joint design scheme that consists of (inner) storage code and the (outer) coset code. However, jointly designing the codes requires that the user, who pre-processes and stores the files, should know the underlying storage code in order to design the (outer) linear transformation for achieving weak security. In many practical scenarios, such as storing the files on the third party cloud storage system, it may not be possible for the user to know the underlying storage code. In this work, we present universal schemes that separate the outer code design from the storage code design for minimum storage regenerating codes (MSR). Our schemes allow the independent design of the storage code and the outer code. Our schemes use small field size and can be used in a broad range of practical settings.
  • PDF
    We study a finite element computational model for solving the coupled problem arising in the interaction between a free fluid and a fluid in a poroelastic medium. The free fluid is governed by the Stokes equations, while the flow in the poroelastic medium is modeled using the Biot poroelasticity system. Equilibrium and kinematic conditions are imposed on the interface. A mixed Darcy formulation is employed, resulting in continuity of flux condition of essential type. A Lagrange multiplier method is employed to impose weakly this condition. A stability and error analysis is performed for the semi-discrete continuous-in-time and the fully discrete formulations. A series of numerical experiments is presented to confirm the theoretical convergence rates and to study the applicability of the method to modeling physical phenomena and the sensitivity of the model with respect to its parameters.
  • PDF
    The joint design of spatial channel assignment and power allocation in Multiple Input Multiple Output (MIMO) systems capable of Simultaneous Wireless Information and Power Transfer (SWIPT) is studied. Assuming availability of channel state information at both communications ends, we maximize the harvested energy at the multi-antenna receiver, while satisfying a minimum information rate requirement for the MIMO link. We first derive the globally optimal eigenchannel assignment and power allocation design, and then present a practically motivated tight closed-form approximation for the optimal design parameters. Selected numerical results verify the validity of the optimal solution and provide useful insights on the proposed designs as well as the pareto-optimal rate-energy tradeoff.
  • PDF
    We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: let $X,Y$ be two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ be a relatively compact open set where $Y$ does not vanish, then $X$ has zero Poincaré-Hopf index in $U$. We prove that conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are colinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, and assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^3$ case of the conjecture and indeed we discuss a global strategy to attack this problem.
  • PDF
    We develop higher order multipoint flux mixed finite element (MFMFE) methods for solving elliptic problems on quadrilateral and hexahedral grids that reduce to cell-based pressure systems. The methods are based on a new family of mixed finite elements, which are enhanced Raviart-Thomas spaces with bubbles that are curls of specially chosen polynomials. The velocity degrees of freedom of the new spaces can be associated with the points of tensor-product Gauss-Lobatto quadrature rules, which allows for local velocity elimination and leads to a symmetric and positive definite cell-based system for the pressures. We prove optimal $k$-th order convergence for the velocity and pressure in their natural norms, as well as $(k+1)$-st order superconvergence for the pressure at the Gauss points. Moreover, local postprocessing gives a pressure that is superconvergent of order $(k+1)$ in the full $L^2$-norm. Numerical results illustrating the validity of our theoretical results are included.
  • PDF
    We construct and study the weak solution to stochastic differential equation $dX(t)=-b(X(t))dt+\sqrt{2}dW(t)$, $X_0=x$, for every $x \in \mathbb R^d$, $d \geq 3$, with $b$ in the class of weakly form-bounded vector fields, containing, as proper subclasses, a sub-critical class $[L^d+L^\infty]^d$, as well as critical classes such as weak $L^d$ class, Kato class, Campanato-Morrey class, Chang-Wilson-T. Wolff class.
  • PDF
    We study an optimal control problem on infinite horizon for a controlled stochastic differential equation driven by Brownian motion, with a discounted reward functional. The equation may have memory or delay effects in the coefficients, both with respect to state and control, and the noise can be degenerate. We prove that the value, i.e. the supremum of the reward functional over all admissible controls, can be represented by the solution of an associated backward stochastic differential equation (BSDE) driven by the Brownian motion and an auxiliary independent Poisson process and having a sign constraint on jumps. In the Markovian case when the coefficients depend only on the present values of the state and the control, we prove that the BSDE can be used to construct the solution, in the sense of viscosity theory, to the corresponding Hamilton-Jacobi-Bellman partial differential equation of elliptic type on the whole space, so that it provides us with a Feynman-Kac representation in this fully nonlinear context. The method of proof consists in showing that the value of the original problem is the same as the value of an auxiliary optimal control problem (called randomized), where the control process is replaced by a fixed pure jump process and maximization is taken over a class of absolutely continuous changes of measures which affect the stochastic intensity of the jump process but leave the law of the driving Brownian motion unchanged.
  • PDF
    Given a graph $G$, the unraveled ball of radius $r$ around a vertex $v$ is the ball of radius $r$ around $v$ in the universal cover of $G$. We prove a lower bound on the maximum spectral radius of unraveled balls of a fixed radius, and we explore some of its applications to the problems in the neighborhood of the Alon--Boppana bound. In particular, we show that if the average degree of $G$ after deleting any ball of radius $r$ is at least $d$ then its second largest eigenvalue is at least $2\sqrt{d-1}\cos(\frac{\pi}{r+1})$.
  • PDF
    We consider a $\mathcal{C}^3$ family $t\mapsto f_t$ of $\mathcal{C}^4$ Anosov diffeomorphisms on a compact Riemannian manifold $M$. Denoting by $\rho_t$ the SRB measure of $f_t$, we prove that the map $t\mapsto\int \theta d\rho_t$ is differentiable if $\theta$ is of the form $\theta(x)=h(x)\delta(g(x)-a)$, with $\delta$ the Dirac distribution, $g:M\rightarrow \mathbb{R}$ a $\mathcal{C}^4$ function, $h:M\rightarrow\mathbb{R}$ a $\mathcal{C}^3$ function and $a$ a regular value of $g$. We also require a transversality condition, namely that the intersection of the support of $h$ with the level set $\{g(x)=a\} $ is foliated by 'admissible stable leaves'.

Recent comments

Bin Shi Oct 05 2017 00:07 UTC

Welcome to give the comments for this paper!

gae Jul 26 2017 21:19 UTC

For those interested in the literature on teleportation simulation of quantum channels, a detailed and *comprehensive* review is provided in Supplementary Note 8 of https://images.nature.com/original/nature-assets/ncomms/2017/170426/ncomms15043/extref/ncomms15043-s1.pdf
The note describes well the t

...(continued)
Māris Ozols Jul 26 2017 11:07 UTC

Conway's list still has four other $1000 problems left:

https://oeis.org/A248380/a248380.pdf

Alvaro M. Alhambra Jul 24 2017 16:10 UTC

This paper has just been updated and we thought it would be a good
idea to advertise it here. It was originally submitted a year ago, and
it has now been essentially rewritten, with two new authors added.

We have fixed some of the original results and now we:
-Show how some fundamental theorem

...(continued)
Steve Flammia Jul 21 2017 13:43 UTC

Actually, there is even earlier work that shows this result. In [arXiv:1109.6887][1], Magesan, Gambetta, and Emerson showed that for any Pauli channel the diamond distance to the identity is equal to the trace distance between the associated Choi states. They prefer to phrase their results in terms

...(continued)
gae Jul 21 2017 09:00 UTC

In relation with the discussion at page 21 of this paper. Consider depolarizing channels (including the trivial case of the identity channel) which are teleportation covariant as in the definition Eq. (9) of https://arxiv.org/abs/1510.08863 [Nature Communications 8, 15043 (2017)]. The diamond norm b

...(continued)
Stefano Pirandola May 05 2017 05:45 UTC

Today I have seen on the arXiv the version 2 of this paper on quantum reading. I am sorry to say that this revision still misses to acknowledge important contributions from previous works, especially in relation to the methods on channel simulation and teleportation that are crucial for its claims.

...(continued)
Zoltán Zimborás Apr 18 2017 09:47 UTC

Great note. I real like the two end-sentences: "Of course, any given new approach to a hard and extensively studied problem has a very low probability to lead to a direct solution (some popular accounts may not have emphasized this to the degree we would have preferred). But arguably, this makes the

...(continued)
Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.