title: OPAL: Offline Primitive Discovery for Accelerating Offline Reinforcement Learning

abstract: Reinforcement learning (RL) has achieved impressive performance in a variety of online settings in which an agent's ability to query the environment for transitions and rewards is effectively unlimited. However, in many practical applications, the situation is reversed: an agent may have access to large amounts of undirected offline experience data, while access to the online environment is severely limited. In this work, we focus on this offline setting. Our main insight is that, when presented with offline data composed of a variety of behaviors, an effective way to leverage this data is to extract a continuous space of recurring and temporally extended primitive behaviors before using these primitives for downstream task learning. Primitives extracted in this way serve two purposes: they delineate the behaviors that are supported by the data from those that are not, making them useful for avoiding distributional shift in offline RL; and they provide a degree of temporal abstraction, which reduces the effective horizon yielding better learning in theory, and improved offline RL in practice. In addition to benefiting offline policy optimization, we show that performing offline primitive learning in this way can also be leveraged for improving few-shot imitation learning as well as exploration and transfer in online RL on a variety of benchmark domains. Visualizations are available at https://sites.google.com/view/opal-iclr


title: The finite size effects and the two-state paradigm of protein folding

abstract: The coil to globule transition of the polypeptide chain is the physical phenomenon behind the folding of globular proteins. Globular proteins with a single domain usually consist of about 30 to 100 amino acid residues, and this finite size extends the transition interval of the coil-globule phase transition. Based on the pedantic derivation of the two-state model, we introduce the number of amino acid residues of a polypeptide chain as a parameter in the expressions for two cooperativity measures and reveal their physical significance. We conclude that the $k_2$ measure, related to the degeneracy of the denatured state, describes the number of cooperative units involved in the transition; additionally is found that the famous condition $k_2=1$ is just the necessary condition to classify the protein as the two-state folder. We also find that $\Omega_c$ is simply proportional to the square of the transition interval. This fact allows us to perform the classical size scaling analysis of the coil-globule phase transition. Moreover, these two measures are shown to describe different characteristics of protein folding.


title: Photoelectroanalytical Oxygen Detection with Titanate Nanosheet Platinum Hybrids Immobilised into a Polymer of Intrinsic Microporosity

abstract: The polymer of intrinsic microporosity PIM 1 is employed to disperse and deposit a Pt at titanate nanosheet photocatalyst film. The resulting microporous films allow electrolyte and oxygen permeation to give conventional oxygen reduction voltammetric responses on glassy carbon or on platinum disk electrodes in the dark. Preliminary data are presented showing that with pulsed light from a blue LED oxygen reduction at the electrode is effectively switched off. A mechanism is tentatively assigned as photocatalytic depletion of oxygen near the electrode. Photoelectrochemical current responses are observed in aqueous NaOH, NaCl, Na2HPO4 and shown to be light intensity and oxygen concentration dependent. Electroanalytical applications are suggested.


title: Deforming cyclic covers in towers

abstract: Obus-Wewers and Pop recently resolved a long-standing conjecture by Oort that says: every cyclic cover of a curve in characteristic $p>0$ lifts to characteristic zero. Sa\"idi further asks whether these covers are also "liftable in towers". We prove that the answer for the equal-characteristic version of this question is affirmative. Our proof employs the Hurwitz tree technique and the tools developed by Obus-Wewers.


title: High-order maximum-entropy collocation methods

abstract: This paper considers the approximation of partial differential equations with a point collocation framework based on high-order local maximum-entropy schemes (HOLMES). In this approach, smooth basis functions are computed through an optimization procedure and the strong form of the problem is directly imposed at the collocation points, reducing significantly the computational times with respect to the Galerkin formulation. Furthermore, such a method is truly meshless, since no background integration grids are necessary. The validity of the proposed methodology is verified with supportive numerical examples, where the expected convergence rates are obtained. This includes the approximation of PDEs on domains bounded by implicit and explicit (NURBS) curves, illustrating a direct integration between the geometric modeling and the numerical analysis.


title: Oscillatory thermal-inertial flows in liquid metal rotating convection

abstract: We present the first detailed thermal and velocity field characterization of convection in a rotating cylindrical tank of liquid gallium, which has thermophysical properties similar to those of planetary core fluids. Our laboratory experiments, and a closely associated direct numerical simulation, are all carried out in the regime prior to the onset of steady convective modes. This allows us to study the oscillatory convective modes, sidewall modes and broadband turbulent flow that develop in liquid metals before the advent of steady columnar modes. Our thermo-velocimetric measurements show that strongly inertial, thermal wind flows develop, with velocities reaching those of comparable non-rotating cases. Oscillatory bulk convection and wall modes coexist across a wide range of our experiments, along with strong zonal flows that peak in the Stewartson layer, but that extend deep into the fluid bulk in the higher supercriticality cases. The flows contain significant time-mean helicity that is anti-symmetric across the midplane, demonstrating that oscillatory liquid metal convection contains the kinematic components to sustain system-scale dynamo generation.


title: Castelnuovo polytopes

abstract: It is known that the sectional genus of a polarized variety has an upper bound, which is an extension of the Castelnuovo bound on the genus of a projective curve. Polarized varieties whose sectional genus achieves this bound are called Castelnuovo. On the other hand, a lattice polytope is called Castelnuovo if the associated polarized toric variety is Castelnuovo. Kawaguchi characterized Castelnuovo polytopes having interior lattice points in terms of their $h^*$-vectors. In this paper, as a generalization of this result, a characterization of all Castelnuovo polytopes will be presented. Finally, as an application of our characterization, we give a sufficient criterion for a lattice polytope to be IDP.


title: Modeling and computation for non-equilibrium gas dynamics: beyond kinetic relaxation model

abstract: The non-equilibrium gas dynamics is described by the Boltzmann equation, which can be solved numerically through the deterministic and stochastic methods. Due to the complicated collision term of the Boltzmann equation, many kinetic relaxation models have been proposed and used in the past seventy years for the study of rarefied flow. In order to develop a multiscale method for the rarefied and continuum flow simulation, by adopting the integral solution of the kinetic model equation a DVM-type unified gas-kinetic scheme (UGKS) has been constructed. The UGKS models the gas dynamics on the cell size and time step scales while the accumulating effect from particle transport and collision has been taken into account within a time step. Under the UGKS framework, a unified gas-kinetic wave-particle (UGKWP) method has been further developed for non-equilibrium flow simulation, where the time evolution of gas distribution function is composed of analytical wave and individual particle. In the highly rarefied regime, particle transport and collision will play a dominant role. Due to the single relaxation time model for particle collision, there is a noticeable discrepancy between the UGKWP solution and the full Boltzmann or DSMC result, especially in the high Mach and Knudsen number cases. In this paper, besides the kinetic relaxation model, a modification of particle collision time according to the particle velocity will be implemented in UGKWP. As a result, the new model greatly improves the performance of UGKWP in the capturing of non-equilibrium flow. There is a perfect match between UGKWP and DSMC or Boltzmann solution in the highly rarefied regime. In the near continuum and continuum flow regime, the UGKWP will gradually get back to the macroscopic variables based Navier-Stokes flow solver at small cell Knudsen number.


title: Exploring Memory Access Patterns for Graph Processing Accelerators

abstract: Recent trends in business and technology (e.g., machine learning, social network analysis) benefit from storing and processing growing amounts of graph-structured data in databases and data science platforms. FPGAs as accelerators for graph processing with a customizable memory hierarchy promise solving performance problems caused by inherent irregular memory access patterns on traditional hardware (e.g., CPU). However, developing such hardware accelerators is yet time-consuming and difficult and benchmarking is non-standardized, hindering comprehension of the impact of memory access pattern changes and systematic engineering of graph processing accelerators. In this work, we propose a simulation environment for the analysis of graph processing accelerators based on simulating their memory access patterns. Further, we evaluate our approach on two state-of-the-art FPGA graph processing accelerators and show reproducibility, comparablity, as well as the shortened development process by an example. Not implementing the cycle-accurate internal data flow on accelerator hardware like FPGAs significantly reduces the implementation time, increases the benchmark parameter transparency, and allows comparison of graph processing approaches.


title: Low-mass low-metallicity AGB stars as an efficient i-process site explaining CEMP-rs stars

abstract: Among Carbon-Enhanced Metal-Poor (CEMP) stars, some are found to be enriched in s-process elements (CEMP-s), in r-process elements (CEMP-r) or in both s- and r-process elements (CEMP-rs). The origin of the abundance differences between CEMP-s and CEMP-rs stars is presently unknown. It has been claimed that the i-process, whose site still remains to be identified, could better reproduce CEMP-rs abundances than the s-process. We analyze high-resolution spectra of 25 metal-poor stars, observed with the high-resolution HERMES spectrograph mounted on the Mercator telescope, La Palma, or with the UVES/VLT and HIRES/KECK spectrographs. We propose a new, robust classification method for CEMP-s and CEMP-rs stars using eight heavy element abundances. The abundance profiles of CEMP-s and CEMP-rs stars are derived and there appears to be an abundance continuum between the two stellar classes. CEMP-rs stars present most of the characteristics of extrinsic stars such as CEMP-s, CH, Barium and extrinsic S stars, with an even larger binarity rate among CEMP-rs stars than among CEMP-s stars. Stellar evolutionary tracks of an enhanced carbon composition (consistent with our abundance determinations) are necessary to explain the position of CEMP-s and CEMP-rs stars in the HR diagram using Gaia DR2 parallaxes; they are found to lie mostly on the RGB. CEMP-rs stars can be explained as being polluted by a low-mass, low-metallicity TP-AGB companion experiencing i-process nucleosynthesis after proton ingestion during its first convective thermal pulses. The global fitting of our i-process models to CEMP-rs stars is as good as the one of our s-process models to CEMP-s stars. As such, CEMP-rs stars could be renamed as CEMP-sr stars, since they represent a particular manifestation of the s-process at low-metallicities. For these objects a call for an exotic i-process site may not necessarily be required anymore.


