title: Analysis of Conditions favorable for Ball Lightning Creation

abstract: This report uses a few well documented cases of Ball Lightning (or BL for short) observations to demonstrate a correlation between BL and positive lightning, especially strong positive lightning. This allows to draw conclusions and predictions about future BL observations and the pro- duction of these objects in the laboratory. Contrary to many current BL theories, these objects can be created without direct contact to a lightning channel. Very high electric fields appear to be essential for the creation, together with the proper temporal structure of the field. So far no experiments have been performed along the ideas presented in this report.


title: Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

abstract: We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and semantics defined concretely on the domain of real numbers. Logical constants are interpreted as feature vectors of real numbers. Real Logic promotes a well-founded integration of deductive reasoning on a knowledge-base and efficient data-driven relational machine learning. We show how Real Logic can be implemented in deep Tensor Neural Networks with the use of Google's tensorflow primitives. The paper concludes with experiments applying Logic Tensor Networks on a simple but representative example of knowledge completion.


title: Regularity and a priori error analysis of a Ventcel problem in polyhedral domains

abstract: We consider the regularity of a mixed boundary value problem for the Laplace operator on a polyhedral domain, where Ventcel boundary conditions are imposed on one face of the polyhedron and Dirichlet boundary conditions are imposed on the complement of that face in the boundary. We establish improved regularity estimates for the trace of the variational solution on the Ventcel face, and use them to derive a decomposition of the solution into a regular and a singular part that belongs to suitable weighted Sobolev spaces. This decomposition, in turn, via interpolation estimates both in the interior as well as on the Ventcel face, allows us to perform an a priori error analysis for the Finite Element approximation of the solution on anisotropic graded meshes. Numerical tests support the theoretical analysis.


title: Comparison of Gelfand-Tsetlin Bases for Alternating and Symmetric Groups

abstract: Young's orthogonal basis is a classical basis for an irreducible representation of a symmetric group. This basis happens to be a Gelfand-Tsetlin basis for the chain of symmetric groups. It is well-known that the chain of alternating groups, just like the chain of symmetric groups, has multiplicity-free restrictions for irreducible representations. Therefore each irreducible representation of an alternating group also admits Gelfand-Tsetlin bases. Moreover, each such representation is either the restriction of, or a subrepresentation of, the restriction of an irreducible representation of a symmetric group. In this article, we describe a recursive algorithm to write down the expansion of each Gelfand-Tsetlin basis vector for an irreducible representation of an alternating group in terms of Young's orthogonal basis of the ambient representation of the symmetric group. This algorithm is implemented with the Sage Mathematical Software.


title: Exponential Growth Series and Benford's Law

abstract: Exponential growth occurs when the growth rate of a given quantity is proportional to the quantity's current value. Surprisingly, when exponential growth data is plotted as a simple histogram disregarding the time dimension, a remarkable fit to the positively skewed k/x distribution is found, where the small is numerous and the big is rare. Such quantitative preference for the small has a corresponding digital preference known as Benford's Law which predicts that the first significant digit on the left-most side of numbers in typical real-life data is proportioned between all possible 1 to 9 digits approximately as in LOG(1 + 1/digit), so that low digits occur much more frequently than high digits in the first place. Exponential growth series with high growth rate are nearly perfectly Benford given that plenty of elements are considered. An additional constraint is that the logarithm of the growth factor must be an irrational number. Since the irrationals vastly outnumber the rationals, on the face of it, this constraint seems to constitute the explanation of why almost all growth series are Benford, yet, in reality this is all too simplistic, and the real and more complex explanation is provided in this article. Empirical examinations of close to a half a million growth series via computerized programs almost perfectly match the prediction of the theoretical study on rational versus irrational occurrences, thus in a sense confirming both, the empirical work as well as the theoretical study. In addition, a rigorous mathematical proof is provided in the continuous growth case showing that it exactly obeys Benford's Law. A non-rigorous proof is given in the discrete case via uniformity of mantissa argument. Finally cases of discrete series embedded within continuous series are studied, detailing the degree of deviation from the ideal Benford configuration.


title: Modulation instability in quasi two-dimensional spin-orbit coupled Bose-Einstein condensates

abstract: We theoretically investigate the dynamics of modulation instability (MI) in two-dimensional spin-orbit coupled Bose-Einstein condensates (BECs). The analysis is performed for equal densities of pseudo-spin components. Different combination of the signs of intra- and inter-component interaction strengths are considered, with a particular emphasize on repulsive interactions. We observe that the unstable modulation builds from originally miscible condensates, depending on the combination of the signs of the intra- and inter-component interaction strengths. The repulsive intra- and inter-component interactions admit instability and the MI immiscibility condition is no longer significant. Influence of interaction parameters such as spin-orbit and Rabi coupling on MI are also investigated. The spin-orbit coupling (SOC) inevitably contributes to instability regardless of the nature of the interaction. In the case of attractive interaction, SOC manifest in enhancing the MI. Thus, a comprehensive study of MI in two-dimensional spin-orbit coupled binary BECs of pseudo-spin components is presented.


title: Splotch: porting and optimizing for the Xeon Phi

abstract: With the increasing size and complexity of data produced by large scale numerical simulations, it is of primary importance for scientists to be able to exploit all available hardware in heterogenous High Performance Computing environments for increased throughput and efficiency. We focus on the porting and optimization of Splotch, a scalable visualization algorithm, to utilize the Xeon Phi, Intel's coprocessor based upon the new Many Integrated Core architecture. We discuss steps taken to offload data to the coprocessor and algorithmic modifications to aid faster processing on the many-core architecture and make use of the uniquely wide vector capabilities of the device, with accompanying performance results using multiple Xeon Phi. Finally performance is compared against results achieved with the GPU implementation of Splotch.


title: Ultrafast Spin-Transfer-Torque Switching of Synthetic Ferrimagnets

abstract: The switching speed and the write current required for spin-transfer-torque reversal of spintronic devices such as magnetic tunnel junctions (MTJ) currently hinder their wide implementation into memory and logic devices. This problem is further exacerbated as the dimensions of MTJ nanostructures are scaled down to tens of nanometers in diameter, as higher magnetic anisotropy materials are required to meet thermal stability requirements that demand higher switching current densities. Here, we propose a simple solution to these issues based on synthetic ferrimagnet (SFM) structures. It is commonly assumed that to achieve a given switching delay, the current has to exceed the critical current by a certain factor and so a higher critical current implies a higher switching current. We show that this is not the case for SFM structures which can provide significantly reduced switching delay for a given current density, even though the critical current is increased. This non-intuitive result can be understood from the requirements of angular momentum conservation. We conclude that a 20 nm diameter MTJ incorporating the proposed SFM free layer structure can be switched in tens of picosecond time scales. This remarkable switching speed can be attained by employing current perpendicular magnetic anisotropy materials with experimentally demonstrated exchange coupling strengths.


title: Using Fuzzy Logic to Leverage HTML Markup for Web Page Representation

abstract: The selection of a suitable document representation approach plays a crucial role in the performance of a document clustering task. Being able to pick out representative words within a document can lead to substantial improvements in document clustering. In the case of web documents, the HTML markup that defines the layout of the content provides additional structural information that can be further exploited to identify representative words. In this paper we introduce a fuzzy term weighing approach that makes the most of the HTML structure for document clustering. We set forth and build on the hypothesis that a good representation can take advantage of how humans skim through documents to extract the most representative words. The authors of web pages make use of HTML tags to convey the most important message of a web page through page elements that attract the readers' attention, such as page titles or emphasized elements. We define a set of criteria to exploit the information provided by these page elements, and introduce a fuzzy combination of these criteria that we evaluate within the context of a web page clustering task. Our proposed approach, called Abstract Fuzzy Combination of Criteria (AFCC), can adapt to datasets whose features are distributed differently, achieving good results compared to other similar fuzzy logic based approaches and TF-IDF across different datasets.


title: An Interpolating Family of Size Distributions

abstract: We introduce a new five-parameter family of size distributions on the semi-finite interval $[x_0, \infty), x_0 \geqslant 0$, with two attractive features. First, it interpolates between power laws, such as the Pareto distribution, and power laws with exponential cut-off, such as the Weibull distribution. The proposed family is thus very flexible and spans over a broad range of well-known size distributions which are special cases of our family. Second, it has important tractability advantages over the popular five-parameter Generalized Beta distribution. We derive the hazard function, survival function, modes and quantiles, propose a random number generation procedure and discuss maximum likelihood estimation issues. Finally, we illustrate the wide applicability and fitting capacities of our new model on basis of three real data sets from very diverse domains, namely actuarial science, environmental science and survival analysis.


title: Nonparametric causal inference from observational time series through marginal integration

abstract: Causal inference from observational data is an ambitious but highly relevant task, with diverse applications ranging from natural to social sciences. Within the scope of nonparametric time series, causal inference defined through interventions (cf. Pearl (2000)) is largely unexplored, although time order simplifies the problem substantially. We consider a marginal integration scheme for inferring causal effects from observational time series data, MINT-T (marginal integration in time series), which is an adaptation for time series of a method proposed by Ernest and B\"{u}hlmann (Electron. J. Statist, pp. 3155-3194, vol. 9, 2015) for the case of independent data. Our approach for stationary stochastic processes is fully nonparametric and, assuming no instantaneous effects consistently recovers the total causal effect of a single intervention with optimal one-dimensional nonparametric convergence rate $n^{-2/5}$ assuming regularity conditions and twice differentiability of a certain corresponding regression function. Therefore, MINT-T remains largely unaffected by the curse of dimensionality as long as smoothness conditions hold in higher dimensions and it is feasible for a large class of stationary time series, including nonlinear and multivariate processes. For the case with instantaneous effects, we provide a procedure which guards against false positive causal statements.


title: Decentralized Simultaneous Information and Energy Transmission in K-User Multiple Access Channels

