title: Precision measurement of atomic isotope shifts using a two-isotope entangled state

abstract: Atomic isotope shifts (ISs) are the isotope-dependent energy differences in the atomic electron energy levels. These shifts serve an important role in atomic and nuclear physics, and particularly in the latter as signatures of nuclear structure. Recently ISs have been suggested as unique probes of beyond Standard Model (SM) physics, under the condition that they be determined significantly more precisely than current state of the art. In this work we present a simple and robust method for measuring ISs with ions in a Paul trap, by taking advantage of Hilbert subspaces that are insensitive to common-mode noise yet sensitive to the IS. Using this method we evaluate the IS of the $5S_{1/2}\leftrightarrow4D_{5/2}$ transition in $^{86}\text{Sr}^+$ and $^{88}\text{Sr}^+$ with a $1.6\times10^{-11}$ relative uncertainty to be 570,264,063.435(9) Hz. Furthermore, we detect a relative difference of $3.46(23)\times10^{-8}$ between the orbital g-factors of the electrons in the $4D_{5/2}$ level of the two isotopes. Our method is relatively easy to implement and is indifferent to element or isotope, paving the way for future tabletop searches for new physics and posing interesting prospects for testing quantum many-body calculations and for the study of nuclear structure.


title: Stopped and stationary light at the single-photon level inside a hollow-core fiber

abstract: An experimental platform operating at the level of individual quanta and providing strong light-matter coupling is a key requirement for quantum information processing. We report on narrowband light storage and retrieval as well as stationary light, based on electromagnetically induced transparency, for weak coherent light pulses down to the single-photon level with a signal-to-noise ratio of 59. The experiments were carried out with laser-cooled atoms loaded into a hollow-core photonic crystal fiber to provide strong light-matter coupling, thereby demonstrating the prospects for future quantum networks of such a platform.


title: A Tip for Landscape Riders: Multi-Field Inflation Can Fulfill the Swampland Distance Conjecture

abstract: We study how both the swampland distance conjecture and the Lyth bound affect the parameter space of multi-field models of inflation. A generic feature of multi-field inflation is that the geodesic distance $\left[\Delta\phi\right]_\text{G}$ separating any two points laying along the inflationary trajectory differs from the non-geodesic distance $\left[\Delta\phi\right]_\text{NG}$ traversed by the inflaton between those points. These distances must respect a relation of the form $\left[\Delta\phi\right]_\text{G} = f\left(\left[\Delta\phi\right]_\text{NG}\right) \leq \left[\Delta\phi\right]_\text{NG}$, where $f$ is a function determined by the specific multi-field model under scrutiny. We show that this relation leads to important constraints on the parameter space characterizing the multi-field dynamics. Indeed, the swampland distance conjecture implies an upper bound on $\left[\Delta\phi\right]_\text{G}$ set by the details of the ultraviolet completion of inflation, whereas the Lyth bound implies a lower bound on $\left[\Delta\phi\right]_\text{NG}$ determined by the value of the tensor-to-scalar ratio. If future observations confirm the existence of primordial tensor perturbations, these two bounds combined lead to tight constraints on the possible values of the entropy mass of the isocurvature fields orthogonal to the inflationary trajectory and the rate of turn of the inflationary trajectory in multi-field space. We analyze the emerging constraints in detail for the particular case of two-field inflation in hyperbolic field spaces.


title: Knock Intensity Distribution and a Stochastic Control Framework for Knock Control

abstract: One of the main factors limiting the efficiency of spark-ignited engines is the occurrence of engine knock. In high temperature and high pressure in-cylinder conditions, the fuel-air mixture auto-ignites creating pressure shock waves in the cylinder. Knock can significantly damage the engine and hinder its performance; as such, conservative knock control strategies are generally implemented that avoid such operating conditions at the cost of lower thermal efficiencies. Significant improvements in the performance of conventional knock controllers are possible if the properties of the knock process are better characterized and exploited in knock controller designs. One of the methods undertaken to better characterize knocking instances is to employ a probabilistic approach, in which the likelihood of knock is derived from the statistical distribution of knock intensity. In this paper, it is shown that knock intensity values at a fixed operating point for single fuel and dual fuel engines are accurately described using a mixed lognormal distribution. The fitting accuracy is compared against those for a randomly generated mixed-lognormally distributed data set, and shown to exceed a 95% accuracy threshold for almost all of the operating points tested. Additionally, this paper discusses a stochastic knock control approach that leverages the mixed lognormal distribution to adjust spark timing based on knock intensity measurements. This more informed knock control strategy would allow for improvements in engine performance and fuel efficiency by minimizing knock occurrences.


title: Deep Unfolding for Communications Systems: A Survey and Some New Directions

abstract: Deep unfolding is a method of growing popularity that fuses iterative optimization algorithms with tools from neural networks to efficiently solve a range of tasks in machine learning, signal and image processing, and communication systems. This survey summarizes the principle of deep unfolding and discusses its recent use for communication systems with focus on detection and precoding in multi-antenna (MIMO) wireless systems and belief propagation decoding of error-correcting codes. To showcase the efficacy and generality of deep unfolding, we describe a range of other tasks relevant to communication systems that can be solved using this emerging paradigm. We conclude the survey by outlining a list of open research problems and future research directions.


title: Training Image Estimators without Image Ground-Truth

abstract: Deep neural networks have been very successful in image estimation applications such as compressive-sensing and image restoration, as a means to estimate images from partial, blurry, or otherwise degraded measurements. These networks are trained on a large number of corresponding pairs of measurements and ground-truth images, and thus implicitly learn to exploit domain-specific image statistics. But unlike measurement data, it is often expensive or impractical to collect a large training set of ground-truth images in many application settings. In this paper, we introduce an unsupervised framework for training image estimation networks, from a training set that contains only measurements---with two varied measurements per image---but no ground-truth for the full images desired as output. We demonstrate that our framework can be applied for both regular and blind image estimation tasks, where in the latter case parameters of the measurement model (e.g., the blur kernel) are unknown: during inference, and potentially, also during training. We evaluate our method for training networks for compressive-sensing and blind deconvolution, considering both non-blind and blind training for the latter. Our unsupervised framework yields models that are nearly as accurate as those from fully supervised training, despite not having access to any ground-truth images.


title: Machine Learning Based Analysis and Quantification of Potential Power Gain from Passive Device Installation

abstract: Passive device installation on wind turbine generators (WTGs) can potentially improve the power generation of WTGs. Yet, how much impact the installation will make is unclear because conducting controlled experiments is impossible due to ever-changing wind and weather that affect the power generation significantly. In addition, the potential improvement is believed to be in a small scale, such as 1-5%, which is less than a typical 3-8% variation level observed in wind data. This article proposes an adaptive kernel-based method and builds a surrogate model to reduce the level of unexplained variation in wind data. In addition, to establish experimental environments that are similar to a controlled situation, this article develops an analysis framework that utilizes two other nearby WTGs without any passive device installation.


title: High-low level support vector regression prediction approach (HL-SVR) for data modeling with input parameters of unequal sample sizes

abstract: Support vector regression (SVR) has been widely used to reduce the high computational cost of computer simulation. SVR assumes the input parameters have equal sample sizes, but unequal sample sizes are often encountered in engineering practices. To solve this issue, a new prediction approach based on SVR, namely as high-low-level SVR approach (HL-SVR) is proposed for data modeling of input parameters of unequal sample sizes in this paper. The proposed approach is consisted of low-level SVR models for the input parameters of larger sample sizes and high-level SVR model for the input parameters of smaller sample sizes. For each training point of the input parameters of smaller sample sizes, one low-level SVR model is built based on its corresponding input parameters of larger sample sizes and their responses of interest. The high-level SVR model is built based on the obtained responses from the low-level SVR models and the input parameters of smaller sample sizes. Several numerical examples are used to validate the performance of HL-SVR. The experimental results indicate that HL-SVR can produce more accurate prediction results than conventional SVR. The proposed approach is applied on the stress analysis of dental implant, which the structural parameters have massive samples but the material of implant can only be selected from several Ti and its alloys. The prediction performance of the proposed approach is much better than the conventional SVR. The proposed approach can be used for the design, optimization and analysis of engineering systems with input parameters of unequal sample sizes.


title: Characteristic Power Series of Graph Limits

abstract: In this note, we show how to obtain a "characteristic power series" of graphons -- infinite limits of dense graphs -- as the limit of normalized reciprocal characteristic polynomials. This leads to a new characterization of graph quasi-randomness and another perspective on spectral theory for graphons, a complete description of the function in terms of the spectrum of the graphon as a self-adjoint kernel operator. Interestingly, while we apply a standard regularization to classical determinants, it is unclear how necessary this is.


title: A comparative study between ESSnuSB and T2HK in determining the leptonic CP phase

abstract: In this paper, we perform a comparative analysis between the future proposed long-baseline experiments ESSnuSB and T2HK in measuring the leptonic CP phase $\delta_{\rm CP}$. In particular, we study the effect of the neutrino mass ordering degeneracy and the leptonic mixing angle $\theta_{23}$ octant degeneracy in the measurement of leptonic CP violation and precision for both experiments. Since the ESSnuSB (T2HK) experiment probes the second (first) oscillation maximum to study neutrino oscillations, the effect of these degeneracies are significantly different in both experiments. Our main conclusion is that for the ESSnuSB experiment, the information on the neutrino mass ordering does not play a major role in the determination of $\delta_{\rm CP}$, which is not the case for the T2HK experiment. However, the information on the true octant compromises the CP sensitivity of the ESSnuSB experiment as compared to T2HK if $\theta_{23}$ lies in the lower octant. These conclusions are true for both the 540~km and 360~km baseline options for the ESSnuSB experiment. In addition, we investigate the effect of different running times in neutrino and antineutrino modes and the effect of $\theta_{23}$ precision in measuring $\delta_{\rm CP}$.


title: The effect of confinement on the solid-liquid transition in a core-softened potential system

