title: CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

abstract: A significant amount of both client and server-side cryptography is implemented in JavaScript. Despite widespread concerns about its security, no other language has been able to match the convenience that comes from its ubiquitous support on the "web ecosystem" - the wide variety of technologies that collectively underpins the modern World Wide Web. With the new introduction of the WebAssembly bytecode language (Wasm) into the web ecosystem, we have a unique opportunity to advance a principled alternative to existing JavaScript cryptography use cases which does not compromise this convenience. We present Constant-Time WebAssembly (CT-Wasm), a type-driven strict extension to WebAssembly which facilitates the verifiably secure implementation of cryptographic algorithms. CT-Wasm's type system ensures that code written in CT-Wasm is both information flow secure and resistant to timing side channel attacks; like base Wasm, these guarantees are verifiable in linear time. Building on an existing Wasm mechanization, we mechanize the full CT-Wasm specification, prove soundness of the extended type system, implement a verified type checker, and give several proofs of the language's security properties. We provide two implementations of CT-Wasm: an OCaml reference interpreter and a native implementation for Node.js and Chromium that extends Google's V8 engine. We also implement a CT-Wasm to Wasm rewrite tool that allows developers to reap the benefits of CT-Wasm's type system today, while developing cryptographic algorithms for base Wasm environments. We evaluate the language, our implementations, and supporting tools by porting several cryptographic primitives - Salsa20, SHA-256, and TEA - and the full TweetNaCl library. We find that CT-Wasm is fast, expressive, and generates code that we experimentally measure to be constant-time.


title: High-Precision Scanning Water Vapor Radiometers for Cosmic Microwave Background Site Characterization and Comparison

abstract: The compelling science case for the observation of B-mode polarization in the cosmic microwave background (CMB) is driving the CMB community to expand the observed sky fraction, either by extending survey sizes or by deploying receivers to potential new northern sites. For ground-based CMB instruments, poorly-mixed atmospheric water vapor constitutes the primary source of short-term sky noise. This results in short-timescale brightness fluctuations, which must be rejected by some form of modulation. To maximize the sensitivity of ground-based CMB observations, it is useful to understand the effects of atmospheric water vapor over timescales and angular scales relevant for CMB polarization measurements. To this end, we have undertaken a campaign to perform a coordinated characterization of current and potential future observing sites using scanning 183 GHz water vapor radiometers (WVRs). So far, we have deployed two identical WVR units; one at the South Pole, Antarctica, and the other at Summit Station, Greenland. The former site has a long heritage of ground-based CMB observations and is the current location of the Bicep/Keck Array telescopes as well as the South Pole Telescope. The latter site, though less well characterized, is under consideration as a northern-hemisphere location for future CMB receivers. Data collection from this campaign began in January 2016 at South Pole and July 2016 at Summit Station. Data analysis is ongoing to reduce the data to a single spatial and temporal statistic that can be used for one-to-one site comparison.


title: A Generalised Exactness Structure for Sets

abstract: Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general notion of an adjunction. A suitable method to express such functor-level relations is to consider functors into categories of families. This structure is then used to show that the central exactness structure in self-dual group theory, consisting of a chain of adjunctions, holds also for the category of sets when seen in this general form.


title: A characterization of "Phelpsian" statistical discrimination

abstract: We establish that statistical discrimination is possible if and only if it is impossible to uniquely identify the signal structure observed by an employer from a realized empirical distribution of skills. The impossibility of statistical discrimination is shown to be equivalent to the existence of a fair, skill-dependent, remuneration for workers. Finally, we connect the statistical discrimination literature to Bayesian persuasion, establishing that if discrimination is absent, then the optimal signaling problem results in a linear payoff function (as well as a kind of converse).


title: DeepCloak: Adversarial Crafting As a Defensive Measure to Cloak Processes

abstract: Over the past decade, side-channels have proven to be significant and practical threats to modern computing systems. Recent attacks have all exploited the underlying shared hardware. While practical, mounting such a complicated attack is still akin to listening on a private conversation in a crowded train station. The attacker has to either perform significant manual labor or use AI systems to automate the process. The recent academic literature points to the latter option. With the abundance of cheap computing power and the improvements made in AI, it is quite advantageous to automate such tasks. By using AI systems however, malicious parties also inherit their weaknesses. One such weakness is undoubtedly the vulnerability to adversarial samples. In contrast to the previous literature, for the first time, we propose the use of adversarial learning as a defensive tool to obfuscate and mask private information. We demonstrate the viability of this approach by first training CNNs and other machine learning classifiers on leakage trace of different processes. After training highly accurate models (99+% accuracy), we investigate their resolve against adversarial learning methods. By applying minimal perturbations to input traces, the adversarial traffic by the defender can run as an attachment to the original process and cloak it against a malicious classifier. Finally, we investigate whether an attacker can protect her classifier model by employing adversarial defense methods, namely adversarial re-training and defensive distillation. Our results show that even in the presence of an intelligent adversary that employs such techniques, all 10 of the tested adversarial learning methods still manage to successfully craft adversarial perturbations and the proposed cloaking methodology succeeds.


title: Edge Based Data-Driven Pipelines (Technical Report)

abstract: This research reports investigates an edge on-device stream processing platform, which extends the serverless com- puting model to the edge to help facilitate real-time data analytics across the cloud and edge in a uniform manner. We investigate associated use cases and architectural design. We deployed and tested our system on edge devices (Raspberry Pi and Android Phone), which proves that stream processing analytics can be performed at the edge of the network with single board computers in a real-time fashion.


title: Resonance Raman spectroscopy of silicene and germanene

abstract: We model Raman processes in silicene and germanene involving scattering of quasiparticles by, either, two phonons, or, one phonon and one point defect. We compute the resonance Raman intensities and lifetimes for laser excitations between 1 and 3$\,$eV using a newly developed third-nearest neighbour tight-binding model parametrized from first principles density functional theory. We identify features in the Raman spectra that are unique to the studied materials or the defects therein. We find that in silicene, a new Raman resonance arises from the $2.77\,\rm$eV $\pi-\sigma$ plasmon at the M point, measurably higher than the Raman resonance originating from the $2.12\,\rm$eV $\pi$ plasmon energy. We show that in germanene, the lifetimes of charge carriers, and thereby the linewidths of the Raman peaks, are influenced by spin-orbit splittings within the electronic structure. We use our model to predict scattering cross sections for defect induced Raman scattering involving adatoms, substitutional impurities, Stone-Wales pairs, and vacancies, and argue that the presence of each of these defects in silicene and germanene can be qualitatively matched to specific features in the Raman response.


title: A Deep Learning based Joint Segmentation and Classification Framework for Glaucoma Assesment in Retinal Color Fundus Images

abstract: Automated Computer Aided diagnostic tools can be used for the early detection of glaucoma to prevent irreversible vision loss. In this work, we present a Multi-task Convolutional Neural Network (CNN) that jointly segments the Optic Disc (OD), Optic Cup (OC) and predicts the presence of glaucoma in color fundus images. The CNN utilizes a combination of image appearance features and structural features obtained from the OD-OC segmentation to obtain a robust prediction. The use of fewer network parameters and the sharing of the CNN features for multiple related tasks ensures the good generalizability of the architecture, allowing it to be trained on small training sets. The cross-testing performance of the proposed method on an independent validation set acquired using a different camera and image resolution was found to be good with an average dice score of 0.92 for OD, 0.84 for OC and AUC of 0.95 on the task of glaucoma classification illustrating its potential as a mass screening tool for the early detection of glaucoma.


title: Deep Learning-Based Multiple Object Visual Tracking on Embedded System for IoT and Mobile Edge Computing Applications

abstract: Compute and memory demands of state-of-the-art deep learning methods are still a shortcoming that must be addressed to make them useful at IoT end-nodes. In particular, recent results depict a hopeful prospect for image processing using Convolutional Neural Netwoks, CNNs, but the gap between software and hardware implementations is already considerable for IoT and mobile edge computing applications due to their high power consumption. This proposal performs low-power and real time deep learning-based multiple object visual tracking implemented on an NVIDIA Jetson TX2 development kit. It includes a camera and wireless connection capability and it is battery powered for mobile and outdoor applications. A collection of representative sequences captured with the on-board camera, dETRUSC video dataset, is used to exemplify the performance of the proposed algorithm and to facilitate benchmarking. The results in terms of power consumption and frame rate demonstrate the feasibility of deep learning algorithms on embedded platforms although more effort to joint algorithm and hardware design of CNNs is needed.


title: A recurrent multi-scale approach to RBG-D Object Recognition

abstract: Technological development aims to produce generations of increasingly efficient robots able to perform complex tasks. This requires considerable efforts, from the scientific community, to find new algorithms that solve computer vision problems, such as object recognition. The diffusion of RGB-D cameras directed the study towards the research of new architectures able to exploit the RGB and Depth information. The project that is developed in this thesis concerns the realization of a new end-to-end architecture for the recognition of RGB-D objects called RCFusion. Our method generates compact and highly discriminative multi-modal features by combining complementary RGB and depth information representing different levels of abstraction. We evaluate our method on standard object recognition datasets, RGB-D Object Dataset and JHUIT-50. The experiments performed show that our method outperforms the existing approaches and establishes new state-of-the-art results for both datasets.


title: Attributes' Importance for Zero-Shot Pose-Classification Based on Wearable Sensors

abstract: This paper presents a simple yet effective method for improving the performance of zero-shot learning (ZSL). ZSL classifies instances of unseen classes, from which no training data is available, by utilizing the attributes of the classes. Conventional ZSL methods have equally dealt with all the available attributes, but this sometimes causes misclassification. This is because an attribute that is effective for classifying instances of one class is not always effective for another class. In this case, a metric of classifying the latter class can be undesirably influenced by the irrelevant attribute. This paper solves this problem by taking the importance of each attribute for each class into account when calculating the metric. In addition to the proposal of this new method, this paper also contributes by providing a dataset for pose classification based on wearable sensors, named HDPoseDS. It contains 22 classes of poses performed by 10 subjects with 31 IMU sensors across full body. To the best of our knowledge, it is the richest wearable-sensor dataset especially in terms of sensor density, and thus it is suitable for studying zero-shot pose/action recognition. The presented method was evaluated on HDPoseDS and outperformed relative improvement of 5.9% in comparison to the best baseline method.


