title: A New Compartmental Epidemiological Model for COVID-19 with a Case Study of Portugal

abstract: We propose a compartmental mathematical model for the spread of the COVID-19 disease, showing its usefulness with respect to the pandemic in Portugal, from the first recorded case in the country till the end of the three states of emergency. New results include the compartmental model, described by a system of seven ordinary differential equations; proof of positivity and boundedness of solutions; investigation of equilibrium points and their stability analysis; computation of the basic reproduction number; and numerical simulations with official real data from the Portuguese health authorities. Besides completely new, the proposed model allows to describe quite well the spread of COVID-19 in Portugal, fitting simultaneously not only the number of active infected individuals but also the number of hospitalized individuals, respectively with a $L^2$ error of $9.2152e-04$ and $1.6136e-04$ with respect to the initial population. Such results are very important, from a practical point of view, and far from trivial from a mathematical perspective. Moreover, the obtained value for the basic reproduction number is in agreement with the one given by the Portuguese authorities at the end of the emergency states.


title: Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis

abstract: Disclosure of data analytics results has important scientific and commercial justifications. However, no data shall be disclosed without a diligent investigation of risks for privacy of subjects. Privug is a tool-supported method to explore information leakage properties of data analytics and anonymization programs. In Privug, we reinterpret a program probabilistically, using off-the-shelf tools for Bayesian inference to perform information-theoretic analysis of the information flow. For privacy researchers, Privug provides a fast, lightweight way to experiment with privacy protection measures and mechanisms. We show that Privug is accurate, scalable, and applicable to a range of leakage analysis scenarios.


title: Curiosity Based Reinforcement Learning on Robot Manufacturing Cell

abstract: This paper introduces a novel combination of scheduling control on a flexible robot manufacturing cell with curiosity based reinforcement learning. Reinforcement learning has proved to be highly successful in solving tasks like robotics and scheduling. But this requires hand tuning of rewards in problem domains like robotics and scheduling even where the solution is not obvious. To this end, we apply a curiosity based reinforcement learning, using intrinsic motivation as a form of reward, on a flexible robot manufacturing cell to alleviate this problem. Further, the learning agents are embedded into the transportation robots to enable a generalized learning solution that can be applied to a variety of environments. In the first approach, the curiosity based reinforcement learning is applied to a simple structured robot manufacturing cell. And in the second approach, the same algorithm is applied to a graph structured robot manufacturing cell. Results from the experiments show that the agents are able to solve both the environments with the ability to transfer the curiosity module directly from one environment to another. We conclude that curiosity based learning on scheduling tasks provide a viable alternative to the reward shaped reinforcement learning traditionally used.


title: Correlated Chern insulators in two-dimensional Raman lattices: a cold-atom regularization of strongly-coupled four-Fermi field theories

abstract: We show that ultra-cold atoms with synthetic spin-orbit coupling in Raman lattices can be used as versatile quantum simulators to explore the connections between correlated Chern insulators and strongly-coupled four-Fermi field theories related to the Gross-Neveu model in (2+1) dimensions. Exploiting this multidisciplinary perspective, we identify a large-$N$ quantum anomalous Hall (QAH) effect in absence of any external magnetic field, and use it to delimit regions in parameter space where these correlated topological phases appear, the boundaries of which are controlled by strongly-coupled fixed points of the four-Fermi relativistic field theory. We further show how, for strong interactions, the QAH effect gives way to magnetic phases described by a two-dimensional quantum compass model in a transverse field. We present a detailed description of the phase diagram using the large-$N$ effective potential, and variational techniques such as projected entangled pairs.

categories: cond-mat.quant-gas cond-mat.str-el hep-lat quant-ph


title: Fully superconducting Josephson bolometers for gigahertz astronomy

abstract: The origin and the evolution of the universe are concealed in the evanescent diffuse extragalactic background radiation (DEBRA). To reveal these signals, the development of innovative ultra-sensitive bolometers operating in the gigahertz band is required. Here, we review the design and experimental realization of two bias-current-tunable sensors based on one dimensional fully superconducting Josephson junctions: the nanoscale transition edge sensor (nano-TES) and the Josephson escape sensor (JES). In particular, we cover the theoretical basis of the sensors operation, the device fabrication, their experimental electronic and thermal characterization, and the deduced detection performance. Indeed, the nano-TES promises a state-of-the-art noise equivalent power (NEP) of about $5 \times 10^{-20}$ W$/\sqrt{\text{Hz}}$, while the JES is expected to show an unprecedented NEP of the order of $10^{-25}$ W$/\sqrt{\text{Hz}}$. Therefore, the nano-TES and JES are strong candidates to push radio astronomy to the next level.


title: Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks

abstract: Making the most of multispectral image time-series is a promising but still relatively under-explored research direction because of the complexity of jointly analyzing spatial, spectral and temporal information. Capturing and characterizing temporal dynamics is one of the important and challenging issues. Our new method paves the way to capture real data dynamics and should eventually benefit applications like unmixing or classification. Dealing with time-series dynamics classically requires the knowledge of a dynamical model and an observation model. The former may be incorrect or computationally hard to handle, thus motivating data-driven strategies aiming at learning dynamics directly from data. In this paper, we adapt neural network architectures to learn periodic dynamics of both simulated and real multispectral time-series. We emphasize the necessity of choosing the right state variable to capture periodic dynamics and show that our models can reproduce the average seasonal dynamics of vegetation using only one year of training data.


title: About the exotic structure of $Z_{cs}$

abstract: Very recently a new hadronic structure around $3.98$ GeV was observed in BESIII experiment. From its decay modes, it is reasonable for people to assign it to the category of exotic state, say $Z^+_{cs}$, the stranged-parter of $Z_{c}(3900)$. This finding indicates for the first time the exotic state with strange quark in charm sector, and hence has a peculiar importance. By virtue of the QCD Sum Rule technique, we analyze the $Z^+_{cs}$ about its possible configuration and physical properties, and find it could be configured as a mixture of two types of structures, $[1_c]_{\bar{c} u}\otimes[1_c]_{\bar{s} c}$ and $[1_c]_{\bar{c} c}\otimes[1_c]_{\bar{s} u}$, or $[3_c]_{\bar{c} u}\otimes[\bar{3}_c]_{\bar{s} c}$ and $[3_c]_{\bar{c} c}\otimes[\bar{3}_c]_{\bar{s} u}$, with $J^P=1^+$. Physically, it then appears to be the emergence of a compound of four possible currents in each configuration, which tells the single current evaluation of hadron spectroscopy and their decay properties are sometimes not enough. We find in both cases the energy spectra may fit well with the experimental observation, i.e. $3.98$ GeV, within the uncertainties, while noted the former is not favored by vector meson exchange model. Various $Z^+_{cs}(3980)$ decay modes are evaluated, which are critical for pinning down its configuration and left for experimental verification. We also predict the mass of $Z^0_{cs}$, the neutral partner of $Z^+_{cs}(3980)$, and analyze its dominant decay probabilities.


title: Properties of YBa$_2$Cu$_3$O$_{7-\delta}$ films grown by pulsed laser deposition on CeO$_2$-buffered sapphire

abstract: In the present work we study the growth by pulsed laser deposition of YBa$_2$Cu$_3$O$_{7-\delta}$ (YBCO) films on the r-cut sapphire substrates. To improve the matching of the lattice parameters between the substrate and the film we use CeO$_{2}$ buffer layer, recrystallized prior to the deposition of YBCO. The optimal thickness and temperature of recrystallization of the buffer layer is first determined using atomic force microscopy (AFM) and X-ray diffraction. Next, we use the AFM to examine the dependence of YBCO film roughness on the film thickness, and we study the homogeneity of magnetic flux penetration into the films by magneto-optical imaging. We find that the superconducting critical temperature and critical current density of these films are very similar to those of YBCO films grown on well-matched substrates. It appears that the microstructure of YBCO films is affected by structural defects in the buffer layer as well as variations in oxygen deficiency, which results in high values of critical current density suitable for application.


title: Experimental Lower Bounds to the Classical Capacity of Quantum Channels

abstract: We show an experimental procedure to certify the classical capacity for noisy qubit channels. The method makes use of a fixed bipartite entangled state, where the system qubit is sent to the channel input and the set of local measurements $\sigma_{x}\otimes\sigma_{x}$, $\sigma_{y}\otimes\sigma_{y}$ and $\sigma_{z}\otimes\sigma_{z}$ is performed at the channel output and the ancilla qubit, thus without resorting to full quantum process tomography. The witness to the classical capacity is then achieved by reconstructing sets of conditional probabilities, noise deconvolution, and classical optimization of the pertaining mutual information. The performance of the method to provide lower bounds to the classical capacity is tested by a two-photon polarization entangled state in Pauli channels and amplitude damping channels. The measured lower bounds to the channels are in high agreement with the simulated data, which take into account both the experimental entanglement fidelity $F=0.979\pm 0.011$ of the input state and the systematic experimental imperfections.


title: Iterative Semi-parametric Dynamics Model Learning For Autonomous Racing

abstract: Accurately modeling robot dynamics is crucial to safe and efficient motion control. In this paper, we develop and apply an iterative learning semi-parametric model, with a neural network, to the task of autonomous racing with a Model Predictive Controller (MPC). We present a novel non-linear semi-parametric dynamics model where we represent the known dynamics with a parametric model, and a neural network captures the unknown dynamics. We show that our model can learn more accurately than a purely parametric model and generalize better than a purely non-parametric model, making it ideal for real-world applications where collecting data from the full state space is not feasible. We present a system where the model is bootstrapped on pre-recorded data and then updated iteratively at run time. Then we apply our iterative learning approach to the simulated problem of autonomous racing and show that it can safely adapt to modified dynamics online and even achieve better performance than models trained on data from manual driving.