title: Trapping, Shaping and Isolating of Ion Coulomb Crystals via State-selective Optical Potentials

abstract: For conventional ion traps, the trapping potential is close to independent of the electronic state, providing confinement for ions dependent primarily on their charge-to-mass ratio $Q/m$. In contrast, storing ions within an optical dipole trap results in state-dependent confinement. Here we experimentally study optical dipole potentials for $^{138}\mathrm{Ba}^+$ ions stored within two distinctive traps operating at 532 nm and 1064 nm. We prepare the ions in either the $6\mathrm{S}_{\mathrm{1/2}}$ electronic ground or the $5\mathrm{D}_{\mathrm{3/2}}$/ $5\mathrm{D}_{\mathrm{5/2}}$ metastable excited state and probe the relative strength and polarity of the potential. On the one hand, we apply our findings to selectively remove ions from a Coulomb crystal, despite all ions sharing the same $Q/m$. On the other hand, we deterministically purify the trapping volume from parasitic ions in higher-energy orbits, resulting in reliable isolation of Coulomb crystals down to a single ion within a radio-frequency trap.


title: Non-convex Hamilton-Jacobi equations with gradient constraints

abstract: We study non-convex Hamilton-Jacobi equations in the presence of gradient constraints and produce new, optimal, regularity results for the solutions. A distinctive feature of those equations regards the existence of a lower bound to the norm of the gradient; it competes with the elliptic operator governing the problem, affecting the regularity of the solutions. This class of models relates to various important questions and finds applications in several areas; of particular interest is the modeling of optimal dividends problems for multiple insurance companies in risk theory and singular stochastic control in reversible investment models.


title: Frequency Response Characteristic (FRC) Curve and Fast Frequency Response Assessment in High Renewable Power Systems

abstract: This paper introduces a frequency response characteristic (FRC) curve and its application in high renewable power systems. In addition, the paper presents a method for fast frequency response assessment and frequency nadir prediction without performing dynamic simulations using detailed models. The proposed FRC curve and fast frequency response assessment method are useful for operators to understand frequency response performance of high renewable systems in real time.


title: Wind Power Transmission System Integration -- a Case Study of China Wind Power Base

abstract: Due to a series of supporting policies in recent years, China wind power has developed rapidly through a large-scale and centralized mode. This paper analyzes the two major concerns faced by wind power development in China: wind generation reliability and wind energy balancing. More specifically, wind farm tripping-off-grid incidents and wind power curtailment issues, which caused huge economical loss, are investigated in details. Based on operation experience of large wind power bases, technical recommendations and economic incentives are proposed to improve wind power integration and power grid reliability. As a summary and outlook of wind power development in China, this paper provides a reference on future wind power development for other countries.


title: The third realization of the International Celestial Reference Frame by very long baseline interferometry

abstract: A new realization of the International Celestial Reference Frame (ICRF) is presented based on the work achieved by a working group of the International Astronomical Union (IAU) mandated for this purpose. This new realization, referred to as ICRF3, is based on nearly 40 years of data acquired by very long baseline interferometry. The ICRF3 includes positions at 8.4 GHz for 4536 sources, supplemented with positions at 24 GHz for 824 sources and at 32 GHz for 678 sources, for a total of 4588 sources. A subset of 303 sources among these, uniformly distributed on the sky, are identified as "defining sources" and as such serve to define the axes of the frame. Source positions are reported for epoch 2015.0 and must be propagated for observations at other epochs for the most accurate needs, accounting for the acceleration toward the Galactic center, which results in a dipolar proper motion field of amplitude 0.0058 milliarcsecond/yr (mas/yr). The frame shows a median positional uncertainty of about 0.1 mas in right ascension and 0.2 mas in declination, with a noise floor of 0.03 mas in the individual source coordinates. A subset of 500 sources is found to have extremely accurate positions at 8.4 GHz, in the range of 0.03 to 0.06 mas. Comparing ICRF3 with the Gaia Celestial Reference Frame 2 in the optical domain, there is no evidence for deformations larger than 0.03 mas between the two frames. Significant positional offsets between the three ICRF3 frequencies are detected for about 5% of the sources. Moreover, a notable fraction (22%) of the sources shows optical and radio positions that are significantly offset. There are indications that these positional offsets may be the manifestation of extended source structures. This third realization of the ICRF was adopted by the IAU at its 30th General Assembly in August 2018 and replaced the previous realization, ICRF2, on January 1, 2019.


title: Classification of Important Segments in Educational Videos using Multimodal Features

abstract: Videos are a commonly-used type of content in learning during Web search. Many e-learning platforms provide quality content, but sometimes educational videos are long and cover many topics. Humans are good in extracting important sections from videos, but it remains a significant challenge for computers. In this paper, we address the problem of assigning importance scores to video segments, that is how much information they contain with respect to the overall topic of an educational video. We present an annotation tool and a new dataset of annotated educational videos collected from popular online learning platforms. Moreover, we propose a multimodal neural architecture that utilizes state-of-the-art audio, visual and textual features. Our experiments investigate the impact of visual and temporal information, as well as the combination of multimodal features on importance prediction.


title: Zachary spaces $\mathcal{Z}^p[\mathbb{R}^{\infty }]$ and separable Banach spaces

abstract: We construct Zachary space in $\R^\infty$ and find that this is a Banach space of functions of bounded mean oscillation with order $p, 1\leq p \leq \infty$ containing the function of bounded mean oscillation $BMO[\R_I^\infty]$ as a dense continuous embedding. As an application of $\R_I^\infty$ we construction $\mcB,$ where $\mcB $ is separable Banach space and finally we construct $\mcZ^p[\mcB]$.


title: Varying physical constants and the lithium problem

abstract: We have used the recently published varying physical constants (VPC) approach to resolve the primordial lithium abundance problem. The value of the ratio of $7Li$ to hydrogen $7Li/H=1.400(\pm 0.023){\times}10^{-10}$ we have calculated using this approach is about four times lower than that estimated using the standard lambda cold dark matter (${\Lambda}$CDM) cosmological model, and is consistent with the most agreed observational value of $1.6(\pm 0.3){\times}10^{-10}$. In the VPC approach Einstein equations are modified to include the variation of the speed of light $c$, gravitational constant $G$ and cosmological constant ${\Lambda}$ using the Einstein-Hilbert action. Application of this approach to cosmology naturally leads to the variation of the Plank constant $\hbar$ and the Boltzmann constant $k_B$ as well. They approach fixed values at the scale factor $a\ll 1$: $c=c_0/e$, $G=G_0/e^3$, $\hbar=\hbar_0/e$ and $k_B=k_{B0}/e^{5/4}$, where $e$ is the Euler's number (=2.7183). Since the VPC cosmology reduces to the same form as the ${\Lambda}$CDM cosmology at very small scale factors, we could use an existing Big-Bang nucleosynthesis (BBN) code AlterBBN with the above changes to calculate the light element abundances under the VPC cosmology. Among other abundances we have calculated at baryon to photon ratio ${\eta}=6.1{\times}10^{-10}$ are: $4He/H =0.2478 (\pm 0.041)$, $D/H =2.453(\pm 0.041){\times}10^{-5}$ and $3 He/H=2.940(\pm 0.049){\times}10^{-5}$.


title: Development of the complex system for the remote monitoring of the human heart rate

abstract: An implementation of the remote pulse monitoring system which allows observing of the patient's pulse in a real-time mode via browser is offered in this work. The result of the work is the development of the complex system, which contains the hardware components for the pulse measurement and the software component for the data processing and visualization in a web-interface. The web-interface provides the heart rate visualization in real-time mode and informs the appropriate person in case of deviation from pulse limits. The monitoring system can detect two disease types: tachycardia and bradycardia. A pulse sensor detects the heartbeat moment and functions like a plethysmograph. The microcontroller ATmega8 is used to read data from the sensor, to analyze information, and pass it to the next hardware block. Arduino Uno and Ethernet module ENC28J60 are used to transform the information about the heartbeat event to the web interface. Ethernet module ENC28J60 is connected to Arduino Uno using the SPI interface. The pair of Bluetooth modules HC-05 is used to connect ATmega8 and Arduino Uno with each other. The module HC-05 is connected to both microcontrollers using the UART interface. The WebSocket protocol is used to implement the real-time data demonstration in the web-interface. The web-interface is adapted to mobile devices therefore it can be viewed from smartphones and tablets. The complex can be used both by the qualified specialist for the remote monitoring of the patient's state and as a personal prophylactic


title: Derivatives Pricing in Non-Arbitrage Market

abstract: The general method is proposed for constructing a family of martingale measures for a wide class of evolution of risky assets. The sufficient conditions are formulated for the evolution of risky assets under which the family of equivalent martingale measures to the original measure is a non-empty set. The set of martingale measures is constructed from a set of strictly nonneg ative random variables, satisfying certain conditions. The inequalities are obtained for the non-negative random variables satisfying certain conditions. Using these inequalities, a new simple proof of optional decomposition theorem for the nonnegative super-martingale is proposed. The family of spot measures is introduced and the representation is found for them. The conditions are found under which each martingale measure is an integral over the set of spot measures. On the basis of nonlinear processes such as ARCH and GARCH, the parametric family of random processes is introduced for which the interval of non-arbitrage prices are found. The formula is obtained for the fair price of the contract with option of European type for the considered parametric processes. The parameters of the introduced random processes are estimated and the estimate is found at which the fair price of contract with option is the least.


title: Feature Selection Using Batch-Wise Attenuation and Feature Mask Normalization

