title: Anisotropic Elastic Modulus, High Poisson's ratio and Negative Thermal Expansion of Graphynes and Graphdiynes

abstract: Graphyne (GY) and graphdiyne (GDY) are two-dimensional one-atom-thick carbon allotropes highly considered to substitute graphene in electronic applications because of the prediction of non null band-gap. There are seven types of GY structures not yet fully investigated in literature. In this work, by means of classical molecular dynamics simulations, the Young's modulus, Poisson's ratio and linear thermal expansion coefficient (TEC) of all originally proposed seven types of GYs and corresponding GDYs are calculated. The dependence of these properties with the density of the structure is investigated for the first time. Quadratic increasing of the TEC of GY and GDY structures with density was found. The elastic modulus of GYs and GDYs were shown to be more sensitive to their density than general porous materials. In particular, non-symmetric structures are much softer along the armchair direction than along zigzag direction, implying that the elasticity along armchair direction of GY and GDY structures are similar to that of porous gels materials. Values larger than unity were found for the Poisson's ratio of some non-symmetric GYs and GDYs. A simple honeycomb mechanical model is shown to capture the observed values of Poisson's ratio of GYs and GDYs.


title: Thermal expectation values of fermions on anti-de Sitter space-time

abstract: Making use of the symmetries of anti-de Sitter space-time, we derive an analytic expression for the bispinor of parallel transport, from which we construct in closed form the vacuum Feynman Green's function of the Dirac field on this background. Using the imaginary time anti-periodicity property of the thermal Feynman Green's function, we calculate the thermal expectation values of the fermion condensate and stress-energy tensor and highlight the effect of quantum corrections as compared to relativistic kinetic theory results.


title: Large deviation principle for random matrix products

abstract: Under a Zariski density assumption, we extend the classical theorem of Cramer on large deviations of sums of iid real random variables to random matrix products.


title: Chained Multi-stream Networks Exploiting Pose, Motion, and Appearance for Action Classification and Detection

abstract: General human action recognition requires understanding of various visual cues. In this paper, we propose a network architecture that computes and integrates the most important visual cues for action recognition: pose, motion, and the raw images. For the integration, we introduce a Markov chain model which adds cues successively. The resulting approach is efficient and applicable to action classification as well as to spatial and temporal action localization. The two contributions clearly improve the performance over respective baselines. The overall approach achieves state-of-the-art action classification performance on HMDB51, J-HMDB and NTU RGB+D datasets. Moreover, it yields state-of-the-art spatio-temporal action localization results on UCF101 and J-HMDB.


title: $\alpha$Check: A mechanized metatheory model-checker

abstract: The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has received considerable attention recently. However, the dual problem of searching for errors in such formalizations has attracted comparatively little attention. In this article, we present $\alpha$Check, a bounded model-checker for metatheoretic properties of formal systems specified using nominal logic. In contrast to the current state of the art for metatheory verification, our approach is fully automatic, does not require expertise in theorem proving on the part of the user, and produces counterexamples in the case that a flaw is detected. We present two implementations of this technique, one based on negation-as-failure and one based on negation elimination, along with experimental results showing that these techniques are fast enough to be used interactively to debug systems as they are developed.


title: Point Cloud Movement For Fully Lagrangian Meshfree Methods

abstract: In Lagrangian meshfree methods, the underlying spatial discretization, referred to as a point cloud or a particle cloud, moves with the flow velocity. In this paper, we consider different numerical methods of performing this movement of points or particles. The movement is most commonly done by a first order method, which assumes the velocity to be constant within a time step. We show that this method is very inaccurate and that it introduces volume and mass conservation errors. We further propose new methods for the same which prescribe an additional ODE system that describes the characteristic velocity. Movement is then performed along this characteristic velocity. The first new way of moving points is an extension of mesh-based streamline tracing ideas to meshfree methods. In the second way, the movement is done based on the difference in approximated streamlines between two time levels, which approximates the pathlines in unsteady flow. Numerical comparisons show these method to be vastly superior to the conventionally used first order method.


title: Functoriality of automorphic L-invariants and applications

abstract: We study the behaviour of automorphic L-Invariants associated to cuspidal representations of GL(2) of cohomological weight 0 under abelian base change and Jacquet-Langlands lifts to totally definite quaternion algebras. Under a standard non-vanishing hypothesis on automorphic L-functions and some technical restrictions on the automorphic representation and the base field we get a simple proof of the equality of automorphic and arithmetic L-invariants. This together with Spiess' results on p-adic L-functions yields a new proof of the exceptional zero conjecture for modular elliptic curves - at least, up to sign.


title: Wireless Health Monitoring using Passive WiFi Sensing

abstract: This paper presents a two-dimensional phase extraction system using passive WiFi sensing to monitor three basic elderly care activities including breathing rate, essential tremor and falls. Specifically, a WiFi signal is acquired through two channels where the first channel is the reference one, whereas the other signal is acquired by a passive receiver after reflection from the human target. Using signal processing of cross-ambiguity function, various features in the signal are extracted. The entire implementations are performed using software defined radios having directional antennas. We report the accuracy of our system in different conditions and environments and show that breathing rate can be measured with an accuracy of 87% when there are no obstacles. We also show a 98% accuracy in detecting falls and 93% accuracy in classifying tremor. The results indicate that passive WiFi systems show great promise in replacing typical invasive health devices as standard tools for health care.


title: Computing monotone policies for Markov decision processes: a nearly-isotonic penalty approach

abstract: This paper discusses algorithms for solving Markov decision processes (MDPs) that have monotone optimal policies. We propose a two-stage alternating convex optimization scheme that can accelerate the search for an optimal policy by exploiting the monotone property. The first stage is a linear program formulated in terms of the joint state-action probabilities. The second stage is a regularized problem formulated in terms of the conditional probabilities of actions given states. The regularization uses techniques from nearly-isotonic regression. While a variety of iterative method can be used in the first formulation of the problem, we show in numerical simulations that, in particular, the alternating method of multipliers (ADMM) can be significantly accelerated using the regularization step.


title: Analytical approach to the Bose polaron problem in one dimension

abstract: We discuss the ground state properties of a one-dimensional bosonic system doped with an impurity (the so-called Bose polaron problem). We introduce a formalism that allows us to calculate analytically the thermodynamic zero-temperature properties of this system with weak and moderate boson-boson interaction strengths for any boson-impurity interaction. Our approach is validated by comparing to exact quantum Monte Carlo calculations. In addition, we test the method in finite size systems using numerical results based upon the similarity renormalization group. We argue that the introduced approach provides a simple analytical tool for studies of strongly interacting impurity problems in one dimension.


title: Massive MIMO Performance - TDD Versus FDD: What Do Measurements Say?

abstract: Downlink beamforming in Massive MIMO either relies on uplink pilot measurements - exploiting reciprocity and TDD operation, or on the use of a predetermined grid of beams with user equipments reporting their preferred beams, mostly in FDD operation. Massive MIMO in its originally conceived form uses the first strategy, with uplink pilots, whereas there is currently significant commercial interest in the second, grid-of-beams. It has been analytically shown that in isotropic scattering (independent Rayleigh fading) the first approach outperforms the second. Nevertheless there remains controversy regarding their relative performance in practice. In this contribution, the performances of these two strategies are compared using measured channel data at 2.6 GHz.


title: Uncertainty and sensitivity analysis of functional risk curves based on Gaussian processes

abstract: A functional risk curve gives the probability of an undesirable event as a function of the value of a critical parameter of a considered physical system. In several applicative situations, this curve is built using phenomenological numerical models which simulate complex physical phenomena. To avoid cpu-time expensive numerical models, we propose to use Gaussian process regression to build functional risk curves. An algorithm is given to provide confidence bounds due to this approximation. Two methods of global sensitivity analysis of the models' random input parameters on the functional risk curve are also studied. In particular, the PLI sensitivity indices allow to understand the effect of misjudgment on the input parameters' probability density functions.


title: Doubly Reflected BSDEs and ${\cal E}^{f}$-Dynkin games: beyond the right-continuous case

abstract: We formulate a notion of doubly reflected BSDE in the case where the barriers $\xi$ and $\zeta$ do not satisfy any regularity assumption and with a general filtration. Under a technical assumption (a Mokobodzki-type condition), we show existence and uniqueness of the solution. In the case where $\xi$ is right upper-semicontinuous and $\zeta$ is right lower-semicontinuous, the solution is characterized in terms of the value of a corresponding $\mathcal{E}^f$-Dynkin game, i.e. a game problem over stopping times with (non-linear) $f$-expectation, where $f$ is the driver of the doubly reflected BSDE. In the general case where the barriers do not satisfy any regularity assumptions, the solution of the doubly reflected BSDE is related to the value of ''an extension'' of the previous non-linear game problem over a larger set of ''stopping strategies'' than the set of stopping times. This characterization is then used to establish a comparison result and \textit{a priori} estimates with universal constants.


title: Cosmic microwave background constraints on secret interactions among sterile neutrinos

abstract: Secret contact interactions among eV sterile neutrinos, mediated by a massive gauge boson $X$ (with $M_X \ll M_W$), and characterized by a gauge coupling $g_X$, have been proposed as a mean to reconcile cosmological observations and short-baseline laboratory anomalies. We constrain this scenario using the latest Planck data on Cosmic Microwave Background anisotropies, and measurements of baryon acoustic oscillations (BAO). We consistently include the effect of secret interactions on cosmological perturbations, namely the increased density and pressure fluctuations in the neutrino fluid, and still find a severe tension between the secret interaction framework and cosmology. In fact, taking into account neutrino scattering via secret interactions, we derive our own mass bound on sterile neutrinos and find (at 95% CL) $m_s < 0.82$ eV or $m_s < 0.29$ eV from Planck alone or in combination with BAO, respectively. These limits confirm the discrepancy with the laboratory anomalies. Moreover, we constrain, in the limit of contact interaction, the effective strength $G_X$ to be $ < 2.8 (2.0) \times 10^{10}\,G_F$ from Planck (Planck+BAO). This result, together with the mass bound, strongly disfavours the region with $M_X \sim 0.1$ MeV and relatively large coupling $g_X\sim 10^{-1}$, previously indicated as a possible solution to the small scale dark matter problem.