title: New Insights into Classical Novae

abstract: We survey our understanding of classical novae: non-terminal, thermonuclear eruptions on the surfaces of white dwarfs in binary systems. The recent and unexpected discovery of GeV gamma-rays from Galactic novae has highlighted the complexity of novae and their value as laboratories for studying shocks and particle acceleration. We review half a century of nova literature through this new lens, and conclude: --The basics of the thermonuclear runaway theory of novae are confirmed by observations. The white dwarf sustains surface nuclear burning for some time after runaway, and until recently, it was commonly believed that radiation from this nuclear burning solely determines the nova's bolometric luminosity. --The processes by which novae eject material from the binary system remain poorly understood. Mass loss from novae is complex (sometimes fluctuating in rate, velocity, and morphology) and often prolonged in time over weeks, months, or years. --The complexity of the mass ejection leads to gamma-ray producing shocks internal to the nova ejecta. When gamma-rays are detected (around optical maximum), the shocks are deeply embedded and the surrounding gas is very dense. --Observations of correlated optical and gamma-ray light curves confirm that the shocks are radiative and contribute significantly to the bolometric luminosity of novae. Novae are therefore the closest and most common "interaction-powered" transients.


title: Multi-frame Feature Aggregation for Real-time Instrument Segmentation in Endoscopic Video

abstract: Deep learning-based methods have achieved promising results on surgical instrument segmentation. However, the high computation cost may limit the application of deep models to time-sensitive tasks such as online surgical video analysis for robotic-assisted surgery. Moreover, current methods may still suffer from challenging conditions in surgical images such as various lighting conditions and the presence of blood. We propose a novel Multi-frame Feature Aggregation (MFFA) module to aggregate video frame features temporally and spatially in a recurrent mode. By distributing the computation load of deep feature extraction over sequential frames, we can use a lightweight encoder to reduce the computation costs at each time step. Moreover, public surgical videos usually are not labeled frame by frame, so we develop a method that can randomly synthesize a surgical frame sequence from a single labeled frame to assist network training. We demonstrate that our approach achieves superior performance to corresponding deeper segmentation models on two public surgery datasets.


title: Confounding Feature Acquisition for Causal Effect Estimation

abstract: Reliable treatment effect estimation from observational data depends on the availability of all confounding information. While much work has targeted treatment effect estimation from observational data, there is relatively little work in the setting of confounding variable missingness, where collecting more information on confounders is often costly or time-consuming. In this work, we frame this challenge as a problem of feature acquisition of confounding features for causal inference. Our goal is to prioritize acquiring values for a fixed and known subset of missing confounders in samples that lead to efficient average treatment effect estimation. We propose two acquisition strategies based on i) covariate balancing (CB), and ii) reducing statistical estimation error on observed factual outcome error (OE). We compare CB and OE on five common causal effect estimation methods, and demonstrate improved sample efficiency of OE over baseline methods under various settings. We also provide visualizations for further analysis on the difference between our proposed methods.


title: Dune initiation in a bimodal wind regime

abstract: Early-stage bedforms develop into mature dunes through complex interactions between wind, sand transport and surface topography. Depending on varying environmental and wind conditions, the mechanism driving dune formation and, ultimately, the shape of nascent dunes may differ markedly. In cases where sand availability is plentiful one mechanism suggested for triggering dune growth is linear stability theory. Until now, this theory has only been tested using field evidence in unidirectional winds. However, in many areas of the world and on other planets where aeolian processes act, wind regimes are often bimodal or multimodal. Here, we investigate field evidence of protodune formation under bimodal winds by applying linear stability analysis to a developing protodune field. Employing recent theoretical and experimental research, combined with in-situ wind, sediment transport, and topographic measurements during a month long field campaign at Great Sand Dunes National Park, Colorado, USA, we use a development of the linear stability theory to predict the spatial characteristics (orientation and wavelength) and temporal evolution (growth rate and migration velocity) of a protodune field. We find that the theoretical predictions compare well with measured dunefield attributes as characterized by high-resolution Digital Elevation Models measured using repeat terres trial laser scanning. Our findings suggest that linear stability theory is a quantitative predictor of protodune development on sandy surfaces with a bimodal wind regime. Our findings are significant as they offer critical validation of the linear stability theory for explaining the initiation and development of dunes towards maturity in a complex natural environment.


title: Measuring the Novelty of Natural Language Text Using the Conjunctive Clauses of a Tsetlin Machine Text Classifier

abstract: Most supervised text classification approaches assume a closed world, counting on all classes being present in the data at training time. This assumption can lead to unpredictable behaviour during operation, whenever novel, previously unseen, classes appear. Although deep learning-based methods have recently been used for novelty detection, they are challenging to interpret due to their black-box nature. This paper addresses \emph{interpretable} open-world text classification, where the trained classifier must deal with novel classes during operation. To this end, we extend the recently introduced Tsetlin machine (TM) with a novelty scoring mechanism. The mechanism uses the conjunctive clauses of the TM to measure to what degree a text matches the classes covered by the training data. We demonstrate that the clauses provide a succinct interpretable description of known topics, and that our scoring mechanism makes it possible to discern novel topics from the known ones. Empirically, our TM-based approach outperforms seven other novelty detection schemes on three out of five datasets, and performs second and third best on the remaining, with the added benefit of an interpretable propositional logic-based representation.


title: Stochastic Client Selection for Federated Learning with Volatile Clients

abstract: Federated Learning (FL), arising as a privacy-preserving machine learning paradigm, has received notable attention from the public. In each round of synchronous FL training, only a fraction of available clients are chosen to participate, and the selection decision might have a significant effect on the training efficiency, as well as the final model performance. In this paper, we investigate the client selection problem under a volatile context, in which the local training of heterogeneous clients is likely to fail due to various kinds of reasons and in different levels of frequency. {\color{black}Intuitively, too much training failure might potentially reduce the training efficiency, while too much selection on clients with greater stability might introduce bias, thereby resulting in degradation of the training effectiveness. To tackle this tradeoff, we in this paper formulate the client selection problem under joint consideration of effective participation and fairness.} Further, we propose E3CS, a stochastic client selection scheme to solve the problem, and we corroborate its effectiveness by conducting real data-based experiments. According to our experimental results, the proposed selection scheme is able to achieve up to 2x faster convergence to a fixed model accuracy while maintaining the same level of final model accuracy, compared with the state-of-the-art selection schemes.


title: Dark Holograms and Gravitational Waves

abstract: Spectra of stochastic gravitational waves (GW) generated in cosmological first-order phase transitions are computed within strongly correlated theories with a dual holographic description. The theories are mostly used as models of dark sectors. In particular, we consider the so-called Witten-Sakai-Sugimoto model, a $SU(N)$ gauge theory coupled to different matter fields in both the fundamental and the adjoint representations. The model has a well-known top-down holographic dual description which allows us to perform reliable calculations in the strongly coupled regime. We consider the GW spectra from bubble collisions and sound waves arising from two different kinds of first-order phase transitions: a confinement/deconfinement one and a chiral symmetry breaking/restoration one. Depending on the model parameters, we find that the GW spectra may fall within the sensibility region of ground-based and space-based interferometers, as well as of Pulsar Timing Arrays. In the latter case, the signal could be compatible with the recent potential observation by NANOGrav. When the two phase transitions happen at different critical temperatures, characteristic spectra with double frequency peaks show up. Moreover, in this case we explicitly show how to correct the redshift factors appearing in the formulae for the GW power spectra to account for the fact that adiabatic expansion from the first transition to the present times cannot be assumed anymore.


title: Study $B^{0}_{(s)}$ decays into $\phi$ and a scalar or vector meson

abstract: In the present work, we investigate the decays of $B^{0}_{s} \rightarrow \phi\pi^{+}\pi^{-}$ and $B^{0} \rightarrow \phi\pi^{+}\pi^{-}$ with the final state interactions based on the chiral unitary approach. In the final state interactions of the $\pi^+\pi^-$ with its coupled channels, we study the effects of the $\eta\eta$ channel in the two-body interactions for the reproduction of the $f_{0}(980)$ state. Our results for the $\pi^+\pi^-$ invariant mass distributions of the decay $B^{0}_{s} \rightarrow \phi\pi^{+}\pi^{-}$ describe the experimental data up to 1 GeV well, with the resonance contributions from the $f_{0}(980)$ and $\rho$. For the predicted invariant mass distributions of the $B^{0} \rightarrow \phi\pi^{+}\pi^{-}$ decay, we found that the contributions from the $f_{0}(500)$ are significant except for the ones from the $f_{0}(980)$ state. With some experimental branching ratios as input to determine the production vertex factors, we make some predictions for the branching ratios of the other final decay channels, including the vector mesons, in the $B^0_{(s)}$ decays, where some of them are consistent with the experimental ones within the uncertainties.


title: Dispersive measurement of a semiconductor double quantum dot via 3D integration of a high-impedance TiN resonator

abstract: Spins in semiconductor quantum dots are a candidate for cryogenic quantum processors due to their exceptionally long coherence times. One major challenge to scaling quantum dot spin qubits is the dense wiring requirements, making it difficult to envision fabricating large arrays of nearest-neighbor-coupled qubits necessary for error correction. We describe a method to solve this problem by spacing the qubits out using high-impedance superconducting resonators with a 2D grid unit cell area of $0.16~\text{mm}^2$ using 3D integration. To prove the viability of this approach, we demonstrate 3D integration of a high-impedance TiN resonator coupled to a double quantum dot in a Si/SiGe heterostructure. Using the resonator as a dispersive gate sensor, we tune the device down to the single electron regime with an SNR = 5.36 limited by the resonator-dot capacitance. Characterization of the dot and resonator systems shows such integration can be done while maintaining low charge noise metrics for the quantum dots and with improved loaded quality factors for the superconducting resonator ($Q_L = 2.14 \times 10^4$), allowing for high-sensitivity charge detection and the potential for high fidelity 2-qubit gates. This work paves the way for 2D quantum dot qubit arrays with cavity mediated interactions.