abstract: We present a comparative computer simulation study of the phase diagrams and anomalous behavior of two-dimensional ($2D$) and quasi-two-dimensional ($q2D$) classical particles interacting with each other through isotropic core-softened potential which is used for a qualitative description of the anomalous behavior of water and some other liquids. We have shown that at the low density part of the phase diagram an increase in the width of the confining slit pore leads to a considerable decrease in the melting temperature while at high densities the melting temperature is almost unchanged.


title: A Low-Power Domino Logic Architecture for Memristor-Based Neuromorphic Computing

abstract: We propose a domino logic architecture for memristor-based neuromorphic computing. The design uses the delay of memristor RC circuits to represent synaptic computations and a simple binary neuron activation function. Synchronization schemes are proposed for communicating information between neural network layers, and a simple linear power model is developed to estimate the design's energy efficiency for a particular network size. Results indicate that the proposed architecture can achieve 0.61 fJ per classification per component (neurons and synapses) and outperforms other designs in terms of energy per % accuracy.


title: Absence of superfluidity in 2D dipolar Bose striped crystals

abstract: We present results of computer simulations at low temperature of a two-dimensional system of dipolar bosons, with dipole moments aligned at an arbitrary angle with respect to the direction perpendicular to the plane. The phase diagram includes a homogeneous superfluid phase, as well as triangular and striped crystalline phases, as the particle density and the tilt angle are varied. In the striped solid, no phase coherence among stripes and consequently no ``supersolid" phase is found, in disagreement with recent theoretical predictions.


title: On the partition function of the Riemann zeta function, and the Fyodorov--Hiary--Keating conjecture

abstract: We investigate the ``partition function'' integrals $\int_{-1/2}^{1/2} |\zeta(1/2 + it + ih)|^2 dh$ for the critical exponent 2, and the local maxima $\max_{|h| \leq 1/2} |\zeta(1/2 + it + ih)|$, as $T \leq t \leq 2T$ varies. In particular, we prove that for $(1+o(1))T$ values of $T \leq t \leq 2T$ we have $\max_{|h| \leq 1/2} \log|\zeta(1/2+it+ih)| \leq \log\log T - (3/4 + o(1))\log\log\log T$, matching for the first time with both the leading and second order terms predicted by a conjecture of Fyodorov, Hiary and Keating. The proofs work by approximating the zeta function in mean square by the product of a Dirichlet polynomial over smooth numbers and one over rough numbers. They then apply ideas and results from corresponding random model problems to compute averages of this product, under size restrictions on the smooth part that hold for most $T \leq t \leq 2T$ (but reduce the size of the averages). There are connections with the study of critical multiplicative chaos. Unlike in some previous work, our arguments never shift away from the critical line by more than a tiny amount $1/\log T$, and they don't require explicit calculations of Fourier transforms of Dirichlet polynomials.


title: Pure Spinor String and Generalized Geometry

abstract: We consider the pure spinor sigma model in an arbitrary curved background. The use of Hamiltonian formalism allows for a uniform description of the worldsheet fields where matter and ghosts enter the action on the same footing. This approach naturally leads to the language of generalized geometry. In fact, to handle the pure spinor case, we need an extension of generalized geometry. In this paper, we describe such an extension. We investigate the conditions for existence of nilpotent holomorphic symmetries. In the case of the pure spinor string in curved background, we translate the existing computations into this new language and recover previously known results.


title: Improved fragment-based movement with LRFragLib for all-atom Ab initio protein folding

abstract: Fragment-based assembly has been widely used in Ab initio protein folding simulation which can effectively reduce the conformational space and thus accelerate sampling. The efficiency of fragment-based movement as well as the quality of fragment library determine whether the folding process can lead the free energy landscape to the global minimum and help the protein to reach near-native folded state. We designed an improved fragment-based movement, "fragmove", which substituted multiple backbone dihedral angles in every simulation step. This movement strategy was derived from the fragment library generated by LRFragLib, an effective fragment detection algorithm using logistic regression model. We show in replica exchange Monte Carlo (REMC) simulation that "fragmove", when compared with a set of existing movements in REMC, shows significant improved ability at increasing secondary and tertiary predicted model accuracy by 11.24% and 17.98%, respectively and reaching energy minima decreased by 5.72%. Our results demonstrate that this improved movement is more powerful to guide proteins faster to low energy regions of conformational space and promote folding efficiency and predicted model accuracy.


title: UCAM Biomedical translation at WMT19: Transfer learning multi-domain ensembles

abstract: The 2019 WMT Biomedical translation task involved translating Medline abstracts. We approached this using transfer learning to obtain a series of strong neural models on distinct domains, and combining them into multi-domain ensembles. We further experiment with an adaptive language-model ensemble weighting scheme. Our submission achieved the best submitted results on both directions of English-Spanish.


title: Active meta-optics and nanophotonics with halide perovskites

abstract: Meta-optics based on optically resonant all-dielectric structures is a rapidly developing research area driven by its potential applications for low-loss efficient metadevices. Active, light-emitting subwavelengh nanostructures and metasurfaces are of a particular interest for meta-optics, as they offer unique opportunities for novel types of compact light sources and nanolasers. Recently, the study of halide perovskites has attracted an enormous attention due to their exceptional optical and electrical properties. As a result, this family of materials can provide a prospective platform for modern nanophotonics and meta-optics, allowing to overcome many obstacles associated with the use of conventional semiconductor materials. Here we review the recent progress in the field of halide-perovskite meta-optics with the central focus on light-emitting nanoantennas and metasurfaces for the emerging field of active metadevices.


title: Study of a water-graphene capacitor with molecular density functional theory

abstract: Most of the performances of electrochemical devices are governed by molecular processes taking place at the solution-electrode interfaces and molecular simulation are the main way to study these processes. Aqueous electrochemical systems have often been studied using classical DFT but with too crude approximations to consider the system description to be realistic. We study the interface between graphene electrodes and liquid water at different applied voltage using molecular DFT, improving the state of the art by the following key points: 1) electrodes have a realistic atomic resolution, 2) classical DFT calculations are carried out at fixed imposed potential difference and 3) water is described by a molecular model. This allows to reveal the structural modification of water adsorbed at the graphene interface and the evolution of water dielectric permittivity when a voltage is applied. The computed capacitance of this device is in agreement with molecular dynamics simulations. This demonstrates the relevance of molecular DFT to study electrochemical systems at the molecular level.


title: The influence of antiferromagnetism, soft out-of plane phonons and heavy electrons on the superconducting pairing mechanism of Ba1-xKxFe2As2

abstract: Based on ab-initio calculated parameters, we apply a theoretical model on the iron-based BaFe2As2 superconductor that takes into account dramatic enhancements of the electron-phonon coupling of soft transverse phonons in the FeAs layers and antiferromagnetism. Our model is able to reproduce the Tc values of BaFe2As2 found under pressure in experiments. To calculate the Tc of the K-doped Ba1-xKxFe2As2 system as a function of the K content, we additionally consider the experimentally observed effective mass enhancements and Kondo temperatures in the strongly over-doped region (0.8 < x < 1), which decouple the antiferromagnetism and electron-phonon scattering. The highest theoretical Tc at the optimal doping concentration is reproduced after optimization of antiferromagnetic fluctuations and electron-phonon coupling. Our model is also able to reproduce the dip-like structure in Tc in the region where a re-entrant tetragonal phase of C4 symmetry is found (0.24 < x < 0.28) and indicates the weakening effect of local exchange correlation energy as responsible for Tc reduction. Our model thus demonstrates that the high transition temperatures and the exact doping and pressure dependence of this iron-based superconductor can be explained within an extended electron-phonon coupling model in which the structural, magnetic and electronic degrees of freedom are strongly intertwined.


title: On the Walks and Bipartite Double Coverings of Graphs with the same Main Eigenspace

abstract: The main eigenvalues of a graph $G$ are those eigenvalues of the $(0,1)$-adjacency matrix $\mathbf A$ having a corresponding eigenvector not orthogonal to $\mathbf j = (1,\dots,1)$. The CDC of a graph $G$ is the direct product $G\times K_2$. The main eigenspace of $\mathbf A$ is generated by the principal main eigenvectors and is the same as the image of the walk matrix. A hierarchy of properties of pairs of graphs is established in view of their CDC's, walk matrices, main eigenvalues, eigenvectors and eigenspaces. We determine by algorithm that there are 32 pairs of non-isomorphic graphs on at most 8 vertices which have the same CDC.


title: Modeling and Control of Combustion Phasing in Dual-Fuel Compression Ignition Engines

abstract: Dual fuel engines can achieve high efficiencies and low emissions but also can encounter high cylinder-to-cylinder variations on multi-cylinder engines. In order to avoid these variations, they require a more complex method for combustion phasing control such as model-based control. Since the combustion process in these engines is complex, typical models of the system are complex as well and there is a need for simpler, computationally efficient, control-oriented models of the dual fuel combustion process. In this paper, a mean-value combustion phasing model is designed and calibrated and two control strategies are proposed. Combustion phasing is predicted using a knock integral model, burn duration model and a Wiebe function and this model is used in both an adaptive closed loop controller and an open loop controller. These two control methodologies are tested and compared in simulations. Both control strategies are able to reach steady state in 5 cycles after a transient and have steady state errors in CA50 that are less than 0.1 crank angle degree (CAD) with the adaptive control strategy and less than 1.5 CAD with the model-based feedforward control method.


title: Compact Group Approach to the Analysis of Dielectric and Optical Characteristics of Finely Dispersed Systems and Liquids

abstract: We present the compact group approach to analysis of the long-wavelength dielectric and optical characteristics of substances which can be modeled as macroscopically homogeneous and isotropic systems of hard dielectric particles embedded into a dielectric matrix. After the basics of the method are outlined, we discuss the results obtained with it for the effective permittivity of such systems and the single-scattering intensity of light scattered by them.


title: Extending Eigentrust with the Max-Plus Algebra

abstract: Eigentrust is a simple and widely used algorithm, which quantifies trust based on the repeated application of an update matrix to a vector of initial trust values. In some cases, however, this procedure is rendered uninformative. Here, we characterise such situations and trace their origin to the algebraic conditions guaranteeing the convergence of the Power Method. We overcome the identified limitations by extending Eigentrust's core ideas into the Max-Plus Algebra. The empirical evaluation of our max-plus approach demonstrates improvements over Eigentrust.


