# Mathematics (math)

• We examine the task of privacy amplification from information-theoretic and coding-theoretic points of view. In the former, we give a one-shot characterization of the optimal rate of privacy amplification against classical adversaries in terms of the optimal type-II error in asymmetric hypothesis testing. The converse bound turns out to be tighter than previous bounds based on smooth min-entropy [Watanabe and Hayashi, ISIT 2013; arXiv:1211.5252 [cs.IT]]. In the latter, we show that protocols for privacy amplification based on linear codes can be easily repurposed for channel simulation. Combined with known relations between channel simulation and lossy source coding, this implies that privacy amplification can be understood as a basic primitive for both channel simulation and lossy compression. Applied to symmetric channels or lossy compression settings, our construction leads to protocols of optimal rate in the asymptotic i.i.d. limit. Finally, appealing to the notion of channel duality recently detailed by us in [arXiv:1701.05583 [quant-ph]], we show that linear error-correcting codes for symmetric channels with quantum output can be transformed into linear lossy source coding schemes for classical variables arising from the dual channel. This explains a "curious duality" in these problems for the (self-dual) erasure channel observed by Martinian and Yedidia [Allerton 2003; arXiv:cs/0408008] and partly anticipates recent results on optimal lossy compression by polar and low- density generator matrix codes.
• Nowhere dense graph classes provide one of the least restrictive notions of sparsity for graphs. Several equivalent characterizations of nowhere dense classes have been obtained over the years, using a wide range of combinatorial objects. In this paper we establish a new characterization of nowhere dense classes, in terms of poset dimension: A monotone graph class is nowhere dense if and only if for every $h \geq 1$ and every $\epsilon > 0$, posets of height at most $h$ with $n$ elements and whose cover graphs are in the class have dimension $\mathcal{O}(n^{\epsilon})$.
• Aug 21 2017 math.AG arXiv:1708.05699v1
We introduce a simplified version of the Grothendieck group of algebraic varieties and use it to show that birational types specialize in families with mild singularities of the central fiber.
• In carrier-aggregation systems, digital baseband cancelation of self-interference generated by receiver nonlinearity requires the estimation of several reference signals contributions. As the nonlinearity order and frequency selectivity of the chip response increase, the number of reference signals significantly increases rendering the estimation of their contributions more complex. We propose a sparsity-based approach for the selection of the reference signals to match the distortion interference using a few reference signals. Simulation results show significant performance improvement over prior art with the same complexity.
• We study soliton solutions of matrix Kadomtsev-Petviashvili (KP) equations in a tropical limit, in which their support at fixed time is a planar graph and polarizations are attached to its constituting lines. There is a subclass of "pure line soliton solutions" for which we find that, in this limit, the distribution of polarizations is fully determined by a Yang-Baxter map. For a vector KP equation, this map is given by an R-matrix, whereas it is a non-linear map in case of a more general matrix KP equation. We also consider the corresponding Korteweg-deVries (KdV) reduction. Furthermore, exploiting the fine structure of soliton interactions in the tropical limit, we obtain a new solution of the tetrahedron (or Zamolodchikov) equation. Moreover, a solution of the functional tetrahedron equation arises from the parameter-dependence of the vector KP R-matrix.
• Let $\Gamma$ be a finite graph and let $\Gamma_n$ be the "$n$th cone over $\Gamma$" (i.e., the join of $\Gamma$ and the complete graph $K_n$). We study the asymptotic structure of the chip-firing group $\text{Pic}^0(\Gamma_n)$.
• The need to test whether two random vectors are independent has spawned a large number of competing measures of dependence. We are interested in nonparametric measures that are invariant under strictly increasing transformations, such as Kendall's tau, Hoeffding's D, and the more recently discovered Bergsma--Dassios sign covariance. Each of these measures exhibits symmetries that are not readily apparent from their definitions. Making these symmetries explicit, we define a new class of multivariate nonparametric measures of dependence that we refer to as Symmetric Rank Covariances. This new class generalises all of the above measures and leads naturally to multivariate extensions of the Bergsma--Dassios sign covariance. Symmetric Rank Covariances may be estimated unbiasedly using U-statistics for which we prove results on computational efficiency and large-sample behavior. The algorithms we develop for their computation include, to the best of our knowledge, the first efficient algorithms for the well-known Hoeffding's D statistic in the multivariate setting.
• We prove that the category of modules over Milnor-Witt motivic cohomology, in the sense of Déglise-Fasel, is equivalent to the derived category of Milnor-Witt motives. While the proof is close in spirit to the analogous result for motivic cohomology due to Röndigs-Østvæ r, the execution simplifies the homotopy-theoretic steps involved by relying on Lurie's $\infty$-categorical version of the Barr-Beck theorem. This method is general enough to work for any similarly behaved category of motives; for example, it recovers Röndigs-Østvæ r's result for ordinary motivic cohomology.
• In this paper we develop a method to solve evolution equations on Gelfand triples with time-fractional derivative based on monotonicity techniques. Applications include deterministic and stochastic quasi-linear partial differential equations with time-fractional derivatives, including time-fractional (stochastic) porous media equations (including the case where the Laplace operator is also fractional) and $p$-Laplace equations as special cases.
• We prove partial regularity of stationary solutions and minimizers $u$ from a set $\Omega\subset \mathbb R^n$ to a Riemannian manifold $N$, for the functional $\int_\Omega F(x,u,|\nabla u|^2) dx$. The integrand $F$ is convex and satisfies some ellipticity and boundedness assumptions. We also develop a new monotonicity formula and an $\epsilon$-regularity theorem for such stationary solutions with no restriction on their images. We then use the idea of quantitative stratification to show that the k-th strata of the singular set of such solutions are k-rectifiable.
• The moduli space $\Delta_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $\Delta_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $\Delta_{0,w}$ is disconnected and for which the fundamental group of $\Delta_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $\Delta_{1,w}$.
• Let $q$ be a power of a prime $p$ and let $U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G(q)$ defined over the field with $q$ elements. We first give a parametrization of the set $\text{Irr}(U(q))$ of irreducible characters of $U(q)$ when $G(q)$ is of type $\mathrm{G}_2$. This is uniform for primes $p \ge 5$, while the bad primes $p=2$ and $p=3$ have to be considered separately. We then use this result and the contribution of several authors to show a general result, namely that if $G(q)$ is any finite Chevalley group with $p$ a bad prime, then there exists a character $\chi \in \text{Irr}(U(q))$ such that $\chi(1)=q^n/p$ for some $n \in \mathbb{Z}_{\ge_0}$. In particular, for each $G(q)$ and every bad prime $p$, we construct a family of characters of such degree as inflation followed by an induction of linear characters of an abelian subquotient $V(q)$ of $U(q)$.
• We prove an $\epsilon$-regularity theorem for vector-valued p-harmonic maps, which are critical with respect to a partially free boundary condition, namely that they map the boundary into a round sphere. This does not seem to follow from the reflection method that Scheven used for harmonic maps with free boundary (i.e., the case $p=2$): the reflected equation can be interpreted as a $p$-harmonic map equation into a manifold, but the regularity theory for such equations is only known for round targets. Instead, we follow the spirit of the last-named author's recent work on free boundary harmonic maps and choose a good frame directly at the free boundary. This leads to growth estimates, which, in the critical regime $p=n$, imply Hölder regularity of solutions. In the supercritical regime, $p < n$, we combine the growth estimate with the geometric reflection argument: the reflected equation is super-critical, but, under the assumption of growth estimates, solutions are regular. In the case $p<n$, for stationary $p$-harmonic maps with free boundary, as a consequence of a monotonicity formula we obtain partial regularity up to the boundary away from a set of $(n-p)$-dimensional Hausdorff measure.
• Aug 21 2017 math.PR arXiv:1708.05634v1
Consider a sample of size n drawn from a large, neutral population of haploid individuals subject to mutation whose genealogy is governed by Kingmans n-coalescent. Let Sn count the number of segregating sites in this sample under the infinitely many sites model of Kimura. For fixed sample size n the main result about Sn is due to Watterson who computed its mean and variance. In our main result, Theorem 3, we generalize Watterson's result and compute the ith cumulant of Sn. We find in passing an explicit expression for the cumulants of the negative binomial distribution in terms of the polylogarithm. This seems to be the first explicit formula in the literature for the cumulant of arbitrary order of the negative binomial distribution. As an application of this result we obtain straightforward proofs of the Law of Large Numbers and the Central Limit Theorem for Sn.
• We study the highest weight representations of the RTT--algebras for the R--matrix sp(4) type by the nested algebraic Bethe ansatz. These models were solved by Reshetikhin for sp(2n) but using a very special type of representation. The explicit construction of the Bethe vectors is carried out in the general case and the explicit formulae for the Bethe equations are derived. In conclusion, the direct generalization for sp(2n) is formulated.
• We study zero-sum stochastic games with a finite state space satisfying some ergodicity property. When an optimality equation involving the Shapley operator $T$ of a game is solvable, the uniform value of this game exists and the solutions yield uniform optimal stationary strategies. We formulate an ergodicity condition in terms of solvability of this optimality equation for a family of perturbations of $T$, and provide an analytical characterization for this condition to hold. We also address the generic uniqueness, up to the addition by a constant, of the solutions of the optimality equation. Our analysis relies on the theory of accretive mappings, and more precisely on a quotient map derived from $Id - T$. Finally, we use the results of a companion work to characterize the ergodicity of stochastic games by a geometrical condition imposed on the transition probabilities. The latter generalizes classical notion of ergodicity for finite Markov chains and Markov decision processes.
• An interval of integers $[1,n]$ is said to be a block in an infinite permutation if the permutation maps $[1,n]$ onto itself. We study the size of the smallest block in $\mathbf p$-biased permutations that were recently introduced by Pitman and Tang, and contrast their behavior with results of Basu and Bhatnagar on block sizes in Mallows($q$) permutations. When $\mathbf p = \text{geometric}(p)$ we show for an explicit constant $b\approx 1.1524$ that $p \log K \to b$ in contrast to $p \log K \to \pi^2/6$ for Mallows($1-p$) permutations. For $\mathbf p$ obtained through i.i.d. stick breaking we give a general upper bound on $\mathbf E K$. This includes the case of geometric($p$)- and GEM($\theta$)-biased permutations. The approach uses a recursive distributional equation which, in principle, could be used to get very precise results about $\mathbf E K$.
• We study the spectrum of the Kohn Laplacian $\square_b^t$ on the Rossi example $(\mathbb{S}^3, \mathcal{L}_t)$. In particular we show that $0$ is in the essential spectrum of $\square_b^t$, which yields another proof of the global non-embeddability of the Rossi example.
• Aug 21 2017 math.CO arXiv:1708.05623v1
An $r$-matrix is a matrix with symbols in $\{0,1,\dots,r-1\}$. A matrix is simple if it has no repeated columns. Let the support of a matrix $F$, $\text{supp}(F)$ be the largest simple matrix such that every column in $\text{supp}(F)$ is in $F$. For a family of $r$-matrices $\mathcal{F}$, we define $\text{forb}(m,r,\mathcal{F})$ as the maximum number of columns of an $m$-rowed, $r$-matrix $A$ such that $F$ is not a row-column permutation of $A$ for all $F \in \mathcal{F}$. While many results exist for $r=2$, there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with $r$-symbols, introducing a new construction for lower bounds of the growth of $\text{forb}(m,r,\mathcal{F})$ (with respect to $m$) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.
• In a digital communication system, information is sent from one place to another over a noisy communication channel. It may be possible to detect and correct errors that occur during the transmission if one encodes the original information by adding redundant bits. Low-density parity-check (LDPC) convolutional codes, a member of the LDPC code family, encode the original information to improve error correction capability. In practice these codes are used to decode very long information sequences, where the information arrives in subsequent packets over time, such as video streams. We consider the problem of decoding the received information with minimum error from an optimization point of view and investigate integer programming-based exact and heuristic decoding algorithms for its solution. In particular, we consider relax-and-fix heuristics that decode information in small windows. Computational results indicate that our approaches identify near-optimal solutions significantly faster than a commercial solver in high channel error rates. Our proposed algorithms can find higher quality solutions compared with commonly used iterative decoding heuristics.
• The present paper uses the Galerkin Finite Element Method to numerically study the triple diffusive boundary layer flow of homogenous nanofluid over power-law stretching sheet with the effect of external magnetic field. The fluid is composed of nanoparticles along with dissolved solutal particles in the base fluid. The chief mechanisms responsible for enhancement of convective transport phenomenon in nanofluids - Brownian Motion, Diffusiophoresis and Thermophoresis have been considered. The simulations performed in this study are based on the boundary layer approach. Recently proposed heat flux and nanoparticle mass flux boundary conditions have been imposed. Heat transfer, solutal mass transfer and nanoparticle mass transfer are investigated for different values of controlling parameters i.e. Brownian-motion parameter, Thermophoresis parameter, magnetic influence parameter and stretching parameter. Multiple regression analysis has been performed to verify the relationship among transfer rate parameters and controlling parameters. The present study finds application in insulation of wires, manufacture of tetra packs, production of glass fibres, fabrication of various polymer and plastic products, rubber sheets etc. where the quality merit of desired product depends on the rate of stretching, external magnetic field and composition of materials used.
• Aug 21 2017 math.CO arXiv:1708.05598v1
We describe in details the nxnxn Rubik's Cube, namely a Rubik's Cube with n rotating slices in each face. Then we state and prove the "first law of Cubology", i.e. the solvability criterion, for it
• We prove a factorization theorem for reproducing kernel Hilbert spaces whose kernel has a normalized complete Nevanlinna-Pick factor. This result relates the functions in the original space to pointwise multipliers determined by the Nevanlinna-Pick kernel and has a number of interesting applications. For example, for a large class of spaces including Dirichlet and Drury-Arveson spaces, we construct for every function $f$ in the space a pluriharmonic majorant of $|f|^2$ with the property that whenever the majorant is bounded, the corresponding function $f$ is a pointwise multiplier.
• An approach is given for estimating the Hausdorff dimension of the univoque set of a self-similar set. This sometimes allows us to get the exact Hausdorff dimensions of the univoque sets.
• The classical Strichartz estimates for the free Schrödinger propagator have recently been substantially generalised to estimates of the form $\bigg\|\sum_j\lambda_j|e^it∆f_j|^2\bigg\|_L^p_tL^q_x≲\|\lambda\|_\ell^\alpha$for orthonormal systems $(f_j)_j$ of initial data in $L^2$, firstly in work of Frank--Lewin--Lieb--Seiringer and later by Frank--Sabin. The primary objective is identifying the largest possible $\alpha$ as a function of $p$ and $q$, and in contrast to the classical case, for such estimates the critical case turns out to be $(p,q) = (\frac{d+1}{d},\frac{d+1}{d-1})$. We consider the case of orthonormal systems $(f_j)_j$ in the homogeneous Sobolev spaces $\dot{H}^s$ for $s \in (0,\frac{d}{2})$ and we establish the sharp value of $\alpha$ as a function of $p$, $q$ and $s$, except possibly an endpoint in certain cases, at which we establish some weak-type estimates. Furthermore, at the critical case $(p,q) = (\frac{d+1}{d-2s},\frac{d(d+1)}{(d-1)(d-2s)})$ for general $s$, we show the veracity of the desired estimates when $\alpha = p$ if we consider frequency localised estimates, and the failure of the (non-localised) estimates when $\alpha = p$; this exhibits the difficulty of upgrading from frequency localised estimates in this context, again in contrast to the classical setting.
• We study models of weighted exponential random graphs in the large network limit. These models have recently been proposed to model weighted network data arising from a host of applications including socio-econometric data such as migration flows and neuroscience \citedesmarais2012statistical. Analogous to fundamental results derived for standard (unweighted) exponential random graph models in the work of Chatterjee and Diaconis, we derive limiting results for the structure of these models as $n\to\infty$, complementing the results in the work of Yin et al \citeyin2016phase,demuse2017phase in the context of finitely supported base measures. We also derive sufficient conditions for continuity of functionals in the specification of the model including conditions on nodal covariates. Finally we include a number of open problems to spur further understanding of this model especially in the context of applications.
• There are a number of articles which deal with Bohr's phenomenon whereas only a few papers appeared in the literature on Rogosinski's radii for analytic functions defined on the unit disk $|z|<1$. In this article, we introduce and investigate Bohr-Rogosinski's radii for analytic functions defined for $|z|<1$. Also, we prove several different improved versions of the classical Bohr's inequality. Finally, we also discuss the Bohr-Rogosinski's radius for a class of subordinations. All the results are proved to be sharp.
• We study a single server FIFO queue that offers general service. Each of n customers enter the queue at random time epochs that are inde- pendent and identically distributed. We call this the random scattering traffic model, and the queueing model RS/G/1. We study the workload process associated with the queue in two different settings. First, we present Gaussian process approximations in a high intensity asymptotic scale and characterize the transient distribution of the approximation. Second, we study the rare event paths of the workload by proving a large deviations principle in the same high intensity regime. We also obtain exact asymptotics for the Gaussian approximations developed prior. This analysis significantly extends and simplifies recent work in [1] on uniform population acceleration asymptotics to the queue length and workload in the RS/G/1 queue.
• Aug 21 2017 math.DS arXiv:1708.05580v1
The Mackey--Glass equation, which was proposed to illustrate nonlinear phenomena in physiological control systems, is a classical example of a simple looking time delay system with very complicated behavior. Here we use a novel approach for chaos control: we prove that with well chosen control parameters, all solutions of the system can be forced into a domain where the feedback is monotone, and by the powerful theory of delay differential equations with monotone feedback we can guarantee that the system is not chaotic any more. We show that this domain decomposition method is applicable with the most common control terms. Furthermore, we propose an other chaos control scheme based on state dependent delays.
• We determine the Bohr radius for the class of all functions $f$ of the form $f(z)=\sum_{k=1}^\infty a_{kp+m} z^{kp+m}$ analytic in the unit disk $|z|<1$ and satisfy the condition $|f(z)|\le 1$ for all $|z|<1$. In particular, our result also contains a solution to a recent conjecture of Ali, Barnard and Solynin \citeAliBarSoly for the Bohr radius for odd analytic functions, solved by the authors in \citeKayPon1. We consider a more flexible approach by introducing the $p$-Bohr radius for harmonic functions which in turn contains the classical Bohr radius as special case. Also, we prove several other new results and discuss $p$-Bohr radius for the class of odd harmonic bounded functions.
• In this paper we investigate the special subsequence of the Halton sequence indexed by $\lfloor\beta n\rfloor$ with $\beta \in \mathbb{R}$ and prove a metric almost low- discrepancy result.
• We propose massive MIMO unlicensed (mMIMO-U) as a high-capacity solution for future indoor wireless networks operating in the unlicensed spectrum. Building upon massive MIMO (mMIMO), mMIMO-U incorporates additional key features, such as the capability of placing accurate radiation nulls towards coexisting nodes during the channel access and data transmission phases. We demonstrate the spectrum reuse and data rate improvements attained by mMIMO-U by comparing three practical deployments: single-antenna Wi-Fi, where an indoor operator deploys three single-antenna Wi-Fi access points (APs), and two other scenarios where the central AP is replaced by either a mMIMO AP or the proposed mMIMO-U AP. We show that upgrading the central AP with mMIMO-U provides increased channel access opportunities for all of them. Moreover, mMIMO-U achieves four-fold and seven-fold gains in median throughput when compared to traditional mMIMO and single-antenna setups, respectively.
• In this article, we advance divide-and-conquer strategies for solving the community detection problem in networks. We propose two algorithms which perform clustering on a number of small subgraphs and finally patches the results into a single clustering. The main advantage of these algorithms is that they bring down significantly the computational cost of traditional algorithms, including spectral clustering, semi-definite programs, modularity based methods, likelihood based methods etc., without losing on accuracy and even improving accuracy at times. These algorithms are also, by nature, parallelizable. Thus, exploiting the facts that most traditional algorithms are accurate and the corresponding optimization problems are much simpler in small problems, our divide-and-conquer methods provide an omnibus recipe for scaling traditional algorithms up to large networks. We prove consistency of these algorithms under various subgraph selection procedures and perform extensive simulations and real-data analysis to understand the advantages of the divide-and-conquer approach in various settings.
• Revealing a community structure in a network or dataset is a central problem arising in many scientific areas. The modularity function $Q$ is an established measure quantifying the quality of a community, being identified as a set of nodes having high modularity. In our terminology, a set of nodes with positive modularity is called a \textitmodule and a set that maximizes $Q$ is thus called \textitleading module. Finding a leading module in a network is an important task, however the dimension of real-world problems makes the maximization of $Q$ unfeasible. This poses the need of approximation techniques which are typically based on a linear relaxation of $Q$, induced by the spectrum of the modularity matrix $M$. In this work we propose a nonlinear relaxation which is instead based on the spectrum of a nonlinear modularity operator $\mathcal M$. We show that extremal eigenvalues of $\mathcal M$ provide an exact relaxation of the modularity measure $Q$, however at the price of being more challenging to be computed than those of $M$. Thus we extend the work made on nonlinear Laplacians, by proposing a computational scheme, named \textitgeneralized RatioDCA, to address such extremal eigenvalues. We show monotonic ascent and convergence of the method. We finally apply the new method to several synthetic and real-world data sets, showing both effectiveness of the model and performance of the method.
• Aug 21 2017 math.GR arXiv:1708.05566v1
Let $G$ be a split (minimal) Kac-Moody group over $\mathbb{R}$ or $\mathbb{C}$ with maximal torus $T$, and let $\theta$ be a Cartan-Chevalley involution of $G$, twisted by complex conjugation, and satisfying that $\theta(T)=T$. Furthermore, let $K$ be the subgroup fixed by $\theta$, and $\tau:G\to G, g\mapsto g\theta(g)^{-1}$. Let $A:=\tau(T)$. In this note, we show resp. revisit that $G$ admits a (refined) Iwasawa decompositions $G=UAK$. We also show that if $G$ is of non-spherical type, then it never admits a polar decomposition $G=\tau(G)K$ nor a Cartan decompositions $G=KAK$. This has implications for the geometrical structure of the Kac-Moody symmetric space $G/K \cong \tau(G)$.
• This work shows how non-binary low-density parity-check codes over GF($2^p$) can be combined with probabilistic amplitude shaping (PAS) (Böcherer, et al., 2015), which combines forward-error correction with non-uniform signaling for power-efficient communication. Ultra-sparse low-density parity-check codes over GF(64) and GF(256) gain 0.6 dB in power efficiency over state-of-the-art binary LDPC codes at a spectral efficiency of 1.5 bits per channel use and a blocklength of 576 bits. The simulation results are compared to finite length coding bounds and complemented by density evolution analysis.
• We consider the geodesic flow defined by periodic Eaton lens patterns in the plane and discover ergodic ones among those. The ergodicity result on Eaton lenses is derived from a result for quadratic differentials on the plane that are pull backs of quadratic differentials on tori. Ergodicity itself is concluded for $\mathbb{Z}^d$-covers of quadratic differentials on compact surfaces with vanishing Lyapunov exponents.
• We express the coefficients of the Hirzebruch L-polynomials in terms of certain alternating multiple zeta values. In particular, we show that every monomial in the Pontryagin classes appears with a non-zero coefficient, with the expected sign. Similar results hold for the polynomials associated to the A-hat genus.
• Aug 21 2017 math.DS arXiv:1708.05544v1
We identify a family of numbers for which the Bernoulli convolution is singular. Within this family we find two countable collections of Salem numbers in the interval $(1,2)$, and another Salem number and an algebraic integer that is neither Pisot nor Salem in $(1,2)$. It also contains a non-Pisot, non-Salem algebraic number bigger than 3. Hence, we provide the first new explicit examples of singular Bernoulli convolutions since the work of Erdős in 1939.
• Let $\Omega\subset M$ be an open subset of a Riemannian manifold $M$ and let $V\in L^2_{\mathrm{loc}}(M)$ be a potential such that $-\Delta+V$ is bounded from below in $L^2(M)$. With $W^{1,2}_{0}(M;V)$ the natural form domain of $-\Delta+V$, in this paper we study systematically the following question: Under which assumption on $\Omega$ is the statement $$\text for all f\in W^{1,2}_{0}(M;V) with f=0 a.e. in M\setminus \Omega one has f|_\Omega\in W^{1,2}_{0}(\Omega;V)$$ true for every such $V$? The validity of this statement turns out to provide a highly subtle local boundary regularity assumption on $\Omega$. We prove that without any further assumptions on $V$, the above property is satisfied, if $\Omega$ is Kac regular, a probabilistic property which means that the first exit time of Brownian motion on $M$ from $\Omega$ is equal to its first penetration time to $M\setminus \Omega$. In fact, we treat more general covariant Schrödinger operators acting on sections in metric vector bundles, allowing new results concerning the harmonicity of Dirac spinors on singular subsets. Finally, we prove that Lipschitz regular $\Omega$'s are Kac regular.
• This paper explores further the computation of the twisted K-theory and K-homology of compact simple Lie groups, previously studied by Hopkins, Moore, Maldacena-Moore-Seiberg, Braun, and Douglas, with a focus on groups of rank 2. We give a new method of computation based on the Segal spectral sequence which seems to us appreciably simpler than the methods used previously, at least in many key cases.
• We characterize the irreducible polynomials that occur as a characteristic polynomial of an automorphism of an even unimodular lattice of given signature, generalizing a theorem of Gross and McMullen. As part of the proof, we give a general criterion in terms of Witt groups for a bilinear form equipped with an action of a group G over a discretely valued field to contain a unimodular G-stable lattice.
• In this paper we develop a very efficient approach to the Monte Carlo estimation of the expected value of partial perfect information. This nested simulation problem is tackled using a Multilevel Monte Carlo method (Giles, 2008) in which the number of inner samples increases with level, so that the accuracy improves and the cost increases with level. Overall, a root-mean-square accuracy of $\varepsilon$ can be achieved at a cost which is $O(\varepsilon^{-2})$. Numerical results confirm the considerable computational savings compared to the standard, nested Monte Carlo method for some simple testcases and a more realistic medical application.
• By Descartes' rule of signs, a real degree $d$ polynomial $P$ with all nonvanishing coefficients, with $c$ sign changes and $p$ sign preservations in the sequence of its coefficients ($c+p=d$) has $pos\leq c$ positive and $neg\leq p$ negative roots, where $pos\equiv c($\,mod $2)$ and $neg\equiv p($\,mod $2)$. For $1\leq d\leq 3$, for every possible choice of the sequence of signs of coefficients of $P$ (called sign pattern) and for every pair $(pos, neg)$ satisfying these conditions there exists a polynomial $P$ with exactly $pos$ positive and exactly $neg$ negative roots (all of them simple). For $d\geq 4$ this is not so. It was observed that for $4\leq d\leq 10$, in all nonrealizable cases either $pos=0$ or $neg=0$. It was conjectured that this is the case for any $d\geq 4$. We show a counterexample to this conjecture for $d=11$. Namely, we prove that for the sign pattern $(+,-,-,-,-,-,+,+,+,+,+,-)$ and the pair $(1,8)$ there exists no polynomial with $1$ positive, $8$ negative simple roots and a complex conjugate pair.
• The main purpose of this paper is to study multi-parameter singular integral operators which commute with Zygmund dilations. We introduce a class of singular integral operators associated with Zygmund dilations and show the boundedness for these operators on $L^p, 1<p<\infty$, which covers those studied by Ricci--Stein \citeRS and Nagel--Wainger \citeNW
• We study the non-rigidity of Euclidean $t$-designs, namely we study when Euclidean designs (in particular certain tight Euclidean designs) can be deformed keeping the property of being Euclidean $t$-designs. We show that certain tight Euclidean $t$-designs are non-rigid, and in fact satisfy a stronger form of non-rigidity which we call strong non-rigidity. This shows that there are plenty of non-isomorphic tight Euclidean $t$-designs for certain parameters, which seems to have been unnoticed before. We also include the complete classification of tight Euclidean $2$-designs.
• Let $G$ be a simple algebraic group and $P$ a parabolic subgroup of $G$ with abelian unipotent radical $P^u$, and let $B$ be a Borel subgroup of $G$ contained in P. Let $\mathfrak{p}^u$ be the Lie algebra of $P^u$ and let $L$ be a Levi factor of $P$, then $L$ is a Hermitian symmetric subgroup of $G$ and $B$ acts with finitely many orbits both on $\mathfrak{p}^u$ and on $G/L$. In this paper we study the Bruhat order of the $B$-orbits in $\mathfrak{p}^u$ and in $G/L$, proving respectively a conjecture of Panyushev and a conjecture of Richardson and Ryan.
• It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim. Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.
• An optimal control problem for the continuity equation is considered. The aim of a controller is to maximize the total mass within a target set at a given type moment. An iterative numerical algorithm for solving this problem is presented.
• Aug 21 2017 math.NT arXiv:1708.05511v1
We exhibit a method to use continued fractions in function fields to find new families of hyperelliptic curves over the rationals with given torsion order in their Jacobians. To show the utility of the method, we exhibit a new infinite family of curves over $\mathbb Q$ with genus two whose Jacobians have torsion order eleven.

gae Jul 26 2017 21:19 UTC

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

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

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

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

Alvaro M. Alhambra Jul 24 2017 16:10 UTC

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

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

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

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

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

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

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

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

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

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

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

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

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

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

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)