title: An application of the continuous Steiner symmetrization to Blaschke-Santal\'o diagrams

abstract: In this paper we consider the so-called procedure of {\it Continuous Steiner Symmetrization}, introduced by Brock in \cite{bro95,bro00}. It transforms every domain $\Omega\subset\subset\mathbb{R}^d$ into the ball keeping the volume fixed and letting the first eigenvalue and the torsion respectively decrease and increase. While this does not provide, in general, a $\gamma$-continuous map $t\mapsto\Omega_t$, it can be slightly modified so to obtain the $\gamma$-continuity for a $\gamma$-dense class of domains $\Omega$, namely, the class of polyedral sets in $\mathbb{R}^d$. This allows to obtain a sharp characterization of the Blaschke-Santal\'o diagram of torsion and eigenvalue.


title: Recognition and standardization of cardiac MRI orientation via multi-tasking learning and deep neural networks

abstract: In this paper, we study the problem of imaging orientation in cardiac MRI, and propose a framework to categorize the orientation for recognition and standardization via deep neural networks. The method uses a new multi-tasking strategy, where both the tasks of cardiac segmentation and orientation recognition are simultaneously achieved. For multiple sequences and modalities of MRI, we propose a transfer learning strategy, which adapts our proposed model from a single modality to multiple modalities. We embed the orientation recognition network in a Cardiac MRI Orientation Adjust Tool, i.e., CMRadjustNet. We implemented two versions of CMRadjustNet, including a user-interface (UI) software, and a command-line tool. The former version supports MRI image visualization, orientation prediction, adjustment, and storage operations; and the latter version enables the batch operations. The source code, neural network models and tools have been released and open via https://zmiclab.github.io/projects.html.


title: Evidence of galaxy interaction in the Narrow-line Seyfert 1 galaxy IRAS17020+4544 seen by NOEMA

abstract: The narrow-line Seyfert 1 galaxy IRAS17020+4544 is one of the few sources where both an X-ray ultra-fast outflow and a molecular outflow were observed to be consistent with energy conservation. However, IRAS17020+4544 is less massive and has a much more modest active galactic nucleus (AGN) luminosity than the other examples. Using recent CO(1-0) observations with the NOrthern Extended Millimeter Array (NOEMA), we characterised the molecular gas content of the host galaxy for the first time. We found that the molecular gas is distributed into an apparent central disc of 1.1x10^9 Msun, and a northern extension located up to 8 kpc from the centre with a molecular gas mass M_H2~10^8 Msun. The molecular gas mass and the CO dynamics in the northern extension reveal that IRAS 17020+4544 is not a standard spiral galaxy, instead it is interacting with a dwarf object corresponding to the northern extension. This interaction possibly triggers the high accretion rate onto the super massive black hole. Within the main galaxy, which hosts the AGN, a simple analytical model predicts that the molecular gas may lie in a ring, with less molecular gas in the nuclear region. Such distribution may be the result of the AGN activity which removes or photodissociates the molecular gas in the nuclear region (AGN feedback). Finally, we have detected a molecular outflow of mass M_H2=(0.7-1.2)x10^7 Msun in projection at the location of the northern galaxy, with a similar velocity to that of the massive outflow reported in previous millimeter data obtained by the Large Millimeter Telescope.


title: Non-trivial symmetries in quantum landscapes and their resilience to quantum noise

abstract: Very little is known about the cost landscape for parametrized Quantum Circuits (PQCs). Nevertheless, PQCs are employed in Quantum Neural Networks and Variational Quantum Algorithms, which may allow for near-term quantum advantage. Such applications require good optimizers to train PQCs. Recent works have focused on quantum-aware optimizers specifically tailored for PQCs. However, ignorance of the cost landscape could hinder progress towards such optimizers. In this work, we analytically prove two results for PQCs: (1) We find an exponentially large symmetry in PQCs, yielding an exponentially large degeneracy of the minima in the cost landscape. Alternatively, this can be cast as an exponential reduction in the volume of relevant hyperparameter space. (2) We study the resilience of the symmetries under noise, and show that while it is conserved under unital noise, non-unital channels can break these symmetries and lift the degeneracy of minima, leading to multiple new local minima. Based on these results, we introduce an optimization method called Symmetry-based Minima Hopping (SYMH), which exploits the underlying symmetries in PQCs. Our numerical simulations show that SYMH improves the overall optimizer performance in the presence of non-unital noise at a level comparable to current hardware. Overall, this work derives large-scale circuit symmetries from local gate transformations, and uses them to construct a noise-aware optimization method.


title: Evolutionary Dynamics on a Regular Networked Structured and Unstructured Multi-population

abstract: In this paper we study collective decision making on a multi-population, represented by a regular network of groups of individuals. Each group consists of a collection of players and every player can choose between two options. A group is characterised by variables denoting the fractions of individuals committed to each respective option, and they are influenced by the state of neighboring groups. First, we study its steady-state and show that the equilibrium is a consensus equilibrium. We also derive a sufficient condition for local asymptotic stability. Then, we study a structured model where every population is now assumed to represent a structured complex network. We conclude the paper with simulations, corroborating the obtained theoretical findings.


title: Improved bounds on entropy production in living systems

abstract: Living systems maintain or increase local order by working against the Second Law of Thermodynamics. Thermodynamic consistency is restored as they dissipate heat, thereby increasing the net entropy of their environment. Recently introduced estimators for the entropy production rate have provided major insights into the thermal efficiency of important cellular processes. In experiments, however, many degrees of freedom typically remain hidden to the observer, and in these cases, existing methods are not optimal. Here, by reformulating the problem within an optimization framework, we are able to infer improved bounds on the rate of entropy production from partial measurements of biological systems. Our approach yields provably optimal estimates given certain measurable transition statistics. In particular, it can reveal non-zero heat production rates even when non-equilibrium processes appear time symmetric and so may pretend to obey detailed balance. We demonstrate the broad applicability of this framework by providing improved bounds on the entropy production rate in a diverse range of biological systems including bacterial flagella motors, growing microtubules, and calcium oscillations within human embryonic kidney cells.


title: Crystalline lifts and a variant of the Steinberg-Winter theorem

abstract: Let $K/\mathbb{Q}_p$ be a finite extension. For all irreducible representations $\bar\rho: G_K \to G(\bar{\mathbb{F}}_p)$ valued in a general reductive group $G$, we construct crystalline lifts of $\bar\rho$ which are Hodge-Tate regular. We also discuss rationality questions. We prove a variant of the Steinberg-Winter theorem along the way.


title: Mapping a finite and an infinite Hadamard quantum walk onto a unique case of a random walk process

abstract: A new model that maps a quantum random walk described by a Hadamard operator to a particular case of a random walk is presented. The model is represented by a Markov chain with a stochastic matrix, i.e., all the transition rates are positive, although the Hadamard operator contains negative entries. Using a proper transformation that is applied to the random walk distribution after n steps, the probability distributions in space of the two quantum states |1>, |0> are revealed. These show that a quantum walk can be entirely mapped to a particular case of a higher dimension of a random walk model. The random walk model and its equivalence to a Hadamard walk can be extended for other cases, such as a finite chain with two reflecting points


title: Correlation length of the two-dimensional random field Ising model via greedy lattice animal

abstract: For the two-dimensional random field Ising model where the random field is given by i.i.d.\ mean zero Gaussian variables with variance $\epsilon^2$, we study (one natural notion of) the correlation length, which is the critical size of a box at which the influences of the random field and of the boundary condition on the spin magnetization are comparable. We show that as $\epsilon \to 0$, at zero temperature the correlation length scales as $e^{\Theta(\epsilon^{-4/3})}$ (and our upper bound applies for all positive temperatures).


title: Anatomy Prior Based U-net for Pathology Segmentation with Attention

abstract: Pathological area segmentation in cardiac magnetic resonance (MR) images plays a vital role in the clinical diagnosis of cardiovascular diseases. Because of the irregular shape and small area, pathological segmentation has always been a challenging task. We propose an anatomy prior based framework, which combines the U-net segmentation network with the attention technique. Leveraging the fact that the pathology is inclusive, we propose a neighborhood penalty strategy to gauge the inclusion relationship between the myocardium and the myocardial infarction and no-reflow areas. This neighborhood penalty strategy can be applied to any two labels with inclusive relationships (such as the whole infarction and myocardium, etc.) to form a neighboring loss. The proposed framework is evaluated on the EMIDEC dataset. Results show that our framework is effective in pathological area segmentation.


title: Formation of Bound States of scalar fields in AdS-asymptotic Wormholes

abstract: We use the Wentzel-Kramers-Brillouin (WKB) approximation to study the formation and propagation of bound states in the vicinity of a wormhole in the non-minimal derivative coupling theory of gravity. The wormhole throat connects two Anti-de Sitter spacetimes. We show that when the scalar field lies in high orbital states, the corresponding potential has potential barriers that block the passage of a classical field. We investigate the behaviour of the bound states trapped in the potential wells and provide the flow between the two AdS regions.


title: A Method to Generate High Precision Mesh Model and RGB-D Datasetfor 6D Pose Estimation Task