title: Egocentric affordance detection with the one-shot geometry-driven Interaction Tensor

abstract: In this abstract we describe recent [4,7] and latest work on the determination of affordances in visually perceived 3D scenes. Our method builds on the hypothesis that geometry on its own provides enough information to enable the detection of significant interaction possibilities in the environment. The motivation behind this is that geometric information is intimately related to the physical interactions afforded by objects in the world. The approach uses a generic representation for the interaction between everyday objects such as a mug or an umbrella with the environment, and also for more complex affordances such as humans Sitting or Riding a motorcycle. Experiments with synthetic and real RGB-D scenes show that the representation enables the prediction of affordance candidate locations in novel environments at fast rates and from a single (one-shot) training example. The determination of affordances is a crucial step towards systems that need to perceive and interact with their surroundings. We here illustrate output on two cases for a simulated robot and for an Augmented Reality setting, both perceiving in an egocentric manner.


title: Topological Data Analysis for Arrhythmia Detection through Modular Neural Networks

abstract: This paper presents an innovative and generic deep learning approach to monitor heart conditions from ECG signals.We focus our attention on both the detection and classification of abnormal heartbeats, known as arrhythmia. We strongly insist on generalization throughout the construction of a deep-learning model that turns out to be effective for new unseen patient. The novelty of our approach relies on the use of topological data analysis as basis of our multichannel architecture, to diminish the bias due to individual differences. We show that our structure reaches the performances of the state-of-the-art methods regarding arrhythmia detection and classification.


title: A New Type of Abundant Numbers

abstract: This article defines a new type of abundant numbers, called largest rho-value (abbreviate LR) numbers, and then shows that Robin hypothesis is true if and only if all LR numbers $>5040$ satisfy Robin inequality.


title: The Replica Dataset: A Digital Replica of Indoor Spaces

abstract: We introduce Replica, a dataset of 18 highly photo-realistic 3D indoor scene reconstructions at room and building scale. Each scene consists of a dense mesh, high-resolution high-dynamic-range (HDR) textures, per-primitive semantic class and instance information, and planar mirror and glass reflectors. The goal of Replica is to enable machine learning (ML) research that relies on visually, geometrically, and semantically realistic generative models of the world - for instance, egocentric computer vision, semantic segmentation in 2D and 3D, geometric inference, and the development of embodied agents (virtual robots) performing navigation, instruction following, and question answering. Due to the high level of realism of the renderings from Replica, there is hope that ML systems trained on Replica may transfer directly to real world image and video data. Together with the data, we are releasing a minimal C++ SDK as a starting point for working with the Replica dataset. In addition, Replica is `Habitat-compatible', i.e. can be natively used with AI Habitat for training and testing embodied agents.


title: A Study of @-numbers

abstract: This paper deals more generally with @-numbers defined as follows: Call `\textit{alpha number}' of order $(\underline{\alpha},\bar{\alpha})\in\mathbb{H}^2$, (denote its family by @$_{(\underline{\alpha},\bar{\alpha})\in\mathbb{H}^2; \mathcal{A}\subset \mathbb{N}}$) any $n\in\mathcal{A}\subset \mathbb{N}$ satisfying $\sigma_{\underline{\alpha}}(n) = \alpha n^{\bar{\alpha}}$ where $\sigma_{\underline{\alpha}}(n)$ is sum of divisors function and $\alpha\in\mathbb{H}$, the set of \textit{quaternions}. Specifically, if integer $n$ is such that $\alpha=\alpha_1/\alpha_2,\ \alpha_1,\alpha_2\in\mathbb{Z}^+$ with $1\leq\max(\alpha_1, \alpha_2) \le \omega(n),$ $\ \le \tau (n), \ < n$ (where $\omega(n)$ is the number of distinct prime factors of $n$, $\tau (n)$ is the number of factors of $n$), then $n$ is respectively called strong, weak or very weak alpha number. We give some examples and conjecture that there is no odd strong alpha number of order $(1,1)$. The truthfulness of this assertion implies that there is no odd perfect and certain odd multi-perfect numbers. We give all the strong even alpha numbers of order $(1,1)$ below $10^5$ and then show that there is no odd strong alpha number of order $(1,1)$ below $10^5$, using some of our results motivated by some results of Ore and Garcia. With computer search this bound can easily be surpassed. In this paper, using Rossen, Schonfield and Sandor's inequalities, in addition to the aforementioned definition, we also bound the quotient $\alpha_1/\alpha_2 =\alpha$ of order $(1,1)$, though a very weak bound. Some areas for future research are also pointed out as recommendations.


title: Deep Reinforcement Learning for Cyber Security

abstract: The scale of Internet-connected systems has increased considerably, and these systems are being exposed to cyber attacks more than ever. The complexity and dynamics of cyber attacks require protecting mechanisms to be responsive, adaptive, and scalable. Machine learning, or more specifically deep reinforcement learning (DRL), methods have been proposed widely to address these issues. By incorporating deep learning into traditional RL, DRL is highly capable of solving complex, dynamic, and especially high-dimensional cyber defense problems. This paper presents a survey of DRL approaches developed for cyber security. We touch on different vital aspects, including DRL-based security methods for cyber-physical systems, autonomous intrusion detection techniques, and multiagent DRL-based game theory simulations for defense strategies against cyber attacks. Extensive discussions and future research directions on DRL-based cyber security are also given. We expect that this comprehensive review provides the foundations for and facilitates future studies on exploring the potential of emerging DRL to cope with increasingly complex cyber security problems.


title: Paleo-Detectors for Galactic Supernova Neutrinos

abstract: Paleo-detectors are a proposed experimental technique in which one would search for traces of recoiling nuclei in ancient minerals. Natural minerals on Earth are as old as $\mathcal{O}(1)\,$Gyr and, in many minerals, the damage tracks left by recoiling nuclei are also preserved for timescales long compared to 1 Gyr once created. Thus, even reading out relatively small target samples of order 100 g, paleo-detectors would allow one to search for very rare events thanks to the large exposure, $\varepsilon \sim 100\,{\rm g}\,{\rm Gyr} = 10^5\,{\rm t}\,{\rm yr}$. Here, we explore the potential of paleo-detectors to measure nuclear recoils induced by neutrinos from galactic core collapse supernovae. We find that they would not only allow for a direct measurement of the average core collapse supernova rate in the Milky Way, but would also contain information about the time-dependence of the local supernova rate over the past $\sim$1 Gyr. Since the supernova rate is thought to be directly proportional to the star formation rate, such a measurement would provide a determination of the local star formation history. We investigate the sensitivity of paleo-detectors to both a smooth time evolution and an enhancement of the core collapse supernova rate on relatively short timescales, as would be expected for a starburst period in the local group.


title: A 6.7 GHz Methanol Maser Survey II. Low Galactic Latitudes

abstract: We report the results of our systematic survey for Galactic 6.7 GHz Class II CH$_3$OH maser emission toward a sample of young stellar objects. The survey was conducted with the Shanghai Tianma Radio Telescope (TMRT). The sample consists of 3348 sources selected from the all-sky \emph{Wide-Field Infrared Survey Explorer (WISE)} point source catalog. We have discussed the selection criteria in detail and the detection results of those at high Galactic latitudes (i.e. $|b|>$ 2$^\circ$) in a previous paper (paper I). Here, we present the results from the survey of those at low Galactic latitudes, i.e. $|b|<2^\circ$. Of 1875 selected \emph{WISE} point sources, 291 positions that were actually associated with 224 sources were detected with CH$_3$OH maser emission. Among them, 32 are newly detected. Majority of the newly detected sources are associated with bright WISE sources. The majority of the detected sources (209/224 = 93.3\%) are quite close to the Galactic Plane ($|b|<1^\circ$) and lie on the inner spiral arms with positive LSR velocities. Detection rate and the color-color distribution of our detection are all matched with our anticipation. Combining with detections from previous surveys, we compile a catalogue of 1085 sources with 6.7 GHz CH$_3$OH maser emission in our Galaxy.


title: Antiferromagnetic ordering in van der Waals two-dimensional magnetic material MnPS3 probed by Raman spectroscopy

abstract: Magnetic ordering in the two-dimensional limit has been one of the most important issues in condensed matter physics for the past several decades. The recent discovery of new magnetic van der Waals materials heralds a much-needed easy route for the studies of two-dimensional magnetism: the thickness dependence of the magnetic ordering has been examined by using Ising- and XXZ-type magnetic van der Waals materials. Here, we investigated the magnetic ordering of MnPS3, a two-dimensional antiferromagnetic material of Heisenberg-type, by Raman spectroscopy from bulk all the way down to bilayer. The phonon modes that involve the vibrations of Mn ions exhibit characteristic changes as the temperature gets lowered through the N\'eel temperature. In bulk MnPS3, the Raman peak at ~155 cm-1 becomes considerably broadened near the N\'eel temperature and upon further cooling is subsequently red-shifted. The measured peak positions and polarization dependences of the Raman spectra are in excellent agreement with our first-principles calculations. In few-layer MnPS3, the peak at ~155 cm-1 exhibits the characteristic red-shift at low temperatures down to the bilayer, indicating that the magnetic ordering is surprisingly stable at such a thin limit. Our work sheds light on the hitherto unexplored magnetic ordering in the Heisenberg-type antiferromagnetic systems in the atomic-layer limit.


title: Modeling and Interpreting Real-world Human Risk Decision Making with Inverse Reinforcement Learning

abstract: We model human decision-making behaviors in a risk-taking task using inverse reinforcement learning (IRL) for the purposes of understanding real human decision making under risk. To the best of our knowledge, this is the first work applying IRL to reveal the implicit reward function in human risk-taking decision making and to interpret risk-prone and risk-averse decision-making policies. We hypothesize that the state history (e.g. rewards and decisions in previous trials) are related to the human reward function, which leads to risk-averse and risk-prone decisions. We design features that reflect these factors in the reward function of IRL and learn the corresponding weight that is interpretable as the importance of features. The results confirm the sub-optimal risk-related decisions of human-driven by the personalized reward function. In particular, the risk-prone person tends to decide based on the current pump number, while the risk-averse person relies on burst information from the previous trial and the average end status. Our results demonstrate that IRL is an effective tool to model human decision-making behavior, as well as to help interpret the human psychological process in risk decision-making.


