title: Deuterium fractionation and H2D+ evolution in turbulent and magnetized cloud cores

abstract: High-mass stars are expected to form from dense prestellar cores. Their precise formation conditions are widely discussed, including their virial condition, which results in slow collapse for super-virial cores with strong support by turbulence or magnetic fields, or fast collapse for sub-virial sources. To disentangle their formation processes, measurements of the deuterium fractions are frequently employed to approximately estimate the ages of these cores and to obtain constraints on their dynamical evolution. We here present 3D magneto-hydrodynamical simulations including for the first time an accurate non-equilibrium chemical network with 21 gas-phase species plus dust grains and 213 reactions. With this network we model the deuteration process in fully depleted prestellar cores in great detail and determine its response to variations in the initial conditions. We explore the dependence on the initial gas column density, the turbulent Mach number, the mass-to-magnetic flux ratio and the distribution of the magnetic field, as well as the initial ortho-to-para ratio of H2. We find excellent agreement with recent observations of deuterium fractions in quiescent sources. Our results show that deuteration is rather efficient, even when assuming a conservative ortho-to-para ratio of 3 and highly sub-virial initial conditions, leading to large deuterium fractions already within roughly a free-fall time. We discuss the implications of our results and give an outlook to relevant future investigations.


title: Parallel energy-stable phase field crystal simulations based on domain decomposition methods

abstract: In this paper, we present a parallel numerical algorithm for solving the phase field crystal equation. In the algorithm, a semi-implicit finite difference scheme is derived based on the discrete variational derivative method. Theoretical analysis is provided to show that the scheme is unconditionally energy stable and can achieve second-order accuracy in both space and time. An adaptive time step strategy is adopted such that the time step size can be flexibly controlled based on the dynamical evolution of the problem. At each time step, a nonlinear algebraic system is constructed from the discretization of the phase field crystal equation and solved by a domain decomposition based, parallel Newton--Krylov--Schwarz method with improved boundary conditions for subdomain problems. Numerical experiments with several two and three dimensional test cases show that the proposed algorithm is second-order accurate in both space and time, energy stable with large time steps, and highly scalable to over ten thousands processor cores on the Sunway TaihuLight supercomputer.


title: Stochastic Separation Theorems

abstract: The problem of non-iterative one-shot and non-destructive correction of unavoidable mistakes arises in all Artificial Intelligence applications in the real world. Its solution requires robust separation of samples with errors from samples where the system works properly. We demonstrate that in (moderately) high dimension this separation could be achieved with probability close to one by linear discriminants. Surprisingly, separation of a new image from a very large set of known images is almost always possible even in moderately high dimensions by linear functionals, and coefficients of these functionals can be found explicitly. Based on fundamental properties of measure concentration, we show that for $M<a\exp(b{n})$ random $M$-element sets in $\mathbb{R}^n$ are linearly separable with probability $p$, $p>1-\vartheta$, where $1>\vartheta>0$ is a given small constant. Exact values of $a,b>0$ depend on the probability distribution that determines how the random $M$-element sets are drawn, and on the constant $\vartheta$. These {\em stochastic separation theorems} provide a new instrument for the development, analysis, and assessment of machine learning methods and algorithms in high dimension. Theoretical statements are illustrated with numerical examples.


title: Custom Hypergraph Categories via Generalized Relations

abstract: Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical systems and network theory. When investigating a new application, the question arises of how to identify a suitable process theoretic model. We present a conceptually motivated parameterized framework for the construction of models for process theories. Our framework generalizes the notion of binary relation along four axes of variation, the truth values, a choice of algebraic structure, the ambient mathematical universe and the choice of proof relevance or provability. The resulting categories are preorder-enriched and provide analogues of relational converse and taking graphs of maps. Our constructions are functorial in the parameter choices, establishing mathematical connections between different application domains. We illustrate our techniques by constructing many existing models from the literature, and new models that open up ground for further development.


title: Counter-propagating radiative shock experiments on the Orion laser and the formation of radiative precursors

abstract: We present results from new experiments to study the dynamics of radiative shocks, reverse shocks and radiative precursors. Laser ablation of a solid piston by the Orion high-power laser at AWE Aldermaston UK was used to drive radiative shocks into a gas cell initially pressurised between $0.1$ and $1.0 \ bar$ with different noble gases. Shocks propagated at {$80 \pm 10 \ km/s$} and experienced strong radiative cooling resulting in post-shock compressions of { $\times 25 \pm 2$}. A combination of X-ray backlighting, optical self-emission streak imaging and interferometry (multi-frame and streak imaging) were used to simultaneously study both the shock front and the radiative precursor. These experiments present a new configuration to produce counter-propagating radiative shocks, allowing for the study of reverse shocks and providing a unique platform for numerical validation. In addition, the radiative shocks were able to expand freely into a large gas volume without being confined by the walls of the gas cell. This allows for 3-D effects of the shocks to be studied which, in principle, could lead to a more direct comparison to astrophysical phenomena. By maintaining a constant mass density between different gas fills the shocks evolved with similar hydrodynamics but the radiative precursor was found to extend significantly further in higher atomic number gases ($\sim$$4$ times further in xenon than neon). Finally, 1-D and 2-D radiative-hydrodynamic simulations are presented showing good agreement with the experimental data.


title: Pacman renormalization and self-similarity of the Mandelbrot set near Siegel parameters

abstract: In the 1980s Branner and Douady discovered a surgery relating various limbs of the Mandelbrot set. We put this surgery in the framework of "Pacman Renormalization Theory" that combines features of quadratic-like and Siegel renormalizations. We show that Siegel renormalization periodic points (constructed by McMullen in the 1990s) can be promoted to pacman renormalization periodic points. Then we prove that these periodic points are hyperbolic with one-dimensional unstable manifold. As a consequence, we obtain the scaling laws for the centers of satellite components of the Mandelbrot set near the corresponding Siegel parameters.


title: Virtually fibering random right-angled Coxeter groups

abstract: We show that the Right-Angled Coxeter group $C=C(G)$ associated to a random graph $G\sim \mathcal{G}(n,p)$ with $\frac{\log n + \log\log n + \omega(1)}{n} \leq p < 1- \omega(n^{-2})$ virtually algebraically fibers. This means that $C$ has a finite index subgroup $C'$ and a finitely generated normal subgroup $N\subset C'$ such that $C'/N \cong \mathbb{Z}$. We also obtain the corresponding hitting time statements, more precisely, we show that as soon as $G$ has minimum degree at least 2 and as long as it is not the complete graph, then $C(G)$ virtually algebraically fibers. The result builds upon the work of Jankiewicz, Norin, and Wise and it is essentially best possible.


title: Preserving Confidentiality in The Gaussian Broadcast Channel Using Compute-and-Forward

abstract: We study the transmission of confidential messages across a wireless broadcast channel with K>2 receivers and K helpers. The goal is to transmit all messages reliably to their intended receivers while keeping them confidential from the unintended receivers. We design a codebook based on nested lattice structure, cooperative jamming, lattice alignment, and i.i.d. coding. Moreover, we exploit the asymmetric compute-and-forward decoding strategy to handle finite SNR regimes. Unlike previous alignment schemes, our achievable rates are attainable at any finite SNR value. Also, we show that our scheme achieves the optimal sum secure degrees of freedom of 1 for the K-receiver Gaussian broadcast channel with K confidential messages and K helpers.


title: Perovskite Quantum Organismoids

abstract: A central characteristic of living beings is the ability to learn from and respond to their environment leading to habit formation and decision making1-3. This behavior, known as habituation, is universal among forms of life with a central nervous system, and interestingly observed even in single cellular organisms that do not possess a brain4-5. Here, we report the discovery of habituation based plasticity utilizing a perovskite quantum system by dynamical modulation of electron localization via reversible dopant incorporation. Microscopic mechanisms and pathways that enable this organismic collective charge-lattice interaction are elucidated by a combination of first-principles theory, synchrotron investigations, ab-initio dynamical simulations and in-situ environmental breathing studies. We implement a new learning algorithm inspired from the conductance relaxation behavior of perovskites that naturally incorporates habituation and demonstrate "learning to forget": a key feature of animal and human brains6. Most surprisingly, our results show that incorporating this elementary skill in learning dramatically boosts the capability of artificial cognitive systems.


title: EmotioNet Challenge: Recognition of facial expressions of emotion in the wild

abstract: This paper details the methodology and results of the EmotioNet challenge. This challenge is the first to test the ability of computer vision algorithms in the automatic analysis of a large number of images of facial expressions of emotion in the wild. The challenge was divided into two tracks. The first track tested the ability of current computer vision algorithms in the automatic detection of action units (AUs). Specifically, we tested the detection of 11 AUs. The second track tested the algorithms' ability to recognize emotion categories in images of facial expressions. Specifically, we tested the recognition of 16 basic and compound emotion categories. The results of the challenge suggest that current computer vision and machine learning algorithms are unable to reliably solve these two tasks. The limitations of current algorithms are more apparent when trying to recognize emotion. We also show that current algorithms are not affected by mild resolution changes, small occluders, gender or age, but that 3D pose is a major limiting factor on performance. We provide an in-depth discussion of the points that need special attention moving forward.


title: Magnetic Resonance Imaging of Granular Materials

abstract: Magnetic Resonance Imaging (MRI) has become one of the most important tools to screen humans in medicine, virtually every modern hospital is equipped with an NMR tomograph. The potential of NMR in 3D imaging tasks is by far greater, but there is only 'a handful' of MRI studies of particulate matter. The method is expensive, time-consuming, and requires a deep understanding of pulse sequences, signal acquisition and processing. We give a short introduction into the physical principles of this imaging technique, describe its advantages and limitations for the screening of granular matter and present a number of examples of different application purposes, from the exploration of granular packing, via the detection of flow and particle diffusion, to real dynamic measurements. Probably, X-ray computed tomography is preferable in most applications, but fast imaging of single slices with modern MRI techniques is unmatched, and the additional opportunity to retrieve spatially resolved flow and diffusion profiles without particle tracking is a unique feature.