abstract: Recently, 3D version has been improved greatly due to the development of deep neural networks. A high quality dataset is important to the deep learning method. Existing datasets for 3D vision has been constructed, such as Bigbird and YCB. However, the depth sensors used to make these datasets are out of date, which made the resolution and accuracy of the datasets cannot full fill the higher standards of demand. Although the equipment and technology got better, but no one was trying to collect new and better dataset. Here we are trying to fill that gap. To this end, we propose a new method for object reconstruction, which takes into account the speed, accuracy and robustness. Our method could be used to produce large dataset with better and more accurate annotation. More importantly, our data is more close to the rendering data, which shrinking the gap between the real data and synthetic data further.


title: KddRES: A Multi-level Knowledge-driven Dialogue Dataset for Restaurant Towards Customized Dialogue System

abstract: Compared with CrossWOZ (Chinese) and MultiWOZ (English) dataset which have coarse-grained information, there is no dataset which handle fine-grained and hierarchical level information properly. In this paper, we publish a first Cantonese knowledge-driven Dialogue Dataset for REStaurant (KddRES) in Hong Kong, which grounds the information in multi-turn conversations to one specific restaurant. Our corpus contains 0.8k conversations which derive from 10 restaurants with various styles in different regions. In addition to that, we designed fine-grained slots and intents to better capture semantic information. The benchmark experiments and data statistic analysis show the diversity and rich annotations of our dataset. We believe the publish of KddRES can be a necessary supplement of current dialogue datasets and more suitable and valuable for small and middle enterprises (SMEs) of society, such as build a customized dialogue system for each restaurant. The corpus and benchmark models are publicly available.


title: Lyndon-Demushkin method and crystalline lifts of $G_2$-valued Galois representations

abstract: We show for all local fields $K/\mathbb{Q}_p$, with $p >3$, all representations $\bar\rho:G_K \to G_2(\bar{\mathbb{F}}_p)$ admit a crystalline lift $\rho: G_K\to G_2(\bar{\mathbb{Z}}_p)$, where $G_2$ is the exceptional Chevalley group of type $G_2$. The main ingredient is a new technique for analyzing the obstruction of non-abelian extensions of Galois modules, which has roots in combinatorial group theory. We also rely on the Emerton-Gee stack of $(\phi, \Gamma)$-modules to construct abelian extensions.


title: Towards evaluating and eliciting high-quality documentation for intelligent systems

abstract: A vital component of trust and transparency in intelligent systems built on machine learning and artificial intelligence is the development of clear, understandable documentation. However, such systems are notorious for their complexity and opaqueness making quality documentation a non-trivial task. Furthermore, little is known about what makes such documentation "good." In this paper, we propose and evaluate a set of quality dimensions to identify in what ways this type of documentation falls short. Then, using those dimensions, we evaluate three different approaches for eliciting intelligent system documentation. We show how the dimensions identify shortcomings in such documentation and posit how such dimensions can be use to further enable users to provide documentation that is suitable to a given persona or use case.


title: Representation of hypergeometric products of higher nesting depths in difference rings

abstract: A non-trivial symbolic machinery is presented that can rephrase algorithmically a finite set of nested hypergeometric products in appropriately designed difference rings. As a consequence, one obtains an alternative representation in terms of one single product defined over a root of unity and nested hypergeometric products which are algebraically independent among each other. In particular, one can solve the zero-recognition problem: the input expression of nested hypergeometric products evaluates to zero if and only if the output expression is the zero expression. Combined with available symbolic summation algorithms in the setting of difference rings, one obtains a general machinery that can represent (and simplify) nested sums defined over nested products.


title: Annihilators of the ideal class group of a cyclic extension of a global function field

abstract: Let $K$ be a global function field and fix a place $\infty$ of $K$. Let $L/K$ be a finite real abelian extension, i.e. a finite, abelian extension such that $\infty$ splits completely in $L$. Then we define a group of elliptic units $C_L$ in $\mathcal{O}_L^\times$ analogously to Sinnott's cyclotomic units and compute the index $[\mathcal{O}_L^\times:C_L]$. In the second part of this article, we additionally assume that $L$ is a cyclic extension of prime power degree. Then we can use the methods from Greither and Ku\v{c}era to take certain roots of these elliptic units and prove a result on the annihilation of the $p$-part of the class group of $L$.


title: Direct observation of the particle exchange phase of photons

abstract: Quantum theory stipulates that if two particles are identical in all physical aspects, the allowed states of the system are either symmetric or antisymmetric with respect to permutations of the particle labels. Experimentally, the symmetry of the states can be inferred indirectly from the fact that neglecting the correct exchange symmetry in the theoretical analysis leads to dramatic discrepancies with the observations. The only way to directly unveil the symmetry of the states for, say, two identical particles is through the interference of the original state and the physically permuted one, and measure the phase associated with the permutation process, the so-called particle exchange phase. Following this idea, we have measured the exchange phase of indistinguishable photons, providing direct evidence of the bosonic character of photons.


title: Travelling waves are hydrodynamically optimal for long-wavelength flagella

abstract: Swimming eukaryotic microorganisms such as spermatozoa, algae and ciliates self-propel in viscous fluids using travelling wave-like deformations of slender appendages called flagella. Waves are predominant because Purcell's scallop theorem precludes time-reversible kinematics for locomotion. Using the calculus of variations on a periodic long-wavelength model of flagellar swimming, we show that the planar flagellar kinematics maximising the time-averaged propulsive force for a fixed amount of energy dissipated in the surrounding fluid correspond for all times to waves travelling with constant speed, potentially on a curved centreline, with propulsion always in the direction opposite to the wave.


title: Exploring Energy-Accuracy Tradeoffs in AI Hardware

abstract: Artificial intelligence (AI) is playing an increasingly significant role in our everyday lives. This trend is expected to continue, especially with recent pushes to move more AI to the edge. However, one of the biggest challenges associated with AI on edge devices (mobile phones, unmanned vehicles, sensors, etc.) is their associated size, weight, and power constraints. In this work, we consider the scenario where an AI system may need to operate at less-than-maximum accuracy in order to meet application-dependent energy requirements. We propose a simple function that divides the cost of using an AI system into the cost of the decision making process and the cost of decision execution. For simple binary decision problems with convolutional neural networks, it is shown that minimizing the cost corresponds to using fewer than the maximum number of resources (e.g. convolutional neural network layers and filters). Finally, it is shown that the cost associated with energy can be significantly reduced by leveraging high-confidence predictions made in lower-level layers of the network.


title: Second-order dual fermion for multi-orbital systems

abstract: In dynamical mean-field theory, the correlations between electrons are assumed to be purely local. The dual fermion approach provides a systematic way of adding non-local corrections to the dynamical mean-field theory starting point. Initial applications of this method were largely restricted to the single-orbital Hubbard model. Here, we present an implementation of second-order dual fermion for general multi-orbital systems and use this approach to investigate spatial correlations in SrVO$_3$. In addition, the approach is benchmarked in several exactly solvable small systems.


title: Automatic Microprocessor Performance Bug Detection

abstract: Processor design validation and debug is a difficult and complex task, which consumes the lion's share of the design process. Design bugs that affect processor performance rather than its functionality are especially difficult to catch, particularly in new microarchitectures. This is because, unlike functional bugs, the correct processor performance of new microarchitectures on complex, long-running benchmarks is typically not deterministically known. Thus, when performance benchmarking new microarchitectures, performance teams may assume that the design is correct when the performance of the new microarchitecture exceeds that of the previous generation, despite significant performance regressions existing in the design. In this work, we present a two-stage, machine learning-based methodology that is able to detect the existence of performance bugs in microprocessors. Our results show that our best technique detects 91.5% of microprocessor core performance bugs whose average IPC impact across the studied applications is greater than 1% versus a bug-free design with zero false positives. When evaluated on memory system bugs, our technique achieves 100% detection with zero false positives. Moreover, the detection is automatic, requiring very little performance engineer time.


title: Ultrafast Momentum-Resolved Probing of Plasmon Thermal Dynamics with Free Electrons

abstract: Current advances in ultrafast electron microscopy make it possible to combine optical pumping of a nanostructure and electron beam probing with sub{\aa}ngstrom and femtosecond spatiotemporal resolution. We present a theory predicting that this technique can reveal a rich out-of-equilibrium dynamics of plasmon excitations in graphene and graphite samples. In a disruptive departure from the traditional probing of nanoscale excitations based on the identification of spectral features in the transmitted electrons, we show that measurement of angle-resolved, energy-integrated inelastic electron scattering can trace the temporal evolution of plasmons in these structures and provide momentum-resolved mode identification, thus avoiding the need for highly-monochromatic electron beams and the use of electron spectrometers. This previously unexplored approach to study the ultrafast dynamics of optical excitations can be of interest to understand and manipulate polaritons in 2D semiconductors and other materials exhibiting a strong thermo-optical response.


title: A Spiking Neural Network (SNN) for detecting High Frequency Oscillations (HFOs) in the intraoperative ECoG

abstract: To achieve seizure freedom, epilepsy surgery requires the complete resection of the epileptogenic brain tissue. In intraoperative ECoG recordings, high frequency oscillations (HFOs) generated by epileptogenic tissue can be used to tailor the resection margin. However, automatic detection of HFOs in real-time remains an open challenge. Here we present a spiking neural network (SNN) for automatic HFO detection that is optimally suited for neuromorphic hardware implementation. We trained the SNN to detect HFO signals measured from intraoperative ECoG on-line, using an independently labeled dataset. We targeted the detection of HFOs in the fast ripple frequency range (250-500 Hz) and compared the network results with the labeled HFO data. We endowed the SNN with a novel artifact rejection mechanism to suppress sharp transients and demonstrate its effectiveness on the ECoG dataset. The HFO rates (median 6.6 HFO/min in pre-resection recordings) detected by this SNN are comparable to those published in the dataset (58 min, 16 recordings). The postsurgical seizure outcome was "predicted" with 100% accuracy for all 8 patients. These results provide a further step towards the construction of a real-time portable battery-operated HFO detection system that can be used during epilepsy surgery to guide the resection of the epileptogenic zone.