abstract: In this paper, the fundamental limits of decentralized simultaneous information and energy transmission in the $K$-user Gaussian multiple access channel (G-MAC), with an arbitrary $K \geqslant 2$ and one non-colocated energy harvester (EH), are fully characterized. The objective of the transmitters is twofold. First, they aim to reliably communicate their message indices to the receiver; and second, to harvest energy at the EH at a rate not less than a minimum rate requirement $b$. The information rates $R_1,\dots,R_K$, in bits per channel use, are measured at the receiver and the energy rate $B$ is measured at an EH. Stability is considered in the sense of an $\eta$-Nash equilibrium ($\eta$-NE), with $\eta > 0$. The main result is a full characterization of the $\eta$-NE information-energy region, i.e., the set of information-energy rate tuples $(R_1,\dots,R_K,B)$ that are achievable and stable in the G-MAC when: $(a)$ all the transmitters autonomously and independently tune their own transmit configurations seeking to maximize their own information transmission rates $R_1,\dots, R_K$; and $(b)$ all the transmitters jointly guarantee an energy transmission rate $B$ at the EH, such that $B \geqslant b$. Therefore, any rate tuple outside the $\eta$-NE region is not stable as there always exists at least one transmitter able to increase by at least $\eta$ bits per channel use its own information transmission rate by updating its own transmit configuration.


title: Search for anomalous quartic $ZZ\gamma\gamma$ couplings in photon-photon collisions

abstract: The self-couplings of the electroweak gauge bosons are completely specified by the non-Abelian gauge nature of the Standard Model (SM). The direct study of these couplings provides a significant opportunity to test the validity of the SM and the existence of new physics beyond the SM up to the high energy scale. For this reason, we investigate the potential of the processes $\gamma\gamma\rightarrow ZZ$, $e^{-}\gamma\rightarrow e^{-}\gamma^{*}\gamma \rightarrow e^{-}Z\, Z$ and $e^{+}e^{-} \rightarrow e^{+}\gamma^{*} \gamma^{*} e^{-} \rightarrow e^{+}\, Z\, Z\, e^{-}$ to examine the anomalous quartic couplings of $ZZ\gamma\gamma$ vertex at the Compact Linear Collider (CLIC) with center-of-mass energy $3$ TeV. We calculate $95\%$ confidence level sensitivities on the dimension-8 parameters with various values of the integrated luminosity. We show that the best bounds on the anomalous $\frac{f_{M2}}{\Lambda^{4}}$, $\frac{f_{M3}}{\Lambda^{4}}$, $\frac{f_{T0}}{\Lambda^4}$ and $\frac{f_{T9}}{\Lambda^4}$ couplings arise from $\gamma\gamma\rightarrow ZZ$ process among those three processes at center-of-mass energy of 3 TeV and integrated luminosity of $L_{int}=2000$ fb$^{-1}$ are found to be $[-3.30;3.30]\times 10 ^{-3}$ TeV$^{-4}$, $[-1.20;1.20]\times 10 ^{-2}$ TeV$^{-4}$, $[-3.40;3.40]\times 10 ^{-3}$ TeV$^{-4}$ and $[-1.80;1.80]\times 10 ^{-3}$ TeV$^{-4}$, respectively.


title: Survey of Distributed Decision

abstract: We survey the recent distributed computing literature on checking whether a given distributed system configuration satisfies a given boolean predicate, i.e., whether the configuration is legal or illegal w.r.t. that predicate. We consider classical distributed computing environments, including mostly synchronous fault-free network computing (LOCAL and CONGEST models), but also asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile computing (FSYNC model).


title: Adversarial Perturbations Against Deep Neural Networks for Malware Classification

abstract: Deep neural networks, like many other machine learning models, have recently been shown to lack robustness against adversarially crafted inputs. These inputs are derived from regular inputs by minor yet carefully selected perturbations that deceive machine learning models into desired misclassifications. Existing work in this emerging field was largely specific to the domain of image classification, since the high-entropy of images can be conveniently manipulated without changing the images' overall visual appearance. Yet, it remains unclear how such attacks translate to more security-sensitive applications such as malware detection - which may pose significant challenges in sample generation and arguably grave consequences for failure. In this paper, we show how to construct highly-effective adversarial sample crafting attacks for neural networks used as malware classifiers. The application domain of malware classification introduces additional constraints in the adversarial sample crafting problem when compared to the computer vision domain: (i) continuous, differentiable input domains are replaced by discrete, often binary inputs; and (ii) the loose condition of leaving visual appearance unchanged is replaced by requiring equivalent functional behavior. We demonstrate the feasibility of these attacks on many different instances of malware classifiers that we trained using the DREBIN Android malware data set. We furthermore evaluate to which extent potential defensive mechanisms against adversarial crafting can be leveraged to the setting of malware classification. While feature reduction did not prove to have a positive impact, distillation and re-training on adversarially crafted samples show promising results.


title: Theoretical description of circular dichroism in photoelectron angular distributions of randomly oriented chiral molecules after multi-photon photoionization

abstract: Photoelectron circular dichroism refers to the forward/backward asymmetry in the photoelectron angular distribution with respect to the propagation axis of circularly polarized light. It has recently been demonstrated in femtosecond multi-photon photoionization experiments with randomly oriented camphor and fenchone molecules [C. Lux et al., Angew. Chem. Int. Ed. 51, 5001 (2012);C. S. Lehmann et al., J. Chem. Phys. 139, 234307 (2013)]. A theoretical framework describing this process as (2+1) resonantly enhanced multi-photon ionization is constructed, which consists of two-photon photoselection from randomly oriented molecules and successive one-photon ionisation of the photoselected molecules. It combines perturbation theory for the light-matter interaction with ab initio calculations for the two-photon absorption and a single-center expansion of the photoelectron wavefunction in terms of hydrogenic continuum functions. It is verified that the model correctly reproduces the basic symmetry behavior expected under exchange of handedness and light helicity. When applied it to fenchone and camphor, semi-quantitative agreement with the experimental data is found, for which a sufficient d wave character of the electronically excited intermediate state is crucial.


title: Influence of incoherent scattering on stochastic deflection of high-energy negative particle beams in bent crystals

abstract: An investigation on stochastic deflection of high-energy negatively charged particles in a bent crystal was carried out. On the basis of analytical calculation and numerical simulation it was shown that it exists a maximum angle at which most of the beam is deflected. The existence of a maximum, which is taken in the correspondence of the optimal radius of curvature, is a novelty with respect to the case of positively charged particles, for which the deflection angle can be freely increased by increasing the crystal length. This difference has to be ascribed to the stronger contribution of incoherent scattering affecting the dynamics of negative particles that move closer to atomic nuclei and electrons. We therefore identified the ideal parameters for the exploitation of axial confinement for negatively charged particle beam manipulation in future high-energy accelerators, e.g., ILC or muon colliders.


title: Distributed chaos in turbulent wakes

abstract: Soft and hard spontaneous breaking of space translational symmetry (homogeneity) have been studied in turbulent wakes by means of distributed chaos. In the case of the soft translational symmetry breaking the vorticity correlation integral $\int_{V} \langle {\boldsymbol \omega} ({\bf x},t) \cdot {\boldsymbol \omega} ({\bf x} + {\bf r},t) \rangle_{V} d{\bf r}$ dominates the distributed chaos and the chaotic spectra $\exp-(k/k_{\beta})^{\beta }$ have $\beta =1/2$. In the case of the hard translational symmetry breaking, control on the distributed chaos is switched from one type of fundamental symmetry to another (in this case to Lagrangian relabeling symmetry). Due to the Noether's theorem the relabeling symmetry results in the inviscid helicity conservation and helicity correlation integral $I=\int \langle h({\bf x},t)~h({\bf x}+{\bf r}, t)\rangle d{\bf r}$ (Levich-Tsinober invariant) dominates the distributed chaos with $\beta =1/3$. Good agreement with the experimental data has been established for turbulent wakes behind a cylinder, behind grids (for normal and super-fluids) and for bubbling flows. In the last case even small concentration of bubbles leads to a drastic change of the turbulent velocity spectra due to the hard spontaneous symmetry breaking in the bubbles' wakes.


title: Atlases for Ineffective Orbifolds

abstract: We give a definition of atlases for ineffective orbifolds, and prove that this definition leads to the same notion of orbifold as that defined via topological groupoids.


title: Stability Analysis of C-band 500-kW Klystron with Multi-cell Output cavity

abstract: A progogype 5-GHz 500-kW CW klystron (model E3762 provided by Toshiba Electron Tubes & Devices Co. Ltd.) has been operating as the RF source for the lower hybrid current drive (LHCD) system in the KSTAR tokamak. In order to investigate how the efficiency of the 5-GHz 500-kW CW klystron prototype could be enhanced, the cavity design study is being carried out with simulation code based on the main klystron operation parameters. This is being done by simulating klystron performances for various cavity parameters including the number of cavities, inter-cavity distance, and cavity tuning frequencies. The simulation has been done with the FCI (field charge interaction) code aided by a matlab script for scanning input parameters. Initial set of scan parameters was obtained by benchmarking the E3762 klystron. It was possible to obtain optimized design parameters with better efficiency for a cavity system adopting a multi-cell output cavity. However, the multi-cell output cavity is prone to produce a self-oscillation due to the prolonged (several half RF periods) beam-field interaction along its multiple gaps. We have checked the feasibility of the optimization by evaluating the stability of output cavity system. The stability is given by the ratio of a beam-loading conductance to the circuit conductance.


title: Coleman Map in Coleman Families

abstract: In this paper, we aimed at constructing a two-variable Coleman map for a given $p$-adic family of eigen cuspforms with a fixed non-zero slope (Coleman family). A Coleman map is a machinary which transforms a hypothetical $p$-adic family of zeta elements to a $p$-adic $L$-function. The result would be a non-ordinary generalization of a two-variable Coleman map for a given Hida deformation obtained by the second-named author.


title: DeepMath - Deep Sequence Models for Premise Selection

abstract: We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics. We propose a two stage approach for this task that yields good results for the premise selection task on the Mizar corpus while avoiding the hand-engineered features of existing state-of-the-art models. To our knowledge, this is the first time deep learning has been applied to theorem proving on a large scale.