title: Global Energetics of Solar Flares: VII. Aerodynamic Drag in Coronal Mass Ejections

abstract: The free energy that is dissipated in a magnetic reconnection process of a solar flare, generally accompanied by a coronal mass ejection (CME), has been considered as the ultimate energy source of the global energy budget of solar flares in previous statistical studies. Here we explore the effects of the aerodynamic drag force on CMEs, which supplies additional energy from the slow solar wind to a CME event, besides the magnetic energy supply. For this purpose we fit the analytical aerodynamic drag model of Cargill (2004) and Vrsnak et al.~{\bf (2013)} to the height-time profiles $r(t)$ of LASCO/SOHO data in 14,316 CME events observed during the first 8 years (2010-2017) of the SDO era {\bf (ensuring EUV coverage with AIA)}. Our main findings are: (i) a mean solar wind speed of $w=472 \pm 414$ km s$^{-1}$, (ii) a maximum drag-accelerated CME energy of $E_{drag} \lapprox 2 \times 10^{32}$ erg, (iii) a maximum flare-accelerated CME energy of $E_{flare} \lapprox 1.5 \times 10^{33}$ erg; (iv) the ratio of the summed kinetic energies of all flare-accelerated CMEs to the drag-accelerated CMEs amounts to a factor of 4; (v) the inclusion of the drag force slightly lowers the overall energy budget of CME kinetic energies in flares from $\approx 7\%$ to $\approx 4\%$; and (vi) the arrival times of CMEs at Earth can be predicted with an accuracy of $\approx 23\%$.


title: Adaptive Cluster Expansion for Ising spin models

abstract: We propose an algorithm to obtain numerically approximate solutions of the direct Ising problem, that is, to compute the free energy and the equilibrium observables of spin systems with arbitrary two-spin interactions. To this purpose we use the Adaptive Cluster Expansion method, originally developed to solve the inverse Ising problem, that is, to infer the interactions from the equilibrium correlations. The method consists in iteratively constructing and selecting clusters of spins, computing their contributions to the free energy and discarding clusters whose contribution is lower than a fixed threshold. The properties of the cluster expansion and its performance are studied in detail on one dimensional, two dimensional, random and fully connected graphs with homogeneous or heterogeneous fields and couplings. We discuss the differences between different representations (Boolean and Ising) of the spin variables.


title: Fibred algebraic surfaces and commutators in the Symplectic group

abstract: We describe the minimal number of critical points and the minimal number $s$ of singular fibres for a non isotrivial fibration of a surface $S$ over a curve $B$ of genus $1$, constructing a fibration with $s=1$ and irreducible singular fibre with $4$ nodes. Then we consider the associated factorizations in the mapping class group and in the symplectic group. We describe explicitly which products of transvections on homologically independent and disjoint circles are a commutator in the Symplectic group $Sp (2g, \mathbb{Z})$.


title: Real-Time Open-Domain Question Answering with Dense-Sparse Phrase Index

abstract: Existing open-domain question answering (QA) models are not suitable for real-time usage because they need to process several long documents on-demand for every input query. In this paper, we introduce the query-agnostic indexable representation of document phrases that can drastically speed up open-domain QA and also allows us to reach long-tail targets. In particular, our dense-sparse phrase encoding effectively captures syntactic, semantic, and lexical information of the phrases and eliminates the pipeline filtering of context documents. Leveraging optimization strategies, our model can be trained in a single 4-GPU server and serve entire Wikipedia (up to 60 billion phrases) under 2TB with CPUs only. Our experiments on SQuAD-Open show that our model is more accurate than DrQA (Chen et al., 2017) with 6000x reduced computational cost, which translates into at least 58x faster end-to-end inference benchmark on CPUs.


title: Transmission spectra of an ultrastrongly coupled qubit-dissipative resonator system

abstract: We calculate the transmission spectra of a flux qubit coupled to a dissipative resonator in the ultrastrong coupling regime. Such a qubit-oscillator system constitutes the building block of superconducting circuit QED platforms. The calculated transmission of a weak probe field quantifies the response of the qubit, in frequency domain, under the sole influence of the oscillator and of its dissipative environment, an Ohmic heat bath. We find the distinctive features of the qubit-resonator system, namely two-dip structures in the calculated transmission, modified by the presence of the dissipative environment. The relative magnitude, positions, and broadening of the dips are determined by the interplay among qubit-oscillator detuning, the strength of their coupling, and the interaction with the heat bath.


title: On bulk deviations for the local behavior of random interlacements

abstract: We investigate certain large deviation asymptotics concerning random interlacements in Z^d, d bigger or equal to 3. We find the principal exponential rate of decay for the probability that the average value of some suitable non-decreasing local function of the field of occupation times, sampled at each point of a large box, exceeds its expected value. We express the exponential rate of decay in terms of a constrained minimum for the Dirichlet energy of functions on R^d that decay at infinity. An application concerns the excess presence of random interlacements in a large box. Our findings exhibit similarities to some of the results of van den Berg-Bolthausen-den Hollander in their work on moderate deviations of the volume of the Wiener sausage. An other application relates to recent work of the author on macroscopic holes in connected components of the vacant set in arXiv:1802.05255v2.


title: An Axion-Like Particle from an $SO(10)$ Seesaw with $U(1)_X$

abstract: We investigate the decoupling of heavy right handed neutrinos in the context of an SO(10) GUT model, where a remnant anomalous symmetry is $U(1)_{X}$. In this model the see-saw mechanism which generates the neutrino masses is intertwined with the Stueckelberg mechanism, which leaves the CP-odd phase of a very heavy Higgs in the low energy spectrum as an axion-like particle. Such pseudoscalar is predicted to be ultralight, in the $10^{-20}$ eV mass range. In this scenario, the remnant anomalous $X$ symmetry of the particles of the Standard Model is interpreted as due to the incomplete decoupling of the right handed neutrino sector. We illustrate this scenario including its realisation in the context of SO(10).


title: Stable self-similar blowup for a family of nonlocal transport equations

abstract: We consider a family of non-local problems that model the effects of transport and vortex stretching in the incompressible Euler equations. Using modulation techniques, we establish stable self-similar blow-up near a family of known self-similar blow-up solutions.


title: Type IIn supernova light-curve properties measured from an untargeted survey sample

abstract: We present a sample of supernovae Type IIn (SNe IIn) from the untargeted, magnitude-limited surveys of the Palomar Transient Factory (PTF) and its successor, the intermediate PTF (iPTF). The SNe IIn found and followed by the PTF/iPTF were used to select a sample of 42 events with useful constraints on the rise times as well as with available post-peak photometry. The sample SNe were discovered in 2009-2016 and have at least one low-resolution classification spectrum, as well as photometry from the P48 and P60 telescopes at Palomar Observatory. We study the light-curve properties of these SNe IIn using spline fits (for the peak and the declining portion) and template matching (for the rising portion). We find that the typical rise times are divided into fast and slow risers at $20\pm6$ d and $50\pm11$ d, respectively. The decline rates are possibly divided into two clusters, but this division has weak statistical significance. We find no significant correlation between the peak luminosity of SNe IIn and their rise times, but the more luminous SNe IIn are generally found to be more long-lasting. Slowly rising SNe IIn are generally found to decline slowly. The SNe in our sample were hosted by galaxies of absolute magnitude $-22 \lesssim M_g \lesssim -13$ mag. The K-corrections at light-curve peak of the SNe IIn in our sample are found to be within 0.2 mag for the observer's frame $r$-band, for SNe at redshifts $z < 0.25$. By applying K-corrections and also including ostensibly "superluminous" SNe IIn, we find that the peak magnitudes are $M_{\rm peak}^{r} = -19.18\pm1.32$ mag. We conclude that the occurrence of conspicuous light-curve bumps in SNe IIn, such as in iPTF13z, are limited to $1.4^{+14.6}_{-1.0} \%$ of the SNe IIn. We also investigate a possible sub-type of SNe IIn with a fast rise to a $\gtrsim 50$ d plateau followed by a slow, linear decline.


title: Perturbative analysis of the colored Alexander polynomial and KP soliton $\tau$-functions

abstract: In this paper we study the group theoretic structures of colored HOMFLY polynomials in a specific limit. The group structures arise in the perturbative expansion of $SU(N)$ Chern-Simons Wilson loops, while the limit is $N \rightarrow 0$. The result of the paper is twofold. First, we explain the emergence of Kadomsev-Petviashvily (KP) $\tau$-functions. This result is an extension of what we did in arXiv:1805.02761, where a symbolic correspondence between KP equations and group factors was established. In this paper we prove that integrability of the colored Alexander polynomial is due to it's relation to soliton $\tau$-functions. Mainly, the colored Alexander polynomial is embedded in the action of the KP generating function on the soliton $\tau$-function. Secondly, we use this correspondence to provide a rather simple combinatoric description of the group factors in term of Young diagrams, which is otherwise described in terms of chord diagrams, where no simple description is known. This is a first step providing an explicit description of the group theoretic data of Wilson loops, which would effectively reduce them to a purely topological quantity, mainly to a collection of Vassiliev invariants.

categories: hep-th math-ph math.GT math.MP math.QA nlin.SI


title: The application of muon tomography to the imaging of railway tunnels

abstract: Cosmic Ray Muon Radiography utilizes highly-penetrating cosmic ray muons to image the density profile of an object of interest. Here we report on the first trial to use a portable field-deployable cosmic ray tracking system in order to image the whole overburden of a UK railway tunnel with short duration scans (c. 30 minutes). A unknown overburden void was identified and, post-trial, confirmed by railway authorities. These experiments demonstrate the identification of hidden construction shafts with high levels of statistical significance as density anomalies within the data.