title: Limiting cycles and periods of Maass forms

abstract: We consider (generalized) periods of Maass forms along non-closed geodesics having a closed geodesic as the limit set.


title: Metrologically useful states of spin-1 Bose condensates with macroscopic magnetization

abstract: We study theoretically the usefulness of spin-1 Bose condensates with macroscopic magnetization in a homogeneous magnetic field for quantum metrology. We demonstrate Heisenberg scaling of the quantum Fisher information for states in thermal equilibrium. The scaling applies to both antiferromagnetic and ferromagnetic interactions. The effect preserves as long as fluctuations of magnetization are sufficiently small. Scaling of the quantum Fisher information with the total particle number is derived within the mean-field approach in the zero temperature limit and exactly in the high magnetic field limit for any temperature. The precision gain is intuitively explained owing to subtle features of the quasi-distribution function in phase space.


title: Simulating spin-boson models with trapped ions

abstract: We propose a method to simulate the dynamics of spin-boson models with small crystals of trapped ions where the electronic degree of freedom of one ion is used to encode the spin while the collective vibrational degrees of freedom are employed to form an effective harmonic environment. The key idea of our approach is that a single damped mode can be used to provide a harmonic environment with Lorentzian spectral density. More complex spectral functions can be tailored by combining several individually damped modes. We propose to work with mixed-species crystals such that one species serves to encode the spin while the other species is used to cool the vibrational degrees of freedom to engineer the environment. The strength of the dissipation on the spin can be controlled by tuning the coupling between spin and vibrational degrees of freedom. In this way the dynamics of spin-boson models with macroscopic and non-Markovian environments can be simulated using only a few ions. We illustrate the approach by simulating an experiment with realistic parameters and show by computing quantitative measures that the dynamics is genuinely non-Markovian.


title: Towards a property graph generator for benchmarking

abstract: The use of synthetic graph generators is a common practice among graph-oriented benchmark designers, as it allows obtaining graphs with the required scale and characteristics. However, finding a graph generator that accurately fits the needs of a given benchmark is very difficult, thus practitioners end up creating ad-hoc ones. Such a task is usually time-consuming, and often leads to reinventing the wheel. In this paper, we introduce the conceptual design of DataSynth, a framework for property graphs generation with customizable schemas and characteristics. The goal of DataSynth is to assist benchmark designers in generating graphs efficiently and at scale, saving from implementing their own generators. Additionally, DataSynth introduces novel features barely explored so far, such as modeling the correlation between properties and the structure of the graph. This is achieved by a novel property-to-node matching algorithm for which we present preliminary promising results.


title: Detection of Copy-move Image forgery using SVD and Cuckoo Search Algorithm

abstract: Copy-move forgery is one of the simple and effective operations to create forged images. Recently, techniques based on singular value decomposition (SVD) are widely used to detect copy-move forgery (CMF). Some approaches based on SVD are most acceptable to detect copy-move forgery but some copy-move forgery detection approaches can not produce satisfactory detection results. Sometimes these approaches may even produce error results. According to our observation, detection result produced using SVD depend highly on those parameters whose values are often determined with experiences. These values are only applicable to a few images, which limit their application. To solve this problem, a novel approach named as copy-move forgery detection using Cuckoo search algorithm (CMFD-CS) is proposed in this paper. CMFD-CS integrates the CS algorithm into SVD. It utilizes the CS algorithm to generate customized parameter values for images, which are used CMFD under block-based framework.


title: Quantitative uniqueness of solutions to second order elliptic equations with singular potentials in two dimensions

abstract: In this article, we study the vanishing order of solutions to second order elliptic equations with singular lower order terms in the plane. In particular, we derive lower bounds for solutions on arbitrarily small balls in terms of the Lebesgue norms of the lower order terms for all admissible exponents. Then we show that a scaling argument allows us to pass from these vanishing order estimates to estimates for the rate of decay of solutions at infinity. Our proofs rely on a new $L^p - L^q$ Carleman estimate for the Laplacian in $\mathbb{R}^2$.


title: Optimal lower bounds for universal relation, and for samplers and finding duplicates in streams

abstract: In the communication problem $\mathbf{UR}$ (universal relation) [KRW95], Alice and Bob respectively receive $x, y \in\{0,1\}^n$ with the promise that $x\neq y$. The last player to receive a message must output an index $i$ such that $x_i\neq y_i$. We prove that the randomized one-way communication complexity of this problem in the public coin model is exactly $\Theta(\min\{n,\log(1/\delta)\log^2(\frac n{\log(1/\delta)})\})$ for failure probability $\delta$. Our lower bound holds even if promised $\mathop{support}(y)\subset \mathop{support}(x)$. As a corollary, we obtain optimal lower bounds for $\ell_p$-sampling in strict turnstile streams for $0\le p < 2$, as well as for the problem of finding duplicates in a stream. Our lower bounds do not need to use large weights, and hold even if promised $x\in\{0,1\}^n$ at all points in the stream. We give two different proofs of our main result. The first proof demonstrates that any algorithm $\mathcal A$ solving sampling problems in turnstile streams in low memory can be used to encode subsets of $[n]$ of certain sizes into a number of bits below the information theoretic minimum. Our encoder makes adaptive queries to $\mathcal A$ throughout its execution, but done carefully so as to not violate correctness. This is accomplished by injecting random noise into the encoder's interactions with $\mathcal A$, which is loosely motivated by techniques in differential privacy. Our second proof is via a novel randomized reduction from Augmented Indexing [MNSW98] which needs to interact with $\mathcal A$ adaptively. To handle the adaptivity we identify certain likely interaction patterns and union bound over them to guarantee correct interaction on all of them. To guarantee correctness, it is important that the interaction hides some of its randomness from $\mathcal A$ in the reduction.


title: Photoproduction of eta mesons from the neutron: cross sections and double polarization observable E