title: A scalable end-to-end Gaussian process adapter for irregularly sampled time series classification

abstract: We present a general framework for classification of sparse and irregularly-sampled time series. The properties of such time series can result in substantial uncertainty about the values of the underlying temporal processes, while making the data difficult to deal with using standard classification methods that assume fixed-dimensional feature spaces. To address these challenges, we propose an uncertainty-aware classification framework based on a special computational layer we refer to as the Gaussian process adapter that can connect irregularly sampled time series data to any black-box classifier learnable using gradient descent. We show how to scale up the required computations based on combining the structured kernel interpolation framework and the Lanczos approximation method, and how to discriminatively train the Gaussian process adapter in combination with a number of classifiers end-to-end using backpropagation.


title: Statistical mechanics of covariant systems with multi-fingered time

abstract: Recently, in [Class. Quantum Grav. 33 (2016) 045005], the authors proposed a new approach extending the framework of statistical mechanics to reparametrization-invariant systems with no additional gauges. In this work, the approach is generalized to systems defined by more than one Hamiltonian constraints (multi-fingered time). We show how well known features as the Ehrenfest- Tolman effect and the J\"uttner distribution for the relativistic gas can be consistently recovered from a covariant approach in the multi-fingered framework. Eventually, the crucial role played by the interaction in the definition of a global notion of equilibrium is discussed.


title: A consistent model for leptogenesis, dark matter and the IceCube signal

abstract: We discuss a left-right symmetric extension of the Standard Model in which the three additional right-handed neutrinos play a central role in explaining the baryon asymmetry of the Universe, the dark matter abundance and the ultra energetic signal detected by the IceCube experiment. The energy spectrum and neutrino flux measured by IceCube are ascribed to the decays of the lightest right-handed neutrino $N_1$, thus fixing its mass and lifetime, while the production of $N_1$ in the primordial thermal bath occurs via a freeze-in mechanism driven by the additional $SU(2)_R$ interactions. The constraints imposed by IceCube and the dark matter abundance allow nonetheless the heavier right-handed neutrinos to realize a standard type-I seesaw leptogenesis, with the $B-L$ asymmetry dominantly produced by the next-to-lightest neutrino $N_2$. Further consequences and predictions of the model are that: the $N_1$ production implies a specific power-law relation between the reheating temperature of the Universe and the vacuum expectation value of the $SU(2)_R$ triplet; leptogenesis imposes a lower bound on the reheating temperature of the Universe at $7\times10^9\,\mbox{GeV}$. Additionally, the model requires a vanishing absolute neutrino mass scale $m_1\simeq0$.


title: Attend Refine Repeat: Active Box Proposal Generation via In-Out Localization

abstract: The problem of computing category agnostic bounding box proposals is utilized as a core component in many computer vision tasks and thus has lately attracted a lot of attention. In this work we propose a new approach to tackle this problem that is based on an active strategy for generating box proposals that starts from a set of seed boxes, which are uniformly distributed on the image, and then progressively moves its attention on the promising image areas where it is more likely to discover well localized bounding box proposals. We call our approach AttractioNet and a core component of it is a CNN-based category agnostic object location refinement module that is capable of yielding accurate and robust bounding box predictions regardless of the object category. We extensively evaluate our AttractioNet approach on several image datasets (i.e. COCO, PASCAL, ImageNet detection and NYU-Depth V2 datasets) reporting on all of them state-of-the-art results that surpass the previous work in the field by a significant margin and also providing strong empirical evidence that our approach is capable to generalize to unseen categories. Furthermore, we evaluate our AttractioNet proposals in the context of the object detection task using a VGG16-Net based detector and the achieved detection performance on COCO manages to significantly surpass all other VGG16-Net based detectors while even being competitive with a heavily tuned ResNet-101 based detector. Code as well as box proposals computed for several datasets are available at:: https://github.com/gidariss/AttractioNet.


title: Shedding vertices of vertex decomposable graphs

abstract: We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regarding Cohen-Macaulay graphs.


title: Abelian tensor hierarchy in 4D ${\cal N}=1$ conformal supergravity

abstract: We consider Abelian tensor hierarchy in four-dimensional ${\cal N}=1$ supergravity in the conformal superspace formalism, where the so-called covariant approach is used to antisymmetric tensor fields. We introduce $p$-form gauge superfields as superforms in the conformal superspace. We solve the Bianchi identities under the constraints for the superforms. As a result, each of form fields is expressed by a single gauge invariant superfield. The action of superforms is shown with the invariant superfields. We also show the relation between the superspace formalism and the superconformal tensor calculus.


title: Recurrent neural network training with preconditioned stochastic gradient descent

abstract: This paper studies the performance of a recently proposed preconditioned stochastic gradient descent (PSGD) algorithm on recurrent neural network (RNN) training. PSGD adaptively estimates a preconditioner to accelerate gradient descent, and is designed to be simple, general and easy to use, as stochastic gradient descent (SGD). RNNs, especially the ones requiring extremely long term memories, are difficult to train. We have tested PSGD on a set of synthetic pathological RNN learning problems and the real world MNIST handwritten digit recognition task. Experimental results suggest that PSGD is able to achieve highly competitive performance without using any trick like preprocessing, pretraining or parameter tweaking.


title: Multiple Human Tracking in RGB-D Data: A Survey

abstract: Multiple human tracking (MHT) is a fundamental task in many computer vision applications. Appearance-based approaches, primarily formulated on RGB data, are constrained and affected by problems arising from occlusions and/or illumination variations. In recent years, the arrival of cheap RGB-Depth (RGB-D) devices has {led} to many new approaches to MHT, and many of these integrate color and depth cues to improve each and every stage of the process. In this survey, we present the common processing pipeline of these methods and review their methodology based (a) on how they implement this pipeline and (b) on what role depth plays within each stage of it. We identify and introduce existing, publicly available, benchmark datasets and software resources that fuse color and depth data for MHT. Finally, we present a brief comparative evaluation of the performance of those works that have applied their methods to these datasets.


title: Metal-insulator transition in films of doped semiconductor nanocrystals

abstract: To fully deploy the potential of semiconductor nanocrystal films as low-cost electronic materials, a better understanding of the amount of dopants required to make their conductivity metallic is needed. In bulk semiconductors, the critical concentration of electrons at the metal-insulator transition is described by the Mott criterion. Here, we theoretically derive the critical concentration $n_c$ for films of heavily doped nanocrystals devoid of ligands at their surface and in direct contact with each other. In the accompanying experiments, we investigate the conduction mechanism in films of phosphorus-doped, ligand-free silicon nanocrystals. At the largest electron concentration achieved in our samples, which is half the predicted $n_c$, we find that the localization length of hopping electrons is close to three times the nanocrystals diameter, indicating that the film approaches the metal-insulator transition.


title: On the bifurcation for fractional Laplace equations

abstract: In this paper, we consider the bifurcation problem for fractional Laplace equation \begin{eqnarray*} \begin{array}{ll} (-\Delta)^{s} u = \lambda u + f(\lambda,\,x,\,u)& \mbox{in }\Omega, u = 0 &\mbox{in }\mathbb{R}^n\backslash \Omega, \end{array} \end{eqnarray*} where $\Omega\subset \mathbb{R}^n,\,n> 2s (0<s<1)$ is an open bounded subset with smooth boundary, $(-\Delta)^{s}$ stands for the fractional Laplacian. We show that a continuum of solutions bifurcates out from the principal eigenvalue $\lambda_1$ of the eigenvalue problem \begin{eqnarray*} \begin{gathered} (-\Delta)^{s} v = \lambda v\,\,\,\mbox{in}\,\,\Omega, v = 0 \,\,\,\,\mbox{in}\,\,\,\,\mathbb{R}^n \backslash\Omega, \end{gathered} \end{eqnarray*} and, conversely.


title: Langevin Equation for a Dissipative Macroscopic Quantum System: Bohmian Theory versus Quantum Mechanics

abstract: In this study, we solve analytically the Schrodinger equation for a macroscopic quantum oscillator as a central system coupled to a large number of environmental micro-oscillating particles. Then, the Langevin equation is obtained for the system using two approaches: Quantum Mechanics and Bohmian Theory. Our results show that the predictions of the two theories are inherently different in real conditions. Nevertheless, the Langevin equation obtained by Bohmian approach could be reduced to the quantum one, when the vibrational frequency of the central system is high enough compared to the maximum frequency of the environmental particles.


title: Simulation of incompressible two-phase flow in porous media with large timesteps

abstract: Multiphase flow in porous media occurs in several disciplines including petroleum reservoir engineering, petroleum systems' analysis, and CO$_2$ sequestration. While simulations often use a fully implicit discretization to increase the time step size, restrictions on the time step often exist due to non-convergence of the nonlinear solver (e.g. Newton's method). Here this problem is addressed for the Buckley-Leverett equations, which model incompressible, immiscible, two-phase flow with no capillary potential. The equations are recast as a gradient flow using the phase-field method, and a convex energy splitting scheme is applied to enable large timesteps, even for high degrees of heterogeneity in permeability and viscosity. By using the phase-field formulation as a homotopy map, the underlying hyperbolic flow equations can be solved with large timesteps. For a heterogeneous test problem, the new homotopy method allows the timestep to be increased by more than six orders of magnitude relative to the unmodified equations while maintaining convergence.


title: A Generalization of Lifting Non-proper Tropical Intersections