abstract: Feature selection is generally used as one of the most important preprocessing techniques in machine learning, as it helps to reduce the dimensionality of data and assists researchers and practitioners in understanding data. Thereby, by utilizing feature selection, better performance and reduced computational consumption, memory complexity and even data amount can be expected. Although there exist approaches leveraging the power of deep neural networks to carry out feature selection, many of them often suffer from sensitive hyperparameters. This paper proposes a feature mask module (FM-module) for feature selection based on a novel batch-wise attenuation and feature mask normalization. The proposed method is almost free from hyperparameters and can be easily integrated into common neural networks as an embedded feature selection method. Experiments on popular image, text and speech datasets have shown that our approach is easy to use and has superior performance in comparison with other state-of-the-art deep-learning-based feature selection methods.


title: Black-box density function estimation using recursive partitioning

abstract: We present a novel approach to Bayesian inference and general Bayesian computation that is defined through a sequential decision loop. Our method defines a recursive partitioning of the sample space. It neither relies on gradients nor requires any problem-specific tuning, and is asymptotically exact for any density function with a bounded domain. The output is an approximation to the whole density function including the normalisation constant, via partitions organised in efficient data structures. Such approximations may be used for evidence estimation or fast posterior sampling, but also as building blocks to treat a larger class of estimation problems. The algorithm shows competitive performance to recent state-of-the-art methods on synthetic and real-world problems including parameter inference for gravitational-wave physics.


title: Ramsey upper density of infinite graph factors

abstract: The study of upper density problems on Ramsey theory was initiated by Erd\H{o}s and Galvin in 1993. In this paper we are concerned with the following problem: given a fixed finite graph $F$, what is the largest value of $\lambda$ such that every 2-edge-coloring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite $F$-factor whose vertex set has upper density at least $\lambda$? Here we prove a new lower bound for this problem. For some choices of $F$, including cliques and odd cycles, this new bound is sharp, as it matches an older upper bound. For the particular case where $F$ is a triangle, we also give an explicit lower bound of $1-\frac{1}{\sqrt{7}}=0.62203\dots$, improving the previous best bound of 3/5.


title: A Systematic Evaluation of Coding Strategies for Sparse Binary Images

abstract: Inpainting-based compression represents images in terms of a sparse subset of its pixel data. Storing the carefully optimised positions of known data creates a lossless compression problem on sparse and often scattered binary images. This central issue is crucial for the performance of such codecs. Since it has only received little attention in the literature, we conduct the first systematic investigation of this problem so far. To this end, we first review and compare a wide range of existing methods from image compression and general purpose coding in terms of their coding efficiency and runtime. Afterwards, an ablation study enables us to identify and isolate the most useful components of existing methods. With context mixing, we combine those ingredients into new codecs that offer either better compression ratios or a more favourable trade-off between speed and performance.


title: An easily prepared, simple information storage and display device based on triboelectric enhanced mechanoluminescence phenomenon and droplet-luminescence

abstract: One easy-make, flexible information storage and display device is prepared. The device show memory effect, which can record the friction trace in real time through the triboelectric effect, and then reproduce the trajectory under the excitation of any kind of polar liquid droplet, completely display the triboelectric area. The explanation mechanism of this phenomenon is proposed, and the main influencing factors of the frictional electrification between solid materials and flexible substrates are determined by systematic experiements. This phenomenon connects mechanoluminescence, electroluminescence, and triboelectrification. It is of great significance to the research of triboelectricity and mechanoluminescence, and is expected to play an important role in display, information storage and encryption.


title: Fewer is More: A Deep Graph Metric Learning Perspective Using Fewer Proxies

abstract: Deep metric learning plays a key role in various machine learning tasks. Most of the previous works have been confined to sampling from a mini-batch, which cannot precisely characterize the global geometry of the embedding space. Although researchers have developed proxy- and classification-based methods to tackle the sampling issue, those methods inevitably incur a redundant computational cost. In this paper, we propose a novel Proxy-based deep Graph Metric Learning (ProxyGML) approach from the perspective of graph classification, which uses fewer proxies yet achieves better comprehensive performance. Specifically, multiple global proxies are leveraged to collectively approximate the original data points for each class. To efficiently capture local neighbor relationships, a small number of such proxies are adaptively selected to construct similarity subgraphs between these proxies and each data point. Further, we design a novel reverse label propagation algorithm, by which the neighbor relationships are adjusted according to ground-truth labels, so that a discriminative metric space can be learned during the process of subgraph classification. Extensive experiments carried out on widely-used CUB-200-2011, Cars196, and Stanford Online Products datasets demonstrate the superiority of the proposed ProxyGML over the state-of-the-art methods in terms of both effectiveness and efficiency. The source code is publicly available at https://github.com/YuehuaZhu/ProxyGML.


title: Enabling Efficient Cyber Threat Hunting With Cyber Threat Intelligence

abstract: Log-based cyber threat hunting has emerged as an important solution to counter sophisticated attacks. However, existing approaches require non-trivial efforts of manual query construction and have overlooked the rich external threat knowledge provided by open-source Cyber Threat Intelligence (OSCTI). To bridge the gap, we propose ThreatRaptor, a system that facilitates threat hunting in computer systems using OSCTI. Built upon system auditing frameworks, ThreatRaptor provides (1) an unsupervised, light-weight, and accurate NLP pipeline that extracts structured threat behaviors from unstructured OSCTI text, (2) a concise and expressive domain-specific query language, TBQL, to hunt for malicious system activities, (3) a query synthesis mechanism that automatically synthesizes a TBQL query for hunting, and (4) an efficient query execution engine to search the big audit logging data. Evaluations on a broad set of attack cases demonstrate the accuracy and efficiency of ThreatRaptor in practical threat hunting.


title: Proof of some supercongruences concerning truncated hypergeometric series

abstract: In this paper, we prove some supercongruences concerning truncated hypergeometric series. For example, we show that for any prime $p>3$ and positive integer $r$, $$ \sum_{k=0}^{p^r-1}(3k+1)\frac{(\frac12)_k^3}{(1)_k^3}4^k\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}} $$ and $$ \sum_{k=0}^{(p^r-1)/2}(4k+1)\frac{(\frac12)_k^4}{(1)_k^4}\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}}, $$ where $(x)_k=x(x+1)\cdots(x+k-1)$ is the Pochhammer symbol and $B_0,B_1,B_2,\ldots$ are Bernoulli numbers. These two congruences confirm conjectures of Sun [Sci. China Math. 54 (2011), 2509--2535] and Guo [Adv. Appl. Math. 120 (2020), Art. 102078], respectively.


title: Stochastic Optimization with Laggard Data Pipelines

abstract: State-of-the-art optimization is steadily shifting towards massively parallel pipelines with extremely large batch sizes. As a consequence, CPU-bound preprocessing and disk/memory/network operations have emerged as new performance bottlenecks, as opposed to hardware-accelerated gradient computations. In this regime, a recently proposed approach is data echoing (Choi et al., 2019), which takes repeated gradient steps on the same batch while waiting for fresh data to arrive from upstream. We provide the first convergence analyses of "data-echoed" extensions of common optimization methods, showing that they exhibit provable improvements over their synchronous counterparts. Specifically, we show that in convex optimization with stochastic minibatches, data echoing affords speedups on the curvature-dominated part of the convergence rate, while maintaining the optimal statistical rate.


title: On the percolative properties of the intersection of two independent interlacements

abstract: We prove the existence of non-trivial phase transitions for the intersection of two independent random interlacements and the complement of the intersection. Some asymptotic results about the phase curves are also obtained. Moreover, we show that at least one of these two sets percolates in high dimensions.


title: Automatically Identifying Words That Can Serve as Labels for Few-Shot Text Classification

abstract: A recent approach for few-shot text classification is to convert textual inputs to cloze questions that contain some form of task description, process them with a pretrained language model and map the predicted words to labels. Manually defining this mapping between words and labels requires both domain expertise and an understanding of the language model's abilities. To mitigate this issue, we devise an approach that automatically finds such a mapping given small amounts of training data. For a number of tasks, the mapping found by our approach performs almost as well as hand-crafted label-to-word mappings.


title: Minimal reduction type and the Kazhdan-Lusztig map

abstract: We introduce the notion of minimal reduction type of an affine Springer fiber, and use it to define a map from the set of conjugacy classes in the Weyl group to the set of nilpotent orbits. We show that this map is the same as the one defined by Lusztig, and that the Kazhdan-Lusztig map is a section of our map. This settles several conjectures in the literature. For classical groups, we prove more refined results by introducing and studying the "skeleta" of affine Springer fibers.


title: Effect of the Uniform Random External Magnetic Field with Spatio-temporal Variation on Compensation in Ising Spin-1/2 Trilayered Square Ferrimagnet

abstract: Trilayered spin-1/2 Ising ferrimagnets are interesting thin systems for compensation phenomenon. In this work, a Metropolis Monte Carlo study is performed on the magnetic and thermodynamic response of such a system on square Bravais lattice, driven by uniform random external magnetic field with spatio-temporal variations. In two distinct configurations, the surface layers are made up of A and the mid-layer is made up of B atoms in a ABA type stacking while in AAB type stacking, the top-layer and the mid-layer is made up of A-atoms while the bottom layer is made up of B-atoms. The magnetic coupling between the like atoms (A-A and B-B) is ferromagnetic while between the unlike atoms (A-B), it is antiferromagnetic. For the time-dependent external uniform random field, the mean is always set to zero and the standard deviation is varied until spin-field energy is comparable to the dominant cooperative energy of the system. The findings show that the observed compensation and critical points shift and steady-state magnetic behaviours shift between N-, L-, P- and Q- etc. type of ferrimagnetic behaviours, depending upon the strength of external uniform random field. The compensation phenomenon even vanishes after crossing a finite threshold of standard deviation of the magnetic field for particular choices of the other controlling parameters. Thus islands of ferrimagnetic phase without compensation appear within the phase area with compensation of field-free case, in the 2D Hamiltonian parameter space. For both the configurations, the areas of such islands even grow with increasing standard deviation of the external field, {\sigma}, obeying a scaling relation of the form: $f ({\sigma}, A({\sigma})) = {\sigma}^{-b} A({\sigma})$ with $b_{ABA} = 1.958 \pm 0.122$ and $b_{AAB} = 1.783 \pm 0.118$ .