abstract: Photoproduction of $\eta$ mesons from neutrons} \abstract{Results from measurements of the photoproduction of $\eta$ mesons from quasifree protons and neutrons are summarized. The experiments were performed with the CBELSA/TAPS detector at the electron accelerator ELSA in Bonn using the $\eta\to3\pi^{0}\to6\gamma$ decay. A liquid deuterium target was used for the measurement of total cross sections and angular distributions. The results confirm earlier measurements from Bonn and the MAMI facility in Mainz about the existence of a narrow structure in the excitation function of $\gamma n\rightarrow n\eta$. The current angular distributions show a forward-backward asymmetry, which was previously not seen, but was predicted by model calculations including an additional narrow $P_{11}$ state. Furthermore, data obtained with a longitudinally polarized, deuterated butanol target and a circularly polarized photon beam were analyzed to determine the double polarization observable $E$. Both data sets together were also used to extract the helicity dependent cross sections $\sigma_{1/2}$ and $\sigma_{3/2}$. The narrow structure in the excitation function of $\gamma n\rightarrow n\eta$ appears associated with the helicity-1/2 component of the reaction.


title: Super Rogers-Szeg\"o polynomials associated with $BC_N$ type of Polychronakos spin chains

abstract: As is well known, multivariate Rogers-Szeg\"o polynomials are closely connected with the partition functions of the $A_{N-1}$ type of Polychronakos spin chains having long-range interactions. Applying the `freezing trick', here we derive the partition functions for a class of $BC_N$ type of Polychronakos spin chains containing supersymmetric analogues of polarized spin reversal operators and subsequently use those partition functions to obtain novel multivariate super Rogers-Szeg\"o (SRS) polynomials depending on four types of variables. We construct the generating functions for such SRS polynomials and show that these polynomials can be written as some bilinear combinations of the $A_{N-1}$ type of SRS polynomials. We also use the above mentioned generating functions to derive a set of recursion relations for the partition functions of the $BC_N$ type of Polychronakos spin chains involving different numbers of lattice sites and internal degrees of freedom.

categories: cond-mat.stat-mech hep-th math-ph math.MP nlin.SI


title: Unobstructed symplectic packing by ellipsoids for tori and hyperkahler manifolds

abstract: Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits a symplectic embedding to M. We show that the symplectic packings by ellipsoids are unobstructed for all even-dimensional tori equipped with Kahler symplectic forms and all closed hyperkahler manifolds of maximal holonomy, or, more generally, for closed Campana simple manifolds (that is, Kahler manifolds that are not unions of their complex subvarieties), as well as for any closed Kahler manifold which is a limit of Campana simple manifolds in a smooth deformation. The proof involves the construction of a Kahler resolution of a Kahler orbifold with isolated singularities and relies on the results of Demailly-Paun and Miyaoka on Kahler cohomology classes.


title: Semi-Supervised Generation with Cluster-aware Generative Models

abstract: Deep generative models trained with large amounts of unlabelled data have proven to be powerful within the domain of unsupervised learning. Many real life data sets contain a small amount of labelled data points, that are typically disregarded when training generative models. We propose the Cluster-aware Generative Model, that uses unlabelled information to infer a latent representation that models the natural clustering of the data, and additional labelled data points to refine this clustering. The generative performances of the model significantly improve when labelled information is exploited, obtaining a log-likelihood of -79.38 nats on permutation invariant MNIST, while also achieving competitive semi-supervised classification accuracies. The model can also be trained fully unsupervised, and still improve the log-likelihood performance with respect to related methods.


title: Spin-Mechanical Scheme with Color Centers in Hexagonal Boron Nitride Membranes

abstract: Recently observed quantum emitters in hexagonal boron nitride (hBN) membranes have a potential for achieving high accessibility and controllability thanks to the lower spatial dimension. Moreover, these objects naturally have a high sensitivity to vibrations of the hosting membrane due to its low mass density and high elasticity modulus. Here, we propose and analyze a spin-mechanical system based on color centers in a suspended hBN mechanical resonator. Through group theoretical analyses and ab-initio calculation of the electronic and spin properties of such a system, we identify a spin doublet ground state and demonstrate that a spin-motion interaction can be engineered which enables ground state cooling of the mechanical resonator. We also present a toolbox for initialization, rotation, and readout of the defect spin qubit. As a result the proposed setup presents the possibility for studying a wide range of physics. To illustrate its assets, we show that a fast and noise resilient preparation of a multicomponent cat state and a squeezed state of the mechanical resonator is possible; the latter is achieved by realizing the extremely detuned, ultrastrong coupling regime of the Rabi model, where a phonon superradiant phase transition is expected to occur.


title: Fully guided-wave photon pair source for quantum applications

abstract: We report a fully guided-wave source of polarisation entangled photons based on a periodically poled lithium niobate waveguide mounted in a Sagnac interferometer. We demonstrate the source's quality by converting polarisation entanglement to postselection-free energy-time entanglement for which we obtain a near-optimal $S$-parameter of $2.75 \pm 0.02$, i.e. a violation of the Bell inequality by more than 35 standard deviations. The exclusive use of guided-wave components makes our source compact and stable which is a prerequisite for increasingly complex quantum applications. Additionally, our source offers a great versatility in terms of photon pair emission spectrum and generated quantum state, making it suitable for a broad range of quantum applications such as cryptography and metrology. In this sense, we show how to use our source for chromatic dispersion measurements in optical fibres which opens new avenues in the field of quantum metrology.


title: Symmetric motifs in random geometric graphs

abstract: We study symmetric motifs in random geometric graphs. Symmetric motifs are subsets of nodes which have the same adjacencies. These subgraphs are particularly prevalent in random geometric graphs and appear in the Laplacian and adjacency spectrum as sharp, distinct peaks, a feature often found in real-world networks. We look at the probabilities of their appearance and compare these across parameter space and dimension. We then use the Chen-Stein method to derive the minimum separation distance in random geometric graphs which we apply to study symmetric motifs in both the intensive and thermodynamic limits. In the thermodynamic limit the probability that the closest nodes are symmetric approaches one, whilst in the intensive limit this probability depends upon the dimension.


title: Universal locally finite maximally homogeneous semigroups and inverse semigroups

abstract: In 1959, P. Hall introduced the locally finite group $\mathcal{U}$, today known as Hall's universal group. This group is countable, universal, simple, and any two finite isomorphic subgroups are conjugate in $\mathcal{U}$. It can be explicitly described as a direct limit of finite symmetric groups. It is homogeneous in the model-theoretic sense since it is the Fraisse limit of the class of all finite groups. Since its introduction Hall's group, and several natural generalisations, have been widely studied. In this article we use a generalisation of Fraisse theory to construct a countable, universal, locally finite semigroup $\mathcal{T}$, that arises as a direct limit of finite full transformation semigroups, and has the highest possible degree of homogeneity. We prove that it is unique up to isomorphism among semigroups satisfying these properties. We prove an analogous result for inverse semigroups, constructing a maximally homogeneous universal locally finite inverse semigroup $\mathcal{I}$ which is a direct limit of finite symmetric inverse semigroups (semigroups of partial bijections). The semigroups $\mathcal{T}$ and $\mathcal{I}$ are the natural counterparts of Hall's universal group for semigroups and inverse semigroups, respectively. While these semigroups are not homogeneous, they still exhibit a great deal of symmetry. We study the structural features of these semigroups and locate several well-known homogeneous structures within them, such as the countable generic semilattice, the countable random bipartite graph, and Hall's group itself.


title: Local nearest neighbour classification with applications to semi-supervised learning

abstract: We derive a new asymptotic expansion for the global excess risk of a local-$k$-nearest neighbour classifier, where the choice of $k$ may depend upon the test point. This expansion elucidates conditions under which the dominant contribution to the excess risk comes from the decision boundary of the optimal Bayes classifier, but we also show that if these conditions are not satisfied, then the dominant contribution may arise from the tails of the marginal distribution of the features. Moreover, we prove that, provided the $d$-dimensional marginal distribution of the features has a finite $\rho$th moment for some $\rho > 4$ (as well as other regularity conditions), a local choice of $k$ can yield a rate of convergence of the excess risk of $O(n^{-4/(d+4)})$, where $n$ is the sample size, whereas for the standard $k$-nearest neighbour classifier, our theory would require $d \geq 5$ and $\rho > 4d/(d-4)$ finite moments to achieve this rate. These results motivate a new $k$-nearest neighbour classifier for semi-supervised learning problems, where the unlabelled data are used to obtain an estimate of the marginal feature density, and fewer neighbours are used for classification when this density estimate is small. Our worst-case rates are complemented by a minimax lower bound, which reveals that the local, semi-supervised $k$-nearest neighbour classifier attains the minimax optimal rate over our classes for the excess risk, up to a subpolynomial factor in $n$. These theoretical improvements over the standard $k$-nearest neighbour classifier are also illustrated through a simulation study.


title: Comment on 'Pi in the Sky' by Frolop and Scott: They Lie

abstract: Frolop and Scott (2016) claim significant 1-1 correspondence between anomalies in the cosmic microwave background (CMB) and the digits of pi, which they call 'Pi in the Sky'. They have without attribution republished the famous work of Joe Hill (Hill 1911), who first proposed this idea, then repudiated it.


title: Characterization of constant sign Green's function of a two point boundary value problem by means of spectral theory

abstract: This paper is devoted to the study of the parameter's set where the Green's function related to a general linear $n^{\rm th}$-order operator, depending on a real parameter, $T_n[M]$, coupled with many different two point boundary value conditions, is of constant sign. This constant sign is equivalent to the strongly inverse positive (negative) character of the related operator on suitable spaces related to the boundary conditions. This characterization is based on spectral theory, in fact the extremes of the obtained interval are given by suitable eigenvalues of the differential operator with different boundary conditions. Moreover, we also obtain a characterization of the strongly inverse positive (negative) character on some sets, where non homogeneous boundary conditions are considered. In order to see the applicability of the obtained results, some examples are given along the paper. This method avoids the explicit calculation of the related Green's function.


title: A novel energy-based phase field model for ferrodroplet deformation and breakup in a uniform magnetic field

abstract: In this paper, we propose a novel, thermodynamically consistent phase field model to simulate the deformation and breakup of a ferrodroplet that is immersed in a viscous medium and subject to an applied uniform magnetic field. Instead of using the magnetic body force in the traditional Rosensweig model, the key idea of this model is to propose a new magnetic energy that enables direct effects of the magnetic field on the interface evolution. The model can thereby be derived from the variational principle via minimizing the free energy of the total system. This energy based modeling idea can be easily extended to include more external fields in a convenient and consistent way for more complicated applications involving multiple external fields. We validate the model by performing a series of numerical simulations, including the comparison with analytic solutions, the investigation of the effect of different types of magnetic fields, the dynamical behaviors of the ferrodroplet breakup under the strong magnetic field, magnetic/velocity/pressure field distributions, the magnetic energy density, and the inertial phenomenon, etc.


title: A correlation game for unsupervised learning yields computational interpretations of Hebbian excitation, anti-Hebbian inhibition, and synapse elimination

abstract: Much has been learned about plasticity of biological synapses from empirical studies. Hebbian plasticity is driven by correlated activity of presynaptic and postsynaptic neurons. Synapses that converge onto the same neuron often behave as if they compete for a fixed resource; some survive the competition while others are eliminated. To provide computational interpretations of these aspects of synaptic plasticity, we formulate unsupervised learning as a zero-sum game between Hebbian excitation and anti-Hebbian inhibition in a neural network model. The game formalizes the intuition that Hebbian excitation tries to maximize correlations of neurons with their inputs, while anti-Hebbian inhibition tries to decorrelate neurons from each other. We further include a model of synaptic competition, which enables a neuron to eliminate all connections except those from its most strongly correlated inputs. Through empirical studies, we show that this facilitates the learning of sensory features that resemble parts of objects.


title: Distributed FD-MIMO: Cellular Evolution for 5G and Beyond

abstract: This paper presents the next evolution of FD-MIMO technology for beyond 5G, where antennas of the FD-MIMO system are placed in a distributed manner throughout the cell in a multi-cell deployment scenario. This system, referred to as Distributed FD-MIMO (D-FD-MIMO) system, is capable of providing higher cell average throughput as well as more uniform user experience compared to the conventional FD-MIMO system. System level simulations are performed to evaluate performance. Our results show that the proposed D-FD-MIMO system achieves 1.4-2 times cell average throughput gain compared to the FD-MIMO system. The insights of performance gain are provided. Hardware implementation challenges and potential standards impact are also presented.


title: Soft-to-Hard Vector Quantization for End-to-End Learning Compressible Representations

abstract: We present a new approach to learn compressible representations in deep architectures with an end-to-end training strategy. Our method is based on a soft (continuous) relaxation of quantization and entropy, which we anneal to their discrete counterparts throughout training. We showcase this method for two challenging applications: Image compression and neural network compression. While these tasks have typically been approached with different methods, our soft-to-hard quantization approach gives results competitive with the state-of-the-art for both.


title: Helicity-dependent cross sections and double-polarization observable E in eta photoproduction from quasi-free protons and neutrons

abstract: Precise helicity-dependent cross sections and the double-polarization observable $E$ were measured for $\eta$ photoproduction from quasi-free protons and neutrons bound in the deuteron. The $\eta\rightarrow 2\gamma$ and $\eta\rightarrow 3\pi^0\rightarrow 6\gamma$ decay modes were used to optimize the statistical quality of the data and to estimate systematic uncertainties. The measurement used the A2 detector setup at the tagged photon beam of the electron accelerator MAMI in Mainz. A longitudinally polarized deuterated butanol target was used in combination with a circularly polarized photon beam from bremsstrahlung of a longitudinally polarized electron beam. The reaction products were detected with the electromagnetic calorimeters Crystal Ball and TAPS, which covered 98\% of the full solid angle. The results show that the narrow structure observed earlier in the unpolarized excitation function of $\eta$ photoproduction off the neutron appears only in reactions with antiparallel photon and nucleon spin ($\sigma_{1/2}$). It is absent for reactions with parallel spin orientation ($\sigma_{3/2}$) and thus very probably related to partial waves with total spin 1/2. The behavior of the angular distributions of the helicity-dependent cross sections was analyzed by fitting them with Legendre polynomials. The results are in good agreement with a model from the Bonn-Gatchina group, which uses an interference of $P_{11}$ and $S_{11}$ partial waves to explain the narrow structure.


title: A Central Limit Theorem for Vincular Permutation Patterns

abstract: We study the number of occurrences of any fixed vincular permutation pattern. We show that this statistics on uniform random permutations is asymptotically normal and describe the speed of convergence. To prove this central limit theorem, we use the method of dependency graphs. The main difficulty is then to estimate the variance of our statistics. We need a lower bound on the variance, for which we introduce a recursive technique based on the law of total variance.


title: Fast Encoding and Decoding of Flexible-Rate and Flexible-Length Polar Codes

abstract: This work is on fast encoding and decoding of polar codes. We propose and detail 8-bit and 16-bit parallel decoders that can be used to reduce the decoding latency of the successive-cancellation decoder. These decoders are universal and can decode flexible-rate and flexible-length polar codes. We also present fast encoders that can be used to increase the throughput of serially-implemented polar encoders.


title: Transfer-Matrix Methods meet Ehrhart Theory

abstract: Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors. In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$ This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.


title: A New Stellar Atmosphere Grid and Comparisons with HST/STIS Calspec Flux Distributions

abstract: The Space Telescope Imaging Spectrograph (STIS) has measured the spectral energy distributions (SEDs) for several stars of types O, B, A, F, and G. These absolute fluxes from the CALSPEC database are fit with a new spectral grid computed from the ATLAS-APOGEE ATLAS9 model atmosphere database using a chi-square minimization technique in four parameters. The quality of the fits are compared for complete LTE grids by Castelli & Kurucz (CK04) and our new comprehensive LTE grid (BOSZ). For the cooler stars, the fits with the MARCS LTE grid are also evaluated, while the hottest stars are also fit with the NLTE Lanz & Hubeny OB star grids. Unfortunately, these NLTE models do not transition smoothly in the infrared to agree with our new BOSZ LTE grid at the NLTE lower limit of Teff =15,000K. The new BOSZ grid is available via the Space Telescope Institute MAST archive and has a much finer sampled IR wavelength scale than CK04, which will facilitate the modeling of stars observed by the James Webb Space Telescope (JWST). Our result for the angular diameter of Sirius agrees with the ground- based interferometric value.


title: On quadratic variation in the Skorokhod space

abstract: This paper has been withdrawn by the author. The most updated version can be accessed by arXiv:1806.07290.


title: Nodal-link semimetals

abstract: In topological semimetals, the valence band and conduction band meet at zero-dimensional nodal points or one-dimensional nodal rings, which are protected by band topology and symmetries. In this Rapid Communication, we introduce "nodal-link semimetals", which host linked nodal rings in the Brillouin zone. We put forward a general recipe based on the Hopf map for constructing models of nodal-link semimetal. The consequences of nodal ring linking in the Landau levels and Floquet properties are investigated.


title: Detection and Resolution of Rumours in Social Media: A Survey

abstract: Despite the increasing use of social media platforms for information and news gathering, its unmoderated nature often leads to the emergence and spread of rumours, i.e. pieces of information that are unverified at the time of posting. At the same time, the openness of social media platforms provides opportunities to study how users share and discuss rumours, and to explore how natural language processing and data mining techniques may be used to find ways of determining their veracity. In this survey we introduce and discuss two types of rumours that circulate on social media; long-standing rumours that circulate for long periods of time, and newly-emerging rumours spawned during fast-paced events such as breaking news, where reports are released piecemeal and often with an unverified status in their early stages. We provide an overview of research into social media rumours with the ultimate goal of developing a rumour classification system that consists of four components: rumour detection, rumour tracking, rumour stance classification and rumour veracity classification. We delve into the approaches presented in the scientific literature for the development of each of these four components. We summarise the efforts and achievements so far towards the development of rumour classification systems and conclude with suggestions for avenues for future research in social media mining for detection and resolution of rumours.


title: Toeplitz determinants whose elements are the coefficients of univalent functions

abstract: Let $\mathcal{S}$ denote the class of analytic and univalent functions in $\mathbb{D}:=\{z\in\mathbb{C}:\, |z|<1\}$ of the form $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$. In this paper, we determine sharp estimates for the Toeplitz determinants whose elements are the Taylor coefficients of functions in $\mathcal{S}$ and its certain subclasses. We also discuss similar problems for typically real functions.


title: Channel Feedback Based on AoD-Adaptive Subspace Codebook in FDD Massive MIMO Systems

abstract: Channel feedback is essential in frequency division duplexing (FDD) massive multiple-input multiple-output (MIMO) systems. Unfortunately, previous work on multiuser MIMO has shown that the codebook size for channel feedback should scale exponentially with the number of base station (BS) antennas, which is greatly increased in massive MIMO systems. To reduce the codebook size and feedback overhead, we propose an angle-of-departure (AoD)-adaptive subspace codebook for channel feedback in FDD massive MIMO systems. Our key insight is to leverage the observation that path AoDs vary more slowly than the path gains. Within the angle coherence time, by utilizing the constant AoD information, the proposed AoD-adaptive subspace codebook is able to quantize the channel vector in a more accurate way. We also provide performance analysis of the proposed codebook in the large-dimensional regime, where we prove that to limit the capacity degradation within an acceptable level, the required number of feedback bits only scales linearly with the number of resolvable (path) AoDs, which is much smaller than the number of BS antennas. Moreover, we compare quantized channel feedback using the proposed AoD-adaptive subspace codebook with analog channel feedback. Extensive simulations that verify the analytical results are provided.


title: Magnetoelectric Phase Diagrams of Multiferroic GdMn2O5

abstract: Electric and magnetic properties of multiferroic GdMn2O5 in external magnetic fields were investigated to map out the magnetoelectric phases in this material. Due to strong magnetoelectric coupling, the dielectric permittivity is highly sensitive to phase boundaries in GdMn2O5, which allowed to construct the field-temperature phase diagrams. Several phase transitions are observed which are strongly field-dependent with respect to field orientation and strength. The phase diagram for a magnetic field along the crystallographic a-axis corresponds well to a polarization step, as induced by 90 degree rotation of Gd magnetic moments. Our results support the model of two ferroelectric sublattices, Mn-Mn and Gd-Mn with strong R-Mn (4f-3d) interaction for the polarization in RMn2O5.


title: Multi-wavelength observations of vortex-like flows in the photosphere using ground-based and space-borne telescopes

abstract: In this work we follow a series of papers on high-resolution observations of small-scale structures in the solar atmosphere \citep[][Cabello et al., in prep]{Balmaceda2009, Balmaceda2010, Vargas2011, Palacios2012, Domingo2012, Vargas2015}, combining several multi-wavelength data series. These were acquired by both ground-based (SST) and space-borne (Hinode) instruments during the joint campaign of the Hinode Operation Program 14, in September 2007. Diffraction-limited SST data were taken in the G-band and G-cont, and were restored by the MFBD technique. Hinode instruments, on the other hand, provided multispectral data from SOT-FG in the CN band, and Mg~{\sc I} and Ca {\sc II}~lines, as well as from SOT-SP in the Fe~{\sc I} line. In this series of works we have thoroughly studied vortex flows and their statistical occurrences, horizontal velocity fields by means of Local Correlation Tracking (LCT), divergence and vorticity. Taking advantage of the high-cadence and high spatial resolution data, we have also studied bright point statistics and magnetic field intensification, highlighting the importance of the smallest-scale magnetic element observations.


title: Misconceptions about Calorimetry

abstract: In the past 50 years, calorimeters have become the most important detectors in many particle physics experiments, especially experiments in colliding-beam accelerators at the energy frontier. In this paper, we describe and discuss a number of common misconceptions about these detectors, as well as the consequences of these misconceptions. We hope that it may serve as a useful source of information for young colleagues who want to familiarize themselves with these tricky instruments.


title: On the relativistic theory of force-free particles with any spin

abstract: In the free case, it is possible to define quantum fields which describe particles with integer or half-integer spin larger than one. It is shown that particles with integer spin must have Bose statistic and particles with half-integer-spin must follow Fermi-Dirac statistic. In the free case, the fields with spin smaller or equal to one are already well defined, so that for them alone, the charge and energy density are clearly identified and gauge invariant; while for the higher spin this is the case only for the total charge and total energy.


title: Polar Codes over Fading Channels with Power and Delay Constraints

abstract: The inherent nature of polar codes being channel specific makes it difficult to use them in a setting where the communication channel changes with time. In particular, to be able to use polar codes in a wireless scenario, varying attenuation due to fading needs to be mitigated. To the best of our knowledge, there has been no comprehensive work in this direction thus far. In this work, a practical scheme involving channel inversion with the knowledge of the channel state at the transmitter, is proposed. An additional practical constraint on the permissible average and peak power is imposed, which in turn makes the channel equivalent to an additive white Gaussian noise (AWGN) channel cascaded with an erasure channel. It is shown that the constructed polar code could be made to achieve the symmetric capacity of this channel. Further, a means to compute the optimal design rate of the polar code for a given power constraint is also discussed.


title: Quantum Simulation of Abelian Lattice Gauge Theories via State-Dependent Hopping

abstract: We develop a quantum simulator architecture that is suitable for the simulation of $U(1)$ Abelian gauge theories such as quantum electrodynamics. Our approach relies on the ability to control the hopping of a particle through a barrier by means of the internal quantum states of a neutral or charged impurity-particle sitting at the barrier. This scheme is experimentally feasible, as the correlated hopping does not require fine-tuning of the intra- and inter-species interactions. We investigate the applicability of the scheme in a double well potential, which is the basic building block of the simulator, both at the single-particle and the many-body mean-field level. Moreover, we evaluate its performance for different particle interactions and trapping, and, specifically for atom-ion systems, in the presence of micro-motion.


title: Investigating consumers' store-choice behavior via hierarchical variable selection

abstract: This paper is concerned with a store-choice model for investigating consumers' store-choice behavior based on scanner panel data. Our store-choice model enables us to evaluate the effects of the consumer/product attributes not only on the consumer's store choice but also on his/her purchase quantity. Moreover, we adopt a mixed-integer optimization (MIO) approach to selecting the best set of explanatory variables with which to construct a store-choice model. We devise two MIO models for hierarchical variable selection in which the hierarchical structure of product categories is used to enhance the reliability and computational efficiency of the variable selection. We assess the effectiveness of our MIO models through computational experiments on actual scanner panel data. These experiments are focused on the consumer's choice among three types of stores in Japan: convenience stores, drugstores, and grocery supermarkets. The computational results demonstrate that our method has several advantages over the common methods for variable selection, namely, the stepwise method and $L_1$-regularized regression. Furthermore, our analysis reveals that convenience stores tend to be chosen because of accessibility, drugstores are chosen for the purchase of specific products at low prices, and grocery supermarkets are chosen for health food products by women with families.


title: Asymptotic causal inference with observational studies trimmed by the estimated propensity scores

abstract: Causal inference with observational studies often relies on the assumptions of unconfoundedness and overlap of covariate distributions in different treatment groups. The overlap assumption is violated when some units have propensity scores close to 0 or 1, and therefore both practical and theoretical researchers suggest dropping units with extreme estimated propensity scores. However, existing trimming methods ignore the uncertainty in this design stage and restrict inference only to the trimmed sample, due to the non-smoothness of the trimming. We propose a smooth weighting, which approximates the existing sample trimming but has better asymptotic properties. An advantage of the new smoothly weighted estimator is its asymptotic linearity, which ensures that the bootstrap can be used to make inference for the target population, incorporating uncertainty arising from both the design and analysis stages. We also extend the theory to the average treatment effect on the treated, suggesting trimming samples with estimated propensity scores close to 1.


abstract: In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n-1$ in $\mathbb R^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond. In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph $\Gamma$ of dimension $d$ in $\mathbb R^n$, $d<n-1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator $L$ such that the corresponding harmonic measure $\omega_L$ is absolutely continuous with respect to the Hausdorff measure on $\Gamma$. More generally, we provide sufficient conditions on the matrix of coefficients of $L$ which guarantee the mutual absolute continuity of $\omega_L$ and the Hausdorff measure.


title: Optimal lower eigenvalue estimates for Hodge-Laplacian and applications

abstract: In this paper, we consider the eigenvalue problem for Hodge-Laplacian on a Riemannian manifold $M$ isometrically immersed into another Riemannian manifold $\bar M$ for arbitrary codimension. We first assume the pull back Weitzenb\"{o}ck operator (defined in Section 2) of $\bar M$ bounded from below, and obtain an extrinsic lower bound for the first eigenvalue of Hodge-Laplacian. As applications, we obtain some rigidity results and a homology sphere theorem. Second, when the pull back Weitzenb\"{o}ck operator of $\bar M$ bounded from both sides, we give a lower bound of the first eigenvalue by the Ricci curvature of $M$ and some extrinsic geometry. As a consequence, we prove a weak Ejiri type theorem, that is, if the Ricci curvature bounded from below pointwisely by a function of the norm square of the mean curvature vector, then $M$ is a homology sphere. In the end, we give an example to show that all the eigenvalue estimates and homology sphere theorems are optimal when $\bar M$ has constant curvature.


title: Raman scattering study of tetragonal magnetic phase in Sr$_{1-x}$Na$_x$Fe$_2$As$_2$: structural symmetry and electronic gap

abstract: We use inelastic light scattering to study Sr$_{1-x}$Na$_x$Fe$_2$As$_2$ ($x\approx0.34$), which exhibits a robust tetragonal magnetic phase that restores the four-fold rotation symmetry inside the orthorhombic magnetic phase. With cooling, we observe splitting and recombination of an $E_g$ phonon peak upon entering the orthorhombic and tetragonal magnetic phases, respectively, consistent with the reentrant phase behavior. Our electronic Raman data reveal a pronounced feature that is clearly associated with the tetragonal magnetic phase, suggesting the opening of an electronic gap. No phonon back-folding behavior can be detected above the noise level, which implies that any lattice translation symmetry breaking in the tetragonal magnetic phase must be very weak.


title: Applications of an intersection formula to dual cones

abstract: We give a succinct proof of a duality theorem obtained by R\'ev\'esz in 1991 which concerns extremal quantities related to trigonomertic polynomials. The key tool of our new proof is an intersection formula on dual cones in real Banach spaces. We show another application of this intersection formula which is related to the integral estimates of non-negative positive definite functions.


title: SiD Status and Plans

abstract: Recent work carried out in the SiD Consortium is reported. Results have been obtained with the Chronopix version 3 chip, intended for the SiD vertex detector. A test structure is being produced for KPiXM, a CMOS MAPS approach that could be used for the tracker and electromagnetic calorimeter. Tracker sensors are being tested and a new prototype sensor is being planned. A new effort on tracker support structures has begun and first prototypes produced. New studies of the pair background envelope in the beam pipe have been carried out. Electromagnetic calorimeter testbeam data has been analysed and plans are being developed for a full stack prototype. New comprehensive studies of high-rate backgrounds and muons from the beam delivery system have been carried out to determine aspects of the forward region layout. Work has started on alignment and calibration strategies; and progress has been made on a new simulation and reconstruction framework for SiD.


title: Autour d'une conjecture de Kato et Kuzumaki

abstract: In 1986, Kato and Kuzumaki stated several conjectures in order to give a diophantine characterization of cohomological dimension of fields. In this article, we first prove a local-global principle in this context for number fields. This allows us to give a new proof of one of Kato and Kuzumaki's conjectures for totally imaginary number fields (the first proof was given by Olivier Wittenberg). Our arguments can be generalized to get results for global fields of positive characteristic. We then establish all the conjectures for the fields $\mathbb{C}(x_1,...,x_n)$ and $\mathbb{C}(x_1,...,x_n)((t))$. We finally prove a partial result for the field of Laurent series in two variables $\mathbb{C}((x,y))$. En 1986, Kato et Kuzumaki ont formul\'e des conjectures cherchant \`a donner une caract\'erisation diophantienne de la dimension cohomologique des corps. Dans cet article, nous montrons d'abord un \'enonc\'e de type principe local-global dans ce contexte pour les corps de nombres. Cela nous permet de donner une nouvelle d\'emonstration d'une des conjectures de Kato et Kuzumaki pour les corps de nombres totalement imaginaires (la premi\`ere preuve \'etant due \`a Olivier Wittenberg). Nos arguments nous permettent aussi d'obtenir des r\'esultats pour les corps globaux de caract\'eristique positive. Dans la suite de l'article, nous \'etablissons toutes les conjectures de Kato et Kuzumaki pour les corps $\mathbb{C}(x_1,...,x_n)$ et $\mathbb{C}(x_1,...,x_n)((t))$. Nous montrons finalement un r\'esultat partiel pour le corps de s\'eries de Laurent \`a deux variables $\mathbb{C}((x,y))$.


title: $|V_{cb}|$ using lattice QCD

abstract: Lattice QCD calculations of hadronic matrix elements allow one to draw inferences about quark flavor interactions from measurements of hadron decays. Within the context of the Standard Model, the magnitude of the charm-bottom quark coupling $V_{cb}$ can be determined from semileptonic decays such as $B\to D^{(*)}\ell\nu$. This brief review summarizes the present status and short-term outlook for determining $|V_{cb}|$ using lattice QCD.


title: Nonparametric estimation of the conditional distribution at regression boundary points

abstract: Nonparametric regression is a standard statistical tool with increased importance in the Big Data era. Boundary points pose additional difficulties but local polynomial regression can be used to alleviate them. Local linear regression, for example, is easy to implement and performs quite well both at interior as well as boundary points. Estimating the conditional distribution function and/or the quantile function at a given regressor point is immediate via standard kernel methods but problems ensue if local linear methods are to be used. In particular, the distribution function estimator is not guaranteed to be monotone increasing, and the quantile curves can "cross". In the paper at hand, a simple method of correcting the local linear distribution estimator for monotonicity is proposed, and its good performance is demonstrated via simulations and real data examples.


title: The 2017 DAVIS Challenge on Video Object Segmentation

abstract: We present the 2017 DAVIS Challenge on Video Object Segmentation, a public dataset, benchmark, and competition specifically designed for the task of video object segmentation. Following the footsteps of other successful initiatives, such as ILSVRC and PASCAL VOC, which established the avenue of research in the fields of scene classification and semantic segmentation, the DAVIS Challenge comprises a dataset, an evaluation methodology, and a public competition with a dedicated workshop co-located with CVPR 2017. The DAVIS Challenge follows up on the recent publication of DAVIS (Densely-Annotated VIdeo Segmentation), which has fostered the development of several novel state-of-the-art video object segmentation techniques. In this paper we describe the scope of the benchmark, highlight the main characteristics of the dataset, define the evaluation metrics of the competition, and present a detailed analysis of the results of the participants to the challenge.


title: A new approach to fuzzy sets: Application to the design of nonlinear time-series, symmetry-breaking patterns, and non-sinusoidal limit-cycle oscillations

abstract: It is shown that characteristic functions of sets can be made fuzzy by means of the $\mathcal{B}_{\kappa}$-function, recently introduced by the author, where the fuzziness parameter $\kappa \in \mathbb{R}$ controls how much a fuzzy set deviates from the crisp set obtained in the limit $\kappa \to 0$. As applications, we present first a general expression for a switching function that may be of interest in electrical engineering and in the design of nonlinear time-series. We then introduce another general expression that allows wallpaper and frieze patterns for every possible planar symmetry group (besides patterns typical of quasicrystals) to be designed. We show how the fuzziness parameter $\kappa$ plays an analogous role to temperature in physical applications and may be used to break the symmetry of spatial patterns. As a further, important application, we establish a theorem on the shaping of limit cycle oscillations far from bifurcations in smooth deterministic nonlinear dynamical systems governed by differential equations. Following this application, we briefly discuss a generalization of the Stuart-Landau equation to non-sinusoidal oscillators obtained as a consequence of our theorem.


title: Spin-orbit-coupling induced localization in the expansion of an interacting Bose-Einstein condensate

abstract: By developing a hydrodynamic formalism, we investigate the expansion dynamics of the single-minimum phase of a binary spin-orbit coupled Bose-Einstein condensate, after releasing from an external harmonic trap. We find that the expansion of the condensate along the direction of the spin-orbit coupling is dramatically slowed down near the transition between the single-minimum phase and the plane-wave phase. Such a slow expansion, resembling a form of an effective localization, is due to the quenching of the superfluid motion which results in a strong increase of the effective mass. In the single-minimum phase the anisotropic expansion of the Bose gas, which is spin balanced at equilibrium, is accompanied by the emergence of a local spin polarization. Our analytic scaling solutions emerging from hydrodynamic picture are compared with a full numerical simulation based on the coupled Gross-Pitaevskii equations.


title: Generation of a wakefield undulator in plasma with transverse density gradient

abstract: We show that a short relativistic electron beam propagating in a plasma with a density gradient perpendicular to the direction of motion generates a wakefield in which a witness bunch experiences a transverse force. A density gradient oscillating along the beam path would create a periodically varying force---an undulator, with an estimated strength of the equivalent magnetic field more than ten Tesla. This opens an avenue for creation of a high-strength, short-period undulators, which eventually may lead to all-plasma, free electron lasers where a plasma wakefield acceleration is naturally combined with a plasma undulator in a unifying, compact setup.


title: A survey on pseudonym changing strategies for Vehicular Ad-Hoc Networks

abstract: The initial phase of the deployment of Vehicular Ad-Hoc Networks (VANETs) has begun and many research challenges still need to be addressed. Location privacy continues to be in the top of these challenges. Indeed, both of academia and industry agreed to apply the pseudonym changing approach as a solution to protect the location privacy of VANETs'users. However, due to the pseudonyms linking attack, a simple changing of pseudonym shown to be inefficient to provide the required protection. For this reason, many pseudonym changing strategies have been suggested to provide an effective pseudonym changing. Unfortunately, the development of an effective pseudonym changing strategy for VANETs is still an open issue. In this paper, we present a comprehensive survey and classification of pseudonym changing strategies. We then discuss and compare them with respect to some relevant criteria. Finally, we highlight some current researches, and open issues and give some future directions.


title: A Consistent Bayesian Formulation for Stochastic Inverse Problems Based on Push-forward Measures

abstract: We formulate, and present a numerical method for solving, an inverse problem for inferring parameters of a deterministic model from stochastic observational data (quantities of interest). The solution, given as a probability measure, is derived using a Bayesian updating approach for measurable maps that finds a posterior probability measure, that when propagated through the deterministic model produces a push-forward measure that exactly matches the observed probability measure on the data. Our approach for finding such posterior measures, which we call consistent Bayesian inference, is simple and only requires the computation of the push-forward probability measure induced by the combination of a prior probability measure and the deterministic model. We establish existence and uniqueness of observation-consistent posteriors and present stability and error analysis. We also discuss the relationships between consistent Bayesian inference, classical/statistical Bayesian inference, and a recently developed measure-theoretic approach for inference. Finally, analytical and numerical results are presented to highlight certain properties of the consistent Bayesian approach and the differences between this approach and the two aforementioned alternatives for inference.


title: Flux emergence event underneath a filament

abstract: Flux emergence phenomena are relevant at different temporal and spatial scales. We have studied a flux emergence region underneath a filament. This filament elevated itself smoothly, and the associated CME reached Earth. In this study we investigate the size and amount of flux in the emergence event. The flux emergence site appeared just beneath a filament. The emergence acquired a size of 24 Mm in half a day. The unsigned magnetic flux density from LOS-magnetograms is around 1 kG at its maximum. The transverse field as well as the filament eruption were also analysed.


title: Quasifree stochastic cocycles and quantum random walks

abstract: The theory of quasifree quantum stochastic calculus for infinite-dimensional noise is developed within the framework of Hudson-Parthasarathy quantum stochastic calculus. The question of uniqueness for the covariance amplitude with respect to which a given unitary quantum stochastic cocycle is quasifree is addressed, and related to the minimality of the corresponding stochastic dilation. The theory is applied to the identification of a wide class of quantum random walks whose limit processes are driven by quasifree noises.


title: Big Holes in Big Data: A Monte Carlo Algorithm for Detecting Large Hyper-rectangles in High Dimensional Data

abstract: We present the first algorithm for finding holes in high dimensional data that runs in polynomial time with respect to the number of dimensions. Previous algorithms are exponential. Finding large empty rectangles or boxes in a set of points in 2D and 3D space has been well studied. Efficient algorithms exist to identify the empty regions in these low-dimensional spaces. Unfortunately such efficiency is lacking in higher dimensions where the problem has been shown to be NP-complete when the dimensions are included in the input. Applications for algorithms that find large empty spaces include big data analysis, recommender systems, automated knowledge discovery, and query optimization. Our Monte Carlo-based algorithm discovers interesting maximal empty hyper-rectangles in cases where dimensionality and input size would otherwise make analysis impractical. The run-time is polynomial in the size of the input and the number of dimensions. We apply the algorithm on a 39-dimensional data set for protein structures and discover interesting properties that we think could not be inferred otherwise.


title: The Spanish Space Weather Service SeNMEs. A case study on the Sun-Earth chain

abstract: The Spanish Space Weather Service SeNMEs, \url{www.senmes.es}, is a portal created by the SRG-SW of the Universidad de Alcal\'a, Spain, to meet societal needs of near real-time space weather services. This webpage-portal is divided in different sections to fulfill users needs about space weather effects: radio blackouts, solar energetic particle events, geomagnetic storms and presence of geomagnetically induced currents. In less than one year of activity, this service has released a daily report concerning the solar current status and interplanetary medium, informing about the chances of a solar perturbation to hit the Earth's environment. There are also two different forecasting tools for geomagnetic storms, and a daily ionospheric map. These tools allow us to nowcast a variety of solar eruptive events and forecast geomagnetic storms and their recovery, including a new local geomagnetic index, LDi{\~n}, along with some specific new scaling. In this paper we also include a case study analysed by SeNMEs. Using different high resolution and cadence data from space-borne solar telescopes SDO, SOHO and GOES, along with ionospheric and geomagnetic data, we describe the Sun-Earth feature chain for the event.


title: Characterization of Lipschitz functions in terms of variable exponent Lebesgue spaces

abstract: Our aim is to characterize the Lipschitz functions by variable exponent Lebesgue spaces. We give some characterizations of the boundedness of the maximal or nonlinear commutators of the Hardy-Littlewood maximal function and sharp maximal function in variable exponent Lebesgue spaces when the symbols $b$ belong to the Lipschitz spaces, by which some new characterizations of Lipschitz spaces and nonnegative Lipschitz functions are obtained. Some equivalent relations between the Lipschitz norm and the variable exponent Lebesgue norm are also given.


title: $2$-stratifold groups have solvable Word Problem

abstract: $2$-stratifolds are a generalization of $2$-manifolds in that there are disjoint simple closed curves where several sheets meet. We show that the word problem for fundamental groups of $2$-stratifolds is solvable.


title: Index Coding: Rank-Invariant Extensions

abstract: An index coding (IC) problem consisting of a server and multiple receivers with different side-information and demand sets can be equivalently represented using a fitting matrix. A scalar linear index code to a given IC problem is a matrix representing the transmitted linear combinations of the message symbols. The length of an index code is then the number of transmissions (or equivalently, the number of rows in the index code). An IC problem ${\cal I}_{ext}$ is called an extension of another IC problem ${\cal I}$ if the fitting matrix of ${\cal I}$ is a submatrix of the fitting matrix of ${\cal I}_{ext}$. We first present a straightforward $m$\textit{-order} extension ${\cal I}_{ext}$ of an IC problem ${\cal I}$ for which an index code is obtained by concatenating $m$ copies of an index code of ${\cal I}$. The length of the codes is the same for both ${\cal I}$ and ${\cal I}_{ext}$, and if the index code for ${\cal I}$ has optimal length then so does the extended code for ${\cal I}_{ext}$. More generally, an extended IC problem of ${\cal I}$ having the same optimal length as ${\cal I}$ is said to be a \textit{rank-invariant} extension of ${\cal I}$. We then focus on $2$-order rank-invariant extensions of ${\cal I}$, and present constructions of such extensions based on involutory permutation matrices.


title: A variational nonlinear Hausdorff-Young inequality in the discrete setting

abstract: Following the works of Lyons and Oberlin, Seeger, Tao, Thiele and Wright, we relate the variation of certain discrete curves on the Lie group $\text{SU}(1,1)$ to the corresponding variation of their linearized versions on the Lie algebra. Combining this with a discrete variational Menshov-Paley-Zygmund theorem, we establish a variational Hausdorff-Young inequality for a discrete version of the nonlinear Fourier transform on $\text{SU}(1,1)$.


title: Microscopic Theory of Nuclear Fission

abstract: We describe the fission dynamics of $^{240}$Pu within an implementation of the Density Functional Theory (DFT) extended to superfluid systems and real-time dynamics. We demonstrate the critical role played by the pairing correlations, which even though are not the driving force in this complex dynamics, are providing the essential lubricant, without which the nuclear shape evolution would come to a screeching halt. The evolution is found to be much slower than previously expected in this fully non-adiabatic treatment of nuclear dynamics, where there are no symmetry restrictions and all collective degrees of freedom (CDOF) are allowed to participate in the dynamics.


title: Quantum advantage with shallow circuits

abstract: We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An instance of the problem is specified by a quadratic form q that maps n-bit strings to integers modulo four. The goal is to identify a linear boolean function which describes the action of q on a certain subset of n-bit strings. We prove that any classical probabilistic circuit composed of bounded fan-in gates that solves the 2D Hidden Linear Function problem with high probability must have depth logarithmic in n. In contrast, we show that this problem can be solved with certainty by a constant-depth quantum circuit composed of one- and two-qubit gates acting locally on a two-dimensional grid.


title: Use of a clinical PET/CT scanner for whole body biodistribution of intranasal nanoparticles

abstract: Whole body biodistribution of 100 nanometer sized polymer micellar nanoparticles (NPs) was determined following intranasal administration using PET/CT imaging on a clinical scanner. Nanoparticles labeled with Zirconium 89 were administered intranasally or intravenously to Sprague Dawley rats followed by serial ex vivo PET/CT imaging in a clinical scanner. At 30 minutes and 1 hour following intranasal delivery, the animals were sacrificed and placed in the PET/CT scanner. Images were acquired and transferred to a workstation for post-processing. 3D regions of interest were constructed. A different set of animals were used for ex vivo verification. These animals were also administered 100 nm polymer micellar NPs and sacrificed at 30 min and 1 hr following intranasal or intravenous delivery via intra-cardiac perfusion. Various organs, including brain, lungs, heart, liver, spleen, stomach and intestines, were procured following exsanguination. A gamma counter determined activity in each organ for comparison with corresponding PET/CT region of interest activity measurements. The ex vivo measurements of activity were consistent with the image-based value determinations. Use of a clinical PET/CT scanner is a feasible means to determine the temporal and spatial distribution of radiolabeled agents after intranasal and intravenous delivery. This work may allow for quantitative in vivo testing of new radionanotheranostic agents.


title: Featuring dark coronal structures: physical signatures of filaments and coronal holes for automated recognition

abstract: Filaments may be mistaken for coronal holes when observed in extreme ultraviolet (EUV) images; however, a closer and more careful look reveals that their photometric properties are different. The combination of EUV images with photospheric magnetograms shows some characteristic differences between filaments and coronal holes. We have performed analyses with 7 different SDO/AIA wavelengths (94, 131, 171, 211, 193, 304, 335~\AA) and SDO/HMI magnetograms obtained in September 2011 and March 2012 to study coronal holes and filaments from the photometric, magnetic, and also geometric point of view, since projection effects play an important role on the aforementioned traits.


title: Loop Tiling in Large-Scale Stencil Codes at Run-time with OPS

abstract: The key common bottleneck in most stencil codes is data movement, and prior research has shown that improving data locality through optimisations that schedule across loops do particularly well. However, in many large PDE applications it is not possible to apply such optimisations through compilers because there are many options, execution paths and data per grid point, many dependent on run-time parameters, and the code is distributed across different compilation units. In this paper, we adapt the data locality improving optimisation called iteration space slicing for use in large OPS applications both in shared-memory and distributed-memory systems, relying on run-time analysis and delayed execution. We evaluate our approach on a number of applications, observing speedups of 2$\times$ on the Cloverleaf 2D/3D proxy application, which contain 83/141 loops respectively, $3.5\times$ on the linear solver TeaLeaf, and $1.7\times$ on the compressible Navier-Stokes solver OpenSBLI. We demonstrate strong and weak scalability up to 4608 cores of CINECA's Marconi supercomputer. We also evaluate our algorithms on Intel's Knights Landing, demonstrating maintained throughput as the problem size grows beyond 16GB, and we do scaling studies up to 8704 cores. The approach is generally applicable to any stencil DSL that provides per loop data access information.


title: Experimental Observations of Nuclear Activity in Deuterated Materials Subjected to a Low-Energy Photon Beam

abstract: Exposure of highly deuterated materials to a low-energy (nom. 2 MeV) photon beam resulted in nuclear activity of both the parent metals of hafnium and erbium and a witness material (molybdenum) mixed with the reactants. Gamma spectral analysis of all deuterated materials, ErD2.8-C36D74-Mo and HfD2-C36D74-Mo, showed that nuclear processes had occurred as shown by unique gamma signatures. For the deuterated erbium specimens, posttest gamma spectra showed evidence of radioisotopes of erbium (163Er and 171Er) and of molybdenum (99Mo and 101Mo) and by beta decay, technetium (99mTc and 101Tc). For the deuterated hafnium specimens, posttest gamma spectra showed evidence of radioisotopes of hafnium (180mHf and 181Hf) and molybdenum (99Mo and 101Mo), and by beta decay, technetium (99mTc and 101Tc). In contrast, when either the hydrogenated or non-gas-loaded erbium or hafnium materials were exposed to the gamma flux, the gamma spectra revealed no new isotopes. Neutron activation materials showed evidence of thermal and epithermal neutrons. CR-39 solid-state nuclear track detectors showed evidence of fast neutrons with energies between 1.4 and 2.5 MeV and several instances of triple tracks, indicating greater than 10 MeV neutrons. Further study is required to determine the mechanism causing the nuclear activity


title: Dark solitons, modulation instability and breathers in a chain of weakly non-linear oscillators with cyclic symmetry

abstract: In the aerospace industry the trend for light-weight structures and the resulting complex dynamic behaviours currently challenge vibration engineers. In many cases, these light-weight structures deviate from linear behaviour, and complex nonlinear phenomena can be expected. We consider a cyclically symmetric system of coupled weakly nonlinear undamped oscillators that could be considered a minimal model for different cyclic and symmetric aerospace structures experiencing large deformations. The focus is on localised vibrations that arise from wave envelope modulation of travelling waves. For the defocussing parameter range of the approximative nonlinear evolution equation, we show the possible existence of dark solitons and discuss their characteristics. For the focussing parameter range, we characterise modulation instability and illustrate corresponding nonlinear breather dynamics. Furthermore, we show that for stronger nonlinearity or randomness in initial conditions, transient breather-type dynamics and decay into bright solitons appear. The findings suggest that significant vibration localisation may arise due to mechanisms of nonlinear modulation dynamics.


title: Limiting shape of the Depth First Search tree in an Erd\H{o}s-R\'enyi graph

abstract: We show that the profile of the tree constructed by the Depth First Search Algorithm in the giant component of an Erd\H{o}s-R\'enyi graph with $N$ vertices and connection probability $c/N$ converges to an explicit deterministic shape. This makes it possible to exhibit a long non-intersecting path of length $\left( \rho_c - \frac{\mathrm{Li}_2(\rho_c)}{c} \right) \times N$, where $\rho_c$ is the density of the giant component.


title: Half-Heusler alloy LiBaBi: A new topological semimetal with five-fold band degeneracy

abstract: Based on first-principles study, we report the finding of a new topological semimetal LiBaBi in half-Heusler phase. The remarkable feature of this nonmagnetic, inversion-symmetry-breaking material is that it consists of only simple $s$- and $p$-block elements. Interestingly, the material is ordinary insulator in the absence of spin-orbit coupling (SOC) and becomes nodal-surface topological semimetal showing drumhead states when SOC is included. This is in stark contrast to other nodal-line and nodal-surface semimetals, where the extended nodal structure is destroyed once SOC is included. Importantly, the linear band crossings host three-, four-, five- and six-fold degeneracies near the Fermi level, making this compound very attractive for the study of `unconventional' fermions. The band crossing points form a three-dimensional nodal structure around the zone center at the Fermi level. We identify the surface states responsible for the appearance of the drumhead states. The alloy also shows a phase transition from topological semimetal to a trivial insulator on application of pressure. In addition to revealing an intriguing effect of SOC on the nodal structure, our findings introduce a new half-Heusler alloy in the family of topological semimetals, thus creating more avenues for experimental exploration.


title: Pure double-layer bubbles in quadratic F(R) gravity

abstract: We present a class of spherically symmetric spacetimes corresponding to bubbles separating two regions with constant values of the scalar curvature, or equivalently with two different cosmological constants, in quadratic F(R) theory. The bubbles are obtained by means of the junction formalism, and the matching hypersurface supports in general a thin shell and a gravitational double layer. In particular, we find that pure double layers are possible for appropriate values of the parameters of the model whenever the quadratic coefficient is negative. This is the first example of a pure double layer in a gravitational theory.


title: Folner tilings for actions of amenable groups

abstract: We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-stable.


title: Radiative symmetry breaking from interacting UV fixed points

abstract: It is shown that the addition of positive mass-squared terms to asymptotically safe gauge-Yukawa theories with perturbative UV fixed points leads to calculable radiative symmetry breaking in the IR. This phenomenon, and the multiplicative running of the operators that lies behind it, is akin to the radiative symmetry breaking that occurs in the Supersymmetric Standard Model.


title: Hecke Modules from Metaplectic Ice

abstract: We present a new framework for a broad class of affine Hecke algebra modules, and show that such modules arise in a number of settings involving representations of $p$-adic groups and $R$-matrices for quantum groups. Instances of such modules arise from (possibly non-unique) functionals on $p$-adic groups and their metaplectic covers, such as the Whittaker functionals. As a byproduct, we obtain new, algebraic proofs of a number of results concerning metaplectic Whittaker functions. These are thus expressed in terms of metaplectic versions of Demazure operators, which are built out of $R$-matrices of quantum groups depending on the cover degree and associated root system.


title: Multi-rendezvous Spacecraft Trajectory Optimization with Beam P-ACO

abstract: The design of spacecraft trajectories for missions visiting multiple celestial bodies is here framed as a multi-objective bilevel optimization problem. A comparative study is performed to assess the performance of different Beam Search algorithms at tackling the combinatorial problem of finding the ideal sequence of bodies. Special focus is placed on the development of a new hybridization between Beam Search and the Population-based Ant Colony Optimization algorithm. An experimental evaluation shows all algorithms achieving exceptional performance on a hard benchmark problem. It is found that a properly tuned deterministic Beam Search always outperforms the remaining variants. Beam P-ACO, however, demonstrates lower parameter sensitivity, while offering superior worst-case performance. Being an anytime algorithm, it is then found to be the preferable choice for certain practical applications.


title: On Backreaction in Newtonian cosmology

abstract: We clarify that a result recently stated by Kaiser is contained in a theorem of Buchert and Ehlers that is widely known for its main result: that there is no global kinematical backreaction in Newtonian cosmology. Kaiser cites this paper, re-derives parts of the theorem, but incompletely restates its content. He makes further claims, which cannot be proven beyond the limited context of Newtonian cosmology. We also discuss recent papers of R\'acz et al. and Roukema who claim the existence of global backreaction within the Newtonian framework.


title: Non-singular Green's functions for the unbounded Poisson equation in one, two and three dimensions

abstract: This paper is a revised version of the original paper of same title--published in Applied Mathematics Letters 89--containing some corrections and clarifications to the original text. We derive non-singular Green's functions for the unbounded Poisson equation in one, two and three dimensions, using a cut-off function in the Fourier domain to impose a smallest length scale when deriving the Green's function. The resulting non-singular Green's functions are relevant to applications which are restricted to a minimum resolved length scale (e.g. a mesh size h) and thus cannot handle the singular Green's function of the continuous Poisson equation. We furthermore derive the gradient vector of the non-singular Green's function, as this is useful in applications where the Poisson equation represents potential functions of a vector field.


title: Graph Partitioning with Acyclicity Constraints

abstract: Graphs are widely used to model execution dependencies in applications. In particular, the NP-complete problem of partitioning a graph under constraints receives enormous attention by researchers because of its applicability in multiprocessor scheduling. We identified the additional constraint of acyclic dependencies between blocks when mapping computer vision and imaging applications to a heterogeneous embedded multiprocessor. Existing algorithms and heuristics do not address this requirement and deliver results that are not applicable for our use-case. In this work, we show that this more constrained version of the graph partitioning problem is NP-complete and present heuristics that achieve a close approximation of the optimal solution found by an exhaustive search for small problem instances and much better scalability for larger instances. In addition, we can show a positive impact on the schedule of a real imaging application that improves communication volume and execution time.


title: Crash testing difference-smoothing algorithm on a large sample of simulated light curves from TDC1

abstract: In this work, we propose refinements to the difference-smoothing algorithm for measurement of time delay from the light curves of the images of a gravitationally lensed quasar. The refinements mainly consist of a more pragmatic approach to choose the smoothing time-scale free parameter, generation of more realistic synthetic light curves for estimation of time delay uncertainty and using a plot of normalized $\chi^2$ computed over a wide range of trial time delay values to assess the reliability of a measured time delay and also for identifying instances of catastrophic failure. We rigorously tested the difference-smoothing algorithm on a large sample of more than thousand pairs of simulated light curves having known true time delays between them from the two most difficult `rungs' -- rung3 and rung4 -- of the first edition of Strong Lens Time Delay Challenge (TDC1) and found an inherent tendency of the algorithm to measure the magnitude of time delay to be higher than the true value of time delay. However, we find that this systematic bias is eliminated by applying a correction to each measured time delay according to the magnitude and sign of the systematic error inferred by applying the time delay estimator on synthetic light curves simulating the measured time delay. Following these refinements, the TDC performance metrics for the difference-smoothing algorithm are found to be competitive with those of the best performing submissions of TDC1 for both the tested `rungs'. The MATLAB codes used in this work and the detailed results are made publicly available at https://github.com/rathnakumars/difference-smoothing


title: Critical classes, Kronecker products of spin characters, and the Saxl conjecture

abstract: Highlighting the use of critical classes, we consider constituents in Kronecker products, in particular of spin characters of the double covers of the symmetric and alternating groups. We apply results from the spin case to find constituents in Kronecker products of characters of the symmetric groups. Via this tool, we make progress on the Saxl conjecture; this claims that for a triangular number $n$, the square of the irreducible character of the symmetric group $S_n$ labelled by the staircase contains all irreducible characters of $S_n$ as constituents. We find a large number of constituents in this square which were not detected by other methods. Moreover, the investigation of Kronecker products of spin characters inspires a spin variant of Saxl's conjecture.


title: No Spurious Local Minima in Nonconvex Low Rank Problems: A Unified Geometric Analysis

abstract: In this paper we develop a new framework that captures the common landscape underlying the common non-convex low-rank matrix problems including matrix sensing, matrix completion and robust PCA. In particular, we show for all above problems (including asymmetric cases): 1) all local minima are also globally optimal; 2) no high-order saddle points exists. These results explain why simple algorithms such as stochastic gradient descent have global converge, and efficiently optimize these non-convex objective functions in practice. Our framework connects and simplifies the existing analyses on optimization landscapes for matrix sensing and symmetric matrix completion. The framework naturally leads to new results for asymmetric matrix completion and robust PCA.