title: Deep Neural Network for Analysis of DNA Methylation Data

abstract: Many researches demonstrated that the DNA methylation, which occurs in the context of a CpG, has strong correlation with diseases, including cancer. There is a strong interest in analyzing the DNA methylation data to find how to distinguish different subtypes of the tumor. However, the conventional statistical methods are not suitable for analyzing the highly dimensional DNA methylation data with bounded support. In order to explicitly capture the properties of the data, we design a deep neural network, which composes of several stacked binary restricted Boltzmann machines, to learn the low dimensional deep features of the DNA methylation data. Experiments show these features perform best in breast cancer DNA methylation data cluster analysis, comparing with some state-of-the-art methods.


title: Information entropy for a two-dimensional rotating Bose-Einstein condensate

abstract: We study the information entropy, order, disorder, and complexity for the two-dimensional (2D) rotating and nonrotating Bose-Einstein condensates. The choice of our system is a complete theoretical laboratory where the complexity is controlled by the two-body contact interaction strength and the rotation frequency ($\Omega$) of the harmonic trap. The 2D nonrotating condensate shows the complexity of the category I where the disorder-order transition is triggered by the interaction strength. In the rotating condensates, $\Omega$ is chosen as the disorder parameter when the interaction strength is fixed. With respect to $\Omega$, the complexity shifts between the maximum and minimum confirm the existence of category II complexity in the rotating condensate. Also, We consider the interaction strength as the disorder parameter when $\Omega$ is unchanged and complexity as a function of interaction strength exhibits category III complexity. The present work also includes the calculation of upper bound and lower bound of entropy for 2D quantum systems.


title: The causal approach proof for the equivalence of $SDKP_{4}$ and $SQED_{4}$ at tree-level

abstract: The description of the electromagnetic interaction of charged spinless particles is usually formulated by the Scalar Quantum Electrodynamics. However, there is an alternative formulation given by the Duffin-Kemmer-Petiau theory: the Scalar DKP gauge theory. The proof of the equivalence between these two formulations has been discussed in many researches, but there is not yet a conclusive proof. In this paper, we initiate a complete proof in the framework of the Causal Perturbation theory, showing that both scalar formulations provide the same results for the differential cross section at tree level.


title: Families of major index distributions: closed forms and unimodality

abstract: Closed forms for $f_{\lambda,i} (q) := \sum_{\tau \in SYT(\lambda) : des(\tau) = i} q^{maj(\tau)}$, the distribution of the major index over standard Young tableaux of given shapes and specified number of descents, are established for a large collection of $\lambda$ and $i$. Of particular interest is the family that gives a positive answer to a question of Sagan and collaborators. All formulas established in the paper are unimodal, most by a result of Kirillov and Reshetikhin. Many can be identified as specializations of Schur functions via the Jacobi-Trudi identities. If the number of arguments is sufficiently large, it is shown that any finite principal specialization of any Schur function $s_\lambda(1,q,q^2,\dots,q^{n-1})$ has a combinatorial realization as the distribution of the major index over a given set of tableaux.


title: GeneSys: Enabling Continuous Learning through Neural Network Evolution in Hardware

abstract: Modern deep learning systems rely on (a) a hand-tuned neural network topology, (b) massive amounts of labeled training data, and (c) extensive training over large-scale compute resources to build a system that can perform efficient image classification or speech recognition. Unfortunately, we are still far away from implementing adaptive general purpose intelligent systems which would need to learn autonomously in unknown environments and may not have access to some or any of these three components. Reinforcement learning and evolutionary algorithm (EA) based methods circumvent this problem by continuously interacting with the environment and updating the models based on obtained rewards. However, deploying these algorithms on ubiquitous autonomous agents at the edge (robots/drones) demands extremely high energy-efficiency due to (i) tight power and energy budgets, (ii) continuous/lifelong interaction with the environment, (iii) intermittent or no connectivity to the cloud to run heavy-weight processing. To address this need, we present GENESYS, an HW-SW prototype of an EA-based learning system, that comprises a closed loop learning engine called EvE and an inference engine called ADAM. EvE can evolve the topology and weights of neural networks completely in hardware for the task at hand, without requiring hand-optimization or backpropagation training. ADAM continuously interacts with the environment and is optimized for efficiently running the irregular neural networks generated by EvE. GENESYS identifies and leverages multiple unique avenues of parallelism unique to EAs that we term 'gene'- level parallelism, and 'population'-level parallelism. We ran GENESYS with a suite of environments from OpenAI gym and observed 2-5 orders of magnitude higher energy-efficiency over state-of-the-art embedded and desktop CPU and GPU systems.


title: Recursively Preconditioned Hierarchical Interpolative Factorization for Elliptic Partial Differential Equations

abstract: The hierarchical interpolative factorization for elliptic partial differential equations is a fast algorithm for approximate sparse matrix inversion in linear or quasilinear time. Its accuracy can degrade, however, when applied to strongly ill-conditioned problems. Here, we propose a simple modification that can significantly improve the accuracy at no additional asymptotic cost: applying a block Jacobi preconditioner before each level of skeletonization. This dramatically limits the impact of the underlying system conditioning and enables the construction of robust and highly efficient preconditioners even at quite modest compression tolerances. Numerical examples demonstrate the performance of the new approach.


title: Search for heavy resonances decaying into two Higgs bosons or into a Higgs boson and a W or Z boson in proton-proton collisions at 13 TeV

abstract: A search is presented for massive narrow resonances decaying either into two Higgs bosons, or into a Higgs boson and a W or Z boson. The decay channels considered are HH $\to \mathrm{b\overline{b}}\tau^{+}\tau^{-}$ and VH $\to \mathrm{q\overline{q}}\tau^{+}\tau^{-}$, where H denotes the Higgs boson, and V denotes the W or Z boson. This analysis is based on a data sample of proton-proton collisions collected at a center-of-mass energy of 13 TeV by the CMS Collaboration, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. For the TeV-scale mass resonances considered, substructure techniques provide ways to differentiate among the hadronization products from vector boson decays to quarks, Higgs boson decays to bottom quarks, and quark- or gluon-induced jets. Reconstruction techniques are used that have been specifically optimized to select events in which the tau lepton pair is highly boosted. The observed data are consistent with standard model expectations and upper limits are set at 95% confidence level on the product of cross section and branching fraction for resonance masses between 0.9 and 4.0 TeV. Exclusion limits are set in the context of bulk radion and graviton models: spin-0 radion resonances are excluded below a mass of 2.7 TeV at 95% confidence level. In the spin-1 heavy vector triplet framework, mass-degenerate W' and Z' resonances with dominant couplings to the standard model gauge bosons are excluded below a mass of 2.8 TeV at 95% confidence level. There are the first limits for these decay channels at $\sqrt{s} =$ 13 TeV.


title: Opening nodes and the DPW method

abstract: We combine the DPW method and Opening Nodes to construct embedded surfaces of positive constant mean curvature with Delaunay ends in euclidean space, with no limitation to the genus or number of ends.


title: Collapse of Kondo state and ferromagnetic quantum phase transition in YbFe$_2$Zn$_{20}$

abstract: We present the electrical resistivity data under application of pressures up to $\sim$ 26 GPa and down to 50 mK temperatures on YbFe$_2$Zn$_{20}$. We find a pressure induced magnetic phase transition with an onset at $p_c$=18.2$\pm$0.8 GPa. At ambient pressure, YbFe$_2$Zn$_{20}$ manifests a heavy fermion, nonmagnetic ground state and the Fermi liquid behavior at low temperatures. As pressure is increased, the power law exponent in resistivity, $n$, deviates significantly from Fermi liquid behavior and tends to saturate with $n$ = 1 near $p_c$. A pronounced resistivity maximum, $T_\text{max}$, which scales with Kondo temperature is observed. $T_\text{max}$ decreases with increasing pressure and flattened out near $p_c$ indicating the suppression of Kondo exchange interaction. For $p>p_c$, $T_\text{max}$ shows a sudden upward shift, most likely becoming associated with crystal electric field scattering. Application of magnetic field for $p>p_c$ broadens the transition and shifts it toward the higher temperature, which is a typical behavior of the ferromagnetic transition. The magnetic transition appears to abruptly develop above $p_c$, suggesting probable first-order (with changing pressure) nature of the transition; once stabilized, the ordering temperature does not depend on pressure up to $\sim$ 26 GPa. Taken as a whole, these data suggest that YbFe$_2$Zn$_{20}$ has a quantum phase transition at $p_c$ = 18.2 GPa associated with the avoided quantum criticality in metallic ferromagnets.


title: PICO - the probe of inflation and cosmic origins

abstract: The Probe of Inflation and Cosmic Origins (PICO) is a NASA-funded study of a Probe-class mission concept. The top-level science objectives are to probe the physics of the Big Bang by measuring or constraining the energy scale of inflation, probe fundamental physics by measuring the number of light particles in the Universe and the sum of neutrino masses, to measure the reionization history of the Universe, and to understand the mechanisms driving the cosmic star formation history, and the physics of the galactic magnetic field. PICO would have multiple frequency bands between 21 and 799 GHz, and would survey the entire sky, producing maps of the polarization of the cosmic microwave background radiation, of galactic dust, of synchrotron radiation, and of various populations of point sources. Several instrument configurations, optical systems, cooling architectures, and detector and readout technologies have been and continue to be considered in the development of the mission concept. We will present a snapshot of the baseline mission concept currently under development.


title: Optical Design of PICO, a Concept for a Space Mission to Probe Inflation and Cosmic Origins