title: The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable

abstract: The first-order theory of addition over the natural numbers, known as Presburger arithmetic, is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the known boundary between decidable and undecidable in that we show that the purely universal fragment of the extended theory is already undecidable. Our proof is based on a reduction of the halting problem for two-counter machines to unsatisfiability of sentences in the extended language of Presburger arithmetic that does not use existential quantification. On the other hand, we argue that a single $\forall\exists$ quantifier alternation turns the set of satisfiable sentences of the extended language into a $\Sigma^1_1$-complete set. Some of the mentioned results can be transfered to the realm of linear arithmetic over the ordered real numbers. This concerns the undecidability of the purely universal fragment and the $\Sigma^1_1$-hardness for sentences with at least one quantifier alternation. Finally, we discuss the relevance of our results to verification. In particular, we derive undecidability results for quantified fragments of separation logic, the theory of arrays, and combinations of the theory of equality over uninterpreted functions with restricted forms of integer arithmetic. In certain cases our results even imply the absence of sound and complete deductive calculi.


title: From Compact to Open Clusters in Systems with Competing Interactions

abstract: Colloidal particles, amphiphiles, and functionalized nanoparticles are examples of systems that frequently exhibit short-range attractions coupled with long-range repulsions. In this work, we observe striking differences in the dynamics of self-assembled clusters that form in a simple isotropic model of such systems when the strength of attraction is varied. We find that while attraction-dominated particles self-assemble into compact clusters with properties similar to micelles formed by amphiphilic molecules, repulsion-dominated particles self-assemble into open clusters which have much shorter life-times. There is also a significantly different dependence of the solution osmotic pressure versus composition: formation of compact clusters causes a decrease in the pressure vs. density slope, while formation of open clusters does not effect the pressure. This thermodynamic quantity turns out to be much more sensitive in picking out different clustering characteristics than the overall aggregation curves or cluster shapes. Our results have significant implications in developing design principles for stable cluster self-assembly and detection in both laboratory settings and in computer simulations.


title: High-pressure behavior of the Fe-S system and composition of the Earth's inner core

abstract: Using evolutionary crystal structure prediction algorithm USPEX, we identify the compositions and crystal structures of stable compounds in the Fe-S system at pressures in the range 100-400 GPa. We find that at pressures of the Earth's solid inner core (330-364 GPa) two compounds are stable - Fe2S and FeS. In equilibrium with iron, only Fe2S can exist in the inner core. Using the equation of state of Fe2S, we find that in order to reproduce the density of the inner core by adding sulfur alone, 10.6-13.7 mol.% (6.4-8.4 wt.%) sulfur is needed. Analogous calculation for silicon (where the only stable compound at inner core pressures is FeSi) reproduces the density of the inner core with 9.0-11.8 mol.% (4.8-6.3 wt.%) silicon. In both cases, a virtually identical mean atomic mass M in the range 52.6-53.3 results for in the inner core, which is much higher than M = 49.3 determined for the inner core from Birch's law. For oxygen (where the relevant stable oxide at conditions of the inner core is Fe2O) we find the matching concentration in the range 13.2-17.2 mol.% (4.2-5.6 wt.%), which corresponds to M in the range 49.0-50.6. Combining our results and previous works, we find that inner core density and M can be explained by only four models (in atomic %): (a) 86%(Fe+Ni) + 14%C, (b) 84%(Fe+Ni) + 16%O, (c) 84%(Fe+Ni) + 7%S + 9%H, (d) 85%(Fe+Ni) + 6%Si + 9%H, and some of their linear combinations (primarly, models (c) and (d)).


title: $p$-adic analogues of hypergeometric identities

abstract: We prove some supercongruences for the truncated hypergeometric series.


title: Economic numerical method of solving coefficient inverse problem for 3D wave equation

abstract: An inverse problem of acoustic sounding is under consideration in a form of 3D inverse coefficient problem for wave equation. Unknown coefficient is the local propagation velocity of vibrations, which is associated with inhomogeneities of the medium. We are looking for this coefficient, knowing special time integrals of the scattered wave field. In the article, a new linear 3D Fredholm integral equation of the first kind is introduced, of which it is possible to find the unknown coefficient from these time integrals. We present and substantiate a numerical algorithm for solving this integral equation. The algorithm does not require large computational resources and big-time implementation. It is based on the use of fast Fourier transform under some a priori assumptions about unknown coefficient and observation region of the scattered field. Typical results of solving this 3D inverse problem on a personal computer for simulated data demonstrate the capabilities of the proposed algorithm.


title: On linear-quadratic optimal control of implicit difference equations

abstract: In this work we investigate explicit and implicit difference equations and the corresponding infinite time horizon linear-quadratic optimal control problem. We derive conditions for feasibility of the optimal control problem as well as existence and uniqueness of optimal controls under certain weaker assumptions compared to the standard approaches in the literature which are using algebraic Riccati equations. To this end, we introduce and analyze a discrete-time Lur'e equation and a corresponding Kalman-Yakubovich-Popov inequality. We show that solvability of the Kalman-Yakubovich-Popov inequality can be characterized via the spectral structure of a certain palindromic matrix pencil. The deflating subspaces of this pencil are finally used to construct solutions of the Lur'e equation. The results of this work are transferred from the continuous-time case. However, many additional technical difficulties arise in this context.


title: Learning Graphical Games from Behavioral Data: Sufficient and Necessary Conditions

abstract: In this paper we obtain sufficient and necessary conditions on the number of samples required for exact recovery of the pure-strategy Nash equilibria (PSNE) set of a graphical game from noisy observations of joint actions. We consider sparse linear influence games --- a parametric class of graphical games with linear payoffs, and represented by directed graphs of n nodes (players) and in-degree of at most k. We show that one can efficiently recover the PSNE set of a linear influence game with $O(k^2 \log n)$ samples, under very general observation models. On the other hand, we show that $\Omega(k \log n)$ samples are necessary for any procedure to recover the PSNE set from observations of joint actions.


title: A high-temperature superconducting weak-link defined by ferroelectric field-effect

abstract: In all-oxide ferroelectric (FE) - superconductor (S) bilayers, due to the low carrier concentration of oxides compared to transition metals, the FE interfacial polarization charges induce an accumulation (or depletion) of charge carriers in the S. This leads either to an enhancement or a depression of its critical temperature depending on FE polarization direction.Here we exploit this effect at a local scale to define planar weak-links in high-temperature superconducting wires. This is realized in BiFeO3(FE)/YBa2Cu3O7(S)bilayers in which the remnant FE domain structure is written at will by locally applying voltage pulses with a conductive-tip atomic force microscope. In this fashion, the FE domain pattern defines a spatial modulation of superconductivity. This allows us to write a device whose electrical transport shows different temperature regimes and magnetic field matching effects that are characteristic of Josephson coupled weak-links. This illustrates the potential of the ferroelectric approach for the realization of high-temperature superconducting devices.


title: Denoising Adversarial Autoencoders

abstract: Unsupervised learning is of growing interest because it unlocks the potential held in vast amounts of unlabelled data to learn useful representations for inference. Autoencoders, a form of generative model, may be trained by learning to reconstruct unlabelled input data from a latent representation space. More robust representations may be produced by an autoencoder if it learns to recover clean input samples from corrupted ones. Representations may be further improved by introducing regularisation during training to shape the distribution of the encoded data in latent space. We suggest denoising adversarial autoencoders, which combine denoising and regularisation, shaping the distribution of latent space using adversarial training. We introduce a novel analysis that shows how denoising may be incorporated into the training and sampling of adversarial autoencoders. Experiments are performed to assess the contributions that denoising makes to the learning of representations for classification and sample synthesis. Our results suggest that autoencoders trained using a denoising criterion achieve higher classification performance, and can synthesise samples that are more consistent with the input data than those trained without a corruption process.


title: Global behaviour of bistable solutions for hyperbolic gradient systems in one unbounded spatial dimension

abstract: This paper is concerned with damped hyperbolic gradient systems of the form \[ \alpha u_{tt} + u_t = -\nabla V(u) + u_{xx}\,, \] where the spatial domain is the whole real line, the state variable $u$ is multidimensional, $\alpha$ is a positive quantity, and the potential $V$ is coercive at infinity. For such systems, under generic assumptions on the potential, the asymptotic behaviour of every bistable solution (that is, every solution close at both ends of space to stable homogeneous equilibria) is described. Every such solution approaches, far to the left in space a stacked family of bistable fronts travelling to the left, far to the right in space a stacked family of bistable fronts travelling to the right, and in between a pattern of profiles of stationary solutions homoclinic or heteroclinic to stable homogeneous equilibria, going slowly away from one another. In the absence of maximum principle, the arguments are purely variational. This extends previous results obtained in companion papers for damped wave equations or parabolic gradient systems, in the spirit of the program initiated in the late seventies by Fife and McLeod on the global asymptotic behaviour of bistable solutions for parabolic equations.


title: Inverse Statistical Physics of Protein Sequences: A Key Issues Review

abstract: In the course of evolution, proteins undergo important changes in their amino acid sequences, while their three-dimensional folded structure and their biological function remain remarkably conserved. Thanks to modern sequencing techniques, sequence data accumulate at unprecedented pace. This provides large sets of so-called homologous, i.e.~evolutionarily related protein sequences, to which methods of inverse statistical physics can be applied. Using sequence data as the basis for the inference of Boltzmann distributions from samples of microscopic configurations or observables, it is possible to extract information about evolutionary constraints and thus protein function and structure. Here we give an overview over some biologically important questions, and how statistical-mechanics inspired modeling approaches can help to answer them. Finally, we discuss some open questions, which we expect to be addressed over the next years.


title: Phase transitions in biological systems with many components