abstract: Let X and X' be closed subschemes of an algebraic torus T over a non-archimedean field. We prove the rational equivalence as tropical cycles, in the sense of Henning Meyer's graduate thesis, between the tropicalization of the intersection product of X and X' and the stable intersection of trop(X) and trop(X'), when restricted to (the inverse image under the tropicalization map of) a connected component C of the intersection of trop(X) and trop(X'). This requires possibly passing to a (partial) compactification of T with respect to a suitable fan. We define the compactified stable intersection in a toric tropical variety, and check that this definition is compatible with the intersection product in loc.cit.. As a result we get a numerical equivalence (after a compactification and restricting to C) between the intersection product of X and X' and the stable intersection of trop(X) and trop(X') via the compactified stable intersection. In particular, when X and X' have complementary codimensions, this equivalence generalizes the work of Osserman and Rabinoff, in the sense that the intersection of X and X' is allowed to be of positive dimension. Moreover, if the intersection of the closures of X and X' has finitely many points which tropicalize to the closure of C, we prove a similar equation as in Theorem 6.4 of the paper of Osserman and Rabinoff when the ambient space is a reduced closed subscheme of T (instead of T itself).


title: Towards Operator-less Data Centers Through Data-Driven, Predictive, Proactive Autonomics

abstract: Continued reliance on human operators for managing data centers is a major impediment for them from ever reaching extreme dimensions. Large computer systems in general, and data centers in particular, will ultimately be managed using predictive computational and executable models obtained through data-science tools, and at that point, the intervention of humans will be limited to setting high-level goals and policies rather than performing low-level operations. Data-driven autonomics, where management and control are based on holistic predictive models that are built and updated using live data, opens one possible path towards limiting the role of operators in data centers. In this paper, we present a data-science study of a public Google dataset collected in a 12K-node cluster with the goal of building and evaluating predictive models for node failures. Our results support the practicality of a data-driven approach by showing the effectiveness of predictive models based on data found in typical data center logs. We use BigQuery, the big data SQL platform from the Google Cloud suite, to process massive amounts of data and generate a rich feature set characterizing node state over time. We describe how an ensemble classifier can be built out of many Random Forest classifiers each trained on these features, to predict if nodes will fail in a future 24-hour window. Our evaluation reveals that if we limit false positive rates to 5%, we can achieve true positive rates between 27% and 88% with precision varying between 50% and 72%.This level of performance allows us to recover large fraction of jobs' executions (by redirecting them to other nodes when a failure of the present node is predicted) that would otherwise have been wasted due to failures. [...]


title: Bayesian mixture modeling for multivariate conditional distributions

abstract: We present a Bayesian mixture model for estimating the joint distribution of mixed ordinal, nominal, and continuous data conditional on a set of fixed variables. The model uses multivariate normal and categorical mixture kernels for the random variables. It induces dependence between the random and fixed variables through the means of the multivariate normal mixture kernels and via a truncated local Dirichlet process. The latter encourages observations with similar values of the fixed variables to share mixture components. Using a simulation of data fusion, we illustrate that the model can estimate underlying relationships in the data and the distributions of the missing values more accurately than a mixture model applied to the random and fixed variables jointly. We use the model to analyze consumers' reading behaviors using a quota sample, i.e., a sample where the empirical distribution of some variables is fixed by design and so should not be modeled as random, conducted by the book publisher HarperCollins.


title: Secure Compute-and-Forward Transmission With Artificial Noise and Full-Duplex Devices

abstract: We consider a wiretap channel with an eavesdropper (Eve) and an honest but curious relay (Ray). Ray and the destination (Bob) are full-duplex (FD) devices. Since we aim at not revealing information on the secret message to the relay, we consider the scaled compute-and-forward (SCF) where scaled lattice coding is used in the transmission by both the source (Alice) and Bob in order to allow Ray to decode only a linear combination of the two messages. At the same time Ray transmits artificial noise (AN) to confuse Eve. When Ray relays the decoded linear combination, Alice and Bob are transmitting AN against Eve. This can be a 5G cellular communication scenario where a mobile terminal (MT) aims at transmitting a secret message to a FD base station (BS), with the assistance of a network FD relay. With respect to existing literature the innovations of this paper are: a) Bob and Ray are FD devices; b) Alice, Ray and Bob transmit also AN; and c) the channel to Eve is not known to Alice, Bob and Ray. For this scenario we derive bounds on both the secrecy outage probability under Rayleigh fading conditions of the channels to Eve, and the achievable secrecy-outage rates.


title: Tessellations

abstract: A survey of tessellations, which appeared in Italian in La Matematica vol 3 in 2010. The Tiling Lemma appears for the first time.


title: Model-Free Episodic Control

abstract: State of the art deep reinforcement learning algorithms take many millions of interactions to attain human-level performance. Humans, on the other hand, can very quickly exploit highly rewarding nuances of an environment upon first discovery. In the brain, such rapid learning is thought to depend on the hippocampus and its capacity for episodic memory. Here we investigate whether a simple model of hippocampal episodic control can learn to solve difficult sequential decision-making tasks. We demonstrate that it not only attains a highly rewarding strategy significantly faster than state-of-the-art deep reinforcement learning algorithms, but also achieves a higher overall reward on some of the more challenging domains.


title: Characterization of Completely $k$-Magic Regular Graphs

abstract: Let $k \in \mathbb{N}$ and $c \in \mathbb{Z}_k$, where $\mathbb{Z}_1=\mathbb{Z}$. A graph $G=(V(G),E(G))$ is said to be $c$-sum $k$-magic if there is a labeling $\ell:E(G) \rightarrow \mathbb{Z}_k \setminus \{0\}$ such that $\sum_{u \in N(v)} \ell(uv) \equiv c \pmod{k}$ for every vertex $v$ of $G$, where $N(v)$ is the neighborhood of $v$ in $G$. We say that $G$ is completely $k$-magic whenever it is $c$-sum $k$-magic for every $c \in \mathbb{Z}_k$. In this paper, we characterize all completely $k$-magic regular graphs.


title: Double-Slit Interference Pattern for a Macroscopic Quantum System

abstract: In this study, we solve analytically the Schrodinger equation for a macroscopic quantum oscillator as a central system coupled to two environmental micro-oscillating particles. Then, the double-slit interference patterns are investigated in two limiting cases, considering the limits of uncertainty in the position probability distribution. Moreover, we analyze the interference patterns based on a recent proposal called stochastic electrodynamics with spin. Our results show that when the quantum character of the macro-system is decreased, the diffraction pattern becomes more similar to a classical one. We also show that, depending on the size of the slits, the predictions of quantum approach could be apparently different with those of the aforementioned stochastic description


title: Adinkras, Dessins, Origami, and Supersymmetry Spectral Triples

abstract: We investigate the spectral geometry and spectral action functionals associated to 1D Supersymmetry Algebras, using the classification of these superalgebras in terms of Adinkra graphs and the construction of associated dessin d'enfant and origami curves. The resulting spectral action functionals are computed in terms of the Selberg (super) trace formula.


title: Sequential geophysical and flow inversion to characterize fracture networks in subsurface systems

abstract: Subsurface applications including geothermal, geological carbon sequestration, oil and gas, etc., typically involve maximizing either the extraction of energy or the storage of fluids. Characterizing the subsurface is extremely complex due to heterogeneity and anisotropy. Due to this complexity, there are uncertainties in the subsurface parameters, which need to be estimated from multiple diverse as well as fragmented data streams. In this paper, we present a non-intrusive sequential inversion framework, for integrating data from geophysical and flow sources to constraint subsurface Discrete Fracture Networks (DFN). In this approach, we first estimate bounds on the statistics for the DFN fracture orientations using microseismic data. These bounds are estimated through a combination of a focal mechanism (physics-based approach) and clustering analysis (statistical approach) of seismic data. Then, the fracture lengths are constrained based on the flow data. The efficacy of this multi-physics based sequential inversion is demonstrated through a representative synthetic example.

categories: cs.CE math.NA physics.comp-ph physics.geo-ph stat.ML


title: Vainshtein mechanism in general purely disformal gravity theory

abstract: We study a theory of gravity in which the action is a result from the general purely disformal transformation on the Einstein-Hilbert action. This theory is a sub-class of GLPV theory which is the the generalization of covariant Galileon. Nevertheless, we find that the self accelerating solution for the background universe disappears in this theory. We also find that, for this theory, the Vainshtein mechanism is absent. However, the Vainshtein mechanism is not necessary for this theory, because this theory can nearly mimic the Einstein theory of gravity at all scales inside the Huble radius without this mechanism.


title: Neural Networks and Continuous Time

abstract: The fields of neural computation and artificial neural networks have developed much in the last decades. Most of the works in these fields focus on implementing and/or learning discrete functions or behavior. However, technical, physical, and also cognitive processes evolve continuously in time. This cannot be described directly with standard architectures of artificial neural networks such as multi-layer feed-forward perceptrons. Therefore, in this paper, we will argue that neural networks modeling continuous time are needed explicitly for this purpose, because with them the synthesis and analysis of continuous and possibly periodic processes in time are possible (e.g. for robot behavior) besides computing discrete classification functions (e.g. for logical reasoning). We will relate possible neural network architectures with (hybrid) automata models that allow to express continuous processes.


title: Outer Bounds on the Storage-Repair Bandwidth Tradeoff of Exact-Repair Regenerating Codes

abstract: In this paper, three outer bounds on the normalized storage-repair bandwidth (S-RB) tradeoff of regenerating codes having parameter set $\{(n,k,d),(\alpha,\beta)\}$ under the exact-repair (ER) setting are presented. The first outer bound is applicable for every parameter set $(n,k,d)$ and in conjunction with a code construction known as {\em improved layered codes}, it characterizes the normalized ER tradeoff for the case $(n,k=3,d=n-1)$. It establishes a non-vanishing gap between the ER and functional-repair (FR) tradeoffs for every $(n,k,d)$. The second bound is an improvement upon an existing bound due to Mohajer et al. and is tighter than the first bound, in a regime away from the Minimum Storage Regeneraing (MSR) point. The third bound is for the case of $k=d$, under the linear setting. This outer bound matches with the achievable region of {\em layered codes} thereby characterizing the normalized ER tradeoff of linear ER codes when $k=d=n-1$.


title: On the variety associated to the ring of theta constants in genus 3