abstract: The Probe of Inflation and Cosmic Origins (PICO) is a probe-class mission concept currently under study by NASA. PICO will probe the physics of the Big Bang and the energy scale of inflation, constrain the sum of neutrino masses, measure the growth of structures in the universe, and constrain its reionization history by making full sky maps of the cosmic microwave background with sensitivity 80 times higher than the Planck space mission. With bands at 21-799 GHz and arcmin resolution at the highest frequencies, PICO will make polarization maps of Galactic synchrotron and dust emission to observe the role of magnetic fields in Milky Way's evolution and star formation. We discuss PICO's optical system, focal plane, and give current best case noise estimates. The optical design is a two-reflector optimized open-Dragone design with a cold aperture stop. It gives a diffraction limited field of view (DLFOV) with throughput of 910 square cm sr at 21 GHz. The large 82 square degree DLFOV hosts 12,996 transition edge sensor bolometers distributed in 21 frequency bands and maintained at 0.1 K. We use focal plane technologies that are currently implemented on operating CMB instruments including three-color multi-chroic pixels and multiplexed readouts. To our knowledge, this is the first use of an open-Dragone design for mm-wave astrophysical observations, and the only monolithic CMB instrument to have such a broad frequency coverage. With current best case estimate polarization depth of 0.65 microK(CMB}-arcmin over the entire sky, PICO is the most sensitive CMB instrument designed to date.


title: Magnetic structure, dipole reversals, and 1/f noise in resistive MHD spherical dynamos

abstract: A parametric study of the magnetic dipole behavior in resistive incompressible MHD inside a rotating sphere is performed, using direct numerical simulations and considering Reynolds and Ekman numbers as controlling parameters. The tendency is to obtain geodynamo-like magnetic dipole reversal regimes for sufficiently small Ekman and large Reynolds numbers. The typical dipole latitude obtained in the reversal regime is around 40 degrees (with respect to the rotation axis of the sphere). A statistical analysis of waiting times between dipole reversals is also performed, obtaining a non-Poissonian distribution of waiting times, indicating long-term memory effects. We also report the presence of a $1/f$ frequency power spectrum in the magnetic dipole time-series, which also shows a tendency to grow toward lower frequencies as the Ekman number is decreased.


title: Large Scale Language Modeling: Converging on 40GB of Text in Four Hours

abstract: Recent work has shown how to train Convolutional Neural Networks (CNNs) rapidly on large image datasets, then transfer the knowledge gained from these models to a variety of tasks. Following [Radford 2017], in this work, we demonstrate similar scalability and transfer for Recurrent Neural Networks (RNNs) for Natural Language tasks. By utilizing mixed precision arithmetic and a 32k batch size distributed across 128 NVIDIA Tesla V100 GPUs, we are able to train a character-level 4096-dimension multiplicative LSTM (mLSTM) for unsupervised text reconstruction over 3 epochs of the 40 GB Amazon Reviews dataset in four hours. This runtime compares favorably with previous work taking one month to train the same size and configuration for one epoch over the same dataset. Converging large batch RNN models can be challenging. Recent work has suggested scaling the learning rate as a function of batch size, but we find that simply scaling the learning rate as a function of batch size leads either to significantly worse convergence or immediate divergence for this problem. We provide a learning rate schedule that allows our model to converge with a 32k batch size. Since our model converges over the Amazon Reviews dataset in hours, and our compute requirement of 128 Tesla V100 GPUs, while substantial, is commercially available, this work opens up large scale unsupervised NLP training to most commercial applications and deep learning researchers. A model can be trained over most public or private text datasets overnight.


title: A functional approach to soft graviton scattering and BMS charges

abstract: We consider the interaction between a matter system and soft gravitons. We use a functional eikonal expansion to deal with the infrared divergences, and introduce a "composite generating functional" which allows us to calculate a decoherence functional for the time evolution of the system. These techniques allow us to formulate scattering problems in a way which deals consistently with infrared effects, as well as being manifestly diffeomorphism invariant. We show how the asymptotic form of the decoherence functional can be written in terms of the infinitely many conserved charges associated with asymptotic BMS symmetries, and allow us to address the question of how much information is lost during the scattering.


title: Two-photon optical frequency reference with active ac Stark shift cancellation

abstract: An optical reference based on a two-photon optical transition with ac Stark shift cancellation is proposed. The reference uses two interrogating laser fields at different frequencies. Compared to conventional optical two-photon references, the new approach offers the possibility for improved short-term stability resulting from a higher signal-to-noise and improved long-term stability due to active ac Stark shift cancellation. We demonstrate the ac Stark shift cancellation method on the $5s\,{^2S}_{1/2} \rightarrow 5d\,{^2D}_{5/2}$ two-photon transition in $^{87}$Rb.


title: Modelling Non-Markovian Quantum Processes with Recurrent Neural Networks

abstract: Quantum systems interacting with an unknown environment are notoriously difficult to model, especially in presence of non-Markovian and non-perturbative effects. Here we introduce a neural network based approach, which has the mathematical simplicity of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, but is able to model non-Markovian effects in different regimes. This is achieved by using recurrent neural networks for defining Lindblad operators that can keep track of memory effects. Building upon this framework, we also introduce a neural network architecture that is able to reproduce the entire quantum evolution, given an initial state. As an application we study how to train these models for quantum process tomography, showing that recurrent neural networks are accurate over different times and regimes.


title: Gradable modules over artinian rings

abstract: Let $\Lambda$ be a $\mathbb{Z}$-graded artin algebra. Two classical results of Gordon and Green state that if $\Lambda$ has only finitely many indecomposable gradable modules, up to isomorphism, then $\Lambda$ has finite representation type, and if $\Lambda$ has finite representation type then every $\Lambda$-module is gradable. We generalize these results to $\mathbb{Z}$-graded right artinian rings $R$. The key tool is a characterization of gradable modules: a f.g. right $R$-module is gradable if and only if its "pull-up" is pure-projective. Using this we show that if there is a bound on the graded-lengths of f.g. indecomposable graded $R$-modules, then every f.g. $R$-module is gradable. As another consequence, we see that if a graded artin algebra has an ungradable module, then it has a Pr\"ufer module which is not of finite type, and hence it has a generic module by work of Ringel


title: On matchable subsets in abelian groups and their linear analogues

abstract: In this paper, we introduce the notions of matching matrices in groups and vector spaces, which lead to some necessary conditions for existence of acyclic matching in abelian groups and its linear analogue. We also study the linear local matching property in field extensions to find a dimension criteria for linear locally matchable bases. Moreover, we define the weakly locally matchable subspaces and we investigate their relations with matchable subspaces. We provide an upper bound for the dimension of primitive subspaces in a separable field extension. We employ MATLAB coding to investigate the existence of acyclic matchings in finite cyclic groups. Finally, a possible research problem on matchings in n-groups is presented. Our tools in this paper mix combinatorics and linear algebra.


title: Time-evolution of fluctuations as signal of the phase transition dynamics in a QCD-assisted transport approach

abstract: For the understanding of fluctuation measurements in heavy-ion collisions it is crucial to develop quantitatively reliable dynamical descriptions which take the non-perturbative nature of QCD near the phase transition into account. We discuss a novel QCD-assisted transport approach based on non-equilibrium chiral fluid dynamics and the effective action of low energy QCD. In this framework, we study the time-evolution of fluctuation measures of the critical mode, notably the kurtosis, for a non-expanding system. From this, we can estimate the equilibration times of critical mode fluctuations in the QCD phase diagram. These allow us to identify both the phase boundary and the critical region near the QCD critical point.


title: Dirac operators and domain walls

abstract: We study the eigenvalue problem for a one-dimensional Dirac operator with a spatially varying ``mass'' term. It is well-known that when the mass function has the form of a kink, or \emph{domain wall}, transitioning between strictly positive and strictly negative asymptotic mass, $\pm\kappa_\infty$, at $\pm\infty$, the Dirac operator has a simple eigenvalue of zero energy (geometric multiplicity equal to one) within a gap in the continuous spectrum, with corresponding \emph{zero mode}, an exponentially localized eigenfunction. We prove that when the mass function has the form of \emph{two} domain walls separated by a sufficiently large distance $2 \delta$, the Dirac operator has two real simple eigenvalues of opposite sign and of order $e^{- 2 |\kappa_\infty| \delta}$. The associated eigenfunctions are, up to $L^2$ error of order $e^{- 2 |\kappa_\infty| \delta}$, linear combinations of shifted copies of the single domain wall zero mode. For the case of three domain walls, there are two non-zero simple eigenvalues as above and a simple eigenvalue at energy zero. Our methods are based on a Lyapunov-Schmidt reduction strategy and we outline their natural extension to the case of $n$ domain walls for which the minimal distance between domain walls is sufficiently large. The class of Dirac operators we consider controls the bifurcation of topologically protected ``edge states'' from Dirac points (linear band crossings) for classes of Schr\"odinger operators with domain-wall modulated periodic potentials in one and two space dimensions. The present results may be used to construct a rich class of defect modes in periodic structures modulated by multiple domain walls.


title: Offsets of masers with respect to the middle of the Perseus arm, and the co-rotation radius in the Milky Way

abstract: The radial distance to the co-rotation radius Rcoro (where the angular speed of the gas and stars in orbit around the Galactic Centre is equal to the angular speed of the spiral arm pattern) has often been predicted (at various places), but not measured with a high precision. Here we test the locations of masers with respect to the Perseus arm (Table 1). Our analysis of the masers and HII regions near the Perseus arm (mostly located on the inner arm side, by about 0.4 kpc from the cold CO mid-arm) shows that the co-rotation Rcoro must be > 10.8 kpc from the Galactic Center (Figure 1). This implies that the angular rotation speed of the spiral pattern < 21.3 km/s/kpc. Another test in galactic quadrant II shows that the radial velocity of the masers are generally more negative than that of the CO mid-arm (Figure 2), indicating a deceleration with respect to the CO mid-arm, by about 9 km/s. This implies that a spiral pattern angular rotation < 20.7 km/s/kpc, and thus Rcoro > 11.1 kpc. Finally, comparing our results with other published results (Table 2), we find a statistical mean co-rotation radius Rcoro predicted to be near 12 kpc from the Galactic Center (beyond the Perseus arm; before the Cygnus arm), and a mean angular spiral pattern angular rotation predicted to be near 19 km/s/kpc.