title: Generation of minimum energy entangled states

abstract: Quantum technologies exploiting bipartite entanglement could be made more efficient by using states having the minimum amount of energy for a given entanglement degree. Here, we study how to generate these states in the case of a bipartite system of arbitrary finite dimension either by applying a unitary transformation to its ground state or through a zero-temperature thermalization protocol based on turning on and off a suitable interaction term between the subsystems. In particular, we explicitly identify three possible unitary operators and five possible interaction terms. On one hand, two of the three unitary transformations turn out to be easily decomposable in terms of local elementary operations and a single nonlocal one, making their implementation easier. On the other hand, since the thermalization procedures can be easily adapted to generate many different states, we numerically show that, for each degree of entanglement, generating minimum-energy entangled states costs, in general, less than generating the vast majority of the other states.


title: Asymptotics on a class of Legendre formulas

abstract: Let $f$ be a real-valued function of a single variable such that it is positive over the primes. In this article, we construct a factorial, $n!_f$, associated to $f$, called the associated Legendre formula, or $f$-factorial, and show, subject to certain criteria, that $n!_f$ satisfies a weak Stirling approximation. As an application, we will give weak approximations to the Bhargava factorial over the set of primes and to a less well-known Legendre formula.


title: Nonlinear phononics in 2D SnTe: a ferroelectric material with phonon dynamical amplification of electric polarization

abstract: Ultrafast optical control of ferroelectricity using intense terahertz fields has attracted significant interest. Here we show that the nonlinear interactions between two optical phonons in SnTe, a two-dimensional in-plane ferroelectric material, enables a dynamical amplification of the electric polarization within subpicoseconds time domain. Our first principles time dependent simulations show that the infrared-active out-of-plane phonon mode, pumped to nonlinear regimes, spontaneously generates in-plane motions, leading to rectified oscillations in the in-plane electric polarization. We suggest that this dynamical control of ferroelectric material, by nonlinear phonon excitation, can be utilized to achieve ultrafast control of the photovoltaic or other non-linear optical responses.


title: The Fourier Transform of the Continuous Gravitational Wave Signal

abstract: The direct detection of continuous gravitational waves from pulsars is a much anticipated discovery in the emerging field of multi-messenger gravitational wave (GW) astronomy. Because putative pulsar signals are exceedingly weak large amounts of data need to be integrated to achieve desired sensitivity. Contemporary searches use ingenious ad-hoc methods to reduce computational complexity. In this paper we provide analytical expressions for the Fourier transform of realistic pulsar signals. This provides description of the manifold of pulsar signals in the Fourier domain, used by many search methods. We analyze the shape of the Fourier transform and provide explicit formulas for location and size of peaks resulting from stationary frequencies. We apply our formulas to analysis of recently identified outlier at 1891.76 Hz.


title: Improving Sound Event Detection Metrics: Insights from DCASE 2020

abstract: The ranking of sound event detection (SED) systems may be biased by assumptions inherent to evaluation criteria and to the choice of an operating point. This paper compares conventional event-based and segment-based criteria against the Polyphonic Sound Detection Score (PSDS)'s intersection-based criterion, over a selection of systems from DCASE 2020 Challenge Task 4. It shows that, by relying on collars , the conventional event-based criterion introduces different strictness levels depending on the length of the sound events, and that the segment-based criterion may lack precision and be application dependent. Alternatively, PSDS's intersection-based criterion overcomes the dependency of the evaluation on sound event duration and provides robustness to labelling subjectivity, by allowing valid detections of interrupted events. Furthermore, PSDS enhances the comparison of SED systems by measuring sound event modelling performance independently from the systems' operating points.


title: Using neural networks to accelerate the solution of the Boltzmann equation

abstract: One of the biggest challenges for simulating the Boltzmann equation is the evaluation of fivefold collision integral. Given the recent successes of deep learning and the availability of efficient tools, it is an obvious idea to try to substitute the evaluation of the collision operator by the evaluation of a neural network. However, it is unlcear whether this preserves key properties of the Boltzmann equation, such as conservation, invariances, the H-theorem, and fluid-dynamic limits. In this paper, we present an approach that guarantees the conservation properties and the correct fluid dynamic limit at leading order. The concept originates from a recently developed scientific machine learning strategy which has been named "universal differential equations". It proposes a hybridization that fuses the deep physical insights from classical Boltzmann modeling and the desirable computational efficiency from neural network surrogates. The construction of the method and the training strategy are demonstrated in detail. We conduct an asymptotic analysis and illustrate its multi-scale applicability. The numerical algorithm for solving the neural network-enhanced Boltzmann equation is presented as well. Several numerical test cases are investigated. The results of numerical experiments show that the time-series modeling strategy enjoys the training efficiency on this supervised learning task.


title: The impact of mass map truncation on strong lensing simulations

abstract: Strong gravitational lensing is a powerful tool to measure cosmological parameters and to study galaxy evolution mechanisms. However, quantitative strong lensing studies often require mock observations. To capture the full complexity of galaxies, the lensing galaxy is often drawn from high resolution, dark matter only or hydro-dynamical simulations. These have their own limitations, but the way we use them to emulate mock lensed systems may also introduce significant artefacts. In this work we identify and explore the specific impact of mass truncation on simulations of strong lenses by applying different truncation schemes to a fiducial density profile with conformal isodensity contours. Our main finding is that improper mass truncation can introduce undesired artificial shear. The amplitude of the spurious shear depends on the shape and size of the truncation area as well as on the slope and ellipticity of the lens density profile. Due to this effect, the value of H0 or the shear amplitude inferred by modelling those systems may be biased by several percents. However, we show that the effect becomes negligible provided that the lens projected map extends over at least 50 times the Einstein radius.


title: Search for Higgs boson production in association with a high-energy photon via vector-boson fusion with decay into bottom quark pairs at $\sqrt{s}$=13 TeV with the ATLAS detector

abstract: A search is presented for the production of the Standard Model Higgs boson in association with a high-energy photon. With a focus on the vector-boson fusion process and the dominant Higgs boson decay into $b$-quark pairs, the search benefits from a large reduction of multijet background compared to more inclusive searches. Results are reported from the analysis of 132 fb$^{-1}$ of $pp$ collision data at $\sqrt{s}$=13 TeV collected with the ATLAS detector at the LHC. The measured Higgs boson signal yield in this final-state signature is $1.3 \pm 1.0$ times the Standard Model prediction. The observed significance of the Higgs boson signal above the background is 1.3 standard deviations, compared to an expected significance of 1.0 standard deviations.


title: Dutch Humor Detection by Generating Negative Examples

abstract: Detecting if a text is humorous is a hard task to do computationally, as it usually requires linguistic and common sense insights. In machine learning, humor detection is usually modeled as a binary classification task, trained to predict if the given text is a joke or another type of text. Rather than using completely different non-humorous texts, we propose using text generation algorithms for imitating the original joke dataset to increase the difficulty for the learning algorithm. We constructed several different joke and non-joke datasets to test the humor detection abilities of different language technologies. In particular, we compare the humor detection capabilities of classic neural network approaches with the state-of-the-art Dutch language model RobBERT. In doing so, we create and compare the first Dutch humor detection systems. We found that while other language models perform well when the non-jokes came from completely different domains, RobBERT was the only one that was able to distinguish jokes from generated negative examples. This performance illustrates the usefulness of using text generation to create negative datasets for humor recognition, and also shows that transformer models are a large step forward in humor detection.


title: Notes on Symmetry in Convective Flows

abstract: In most fluid dynamics problems, the governing equations are nonlinear because of the presence of convective terms. Nevertheless, existence of solutions can be shown by direct sum provided one identifies, in the relevant Banach space of solutions, particular subspaces which are invariant under time evolution. As an example, we consider classical convection problems and show how symmetry arguments can help in identifying such subspaces, as well as the role it can play in some stability issues.


title: Modelling Long-Period Variables -- II. Fundamental mode pulsation in the nonlinear regime

abstract: Long-period variability in luminous red giants has several promising applications, all of which require models able to accurately predict pulsation periods. Linear pulsation models have proven successful in reproducing the observed periods of overtone modes in evolved red giants, but they fail to accurately predict their fundamental mode periods. Here, we use a 1D hydrodynamic code to investigate the long-period variability of M-type asymptotic giant branch stars in the nonlinear regime. We examine the period and stability of low-order radial pulsation modes as a function of mass and radius, and find overtone mode periods in complete agreement with predictions from linear pulsation models. In contrast, nonlinear models predict an earlier onset of dominant fundamental mode pulsation, and shorter periods at large radii. Both features lead to a substantially better agreement with observations, that we verify against OGLE and Gaia data for the Magellanic Clouds. We provide simple analytic relations describing the nonlinear fundamental mode period-mass-radius relation. Differences with respect to linear predictions originate from the readjustment of the envelope structure induced by large-amplitude pulsation. We investigate the impact of turbulent viscosity on linear and nonlinear pulsation, and probe possible effects of varying metallicity and carbon abundance.


title: Condensates and pressure of two-flavor chiral perturbation theory at nonzero isospin and temperature

abstract: We consider two-flavor chiral perturbation theory ($\chi$PT) at finite isospin chemical potential $\mu_I$ and finite temperature $T$. We calculate the effective potential and the quark and pion condensates as functions of $T$ and $\mu_I$ to next-to-leading order in the low-energy expansion in the presence of a pionic source. We map out the phase diagram in the $\mu_I$--$T$ plane. Numerically, we find that the transition to the pion-condensed phase is second order in the region of validity of $\chi$PT, which is in agreement with model calculations and lattice simulations. Finally, we calculate the pressure to two-loop order in the symmetric phase for nonzero $\mu_I$ and find that $\chi$PT seems to be converging very well.