abstract: Biological mixtures such as the cytosol may consist of thousands of distinct components. There is now a substantial body of evidence showing that, under physiological conditions, intracellular mixtures can phase separate into spatially distinct regions with differing compositions. In this paper we present numerical evidence indicating that such spontaneous compartmentalization exploits general features of the phase diagram of a multicomponent biomolecular mixture. In particular, we show that demixed domains are likely to segregate when the variance in the inter-molecular interaction strengths exceeds a well-defined threshold. Multiple distinct phases are likely to become stable under very similar conditions, which can then be tuned to achieve multiphase coexistence. As a result, only minor adjustments to the composition of the cytosol or the strengths of the inter-molecular interactions are needed to regulate the formation of different domains with specific compositions, implying that phase separation is a robust mechanism for creating spatial organization. We further predict that this functionality is only weakly affected by increasing the number of components in the system. Our model therefore suggests that, for purely physico-chemical reasons, biological mixtures are naturally poised to undergo a small number of demixing phase transitions.


title: Secure and Reconfigurable Network Design for Critical Information Dissemination in the Internet of Battlefield Things (IoBT)

abstract: The Internet of things (IoT) is revolutionizing the management and control of automated systems leading to a paradigm shift in areas such as smart homes, smart cities, health care, transportation, etc. The IoT technology is also envisioned to play an important role in improving the effectiveness of military operations in battlefields. The interconnection of combat equipment and other battlefield resources for coordinated automated decisions is referred to as the Internet of battlefield things (IoBT). IoBT networks are significantly different from traditional IoT networks due to the battlefield specific challenges such as the absence of communication infrastructure, and the susceptibility of devices to cyber and physical attacks. The combat efficiency and coordinated decision-making in war scenarios depends highly on real-time data collection, which in turn relies on the connectivity of the network and the information dissemination in the presence of adversaries. This work aims to build the theoretical foundations of designing secure and reconfigurable IoBT networks. Leveraging the theories of stochastic geometry and mathematical epidemiology, we develop an integrated framework to study the communication of mission-critical data among different types of network devices and consequently design the network in a cost effective manner.


title: A Simple Dynamic Model for Aggressive, Near-Limits Trajectory Planning

abstract: In normal on-road situations, autonomous vehicles will be expected to have smooth trajectories with relatively little demand on the vehicle dynamics to ensure passenger comfort and driving safety. However, the occurrence of unexpected events may require vehicles to perform aggressive maneuvers, near the limits of their dynamic capacities. In order to ensure the occupant's safety in these situations, the ability to plan controllable but near-limits trajectories will be of very high importance. One of the main issues in planning aggressive maneuvers lies in the high complexity of the vehicle dynamics near the handling limits, which effectively makes state-of-the-art methods such as Model Predictive Control difficult to use. This article studies a highly precise model of the vehicle body to derive a simpler, constrained second-order integrator dynamic model which remains precise even near the handling limits of the vehicle. Preliminary simulation results indicate that our model provides better accuracy without increasing computation time compared to a more classical kinematic bicycle model. The proposed model can find applications for contingency planning, which may require aggressive maneuvers, or for trajectory planning at high speed, for instance in racing applications.


title: Context Aware Query Image Representation for Particular Object Retrieval

abstract: The current models of image representation based on Convolutional Neural Networks (CNN) have shown tremendous performance in image retrieval. Such models are inspired by the information flow along the visual pathway in the human visual cortex. We propose that in the field of particular object retrieval, the process of extracting CNN representations from query images with a given region of interest (ROI) can also be modelled by taking inspiration from human vision. Particularly, we show that by making the CNN pay attention on the ROI while extracting query image representation leads to significant improvement over the baseline methods on challenging Oxford5k and Paris6k datasets. Furthermore, we propose an extension to a recently introduced encoding method for CNN representations, regional maximum activations of convolutions (R-MAC). The proposed extension weights the regional representations using a novel saliency measure prior to aggregation. This leads to further improvement in retrieval accuracy.


title: Tree-level correlations in the strong field regime

abstract: We consider the correlation function of an arbitrary number of local observables in quantum field theory. We show that, at tree level in the strong field regime, these correlations arise solely from fluctuations in the initial state. We obtain the general expression of these correlation functions in terms of the classical solution of the field equation of motion and its derivatives with respect to its initial conditions, that can be arranged graphically as the sum of labeled trees where the nodes are the individual observables, and the links are pairs of derivatives acting on them. For 3-point (and higher) correlation functions, there are additional tree-level terms beyond from the strong field approximation, generated throughout the evolution of the system.


title: Heat transfer and SET voltage in filamentary RRAM devices

abstract: We study the heat transport in filamentary RRAM nano-sized devices by comparing the accurate results of COMSOL modeling with simplified analytical models for two complementary mechanisms: one neglecting the radial heat transfer from the filament to the insulating host, while the other describing the radial transport through the dielectric in the absence of the filament heat transfer. For the former, we find that the earlier assumed simplification of the electrodes being ideal heat conductors is insufficient; a more adequate approximation is derived where the heat transport is determined by the adjacent proximities of the filament tips in the electrodes.We find that both complementary mechanisms overestimate the maximum temperature yet offering acceptable results. However, the two in parallel provide a better analytical approximation. In addition, we show that the Wiedemann-Franz-Lorenz law helps the analysis when the Lorenz parameter is chosen from the actual data. We present an approximate expression for the SET voltage possessing a high degree of universality and predicting that filament materials with low Lorenz numbers can be good candidates for the future low set voltage devices.


title: Deep Collaborative Learning for Visual Recognition

abstract: Deep neural networks are playing an important role in state-of-the-art visual recognition. To represent high-level visual concepts, modern networks are equipped with large convolutional layers, which use a large number of filters and contribute significantly to model complexity. For example, more than half of the weights of AlexNet are stored in the first fully-connected layer (4,096 filters). We formulate the function of a convolutional layer as learning a large visual vocabulary, and propose an alternative way, namely Deep Collaborative Learning (DCL), to reduce the computational complexity. We replace a convolutional layer with a two-stage DCL module, in which we first construct a couple of smaller convolutional layers individually, and then fuse them at each spatial position to consider feature co-occurrence. In mathematics, DCL can be explained as an efficient way of learning compositional visual concepts, in which the vocabulary size increases exponentially while the model complexity only increases linearly. We evaluate DCL on a wide range of visual recognition tasks, including a series of multi-digit number classification datasets, and some generic image classification datasets such as SVHN, CIFAR and ILSVRC2012. We apply DCL to several state-of-the-art network structures, improving the recognition accuracy meanwhile reducing the number of parameters (16.82% fewer in AlexNet).


title: Can X(3915) be the tensor partner of the X(3872)?

abstract: It has been proposed recently (Phys. Rev. Lett. 115 (2015), 022001) that the charmoniumlike state named X(3915) and suggested to be a $0^{++}$ scalar, is just the helicity-0 realisation of the $2^{++}$ tensor state $\chi_{c2}(3930)$. This scenario would call for a helicity-0 dominance, which were at odds with the properties of a conventional tensor charmonium, but might be compatible with some exotic structure of the $\chi_{c2}(3930)$. In this paper, we investigate, if such a scenario is compatible with the assumption that the $\chi_{c2}(3930)$ is a $D^*\bar D^*$ molecular state - a spin partner of the $X(3872)$ treated as a shallow bound state. We demonstrate that for a tensor molecule the helicity-0 component vanishes for vanishing binding energy and accordingly for a shallow bound state a helicity-2 dominance would be natural. However, for the $\chi_{c2}(3930)$, residing about 100 MeV below the $D^*\bar D^*$ threshold, there is no a priori reason for a helicity-2 dominance and thus the proposal formulated in the above mentioned reference might indeed point at a molecular structure of the tensor state. Nevertheless, we find that the experimental data currently available favour a dominant contribution of the helicity-2 amplitude also in this scenario, if spin symmetry arguments are employed to relate properties of the molecular state to those of the X(3872). We also discuss what research is necessary to further constrain the analysis.


title: Low Mach number limit of a pressure correction MAC scheme for compressible barotropic flows

abstract: We study the incompressible limit of a pressure correction MAC scheme [3] for the unstationary compressible barotropic Navier-Stokes equations. Provided the initial data are well-prepared, the solution of the numerical scheme converges, as the Mach number tends to zero, towards the solution of the classical pressure correction inf-sup stable MAC scheme for the incompressible Navier-Stokes equations.