title: The Ricci pinching functional on solvmanifolds

abstract: We study the natural functional F=scal^2/|Ric|^2 on the space of all non-flat left-invariant metrics on all solvable Lie groups of a given dimension n. As an application of properties of the beta operator, we obtain that solvsolitons are the only global maxima of F restricted to the set of all left-invariant metrics on a given unimodular solvable Lie group, and beyond the unimodular case, we obtain the same result for almost-abelian Lie groups. Many other aspects of the behavior of F are clarified.


title: Description of the associated Legendre functions in analogy to the state space of the free electromagnetic field

abstract: Currently, some approaches to the associated Legendre functions based on different factorization methods are known. However, they have not allowed identifying new properties that permit to improve our knowledge of any physical system. In this letter, we show that the set of all the associated Legendre functions can be understood in analogy to the state space of the free electromagnetic field. Thanks to this correspondence we hope that any system, classical or quantum, described by such set of functions can be physically understood by using this analogy. We illustrate our results showing that the classical multipole expansion of the scalar and vector potentials is connected to the quantum mechanics discreteness property.


title: Compact objects as the catalysts for vacuum decays

abstract: We discuss vacuum decays catalyzed by spherical and horizonless objects and show that an ultra compact object could catalyze a vacuum decay around it within the cosmological time. The catalytic effect of a horizonless compact object could be more efficient than that of a black hole since in this case there is no suppression of the decay rate due to the decrement of its Bekestein entropy. If there exists another minimum with AdS vacuum in the Higgs potential at a high energy scale, the abundance of compact objects such as monopoles, neutron stars, axion stars, oscillons, Q-balls, black hole remnants, gravastars and so on, could be severely constrained. We find that an efficient enhancement of nucleation rate occurs when the size of the compact object is comparable to its Schwarzschild radius and the bubble radius.


title: Tropical Jucys Covers

abstract: We study monotone and strictly monotone Hurwitz numbers from a bosonic Fock space perspective. This yields to an interpretation in terms of tropical geometry involving local multiplicities given by Gromov-Witten invariants. Furthermore, this enables us to prove that a main result of Cavalieri-Johnson-Markwig-Ranganathan is a actually a refinement of the Gromov-Witten/Hurwitz correspondence by Okounkov-Pandharipande.


title: Associating Growth in Infancy and Cognitive Performance in Early Childhood: A functional data analysis approach

abstract: Physical growth traits can be naturally represented by continuous functions. In a large dataset of infancy growth patterns, we develop a practical approach to infer statistical associations between growth-trajectories and IQ performance in early childhood. The main objective of this study is to show how to assess physical growth curves and detect if particular infancy growth patterns are associated with differences in IQ (Full-scale WASI scores) in later ages using a semi-parametric functional response model. Additionally, we investigate the association between different growth measurements in terms of their cross-correlation with each other, their correlation with later IQ, as well as their time-varying dynamics. This analysis framework can easily incorporate or learn population information in a non-parametric way, rendering the existence of prior population charts partially redundant.


title: Creation of Magnetic Skyrmion Bubble Lattices by Ultrafast Laser in Ultrathin Films

abstract: Magnetic skyrmions are topologically nontrivial spin textures which hold great promise as stable information carriers in spintronic devices at the nanoscale. One of the major challenges for developing novel skyrmion-based memory and logic devices is fast and controlled creation of magnetic skyrmions at ambient conditions. Here we demonstrate the single ultrafast (35-fs) laser pulse-induced generation of skyrmion bubbles and skyrmion bubble lattices from a ferromagnetic state in sputtered ultrathin magnetic films at room temperature. The skyrmion bubble density increases with the laser fluence in a controlled way, and it finally becomes saturated, forming disordered hexagonal lattices. Moreover, we present that the skyrmion bubble lattice configuration leads to enhanced topological stability as compared to isolated skyrmions, suggesting its promising use in data storage. Our findings shed light on the optical approach to the skyrmion bubble lattice in commonly accessible materials, paving the road toward the emerging skyrmion-based memory and synaptic devices.


title: MOND as the weak field limit of an extended metric theory of gravity with a matter-curvature coupling

abstract: In this article we construct an extended relativistic f(R) theory of gravity with matter-curvature couplings F(R,L_matt) for which its weak field limit of approximation recovers the simplest version of MOND. We do this by (a) performing an order of magnitude approach and (b) by perturbing the resulting field equations of the theory to the weakest field limit of approximation. We also compute the geodesic equation of the resulting theory and show that it has an extra force, a fact that commonly appears in general matter-curvature couplings. This arxiv version includes a section at the end with an Erratum.


title: Spin Jahn-Teller antiferromagnetism in CoTi$_2$O$_5$

abstract: We have used neutron powder diffraction to solve the magnetic structure of orthorhombic CoTi$_2$O$_5$, showing that the long-range ordered state below 26 K identified in our muon-spin rotation experiments is antiferromagnetic with propagation vector ${\bf k}=(\pm \frac{1}{2}, \frac{1}{2}, 0)$ and moment of 2.72(1)$\mu_{\rm B}$ per Co$^{2+}$ ion. This long range magnetic order is incompatible with the experimentally determined crystal structure because the imposed symmetry completely frustrates the exchange coupling. We conclude that the magnetic transition must therefore be associated with a spin Jahn-Teller effect which lowers the structural symmetry and thereby relieves the frustration. These results show that CoTi$_2$O$_5$ is a highly unusual low symmetry material exhibiting a purely spin-driven lattice distortion critical to the establishment of an ordered magnetic ground state.


title: Inertial spheroids in homogeneous, isotropic turbulence

abstract: We study the rotational dynamics of {\it inertial} disks and rods in three-dimensional, homogeneous isotropic turbulence. In particular, we show how the alignment and the decorrelation time-scales of such spheroids depend, critically, on both the level of inertia and the aspect ratio of these particles. These results illustrate the effect of inertia---which leads to a preferential sampling of the local flow geometry---on the statistics of both disks and rods in a turbulent flow. Our results are important for a variety of natural and industrial settings where the turbulent transport of asymmetric, spheroidal inertial particles is ubiquitous.


title: Dispersive estimates for the wave equation on Riemannian manifolds of bounded curvature

abstract: We establish space-time dispersive estimates for solutions to the wave equation on compact Riemannian manifolds with bounded sectional curvature, with the same exponents as for $C^\infty$ metrics. The estimates are for bounded time intervals, so by finite propagation velocity the results apply also on non-compact manifolds under appropriate uniform conditions. We assume a priori that in local coordinates the metric tensor components satisfy ${\rm g}_{ij}\in W^{1,p}$ for some $p>d$, which ensures that the curvature tensor is well defined in the weak sense, but this can be relaxed to any assumption that suffices for the local harmonic coordinate calculations in the paper.


title: A new family of one dimensional martingale couplings

abstract: In this paper, we exhibit a new family of martingale couplings between two one-dimensional probability measures $\mu$ and $\nu$ in the convex order. This family is parametrised by two dimensional probability measures on the unit square with respective marginal densities proportional to the positive and negative parts of the difference between the quantile functions of $\mu$ and $\nu$. It contains the inverse transform martingale coupling which is explicit in terms of the associated cumulative distribution functions. The integral of $\vert x-y\vert$ with respect to each of these couplings is smaller than twice the $W_1$ distance between $\mu$ and $\nu$. When $\mu$ and $\nu$ are in the decreasing (resp. increasing) convex order, the construction is generalised to exhibit super (resp. sub) martingale couplings.


title: Spectra of Cayley graphs

abstract: Let $G$ be a group and $S\subseteq G$ its subset such that $S=S^{-1}$, where $S^{-1}=\{s^{-1}\mid s\in S\}$. Then {\it the Cayley graph ${\rm Cay}(G,S)$} is an undirected graph $\Gamma$ with the vertex set $V(\Gamma)=G$ and the edge set $E(\Gamma)=\{(g,gs)\mid g\in G, s\in S\}$. A graph $\Gamma$ is said to be {\it integral} if every eigenvalue of the adjacency matrix of $\Gamma$ is integer. In the paper, we prove the following theorem: {\it if a subset $S=S^{-1}$ of $G$ is normal and $s\in S\Rightarrow s^k\in S$ for every $k\in \mathbb{Z}$ such that $(k,|s|)=1$, then ${\rm Cay}(G,S)$ is integral.} In particular, {\it if $S\subseteq G$ is a normal set of involutions, then ${\rm Cay}(G,S)$ is integral.} We also use the theorem to prove that {\it if $G=A_n$ and $S=\{(12i)^{\pm1}\mid i=3,\dots,n\}$, then ${\rm Cay}(G,S)$ is integral.} Thus, we give positive solutions for both problems 19.50(a) and 19.50(b) in "Kourovka Notebook".


title: X-ray imaging non-destructively identifies functional 3D photonic nanostructures

abstract: To investigate the performance of three-dimensional (3D) nanostructures, it is vital to study in situ their internal structure non-destructively. Hence, we perform synchrotron X-ray holographic tomography on exemplary 3D silicon photonic band gap crystals without irreversible preparation steps. Here, we obtain real space 3D density distributions of whole crystals buried on 2 mm^2 beams with 20 nanometer resolution. Our X-ray results identify why structures that look similar in scanning electron microscopy have vastly different nanophotonic functionality: One crystal with a broad photonic gap reveals 3D periodicity as designed ("Good"), a second structure without gap reveals a buried void ("Bad"), a third one without gap is shallow due to fabrication errors ("Ugly"). We conclude that X-ray tomography is a crucial tool to critically assess 3D functional nanostructures.


title: Bounded Statistics