title: Lower Bounds for Adversarially Robust PAC Learning

abstract: In this work, we initiate a formal study of probably approximately correct (PAC) learning under evasion attacks, where the adversary's goal is to \emph{misclassify} the adversarially perturbed sample point $\widetilde{x}$, i.e., $h(\widetilde{x})\neq c(\widetilde{x})$, where $c$ is the ground truth concept and $h$ is the learned hypothesis. Previous work on PAC learning of adversarial examples have all modeled adversarial examples as corrupted inputs in which the goal of the adversary is to achieve $h(\widetilde{x}) \neq c(x)$, where $x$ is the original untampered instance. These two definitions of adversarial risk coincide for many natural distributions, such as images, but are incomparable in general. We first prove that for many theoretically natural input spaces of high dimension $n$ (e.g., isotropic Gaussian in dimension $n$ under $\ell_2$ perturbations), if the adversary is allowed to apply up to a sublinear $o(||x||)$ amount of perturbations on the test instances, PAC learning requires sample complexity that is exponential in $n$. This is in contrast with results proved using the corrupted-input framework, in which the sample complexity of robust learning is only polynomially more. We then formalize hybrid attacks in which the evasion attack is preceded by a poisoning attack. This is perhaps reminiscent of "trapdoor attacks" in which a poisoning phase is involved as well, but the evasion phase here uses the error-region definition of risk that aims at misclassifying the perturbed instances. In this case, we show PAC learning is sometimes impossible all together, even when it is possible without the attack (e.g., due to the bounded VC dimension).


title: Enough vector bundles on orbispaces

abstract: We show that every orbispace satisfying certain mild hypotheses has 'enough' vector bundles. It follows that the K-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth orbifolds and derived smooth orbifolds also follow.


title: Elliptic curves in hyper-K\"ahler varieties

abstract: We show that the moduli space of elliptic curves of minimal degree in a general Fano variety of lines of a cubic fourfold is a non-singular curve of genus $631$. The curve admits a natural involution with connected quotient. We find that the general Fano contains precisely $3780$ elliptic curves of minimal degree with fixed (general) $j$-invariant. More generally, we express (modulo a transversality result) the enumerative count of elliptic curves of minimal degree in hyper-K\"ahler varieties with fixed $j$-invariant in terms of Gromov--Witten invariants. In $K3[2]$-type this leads to explicit formulas of these counts in terms of modular forms.


title: On mean-field theories of dynamics in supercooled liquids

abstract: We develop a hybrid numerical approach to extract the exact memory function K(t) of a tagged particle in three-dimensional glass-forming liquids. We compare the behavior of the exact memory kernel to two mean-field approaches, namely the standard mode-coupling theory and a recently proposed ansatz for the memory function that forms the basis of a new derivation of the exact form of K(t) for a fluid with short-ranged interactions in infinite dimensions. Each of the mean-field functions qualitatively and quantitatively share traits with the exact K(t), although several important quantitative differences are manifest.


title: Robust Regression for Safe Exploration in Control

abstract: We study the problem of safe learning and exploration in sequential control problems. The goal is to safely collect data samples from operating in an environment, in order to learn to achieve a challenging control goal (e.g., an agile maneuver close to a boundary). A central challenge in this setting is how to quantify uncertainty in order to choose provably-safe actions that allow us to collect informative data and reduce uncertainty, thereby achieving both improved controller safety and optimality. To address this challenge, we present a deep robust regression model that is trained to directly predict the uncertainty bounds for safe exploration. We derive generalization bounds for learning, and connect them with safety and stability bounds in control. We demonstrate empirically that our robust regression approach can outperform the conventional Gaussian process (GP) based safe exploration in settings where it is difficult to specify a good GP prior.


title: Musculoskeletal full-body models including a detailed thoracolumbar spine for children and adolescents aged 6-18 years

abstract: Currently available musculoskeletal inverse-dynamics thoracolumbar spine models are entirely based on data from adults and might therefore not be applicable for simulations in children and adolescents. In addition, these models lack lower extremities, which are required for comprehensive evaluations of functional activities or therapeutic exercises. We therefore created OpenSim-based musculoskeletal full-body models including a detailed thoracolumbar spine for children and adolescents aged 6-18 years and validated by comparing model predictions to in vivo data. After combining our recently developed adult thoracolumbar spine model with a lower extremity model, children and adolescent models were created for each year of age by adjusting segmental length and mass distribution, center of mass positions and moments of inertia of the major body segments as well as sagittal pelvis and spine alignment based on literature data. Similarly, muscle strength properties were adjusted based on CT-derived cross-sectional area measurements. Simulations were conducted from in vivo studies reported in the literature involving children and adolescents evaluating maximum trunk muscle strength (MTMS), lumbar disc compressibility (LDC), intradiscal pressure (IDP) and trunk muscle activity (MA). Model predictions correlated highly with in vivo data (MTMS: r>=0.82, p<=0.03; LDC: r=0.77, p<0.001; IDP: r>=0.78, p<0.001; MA: r>=0.90, p<0.001), indicating suitability for the reasonably accurate prediction of maximal trunk muscle strength, segmental loading and trunk muscle activity in children and adolescents. When aiming at investigating children or adolescents with pathologies such as idiopathic scoliosis, our models can serve as a basis for the creation of deformed spine models and for comparative purposes.


title: On Hamiltonian minimality of isotropic non-homogeneous tori in $\mathbb{H}^n$ and $\mathbb{C} \mathrm{P}^{2n+1}$

abstract: We construct a family of flat isotropic non-homogeneous tori in $\mathbb{H}^n$ and $\mathbb{C} \mathrm{P}^{2n+1}$ and find necessary and sufficient conditions for their Hamiltonian minimality.


title: Global well-posedness for low regularity data in the 2d modified Zakharov-Kuznetsov equation

abstract: We consider the modified Zakharov-Kuznetsov (mZK) equation in two space dimensions in both focusing and defocusing cases. Using the $I$-method, we prove the global well-posedness of the $H^s$ solutions for $s>\frac{3}{4}$ for any data in the defocusing case and under the assumption that the mass of the initial data is less than the mass of the ground state solution of $\Delta \varphi - \varphi + \varphi^3 = 0$ in the focusing case. This improves the global well-posedness result of Linares and Pastor [20].


title: Time-warping invariants of multidimensional time series

abstract: In data science, one is often confronted with a time series representing measurements of some quantity of interest. Usually, as a first step, features of the time series need to be extracted. These are numerical quantities that aim to succinctly describe the data and to dampen the influence of noise. In some applications, these features are also required to satisfy some invariance properties. In this paper, we concentrate on time-warping invariants. We show that these correspond to a certain family of iterated sums of the increments of the time series, known as quasisymmetric functions in the mathematics literature. We present these invariant features in an algebraic framework, and we develop some of their basic properties.


title: Solution of the Unconditional Extremal Problem for a Linear-Fractional Integral Functional Depending on the Parameter

abstract: The paper is devoted to the study of the unconditional extremal problem for a fractional linear integral functional defined on a set of probability distributions. In contrast to results proved earlier, the integrands of the integral expressions in the numerator and the denominator in the problem under consideration depend on a real optimization parameter vector. Thus, the optimization problem is studied on the Cartesian product of a set of probability distributions and a set of admissible values of a real parameter vector. Three statements on the extremum of a fractional linear integral functional are proved. It is established that, in all the variants, the solution of the original problem is completely determined by the extremal properties of the test function of the linear-fractional integral functional; this function is the ratio of the integrands of the numerator and the denominator. Possible applications of the results obtained to problems of optimal control of stochastic systems are described.


title: Scattering with critically-singular and $\delta$-shell potentials

abstract: The authors consider a scattering problem for electric potentials that have a component which is critically singular in the sense of Lebesgue spaces, and a component given by a measure supported on a compact Lipschitz hypersurface. They study direct and inverse point-source scattering under the assumptions that the potentials are real-valued and compactly supported. To solve the direct scattering problem, the authors introduce two functional spaces ---sort of Bourgain type spaces--- that allow to refine the classical resolvent estimates of Agmon and H\"ormander, and Kenig, Ruiz and Sogge. These spaces seem to be very useful to deal with the critically-singular and $\delta$-shell components of the potentials at the same time. Furthermore, these spaces and their corresponding resolvent estimates turn out to have a strong connection with the estimates for the conjugated Laplacian used in the context of the inverse Calder\'on problem. In fact, the authors derive the classical estimates by Sylvester and Uhlmann, and the more recent ones by Haberman and Tataru after some embedding properties of these new spaces. Regarding the inverse scattering problem,the authors prove uniqueness for the potentials from point-source scattering data at fix energy. To address the question of uniqueness the authors combine some of the most advanced techniques in the construction of complex geometrical optics solutions.


title: Comment on "Nonreciprocal cavities and the time-bandwidth limit"

abstract: In their paper in Optica 6, 104 (2019), Mann et al. claim that linear, time-invariant nonreciprocal structures cannot overcome the time-bandwidth limit, and do not exhibit an advantage over their reciprocal counterparts, specifically with regard to their time-bandwidth performance. In this Comment [Optica 7(9), 1097-1101 (2020)], we argue that these conclusions are unfounded. On the basis of, both, rigorous full-wave simulations and insightful physical justifications, we explain that the temporal coupled-mode theory, on which Mann et al. base their main conclusions, is not suited for the study of nonreciprocal trapped states, and instead direct numerical solutions of Maxwell's equations are required. Based on such an analysis, we show that a nonreciprocal terminated waveguide, resulting in a trapped state, clearly outperforms its reciprocal counterpart, i.e. both the extraordinary time-bandwidth performance and the large field enhancements observed in such modes are a direct consequence of nonreciprocity. Additionally, herein, on the arXiv, we provide further results and explanations on the key points made in the main Comment, as well as further elucidating comments on the Reply to the Comment.


title: Kernel and Rich Regimes in Overparametrized Models