abstract: Due to fundamental results of Igusa and Mumford the $N=2^{g-1}(2^g+1)$ even theta constants define for each genus $g$ an injective holomorphic map of the Satake compactification $X_g(4,8)=H_g/\Gamma_g[4,8]$ into the projective space $P^{N-1}$. Moreover, this map is biholomorphic onto the image outside the Satake boundary. It is not biholomorphic on the whole in the cases $g\ge 6$. Igusa also proved that in the cases $g\le 2$ this map is biholomorphic onto the image. In this paper we extend this result to the case $g=3$. So we show that the theta map $$X_3(4,8)\to P^{35}$$ is biholomorphic onto the image. This is equivalent to the statement that the image is a normal subvariety of $P^{35}$ .


title: Finite-time Stability Analysis for Random Nonlinear Systems

abstract: This paper presents an analysis approach to finite-time attraction in probability concerns with nonlinear systems described by nonlinear random differential equations (RDE). RDE provide meticulous physical interpreted models for some applications contain stochastic disturbance. The existence and the path-wise uniqueness of the finite-time solution are investigated through nonrestrictive assumptions. Then a finite-time attraction analysis is considered through the definition of the stochastic settling time function and a Lyapunov based approach. A Lyapunov theorem provides sufficient conditions to guarantee finite-time attraction in probability of random nonlinear systems. A Lyapunov function ensures stability in probability and a finiteness of the expectation of the stochastic settling time function. Results are demonstrated employing the method for two examples to show potential of the proposed technique.


title: Landau damping to partially locked states in the Kuramoto model

abstract: In the Kuramoto model of globally coupled oscillators, partially locked states (PLS) are stationary solutions that incorporate the emergence of partial synchrony when the interaction strength increases. While PLS have long been considered, existing results on their stability are limited to neutral stability of the linearized dynamics in strong topology, or to specific invariant subspaces (obtained via the so-called Ott-Antonsen (OA) ansatz) with specific frequency distributions for the oscillators. In the mean field limit, the Kuramoto model shows various ingredients of the Landau damping mechanism in the Vlasov equation. This analogy has been a source of inspiration for stability proofs of regular Kuramoto equilibria. Besides, the major mathematical issue with PLS asymptotic stability is that these states consist of heterogeneous and singular measures. Here, we establish an explicit criterion for their spectral stability and we prove their local asymptotic stability in weak topology, for a large class of analytic frequency marginals. The proof strongly relies on a suitable functional space that contains (Fourier transforms of) singular measures, and for which the linearized dynamics is well under control. For illustration, the stability criterion is evaluated in some standard examples. We show in particular that no loss of generality results in assuming the OA ansatz. To our best knowledge, our result provides the first proof of Landau damping to heterogeneous and irregular equilibria, in absence of dissipation.


title: On sofic approximations of Property (T) groups

abstract: We prove Bowen's conjecture that every sequence of finite graphs that locally converges to the Cayley graph of a countably infinite group with Kazhdan Property (T) is essentially a vertex-disjoint union of expander graphs. We characterize graph sequences that are essentially a vertex-disjoint union of expander graphs in terms of the Markov operator.


title: Effects of flare definitions on the statistics of derived flare distributions

abstract: The statistical examination of solar flares is crucial to revealing their global characteristics and behaviour. Such examinations can tackle large-scale science questions or give context to detailed single-event studies. However, they are often performed using standard but basic flare detection algorithms relying on arbitrary thresholds. This arbitrariness may lead to important scientific conclusions being drawn from results caused by subjective choices in algorithms rather than the true nature of the Sun. In this paper, we explore the effect of the arbitrary thresholds used in the GOES (Geostationary Operational Environmental Satellite) event list and LYRA (Large Yield RAdiometer) Flare Finder algorithms. We find that there is a small but significant relationship between the power law exponent of the GOES flare peak flux frequency distribution and the flare start thresholds of the algorithms. We also find that the power law exponents of these distributions are not stable, but appear to steepen with increasing peak flux. This implies that the observed flare size distribution may not be a power law at all. We show that depending on the true value of the exponent of the flare size distribution, this deviation from a power law may be due to flares missed by the flare detection algorithms. However, it is not possible determine the true exponent from GOES/XRS observations. Additionally we find that the PROBA2/LYRA flare size distributions are artificially steep and clearly non-power law. We show that this is consistent with an insufficient degradation correction. This means that PROBA2/LYRA should not be used for flare statistics or energetics unless degradation is adequately accounted for. However, it can be used to study variations over shorter timescales and for space weather monitoring.


title: Multi-Tenant Virtual GPUs for Optimising Performance of a Financial Risk Application

abstract: Graphics Processing Units (GPUs) are becoming popular accelerators in modern High-Performance Computing (HPC) clusters. Installing GPUs on each node of the cluster is not efficient resulting in high costs and power consumption as well as underutilisation of the accelerator. The research reported in this paper is motivated towards the use of few physical GPUs by providing cluster nodes access to remote GPUs on-demand for a financial risk application. We hypothesise that sharing GPUs between several nodes, referred to as multi-tenancy, reduces the execution time and energy consumed by an application. Two data transfer modes between the CPU and the GPUs, namely concurrent and sequential, are explored. The key result from the experiments is that multi-tenancy with few physical GPUs using sequential data transfers lowers the execution time and the energy consumed, thereby improving the overall performance of the application.


title: Learning to learn by gradient descent by gradient descent

abstract: The move from hand-designed features to learned features in machine learning has been wildly successful. In spite of this, optimization algorithms are still designed by hand. In this paper we show how the design of an optimization algorithm can be cast as a learning problem, allowing the algorithm to learn to exploit structure in the problems of interest in an automatic way. Our learned algorithms, implemented by LSTMs, outperform generic, hand-designed competitors on the tasks for which they are trained, and also generalize well to new tasks with similar structure. We demonstrate this on a number of tasks, including simple convex problems, training neural networks, and styling images with neural art.


title: Open-system many-body dynamics through interferometric measurements and feedback

abstract: Light-matter interfaces enable the generation of entangled states of light and matter which can be exploited to steer the quantum state of matter through measurement of light and feedback. Here we consider continuous-time, interferometric homodyne measurements of light on an array of light-matter interfaces followed by local feedback acting on each material system individually. While the systems are physically non-interacting, the feedback master equation we derive describes driven-dissipative, interacting many-body quantum dynamics, and comprises pairwise Hamiltonian interactions and collective jump operators. We characterize the general class of driven-dissipative many body systems which can be engineered in this way, and derive necessary conditions on models supporting non-trivial quantum dynamics beyond what can be generated by local operations and classical communication. We provide specific examples of models which allow for the creation of stationary many-particle entanglement, and the emulation of dissipative Ising models. Since the interaction between the systems is mediated via feedback only, there is no intrinsic limit on the range or geometry of the interaction, making the scheme quite versatile.


title: Downlink Performance of Superimposed Pilots in Massive MIMO systems

abstract: In this paper, we investigate the downlink throughput performance of a massive multiple-input multiple-output (MIMO) system that employs superimposed pilots for channel estimation. The component of downlink (DL) interference that results from transmitting data alongside pilots in the uplink (UL) is shown to decrease at a rate proportional to the square root of the number of antennas at the BS. The normalized mean-squared error (NMSE) of the channel estimate is compared with the Bayesian Cram\'{e}r-Rao lower bound that is derived for the system, and the former is also shown to diminish with increasing number of antennas at the base station (BS). Furthermore, we show that staggered pilots are a particular case of superimposed pilots and offer the downlink throughput of superimposed pilots while retaining the UL spectral and energy efficiency of regular pilots. We also extend the framework for designing a hybrid system, consisting of users that transmit either regular or superimposed pilots, to minimize both the UL and DL interference. The improved NMSE and DL rates of the channel estimator based on superimposed pilots are demonstrated by means of simulations.


title: Transport of magnetic turbulence in Supernova remnants

abstract: Context. Supernova remnants are known as sources of galactic cosmic rays for their non-thermal emission of radio waves, X-rays, and gamma-rays. However, the observed soft broken power-law spectra are hard to reproduce within standard acceleration theory based on the assumption of Bohm diffusion and steady-state calculations. Aims. We point out that a time-dependent treatment of the acceleration process together with a self-consistent treatment of the scattering turbulence amplification is necessary. Methods. We numerically solve the coupled system of transport equations for cosmic rays and isotropic Alfvenic turbulence. The equations are coupled through the growth rate of turbulence determined by the cosmic-ray gradient and the spatial diffusion coefficient of cosmic rays determined by the energy density of the turbulence. The system is solved on a co-moving expanding grid extending upstream for dozens of shock radii, allowing for the self-consistent study of cosmic-ray diffusion in the vicinity of their acceleration site. The transport equation for cosmic rays is solved in a test-particle approach. Results. We demonstrate that the system is typically not in a steady state. In fact, even after several thousand years of evolution, no equilibrium situation is reached. The resulting time-dependent particle spectra strongly differ from those derived assuming a steady state and Bohm diffusion. Our results indicate that proper accounting for the evolution of the scattering turbulence and hence the particle diffusion coefficient is crucial for the formation of the observed soft spectra. In any case, the need to continuously develop magnetic turbulence upstream of the shock introduces non-linearity in addition to that imposed by cosmic-ray feedback.


title: Bayesian Inference on Matrix Manifolds for Linear Dimensionality Reduction

abstract: We reframe linear dimensionality reduction as a problem of Bayesian inference on matrix manifolds. This natural paradigm extends the Bayesian framework to dimensionality reduction tasks in higher dimensions with simpler models at greater speeds. Here an orthogonal basis is treated as a single point on a manifold and is associated with a linear subspace on which observations vary maximally. Throughout this paper, we employ the Grassmann and Stiefel manifolds for various dimensionality reduction problems, explore the connection between the two manifolds, and use Hybrid Monte Carlo for posterior sampling on the Grassmannian for the first time. We delineate in which situations either manifold should be considered. Further, matrix manifold models are used to yield scientific insight in the context of cognitive neuroscience, and we conclude that our methods are suitable for basic inference as well as accurate prediction.


title: Phase Transitions in the One-dimensional Coulomb Gas Ensembles