title: Inconsistency of Template Estimation with the Fr{\'e}chet mean in Quotient Space

abstract: We tackle the problem of template estimation when data have been randomly transformed under an isometric group action in the presence of noise. In order to estimate the template, one often minimizes the variance when the influence of the transformations have been removed (computation of the Fr{\'e}chet mean in quotient space). The consistency bias is defined as the distance (possibly zero) between the orbit of the template and the orbit of one element which minimizes the variance. In this article we establish an asymptotic behavior of the consistency bias with respect to the noise level. This behavior is linear with respect to the noise level. As a result the inconsistency is unavoidable as soon as the noise is large enough. In practice, the template estimation with a finite sample is often done with an algorithm called max-max. We show the convergence of this algorithm to an empirical Karcher mean. Finally, our numerical experiments show that the bias observed in practice cannot be attributed to the small sample size or to a convergence problem but is indeed due to the previously studied inconsistency.


title: Dipole polarizabilities of charged pions

abstract: We discuss main experimental works, where dipole polarizabilities of charged pions have been determined. Possible reasons for the differences between the experimental data are discussed. In particular, it is shown that the account of the $\sigma$-meson gives a significant correction to the value of the polarizability obtained in the latest experiment of the COMPASS collaboration.


title: A Bayesian computer model analysis of Robust Bayesian analyses

abstract: We harness the power of Bayesian emulation techniques, designed to aid the analysis of complex computer models, to examine the structure of complex Bayesian analyses themselves. These techniques facilitate robust Bayesian analyses and/or sensitivity analyses of complex problems, and hence allow global exploration of the impacts of choices made in both the likelihood and prior specification. We show how previously intractable problems in robustness studies can be overcome using emulation techniques, and how these methods allow other scientists to quickly extract approximations to posterior results corresponding to their own particular subjective specification. The utility and flexibility of our method is demonstrated on a reanalysis of a real application where Bayesian methods were employed to capture beliefs about river flow. We discuss the obvious extensions and directions of future research that such an approach opens up.


title: Thermal Transport Signatures of Broken-Symmetry Phases in Graphene

abstract: In the half-filled zero-energy Landau level of bilayer graphene, competing phases with spontaneously broken symmetries and an intriguing quantum critical behavior have been predicted. Here we investigate signatures of these broken-symmetry phases in thermal transport measurements. To this end we calculate the spectrum of spin and valley waves in the $\nu=0$ quantum Hall state of bilayer graphene. The presence of Goldstone modes enables heat transport even at low temperatures, which can serve as compelling evidence for spontaneous symmetry breaking. By varying external electric and magnetic fields it is possible to determine the nature of the symmetry breaking and temperature-dependent measurements may yield additional information about gapped modes.


title: Search for Polycyclic Aromatic Hydrocarbons in the Outflows from Dust-Producing Wolf-Rayet Stars

abstract: A combined mid-IR spectrum of five colliding-wind, massive, dust-producing Population I Wolf-Rayet (WR) binaries shows a wealth of absorption and emission details coming from the circumstellar dust envelopes, as well as from the interstellar medium. The prominent absorption features may arise from a mix of interstellar carbonaceous grains formed in high- (e.g., 3.4, 6.8, 7.2 $\mu$m) and low-temperature (3.3, 6.9, 9.3 $\mu$m) environments. The broad emission complexes around $\sim$6.5, 8.0 and 8.8 $\mu$m could arise from ionized, small polycyclic aromatic hydrocarbon (PAH) clusters and/or amorphous carbonaceous grains. As such these PAH emissions may represent the long sought after precursors of amorphous Carbon dust. We also detect a strong $\sim$10.0 $\mu$m emission in the spectra of WR48a and WR112, that we tentatively link to ionized PAHs. Upon examining the available archival spectra of prodigious individual WR dust sources, we notice a surprising lack of 7.7 $\mu$m PAH band in the spectrum of the binary WR19, in contrast to the apparent strength of the 11.2, 12.7 and 16.4 $\mu$m PAH features. Strong PAH emissions are also detected in the $\lambda>$10 $\mu$m spectrum of another dust-producing system, WR118, pointing to the presence of large, neutral, presumably interstellar PAH molecules towards WR19 and WR118.


title: How real is the random censorship model in medical studies?

abstract: In survival analysis the random censorship model refers to censoring and survival times being independent of each other. It is one of the fundamental assumptions in the theory of survival analysis. We explain the reason for it being so ubiquitous, and we investigate its presence in medical studies. We differentiate two types of censoring in medical studies (dropout and administrative), and we explain their importance in examining the existence of the random censorship model. We show that in order to presume the random censorship model it is not enough to have a design study which conforms to it, but that one needs to provide evidence for its presence in the results. Blindly presuming the random censorship model might lead to the Kaplan-Meier estimator producing biased results, which might have serious consequences when estimating survival in medical studies.


title: Magnetic Reconnection in Turbulent Diluted Plasmas

abstract: We study magnetic reconnection events in a turbulent plasma within the two-fluid theory. By identifying the diffusive regions, we measure the reconnection rates as function of the conductivity and current sheet thickness. We have found that the reconnection rate scales as the squared of the inverse of the current sheet's thickness and is independent of the aspect ratio of the diffusive region, in contrast to other analytical, e.g. the Sweet-Parker and Petscheck, and numerical models. Furthermore, while the reconnection rates are also proportional to the square inverse of the conductivity, the aspect ratios of the diffusive regions, which exhibit values in the range of $0.1-0.9$, are not correlated to the latter. Our findings suggest a new expression for the magnetic reconnection rate, which, after experimental verification, can provide a further understanding of the magnetic reconnection process.

categories: physics.plasm-ph astro-ph.SR physics.comp-ph physics.space-ph


title: On the Flow of $\Box R$ Weyl-Anomaly

abstract: An important aspect of Weyl anomalies is that they encode information on the irreversibility of the renormalisation group flow. We consider, $\Delta \bar b = \bar{b}^{\textrm{UV}} - \bar{b}^{\textrm{IR}}$, the difference of the ultraviolet and infrared value of the $\Box R$-term of the Weyl anomaly. The quantity is related to the fourth moment of the trace of the energy momentum tensor correlator for theories which are conformal at both ends. Subtleties arise for non-conformal fixed points as might be the case for infrared fixed points with broken chiral symmetry. Provided that the moment converges, $\Delta \bar{b}$ is then automatically positive by unitarity. Written as an integral over the renormalisation scale, flow-independence follows since its integrand is a total derivative. Furthermore, using a momentum subtraction scheme (MOM) the 4D Zamolodchikov- metric is shown to be strictly positive beyond perturbation theory and equivalent to the metric of a conformal manifold at both ends of the flow. In this scheme $\bar{b}(\mu)$ can be extended outside the fixed point to a monotonically decreasing function. The ultraviolet finiteness of the fourth moment enables us to define a scheme for the $\delta {\cal L} \sim b_0 R^2$-term, for which the $R^2$-anomaly vanishes along the flow. In the MOM- and the $R^2$-scheme, $\bar{b}(\mu)$ is shown to satisfy a gradient flow type equation. We verify our findings in free field theories, higher derivative theories and extend $\Delta \bar{b}$ and the Euler flow $\Delta \beta_a$ for a Caswell-Banks-Zaks fixed point for QCD-like theories to next-to-next-to leading order using a recent $\langle G^2G^2 \rangle$-correlator computation.


title: Heat conduction and the nonequilibrium stationary states of stochastic energy exchange processes

abstract: I revisit the exactly solvable Kipnis--Marchioro--Presutti model of heat conduction [J. Stat. Phys. 27 65 (1982)] and describe, for one-dimensional systems of arbitrary sizes whose ends are in contact with thermal baths at different temperatures, a systematic characterization of their non-equilibrium stationary states. These arguments avoid resorting to the analysis of a dual process and yield a straightforward derivation of Fourier's law, as well as higher-order static correlations, such as the covariant matrix. The transposition of these results to families of gradient models generalizing the KMP model is established and specific cases are examined.


title: Higher Order Accurate Space-Time Schemes for Computational Astrophysics -- Part I -- Finite Volume Methods

abstract: As computational astrophysics comes under pressure to become a precision science, there is an increasing need to move to high accuracy schemes for computational astrophysics. Hence the need for a specialized review on higher order schemes for computational astrophysics. The focus here is on weighted essentially non-oscillatory (WENO) schemes, discontinuous Galerkin (DG) schemes and PNPM schemes. WENO schemes are higher order extensions of traditional second order finite volume schemes which are already familiar to most computational astrophysicists. DG schemes, on the other hand, evolve all the moments of the solution, with the result that they are more accurate than WENO schemes. PNPM schemes occupy a compromise position between WENO and PNPM schemes. They evolve an Nth order spatial polynomial, while reconstructing higher order terms up to Mth order. As a result, the timestep can be larger. Time-dependent astrophysical codes need to be accurate in space and time. This is realized with the help of SSP-RK (strong stability preserving Runge-Kutta) schemes and ADER (Arbitrary DERivative in space and time) schemes. The most popular approaches to SSP-RK and ADER schemes are also described. The style of this review is to assume that readers have a basic understanding of hyperbolic systems and one-dimensional Riemann solvers. Such an understanding can be acquired from a sequence of prepackaged lectures available from http://www.nd.edu/~dbalsara/Numerical-PDE-Course. We then build on this understanding to give the reader a practical introduction to the schemes described here. The emphasis is on computer-implementable ideas, not necessarily on the underlying theory, because it was felt that this would be most interesting to most computational astrophysicists.


title: Laplace equation for the Dirac, Euler and the harmonic oscillator

abstract: In this article, we give the explicit solutions to the Laplace equations associated to the Dirac operator, Euler operator and the harmonic oscillator in R.


title: Augmented Reality for Depth Cues in Monocular Minimally Invasive Surgery

abstract: One of the major challenges in Minimally Invasive Surgery (MIS) such as laparoscopy is the lack of depth perception. In recent years, laparoscopic scene tracking and surface reconstruction has been a focus of investigation to provide rich additional information to aid the surgical process and compensate for the depth perception issue. However, robust 3D surface reconstruction and augmented reality with depth perception on the reconstructed scene are yet to be reported. This paper presents our work in this area. First, we adopt a state-of-the-art visual simultaneous localization and mapping (SLAM) framework - ORB-SLAM - and extend the algorithm for use in MIS scenes for reliable endoscopic camera tracking and salient point mapping. We then develop a robust global 3D surface reconstruction frame- work based on the sparse point clouds extracted from the SLAM framework. Our approach is to combine an outlier removal filter within a Moving Least Squares smoothing algorithm and then employ Poisson surface reconstruction to obtain smooth surfaces from the unstructured sparse point cloud. Our proposed method has been quantitatively evaluated compared with ground-truth camera trajectories and the organ model surface we used to render the synthetic simulation videos. In vivo laparoscopic videos used in the tests have demonstrated the robustness and accuracy of our proposed framework on both camera tracking and surface reconstruction, illustrating the potential of our algorithm for depth augmentation and depth-corrected augmented reality in MIS with monocular endoscopes.


title: Spinors in Spacetime Algebra and Euclidean 4-Space

abstract: This article explores the geometric algebra of Minkowski spacetime, and its relationship to the geometric algebra of Euclidean 4-space. Both of these geometric algebras are algebraically isomorphic to the 2x2 matrix algebra over Hamilton's famous quaternions, and provide a rich geometric framework for various important topics in mathematics and physics, including stereographic projection and spinors, and both spherical and hyperbolic geometry. In addition, by identifying the time-like Minkowski unit vector with the extra dimension of Euclidean 4-space, David Hestenes' Space-Time Algebra of Minkowski spacetime is unified with William Baylis' Algebra of Physical Space.


title: Robust detection of quasi-periodic variability: A HAWKI mini survey of late T dwarfs

abstract: We present HAWK-I J-band light curves of five late-type T dwarfs (T6.5-T7.5) with a typical duration of four hours, and investigate the evidence for quasi-periodic photometric variability on intra-night timescales. Our photometry reaches precisions in the range 7-20 mmag, after removing instrumental systematics that correlate with sky background, seeing and airmass. Based upon a Lomb-Scargle periodogram analysis, the latest object in the sample - ULAS J2321 (T7.5) - appears to show quasi-periodic variability with a period of 1.64 hours and an amplitude of 3 mmag. Given the low amplitude of variability and presence of systematics in our lightcurves, we discuss a Bayesian approach to robustly determine if quasi-periodic variability is present in a lightcurve affected by red noise. Using this approach, we conclude that the evidence for quasi-periodic variability in ULAS J2321 is not significant. As a result, we suggest that studies which identify quasi-periodic variables using the false alarm probability from a Lomb-Scargle periodogram are likely to over-estimate the number of variable objects, even if field stars are used to set a higher false alarm probability threshold. Instead we argue that a hybrid approach combining a false alarm probability cut, followed by Bayesian model selection, is necessary for robust identification of quasi-periodic variability in lightcurves with red noise.


title: Large-scale identification of coevolution signals across homo-oligomeric protein interfaces by Direct Coupling Analysis

abstract: Proteins have evolved to perform diverse cellular functions, from serving as reaction catalysts to coordinating cellular propagation and development. Frequently, proteins do not exert their full potential as monomers but rather undergo concerted interactions as either homo-oligomers or with other proteins as hetero-oligomers. The experimental study of such protein complexes and interactions has been arduous. Theoretical structure prediction methods are an attractive alternative. Here, we investigate homo-oligomeric interfaces by tracing residue coevolution via the global statistical Direct Coupling Analysis (DCA). DCA can accurately infer spatial adjacencies between residues. These adjacencies can be included as constraints in structure-prediction techniques to predict high-resolution models. By taking advantage of the on-going exponential growth of sequence databases, we go significantly beyond anecdotal cases of a few protein families and apply DCA to a systematic large-scale study of nearly 2000 PFAM protein families with sufficient sequence information and structurally resolved homo-oligomeric interfaces. We find that large interfaces are commonly identified by DCA. We further demonstrate that DCA can differentiate between subfamilies of different binding modes within one large PFAM family. Sequence derived contact information for the subfamilies proves sufficient to assemble accurate structural models of the diverse protein-oligomers. Thus, we provide an approach to investigate oligomerization for arbitrary protein families leading to structural models complementary to often difficult experimental methods. Combined with ever more abundant sequential data, we anticipate that this study will be instrumental to allow the structural description of many hetero-protein complexes in the future.


title: Regularity of pseudomeromorphic currents

abstract: Let $X$ be a (reduced) pure-dimensional analytic space. We prove that direct images of principal value and residue currents on $X$ are smooth outside sets that are small in a certain sense. We also prove that the sheaf of such currents, provided that $X$ is smooth, is a stalkwise injective $\Ok_X$-module.


title: Incident Light Frequency-based Image Defogging Algorithm

abstract: Considering the problem of color distortion caused by the defogging algorithm based on dark channel prior, an improved algorithm was proposed to calculate the transmittance of all channels respectively. First, incident light frequency's effect on the transmittance of various color channels was analyzed according to the Beer-Lambert's Law, from which a proportion among various channel transmittances was derived; afterwards, images were preprocessed by down-sampling to refine transmittance, and then the original size was restored to enhance the operational efficiency of the algorithm; finally, the transmittance of all color channels was acquired in accordance with the proportion, and then the corresponding transmittance was used for image restoration in each channel. The experimental results show that compared with the existing algorithm, this improved image defogging algorithm could make image colors more natural, solve the problem of slightly higher color saturation caused by the existing algorithm, and shorten the operation time by four to nine times.


title: Number-conserving interacting fermion models with exact topological superconducting ground states

abstract: We present a method to construct number-conserving Hamiltonians whose ground states exactly reproduce an arbitrarily chosen BCS-type mean-field state. Such parent Hamiltonians can be constructed not only for the usual $s$-wave BCS state, but also for more exotic states of this form, including the ground states of Kitaev wires and 2D topological superconductors. This method leads to infinite families of locally-interacting fermion models with exact topological superconducting ground states. After explaining the general technique, we apply this method to construct two specific classes of models. The first one is a one-dimensional double wire lattice model with Majorana-like degenerate ground states. The second one is a two-dimensional $p_x+ip_y$ superconducting model, where we also obtain analytic expressions for topologically degenerate ground states in the presence of vortices. Our models may provide a deeper conceptual understanding of how Majorana zero modes could emerge in condensed matter systems, as well as inspire novel routes to realize them in experiment.


title: Virtual vs. Real: Trading Off Simulations and Physical Experiments in Reinforcement Learning with Bayesian Optimization

abstract: In practice, the parameters of control policies are often tuned manually. This is time-consuming and frustrating. Reinforcement learning is a promising alternative that aims to automate this process, yet often requires too many experiments to be practical. In this paper, we propose a solution to this problem by exploiting prior knowledge from simulations, which are readily available for most robotic platforms. Specifically, we extend Entropy Search, a Bayesian optimization algorithm that maximizes information gain from each experiment, to the case of multiple information sources. The result is a principled way to automatically combine cheap, but inaccurate information from simulations with expensive and accurate physical experiments in a cost-effective manner. We apply the resulting method to a cart-pole system, which confirms that the algorithm can find good control policies with fewer experiments than standard Bayesian optimization on the physical system only.


title: X-Shooter spectroscopy of young stellar objects in Lupus. Atmospheric parameters, membership and activity diagnostics

abstract: A homogeneous determination of basic stellar parameters of young stellar object (YSO) candidates is needed to confirm their evolutionary stage, membership to star forming regions (SFRs), and to get reliable values of the quantities related to chromospheric activity and accretion. We used the code ROTFIT and synthetic BT-Settl spectra for the determination of the atmospheric parameters (Teff and logg), the veiling, the radial (RV) and projected rotational velocity (vsini), from X-Shooter spectra of 102 YSO candidates in the Lupus SFR. We have shown that 13 candidates can be rejected as Lupus members based on their discrepant RV with respect to Lupus and/or the very low logg values. At least 11 of them are background giants. The spectral subtraction of inactive templates enabled us to measure the line fluxes for several diagnostics of both chromospheric activity and accretion. We found that all Class-III sources have H$\alpha$ fluxes compatible with a pure chromospheric activity, while objects with disks lie mostly above the boundary between chromospheres and accretion. YSOs with transitional disks displays both high and low H$\alpha$ fluxes. We found that the line fluxes per unit surface are tightly correlated with the accretion luminosity ($L_{\rm acc}$) derived from the Balmer continuum excess. This rules out that the relationships between $L_{\rm acc}$ and line luminosities found in previous works are simply due to calibration effects. We also found that the CaII-IRT flux ratio, $F_{8542}/F_{8498}$, is always small, indicating an optically thick emission source. The latter can be identified with the accretion shock near the stellar photosphere. The Balmer decrement reaches instead, for several accretors, high values typical of optically thin emission, suggesting that the Balmer emission originates in different parts of the accretion funnels with a smaller optical depth.


title: Contextuality in Canonical Systems of Random Variables

abstract: Random variables representing measurements, broadly understood to include any responses to any inputs, form a system in which each of them is uniquely identified by its content (that which it measures) and its context (the conditions under which it is recorded). Two random variables are jointly distributed if and only if they share a context. In a canonical representation of a system, all random variables are binary, and every content-sharing pair of random variables has a unique maximal coupling (the joint distribution imposed on them so that they coincide with maximal possible probability). The system is contextual if these maximal couplings are incompatible with the joint distributions of the context-sharing random variables. We propose to represent any system of measurements in a canonical form and to consider the system contextual if and only if its canonical representation is contextual. As an illustration, we establish a criterion for contextuality of the canonical system consisting of all dichotomizations of a single pair of content-sharing categorical random variables.


title: Machine Learning on Sequential Data Using a Recurrent Weighted Average

abstract: Recurrent Neural Networks (RNN) are a type of statistical model designed to handle sequential data. The model reads a sequence one symbol at a time. Each symbol is processed based on information collected from the previous symbols. With existing RNN architectures, each symbol is processed using only information from the previous processing step. To overcome this limitation, we propose a new kind of RNN model that computes a recurrent weighted average (RWA) over every past processing step. Because the RWA can be computed as a running average, the computational overhead scales like that of any other RNN architecture. The approach essentially reformulates the attention mechanism into a stand-alone model. The performance of the RWA model is assessed on the variable copy problem, the adding problem, classification of artificial grammar, classification of sequences by length, and classification of the MNIST images (where the pixels are read sequentially one at a time). On almost every task, the RWA model is found to outperform a standard LSTM model.


title: Role of a triangle singularity in the $\pi N(1535)$ contribution to $\gamma p \to p \pi^0 \eta$

abstract: We have studied the $\gamma p \to p \pi^0 \eta$ reaction paying attention to the two main mechanisms at low energies, the $\gamma p \to \Delta(1700) \to \eta \Delta(1232)$ and the $\gamma p \to \Delta(1700) \to \pi N(1535)$. Both of them are driven by the photoexcitation of the $\Delta(1700)$ and the second one involves a mechanism that leads to a triangle singularity. We are able to evaluate quantitatively the cross section for this process and show that it agrees with the experimental determination. Yet, there are some differences with the standard partial wave analysis which does not include explicitly the triangle singularity. The exercise also shows the convenience to explore possible triangle singularities in other reactions and how a standard partial analysis can be extended to accommodate them.


title: Perspectives of direct Detection of supersymmetric Dark Matter in the NMSSM

abstract: In the Next-to-Minimal-Supersymmetric-Standard-Model (NMSSM) the lightest supersymmetric particle (LSP) is a candidate for the dark matter (DM) in the universe. It is a mixture from the various gauginos and Higgsinos and can be bino-, Higgsino- or singlino-dominated. Singlino-dominated LSPs can have very low cross sections below the neutrino background from coherent neutrino scattering which is limiting the sensitivity of future direct DM search experiments. However, previous studies suggested that the combination of both, the spin-dependent (SD) and spin-independent (SI) searches are sensitive in complementary regions of parameter space, so considering both searches will allow to explore practically the whole parameter space of the NMSSM. In this letter, the different scenarios are investigated with a new scanning technique, which reveals that significant regions of the NMSSM parameter space cannot be explored, even if one considers both, SI and SD, searches.


title: The Global Optimization Geometry of Low-Rank Matrix Optimization

abstract: This paper considers general rank-constrained optimization problems that minimize a general objective function $f(X)$ over the set of rectangular $n\times m$ matrices that have rank at most $r$. To tackle the rank constraint and also to reduce the computational burden, we factorize $X$ into $UV^T$ where $U$ and $V$ are $n\times r$ and $m\times r$ matrices, respectively, and then optimize over the small matrices $U$ and $V$. We characterize the global optimization geometry of the nonconvex factored problem and show that the corresponding objective function satisfies the robust strict saddle property as long as the original objective function $f$ satisfies restricted strong convexity and smoothness properties, ensuring global convergence of many local search algorithms (such as noisy gradient descent) in polynomial time for solving the factored problem. We also provide a comprehensive analysis for the optimization geometry of a matrix factorization problem where we aim to find $n\times r$ and $m\times r$ matrices $U$ and $V$ such that $UV^T$ approximates a given matrix $X^\star$. Aside from the robust strict saddle property, we show that the objective function of the matrix factorization problem has no spurious local minima and obeys the strict saddle property not only for the exact-parameterization case where $rank(X^\star) = r$, but also for the over-parameterization case where $rank(X^\star) < r$ and the under-parameterization case where $rank(X^\star) > r$. These geometric properties imply that a number of iterative optimization algorithms (such as gradient descent) converge to a global solution with random initialization.


title: Model Checking Cyber-Physical Systems using Particle Swarm Optimization

abstract: We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective function that measures how close a state is to a violation of a property. We use particle swarm optimization (PSO) to effectively search for a state that minimizes the objective function. Such states, if found, are counter-examples describing safe states from which the system can reach an unsafe state in one time step. We illustrate our approach with a controller for the Quickbot ground rover. Our PSO model checker quickly found a bug in the controller that could cause the rover to collide with an obstacle.


title: Ionization spectra of highly Stark shifted rubidium Rydberg states

abstract: We report on the observation and numerical calculation of ionization spectra of highly Stark-shifted Rydberg states of rubidium beyond the classical ionization threshold. In the numerical calculations, a complex absorbing potential (CAP) allows us to predict the energy levels and ionization rates of Rydberg states in this regime. Our approach of adjusting the CAP to the external electric field reduces the number of free parameters from one per resonance to a single one. Furthermore, we have measured the ionization spectra of magneto-optically trapped rubidium atoms which are excited to principal quantum numbers of 43 and 70 at various electric fields. The emerging ions are detected using an ion optics. We find good agreement between the numerically and experimentally obtained spectra.


title: Microresonator-stabilized extended cavity diode laser for supercavity frequency stabilization

abstract: We demonstrate a simple, compact, and cost-effective laser noise reduction method for stabilizing an extended cavity diode laser to a 3x105 finesse mirror Fabry-P\'erot (F-P) cavity corresponding to resonance linewidth of 10 kHz using a crystalline MgF2 whispering gallery mode microresonator (WGMR). The laser linewidth is reduced to sub-kHz such that a stable Pound-Drever-Hall (PDH) error signal is built up. The wavelength of the pre-stabilized laser is tunable within a large bandwidth covering the high reflection mirror coating of a F-P supercavity.


title: EX2: Exploration with Exemplar Models for Deep Reinforcement Learning

abstract: Deep reinforcement learning algorithms have been shown to learn complex tasks using highly general policy classes. However, sparse reward problems remain a significant challenge. Exploration methods based on novelty detection have been particularly successful in such settings but typically require generative or predictive models of the observations, which can be difficult to train when the observations are very high-dimensional and complex, as in the case of raw images. We propose a novelty detection algorithm for exploration that is based entirely on discriminatively trained exemplar models, where classifiers are trained to discriminate each visited state against all others. Intuitively, novel states are easier to distinguish against other states seen during training. We show that this kind of discriminative modeling corresponds to implicit density estimation, and that it can be combined with count-based exploration to produce competitive results on a range of popular benchmark tasks, including state-of-the-art results on challenging egocentric observations in the vizDoom benchmark.


title: Percentile Policies for Tracking of Markovian Random Processes with Asymmetric Cost and Observation

abstract: Motivated by wide-ranging applications such as video delivery over networks using Multiple Description Codes, congestion control, and inventory management, we study the state-tracking of a Markovian random process with a known transition matrix and a finite ordered state set. The decision-maker must select a state as an action at each time step to minimize the total expected cost. The decision-maker is faced with asymmetries both in cost and observation: in case the selected state is less than the actual state of the Markovian process, an under-utilization cost occurs and only partial observation about the actual state is revealed; otherwise, the decision incurs an over-utilization cost and reveals full information about the actual state. We can formulate this problem as a Partially Observable Markov Decision Process which can be expressed as a dynamic program based on the last full observed state and the time of full observation. This formulation determines the sequence of actions to be taken between any two consecutive full observations of the actual state. However, this DP grows exponentially in the number of states, with little hope for a computationally feasible solution. We present an interesting class of computationally tractable policies with a percentile structure. A generalization of binary search, this class of policies attempt at any given time to reduce the uncertainty by a given percentage. Among all percentile policies, we search for the one with the minimum expected cost. The result of this search is a heuristic policy which we evaluate through numerical simulations. We show that it outperforms the myopic policies and under some conditions performs close to the optimal policies. Furthermore, we derive a lower bound on the cost of the optimal policy which can be computed with low complexity and give a measure for how close our heuristic policy is to the optimal policy.


title: Light yield determination in large sodium iodide detectors applied in the search for dark matter

abstract: Application of NaI(Tl) detectors in the search for galactic dark matter particles through their elastic scattering off the target nuclei is well motivated because of the long standing DAMA/LIBRA highly significant positive result on annual modulation, still requiring confirmation. For such a goal, it is mandatory to reach very low threshold in energy (at or below the keV level), very low radioactive background (at a few counts/keV/kg/day), and high detection mass (at or above the 100 kg scale). One of the most relevant technical issues is the optimization of the crystal intrinsic scintillation light yield and the efficiency of the light collecting system for large mass crystals. In the frame of the ANAIS (Annual modulation with NaI Scintillators) dark matter search project large NaI(Tl) crystals from different providers coupled to two photomultiplier tubes (PMTs) have been tested at the Canfranc Underground Laboratory. In this paper we present the estimates of the NaI(Tl) scintillation light collected using full-absorption peaks at very low energy from external and internal sources emitting gammas/electrons, and single-photoelectron events populations selected by using very low energy pulses tails. Outstanding scintillation light collection at the level of 15~photoelectrons/keV can be reported for the final design and provider chosen for ANAIS detectors. Taking into account the Quantum Efficiency of the PMT units used, the intrinsic scintillation light yield in these NaI(Tl) crystals is above 40~photoelectrons/keV for energy depositions in the range from 3 up to 25~keV. This very high light output of ANAIS crystals allows triggering below 1~keV, which is very important in order to increase the sensitivity in the direct detection of dark matter.


title: Links between quasi-periodic oscillations and accretion states in neutron star low mass X-ray binaries

abstract: We analysed the Rossi X-ray Timing Explorer (RXTE) data from a sample of bright accreting neutron star (NS) low-mass X-ray binaries (LMXBs). With the aim of studying the quasi-periodic variability as a function of the accretion regime, we carried out a systematic search of the quasi-periodic oscillations (QPOs) in the X-ray time series of these systems, using the integrated fractional variability as a tracker for the accretion states. We found that the three QPO types originally identified in the '80s for the brightest LMXBs, the so-called Z-sources, i.e., horizontal, normal and flaring branch oscillations (HBOs, NBOs and FBOs, respectively), are also identified in the slightly less bright NS LMXBs, the so-called Atoll sources, where we see QPOs with a behaviour consistent with the HBOs and FBOs. We compared the quasi-periodic variability properties of our NS sample with those of a sample of black hole (BH) LMXBs. We confirm the association between HBOs, NBOs and FBOs observed in Z-sources, with the type-C, type-B and type-A QPOs, respectively, observed in BH systems, and we extended the comparison to the HBO-like and FBO-like QPOs seen in Atoll sources. We conclude that the variability properties of BH and weakly-magnetized NS LMXBs show strong similarities, with QPOs only weakly sensitive to the nature of the central compact object in both classes of systems. We find that the historical association between kHz QPOs and high-frequency QPOs, seen around NSs and BHs, respectively, is not obvious when comparing similar accretion states in the two kinds of systems.


title: Existence of metrics maximizing the first eigenvalue on non-orientable surfaces

abstract: We prove the existence of metrics maximizing the first eigenvalue normalized by area on closed, non-orientable surfaces assuming two spectral gap conditions. These spectral gap conditions are proved by the authors in \cite{MS3}.


title: Asymptotic soliton like solutions to the singularly perturbed Benjamin-Bona-Mahony equation with variable coefficients

abstract: The paper deals with a problem of asymptotic soliton like solutions to the Benjamin-Bona-Mahony (BBM) equaion with a small parameter at the highest derivative and variable coefficients depending on the variables $x$, $t$ as well as a small parameter. There is proposed an algorithm of constructing the solutions and there are proved theorems on accuracy with which the solutions satisfy the BBM equation.


title: Asymmetry and coherence weight of quantum states

abstract: The asymmetry of quantum states is an important resource in quantum information processing tasks such as quantum metrology and quantum communication. In this paper, we introduce the notion of $asymmetry~weight$ --- an operationally motivated asymmetry quantifier in the resource theory of asymmetry. We study the convexity and monotonicity properties of asymmetry weight and focus on its interplay with the corresponding semidefinite programming (SDP) forms along with its connection to other asymmetry measures. Since the SDP form of asymmetry weight is closely related to asymmetry witnesses, we find that the asymmetry weight can be regarded as a (state-dependent) asymmetry witness. Moreover, some specific entanglement witnesses can be viewed as a special case of an asymmetry witness --- which indicates a potential connection between asymmetry and entanglement. We also provide an operationally meaningful coherence measure, which we term $coherence~weight$, and investigate its relationship to other coherence measures like the robustness of coherence and the $l_1$ norm of coherence. In particular, we show that for Werner states in any dimension $d$, all three coherence quantifiers, namely, the coherence weight, the robustness of coherence, and the $l_1$ norm of coherence, are equal and are given by a single letter formula.


title: On squares of cyclic codes

abstract: The square $C^{*2}$ of a linear error correcting code $C$ is the linear code spanned by the component-wise products of every pair of (non-necessarily distinct) words in $C$. Squares of codes have gained attention for several applications mainly in the area of cryptography, and typically in those applications one is concerned about some of the parameters (dimension, minimum distance) of both $C^{*2}$ and $C$. In this paper, motivated mostly by the study of this problem in the case of linear codes defined over the binary field, squares of cyclic codes are considered. General results on the minimum distance of the squares of cyclic codes are obtained and constructions of cyclic codes $C$ with relatively large dimension of $C$ and minimum distance of the square $C^{*2}$ are discussed. In some cases, the constructions lead to codes $C$ such that both $C$ and $C^{*2}$ simultaneously have the largest possible minimum distances for their length and dimensions.


title: Solution of the nonrelativistic wave equation in the tridiagonal representation approach

abstract: We choose a complete set of square integrable functions as basis for the expansion of the wavefunction in configuration space such that the matrix representation of the nonrelativistic time-independent wave operator is tridiagonal and symmetric. Consequently, the matrix wave equation becomes a symmetric three-term recursion relation for the expansion coefficients of the wavefunction in this basis. The recursion relation is then solved exactly in terms of orthogonal polynomials in the energy. Some of these polynomials are not found in the mathematics literature. The asymptotics of these polynomials give the phase shift of the continuous energy scattering states and the spectrum for the discrete energy bound states. Depending on the space and boundary conditions, the basis functions are written in terms of either the Laguerre or Jacobi polynomials. The tridiagonal requirement limits the number of potential functions that yield exact solutions of the wave equation. Nonetheless, the class of exactly solvable problems in this approach is larger than the conventional class (see Table 12). We also give very accurate results for cases where the wave operator matrix is not tridiagonal but its elements could be evaluated either exactly or numerically with high precision.


title: Expanding Einstein-Yang-Mills by Yang-Mills in CHY frame

abstract: Using the Cachazo-He-Yuan (CHY) formalism, we prove a recursive expansion of tree level single trace Einstein-Yang-Mills (EYM) amplitudes with arbitrary number of gluons and gravitons, which is valid for general spacetime dimensions and any helicity configurations. The recursion is written in terms of fewer-graviton EYM amplitudes and pure Yang-Mills (YM) amplitudes, which can be further carried out until we reach an expansion in terms of pure YM amplitudes in Kleiss-Kuijf (KK) basis. Our expansion then generates naturally a spanning tree structure rooted on gluons whose vertices are gravitons. We further propose a set of graph theoretical rules based on spanning trees that evaluate directly the pure YM expansion coefficients.


title: Baxter's Homunculus: Virtual Reality Spaces for Teleoperation in Manufacturing

abstract: Expensive specialized systems have hampered development of telerobotic systems for manufacturing systems. In this paper we demonstrate a telerobotic system which can reduce the cost of such system by leveraging commercial virtual reality(VR) technology and integrating it with existing robotics control software. The system runs on a commercial gaming engine using off the shelf VR hardware. This system can be deployed on multiple network architectures from a wired local network to a wireless network connection over the Internet. The system is based on the homunculus model of mind wherein we embed the user in a virtual reality control room. The control room allows for multiple sensor display, dynamic mapping between the user and robot, does not require the production of duals for the robot, or its environment. The control room is mapped to a space inside the robot to provide a sense of co-location within the robot. We compared our system with state of the art automation algorithms for assembly tasks, showing a 100% success rate for our system compared with a 66% success rate for automated systems. We demonstrate that our system can be used for pick and place, assembly, and manufacturing tasks.


title: Linear and non-linear Modified Gravity forecasts with future surveys

abstract: Modified Gravity theories generally affect the Poisson equation and the gravitational slip (effective anisotropic stress) in an observable way, that can be parameterized by two generic functions ($\eta$ and $\mu$) of time and space. We bin the time dependence of these functions in redshift and present forecasts on each bin for future surveys like Euclid. We consider both Galaxy Clustering and Weak Lensing surveys, showing the impact of the non-linear regime, treated with two different semi-analytical approximations. In addition to these future observables, we use a prior covariance matrix derived from the Planck observations of the Cosmic Microwave Background. Our results show that $\eta$ and $\mu$ in different redshift bins are significantly correlated, but including non-linear scales reduces or even eliminates the correlation, breaking the degeneracy between Modified Gravity parameters and the overall amplitude of the matter power spectrum. We further decorrelate parameters with a Zero-phase Component Analysis and identify which combinations of the Modified Gravity parameter amplitudes, in different redshift bins, are best constrained by future surveys. We also extend the analysis to two particular parameterizations of the time evolution of $\mu$ and $\eta$ and consider, in addition to Euclid, also SKA1, SKA2, DESI: we find in this case that future surveys will be able to constrain the current values of $\eta$ and $\mu$ at the $2-5\%$ level when using only linear scales (wavevector k < 0.15 h/Mpc), depending on the specific time parameterization; sensitivity improves to about $1\%$ when non-linearities are included.


title: Cosmic quantum optical probing of quantum gravity through a gravitational lensLens

abstract: We consider the nonunitary quantum dynamics of neutral massless scalar particles used to model photons around a massive gravitational lens. The gravitational interaction between the lensing mass and asymptotically free particles is described by their second-quantized scattering wavefunctions. Remarkably, the zero-point spacetime fluctuations can induce significant decoherence of the scattered states with spontaneous emission of gravitons, thereby reducing the particles' coherence as well as energy. This new effect suggests that, when photon polarizations are negligible, such quantum gravity phenomena could lead to measurable anomalous redshift of recently studied astrophysical lasers through a gravitational lens in the range of black holes and galaxy clusters.


title: Estimating Spatial Econometrics Models with Integrated Nested Laplace Approximation

abstract: Integrated Nested Laplace Approximation provides a fast and effective method for marginal inference on Bayesian hierarchical models. This methodology has been implemented in the R-INLA package which permits INLA to be used from within R statistical software. Although INLA is implemented as a general methodology, its use in practice is limited to the models implemented in the R-INLA package. Spatial autoregressive models are widely used in spatial econometrics but have until now been missing from the R-INLA package. In this paper, we describe the implementation and application of a new class of latent models in INLA made available through R-INLA. This new latent class implements a standard spatial lag model, which is widely used and that can be used to build more complex models in spatial econometrics. The implementation of this latent model in R-INLA also means that all the other features of INLA can be used for model fitting, model selection and inference in spatial econometrics, as will be shown in this paper. Finally, we will illustrate the use of this new latent model and its applications with two datasets based on Gaussian and binary outcomes.


title: Actor-Critic Reinforcement Learning with Simultaneous Human Control and Feedback

abstract: This paper contributes a first study into how different human users deliver simultaneous control and feedback signals during human-robot interaction. As part of this work, we formalize and present a general interactive learning framework for online cooperation between humans and reinforcement learning agents. In many human-machine interaction settings, there is a growing gap between the degrees-of-freedom of complex semi-autonomous systems and the number of human control channels. Simple human control and feedback mechanisms are required to close this gap and allow for better collaboration between humans and machines on complex tasks. To better inform the design of concurrent control and feedback interfaces, we present experimental results from a human-robot collaborative domain wherein the human must simultaneously deliver both control and feedback signals to interactively train an actor-critic reinforcement learning robot. We compare three experimental conditions: 1) human delivered control signals, 2) reward-shaping feedback signals, and 3) simultaneous control and feedback. Our results suggest that subjects provide less feedback when simultaneously delivering feedback and control signals and that control signal quality is not significantly diminished. Our data suggest that subjects may also modify when and how they provide feedback. Through algorithmic development and tuning informed by this study, we expect semi-autonomous actions of robotic agents can be better shaped by human feedback, allowing for seamless collaboration and improved performance in difficult interactive domains.


