title: A Machine Learning Approach to Integral Field Unit Spectroscopy Observations: III. Disentangling Multiple Components in Hii regions

abstract: In the first two papers of this series (Rhea et al. 2020; Rhea et al. 2021), we demonstrated the dynamism of machine learning applied to optical spectral analysis by using neural networks to extract kinematic parameters and emission-line ratios directly from the spectra observed by the SITELLE instrument located at the Canada-France-Hawai'i Telescope. In this third installment, we develop a framework using a convolutional neural network trained on synthetic spectra to determine the number of line-of-sight components present in the SN3 filter (656--683nm) spectral range of SITELLE. We compare this methodology to standard practice using Bayesian Inference. Our results demonstrate that a neural network approach returns more accurate results and uses less computational resources over a range of spectral resolutions. Furthermore, we apply the network to SITELLE observations of the merging galaxy system NGC2207/IC2163. We find that the closest interacting sector and the central regions of the galaxies are best characterized by two line-of-sight components while the outskirts and spiral arms are well-constrained by a single component. Determining the number of resolvable components is crucial in disentangling different galactic components in merging systems and properly extracting their respective kinematics.


title: Leveraging Low-Distortion Target Estimates for Improved Speech Enhancement

abstract: A promising approach for multi-microphone speech separation involves two deep neural networks (DNN), where the predicted target speech from the first DNN is used to compute signal statistics for time-invariant minimum variance distortionless response (MVDR) beamforming, and the MVDR result is then used as extra features for the second DNN to predict target speech. Previous studies suggested that the MVDR result can provide complementary information for the second DNN to better predict target speech. However, on fixed-geometry arrays, both DNNs can take in, for example, the real and imaginary (RI) components of the multi-channel mixture as features to leverage the spatial and spectral information for enhancement. It is not explained clearly why the linear MVDR result can be complementary and why it is still needed, considering that the DNNs and the beamformer use the same input, and the DNNs perform non-linear filtering and could render the linear filtering of MVDR unnecessary. Similarly, in monaural cases, one can replace the MVDR beamformer with a monaural weighted prediction error (WPE) filter. Although the linear WPE filter and the DNNs use the same mixture RI components as input, the WPE result is found to significantly improve the second DNN. This study provides a novel explanation from the perspective of the low-distortion nature of such algorithms, and finds that they can consistently improve phase estimation. Equipped with this understanding, we investigate several low-distortion target estimation algorithms including several beamformers, WPE, forward convolutive prediction, and their combinations, and use their results as extra features to train the second network to achieve better enhancement. Evaluation results on single- and multi-microphone speech dereverberation and enhancement tasks indicate the effectiveness of the proposed approach, and the validity of the proposed view.


title: M2-branes on Discs and Multi-Charged Spindles

abstract: We study supersymmetric AdS$_2\times Y_9$ solutions of 11d supergravity where $Y_9$ is an $S^7$ fibration over a Riemann surface equipped with a metric of non-constant curvature. We consider two classes of Riemann surface: the first is a spindle and the second is a topological disc. These solutions are interpreted as the near-horizon limit of M2 branes wrapped on the Riemann surface and describe the near-horizon of a 4d black hole. In the case of the topological disc there are additional flavour M2 branes smeared on a five-sphere embedded in the transverse $S^7$. We perform a full global analysis of both classes of solutions, both from a 4d and an 11d viewpoint. Finally we compute the two-dimensional Newton's constant from which we obtain a prediction for the entropy of the black hole.


title: Relativistic and magnetic Breit effects for the isomerization of Sg(CO)6 and Sg(OC)6

abstract: Abstract Our ab initio all-electron relativistic Dirac-Fock (DF) calculations for seaborgium hexacarbonyl Sg(CO)6 and seaborgium hexaisocarbonyl Sg(OC)6 predict atomization energies of 68.80 and 64.30 eV. Our Dirac-Fock-Breit-Gaunt (DFBG) calculations for Sg(CO)6 and Sg(OC)6 yield atomization energies of 69.18 and 64.77 eV. However, our calculated non-relativistic (NR) Ae for Sg (CO)6 and Sg(OC)6 are 68.46 and 62.62 eV. The calculated isomerization energies at the DFBG, DF, and NR levels are 4.41,4.50 and 5.83 eV. The contribution of relativity to the Eiso is - ~1.33 eV. The optimized bond distances Sg-C and C-O for octahedral Sg(CO)6 using our DF (NR) calculations are 2.151 ( 2.318 and 1.119 ( 1.114 (ang}). The optimized six Sg-O and C-O bond distances for octahedral Sg(OC)6 at the DF level are equal to 4.897 and 1.108 {ang}. However, the optimized four Sg-O bond distances for the octahedral Sg(OC)6 at the NR level are 5.160 {ang} each, and two Sg-O bonds of 2.721 {ang} each, but all six C-O bonds are 1.108{ang} each. The energies at the DF level of theory for the reaction Sg+6CO to yield Sg (CO)6 and Sg(OC)6 are calculated as -7.30 and -2.80 eV. Moreover, the energies of the reaction at the DFBG level to yield Sg(CO)6 and Sg(OC)6 are very close to those predicted at the DF level of theory of -7.17 and -2.76 eV. However, the NR energies of the above-mentioned reaction are -6.99 and -1.15 eV. The mean bond energies predicted for Sg(CO)6 with our DF, DFBG, and NR calculations are 117.40 , 115.31, and 112.41 kJ/mol, whereas the mean bond energies calculated for the isomer Sg(OC)6 at DF, DFBG and NR levels are 45.03 ,44.39 and 18.49 kJ/mole. The predicted existence of both the isomers with Eiso of ~ 4.50 and ~ 5.80 eV, may cause problems for experimental identification of seaborgium hexacarbonyl.


title: Effects of nonmagnetic impurities and subgap states on the kinetic inductance, complex conductivity, quality factor and depairing current density

abstract: We investigate how a combination of a nonmagnetic-impurity scattering rate $\gamma$ and finite subgap states parametrized by Dynes $\Gamma$ affects various physical quantities relevant to to superconducting devices: kinetic inductance $L_k$, complex conductivity $\sigma$, surface resistance $R_s$, quality factor $Q$, and depairing current density $J_d$. All the calculations are based on the Eilenberger formalism of the BCS theory. We assume the device materials are extreme type-II $s$-wave superconductors. It is well known that the optimum impurity concentration ($\gamma/\Delta_0 \sim 1$) minimizes $R_s$. Here, $\Delta_0$ is the pair potential for the idealized ($\Gamma\to 0$) superconductor for the temperature $T\to 0$. We find the optimum $\Gamma$ can also reduce $R_s$ by one order of magnitude for a clean superconductor ($\gamma/\Delta_0 < 1$) and a few tens $\%$ for a dirty superconductor ($\gamma/\Delta_0 > 1$). Also, we find a nearly-ideal ($\Gamma/\Delta_0 \ll 1$) clean-limit superconductor exhibits a frequency-independent $R_s$ for a broad range of frequency $\omega$, which can significantly improve $Q$ of a very compact cavity with a few tens of GHz frequency. As $\Gamma$ or $\gamma$ increases, the plateau disappears, and $R_s$ obeys the $\omega^2$ dependence. The subgap-state-induced residual surface resistance $R_{\rm res}$ is also studied, which can be detected by an SRF-grade high-$Q$ 3D resonator. We calculate $L_k(\gamma, \Gamma,T)$ and $J_d(\gamma, \Gamma,T)$, which are monotonic increasing and decreasing functions of $(\gamma, \Gamma,T)$, respectively. Measurements of $(\gamma, \Gamma)$ of device materials can give helpful information on engineering $(\gamma, \Gamma)$ via materials processing, by which it would be possible to improve $Q$, engineer $L_k$, and ameliorate $J_d$.


title: High-resolution real-space evaluation of the self-energy operator of disordered lattices: Gade singularity, spin-orbit effects and p-wave superconductivity

abstract: Disorder is a key factor influencing the behavior of condensed states of matter, however the true extent of its impact is generally difficult to determine due to the prominent roles played by quantum interference, entanglement between spin and orbital degrees of freedom and proximity to quantum critical points. Here we show that the one-particle disorder self-energy -- a direct probe of the renormalization of low-energy excitations due to defects and impurities distributed randomly in a crystal -- can be obtained by means of unbiased spectral expansions of lattice Green's functions in a computationally expedient manner. Our scheme provides a powerful framework to map out the frequency and wavevector dependence of electronic excitations in unprecedented large tight-binding systems, up to $10^9$ orbitals, with energy resolution only limited by the mean level spacing. We demonstrate the versatility of our approach in 3 distinct problems: (i) the Gade singularity in honeycomb layers with dilute topological defects; (ii) the rich landscape of impurity resonances in a spin-orbit-coupled ferromagnet; and (iii) the tailoring of emergent s-wave and p-wave superconducting phases in graphene via atomic defects. These examples reveal rich features in the disorder self-energy $\Sigma_{\textrm{dis}}(\mathbf{k},\omega)$ that are absent from the self-consistent T-matrix approach and other common approximation schemes, which include regimes of nontrivial wavevector dependence and anomalous dependence upon the impurity concentration. Our study unravels puzzling, and so far largely inaccessible, manifestations of strong nonperturbative quantum interference effects in quantum materials and disordered phases of matter.


title: Experimental device-independent quantum key distribution between distant users

abstract: Device-independent quantum key distribution (DIQKD) is the art of using untrusted devices to establish secret keys over an untrusted channel. So far, the real-world implementation of DIQKD remains a major challenge, as it requires the demonstration of a loophole-free Bell test across two remote locations with very high quality entanglement to ensure secure key exchange. Here, we demonstrate for the first time the distribution of a secure key -- based on asymptotic security estimates -- in a fully device-independent way between two users separated by 400 metres. The experiment is based on heralded entanglement between two independently trapped single Rubidium 87 atoms. The implementation of a robust DIQKD protocol indicates an expected secret key rate of r=0.07 per entanglement generation event and r>0 with a probability error of 3%. Furthermore, we analyse the experiment's capability to distribute a secret key with finite-size security against collective attacks.


title: A clock stabilization system for CHIME/FRB Outriggers

abstract: The Canadian Hydrogen Intensity Mapping Experiment (CHIME) has emerged as the prime telescope for detecting fast radio bursts (FRBs). CHIME/FRB Outriggers will be a dedicated very-long-baseline interferometry (VLBI) instrument consisting of outrigger telescopes at continental baselines working with CHIME and its specialized real-time transient-search backend (CHIME/FRB) to detect and localize FRBs with 50 mas precision. In this paper we present a minimally invasive clock stabilization system that effectively transfers the CHIME digital backend reference clock from its original GPS-disciplined ovenized crystal oscillator to a passive hydrogen maser. This enables us to combine the long-term stability and absolute time tagging of the GPS clock with the short and intermediate-term stability of the maser to reduce the clock timing errors between VLBI calibration observations. We validate the system with VLBI-style observations of Cygnus A over a 400 m baseline between CHIME and the CHIME Pathfinder, demonstrating agreement between sky-based and maser-based timing measurements at the 30 ps rms level on timescales ranging from one minute to up to nine days, and meeting the stability requirements for CHIME/FRB Outriggers. In addition, we present an alternate reference clock solution for outrigger stations which lack the infrastructure to support a passive hydrogen maser.


title: Reconstruction for Powerful Graph Representations

abstract: Graph neural networks (GNNs) have limited expressive power, failing to represent many graph classes correctly. While more expressive graph representation learning (GRL) alternatives can distinguish some of these classes, they are significantly harder to implement, may not scale well, and have not been shown to outperform well-tuned GNNs in real-world tasks. Thus, devising simple, scalable, and expressive GRL architectures that also achieve real-world improvements remains an open challenge. In this work, we show the extent to which graph reconstruction -- reconstructing a graph from its subgraphs -- can mitigate the theoretical and practical problems currently faced by GRL architectures. First, we leverage graph reconstruction to build two new classes of expressive graph representations. Secondly, we show how graph reconstruction boosts the expressive power of any GNN architecture while being a (provably) powerful inductive bias for invariances to vertex removals. Empirically, we show how reconstruction can boost GNN's expressive power -- while maintaining its invariance to permutations of the vertices -- by solving seven graph property tasks not solvable by the original GNN. Further, we demonstrate how it boosts state-of-the-art GNN's performance across nine real-world benchmark datasets.


title: SMATE: Semi-Supervised Spatio-Temporal Representation Learning on Multivariate Time Series

abstract: Learning from Multivariate Time Series (MTS) has attracted widespread attention in recent years. In particular, label shortage is a real challenge for the classification task on MTS, considering its complex dimensional and sequential data structure. Unlike self-training and positive unlabeled learning that rely on distance-based classifiers, in this paper, we propose SMATE, a novel semi-supervised model for learning the interpretable Spatio-Temporal representation from weakly labeled MTS. We validate empirically the learned representation on 30 public datasets from the UEA MTS archive. We compare it with 13 state-of-the-art baseline methods for fully supervised tasks and four baselines for semi-supervised tasks. The results show the reliability and efficiency of our proposed method.


title: The Need for a Fine-grained approach in Just-in-Time Defect Prediction

abstract: With software system complexity leading to the rise of software defects, research efforts have been done on techniques towards predicting software defects and Just-in-time (JIT) defect prediction which predicts whether a code change is defective. While using features to determine potentially defective code change, inspection effort is still significant. As code change can impact several files, we investigate an open source project to identify potential gaps with features in JIT perspective. In addition, with a lack of publicly available JIT dataset that link the features with actual commits, we also present a new dataset that can be utilized in JIT and semantic analysis.


title: Sliced, not Splitted: a Better Alternative to Many-Worlds?

abstract: The many-worlds interpretation (MWI) of quantum mechanics is currently experiencing a popular resurgence, propelled by such prominent and articulate physicists as Sean Carroll, David Deutsch, Max Tegmark, and Lev Vaidman. The consequences of MWI are mind-boggling: the spacetime universe of our experience is only one branch of an unimaginably fast-multiplying plethora of alternative universes held incommunicado. In this paper, we propose that the mass of Medusa's hair served up by MWI is due to a failure to embed the spacetime universe in the right space: spacetime is a slice of bread, not a splitting strand of pasta. By way of motivation, we first give a very simple presentation of Bell's inequality by comparing it to a ``quantum game show'', followed by a simple description of Aspect's 1985 experiment involving entangled photons which confirms the inequality. We interpret the paradoxical correlation between measurements as resulting from a process outside of spacetime that produces both the original entanglement and the measurements. This is followed by a brief presentation of MWI, and then by a pictorial comparison of the proposed process model and MWI. The final section lists a number of potential consequences of the model related to causality, determinism, free will, and consciousness, and points to further references that give a more in-depth and rigorous presentation of the process dimension model. The entire article is non-technical and requires no mathematical background other than high school mathematics and an understanding of basic concepts in probability. The physics involved in Aspect's experiment is also explained.


title: Classification of Time-Series Data Using Boosted Decision Trees

abstract: Time-series data classification is central to the analysis and control of autonomous systems, such as robots and self-driving cars. Temporal logic-based learning algorithms have been proposed recently as classifiers of such data. However, current frameworks are either inaccurate for real-world applications, such as autonomous driving, or they generate long and complicated formulae that lack interpretability. To address these limitations, we introduce a novel learning method, called Boosted Concise Decision Trees (BCDTs), to generate binary classifiers that are represented as Signal Temporal Logic (STL) formulae. Our algorithm leverages an ensemble of Concise Decision Trees (CDTs) to improve the classification performance, where each CDT is a decision tree that is empowered by a set of techniques to generate simpler formulae and improve interpretability. The effectiveness and classification performance of our algorithm are evaluated on naval surveillance and urban-driving case studies.


title: The Forest Behind the Tree: Heterogeneity in How US Governor's Party Affects Black Workers

abstract: Income inequality is a distributional phenomenon. This paper examines the impact of U.S governor's party allegiance (Republican vs Democrat) on ethnic wage gap. A descriptive analysis of the distribution of yearly earnings of Whites and Blacks reveals a divergence in their respective shapes over time suggesting that aggregate analysis may mask important heterogeneous effects. This motivates a granular estimation of the comparative causal effect of governors' party affiliation on labor market outcomes. We use a regression discontinuity design (RDD) based on marginal electoral victories and samples of quantiles groups by wage and hours worked. Overall, the distributional causal estimations show that the vast majority of subgroups of black workers earnings are not affected by democrat governors' policies, suggesting the possible existence of structural factors in the labor markets that contribute to create and keep a wage trap and/or hour worked trap for most of the subgroups of black workers. Democrat governors increase the number of hours worked of black workers at the highest quartiles of earnings. A bivariate quantiles groups analysis shows that democrats decrease the total hours worked for black workers who have the largest number of hours worked and earn the least. Black workers earning more and working fewer hours than half of the sample see their number of hours worked increase under a democrat governor.


title: Wideband Signal Localization with Spectral Segmentation

abstract: Signal localization is a spectrum sensing problem that jointly detects the presence of a signal and estimates a center frequency and bandwidth. This is a step beyond most spectrum sensing work which estimates "present" or "not present" detections for either a single channel or fixed sized channels. We define the signal localization task, present the metrics of precision and recall, and establish baselines for traditional energy detection on this task. We introduce a new dataset that is useful for training neural networks to perform this task and show a training framework to train signal detectors to achieve the task and present precision and recall curves over SNR. This neural network based approach shows an 8 dB improvement in recall over the traditional energy detection approach with minor improvements in precision.


title: Introducing the THESAN project: radiation-magnetohydrodynamic simulations of the epoch of reionization

abstract: We introduce the THESAN project, a suite of large volume (L = 95.5 cMpc) radiation-magnetohydrodynamic simulations that simultaneously model the large-scale statistical properties of the IGM during reionization and the resolved characteristics of the galaxies responsible for it. The flagship simulation has dark matter (DM) and baryonic mass resolutions of $3.1 \times 10^6$ $M_\odot$ and $5.8 \times 10^5 $ $M_\odot$, respectively. The gravitational forces are softened on scales of 2.2 ckpc with the smallest cell sizes reaching 10 pc at z=5.5, enabling predictions down to the atomic cooling limit. The simulations use an efficient radiation hydrodynamics solver (AREPO-RT) that precisely captures the interaction between ionizing photons and gas, coupled to well-tested galaxy formation (IllustrisTNG) and dust models to accurately predict the properties of galaxies. Through a complementary set of medium resolution simulations we investigate the changes to reionization introduced by different assumptions for ionizing escape fractions, varying DM models, and numerical convergence. The simulations produce realistic reionization histories that match the observed evolution of the global neutral hydrogen fraction and electron scattering optical depth to reionization. They also match a wealth of high-redshift observationally inferred data, including the stellar-to-halo-mass relation, stellar mass function, star formation rate density, and the mass-metallicity relation, despite the galaxy formation model being mainly calibrated at z=0. We demonstrate that different reionization models give rise to varied bubble size distributions that imprint unique signatures on the 21cm emission, especially on the slope of the power spectrum at large spatial scales, enabling current and upcoming 21cm experiments to accurately characterise the sources that dominate the ionizing photon budget. [abridged]


title: An absolutely stable open time crystal

abstract: We show that locally-interacting, periodically-driven (Floquet) Hamiltonian dynamics coupled to a Langevin bath support finite-temperature discrete time crystals with an infinite auto-correlation time. The time crystalline order is stable to arbitrary perturbations, including those that break the time translation symmetry of the underlying drive. Our approach utilizes a general mapping from probabilistic cellular automata (PCA) to open classical Floquet systems. Applying this mapping to a variant of the Toom cellular automata, which we dub the ``$\pi$-Toom PCA'', leads to a 2D Floquet Hamiltonian with a finite-temperature period-doubling phase transition. We provide numerical evidence for the existence of this transition, and analyze the statistics of the finite temperature fluctuations. Finally, we discuss how general results from the field of probabilistic cellular automata imply the existence of discrete time crystals in all dimensions, $D \geq 1$.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech nlin.CG physics.class-ph


title: The MAVERIC Survey: Variable Jet-Accretion Coupling in Luminous Accreting Neutron Stars in Galactic Globular Clusters

abstract: Accreting neutron stars in low-mass X-ray binaries show outflows -- and sometimes jets -- in the general manner of accreting black holes. However, the quantitative link between the accretion flow (traced by X-rays) and outflows and/or jets (traced by radio emission) is much less well-understood for neutron stars than for black holes, other than the general observation that neutron stars are fainter in the radio at a given X-ray luminosity. We use data from the deep MAVERIC radio continuum survey of Galactic globular clusters for a systematic radio and X-ray study of six luminous (L_X > 10^34 erg/s) persistent neutron star X-ray binaries in our survey, as well as two other transient systems also captured by our data. We find that these neutron star X-ray binaries show an even larger range in radio luminosity than previously observed. In particular, in quiescence at L_X ~ 3x10^34 erg/s, the confirmed neutron star binary GRS 1747--312 in Terzan 6 sits near the upper envelope of the black hole radio/X-ray correlation, and the persistently accreting neutron star systems AC 211 (in M15) and X1850--087 (in NGC 6712) show unusual radio variability and luminous radio emission. We interpret AC 211 as an obscured "Z source" that is accreting at close to the Eddington limit, while the properties of X1850--087 are difficult to explain, and motivate future coordinated radio and X-ray observations. Overall, our results show that neutron stars do not follow a single relation between inflow and outflow, and confirm that their accretion dynamics are more complex than for black holes.


title: Sentiment and structure in word co-occurrence networks on Twitter

abstract: We explore the relationship between context and happiness scores in political tweets using word co-occurrence networks, where nodes in the network are the words, and the weight of an edge is the number of tweets in the corpus for which the two connected words co-occur. In particular, we consider tweets with hashtags #imwithher and #crookedhillary, both relating to Hillary Clinton's presidential bid in 2016. We then analyze the network properties in conjunction with the word scores by comparing with null models to separate the effects of the network structure and the score distribution. Neutral words are found to be dominant and most words, regardless of polarity, tend to co-occur with neutral words. We do not observe any score homophily among positive and negative words. However, when we perform network backboning, community detection results in word groupings with meaningful narratives, and the happiness scores of the words in each group correspond to its respective theme. Thus, although we observe no clear relationship between happiness scores and co-occurrence at the node or edge level, a community-centric approach can isolate themes of competing sentiments in a corpus.


title: Spontaneously stabilised dark matter from a fermiophobic $U(1)'$ gauge symmetry

abstract: We consider the possibility that dark matter is stabilised by a discrete $Z_2$ symmetry which arises from a subgroup of a $U(1)'$ gauge symmetry, spontaneously broken by integer charged scalars, and under which the chiral quarks and leptons do not carry any charges. A chiral fermion $\chi$ with half-integer charge is odd under the preserved $Z_2$, and hence becomes a stable dark matter candidate, being produced through couplings to right-handed neutrinos with vector-like $U(1)'$ charges, as in the type Ib seesaw mechanism. We calculate the relic abundance in such a low energy effective seesaw model containing few parameters, then consider a high energy renormalisable model with a complete fourth family of vector-like fermions, where the chiral quark and lepton masses arise from a seesaw-like mechanism. With the inclusion of the fourth family, the lightest vector-like quark can contribute to the dark matter production, enlarging the allowed parameter space that we explore.


title: Survival of planet-induced vortices in 2D disks

abstract: Context: Several observations of protoplanetary disks display non-axisymmetric features, often interpreted as vortices. Numerical modeling has repeatedly shown that gap-opening planets are capable of producing large and long-lasting vortices at their outer gap edge, making massive planets popular candidates as the source of such features. Aims: We explore the lifetime of vortices generated by Jupiter-sized planets as a function of the thermal relaxation timescale, the level of turbulence, and the effect of disk self-gravity. Methods: We conduct 2D numerical simulations using the hydrodynamics codes PLUTO and FARGO, scanning through several physical and numerical parameters. Vortex properties are automatically extracted from thousands of simulation snapshots. Results: We find that vortices that spawn at the outer gap edge can survive for about 100-3000 planetary orbits, with the shortest lifetimes occurring for moderately efficient dissipation and cooling. However, we also observe a different regime of long-lasting vortices with lifetimes of at least 15 000 orbits for very low viscosity and very short thermal relaxation timescales. Disk self-gravity significantly shortens the lifetime of regular vortices but still allows long-lived ones to survive. Conclusions: Our results suggest that the cooling timescale plays an important role in vortex formation and lifetime and that planet-generated vortices should be observable at large distances from the star for typical thermal relaxation timescales and low turbulence levels.


title: Using Binaries in Globular Clusters to Catch Sight of Intermediate-Mass Black Holes

abstract: The dynamical evolution of globular clusters (GCs) is tied to their binary population, as binaries segregate to the cluster centre, leading to an increased binary fraction in the core. This central overabundance of mainly hard binaries can serve as a source of energy for the cluster and has a significant effect on the observed kinematics, such as artificially increasing the observed line-of-sight velocity dispersion. We analyse the binary fractions and distributions of 95 simulated GCs, with and without an intermediate-mass black hole (IMBH) in their centre. We show that an IMBH will not only halt the segregation of binaries towards the cluster centre, but also, directly and indirectly, disrupt the binaries that segregate, thus depleting binaries in the cluster core. We illustrate this by showing that clusters with an IMBH have fewer binaries and flatter radial binary distributions than their counterparts without one. These differences in the binary fraction and distribution provide an additional indicator for the presence of a central IMBH in GCs. In addition, we analyse the effects of the binary fraction on the line-of-sight velocity dispersion in the simulated GCs and find that binaries can cause an overestimation of up to $70\%$ of the velocity dispersion within the core radius. Using recent VLT/MUSE observations of NGC 3201 by Giesers et al. (2019), we find an overestimation of $32.2\pm7.8\%$ in the velocity dispersion that is consistent with the simulations and illustrates the importance of accurately accounting for the binary population when performing kinematic or dynamical analysis.


title: Criticality and Rigidity of Dissipative Discrete Time Crystals in Solids

abstract: We consider a dissipative quantum Ising model periodically driven by a train of $\pi$-pulses and investigate dissipative discrete time crystals (DTCs) in solids. In this model, the interaction between the spins spontaneously breaks the discrete time translation symmetry, giving rise to a dissipative DTC, where two ferromagnetic states are switched alternately by each pulse. We microscopically describe the generic dissipation due to thermal contact to an equilibrium heat bath using the Bloch-Redfield equation. In contrast to other DTC studies, this dissipation stabilizes, rather than destroys, the DTC order without fine-tuning as long as the temperature is low enough. Invoking the time-dependent mean-field theory and solving self-consistently the periodic drive, dissipation, and DTC order parameter, we investigate the nonequilibrium DTC phase transition and determine the critical exponents, including a dynamical one. We also find phase transitions without equilibrium counterpart: a nontrivial interplay of the periodic drive and dissipation gives rise to reentrant DTC transition when changing the pulse interval at a fixed temperature. Besides, to demonstrate the rigidity of the DTC, we consider imperfect $\pi$-pulses, showing that the DTC is robust against the small imperfections and finding that discrete time quasicrystals (DTQC) can appear for the larger imperfections. Together with experimental proposals in magnetic materials, our results pave the ways for realizing the DTC and for uncovering nonequilibrium critical phenomena in real solid-state materials.

categories: cond-mat.stat-mech cond-mat.mtrl-sci cond-mat.str-el quant-ph


title: Nuwa: A Quantum Circuit Transpiler Based on a Finite-Horizon Heuristic for Placement and Routing

abstract: We introduce a novel transpiler for the placement and routing of quantum circuits on arbitrary target hardware architectures. We use finite-horizon, and optionally discounted, reward functions to heuristically find a suitable placement and routing policy. We employ a finite lookahead to refine the reward functions when breaking a tie between multiple policies. We benchmark our transpiler against multiple alternative solutions and on various test sets of quantum algorithms to demonstrate the benefits of our approach.


title: 10 GHz Generation with Ultra-Low Phase Noise via the Transfer Oscillator Technique

abstract: Coherent frequency division of high-stability optical sources permits the extraction of microwave signals with ultra-low phase noise, enabling their application to systems with stringent timing precision. To date, the highest performance systems have required tight phase stabilization of laboratory grade optical frequency combs to Fabry-Perot optical reference cavities for faithful optical-to-microwave frequency division. This requirement limits the technology to highly-controlled laboratory environments. Here, we employ a transfer oscillator technique, which employs digital and RF analog electronics to coherently suppress additive optical frequency comb noise. This relaxes the stabilization requirements and allows for the extraction of multiple independent microwave outputs from a single comb, while at the same time, permitting low-noise microwave generation from combs with higher noise profiles. Using this method we transferred the phase stability of two high-Finesse optical sources at 1157 nm and 1070 nm to two independent 10 GHz signals using a single frequency comb. We demonstrated absolute phase noise below -106 dBc/Hz at 1-Hz from carrier with corresponding 1 second fractional frequency instability below $2\times10^{-15}$. Finally, the latter phase noise levels were attainable for comb linewidths broadened up to 2 MHz, demonstrating the potential for out-of lab use with low SWaP lasers.


title: STRONG: Synchronous and asynchronous RObust Network localization, under Non-Gaussian noise

abstract: Real-world network applications must cope with failing nodes, malicious attacks, or nodes facing corrupted data - data classified as outliers. Our work addresses these concerns in the scope of the sensor network localization problem where, despite the abundance of technical literature, prior research seldom considered outlier data. We propose robust, fast, and distributed network localization algorithms, resilient to high-power noise, but also precise under regular Gaussian noise. We use a Huber M-estimator, thus obtaining a robust (but nonconvex) optimization problem. We convexify and change the problem representation, to allow for distributed robust localization algorithms: a synchronous distributed method that has optimal convergence rate and an asynchronous one with proven convergence guarantees. A major highlight of our contribution lies on the fact that we pay no price for provable distributed computation neither in accuracy, nor in communication cost or convergence speed. Simulations showcase the superior performance of our algorithms, both in the presence of outliers and under regular Gaussian noise: our method exceeds the accuracy of alternative approaches, distributed and centralized, even under heavy additive and multiplicative outlier noise.


title: Unconventional saturation effects at intermediate drive in a lossy cavity coupled to few emitters

abstract: Recent technological advancements have enabled strong light-matter interaction in highly dissipative cavity-emitter systems. However, in these systems, which are well described by the Tavis-Cummings model, the considerable loss rates render the realization of many desirable nonlinear effects, such as saturation and photon blockade, problematic. Here we present another effect occurring within the Tavis-Cummings model: a nonlinear response of the cavity for resonant external driving of intermediate strength, which makes use of large cavity dissipation rates. In this regime, $(N+1)$-photon processes dominate when the cavity couples to $N$ emitters. We explore and characterize this effect in detail, and provide a picture of how the effect occurs due to destructive interference between the emitter ensemble and the external drive. We find that a central condition for the observed effect is large cooperativity, i.e., the product of the cavity and emitter decay rates is much smaller than the collective cavity-emitter interaction strength squared. Importantly, this condition does not require strong coupling. We also find an analytical expression for the critical drive strength at which the effect appears. Our results have potential for quantum state engineering, e.g., photon filtering, and could be used for the characterization of cavity-emitter systems where the number of emitters is unknown. In particular, our results open the way for investigations of unique quantum-optics applications in a variety of platforms that neither require high-quality cavities nor strong coupling.


title: Rational curves on del Pezzo surfaces in positive characteristic

abstract: We study the space of rational curves on del Pezzo surfaces in positive characteristic. For most primes p we prove the irreducibility of the moduli space of rational curves of a given nef class, extending results of Testa in characteristic 0. We also investigate the principles of Geometric Manin's Conjecture for weak del Pezzo surfaces. In the course of this investigation, we give examples of weak del Pezzo surfaces defined over $\mathbb{F}_{2}(t)$ or $\mathbb{F}_{3}(t)$ such that the exceptional sets in Manin's Conjecture are Zariski dense.


title: The Impacts of Mobility on Covid-19 Dynamics: Using Soft and Hard Data

abstract: This paper has the goal of evaluating how changes in mobility has affected the infection spread of Covid-19 throughout the 2020-2021 years. However, identifying a "clean" causal relation is not an easy task due to a high number of non-observable (behavioral) effects. We suggest the usage of Google Trends and News-based indexes as controls for some of these behavioral effects and we find that a 1\% increase in residential mobility (i.e. a reduction in overall mobility) have significant impacts for reducing both Covid-19 cases (at least 3.02\% on a one-month horizon) and deaths (at least 2.43\% at the two-weeks horizon) over the 2020-2021 sample. We also evaluate the effects of mobility on Covid-19 spread on the restricted sample (only 2020) where vaccines were not available. The results of diminishing mobility over cases and deaths on the restricted sample are still observable (with similar magnitudes in terms of residential mobility) and cumulative higher, as the effects of restricting workplace mobility turns to be also significant: a 1\% decrease in workplace mobility diminishes cases around 1\% and deaths around 2\%.


title: The Cooling of Massive White Dwarfs from Gaia EDR3

abstract: We determine the distribution of cooling ages of massive Gaia EDR3 white dwarfs identified with over 90% probability within 200 pc and with mass in the range 0.95-1.25 $M_\odot$. Using three sets of publicly available models, we consider sub-samples of these white dwarfs sorted into three equally spaced mass bins. Under the assumption of a constant white dwarf formation rate, we find an excess of white dwarfs both along the Q branch and below it, corresponding respectively to stars that are in the process of freezing and those that are completely frozen. We compare the cooling age distributions for each of these bins to the recently determined time-varying star formation rate of Gaia DR2 main sequence stars. For white dwarfs in the two lightest mass bins, spanning the mass range 0.95-1.15 $M_\odot$, we find that the cumulative cooling age distribution is statistically consistent with the expectation from the star formation rate. For white dwarfs in the heaviest mass bin, 1.15-1.25 $M_\odot$, we find that their cumulative distribution is inconsistent with the star formation rate for all of the models considered; instead, we find that their cooling age distribution is well fitted by a linear combination of the distribution expected for single stellar evolution products and the distribution expected for double white dwarf merger products when approximately 40-50% of the 1.15-1.25 $M_\odot$ white dwarfs that formed over the past 4 Gyr are produced through double white dwarf mergers.


title: On Kitaev's determinant formula

abstract: We establish a sufficient condition under which ${\rm det}\,(ABA^{-1}B^{-1})=1$ for a pair of bounded, invertible operators $A,B$ on a Hilbert space.


title: Reconstructing group wavelet transform from feature maps with a reproducing kernel iteration

abstract: In this paper we consider the problem of reconstructing an image that is downsampled in the space of its $SE(2)$ wavelet transform, which is motivated by classical models of simple cells receptive fields and feature preference maps in primary visual cortex. We prove that, whenever the problem is solvable, the reconstruction can be obtained by an elementary project and replace iterative scheme based on the reproducing kernel arising from the group structure, and show numerical results on real images.


title: Album: a framework for scientific data processing with software solutions of heterogeneous tools

abstract: Album is a decentralized distribution platform for solutions to specific scientific problems. It works across platforms, tools, and data domains and is designed to address limitations in reproducibility of scientific data software solutions and workflows, particularly when interactivity is needed. `album` can be used to programmatically define how to interoperate between applications. It can ship versatile applications while tweaking them for a specific target audience or use case. An updated list of features and applications can be found on the documentation site.


title: Applied Measure Theory for Probabilistic Modeling

abstract: Probabilistic programming and statistical computing are vibrant areas in the development of the Julia programming language, but the underlying infrastructure dramatically predates recent developments. The goal of MeasureTheory.jl is to provide Julia with the right vocabulary and tools for these tasks. In the package we introduce a well-chosen set of notions from the foundations of probability together with powerful combinators and transforms, giving a gentle introduction to the concepts in this article. The task is foremost achieved by recognizing measure as the central object. This enables us to develop a proper concept of densities as objects relating measures with each others. As densities provide local perspective on measures, they are the key to efficient implementations. The need to preserve this computationally so important locality leads to the new notion of locally-dominated measure solving the so-called base measure problem and making work with densities and distributions in Julia easier and more flexible.


title: Algorithm Fairness in AI for Medicine and Healthcare

abstract: In the current development and deployment of many artificial intelligence (AI) systems in healthcare, algorithm fairness is a challenging problem in delivering equitable care. Recent evaluation of AI models stratified across race sub-populations have revealed inequalities in how patients are diagnosed, given treatments, and billed for healthcare costs. In this perspective article, we summarize the intersectional field of fairness in machine learning through the context of current issues in healthcare, outline how algorithmic biases (e.g. - image acquisition, genetic variation, intra-observer labeling variability) arise in current clinical workflows and their resulting healthcare disparities. Lastly, we also review emerging technology for mitigating bias via federated learning, disentanglement, and model explainability, and their role in AI-SaMD development.


title: Inexact bilevel stochastic gradient methods for constrained and unconstrained lower-level problems

abstract: Two-level stochastic optimization formulations have become instrumental in a number of machine learning contexts such as continual learning, neural architecture search, adversarial learning, and hyperparameter tuning. Practical stochastic bilevel optimization problems become challenging in optimization or learning scenarios where the number of variables is high or there are constraints. In this paper, we introduce a bilevel stochastic gradient method for bilevel problems with nonlinear and possibly nonconvex lower-level constraints. We also present a comprehensive convergence theory that addresses both the lower-level unconstrained and constrained cases and covers all inexact calculations of the adjoint gradient (also called hypergradient), such as the inexact solution of the lower-level problem, inexact computation of the adjoint formula (due to the inexact solution of the adjoint equation or use of a truncated Neumann series), and noisy estimates of the gradients, Hessians, and Jacobians involved. To promote the use of bilevel optimization in large-scale learning, we have developed new low-rank practical bilevel stochastic gradient methods (BSG-N-FD and~BSG-1) that do not require second-order derivatives and, in the lower-level unconstrained case, dismiss any matrix-vector products.


title: Direct LiDAR Odometry: Fast Localization with Dense Point Clouds

abstract: Field robotics in perceptually-challenging environments require fast and accurate state estimation, but modern LiDAR sensors quickly overwhelm current odometry algorithms. To this end, this paper presents a lightweight frontend LiDAR odometry solution with consistent and accurate localization for computationally-limited robotic platforms. Our Direct LiDAR Odometry (DLO) method includes several key algorithmic innovations which prioritize computational efficiency and enables the use of dense, minimally-preprocessed point clouds to provide accurate pose estimates in real-time. This is achieved through a novel keyframing system which efficiently manages historical map information, in addition to a custom iterative closest point solver for fast point cloud registration with data structure recycling. Our method is more accurate with lower computational overhead than the current state-of-the-art and has been extensively evaluated in multiple perceptually-challenging environments on aerial and legged robots as part of NASA JPL Team CoSTAR's research and development efforts for the DARPA Subterranean Challenge.


title: A Kepler K2 view of subdwarf A-type stars

abstract: The spectroscopic class of subdwarf A-type (sdA) stars has come into focus in recent years because of their possible link to extremely low-mass white dwarfs, a rare class of objects resulting from binary evolution. Although most sdA stars are consistent with metal-poor halo main-sequence stars, the formation and evolution of a fraction of these stars are still matters of debate. The identification of photometric variability can help to put further constraints on the evolutionary status of sdA stars, in particular through the analysis of pulsations. Moreover, the binary ratio, which can be deduced from eclipsing binaries and ellipsoidal variables, is important as input for stellar models. In order to search for variability due to either binarity or pulsations in objects of the spectroscopic sdA class, we have extracted all available high precision light curves from the Kepler K2 mission. We have performed a thorough time series analysis on all available light curves, employing three different methods. Frequencies with a signal-to-noise ratio higher than four have been used for further analysis. From the 25 targets, 13 turned out to be variables of different kinds (i.e. classical pulsating stars, ellipsoidal and cataclysmic variables, eclipsing binaries, and rotationally induced variables). For the remaining 12 objects, a variability threshold was determined.


title: The paradigm of warm quintessential inflation and spontaneous baryogenesis

abstract: In this paper, we consider a scenario of spontaneous baryogenesis in a framework of warm quintessential inflation where the residual inflaton field, left out after warm inflation, plays the role of quintessence field at late times and is coupled to a non-conserved baryonic current. Assuming a four fermion $(B-L)$ violating effective interaction, we have demonstrated that the required baryon asymmetry can be produced successfully in this case. We show that the post-inflationary evolution, with the underlying scalar field potential, $V(\phi)=V^4_0 \exp{(-\alpha \phi^n/M_{\rm Pl}^4 ) }$, $n>1$ well suited to warm inflation, exhibits scaling behaviour soon after a brief kinetic regime. We show that the coupling of the scalar field to massive neutrino matter can give rise to exit from the scaling regime to cosmic acceleration at late times as massive neutrinos turn non-relativistic. The proposed model is shown to successfully describe the cosmic history from inflation to late-time acceleration, with the evolution independent of initial conditions, along with the generation of baryon asymmetry during the post-inflationary era. A brief analysis of relic gravity waves produced in the scenario is presented.


title: FFLV polytopes for odd symplectic Lie algebras

abstract: We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.


title: Calcium imaging and analysis of the mouse hippocampus or neocortex using miniature microendoscopes

abstract: Calcium imaging using miniscopes are becoming increasingly popular in the neuroscience community with a multitude of microendoscope versions, lens systems and packages for analysis available as open source. Here we describe in detail how to implant lenses and baseplates for the University of California at Los Angeles (UCLA) miniscope V3 and V4 using a Gradient Index (GRIN) lens for the hippocampus or a combination of prism and GRIN lens for recording in the neocortex. Our protocols contain adaptations from several published protocols however the GRIN-relay-Prism lens system protocol is developed in-house and not previously described. This chapter also suggests how lenses may be re-used and how to test the quality of a reused lens. Lastly, we comment on the difference between analysis software and the computational needs for different packages.


title: Delayed rejection Hamiltonian Monte Carlo for sampling multiscale distributions

abstract: The efficiency of Hamiltonian Monte Carlo (HMC) can suffer when sampling a distribution with a wide range of length scales, because the small step sizes needed for stability in high-curvature regions are inefficient elsewhere. To address this we present a delayed rejection variant: if an initial HMC trajectory is rejected, we make one or more subsequent proposals each using a step size geometrically smaller than the last. We extend the standard delayed rejection framework by allowing the probability of a retry to depend on the probability of accepting the previous proposal. We test the scheme in several sampling tasks, including multiscale model distributions such as Neal's funnel, and statistical applications. Delayed rejection enables up to five-fold performance gains over optimally-tuned HMC, as measured by effective sample size per gradient evaluation. Even for simpler distributions, delayed rejection provides increased robustness to step size misspecification. Along the way, we provide an accessible but rigorous review of detailed balance for HMC.


title: On duality for nonconvex minimization problems within the framework of abstract convexity

abstract: By applying the perturbation function approach, we propose the Lagrangian and the conjugate duals for minimization problems of the sum of two, generally nonconvex, functions. The main tools are the $\Phi$-convexity theory and minimax theorems for $\Phi$-convex functions. We provide conditions ensuring zero duality gap and introduce $\Phi$-Karush-Kuhn-Tucker conditions that characterize solutions to primal and dual problems. We also discuss the relationship between the dual problems introduced in the present investigation and some conjugate-type duals existing in the literature.


title: Correlation between the gas-phase metallicity and ionization parameter in extragalactic HII regions

abstract: The variations of the metallicity and ionization parameter in HII regions are usually thought to be the dominant factors that produce the variations we see in the observed emission line spectra. There is an increasing amount of evidence that these two quantities are physically correlated, although the exact form of this correlation is debatable in the literature. Simulated emission line spectra from photoionized clouds provide important clues about the physical conditions of HII regions and are frequently used for deriving metallicities and ionization parameters. Through a systematic investigation on the assumptions and methodology used in applying photoionization models, we find that the derived correlation has a strong dependence on the choice of model parameters. On the one hand, models that give consistent predictions over multiple emission-line ratios yield a positive correlation between the metallicity and ionization parameter for the general population of HII regions. On the other hand, models that are inconsistent with the data locus in the line-ratio space yield discrepant correlations when different subsets of line ratios are used in the derivation. The correlation between the metallicity and ionization parameter has a secondary dependence on the SFR surface density, with the higher SFR regions showing higher ionization parameter but weaker correlations. The existence of the positive correlation contradicts the wind-driven bubble model for HII regions. We explore assumptions in the models and conclude that there is a potential bias associated with the geometry. However, this is still insufficient to explain the correlation. Mechanisms that suppress the dynamical influence of stellar winds in realistic HII regions might be the key to solving this puzzle, though more sophisticated combinations of dynamical models and photoionization models to test are required.


title: Expected Validation Performance and Estimation of a Random Variable's Maximum

abstract: Research in NLP is often supported by experimental results, and improved reporting of such results can lead to better understanding and more reproducible science. In this paper we analyze three statistical estimators for expected validation performance, a tool used for reporting performance (e.g., accuracy) as a function of computational budget (e.g., number of hyperparameter tuning experiments). Where previous work analyzing such estimators focused on the bias, we also examine the variance and mean squared error (MSE). In both synthetic and realistic scenarios, we evaluate three estimators and find the unbiased estimator has the highest variance, and the estimator with the smallest variance has the largest bias; the estimator with the smallest MSE strikes a balance between bias and variance, displaying a classic bias-variance tradeoff. We use expected validation performance to compare between different models, and analyze how frequently each estimator leads to drawing incorrect conclusions about which of two models performs best. We find that the two biased estimators lead to the fewest incorrect conclusions, which hints at the importance of minimizing variance and MSE.


title: Cohomology of the Bruhat-Tits strata in the unramified unitary Rapoport-Zink space of signature $(1,n-1)$

abstract: In [Inventiones mathematicae, 184 (2011)], Vollaard and Wedhorn defined a stratification on the special fiber of the unitary unramified PEL Rapoport-Zink space with signature $(1,n-1)$. They constructed an isomorphism between the closure of a stratum, called a closed Bruhat-Tits stratum, and a Deligne-Lusztig variety which is not of classical type. In this paper, we describe the $\ell$-adic cohomology groups over $\overline{\mathbb Q_{\ell}}$ of these Deligne-Lusztig varieties, where $\ell \not = p$. The computations involve the spectral sequence associated to the Ekedahl-Oort stratification of a closed Bruhat-Tits stratum, which translates into a stratification by Coxeter varieties whose cohomology is known. Eventually, we find out that the irreducible representations of the finite unitary group which appear inside the cohomology contribute to only two different unipotent Harish-Chandra series, one of them belonging to the principal series.


title: Predicting erectile dysfunction after treatment for localized prostate cancer

abstract: While the 10-year survival rate for localized prostate cancer patients is very good (>98%), side effects of treatment may limit quality of life significantly. Erectile dysfunction (ED) is a common burden associated with increasing age as well as prostate cancer treatment. Although many studies have investigated the factors affecting erectile dysfunction (ED) after prostate cancer treatment, only limited studies have investigated whether ED can be predicted before the start of treatment. The advent of machine learning (ML) based prediction tools in oncology offers a promising approach to improve accuracy of prediction and quality of care. Predicting ED may help aid shared decision making by making the advantages and disadvantages of certain treatments clear, so that a tailored treatment for an individual patient can be chosen. This study aimed to predict ED at 1-year and 2-year post-diagnosis based on patient demographics, clinical data and patient-reported outcomes (PROMs) measured at diagnosis.


title: Gauge Symmetries, Symmetry Breaking, and Gauge-Invariant Approaches

abstract: Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries.


title: Cuttlefish: Library for Achieving Energy Efficiency in Multicore Parallel Programs

abstract: A low-cap power budget is challenging for exascale computing. Dynamic Voltage and Frequency Scaling (DVFS) and Uncore Frequency Scaling (UFS) are the two widely used techniques for limiting the HPC application's energy footprint. However, existing approaches fail to provide a unified solution that can work with different types of parallel programming models and applications. This paper proposes Cuttlefish, a programming model oblivious C/C++ library for achieving energy efficiency in multicore parallel programs running over Intel processors. An online profiler periodically profiles model-specific registers to discover a running application's memory access pattern. Using a combination of DVFS and UFS, Cuttlefish then dynamically adapts the processor's core and uncore frequencies, thereby improving its energy efficiency. The evaluation on a 20-core Intel Xeon processor using a set of widely used OpenMP benchmarks, consisting of several irregular-tasking and work-sharing pragmas, achieves geometric mean energy savings of 19.4% with a 3.6% slowdown.


title: Subsystem decomposition and state estimation of nonlinear processes with implicit time-scale multiplicity

abstract: In this work, we propose a subsystem decomposition approach and a distributed estimation scheme for a class of implicit two-time-scale nonlinear systems. Taking the advantage of the two-time-scale separation, these processes are decomposed into smaller subsystems such as fast subsystem and slow subsystem. In the proposed method, an approach, composite solution, combines the approximate solutions obtained from both fast and slow subsystems. Based on the fast and slow subsystems, a distributed state estimation scheme is proposed to handle the implicit time-scale multiplicity. In the proposed design, an extended Kalman filter (EKF) is designed for the fast subsystem and a moving horizon estimator (MHE) is designed for the slow subsystem. There is a communication between the estimators: the slow subsystem is only required to send information to the fast subsystem one-directionally. The fast subsystem estimator does not send out any information. The estimators use different sampling of the state measurements, i.e., fast sampling of the fast state variables is considered in the fast EKF and slow sampling of the slow state variables is considered in the slow MHE. Extensive simulations based on a chemical process are performed to illustrate the effectiveness and applicability of the proposed subsystem decomposition and composite state estimation architecture.


title: Monte Carlo simulations of {\gamma}-directional correlations and their application on FIFRELIN cascades

abstract: Angular distribution and correlation measurements are an essential part in nuclear structure experiments, especially when spectroscopic information of a specific nucleus is unknown. In most cases, the experimental determination of the spins, parities of the studied nuclear states, as well as the possible mixing between two electric/magnetic multipoles of a transition are determined using angular correlation measurements. In this work, the full effect of directional {\gamma}-correlations is simulated, by using the formal theory of angular distributions. The density matrix formalism along with its multipole expansions called statistical tensors is employed, enabling to perform a full simulation of the angular correlation effects in a cascade of an arbitrary number of {\gamma} transitions. A triple {\gamma} angular correlation simulation is demonstrated for the first time. The present approach was coupled with the Monte Carlo code FIFRELIN, which can simulate the de-excitation of fission fragments or of excited nuclei after neutron capture. It provides a complete description of the spatial distributions of all the {\gamma} rays in the cascade, that can be used for simulation purposes in various applications both in nuclear and particle physics. The potential for a novel approach in data analysis of angular correlation measurements is discussed thoroughly.


title: SPEC: Seeing People in the Wild with an Estimated Camera

abstract: Due to the lack of camera parameter information for in-the-wild images, existing 3D human pose and shape (HPS) estimation methods make several simplifying assumptions: weak-perspective projection, large constant focal length, and zero camera rotation. These assumptions often do not hold and we show, quantitatively and qualitatively, that they cause errors in the reconstructed 3D shape and pose. To address this, we introduce SPEC, the first in-the-wild 3D HPS method that estimates the perspective camera from a single image and employs this to reconstruct 3D human bodies more accurately. First, we train a neural network to estimate the field of view, camera pitch, and roll given an input image. We employ novel losses that improve the calibration accuracy over previous work. We then train a novel network that concatenates the camera calibration to the image features and uses these together to regress 3D body shape and pose. SPEC is more accurate than the prior art on the standard benchmark (3DPW) as well as two new datasets with more challenging camera views and varying focal lengths. Specifically, we create a new photorealistic synthetic dataset (SPEC-SYN) with ground truth 3D bodies and a novel in-the-wild dataset (SPEC-MTP) with calibration and high-quality reference bodies. Both qualitative and quantitative analysis confirm that knowing camera parameters during inference regresses better human bodies. Code and datasets are available for research purposes at https://spec.is.tue.mpg.de.


title: Self-Attentive Constituency Parsing for UCCA-based Semantic Parsing

abstract: Semantic parsing provides a way to extract the semantic structure of a text that could be understood by machines. It is utilized in various NLP applications that require text comprehension such as summarization and question answering. Graph-based representation is one of the semantic representation approaches to express the semantic structure of a text. Such representations generate expressive and adequate graph-based target structures. In this paper, we focus primarily on UCCA graph-based semantic representation. The paper not only presents the existing approaches proposed for UCCA representation, but also proposes a novel self-attentive neural parsing model for the UCCA representation. We present the results for both single-lingual and cross-lingual tasks using zero-shot and few-shot learning for low-resource languages.


title: Strangeness neutral equation of state with a critical point

abstract: We formulate a family of equations of state for Quantum Chromodynamics that exhibit critical features and obey the charge conservation conditions present in heavy-ion collisions (HICs). This construction utilizes the first-principle Lattice QCD (LQCD) results up to $\mathcal{O}(\mu_B^4)$ by matching the Taylor coefficients at each order. The criticality of the equation of state (EoS) is implemented based on the well-established principle of universal scaling behavior, where QCD belongs to the 3D Ising Model universality class. The critical point can be placed in a range of temperature and baryonic chemical potential relevant for the Beam Energy Scan II at RHIC. Furthermore, the strength of the critical features can be varied as well. This flexibility is embedded in four free parameters, that could potentially be constrained by the experimental data. We will discuss the features and versatility of our EoS, as well as present the relevant thermodynamic quantities which are important for hydrodynamical simulations of HICs.


title: Calibrated Adversarial Training

abstract: Adversarial training is an approach of increasing the robustness of models to adversarial attacks by including adversarial examples in the training set. One major challenge of producing adversarial examples is to contain sufficient perturbation in the example to flip the model's output while not making severe changes in the example's semantical content. Exuberant change in the semantical content could also change the true label of the example. Adding such examples to the training set results in adverse effects. In this paper, we present the Calibrated Adversarial Training, a method that reduces the adverse effects of semantic perturbations in adversarial training. The method produces pixel-level adaptations to the perturbations based on novel calibrated robust error. We provide theoretical analysis on the calibrated robust error and derive an upper bound for it. Our empirical results show a superior performance of the Calibrated Adversarial Training over a number of public datasets.


title: Ultra-fast interpretable machine-learning potentials

abstract: All-atom dynamics simulations are an indispensable quantitative tool in physics, chemistry, and materials science, but large systems and long simulation times remain challenging due to the trade-off between computational efficiency and predictive accuracy. To address this challenge, we combine effective two- and three-body potentials in a cubic B-spline basis with regularized linear regression to obtain machine-learning potentials that are physically interpretable, sufficiently accurate for applications, as fast as the fastest traditional empirical potentials, and two to four orders of magnitude faster than state-of-the-art machine-learning potentials. For data from empirical potentials, we demonstrate exact retrieval of the potential. For data from density functional theory, the predicted energies, forces, and derived properties, including phonon spectra, elastic constants, and melting points, closely match those of the reference method. The introduced potentials might contribute towards accurate all-atom dynamics simulations of large atomistic systems over long time scales.


title: Accelerate Distributed Stochastic Descent for Nonconvex Optimization with Momentum

abstract: Momentum method has been used extensively in optimizers for deep learning. Recent studies show that distributed training through K-step averaging has many nice properties. We propose a momentum method for such model averaging approaches. At each individual learner level traditional stochastic gradient is applied. At the meta-level (global learner level), one momentum term is applied and we call it block momentum. We analyze the convergence and scaling properties of such momentum methods. Our experimental results show that block momentum not only accelerates training, but also achieves better results.


title: The Cognitive Science of Extremist Ideologies Online

abstract: Extremist ideologies are finding new homes in online forums. These serve as both places for true believers, and recruiting-grounds for curious newcomers. To understand how newcomers learn ideology online, we study the Reddit archives of a novel sexist ideology known as the "the Red Pill''. Matching a longstanding hypothesis in the social sciences, our methods resolve the ideology into two components: a "behavioral'' dimension, concerned with correcting behavior towards the self and others, and an "explanatory'' dimension, of unifying explanations for the worldview. We then build a model of how newcomers to the group navigate the underlying conceptual structure. This reveals a large population of "tourists'', who leave quickly, and a smaller group of "residents'' who join the group and remain for orders of magnitude longer. Newcomers are attracted by the behavioral component, in the form of self-help topics such as diet, exercise, and addiction. Explanations, however, keep them there, turning tourists into residents. They have powerful effects: explanation adoption can more than double the duration of median engagement, and can explain the emergence of a long-tail of high-power engagers. The most sticky explanations, that predict the longest engagement, are about status hierarchies.


title: On the complexity of the optimal transport problem with graph-structured cost

abstract: Multi-marginal optimal transport (MOT) is a generalization of optimal transport to multiple marginals. Optimal transport has evolved into an important tool in many machine learning applications, and its multi-marginal extension opens up for addressing new challenges in the field of machine learning. However, the usage of MOT has been largely impeded by its computational complexity which scales exponentially in the number of marginals. Fortunately, in many applications, such as barycenter or interpolation problems, the cost function adheres to structures, which has recently been exploited for developing efficient computational methods. In this work we derive computational bounds for these methods. With $m$ marginal distributions supported on $n$ points, we provide a $ \mathcal{\tilde O}(d(G)m n^2\epsilon^{-2})$ bound for a $\epsilon$-accuracy when the problem is associated with a tree with diameter $d(G)$. For the special case of the Wasserstein barycenter problem, which corresponds to a star-shaped tree, our bound is in alignment with the existing complexity bound for it.


title: Permutation Entropy for Graph Signals

abstract: Entropy metrics (for example, permutation entropy) are nonlinear measures of irregularity in time series (one-dimensional data). Some of these entropy metrics can be generalised to data on periodic structures such as a grid or lattice pattern (two-dimensional data) using its symmetry, thus enabling their application to images. However, these metrics have not been developed for signals sampled on irregular domains, defined by a graph. Here, we define for the first time an entropy metric to analyse signals measured over irregular graphs by generalising permutation entropy, a well-established nonlinear metric based on the comparison of neighbouring values within patterns in a time series. Our algorithm is based on comparing signal values on neighbouring nodes, using the adjacency matrix. We show that this generalisation preserves the properties of classical permutation for time series and the recent permutation entropy for images, and it can be applied to any graph structure with synthetic and real signals. We expect the present work to enable the extension of other nonlinear dynamic approaches to graph signals.


title: Factored couplings in multi-marginal optimal transport via difference of convex programming

abstract: Optimal transport (OT) theory underlies many emerging machine learning (ML) methods nowadays solving a wide range of tasks such as generative modeling, transfer learning and information retrieval. These latter works, however, usually build upon a traditional OT setup with two distributions, while leaving a more general multi-marginal OT formulation somewhat unexplored. In this paper, we study the multi-marginal OT (MMOT) problem and unify several popular OT methods under its umbrella by promoting structural information on the coupling. We show that incorporating such structural information into MMOT results in an instance of a different of convex (DC) programming problem allowing us to solve it numerically. Despite high computational cost of the latter procedure, the solutions provided by DC optimization are usually as qualitative as those obtained using currently employed optimization schemes.


title: Detailed fluctuation theorem bounds apparent violations of the second law

abstract: The second law of thermodynamics is a statement about the statistics of the entropy production, $\langle \Sigma \rangle \geq 0$. For small systems, it is known that the entropy production is a random variable and negative values ($\Sigma < 0$) might be observed in some experiments. This situation is sometimes called apparent violation of the second law. In this sense, how often is the second law violated? For a given average $\langle \Sigma \rangle $, we show that the strong detailed fluctuation theorem implies a lower tight bound for the apparent violations of the second law. As applications, we verify that the bound is satisfied for the entropy produced in the heat exchange problem between two reservoirs mediated by a bosonic mode in the weak coupling approximation, a levitated nanoparticle and a classical particle in a box.


title: The Programmable Data Plane: Abstractions, Architectures, Algorithms, and Applications

abstract: Programmable data plane technology enables the systematic reconfiguration of the low-level processing steps applied to network packets and is a key driver in realizing the next generation of network services and applications. This survey presents recent trends and issues in the design and implementation of programmable network devices, focusing on prominent architectures, abstractions, algorithms, and applications proposed, debated, and realized over the past years. We elaborate on the trends that led to the emergence of this technology and highlight the most important pointers from the literature, casting different taxonomies for the field and identifying avenues for future research.


title: Fast Flux Entangling Gate for Fluxonium Circuits

abstract: We analyze a high-fidelity two-qubit gate using fast flux pulses on superconducting fluxonium qubits. The gate is realized by temporarily detuning magnetic flux through fluxonium loop away from the half flux quantum sweet spot. We simulate dynamics of two capacitively coupled fluxoniums during the flux pulses and optimize the pulse parameters to obtain a highly accurate $\sqrt{i\mathrm{swap}}$-like entangling gate. We also evaluate the effect of the flux noise and qubit relaxation on the gate fidelity. Our results demonstrate that the gate error remains below $10^{-4}$ for currently achievable magnitude of the flux noise and qubit relaxation time.


title: Uniform Bounds for Scheduling with Job Size Estimates

abstract: We consider the problem of scheduling to minimize mean response time in M/G/1 queues where only estimated job sizes (processing times) are known to the scheduler, where a job of true size $s$ has estimated size in the interval $[\beta s, \alpha s]$ for some $\alpha \geq \beta > 0$. We evaluate each scheduling policy by its approximation ratio, which we define to be the ratio between its mean response time and that of Shortest Remaining Processing Time (SRPT), the optimal policy when true sizes are known. Our question: is there a scheduling policy that (a) has approximation ratio near 1 when $\alpha$ and $\beta$ are near 1, (b) has approximation ratio bounded by some function of $\alpha$ and $\beta$ even when they are far from 1, and (c) can be implemented without knowledge of $\alpha$ and $\beta$? We first show that naively running SRPT using estimated sizes in place of true sizes is not such a policy: its approximation ratio can be arbitrarily large for any fixed $\beta < 1$. We then provide a simple variant of SRPT for estimated sizes that satisfies criteria (a), (b), and (c). In particular, we prove its approximation ratio approaches 1 uniformly as $\alpha$ and $\beta$ approach 1. This is the first result showing this type of convergence for M/G/1 scheduling. We also study the Preemptive Shortest Job First (PSJF) policy, a cousin of SRPT. We show that, unlike SRPT, naively running PSJF using estimated sizes in place of true sizes satisfies criteria (b) and (c), as well as a weaker version of (a).


title: Terminal Adaptive Guidance for Autonomous Hypersonic Strike Weapons via Reinforcement Learning

abstract: An adaptive guidance system suitable for the terminal phase trajectory of a hypersonic strike weapon is optimized using reinforcement meta learning. The guidance system maps observations directly to commanded bank angle, angle of attack, and sideslip angle rates. Importantly, the observations are directly measurable from radar seeker outputs with minimal processing. The optimization framework implements a shaping reward that minimizes the line of sight rotation rate, with a terminal reward given if the agent satisfies path constraints and meets terminal accuracy and speed criteria. We show that the guidance system can adapt to off-nominal flight conditions including perturbation of aerodynamic coefficient parameters, actuator failure scenarios, sensor scale factor errors, and actuator lag, while satisfying heating rate, dynamic pressure, and load path constraints, as well as a minimum impact speed constraint. We demonstrate precision strike capability against a maneuvering ground target and the ability to divert to a new target, the latter being important to maximize strike effectiveness for a group of hypersonic strike weapons. Moreover, we demonstrate a threat evasion strategy against interceptors with limited midcourse correction capability, where the hypersonic strike weapon implements multiple diverts to alternate targets, with the last divert to the actual target. Finally, we include preliminary results for an integrated guidance and control system in a six degrees-of-freedom environment.


title: ALBU: An approximate Loopy Belief message passing algorithm for LDA to improve performance on small data sets

abstract: Variational Bayes (VB) applied to latent Dirichlet allocation (LDA) has become the most popular algorithm for aspect modeling. While sufficiently successful in text topic extraction from large corpora, VB is less successful in identifying aspects in the presence of limited data. We present a novel variational message passing algorithm as applied to Latent Dirichlet Allocation (LDA) and compare it with the gold standard VB and collapsed Gibbs sampling. In situations where marginalisation leads to non-conjugate messages, we use ideas from sampling to derive approximate update equations. In cases where conjugacy holds, Loopy Belief update (LBU) (also known as Lauritzen-Spiegelhalter) is used. Our algorithm, ALBU (approximate LBU), has strong similarities with Variational Message Passing (VMP) (which is the message passing variant of VB). To compare the performance of the algorithms in the presence of limited data, we use data sets consisting of tweets and news groups. Additionally, to perform more fine grained evaluations and comparisons, we use simulations that enable comparisons with the ground truth via Kullback-Leibler divergence (KLD). Using coherence measures for the text corpora and KLD with the simulations we show that ALBU learns latent distributions more accurately than does VB, especially for smaller data sets.


title: Searching for TeV gamma-ray emission from SGR\,1935+2154 during its 2020 X-ray and radio bursting phase

abstract: Magnetar hyperflares are the most plausible explanation for fast radio bursts (FRB) -- enigmatic powerful radio pulses with durations of several milliseconds and high brightness temperatures. The first observational evidence for this scenario was obtained in 2020 April when a FRB was detected from the direction of the Galactic magnetar and soft gamma-ray repeater SGR\,1935+2154. The FRB was preceded by two gamma-ray outburst alerts by the BAT instrument aboard the Swift satellite, which triggered follow-up observations by the High Energy Stereoscopic System (H.E.S.S.). H.E.S.S. has observed SGR\,1935+2154 for 2 hr on 2020 April 28. The observations are coincident with X-ray bursts from the magnetar detected by INTEGRAL and Fermi-GBM, thus providing the first very high energy (VHE) gamma-ray observations of a magnetar in a flaring state. High-quality data acquired during these follow-up observations allow us to perform a search for short-time transients. No significant signal at energies $E>0.6$~TeV is found and upper limits on the persistent and transient emission are derived. We here present the analysis of these observations and discuss the obtained results and prospects of the H.E.S.S. follow-up program for soft gamma-ray repeaters.


title: ML4C: Seeing Causality Through Latent Vicinity

abstract: Supervised Causal Learning (SCL) aims to learn causal relations from observational data by accessing previously seen datasets associated with ground truth causal relations. This paper presents a first attempt at addressing a fundamental question: What are the benefits from supervision and how does it benefit? Starting from seeing that SCL is not better than random guessing if the learning target is non-identifiable a priori, we propose a two-phase paradigm for SCL by explicitly considering structure identifiability. Following this paradigm, we tackle the problem of SCL on discrete data and propose ML4C. The core of ML4C is a binary classifier with a novel learning target: it classifies whether an Unshielded Triple (UT) is a v-structure or not. Specifically, starting from an input dataset with the corresponding skeleton provided, ML4C orients each UT once it is classified as a v-structure. These v-structures are together used to construct the final output. To address the fundamental question of SCL, we propose a principled method for ML4C featurization: we exploit the vicinity of a given UT (i.e., the neighbors of UT in skeleton), and derive features by considering the conditional dependencies and structural entanglement within the vicinity. We further prove that ML4C is asymptotically correct. Last but foremost, thorough experiments conducted on benchmark datasets demonstrate that ML4C remarkably outperforms other state-of-the-art algorithms in terms of accuracy, reliability, robustness and tolerance. In summary, ML4C shows promising results on validating the effectiveness of supervision for causal learning. Our codes are publicly available at https://github.com/microsoft/ML4C.


title: A short study of generalized Dirichlet Integrals via tempered distributions

abstract: In the present article, the author uses Fourier theory of tempered distributions (generalized functions) in deriving a formula for Dirichlet-like integrals. The applied method is remarkably efficient and allows a solution in a few calculational steps. The interest of the present article lies not only in the derivation of an appearently unknown formula but also in the original methodology of its derivation.


title: The Proportional Integral Notch and Coleman Blade Effective Wind Speed Estimators and Their Similarities

abstract: The estimation of the rotor effective wind speed is used in modern wind turbines to provide advanced power and load control capabilities. However, with the ever increasing rotor sizes, the wind field over the rotor surface shows a higher degree of spatial variation. A single effective wind speed estimation therefore limits the attainable levels of load mitigation, and the estimation of the Blade Effective Wind Speed (BEWS) might present opportunities for improved load control. This letter introduces two novel BEWS estimator approaches: A Proportional Integral Notch (PIN) estimator based on individual blade load measurements, and a Coleman estimator targeting the estimation in the non-rotating frame. Given the seeming disparities between these two estimators, the objective of this letter is to analyze the similarities between the approaches. It is shown that the PIN estimator, which is equivalent to the diagonal form of the Coleman estimator, is a simple but effective method to estimate the BEWS. The Coleman estimator, which takes the coupling effects between individual blades into account, shows a more well behaved transient response than the PIN estimator.


title: Motion Planning for Autonomous Vehicles in the Presence of Uncertainty Using Reinforcement Learning

abstract: Motion planning under uncertainty is one of the main challenges in developing autonomous driving vehicles. In this work, we focus on the uncertainty in sensing and perception, resulted from a limited field of view, occlusions, and sensing range. This problem is often tackled by considering hypothetical hidden objects in occluded areas or beyond the sensing range to guarantee passive safety. However, this may result in conservative planning and expensive computation, particularly when numerous hypothetical objects need to be considered. We propose a reinforcement learning (RL) based solution to manage uncertainty by optimizing for the worst case outcome. This approach is in contrast to traditional RL, where the agents try to maximize the average expected reward. The proposed approach is built on top of the Distributional RL with its policy optimization maximizing the stochastic outcomes' lower bound. This modification can be applied to a range of RL algorithms. As a proof-of-concept, the approach is applied to two different RL algorithms, Soft Actor-Critic and DQN. The approach is evaluated against two challenging scenarios of pedestrians crossing with occlusion and curved roads with a limited field of view. The algorithm is trained and evaluated using the SUMO traffic simulator. The proposed approach yields much better motion planning behavior compared to conventional RL algorithms and behaves comparably to humans driving style.


title: Batch size-invariance for policy optimization

abstract: We say an algorithm is batch size-invariant if changes to the batch size can largely be compensated for by changes to other hyperparameters. Stochastic gradient descent is well-known to have this property at small batch sizes, via the learning rate. However, some policy optimization algorithms (such as PPO) do not have this property, because of how they control the size of policy updates. In this work we show how to make these algorithms batch size-invariant. Our key insight is to decouple the proximal policy (used for controlling policy updates) from the behavior policy (used for off-policy corrections). Our experiments help explain why these algorithms work, and additionally show how they can make more efficient use of stale data.


title: Exact Subdomain and Embedded Interface Polynomial Integration in Finite Elements with Planar Cuts

abstract: The implementation of discontinuous functions occurs in many of today's state-of-the-art partial differential equation solvers. However, in finite element methods, this poses an inherent difficulty: efficient quadrature rules available when integrating functions whose discontinuity falls in the element's interior are for low order degree polynomials, not easily extended to higher order degree polynomials, and cover a restricted set of geometries. Many approaches to this issue have been developed in recent years. Among them one of the most elegant and versatile is the equivalent polynomial technique. This method replaces the discontinuous function with a polynomial, allowing integration to occur over the entire domain rather than integrating over complex subdomains. Although eliminating the issues involved with discontinuous function integration, the equivalent polynomial tactic introduces its problems. The exact subdomain integration requires a machinery that quickly grows in complexity when increasing the polynomial degree and the geometry dimension, restricting its applicability to lower order degree finite element families. The current work eliminates this issue. We provide algebraic expressions to exactly evaluate the subdomain integral of any degree polynomial on parent finite element shapes cut by a planar interface. These formulas also apply to the exact evaluation of the embedded interface integral. We provide recursive algorithms that avoid overflow in computer arithmetic for standard finite element geometries: triangle, square, cube, tetrahedron, and prism, along with a hypercube of arbitrary dimensions.


title: Distributed $\Delta$-Coloring Plays Hide-and-Seek

abstract: We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a $\Delta$-coloring on $\Delta$-regular trees requires $\Omega(\log_\Delta n)$ rounds and any randomized algorithm requires $\Omega(\log_\Delta\log n)$ rounds. We prove this result by showing that a natural relaxation of the $\Delta$-coloring problem is a fixed point in the round elimination framework. As a first application, we show that our $\Delta$-coloring lower bound proof directly extends to arbdefective colorings. We exactly characterize which variants of the arbdefective coloring problem are "easy", and which of them instead are "hard". As a second application, which we see as our main contribution, we use the structure of the fixed point as a building block to prove lower bounds as a function of $\Delta$ for a large class of distributed symmetry breaking problems. For example, we obtain a tight lower bound for the fundamental problem of computing a $(2,\beta)$-ruling set. This is an exponential improvement over the best existing lower bound for the problem, which was proven in [FOCS '20]. Our lower bound even applies to a much more general family of problems that allows for almost arbitrary combinations of natural constraints from coloring problems, orientation problems, and independent set problems, and provides a single unified proof for known and new lower bound results for these types of problems. Our lower bounds as a function of $\Delta$ also imply lower bounds as a function of $n$. We obtain, for example, that maximal independent set, on trees, requires $\Omega(\log n / \log \log n)$ rounds for deterministic algorithms, which is tight.


title: RoomStructNet: Learning to Rank Non-Cuboidal Room Layouts From Single View

abstract: In this paper, we present a new approach to estimate the layout of a room from its single image. While recent approaches for this task use robust features learnt from data, they resort to optimization for detecting the final layout. In addition to using learnt robust features, our approach learns an additional ranking function to estimate the final layout instead of using optimization. To learn this ranking function, we propose a framework to train a CNN using max-margin structure cost. Also, while most approaches aim at detecting cuboidal layouts, our approach detects non-cuboidal layouts for which we explicitly estimates layout complexity parameters. We use these parameters to propose layout candidates in a novel way. Our approach shows state-of-the-art results on standard datasets with mostly cuboidal layouts and also performs well on a dataset containing rooms with non-cuboidal layouts.


title: How To Not Drive: Learning Driving Constraints from Demonstration

abstract: We propose a new scheme to learn motion planning constraints from human driving trajectories. Behavioral and motion planning are the key components in an autonomous driving system. The behavioral planning is responsible for high-level decision making required to follow traffic rules and interact with other road participants. The motion planner role is to generate feasible, safe trajectories for a self-driving vehicle to follow. The trajectories are generated through an optimization scheme to optimize a cost function based on metrics related to smoothness, movability, and comfort, and subject to a set of constraints derived from the planned behavior, safety considerations, and feasibility. A common practice is to manually design the cost function and constraints. Recent work has investigated learning the cost function from human driving demonstrations. While effective, the practical application of such approaches is still questionable in autonomous driving. In contrast, this paper focuses on learning driving constraints, which can be used as an add-on module to existing autonomous driving solutions. To learn the constraint, the planning problem is formulated as a constrained Markov Decision Process, whose elements are assumed to be known except the constraints. The constraints are then learned by learning the distribution of expert trajectories and estimating the probability of optimal trajectories belonging to the learned distribution. The proposed scheme is evaluated using NGSIM dataset, yielding less than 1\% collision rate and out of road maneuvers when the learned constraints is used in an optimization-based motion planner.


title: Evolved neuromorphic radar-based altitude controller for an autonomous open-source blimp

abstract: Robotic airships offer significant advantages in terms of safety, mobility, and extended flight times. However, their highly restrictive weight constraints pose a major challenge regarding the available computational resources to perform the required control tasks. Neuromorphic computing stands for a promising research direction for addressing such problem. By mimicking the biological process for transferring information between neurons using spikes or impulses, spiking neural networks (SNNs) allow for low power consumption and asynchronous event-driven processing. In this paper, we propose an evolved altitude controller based on an SNN for a robotic airship which relies solely on the sensory feedback provided by an airborne radar. Starting from the design of a lightweight, low-cost, open-source airship, we also present an SNN-based controller architecture, an evolutionary framework for training the network in a simulated environment, and a control strategy for ameliorating the gap with reality. The system's performance is evaluated through real-world experiments, demonstrating the advantages of our approach by comparing it with an artificial neural network and a linear controller. The results show an accurate tracking of the altitude command with an efficient control effort.


title: Construction of meta-GGA functionals through restoration of exact constraint adherence to regularized SCAN functionals

abstract: The SCAN meta-GGA exchange-correlation functional [Phys. Rev. Lett. 115, 036402 (2015)] is constructed as a chemical environment-determined interpolation between two separate energy densities: one describes single orbital electron densities accurately, and another describes slowly-varying densities accurately. To conserve constraints known for the exact exchange-correlation functional, the derivatives of this interpolation vanish in the slowly-varying limit. While theoretically convenient, this choice introduces numerical challenges that degrade the functional's efficiency. We have recently reported a modification to the SCAN functional, termed r$^2$SCAN [J. Phys. Chem. Lett. 11, 8208 (2020)] that introduces two regularizations into SCAN which improve its numerical performance at the expense of not recovering the fourth order term of the slowly-varying density gradient expansion for exchange. Here we show the derivation of a progression of functionals (rSCAN, r++SCAN, r$^2$SCAN, and r$^4$SCAN) with increasing adherence to exact conditions while maintaining a smooth interpolation. The greater smoothness of r$^2$SCAN seems to lead to better general accuracy than the additional exact constraint of SCAN or r$^4$SCAN does.