abstract: We consider the system of particles on a finite interval with pair-wise nearest neighbours interaction and external force. This model was introduced by Malyshev to study the flow of charged particles on a rigorous mathematical level. It is a simplified version of a 3-dimensional classical Coulomb gas model. We study Gibbs distribution at finite positive temperature extending recent results on the zero temperature case (ground states) with external force. We derive the asymptotic for the mean and for the variances of the distances between the neighbouring charges. We prove that depending on the strength of the external force there are several phase transitions in the local structure of the configuration of the particles in the limit when the number of particles goes to infinity.


title: Electrically switchable cylindrical Fresnel lens based on holographic polymer-dispersed liquid crystals using a Michelson interferometer

abstract: Fabricating an electrically switchable cylindrical Fresnel lens based on holographic polymer-dispersed liquid crystals (H-PDLC) using a Michelson interferometer is reported. Simplicity of the method and possibility of fabricating different focal length lenses in a single set up are among the advantages of the method. It is demonstrated that the Fresnel structured zone plate acts as a cylindrical lens and focuses light in one dimension. Its electro-optical switching properties are also studied and it is found that at an applied electric field of E=6 Vrms/{\mu}m across the sample, focusing property of the sample eliminates with a response of about 1 ms in a reversible manner.


title: Relativistic Landau Levels in the Rotating Cosmic String Spacetime

abstract: In the spacetime induced by a rotating cosmic string we compute the energy levels of a massive spinless particle coupled covariantly to a homogeneous magnetic field parallel to the string. Afterwards, we consider the addition of a scalar potential with a Coulomb-type and a linear confining term and completely solve the Klein-Gordon equations for each configuration. Finally, assuming rigid-wall boundary conditions, we find the Landau levels when the linear defect is itself magnetized. Remarkably, our analysis reveals that the Landau quantization occurs even in the absence of gauge fields provided the string is endowed with spin.


title: Linear correlations of multiplicative functions

abstract: We prove a Green--Tao theorem for multiplicative functions.


title: Anomalous Damping of a Micro-electro-mechanical Oscillator in Superfluid $^3$He-B

abstract: The mechanical resonance properties of a micro-electro-mechanical oscillator with a gap of 1.25 $\mu$m was studied in superfluid $^3$He-B at various pressures. The oscillator was driven in the linear damping regime where the damping coefficient is independent of the oscillator velocity. The quality factor of the oscillator remains low ($Q\approx 80$) down to 0.1 $T_c$, 4 orders of magnitude less than the intrinsic quality factor measured in vacuum at 4 K. In addition to the Boltzmann temperature dependent contribution to the damping, a damping proportional to temperature was found to dominate at low temperatures. We propose a multiple scattering mechanism of the surface Andreev bound states to be a possible cause for the anomalous damping.


title: Self-consistent scheme for optical response of large hybrid networks of semiconductor quantum dots and plasmonic metal nanoparticles

abstract: We discuss a self-consistent scheme for treating the optical response of large, hybrid networks of semiconducting quantum dots (SQDs) and plasmonic metallic nanoparticles (MNPs). Our method is efficient and scalable and becomes exact in the limiting case of weakly interacting SQDs. The self-consistent equations obtained for the steady state are analogous to the von Neumann equations of motion for the density matrix of a SQD placed in an effective electric field computed within the discrete dipole approximation. Illustrative applications of the theory to square and honeycomb SQD, MNP, and hybrid SDQ-MNP lattices as well as SQD-MNP dimers are presented. Our results demonstrate that hybrid SQD-MNP lattices can provide flexible platforms for light manipulation with tunable resonant characteristics.


title: Kepler-108: A Mutually Inclined Giant Planet System

abstract: The vast majority of well studied giant-planet systems, including the Solar System, are nearly coplanar which implies dissipation within a primordial gas disk. however, intrinsic instability may lead to planet-planet scattering, which often produces non-coplanar, eccentric orbits. Planet scattering theories have been developed to explain observed high eccentricity systems and also hot Jupiters; thus far their predictions for mutual inclination (I) have barely been tested. Here we characterize a highly mutually-inclined (I ~ 15-60 degrees), moderately eccentric (e >~ 0.1) giant planet system: Kepler-108. This system consists of two approximately Saturn-mass planets with periods of ~49 and ~190 days around a star with a wide (~300AU) binary companion in an orbital configuration inconsistent with a purely disk migration origin.


title: Lifted Convex Quadratic Programming

abstract: Symmetry is the essential element of lifted inference that has recently demon- strated the possibility to perform very efficient inference in highly-connected, but symmetric probabilistic models models. This raises the question, whether this holds for optimisation problems in general. Here we show that for a large class of optimisation methods this is actually the case. More precisely, we introduce the concept of fractional symmetries of convex quadratic programs (QPs), which lie at the heart of many machine learning approaches, and exploit it to lift, i.e., to compress QPs. These lifted QPs can then be tackled with the usual optimization toolbox (off-the-shelf solvers, cutting plane algorithms, stochastic gradients etc.). If the original QP exhibits symmetry, then the lifted one will generally be more compact, and hence their optimization is likely to be more efficient.


title: Omnivore: An Optimizer for Multi-device Deep Learning on CPUs and GPUs

abstract: We study the factors affecting training time in multi-device deep learning systems. Given a specification of a convolutional neural network, our goal is to minimize the time to train this model on a cluster of commodity CPUs and GPUs. We first focus on the single-node setting and show that by using standard batching and data-parallel techniques, throughput can be improved by at least 5.5x over state-of-the-art systems on CPUs. This ensures an end-to-end training speed directly proportional to the throughput of a device regardless of its underlying hardware, allowing each node in the cluster to be treated as a black box. Our second contribution is a theoretical and empirical study of the tradeoffs affecting end-to-end training time in a multiple-device setting. We identify the degree of asynchronous parallelization as a key factor affecting both hardware and statistical efficiency. We see that asynchrony can be viewed as introducing a momentum term. Our results imply that tuning momentum is critical in asynchronous parallel configurations, and suggest that published results that have not been fully tuned might report suboptimal performance for some configurations. For our third contribution, we use our novel understanding of the interaction between system and optimization dynamics to provide an efficient hyperparameter optimizer. Our optimizer involves a predictive model for the total time to convergence and selects an allocation of resources to minimize that time. We demonstrate that the most popular distributed deep learning systems fall within our tradeoff space, but do not optimize within the space. By doing this optimization, our prototype runs 1.9x to 12x faster than the fastest state-of-the-art systems.


title: Directional Modulation via Symbol-Level Precoding: A Way to Enhance Security

abstract: Wireless communication provides a wide coverage at the cost of exposing information to unintended users. As an information-theoretic paradigm, secrecy rate derives bounds for secure transmission when the channel to the eavesdropper is known. However, such bounds are shown to be restrictive in practice and may require exploitation of specialized coding schemes. In this paper, we employ the concept of directional modulation and follow a signal processing approach to enhance the security of multi-user MIMO communication systems when a multi-antenna eavesdropper is present. Enhancing the security is accomplished by increasing the symbol error rate at the eavesdropper. Unlike the information-theoretic secrecy rate paradigm, we assume that the legitimate transmitter is not aware of its channel to the eavesdropper, which is a more realistic assumption. We examine the applicability of MIMO receiving algorithms at the eavesdropper. Using the channel knowledge and the intended symbols for the users, we design security enhancing symbol-level precoders for different transmitter and eavesdropper antenna configurations. We transform each design problem to a linearly constrained quadratic program and propose two solutions, namely the iterative algorithm and one based on non-negative least squares, at each scenario for a computationally-efficient modulation. Simulation results verify the analysis and show that the designed precoders outperform the benchmark scheme in terms of both power efficiency and security enhancement.


title: Expectations for high energy diffuse galactic neutrinos for different cosmic ray distributions

abstract: The interaction of cosmic rays with the gas contained in our Galaxy is a guaranteed source of diffuse high energy neutrinos. We provide expectations for this component by considering different assumptions for the cosmic ray distribution in the Galaxy which are intended to cover the large uncertainty in cosmic ray propagation models. We calculate the angular dependence of the diffuse galactic neutrino flux and the corresponding rate of High Energy Starting Events in IceCube by including the effect of detector angular resolution. Moreover we discuss the possibility to discriminate the galactic component from an isotropic astrophysical flux. We show that a statistically significant excess of events from the galactic plane in present IceCube data would favour models in which the cosmic ray density in the inner galactic region is much larger than its local value, thus bringing relevant information on the cosmic ray radial distribution.


title: Nonequilibrium Electron Dynamics in a Solid with a Changing Nodal Excitation Gap

abstract: We develop a computationally inexpensive model to examine the dynamics of boson-assisted electron relaxation in solids, studying nonequilibrium dynamics in a metal, in a nodal superconductor with a stationary density of states, and in a nodal superconductor where the gap dynamically opens. In the metallic system, the electron population resembles a thermal population at all times, but the presence of even a fixed nodal gap both invalidates a purely thermal treatment and sharply curtails relaxation rates. For a gap that is allowed to open as electron relaxation proceeds, effects are even more pronounced, and gap dynamics become coupled to the dynamics of the electron population. Comparisons to experiments reveal that phase-space restrictions in the presence of a gap are likely to play a significant role in the widespread observation of coexisting femtosecond and picosecond dynamics in the cuprate high-temperature superconductors.


title: Origin of the metal-to-insulator crossover in cuprate superconductors

abstract: Superconductivity in cuprates peaks in the doping regime between a metal at high p and an insulator at low p. Understanding how the material evolves from metal to insulator is a fundamental and open question. Early studies in high magnetic fields revealed that below some critical doping an insulator-like upturn appears in the resistivity of cuprates at low temperature, but its origin has remained a puzzle. Here we propose that this 'metal-to-insulator crossover' is due to a drop in carrier density n associated with the onset of the pseudogap phase at a critical doping p*. We use high-field resistivity measurements on LSCO to show that the upturns are quantitatively consistent with a drop from n=1+p above p* to n=p below p*, in agreement with high-field Hall data in YBCO. We demonstrate how previously reported upturns in the resistivity of LSCO, YBCO and Nd-LSCO are explained by the same universal mechanism: a drop in carrier density by 1.0 hole per Cu atom.