title: A Polynomial Spectral Calculus for Analysis of DG Spectral Element Methods

abstract: We introduce a polynomial spectral calculus that follows from the summation by parts property of the Legendre-Gauss-Lobatto quadrature. We use the calculus to simplify the analysis of two multidimensional discontinuous Galerkin spectral element approximations.


title: Hierarchical Surface Prediction for 3D Object Reconstruction

abstract: Recently, Convolutional Neural Networks have shown promising results for 3D geometry prediction. They can make predictions from very little input data such as a single color image. A major limitation of such approaches is that they only predict a coarse resolution voxel grid, which does not capture the surface of the objects well. We propose a general framework, called hierarchical surface prediction (HSP), which facilitates prediction of high resolution voxel grids. The main insight is that it is sufficient to predict high resolution voxels around the predicted surfaces. The exterior and interior of the objects can be represented with coarse resolution voxels. Our approach is not dependent on a specific input type. We show results for geometry prediction from color images, depth images and shape completion from partial voxel grids. Our analysis shows that our high resolution predictions are more accurate than low resolution predictions.


title: Muon g-2 in MSSM Gauge Mediation Revisited

abstract: The Higgs boson of 125 GeV requires large stop masses, leading to the large $\mu$-parameter in most cases of gauge mediation. On the other hand, the explanation for the muon $g-2$ anomaly needs small slepton and neutralino/chargino masses. Such disparity in masses may be obtained from a mass splitting of colored and non-colored messenger fields. However, even if the required small slepton and neutralino/chargino masses are realized, all parameter regions consistent with the muon g-2 are excluded by the recent updated ATLAS result on the wino search in the case that the messenger fields are in ${\bf 5}+\bar {\bf 5}$ representations of SU(5). It is also revealed that the messenger fields in ${\bf 10} + \overline{\bf 10}$ or ${\bf 24}$ representation can not explain the muon g-2 anomaly. We show, giving a simple example model, that the above confliction is solved if there is an additional contribution to the Higgs soft mass which makes the $\mu$-parameter small. We also show that the required Higgs B-term for the electroweak symmetry breaking is consistently generated by radiative corrections from gaugino loops.