abstract: If two probability density functions (PDFs) have values for their first $n$ moments which are quite close to each other (upper bounds of their differences are known), can it be expected that the PDFs themselves are very similar? Shown below is an algorithm to quantitatively estimate this "similarity" between the given PDFs, depending on how many moments one has information about. This method involves the concept of functions behaving "similarly" at certain "length scales", which is also precisely defined. This technique could find use in data analysis, to compare a data set with a PDF or another data set, without having to fit a functional form to the data.


title: Distributed Differential Privacy via Shuffling

abstract: We consider the problem of designing scalable, robust protocols for computing statistics about sensitive data. Specifically, we look at how best to design differentially private protocols in a distributed setting, where each user holds a private datum. The literature has mostly considered two models: the "central" model, in which a trusted server collects users' data in the clear, which allows greater accuracy; and the "local" model, in which users individually randomize their data, and need not trust the server, but accuracy is limited. Attempts to achieve the accuracy of the central model without a trusted server have so far focused on variants of cryptographic MPC, which limits scalability. In this paper, we initiate the analytic study of a shuffled model for distributed differentially private algorithms, which lies between the local and central models. This simple-to-implement model, a special case of the ESA framework of [Bittau et al., '17], augments the local model with an anonymous channel that randomly permutes a set of user-supplied messages. For sum queries, we show that this model provides the power of the central model while avoiding the need to trust a central server and the complexity of cryptographic secure function evaluation. More generally, we give evidence that the power of the shuffled model lies strictly between those of the central and local models: for a natural restriction of the model, we show that shuffled protocols for a widely studied selection problem require exponentially higher sample complexity than do central-model protocols.


title: Kuramoto dilemma alleviated by optimizing connectivity and rationality

abstract: Recently, Antonioni and Cardillo proposed a coevolutionary model based on the intertwining of oscillator synchronization and evolutionary game theory [Phys. Rev. Lett. \textbf{118}, 238301 (2017)], in which each Kuramoto oscillator can decide whether to interact-or not-with its neighbors, and all oscillators can receive some benefits from the local synchronization but those who choose to interact must pay a cost. Oscillators are allowed to update their strategies according to payoff difference, wherein the strategy of an oscillator who has obtained higher payoff is more likely to be followed. Utilizing this coevolutionary model, we find that the global synchronization level reaches the highest level when the average degree of the underlying interaction network is moderate. We also study how synchronization is affected by the individual rationality in choosing strategy.


title: Percolation Phase Transition from Ionic Liquids to Ionic Liquid Crystals

abstract: As typical complex liquids, ionic liquids (ILs) exhibit phases beyond the description of simple liquid theories. In particular, with an intermediate cationic side-chain length, ILs can form the nanoscale segregated liquid (NSL) phase, which will eventually transform into the ionic liquid crystal (ILC) phase when the side chains are adequately long. However, the microscopic mechanism of this transformation is still unclear. In this work, by means of coarse-grained molecular dynamics simulation, we show that, with increasing cationic side-chain length, some local pieces of non-polar domains are gradually formed by side chains aligned in parallel inside the NSL phase, before an abrupt percolation phase transition happens when the system transforms into the ILC phase, manifesting that it is a critical phenomenon. Percolation phase transition is applied to ILs, providing new insights into many recent observations both in experiments and simulations.


title: BPS Wilson loops in $\mathcal N \geq 2$ superconformal Chern-Simons-matter theories

abstract: In $\mathcal N \geq 2$ superconformal Chern-Simons-matter theories we construct the infinite family of Bogomol'nyi-Prasad-Sommerfield (BPS) Wilson loops featured by constant parametric couplings to scalar and fermion matter, including both line Wilson loops in Minkowski spacetime and circle Wilson loops in Euclidean space. We find that the connection of the most general BPS Wilson loop cannot be decomposed in terms of double-node connections. Moreover, if the quiver contains triangles, it cannot be interpreted as a supermatrix inside a superalgebra. However, for particular choices of the parameters it reduces to the well-known connections of 1/6 BPS Wilson loops in Aharony-Bergman-Jafferis-Maldacena (ABJM) theory and 1/4 BPS Wilson loops in $\mathcal N = 4$ orbifold ABJM theory. In the particular case of $\mathcal N = 2$ orbifold ABJM theory we identify the gravity duals of a subset of operators. We investigate the cohomological equivalence of fermionic and bosonic BPS Wilson loops at quantum level by studying their expectation values, and find strong evidence that the cohomological equivalence holds quantum mechanically, at framing one. Finally, we discuss a stronger formulation of the cohomological equivalence, which implies non-trivial identities for correlation functions of composite operators in the defect CFT defined on the Wilson contour and allows to make novel predictions on the corresponding unknown integrals that call for a confirmation.


title: Coverage Error Optimal Confidence Intervals for Local Polynomial Regression

abstract: This paper studies higher-order inference properties of nonparametric local polynomial regression methods under random sampling. We prove Edgeworth expansions for $t$ statistics and coverage error expansions for interval estimators that (i) hold uniformly in the data generating process, (ii) allow for the uniform kernel, and (iii) cover estimation of derivatives of the regression function. The terms of the higher-order expansions, and their associated rates as a function of the sample size and bandwidth sequence, depend on the smoothness of the population regression function, the smoothness exploited by the inference procedure, and on whether the evaluation point is in the interior or on the boundary of the support. We prove that robust bias corrected confidence intervals have the fastest coverage error decay rates in all cases, and we use our results to deliver novel, inference-optimal bandwidth selectors. The main methodological results are implemented in companion \textsf{R} and \textsf{Stata} software packages.


title: Differential interferometry of the rapid rotator Regulus

abstract: We analyse interferometric data obtained for Regulus with AMBER (Astronomical Multi- BEam combineR) at high spectral resolution ($\lambda/\delta\lambda \approx 12000$) across the Br$\gamma$ spectral line. The study of the photocentre displacement allows us to constrain a large number of stellar parameters -- equatorial radius $R_{\rm eq}$, equatorial velocity $V_{\rm eq}$, inclination $i$, rotation-axis position angle $PA_{\rm rot}$, and flattening -- with an estimation of gravity-darkening coefficient $\beta$ using previously published theoretical results. We use the Simulation Code of Interferometric-observations for ROtators and CirCumstellar Objects (SCIROCCO), a semi-analytical algorithm dedicated to fast rotators. We chose Regulus because it is a very well-known edge-on star, for which an alternative approach is needed to check the previously published results. Our analysis showed that a significant degeneracy of solution is present. By confronting the results obtained by differential interferometry with those obtained by conventional long-base interferometry, we obtain similar results (within the uncertainties), thereby validating our approach, where $V_{eq}$ and $i$ are found separately. From the photocentre displacement, we can independently deduce $PA_{rot}$. We use two minimization methods to restrict observed stellar parameters via a fast rotator model: a non-stochastic method ($\chi^2$ fit) and a stochastic one (Markov Chain Monte Carlo method), in order to check whether the correct global minimum is achieved particularly with respect to the degeneracies of the gravity darkening parameter $\beta$, where we demonstrate, using a quantitative analysis of parameters, that the estimate of $\beta$ is easier for stars with an inclination angle of around $45^\circ$.


title: code2seq: Generating Sequences from Structured Representations of Code

abstract: The ability to generate natural language sequences from source code snippets has a variety of applications such as code summarization, documentation, and retrieval. Sequence-to-sequence (seq2seq) models, adopted from neural machine translation (NMT), have achieved state-of-the-art performance on these tasks by treating source code as a sequence of tokens. We present ${\rm {\scriptsize CODE2SEQ}}$: an alternative approach that leverages the syntactic structure of programming languages to better encode source code. Our model represents a code snippet as the set of compositional paths in its abstract syntax tree (AST) and uses attention to select the relevant paths while decoding. We demonstrate the effectiveness of our approach for two tasks, two programming languages, and four datasets of up to $16$M examples. Our model significantly outperforms previous models that were specifically designed for programming languages, as well as state-of-the-art NMT models. An interactive online demo of our model is available at http://code2seq.org. Our code, data and trained models are available at http://github.com/tech-srl/code2seq.


title: A Continuation Method for Computing Constant Mean Curvature Surfaces with Boundary

abstract: Defined mathematically as critical points of surface area subject to a volume constraint, constant mean curvatures (CMC) surfaces are idealizations of interfaces occurring between two immiscible fluids. Their behavior elucidates phenomena seen in many microscale systems of applied science and engineering; however, explicitly computing the shapes of CMC surfaces is often impossible, especially when the boundary of the interface is fixed and parameters, such as the volume enclosed by the surface, vary. In this work, we propose a novel method for computing discrete versions of CMC surfaces based on solving a quasilinear, elliptic partial differential equation that is derived from writing the unknown surface as a normal graph over another known CMC surface. The partial differential equation is then solved using an arc-length continuation algorithm, and the resulting algorithm produces a continuous family of CMC surfaces for varying volume whose physical stability is known. In addition to providing details of the algorithm, various test examples are presented to highlight the efficacy, accuracy and robustness of the proposed approach.


title: The Gas Composition and Deep Cloud Structure of Jupiter's Great Red Spot

abstract: We have obtained high-resolution spectra of Jupiter's Great Red Spot (GRS) between 4.6 and 5.4 microns using telescopes on Mauna Kea in order to derive gas abundances and to constrain its cloud structure between 0.5 and 5~bars. We used line profiles of deuterated methane CH3D at 4.66 microns to infer the presence of an opaque cloud at 5+/-1 bar. From thermochemical models this is almost certainly a water cloud. We also used the strength of Fraunhofer lines in the GRS to obtain the ratio of reflected sunlight to thermal emission. The level of the reflecting layer was constrained to be at 570+/-30 mbar based on fitting strong ammonia lines at 5.32 microns. We identify this layer as an ammonia cloud based on the temperature where gaseous ammonia condenses. We found evidence for a strongly absorbing, but not totally opaque, cloud layer at pressures deeper than 1.3 bar by combining Cassini/CIRS spectra of the GRS at 7.18 microns with ground-based spectra at 5 microns. This is consistent with the predicted level of an NH4SH cloud. We also constrained the vertical profile of water and ammonia. The GRS spectrum is matched by a saturated water profile above an opaque water cloud at 5~bars. The pressure of the water cloud constrains Jupiter's O/H ratio to be at least 1.1 times solar. The ammonia mole fraction is 200+/-50ppm for pressures between 0.7 and 5 bar. Its abundance is 40 ppm at the estimated pressure of the reflecting layer. We obtained 0.8+/-0.2 ppm for PH3, a factor of 2 higher than in the warm collar surrounding the GRS. We detected all 5 naturally occurring isotopes of germanium in GeH4 in the Great Red Spot. We obtained an average value of 0.35+/-0.05 ppb for GeH4. Finally, we measured 0.8+/-0.2 ppb for CO in the deep atmosphere.