title: A Linearized Power Flow Model for Optimization in Unbalanced Distribution Systems

abstract: Optimal Power Flow (OPF) is an important tool used to coordinate assets in electric power systems to ensure customer voltages are within pre-defined tolerances and to improve distribution system operations. While convex relaxations of Optimal Power Flow (OPF) problems have been proposed for both balanced and unbalanced networks, these approaches do not provide universal convexity guarantees and scale inefficiently as network size and the number of constraints increase. To address these issues, we have recently explored a novel linearized OPF formulation for unbalanced distribution systems. Our approach is made possible in part by approximating the ratio of voltages across phases throughout the network. In this work, we generalize the previous formulation to allow arbitrary complex numbers to approximate voltage ratios at different locations in the feeder. Furthermore, we continue the analysis of the linearized OPF via comparison to results obtained through convex relaxations and Semi-Definite Programming (SDP). Simulations of IEEE test feeders show that the proposed formulation produces control decisions that closely approximate those obtained via SDP relaxations. In a specific case, we show that the linearized OPF is capable of solving certain problems which cannot be formulated as SDPs.


title: Some open problems in mathematical two-dimensional conformal field theory

abstract: We discuss some open problems in a program of constructing and studying two-dimensional conformal field theories using the representation theory of vertex operator algebras.


title: Reducibility of 1-d Schroedinger equation with time quasiperiodic unbounded perturbations, I

abstract: We study the Schr\"odinger equation on $\R$ with a polynomial potential behaving as $x^{2l}$ at infinity, $1\leq l\in\N$ and with a small time quasiperiodic perturbation. We prove that if the symbol of the perturbation grows at most like $(\xi^2+x^{2l})^{\beta/(2l)}$, with $\beta<l+1$, then the system is reducible. Some extensions including cases with $\beta=2l$ are also proved. The result implies boundedness of Sobolev norms. The proof is based on pseudodifferential calculus and KAM theory.


title: Range Majorities and Minorities in Arrays

abstract: Karpinski and Nekrich (2008) introduced the problem of parameterized range majority, which asks us to preprocess a string of length $n$ such that, given the endpoints of a range, one can quickly find all the distinct elements whose relative frequencies in that range are more than a threshold $\tau$. Subsequent authors have reduced their time and space bounds such that, when $\tau$ is fixed at preprocessing time, we need either $O(n \log (1 / \tau))$ space and optimal $O(1 / \tau)$ query time or linear space and $O((1 / \tau) \log \log \sigma)$ query time, where $\sigma$ is the alphabet size. In this paper we give the first linear-space solution with optimal $O(1 / \tau)$ query time, even with variable $\tau$ (i.e., specified with the query). For the case when $\sigma$ is polynomial on the computer word size, our space is optimally compressed according to the symbol frequencies in the string. Otherwise, either the compressed space is increased by an arbitrarily small constant factor or the time rises to any function in $(1/\tau)\cdot\omega(1)$. We obtain the same results on the complementary problem of parameterized range minority introduced by Chan et al. (2015), who had achieved linear space and $O(1 / \tau)$ query time with variable $\tau$.


title: Effros, Baire, Steinhaus and Non-Separability