title: Towards Meta-Algorithm Selection

abstract: Instance-specific algorithm selection (AS) deals with the automatic selection of an algorithm from a fixed set of candidates most suitable for a specific instance of an algorithmic problem class, where "suitability" often refers to an algorithm's runtime. Over the past years, a plethora of algorithm selectors have been proposed. As an algorithm selector is again an algorithm solving a specific problem, the idea of algorithm selection could also be applied to AS algorithms, leading to a meta-AS approach: Given an instance, the goal is to select an algorithm selector, which is then used to select the actual algorithm for solving the problem instance. We elaborate on consequences of applying AS on a meta-level and identify possible problems. Empirically, we show that meta-algorithm-selection can indeed prove beneficial in some cases. In general, however, successful AS approaches have problems with solving the meta-level problem.


title: PaDiM: a Patch Distribution Modeling Framework for Anomaly Detection and Localization

abstract: We present a new framework for Patch Distribution Modeling, PaDiM, to concurrently detect and localize anomalies in images in a one-class learning setting. PaDiM makes use of a pretrained convolutional neural network (CNN) for patch embedding, and of multivariate Gaussian distributions to get a probabilistic representation of the normal class. It also exploits correlations between the different semantic levels of CNN to better localize anomalies. PaDiM outperforms current state-of-the-art approaches for both anomaly detection and localization on the MVTec AD and STC datasets. To match real-world visual industrial inspection, we extend the evaluation protocol to assess performance of anomaly localization algorithms on non-aligned dataset. The state-of-the-art performance and low complexity of PaDiM make it a good candidate for many industrial applications.


title: Testing and Emulating Modified Gravity on Cosmological Scales

abstract: This thesis introduces a set of methods for testing models of modified gravity using galaxy clusters. In particular, a technique for constraining models with a chameleon screening is introduced. In addition, the outlined technique is expanded to test a wider class of models, such as the theory of emergent gravity. Finally, the first part of the thesis is concluded by adapting the mentioned tests for model independent constraints. The obtained results indicate that galaxy clusters can be used to obtain some of the most powerful constraints on cosmological scales. The second part of the thesis is dedicated to the topic of cosmological emulators. More specifically, a technique of emulating cosmological N-body simulation output data based on machine learning is introduced. Generative adversarial networks (GANs) are used to emulate dark matter-only as well as hydrodynamical simulation data. In addition, N-body modified gravity simulations are explored as well. The presented investigation of the GAN algorithm shows that such emulators offer a powerful, fast and efficient way of producing simulation output data with different cosmological parameters. The power spectrum analysis indicates a 1-20% difference between the training and the generated data depending on the dataset used and whether Gaussian smoothing is applied or not.


title: The COVID19 infodemic. The role and place of academics in science communication

abstract: As the COVID19 pandemic has spread across the world, a concurrent pandemic of information has spread with it. Deemed an infodemic by the World Health Organization, and described as an overabundance of information, some accurate, some not, that occurs during an epidemic, this proliferation of data, research and opinions provides both opportunities and challenges for academics. Academics and scientists have a key role to play in the solutions to the infodemic challenge: as educators, influences and communicators, even where their expertise and experience does not align precisely with the SARS-Cov2 virus and its impacts. Successful communication requires a better understanding of how the public seeks, understands and processes scientific information, however, in order to maximise the ways in which experts engage with traditional and social media and to make sure that such engagement does not add to confusion and misinformation alongside efforts to counter or challenge it. This paper will outline the key advantages to be had from greater engagement with COVID19 discussions, the popular channels through which such discussions take place and through which information is disseminated. It also warns against the common pitfalls those who choose to engage might encounter, whilst stressing that the disadvantages of doing so are far outweighed by the advantages such engagement offers.


title: Effective Eigendivisors and the Kawaguchi-Silverman Conjecture

abstract: Let $f\colon X\rightarrow X$ be a surjective endomorphism of a normal projective variety defined over a number field. The dynamics of $f$ may be studied through the dynamics of the linear action $f^*\colon Pic(X)_\mathbb{R}\rightarrow Pic(X)_\mathbb{R}$, which are governed by the spectral theory of $f^*$. Let $\lambda_1(f)$ be the spectral radius of $f^*$. We study $\mathbb{Q}$-divisors $D$ with $f^*D=\lambda_1(f) D$ and $\kappa(D)=0$ where $\kappa(D)$ is the Iitaka dimension of the divisor $D$. We analyze the base locus of such divisors and interpret the set of small eigenvalues in terms of the canonical heights of Jordan blocks described by Kawaguchi and Silverman. Finally we identify a linear algebraic condition on surjective morphisms that may be useful in proving instances of the Kawaguchi-Silverman conjecture.


title: Goodwillie Towers of $\infty$-Categories and Desuspension

abstract: We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as those $\infty$-categories in which $A_n$-cogroup objects admit desuspensions. Applying this result to pointed spaces we reprove a theorem of Klein-Schw\"anzl-Vogt: every 2-connected cogroup-like $A_\infty$-space admits a desuspension.


title: P1AC: Revisiting Absolute Pose From a Single Affine Correspondence

abstract: Affine correspondences have traditionally been used to improve feature matching over wide baselines. While recent work has successfully used affine correspondences to solve various relative camera pose estimation problems, less attention has been given to their use in absolute pose estimation. We introduce the first general solution to the problem of estimating the pose of a calibrated camera given a single observation of an oriented point and an affine correspondence. The advantage of our approach (P1AC) is that it requires only a single correspondence, in comparison to the traditional point-based approach (P3P), significantly reducing the combinatorics in robust estimation. P1AC provides a general solution that removes restrictive assumptions made in prior work and is applicable to large-scale image-based localization. We propose a minimal solution to the P1AC problem and evaluate our novel solver on synthetic data, showing its numerical stability and performance under various types of noise. On standard image-based localization benchmarks we show that P1AC achieves more accurate results than the widely used P3P algorithm. Code for our method is available at https://github.com/jonathanventura/P1AC/ .


title: Complete quadrics: Schubert calculus for Gaussian models and semidefinite programming

abstract: We establish connections between: the maximum likelihood degree (ML-degree) for linear concentration models, the algebraic degree of semidefinite programming (SDP), and Schubert calculus for complete quadrics. We prove a conjecture by Sturmfels and Uhler on the polynomiality of the ML-degree. We also prove a conjecture by Nie, Ranestad and Sturmfels providing an explicit formula for the degree of SDP. The interactions between the three fields shed new light on the asymptotic behaviour of enumerative invariants for the variety of complete quadrics. We also extend these results to spaces of general matrices and of skew-symmetric matrices.


title: When ideas go viral -- complex bifurcations in a two-stage transmission model

abstract: We consider the qualitative behavior of a mathematical model for transmission dynamics with two nonlinear stages of contagion. The proposed model is inspired by phenomena occurring in epidemiology (spread of infectious diseases) or social dynamics (spread of opinions, behaviors, ideas), and described by a compartmental approach. Upon contact with a promoter (contagious individual), a naive (susceptible) person can either become promoter himself or become $\textit{weakened}$, hence more vulnerable. Weakened individuals become contagious when they experience a second contact with members of the promoter group. After a certain time in the contagious compartment, individuals become inactive (are insusceptible and cannot spread) and are removed from the chain of transmission. We combine this two-stage contagion process with renewal of the naive population, modeled by means of transitions from the weakened or the inactive status to the susceptible compartment. This leads to rich dynamics, showing for instance coexistence and bistability of equilibria and periodic orbits. Properties of (nontrivial) equilibria are studied analytically. In addition, a numerical investigation of the parameter space reveals numerous bifurcations, showing that the dynamics of such a system can be more complex than those of classical epidemiological ODE models.


title: Classification of $\omega$-categorical monadically stable structures

abstract: A first-order structure $\mathfrak{A}$ is called monadically stable iff every expansion of $\mathfrak{A}$ by unary predicates is stable. In this article we give a classification of the class $\mathcal{M}$ of $\omega$-categorical monadically stable structures in terms of their automorphism groups. We prove in turn that $\mathcal{M}$ is smallest class of structures which contains the one-element pure set, closed under isomorphisms, and closed under taking finitely disjoint unions, infinite copies, and finite index first-order reducts. Using our classification we show that every structure in $\mathcal{M}$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\mathcal{M}$ has finitely many reducts up to interdefinability, thereby confirming Thomas' conjecture for the class $\mathcal{M}$.


title: Variational optimization and data assimilation in chaotic time-delayed systems with automatic-differentiated shadowing sensitivity

abstract: In this computational paper, we perform sensitivity analysis of long-time (or ensemble) averages in the chaotic regime using the shadowing algorithm. We introduce automatic differentiation to eliminate the tangent/adjoint equation solvers used in the shadowing algorithm. In a gradient-based optimization, we use the computed shadowing sensitivity to minimize different long-time averaged functionals of a chaotic time-delayed system by optimal parameter selection. In combined state and parameter estimation for data assimilation, we use the computed sensitivity to predict the optimal trajectory given information from a model and data from measurements beyond the predictability time. The algorithms are applied to a thermoacoustic model. Because the computational framework is rather general, the techniques presented in this paper may be used for sensitivity analysis of ensemble averages, parameter optimization and data assimilation of other chaotic problems, where shadowing methods are applicable.


title: A limit theorem for torus translation

abstract: In this article, we prove a limit theorem for an observable on the torus with a singularity of type $x^{-a}$, where $0<a<1$.


title: Walking Droplets Through the Lens of Dynamical Systems