title: Black holes and stars in the minimal theory of massive gravity

abstract: In this letter, we show that any solution of general relativity (GR) that can be rendered spatially flat by a coordinate change is also a solution of the self-accelerating branch of the minimal theory of massive gravity (MTMG), with or without matter. We then for the first time obtain black hole and star solutions in a theory of massive gravity that agree with the corresponding solutions in GR and that are free from strong coupling issues. This in particular implies that the parametrized post-Newtonian parameters $\beta^{\rm PPN}$ and $\gamma^{\rm PPN}$ are unity, as in GR. We further show how these solutions can be embedded in a cosmological setting. While cosmological scales have already been considered in previous works, this is the first study of the phenomenology at shorter scales of the self-accelerating branch of MTMG.


title: Extended (p,q)-Mittag-Leffler function and its properties

abstract: In this study our aim to define the extended $(p,q)$-Mittag-Leffler(ML) function by using extension of beta functions and to obtain the integral representation of new function. We also take the Mellin transform of this new function in terms of Wright hypergeometric function. Extended fractional derivative of the classical Mittag-Leffler(ML) function leads the extended (p,q)-Mittag-Leffler(ML) function.


title: Teacher Guided Architecture Search

abstract: Much of the recent improvement in neural networks for computer vision has resulted from discovery of new networks architectures. Most prior work has used the performance of candidate models following limited training to automatically guide the search in a feasible way. Could further gains in computational efficiency be achieved by guiding the search via measurements of a high performing network with unknown detailed architecture (e.g. the primate visual system)? As one step toward this goal, we use representational similarity analysis to evaluate the similarity of internal activations of candidate networks with those of a (fixed, high performing) teacher network. We show that adopting this evaluation metric could produce up to an order of magnitude in search efficiency over performance-guided methods. Our approach finds a convolutional cell structure with similar performance as was previously found using other methods but at a total computational cost that is two orders of magnitude lower than Neural Architecture Search (NAS) and more than four times lower than progressive neural architecture search (PNAS). We further show that measurements from only ~300 neurons from primate visual system provides enough signal to find a network with an Imagenet top-1 error that is significantly lower than that achieved by performance-guided architecture search alone. These results suggest that representational matching can be used to accelerate network architecture search in cases where one has access to some or all of the internal representations of a teacher network of interest, such as the brain's sensory processing networks.


title: ReproServer: Making Reproducibility Easier and Less Intensive

abstract: Reproducibility in the computational sciences has been stymied because of the complex and rapidly changing computational environments in which modern research takes place. While many will espouse reproducibility as a value, the challenge of making it happen (both for themselves and testing the reproducibility of others' work) often outweigh the benefits. There have been a few reproducibility solutions designed and implemented by the community. In particular, the authors are contributors to ReproZip, a tool to enable computational reproducibility by tracing and bundling together research in the environment in which it takes place (e.g. one's computer or server). In this white paper, we introduce a tool for unpacking ReproZip bundles in the cloud, ReproServer. ReproServer takes an uploaded ReproZip bundle (.rpz file) or a link to a ReproZip bundle, and users can then unpack them in the cloud via their browser, allowing them to reproduce colleagues' work without having to install anything locally. This will help lower the barrier to reproducing others' work, which will aid reviewers in verifying the claims made in papers and reusing previously published research.


title: Some notes on the ternary modular commutator

abstract: We define a relation that describes the ternary commutator for congruence modular varieties. Properties of this relation are used to investigate the theory of the higher commutator for congruence modular varieties.


title: Improved Estimation of Average Treatment Effects on the Treated: Local Efficiency, Double Robustness, and Beyond

abstract: Estimation of average treatment effects on the treated (ATT) is an important topic of causal inference in econometrics and statistics. This problem seems to be often treated as a simple modification or extension of that of estimating overall average treatment effects (ATE). However, the propensity score is no longer ancillary for estimation of ATT, in contrast with estimation of ATE. In this article, we review semiparametric theory for estimation of ATT and the use of efficient influence functionsto derive augmented inverse probability weighted (AIPW) estimators that are locally efficient and doubly robust. Moreover, we discuss improved estimation over AIPW by developing calibrated regression and likelihood estimators that are not only locally efficient and doubly robust, but also intrinsically efficient in achieving smaller variances than AIPW estimators when a propensity score model is correctly specified but an outcome regression model may be misspecified. Finally, we present two simulation studies and an econometric application to demonstrate the advantage of the proposed methods when compared with existing methods.


title: A game theoretical perspective on the quantum probabilities associated with a GHZ state

abstract: In the standard approach to quantum games, players' moves are local unitary transformations on an entangled state that is subsequently measured. Players' payoffs are then obtained as expected values of the entries in the payoff matrix of the classical game on a set of quantum probabilities obtained from the quantum measurement. In this paper, we approach quantum games from a diametrically opposite perspective. We consider a classical three-player symmetric game along with a known expression for a set of quantum probabilities relevant to a tripartite Einstein-Podolsky-Rosen (EPR) experiment that depends on three players' directional choices in the experiment. We define the players' moves as their directional choices in an EPR setting and then express their payoff relations in the resulting quantum game in terms of their directional choices, the entries of the payoff matrix, and the quantum probability distribution relevant to the tripartite EPR experiment.


title: Predicting Expressive Speaking Style From Text In End-To-End Speech Synthesis

abstract: Global Style Tokens (GSTs) are a recently-proposed method to learn latent disentangled representations of high-dimensional data. GSTs can be used within Tacotron, a state-of-the-art end-to-end text-to-speech synthesis system, to uncover expressive factors of variation in speaking style. In this work, we introduce the Text-Predicted Global Style Token (TP-GST) architecture, which treats GST combination weights or style embeddings as "virtual" speaking style labels within Tacotron. TP-GST learns to predict stylistic renderings from text alone, requiring neither explicit labels during training nor auxiliary inputs for inference. We show that, when trained on a dataset of expressive speech, our system generates audio with more pitch and energy variation than two state-of-the-art baseline models. We further demonstrate that TP-GSTs can synthesize speech with background noise removed, and corroborate these analyses with positive results on human-rated listener preference audiobook tasks. Finally, we demonstrate that multi-speaker TP-GST models successfully factorize speaker identity and speaking style. We provide a website with audio samples for each of our findings.


title: Heavy-ion collisions - hot QCD in a lab

abstract: High-energy heavy-ion collisions provide a unique opportunity to study the properties of the hot and dense strongly-interacting system composed of deconfined quarks and gluons -- the quark-gluon plasma (QGP) -- in laboratory conditions. The formation of a QGP is predicted by lattice QCD calculations as a crossover transition from hadronic matter (at zero baryochemical potential) and is expected to take place once the system temperature reaches values above 155 MeV and/or the energy density above $0.5~\mathrm{GeV}/\mathrm{fm}^{3}$. The nature of such a strongly coupled QGP has been linked to the early Universe at some microseconds after the Big Bang. To characterize the physical properties of the short-lived matter (lifetime of about $10~\mathrm{fm}/c$) experimental studies at Relativistic Heavy-Ion Collider and the Large Hadron collider use auto-generated probes, such as high-energy partons created early in the hadronic collisions, thermally emitted photons, and a set of particle correlations that are sensitive to the collective expansion and the dynamics of the system. The lectures briefly introduced some of the experimental techniques and provided a glimpse at some of the results.


title: Active Learning for Wireless IoT Intrusion Detection

abstract: Internet of Things (IoT) is becoming truly ubiquitous in our everyday life, but it also faces unique security challenges. Intrusion detection is critical for the security and safety of a wireless IoT network. This paper discusses the human-in-the-loop active learning approach for wireless intrusion detection. We first present the fundamental challenges against the design of a successful Intrusion Detection System (IDS) for wireless IoT network. We then briefly review the rudimentary concepts of active learning and propose its employment in the diverse applications of wireless intrusion detection. Experimental example is also presented to show the significant performance improvement of the active learning method over traditional supervised learning approach. While machine learning techniques have been widely employed for intrusion detection, the application of human-in-the-loop machine learning that leverages both machine and human intelligence to intrusion detection of IoT is still in its infancy. We hope this article can assist the readers in understanding the key concepts of active learning and spur further research in this area.


title: CredSaT: Credibility Ranking of Users in Big Social Data incorporating Semantic Analysis and Temporal Factor

abstract: The widespread use of big social data has pointed the research community in several significant directions. In particular, the notion of social trust has attracted a great deal of attention from information processors | computer scientists and information consumers | formal organizations. This is evident in various applications such as recommendation systems, viral marketing and expertise retrieval. Hence, it is essential to have frameworks that can temporally measure users credibility in all domains categorised under big social data. This paper presents CredSaT (Credibility incorporating Semantic analysis and Temporal factor): a fine-grained users credibility analysis framework for big social data. A novel metric that includes both new and current features, as well as the temporal factor, is harnessed to establish the credibility ranking of users. Experiments on real-world dataset demonstrate the effectiveness and applicability of our model to indicate highly domain-based trustworthy users. Further, CredSaT shows the capacity in capturing spammers and other anomalous users.


title: On the group of A-P diffeomorphisms and its exponential map

abstract: We define the group of almost periodic diffeomorphisms on $\mathbb{R}^n$ and on an arbitrary Lie group. We then study the properties of its Riemannian and Lie group exponential maps and provide applications to fluid equations. In particular, we show that there exists a geodesic of a weak Riemannian metric on the group of almost periodic diffeomorphisms of the line that consists entirely of conjugate points.