abstract: We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving `sequential analysis' rather than separability, deducing it from the Baire property in a general Baire-space setting (rather than under topological completeness). It is applicable to absolutely-analytic normed groups (which include complete metrizable topological groups), and via a Steinhaus-type Sum-set Theorem (also a consequence of the shift-compactness theorem) includes the classical Open Mapping Theorem (separable or otherwise).


title: A priority based noise tolerant jet framework and algorithm

abstract: We introduce a new framework for jet definitions called p-jets that matches the computational speed of the currently used anti-k_T jet algorithm, but avoids combining much of the energy from background pileup events with signal jets. As a first illustration of the p-jet framework, we compare the effectiveness of a p-jet algorithm to the anti-k_T algorithm in reconstructing low energy jets from resonant Z boson production and 50 pileup events.


title: Reconstructing WKB from topological recursion

abstract: We prove that the topological recursion reconstructs the WKB expansion of a quantum curve for all spectral curves whose Newton polygons have no interior point (and that are smooth as affine curves). This includes nearly all previously known cases in the literature, and many more; in particular, it includes many quantum curves of order greater than two. We also explore the connection between the choice of ordering in the quantization of the spectral curve and the choice of integration divisor to reconstruct the WKB expansion.


title: Age and Structure of a Model Vapor-Deposited Glass

abstract: Glass films prepared by a process of physical vapor deposition have been shown to have thermodynamic and kinetic stability comparable to those of ordinary glasses aged for thousands of years. A central question in the study of vapor-deposited glasses, particularly in light of new knowledge regarding anisotropy in these materials, is whether the ultra-stable glassy films formed by vapor deposition are ever equivalent to those obtained by liquid cooling. We present a computational study of vapor deposition for a two-dimensional glass forming liquid using a methodology which closely mimics experiment. We find that for the model considered here, structures that arise in vapor-deposited materials are statistically identical to those observed in ordinary glasses, provided the two are compared at the same inherent structure energy. We also find that newly deposited hot molecules produce cascades of hot particles that propagate far into the film, possibly influencing the relaxation of the material.


title: Structural and electronic properties of Fe(AlxGa1-x)3 system

abstract: FeGa3 is a well known d-p hybridization induced intermetallic bandgap semiconductor. In this work, we present the experimental and theoretical results on the effect of Al substitution in FeGa3, obtained by x-ray diffraction (XRD), temperature dependent resistance measurement, room temperature Mossbauer measurements and density functional theory based electronic structure calculations. It is observed that upto x = 0.178 in Fe(AlxGa1-x)3, which is the maximum range studied in this work, Al substitution reduces the lattice parameters 'a' and 'c' preserving the parent tetragonal P42/mnm crystal structure of FeGa3. The bandgap of Fe(AlxGa1-x)3 for x = 0.178 is reduced by ~ 24% as compared to FeGa3. Rietveld refinement of the XRD data shows that the Al atoms replace Ga atoms located at the 8j sites in FeGa3. A comparison of the trends of the lattice parameters and energy bandgap observed in the calculations and the experiments also confirms that Al primarily replaces the Ga atoms in the 8j site.


title: Almost uniform convergence in noncommutative Dunford-Schwartz ergodic theorem

abstract: This article gives an affirmative solution to the problem whether the ergodic Ces\'aro averages generated by a positive Dunford-Schwartz operator in a noncommutative space $L^p(\mathcal M,\tau)$, $1\leq p<\infty$, converge almost uniformly (in Egorov's sense). This problem goes back to the original paper of Yeadon, published in 1977, where bilaterally almost uniform convergence of these averages was established for $p=1$.


title: Enumeration of cyclic permutations in vector grid classes

abstract: A grid class consists of permutations whose pictorial depiction can be partitioned into increasing and decreasing parts as determined by a given matrix. In this paper, we introduce a method for enumerating cyclic permutations in vector grid classes by establishing a bijective relationship with certain necklaces. We use this method to complete the enumeration of cyclic permutations in the length 3 vector grid classes. In addition, we define an analog of Wilf-equivalence between these sets. We conclude by discussing cyclic permutations in alternating grid classes.


title: Shallow Discourse Parsing Using Distributed Argument Representations and Bayesian Optimization

abstract: This paper describes the Georgia Tech team's approach to the CoNLL-2016 supplementary evaluation on discourse relation sense classification. We use long short-term memories (LSTM) to induce distributed representations of each argument, and then combine these representations with surface features in a neural network. The architecture of the neural network is determined by Bayesian hyperparameter search.


title: Optimising a balloon-borne polarimeter in the hard X-ray domain: from the PoGOLite Pathfinder to PoGO+

abstract: PoGOLite is a balloon-borne hard X-ray polarimeter dedicated to the study of point sources. Compton scattered events are registered using an array of plastic scintillator units to determine the polarisation of incident X-rays in the energy range 20 - 240 keV. In 2013, a near circumpolar balloon flight of 14 days duration was completed after launch from Esrange, Sweden, resulting in a measurement of the linear polarisation of the Crab emission. Building on the experience gained from this Pathfinder flight, the polarimeter is being modified to improve performance for a second flight in 2016. Such optimisations, based on Geant4 Monte Carlo simulations, take into account the source characteristics, the instrument response and the background environment which is dominated by atmospheric neutrons. This paper describes the optimisation of the polarimeter and details the associated increase in performance. The resulting design, PoGO+, is expected to improve the Minimum Detectable Polarisation (MDP) for the Crab from 19.8% to 11.1% for a 5 day flight. Assuming the same Crab polarisation fraction as measured during the 2013 flight, this improvement in MDP will allow a 5{\sigma} constrained result. It will also allow the study of the nebula emission only (Crab off-pulse) and Cygnus X-1 if in the hard state.


title: Gluonic Transversity from Lattice QCD

abstract: We present an exploratory study of the gluonic structure of the $\phi$ meson using lattice QCD (LQCD). This includes the first investigation of gluonic transversity via the leading moment of the twist-two double-helicity-flip gluonic structure function $\Delta(x,Q^2)$. This structure function only exists for targets of spin $J\ge1$ and does not mix with quark distributions at leading twist, thereby providing a particularly clean probe of gluonic degrees of freedom. We also explore the gluonic analogue of the Soffer bound which relates the helicity flip and non-flip gluonic distributions, finding it to be saturated at the level of 80%. This work sets the stage for more complex LQCD studies of gluonic structure in the nucleon and in light nuclei where $\Delta(x,Q^2)$ is an 'exotic glue' observable probing gluons in a nucleus not associated with individual nucleons.


title: Max-Margin Feature Selection

abstract: Many machine learning applications such as in vision, biology and social networking deal with data in high dimensions. Feature selection is typically employed to select a subset of features which im- proves generalization accuracy as well as reduces the computational cost of learning the model. One of the criteria used for feature selection is to jointly minimize the redundancy and maximize the rele- vance of the selected features. In this paper, we formulate the task of feature selection as a one class SVM problem in a space where features correspond to the data points and instances correspond to the dimensions. The goal is to look for a representative subset of the features (support vectors) which describes the boundary for the region where the set of the features (data points) exists. This leads to a joint optimization of relevance and redundancy in a principled max-margin framework. Additionally, our formulation enables us to leverage existing techniques for optimizing the SVM objective resulting in highly computationally efficient solutions for the task of feature selection. Specifically, we employ the dual coordinate descent algorithm (Hsieh et al., 2008), originally proposed for SVMs, for our formulation. We use a sparse representation to deal with data in very high dimensions. Experiments on seven publicly available benchmark datasets from a variety of domains show that our approach results in orders of magnitude faster solutions even while retaining the same level of accuracy compared to the state of the art feature selection techniques.


title: Hierarchy of orientational phases and axial anisotropies in the gauge theoretical description of generalized nematics

abstract: The paradigm of spontaneous symmetry breaking encompasses the breaking of the rotational symmetries $O(3)$ of isotropic space to a discrete subgroup, i.e. a three-dimensional point group. The subgroups form a rich hierarchy and allow for many different phases of matter with orientational order. Such spontaneous symmetry breaking occurs in nematic liquid crystals and a highlight of such anisotropic liquids are the uniaxial and biaxial nematics. Generalizing the familiar uniaxial and biaxial nematics to phases characterized by an arbitrary point group symmetry, referred to as \emph{generalized nematics}, leads to a large hierarchy of phases and possible orientational phase transitions. We discuss how a particular class of nematic phase transitions related to axial point groups can be efficiently captured within a recently proposed gauge theoretical formulation of generalized nematics [K. Liu, J. Nissinen, R.-J. Slager, K. Wu, J. Zaanen, Phys. Rev. X {\bf 6}, 041025 (2016)]. These transitions can be introduced in the model by considering anisotropic couplings that do not break any additional symmetries. By and large this generalizes the well-known uniaxial-biaxial nematic phase transition to any arbitrary axial point group in three dimensions. We find in particular that the generalized axial transitions are distinguished by two types of phase diagrams with intermediate vestigial orientational phases and that the window of the vestigial phase is intimately related to the amount of symmetry of the defining point group due to inherently growing fluctuations of the order parameter. This might explain the stability of the observed uniaxial-biaxial phases as compared to the yet to be observed other possible forms of generalized nematic order with higher point group symmetries.


title: An effective-field-theory analysis of Efimov physics in heteronuclear mixtures of ultracold atomic gases

abstract: We use an effective-field-theory framework to analyze the Efimov effect in heteronuclear three-body systems consisting of two species of atoms with a large interspecies scattering length. In the leading-order description of this theory, various three-body observables in heteronuclear mixtures can be universally parameterized by one three-body parameter. We present the next-to-leading corrections, which include the effects of the finite interspecies effective range and the finite intraspecies scattering length, to various three-body observables. We show that only one additional three-body parameter is required to render the theory predictive at this order. By including the effective range and intraspecies scattering length corrections, we derive a set of universal relations that connect the different Efimov features near the interspecies Feshbach resonance. Furthermore, we show that these relations can be interpreted in terms of the running of the three-body counterterms that naturally emerge from proper renormalization. Finally, we make predictions for recombination observables of a number of atomic systems that are of experimental interest.


title: The magnetorotational instability in debris-disc gas

abstract: Debris discs are commonly swathed in gas which can be observed in UV, in fine structure lines in FIR, and in resolved maps of CO emission. Carbon and oxygen are overabundant in such gas, but it is severely depleted in hydrogen. As a consequence, its ionisation fraction is remarkably high, suggesting magnetohydrodynamic (MHD) processes may be important. In particular, the gas may be subject to the magnetorotational instability (MRI), and indeed recent modelling of $\beta$ Pictoris requires an anomalous viscosity to explain the gas's observed radial structure. In this paper we explore the possibility that the MRI is active in debris-disc gas and responsible for the observed mass transport. We find that non-ideal MHD and dust-gas interactions play a subdominant role, and that linear instability is viable at certain radii. However, owing to low gas densities, the outer parts of the disc could be stabilised by a weak ambient magnetic field, though it is difficult to constrain such a field. Even if the MRI is stabilised by too strong a field, a magnetocentrifugal wind may be launched in its place and this could lead to equivalent (non-turbulent) transport. Numerical simulations of the vertically stratified MRI in conditions appropriate to the debris disc gas should be able to determine the nature of the characteristic behaviour at different radii, and decide on the importance of the MRI (and MHD more generally) on the evolution of these discs.


title: The Origin and Evolution of Saturn, with Exoplanet Perspective

abstract: Saturn formed beyond the snow line in the primordial solar nebula that made it possible for it to accrete a large mass. Disk instability and core accretion models have been proposed for Saturn's formation, but core accretion is favored on the basis of its volatile abundances, internal structure, hydrodynamic models, chemical characteristics of protoplanetary disk, etc. The observed frequency, properties and models of exoplanets provide additional supporting evidence for core accretion. The heavy elements with mass greater than 4He make up the core of Saturn, but are presently poorly constrained, except for carbon. The C/H ratio is super-solar, and twice that in Jupiter. The enrichment of carbon and other heavy elements in Saturn and Jupiter requires special delivery mechanisms for volatiles to these planets. In this chapter we will review our current understanding of the origin and evolution of Saturn and its atmosphere, using a multi-faceted approach that combines diverse sets of observations on volatile composition and abundances, relevant properties of the moons and rings, comparison with the other gas giant planet, Jupiter, analogies to the extrasolar giant planets, as well as pertinent theoretical models.


title: On the multiferroic skyrmion-host GaV4S8

abstract: The lacunar spinel GaV4S8 exhibits orbital ordering at 44 K and shows a complex magnetic phase diagram below 12.7 K, which includes ferromagnetic and cycloidal spin order. At low but finite external magnetic fields, N\'eel-type skyrmions are formed in this material. Skyrmions are whirl-like spin vortices that have received great theoretical interest because of their non-trivial spin topology and that are also considered as basic entities for new data-storage technologies. Interestingly, we found that the orbitally ordered phase shows sizable ferroelectric polarization and that excess spin-driven polarizations appear in all magnetic phases, including the skyrmion-lattice phase. Hence, GaV4S8 shows simultaneous magnetic and polar order and belongs to the class of multiferroics, materials that attracted enormous attention in recent years. Here, we summarize the existing experimental information on the magnetic, electronic, and dielectric properties of GaV4S8. By performing detailed magnetic susceptibility, resistivity, specific heat, and dielectric experiments, we complement the low-temperature phase diagram. Specifically, we show that the low-temperature and low-field ground state of GaV4S8 seems to have a more complex spin configuration than purely collinear ferromagnetic spin order. In addition, at the structural Jahn-Teller transition the magnetic exchange interaction changes from antiferromagnetic to ferromagnetic. We also provide experimental evidence that the vanadium V4 clusters in GaV4S8 can be regarded as molecular units with spin 1/2. However, at high temperatures deviations in the susceptibility show up, indicating that either the magnetic moments of the vanadium atoms fluctuate independently or excited states of the V4 molecule become relevant.


title: Why is Compiling Lifted Inference into a Low-Level Language so Effective?

abstract: First-order knowledge compilation techniques have proven efficient for lifted inference. They compile a relational probability model into a target circuit on which many inference queries can be answered efficiently. Early methods used data structures as their target circuit. In our KR-2016 paper, we showed that compiling to a low-level program instead of a data structure offers orders of magnitude speedup, resulting in the state-of-the-art lifted inference technique. In this paper, we conduct experiments to address two questions regarding our KR-2016 results: 1- does the speedup come from more efficient compilation or more efficient reasoning with the target circuit?, and 2- why are low-level programs more efficient target circuits than data structures?


title: A note on the spectrum of the Neumann Laplacian in periodic waveguides

abstract: We study the Neumann Laplacian $-\Delta^N$ restricted to a periodic waveguide. In this situation its spectrum $\sigma(-\Delta^N)$ presents a band structure. Our goal and strategy is to get spectral information from an analysis of the asymptotic behavior of these bands provided that the waveguide is sufficiently thin.


title: On the degree-wise coherence of FI_G-modules

abstract: In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its torsion, appears in only finitely many degrees. Using this technical result, we prove that the category of coherent FI_G-modules is abelian, independent of any assumptions on the group G, or the coefficient ring k. Following this, we consider applications towards the local cohomology theory of FI_G-modules, introduced by Li and the author in previous work.


title: Enumerating graded ideals in graded rings associated to free nilpotent Lie rings

abstract: We compute the zeta functions enumerating graded ideals in the graded Lie rings associated with the free $d$-generator Lie rings $\mathfrak{f}_{c,d}$ of nilpotency class $c$ for all $c\leq2$ and for $(c,d)\in\{(3,3),(3,2),(4,2)\}$. We apply our computations to obtain information about $\mathfrak{p}$-adic, reduced, and topological zeta functions, in particular pertaining to their degrees and some special values.


title: V\'enus selon Ibn al-Shatir

abstract: We attempt to grasp the mathematics behind the planetary theories of the Syrian astronomer Ibn al-Shatir (1304-1375) in his treatise Nihayat al-Sul. Following the Maragha school of astronomers, by composing circular movements with constant angular velocity, Ibn al-Shatir attains two goals. He eliminates the need of excentrics and equant points in astronomy; but he also describes longitudes and latitudes with a unique method, with no more orbs than what is strictly necessary to the longitudes. A better understanding of rotation as a spatial transformation enables this ultimate economy of thought. In our commentary, we take Venus as an example offering an interesting problem about the latitudes. It is the opportunity to give the edition of the chapter of the Nihayat al-Sul dedicated to the latitudes of Mercury and Venus.