title: The Linear Point: A cleaner cosmological standard ruler

abstract: We show how a characteristic length scale imprinted in the galaxy two-point correlation function, dubbed the "linear point", can serve as a comoving cosmological standard ruler. In contrast to the Baryon Acoustic Oscillation peak location, this scale is constant in redshift and is unaffected by non-linear effects to within $0.5$ percent precision. We measure the location of the linear point in the galaxy correlation function of the LOWZ and CMASS samples from the Twelfth Data Release (DR12) of the Baryon Oscillation Spectroscopic Survey (BOSS) collaboration. We combine our linear-point measurement with cosmic-microwave-background constraints from the Planck satellite to estimate the isotropic-volume distance $D_{V}(z)$, without relying on a model-template or reconstruction method. We find $D_V(0.32)=1264\pm 28$ Mpc and $D_V(0.57)=2056\pm 22$ Mpc respectively, consistent with the quoted values from the BOSS collaboration. This remarkable result suggests that all the distance information contained in the baryon acoustic oscillations can be conveniently compressed into the single length associated with the linear point.


title: Surface - lattice resonances in 2d arrays of spheres: multipolar interactions and a mode analysis

abstract: We present a multipolar model of surface - lattice resonances (SLRs) in 2d arrays of spheres including the electric dipole, magnetic dipole, and electric quadrupole moments of the spheres. We identify SLRs of dipolar and multipolar character, show the importance of non-resonant multipoles in their description, and discuss the sensitivity of SLRs to illumination conditions. We link SLRs to an excitation of modes supported by the array, and we propose a simplified model of the mode dispersion relations that explains the sensitivity of SLRs and the band gap in mode dispersion found at low frequencies. Finally we discuss the resonant features associated with a direct coupling to a mode which can occur in addition to the diffractive coupling signalled by SLRs.