title: On Lipschitz Bounds of General Convolutional Neural Networks

abstract: Many convolutional neural networks (CNNs) have a feed-forward structure. In this paper, a linear program that estimates the Lipschitz bound of such CNNs is proposed. Several CNNs, including the scattering networks, the AlexNet and the GoogleNet, are studied numerically and compared to the theoretical bounds. Next, concentration inequalities of the output distribution to a stationary random input signal expressed in terms of the Lipschitz bound are established. The Lipschitz bound is further used to establish a nonlinear discriminant analysis designed to measure the separation between features of different classes.


title: On a positivity conjecture in the character table of $S_n$

abstract: In previous work of this author it was conjectured that the sum of power sums $p_\lambda,$ for partitions $\lambda$ ranging over an interval $[(1^n), \mu]$ in reverse lexicographic order, is Schur-positive. Here we investigate this conjecture and establish its truth in the following special cases: for $\mu\in [(n-4,1^4), (n)]$ or $\mu\in [(1^n), (3,1^{n-3})], $ or $\mu=(3, 2^k, 1^r)$ when $k\geq 1$ and $0\leq r\leq 2.$ Many new Schur positivity questions are presented.


title: The Characteristics of Valley Phase as Predictor of the Forthcoming Solar Cycle

abstract: Is Solar Cycle 24 anomalous? How do we predict the main features of a forthcoming cycle? In order to reply such questions, this work partitions quantitatively each cycle into valley, ascend, peak, and descend phases, statistically investigate the correlations between valley phase and the forthcoming cycle. We find that the preceding valley phase may dominate and can be predictor of the forthcoming cycle: (1) The growth rate in ascend phase strongly negatively correlates to valley length and strongly positively correlates to cycle maximum. (2) The cycle maximum strongly negatively correlates to valley length, and strongly positively correlates to cycle minimum. (3) The cycle period strongly negatively correlates to the valley variation. Based on these correlations, we conclude that the solar cycle 24 is a relatively weak and long cycle which is obviously weaker than Cycle 23. The similarity analysis also presents the similar result. The Cycle 25 is also inferred possibly to be a weak cycle. These results can help us understanding the physical processes of solar cycles.


title: Average Consensus by Graph Filtering: New Approach, Explicit Convergence Rate and Optimal Design

abstract: This paper revisits the problem of multi-agent consensus from a graph signal processing perspective. Describing a consensus protocol as a graph spectrum filter, we present an effective new approach to the analysis and design of consensus protocols in the graph spectrum domain for the uncertain networks, which are difficult to handle by the existing time-domain methods. This novel approach has led to the following new results in this paper: 1) New necessary and sufficient conditions for both finite-time and asymptotic average consensus of multi-agent systems. 2) Direct link between the consensus convergence rate and the periodic consensus protocols. 3) Conversion of the fast consensus problem to the problem of polynomial design of graph spectrum filter. 4) A Lagrange polynomial interpolation method and a worst-case optimal interpolation method for the design of periodic consensus protocols for the MASs on uncertain graphs. 5) Explicit formulas for the convergence rate of the designed protocols. Several numerical examples are given to demonstrate the validity, effectiveness and advantages of these results.


title: R-parity violating solutions to the $R_{D^{(\ast)}}$ anomaly and their GUT-scale unifications

abstract: Recently, several $B$-physics experiments report interesting anomalies in the semi-leptonic decays of $B$-mesons, such as the excess in the $R_{D^{(\ast)}}$ measurements. These anomalies seem to suggest intriguing hints of lepton flavor non-universality, and the R-parity violating (RPV) interactions are candidates for explaining this non-universality. In this paper, we discuss the RPV interactions for resolving the $R_{D^{(\ast)}}$ anomaly with the Grand Unified Theory (GUT) assumption. To solve the $R_{D^{(\ast)}}$ anomaly, it is known that large RPV couplings and around $1~{\rm TeV}$ sfermion masses are required. At the same time, large RPV couplings are conducive to realize the bottom-tau Yukawa unification which appears in the GUT models. On the other hand, there are problems for realizing favorable sfermion masses in the constrained minimal supersymetric standard model. To resolve these problems, we show that two non-universalities, the non-universal sfermion masses and the non-universal gaugino masses, are favorable.


title: Collision-mediated radiation due to Airy-soliton interaction in nonlinear Kerr medium

abstract: We study the interaction of a co-propagating finite energy Airy pulse and a soliton in a Kerr medium under third order dispersion. It is observed that a strong radiation appears when selfaccelerating Airy pulse collides with a delayed soliton in time domain. We confirm both analytically and numerically that this radiation can only be initiated in the environment of third order dispersion (TOD). The radiation frequency is red or blue shifted depending on the numeric sign of TOD parameter. We adopt a simple Si-based waveguide to validate the normalised parameter that we use for the analysis. We develop a theory to explain the collision-mediated radiation and our theoretical results are found to be in good agreement with the direct numerical modelling of the generalised nonlinear Schrodinger equation (GNLSE).


title: Rational Solutions of the Painlev\'e-III Equation: Large Parameter Asymptotics

abstract: The Painlev\'e-III equation with parameters $\Theta_0=n+m$ and $\Theta_\infty=m-n+1$ has a unique rational solution $u(x)=u_n(x;m)$ with $u_n(\infty;m)=1$ whenever $n\in\mathbb{Z}$. Using a Riemann-Hilbert representation proposed in \cite{BothnerMS18}, we study the asymptotic behavior of $u_n(x;m)$ in the limit $n\to+\infty$ with $m\in\mathbb{C}$ held fixed. We isolate an eye-shaped domain $E$ in the $y=n^{-1}x$ plane that asymptotically confines the poles and zeros of $u_n(x;m)$ for all values of the second parameter $m$. We then show that unless $m$ is a half-integer, the interior of $E$ is filled with a locally uniform lattice of poles and zeros, and the density of the poles and zeros is small near the boundary of $E$ but blows up near the origin, which is the only fixed singularity of the Painlev\'e-III equation. In both the interior and exterior domains we provide accurate asymptotic formul\ae\ for $u_n(x;m)$ that we compare with $u_n(x;m)$ itself for finite values of $n$ to illustrate their accuracy. We also consider the exceptional cases where $m$ is a half-integer, showing that the poles and zeros of $u_n(x;m)$ now accumulate along only one or the other of two "eyebrows", i.e., exterior boundary arcs of $E$.


title: The piston effect induced by mass transfer in a binary fluid mixture near the critical point

abstract: Similar to pure fluids, physical properties of a binary fluid mixture also exhibit singularities close to its critical point, especially when it is dilute. The numerical and theoretical results presented in this paper identify that the piston effect, a rapid energy transfer phenomenon, can be induced by boundary mass transfer in a confined near-critical binary fluid mixture. Due to the Dufour effect, both the concentration and temperature variations are responsible for the strong expansion of the boundary layer, which provokes an acoustic wave propagating in the fluid, leading to a gradual increase of the temperature, pressure and density. The detailed analysis implies that such a mixed piston effect can be approximated as a direct superposition of their respective effects in the perspective of energy transformation.


title: Language Model Supervision for Handwriting Recognition Model Adaptation

abstract: Training state-of-the-art offline handwriting recognition (HWR) models requires large labeled datasets, but unfortunately such datasets are not available in all languages and domains due to the high cost of manual labeling.We address this problem by showing how high resource languages can be leveraged to help train models for low resource languages.We propose a transfer learning methodology where we adapt HWR models trained on a source language to a target language that uses the same writing script.This methodology only requires labeled data in the source language, unlabeled data in the target language, and a language model of the target language. The language model is used in a bootstrapping fashion to refine predictions in the target language for use as ground truth in training the model.Using this approach we demonstrate improved transferability among French, English, and Spanish languages using both historical and modern handwriting datasets. In the best case, transferring with the proposed methodology results in character error rates nearly as good as full supervised training.


title: Learning to Align Images using Weak Geometric Supervision

abstract: Image alignment tasks require accurate pixel correspondences, which are usually recovered by matching local feature descriptors. Such descriptors are often derived using supervised learning on existing datasets with ground truth correspondences. However, the cost of creating such datasets is usually prohibitive. In this paper, we propose a new approach to align two images related by an unknown 2D homography where the local descriptor is learned from scratch from the images and the homography is estimated simultaneously. Our key insight is that a siamese convolutional neural network can be trained jointly while iteratively updating the homography parameters by optimizing a single loss function. Our method is currently weakly supervised because the input images need to be roughly aligned. We have used this method to align images of different modalities such as RGB and near-infra-red (NIR) without using any prior labeled data. Images automatically aligned by our method were then used to train descriptors that generalize to new images. We also evaluated our method on RGB images. On the HPatches benchmark, our method achieves comparable accuracy to deep local descriptors that were trained offline in a supervised setting.


title: Scattering by curvatures, radiationless sources, transmission eigenfunctions and inverse scattering problems

abstract: We consider several intriguingly connected topics in the theory of wave propagation: geometrical characterizations of radiationless sources, non-radiating incident waves, interior transmission eigenfunctions, and their applications to inverse scattering. Our major novel discovery is a localization and geometrization property. We first show that a scatterer, which might be an active source or an inhomogeneous index of refraction, cannot be completely invisible if its support is small compared to the wavelength and scattering intensity. Next, we localize and geometrize the "smallness" results to the case where there is a high-curvature point on the boundary of the scatterer's support. We derive explicit bounds between the intensity of an invisible scatterer and its diameter or its curvature at the aforementioned point. These results can be used to characterize radiationless sources or non-radiating waves near high-curvature points. As significant applications we derive new intrinsic geometric properties of interior transmission eigenfunctions near high-curvature points. This is of independent interest in spectral theory. We further establish unique determination results for the single-wave Schiffer's problem in certain scenarios of practical interest, such as collections of well-separated small scatterers. These are the first results for Schiffer's problem with generic smooth scatterers.