title: The logarithmic Bogomolov-Tian-Todorov theorem

abstract: We prove that the log smooth deformations of a proper log smooth saturated log Calabi-Yau space are unobstructed.


title: Atom radio-frequency interferometry

abstract: We realize and model a Rydberg-state atom interferometer for measurement of phase and intensity of radio-frequency (RF) electromagnetic waves. A phase reference is supplied to the atoms via a modulated laser beam, enabling atomic measurement of the RF wave's phase without an external RF reference wave. The RF and optical fields give rise to closed interferometric loops within the atoms' internal Hilbert space. In our experiment, we construct interferometric loops in the state space $\{ 6P_{3/2}, 90S_{1/2}, 91S_{1/2}, 90P_{3/2} \}$ of cesium and employ them to measure phase and intensity of a 5 GHz RF wave in a room-temperature vapor cell. Electromagnetically induced transparency on the $6S_{1/2}$ to $6P_{3/2}$ transition serves as an all-optical interferometer probe. The RF phase is measured over a range of $\pi$, and a sensitivity of 2 mrad is achieved. RF phase and amplitude measurements at sub-millimeter optical spatial resolution are demonstrated.


title: Constraint Translation Candidates: A Bridge between Neural Query Translation and Cross-lingual Information Retrieval

abstract: Query translation (QT) is a key component in cross-lingual information retrieval system (CLIR). With the help of deep learning, neural machine translation (NMT) has shown promising results on various tasks. However, NMT is generally trained with large-scale out-of-domain data rather than in-domain query translation pairs. Besides, the translation model lacks a mechanism at the inference time to guarantee the generated words to match the search index. The two shortages of QT result in readable texts for human but inadequate candidates for the downstream retrieval task. In this paper, we propose a novel approach to alleviate these problems by limiting the open target vocabulary search space of QT to a set of important words mined from search index database. The constraint translation candidates are employed at both of training and inference time, thus guiding the translation model to learn and generate well performing target queries. The proposed methods are exploited and examined in a real-word CLIR system--Aliexpress e-Commerce search engine. Experimental results demonstrate that our approach yields better performance on both translation quality and retrieval accuracy than the strong NMT baseline.


title: Exploiting Neural Query Translation into Cross Lingual Information Retrieval

abstract: As a crucial role in cross-language information retrieval (CLIR), query translation has three main challenges: 1) the adequacy of translation; 2) the lack of in-domain parallel training data; and 3) the requisite of low latency. To this end, existing CLIR systems mainly exploit statistical-based machine translation (SMT) rather than the advanced neural machine translation (NMT), limiting the further improvements on both translation and retrieval quality. In this paper, we investigate how to exploit neural query translation model into CLIR system. Specifically, we propose a novel data augmentation method that extracts query translation pairs according to user clickthrough data, thus to alleviate the problem of domain-adaptation in NMT. Then, we introduce an asynchronous strategy which is able to leverage the advantages of the real-time in SMT and the veracity in NMT. Experimental results reveal that the proposed approach yields better retrieval quality than strong baselines and can be well applied into a real-world CLIR system, i.e. Aliexpress e-Commerce search engine. Readers can examine and test their cases on our website: https://aliexpress.com .


title: Social learning under inferential attacks

abstract: A common assumption in the social learning literature is that agents exchange information in an unselfish manner. In this work, we consider the scenario where a subset of agents aims at driving the network beliefs to the wrong hypothesis. The adversaries are unaware of the true hypothesis. However, they will "blend in" by behaving similarly to the other agents and will manipulate the likelihood functions used in the belief update process to launch inferential attacks. We will characterize the conditions under which the network is misled. Then, we will explain that it is possible for such attacks to succeed by showing that strategies exist that can be adopted by the malicious agents for this purpose. We examine both situations in which the agents have minimal or no information about the network model.


title: The tensor Harish-Chandra-Itzykson-Zuber integral I: Weingarten calculus and a generalization of monotone Hurwitz numbers

abstract: We study a generalization of the Harish-Chandra - Itzykson - Zuber integral to tensors and its expansion over trace-invariants of the two external tensors. This gives rise to natural generalizations of monotone double Hurwitz numbers, which count certain families of constellations. We find an expression of these numbers in terms of monotone simple Hurwitz numbers, thereby also providing expressions for monotone double Hurwitz numbers of arbitrary genus in terms of the single ones. We give an interpretation of the different combinatorial quantities at play in terms of enumeration of nodal surfaces. In particular, our generalization of Hurwitz numbers is shown to enumerate certain isomorphism classes of branched coverings of a bouquet of $D$ 2-spheres that touch at one common non-branch node.


title: SCFusion: Real-time Incremental Scene Reconstruction with Semantic Completion

abstract: Real-time scene reconstruction from depth data inevitably suffers from occlusion, thus leading to incomplete 3D models. Partial reconstructions, in turn, limit the performance of algorithms that leverage them for applications in the context of, e.g., augmented reality, robotic navigation, and 3D mapping. Most methods address this issue by predicting the missing geometry as an offline optimization, thus being incompatible with real-time applications. We propose a framework that ameliorates this issue by performing scene reconstruction and semantic scene completion jointly in an incremental and real-time manner, based on an input sequence of depth maps. Our framework relies on a novel neural architecture designed to process occupancy maps and leverages voxel states to accurately and efficiently fuse semantic completion with the 3D global model. We evaluate the proposed approach quantitatively and qualitatively, demonstrating that our method can obtain accurate 3D semantic scene completion in real-time.


title: Contrastive Graph Neural Network Explanation

abstract: Graph Neural Networks achieve remarkable results on problems with structured data but come as black-box predictors. Transferring existing explanation techniques, such as occlusion, fails as even removing a single node or edge can lead to drastic changes in the graph. The resulting graphs can differ from all training examples, causing model confusion and wrong explanations. Thus, we argue that explicability must use graphs compliant with the distribution underlying the training data. We coin this property Distribution Compliant Explanation (DCE) and present a novel Contrastive GNN Explanation (CoGE) technique following this paradigm. An experimental study supports the efficacy of CoGE.


title: Homotopy theory of Moore flows (I)

abstract: Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix. A reparametrization category is a small topologically enriched semimonoidal category such that the semimonoidal structure induces a structure of a semigroup on objects, such that all spaces of maps are contractible and such that each map can be decomposed (not necessarily in a unique way) as a tensor product of two maps. A Moore flow is a small semicategory enriched over the biclosed semimonoidal category of enriched presheaves over a reparametrization category. We construct the q-model category of Moore flows. It is proved that it is Quillen equivalent to the q-model category of flows. This result is the first step to establish a zig-zag of Quillen equivalences between the q-model structure of multipointed $d$-spaces and the q-model structure of flows.


title: An Approach to Evaluating Learning Algorithms for Decision Trees

abstract: Learning algorithms produce software models for realising critical classification tasks. Decision trees models are simpler than other models such as neural network and they are used in various critical domains such as the medical and the aeronautics. Low or unknown learning ability algorithms does not permit us to trust the produced software models, which lead to costly test activities for validating the models and to the waste of learning time in case the models are likely to be faulty due to the learning inability. Methods for evaluating the decision trees learning ability, as well as that for the other models, are needed especially since the testing of the learned models is still a hot topic. We propose a novel oracle-centered approach to evaluate (the learning ability of) learning algorithms for decision trees. It consists of generating data from reference trees playing the role of oracles, producing learned trees with existing learning algorithms, and determining the degree of correctness (DOE) of the learned trees by comparing them with the oracles. The average DOE is used to estimate the quality of the learning algorithm. the We assess five decision tree learning algorithms based on the proposed approach.


title: Optimal Filtering of Overlapped Pulses in Microcalorimeter Data

abstract: Here we present a general algorithm for processing microcalorimeter data with special applicability to data with high photon count rates. Conventional optimal filtering, which has become ubiquitous in microcalorimeter data processing, suffers from its inability to recover overlapped pulses without sacrificing spectral resolution. The technique presented here was developed to address this particular shortcoming, and does so without imposing any assumptions beyond those made by the conventional technique. We demonstrate the algorithm's performance with a data set that approximately satisfies these assumptions, and which is representative of a wide range of microcalorimeter applications. We also apply the technique to a highly non-linear data set, examining the impact on performance in the limit that these assumptions break down.


title: A clique version of the Erd\H{o}s-Gallai stability theorems

abstract: Combining P\'{o}sa's rotation lemma with a technique of Kopylov in a novel approach, we prove a generalization of the Erd\H{o}s-Gallai theorems on cycles and paths. This implies a clique version of the Erd\H{o}s-Gallai stability theorems and also provides alternative proofs for some recent results.


title: GraphMDN: Leveraging graph structure and deep learning to solve inverse problems