abstract: A recent line of work studies overparametrized neural networks in the "kernel regime," i.e. when the network behaves during training as a kernelized linear predictor, and thus training with gradient descent has the effect of finding the minimum RKHS norm solution. This stands in contrast to other studies which demonstrate how gradient descent on overparametrized multilayer networks can induce rich implicit biases that are not RKHS norms. Building on an observation by Chizat and Bach, we show how the scale of the initialization controls the transition between the "kernel" (aka lazy) and "rich" (aka active) regimes and affects generalization properties in multilayer homogeneous models. We provide a complete and detailed analysis for a simple two-layer model that already exhibits an interesting and meaningful transition between the kernel and rich regimes, and we demonstrate the transition for more complex matrix factorization models and multilayer non-linear networks.


title: Overcoming Mean-Field Approximations in Recurrent Gaussian Process Models

abstract: We identify a new variational inference scheme for dynamical systems whose transition function is modelled by a Gaussian process. Inference in this setting has either employed computationally intensive MCMC methods, or relied on factorisations of the variational posterior. As we demonstrate in our experiments, the factorisation between latent system states and transition function can lead to a miscalibrated posterior and to learning unnecessarily large noise terms. We eliminate this factorisation by explicitly modelling the dependence between state trajectories and the Gaussian process posterior. Samples of the latent states can then be tractably generated by conditioning on this representation. The method we obtain (VCDT: variationally coupled dynamics and trajectories) gives better predictive performance and more calibrated estimates of the transition function, yet maintains the same time and space complexities as mean-field methods. Code is available at: github.com/ialong/GPt.


title: Three loop heavy quark form factors and their asymptotic behavior

abstract: A summary of the calculation of the color-planar and complete light quark contributions to the massive three-loop form factors is presented. Here a novel calculation method for the Feynman integrals is used, solving general uni-variate first order factorizable systems of differential equations. We also present predictions for the asymptotic structure of these form factors.


title: Orbits in Non-Supersymmetric Magic Theories

abstract: We determine and classify the electric-magnetic duality orbits of fluxes supporting asymptotically flat, extremal black branes in $D=4,5,6$ space-time dimensions in the so-called non-supersymmetric magic Maxwell-Einstein theories, which are consistent truncations of maximal supergravity and which can be related to Jordan algebras (and related Freudenthal triple systems) over the split complex numbers $\mathbb{C}_{s}$ and the split quaternions $\mathbb{H}_{s}$. By studying the stabilizing subalgebras of suitable representatives, realized as bound states of specific weight vectors of the corresponding representation of the electric-magnetic duality symmetry group, we obtain that, as for the case of maximal supergravity, in magic non-supersymmetric Maxwell-Einstein theories there is no splitting of orbits, namely there is only one orbit for each non-maximal rank element of the relevant Jordan algebra (in $D=5$ and $6$) or of the relevant Freudenthal triple system (in $D=4$).


title: Robust linear domain decomposition schemes for reduced non-linear fracture flow models

abstract: In this work, we consider compressible single-phase flow problems in a porous media containing a fracture. In the latter, a non-linear pressure-velocity relation is prescribed. Using a non-overlapping domain decomposition procedure, we reformulate the global problem into a non-linear interface problem. We then introduce two new algorithms that are able to efficiently handle the non-linearity and the coupling between the fracture and the matrix, both based on linearization by the so-called L-scheme. The first algorithm, named MoLDD, uses the L-scheme to resolve the non-linearity, requiring at each iteration to solve the dimensional coupling via a domain decomposition approach. The second algorithm, called ItLDD, uses a sequential approach in which the dimensional coupling is part of the linearization iterations. For both algorithms, the computations are reduced only to the fracture by pre-computing, in an offline phase, a multiscale flux basis (the linear Robin-to-Neumann co-dimensional map), that represent the flux exchange between the fracture and the matrix. We present extensive theoretical findings and in particular, the stability and the convergence of both schemes are obtained, where user given parameters are optimized to minimise the number of iterations. Examples on two important fracture models are computed with the library PorePy and agree with the developed theory.


title: The Communication Complexity of Optimization

abstract: We consider the communication complexity of a number of distributed optimization problems. We start with the problem of solving a linear system. Suppose there is a coordinator together with $s$ servers $P_1, \ldots, P_s$, the $i$-th of which holds a subset $A^{(i)} x = b^{(i)}$ of $n_i$ constraints of a linear system in $d$ variables, and the coordinator would like to output $x \in \mathbb{R}^d$ for which $A^{(i)} x = b^{(i)}$ for $i = 1, \ldots, s$. We assume each coefficient of each constraint is specified using $L$ bits. We first resolve the randomized and deterministic communication complexity in the point-to-point model of communication, showing it is $\tilde{\Theta}(d^2L + sd)$ and $\tilde{\Theta}(sd^2L)$, respectively. We obtain similar results for the blackboard model. When there is no solution to the linear system, a natural alternative is to find the solution minimizing the $\ell_p$ loss. While this problem has been studied, we give improved upper or lower bounds for every value of $p \ge 1$. One takeaway message is that sampling and sketching techniques, which are commonly used in earlier work on distributed optimization, are neither optimal in the dependence on $d$ nor on the dependence on the approximation $\epsilon$, thus motivating new techniques from optimization to solve these problems. Towards this end, we consider the communication complexity of optimization tasks which generalize linear systems. For linear programming, we first resolve the communication complexity when $d$ is constant, showing it is $\tilde{\Theta}(sL)$ in the point-to-point model. For general $d$ and in the point-to-point model, we show an $\tilde{O}(sd^3 L)$ upper bound and an $\tilde{\Omega}(d^2 L + sd)$ lower bound. We also show if one perturbs the coefficients randomly by numbers as small as $2^{-\Theta(L)}$, then the upper bound is $\tilde{O}(sd^2 L) + \textrm{poly}(dL)$.


title: There is no Artificial General Intelligence

abstract: The goal of creating Artificial General Intelligence (AGI) -- or in other words of creating Turing machines (modern computers) that can behave in a way that mimics human intelligence -- has occupied AI researchers ever since the idea of AI was first proposed. One common theme in these discussions is the thesis that the ability of a machine to conduct convincing dialogues with human beings can serve as at least a sufficient criterion of AGI. We argue that this very ability should be accepted also as a necessary condition of AGI, and we provide a description of the nature of human dialogue in particular and of human language in general against this background. We then argue that it is for mathematical reasons impossible to program a machine in such a way that it could master human dialogue behaviour in its full generality. This is (1) because there are no traditional explicitly designed mathematical models that could be used as a starting point for creating such programs; and (2) because even the sorts of automated models generated by using machine learning, which have been used successfully in areas such as machine translation, cannot be extended to cope with human dialogue. If this is so, then we can conclude that a Turing machine also cannot possess AGI, because it fails to fulfil a necessary condition thereof. At the same time, however, we acknowledge the potential of Turing machines to master dialogue behaviour in highly restricted contexts, where what is called ``narrow'' AI can still be of considerable utility.


title: Bootstrapping Veneziano Amplitude of Vasiliev Theory and $3D$ Bosonization

abstract: Three-dimensional conformal field theories (CFTs) with slightly broken higher spin symmetry provide an interesting laboratory to study general properties of CFTs and their roles in the AdS/CFT correspondence. In this work we compute the four-point functions at arbitrary 't Hooft coupling $\lambda$ in the CFTs with slightly broken higher spin symmetry. We use a bootstrap approach based on the approximate higher spin Ward identity. We show that the bootstrap equation is separated into two parts with opposite parity charges, and it leads to a recursion relation for the $\lambda$ expansions of the correlation functions. The $\lambda$ expansions terminate at order $\lambda^2$ and the solutions are exact in $\lambda$. Our work generalizes the approach proposed by Maldacena and Zhiboedov to four-point correlators, and it amounts to an on-shell study for the $3D$ Chern-Simons vector models and the Vasiliev theory in $AdS_4$. Besides, we show that the same results can also be obtained rather simply from bosonization duality of $3D$ Chern-Simons vector models. The odd term at order $O(\lambda)$ in the spinning four-point function relates to the free boson correlator through a Legendre transformation. This provides new evidence on the $3D$ bosonization duality at the spinning four-point function level. We expect this work can be generalized to a complete classification of general four-point functions of single trace currents.


title: Global Energetics of Solar Flares: VIII. The Low-Energy Cutoff

abstract: One of the key problems in solar flare physics is the determination of the low-energy cut-off; the value that determines the energy of nonthermal electrons and hence flare energetics. We discuss different approaches to determine the low-energy cut-off in the spectrum of accelerated electrons: (i) the total electron number model, (ii) the time-of-flight model (based on the equivalence of the time-of-flight and the collisional deflection time); (iii) the warm target model of Kontar et al.~(2015), and (iv) the model of the spectral cross-over between thermal and nonthermal components. We find that the first three models are consistent with a low-energy cutoff with a mean value of $\approx 10$ keV, while the cross-over model provides an upper limit for the low-energy cutoff with a mean value of $ \approx 21$ keV. Combining the first three models we find that the ratio of the nonthermal energy to the dissipated magnetic energy in solar flares has a mean value of $q_E=0.57\pm0.08$, which is consistent with an earlier study based on the simplified approximation of the warm target model alone ($q_E=0.51\pm0.17$). This study corroborates the self-consistency between three different low-energy cutoff models in the calculation of nonthermal flare energies.


title: Quantum Chess: Developing a Mathematical Framework and Design Methodology for Creating Quantum Games

abstract: Quantum phenomena have remained largely inaccessible to the general public. This can be attributed to the fact that we do not experience quantum mechanics on a tangible level in our daily lives. Games can provide an environment in which people can experience the strange behavior of the quantum world in a fun and mentally engaging way. Games could also offer an interesting test bed for near term quantum devices because they can be tailored to support varying amounts of quantum behavior through simple rule changes, which can be useful when dealing with limited resources. This paper explores the design of a variant of Chess which is built on top of unitary dynamics and includes non-trivial quantum effects such as superposition, entanglement, and interference. A movement ruleset is introduced which allows players to create superposition, entanglement, and interference effects. A measurement rule is also introduced which helps limit the size of the superposition, so the game remains tractable for a classical computer, and also helps make the game more comprehensible for a player.


