# Mathematics (math)

• In this note we present an explicit realization of the affine vertex algebra $V^{cri}(\frak{gl}(1 \vert 1))$ inside of the tensor product $F\otimes M$ where $F$ is a fermionic verex algebra and $M$ is a commutative vertex algebra. This immediately gives an alternative description of the center of $V^{cri}(\frak{gl}(1 \vert 1) ) )$ as a subalgebra $M _ 0$ of $M$. We reconstruct the Molev-Mukhin formula for the Hilbert-Poincare series of the center of $V^ {cri}(\frak{gl}(1 \vert 1) )$. Moreover, we construct a family of irreducible $V^{cri}(\frak{gl}(1 \vert 1))$ -modules realized on $F$ and parameterized by $\chi^+, \chi ^- \in {\Bbb C}((z)).$ We propose a generalization of $V^ {cri}(\frak{gl}(1 \vert 1))$ as a critical level version of the super $\mathcal W_{1+\infty}$ vertex algebra.
• Jun 29 2017 math.OC arXiv:1706.09019v1
There is a growing need to develop optimization methods to enable the reliable and efficient operation of power systems that have a large fraction of their power supplied from intermittent renewable resources. In this paper, we formulate the robust AC optimal power flow (RAC-OPF) problem as a two-stage robust optimization problem with recourse. This problem amounts to an infinite-dimensional nonconvex optimization problem, which is computationally intractable, in general. By restricting the space of recourse policies to those which are affine in the uncertain problem data, we provide a method to approximate RAC-OPF from within by a finite-dimensional semidefinite program. The resulting semidefinite program yields an affine recourse policy that is guaranteed to be feasible for RAC-OPF. We illustrate the effectiveness of the proposed optimization method on a nine-bus power system with different levels of renewable resource penetration and uncertainty.
• Jun 29 2017 math.OC arXiv:1706.08996v1
The clustering of a data set into disjoint clusters is one of the core tasks in data analytics. Many clustering algorithms exhibit a strong contrast between a favorable performance in practice and bad theoretical worst-cases. Prime examples are least-squares assignments and the popular k-means algorithm. We are interested in this contrast and approach it using methods of polyhedral theory. Several popular clustering algorithms are readily connected to finding a vertex of the so-called bounded-shape partition polytopes. The vertices correspond to clusterings with extraordinary separation properties, in particular allowing the construction of a separating power diagram such that each cluster has its own cell. The geometric structure of these polytopes reveals useful information: First, we are able to quantitatively measure the space of all sites that allow construction of a separating power diagrams for a clustering by the volume of its normal cone. This gives rise to a new quality criterion for clusterings, and explains why good clusterings are also the most likely to be found by some classical algorithms. Second, we characterize the edges of the bounded-shape partition polytopes. Through this, we obtain an explicit description of the normal cones. This allows us to compute measures with respect to the new quality criterion, and even compute most stable sites for the separation of clusters. The hardness of these computations depends on the number of edges incident to a vertex, which may be exponential. However, this computational effort is rewarded with a wealth of information that can be gained from the results, which we highlight using a toy example.
• We prove that two spheres of the same constant mean curvature in an arbitrary homogeneous three-manifold only differ by an ambient isometry, and we determine the values of the mean curvature for which such spheres exist. This gives a complete classification of immersed constant mean curvature spheres in three-dimensional homogeneous manifolds.
• A novel low-complexity wireless neighbor discovery scheme, referred to as sparse orthogonal frequency division multiplexing (sparse-OFDM) is proposed. One area of application is the "Internet of Things" (IoT). The number of devices is very large while every device accesses the network with a small probability, so the number of active devices in a frame is much smaller than the total local device population. Sparse OFDM is a one-shot transmission scheme with low complexity, which exploits both the parallel channel access offered by OFDM and the bursty nature of transmissions. When the transmission delay of each device is an integer number of symbol intervals, analysis and simulation show that sparse OFDM enables successful asynchronous neighbor discovery using a much smaller code length than random access schemes.
• We consider suspension flows over uniquely ergodic skew-translations on a $d$-dimensional torus $\mathbb{T}^d$, for $d \geq 2$. We prove that there exists a set $\mathscr{R}$ of smooth functions, which is dense in the space $\mathscr{C}(\mathbb{T}^d)$ of continuous functions, such that every roof function in $\mathscr{R}$ which is not cohomologous to a constant induces a mixing suspension flow. We also construct a dense set of mixing examples which is explicitly described in terms of their Fourier coefficients. In the language of nilflows on nilmanifolds, our result implies that, for every uniquely ergodic nilflow on a filiform nilmanifold, there exists a dense subspace of smooth time-changes in which mixing occurs if and only if the time-change is not cohomologous to a constant. This generalizes a theorem by Avila, Forni and Ulcigrai (J. Diff. Geom., 2011) for the classical Heisenberg group.
• Bounds on convergence rate to the invariant distribution for a class of stochastic differential equations (SDEs) with a gradient-type drift are obtained.
• The aim of this short note is to produce new examples of geometrical flows associated to a given Riemannian flow $g(t)$. The considered flow in covariant symmetric $2$-tensor fields will be called Ricci-Yamabe map since it involves a scalar combination of Ricci tensor and scalar curvature of $g(t)$. Due to the signs of considered scalars the Ricci-Yamabe flow can be also a Riemannian or semi-Riemannian or singular Riemannian flow. We study the associated function of volume variation as well as the volume entropy. Finally, since the two-dimensional case was the most handled situation we express the Ricci flow equation in all four orthogonal separable coordinate systems of the plane.
• In this paper, we discuss the solution of certain matrix-valued partial differential equations. Such PDEs arise, for example, when constructing a Riemannian contraction metric for a dynamical system given by an autonomous ODE. We develop and analyse a new meshfree discretisation scheme using kernel-based approximation spaces. However, since these approximation spaces have now to be matrix-valued, the kernels we need to use are fourth order tensors. We will review and extend recent results on even more general reproducing kernel Hilbert spaces. We will then apply this general theory to solve a matrix-valued PDE and derive error estimates for the approximate solution. The paper ends with a typical example from dynamical systems.
• We use product systems of $C^*$-correspondences to introduce twisted $C^*$-algebras of topological higher-rank graphs. We define the notion of a continuous $\mathbb{T}$-valued $2$-cocycle on a topological higher-rank graph, and present examples of such cocycles on large classes of topological higher-rank graphs. To every proper, source-free topological higher-rank graph $\Lambda$, and continuous $\mathbb{T}$-valued $2$-cocycle $c$ on $\Lambda$, we associate a product system $X$ of $C_0(\Lambda^0)$-correspondences built from finite paths in $\Lambda$. We define the twisted Cuntz--Krieger algebra $C^*(\Lambda,c)$ to be the Cuntz--Pimsner algebra $\mathcal{O}(X)$, and we define the twisted Toeplitz algebra $\mathcal{T} C^*(\Lambda,c)$ to be the Nica--Toeplitz algebra $\mathcal{NT}(X)$. We also associate to $\Lambda$ and $c$ a product system $Y$ of $C_0(\Lambda^\infty)$-correspondences built from infinite paths. We prove that there is an embedding of $\mathcal{T} C^*(\Lambda,c)$ into $\mathcal{NT}(Y)$, and an isomorphism between $C^*(\Lambda,c)$ and $\mathcal{O}(Y)$.
• We obtain two types of results on positive scalar curvature metrics for compact spin manifolds that are even dimensional. The first type of result are obstructions to the existence of positive scalar curvature metrics on such manifolds, expressed in terms of end-periodic eta invariants that were defined by Mrowka-Ruberman-Saveliev (MRS). These results are the even dimensional analogs of the results by Higson-Roe. The second type of result studies the size of the group of components of the space of positive scalar curvature metrics for compact spin manifolds that are even dimensional, whenever this space is non-empty. These extend and refine certain results in Botvinnik-Gilkey and also MRS. End-periodic analogs of K-homology and bordism theory are defined and are utilised to prove many of our results.
• For any compact Lie group $G$, we prove that the Yang-Mills energy function obeys an optimal gradient inequality of Łojasiewicz-Simon type (exponent $1/2$) near the critical set of flat connections on a principal $G$-bundle over a closed Riemannian manifold of dimension $d \geq 2$ and so its gradient flow converges at an exponential rate to that critical set. We establish this optimal Łojasiewicz-Simon gradient inequality by three different methods. Our first proof gives the most general result by direct analysis and relies on our extension of a theorem due to Uhlenbeck (1985) to give existence of a flat connection on a principal $G$-bundle supporting a connection with $L^{d/2}$-small curvature, existence of a Coulomb gauge transformation, and $W^{1,p}$ Sobolev distance estimates for $p>1$. Our second proof proceeds by first establishing an optimal Łojasiewicz-Simon gradient inequality for abstract Morse-Bott functions on Banach manifolds, generalizing an earlier result due to the author and Maridakis (2015). Our third proof establishes the optimal Łojasiewicz-Simon gradient inequality by direct analysis near a given flat connection that is a regular point of the curvature map. We prove similar results for the self-dual Yang-Mills energy function near regular anti-self-dual connections over closed Riemannian four-manifolds and for the full Yang-Mills energy function over closed Riemannian manifolds of dimension $d \geq 2$, when known to be Morse-Bott at a given Yang-Mills connection.
• Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is Ext^1(F,G). The sheaf E_M can be deformed along some twistor path to a sheaf E_X over the cartesian square of every Kahler manifold X deformation equivalent to M. We prove that E_X is infinitesimally rigid, and the isomorphism class of the Azumaya algebra End(E_X) is independent of the twistor path chosen. This verifies conjectures in arXiv:1310.5782 and arXiv:1507.03108 on non-commutative deformations of K3 surfaces and renders the results of these two papers unconditional.
• We consider the minimal discrete and continuous energy problems on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field due to finitely many localized charge distributions on $\mathbb{S}^d$, where the energy arises from the Riesz potential $1/r^s$ ($r$ is the Euclidean distance) for the critical Riesz parameter $s = d - 2$ if $d \geq 3$ and the logarithmic potential $\log(1/r)$ if $d = 2$. Individually, a localized charge distribution is either a point charge or assumed to be rotationally symmetric. The extremal measure solving the continuous external field problem for weak fields is shown to be the uniform measure on the sphere but restricted to the exterior of spherical caps surrounding the localized charge distributions. The radii are determined by the relative strengths of the generating charges. Furthermore, we show that the minimal energy points solving the related discrete external field problem are confined to this support. For $d-2\leq s<d$, we show that for point sources on the sphere, the equilibrium measure has support in the complement of the union of specified spherical caps about the sources. Numerical examples are provided to illustrate our results.
• In $d\geq 3$, we consider the mollified stochastic heat equation given by $d v_{\epsilon,t}=\frac {1} {2} \Delta v_{\epsilon,t} + \beta \epsilon^{(d-2)/2} v_{\epsilon,t} d B_{\epsilon,t}$ with initial condition $v_{\epsilon,0}=1$. Here $B_{\epsilon,t}$ is spatiotemporally smoothened space-time Gaussian white noise and $\beta>0$ is a parameter. When the white noise potential was smoothened only spatially, in an early work (\citeMSZ16), a phase transition was obtained, depending on the value of $\beta>0$ in the limiting object of the smoothened solution $v_\epsilon$ as the smoothing parameter $\epsilon\to 0$ was turned off. In the language of directed polymer in a random environment, the solution $v_\epsilon$ represent the partition function of the polymer path measure and the aforementioned phase transition was characterized by \itweak and \itstrong disorder. In the present article, under space-time smoothing of the noise, we consider the polymer path measure in the \itannealed set up and show that for any value of $\beta>0$ and in $d\geq 3$, the distribution of the rescaled Brownian path under the annealed path measure converges to a Gaussian law with a non-degenerate diffusion constant.
• In a 2005 paper, Yang constructed families of Hilbert Eisenstein series, which when restricted to the diagonal are conjectured to span the underlying space of elliptic modular forms. One approach to these conjectures is to show the non-vanishing of an inner product of elliptic eigenforms with the restrictions of Eisenstein series. In this paper, we compute this inner product locally by using explicit values of new vectors in the Waldspurger model.
• We shall given a new effectively computable upper bound of odd perfect numbers whose Euler factors are powers of fixed exponent, improving our old result in T. Yamada, Colloq. Math. 103 (2005), 303--307.
• We study the upper regularity dimension which describes the extremal local scaling behaviour of a measure. A measure is doubling if and only if it has finite upper regularity dimension and so in some sense this dimension gives a finer, and quantifiable, description of doubling. We investigate the relationships between the upper regularity dimension and other notions of dimension such as the Assouad dimension (of the support), the upper local dimension, and the $L^q$-spectrum. Motivated by work on the Assouad dimension, we show that the upper regularity dimension of weak tangent measures cannot exceed that of the original measure, hence proving that all weak tangents of a doubling measure are themselves doubling. We also compute the upper regularity dimension explicitly in a number of important contexts including self-similar measures, self-affine measures, and measures on sequences.
• Every link in the 3-sphere has a projection to the plane where the only singularities are pairwise transverse triple points. The associated diagram, with height information at each triple point, is a triple-crossing diagram of the link. We give a set of diagrammatic moves on triple-crossing diagrams analogous to the Reidemeister moves on ordinary diagrams. The existence of n-crossing diagrams for every n>1 allows the definition of the n-crossing number. We prove that for any nontrivial, nonsplit link, other than the Hopf link, its triple-crossing number is strictly greater than its quintuple-crossing number.
• For classical types, we express the character values of total Springer representations at elements contained in any parabolic subgroup isomorphic to a symmetric group in the Weyl group, using the Green polynomials of type $A$. As a result, we obtain closed formulas for the Euler characteristic of Springer fibers.
• We prove some vanishing conditions on the Gromov-Witten invariants of product of P1.
• Jun 29 2017 math.AG arXiv:1706.09327v1
In his work extending rational simple connectedness to schemes with higher Picard rank, Yi Zhu introduced hypotheses for schemes insuring that the relative Picard functor is representable and is étale locally constant with finite free stalks. We give examples showing that one cannot eliminate any of the hypotheses and still have a representable Picard functor that is locally constant with finite free stalks. We also prove that the hypotheses are compatible with composition and with hyperplane sections.
• In this note, we recall main properties of generalized random fields and present a proof of the continuity theorem of Paul Lévy for generalized random fields in the space of tempered distributions. This theorem was first proved by Fernique (1968) in a more general setting. The aim of this note is to provide a self-contained proof that in particular avoids the abstract theory of nuclear spaces.
• Anti-Kekulé problem is a concept of chemical graph theory precluding the Kekulé structure of molecules. Matching preclusion and conditional matching preclusion were proposed as measures of robustness in the event of edge failure in interconnection networks. It is known that matching preclusion problem on bipartite graphs is NP-complete. In this paper, we mainly prove that anti-Kekulé problem on bipartite graphs is NP-complete. As an extension to (conditional) matching preclusion problem, we propose the concept of $s$-restricted matching preclusion problem, and prove that such problem on bipartite graphs is also NP-complete. Finally, we determine that $s$-restricted matching preclusion number of $Q_n$ ($n\geq3$) is $2n-2$.
• Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level $N$. As an application, we consider a Waring-type problem with sums of mixed powers.
• We here introduce an extension and natural generalization of both the \kappa-\mu$\,$shadowed and the classical Beckmann fading models: the Fluctuating Beckmann (FB) fading model. This new model considers the clustering of multipath waves on which the line-of-sight (LoS) components randomly fluctuate, together with the effect of in-phase/quadrature power imbalance in the LoS and non-LoS components. Thus, it unifies a variety of important fading distributions as the one-sided Gaussian, Rayleigh, Nakagami-m, Rician, \kappa-\mu, \eta-\mu, \eta-\kappa, Beckmann, Rician shadowed and the \kappa-\mu$\,$shadowed distribution. The chief probability functions of the FB fading model, namely probability density function, cumulative distribution function and moment generating function are derived. The second-order statistics such as the level crossing rate and the average fade duration are also analyzed. These results can be used to derive some performance metrics of interest of wireless communication systems operating over FB fading channels.
• Jun 29 2017 math.FA arXiv:1706.09312v1
We compute the "norm" of irreducible uniformly bounded representations of SL2R. We show that the Kunze-Stein version of the uniformly bounded representations has minimal norm in the similarity class of uniformly bounded representations.
• In classical knot theory, Markov's theorem gives a way of describing all braids with isotopic closures as links in $\mathbb{R}^3$. We present a version of Markov's theorem for extended loop braids with closure in $B^3 \times S^1$, as a first step towards a Markov's theorem for extended loop braids and ribbon torus-links in $\mathbb{R}^4$.
• On a closed manifold $M$, we consider a smooth vector field $X$ that generates an Anosov flow. Let $V\in C^{\infty}\left(M;\mathbb{R}\right)$ be a smooth potential function. It is known that for any $C>0$, there exists some anisotropic Sobolev space $\mathcal{H}_{C}$ such that the operator $A=-X+V$ has intrinsic discrete spectrum on $\mathrm{Re}\left(z\right)>-C$ called Ruelle-Pollicott resonances. In this paper, we show that the density of resonances is bounded by $O\left(\left\langle \omega\right\rangle ^{\frac{n}{1+\beta_{0}}}\right)$ where $\omega=\mathrm{Im}\left(z\right)$, $n=\mathrm{dim}M-1$ and $0<\beta_{0}\leq1$ is the Hölder exponent of the distribution $E_{u}\oplus E_{s}$ (strong stable and unstable). We also obtain some more precise results concerning the wave front set of the resonances states and the group property of the transfer operator. We use some semiclassical analysis based on wave packet transform associated to an adapted metric on $T^{*}M$ and construct some specific anisotropic Sobolev spaces.
• Jun 29 2017 math.CV arXiv:1706.09306v1
A holomorphic Engel structure determines a flag of distributions $\mathcal{W}\subset \mathcal{D}\subset \mathcal{E}$. We construct examples of Engel structures on $\mathbf{C}^4$ such that each of these distributions is hyperbolic in the sense that it has no tangent copies of $\mathbf{C}$. We also construct two infinite families of pairwise non-isomorphic Engel structures on $\mathbf{C}^4$ by controlling the curves $f:\mathbf{C}\to \mathbf{C}^4$ tangent to $\mathcal{W}$. The first is characterised by the topology of the set of points in $\mathbf{C}^4$ admitting $\mathcal{W}$-lines, and the second by a finer geometric property of this set. A consequence of the second construction is the existence of uncountably many non-isomorphic holomorphic Engel structures on $\mathbf{C}^4$.
• The Karhunen--Loéve theorem states that a centered process with continuous covariance can be expanded into series of the eigenfunctions of its covariance operator. This classic result is a useful tool in analysis and applications of Gaussian processes, however closed form solutions to the eigenproblem are notoriously hard to find. In this paper we consider the Karhunen--Loéve expansion of Gaussian bridges. Given a \em base process, its bridge is obtained by conditioning the trajectories to start and terminate at the given points. What can be said about the expansion of a bridge, given the expansion of its base process? We show how this question can be answered asymptotically for a family of processes, including the fractional Brownian motion.
• While Bayesian methods are extremely popular in statistics and machine learning, their application to massive datasets is often challenging, when possible at all. Indeed, the classical MCMC algorithms are prohibitively slow when both the model dimension and the sample size are large. Variational Bayesian methods aim at approximating the posterior by a distribution in a tractable family. Thus, MCMC are replaced by an optimization algorithm which is orders of magnitude faster. VB methods have been applied in such computationally demanding applications as including collaborative filtering, image and video processing, NLP and text processing... However, despite very nice results in practice, the theoretical properties of these approximations are usually not known. In this paper, we propose a general approach to prove the concentration of variational approximations of fractional posteriors. We apply our theory to two examples: matrix completion, and Gaussian VB.
• Jun 29 2017 math.DG arXiv:1706.09292v1
We show stability of pairs of Ricci flat metrics and parallel spinor fields with respect to the spinor flow, i.e. we show that the spinor flow with initial conditions near such pairs converges to a critical point with exponential speed. Moreover, we show stability of certain volume constrained critical points of the spinorial energy.
• Jun 29 2017 math.AG arXiv:1706.09291v1
Let ${\cal P}(t)\in {\Bbb K}(t)^{n}$ be a rational parametrization of an algebraic space curve $\cal C$. In this paper, we introduce the notion of limit point, $P_L$, of the given parametrization $\mathcal{P}(t)$, and some remarkable properties of $P_L$ are obtained. In addition, we generalize the results in \citeMyB-2017 concerning the T--function, $T(s)$, which is defined by means of a univariate resultant. More precisely, independently on whether the limit point is regular or not, we show that $T(s)=\prod_{i=1}^n H_{P_i}(s)^{m_i-1}$. The polynomials $H_{P_i}(s),\,i=1,\ldots,n$ are the fibre functions, and its roots are the fibre of the ordinary singularities $P_i\in {\cal C}$ of multiplicity $m_i,\,i=1,\ldots,n$. Thus, a complete classification of the singularities of a given space curve, via the factorization of a resultant, is obtained.
• Jun 29 2017 math.GR arXiv:1706.09286v1
We determine the groups of minimal order in which all groups of order n can embedded for 1 < n < 16. We further determine the order of a minimal group in which all groups or order n or less can be embedded, also for 1 < n < 16.
• We study flows on C*-algebras with the Rokhlin property. We show that every Kirchberg algebra carries a unique Rokhlin flow up to cocycle conjugacy, which confirms a long-standing conjecture of Kishimoto. We moreover present a classification theory for Rokhlin flows on C*-algebras satisfying certain technical properties, which hold for many C*-algebras covered by the Elliott program. As a consequence, we obtain the following further classification theorems for Rokhlin flows. Firstly, we extend the statement of Kishimoto's conjecture to the non-simple case: Up to cocycle conjugacy, a Rokhlin flow on a separable, nuclear, strongly purely infinite C*-algebra is uniquely determined by its induced action on the prime ideal space. Secondly, we give a complete classification of Rokhlin flows on simple classifiable $KK$-contractible C*-algebras: Two Rokhlin flows on such a C*-algebra are cocycle conjugate if and only if their induced actions on the cone of lower-semicontinuous traces are affinely conjugate.
• Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by recursion on edges is a invariant. Then, we give an generaliztion of the Tutte polynomial. Finally, We have a try on distinguishing different graphs by using these polynomials.
• Motivation to revisit the Conley index theory for discrete multivalued dynamical systems stems from the needs of broader real applications, in particular in sampled dynamics or in combinatorial dynamics. The new construction of the index in [B. Batko and M. Mrozek, \em SIAM J. Applied Dynamical Systems, 15(2016), pp. 1143-1162] based on weak index pairs, under the circumstances of the absence of index pairs caused by relaxing the isolation property, seems to be a promising step towards this direction. The present paper is a direct continuation of [B. Batko and M. Mrozek, \em SIAM J. Applied Dynamical Systems, 15(2016), pp. 1143-1162] and concerns properties of the index defined therin, namely Ważewski property, the additivity property, the homotopy (continuation) property and the commutativity property. We also present the construction of weak index pairs in an isolating block.
• We show that for every sequence $(n_i)$, where each $n_i$ is either an integer greater than 1 or is $\infty$, there exists a simply connected open 3-manifold $M$ with a countable dense set of ends $\{e_i\}$ so that, for every $i$, the genus of end $e_i$ is equal to $n_i$. In addition, the genus of the ends not in the dense set is shown to be less than or equal to 2. These simply connected 3-manifolds are constructed as the complements of certain Cantor sets in $S^3$. The methods used require careful analysis of the genera of ends and new techniques for dealing with infinite genus.
• We study the Muskat problem describing the spatially periodic motion of two fluids with equal viscosities under the effect of gravity in a vertical unbounded two-dimensional geometry. We first prove that the classical formulation of the problem is equivalent to a nonlocal and nonlinear evolution equation expressed in terms of singular integrals and having only the interface between the fluids as unknown. Secondly, we show that this evolution equation has a quasilinear structure, which is at a formal level not obvious, and we also disclose the parabolic character of the equation. Exploiting these aspects, we establish the local well-posedness of the problem for arbitrary initial data in $H^s(\mathbb{S})$, with $s\in(3/2,2)$, determine a new criterion for the global existence of solutions, and uncover a parabolic smoothing property. Besides, we prove that the zero steady-state solution is exponentially stable.
• We describe a method for generating minimal hard prime surface-link diagrams. We extend the known examples of minimal hard prime classical unknot and unlink diagrams up to three components and generate figures of all minimal hard prime surface-unknot and surface-unlink diagrams with prime base surface components up to ten crossings.
• The present paper deals with the numerical solution of the incompressible Navier-Stokes equations using high-order discontinuous Galerkin (DG) methods for discretization in space. For DG methods applied to the dual splitting projection method, instabilities have recently been reported that occur for coarse spatial resolutions and small time step sizes. By means of numerical investigation we give evidence that these instabilities are related to the discontinuous Galerkin formulation of the velocity divergence term and the pressure gradient term that couple velocity and pressure. Integration by parts of these terms with a suitable definition of boundary conditions is required in order to obtain a stable and robust method. Since the intermediate velocity field does not fulfill the boundary conditions prescribed for the velocity, a consistent boundary condition is derived from the convective step of the dual splitting scheme to ensure high-order accuracy with respect to the temporal discretization. This new formulation is stable in the limit of small time steps for both equal-order and mixed-order polynomial approximations. Although the dual splitting scheme itself includes inf-sup stabilizing contributions, we demonstrate that spurious pressure oscillations appear for equal-order polynomials and small time steps highlighting the necessity to consider inf-sup stability explicitly.
• The greatest integer that does not belong to a numerical semigroup $S$ is called the Frobenius number of $S$ and finding the Frobenius number is called the Frobenius problem. In this paper, we introduce the Frobenius problem for a Thabit numerical semigroup base $b$, which is motivated by the Frobenius problem for Thabit numerical semigroups.
• Hyperspectral analysis has gained popularity over recent years as a way to infer what materials are displayed on a picture whose pixels consist of a mixture of spectral signatures. Computing both signatures and mixture coefficients is known as unsupervised unmixing, a set of techniques usually based on non-negative matrix factorization. Unmixing is a difficult non-convex problem, and algorithms may converge to one out of many local minima, which may be far removed from the true global minimum. Computing this true minimum is NP-hard and seems therefore out of reach. Aiming for interesting local minima, we investigate the addition of total variation regularization terms. Advantages of these regularizers are two-fold. Their computation is typically rather light, and they are deemed to preserve sharp edges in pictures. This paper describes an algorithm for regularized hyperspectral unmixing based on the Alternating Direction Method of Multipliers.
• We introduce the Scattered Extrinsic Information Transfer (S-EXIT) chart as a tool for optimizing degree profiles of short length Low-Density Parity-Check (LDPC) codes under iterative decoding. As degree profile optimization is typically done in the asymptotic length regime, there is space for further improvement when considering the finite length behavior. We propose to consider the average extrinsic information as a random variable, exploiting its specific distribution properties for guiding code design. We explain, step-by-step, how to generate an S-EXIT chart for short-length LDPC codes. We show that this approach achieves gains in terms of bit error rate (BER) of 0.5 dB and 0.6 dB over the additive white Gaussian noise (AWGN) channel for codeword lengths of 128 and 180 bits, respectively, at a target BER of $10^{-4}$ when compared to conventional Extrinsic Information Transfer (EXIT) chart-based optimization. Also, a performance gain for the Binary Erasure Channel (BEC) for a block (i.e., codeword) length of 180 bits is shown.
• There are two notions of approximate Birkhoff-James orthogonality in a normed space. We characterize both the notions of approximate Birkhoff-James orthogonality in the space of bounded linear operators defined on a normed space. A complete characterization of approximate Birkhoff-James orthogonality in the space of bounded linear operators defined on Hilbert space of any dimension is obtained which improves on the recent result by Chmieliński et al. [ J. Chmieliński, T. Stypula and P. Wójcik, \textitApproximate orthogonality in normed spaces and its applications, Linear Algebra and its Applications, \textbf531 (2017), 305--317.], in which they characterized approximate Birkhoff-James orthogonality of linear operators on finite dimensional Hilbert space and also of compact operators on any Hilbert space.
• The last decades have seen an unprecedented increase in the availability of data sets that are inherently global and temporally evolving, from remotely sensed networks to climate model ensembles. This paper provides a view of statistical modeling techniques for space-time processes, where space is the sphere representing our planet. In particular, we make a distintion between (a) second order-based, and (b) practical approaches to model temporally evolving global processes. The former are based on the specification of a class of space-time covariance functions, with space being the two-dimensional sphere. The latter are based on explicit description of the dynamics of the space-time process, i.e., by specifying its evolution as a function of its past history with added spatially dependent noise. We especially focus on approach (a), where the literature has been sparse. We provide new models of space-time covariance functions for random fields defined on spheres cross time. Practical approaches, (b), are also discussed, with special emphasis on models built directly on the sphere, without projecting the spherical coordinate on the plane. We present a case study focused on the analysis of air pollution from the 2015 wildfires in Equatorial Asia, an event which was classified as the year's worst environmental disaster. The paper finishes with a list of the main theoretical and applied research problems in the area, where we expect the statistical community to engage over the next decade.
• In the setting of high-dimensional linear regression models, we propose two frameworks for constructing pointwise and group confidence sets for penalized estimators which incorporate prior knowledge about the organization of the non-zero coefficients. This is done by desparsifying the estimator as in van de Geer et al. [18] and van de Geer and Stucky [17], then using an appropriate estimator for the precision matrix $\Theta$. In order to estimate the precision matrix a corresponding structured matrix norm penalty has to be introduced. After normalization the result is an asymptotic pivot. The asymptotic behavior is studied and simulations are added to study the differences between the two schemes.
• We prove generalized weighted Ostrowski and Ostrowski--Grüss type inequalities on time scales via a parameter function. In particular, our result extends a result of Dragomir and Barnett. Furthermore, we apply our results to the continuous, discrete, and quantum cases, to obtain some interesting new inequalities.
• In this paper we consider nodal radial solutions $u_\epsilon$ to the problem $\begincases -∆u=\lambda ue^u^2+|u|^1+\epsilon&\text in B,\{u=0&\text on ∂B. \endcases$and we study their asymptotic behaviour as $\epsilon\searrow0$, $\epsilon>0$. We show that when $u_\epsilon$ has $k$ interior zeros, it exhibits a multiple blow-up behaviour in the first $k$ nodal sets while it converges to the least energy solution of the problem with $\epsilon=0$ in the $(k+1)$-th one. We also prove that in each concentration set, with an appropriate scaling, $u_\epsilon$ converges to the solution of the classical Liouville problem in $R^2$.

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.

gae spedalieri Mar 13 2017 14:13 UTC

1) Sorry but this is false.

1a) That analysis is specifically for reducing QECC protocol to an entanglement distillation protocol over certain class of discrete variable channels. Exactly as in BDSW96. Task of the protocol is changed in the reduction.

1b) The simulation is not via a general LOCC b

...(continued)
Siddhartha Das Mar 13 2017 13:22 UTC

We feel that we have cited and credited previous works appropriately in our paper. To clarify:

1) The LOCC simulation of a channel and the corresponding adaptive reduction can be found worked out in full generality in the 2012 Master's thesis of Muller-Hermes. We have cited the original paper BD

...(continued)
gae spedalieri Mar 13 2017 08:56 UTC

This is one of those papers where the contribution of previous literature is omitted and not fairly represented.

1- the LOCC simulation of quantum channels (not necessarily teleportation based) and the corresponding general reduction of adaptive protocols was developed in PLOB15 (https://arxiv.org/

...(continued)
Andrey Karchevsky Feb 17 2017 09:51 UTC

Dear Authors,

This is in reference of your preprint arxiv 1702.0638.

Above all I must say that I am puzzled with the level of publicity your work has got at http://www.nature.com/news/long-awaited-mathematics-proof-could-help-scan-earth-s-innards-1.21439. Is this a new way for mathematicians t

...(continued)
Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.