title: Quasinormal modes of the polytropic hydrodynamic vortex

abstract: Analogue systems are a powerful instrument to investigate and understand in a controlled setting many general-relativistic effects. Here, we focus on superradiant-triggered instabilities and quasi-normal modes. We consider a compressible hydrodynamic vortex characterized by a polytropic equation of state, the {\it polytropic hydrodynamic vortex}, a purely circulating system with an ergoregion but no event horizon. We compute the quasinormal modes of this system numerically with different methods, finding excellent agreement between them. When the fluid velocity is larger than the speed of sound, an ergoregion appears in the effective spacetime, triggering an "ergoregion instability." We study the details of the instability for the polytropic vortex, and in particular find analytic expressions for the marginally-stable configuration.


title: De Giorgi Techniques Applied to Hamilton-Jacobi Equations with Unbounded Right-Hand Side

abstract: In this article we obtain Holder estimates for solutions to second-order Hamilton-Jacobi equations with super-quadratic growth in the gradient and unbounded source term. The estimates are uniform with respect to the smallness of the diffusion and the smoothness of the Hamiltonian. Our work is in the spirit of a result by P. Cardaliaguet and L. Silvestre [5]. We utilize De Giorgi's method, which was introduced to this class of equations in [6].


title: Downlink Cellular Network Analysis with LOS/NLOS Propagation and Elevated Base Stations