title: On additive co-minimal pairs

abstract: A pair of non-empty subsets $(W,W')$ in an abelian group $G$ is an additive complement pair if $W+W'=G$. $W'$ is said to be minimal to $W$ if $W+(W'\setminus \{w'\}) \neq G, \forall \,w'\in W'$. In general, given an arbitrary subset in a group, the existence of minimal complement(s) depends on its structure. The dual problem asks that given such a set, if it is a minimal complement to some subset. Additive complements have been studied in the context of representations of integers since the time of Erd\H{o}s, Hanani, Lorentz and others. The notion of minimal complements is due to Nathanson. We study tightness property of complement pairs $(W,W')$ such that both $W$ and $W'$ are minimal to each other. These are termed co-minimal pairs and we show that any non-empty finite set in an arbitrary free abelian group belongs to some co-minimal pair. We also study infinite sets forming co-minimal pairs. At the other extreme, motivated by unbounded arithmetic progressions in the integers, we look at sets which can never be a part of any minimal pair. This leads to a discussion on co-minimality, subgroups, approximate subgroups and asymptotic approximate subgroups of $G$.


title: Goal-conditioned Imitation Learning

abstract: Designing rewards for Reinforcement Learning (RL) is challenging because it needs to convey the desired task, be efficient to optimize, and be easy to compute. The latter is particularly problematic when applying RL to robotics, where detecting whether the desired configuration is reached might require considerable supervision and instrumentation. Furthermore, we are often interested in being able to reach a wide range of configurations, hence setting up a different reward every time might be unpractical. Methods like Hindsight Experience Replay (HER) have recently shown promise to learn policies able to reach many goals, without the need of a reward. Unfortunately, without tricks like resetting to points along the trajectory, HER might require many samples to discover how to reach certain areas of the state-space. In this work we investigate different approaches to incorporate demonstrations to drastically speed up the convergence to a policy able to reach any goal, also surpassing the performance of an agent trained with other Imitation Learning algorithms. Furthermore, we show our method can also be used when the available expert trajectories do not contain the actions, which can leverage kinesthetic or third person demonstration. The code is available at https://sites.google.com/view/goalconditioned-il/.


title: Fractional Local Dimension

abstract: The original notion of dimension for posets was introduced by Dushnik and Miller in 1941 and has been studied extensively in the literature. In 1992, Brightwell and Scheinerman developed the notion of fractional dimension as the natural linear programming relaxation of the Dushnik-Miller concept. In 2016, Ueckerdt introduced the concept of local dimension, and in just three years, several research papers studying this new parameter have been published. In this paper, we introduce and study fractional local dimension. As suggested by the terminology, our parameter is a common generalization of fractional dimension and local dimension. For a pair $(n,d)$ with $2\le d<n$, we consider the poset $P(1,d;n)$ consisting of all $1$-element and $d$-element subsets of $\{1,\dots,n\}$ partially ordered by inclusion. This poset has fractional dimension $d+1$, but for fixed $d\ge2$, its local dimension goes to infinity with $n$. On the other hand, we show that as $n$ tends to infinity, the fractional local dimension of $P(1,d;n)$ tends to a value $\text{FLD}(d)$ which we will be able to determine exactly. For all $d\ge2$, $\text{FLD}(d)$ is strictly less than $d+1$, and for large $d$, $\text{FLD}(d)\sim d/(\log d-\log\log d-o(1))$. As an immediate corollary, we show that if $P$ is a poset, and $d$ is the maximum degree of a vertex in the comparability graph of $P$, then the fractional local dimension of $P$, is at most $2+\text{FLD}(d).$ Our arguments use both discrete and continuous methods.


title: Self-Organized Criticality in Solar and Stellar Flares: Are Extreme Events Scale-Free ?

abstract: We search for outliers in extreme events of statistical size distributions of astrophysical data sets, motivated by the {\sl Dragon-King hypothesis} of Sornette (2009), which suggests that the most extreme events in a statistical distribution may belong to a different population, and thus may be generated by a different phyiscal mechanism, in contrast to the strict power law behavior of {\sl self-organized criticality (SOC)} models. Identifying such disparate outliers is important for space weather predictions. Possible physical mechanisms to produce such outliers could be generated by sympathetic flaring. However, we find that Dragon-King events are not common in solar and stellar flares, identified in 4 out of 25 solar and stellar flare data sets only. Consequently, small, large, and extreme flares are essentially scale-free and can be modeled with a single physical mechanism. In very large data sets ($N \gapprox 10^4$) we find significant deviations from ideal power laws in almost all data sets. Neverthess, the fitted power law slopes constrain physcial scaling laws in terms of flare areas and volumes, which have the highest nonlinearity in their scaling laws.


title: Deep Reinforcement Learning for Industrial Insertion Tasks with Visual Inputs and Natural Rewards

abstract: Connector insertion and many other tasks commonly found in modern manufacturing settings involve complex contact dynamics and friction. Since it is difficult to capture related physical effects with first-order modeling, traditional control methods often result in brittle and inaccurate controllers, which have to be manually tuned. Reinforcement learning (RL) methods have been demonstrated to be capable of learning controllers in such environments from autonomous interaction with the environment, but running RL algorithms in the real world poses sample efficiency and safety challenges. Moreover, in practical real-world settings we cannot assume access to perfect state information or dense reward signals. In this paper, we consider a variety of difficult industrial insertion tasks with visual inputs and different natural reward specifications, namely sparse rewards and goal images. We show that methods that combine RL with prior information, such as classical controllers or demonstrations, can solve these tasks from a reasonable amount of real-world interaction.


title: Triggering InAs/GaAs Quantum Dot nucleation and growth rate determination by in-situ modulation of surface energy

abstract: Epitaxial InAs/GaAs Quantum Dots (QDs) are widely used as highly efficient and pure sources of single photons and entangled photon-pairs, however reliable wafer-scale growth techniques have proved elusive. Growth of two-dimensional Quantum Well (QW) thin-films can be achieved with atomic precision down to below the de Broglie wavelength of electrons in the material, exposing the quantum particle-in-a-box energy vs. thickness-squared relationship. However, difficulties in controlling the exact moment of nanostructure nucleation obscure this behaviour in epitaxial QD material, preventing a clear understanding of their growth. In this work we demonstrate that QD nucleation can be induced by directly modulating the crystal surface energy without additional materials or equipment. This gains us quantitative measure of the QD growth rate and enables predictive design of QD growth processes. We believe this technique will be crucial to the realisation of uniform arrays of QDs required for scalable quantum devices at the single-photon level.


title: Concentration estimates for algebraic intersections

abstract: We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree-reduction that enables it to deal efficiently with higher-dimensional problems and also with high-degree varieties. We obtain sharp bounds that are new even in the case of lines in $\mathbb{R}^n$ and show that besides doubly-ruled varieties, only a certain rare family of varieties can be relevant for the study of incidence questions.


title: Effects of a Binary Companion Star on Habitability of Tidally Locked Planets around an M-type Host Star

abstract: Planets in the "Habitable Zones" around M-type stars are important targets for characterization in future observations. Due to tidal-locking in synchronous spin-orbit rotations, the planets tend to have a hot dayside and a cold nightside. On the cold nightside, water vapor transferred from the dayside can be frozen in ("cold trap") or the major atmospheric constituent could also condense ("atmospheric collapse") if the atmosphere is so thin that the heat re-distribution is not efficient, in the case of a single M-type star. Motivated by the abundance of binary star systems, we investigate the effects of irradiation from a G-type companion star on the climate of a tidally locked planet around an M-type star using the 2D energy balance model. We find that the irradiation from the G-type star is more effective at warming up the nightside of the planet than the dayside. This contributes to the prevention of the irreversible trapping of water and atmosphere on the cold nightside, broadening the parameter space where tidally locked planets can maintain surface liquid water. Tidally locked ocean planets with < ~ 0.3 bar atmospheres or land planets with < ~ 3 bar atmospheres can realize temperate climate with surface liquid water when they are also irradiated by a companion star with a separation of 1 - 4 au. We also demonstrate that planets with given properties can be in the Earth-like temperate climate regime or in a completely frozen state under the same total irradiation.


title: Mask2Lesion: Mask-Constrained Adversarial Skin Lesion Image Synthesis

abstract: Skin lesion segmentation is a vital task in skin cancer diagnosis and further treatment. Although deep learning based approaches have significantly improved the segmentation accuracy, these algorithms are still reliant on having a large enough dataset in order to achieve adequate results. Inspired by the immense success of generative adversarial networks (GANs), we propose a GAN-based augmentation of the original dataset in order to improve the segmentation performance. In particular, we use the segmentation masks available in the training dataset to train the Mask2Lesion model, and use the model to generate new lesion images given any arbitrary mask, which are then used to augment the original training dataset. We test Mask2Lesion augmentation on the ISBI ISIC 2017 Skin Lesion Segmentation Challenge dataset and achieve an improvement of 5.17% in the mean Dice score as compared to a model trained with only classical data augmentation techniques.


title: Turing complete mechanical processor via automated nonlinear system design

abstract: Nanomechanical computers promise a greatly improved energetic efficiency compared to their electrical counterparts. However, progress towards this goal is hindered by a lack of modular components, such as logic gates or transistors, and systematic design strategies. This article describes a universal logic gate implemented as a nonlinear mass-spring-damper model, followed by an automated method to translate computations, expressed as source code of arbitrary complexity, into combinations of this basic building block. The proposed approach is validated numerically in two steps: First, a set of discrete models are generated from code. The models implement computations with increasing complexity, starting by a simple adder and ending in a 8-bit Turing complete mechanical processor. Then, the models are forward integrated to demonstrate their computing performance. The processor is validated by executing the Erathostenes' sieve algorithm to mechanically compute prime numbers.


title: Opportunistic Synthesis in Reactive Games under Information Asymmetry

abstract: Reactive synthesis is a class of methods to construct a provably-correct control system, referred to as a robot, with respect to a temporal logic specification in the presence of a dynamic and uncontrollable environment. This is achieved by modeling the interaction between the robot and its environment as a two-player zero-sum game. However, existing reactive synthesis methods assume both players to have complete information, which is not the case in many strategic interactions. In this paper, we use a variant of hypergames to model the interaction between the robot and its environment; which has incomplete information about the specification of the robot. This model allows us to identify a subset of game states from where the robot can leverage the asymmetrical information to achieve a better outcome, which is not possible if both players have symmetrical and complete information. We then introduce a novel method of opportunistic synthesis by defining a Markov Decision Process (MDP) using the hypergame under temporal logic specifications. When the environment plays some stochastic strategy in its perceived sure-winning and sure-losing regions of the game, we show that by following the opportunistic strategy, the robot is ensured to only improve the outcome of the game - measured by satisfaction of sub-specifications - whenever an opportunity becomes available. We demonstrate the correctness and optimality of this method using a robot motion planning example in the presence of an adversary.


title: Multivariate polynomials for generalized permutohedra

abstract: Using the notion of Mahonian statistic on acyclic posets, we introduce a $q$-analogue of the $h$-polynomial of a simple generalized permutohedron. We focus primarily on the case of nestohedra and on explicit computations for many interesting examples, such as $S_n$-invariant nestohedra, graph associahedra, and Stanley--Pitman polytopes. For the usual (Stasheff) associahedron, our generalization yields an alternative $q$-analogue to the well-studied Narayana numbers.


title: Contrastive Multiview Coding

abstract: Humans view the world through many sensory channels, e.g., the long-wavelength light channel, viewed by the left eye, or the high-frequency vibrations channel, heard by the right ear. Each view is noisy and incomplete, but important factors, such as physics, geometry, and semantics, tend to be shared between all views (e.g., a "dog" can be seen, heard, and felt). We investigate the classic hypothesis that a powerful representation is one that models view-invariant factors. We study this hypothesis under the framework of multiview contrastive learning, where we learn a representation that aims to maximize mutual information between different views of the same scene but is otherwise compact. Our approach scales to any number of views, and is view-agnostic. We analyze key properties of the approach that make it work, finding that the contrastive loss outperforms a popular alternative based on cross-view prediction, and that the more views we learn from, the better the resulting representation captures underlying scene semantics. Our approach achieves state-of-the-art results on image and video unsupervised learning benchmarks. Code is released at: http://github.com/HobbitLong/CMC/.


title: Reweighted Expectation Maximization

abstract: Training deep generative models with maximum likelihood remains a challenge. The typical workaround is to use variational inference (VI) and maximize a lower bound to the log marginal likelihood of the data. Variational auto-encoders (VAEs) adopt this approach. They further amortize the cost of inference by using a recognition network to parameterize the variational family. Amortized VI scales approximate posterior inference in deep generative models to large datasets. However it introduces an amortization gap and leads to approximate posteriors of reduced expressivity due to the problem known as posterior collapse. In this paper, we consider expectation maximization (EM) as a paradigm for fitting deep generative models. Unlike VI, EM directly maximizes the log marginal likelihood of the data. We rediscover the importance weighted auto-encoder (IWAE) as an instance of EM and propose a new EM-based algorithm for fitting deep generative models called reweighted expectation maximization (REM). REM learns better generative models than the IWAE by decoupling the learning dynamics of the generative model and the recognition network using a separate expressive proposal found by moment matching. We compared REM to the VAE and the IWAE on several density estimation benchmarks and found it leads to significantly better performance as measured by log-likelihood.


title: Spectra and eigenspaces from regular partitions of Cayley (di)graphs of permutation groups

abstract: In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quotient (di)graphs. More precisely, we provide a method to find all the eigenvalues and eigenvectors of such (di)graphs, based on their irreducible representations. As examples, we apply this method to the pancake graphs $P(n)$ and to a recent known family of mixed graphs $\Gamma(d,n,r)$ (having edges with and without direction). As a byproduct, the existence of perfect codes in $P(n)$ allows us to give a lower bound for the multiplicity of its eigenvalue $-1$.


title: Scrambling in nearly thermalized states at large central charge

abstract: We study $2d$ conformal field theory (CFT) at large central charge $c$ and finite temperature $T$ with heavy operators inserted at spatial infinity. The heavy operators produce a nearly thermalized steady state at an effective temperature $T_{\rm eff}\leq T$. Under some assumptions, we find an effective Schwarzian-like description of these states and, when they exist, their gravity duals. We use this description to compute the Lyapunov exponents for light operators to be $2\pi T_{\rm eff}$, so that scrambling is suppressed by the heavy insertions.


title: Bounded sets of sheaves on relative analytic spaces

abstract: We extend previous results on boundedness of sets of coherent sheaves on a compact K\"ahler manifold to the relative and not necessarily smooth case. This enlarged context allows us to prove properness properties of the relative Douady space as well as results related to semistability of sheaves such as the existence of relative Harder-Narasimhan filtrations.


title: Solid Lubrication with MoS$_2$: A Review

abstract: Molybdenum disulfide (MoS$_2$) is one of the most broadly utilized solid lubricants with a wide range of applications, including but not limited to those in the aerospace/space industry. Here we present a focused review of solid lubrication with MoS$_2$ by highlighting its structure, synthesis, applications and the fundamental mechanisms underlying its lubricative properties, together with a discussion of their environmental and temperature dependence. An effort is made to cover the main theoretical and experimental studies that constitute milestones in our scientific understanding. The review also includes an extensive overview of the structure and tribological properties of doped MoS$_2$, followed by a discussion of potential future research directions.


title: Perturbative Algebraic Quantum Field Theory on Quantum Spacetime: Adiabatic and Ultraviolet Convergence

abstract: The quantum structure of Spacetime at the Planck scale suggests the use, in defining interactions between fields, of the Quantum Wick product. The resulting theory is ultraviolet finite, but subject to an adiabatic cutoff in time which seems difficult to remove. We solve this problem here by another strategy: the fields at a point in the interaction Lagrangian are replaced by the fields at a quantum point, described by an optimally localized state on QST; the resulting Lagrangian density agrees with the previous one after spacetime integration, but gives rise to a different interaction hamiltonian. But now the methods of perturbative Algebraic Quantum Field Theory can be applied, and produce an ultraviolet finite perturbation expansion of the interacting observables. If the obtained theory is tested in an equilibrium state at finite temperature the adiabatic cutoff in time becomes immaterial, namely it has no effect on the correlation function at any order in perturbation theory. Moreover, the interacting vacuum state can be obtained in the vanishing temperature limit. It is nevertheless important to stress that the use of states which are optimally localized for a given observer brakes Lorentz invariance at the very beginning.


title: Detecting Photoshopped Faces by Scripting Photoshop

abstract: Most malicious photo manipulations are created using standard image editing tools, such as Adobe Photoshop. We present a method for detecting one very popular Photoshop manipulation -- image warping applied to human faces -- using a model trained entirely using fake images that were automatically generated by scripting Photoshop itself. We show that our model outperforms humans at the task of recognizing manipulated images, can predict the specific location of edits, and in some cases can be used to "undo" a manipulation to reconstruct the original, unedited image. We demonstrate that the system can be successfully applied to real, artist-created image manipulations.


title: Show, Match and Segment: Joint Weakly Supervised Learning of Semantic Matching and Object Co-segmentation

abstract: We present an approach for jointly matching and segmenting object instances of the same category within a collection of images. In contrast to existing algorithms that tackle the tasks of semantic matching and object co-segmentation in isolation, our method exploits the complementary nature of the two tasks. The key insights of our method are two-fold. First, the estimated dense correspondence fields from semantic matching provide supervision for object co-segmentation by enforcing consistency between the predicted masks from a pair of images. Second, the predicted object masks from object co-segmentation in turn allow us to reduce the adverse effects due to background clutters for improving semantic matching. Our model is end-to-end trainable and does not require supervision from manually annotated correspondences and object masks. We validate the efficacy of our approach on five benchmark datasets: TSS, Internet, PF-PASCAL, PF-WILLOW, and SPair-71k, and show that our algorithm performs favorably against the state-of-the-art methods on both semantic matching and object co-segmentation tasks.


title: Massive star feedback in clusters: variation of the FUV interstellar radiation field in time and space

abstract: We investigate radiative feedback from a 34 M$_\odot$ star in a $10^4$ M$_\odot$ turbulent cloud using three-dimensional radiation-hydrodynamics (RHD) models. We use Monte Carlo radiative transfer to accurately compute photoionization equilibrium and radiation pressure, with multiple atomic species and silicate dust grains. We include the diffuse radiation field, dust absorption/re-emission, and scattering. The cloud is efficiently dispersed, with 75 per cent of the mass leaving the (32.3 pc)$^3$ grid within 4.3 Myr (1.1 $t_{ff}$). This compares to all mass exiting within 1.6 Myr (0.74 $t_{ff}$) in our previously published $10^3$ M$_\odot$ cloud. At most 20 per cent of the mass is ionized, compared to 40 per cent in the lower mass model, despite the ionized volume fraction being 80 per cent in both, implying the higher mass cloud is more resilient to feedback. The total Jeans-unstable mass increases linearly up to 1500 M$_\odot$ before plateauing after 2 Myr, corresponding to a core formation efficiency of 15 per cent. We also measure the time-variation of the far-ultraviolet (FUV) radiation field, $G_0$, impinging on other cluster members, taking into account for the first time how this changes in a dynamic cluster environment with intervening opacity sources and stellar motions. Many objects remain shielded in the first 0.5 Myr whilst the massive star is embedded, after which $G_0$ increases by orders of magnitude. Gas motions later on cause comparable drops which happen instantaneously and last for $\sim$ 1 Myr before being restored. This highly variable UV field will influence the photoevaporation of protoplanetary discs near massive stars.


title: FAQ on the g-theorem and the hard Lefschetz theorem for face rings

abstract: This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We review the hard Lefschetz theorem for simplicial spheres, as well as the theory at its core: perturbations of maps, biased Poincar\'e pairings and a cobordism argument that relates the Lefschetz property of a manifold to the Lefschetz property on its boundary. We also sketch an alternative argument based on edge-contractions.