title: Energy Concentration for Min-Max Solutions of the Ginzburg-Landau Equations on Manifolds with $b_1(M)\neq 0$

abstract: We establish a new estimate for the Ginzburg-Landau energies $E_{\epsilon}(u)=\int_M\frac{1}{2}|du|^2+\frac{1}{4\epsilon^2}(1-|u|^2)^2$ of complex-valued maps $u$ on a compact, oriented manifold $M$ with $b_1(M)\neq 0$, obtained by decomposing the harmonic component $h_u$ of the one-form $ju:=u^1du^2-u^2du^1$ into an integral and fractional part. We employ this estimate to show that, for critical points $u_{\epsilon}$ of $E_{\epsilon}$ arising from the two-parameter min-max construction considered by the author in previous work, a nontrivial portion of the energy must concentrate on a stationary, rectifiable $(n-2)$-varifold as $\epsilon\to 0$.


title: A DG-extension of symmetric functions arising from higher representation theory

abstract: We investigate analogs of symmetric functions arising from an extension of the nilHecke algebra defined by Naisse and Vaz. These extended symmetric functions form a subalgebra of the polynomial ring tensored with an exterior algebra. We define families of bases for this algebra and show that it admits a family of differentials making it a sub-DG-algebra of the extended nilHecke algebra. The ring of extended symmetric functions equipped with this differential is quasi-isomorphic to the cohomology of a Grassmannian. We also introduce new deformed differentials on the extended nilHecke algebra that when restricted makes extended symmetric functions quasi-isomorphic to $GL(N)$-equivariant cohomology of Grassmannians.