- 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].
- 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.
- 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.
- 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.
- 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.
- Dec 15 2017 math.AP arXiv:1712.05360v1In 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.
- 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.
- Dec 15 2017 math.AP arXiv:1712.05253v1We 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$.
- 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.
- Dec 15 2017 math.NT arXiv:1712.05195v1A 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.
- 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.
- Dec 15 2017 math.CV arXiv:1712.05125v1A 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.
- Dec 15 2017 math.FA arXiv:1712.05104v1We characterize positivity preserving, translation invariant, linear operators in $L^p(\mathbb{R}^n)^m$, $p \in [1,\infty)$, $m,n \in \mathbb{N}$.
- 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.
- Dec 15 2017 math.FA arXiv:1712.05058v1In 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.
- Parameterized Littlewood-Paley operators with variable kernels on Hardy spaces and weak Hardy spacesDec 15 2017 math.CA arXiv:1712.05280v1In 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.04986v1We 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.
- Dec 15 2017 math.PR arXiv:1712.05391v1
- Dec 15 2017 math.GR arXiv:1712.05361v1
- Dec 15 2017 math.DS arXiv:1712.05340v1
- Dec 15 2017 math.GN arXiv:1712.05336v1
- Dec 15 2017 math.AP arXiv:1712.05315v1
- Dec 15 2017 math.RT arXiv:1712.05299v1
- Dec 15 2017 math.AG arXiv:1712.05295v1
- Dec 15 2017 math.NT arXiv:1712.05268v1
- Dec 15 2017 math.NT arXiv:1712.05258v1
- Dec 15 2017 math.GT arXiv:1712.05252v1
- Dec 15 2017 math.AP arXiv:1712.05241v1
- Dec 15 2017 math.OC arXiv:1712.05228v1
- Dec 15 2017 math.AP arXiv:1712.05223v1