abstract: Over the past decade the study of fluidic droplets bouncing and skipping (or ``walking'') on a vibrating fluid bath has gone from an interesting experiment to a vibrant research field. The field exhibits challenging fluids problems, potential connections with quantum mechanics, and complex nonlinear dynamics. We detail advancements in the field of walking droplets through the lens of Dynamical Systems Theory, and outline questions that can be answered using dynamical systems analysis. The article begins by discussing the history of the fluidic experiments and their resemblance to quantum experiments. With this physics backdrop, we paint a portrait of the complex nonlinear dynamics present in physical models of various walking droplet systems. Naturally, these investigations lead to even more questions, and some unsolved problems that are bound to benefit from rigorous Dynamical Systems Analysis are outlined.


title: Linear Separation via Optimism

abstract: Binary linear classification has been explored since the very early days of the machine learning literature. Perhaps the most classical algorithm is the Perceptron, where a weight vector used to classify examples is maintained, and additive updates are made as incorrect examples are discovered. The Perceptron has been thoroughly studied and several versions have been proposed over many decades. The key theoretical fact about the Perceptron is that, so long as a perfect linear classifier exists with some margin $\gamma > 0$, the number of required updates to find such a perfect linear separator is bounded by $\frac{1}{\gamma^2}$. What has never been fully addressed is: does there exist an algorithm that can achieve this with fewer updates? In this paper we answer this in the affirmative: we propose the Optimistic Perceptron algorithm, a simple procedure that finds a separating hyperplane in no more than $\frac{1}{\gamma}$ updates. We also show experimentally that this procedure can significantly outperform Perceptron.


title: The bright end of the infrared luminosity functions and the abundance of hyperluminous infrared galaxies

abstract: We provide the most accurate estimate yet of the bright end of the infrared (IR) luminosity functions (LFs) and the abundance of hyperluminous IR galaxies (HLIRGs) with IR luminosities > 10^13 L_solar, thanks to the combination of the high sensitivity, angular resolution, and large area of the LOFAR Deep Fields, which probes an unprecedented dynamic range of luminosity and volume. We cross-match Herschel sources and LOFAR sources in Bootes (8.63 deg^2), Lockman Hole (10.28 deg^2), and ELAIS-N1 (6.74 deg^2) with rms sensitivities of around 32, 22, and 20 mJy per beam, respectively. We divide the matched samples into unique and multiple categories. For the multiple matches, we de-blend the Herschel fluxes using the LOFAR positions and the 150-MHz flux densities as priors. We perform spectral energy distribution (SED) fitting, combined with multi-wavelength counterpart identifications and photometric redshift estimates, to derive IR luminosities. The depth of the LOFAR data allows us to identify highly complete (around 92% completeness) samples of bright Herschel sources with a simple selection based on the 250 micron flux density (45, 40, and 35 mJy in Bootes, Lockman Hole, and ELAIS-N1, respectively). Most of the bright Herschel sources fall into the unique category (i.e. a single LOFAR counterpart). For the multiple matches, there is excellent correspondence between the radio emission and the far-IR emission. We find a good agreement in the IR LFs with a previous study out to z around 6 which used de-blended Herschel data. Our sample gives the strongest and cleanest indication to date that the population of HLIRGs has surface densities of around 5 to 18 / deg^2 (with variations due to a combination of the applied flux limit and cosmic variance) and an uncertainty of a factor of 2. In comparison, the GALFORM semi-analytic model significantly under-predicts the abundance of HLIRGs.


title: Flexible Bivariate INGARCH Process With a Broad Range of Contemporaneous Correlation

abstract: We propose a novel flexible bivariate conditional Poisson (BCP) INteger-valued Generalized AutoRegressive Conditional Heteroscedastic (INGARCH) model for correlated count time series data. Our proposed BCP-INGARCH model is mathematically tractable and has as the main advantage over existing bivariate INGARCH models its ability to capture a broad range (both negative and positive) of contemporaneous cross-correlation which is a non-trivial advancement. Properties of stationarity and ergodicity for the BCP-INGARCH process are developed. Estimation of the parameters is performed through conditional maximum likelihood (CML) and finite sample behavior of the estimators are investigated through simulation studies. Asymptotic properties of the CML estimators are derived. Additional simulation studies compare and contrast methods of obtaining standard errors of the parameter estimates, where a bootstrap option is demonstrated to be advantageous. Hypothesis testing methods for the presence of contemporaneous correlation between the time series are presented and evaluated. We apply our methodology to monthly counts of hepatitis cases at two nearby Brazilian cities, which are highly cross-correlated. The data analysis demonstrates the importance of considering a bivariate model allowing for a wide range of contemporaneous correlation in real-life applications.


title: Tensor-Decomposition-based Hybrid Beamforming Design for mmWave OFDM Massive MIMO Communications

abstract: In this paper, we propose a novel joint hybrid precoder and combiner design for maximizing the average achievable sum-rate of single-user orthogonal frequency division multiplexing millimeter wave massive MIMO systems. We formulate the analog precoder and combiner design as a constrained Tucker2 decomposition and solve it by using the projected alternate least square method. Such a formulation allows maximizing the sum of the effective baseband gains over all subcarriers, while suppressing the interference among the data streams in the same subcarrier. In turn, the digital precoder and combiner are obtained from the effective baseband channel's singular value decomposition on a per-subcarrier basis. Numerical simulation results show that the proposed method outperforms other existing designs.


title: Imaging Using Millimeter Wave Communication Networks: A Bonus SAR

abstract: In the next generations of cellular communication networks, higher density of base stations and higher frequency bands will be adopted. If being reflected by targets, the communication signal also brings information of the targets, in addition to the communication messages, to the receivers. In this paper, it is proposed to leverage the reflected communication signals to reconstruct an image of the environment. Due to the analogy to traditional synthetic aperture radar (SAR) and inverse SAR (ISAR), the principles of SAR and ISAR, namely the tomography via Fourier transformation, are adopted with necessary improvements. The algorithms are further refined to estimate the 3-dimensional silhouette of the environment. Numerical simulations are carried out to demonstrate the proposed algorithms.


title: Phase-field modeling of multivariant martensitic transformation at finite-strain: computational aspects and large-scale finite-element simulations

abstract: Large-scale 3D martensitic microstructure evolution problems are studied using a finite-element discretization of a finite-strain phase-field model. The model admits an arbitrary crystallography of transformation and arbitrary elastic anisotropy of the phases, and incorporates Hencky-type elasticity, a penalty-regularized double-obstacle potential, and viscous dissipation. The finite-element discretization of the model is performed in Firedrake and relies on the PETSc solver library. The large systems of linear equations arising are efficiently solved using GMRES and a geometric multigrid preconditioner with a carefully chosen relaxation. The modeling capabilities are illustrated through a 3D simulation of the microstructure evolution in a pseudoelastic CuAlNi single crystal during nano-indentation, with all six orthorhombic martensite variants taken into account. Robustness and a good parallel scaling performance have been demonstrated, with the problem size reaching 150 million degrees of freedom.


title: Taming and Leveraging Interference in Mobile Radar Networks

abstract: Mobile radar networks, such as autonomous driving systems, are subject to the severe challenge of mutual interference. Despite the inborn interference-proof capability in frequency modulation continuous waveform (FMCW) radar, interference management is necessary for dense radar networks. The approaches combatting the radar interference include the timing diversity of waveform parameters, data-driven detection interference, and signal processing based decoupling of interference. Moreover, the leverage of radar interference for inferring the information of interfere is studied. Simulations are carried out in the scenario of radar interferences in vehicular networks, which demonstrates the performance of the proposed algorithms.


title: A novel equi-dimensional finite element method for flow and transport in fractured porous media satisfying discrete maximum principle and conservation properties

abstract: Numerical simulations of flow and transport in porous media usually rely on hybrid-dimensional models, i.e., the fracture is considered as objects of a lower dimension compared to the embedding matrix. Such models are usually combined with non-conforming discretizations as they avoid the inherent difficulties associated with the generation of meshes that explicitly resolve fractures-matrix interfaces. However, non-conforming discretizations demand a more complicated coupling of different sub-models and may require special care to ensure conservative fluxes. We propose a novel approach for the simulation of flow and transport problems in fractured porous media based on an equi-dimensional representation of the fractures. The major challenge for these types of representation is the creation of meshes which resolve the several complex interfaces between the fractures and the embedding matrix. To overcome this difficulty, we employ a strategy based on adaptive mesh refinement (AMR). The idea at the base of the proposed AMR is to start from an initially uniform coarse mesh and refine the elements which have non-empty overlaps with at least one of the fractures. Iterating this process allows to create non-uniform non-conforming meshes, which do not resolve the interfaces but can approximate them with arbitrary accuracy. We demonstrate that low-order finite element (FE) discretizations on adapted meshes are globally and locally conservative and we suitably adapt an algebraic flux correction technique to ensure the discrete maximum principle. In particular, we show that the notorious conditions on M-matrices have to be adapted to the basis functions defined on non-conforming meshes. Although the proposed applications come from geophysical applications, the obtained results could be applied to any diffusion and transport problems, on both conforming and non-conforming meshes.


title: Recurrence in Dense-time AMS Assertions

abstract: The notion of recurrence over continuous or dense time, as required for expressing Analog and Mixed-Signal (AMS) behaviours, is fundamentally different from what is offered by the recurrence operators of SystemVerilog Assertions (SVA). This article introduces the formal semantics of recurrence over dense time and provides a methodology for the runtime verification of such properties using interval arithmetic. Our property language extends SVA with dense real-time intervals and predicates containing real-valued signals. We provide a tool kit which interfaces with off-the-shelf EDA tools through standard VPI.


