# Mathematics (math)

• Essential to the description of a quantum system are its local degrees of freedom, which enable the interpretation of subsystems and dynamics in the Hilbert space. While a choice of local tensor factorization of the Hilbert space is often implicit in the writing of a Hamiltonian or Lagrangian, the identification of local tensor factors is not intrinsic to the Hilbert space itself. Instead, the only basis-invariant data of a Hamiltonian is its spectrum, which does not manifestly determine the local structure. This ambiguity is highlighted by the existence of dualities, in which the same energy spectrum may describe two systems with very different local degrees of freedom. We argue that in fact, the energy spectrum alone almost always encodes a unique description of local degrees of freedom when such a description exists, allowing one to explicitly identify local subsystems and how they interact. In special cases, multiple dual local descriptions can be extracted from a given spectrum, but generically the local description is unique.
• In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $\alpha$ pairwise distinct elements of A is: |$\Sigma$$\alpha(A)| \ge min (p, |A|(|A| + 1)/2 -- \alpha(\alpha + 1)/2 + 1) , the only cases previously known were \alpha \in 0, 1. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients. • Feb 22 2017 math.CT math.CO math.MG arXiv:1702.06388v1 We use the language of precategories to formulate a general mathematical framework for phylogenetics. • Quantum discord refers to an important aspect of quantum correlations for bipartite quantum systems. In our earlier works we have shown that corresponding to every graph (combinatorial) there are quantum states whose properties are reflected in the structure of the corresponding graph. Here, we attempt to develop a graph theoretic study of quantum discord that corresponds to a necessary and sufficient condition of zero quantum discord states which says that the blocks of density matrix corresponding to a zero quantum discord state are normal and commute with each other. These blocks have a one to one correspondence with some specific subgraphs of the graph which represents the quantum state. We obtain a number of graph theoretic properties representing normality and commutativity of a set of matrices which are indeed arising from the given graph. Utilizing these properties we define graph theoretic measures for normality and commutativity that results a formulation of graph theoretic quantum discord. We identify classes of quantum states with zero discord using the said formulation. • We obtain the first polynomial-time algorithm for exact tensor completion that improves over the bound implied by reduction to matrix completion. The algorithm recovers an unknown 3-tensor with r incoherent, orthogonal components in \mathbb R^n from r\cdot \tilde O(n^{1.5}) randomly observed entries of the tensor. This bound improves over the previous best one of r\cdot \tilde O(n^{2}) by reduction to exact matrix completion. Our bound also matches the best known results for the easier problem of approximate tensor completion (Barak & Moitra, 2015). Our algorithm and analysis extends seminal results for exact matrix completion (Candes & Recht, 2009) to the tensor setting via the sum-of-squares method. The main technical challenge is to show that a small number of randomly chosen monomials are enough to construct a degree-3 polynomial with a precisely planted orthogonal global optima over the sphere and that this fact can be certified within the sum-of-squares proof system. • This paper addresses tracking of a moving target in a multi-agent network. The target follows a linear dynamics corrupted by an adversarial noise, i.e., the noise is not generated from a statistical distribution. The location of the target at each time induces a global time-varying loss function, and the global loss is a sum of local losses, each of which is associated to one agent. Agents noisy observations could be nonlinear. We formulate this problem as a distributed online optimization where agents communicate with each other to track the minimizer of the global loss. We then propose a decentralized version of the Mirror Descent algorithm and provide the non-asymptotic analysis of the problem. Using the notion of dynamic regret, we measure the performance of our algorithm versus its offline counterpart in the centralized setting. We prove that the bound on dynamic regret scales inversely in the network spectral gap, and it represents the adversarial noise causing deviation with respect to the linear dynamics. Our result subsumes a number of results in the distributed optimization literature. Finally, in a numerical experiment, we verify that our algorithm can be simply implemented for multi-agent tracking with nonlinear observations. • This paper considers the problem of implementing a previously proposed distributed direct coupling quantum observer for a closed linear quantum system. By modifying the form of the previously proposed observer, the paper proposes a possible experimental implementation of the observer plant system using a non-degenerate parametric amplifier and a chain of optical cavities which are coupled together via optical interconnections. It is shown that the distributed observer converges to a consensus in a time averaged sense in which an output of each element of the observer estimates the specified output of the quantum plant. • Edge bundling is an important concept, heavily used for graph visualization purposes. To enable the comparison with other established nearly-planarity models in graph drawing, we formulate a new edge-bundling model which is inspired by the recently introduced fan-planar graphs. In particular, we restrict the bundling to the endsegments of the edges. As in 1-planarity, we call our model 1-fan-bundle-planarity, as we allow at most one crossing per bundle. For the two variants where we allow either one or, more naturally, both endsegments of each edge to be part of bundles, we present edge density results and consider various recognition questions, not only for general graphs, but also for the outer and 2-layer variants. We conclude with a series of challenging questions. • We focus on energy harvesting (EH) two-hop communications since they are the essential building blocks of more complicated multi-hop networks. The scenario consists of three nodes, where an EH transmitter wants to send data to a receiver through an EH relay. The harvested energy is used exclusively for data transmission and we address the problem of how to efficiently use it. As in practical scenarios, we assume only causal knowledge at the EH nodes, i.e., in each time interval, the transmitter and the relay know their own current and past amounts of incoming energy, battery levels, data buffer levels and channel coefficients for their own transmit channels. Our goal is to find transmission policies which aim at maximizing the throughput considering that the EH nodes fully cooperate with each other to exchange their causal knowledge during a signaling phase. We model the problem as a Markov game and propose a multi-agent reinforcement learning algorithm to find the transmission policies. Furthermore, we show the trade-off between the achievable throughput and the signaling required, and provide convergence guarantees for the proposed algorithm. Results show that even when the signaling overhead is taken into account, the proposed algorithm outperforms other approaches that do not consider cooperation among the nodes. • We study spaces of modelled distributions with singular behaviour near the boundary of a domain that, in the context of the theory of regularity structures, allow one to give robust solution theories for singular stochastic PDEs with boundary conditions. The calculus of modelled distributions established in Hairer (Invent. Math. 198, 2014) is extended to this setting. We formulate and solve fixed point problems in these spaces with a class of kernels that is sufficiently large to cover in particular the Dirichlet and Neumann heat kernels. These results are then used to provide solution theories for the KPZ equation with Dirichlet and Neumann boundary conditions and for the 2D generalised parabolic Anderson model with Dirichlet boundary conditions. In the case of the KPZ equation with Neumann boundary conditions, we show that, depending on the class of mollifiers one considers, a "boundary renormalisation" takes place. In other words, there are situations in which a certain boundary condition is applied to an approximation to the KPZ equation, but the limiting process is the Hopf-Cole solution to the KPZ equation with a different boundary condition. • We present a new family of monads whose cohomology is a stable rank two vector bundle on \mathbb{P}^3. We also study the irreducibility and smoothness together with a geometrical description of some of these families. Such facts are used to prove that the moduli space of stable rank two vector bundles with trivial determinant and second Chern class equal to 5 has exactly three irreducible components. • In the present article we introduce two new combinatorial interpretations of the r-Whitney numbers of the second kind obtained from the combinatorics of the differential operators associated to the grammar G:=\{ y\rightarrow yx^{m}, x\rightarrow x\}. By specializing m=1 we obtain also a new combinatorial interpretation of the r-Stirling numbers of the second kind. Again, by specializing to the case r=0 we introduce a new generalization of the Stirling number of the second kind and through them a binomial type family of polynomials that generalizes Touchard's. Moreover, we show several well-known identities involving the r-Dowling polynomials and the r-Whitney numbers using the combinatorial differential calculus. Finally we prove that the r-Dowling polynomials are a Sheffer family relative to the generalized Touchard binomial family, study their umbral inverses, and introduce [m]-Stirling numbers of the first kind. From the relation between umbral calculus and the Riordan matrices we give several new combinatorial identities involving the r-Whitney number of both kinds, Bernoulli and Euler polynomials. • Motivated by questions in real enumerative geometry we investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a probabilistic point of view. More precisely, we say that smooth convex hypersurfaces X_1, \ldots, X_{d_{k,n}}\subset \mathbb{R}\textrm{P}^n, where d_{k,n}=(k+1)(n-k), are in random position if each one of them is randomly translated by elements g_1, \ldots, g_{{d_{k,n}}} sampled independently from the Orthogonal group with the uniform distribution; we denote by \tau_k(X_1, \ldots, X_{d_{k,n}}) the average number of k-dimensional projective subspaces (flats) which are simultaneously tangent to all the hypersurfaces. We prove that$$ \tau_k(X_1, \ldots, X_d_k,n)=\delta_k,n ⋅\prod_i=1^d_k,n\frac|\Omega_k(X_i)||\textrmSch(k,n)|,$$where {\delta}_{k,n} is the expected degree (the average number of k-flats incident to d_{k,n} many random (n-k-1)-flats), |\textrm{Sch}(k,n)| is the volume of the Special Schubert variety of k-flats meeting a (n-k-1)-flat and |\Omega_k(X)| is the volume of the manifold of all k-flats tangent to X. We give a formula for the evaluation of |\Omega_k(X)| in term of some curvature integral of the embedding X\hookrightarrow \mathbb{R}\textrm{P}^n and we relate it with the classical notion of intrinsic volumes of a convex set:$$\frac|\Omega_k(∂C)||\textrmSch(k, n)|=4|V_n-k-1(C)|,\quad k=0, \ldots, n-1.$$As a consequence we prove that$$ \tau_k(X_1, \ldots, X_d_k,n)≤\delta_k, n⋅4^d_k,n$$• We consider the closed locus of r-tuples of hypersurfaces in \mathbb{P}^r with positive dimensional intersection, and show in a large range of degrees that its largest component is the locus of r-tuples of hypersurfaces whose intersection contains a line. We then apply our methods to obtain new results on the largest components of the locus of hypersurfaces with positive dimensional singular locus and the locus of smooth hypersurfaces with a higher dimensional family of lines through a point than expected. • A number of fundamental quantities in statistical signal processing and information theory can be expressed as integral functions of two probability density functions. Such quantities are called density functionals as they map density functions onto the real line. For example, information divergence functions measure the dissimilarity between two probability density functions and are particularly useful in a number of applications. Typically, estimating these quantities requires complete knowledge of the underlying distribution followed by multi-dimensional integration. Existing methods make parametric assumptions about the data distribution or use non-parametric density estimation followed by high-dimensional integration. In this paper, we propose a new alternative. We introduce the concept of "data-driven" basis functions - functions of distributions whose value we can estimate given only samples from the underlying distributions without requiring distribution fitting or direct integration. We derive a new data-driven complete basis that is similar to the deterministic Bernstein polynomial basis and develop two methods for performing basis expansions of functionals of two distributions. We also show that the new basis set allows us to approximate functions of distributions as closely as desired. Finally, we evaluate the methodology by developing data driven estimators for the Kullback-Leibler divergences and the Hellinger distance and by constructing tight data-driven bounds on the Bayes Error Rate. • Integrable deformations of the hyperbolic and trigonometric {\mathrm{BC}}_n Sutherland models were recently derived via Hamiltonian reduction of certain free systems on the Heisenberg doubles of {\mathrm{SU}}(n,n) and {\mathrm{SU}}(2n), respectively. As a step towards constructing action-angle variables for these models, we here apply the same reduction to a different free system on the double of {\mathrm{SU}}(2n) and thereby obtain a novel integrable many-body model of Ruijsenaars--Schneider--van Diejen type that is in action-angle duality with the respective deformed Sutherland model. • The classical Kronecker limit formula describes the constant term in the Laurent expansion at the first order pole of the non-holomorphic Eisenstein series associated to the cusp at infinity of the modular group. Recently, the meromorphic continuation and Kronecker limit type formulas were investigated for non-holomorphic Eisenstein series associated to hyperbolic and elliptic elements of a Fuchsian group of the first kind by Jorgenson, Kramer and the first named author. In the present work, we realize averaged versions of all three types of Eisenstein series for \Gamma_0(N) as regularized theta lifts of a single type of Poincaré series, due to Selberg. Using this realization and properties of the Poincaré series we derive the meromorphic continuation and Kronecker limit formulas for the above Eisenstein series. The corresponding Kronecker limit functions are then given by the logarithm of the absolute value of the Borcherds product associated to a special value of the underlying Poincaré series. • This paper studies an electricity market consisting of an independent system operator (ISO) and a group of generators. The goal is to solve the DC optimal power flow (DC-OPF) problem: have the generators collectively meet the power demand while minimizing the aggregate generation cost and respecting line flow limits in the network. The ISO by itself cannot solve the DC-OPF problem as generators are strategic and do not share their cost functions. Instead, each generator submits to the ISO a bid, consisting of the price per unit of electricity at which it is willing to provide power. Based on the bids, the ISO decides how much production to allocate to each generator to minimize the total payment while meeting the load and satisfying the line limits. We provide a provably correct, decentralized iterative scheme, termed BID ADJUSTMENT ALGORITHM, for the resulting Bertrand competition game. Regarding convergence, we show that the algorithm takes the generators' bids to any desired neighborhood of the efficient Nash equilibrium at a linear convergence rate. As a consequence, the optimal production of the generators converges to the optimizer of the DC-OPF problem. Regarding robustness, we show that the algorithm is robust to affine perturbations in the bid adjustment scheme and that there is no incentive for any individual generator to deviate from the algorithm by using an alternative bid update scheme. We also establish the algorithm robustness to collusion, i.e., we show that, as long as each bus with generation has a generator following the strategy, there is no incentive for any group of generators to share information with the intent of tricking the system to obtain a higher payoff. Simulations illustrate our results. • We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field, over the value group, both in the pure field sort and in the geometric sorts. These results characterize forking and \th-forking in real closed valued fields (and also algebraically closed valued fields). We lay some groundwork for extending these results to a power-bounded T-convex theory. • We consider the existence of global-in-time weak solutions in two spatial dimensions to the Hookean dumbbell model, which arises as a microscopic-macroscopic bead-spring model from the kinetic theory of dilute solutions of polymeric liquids with noninteracting polymer chains. This model involves the unsteady incompressible Navier-Stokes equations in a bounded domain in two or three space dimensions for the velocity and the pressure of the fluid, with an elastic extra-stress tensor appearing on the right-hand side in the momentum equation. The extra-stress tensor stems from the random movement of the polymer chains and is defined by the Kramers expression through the associated probability density function that satisfies a Fokker-Planck-type parabolic equation, a crucial feature of which is the presence of a center-of-mass diffusion term. We show the existence of large-data global weak solutions in the case of two space dimensions. Indirectly, our proof also rigorously demonstrates that the Oldroyd-B model is a macroscopic closure of the Hookean dumbbell model in two space dimensions. Finally, we show the existence of large-data global weak subsolutions to the Hookean dumbbell model in the case of three space dimensions. • This note announces results on the relations between the approach of Beilinson and Drinfeld to the geometric Langlands correspondence based on conformal field theory, the approach of Kapustin and Witten based on N=4 SYM, and the AGT-correspondence. The geometric Langlands correspondence is described as the Nekrasov-Shatashvili limit of a generalisation of the AGT-correspondence in the presence of surface operators. Following the approaches of Kapustin - Witten and Nekrasov - Witten we interpret some aspects of the resulting picture using an effective description in terms of two-dimensional sigma models having Hitchin's moduli spaces as target-manifold. • We demonstrate from a fundamental perspective the physical and mathematical origins of band warping and band non-parabolicity in electronic and vibrational structures. Remarkably, we find a robust presence and connection with pairs of topologically induced Dirac points in a primitive-rectangular lattice using a p-type tight-binding approximation. We provide a transparent analysis of two-dimensional primitive-rectangular and square Bravais lattices whose basic implications generalize to more complex structures. Band warping typically arises at the onset of a singular transition to a crystal lattice with a larger symmetry group, suddenly allowing the possibility of irreducible representations of higher dimensions at special symmetry points in reciprocal space. Band non-parabolicities are altogether different higher-order features, although they may merge into band warping at the onset of a larger symmetry group. Quite separately, although still maintaining a clear connection with that merging, band non-parabolicities may produce pairs of conical intersections at relatively low-symmetry points. Apparently, such conical intersections are robustly maintained by global topology requirements, rather than any local symmetry protection. For two p-type tight-binding bands, we find such pairs of conical intersections drifting along the edges of restricted Brillouin zones of primitive-rectangular Bravais lattices as lattice constants vary relatively, until they merge into degenerate warped bands at high-symmetry points at the onset of a square lattice. The conical intersections that we found appear to have similar topological characteristics as Dirac points extensively studied in graphene and other topological insulators, although our conical intersections have none of the symmetry complexity and protection afforded by the latter more complex structures. • Feb 22 2017 math.CO arXiv:1702.06496v1 A dynamic coloring of the vertices of a graph G starts with an initial subset S of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set S is called a forcing set of G if, by iteratively applying the forcing process, every vertex in G becomes colored. If the initial set S has the added property that it induces a subgraph of G without isolated vertices, then S is called a total forcing set in G. The minimum cardinality of a total forcing set in G is its total forcing number, denoted F_t(G). We prove that if T is a tree of order n \ge 3 with maximum degree~\Delta, then F_t(T) \le \frac{1}{\Delta}((\Delta - 1)n + 1), and we characterize the infinite family of trees achieving equality in this bound. We also prove that if T is a non-trivial tree with n_1 leaves, then F_t(T) \ge n_1, and we characterize the infinite family of trees achieving equality in this bound. As a consequence of this result, the total forcing number of a non-trivial tree is strictly greater than its forcing number. In particular, we prove that if T is a non-trivial tree, then F_t(T) \ge F(T)+1, and we characterize extremal trees achieving this bound. • This paper deals with the existence of solutions to sweeping processes perturbed by a continuous signal of finite p-variation with p\in [1,3[. It covers pathwise stochastic multiplicative noises directed by a fractional Brownian motion of Hurst parameter greater than 1/3. The rough integral and a continuity result established in Castaing et al. (2015) are the cornerstone of this work. • We find nice representatives for the 0-dimensional cusps of the degree n Siegel upper half-space under the action of \Gamma_0(\stufe). To each of these we attach a Siegel Eisenstein series, and then we make explicit a result of Siegel, realizing any integral weight average Siegel theta series of arbitrary level \stufe and Dirichlet character \chi_L modulo \stufe as a linear combination of Siegel Eisenstein series. • In this paper, we propose a method for acquiring accurate and timely channel state information (CSI) by leveraging full-duplex transmission. Specifically, we propose a mobile communication system in which base stations continuously transmit a pilot sequence in the uplink frequency band, while terminals use self-interference cancellation capabilities to obtain CSI at any time. Our proposal outperforms its half-duplex counterpart by at least 50% in terms of throughput while ensuring the same (or even lower) outage probability. Remarkably, it also outperforms using full duplex for downlink data transmission for low values of downlink bandwidth and received power. • Principal component analysis (PCA) is fundamental to statistical machine learning. It extracts latent principal factors that contribute to the most variation of the data. When data are stored across multiple machines, however, communication cost can prohibit the computation of PCA in a central location and distributed algorithms for PCA are thus needed. This paper proposes and studies a distributed PCA algorithm: each node machine computes the top K eigenvectors and transmits them to the central server; the central server then aggregates the information from all the node machines and conducts a PCA based on the aggregated information. We investigate the bias and variance for the resulting distributed estimator of the top K eigenvectors. In particular, we show that for distributions with symmetric innovation, the distributed PCA is "unbiased". We derive the rate of convergence for distributed PCA estimators, which depends explicitly on the effective rank of covariance, eigen-gap, and the number of machines. We show that when the number of machines is not unreasonably large, the distributed PCA performs as well as the whole sample PCA, even without full access of whole data. The theoretical results are verified by an extensive simulation study. We also extend our analysis to the heterogeneous case where the population covariance matrices are different across local machines but share similar top eigen-structures. • Feb 22 2017 math.NT arXiv:1702.06487v1 I solve here a question of Vladimir Reshetnikov in Mathoverflow (question 261649) about the values of Fabius function. Namely, I prove that the numbers R_n:=2^{-\binom{n-1}{2}}(2n)! F(2^{-n})\prod_{m=1}^{\lfloor n/2\rfloor}(2^{2m}-1) are integers. We show also some other arithmetical properties of the values of Fabius function at dyadic points. • During the process of writing the manuscript ["Continuous warped time-frequency representations - Coorbit spaces and discretization", N. Holighaus, C. Wiesmeyr and P. Balazs], the work ["Continuous Frames, Function Spaces and the Discretization Problem" by M. Fornasier and H. Rauhut - (1)] was one of the major foundations of our results and, naturally, we found ourselves going back to reading that contribution once and again. In particular in Section 5, which is concerned with the discretization problem, we have found some typographical errors, small inaccuracies and some parts that we just would have wished to be slightly more accessible. Finally, for our own theory, a generalization of a central definition required us to verify that all the derivations in Section 5 of (1) still hold after the necessary modifications. Considering the importance of the results in (1) for the community, this was reason enough to start this side project of re-writing that least accessible portion of Fornasier and Rauhut's manuscript, eliminating the errors we found, adding annotations where we consider them useful and modifying the results to take into account the generalization we require for our own work. What you see is the result of our endeavor, a one-to-one substitute for Section 5 in (1). • We consider four-dimensional gravity coupled to a non-linear sigma model whose scalar manifold is a geometrically finite hyperbolic surface \Sigma, which may be non-compact and may have finite or infinite area. When the space-time is an FLRW universe, such theories produce a very wide generalization of two-field \alpha-attractor models, being parameterized by a positive constant \alpha, by the choice of a finitely-generated surface group \Gamma\subset \mathrm{PSL}(2,\mathbb{R}) (which is isomorphic with the fundamental group of \Sigma) and by the choice of a scalar potential defined on \Sigma. The traditional \alpha-attractor models arise when \Gamma is the trivial group, in which case \Sigma is the Poincaré disk. When \Sigma is non-compact, we show that our generalized models have the same universal behavior as ordinary \alpha-attractors if inflation happens near any of the Freudenthal ends of \Sigma, for trajectories which are well approximated by non-canonically parameterized geodesics near the ends. We also discuss some aspects of these models in the SRST approximation and give a general prescription for their study through uniformization in the non-elementary case. Our generalized models can sustain multipath inflation starting near any of the ends of \Sigma and proceeding toward the compact core. They illustrate interesting consequences of nonlinear sigma models whose scalar manifold is not simply connected and provide a large class of tractable cosmological models with non-trivial topology of the scalar field space. • Feb 22 2017 math.DS arXiv:1702.06480v1 In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential f, namely, a Hamiltonian system with real-analytic Hamiltonian$$H(y,x)=\frac12 \sum_i=1^n y_i^2 +\epsilon f(x)\ ,$(y,x)\in{\mathbb R}^n\times{\mathbb T}^n$being standard action--angle variables. For "general non-degenerate" potentials$f$'s there exists$\epsilon_0,a>0$such that, if$0<\epsilon<\epsilon_0$, then the Liouville measure of the complementary of$H$-invariant tori is smaller than$\epsilon|\log \epsilon|^a$. In this paper we provide a proof of such result. • We consider a multidimensional stochastic differential game that emerges from a multiclass M/M/1 queueing problem under heavy-traffic with model uncertainty. Namely, it is assumed that the decision maker is uncertain about the rates of arrivals to the system and the rates of service and acts to optimize an overall cost that accounts for this uncertainty. We show that the multidimensional game can be reduced to a one-dimensional stochastic differential game. Then, the value function of the games is characterized as the unique solution to a free-boundary problem from which we extract equilibria for both the reduced and the multidimensional games. Finally, we analyze the dependence of the value function and the equilibria on the ambiguity parameters. • We consider the homogeneous equation${\mathcal A} u=0$, where${\mathcal A}$is a symmetric and coercive elliptic operator in$H^1(\Omega)$with$\Omega$bounded domain in${{\mathbb R}}^d$. The boundary conditions involve fractional power$\alpha$,$ 0 < \alpha <1$, of the Steklov spectral operator arising in Dirichlet to Neumann map. For such problems we discuss two different numerical methods: (1) a computational algorithm based on an approximation of the integral representation of the fractional power of the operator and (2) numerical technique involving an auxiliary Cauchy problem for an ultra-parabolic equation and its subsequent approximation by a time stepping technique. For both methods we present numerical experiment for a model two-dimensional problem that demonstrate the accuracy, efficiency, and stability of the algorithms. • In 1995, Stanley introduced the well-known chromatic symmetric function$X_{G}(x_{1},x_{2},\ldots)$of a graph$G$. It is a sum of monomial symmetric functions such that for each vertex coloring of$G$there is exactly one of these summands. The question, whether$X_{G}(x_1,x_{2},\ldots)$distinguishes nonisomorphic graphs with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remaining forest until there remains a forest with vertices of degree not greater than$1$. For nonisomorphic trees$G$and$H$with the same number of vertices and special properties concerning their number of leafs and leaf neighbors for each subgraph in their leaf decomposition we prove that the chromatic symmetric function distinguishes the graphs. Our idea is to find independent partitions of$G$and$H$with respectively a block of maximal cardinality for$G$as well as for$H$. These cardinalities are different for graphs$G$and$H$with special properties of their leaf decompositions. Additionally, we give explicit formulas for the cardinality of such a maximal block of an independent partition of star connections and spiders. • Feb 22 2017 math.FA arXiv:1702.06471v1 We discuss several polynomial cluster value theorems for uniform algebras$H(B)$between$A_u(B)$and$H^{\infty}(B)$, for$B$the open unit ball of a complex Banach space$X$. In passing, we also obtain some results about the original cluster value problem. Examples of spaces$X$considered here are spaces of continuous functions,$\ell_1$and uniformly convex spaces. • We consider a geometrically fully nonlinear variational model for thin elastic sheets that contain a single disclination. The free elastic energy contains the thickness$h$as a small parameter. We give an improvement of a recently proved energy scaling law, removing the next-to leading order terms in the lower bound. Then we prove the convergence of (almost-)minimizers of the free elastic energy towards the shape of a radially symmetric cone, up to Euclidean motions, weakly in the spaces$W^{2,2}(B_1\setminus B_\rho;\mathbb{R}^3)$for every$0<\rho<1$, as the thickness$h$is sent to 0. • Feb 22 2017 math.GT math.QA arXiv:1702.06466v1 We describe a normal surface algorithm that decides whether a knot satisfies the Strong Slope Conjecture. We also establish a relation between the Jones period of a knot and the number of sheets of the surfaces that satisfy the Strong Slope Conjecture (Jones surfaces). • We discuss, in the context of energy flow in high-dimensional systems and Kolmogorov-Arnol'd-Moser (KAM) theory, the behavior of a chain of rotators (rotors) which is purely Hamiltonian, apart from dissipation at just one end. We derive bounds on the dissipation rate which become arbitrarily small in certain physical regimes, and we present numerical evidence that these bounds are sharp. We relate this to the decoupling of non-resonant terms as is known in KAM problems. • In this paper we introduce the concept of a space-efficient knot mosaic. That is, we seek to determine how to create knot mosaics using the least number of non-blank tiles necessary to depict the knot. This least number is called the tile number of the knot. We provide a complete list of every prime knot with mosaic number six or less, including a minimal, space-efficient knot mosaic for each of these. We also determine the tile number or minimal mosaic tile number of each of these prime knots. • We consider plasmon resonances and cloaking for the elastostatic system in$\mathbb{R}^3$via the spectral theory of Neumann-Poincaré operator. We first derive the full spectral properties of the Neumann-Poincaré operator for the 3D elastostatic system in the spherical geometry. The spectral result is of significant interest for its own sake, and serves as a highly nontrivial extension of the corresponding 2D study in [8]. The derivation of the spectral result in 3D involves much more complicated and subtle calculations and arguments than that for the 2D case. Then we consider a 3D plasmonic structure in elastostatics which takes a general core-shell-matrix form with the metamaterial located in the shell. Using the obtained spectral result, we provide an accurate characterisation of the anomalous localised resonance and cloaking associated to such a plasmonic structure. • Several new constructions of 3-dimensional optical orthogonal codes are presented here. In each case the codes have ideal autocorrelation$\mathbf{ \lambda_a=0} $, and in all but one case a cross correlation of$ \mathbf{\lambda_c=1} $. All codes produced are optimal with respect to the applicable Johnson bound either presented or developed here. Thus, on one hand the codes are as large as possible, and on the other, the bound(s) are shown to be tight. All codes are constructed by using a particular automorphism (a Singer cycle) of$ \mathbf{ PG(k,q)} $, the finite projective geometry of dimension$ k $over the field of order$ \mathbf{q} $, or by using an affine analogue in$ AG(k,q) $. • We give upper and lower bounds for the number of solutions of the equation$p(z)\log|z|+q(z)=0$with polynomials$p$and$q$. • Scott showed that for every countable structure$\mathcal{A}$, there is a sentence of the infinitary logic$\mathcal{L}_{\omega_1\omega}$, called a Scott sentence for$\mathcal{A}$, whose models are exactly the isomorphic copies of$\mathcal{A}$. Thus, the least quantifier complexity of a Scott sentence of a structure is an invariant that measures the complexity "describing" the structure. Knight et al.~have studied the Scott sentences of many structures. In particular, Knight and Saraph showed that a finitely generated structure always has a$\Sigma^0_3$Scott sentence. We give a characterization of the finitely generated structures for whom the$\Sigma^0_3$Scott sentence is optimal. One application of this result is to give a construction of a finitely generated group where the$\Sigma^0_3$Scott sentence is optimal. • We examine situations, where representations of a finite-dimensional$F$-algebra$A$defined over a separable extension field$K/F$, have a unique minimal field of definition. Here the base field$F$is assumed to be a$C_1$-field. In particular,$F$could be a finite field or$k(t)$or$k((t))$,where$k$is algebraically closed. We show that a unique minimal field of definition exists if (a)$K/F$is an algebraic extension or (b)$A$is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of$F$. This is not the case if$A$is of infinite representation type or$F$fails to be$C_1$. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of N. Karpenko, J. Pevtsova and the second author. • The construction of permutation trinomials over finite fields attracts people's interest recently due to their simple form and some additional properties. Motivated by some results on the construction of permutation trinomials with Niho exponents, by constructing some new fractional polynomials that permute the set of the$(q+1)$-th roots of unity in$\mathbb F_{q^2}$, we present several classes of permutation trinomials with Niho exponents over$\mathbb F_{q^2}$, where$q=5^k$. • We study the minimum number of heaps required to sort a random sequence using a generalization of Istrate and Bonchis's algorithm (2015). In a previous paper, the authors proved that the expected number of heaps grows logarithmically. In this note, we improve on the previous result by establishing the almost-sure and L 1 convergence. • Sampling in shift-invariant spaces is a realistic model for signals with smooth spectrum. In this paper, we consider phaseless sampling and reconstruction of real-valued signals in a shift-invariant space from their magnitude measurements on the whole Euclidean space and from their phaseless samples taken on a discrete set with finite sampling density. We introduce an undirected graph to a signal and use connectivity of the graph to characterize whether the signal can be determined, up to a sign, from its magnitude measurements on the whole Euclidean space. Under the local complement property assumption on a shift-invariant space, we find a discrete set with finite sampling density such that signals in the shift-invariant space, that are determined from their magnitude measurements on the whole Euclidean space, can be reconstructed in a stable way from their phaseless samples taken on that discrete set. In this paper, we also propose a reconstruction algorithm which provides a suboptimal approximation to the original signal when its noisy phaseless samples are available only. Finally, numerical simulations are performed to demonstrate the robust reconstruction of box spline signals from their noisy phaseless samples. • Expressing the Schroedinger Lagrangian${\cal L}$in terms of the quantum wavefunction$\psi=\exp(S+{\rm i}I)$yields the conserved Noether current${\bf J}=\exp(2S)\nabla I$. When$\psi$is a stationary state, the divergence of${\bf J}$vanishes. One can exchange$S$with$I$to obtain a new Lagrangian$\tilde{\cal L}$and a new Noether current$\tilde{\bf J}=\exp(2I)\nabla S$, conserved under the equations of motion of$\tilde{\cal L}$. However this new current$\tilde{\bf J}$is generally not conserved under the equations of motion of the original Lagrangian${\cal L}$. We analyse the role played by$\tilde{\bf J}$in the case when classical configuration space is a complex manifold, and relate its nonvanishing divergence to the inexistence of complex-analytic wavefunctions in the quantum theory described by${\cal L}. • An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb. • We study a spectral initialization method that serves as a key ingredient in recent work on using efficient iterative algorithms for estimating signals in nonconvex settings. Unlike previous analysis in the literature, which is restricted to the phase retrieval setting and which provides only performance bounds, we consider arbitrary generalized linear sensing models and present a precise asymptotic characterization of the performance of the spectral method in the high-dimensional regime. Our analysis reveals a phase transition phenomenon that depends on the sampling ratio. When the ratio is below a minimum threshold, the estimates given by the spectral method are no better than a random guess drawn uniformly from the hypersphere; above a maximum threshold, however, the estimates become increasingly aligned with the target signal. The computational complexity of the spectral method is also markedly different in the two phases. Worked examples and numerical results are provided to illustrate and verify the analytical predictions. In particular, simulations show that our asymptotic formulas provide accurate predictions even at moderate signal dimensions. ### Recent comments 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. Mark Howard Jan 24 2017 09:59 UTC It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat ...(continued) Māris Ozols Dec 27 2016 19:34 UTC What a nice book! And it's available for free on arXiv! Felix Leditzky Nov 29 2016 16:34 UTC Thank you very much for the reply! Alex Wozniakowski Nov 22 2016 19:50 UTC Here, the string diagrams (for qudits, transformations, and measurements) may have charge. The manipulation of diagrams with charge requires para-isotopy, which generalizes topological isotopy; and the relation for para-isotopy is found on pg. 11, in eq. (22). Essentially, para-isotopy keeps track ...(continued) Felix Leditzky Nov 22 2016 17:18 UTC Could you give an example of a topological isotopy that transforms the transformationT\$ on p.3 into the one in eq. (6)? On a related note, how is a topological isotopy defined?

Zoltán Zimborás Oct 31 2016 23:12 UTC

There is a lot of discussion about the paper by Atiyah (claiming to solve this famous question) in the math community - with a bit of skeptical edge - both on reddit and on mathoverflow: