title: The two-dimensional Centralizer Conjecture

abstract: A result by C. C.-A. Cheng, J. H. Mckay and S. S.-S. Wang says the following: Suppose the Jacobian of $A$ and $B$ is invertible in $\mathbb{C}[x,y]$ and the Jacobian of $A$ and $w$ is zero for $A,B,w \in \mathbb{C}[x,y]$. Then $w \in \mathbb{C}[A]$. We show that in CMW's result it is possible to replace $\mathbb{C}$ by any field of characteristic zero, and we conjecture the following 'two-dimensional Centralizer Conjecture over $D$': Suppose the Jacobian of $A$ and $B$ is invertible in $D[x,y]$ and the Jacobian of $A$ and $w$ is zero for $A,B,w \in D[x,y]$, $D$ is an integral domain of characteristic zero. Then $w \in D[A]$. We show that if the famous two-dimensional Jacobian Conjecture is true, then the two-dimensional Centralizer Conjecture is true.


title: Remote sensing of geomagnetic fields and atomic collisions in the mesosphere

abstract: Magnetic-field sensing has contributed to the formulation of the plate-tectonics theory, the discovery and mapping of underground structures on Earth, and the study of magnetism in other planets. Filling the gap between space-based and near-Earth observation, we demonstrate a novel method for remote measurement of the geomagnetic field at an altitude of 85-100 km. The method consists of optical pumping of atomic sodium in the upper mesosphere with an intensity-modulated laser beam, and simultaneous ground-based observation of the resultant magneto-optical resonance when driving the atomic-sodium spins at the Larmor precession frequency. The experiment was carried out at the Roque de Los Muchachos Observatory in La Palma (Canary Islands) where we validated this technique and remotely measured the Larmor precession frequency of sodium as 260.4(1) kHz, corresponding to a mesospheric magnetic field of 0.3720(1) G. We demonstrate a magnetometry accuracy level of 0.28 mG/$\sqrt{\text{Hz}}$ in good atmospheric conditions. In addition, these observations allow us to characterize various atomic-collision processes in the mesosphere. Remote detection of mesospheric magnetic fields has potential applications such as mapping of large-scale magnetic structures in the lithosphere and the study of electric-current fluctuations in the ionosphere.

categories: physics.ao-ph astro-ph.IM physics.atom-ph physics.ins-det


title: Neural Relational Inference for Interacting Systems

abstract: Interacting systems are prevalent in nature, from dynamical systems in physics to complex societal dynamics. The interplay of components can give rise to complex behavior, which can often be explained using a simple model of the system's constituent parts. In this work, we introduce the neural relational inference (NRI) model: an unsupervised model that learns to infer interactions while simultaneously learning the dynamics purely from observational data. Our model takes the form of a variational auto-encoder, in which the latent code represents the underlying interaction graph and the reconstruction is based on graph neural networks. In experiments on simulated physical systems, we show that our NRI model can accurately recover ground-truth interactions in an unsupervised manner. We further demonstrate that we can find an interpretable structure and predict complex dynamics in real motion capture and sports tracking data.


title: Unrestricted wreath products and sofic groups

abstract: We show that the unrestricted wreath product of a sofic group by an amenable group is sofic. We use this result to present an alternative proof of the known fact that any group extension with sofic kernel and amenable quotient is again a sofic group. Our approach exploits the famous Kaloujnine-Krasner theorem and extends, with an additional argument, to hyperlinear-by-amenable groups.


title: A bump in the road in elementary topology

abstract: We observe a subtle and apparently generally unnoticed difficulty with the definition of the relative topology on a subset of a topological space, and with the weak topology defined by a function.


title: The Galactic halo pulsar population

abstract: Most population studies of pulsars have hitherto focused on the disc of the Galaxy, the Galactic centre, globular clusters, and nearby galaxies. It is expected that pulsars, by virtue of their natal kicks, are also to be found in the Galactic halo. We investigate the possible population of canonical (i.e. non-recycled) radio pulsars in the halo, estimating the number of such pulsars, and the fraction that is detectable via single pulse and periodicity searches. Additionally, we explore the distributions of flux densities and dispersion measures of this population. We also consider the effects of different velocity models and the evolution of inclination angle and magnetic field on our results. We show that $\sim$33 % of all pulsars beaming towards the Earth are in the halo but the fraction reduces to $\sim$1.5 % if we let the inclination angle and the magnetic field evolve as a falling exponential. Moreover, the fraction that is detectable is significantly limited by the sensitivity of surveys. This population would be most effectively probed by surveys using time-domain periodicity search algorithms. The current non-detections of pulsars in the halo can be explained if we assume that the inclination angle and magnetic field of pulsars evolve with time. We also highlight a possible confusion between bright pulses from halo pulsars and Fast Radio Bursts with low dispersion measures where further follow-up is warranted.


title: Active Perception and Modeling of Deformable Surfaces using Gaussian Processes and Position-based Dynamics

abstract: Exploring and modeling heterogeneous elastic surfaces requires multiple interactions with the environment and a complex selection of physical material parameters. The most common approaches model deformable properties from sets of offline observations using computationally expensive force-based simulators. In this work we present an online probabilistic framework for autonomous estimation of a deformability distribution map of heterogeneous elastic surfaces from few physical interactions. The method takes advantage of Gaussian Processes for constructing a model of the environment geometry surrounding a robot. A fast Position-based Dynamics simulator uses focused environmental observations in order to model the elastic behavior of portions of the environment. Gaussian Process Regression maps the local deformability on the whole environment in order to generate a deformability distribution map. We show experimental results using a PrimeSense camera, a Kinova Jaco2 robotic arm and an Optoforce sensor on different deformable surfaces.


title: BIRNet: Brain Image Registration Using Dual-Supervised Fully Convolutional Networks

abstract: In this paper, we propose a deep learning approach for image registration by predicting deformation from image appearance. Since obtaining ground-truth deformation fields for training can be challenging, we design a fully convolutional network that is subject to dual-guidance: (1) Coarse guidance using deformation fields obtained by an existing registration method; and (2) Fine guidance using image similarity. The latter guidance helps avoid overly relying on the supervision from the training deformation fields, which could be inaccurate. For effective training, we further improve the deep convolutional network with gap filling, hierarchical loss, and multi-source strategies. Experiments on a variety of datasets show promising registration accuracy and efficiency compared with state-of-the-art methods.


title: All-electrical manipulation of silicon spin qubits with tunable spin-valley mixing

abstract: We show that the mixing between spin and valley degrees of freedom in a silicon quantum bit (qubit) can be controlled by a static electric field acting on the valley splitting $\Delta$. Thanks to spin-orbit coupling, the qubit can be continuously switched between a spin mode (where the quantum information is encoded into the spin) and a valley mode (where the the quantum information is encoded into the valley). In the spin mode, the qubit is more robust with respect to inelastic relaxation and decoherence, but is hardly addressable electrically. It can however be brought into the valley mode then back to the spin mode for electrical manipulation. This opens new perspectives for the development of robust and scalable, electrically addressable spin qubits on silicon. We illustrate this with tight-binding simulations on a so-called "corner dot" in a silicon-on-insulator device where the confinement and valley splitting can be independently tailored by a front and a back gate.


title: A proof of the Bunkbed conjecture on the complete graph for $p\geqslant1/2$

abstract: The bunkbed of a graph $G$ is the graph $G\times\left\{ 0,1\right\} $. It has been conjectured that in the independent bond percolation model, the probability for $\left(u,0\right)$ to be connected with $\left(v,0\right)$ is greater than the probability for $\left(u,0\right)$ to be connected with $\left(v,1\right)$, for any vertex $u$, $v$ of $G$. In this article, we prove this conjecture for the complete graph in the case of the independent bond percolation of parameter $p\geqslant1/2$.


title: A Concurrent Constraint Programming Interpretation of Access Permissions

abstract: A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them can lead to subtle problems. This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc). We represent APs as constraints (i.e., formulas in logic) in an underlying constraint system whose entailment relation models the transformation rules of APs. Moreover, we use processes in lcc to model the dependencies imposed by APs, thus allowing the faithful representation of their flow in the program. We verify relevant properties about AP programs by taking advantage of the interpretation of lcc processes as formulas in Girard's intuitionistic linear logic (ILL). Properties include deadlock detection, program correctness (whether programs adhere to their AP specifications or not), and the ability of methods to run concurrently. By relying on a focusing discipline for ILL, we provide a complexity measure for proofs of the above mentioned properties. The effectiveness of our verification techniques is demonstrated by implementing the Alcove tool that includes an animator and a verifier. The former executes the lcc model, observing the flow of APs and quickly finding inconsistencies of the APs vis-a-vis the implementation. The latter is an automatic theorem prover based on ILL. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).


title: Elastic Provisioning of Cloud Caches: a Cost-aware TTL Approach

abstract: We consider elastic resource provisioning in the cloud, focusing on in-memory key-value stores used as caches. Our goal is to dynamically scale resources to the traffic pattern minimizing the overall cost, which includes not only the storage cost, but also the cost due to misses. In fact, a small variation on the cache miss ratio may have a significant impact on user perceived performance in modern web services, which in turn has an impact on the overall revenues for the content provider that uses those services. We propose and study a dynamic algorithm for TTL caches, which is able to obtain close-to-minimal costs. Since high-throughput caches require low complexity operations, we discuss a practical implementation of such a scheme requiring constant overhead per request independently from the cache size. We evaluate our solution with real-world traces collected from Akamai, and show that we are able to obtain a 17% decrease in the overall cost compared to a baseline static configuration.


title: Learning to Search with MCTSnets

abstract: Planning problems are among the most important and well-studied problems in artificial intelligence. They are most typically solved by tree search algorithms that simulate ahead into the future, evaluate future states, and back-up those evaluations to the root of a search tree. Among these algorithms, Monte-Carlo tree search (MCTS) is one of the most general, powerful and widely used. A typical implementation of MCTS uses cleverly designed rules, optimized to the particular characteristics of the domain. These rules control where the simulation traverses, what to evaluate in the states that are reached, and how to back-up those evaluations. In this paper we instead learn where, what and how to search. Our architecture, which we call an MCTSnet, incorporates simulation-based search inside a neural network, by expanding, evaluating and backing-up a vector embedding. The parameters of the network are trained end-to-end using gradient-based optimisation. When applied to small searches in the well known planning problem Sokoban, the learned search algorithm significantly outperformed MCTS baselines.


title: Subtyping for Hierarchical, Reconfigurable Petri Nets

abstract: Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable, so they are supplied with their own set of rules. Moreover, global rules that can be applied in all of the net, are provided.


title: Probing the use of spectroscopy to determine the meteoritic analogues of meteors

abstract: Determining the source regions of meteorites is one of the major goals of current research in planetary science. Whereas asteroid observations are currently unable to pinpoint the source regions of most meteorite classes, observations of meteors with camera networks and the subsequent recovery of the meteorite may help make progress on this question. The main caveat of such an approach, however, is that the recovery rate of meteorite falls is low, implying that the meteoritic analogues of at least 80% of the observed falls remain unknown. Aims: Spectroscopic observations of bolides may have the potential to mitigate this problem by classifying the incoming material. Methods: To probe the use of spectroscopy to determine the meteoritic analogues of bolides, we collected emission spectra in the visible range (320-880nm) of five meteorite types (H,L,LL,CM,eucrite) acquired in atmospheric entry-like conditions in a plasma wind tunnel at the University of Stuttgart (Germany). A detailed spectral analysis including line identification and mass ratio determinations (Mg/Fe,Na/Fe) was subsequently performed on all spectra. Results: Spectroscopy, via a simple line identification, allows us to distinguish the main meteorite classes (chondrites, achondrites and irons) but does not have the potential to distinguish for example an H from a CM chondrite. Conclusions: The source location within the main belt of the different meteorite classes (H, L, LL, CM, etc.) should continue to be investigated via fireball observation networks. Spectroscopy of incoming bolides only marginally helps precisely classify the incoming material (iron meteorites only). To reach a statistically significant sample of recovered meteorites along with accurate orbits (>100) within a reasonable time frame (10-20 years), the optimal solution may be the spatial extension of existing fireball observation networks.


title: On Double Smoothed Volatility Estimation of Potentially Nonstationary Jump-Diffusion Model

abstract: In this paper, we present the double smoothed nonparametric approach for infinitesimal conditional volatility of jump-diffusion model based on high frequency data. Under certain minimal conditions, we obtain the strong consistency and asymptotic normality for the estimator as the time span $T \rightarrow \infty$ and the sample interval $\Delta_{n} \rightarrow 0.$ The procedure and asymptotic behavior can be applied for both null Harris recurrent and positive Harris recurrent processes.


title: The fundamental and rigidity theorems for pseudohermitian submanifolds in the Heisenberg groups

abstract: In this paper, we study some basic geometric properties of pseudohermitian submanifolds of the Heisenberg groups. In particular, we obtain the uniqueness and existence theorems, and some rigidity theorems.


title: Full-dimensional Quantum Dynamics of SiO in Collision with H$_2$

abstract: We report the first full-dimensional potential energy surface (PES) and quantum mechanical close-coupling calculations for scattering of SiO due to H$_2$. The full-dimensional interaction potential surface was computed using the explicitly correlated coupled-cluster (CCSD(T)-F12b) method and fitted using an invariant polynomial approach. Pure rotational quenching cross sections from initial states $v_1=0$, $j_1$=1-5 of SiO in collision with H$_2$ are calculated for collision energies between 1.0 and 5000 cm$^{-1}$. State-to-state rotational rate coefficients are calculated at temperatures between 5 and 1000 K. The rotational rate coefficients of SiO with para-H$_2$ are compared with previous approximate results which were obtained using SiO-He PESs or scaled from SiO-He rate coefficients. Rovibrational state-to-state and total quenching cross sections and rate coefficients for initially excited SiO($v_1=1, j_1$=0 and 1) in collisions with para-H$_2$($v_2=0,j_2=0$) and ortho-H$_2$($v_2=0,j_2=1$) were also obtained. The application of the current collisional rate coefficients to astrophysics is briefly discussed.


title: Regularising data for practical randomness generation

abstract: Non-local correlations that obey the no-signalling principle contain intrinsic randomness. In particular, for a specific Bell experiment, one can derive relations between the amount of randomness produced, as quantified by the min-entropy of the output data, and its associated violation of a Bell inequality. In practice, due to finite sampling, certifying randomness requires the development of statistical tools to lower-bound the min-entropy of the data as a function of the estimated Bell violation. The quality of such bounds relies on the choice of certificate, i.e., the Bell inequality whose violation is estimated. In this work, we propose a method for choosing efficiently such a certificate. It requires sacrificing a part of the output data in order to estimate the underlying correlations. Regularising this estimate then allows one to find a Bell inequality that is well suited for certifying practical randomness from these specific correlations. We then study the effects of various parameters on the obtained min-entropy bound and explain how to tune them in a favourable way. Lastly, we carry out several numerical simulations of a Bell experiment to show the efficiency of our method: we nearly always obtain higher min-entropy rates than when we use a pre-established Bell inequality, namely the Clauser-Horne-Shimony-Holt inequality.


title: Proof systems: from nestings to sequents and back

abstract: In this work, we explore proof theoretical connections between sequent, nested and labelled calculi. In particular, we show a general algorithm for transforming a class of nested systems into sequent calculus systems, passing through linear nested systems. Moreover, we show a semantical characterisation of intuitionistic, multi-modal and non-normal modal logics for all these systems, via a case-by-case translation between labelled nested to labelled sequent systems.


title: Hadamard Response: Estimating Distributions Privately, Efficiently, and with Little Communication

abstract: We study the problem of estimating $k$-ary distributions under $\varepsilon$-local differential privacy. $n$ samples are distributed across users who send privatized versions of their sample to a central server. All previously known sample optimal algorithms require linear (in $k$) communication from each user in the high privacy regime $(\varepsilon=O(1))$, and run in time that grows as $n\cdot k$, which can be prohibitive for large domain size $k$. We propose Hadamard Response (HR}, a local privatization scheme that requires no shared randomness and is symmetric with respect to the users. Our scheme has order optimal sample complexity for all $\varepsilon$, a communication of at most $\log k+2$ bits per user, and nearly linear running time of $\tilde{O}(n + k)$. Our encoding and decoding are based on Hadamard matrices, and are simple to implement. The statistical performance relies on the coding theoretic aspects of Hadamard matrices, ie, the large Hamming distance between the rows. An efficient implementation of the algorithm using the Fast Walsh-Hadamard transform gives the computational gains. We compare our approach with Randomized Response (RR), RAPPOR, and subset-selection mechanisms (SS), both theoretically, and experimentally. For $k=10000$, our algorithm runs about 100x faster than SS, and RAPPOR.


title: Automatic thread painting generation

abstract: ThreadTone is an NPR representation of an input image by half-toning using threads on a circle. Current approaches to create ThreadTone paintings greedily draw the chords on the circle. We introduce the concept of chord space, and design a new algorithm to improve the quality of the thread painting. We use an optimization process that estimates the fitness of every chord in the chord space, and an error-diffusion based sampling process that selects a moderate number of chords to produce the output painting. We used an image similarity measure to evaluate the quality of our thread painting and also conducted a user study. Our approach can produce high quality results on portraits, sketches as well as cartoon pictures.


title: Universality for bounded degree spanning trees in randomly perturbed graphs

abstract: We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs. More precisely, we show that, if we start with a dense graph $G_\alpha$ on $n$ vertices with $\delta(G_\alpha)\ge \alpha n$ for $\alpha>0$ and we add to it the binomial random graph $G(n,C/n)$, then with high probability the graph $G_\alpha\cup G(n,C/n)$ contains copies of all spanning trees with maximum degree at most $\Delta$ simultaneously, where $C$ depends only on $\alpha$ and $\Delta$.


title: Lengths of Words Accepted by Nondeterministic Finite Automata

abstract: We consider two natural problems about nondeterministic finite automata. First, given such an automaton M of n states, and a length l, does M accept a word of length l? We show that the classic problem of triangle-free graph recognition reduces to this problem, and give an O(n^{\omega} (log n)^{1+{\epsilon}} log l)-time algorithm to solve it, where {\omega} is the optimal exponent for matrix multiplication. Second, provided L(M) is finite, we consider the problem of listing the lengths of all words accepted by M. Although this problem seems like it might be significantly harder, we show that this problem can be solved in O(n^{\omega}(log n)^{2+{\epsilon}}) time. Finally, we give a connection between NFA acceptance and the strong exponential-time hypothesis.


title: Micromagnetic evaluation of the dissipated heat in cylindrical magnetic nanowires

abstract: Magnetic nanowires (NW) are promising candidates for heat generation under AC-field application due to their large shape anisotropy. They may be used for catalysis, hyperthermia or water purification treatments. In the present work we theoretically evaluate the heat dissipated by a single magnetic nanowire, originated from the domain wall dynamics under the action of an AC-field. We compare the Permalloy NWs (which demagnetize via the transverse wall propagation) with the Co fcc NWs whose reversal mode is via a vortex domain wall. The average hysteresis loop areas -which are proportional to the Specific Absorption Rate (SAR)- as a function of the field frequency have a pronounced maximum in the range 200MHz-1GHz. This maximum frequency is smaller in Permalloy than in Co and depends on the nanowire length. A simple model related to the nucleation and propagation time and domain wall velocity (higher for the vortex than for the transverse domain wall) is proposed to explain the non-monotonic SAR dependence on the frequency.


title: On the metric compactification of infinite-dimensional $\ell_{p}$ spaces

abstract: The notion of metric compactification was introduced by Gromov and later rediscovered by Rieffel; and has been mainly studied on proper geodesic metric spaces. We present here a generalization of the metric compactification that can be applied to infinite-dimensional Banach spaces. Thereafter we give a complete description of the metric compactification of infinite-dimensional $\ell_{p}$ spaces for all $1\leq p < \infty$. We also give a full characterization of the metric compactification of infinite-dimensional Hilbert spaces.


title: Quantum-classical correspondence in the vicinity of periodic orbits

abstract: Quantum-classical correspondence in chaotic systems is a long-standing problem. We describe a method to quantify Bohr's correspondence principle and calculate the size of quantum numbers for which we can expect to observe quantum-classical correspondence near periodic orbits of Floquet systems. Our method shows how the stability of classical periodic orbits affects quantum dynamics. We demonstrate our method by analyzing quantum-classical correspondence in the quantum kicked top (QKT), which exhibits both regular and chaotic behavior. We use our correspondence conditions to identify signatures of classical bifurcations even in a deep quantum regime. Our method can be used to explain the breakdown of quantum-classical correspondence in chaotic systems.


title: Attention-based Deep Multiple Instance Learning

abstract: Multiple instance learning (MIL) is a variation of supervised learning where a single class label is assigned to a bag of instances. In this paper, we state the MIL problem as learning the Bernoulli distribution of the bag label where the bag label probability is fully parameterized by neural networks. Furthermore, we propose a neural network-based permutation-invariant aggregation operator that corresponds to the attention mechanism. Notably, an application of the proposed attention-based operator provides insight into the contribution of each instance to the bag label. We show empirically that our approach achieves comparable performance to the best MIL methods on benchmark MIL datasets and it outperforms other methods on a MNIST-based MIL dataset and two real-life histopathology datasets without sacrificing interpretability.


title: Exclusive vector meson photoproduction in fixed - target collisions at the LHC

abstract: The exclusive $\rho$, $\omega$ and $J/\Psi$ photoproduction in fixed - target collisions at the LHC is investigated. We estimate, for the first time, the rapidity and transverse momentum distributions of the vector meson photoproduction in $p He$, $p Ar$, $Pb He$ and $Pb Ar$ fixed - target collisions at the LHC using the STARlight Monte Carlo and present our results for the total cross sections. Predictions for the kinematical range probed by the LHCb detector are also presented. Our results indicate that the experimental analysis of this process in fixed - target collisions at the LHC is feasible. Such future analysis will probe the QCD dynamics in a kinematical range complementary to that studied in the collider mode.


title: An X-ray Imaging Survey of Quasar Jets -- The Complete Survey

abstract: We present Chandra X-ray imaging of a flux-limited sample of flat spectrum radio-emitting quasars with jet-like structure. X-rays are detected from 59% of 56 jets. No counterjets were detected. The core spectra are fitted by power law spectra with photon index $\Gamma_x$ whose distribution is consistent with a normal distribution with mean 1.61{+0.04}{-0.05} and dispersion 0.15{+0.04}{-0.03}. We show that the distribution of $\alpha_{rx}$, the spectral index between the X-ray and radio band jet fluxes, fits a Gaussian with mean 0.974 $\pm$ 0.012 and dispersion 0.077 $\pm$ 0.008. We test the model in which kpc-scale X-rays result from inverse Compton scattering of cosmic microwave background photons off the jet's relativistic electrons (the IC-CMB model). In the IC-CMB model, a quantity Q computed from observed fluxes and the apparent size of the emission region depends on redshift as $(1+z)^{3+\alpha}$. We fit $Q \propto (1+z)^{a}$, finding $a = 0.88 \pm 0.90$ and reject at 99.5% confidence the hypothesis that the average $\alpha_{rx}$ depends on redshift in the manner expected in the IC-CMB model. This conclusion is mitigated by lack of detailed knowledge of the emission region geometry, which requires deeper or higher resolution X-ray observations. Furthermore, if the IC-CMB model is valid for X-ray emission from kpc-scale jets, then the jets must decelerate on average: bulk Lorentz factors should drop from about 15 to 2-3 between pc and kpc scales. Our results compound the problems that the IC-CMB model has in explaining the X-ray emission of kpc-scale jets.


title: Online Variance Reduction for Stochastic Optimization

abstract: Modern stochastic optimization methods often rely on uniform sampling which is agnostic to the underlying characteristics of the data. This might degrade the convergence by yielding estimates that suffer from a high variance. A possible remedy is to employ non-uniform importance sampling techniques, which take the structure of the dataset into account. In this work, we investigate a recently proposed setting which poses variance reduction as an online optimization problem with bandit feedback. We devise a novel and efficient algorithm for this setting that finds a sequence of importance sampling distributions competitive with the best fixed distribution in hindsight, the first result of this kind. While we present our method for sampling datapoints, it naturally extends to selecting coordinates or even blocks of thereof. Empirical validations underline the benefits of our method in several settings.


title: Broadband MIMO Couplers Characterization and Comparison

abstract: This paper focuses on MIMO Power Line Communication (PLC) to provide increased performance. In MIMO PLC, appropriate coupling methods are necessary in order to enable the effective injection of the signal through the broad band PLC channel so that high data rates can be achieved. In this paper, we want to analytically characterize strengths and weaknesses of each coupler design (topology) from an electrical circuit perspective. We dwell on the description and analysis of the three main and common configurations used for the MIMO couplers: star (S), triangle ($\Delta$) and T.


title: Quadratic magnetooptic spectroscopy setup based on photoelastic light modulation

abstract: In most of the cases the magnetooptic Kerr effect (MOKE) techniques rely solely on the effects linear in magnetization ($\bm{M}$). Nevertheless, a higher-order term being proportional to $\bm{M}$$^2$ and called quadratic MOKE (QMOKE) can additionally contribute to experimental data. Handling and understanding the underlying origin of QMOKE could be the key to utilize this effect for investigation of antiferromagnetic materials in the future due to their vanishing first order MOKE contribution. Also, better understanding of QMOKE and hence better understanding of magnetooptic (MO) effects in general is very valuable, as the MO effect is very much employed in research of ferro- and ferrimagnetic materials. Therefore, we present our QMOKE and longitudinal MOKE spectroscopy setup with a spectral range of 0.8--5.5\,eV. The setup is based on light modulation through a photoelastic modulator and detection of second-harmonic intensity by a lock-in amplifier. To measure the Kerr ellipticity an achromatic compensator is used within the setup, whereas without it Kerr rotation is measured. The separation of QMOKE spectra directly from the measured data is based on measurements with multiple magnetization directions. So far the QMOKE separation algorithm is developed and tested for but not limited to cubic (001) oriented samples. The QMOKE spectra yielded by our setup arise from two quadratic MO parameters $G_s$ and $2G_{44}$, being elements of quadratic MO tensor $\bm{G}$, which describe perturbation of the permittivity tensor in the second order in $\bm{M}$.


title: The random walk of cars and their collision probabilities with planets

abstract: On February 6th, 2018 SpaceX launched a Tesla Roadster on a Mars-crossing orbit. We perform N-body simulations to determine the fate of the object over the next 15 Myr. The orbital evolution is initially dominated by close encounters with the Earth. While a precise orbit can not be predicted beyond the next several centuries due to these repeated chaotic scatterings, one can reliably predict the long-term outcomes by statistically analyzing a large suite of possible trajectories with slightly perturbed initial conditions. Repeated gravitational scatterings with Earth lead to a random walk. Collisions with the Earth, Venus and the Sun represent primary sinks for the Roadster's orbital evolution. Collisions with Mercury and Mars, or ejections from the Solar System by Jupiter, are highly unlikely. We calculate a dynamical half-life of the Tesla of approximately 15 Myr, with some 22%, 12% and 12% of Roadster orbit realizations impacting the Earth, Venus, and the Sun within one half-life, respectively. Because the eccentricities and inclinations in our ensemble increase over time due to mean-motion and secular resonances, the impact rates with the terrestrial planets decrease beyond a few million years, whereas the impact rate on the Sun remains roughly constant.


title: The Birthday Problem and Zero-Error List Codes

abstract: As an attempt to bridge the gap between the probabilistic world of classical information theory and the combinatorial world of zero-error information theory, this paper studies the performance of randomly generated codebooks over discrete memoryless channels under a zero-error list-decoding constraint. This study allows the application of tools from one area to the other. Furthermore, it leads to an information-theoretic formulation of the birthday problem, which is concerned with the probability that in a given population, a fixed number of people have the same birthday. Due to the lack of a closed-form expression for this probability when the distribution of birthdays is not uniform, the resulting expression is not simple to analyze; in the information-theoretic formulation, however, the asymptotic behavior of this probability can be characterized exactly for all distributions.


title: Impacts of gravitational-wave standard siren observation of the Einstein Telescope on weighing neutrinos in cosmology

abstract: We investigate the impacts of the gravitational-wave (GW) standard siren observation of the Einstein Telescope (ET) on constraining the total neutrino mass. We simulate 1000 GW events that would be observed by the ET in its 10-year observation by taking the standard $\Lambda$CDM cosmology as a fiducial model. We combine the simulated GW data with other cosmological observations including cosmic microwave background (CMB), baryon acoustic oscillations (BAO), and type Ia supernovae (SN). We consider three mass hierarchy cases for the neutrino mass, i.e., normal hierarchy (NH), inverted hierarchy (IH), and degenerate hierarchy (DH). Using Planck+BAO+SN, we obtain $\sum m_\nu<0.175$ eV for the NH case, $\sum m_\nu<0.200$ eV for the IH case, and $\sum m_\nu<0.136$ eV for the DH case. After considering the GW data, i.e., using Planck+BAO+SN+GW, the constraint results become $\sum m_\nu<0.151$ eV for the NH case, $\sum m_\nu<0.185$ eV for the IH case, and $\sum m_\nu<0.122$ eV for the DH case. We find that the GW data can help reduce the upper limits of $\sum m_\nu$ by 13.7%, 7.5%, and 10.3% for the NH, IH, and DH cases, respectively. In addition, we find that the GW data can also help break the degeneracies between $\sum m_{\nu}$ and other parameters. We show that the GW data of the ET could greatly improve the constraint accuracies of cosmological parameters.


title: Predict and Constrain: Modeling Cardinality in Deep Structured Prediction

abstract: Many machine learning problems require the prediction of multi-dimensional labels. Such structured prediction models can benefit from modeling dependencies between labels. Recently, several deep learning approaches to structured prediction have been proposed. Here we focus on capturing cardinality constraints in such models. Namely, constraining the number of non-zero labels that the model outputs. Such constraints have proven very useful in previous structured prediction approaches, but it is a challenge to introduce them into a deep learning framework. Here we show how to do this via a novel deep architecture. Our approach outperforms strong baselines, achieving state-of-the-art results on multi-label classification benchmarks.


title: Long-lasting injection of solar energetic electrons into the heliosphere

abstract: The main sources of solar energetic particle (SEP) events are solar flares and shocks driven by coronal mass ejections (CMEs). While it is generally accepted that energetic protons can be accelerated by shocks, whether or not these shocks can also efficiently accelerate solar energetic electrons is still debated. In this study we present observations of the extremely widespread SEP event of 26 Dec 2013. To the knowledge of the authors, this is the widest longitudinal SEP distribution ever observed together with unusually long-lasting energetic electron anisotropies at all observer positions. Further striking features of the event are long-lasting SEP intensity increases, two distinct SEP components with the second component mainly consisting of high-energy particles, a complex associated coronal activity including a pronounced signature of a shock in radio type-II observations, and the interaction of two CMEs early in the event. The observations require a prolonged injection scenario not only for protons but also for electrons. We therefore analyze the data comprehensively to characterize the possible role of the shock for the electron event. Remote-sensing observations of the complex solar activity are combined with in-situ measurements of the particle event. We also apply a Graduated Cylindrical Shell (GCS) model to the coronagraph observations of the two associated CMEs to analyze their interaction. We find that the shock alone is likely not responsible for this extremely wide SEP event. Therefore we propose a scenario of trapped energetic particles inside the CME-CME interaction region which undergo further acceleration due to the shock propagating through this region, stochastic acceleration, or ongoing reconnection processes inside the interaction region. The origin of the second component of the SEP event is likely caused by a sudden opening of the particle trap.


title: Joint Demosaicing and Denoising with Perceptual Optimization on a Generative Adversarial Network

abstract: Image demosaicing - one of the most important early stages in digital camera pipelines - addressed the problem of reconstructing a full-resolution image from so-called color-filter-arrays. Despite tremendous progress made in the pase decade, a fundamental issue that remains to be addressed is how to assure the visual quality of reconstructed images especially in the presence of noise corruption. Inspired by recent advances in generative adversarial networks (GAN), we present a novel deep learning approach toward joint demosaicing and denoising (JDD) with perceptual optimization in order to ensure the visual quality of reconstructed images. The key contributions of this work include: 1) we have developed a GAN-based approach toward image demosacing in which a discriminator network with both perceptual and adversarial loss functions are used for quality assurance; 2) we propose to optimize the perceptual quality of reconstructed images by the proposed GAN in an end-to-end manner. Such end-to-end optimization of GAN is particularly effective for jointly exploiting the gain brought by each modular component (e.g., residue learning in the generative network and perceptual loss in the discriminator network). Our extensive experimental results have shown convincingly improved performance over existing state-of-the-art methods in terms of both subjective and objective quality metrics with a comparable computational cost.


title: Achieving the Age-Energy Tradeoff with a Finite-Battery Energy Harvesting Source

abstract: We study the problem of minimizing the time-average expected Age of Information for status updates sent by an energy-harvesting source with a finite-capacity battery. In prior literature, optimal policies were observed to have a threshold structure under Poisson energy arrivals, for the special case of a unit-capacity battery. In this paper, we generalize this result to any (integer) battery capacity, and explicitly characterize the threshold structure. We obtain tools to derive the optimal policy for arbitrary energy buffer (i.e. battery) size. One of these results is the unexpected equivalence of the minimum average AoI and the optimal threshold for the highest energy state.


title: Superposition-Assisted Stochastic Optimization for Hawkes Processes

abstract: We consider the learning of multi-agent Hawkes processes, a model containing multiple Hawkes processes with shared endogenous impact functions and different exogenous intensities. In the framework of stochastic maximum likelihood estimation, we explore the associated risk bound. Further, we consider the superposition of Hawkes processes within the model, and demonstrate that under certain conditions such an operation is beneficial for tightening the risk bound. Accordingly, we propose a stochastic optimization algorithm assisted with a diversity-driven superposition strategy, achieving better learning results with improved convergence properties. The effectiveness of the proposed method is verified on synthetic data, and its potential to solve the cold-start problem of sequential recommendation systems is demonstrated on real-world data.


title: A comparison theorem for subharmonic functions

abstract: In this article, we prove an extension of the mean value theorem and a comparison theorem for subharmonic functions. These theorems are used to answer the question whether we can conclude that two subharmonic functions which agree almost everywhere on a surface with respect to the surface measure must coincide everywhere on that surface. We prove that this question has a positive answer in the case of hypersurfaces, and we also provide a counterexample in the case of surfaces of higher co-dimension. We also apply these results to Ahlfors-David sets and we prove other versions of the main results in terms of measure densities.


title: Extragalactic maser surveys

abstract: Since the IAU (maser-)Symposium 287 in Stellenbosch/South Africa (Jan. 2012), great progress has been achieved in studying extragalactic maser sources. Sensitivity has reached a level allowing for dedicated maser surveys of extragalactic objects. These included, during the last years, water vapor (H2O), methanol (CH3OH), and formaldehyde (H2CO), while surveys related to hydroxyl (OH), cyanoacetylene (HC3N) and ammonia (NH3) may soon become (again) relevant. Overall, with the upgraded Very Large Array (VLA), the Atacama Large Millimeter/submillimeter Array (ALMA), FAST (Five hundred meter Aperture Synthesis Telescope) and the low frequency arrays APERTIF (APERture Tile in Focus), ASKAP (Australian Square Kilometer Array Pathfinder) and MeerKAT (Meer Karoo Array Telescope), extragalactic maser studies are expected to flourish during the upcoming years. The following article provides a brief sketch of past achievements, ongoing projects and future perspectives.


title: Numerical estimate of minimal active-sterile neutrino mixing for sterile neutrinos at GeV scale

abstract: Seesaw mechanism constrains from below mixing between active and sterile neutrinos for fixed sterile neutrino masses. Signal events associated with sterile neutrino decays inside a detector at fixed target experiment are suppressed by the mixing angle to the power of four. Therefore sensitivity of experiments such as SHiP and DUNE should take into account minimal possible values of the mixing angles. We extend the previous study of this subject arXiv:1312.2887 to a more general case of non-zero CP-violating phases in the neutrino sector. Namely, we provide numerical estimate of minimal value of mixing angles between active neutrinos and two sterile neutrinos with the third sterile neutrino playing no noticeable role in the mixing. Thus we obtain a sensitivity needed to fully explore the seesaw type I mechanism for sterile neutrinos with masses below 2 GeV, and one undetectable sterile neutrino that is relevant for the fixed-target experiments. Remarkably, we observe a strong dependence of this result on the lightest active neutrino mass and the neutrino mass hierarchy, not only on the values of CP-violating phases themselves. All these effects sum up to push the limit of experimental confirmation of sterile-active neutrino mixing by several orders of magnitude below the results of arXiv:1312.2887 from $10^{-10}$ - $10^{-11}$ down to $10^{-12}$ and even to $10^{-20}$ in parts of parameter space; nonzero CP-violating phases are responsible for that.


title: Lagrangian distributions and Fourier integral operators with quadratic phase functions and Shubin amplitudes

abstract: We study Fourier integral operators with Shubin amplitudes and quadratic phase functions associated to twisted graph Lagrangians with respect to symplectic matrices. We factorize such an operator as the composition of a Weyl pseudodifferential operator and a metaplectic operator and derive a characterization of its Schwartz kernel in terms of phase space estimates. Extending the conormal distributions in the Shubin calculus, we define an adapted notion of Lagrangian tempered distribution. We show that the kernels of Fourier integral operators are identical to Lagrangian distributions with respect to twisted graph Lagrangians.


title: Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions

abstract: Deep learning models with convolutional and recurrent networks are now ubiquitous and analyze massive amounts of audio, image, video, text and graph data, with applications in automatic translation, speech-to-text, scene understanding, ranking user preferences, ad placement, etc. Competing frameworks for building these networks such as TensorFlow, Chainer, CNTK, Torch/PyTorch, Caffe1/2, MXNet and Theano, explore different tradeoffs between usability and expressiveness, research or production orientation and supported hardware. They operate on a DAG of computational operators, wrapping high-performance libraries such as CUDNN (for NVIDIA GPUs) or NNPACK (for various CPUs), and automate memory allocation, synchronization, distribution. Custom operators are needed where the computation does not fit existing high-performance library calls, usually at a high engineering cost. This is frequently required when new operators are invented by researchers: such operators suffer a severe performance penalty, which limits the pace of innovation. Furthermore, even if there is an existing runtime call these frameworks can use, it often doesn't offer optimal performance for a user's particular network architecture and dataset, missing optimizations between operators as well as optimizations that can be done knowing the size and shape of data. Our contributions include (1) a language close to the mathematics of deep learning called Tensor Comprehensions, (2) a polyhedral Just-In-Time compiler to convert a mathematical description of a deep learning DAG into a CUDA kernel with delegated memory management and synchronization, also providing optimizations such as operator fusion and specialization for specific sizes, (3) a compilation cache populated by an autotuner. [Abstract cutoff]


title: $\eta$ and $\omega$ mesons as new degrees of freedom in the intranuclear cascade model INCL