title: Ultrasparse Ultrasparsifiers and Faster Laplacian System Solvers

abstract: In this paper we provide an $O(m (\log \log n)^{O(1)} \log(1/\epsilon))$-expected time algorithm for solving Laplacian systems on $n$-node $m$-edge graphs, improving improving upon the previous best expected runtime of $O(m \sqrt{\log n} (\log \log n)^{O(1)} \log(1/\epsilon))$ achieved by (Cohen, Kyng, Miller, Pachocki, Peng, Rao, Xu 2014). To obtain this result we provide efficient constructions of $\ell_p$-stretch graph approximations with improved stretch and sparsity bounds. Additionally, as motivation for this work, we show that for every set of vectors in $\mathbb{R}^d$ (not just those induced by graphs) and all $k > 1$ there exist ultrasparsifiers with $d-1 + O(d/\sqrt{k})$ re-weighted vectors of relative condition number at most $k$. For small $k$, this improves upon the previous best known relative condition number of $\tilde{O}(\sqrt{k \log d})$, which is only known for the graph case.


title: Reconstructing orbit closures from their boundaries

abstract: We introduce and study diamonds of GL(2,R)-invariant subvarieties of Abelian and quadratic differentials, which allow us to recover information on an invariant subvariety by simultaneously considering two degenerations, and which provide a new tool for the classification of invariant subvarieties. We classify a surprisingly rich collection of diamonds where the two degenerations are contained in trivial invariant subvarieties. Our main results have been applied to classify large collections of invariant subvarieties; the statement of those results do not involve diamonds, but their proofs rely on them.


title: Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

abstract: We provide a calculus of mates for functors to the $\infty$-category of $\infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do not necessarily preserve (co)cartesian edges. As a sample application we obtain an equivalence between lax symmetric monoidal structures on right adjoint functors and oplax symmetric monoidal structures on the left adjoint functors between symmetric monoidal $\infty$-categories that is compatible with both horizontal and vertical composition of such structures. As the technical heart of the paper we study various new types of fibrations over a product of two $\infty$-categories. In particular, we show how they can be dualised over one of the two factors and how they encode functors out of the Gray tensor product of $(\infty, 2)$-categories.


title: Facial Expressions as a Vulnerability in Face Recognition

abstract: This work explores facial expression bias as a security vulnerability of face recognition systems. Despite the great performance achieved by state-of-the-art face recognition systems, the algorithms are still sensitive to a large range of covariates. We present a comprehensive analysis of how facial expression bias impacts the performance of face recognition technologies. Our study analyzes: i) facial expression biases in the most popular face recognition databases; and ii) the impact of facial expression in face recognition performances. Our experimental framework includes two face detectors, three face recognition models, and three different databases. Our results demonstrate a huge facial expression bias in the most widely used databases, as well as a related impact of face expression in the performance of state-of-the-art algorithms. This work opens the door to new research lines focused on mitigating the observed vulnerability.


title: Data Driven Reaction Mechanism Estimation via Transient Kinetics and Machine Learning

abstract: Understanding the set of elementary steps and kinetics in each reaction is extremely valuable to make informed decisions about creating the next generation of catalytic materials. With physical and mechanistic complexity of industrial catalysts, it is critical to obtain kinetic information through experimental methods. As such, this work details a methodology based on the combination of transient rate/concentration dependencies and machine learning to measure the number of active sites, the individual rate constants, and gain insight into the mechanism under a complex set of elementary steps. This new methodology was applied to simulated transient responses to verify its ability to obtain correct estimates of the micro-kinetic coefficients. Furthermore, experimental CO oxidation data was analyzed to reveal the Langmuir-Hinshelwood mechanism driving the reaction. As oxygen accumulated on the catalyst, a transition in the mechanism was clearly defined in the machine learning analysis due to the large amount of kinetic information available from transient reaction techniques. This methodology is proposed as a new data driven approach to characterize how materials control complex reaction mechanisms relying exclusively on experimental data.


title: Circus ANYmal: A Quadruped Learning Dexterous Manipulation with Its Limbs

abstract: Quadrupedal robots are skillful at locomotion tasks while lacking manipulation skills, not to mention dexterous manipulation abilities. Inspired by the animal behavior and the duality between multi-legged locomotion and multi-fingered manipulation, we showcase a circus ball challenge on a quadrupedal robot, ANYmal. We employ a model-free reinforcement learning approach to train a deep policy that enables the robot to balance and manipulate a light-weight ball robustly using its limbs without any contact measurement sensor. The policy is trained in the simulation, in which we randomize many physical properties with additive noise and inject random disturbance force during manipulation, and achieves zero-shot deployment on the real robot without any adjustment. In the hardware experiments, dynamic performance is achieved with a maximum rotation speed of 15 deg/s, and robust recovery is showcased under external poking. To our best knowledge, it is the first work that demonstrates the dexterous dynamic manipulation on a real quadrupedal robot.


title: Competing energy scales in topological superconducting heterostructures

abstract: Artificially engineered topological superconductivity has emerged as a viable route to create Majorana modes, exotic quasiparticles which have raised great expectations for storing and manipulating information in topological quantum computational schemes. The essential ingredients for their realization are spin non-degenerate metallic states proximitized to an s-wave superconductor. In this context, proximity-induced superconductivity in materials with a sizable spin-orbit coupling has been heavily investigated in recent years. Although there is convincing evidence that superconductivity may indeed be induced, it has been difficult to elucidate its topological nature. In this work, we systematically engineer an artificial topological superconductor by progressively introducing superconductivity (Nb) into metals with strong spin-orbital coupling (Pt) and 3D topological surface states (Bi2Te3). Through a longitudinal study of the character of superconducting vortices within s-wave superconducting Nb and proximity-coupled Nb/Pt and Nb/Bi2Te3, we detect the emergence of a zero-bias peak that is directly linked to the presence of topological surface states. Supported by a detailed theoretical model, our results are rationalized in terms of competing energy trends which are found to impose an upper limit to the size of the minigap separating Majorana and trivial modes, its size being ultimately linked to fundamental materials properties.


title: A Multi-Task Deep Learning Framework to Localize the Eloquent Cortex in Brain Tumor Patients Using Dynamic Functional Connectivity

abstract: We present a novel deep learning framework that uses dynamic functional connectivity to simultaneously localize the language and motor areas of the eloquent cortex in brain tumor patients. Our method leverages convolutional layers to extract graph-based features from the dynamic connectivity matrices and a long-short term memory (LSTM) attention network to weight the relevant time points during classification. The final stage of our model employs multi-task learning to identify different eloquent subsystems. Our unique training strategy finds a shared representation between the cognitive networks of interest, which enables us to handle missing patient data. We evaluate our method on resting-state fMRI data from 56 brain tumor patients while using task fMRI activations as surrogate ground-truth labels for training and testing. Our model achieves higher localization accuracies than conventional deep learning approaches and can identify bilateral language areas even when trained on left-hemisphere lateralized cases. Hence, our method may ultimately be useful for preoperative mapping in tumor patients.


title: Islands and stretched horizon

abstract: Recently it was proposed that the entanglement entropy of the Hawking radiation contains the information of a region including the interior of the event horizon, which is called "island." In studies of the entanglement entropy of the Hawking radiation, the total system in the black hole geometry is separated into the Hawking radiation and black hole. In this paper, we study the entanglement entropy of the black hole in the asymptotically flat Schwarzschild spacetime. Consistency with the island rule for the Hawking radiation implies that the information of the black hole is located in a different region than the island. We found an instability of the island in the calculation of the entanglement entropy of the region outside a surface near the horizon. This implies that the region contains all information of the total system and the information of the black hole is localized on the surface. Thus the surface would be interpreted as the stretched horizon. This structure also resembles black holes in the AdS spacetime with an auxiliary flat spacetime, where the information of the black hole is localized at the interface between the AdS spacetime and the flat spacetime.


title: Hubble WFC3 Spectroscopy of the Habitable-zone Super-Earth LHS 1140 b

abstract: Atmospheric characterisation of temperate, rocky planets is the holy grail of exoplanet studies. These worlds are at the limits of our capabilities with current instrumentation in transmission spectroscopy and challenge our state-of-the-art statistical techniques. Here we present the transmission spectrum of the temperate Super-Earth LHS 1140b using the Hubble Space Telescope (HST). The Wide Field Camera 3 (WFC3) G141 grism data of this habitable zone (T$_{\rm{eq}}$ = 235 K) Super-Earth (R = 1.7 $R_\oplus$), shows tentative evidence of water. However, the signal-to-noise ratio, and thus the significance of the detection, is low and stellar contamination models can cause modulation over the spectral band probed. We attempt to correct for contamination using these models and find that, while many still lead to evidence for water, some could provide reasonable fits to the data without the need for molecular absorption although most of these cause also features in the visible ground-based data which are nonphysical. Future observations with the James Webb Space Telescope (JWST) would be capable of confirming, or refuting, this atmospheric detection.


title: Answering Regular Path Queries Over SQ Ontologies

abstract: We study query answering in the description logic $\mathcal{SQ}$ supporting qualified number restrictions on both transitive and non-transitive roles. Our main contributions are a tree-like model property for $\mathcal{SQ}$ knowledge bases and, building upon this, an optimal automata-based algorithm for answering positive existential regular path queries in 2ExpTime.


title: Linear Response Theory with finite-range interactions

abstract: This review focuses on the calculation of infinite nuclear matter response functions using phenomenological finite-range interactions, equipped or not with tensor terms. These include Gogny and Nakada families, which are commonly used in the literature. Because of the finite-range, the main technical difficulty stems from the exchange terms of the particle-hole interaction. We first present results based on the so-called Landau and Landau-like approximations of the particle-hole interaction. Then, we review two methods which in principle provide numerically exact response functions. The first one is based on a multipolar expansion of both the particle-hole interaction and the particle-hole propagator and the second one consists in a continued fraction expansion of the response function. The numerical precision can be pushed to any degree of accuracy, but it is actually shown that two or three terms suffice to get converged results. Finally, we apply the formalism to the determination of possible finite-size instabilities induced by a finite-range interaction.