abstract: In this paper, we investigate the downlink performance of dense cellular networks with elevated base stations (BSs) using a channel model that incorporates line-of-sight (LOS)/non-line-of-sight (NLOS) propagation in both small-scale and large-scale fading. Modeling LOS fading with Nakagami-$m$ fading, we provide a unified framework based on stochastic geometry that encompasses both closest and strongest BS association. Our study is particularized to two distance-dependent LOS/NLOS models of practical interest. Considering the effect of LOS propagation alone, we derive closed-form expressions for the coverage probability with Nakagami-$m$ fading, showing that the performance for strongest BS association is the same as in the case of Rayleigh fading, whereas for closest BS association it monotonically increases with the shape parameter $m$. Then, focusing on the effect of elevated BSs, we show that network densification eventually leads to near-universal outage even for moderately low BS densities: in particular, the maximum area spectral efficiency is proportional to the inverse of the squared BS height.


title: Desertification by Front Propagation?

abstract: Understanding how desertification takes place in different ecosystems is an important step in attempting to forecast and prevent such transitions. Dryland ecosystems often exhibit patchy vegetation, which has been shown to be an important factor on the possible regime shifts that occur in arid regions in several model studies. In particular, both gradual shifts that occur by front propagation, and abrupt shifts where patches of vegetation vanish at once, are a possibility in dryland ecosystems due to their emergent spatial heterogeneity. However, recent theoretical work has suggested that the final step of desertification - the transition from spotted vegetation to bare soil - occurs only as an abrupt shift, but the generality of this result, and its underlying origin, remain unclear. We investigate two models that detail the dynamics of dryland vegetation using a markedly different functional structure, and find that in both models the final step of desertification can only be abrupt. Using a careful numerical analysis, we show that this behavior is associated with the disappearance of confined spot-pattern domains as stationary states, and identify the mathematical origin of this behavior. Our findings show that a gradual desertification to bare soil due to a front propagation process can not occur in these and similar models, and opens the question of whether these dynamics can take place in nature.