abstract: The intranuclear cascade model INCL (Li\`ege Intranuclear Cascade) is now able to simulate spallation reactions induced by projectiles with energies up to roughly 15 GeV. This was made possible thanks to the implementation of multipion emission in the NN, $\Delta$N and $\pi$N interactions. The results obtained with reactions on nuclei induced by nucleons or pions gave confidence in the model. A next step will be the addition of the strange particles, $\Lambda$, $\Sigma$ and Kaons, in order to not only refine the high-energy modeling, but also to extend the capabilities of INCL, as studying hypernucleus physics. Between those two versions of the code, the possibility to treat the $\eta$ and $\omega$ mesons in INCL has been performed and this is the topic of this paper. Production yields of these mesons increase with energy and it is interesting to test their roles at higher energies. More specifically, studies of $\eta$ rare decays benefit from accurate simulations of its production. These are the two reasons for their implementation. Ingredients of the model, like elementary reaction cross sections, are discussed and comparisons with experimental data are carried out to test the reliability of those particle productions.


title: Automated Reporting of GUI Design Violations for Mobile Apps

abstract: The inception of a mobile app often takes form of a mock-up of the Graphical User Interface (GUI), represented as a static image delineating the proper layout and style of GUI widgets that satisfy requirements. Following this initial mock-up, the design artifacts are then handed off to developers whose goal is to accurately implement these GUIs and the desired functionality in code. Given the sizable abstraction gap between mock-ups and code, developers often introduce mistakes related to the GUI that can negatively impact an app's success in highly competitive marketplaces. Moreover, such mistakes are common in the evolutionary context of rapidly changing apps. This leads to the time-consuming and laborious task of design teams verifying that each screen of an app was implemented according to intended design specifications. This paper introduces a novel, automated approach for verifying whether the GUI of a mobile app was implemented according to its intended design. Our approach resolves GUI-related information from both implemented apps and mock-ups and uses computer vision techniques to identify common errors in the implementations of mobile GUIs. We implemented this approach for Android in a tool called GVT and carried out both a controlled empirical evaluation with open-source apps as well as an industrial evaluation with designers and developers from Huawei. The results show that GVT solves an important, difficult, and highly practical problem with remarkable efficiency and accuracy and is both useful and scalable from the point of view of industrial designers and developers. The tool is currently used by over one-thousand industrial designers and developers at Huawei to improve the quality of their mobile apps.


title: Supersymmetric objects in gauged supergravities

abstract: This thesis is focused on supersymmetric objects in gauged supergravities and their interpretation in string theory. Three particular theories are considered and analyzed: matter-coupled $d=4, 5$ abelian gauged supergravities with 8 supercharges and minimal $d=7$ gauged supergravity with 16 supercharges. Respectively in the $d=4$ and $d=5$ cases, the BPS first-order flows of static extremal black holes and black strings are studied using the Hamilton-Jacobi formalism. The attractor mechanism is formulated for the case of couplings to hypermultiplets and two exact BPS black hole solutions are derived in $d=4$ from the first-order equations obtained with the Hamilton-Jacobi approach. One of these black holes manifests an $\mathrm{AdS}_4$ asymptotics which has not yet a clear explanation in string theory. Within the minimal $d=7$ theory, a class of asymptotically $\mathrm{AdS}_7$ BPS solutions involving a non-trivial profile for a 3-form gauge potential is derived and analyzed in relation to the embedding in M-theory and massive IIA string theory. The holographic interpretation of a particular asymptotically $\mathrm{AdS}_7$ solution characterized by an $\mathrm{AdS}_3$ slicing of the 7-dimensional background is formulated in terms of a conformal defect $\mathcal{N}=(4,0)$ $\mathrm{SCFT}_2$ within the $\mathcal{N}=(1,0)$ $\mathrm{SCFT}_6$ dual to the $\mathrm{AdS}_7$.


title: Substation Signal Matching with a Bagged Token Classifier

abstract: Currently, engineers at substation service providers match customer data with the corresponding internally used signal names manually. This paper proposes a machine learning method to automate this process based on substation signal mapping data from a repository of executed projects. To this end, a bagged token classifier is proposed, letting words (tokens) in the customer signal name vote for provider signal names. In our evaluation, the proposed method exhibits better performance in terms of both accuracy and efficiency over standard classifiers.


title: Semantic Scene Completion Combining Colour and Depth: preliminary experiments

abstract: Semantic scene completion is the task of producing a complete 3D voxel representation of volumetric occupancy with semantic labels for a scene from a single-view observation. We built upon the recent work of Song et al. (CVPR 2017), who proposed SSCnet, a method that performs scene completion and semantic labelling in a single end-to-end 3D convolutional network. SSCnet uses only depth maps as input, even though depth maps are usually obtained from devices that also capture colour information, such as RGBD sensors and stereo cameras. In this work, we investigate the potential of the RGB colour channels to improve SSCnet.


title: Amenable uniformly recurrent subgroups and lattice embeddings

abstract: We study lattice embeddings for the class of countable groups $\Gamma$ defined by the property that the largest amenable uniformly recurrent subgroup $A_\Gamma$ is continuous. When $A_\Gamma$ comes from an extremely proximal action and the envelope of $A_\Gamma$ is co-amenable in $\Gamma$, we obtain restrictions on the locally compact groups $G$ that contain a copy of $\Gamma$ as a lattice, notably regarding normal subgroups of $G$, product decompositions of $G$, and more generally dense mappings from $G$ to a product of locally compact groups.


title: Affine function valued valuations

abstract: A classification of SL$(n)$ contravariant, continuous function valued valuations on convex bodies is established. Such valuations are natural extensions of SL$(n)$ contravariant $L_p$ Minkowski valuations, the classification of which characterized $L_p$ projection bodies, which are fundamental in the $L_p$ Brunn-Minkowski theory, for $p \geq 1$. Hence our result will help to better understand extensions of the $L_p$ Brunn-Minkowski theory. In fact, our results characterize general projection functions which extend $L_p$ projection functions ($p$-th powers of the support functions of $L_p$ projection bodies) to projection functions in the $L_p$ Brunn-Minkowski theory for $0< p < 1$ and in the Orlicz Brunn-Minkowski theory.


title: Joint 3D Reconstruction of a Static Scene and Moving Objects

abstract: We present a technique for simultaneous 3D reconstruction of static regions and rigidly moving objects in a scene. An RGB-D frame is represented as a collection of features, which are points and planes. We classify the features into static and dynamic regions and grow separate maps, static and object maps, for each of them. To robustly classify the features in each frame, we fuse multiple RANSAC-based registration results obtained by registering different groups of the features to different maps, including (1) all the features to the static map, (2) all the features to each object map, and (3) subsets of the features, each forming a segment, to each object map. This multi-group registration approach is designed to overcome the following challenges: scenes can be dominated by static regions, making object tracking more difficult; and moving object might have larger pose variation between frames compared to the static regions. We show qualitative results from indoor scenes with objects in various shapes. The technique enables on-the-fly object model generation to be used for robotic manipulation.


title: Query learning of derived $\omega$-tree languages in polynomial time

abstract: We present the first polynomial time algorithm to learn nontrivial classes of languages of infinite trees. Specifically, our algorithm uses membership and equivalence queries to learn classes of $\omega$-tree languages derived from weak regular $\omega$-word languages in polynomial time. The method is a general polynomial time reduction of learning a class of derived $\omega$-tree languages to learning the underlying class of $\omega$-word languages, for any class of $\omega$-word languages recognized by a deterministic B\"{u}chi acceptor. Our reduction, combined with the polynomial time learning algorithm of Maler and Pnueli [1995] for the class of weak regular $\omega$-word languages yields the main result. We also show that subset queries that return counterexamples can be implemented in polynomial time using subset queries that return no counterexamples for deterministic or non-deterministic finite word acceptors, and deterministic or non-deterministic B\"{u}chi $\omega$-word acceptors. A previous claim of an algorithm to learn regular $\omega$-trees due to Jayasrirani, Begam and Thomas [2008] is unfortunately incorrect, as shown in Angluin [2016].


title: Approximation schemes for viscosity solutions of fully nonlinear stochastic partial differential equations

abstract: The aim of this paper is to develop a general method for constructing approximation schemes for viscosity solutions of fully nonlinear pathwise stochastic partial differential equations, and for proving their convergence. Our results apply to approximations such as explicit finite difference schemes and Trotter-Kato type mixing formulas. The irregular time dependence disrupts the usual methods from the classical viscosity theory for creating schemes that are both monotone and convergent, an obstacle that cannot be overcome by incorporating higher order correction terms, as is done for numerical approximations of stochastic or rough ordinary differential equations. The novelty here is to regularize those driving paths with non-trivial quadratic variation in order to guarantee both monotonicity and convergence. We present qualitative and quantitative results, the former covering a wide variety of schemes for second-order equations. An error estimate is established in the Hamilton-Jacobi case, its merit being that it depends on the path only through the modulus of continuity, and not on the derivatives or total variation. As a result, it is possible to choose a regularization of the path so as to obtain efficient rates of convergence. This is demonstrated in the specific setting of equations with multiplicative white noise in time, in which case the convergence holds with probability one. We also present an example using scaled random walks that exhibits convergence in distribution.


title: Deep Learning for Decoding of Linear Codes - A Syndrome-Based Approach

abstract: We present a novel framework for applying deep neural networks (DNN) to soft decoding of linear codes at arbitrary block lengths. Unlike other approaches, our framework allows unconstrained DNN design, enabling the free application of powerful designs that were developed in other contexts. Our method is robust to overfitting that inhibits many competing methods, which follows from the exponentially large number of codewords required for their training. We achieve this by transforming the channel output before feeding it to the network, extracting only the syndrome of the hard decisions and the channel output reliabilities. We prove analytically that this approach does not involve any intrinsic performance penalty, and guarantees the generalization of performance obtained during training. Our best results are obtained using a recurrent neural network (RNN) architecture combined with simple preprocessing by permutation. We provide simulation results that demonstrate performance that sometimes approaches that of the ordered statistics decoding (OSD) algorithm.


title: Quantifying Uncertainty in Discrete-Continuous and Skewed Data with Bayesian Deep Learning

abstract: Deep Learning (DL) methods have been transforming computer vision with innovative adaptations to other domains including climate change. For DL to pervade Science and Engineering (S&E) applications where risk management is a core component, well-characterized uncertainty estimates must accompany predictions. However, S&E observations and model-simulations often follow heavily skewed distributions and are not well modeled with DL approaches, since they usually optimize a Gaussian, or Euclidean, likelihood loss. Recent developments in Bayesian Deep Learning (BDL), which attempts to capture uncertainties from noisy observations, aleatoric, and from unknown model parameters, epistemic, provide us a foundation. Here we present a discrete-continuous BDL model with Gaussian and lognormal likelihoods for uncertainty quantification (UQ). We demonstrate the approach by developing UQ estimates on `DeepSD', a super-resolution based DL model for Statistical Downscaling (SD) in climate applied to precipitation, which follows an extremely skewed distribution. We find that the discrete-continuous models outperform a basic Gaussian distribution in terms of predictive accuracy and uncertainty calibration. Furthermore, we find that the lognormal distribution, which can handle skewed distributions, produces quality uncertainty estimates at the extremes. Such results may be important across S&E, as well as other domains such as finance and economics, where extremes are often of significant interest. Furthermore, to our knowledge, this is the first UQ model in SD where both aleatoric and epistemic uncertainties are characterized.


title: Direct sampling of the self-energy with Connected Determinant Monte Carlo

abstract: In this note, we present an efficient algorithm to sample directly the self-energy in the framework of the Connected Determinant technique. The introduction of the formalism of many-variable formal power series is essential to the proof, and more generally it is a natural mathematical tool for diagrammatic expansions.


title: A Short Survey on Sense-Annotated Corpora

abstract: Large sense-annotated datasets are increasingly necessary for training deep supervised systems in Word Sense Disambiguation. However, gathering high-quality sense-annotated data for as many instances as possible is a laborious and expensive task. This has led to the proliferation of automatic and semi-automatic methods for overcoming the so-called knowledge-acquisition bottleneck. In this short survey we present an overview of sense-annotated corpora, annotated either manually- or (semi)automatically, that are currently available for different languages and featuring distinct lexical resources as inventory of senses, i.e. WordNet, Wikipedia, BabelNet. Furthermore, we provide the reader with general statistics of each dataset and an analysis of their specific features.


title: A counterexample to a nonlinear version of the Krein-Rutman theorem by R. Mahadevan

abstract: In this short note we present a simple counterexample to a nonlinear version of the Krein-Rutman theorem reported in [Nonlinear Anal. 11 (2007), 3084-3090]. Correct versions of this theorem, and related results for superadditive maps are also presented.


title: Topological complexity of symplectic manifolds

abstract: We prove that the topological complexity of every symplectically atoroidal manifold is equal to twice its dimension. This is the analogue for topological complexity of a result of Rudyak and Oprea, who showed that the Lusternik--Schnirelmann category of a symplectically aspherical manifold equals its dimension. Symplectically hyperbolic manifolds are symplectically atoroidal, as are symplectically aspherical manifolds whose fundamental group does not contain free abelian subgroups of rank two. Thus we obtain many new calculations of topological complexity, including iterated surface bundles and symplectically aspherical manifolds with hyperbolic fundamental groups. Our result also applies in the greater generality of cohomologically symplectic manifolds.


title: Viscosity Solutions of Systems of PDEs with Interconnected Obstacles and Switching Problem without Monotonicity Condition

abstract: We show the existence and uniqueness of a continuous viscosity solution of a system of partial differential equations (PDEs for short) without assuming the usual monotonicity conditions on the driver function as in Hamad\`ene and Morlais's article \cite{hamadene2013viscosity}. Our method strongly relies on the link between PDEs and reflected backward stochastic differential equations with interconnected obstacles for which we already know that the solution exists and is unique for general drivers.


title: Gamma-ray beams with large orbital angular momentum via nonlinear Compton scattering with radiation reaction

abstract: Gamma-ray beams with large angular momentum are a very valuable tool to study astrophysical phenomena in a laboratory. We investigate generation of well-collimated $\gamma$-ray beams with a very large orbital angular momentum using nonlinear Compton scattering of a strong laser pulse of twisted photons at ultra-relativistic electrons. Angular momentum conservation among absorbed laser photons, quantum radiation and electrons are numerically demonstrated in the quantum radiation dominated regime. We point out that the angular momentum of the absorbed laser photons is not solely transferred to the emitted $\gamma$-photons, but due to radiation reaction shared between the $\gamma$-photons and interacting electrons. The efficiency of the angular momentum transfer is optimized with respect to the laser and electron beam parameters. The accompanying process of electron-positron pair production is furthermore shown to enhance the orbital angular momentum gained by the $\gamma$-ray beam.


title: MDroid+: A Mutation Testing Framework for Android

abstract: Mutation testing has shown great promise in assessing the effectiveness of test suites while exhibiting additional applications to test-case generation, selection, and prioritization. Traditional mutation testing typically utilizes a set of simple language specific source code transformations, called operators, to introduce faults. However, empirical studies have shown that for mutation testing to be most effective, these simple operators must be augmented with operators specific to the domain of the software under test. One challenging software domain for the application of mutation testing is that of mobile apps. While mobile devices and accompanying apps have become a mainstay of modern computing, the frameworks and patterns utilized in their development make testing and verification particularly difficult. As a step toward helping to measure and ensure the effectiveness of mobile testing practices, we introduce MDroid+, an automated framework for mutation testing of Android apps. MDroid+ includes 38 mutation operators from ten empirically derived types of Android faults and has been applied to generate over 8,000 mutants for more than 50 apps.


title: Simulation of the propagation of a cylindrical shear wave : non linear and dissipative modelling

abstract: The simulation of a wave propagation caused by seismic stimulation allows to study the behaviour of the environment and to evaluate the consequences. The model involves the wave equation with a hysteresis loop in the stress-strain relationship. This induces non-linearities and, at the vertices of the loop, non-differentiable mathematical operators. This paper offers a numerical process which works out this simulation.


title: A study on a minimally broken residual TBM-Klein symmetry with its implications on flavoured leptogenesis and ultra high energy neutrino flux ratios

abstract: We present a systematic study on minimally perturbed neutrino mass matrices which at the leading order give rise to Tri-BiMaximal (TBM) mixing due to a residual $\mathbb{Z}_2\times \mathbb{Z}_2^{\mu\tau}$ Klein symmetry in the neutrino mass term of the low energy effective seesaw Lagrangian. Considering only the breaking of $\mathbb{Z}_2^{\mu\tau}$ with two relevant breaking parameters ($\epsilon_{4,6}^\prime$), after a comprehensive numerical analysis, we show that the phenomenologically viable case in this scenario is a special case of TM1 mixing. For this class of models, from the phenomenological perspective, one always needs large breaking (more than $ 45\%$) in one of the breaking parameters. However, to be consistent the maximal mixing of $\theta_{23}$, while more than $ 35\%$ breaking is needed in the other, a range $49.4^\circ-53^\circ$ and $38^\circ-40^\circ$ could be probed allowing breaking up to $ 25\%$ in the same parameter. Thus though this model cannot distinguish the octant of $\theta_{23}$, non-maximal mixing is preferred from the viewpoint of small breaking. The model is also interesting from leptogenesis perspective. Unlike the standard $N_1$-leptogenesis scenario, here all the RH neutrinos contribute to lepton asymmetry due to the small mass splitting controlled by the $\mathbb{Z}_2^{\mu\tau}$ breaking parameters. Inclusion of flavour coupling effects (In general, which have been partially included in all the leptogenesis studies in perturbed TBM framework) makes our analysis and results pertaining to a successful leptogenesis more accurate than any other studies in existing literature. Finally, in the context of recent discovery of the ultra high energy (UHE) neutrino events at IceCube, assuming UHE neutrinos originate from purely astrophysical sources, we obtain prediction on the neutrino flux ratios at neutrino telescopes.


title: Subordination principles for the multi-dimensional space-time-fractional diffusion-wave equation

abstract: This paper is devoted to an in deep investigation of the first fundamental solution to the linear multi-dimensional space-time-fractional diffusion-wave equation. This equation is obtained from the diffusion equation by replacing the first order time-deri\-va\-ti\-ve by the Caputo fractional derivative of order $\beta,\ 0 <\beta \leq 2$ and the Laplace operator by the fractional Laplacian $(-\Delta)^{\frac\alpha 2}$ with $0<\alpha \leq 2$. First, a representation of the fundamental solution in form of a Mellin-Barnes integral is deduced by employing the technique of the Mellin integral transform. This representation is then used for establishing of several subordination formulas that connect the fundamental solutions for different values of the fractional derivatives $\alpha$ and $\beta$. We also discuss some new cases of completely monotone functions and probability density functions that are expressed in terms of the Mittag-Leffler function, the Wright function, and the generalized Wright function.


title: Prospects for next generation Cosmic Microwave Background experiments

abstract: In this lecture, after a synthetic review of measurements of CMB temperature anisotropies and of their cosmological implications, the theoretical background of CMB polarization is summarized and the concepts of the main experiments that are ongoing or are being planned are briefly described.


title: Linear non-degeneracy of the 1d blow-up limit in the phase segregation of Bose-Einstein condensates

abstract: We show that the kernel of the linearization of the blow-up problem at the regular part of the interface that separates segregated BECs is one-dimensional, generated by translations in the normal direction to the interface. This useful non-degeneracy property was previously known only in one and two dimensions.


title: Exploring patterns of demand in bike sharing systems via replicated point process models

abstract: Understanding patterns of demand is fundamental for fleet management of bike sharing systems. In this paper we analyze data from the Divvy system of the city of Chicago. We show that the demand of bicycles can be modeled as a multivariate temporal point process, with each dimension corresponding to a bike station in the network. The availability of daily replications of the process allows nonparametric estimation of the intensity functions, even for stations with low daily counts, and straightforward estimation of pairwise correlations between stations. These correlations are then used for clustering, revealing different patterns of bike usage.


title: Resonant production of dark photons in positron beam dump experiments

abstract: Positrons beam dump experiments have unique features to search for very narrow resonances coupled superweakly to $e^+ e^-$ pairs. Due to the continue loss of energy from soft photon bremsstrahlung, in the first few radiation lengths of the dump a positron beam can continuously scan for resonant production of new resonances via $e^+$ annihilation off an atomic $e^-$ in the target. In the case of a dark photon $A'$ kinetically mixed with the photon, this production mode is of first order in the electromagnetic coupling $\alpha$, and thus parametrically enhanced with respect to the $O(\alpha^2)$ $e^+e^- \to \gamma A'$ production mode and to the $O(\alpha^3)$ $A'$ bremsstrahlung in $e^--$nucleon scattering so far considered. If the lifetime is sufficiently long to allow the $A'$ to exit the dump, $A' \to e^+e^-$ decays could be easily detected and distinguished from backgrounds. We explore the foreseeable sensitivity of the Frascati PADME experiment in searching with this technique for the $17\,$MeV dark photon invoked to explain the $^8$Be anomaly in nuclear transitions.


title: A mountain pass theorem for minimal hypersurfaces with fixed boundary

abstract: In this work, we prove the existence of a third embedded minimal hypersurface spanning a closed submanifold $\gamma$ contained in the boundary of a compact Riemannian manifold with convex boundary, when it is known a priori the existence of two strictly stable minimal hypersurfaces that bound $\gamma$. In order to do so, we develop min-max methods similar to those of De Lellis and Ramic, references in the paper, adapted to the discrete setting of Almgren and Pitts.


title: The Halo Occupation Distribution of Obscured Quasars: Revisiting the Unification Model

abstract: We model the projected angular two-point correlation function (2PCF) of obscured and unobscured quasars selected using the Wide-field Infrared Survey Explorer (WISE), at a median redshift of $z \sim 1$ using a five-parameter Halo Occupation Distribution (HOD) parameterization, derived from a cosmological hydrodynamic simulation by Chatterjee et al. The HOD parameterization was previously used to model the 2PCF of optically selected quasars and X-ray bright active galactic nuclei (AGN) at $z \sim 1$. The current work shows that a single HOD parameterization can be used to model the population of different kinds of AGN in dark matter halos suggesting the universality of the relationship between AGN and their host dark matter halos. Our results show that the median halo mass of central quasar hosts increases from optically selected ($4.1^{+0.3}_{-0.4} \times 10^{12} \; h^{-1} \; {M_{sun}}$) and infra-red (IR) bright unobscured populations ($6.3^{+6.2}_{-2.3} \times 10^{12} \; h^{-1} \; {M_{sun}}$) to obscured quasars ($10.0^{+2.6}_{-3.7} \times 10^{12} \; h^{-1} \; {M_{sun}}$), signifying an increase in the degree of clustering. The projected satellite fractions also increase from optically bright to obscured quasars and tend to disfavor a simple `orientation only' theory of active galactic nuclei unification. Our results also show that future measurements of the small-scale clustering of obscured quasars can constrain current theories of galaxy evolution where quasars evolve from an IR- bright obscured phase to the optically bright unobscured phase.


title: The P2 Experiment - A future high-precision measurement of the electroweak mixing angle at low momentum transfer

abstract: This article describes the future P2 parity-violating electron scattering facility at the upcoming MESA accelerator in Mainz. The physics program of the facility comprises indirect, high precision search for physics beyond the Standard Model, measurement of the neutron distribution in nuclear physics, single-spin asymmetries stemming from two-photon exchange and a possible future extension to the measurement of hadronic parity violation. The first measurement of the P2 experiment aims for a high precision determination of the weak mixing angle to a precision of 0.14% at a four-momentum transfer of Q^2 = 4.5 10^{-3} GeV^2. The accuracy is comparable to existing measurements at the Z pole. It comprises a sensitive test of the standard model up to a mass scale of 50 TeV, extendable to 70 TeV. This requires a measurement of the parity violating cross section asymmetry -39.94 10^{-9} in the elastic electron-proton scattering with a total accuracy of 0.56 10^-9 (1.4 %) in 10,000 h of 150 \micro A polarized electron beam impinging on a 60 cm liquid H_2 target allowing for an extraction of the weak charge of the proton which is directly connected to the weak mixing angle. Contributions from gamma Z-box graphs become small at the small beam energy of 155 MeV. The size of the asymmetry is the smallest asymmetry ever measured in electron scattering with an unprecedented goal for the accuracy. We report here on the conceptual design of the P2 spectrometer, its Cherenkov detectors, the integrating read-out electronics as well as the ultra-thin, fast tracking detectors. There has been substantial theory work done in preparation of the determination of the weak mixing angle. The further physics program in particle and nuclear physics is described as well.


title: Perfect fluid Lagrangian and its cosmological implications in theories of gravity with nonminimally coupled matter fields

abstract: In this paper we show that the on-shell Lagrangian of a perfect fluid depends on microscopic properties of the fluid, giving specific examples of perfect fluids with different on-shell Lagrangians but with the same energy-momentum tensor. We demonstrate that if the fluid is constituted by localized concentrations of energy with fixed rest mass and structure (solitons) then the average on-shell Lagrangian of a perfect fluid is given by ${\mathcal L}_m=T$, where $T$ is the trace of the energy-momentum tensor. We show that our results have profound implications for theories of gravity where the matter Lagrangian appears explicitly in the equations of motion of the gravitational and matter fields, potentially leading to observable deviations from a nearly perfect cosmic microwave background black body spectrum: $n$-type spectral distortions, affecting the normalization of the spectral energy density. Finally, we put stringent constraints on $f(R,{\mathcal L}_m)$ theories of gravity using the COBE-FIRAS measurement of the spectral radiance of the cosmic microwave background.


title: An inverse problem for the integro-differential Dirac system with partial information given on the convolution kernel

abstract: An integro-differential Dirac system with an integral term in the form of convolution is considered. We suppose that the convolution kernel is known a priori on a part of the interval, and recover it on the remaining part, using a part of the spectrum. We prove the uniqueness theorem, provide an algorithm for the solution of the inverse problem together with necessary and sufficient conditions for its solvability.


title: Deep Predictive Coding Network for Object Recognition

abstract: Based on the predictive coding theory in neuroscience, we designed a bi-directional and recurrent neural net, namely deep predictive coding networks (PCN). It has feedforward, feedback, and recurrent connections. Feedback connections from a higher layer carry the prediction of its lower-layer representation; feedforward connections carry the prediction errors to its higher-layer. Given image input, PCN runs recursive cycles of bottom-up and top-down computation to update its internal representations and reduce the difference between bottom-up input and top-down prediction at every layer. After multiple cycles of recursive updating, the representation is used for image classification. With benchmark data (CIFAR-10/100, SVHN, and MNIST), PCN was found to always outperform its feedforward-only counterpart: a model without any mechanism for recurrent dynamics. Its performance tended to improve given more cycles of computation over time. In short, PCN reuses a single architecture to recursively run bottom-up and top-down processes. As a dynamical system, PCN can be unfolded to a feedforward model that becomes deeper and deeper over time, while refining it representation towards more accurate and definitive object recognition.


title: Analytic characterization of oblique shock waves in flows around wedges

abstract: We consider the compressible flow around triangular wedges in which oblique shock waves are formed. We report on the novel analytic solution regarding the evaluation of the maximum wedge angle beyond which the shock wave detaches from the wedge to promote the formation of a bow shock. In addition, the limit line at which the flow past the oblique shock becomes sonic is determined whereby an analytic characterization for the corresponding shock angle is presented.


title: How blind are underground and surface detectors to strongly interacting Dark Matter?

abstract: Above a critical dark matter-nucleus scattering cross section any terrestrial direct detection experiment loses sensitivity to dark matter, since the Earth crust, atmosphere, and potential shielding layers start to block off the dark matter particles. This critical cross section is commonly determined by describing the average energy loss of the dark matter particles analytically. However, this treatment overestimates the stopping power of the Earth crust. Therefore the obtained bounds should be considered as conservative. We perform Monte Carlo simulations to determine the precise value of the critical cross section for various direct detection experiments and compare them to other dark matter constraints in the low mass regime. In this region we find parameter space where typical underground and surface detectors are completely blind to dark matter. This "hole" in the parameter space can hardly be closed with an increase in the detector exposure. Dedicated surface or high-altitude experiments may be the only way to directly probe this part of the parameter space.


title: Progressive Reinforcement Learning with Distillation for Multi-Skilled Motion Control

abstract: Deep reinforcement learning has demonstrated increasing capabilities for continuous control problems, including agents that can move with skill and agility through their environment. An open problem in this setting is that of developing good strategies for integrating or merging policies for multiple skills, where each individual skill is a specialist in a specific skill and its associated state distribution. We extend policy distillation methods to the continuous action setting and leverage this technique to combine expert policies, as evaluated in the domain of simulated bipedal locomotion across different classes of terrain. We also introduce an input injection method for augmenting an existing policy network to exploit new input features. Lastly, our method uses transfer learning to assist in the efficient acquisition of new skills. The combination of these methods allows a policy to be incrementally augmented with new skills. We compare our progressive learning and integration via distillation (PLAID) method against three alternative baselines.


title: SNC: A Cloud Service Platform for Symbolic-Numeric Computation using Just-In-Time Compilation

abstract: Cloud services have been widely employed in IT industry and scientific research. By using Cloud services users can move computing tasks and data away from local computers to remote datacenters. By accessing Internet-based services over lightweight and mobile devices, users deploy diversified Cloud applications on powerful machines. The key drivers towards this paradigm for the scientific computing field include the substantial computing capacity, on-demand provisioning and cross-platform interoperability. To fully harness the Cloud services for scientific computing, however, we need to design an application-specific platform to help the users efficiently migrate their applications. In this, we propose a Cloud service platform for symbolic-numeric computation - SNC. SNC allows the Cloud users to describe tasks as symbolic expressions through C/C++, Python, Java APIs and SNC script. Just-In-Time (JIT) compilation through using LLVM/JVM is used to compile the user code to the machine code. We implemented the SNC design and tested a wide range of symbolic-numeric computation applications (including nonlinear minimization, Monte Carlo integration, finite element assembly and multibody dynamics) on several popular cloud platforms (including the Google Compute Engine, Amazon EC2, Microsoft Azure, Rackspace, HP Helion and VMWare vCloud). These results demonstrate that our approach can work across multiple cloud platforms, support different languages and significantly improve the performance of symbolic-numeric computation using cloud platforms. This offered a way to stimulate the need for using the cloud computing for the symbolic-numeric computation in the field of scientific research.


title: Weak-type (1,1) estimates for strongly singular operators

abstract: Let $\psi$ be a positive function defined near the origin such that $\lim_{t\to 0^{+}}\psi(t)=0$. We consider the operator \begin{equation*} T_\theta f(x) = \lim_{\varepsilon\to 0^+} \int_\varepsilon^1 e^{i\gamma(t)}f(x-t) \frac{dt}{t^{\theta}\psi(t)^{1-\theta}}, \end{equation*} where $\gamma$ is a real function with $\lim_{t\to 0^+}|\gamma(t)| = \infty$ and $0 \le \theta \le 1$. Assuming certain regularity and growth conditions on $\psi$ and $\gamma$, we show that $T_1$ is of weak type $(1,1)$.


title: CoAs: The line of 3d demarcation

abstract: Transition metal-pnictide compounds have received attention for their tendency to combine magnetism and unconventional superconductivity. Binary CoAs lies on the border of paramagnetism and the more complex behavior seen in isostructural CrAs, MnP, FeAs, and FeP. Here we report the properties of CoAs single crystals grown with two distinct techniques along with density functional theory calculations of its electronic structure and magnetic ground state. While all indications are that CoAs is paramagnetic, both experiment and theory suggest proximity to a ferromagnetic instability. Quantum oscillations are seen in torque measurements up to 31.5~T, and support the calculated paramagnetic Fermiology.


title: Edge Caching in Delay-Constrained Virtualized Cellular Networks: Analysis and Market

abstract: Caching of popular contents at cellular base stations, i.e., edge caching, in order to eliminate duplicate transmission through the backhaul can reduce the latency of data delivery in $5$G networks. However, since caching can only reduce the backhaul delay, techniques such as base station densification will also need to be used to reduce the fronthaul delay. In this paper, using results from stochastic geometry, we first model the effects of base station densification and cache size on the latency of the system. We then derive a tight approximation for the cache hit probability. To optimize the network cost due to the deployment of base station (BS) and cache storage, a minimization problem for the product of the BS intensity and cache size is formulated under probabilistic delay constraint, which is converted into a geometric program and solved analytically. The results are then used to analyze the economics of a cache-enabled virtualized cellular network where the network infrastructure, i.e., BSs and cache storage, owned by an infrastructure provider (InP) is shared among multiple mobile network operators (MNOs). For the pricing between the InP and the MNOs, we formulate a Stackelberg game with the InP as the leader and multiple MNOs as the followers. In this virtualized scenario, the common cost of renting the infrastructure is shared in a fair manner among the MNOs by using the Shapely value. An efficient algorithm is provided to divide the rent among MNOs.


title: Counterexamples to quasiconcavity for the heat equation

abstract: We construct solutions to the heat equation on convex rings showing that quasiconcavity may not be preserved along the flow, even for smooth and subharmonic initial data.


title: Joint subnatural-linewidth and single-photon emission from resonance fluorescence

abstract: Resonance fluorescence---the light emitted when exciting resonantly a two-level system---is a popular quantum source as it seems to inherit its spectral properties from the driving laser and its statistical properties from the two-level system, thus providing a subnatural-linewidth single-photon source. However, these two qualities do not actually coexist in resonance fluorescence, since an optical target detecting these antibunched photons will either be spectrally broad itself and not benefit from the spectrally narrow source, or match spectrally with the source but in this case the antibunching will be spoiled. We first explain this failure through a decomposition of the field-emission and how this gets affected by frequency resolution. We then show how to restore the sought joint subnatural linewidth and antibunched properties, by interfering the resonance fluorescence output with a coherent beam. We finally discuss how the signal that is eventually generated in this way features a new type of quantum correlations, with a plateau of antibunching which suppresses much more strongly close photon pairs. This introduces a new concept of perfect single-photon source.


title: The Cosmic Dust Analyzer onboard Cassini: ten years of discoveries

abstract: The interplanetary space probe Cassini/Huygens reached Saturn in July 2004 after seven years of cruise phase. The Cosmic Dust Analyzer (CDA) measures the interplanetary, interstellar and planetary dust in our solar system since 1999 and provided unique discoveries. In 1999, CDA detected interstellar dust in the inner solar system followed by the detection of electrical charges of interplanetary dust grains during the cruise phase between Earth and Jupiter. The instrument determined the composition of interplanetary dust and the nanometre sized dust streams originating from Jupiter's moon Io. During the approach to Saturn in 2004, similar streams of submicron grains with speeds in the order of 100 km/s were detected from Saturn's inner and outer ring system and are released to the interplanetary magnetic field. Since 2004 CDA measured more than one million dust impacts characterizing the dust environment of Saturn. The instrument is one of three experiments which discovered the active ice geysers located at the south pole of Saturn's moon Enceladus in 2005. Later, a detailed compositional analysis of the water ice grains in Saturn's E ring system lead to the discovery of large reservoirs of liquid water (oceans) below the icy crust of Enceladus. Finally, the determination of the dust- magnetosphere interaction and the discovery of the extended E ring (at least twice as large as predicted) allowed the definition of a dynamical dust model of Saturn's E ring describing the observed properties. This paper summarizes the discoveries of a ten year story of success based on reliable measurements with the most advanced dust detector flown in space until today. This paper focuses on cruise results and findings achieved at Saturn with a focus on flux and density measurements.


title: Future Ground-based Wide Field of View Air Shower Detectors

abstract: Extensive air shower (EAS) arrays directly sample the shower particles that reach the observation altitude. They are wide field of view (FoV) detectors able to view the whole sky simultaneously and continuously. In fact, EAS arrays have an effective FoV of about 2 sr and operate with a duty cycle of $\sim$100\%. This capability makes them well suited to study extended sources, such as the Galactic diffuse emission and measure the spectra of Galactic sources at the highest energies (near or beyond 100 TeV). Their sensitivity in the sub-TeV/TeV energy domain cannot compete with that of Cherenkov telescopes, but the wide FoV is ideal to perform unbiased sky surveys, discover transients or explosive events (GRBs) and monitor variable or flaring sources such as Active Galactic Nuclei (AGN). An EAS array is able to detect at the same time events induced by photons and charged cosmic rays, thus studying the connection between these two messengers of the non-thermal Universe. Therefore, these detectors are, by definition, multi-messenger instruments. Wide FoV telescopes are crucial for a multi-messenger study of the Gravitational Wave events due to their capability to survey simultaneously all the large sky regions identified by LIGO and VIRGO, looking for a possible correlated $\gamma$-ray emission. In this contribution we summarize the scientific motivations which push the construction of new wide FoV air shower detectors and introduce the future instruments currently under installation. Finally, we emphasize the need of an EAS array in the Southern hemisphere to monitor the Inner Galaxy and face a number of important open problems.


title: Asset Price Volatility and Price Extrema

abstract: The relationship between price volatilty and a market extremum is examined using a fundamental economics model of supply and demand. By examining randomness through a microeconomic setting, we obtain the implications of randomness in the supply and demand, rather than assuming that price has randomness on an empirical basis. Within a very general setting the volatility has an extremum that precedes the extremum of the price. A key issue is that randomness arises from the supply and demand, and the variance in the stochastic differential equation govening the logarithm of price must reflect this. Analogous results are obtained by further assuming that the supply and demand are dependent on the deviation from fundamental value of the asset.


title: Power Control via Stackelberg Game for Small-Cell Networks

abstract: In this paper, power control for two-tier small-cell networks in the uplink is investigated. We formulate the power control problem as a Stackelberg game, where the macrocell user equipment (MUE) acts as the leader and the small-cell user equipments (SUEs) as the followers. To reduce the cross-tier and co-tier interference and also the power consumption of both the MUE and SUEs, we propose to impose a set of costs on their transmit powers and optimize not only the transmit rate but also the transmit power. The corresponding optimization problems are solved by two-layer iterations. In the inner iteration, the SUEs compete with each other and their optimal transmit powers are obtained through iterative computations. In the outer iteration, the MUE's optimal transmit power is obtained in a closed form based on the transmit powers of the SUEs through proper mathematical manipulations. We prove the convergence of the proposed power control scheme, and also theoretically show the existence and uniqueness of the Stackelberg equilibrium (SE) in the formulated Stackelberg game. Simulation results show great improvement of the proposed power control scheme especially for the MUE.


title: Crystalline topological states at a topological insulator junction

abstract: We consider an interface between two strong time-reversal invariant topological insulators having surface states with opposite spin chirality, or equivalently, opposite mirror Chern number. We show that such an interface supports gapless modes that are protected by mirror symmetry. The interface states are investigated with a continuum model for the Bi2Se3 class of topological insulators that takes into account terms up to third order in the crystal momentum, which ensures that the model has the correct symmetry. The model parameters are obtained from ab initio calculations. Finally, we consider the effect of rotational mismatch at the interface, which breaks the mirror symmetry and opens a gap in the interface spectrum.


title: The continuous route to multi-chaos

abstract: For low-dimensional chaotic attractors there is usually a single number of unstable dimensions for all of its periodic orbits and we can say such attractors exhibit "mono-chaos". In high-dimensional chaotic attractors, trajectories are prone to travel through quite different regions of phase space, some far more unstable than others. This heterogeneity makes predictability even more difficult than in low-dimensional homogeneous chaotic attractors. A chaotic attractor is "multi-chaotic" if every point of the attractor is arbitrarily close to periodic points with different numbers of unstable dimensions. We believe that most physical systems possessing a high-dimensional attractor are of this type. We make three conjectures about multi-chaos which we explore using three two-dimensional paradigmatic examples of multi-chaotic attractors. They can be thought of as small-scale examples that give insight for real high-dimensional phenomena. We find a single route from mono-chaos to multi-chaos if an attractor changes continuously as a parameter is varied. This multi-chaos bifurcation (MCB) is a periodic orbit bifurcation; one branch of periodic orbits is created with a number of unstable dimensions that is different from the mono-chaos.