title: Twistronics versus straintronics in twisted bilayers of graphene and transition metal dichalcogenides

abstract: Several numerical studies have shown that the electronic properties of twisted bilayers of graphene (TBLG) and transition metal dichalcogenides (TMDs) are tunable by strain engineering of the stacking layers. In particular, the flatness of the low-energy moir\'e bands of the rigid and the relaxed TBLG was found to be, substantially, sensitive to the strain. However, to the best of our knowledge, there are no full analytical calculations of the effect of strain on such bands. We derive, based on the continuum model of moir\'e flat bands, the low-energy Hamiltonian of twisted homobilayers of graphene and TMDs under strain at small twist angles. We obtain the analytical expressions of the strain-renormalized Dirac velocities and explain the role of strain in the emergence of the flat bands. We discuss how strain could correct the twist angles and bring them closer to the magic angle $\theta_m\sim1.05^{\circ}$ of TBLG and how it may reduce the widths of the lowest-energy bands at charge neutrality of the twisted homobilayer of TMDs. The analytical results are compared with numerical and experimental findings and also with our numerical calculations based on the continuum model.


title: Spatio-Temporal Analysis of Facial Actions using Lifecycle-Aware Capsule Networks

abstract: Most state-of-the-art approaches for Facial Action Unit (AU) detection rely upon evaluating facial expressions from static frames, encoding a snapshot of heightened facial activity. In real-world interactions, however, facial expressions are usually more subtle and evolve in a temporal manner requiring AU detection models to learn spatial as well as temporal information. In this paper, we focus on both spatial and spatio-temporal features encoding the temporal evolution of facial AU activation. For this purpose, we propose the Action Unit Lifecycle-Aware Capsule Network (AULA-Caps) that performs AU detection using both frame and sequence-level features. While at the frame-level the capsule layers of AULA-Caps learn spatial feature primitives to determine AU activations, at the sequence-level, it learns temporal dependencies between contiguous frames by focusing on relevant spatio-temporal segments in the sequence. The learnt feature capsules are routed together such that the model learns to selectively focus more on spatial or spatio-temporal information depending upon the AU lifecycle. The proposed model is evaluated on the commonly used BP4D and GFT benchmark datasets obtaining state-of-the-art results on both the datasets.


title: REALab: An Embedded Perspective on Tampering

abstract: This paper describes REALab, a platform for embedded agency research in reinforcement learning (RL). REALab is designed to model the structure of tampering problems that may arise in real-world deployments of RL. Standard Markov Decision Process (MDP) formulations of RL and simulated environments mirroring the MDP structure assume secure access to feedback (e.g., rewards). This may be unrealistic in settings where agents are embedded and can corrupt the processes producing feedback (e.g., human supervisors, or an implemented reward function). We describe an alternative Corrupt Feedback MDP formulation and the REALab environment platform, which both avoid the secure feedback assumption. We hope the design of REALab provides a useful perspective on tampering problems, and that the platform may serve as a unit test for the presence of tampering incentives in RL agent designs.


title: Geometrical demonstration for persistence properties for a bi-Hamiltonian shallow water system

abstract: We present a geometrical demonstration for persistence properties for a bi-Hamiltonian system modelling waves in a shallow water regime. Both periodic and non-periodic cases are considered and a key ingredient in our approach is one of the Hamiltonians of the system. As a consequence of our developments we improve recent works dealing with unique continuation properties for shallow water equations, as well as we provide a novel way to prove that the unique compactly supported solution of the system is necessarily the zero function.


title: Learning Canonical Transformations

abstract: Humans understand a set of canonical geometric transformations (such as translation and rotation) that support generalization by being untethered to any specific object. We explore inductive biases that help a neural network model learn these transformations in pixel space in a way that can generalize out-of-domain. Specifically, we find that high training set diversity is sufficient for the extrapolation of translation to unseen shapes and scales, and that an iterative training scheme achieves significant extrapolation of rotation in time.


title: Compact mixed-integer programming relaxations in quadratic optimization

abstract: We present a technique for producing valid dual bounds for nonconvex quadratic optimization problems. The approach leverages an elegant piecewise linear approximation for univariate quadratic functions due to Yarotsky, formulating this (simple) approximation using mixed-integer programming (MIP). Notably, the number of constraints, binary variables, and auxiliary continuous variables used in this formulation grows logarithmically in the approximation error. Combining this with a diagonal perturbation technique to convert a nonseparable quadratic function into a separable one, we present a mixed-integer convex quadratic relaxation for nonconvex quadratic optimization problems. We study the strength (or sharpness) of our formulation and the tightness of its approximation. Further, we show that our formulation represents feasible points via a Gray code. We close with computational results on problems with quadratic objectives and/or constraints, showing that our proposed method i) across the board outperforms existing MIP relaxations from the literature, and ii) on hard instances produces better bounds than exact solvers within a fixed time budget.


title: Improving Calibration in Deep Metric Learning With Cross-Example Softmax

abstract: Modern image retrieval systems increasingly rely on the use of deep neural networks to learn embedding spaces in which distance encodes the relevance between a given query and image. In this setting, existing approaches tend to emphasize one of two properties. Triplet-based methods capture top-$k$ relevancy, where all top-$k$ scoring documents are assumed to be relevant to a given query Pairwise contrastive models capture threshold relevancy, where all documents scoring higher than some threshold are assumed to be relevant. In this paper, we propose Cross-Example Softmax which combines the properties of top-$k$ and threshold relevancy. In each iteration, the proposed loss encourages all queries to be closer to their matching images than all queries are to all non-matching images. This leads to a globally more calibrated similarity metric and makes distance more interpretable as an absolute measure of relevance. We further introduce Cross-Example Negative Mining, in which each pair is compared to the hardest negative comparisons across the entire batch. Empirically, we show in a series of experiments on Conceptual Captions and Flickr30k, that the proposed method effectively improves global calibration and also retrieval performance.


title: Size-dependence of hydrophobic hydration at electrified gold/water interfaces

abstract: Hydrophobic hydration at metal/water interfaces actively contributes to the energetics of electrochemical reactions, e.g. CO$_2$ and N$_2$ reduction, where small hydrophobic molecules are involved. In this work, constant applied potential molecular dynamics is employed to study hydrophobic hydration at a gold/water interface. We propose an extension of the Lum-Chandler-Weeks (LCW) theory to describe the free energy of hydrophobic hydration at the interface as a function of solute size and applied voltage. Based on this model we are able to predict the free energy cost of cavity formation at the interface directly from the free energy cost in the bulk plus an interface-dependent correction term. The interfacial water network contributes significantly to the free energy yielding a preference for outer-sphere adsorption at the gold surface for ideal hydrophobes. We predict an accumulation of small hydrophobic solutes of sizes comparable to CO or N$_2$, while the free energy cost to hydrate larger hydrophobes, above 2.5 Angstrom radius, is shown to be greater at the interface than in the bulk. Interestingly, the transition from the volume dominated to the surface dominated regimes predicted by the LCW theory in the bulk is also found to take place for hydrophobes at the Au/water interface, but occurs at smaller cavity radii. By applying the extended LCW theory to a simple model addition reaction, we illustrate some implications of our findings for electrochemical reactions.


title: Deep Active Surface Models

abstract: Active Surface Models have a long history of being useful to model complex 3D surfaces but only Active Contours have been used in conjunction with deep networks, and then only to produce the data term as well as meta-parameter maps controlling them. In this paper, we advocate a much tighter integration. We introduce layers that implement them that can be integrated seamlessly into Graph Convolutional Networks to enforce sophisticated smoothness priors at an acceptable computational cost. We will show that the resulting Deep Active Surface Models outperform equivalent architectures that use traditional regularization loss terms to impose smoothness priors for 3D surface reconstruction from 2D images and for 3D volume segmentation.


title: Avoiding Tampering Incentives in Deep RL via Decoupled Approval

abstract: How can we design agents that pursue a given objective when all feedback mechanisms are influenceable by the agent? Standard RL algorithms assume a secure reward function, and can thus perform poorly in settings where agents can tamper with the reward-generating mechanism. We present a principled solution to the problem of learning from influenceable feedback, which combines approval with a decoupled feedback collection procedure. For a natural class of corruption functions, decoupled approval algorithms have aligned incentives both at convergence and for their local updates. Empirically, they also scale to complex 3D environments where tampering is possible.


title: Uncertainty estimation for molecular dynamics and sampling

abstract: Machine learning models have emerged as a very effective strategy to sidestep time-consuming electronic-structure calculations, enabling accurate simulations of greater size, time scale and complexity. Given the interpolative nature of these models, the reliability of predictions depends on the position in phase space, and it is crucial to obtain an estimate of the error that derives from the finite number of reference structures included during the training of the model. When using a machine-learning potential to sample a finite-temperature ensemble, the uncertainty on individual configurations translates into an error on thermodynamic averages, and provides an indication for the loss of accuracy when the simulation enters a previously unexplored region. Here we discuss how uncertainty quantification can be used, together with a baseline energy model, or a more robust although less accurate interatomic potential, to obtain more resilient simulations and to support active-learning strategies. Furthermore, we introduce an on-the-fly reweighing scheme that makes it possible to estimate the uncertainty in the thermodynamic averages extracted from long trajectories. We present examples covering different types of structural and thermodynamic properties, and systems as diverse as water and liquid gallium.