title: An Extended Consideration of Joint Exploration and Tracking: JET

abstract: Autonomous exploration and multi-object tracking by a team of agents have traditionally been considered as two separate, yet related, problems which are usually solved in two phases: an exploration phase then a tracking phase. The exploration problem is usually viewed through an information theoretic framework where a robotic agent attempts to gather as much information about the environment or an Object of Interest (OI). Conversely, the tracking problem attempts to maintain precise location information about an OI over time. This work proposes a single framework which enables the multi-robot multi-object problem to be solved simultaneously. A hierarchical architecture is used to coordinate robotic agents in the tracking of multiple OIs while simultaneously allowing the task to remain computationally efficient. The primary contributions of this work are a probabilistic constraint on the tracked OIs' covariances guarantees tracking performance throughout the entire mission. The automatic discovery of new OIs, a seamless transition to guaranteed tracking of discovered OIs, and the automatic balancing of exploration with the requirements of tracking.


title: Invariant random subgroups of semidirect products

abstract: We study invariant random subgroups (IRSs) of semidirect products $G = A \rtimes \Gamma$. In particular, we characterize all IRSs of parabolic subgroups of $\mathrm{SL}_d(\mathbb{R})$, and show that all ergodic IRSs of $\mathbb{R}^d \rtimes \mathrm{SL}_d(\mathbb{R})$ are either of the form $\mathbb{R}^d \rtimes K$ for some IRS of $\mathrm{SL}_d(\mathbb{R})$, or are induced from IRSs of $\Lambda \rtimes \mathrm{SL}(\Lambda)$, where $\Lambda < \mathbb{R}^d$ is a lattice.


title: On the generation of groups of bounded linear operators on Fr\'{e}chet spaces

abstract: In this paper we present a general method for generation of uniformly continuous groups on abstract Fr\'{e}chet spaces (without appealing to spectral theory) and apply it to a such space of distributions, namely ${\mathscr F}L^{2}_{loc}(\mathbb{R}^{n})$, so that the linear evolution problem \begin{equation*} \left\{\begin{array}{l} u_{t} = a(D)u, t \in \mathbb{R} \\ u(0) = u_0 \end{array} \right. \end{equation*}always has a unique solution in such a space, for every pseudodifferential operator $a(D)$ with constant coefficients. We also provide necessary and sufficient conditions so that the spaces $L^{2}$ and ${\mathscr E}'$ are left invariant by this group; and we conclude that the solution of the heat equation on ${\mathscr F}L^{2}_{loc}(\mathbb{R}^{n})$ for all $t \in \mathbb{R}$ extends the standard solution on Hilbert spaces for $t \geqslant 0$.


title: Investcoin: A System for Privacy-Preserving Investments

abstract: This work presents a new framework for Privacy-Preserving Investment systems in a distributed model. In this model, independent investors can transfer funds to independent projects, in the same way as it works on crowdfunding platforms. The framework protects the investors' single payments from being detected (by any other party), only the sums of each investor's payments are revealed. Likewise, the projects' single incoming payments are concealed and only the final sums of the incoming payments for every project are revealed. In this way, no other party than the investor (not even the system administration) can detect how much she paid to any single project. Though it is still possible to confidentially exchange any part of an investment between any pair of investors, such that market liquidity is unaffected by the system. On top, our framework allows a privacy-preserving return of a multiple of all the held investments (e.g. interest payments or dividends) to the indivdual investors while still revealing nothing else than the sum of all returns for every investor. We provide reasonable security guarantees for this framework that are based on common notions from the Secure Multi-Party Computation literature. As instantiation for this framework we present Investcoin. It is a proper combination of three cryptographic protocols, namely a Private Stream Aggregation scheme, a Commitment scheme and a Range test and it is usable in connection with any existing currency. The security of these protocols is based on the DDH assumption. By a composition theorem from the SMPC literature, the security of the resulting Investcoin protocol is also based on the DDH assumption. Furthermore, we provide a simple decentralised key generation protocol for Investcoin supporting dynamic join/leave and fault-tolarance of investors and moreover achieves some security guarantees against malicious investors.


title: Microwave attenuators for use with quantum devices below 100 mK

abstract: To reduce the level of thermally generated electrical noise transmitted to superconducting quantum devices operating at 20 mK, we have developed thin-film microwave power attenuators operating from 1 to 10 GHz. The 20 dB and 30 dB attenuators are built on a quartz substrate and use 75 nm thick films of nichrome for dissipative components and 0.001 mm thick silver films as hot electron heat sinks. The noise temperature of the attenuators was quantified by connecting the output to a 3D cavity containing a transmon qubit and extracting the dephasing rate of the qubit as a function of temperature and dissipated power P_d in the attenuator. The minimum noise temperature T_n of the output from the 20 dB attenuator was T_n less than and equal to 53 mK for no additional applied power and T_n about 120 mK when dissipating 30 nW. In the limit of large dissipated power (P_d > 1 nW) we find T_n proportional to P_d^(1/5.4), consistent with detailed thermal modeling of heat flow in the attenuators.