title: Abstractive Summarization Improved by WordNet-based Extractive Sentences

abstract: Recently, the seq2seq abstractive summarization models have achieved good results on the CNN/Daily Mail dataset. Still, how to improve abstractive methods with extractive methods is a good research direction, since extractive methods have their potentials of exploiting various efficient features for extracting important sentences in one text. In this paper, in order to improve the semantic relevance of abstractive summaries, we adopt the WordNet based sentence ranking algorithm to extract the sentences which are most semantically to one text. Then, we design a dual attentional seq2seq framework to generate summaries with consideration of the extracted information. At the same time, we combine pointer-generator and coverage mechanisms to solve the problems of out-of-vocabulary (OOV) words and duplicate words which exist in the abstractive models. Experiments on the CNN/Daily Mail dataset show that our models achieve competitive performance with the state-of-the-art ROUGE scores. Human evaluations also show that the summaries generated by our models have high semantic relevance to the original text.


title: Structure-Aware Shape Synthesis

abstract: We propose a new procedure to guide training of a data-driven shape generative model using a structure-aware loss function. Complex 3D shapes often can be summarized using a coarsely defined structure which is consistent and robust across variety of observations. However, existing synthesis techniques do not account for structure during training, and thus often generate implausible and structurally unrealistic shapes. During training, we enforce structural constraints in order to enforce consistency and structure across the entire manifold. We propose a novel methodology for training 3D generative models that incorporates structural information into an end-to-end training pipeline.


title: Distance-regular Cayley graphs with small valency

abstract: We consider the problem of which distance-regular graphs with small valency are Cayley graphs. We determine the distance-regular Cayley graphs with valency at most $4$, the Cayley graphs among the distance-regular graphs with known putative intersection arrays for valency $5$, and the Cayley graphs among all distance-regular graphs with girth $3$ and valency $6$ or $7$. We obtain that the incidence graphs of Desarguesian affine planes minus a parallel class of lines are Cayley graphs. We show that the incidence graphs of the known generalized hexagons are not Cayley graphs, and neither are some other distance-regular graphs that come from small generalized quadrangles or hexagons. Among some ``exceptional'' distance-regular graphs with small valency, we find that the Armanios-Wells graph and the Klein graph are Cayley graphs.


title: Intrinsic rotation driven by turbulent acceleration

abstract: Differential rotation is induced in tokamak plasmas when an underlying symmetry of the governing gyrokinetic-Maxwell system of equations is broken. One such symmetry-breaking mechanism is considered here: the turbulent acceleration of particles along the mean magnetic field. This effect, often referred to as the `parallel nonlinearity', has been implemented in the $\delta f$ gyrokinetic code $\texttt{stella}$ and used to study the dependence of turbulent momentum transport on the plasma size and on the strength of the turbulence drive. For JET-like parameters with a wide range of driving temperature gradients, the momentum transport induced by the inclusion of turbulent acceleration is similar to or smaller than the ratio of the ion Larmor radius to the plasma minor radius. This low level of momentum transport is explained by demonstrating an additional symmetry that prohibits momentum transport when the turbulence is driven far above marginal stability.


title: A combinatorial proof of the weighted sum formula for finite and symmetric multiple zeta(-star) values

abstract: Hirose, Saito, and the author established the weighted sum formula for finite multiple zeta(-star) values. In this paper, we present its alternative proof. The proof is also valid for symmetric multiple zeta(-star) values.


title: Facets of high-dimensional Gaussian polytopes

abstract: We study the number of facets of the convex hull of n independent standard Gaussian points in d-dimensional Euclidean space. In particular, we are interested in the expected number of facets when the dimension is allowed to grow with the sample size. We establish an explicit asymptotic formula that is valid whenever d/n tends to zero. We also obtain the asymptotic value when d is close to n.


title: Andrews-Gordon Type Series for Kanade-Russell Conjectures

abstract: We construct Andrews-Gordon type evidently positive series as generating functions of partitions satisfying certain difference conditions in six conjectures by Kanade and Russell. We construct generating functions for missing partition enumerants, naturally without claiming new partition identities. Thus, we obtain $q$-series conjectures as companions to Kanade and Russell's combinatorial conjectures.


title: Scalar perturbations on the background of Kerr black holes in the quadratic dynamical Chern-Simons gravity

abstract: We study the scalar perturbation on the background of a Kerr black hole in the dynamical Chern-Simons modified gravity with a quadratic coupling between the scalar field and Chern-Simons term. In particular, the late-time tails of scalar perturbations are investigated numerically in time domain by using the hyperboloidal foliation method. It is found that the Kerr black hole becomes unstable under linear perturbations in a certain region of the parameter space, which depends on the harmonic azimuthal index $m$ of the perturbation's mode. This may indicate that some Kerr black holes in this theory will get spontaneously scalarized into a non-Kerr black hole.


title: Observation of microscale nonparaxial optical bottle beams

abstract: We predict and experimentally observe three-dimensional microscale nonparaxial optical bottle beams based on the generation of a caustic surface under revolution. Such bottle beams exhibit high contrast between the surrounding surface and the effectively void interior. Via caustic engineering we can precisely control the functional form of the high intensity surface to achieve microscale bottle beams with longitudinal and transverse dimensions of the same order of magnitude. Although, in general, the phase profile at the input plane can be computed numerically, we find closed form expressions for bottle beams with various type of surfaces both in real and in the Fourier space.


title: X-Ray Luminosity and Size Relationship of Supernova Remnants in the LMC

abstract: The Large Magellanic Cloud (LMC) has $\sim$60 confirmed supernova remnants (SNRs). Because of the known distance, 50 kpc, the SNRs' angular sizes can be converted to linear sizes, and their X-ray observations can be used to assess X-ray luminosities ($L_X$). We have critically examined the LMC SNRs' sizes reported in the literature to determine the most plausible sizes. These sizes and the $L_X$ determined from \emph{XMM-Newton} observations are used to investigate their relationship in order to explore the environmental and evolutionary effects on the X-ray properties of SNRs. We find: (1) Small LMC SNRs, a few to 10 pc in size, are all of Type Ia with $L_X>10^{36}$ ergs s$^{-1}$. The scarcity of small core-collapse (CC) SNRs is a result of CCSNe exploding in the low-density interiors of interstellar bubbles blown by their massive progenitors during their main sequence phase. (2) Medium-sized (10-30 pc) CC SNRs show bifurcation in $L_X$, with the X-ray-bright SNRs either in an environment associated with molecular clouds or containing pulsars and pulsar wind nebulae and the X-ray-faint SNRs being located in low-density interstellar environments. (3) Large (size$>$30 pc) SNRs show a trend of $L_X$ fading with size, although the scatter is large. The observed relationship between $L_X$ and sizes can help constrain models of SNR evolution.


title: Chiral skyrmion auto-oscillations in a ferromagnet under spin transfer torque

abstract: A skyrmion can be stabilized in a nanodisc geometry in a ferromagnetic material with Dzyaloshinskii-Moriya (DM) interaction. We apply spin torque uniform in space and time and observe numerically that the skyrmion is set in steady rotational motion around a point off the nanodisc center. We give a theoretical description of the emerging auto-oscillation dynamics based on the coupling of the rotational motion to the breathing mode of the skyrmion and to the associated oscillations of the in-plane magnetization. The analysis shows that the achievement of auto-oscillations in this simple set-up is due to the chiral symmetry breaking. Thus, we argue that the system is turned into a spin-torque oscillator due to the chiral DM interaction.


title: Generalized quasi parton distributions in a diquark spectator model

abstract: Recently the concept of quasi parton distributions (quasi-PDFs) for hadrons has been proposed. Quasi-PDFs are defined through spatial correlation functions and as such can be computed numerically using quantum chromodynamics on a four-dimensional lattice. As the hadron momentum is increased, the quasi-PDFs converge to the corresponding standard PDFs that appear in factorization theorems for many high-energy scattering processes. Here we investigate this new concept in the case of generalized parton distributions (GPDs) by calculating the twist-2 vector GPDs in the scalar diquark spectator model. For infinite hadron momentum, the analytical results of the quasi-GPDs agree with those of the standard GPDs. Our main focus is to examine how well the quasi-GPDs agree with the standard GPDs for finite hadron momenta. We also study the sensitivity of the results on the parameters of the model. In general, our model calculation suggests that quasi-GPDs could be a viable tool for getting information about standard GPDs.


title: Computing a Pessimistic Leader-Follower Equilibrium with Multiple Followers: the Mixed-Pure Case

abstract: The search problem of computing a \textit{leader-follower equilibrium} has been widely investigated in the scientific literature in, almost exclusively, the single-follower setting. Although the \textit{optimistic} and \ textit{pessimistic} versions of the problem are solved with different methodologies, both cases allow for efficient, polynomial-time algorithms based on linear programming. The situation is different with multiple followers, where results are only sporadic and depend strictly on the nature of the followers' game. In this paper, we investigate the setting of a normal-form game with a single leader and multiple followers who, after observing the leader's commitment, play a Nash equilibrium. The corresponding search problem, both in the optimistic and pessimistic versions, is known to be not in Poly-$\textsf{APX}$ unless $\textsf{P}=\textsf{NP}$ and exact algorithms are known only for the optimistic case. We focus on the case where the followers play in pure strategies under the assumption of pessimism. After casting this search problem as a \italic{pessimistic bilevel programming problem}, we show that, with two followers, the problem is $\textsf{NP}$-hard and, with three or more followers, it is not in Poly-$\textsf{APX}$ unless $\textsf{P}=\textsf{NP}$. We propose a single-level mathematical programming reformulation which calls for the maximisation of a nonconcave quadratic function over an unbounded nonconvex feasible region defined by linear and quadratic constraints. Since, due to admitting a supremum but not a maximum, only a restricted version of this formulation can be solved to optimality with state-of-the-art methods, we propose an exact \textit{ad hoc} algorithm, which we also embed within a branch-and-bound scheme, capable of computing the supremum of the problem.