abstract: The recent introduction of Graph Neural Networks (GNNs) and their growing popularity in the past few years has enabled the application of deep learning algorithms to non-Euclidean, graph-structured data. GNNs have achieved state-of-the-art results across an impressive array of graph-based machine learning problems. Nevertheless, despite their rapid pace of development, much of the work on GNNs has focused on graph classification and embedding techniques, largely ignoring regression tasks over graph data. In this paper, we develop a Graph Mixture Density Network (GraphMDN), which combines graph neural networks with mixture density network (MDN) outputs. By combining these techniques, GraphMDNs have the advantage of naturally being able to incorporate graph structured information into a neural architecture, as well as the ability to model multi-modal regression targets. As such, GraphMDNs are designed to excel on regression tasks wherein the data are graph structured, and target statistics are better represented by mixtures of densities rather than singular values (so-called ``inverse problems"). To demonstrate this, we extend an existing GNN architecture known as Semantic GCN (SemGCN) to a GraphMDN structure, and show results from the Human3.6M pose estimation task. The extended model consistently outperforms both GCN and MDN architectures on their own, with a comparable number of parameters.


title: Massive Stellar Triples Leading to Sequential Binary Black-Hole Mergers in the Field

abstract: Stellar triples with massive stellar components are common, and can lead to sequential binary black-hole mergers. Here, we outline the evolution towards these sequential mergers, and explore these events in the context of gravitational-wave astronomy and the pair-instability mass gap. We find that binary black-hole mergers in the pair-instability mass gap can be of triple origin and therefore are not exclusively formed in dense dynamical environments. We discuss the sequential merger scenario in the context of the most massive gravitational-wave sources detected to date: GW170729 and GW190521. We propose that the progenitor of GW170729 is a low-metallicity field triple. We support the premise that GW190521 could not have been formed in the field. We conclude that triple stellar evolution is fundamental in the understanding of gravitational-wave sources, and likely, other energetic transientsas well.


title: Powerful extragalactic jets dissipate their kinetic energy far from the central black hole

abstract: Accretion onto the supermassive black hole in some active galactic nuclei (AGN) drives relativistic jets of plasma, which dissipate a significant fraction of their kinetic energy into gamma-ray radiation. The location of energy dissipation in powerful extragalactic jets is currently unknown, with implications for particle acceleration, jet formation, jet collimation, and energy dissipation. Previous studies have been unable to constrain the location between possibilities ranging from the sub-parsec-scale broad-line region to the parsec-scale molecular torus, and beyond. Here we show using a simple diagnostic that the more distant molecular torus is the dominant location for powerful jets. This diagnostic, called the seed factor, is dependent only on observable quantities, and is unique to the seed photon population at the location of gamma-ray emission. Using $62$ multiwavelength, quasi-simultaneous spectral energy distributions of gamma-ray quasars, we find a seed factor distribution which peaks at a value corresponding to the molecular torus, demonstrating that energy dissipation occurs $\sim 1$ parsec from the black hole (or $\sim 10^{4}$ Schwarzchild radii for a $10^{9}M_{\odot}$ black hole).


title: Ultrafast phononic switching of magnetization

abstract: Identifying an efficient pathway to change the order parameter via a subtle excitation of the coupled high-frequency mode is the ultimate goal of the field of ultrafast phase transitions. This is an especially interesting research direction in magnetism, where the coupling between spin and lattice excitations is required for magnetization reversal. Despite several attempts however, the switching between magnetic states via resonant pumping of phonon modes has not yet been demonstrated. Here we show how an ultrafast resonant excitation of the longitudinal optical phonon modes in magnetic garnet films switches magnetization into a peculiar quadrupolar magnetic domain pattern, unambiguously revealing the magneto-elastic mechanism of the switching. In contrast, the excitation of strongly absorbing transverse phonon modes results in thermal demagnetization effect only.


title: The fifth-order post-Newtonian Hamiltonian dynamics of two-body systems from an effective field theory approach: potential contributions

abstract: We calculate the potential contributions of the motion of binary mass systems in gravity to the fifth post--Newtonian order ab initio using coupling and velocity expansions within an effective field theory approach based on Feynman amplitudes starting with harmonic coordinates and using dimensional regularization. Furthermore, the singular and logarithmic tail contributions are calculated. We also consider the non--local tail contributions. Further steps towards the complete calculation are discussed and first comparisons are given to results in the literature.


title: Ground states of 2D tilted dipolar bosons with density-induced hopping

abstract: Motivated by recent experiments with ultracold magnetic atoms trapped in optical lattices where the orientation of atomic dipoles can be fully controlled by external fields, we study the ground state properties of dipolar bosons trapped in a two-dimensional lattice with density-induced hopping and where the dipoles are tilted along the $xz$ plane. We present ground state phase diagrams of the above system at different tilt angles. We find that, as the dipolar interaction increases, the superfluid phase at half filling factor is destroyed in favor of either a checkerboard or stripe solid phase for tilt angle $\theta \lesssim 35.3^{\circ}$ or $\theta \gtrsim 35.3^{\circ}$ respectively. More interesting physics happens at tilt angles $\theta \gtrsim 58^{\circ}$, where we find that, as the dipolar interaction strength increases, solid phases first appear at filling factor lower than $0.5$. Moreover, unlike what observed at lower tilt angles, we find that, at half filling, a stripe supersolid intervenes between the superfluid and stripe solid phase.


title: A Corpus for Argumentative Writing Support in German

abstract: In this paper, we present a novel annotation approach to capture claims and premises of arguments and their relations in student-written persuasive peer reviews on business models in German language. We propose an annotation scheme based on annotation guidelines that allows to model claims and premises as well as support and attack relations for capturing the structure of argumentative discourse in student-written peer reviews. We conduct an annotation study with three annotators on 50 persuasive essays to evaluate our annotation scheme. The obtained inter-rater agreement of $\alpha=0.57$ for argument components and $\alpha=0.49$ for argumentative relations indicates that the proposed annotation scheme successfully guides annotators to moderate agreement. Finally, we present our freely available corpus of 1,000 persuasive student-written peer reviews on business models and our annotation guidelines to encourage future research on the design and development of argumentative writing support systems for students.


title: Learning automata and transducers: a categorical approach

abstract: In this paper, we present a categorical approach to learning automata over words, in the sense of the $L^*$-algorithm of Angluin. This yields a new generic $L^*$-like algorithm which can be instantiated for learning deterministic automata, automata weighted over fields, as well as subsequential transducers. The generic nature of our algorithm is obtained by adopting an approach in which automata are simply functors from a particular category representing words to a "computation category". We establish that the sufficient properties for yielding the existence of minimal automata (that were disclosed in a previous paper), in combination with some additional hypotheses relative to termination, ensure the correctness of our generic algorithm.


title: Face Frontalization Based on Robustly Fitting a Deformable Shape Model to 3D Landmarks

abstract: Face frontalization consists of synthesizing a frontally-viewed face from an arbitrarily-viewed one. The main contribution of this paper is a robust face alignment method that enables pixel-to-pixel warping. The method simultaneously estimates the rigid transformation (scale, rotation, and translation) and the non-rigid deformation between two 3D point sets: a set of 3D landmarks extracted from an arbitrary-viewed face, and a set of 3D landmarks parameterized by a frontally-viewed deformable face model. An important merit of the proposed method is its ability to deal both with noise (small perturbations) and with outliers (large errors). We propose to model inliers and outliers with the generalized Student's t-probability distribution function, a heavy-tailed distribution that is immune to non-Gaussian errors in the data. We describe in detail the associated expectation-maximization (EM) algorithm that alternates between the estimation of (i) the rigid parameters, (ii) the deformation parameters, and (iii) the Student-t distribution parameters. We also propose to use the zero-mean normalized cross-correlation, between a frontalized face and the corresponding ground-truth frontally-viewed face, to evaluate the performance of frontalization. To this end, we use a dataset that contains pairs of profile-viewed and frontally-viewed faces. This evaluation, based on direct image-to-image comparison, stands in contrast with indirect evaluation, based on analyzing the effect of frontalization on face recognition.


title: Deep Low-rank plus Sparse Network for Dynamic MR Imaging

abstract: In dynamic magnetic resonance (MR) imaging, low-rank plus sparse (L+S) decomposition, or robust principal component analysis (PCA), has achieved stunning performance. However, the selection of the parameters of L+S is empirical, and the acceleration rate is limited, which are common failings of iterative compressed sensing MR imaging (CS-MRI) reconstruction methods. Many deep learning approaches have been proposed to address these issues, but few of them use a low-rank prior. In this paper, a model-based low-rank plus sparse network, dubbed L+S-Net, is proposed for dynamic MR reconstruction. In particular, we use an alternating linearized minimization method to solve the optimization problem with low-rank and sparse regularization. Learned soft singular value thresholding is introduced to ensure the clear separation of the L component and S component. Then, the iterative steps are unrolled into a network in which the regularization parameters are learnable. We prove that the proposed L+S-Net achieves global convergence under two standard assumptions. Experiments on retrospective and prospective cardiac cine datasets show that the proposed model outperforms state-of-the-art CS and existing deep learning methods and has great potential for extremely high acceleration factors (up to 24x).


title: New physics of strong interaction and Dark Universe

abstract: The history of dark universe physics can be traced from processes in the very early universe to the modern dominance of dark matter and energy. Here, we review the possible nontrivial role of strong interactions in cosmological effects of new physics. In the case of ordinary QCD interaction, the existence of new stable colored particles such as new stable quarks leads to new exotic forms of matter, some of which can be candidates for dark matter. New QCD-like strong interactions lead to new stable composite candidates bound by QCD-like confinement. We put special emphasis on the effects of interaction between new stable hadrons and ordinary matter, formation of anomalous forms of cosmic rays and exotic forms of matter, like stable fractionally charged particles. The possible correlation of these effects with high energy neutrino and cosmic ray signatures opens the way to study new physics of strong interactions by its indirect multi-messenger astrophysical probes.


title: Estimation of the $l_2$-norm and testing in sparse linear regression with unknown variance

abstract: We consider the related problems of estimating the $l_2$-norm and the squared $l_2$-norm in sparse linear regression with unknown variance, as well as the problem of testing the hypothesis that the regression parameter is null under sparse alternatives with $l_2$ separation. We establish the minimax optimal rates of estimation (respectively, testing) in these three problems.


title: QGP modification to single inclusive jets in a calibrated transport model

abstract: We study inclusive jet suppression and modifications in the quark-gluon plasma (QGP) with a transport-based model. The model includes vacuum-like parton shower evolution at high-virtuality, a linearized transport for jet-medium interactions, and a simple ansatz for the jet-induced hydrodynamic response of the medium. Model parameters are calibrated to nuclear modification factors for inclusive hadron $R_{AA}^{h}$ and single inclusive jets $R_{AA}^{j}$ with cone size $R=0.4$ in 0-10% central Au-Au and Pb-Pb collisions measured at the RHIC and LHC. The calibrated model consistently describes the cone-size dependent $R_{AA}^{j}(R)$, modifications to inclusive jet fragmentation functions and jet shape. We discuss the origin of these modifications by analyzing the medium-induced jet energy flow in this model and elucidate the interplay of hard parton evolution and jet-induced medium response. In particular, we demonstrate that the excess of soft hadrons at $p_T\sim 2$ GeV/$c$ in jet fragmentation function and jet shape at large $r=\sqrt{\Delta \eta^2+\Delta \phi^2}$ are consequences of both soft medium-induced gluon radiation and jet-induced medium excitation.


title: Aggregate-Driven Trace Visualizations for Performance Debugging

abstract: Performance issues in cloud systems are hard to debug. Distributed tracing is a widely adopted approach that gives engineers visibility into cloud systems. Existing trace analysis approaches focus on debugging single request correctness issues but not debugging single request performance issues. Diagnosing a performance issue in a given request requires comparing the performance of the offending request with the aggregate performance of typical requests. Effective and efficient debugging of such issues faces three challenges: (i) identifying the correct aggregate data for diagnosis; (ii) visualizing the aggregated data; and (iii) efficiently collecting, storing, and processing trace data. We present TraVista, a tool designed for debugging performance issues in a single trace that addresses these challenges. TraVista extends the popular single trace Gantt chart visualization with three types of aggregate data - metric, temporal, and structure data, to contextualize the performance of the offending trace across all traces.


title: Data Segmentation via t-SNE, DBSCAN, and Random Forest

abstract: This research proposes a data segmentation algorithm which combines t-SNE, DBSCAN, and Random Forest classifier to form an end-to-end pipeline that separates data into natural clusters and produces a characteristic profile of each cluster based on the most important features. Out-of-sample cluster labels can be inferred, and the technique generalizes well on real data sets. We describe the algorithm and provide case studies using the Iris and MNIST data sets, as well as real social media site data from Instagram. This is a proof of concept and sets the stage for further in-depth theoretical analysis.


title: Variations on the SU(5) axion

abstract: The simultaneous embeddings of an axion state and a seesaw mechanism within the SU(5) Grand Unification Theory, both minimal and flipped, are systematically studied. It is shown that whenever B-L is active as a global symmetry, the PQ charges of the fermions are ambiguous. Various realizations of the seesaw mechanism are then found to differ only in the way this ambiguity is resolved. But since the ambiguity is unphysical, all these models are thereby predicted to be equivalent, in the sense that the axion phenomenology is identical at the low energy scale.


title: How angry are your customers? Sentiment analysis of support tickets that escalate

abstract: Software support ticket escalations can be an extremely costly burden for software organizations all over the world. Consequently, there exists an interest in researching how to better enable support analysts to handle such escalations. In order to do so, we need to develop tools to reliably predict if, and when, a support ticket becomes a candidate for escalation. This paper explores the use of sentiment analysis tools on customer-support analyst conversations to find indicators of when a particular support ticket may be escalated. The results of this research indicate a considerable difference in the sentiment between escalated support tickets and non-escalated support tickets. Thus, this preliminary research provides us with the necessary information to further investigate how we can reliably predict support ticket escalations, and subsequently to provide insight to support analysts to better enable them to handle support tickets that may be escalated.


title: Forethought and Hindsight in Credit Assignment

abstract: We address the problem of credit assignment in reinforcement learning and explore fundamental questions regarding the way in which an agent can best use additional computation to propagate new information, by planning with internal models of the world to improve its predictions. Particularly, we work to understand the gains and peculiarities of planning employed as forethought via forward models or as hindsight operating with backward models. We establish the relative merits, limitations and complementary properties of both planning mechanisms in carefully constructed scenarios. Further, we investigate the best use of models in planning, primarily focusing on the selection of states in which predictions should be (re)-evaluated. Lastly, we discuss the issue of model estimation and highlight a spectrum of methods that stretch from explicit environment-dynamics predictors to more abstract planner-aware models.


title: Infrared spectra of neutral polycyclic aromatic hydrocarbons by machine learning

abstract: The Interest in polycyclic aromatic hydrocarbons (PAHs) spans numerous fields and infrared spectroscopy is usually the method of choice to disentangle their molecular structure. In order to compute vibrational frequencies, numerous theoretical studies employ either quantum calculation methods, or empirical potentials, but it remains difficult to combine the accuracy of the first approach with the computational cost of the second. In this work, we employed Machine Learning techniques to develop a potential energy surface and a dipole mapping based on an artificial neural network (ANN) architecture. Altogether, while trained on only 11 small PAH molecules, the obtained ANNs are able to retrieve the infrared spectra of those small molecules, but more importantly of 8 large PAHs different from the training set, thus demonstrating the transferability of our approach.


title: A General Approach for Simulation-based Bias Correction in High Dimensional Settings

abstract: An important challenge in statistical analysis lies in controlling the bias of estimators due to the ever-increasing data size and model complexity. Approximate numerical methods and data features like censoring and misclassification often result in analytical and/or computational challenges when implementing standard estimators. As a consequence, consistent estimators may be difficult to obtain, especially in complex and/or high dimensional settings. In this paper, we study the properties of a general simulation-based estimation framework that allows to construct bias corrected consistent estimators. We show that the considered approach leads, under more general conditions, to stronger bias correction properties compared to alternative methods. Besides its bias correction advantages, the considered method can be used as a simple strategy to construct consistent estimators in settings where alternative methods may be challenging to apply. Moreover, the considered framework can be easily implemented and is computationally efficient. These theoretical results are highlighted with simulation studies of various commonly used models, including the negative binomial regression (with and without censoring) and the logistic regression (with and without misclassification errors). Additional numerical illustrations are provided in the supplementary materials.


title: A Survey of Embedding Space Alignment Methods for Language and Knowledge Graphs

abstract: Neural embedding approaches have become a staple in the fields of computer vision, natural language processing, and more recently, graph analytics. Given the pervasive nature of these algorithms, the natural question becomes how to exploit the embedding spaces to map, or align, embeddings of different data sources. To this end, we survey the current research landscape on word, sentence and knowledge graph embedding algorithms. We provide a classification of the relevant alignment techniques and discuss benchmark datasets used in this field of research. By gathering these diverse approaches into a singular survey, we hope to further motivate research into alignment of embedding spaces of varied data types and sources.


title: Spontaneous chiral symmetry breaking in the massive Landau gauge: realistic running coupling

abstract: We investigate the spontaneous breaking of chiral symmetry in QCD by means of a recently proposed approximation scheme in the Landau-gauge Curci-Ferrari model, which combines an expansion in the Yang-Mills coupling and in the inverse number of colors, without expanding in the quark-gluon coupling. The expansion allows for a consistent treatment of ultraviolet tails via renormalization group techniques. At leading order, it leads to the resummation of rainbow diagrams for the quark propagator, with, however, a trivial running of both the gluon mass and the quark-gluon coupling. In a previous work, by using a simple model for a more realistic running of these parameters, we could reproduce the known phenomenology of chiral symmetry breaking, including a satisfactory description of the lattice data for the quark mass function. Here, we get rid of this model-dependence by taking our approximation scheme to next-to-leading order. This allows us to consistently include the realistic running of the parameters and to access the unquenched gluon and ghost propagators to first nontrivial order, which we can compare to available lattice data for an even more stringent test of our approach. In particular, our results for the various two-point functions compare well with lattice data while the parameters of the model are strongly constrained.


title: Exploiting the Planck-Einstein Relation

abstract: The origin of quantum physics was the discovery of the base unit of electromagnetic action $h$ by Max Planck in 1900 when he analyzed the experimental results of the black body radiation. This permitted Albert Einstein a few years later to explain the photoelectric effect by the absorption of photons with an energy of $E = h \cdot f$. We exploit the Planck-Einstein relation in a new type of fundamental spectroscopic measurements of direct transitions between two states with energy differences of about 10 neV and induced frequencies of a few MHz. Employing a Lamb-shift polarimeter and a Sona transition unit, featuring a relatively simple magnetic field configuration of two opposing solenoidal coils, we were able to determine $f$ and measure $E$ independently. Only resonances corresponding to integer multiples of Planck's constant $h$ were observed in our setup, which can very well be explained quantitatively by the Schr\"odinger equation. This new method beautifully demonstrates the quantization in the micro-cosmos and allows one to measure the hyperfine splitting energies between the substates with $F=1$ and $m_F = -1, 0, +1$ of metastable hydrogen atoms as function of a magnetic field and, thus, to investigate the influence of QED corrections on the Breit-Rabi diagram.


title: The Manufacture of Partisan Echo Chambers by Follow Train Abuse on Twitter

abstract: A growing body of evidence points to critical vulnerabilities of social media, such as the emergence of partisan echo chambers and the viral spread of misinformation. We show that these vulnerabilities are amplified by abusive behaviors associated with so-called "follow trains" on Twitter, in which long lists of like-minded accounts are mentioned for others to follow. We present the first systematic analysis of a large U.S. hyper-partisan train network. We observe an artificial inflation of influence: accounts heavily promoted by follow trains profit from a median six-fold increase in daily follower growth. This catalyzes the formation of highly clustered echo chambers, hierarchically organized around a dense core of active accounts. Train accounts also engage in other behaviors that violate platform policies: we find evidence of activity by inauthentic automated accounts and abnormal content deletion, as well as amplification of toxic content from low-credibility and conspiratorial sources. Some train accounts have been active for years, suggesting that platforms need to pay greater attention to this kind of abuse.


title: Fukaya A_\infty-structures associated to Lefschetz fibrations. V

abstract: We (re)consider how the Fukaya category of a Lefschetz fibration is related to that of the fibre. The distinguishing feature of the approach here is a more direct identification of the bimodule homomorphism involved.


title: Curvature Invariants for the Alcubierre and Nat\'ario Warp Drives

abstract: A process for using curvature invariants is applied to evaluate the metrics for the Alcubierre and the Natario warp drives at a constant velocity.Curvature invariants are independent of coordinate bases, so plotting these invariants will be free of coordinate mapping distortions. As a consequence, they provide a novel perspective into complex spacetimes such as warp drives. Warp drives are the theoretical solutions to Einstein's field equations that allow the possibility for faster-than-light (FTL) travel. While their mathematics is well established, the visualisation of such spacetimes is unexplored. This paper uses the methods of computing and plotting the warp drive curvature invariants to reveal these spacetimes. The warp drive parameters of velocity, skin depth and radius are varied individually and then plotted to see each parameter's unique effect on the surrounding curvature. For each warp drive, this research shows a safe harbor and how the shape function forms the warp bubble. The curvature plots for the constant velocity Natario warp drive do not contain a wake or a constant curvature indicating that these are unique features of the accelerating Natario warp drive.


title: Learning from Heterogeneous EEG Signals with Differentiable Channel Reordering

abstract: We propose CHARM, a method for training a single neural network across inconsistent input channels. Our work is motivated by Electroencephalography (EEG), where data collection protocols from different headsets result in varying channel ordering and number, which limits the feasibility of transferring trained systems across datasets. Our approach builds upon attention mechanisms to estimate a latent reordering matrix from each input signal and map input channels to a canonical order. CHARM is differentiable and can be composed further with architectures expecting a consistent channel ordering to build end-to-end trainable classifiers. We perform experiments on four EEG classification datasets and demonstrate the efficacy of CHARM via simulated shuffling and masking of input channels. Moreover, our method improves the transfer of pre-trained representations between datasets collected with different protocols.


title: Well-posedness for conservation laws with spatial heterogeneities and a study of BV regularity

abstract: In this article, we consider scalar conservation laws with fluxes having spatial discontinuities and possible flat regions and study the following three aspects: (i) existence, (ii) uniqueness and (iii) BV regularity of solutions. We propose a uniqueness condition and prove existence of a weak solution via the method of wave front tracking. In the later part of the article, a BV bound of the solution is achieved under a suitable condition on the initial data and flux. We construct two counterexamples showing BV blow-up of the solution which proves the optimality on the assumptions


title: Small-time local stabilization of the two dimensional incompressible Navier-Stokes equations

abstract: We provide explicit time-varying feedback laws that locally stabilize the two dimensional internal controlled incompressible Navier-Stokes equations in arbitrarily small time. We also obtain quantitative rapid stabilization via stationary feedback laws, as well as quantitative null controllability with explicit controls having $e^{C/T}$ costs.


title: The Frequency Spectrum and Geometry of the Hal Saflieni Hypogeum Appear Tuned

abstract: The Hal Saflieni Hypogeum is a unique subterranean Maltese Neolithic sanctuary with a well-documented history of interest in its acoustics. Previous studies have noted its unusual strongly-defined frequency spectrum, but it is unknown if this was coincidental. In this paper, we present evidence that the Hypogeum's creators shaped the site's geometry to create or amplify its frequency spectrum, or another property closely correlated with the spectrum. Specifically, we show that the observed spectrum required jointly fine-tuning the dimensions of multiple non-contiguous cave walls across multiple independent chambers, to a degree that seems unlikely to be coincidental. We also note that the peak frequencies are evenly spaced and resemble a whole-tone scale in music, which is also unlikely to be coincidental and suggests the spectrum itself might have held some cultural significance. Taken together, it suggests acoustic or spectral properties may have played a motivational or cultural role for the site's Neolithic creators. This work identifies one of the earliest known examples of a manmade structure with a significant musical element to its interior architecture.


title: Symmetries of the 2HDM: an invariant formulation and consequences

abstract: Symmetries of the Two-Higgs-Doublet Model (2HDM) potential that can be extended to the whole Lagrangian, i.e. the CP-symmetries CP1, CP2, CP3 and the Higgs-family symmetries Z2, U(1) and SO(3) are discussed. Sufficient and necessary conditions in terms of constraints on masses and physical couplings for the potential to respect each of these symmetries are found. Each symmetry can be realized through several alternative cases, each case being a set of relations among physical parameters. We will show that some of those relations are invariant under the renormalization group, but others are not. The cases corresponding to each symmetry group are illustrated by analyzing the interplay between the potential and the vacuum expectation values.


title: Quantum spin Hall edge states and interlayer coupling in twisted-bilayer WTe$_2$

abstract: The quantum spin Hall (QSH) effect, characterized by topologically protected spin-polarized edge states, was recently demonstrated in monolayers of the transition metal dichalcogenide (TMD) WTe$_2$. However, the robustness of this topological protection remains largely unexplored in van der Waals heterostructures containing one or more layers of a QSH insulator. In this work, we use scanning tunneling microscopy and spectroscopy (STM/STS) to explore the topological nature of twisted bilayer (tBL) WTe$_2$ which is produce from folded monolayers, as well as, tear-and-stack fabrication. At the tBL bilayer edge, we observe the characteristic spectroscopic signature of the QSH edge state that is absent in topologically trivial as-grown bilayer. For small twist angles, a rectangular moir\'e pattern develops, which results in local modifications of the band structure. Using first principles calculations, we quantify the interactions in tBL WTe$_2$ and its topological edge states as function of interlayer distance and conclude that it is possible to tune the topology of WTe$_2$ bilayers via the twist angle as well as interlayer interactions.


title: The planted $k$-factor problem

abstract: We consider the problem of recovering an unknown $k$-factor, hidden in a weighted random graph. For $k=1$ this is the planted matching problem, while the $k=2$ case is closely related to the planted travelling salesman problem. The inference problem is solved by exploiting the information arising from the use of two different distributions for the weights on the edges inside and outside the planted sub-graph. We argue that, in the large size limit, a phase transition can appear between a full and a partial recovery phase as function of the signal-to-noise ratio. We give a criterion for the location of the transition.


title: Distributed Multi-Target Tracking in Camera Networks

abstract: Most recent works on multi-target tracking with multiple cameras focus on centralized systems. In contrast, this paper presents a multi-target tracking approach implemented in a distributed camera network. The advantages of distributed systems lie in lighter communication management, greater robustness to failures and local decision making. On the other hand, data association and information fusion are more challenging than in a centralized setup, mostly due to the lack of global and complete information. The proposed algorithm boosts the benefits of the Distributed-Consensus Kalman Filter with the support of a re-identification network and a distributed tracker manager module to facilitate consistent information. These techniques complement each other and facilitate the cross-camera data association in a simple and effective manner. We evaluate the whole system with known public data sets under different conditions demonstrating the advantages of combining all the modules. In addition, we compare our algorithm to some existing centralized tracking methods, outperforming their behavior in terms of accuracy and bandwidth usage.


title: Track-Assignment Detailed Routing Using Attention-based Policy Model With Supervision

abstract: Detailed routing is one of the most critical steps in analog circuit design. Complete routing has become increasingly more challenging in advanced node analog circuits, making advances in efficient automatic routers ever more necessary. In this work, we propose a machine learning driven method for solving the track-assignment detailed routing problem for advanced node analog circuits. Our approach adopts an attention-based reinforcement learning (RL) policy model. Our main insight and advancement over this RL model is the use of supervision as a way to leverage solutions generated by a conventional genetic algorithm (GA). For this, our approach minimizes the Kullback-Leibler divergence loss between the output from the RL policy model and a solution distribution obtained from the genetic solver. The key advantage of this approach is that the router can learn a policy in an offline setting with supervision, while improving the run-time performance nearly 100x over the genetic solver. Moreover, the quality of the solutions our approach produces matches well with those generated by GA. We show that especially for complex problems, our supervised RL method provides good quality solution similar to conventional attention-based RL without comprising run time performance. The ability to learn from example designs and train the router to get similar solutions with orders of magnitude run-time improvement can impact the design flow dramatically, potentially enabling increased design exploration and routability-driven placement.


title: Cosmic ray dissociation of molecular hydrogen and dense cloud chemistry

abstract: Dissociation of molecular hydrogen by secondary electrons produced by cosmic ray or X-ray ionization plays a crucial role in the chemistry of the densest part of molecular clouds. Here we study the effect of the mean kinetic energy of secondary electrons on this process. We compare predictions using a range of secondary electron energies and predictions of the cross-sections with the values in the UMIST database. We find that the predicted column densities change by nearly one dex.


title: Bayesian Estimation of Two-Part Joint Models for a Longitudinal Semicontinuous Biomarker and a Terminal Event with R-INLA: Interests for Cancer Clinical Trial Evaluation

abstract: Two-part joint models for a longitudinal semicontinuous biomarker and a terminal event have been recently introduced based on frequentist estimation. The biomarker distribution is decomposed into a probability of positive value and the expected value among positive values. Shared random effects can represent the association structure between the biomarker and the terminal event. The computational burden increases compared to standard joint models with a single regression model for the biomarker. In this context, the frequentist estimation implemented in the R package frailtypack can be challenging for complex models (i.e., large number of parameters and dimension of the random effects). As an alternative, we propose a Bayesian estimation of two-part joint models based on the Integrated Nested Laplace Approximation (INLA) algorithm to alleviate the computational burden and fit more complex models. Our simulation studies confirm that INLA provides accurate approximation of posterior estimates and to reduced computation time and variability of estimates compared to frailtypack in the situations considered. We contrast the Bayesian and frequentist approaches in the analysis of two randomized cancer clinical trials (GERCOR and PRIME studies), where INLA has a reduced variability for the association between the biomarker and the risk of event. Moreover, the Bayesian approach was able to characterize subgroups of patients associated with different responses to treatment in the PRIME study. Our study suggests that the Bayesian approach using INLA algorithm enables to fit complex joint models that might be of interest in a wide range of clinical applications.