Mathematics (math)

  • PDF
    We investigate the quantum Jensen divergences from the viewpoint of joint convexity. It turns out that the set of the functions which generate jointly convex quantum Jensen divergences on positive matrices coincides with the Matrix Entropy Class which has been introduced by Chen and Tropp quite recently in [Electron. J. Probab. 19 (2014), 1-30].
  • PDF
    Covert communication can prevent the opponent from knowing that a wireless communication has occurred. In the additive white Gaussian noise channels, if we only take the ambient noise into account, a square root law was obtained and the result shows that Alice can reliably and covertly transmit $\mathcal{O}(\sqrt{n})$ bits to Bob in $n$ channel uses. If additional "friendly" node closest to the adversary can produce artificial noise to aid in hiding the communication, the covert throughput can be improved. In this paper, we consider the covert communication in noisy wireless networks, where potential transmitters form a stationary Poisson point process. Alice wishes to communicate covertly to Bob without being detected by the warden Willie. In this scenario, Bob and Willie not only experience the ambient noise, but also the aggregated interference simultaneously. Although the random interference sources are not in collusion with Alice and Bob, our results show that uncertainty in noise and interference experienced by Willie is beneficial to Alice. When the distance between Alice and Willie $d_{a,w}=\omega(n^{\delta/4})$ ($\delta=2/\alpha$ is stability exponent), Alice can reliably and covertly transmit $\mathcal{O}(\log_2\sqrt{n})$ bits to Bob in $n$ channel uses, and there is no limitation on the transmit power of transmitters. Although the covert throughout is lower than the square root law and the friendly jamming scheme, the spatial throughout of the network is higher, and Alice does not presuppose to know the location of Willie. From the network perspective, the communications are hidden in the noisy wireless networks, and what Willie sees is merely a "\emphshadow" wireless network where he knows for certain some nodes are transmitting, but he cannot catch anyone red-handed.
  • PDF
    We analyse the Tangle --- a DAG-valued stochastic process where new vertices get attached to the graph at Poissonian times, and the attachment's locations are chosen by means of random walks on that graph. We prove existence of ("almost symmetric") Nash equilibria for the system where a part of players tries to optimize their attachment strategies. Then, we also present simulations that show that the "selfish" players will nevertheless cooperate with the network by choosing attachment strategies that are similar to the default one.
  • PDF
    Consider a fibred compact Kähler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature Kähler metric and has discrete automorphism group. Assuming the base of the fibration admits a twisted extremal metric where the twisting form is a certain Weil-Petersson type metric, we prove that X admits an extremal metric for polarisations making the fibres small. Thus X admits a constant scalar curvature Kähler metric if and only if the Futaki invariant vanishes. This extends a result of Fine, who proved this result when the base admits no continuous automorphisms. As consequences of our techniques, we obtain the following analogues for maps of various fundamental results for varieties: if a map admits a twisted constant scalar curvature Kähler metric metric, then its automorphism group is reductive; a twisted extremal metric is invariant under a maximal compact subgroup of the automorphism group of the map; there is a geometric interpretation for uniqueness of twisted extremal metrics on maps.
  • PDF
    We define a monad on the category of complete metric spaces with short maps, which assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich--Wasserstein distance. It is analogous to the Giry monad on the category of Polish spaces, and it extends a construction due to van Breugel for compact and for 1-bounded complete metric spaces. We prove that this Kantorovich monad arises from a colimit construction on finite powers, which formalizes the intuition that probability measures are limits of finite samples. The proof relies on a new criterion for when an ordinary left Kan extension of lax monoidal functors is a monoidal Kan extension. This colimit characterization allows for the development of integration theory and other things, such as the treatment of measures on spaces of measures, completely without measure theory. We also show that the category of algebras of the Kantorovich monad is equivalent to the category of closed convex subsets of Banach spaces with short affine maps as the morphisms.
  • PDF
    In their classical work, Caflisch and Sammartino proved the inviscid limit of the incompressible Navier-Stokes equations for well-prepared data with analytic regularity in the half-space. Their proof is based on the detailed construction of Prandtl's boundary layer asymptotic expansions. In this paper, we give a direct proof of the inviscid limit for general analytic data without having to construct Prandtl's boundary correctors. Our analysis makes use of the boundary vorticity formulation and the abstract Cauchy-Kovalevskaya theorem on analytic boundary layer function spaces that capture unbounded vorticity.
  • PDF
    We demonstrate that a large class of first-order quantum phase transitions can be described as a condensation in the space of states. Given a system having Hamiltonian $H=K+gV$, where $K$ and $V$ are hopping and potential operators acting on the space of states $\mathbb{F}$, we may always write $\mathbb{F}=\mathbb{F}_\mathrm{cond} \oplus \mathbb{F}_\mathrm{norm}$ where $\mathbb{F}_\mathrm{cond}$ is the subspace which spans the eigenstates of $V$ with minimal eigenvalue and $\mathbb{F}_\mathrm{norm}=\mathbb{F}_\mathrm{cond}^\perp$. If, in the thermodynamic limit, $M_\mathrm{cond}/M \to 0$, where $M$ and $M_\mathrm{cond}$ are, respectively, the dimensions of $\mathbb{F}$ and $\mathbb{F}_\mathrm{cond}$, the above decomposition of $\mathbb{F}$ becomes effective, in the sense that the ground state energy per particle of the system, $\epsilon$, coincides with the smaller between $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$, the ground state energies per particle of the system restricted to the subspaces $\mathbb{F}_\mathrm{cond}$ and $\mathbb{F}_\mathrm{norm}$, respectively. It may then happen that, as a function of the parameter $g$, the energies $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$ cross at $g=g_\mathrm{c}$. In this case, a first-order quantum phase transition takes place between a condensed phase (system restricted to the small subspace $\mathbb{F}_\mathrm{cond}$) and a normal phase (system spread over the large subspace $\mathbb{F}_\mathrm{norm}$). Since, in the thermodynamic limit, $M_\mathrm{cond}/M \to 0$, the confinement into $\mathbb{F}_\mathrm{cond}$ is actually a condensation in which the system falls into a ground state orthogonal to that of the normal phase, something reminiscent of Andersons' orthogonality catastrophe. The outlined mechanism is tested on a variety of benchmark lattice models.
  • PDF
    We consider the Cauchy problem for second order differential operators with two independent variables $P=D_t^2-D_x(b(t)a(x))D_x$. Assume that $b(t)$ is a nonnegative $C^{\infty}$ function and $a(x)$ is a nonnegative Gevrey function of order $s>1$ we prove that the Cauchy problem for $P$ is well-posed in the Gevrey class of any order $s'>s$.
  • PDF
    In this paper we focus on the Cauchy problem for the incompressible Navier-Stokes equation with a rough external force. If the given rough external force is small, we prove the local-in-time existence of this system for any initial data belonging to the critical Besov space $\dot{B}_{p,p}^{-1+\frac{3}{p}}$, where $3<p<\infty$. Moreover, We show the long-time behavior of the priori global solutins constructed by us. Also, we give three kinds of uniqueness results of the forced Navier-Stokes equations.
  • PDF
    A sum-and-distance system is a collection of finite sets of integers such that the sums and differences formed by taking one element from each set generate a prescribed arithmetic progression. Such systems, with two component sets, arise naturally in the study of matrices with symmetry properties and consecutive integer entries. Sum systems are an analogous concept where only sums of elements are considered. We establish a bijection between sum systems and sum-and-distance systems of corresponding size, and show that sum systems are equivalent to principal reversible cuboids, which are tensors with integer entries and a symmetry of "reversible square" type. We prove a structure theorem for principal reversible cuboids, which gives rise to an explicit construction formula for all sum systems in terms of joint ordered factorisations of their component set cardinalities.
  • PDF
    We investigate the reflectionlessness and invisibility properties in the transverse electric (TE) mode solution of a linear homogeneous optical system which comprises the $\mathcal{PT}$-symmetric structures covered by graphene sheets. We derive analytic expressions, indicate roles of each parameter governing optical system with graphene and justify that optimal conditions of these parameters give rise to broadband and wide angle invisibility. Presence of graphene turns out to shift the invisible wavelength range and to reduce the required gain amount considerably, based on its chemical potential and temperature. We substantiate that our results yield broadband reflectionless and invisible configurations for realistic materials of small refractive indices, usually around $\eta = 1$, and of small thickness sizes with graphene sheets of rather small temperatures and chemical potentials. Finally, we demonstrate that pure $\mathcal{PT}$-symmetric graphene yields invisibility at small temperatures and chemical potentials.
  • PDF
    A space $G(M, \varPhi)$ of infinitely differentiable functions in ${\mathbb R}^n$ constructed with a help of a family $\varPhi=\{\varphi_m\}_{m=1}^{\infty}$ of real-valued functions $\varphi_m \in~C({\mathbb R}^n)$ and a logarithmically convex sequence $M$ of positive numbers is considered in the article. In view of conditions on $M$ each function of $G(M, \varPhi)$ can be extended to an entire function in ${\mathbb C}^n$. Imposed conditions on $M$ and $\varPhi$ allow to describe the space of such extensions.
  • PDF
    We characterize positivity preserving, translation invariant, linear operators in $L^p(\mathbb{R}^n)^m$, $p \in [1,\infty)$, $m,n \in \mathbb{N}$.
  • PDF
    Let $\phi$ be an $L^2$-normalized spherical vector in an everywhere unramified cuspidal automorphic representation of $\mathrm{PGL}_n$ over $\mathbb{Q}$ with Laplace eigenvalue $\lambda_{\phi}$. We establish explicit estimates for various quantities related with $\phi$ that are uniform in $\lambda_{\phi}$. This includes uniforms bounds for spherical Whittaker functions on $\mathrm{GL}_n(\mathbb{R})$, uniform bounds for the global sup-norm of $\phi$, and uniform bounds for the "essential support" of $\phi$, i.e. the region outside which it decays exponentially. The proofs combine analytic and arithmetic tools.
  • PDF
    In this paper, we study the notion of Johnson pseudo-contractibility for certain Banach algebras. For a bicyclic semigroup $S$, we show that $\ell^{1}(S)$ is not Johnson pseudo-contractible. Also for a Johnson pseudo-contractible Banach algebra $A$, we show that $A$ has no non-zero approximately complemented closed nilpotent ideal.
  • PDF
    In this paper, by using the atomic decomposition theory of Hardy space and weak Hardy space, we discuss the boundedness of parameterized Littlewood-Paley operator with variable kernel on these spaces.
  • Dec 15 2017 math.FA arXiv:1712.04986v1
    PDF
    We define a general notion of "summability" of a set $I\subseteq\mathbb{C^{N}}$ and show that some trivial condition necessary for a set to be summable, is also sufficient. We deduce some intresting corollaries.
  • PDF
    We prove that the Tate, Beilinson and Parshin conjectures are invariant under Homological Projective Duality (=HPD). As an application, we obtain a proof of these celebrated conjectures (as well as of the strong form of the Tate conjecture) in the new cases of linear sections of determinantal varieties and complete intersections of two quadrics. Furthermore, we extend the original conjectures of Tate, Beilinson and Parshin from schemes to stacks and prove these extended conjectures for certain low-dimensional global orbifolds.
  • PDF
    By using a projective connection over the space of two-dimensional affine connections, we are able to show that the metric interaction of Polyakov 2D gravity with a coadjoint element arises naturally through the projective Ricci tensor. Through the curvature invariants of Thomas-Whitehead, we are able to define an action that could describe dynamics to the projective connection. We discuss implications of the projective connection in higher dimensions as related to gravitation.
  • PDF
    We consider systems of backward stochastic differential equations with càdlàg upper barrier $U$ and oblique reflection from below driven by an increasing continuous function $H$. Our equations are defined on general probability spaces with filtration satisfying merely the usual assumptions of right continuity and completeness. We assume that the pair $(H(U),U)$ satisfies a Mokobodzki-type condition. We prove the existence of a solution for integrable terminal condition and integrable quasi-monotone generator. Applications to the optimal switching problem are given.
  • PDF
    Bizarrely shaped voting districts are frequently lambasted as likely instances of gerrymandering. In order to systematically identify such instances, researchers have devised several tests for so-called geographic compactness (i.e., shape niceness). We demonstrate that under certain conditions, a party can gerrymander a competitive state into geographically compact districts to win an average of over 70% of the districts. Our results suggest that geometric features alone may fail to adequately combat partisan gerrymandering.
  • PDF
    We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.
  • PDF
    We prove conjectures of Rene Thom and Vladimir Arnold for C^2 solutions to the degenerate elliptic equation that is the level set equation for motion by mean curvature. We believe these results are the first instances of a general principle: Solutions of many degenerate equations behave as if they are analytic, even when they are not. If so, this would explain various conjectured phenomena.
  • PDF
    We prove that, if $G$ is a second-countable topological group with a compatible right-invariant metric $d$ and $(\mu_{n})_{n \in \mathbb{N}}$ is a sequence of compactly supported Borel probability measures on $G$ converging to invariance with respect to the mass transportation distance over $d$ such that $\left(\mathrm{spt} \, \mu_{n}, d\!\!\upharpoonright_{\mathrm{spt} \, \mu_{n}}, \mu_{n}\!\!\upharpoonright_{\mathrm{spt} \, \mu_{n}}\right)_{n \in \mathbb{N}}$ concentrates to a fully supported, compact $mm$-space $\left(X,d_{X},\mu_{X}\right)$, then $X$ is homeomorphic to a $G$-invariant subspace of the Samuel compactification of $G$. In particular, this confirms a conjecture by Pestov and generalizes a well-known result by Gromov and Milman on the extreme amenability of topological groups. Furthermore, we exhibit a connection between the average orbit diameter of a metrizable flow of an arbitrary amenable topological group and the limit of Gromov's observable diameters along any net of Borel probability measures UEB-converging to invariance over the group.
  • PDF
    We analyze a multi-type age dependent model for cell populations subject to unidirectional motion, in both a stochastic and deterministic framework. Cells are distributed into successive layers; they may divide and move irreversibly from one layer to the next. We adapt results on the large-time convergence of PDE systems and branching processes to our context, where the Perron-Frobenius or Krein-Rutman theorem can not be applied. We derive explicit analytical formulas for the asymptotic cell number moments, and the stable age distribution. We illustrate these results numerically and we apply them to the study of the morphodynamics of ovarian follicles. We prove the structural parameter identifiability of our model in the case of age independent division rates. Using a set of experimental biological data, we estimate the model parameters to fit the changes in the cell numbers in each layer during the early stages of follicle development.
  • PDF
    We show that for every positive integer $n$ there exists a simple group that is of type $F_{n-1}$ but not of type $F_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely many quasi-isometry classes of finitely presented simple groups. The only previously known infinite family of such classes, due to Caprace--Rémy, consists of non-affine Kac--Moody groups over finite fields. Our examples arise from Nekrashevych groups, and contain free abelian groups of infinite rank.
  • PDF
    We prove that every topologically transitive shift of finite type in one dimension is topologically conjugate to a subshift arising from a primitive random substitution on a finite alphabet. As a result, we show that the set of values of topological entropy which can be attained by random substitution subshifts contains all Perron numbers and so is dense in the positive real numbers. We also provide an independent proof of this density statement using elementary methods.
  • PDF
    We present results on simplifying an acting group preserving properties of actions: transitivity, being a coset space and preserving a fixed equiuniformity in case of a $G$-Tychonoff space.
  • PDF
    In this work we consider the problem of global existence of small regular solutions to a type nonlinear wave-Klein-Gordon system with semi-linear interactions in two spatial dimension. We develop some new techniques on both wave equations and Klein-Gordon equations in order to get sufficient decay rates when energies are not uniformly bounded. These techniques are compatible with those introduced in previous work on two spatial-dimensional quasi-linear wave-Klein-Gordon systems, and can be applied in much general cases.
  • PDF
    The Bradley-Terry model assigns probabilities for the outcome of paired comparison experiments based on strength parameters associated with the objects being compared. We consider different proposed choices of prior parameter distributions for Bayesian inference of the strength parameters based on the paired comparison results. We evaluate them according to four desiderata motivated by the use of inferred Bradley-Terry parameters to rate teams on the basis of outcomes of a set of games: invariance under interchange of teams, invariance under interchange of winning and losing, normalizability and invariance under elimination of teams. We consider various proposals which fail to satisfy one or more of these desiderata, and illustrate two proposals which satisfy them. Both are one-parameter independent distributions for the logarithms of the team strengths: 1) Gaussian and 2) Type III generalized logistic.
  • PDF
    Using the results obtained by Staruszkiewicz in Acta Phys. Pol. B 23, 591 (1992) and in Acta Phys. Pol. B 23, 927 (1992) we show that the representations acting in the eigenspaces of the total charge operator corresponding to the eigenvalues $n_1, n_2$ whose absolute values are less than or equal $\sqrt{\pi/e^2}$ are inequivalent if $|n_1| \neq |n_2|$ and contain the supplementary series component acting as a discrete component. On the other hand the representations acting in the eigenspaces corresponding to eigenvalues whose absolute values are greater than $\sqrt{\pi/e^2}$ are all unitarily equivalent and do not contain any supplementary series component.
  • PDF
    This paper considers the integrated problem of quay crane assignment, quay crane scheduling, yard location assignment, and vehicle dispatching operations at a container terminal. The main objective is to minimize vessel turnover times and maximize the terminal throughput, which are key economic drivers in terminal operations. Due to their computational complexities, these problems are not optimized jointly in existing work. This paper revisits this limitation and proposes Mixed Integer Programming (MIP) and Constraint Programming (CP) models for the integrated problem, under some realistic assumptions. Experimental results show that the MIP formulation can only solve small instances, while the CP model finds optimal solutions in reasonable times for realistic instances derived from actual container terminal operations.
  • PDF
    An expression for the dimensionless dissipation rate was derived from the Karman-Howarth equation by asymptotic expansion of the second- and third- order structure functions in powers of the inverse Reynolds number. The implications of the time-derivative term for the assumption of local stationarity (or local equilibrium) which underpins the derivation of the Kolmogorov `4/5' law for the third-order structure function were studied. It was concluded that neglect of the time-derivative cannot be justified by reason of restriction to certain scales (the inertial range) nor to large Reynolds numbers. In principle, therefore, the hypothesis cannot be correct, although it may be a good approximation. It follows, at least in principle, that the quantitative aspects of the hypothesis of local stationarity could be tested by a comparison of the asymptotic dimensionless dissipation rate for free decay with that for the stationary case. But in practice this is complicated by the absence of an agreed evolution time for making the measurements during the decay. However, we can assess the quantitative error involved in using the hypothesis by comparing the exact asymptotic value of the dimensionless dissipation in free decay calculated on the assumption of local stationarity to the experimentally determined value (e.g. by means of direct numerical simulation), as this relationship holds for all measuring times. Should the assumption of local stationarity lead to significant error, then the `4/5' law needs to be corrected. Despite this, scale invariance in wavenumber space appears to hold in the formal limit of infinite Reynolds numbers, which implies that the `-5/3' energy spectrum does not require correction in this limit.
  • PDF
    Computing the extensions between Verma modules is in general a very difficult problem. Using Soergel bimodules, one can construct a graded version of the principal block of Category $\mathcal{O}$ for any finite coxeter group. In this setting, we compute the extensions between Verma modules for dihedral groups.
  • PDF
    This article constructs a smooth weak Fano threefold of Picard number two with small anti-canonical morphism that arises as a blowup of a smooth curve of genus 5 and degree 8 in $\mathbb{P}^3$. While the existence of this weak Fano was known as a numerical possibility in \citeCM13 and constructed in BL12, this paper removes the dependencies on the results in \citeJPR11 needed in the construction of BL12 and constructs the link in the style of ACM17.
  • PDF
    We give a Stinespring representation of the Schur block product, say (*), on pairs of square matrices with entries in a C*-algebra as a completely bounded bilinear operator of the form: A:=(a_ij), B:= (b_ij): A (*) B := (a_ijb_ij) = V* pi(A) F pi(B) V, such that V is an isometry, pi is a *-representation and F is a self-adjoint unitary. This implies an inequality due to Livshits and an apparently new one on diagonals of matrices. ||A (*) B|| ≤||A||_r ||B||_c operator, row and column norm; - diag(A*A) ≤A* (*) A ≤diag(A*A).
  • PDF
    Strictly proper kernel scores are well-known tool in probabilistic forecasting, while characteristic kernels have been extensively investigated in the machine learning literature. We first show that both notions coincide, so that insights from one part of the literature can be used in the other. We then show that the metric induced by a characteristic kernel cannot reliably distinguish between distributions that are far apart in the total variation norm as soon as the underlying space of measures is infinite dimensional. In addition, we provide a characterization of characteristic kernels in terms of eigenvalues and -functions and apply this characterization to the case of continuous kernels on (locally) compact spaces. In the compact case we further show that characteristic kernels exist if and only if the space is metrizable. As special cases of our general theory we investigate translation-invariant kernels on compact Abelian groups and isotropic kernels on spheres. The latter are of particular interest for forecast evaluation of probabilistic predictions on spherical domains as frequently encountered in meteorology and climatology.
  • PDF
    We present a genus 0 Belyi map for the sporadic Janko group J2 of degree 280. As a consequence we obtain a polynomial having Aut(J2) as a Galois group over K(t) where K is a number field of degree 10.
  • PDF
    Motivated by the calculation of correlation functions in inhomogeneous one-dimensional (1d) quantum systems, the 2d Inhomogeneous Gaussian Free Field (IGFF) is studied and solved. The IGFF is defined in a domain $\Omega \subset \mathbb{R}^2$ equipped with a conformal class of metrics $[{\rm g}]$ and with a real positive coupling constant $K: \Omega \rightarrow \mathbb{R}_{>0}$ by the action $\mathcal{S}[h] = \frac{1}{8\pi } \int_\Omega \frac{\sqrt{{\rm g}} d^2 {\rm x}}{K({\rm x})} \, {\rm g}^{i j} (\partial_i h)(\partial_j h)$. All correlations functions of the IGFF are expressible in terms of the Green's functions of generalized Poisson operators that are familiar from 2d electrostatics in media with spatially varying dielectric constants. This formalism is then applied to the study of ground state correlations of the Lieb-Liniger gas trapped in an external potential $V(x)$. Relations with previous works on inhomogeneous Luttinger liquids are discussed. The main innovation here is in the identification of local observables $\hat{O} (x)$ in the microscopic model with their field theory counterparts $\partial_x h, e^{i h(x)}, e^{-i h(x)}$, etc., which involve non-universal coefficients that themselves depend on position --- a fact that, to the best of our knowledge, was overlooked in previous works on correlation functions of inhomogeneous Luttinger liquids ---, and that can be calculated thanks to Bethe Ansatz form factors formulae available for the homogeneous Lieb-Liniger model. Combining those position-dependent coefficients with the correlation functions of the IGFF, ground state correlation functions of the trapped gas are obtained. Numerical checks from DMRG are provided for density-density correlations and for the one-particle density matrix, showing excellent agreement.
  • PDF
    Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $\gamma$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(\gamma)(\mathcal{P})$ preserves the space of Poisson structures if $\gamma$ is a cocycle with respect to the vertex-expanding differential in the graph complex. A class of such cocycles $\boldsymbol{\gamma}_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbol{\gamma}_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbol{\gamma}_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbol{\gamma}_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
  • PDF
    Let $n$ be a positive integer. In this paper we provide a general theory to produce full orbit sequences in the affine $n$-dimensional space over a finite field. For $n=1$ our construction covers the case of the Inversive Congruential Generators.
  • PDF
    In this paper we solve a problem posed by H. Bommier-Hato, M. Engliš and E.H. Youssfi in [3] on the boundedness of the Bergman-type projections in generalized Fock spaces. It will be a consequence of two facts: a full description of the embeddings between generalized Fock-Sobolev spaces and a complete characterization of the boundedness of the above Bergman type projections between weighted $L^p$-spaces related to generalized Fock-Sobolev spaces.
  • PDF
    The aim of this paper is to evaluate geometric Asian option by a mixed fractional subdiffusive Black-Scholes model. We derive a pricing formula for geometric Asian option when the underlying stock follows a time changed mixed fractional Brownian motion. We then apply the results to price Asian power options on the stocks that pay constant dividends when the payoff is a power function. Finally, lower bound of Asian options and some special cases are provided.
  • PDF
    We consider the question, asked by Friedl, Livingston and Zentner, of which sums of torus knots are concordant to alternating knots. After a brief analysis of the problem in its full generality, we focus on sums of two torus knots. We describe some effective obstructions based on Heegaard Floer homology.
  • PDF
    We consider Fock spaces $F^{p,\ell}_{\alpha}$ of entire functions on ${\mathbb C}$ associated to the weights $e^{-\alpha |z|^{2\ell}}$, where $\alpha>0$ and $\ell$ is a positive integer. We compute explicitly the corresponding Bergman kernel associated to $F^{2,\ell}_{\alpha}$ and, using an adequate factorization of this kernel, we characterize the boundedness and the compactness of the small Hankel operator $\mathfrak{h}^{\ell}_{b,\alpha}$ on $F^{p,\ell}_{\alpha}$. Moreover, we also determine when $\mathfrak{h}^{\ell}_{b,\alpha}$ is a Hilbert-Schmidt operator on $F^{2,\ell}_{\alpha}$.
  • PDF
    We consider a wireless network in which $K$ transmitters, each equipped with a single antenna, fully cooperate to serve $K$ single antenna receivers, each equipped with a cache memory. The transmitters have access to partial knowledge of the channel state information. For a symmetric setting, in terms of channel strength levels, partial channel knowledge levels and cache sizes, we characterize the generalized degrees of freedom (GDoF) up to a constant multiplicative factor. The achievability scheme exploits the interplay between spatial multiplexing gains and coded-multicasting gain. On the other hand, a cut-set argument in conjunction with a new application of the aligned image sets approach are used to derive the outer bound. We further show that the characterized order-optimal GDoF is also attained in a decentralized setting, where no coordination is required for content placement in the caches.
  • PDF
    We consider stationary axisymmetric solutions of the Euler-Poisson equations, which govern the internal structure of barotropic gaseous stars. The equation of states is supposed to be near to that of the polytropic gaseous stars of the adiabatic exponent $\gamma$ such that $6/5<\gamma <2$ at the vacuum, so that, besides the exact $\gamma$-laws of polytropic stars, as an example, the equation of states for white dwarfs can be treated. A generic condition of the existence of stationary solutions with differential rotation is given, and the existence of slowly rotating configurations near spherically symmetric equilibria is given. The problem is formulated as a nonlinear integral equation, and is solved by application of the infinite dimensional implicit function theorem. Properties of solutions such as physical vacuum boundary condition and oblateness of star surface are clarified.
  • PDF
    We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^*$-algebras. An explicit construction of an inverse system of groupoids is used to approximate a $\sigma$-compact groupoid $G$ by second countable groupoids; if $G$ is equipped with a Haar system and 2-cocycle then so are the approximation groupoids, and the maps in the inverse system are Haar system preserving. As an application of this construction, we show how to easily extend the Maximal Equivalence Theorem of Jean Renault to $\sigma$-compact groupoids.
  • PDF
    The goal of this work is to improve focusing of high-intensity ultrasound by modifying the geometry of acoustic lenses through shape optimization. The shape optimization problem is formulated by introducing a tracking-type cost functional to match a desired pressure distribution in the focal region. Westervelt's equation, a nonlinear acoustic wave equation, is used to model the pressure field. We apply the optimize first, then discretize approach, where we first rigorously compute the shape derivative of our cost functional. A gradient-based optimization algorithm is then developed within the concept of isogeometric analysis, where the geometry is exactly represented by splines at every gradient step and the same basis is used to approximate the equations. Numerical experiments in a 2D setting illustrate our findings.
  • PDF
    In this paper, we prove the existence of an initial trace ${\cal T}_u$ of any positive solution $u$ of the semilinear fractional diffusion equation $(H)$ $$\partial_t u + (-∆)^\alpha u+f(t,x,u)=0\quad \rm in\quad \mathbbR^*_+\times\mathbbR^N,$$ where $N\geq1$ where the operator $(-\Delta)^\alpha$ with $\alpha\in(0,1)$ is the fractional Laplacian and $f:\mathbb{R}^+\times\mathbb{R}^N\times \mathbb{R}_+\mapsto\mathbb{R}$ is a Caratheodory function satisfying $f(t,x,u)u\geq 0$ for all $(t,x,u)\in \mathbb{R}^+\times\mathbb{R}^N\times\mathbb{R}_+.$ We define the regular set of the trace ${\cal T}_u$ as an open subset of ${\cal R}_u\subset\mathbb{R}^N$ carrying a nonnegative Radon measive $\nu_u$ such that $$\lim_t\to 0\int_\cal R_uu(t,x)\zeta(x) dx=\int_\cal R_u\zeta d\nu\qquad∀\zeta∈C^2_0(\cal R_u),$$ and the singular set ${\cal S}_u=\mathbb{R}^N\setminus {\cal R}_u$ as the set points $a$ such that $$\limsup_t\to 0\int_B_\rho(a)u(t,x) dx = ∞\qquad ∀\rho>0.$$ We study the reverse problem of constructing a positive solution to $(H)$ with a given initial trace $({\cal S},\nu)$ where ${\cal S}\subset\mathbb{R}^N$ is a closed set and $\nu$ is a positive Radon measure on ${\cal R}=\mathbb{R}^N\setminus{\cal S}$ and develop the case $f(t,x,u)=t^\beta u^p$ where $\beta >-1$ and $p>1$.

Recent comments

Danial Dervovic Dec 10 2017 15:25 UTC

Thank you for the insightful observations, Simon.

In response to the first point, there is a very short comment in the Discussion section to this effect. I felt an explicit dependence on $T$ as opposed to the diameter would make the implications of the result more clear. Namely, lifting can mix

...(continued)
Simon Apers Dec 09 2017 07:54 UTC

Thanks for the comment, Simone. A couple of observations:

- We noticed that Danial's result can in fact be proved more directly using the theorem that is used from ([arXiv:1705.08253][1]): by choosing the quantum walk Cesaro average as the goal distribution, it can be attained with a lifted Markov

...(continued)
Simone Severini Dec 07 2017 02:51 UTC

Closely related to

Simon Apers, Alain Sarlette, Francesco Ticozzi, Simulation of Quantum Walks and Fast Mixing with Classical Processes, https://scirate.com/arxiv/1712.01609

In my opinion, lifting is a good opportunity to put on a rigorous footing the relationship between classical and quantu

...(continued)
Zoltán Zimborás Nov 17 2017 07:59 UTC

Interesting title for a work on Mourre theory for Floquet Hamiltonians.
I wonder how this slipped through the prereview process in arXiv.

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)