title: Combining simulations and experiments to investigate RNA dynamics

abstract: Conformational dynamics is crucial for ribonucleic acid (RNA) function. Techniques such as nuclear magnetic resonance, cryo-electron microscopy, small- and wide-angle X-ray scattering, chemical probing, single-molecule F\"orster resonance energy transfer or even thermal or mechanical denaturation experiments probe RNA dynamics at different time and space resolutions. Their combination with accurate atomistic molecular dynamics (MD) simulations paves the way for quantitative and detailed studies of RNA dynamics. First, experiments provide a quantitative validation tool for MD simulations. Second, available data can be used to refine simulated structural ensembles to match experiments. Finally, comparison with experiments allows for improving MD force fields that are transferable to new systems for which data is not available. Here we review the recent literature and provide our perspective on this field.


title: Quantum Bayes' Rule Affirms Consistency in Measurement Inferences in Quantum Mechanics

abstract: Classical Bayes' rule lays the foundation for the classical causal relation between cause (input) and effect (output). This causal relation is believed to be universally true for all physical processes. Here we show, on the contrary, that it is inadequate to establish correct correspondence between cause and effect in quantum mechanics. In fact, there are instances within the framework of quantum mechanics where the use of classical Bayes' rule leads to inconsistencies in quantum measurement inferences, such as Frauchiger-Renner's paradox. Similar inconsistency also appears in the context of Hardy's setup even after assuming quantum mechanics as a non-local theory. As a remedy, we introduce an input-output causal relation based on quantum Bayes' rule. It applies to general quantum processes even when a cause (or effect) is in coherent superposition with other causes (or effects), involves nonlocal correlations as allowed by quantum mechanics, and in the cases where causes belonging to one system induce effects in some other system as it happens in quantum measurement processes. This enables us to propose a resolution to the contradictions that appear in the context of Frauchiger-Renner's and Hardy's setups. Our results thereby affirm that quantum mechanics, equipped with quantum Bayes' rule, can indeed consistently explain the use of itself.


title: The norm of time-frequency and wavelet localization operators

abstract: Time-frequency localization operators (with Gaussian window) $L_F:L^2(\mathbb{R}^d)\to L^2(\mathbb{R}^d)$, where $F$ is a weight in $\mathbb{R}^{2d}$, were introduced in signal processing by I. Daubechies in 1988, inaugurating a new, geometric, phase-space perspective. Sharp upper bounds for the norm (and the singular values) of such operators turn out to be a challenging issue with deep applications in signal recovery, quantum physics and the study of uncertainty principles. In this note we provide optimal upper bounds for the operator norm $\|L_F\|_{L^2\to L^2}$, assuming $F\in L^p(\mathbb{R}^{2d})$, $1<p<\infty$ or $F\in L^p(\mathbb{R}^{2d})\cap L^\infty(\mathbb{R}^{2d})$, $1\leq p<\infty$. It turns out that two regimes arise, depending on whether the quantity $\|F\|_{L^p}/\|F\|_{L^\infty}$ is less or greater than a certain critical value. In the first regime the extremal weights $F$, for which equality occurs in the estimates, are certain Gaussians, whereas in the second regime they are proved to be truncated Gaussians, degenerating in a multiple of a characteristic function of a ball for $p=1$. This phase transition through truncated Gaussians appears to be a new phenomenon in time-frequency concentration problems. For the analogous problem for wavelet localization operators -- where the Cauchy wavelet plays the role of the above Gaussian window -- a complete solution is also provided.


title: Unifying Event Detection and Captioning as Sequence Generation via Pre-Training

abstract: Dense video captioning aims to generate corresponding text descriptions for a series of events in the untrimmed video, which can be divided into two sub-tasks, event detection and event captioning. Unlike previous works that tackle the two sub-tasks separately, recent works have focused on enhancing the inter-task association between the two sub-tasks. However, designing inter-task interactions for event detection and captioning is not trivial due to the large differences in their task specific solutions. Besides, previous event detection methods normally ignore temporal dependencies between events, leading to event redundancy or inconsistency problems. To tackle above the two defects, in this paper, we define event detection as a sequence generation task and propose a unified pre-training and fine-tuning framework to naturally enhance the inter-task association between event detection and captioning. Since the model predicts each event with previous events as context, the inter-dependency between events is fully exploited and thus our model can detect more diverse and consistent events in the video. Experiments on the ActivityNet dataset show that our model outperforms the state-of-the-art methods, and can be further boosted when pre-trained on extra large-scale video-text data. Code is available at \url{https://github.com/QiQAng/UEDVC}.


title: Quadratic differentials and foliations on infinite Riemann surfaces

abstract: We prove that an infinite Riemann surface $X$ is parabolic ($X\in O_G$) if and only if the union of the horizontal trajectories of any integrable holomorphic quadratic differential that are cross-cuts is of zero measure. Then we establish the density of the Jenkins-Strebel differentials in the space of all integrable quadratic differentials when $X\in O_G$ and extend Kerckhoff's formula for the Teichm\"uller metric in this case. Our methods depend on extending to infinite surfaces the Hubbard-Masur theorem describing which measured foliations can be realized by horizontal trajectories of integrable holomorphic quadratic differentials.


title: A low-cost four-component relativistic equation of motion coupled cluster method based on frozen natural spinors: Theory, Implementation and Benchmark

abstract: We present the theory and the implementation of a low-cost four-component relativistic equation of motion coupled cluster method for ionized states based on frozen natural spinors. A single threshold (natural spinor occupancy) can control the accuracy of the calculated ionization potential values. Frozen natural spinors can significantly reduce the computational cost for valence and core-ionization energies with systematically controllable accuracy. The convergence of the ionization potential values with respect to the natural spinor occupancy threshold becomes slower with the increase in basis set dimension. However, the use of a natural spinor threshold of 10-5 and 10-6 gives excellent agreement with experimental results for valence and core ionization energies, respectively.


title: Amplitude Estimation from Quantum Signal Processing

abstract: Amplitude estimation algorithms are based on Grover's algorithm: alternating reflections about the input state and the desired outcome. But what if we are given the ability to perform arbitrary rotations, instead of just reflections? In this situation, we find that quantum signal processing lets us estimate the amplitude in a more flexible way. We leverage this technique to give improved and simplified algorithms for many amplitude estimation tasks: we perform non-destructive estimation without any assumptions on the amplitude, develop an algorithm with improved performance in practice, present a new method for unbiased amplitude estimation, and finally give a simpler method for trading quantum circuit depth for more repetitions of short circuits.


title: Comprehensive Graph Gradual Pruning for Sparse Training in Graph Neural Networks

abstract: Graph Neural Networks (GNNs) tend to suffer from high computation costs due to the exponentially increasing scale of graph data and the number of model parameters, which restricts their utility in practical applications. To this end, some recent works focus on sparsifying GNNs with the lottery ticket hypothesis (LTH) to reduce inference costs while maintaining performance levels. However, the LTH-based methods suffer from two major drawbacks: 1) they require exhaustive and iterative training of dense models, resulting in an extremely large training computation cost, and 2) they only trim graph structures and model parameters but ignore the node feature dimension, where significant redundancy exists. To overcome the above limitations, we propose a comprehensive graph gradual pruning framework termed CGP. This is achieved by designing a during-training graph pruning paradigm to dynamically prune GNNs within one training process. Unlike LTH-based methods, the proposed CGP approach requires no re-training, which significantly reduces the computation costs. Furthermore, we design a co-sparsifying strategy to comprehensively trim all three core elements of GNNs: graph structures, node features, and model parameters. Meanwhile, aiming at refining the pruning operation, we introduce a regrowth process into our CGP framework, in order to re-establish the pruned but important connections. The proposed CGP is evaluated by using a node classification task across 6 GNN architectures, including shallow models (GCN and GAT), shallow-but-deep-propagation models (SGC and APPNP), and deep models (GCNII and ResGCN), on a total of 14 real-world graph datasets, including large-scale graph datasets from the challenging Open Graph Benchmark. Experiments reveal that our proposed strategy greatly improves both training and inference efficiency while matching or even exceeding the accuracy of existing methods.


title: FakeCLR: Exploring Contrastive Learning for Solving Latent Discontinuity in Data-Efficient GANs

abstract: Data-Efficient GANs (DE-GANs), which aim to learn generative models with a limited amount of training data, encounter several challenges for generating high-quality samples. Since data augmentation strategies have largely alleviated the training instability, how to further improve the generative performance of DE-GANs becomes a hotspot. Recently, contrastive learning has shown the great potential of increasing the synthesis quality of DE-GANs, yet related principles are not well explored. In this paper, we revisit and compare different contrastive learning strategies in DE-GANs, and identify (i) the current bottleneck of generative performance is the discontinuity of latent space; (ii) compared to other contrastive learning strategies, Instance-perturbation works towards latent space continuity, which brings the major improvement to DE-GANs. Based on these observations, we propose FakeCLR, which only applies contrastive learning on perturbed fake samples, and devises three related training techniques: Noise-related Latent Augmentation, Diversity-aware Queue, and Forgetting Factor of Queue. Our experimental results manifest the new state of the arts on both few-shot generation and limited-data generation. On multiple datasets, FakeCLR acquires more than 15% FID improvement compared to existing DE-GANs. Code is available at https://github.com/iceli1007/FakeCLR.


title: Latent Partition Implicit with Surface Codes for 3D Representation

abstract: Deep implicit functions have shown remarkable shape modeling ability in various 3D computer vision tasks. One drawback is that it is hard for them to represent a 3D shape as multiple parts. Current solutions learn various primitives and blend the primitives directly in the spatial space, which still struggle to approximate the 3D shape accurately. To resolve this problem, we introduce a novel implicit representation to represent a single 3D shape as a set of parts in the latent space, towards both highly accurate and plausibly interpretable shape modeling. Our insight here is that both the part learning and the part blending can be conducted much easier in the latent space than in the spatial space. We name our method Latent Partition Implicit (LPI), because of its ability of casting the global shape modeling into multiple local part modeling, which partitions the global shape unity. LPI represents a shape as Signed Distance Functions (SDFs) using surface codes. Each surface code is a latent code representing a part whose center is on the surface, which enables us to flexibly employ intrinsic attributes of shapes or additional surface properties. Eventually, LPI can reconstruct both the shape and the parts on the shape, both of which are plausible meshes. LPI is a multi-level representation, which can partition a shape into different numbers of parts after training. LPI can be learned without ground truth signed distances, point normals or any supervision for part partition. LPI outperforms the latest methods under the widely used benchmarks in terms of reconstruction accuracy and modeling interpretability. Our code, data and models are available at https://github.com/chenchao15/LPI.


title: Convergence acceleration for the BLUES function method

abstract: A detailed comparison is made between four different iterative procedures: Picard, Ishikawa, Mann and Picard-Krasnoselskii, within the framework of the BLUES function method and the variational iteration method. The resulting modified methods are subsequently applied to a nonlinear reaction-diffusion-advection differential equation to generate approximations to the known exact solution. The differences between the BLUES function method and the variational iteration method are illustrated by studying the approximants and the error between the obtained approximants and the exact solution.


title: Highly collimated microquasar jets as efficient cosmic-ray sources

abstract: Supernova remnants are believed to be the main sites where Galactic cosmic rays originate. This scenario, however, fails to explain some of the features observed in the cosmic-ray spectrum. Microquasars have been proposed as additional candidates, because their non-thermal emission indicates the existence of efficient particle acceleration mechanisms in their jets. A promising scenario envisages the production of relativistic neutrons in the jets, that decay outside the system injecting relativistic protons to the surroundings. The first investigations of this scenario suggest that microquasars might be fairly alternative cosmic-ray sources. We aim at assessing the role played by the degree of collimation of the jet on the cosmic-ray energetics in the neutron-carrier scenario, as well as the properties of the emission region. Our goals are to explain the Galactic component of the observed proton cosmic-ray spectrum at energies higher than $\sim 10$ GeV and to relate the mentioned jet properties with the power and spectral index of the produced cosmic rays. We find that collimated jets, with compact acceleration regions close to the jet base, are very efficient sources that could deliver a fraction of up to $\sim 0.01$ of their relativistic proton luminosity into cosmic rays. Collimation is the most significant feature regarding efficiency; a well collimated jet might be $\sim 4$ orders of magnitude more efficient than a poorly collimated one. The main feature of the presented mechanism is the production of a spectrum with a steeper spectral index ($\sim 2.3$ at energies up to $\sim 10$ TeV) than in the supernova scenario, and closer to what is observed. The predictions of our model may be used to infer the total contribution of the population of Galactic microquasars to the cosmic ray population, and therefore to quantitatively assess their significance as cosmic-ray sources.


title: Enhancing HDR Video Compression through CNN-based Effective Bit Depth Adaptation

abstract: It is well known that high dynamic range (HDR) video can provide more immersive visual experiences compared to conventional standard dynamic range content. However, HDR content is typically more challenging to encode due to the increased detail associated with the wider dynamic range. In this paper, we improve HDR compression performance using the effective bit depth adaptation approach (EBDA). This method reduces the effective bit depth of the original video content before encoding and reconstructs the full bit depth using a CNN-based up-sampling method at the decoder. In this work, we modify the MFRNet network architecture to enable multiple frame processing, and the new network, multi-frame MFRNet, has been integrated into the EBDA framework using two Versatile Video Coding (VVC) host codecs: VTM 16.2 and the Fraunhofer Versatile Video Encoder (VVenC 1.4.0). The proposed approach was evaluated under the JVET HDR Common Test Conditions using the Random Access configuration. The results show coding gains over both the original VVC VTM 16.2 and VVenC 1.4.0 (w/o EBDA) on JVET HDR tested sequences, with average bitrate savings of 2.9% (over VTM) and 4.8% (against VVenC) based on the Bjontegaard Delta measurement. The source code of multi-frame MFRNet has been released at https://github.com/fan-aaron-zhang/MF-MFRNet.


title: GOAL: Towards Benchmarking Few-Shot Sports Game Summarization

abstract: Sports game summarization aims to generate sports news based on real-time commentaries. The task has attracted wide research attention but is still under-explored probably due to the lack of corresponding English datasets. Therefore, in this paper, we release GOAL, the first English sports game summarization dataset. Specifically, there are 103 commentary-news pairs in GOAL, where the average lengths of commentaries and news are 2724.9 and 476.3 words, respectively. Moreover, to support the research in the semi-supervised setting, GOAL additionally provides 2,160 unlabeled commentary documents. Based on our GOAL, we build and evaluate several baselines, including extractive and abstractive baselines. The experimental results show the challenges of this task still remain. We hope our work could promote the research of sports game summarization. The dataset has been released at https://github.com/krystalan/goal.


title: The bright side of the light curve: a general photometric model of non-transiting exorings

abstract: Rings around exoplanets (exorings) are one of the most expected discoveries in exoplanetary research. There is an increasing number of theoretical and observational efforts for detecting exorings, but none of them have succeeded yet. Most of those methods focus on the photometric signatures of exorings during transits, whereas less attention has been paid to light diffusely reflected: what we denote here as the bright side of the light curve. This is particularly important when we cannot detect the typical stellar flux drop produced by transiting exoplanets. Here, we endeavour to develop a general method to model the variations on the light curves of both ringed non-transiting and transiting exoplanets. Our model (dubbed as Pryngles) simulates the complex interaction of luminous, opaque, and semitransparent objects in planetary systems, discretizing their surface with small circular plane discs that resemble sequins or spangles. We perform several numerical experiments with this model, and show its incredible potential to describe the light curve of complex systems under various orbital, planetary, and observational configurations of planets, moons, rings, or discs. As our model uses a very general approach, we can capture effects like shadows or planetary/ring shine, and since the model is also modular we can easily integrate arbitrarily complex physics of planetary light scattering. A comparison against existing tools and analytical models of reflected light reveals that our model, despite its novel features, reliably reproduces light curves under common circumstances. Pryngles source code is written in PYTHON and made publicly available.


title: Outflows and spectral evolution in the eclipsing AMXP SWIFT J1749.4-2807 with NICER, XMM-Newton and NuSTAR

abstract: The neutron star low-mass X-ray binary SWIFT J1749.4-2807 is the only known eclipsing accreting millisecond X-ray pulsar. In this manuscript we perform a spectral characterization of the system throughout its 2021, two-week-long outburst, analyzing 11 NICER observations and quasi-simultaneous XMM-Newton and NuSTAR single observations at the outburst peak. The broadband spectrum is well-modeled with a black body component with a temperature of $\sim$0.6 keV, most likely consistent with a hot spot on the neutron star surface, and a Comptonisation spectrum with power-law index $\Gamma \sim 1.9$, arising from a hot corona at $\sim$12 keV. No direct emission from the disc was found, possibly due to it being too cool. A high truncation radius for the disc, i.e., at $\sim$20--30 R$_{G}$ , was obtained from the analysis of the broadened profile of the Fe line in the reflection component. The significant detection of a blue-shifted Fe XXVI absorption line at $\sim$7 keV indicates weakly relativistic X-ray disc winds, which are typically absent in the hard state of X-ray binaries. By comparing the low flux observed during the outburst and the one expected in a conservative mass-transfer, we conclude that mass-transfer in the system is highly non-conservative, as also suggested by the wind detection. Finally, using the Nicer spectra alone, we followed the system while it was fading to quiescence. During the outburst decay, as the spectral shape hardened, the hot spot on the neutron star surface cooled down and shrank, a trend which could be consistent with the pure power-law spectrum observed during quiescence.


title: Signals from the Early Universe: Black Holes, Gravitational Waves and Particle Physics

abstract: We dedicate this thesis to the study of signatures coming from the primordial epochs of the universe. We will focus in particular on Primordial Black Holes (PBHs), which may be formed from perturbations generated during inflation and might comprise a fraction of the dark matter in the universe. In the first part of the thesis, we will address the PBH properties at the time of formation, that are their masses, spins and abundance, and investigate the generation of Gravitational Wave (GW) signals during their production. In the second part, we will describe the PBHs evolution across the cosmic history due to their assemble in binaries, phases of baryonic mass accretion and clustering effects. We will then discuss GW signatures coming from their coalescence, compare these predictions with present GW data detected by the LIGO/Virgo Collaboration (LVC) and assess the role of future GW experiments like 3G detectors and LISA in discovering these objects. Finally, in the third part, we will investigate some aspects of the interplay between black holes and fundamental physics in the early universe, focusing on the role of GWs to shed light on their properties.


title: Embedding theorem for flexible varieties

abstract: Let $Z$ be an affine algebraic variety and $X$ be a smooth flexible variety. We develop some criteria under which $Z$ admits a closed embedding into $X$. In particular, we show that if $X$ is isomorphic (as an algebraic variety) to a special linear group and $\dim X \geq \max(2\dim Z+1, \dim TZ)$, then $Z$ admits a closed embedding into $X$.


title: Lightweight Automated Feature Monitoring for Data Streams

abstract: Monitoring the behavior of automated real-time stream processing systems has become one of the most relevant problems in real world applications. Such systems have grown in complexity relying heavily on high dimensional input data, and data hungry Machine Learning (ML) algorithms. We propose a flexible system, Feature Monitoring (FM), that detects data drifts in such data sets, with a small and constant memory footprint and a small computational cost in streaming applications. The method is based on a multi-variate statistical test and is data driven by design (full reference distributions are estimated from the data). It monitors all features that are used by the system, while providing an interpretable features ranking whenever an alarm occurs (to aid in root cause analysis). The computational and memory lightness of the system results from the use of Exponential Moving Histograms. In our experimental study, we analyze the system's behavior with its parameters and, more importantly, show examples where it detects problems that are not directly related to a single feature. This illustrates how FM eliminates the need to add custom signals to detect specific types of problems and that monitoring the available space of features is often enough.


title: There are infinitely many (-1,1)-Carmichael numbers

abstract: We prove that there exist infinitely many (-1,1)-Carmichael numbers, that is, square-free, composite integers n such that p+1 divides n-1 for each prime p dividing n.


title: PARSEC V2.0: Stellar tracks and isochrones of low and intermediate mass stars with rotation

abstract: We present a new comprehensive collection of stellar evolutionary tracks and isochrones for rotating low- and intermediate-mass stars assembled with the updated version of PARSEC V2.0. This version includes our recent calibration of the extra mixing from overshooting and rotation, as well as several improvements in nuclear reaction network, treatment of convective zones, mass loss and other physical input parameters. The initial mass of the stellar models covers the range from 0.09 $M_\odot$ to 14 $M_\odot$, for six sets of initial metallicity, from Z=0.004 to Z=0.017. Rotation is considered for stars above $\sim 1 M_\odot$ with a smooth transition between non rotating and extremely fast-rotating models, based on the initial mass. For stars more massive than $\sim 1.3~M_\odot$ the full rotation range, from low to the critical one, is considered. We adopt the solar-scaled chemical mixture by Caffau et al. with Z$_\odot$ = 0.01524. All the evolutionary phases from the pre-main-sequence to the first few thermal-pulses on the asymptotic-giant-branch or central C exhaustion, are considered. The corresponding theoretical isochrones are further derived with TRILEGAL code and are converted in several photometric systems, taking into account different inclination angles. Besides magnitudes, they also offer many other stellar observables in line with the data that are being provided by current large surveys. The new collection is fully integrated in a user friendly WEB interface for the benefit of easily performing stellar population studies.


title: A Sublinear-Time Quantum Algorithm for Approximating Partition Functions

abstract: We present a novel quantum algorithm for estimating Gibbs partition functions in sublinear time with respect to the logarithm of the size of the state space. This is the first speed-up of this type to be obtained over the seminal nearly-linear time algorithm of \v{S}tefankovi\v{c}, Vempala and Vigoda [JACM, 2009]. Our result also preserves the quadratic speed-up in precision and spectral gap achieved in previous work by exploiting the properties of quantum Markov chains. As an application, we obtain new polynomial improvements over the best-known algorithms for computing the partition function of the Ising model, counting the number of $k$-colorings, matchings or independent sets of a graph, and estimating the volume of a convex body. Our approach relies on developing new variants of the quantum phase and amplitude estimation algorithms that return nearly unbiased estimates with low variance and without destroying their initial quantum state. We extend these subroutines into a nearly unbiased quantum mean estimator that reduces the variance quadratically faster than the classical empirical mean. No such estimator was known to exist prior to our work. These properties, which are of general interest, lead to better convergence guarantees within the paradigm of simulated annealing for computing partition functions.

categories: quant-ph cs.CC cs.DS math.ST stat.ML stat.TH


title: Degree $3$ relative invariant for unitary involutions

abstract: Using the Rost invariant for non split simply connected groups, we define a relative degree $3$ cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type ${\sf A}$. If the underlying algebra is split, it can be reinterpreted in terms of the Arason invariant of quadratic forms, using the trace form of a hermitian form. When the algebra with unitary involution has a symplectic or orthogonal descent, or a symplectic or orthogonal quadratic extension, we provide comparison theorems between the corresponding invariants of unitary and orthogonal or symplectic types. We also prove the relative invariant is classifying in degree $4$, at least up to conjugation by the non-trivial automorphism of the underlying quadratic extension. In general, choosing a particular base point, the relative invariant also produces absolute Arason invariants, under some additional condition on the underlying algebra. Notably, if the algebra has even co-index, so that it admits a hyperbolic involution, which is unique up to isomorphism, we get a so-called {\em hyperbolic} Arason invariant. Assuming in addition the algebra has degree $8$, we may also define a {\em decomposable} Arason invariant. It generally does not coincide with the hyperbolic Arason invariant, as the hyperbolic involution need not be totally decomposable.


title: Active Exploration for Inverse Reinforcement Learning

abstract: Inverse Reinforcement Learning (IRL) is a powerful paradigm for inferring a reward function from expert demonstrations. Many IRL algorithms require a known transition model and sometimes even a known expert policy, or they at least require access to a generative model. However, these assumptions are too strong for many real-world applications, where the environment can be accessed only through sequential interaction. We propose a novel IRL algorithm: Active exploration for Inverse Reinforcement Learning (AceIRL), which actively explores an unknown environment and expert policy to quickly learn the expert's reward function and identify a good policy. AceIRL uses previous observations to construct confidence intervals that capture plausible reward functions and find exploration policies that focus on the most informative regions of the environment. AceIRL is the first approach to active IRL with sample-complexity bounds that does not require a generative model of the environment. AceIRL matches the sample complexity of active IRL with a generative model in the worst case. Additionally, we establish a problem-dependent bound that relates the sample complexity of AceIRL to the suboptimality gap of a given IRL problem. We empirically evaluate AceIRL in simulations and find that it significantly outperforms more naive exploration strategies.


title: A Graph-based Algorithm for Robust Sequential Localization Exploiting Multipath for Obstructed-LOS-Bias Mitigation

abstract: This paper presents a factor graph formulation and particle-based sum-product algorithm (SPA) for robust sequential localization in multipath-prone environments. The proposed algorithm jointly performs data association, sequential estimation of a mobile agent position, and adapts all relevant model parameters. We derive a novel non-uniform false alarm (FA) model that captures the delay and amplitude statistics of the multipath radio channel. This model enables the algorithm to indirectly exploit position-related information contained in the multipath components (MPCs) for the estimation of the agent position without using any prior information such as floorplan information or training data. Using simulated and real measurements in different channel conditions, we demonstrate that the algorithm can provide high-accuracy position estimates even in fully obstructed line-of-sight (OLOS) situations and show that the performance of our algorithm constantly attains the posterior Cramer-Rao lower bound (P-CRLB), facilitating the additional information contained in the presented FA model. The algorithm is shown to provide robust estimates in both, dense multipath channels as well as channels showing specular, resolved MPCs, significantly outperforming state-of-the-art radio-based localization methods.


title: Ultra-sensitive Super-THz Microwave Kinetic Inductance Detectors for future space telescopes

abstract: Future actively cooled space-borne observatories for the far-infrared, loosely defined as a 1--10 THz band, can potentially reach a sensitivity limited only by background radiation from the Universe. This will result in an increase in observing speed of many orders of magnitude. A spectroscopic instrument on such an observatory requires large arrays of detectors with a sensitivity expressed as a noise equivalent power NEP = 3 $\times 10^{-20}$ $W\surd{Hz}$. We present the design, fabrication, and characterisation of microwave kinetic inductance detectors (MKIDs) for this frequency range reaching the required sensitivity. The devices are based on thin-film NbTiN resonators which use lens-antenna coupling to a submicron-width aluminium transmission line at the shorted end of the resonator where the radiation is absorbed. We optimised the MKID geometry for a low NEP by using a small aluminium volume of $\approx$ 1$\mu m^3$ and fabricating the aluminium section on a very thin (100 nm) SiN membrane. Both methods of optimisation also reduce the effect of excess noise by increasing the responsivity of the device, which is further increased by reducing the parasitic geometrical inductance of the resonator. We measure the sensitivity of eight MKIDs with respect to the power absorbed in the detector using a thermal calibration source filtered in a narrow band around 1.55 THz. We obtain a NEP$_{exp}(P_{abs})\:=\:3.1\pm0.9\times10^{-20}\:W\surd{Hz}$ at a modulation frequency of 200 Hz averaged over all measured MKIDs. The NEP is limited by quasiparticle trapping. The measured sensitivity is sufficient for spectroscopic observations from future, actively cooled space-based observatories. Moreover, the presented device design and assembly can be adapted for frequencies up to $\approx$ 10 THz and can be readily implemented in kilopixel arrays.


title: Interpolation, extrapolation, and local generalization in common neural networks

abstract: There has been a long history of works showing that neural networks have hard time extrapolating beyond the training set. A recent study by Balestriero et al. (2021) challenges this view: defining interpolation as the state of belonging to the convex hull of the training set, they show that the test set, either in input or neural space, cannot lie for the most part in this convex hull, due to the high dimensionality of the data, invoking the well known curse of dimensionality. Neural networks are then assumed to necessarily work in extrapolative mode. We here study the neural activities of the last hidden layer of typical neural networks. Using an autoencoder to uncover the intrinsic space underlying the neural activities, we show that this space is actually low-dimensional, and that the better the model, the lower the dimensionality of this intrinsic space. In this space, most samples of the test set actually lie in the convex hull of the training set: under the convex hull definition, the models thus happen to work in interpolation regime. Moreover, we show that belonging to the convex hull does not seem to be the relevant criteria. Different measures of proximity to the training set are actually better related to performance accuracy. Thus, typical neural networks do seem to operate in interpolation regime. Good generalization performances are linked to the ability of a neural network to operate well in such a regime.


title: Analyzing trends in precipitation patterns using Hidden Markov model stochastic weather generators

abstract: We develop a flexible spline-based Bayesian hidden Markov model stochastic weather generator to statistically model daily precipitation over time by season at individual locations. The model naturally accounts for missing data (considered missing at random), avoiding potential sensitivity from systematic missingness patterns or from using arbitrary cutoffs to deal with missingness when computing metrics on daily precipitation data. The fitted model can then be used for inference about trends in arbitrary measures of precipitation behavior, either by multiple imputation of the missing data followed by frequentist analysis or by simulation from the Bayesian posterior predictive distribution. We show that the model fits the data well, including a variety of multi-day characteristics, indicating fidelity to the autocorrelation structure of the data. Using three stations from the western United States, we develop case studies in which we assess trends in various aspects of precipitation (such as dry spell length and precipitation intensity), finding only limited evidence of trends in certain seasons based on the use of Sen's slope as a nonparametric measure of trend. In future work, we plan to apply the method to the complete set of GHCN stations in selected regions to systematically assess the evidence for trends.


title: Upper Limb Movement Recognition utilising EEG and EMG Signals for Rehabilitative Robotics

abstract: Upper limb movement classification, which maps input signals to the target activities, is a key building block in the control of rehabilitative robotics. Classifiers are trained for the rehabilitative system to comprehend the desires of the patient whose upper limbs do not function properly. Electromyography (EMG) signals and Electroencephalography (EEG) signals are used widely for upper limb movement classification. By analysing the classification results of the real-time EEG and EMG signals, the system can understand the intention of the user and predict the events that one would like to carry out. Accordingly, it will provide external help to the user. However, the noise in the real-time EEG and EMG data collection process contaminates the effectiveness of the data, which undermines classification performance. Moreover, not all patients process strong EMG signals due to muscle damage and neuromuscular disorder. To address these issues, this paper explores different feature extraction techniques and machine learning and deep learning models for EEG and EMG signals classification and proposes a novel decision-level multisensor fusion technique to integrate EEG signals with EMG signals. This system retrieves effective information from both sources to understand and predict the desire of the user, and thus aid. By testing out the proposed technique on a publicly available WAY-EEG-GAL dataset, which contains EEG and EMG signals that were recorded simultaneously, we manage to conclude the feasibility and effectiveness of the novel system.


title: Boolean Decision Rules for Reinforcement Learning Policy Summarisation

abstract: Explainability of Reinforcement Learning (RL) policies remains a challenging research problem, particularly when considering RL in a safety context. Understanding the decisions and intentions of an RL policy offer avenues to incorporate safety into the policy by limiting undesirable actions. We propose the use of a Boolean Decision Rules model to create a post-hoc rule-based summary of an agent's policy. We evaluate our proposed approach using a DQN agent trained on an implementation of a lava gridworld and show that, given a hand-crafted feature representation of this gridworld, simple generalised rules can be created, giving a post-hoc explainable summary of the agent's policy. We discuss possible avenues to introduce safety into a RL agent's policy by using rules generated by this rule-based model as constraints imposed on the agent's policy, as well as discuss how creating simple rule summaries of an agent's policy may help in the debugging process of RL agents.


title: Shedding light on low-mass subhalo survival and annihilation luminosity with numerical simulations

abstract: In this work, we carry out a suite of specially-designed numerical simulations to shed further light on dark matter (DM) subhalo survival at mass scales relevant for gamma-ray DM searches, a topic subject to intense debate nowadays. Specifically, we have developed and employed an improved version of DASH, a GPU $N$-body code, to study the evolution of low-mass subhaloes inside a Milky Way-like halo with unprecedented accuracy, reaching solar-mass and sub-parsec resolution in our simulations. We simulate subhaloes with varying mass, concentration, and orbital properties, and consider the effect of the gravitational potential of the Milky Way galaxy itself. More specifically, we analyze the evolution of both the bound mass fraction and annihilation luminosity of subhaloes, finding that most subhaloes survive until present time, even though in some cases they lose more than 99% of their mass at accretion. Baryons in the host induce a much more severe mass loss, especially when the subhalo orbit is more parallel to the galactic disk. Many of these subhaloes cross the solar galactocentric radius, thus making it easier to detect their annihilation fluxes from Earth. We find subhaloes orbiting a DM-only halo with a pericentre in the solar vicinity to lose 70-90% of their initial annihilation luminosity at redshift zero, which increases up to 99% when baryons are also included in the host. We find a strong relation between subhalo's mass loss and the effective tidal field at pericentre. Indeed, much of the dependence on concentration, orbital parameters, host potential and baryonic components can be explained through this single parameter. In addition to shedding light on the survival of low-mass galactic subhaloes, our results can provide detailed predictions that will aid current and future quests for the nature of DM.


title: Leveraging Action Affinity and Continuity for Semi-supervised Temporal Action Segmentation

abstract: We present a semi-supervised learning approach to the temporal action segmentation task. The goal of the task is to temporally detect and segment actions in long, untrimmed procedural videos, where only a small set of videos are densely labelled, and a large collection of videos are unlabelled. To this end, we propose two novel loss functions for the unlabelled data: an action affinity loss and an action continuity loss. The action affinity loss guides the unlabelled samples learning by imposing the action priors induced from the labelled set. Action continuity loss enforces the temporal continuity of actions, which also provides frame-wise classification supervision. In addition, we propose an Adaptive Boundary Smoothing (ABS) approach to build coarser action boundaries for more robust and reliable learning. The proposed loss functions and ABS were evaluated on three benchmarks. Results show that they significantly improved action segmentation performance with a low amount (5% and 10%) of labelled data and achieved comparable results to full supervision with 50% labelled data. Furthermore, ABS succeeded in boosting performance when integrated into fully-supervised learning.


title: Parallel and anti-parallel helical surface states for topological semimetals

abstract: Weyl points, carrying a Z-type monopole charge C, have bulk-surface correspondence (BSC) associated with helical surface states (HSSs). When |C| > 1, multi-HSSs can appear in a parallel manner. However, when a pair of Weyl points carrying C = \pm 1 meet, a Dirac point carrying C = 0 can be obtained and the BSC vanishes. Nonetheless, a recent study in Ref. [arXiv:2201.03238] shows that a new BSC can survive for Dirac points when the system has time-reversal (T )-glide (G) symmetry ({\Theta}=TG), i.e., anti-parallel double/quad-HSSs associated with a new Z2-type monopole charge Q appears. In this paper, we systematically review and discuss both the parallel and anti-parallel multi-HSSs for Weyl and Dirac points, carrying two different kinds of monopole charges. Two material examples are offered to understand the whole configuration of multi-HSSs. One carries the Z-type monopole charge C, shows both local and global topology for three kinds of Weyl points, and it leads to parallel multi-HSSs. The other carries the Z2-type monopole charge Q, only showing the global topology for {\Theta}-invariant Dirac points, and it is accompanied by antiparallel multi-HSSs. These diverse topological surface states not only offer the local and global topology for the bulk degeneracy but also offer platforms to various topological phases.


title: An Enhanced Graph Representation for Machine Learning Based Automatic Intersection Management

abstract: The improvement of traffic efficiency at urban intersections receives strong research interest in the field of automated intersection management. So far, mostly non-learning algorithms like reservation or optimization-based ones were proposed to solve the underlying multi-agent planning problem. At the same time, automated driving functions for a single ego vehicle are increasingly implemented using machine learning methods. In this work, we build upon a previously presented graph-based scene representation and graph neural network to approach the problem using reinforcement learning. The scene representation is improved in key aspects by using edge features in addition to the existing node features for the vehicles. This leads to an increased representation quality that is leveraged by an updated network architecture. The paper provides an in-depth evaluation of the proposed method against baselines that are commonly used in automatic intersection management. Compared to a traditional signalized intersection and an enhanced first-in-first-out scheme, a significant reduction of induced delay is observed at varying traffic densities. Finally, the generalization capability of the graph-based representation is evaluated by testing the policy on intersection layouts not seen during training. The model generalizes virtually without restrictions to smaller intersection layouts and within certain limits to larger ones.


title: Towards High-Fidelity Single-view Holistic Reconstruction of Indoor Scenes

abstract: We present a new framework to reconstruct holistic 3D indoor scenes including both room background and indoor objects from single-view images. Existing methods can only produce 3D shapes of indoor objects with limited geometry quality because of the heavy occlusion of indoor scenes. To solve this, we propose an instance-aligned implicit function (InstPIFu) for detailed object reconstruction. Combining with instance-aligned attention module, our method is empowered to decouple mixed local features toward the occluded instances. Additionally, unlike previous methods that simply represents the room background as a 3D bounding box, depth map or a set of planes, we recover the fine geometry of the background via implicit representation. Extensive experiments on the SUN RGB-D, Pix3D, 3D-FUTURE, and 3D-FRONT datasets demonstrate that our method outperforms existing approaches in both background and foreground object reconstruction. Our code and model will be made publicly available.


title: Galaxy Distribution Incompleteness Testing Using Self-Organizing Maps

abstract: The calibration of redshift distributions for photometric samples using spectroscopic surveys is plagued by the difficulty in modelling the selection functions of spectroscopic surveys. In this work, we analyse how these selection functions impact redshift inference and quantify the induced biases using local calibration tests in photometry space. The study is carried out using simulations that mimic the radial selection function of a spectroscopic survey and an accompanying mock catalog of a photometric galaxy survey catalog. We use a self-organizing map to partition the photometry space and perform a local $\chi^2$ test to study the probability calibration of redshift inferences that use the spectroscopic data for calibration. The goal of this work is to investigate the effect of uncorrected selection functions in the calibration data on redshift prediction accuracy and critically discuss mitigation methods. In particular we test culling-based bias correction techniques, that aim to remove redshift calibration biases by identifying regions in photometry with few spectroscopic calibration data, and propose avenues for future research. We found that removing regions in color-magnitude space that are underpopulated with spectroscopic calibration data does not remove all biases in redshift inference induced by the selection function.


title: Elastic disk with isoperimetric Cosserat coating

abstract: A circular elastic disk is coated with an elastic beam, absorbing shear and normal forces without deformation and linearly reacting to a bending moment with a change in curvature. The inexstensibility of the elastic beam introduces an isoperimetric constraint, so that the length of the initial circumference of the disk is constrained to remain fixed during the loading of the disk/coating system. The mechanical model for this system is formulated, solved for general loading, and particularized to the case of two equal and opposite traction distributions, each applied on a small boundary segment (thus modelling indentation of a coated fiber). The stress fields, obtained via complex potentials, are shown to evidence a nice correspondence with photoelastic experiments, ad hoc designed and performed. The presented results are useful for the design of coated fibers at the micro and nano scales.


title: Helson zeta functions for characters with finitely many values

abstract: We show that the analytic continuations of Helson zeta functions $ \zeta_\chi (s)= \sum_1^{\infty}\chi(n)n^{-s} $ can have essentially arbitrary poles and zeroes in the strip $ 21/40 < \Re s < 1 $ (unconditionally), and in the whole critical strip $ 1/2 < \Re s <1 $ under Riemann Hypothesis for the function $ \chi $ taking values in cubic roots of unity. If the sets are symmetric with respect to the real axis, the same can be achieved with $ \chi $ taking values $ \pm 1 $.


title: Probing the electromagnetic properties of the $\Sigma_c^{(*)}D^{(*)}$-type doubly charmed molecular pentaquarks

abstract: In this work, we discuss the electromagnetic properties of the $S$-wave $\Sigma_c^{(*)}D^{(*)}$-type doubly charmed molecular pentaquarks, which have close relation to their inner structures. Both the $S$-$D$ wave mixing effect and the coupled channel effect are taken into account. We analyze the magnetic moments for the $S$-wave $\Sigma_c^{(*)}D^{(*)}$ molecular states, and extend our theoretical framework to study the transition magnetic moments and the radiative decay widths between the $S$-wave $\Sigma_c^{(*)}D^{(*)}$ molecules. We discuss the relations between the magnetic moments and the transition magnetic moments for the $S$-wave $\Sigma_c^{(*)}D^{(*)}$-type doubly charmed molecular pentaquarks, which can be regarded as an indirect way to measure their magnetic moments experimentally. The present study may inspire experimentalist's interest in measuring the electromagnetic properties of the hadronic molecular states.


title: Spectroscopy from Machine Learning by Accurately Representing the Atomic Polar Tensor

abstract: Vibrational spectroscopy is a key technique to elucidate microscopic structure and dynamics. Without the aid of theoretical approaches, it is however, often difficult to understand such spectra at a microscopic level. Ab initio molecular dynamics have repeatedly proved to be suitable for this purpose, however, the computational cost can be daunting. Here, the E(3)-equivariant neural network e3nn is used to fit the atomic polar tensor of liquid water a posteriori on top of existing molecular dynamics simulations. Notably, the introduced methodology is general and thus transferable to any other system as well. The target property is most fundamental, gives access to the IR spectrum and, more importantly, it is a highly powerful tool to directly assign IR spectral features to nuclear motion -- a connection which has been pursued in the past but only using severe approximations due to the prohibitive computational cost. The herein introduced methodology overcomes this bottleneck. To benchmark the machine learning model, the IR spectrum of liquid water is calculated, indeed showing excellent agreement with the explicit reference calculation. In conclusion, the presented methodology gives a new route to calculate accurate IR spectra from molecular dynamics simulations and will facilitate the understanding of such spectra on a microscopic level.


title: Hidden freedom in the mode expansion on static spacetimes

abstract: We review the construction of ground states focusing on a real scalar field whose dynamics is ruled by the Klein-Gordon equation on a large class of static spacetimes. As in the analysis of the classical equations of motion, when enough isometries are present, via a mode expansion the construction of two-point correlation functions boils down to solving a second order, ordinary differential equation on an interval of the real line. Using the language of Sturm-Liouville theory, most compelling is the scenario when one endpoint of such interval is classified as a limit circle, as it often happens when one is working on globally hyperbolic spacetimes with a timelike boundary. In this case, beyond initial data, one needs to specify a boundary condition both to have a well-defined classical dynamics and to select a corresponding ground state. Here, we take into account boundary conditions of Robin type by using well-known results from Sturm-Liouville theory, but we go beyond the existing literature by exploring an unnoticed freedom that emerges from the intrinsic arbitrariness of secondary solutions at a limit circle endpoint. Accordingly, we show that infinitely many one-parameter families of sensible dynamics are admissible. In other words, we emphasize that physical constraints guaranteeing the construction of full-fledged ground states do not, in general, fix one such state unambiguously. In addition, we provide, in full detail, an example on $(1 + 1)$-half Minkowski spacetime to spell out the rationale in a specific scenario where analytic formulae can be obtained.


title: A comparative study of deconvolution techniques for quantum-gas microscope images

abstract: Quantum-gas microscopes are used to study ultracold atoms in optical lattices at the single particle level. In these system atoms are localised on lattice sites with separations close to or below the diffraction limit. To determine the lattice occupation with high fidelity, a deconvolution of the images is often required. We compare three different techniques, a local iterative deconvolution algorithm, Wiener deconvolution and the Lucy-Richardson algorithm, using simulated microscope images. We investigate how the reconstruction fidelity scales with varying signal-to-noise ratio, lattice filling fraction, varying fluorescence levels per atom, and imaging resolution. The results of this study identify the limits of singe-atom detection and provide quantitative fidelities which are applicable for different atomic species and quantum-gas microscope setups.


title: Action-based Contrastive Learning for Trajectory Prediction

abstract: Trajectory prediction is an essential task for successful human robot interaction, such as in autonomous driving. In this work, we address the problem of predicting future pedestrian trajectories in a first person view setting with a moving camera. To that end, we propose a novel action-based contrastive learning loss, that utilizes pedestrian action information to improve the learned trajectory embeddings. The fundamental idea behind this new loss is that trajectories of pedestrians performing the same action should be closer to each other in the feature space than the trajectories of pedestrians with significantly different actions. In other words, we argue that behavioral information about pedestrian action influences their future trajectory. Furthermore, we introduce a novel sampling strategy for trajectories that is able to effectively increase negative and positive contrastive samples. Additional synthetic trajectory samples are generated using a trained Conditional Variational Autoencoder (CVAE), which is at the core of several models developed for trajectory prediction. Results show that our proposed contrastive framework employs contextual information about pedestrian behavior, i.e. action, effectively, and it learns a better trajectory representation. Thus, integrating the proposed contrastive framework within a trajectory prediction model improves its results and outperforms state-of-the-art methods on three trajectory prediction benchmarks [31, 32, 26].


title: Drug prescription clusters in the UK Biobank: An assessment of drug-drug interactions and patient outcomes in a large patient cohort

abstract: In recent decades, there has been an increase in polypharmacy, the concurrent administration of multiple drugs per patient. Studies have shown that polypharmacy is linked to adverse patient outcomes and there is interest in elucidating the exact causes behind this observation. In this paper, we are studying the relationship between drug prescriptions, drug-drug interactions (DDIs) and patient mortality. Our focus is not so much on the number of prescribed drugs, the typical metric in polypharmacy research, but rather on the specific combinations of drugs leading to a DDI. To learn the space of real-world drug combinations, we first assessed the drug prescription landscape of the UK Biobank, a large patient data registry. We observed distinct drug constellation patterns driven by the UK Biobank participants' disease status. We show that these drug prescription clusters matter in terms of the number and types of expected DDIs, and may possibly explain observed differences in health outcomes.


title: Learning useful representations for radio astronomy "in the wild" with contrastive learning

abstract: Unknown class distributions in unlabelled astrophysical training data have previously been shown to detrimentally affect model performance due to dataset shift between training and validation sets. For radio galaxy classification, we demonstrate in this work that removing low angular extent sources from the unlabelled data before training produces qualitatively different training dynamics for a contrastive model. By applying the model on an unlabelled data-set with unknown class balance and sub-population distribution to generate a representation space of radio galaxies, we show that with an appropriate cut threshold we can find a representation with FRI/FRII class separation approaching that of a supervised baseline explicitly trained to separate radio galaxies into these two classes. Furthermore we show that an excessively conservative cut threshold blocks any increase in validation accuracy. We then use the learned representation for the downstream task of performing a similarity search on rare hybrid sources, finding that the contrastive model can reliably return semantically similar samples, with the added bonus of finding duplicates which remain after pre-processing.


title: pGMM Kernel Regression and Comparisons with Boosted Trees

abstract: In this work, we demonstrate the advantage of the pGMM (``powered generalized min-max'') kernel in the context of (ridge) regression. In recent prior studies, the pGMM kernel has been extensively evaluated for classification tasks, for logistic regression, support vector machines, as well as deep neural networks. In this paper, we provide an experimental study on ridge regression, to compare the pGMM kernel regression with the ordinary ridge linear regression as well as the RBF kernel ridge regression. Perhaps surprisingly, even without a tuning parameter (i.e., $p=1$ for the power parameter of the pGMM kernel), the pGMM kernel already performs well. Furthermore, by tuning the parameter $p$, this (deceptively simple) pGMM kernel even performs quite comparably to boosted trees. Boosting and boosted trees are very popular in machine learning practice. For regression tasks, typically, practitioners use $L_2$ boost, i.e., for minimizing the $L_2$ loss. Sometimes for the purpose of robustness, the $L_1$ boost might be a choice. In this study, we implement $L_p$ boost for $p\geq 1$ and include it in the package of ``Fast ABC-Boost''. Perhaps also surprisingly, the best performance (in terms of $L_2$ regression loss) is often attained at $p>2$, in some cases at $p\gg 2$. This phenomenon has already been demonstrated by Li et al (UAI 2010) in the context of k-nearest neighbor classification using $L_p$ distances. In summary, the implementation of $L_p$ boost provides practitioners the additional flexibility of tuning boosting algorithms for potentially achieving better accuracy in regression applications.


title: Modelling uncertainties in wide binary constraints on primordial black holes

abstract: Dark matter in the form of compact objects with mass $M_{\rm co} \gtrsim 10 M_{\odot}$ can be constrained by its dynamical effects on wide binary stars. Motivated by the recent interest in Primordial Black Hole dark matter, we revisit the theoretical modelling involved in these constraints. We improve on previous studies in several ways. Specifically, we i) implement a physically motivated model for the initial wide-binary semi-major axis distribution, ii) include unbound binaries, and iii) take into account the uncertainty in the relationship between semi-major axis and observed angular separation. These effects all tend to increase the predicted number of wide binaries (for a given compact object population). Therefore the constraints on the halo fraction in compact objects, $f_{\rm co}$, are significantly weakened. For the wide binary sample used in the most recent calculation of the constraints, we find the fraction of halo dark matter in compact objects is $f_{\rm co} < 1$ for $M_{\rm co} \approx 300 \, M_{\odot}$, tightening with increasing $M_{\rm co}$ to $f_{\rm co} < 0.26$ for $M_{\rm co} \gtrsim 1000 \, M_{\odot}$.


title: Lipschitz Continuity of Spectra of Pseudodifferential Operators in a Weighted Sj\"ostrand Class and Gabor Frame Bounds

abstract: We study one-parameter families of pseudodifferential operators whose Weyl symbols are obtained by dilation and a smooth deformation of a symbol in a weighted Sj\"ostrand class. We show that their spectral edges are Lipschitz continuous functions of the dilation or deformation parameter. Suitably local estimates hold also for the edges of every spectral gap. These statements extend Bellissard's seminal results on the Lipschitz continuity of spectral edges for families of operators with periodic symbols to a large class of symbols with only mild regularity assumptions. The abstract results are used to prove that the frame bounds of a family of Gabor systems $\mathcal{G}(g,\alpha\Lambda)$, where $\Lambda$ is a set of non-uniform time-frequency shifts, $\alpha>0$, and $g\in M^1_2(\mathbb{R}^d)$, are Lipschitz continuous functions in $\alpha$. This settles a question about the precise blow-up rate of the condition number of Gabor frames near the critical density.


title: Gradient-based data and parameter dimension reduction for Bayesian models: an information theoretic perspective

abstract: We consider the problem of reducing the dimensions of parameters and data in non-Gaussian Bayesian inference problems. Our goal is to identify an "informed" subspace of the parameters and an "informative" subspace of the data so that a high-dimensional inference problem can be approximately reformulated in low-to-moderate dimensions, thereby improving the computational efficiency of many inference techniques. To do so, we exploit gradient evaluations of the log-likelihood function. Furthermore, we use an information-theoretic analysis to derive a bound on the posterior error due to parameter and data dimension reduction. This bound relies on logarithmic Sobolev inequalities, and it reveals the appropriate dimensions of the reduced variables. We compare our method with classical dimension reduction techniques, such as principal component analysis and canonical correlation analysis, on applications ranging from mechanics to image processing.


title: A Brief History of Hawking's Information Paradox

abstract: In this invited review, we describe Hawking's information paradox and a recently proposed resolution of it. Explicit calculations demonstrate the existence of quantum hair on black holes, meaning that the quantum state of the external graviton field depends on the internal state of the black hole. Simple quantum mechanics then implies that Hawking radiation amplitudes depend on the internal state, resulting in a pure final radiation state that preserves unitarity and, importantly, violates a factorization assumption which is central to the original paradox. Black hole information is encoded in entangled macroscopic superposition states of the radiation.


title: Ultra-efficient mid-infrared energy absorption by water confined in carbon nanotubes

abstract: The energy absorption on nanometer scale is vital for many bio and chemical systems. We report here that a two times amplification in absorption efficiency can be achieved by water molecules confined in carbon nanotubes with small radius, compared with situations in normal bulk water, under irradiations of short mid-infrared pulses. The effect of confinement due to a (6,6) carbon nanotube is found to be very robust, equivalent to that of a 5 $V/nm$ static electric field. These findings are instructive not only for designing high-efficiency nano devices but also for understanding behaviours in biological channels.


title: Back to the Manifold: Recovering from Out-of-Distribution States

abstract: Learning from previously collected datasets of expert data offers the promise of acquiring robotic policies without unsafe and costly online explorations. However, a major challenge is a distributional shift between the states in the training dataset and the ones visited by the learned policy at the test time. While prior works mainly studied the distribution shift caused by the policy during the offline training, the problem of recovering from out-of-distribution states at the deployment time is not very well studied yet. We alleviate the distributional shift at the deployment time by introducing a recovery policy that brings the agent back to the training manifold whenever it steps out of the in-distribution states, e.g., due to an external perturbation. The recovery policy relies on an approximation of the training data density and a learned equivariant mapping that maps visual observations into a latent space in which translations correspond to the robot actions. We demonstrate the effectiveness of the proposed method through several manipulation experiments on a real robotic platform. Our results show that the recovery policy enables the agent to complete tasks while the behavioral cloning alone fails because of the distributional shift problem.


title: Boosting Video Super Resolution with Patch-Based Temporal Redundancy Optimization

abstract: The success of existing video super-resolution (VSR) algorithms stems mainly exploiting the temporal information from the neighboring frames. However, none of these methods have discussed the influence of the temporal redundancy in the patches with stationary objects and background and usually use all the information in the adjacent frames without any discrimination. In this paper, we observe that the temporal redundancy will bring adverse effect to the information propagation,which limits the performance of the most existing VSR methods. Motivated by this observation, we aim to improve existing VSR algorithms by handling the temporal redundancy patches in an optimized manner. We develop two simple yet effective plug and play methods to improve the performance of existing local and non-local propagation-based VSR algorithms on widely-used public videos. For more comprehensive evaluating the robustness and performance of existing VSR algorithms, we also collect a new dataset which contains a variety of public videos as testing set. Extensive evaluations show that the proposed methods can significantly improve the performance of existing VSR methods on the collected videos from wild scenarios while maintain their performance on existing commonly used datasets. The code is available at https://github.com/HYHsimon/Boosted-VSR.


title: Learning differentiable solvers for systems with hard constraints

abstract: We introduce a practical method to enforce partial differential equation (PDE) constraints for functions defined by neural networks (NNs), with a high degree of accuracy and up to a desired tolerance. We develop a differentiable PDE-constrained layer that can be incorporated into any NN architecture. Our method leverages differentiable optimization and the implicit function theorem to effectively enforce physical constraints. Inspired by dictionary learning, our model learns a family of functions, each of which defines a mapping from PDE parameters to PDE solutions. At inference time, the model finds an optimal linear combination of the functions in the learned family by solving a PDE-constrained optimization problem. Our method provides continuous solutions over the domain of interest that accurately satisfy desired physical constraints. Our results show that incorporating hard constraints directly into the NN architecture achieves much lower test error when compared to training on an unconstrained objective.


title: Heating anomaly of cold interfacial water under irradiation of mid-infrared pulses

abstract: The mid-infrared heating of interfacial water with different initial temperatures is studied using non-equilibrium molecular dynamics simulation. It is found that under the irradiation of a pulse at 3360-3380 $cm^{-1}$ the two-dimensional water monolayer on a hydrophilic surface at a lower initial temperature acquires a much larger temperature jump. The mechanism beneath this counterintuitive phenomenon is the enhanced transition efficiency of the asymmetric OH stretching vibration due to the specific oriented configuration of water molecules at lower initial temperatures. The understanding of the anomalous phenomenon clarifies the sensitivity of the interfacial properties of water molecules to the temperature.


title: Label2Label: A Language Modeling Framework for Multi-Attribute Learning

abstract: Objects are usually associated with multiple attributes, and these attributes often exhibit high correlations. Modeling complex relationships between attributes poses a great challenge for multi-attribute learning. This paper proposes a simple yet generic framework named Label2Label to exploit the complex attribute correlations. Label2Label is the first attempt for multi-attribute prediction from the perspective of language modeling. Specifically, it treats each attribute label as a "word" describing the sample. As each sample is annotated with multiple attribute labels, these "words" will naturally form an unordered but meaningful "sentence", which depicts the semantic information of the corresponding sample. Inspired by the remarkable success of pre-training language models in NLP, Label2Label introduces an image-conditioned masked language model, which randomly masks some of the "word" tokens from the label "sentence" and aims to recover them based on the masked "sentence" and the context conveyed by image features. Our intuition is that the instance-wise attribute relations are well grasped if the neural net can infer the missing attributes based on the context and the remaining attribute hints. Label2Label is conceptually simple and empirically powerful. Without incorporating task-specific prior knowledge and highly specialized network designs, our approach achieves state-of-the-art results on three different multi-attribute learning tasks, compared to highly customized domain-specific methods. Code is available at https://github.com/Li-Wanhua/Label2Label.


title: A quadratic-order problem kernel for the traveling salesman problem parameterized by the vertex cover number

abstract: The NP-hard graphical traveling salesman problem (GTSP) is to find a closed walk of total minimum weight that visits each vertex in an undirected edge-weighted and not necessarily complete graph. We present a problem kernel with $\tau^2+\tau$ vertices for GTSP, where $\tau$ is the vertex cover number of the input graph. Any $\alpha$-approximate solution for the problem kernel also gives an $\alpha$-approximate solution for the original instance, for any $\alpha\geq1$.


title: A transportable clock laser system with an instability of $1.6 \times 10^{-16}$

abstract: We present a transportable ultra-stable clock laser system based on a Fabry-P\'erot cavity with crystalline Al$_{0.92}$Ga$_{0.08}$As/GaAs mirror coatings, fused silica (FS) mirror substrates and a 20~cm-long ultra-low expansion (ULE\textsuperscript{\textregistered}) glass spacer with a predicted thermal noise floor of $\mathrm{mod}\,\sigma_\mathrm{y} = 7 \times 10^{-17}$ in modified Allan deviation at one second averaging time. The cavity has a cylindrical shape and is mounted at ten points. Its measured sensitivity of the fractional frequency to acceleration for the three Cartesian directions are $2(1) \times 10^{-12}$/(ms$^{-2}$), $3(3) \times 10^{-12}$/(ms$^{-2}$) and $3(1) \times 10^{-12}$/(ms$^{-2}$), which belong to the lowest acceleration sensitivities published for transportable systems. The laser system's instability reaches down to $\mathrm{mod}\,\sigma_\mathrm{y} = 1.6 \times 10^{-16}$


title: Interplay of thermalization and strong disorder: Wave turbulence theory, numerical simulations, and experiments in multimode optical fibers

abstract: We address the problem of thermalization in the presence of a time-dependent disorder in the framework of the nonlinear Schr\"odinger (or Gross-Pitaevskii) equation with a random potential. The thermalization to the Rayleigh-Jeans distribution is driven by the nonlinearity. On the other hand, the structural disorder is responsible for a relaxation toward the homogeneous equilibrium distribution (particle equipartition), which thus inhibits thermalization (energy equipartition). On the basis of the wave turbulence theory, we derive a kinetic equation that accounts for the presence of strong disorder. The theory unveils the interplay of disorder and nonlinearity. It unexpectedly reveals that a non-equilibrium process of condensation and thermalization can take place in the regime where disorder effects dominate over nonlinear effects. We validate the theory by numerical simulations of the nonlinear Schr\"odinger equation and the derived kinetic equation, which are found in quantitative agreement without using adjustable parameters. Experiments realized in multimode optical fibers with an applied external stress evidence the process of thermalization in the presence of strong disorder.


title: Deep Learning Potential of Mean Force between Polymer Grafted Nanoparticles

abstract: Grafting polymer chains on nanoparticles surfaces is a well-known route to control their self assembly and distribution in a polymer matrix. A wide variety of self assembled structures are achieved by changing the grafting patterns on an individual nanoparticle surface. However, accurate estimation of the effective potential of mean force between a pair of grafted nanoparticles that determines their assembly and distribution in a polymer matrix is an outstanding challenge in nanoscience. Here, we propose a new deep learning method that learns the interaction between a pair of grafted nanoparticles from the molecular dynamics trajectory of a cluster of polymer-grafted nanoparticles. Subsequently, we carry out the deep learning potential of mean force-based molecular simulation that predicts the self-assembly of a large number of polymer grafted nanoparticles into various anisotropic superstructures, including percolating networks and bilayers depending on nanoparticles concentration in 3D. The deep learning potential of mean force-predicted self-assembled superstructures are consistent with the actual superstructures of polymer grafted nanoparticles. This deep learning framework is very generic and can accelerate the characterization and prediction of the self-assembly and phase behaviour of polymer-grafted and unfunctionalized nanoparticles in free space or a polymer matrix.


title: Higher Degree Erdos-Ginzburg-Ziv Constants

abstract: We generalize the notion of Erd\H{o}s-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erd\H{o}s-Ginzburg-Ziv constants are the following. 1) Let $\nu_p(m)$ denote the $p-$adic valuation of the integer $m$. Suppose we have integers $t | {m \choose 2}$ and $n=t+2^{\nu_2(m)}$, then every sequence $S$ over ${\mathbb Z}_2$ of length $|S| \geq n$ contains a subsequence $S'$ of length $t$ for which $\sum_{a_{i_1},\ldots, a_{i_m} \in S'} a_{i_1}\cdots a_{i_m} \equiv 0 \pmod{2}$, and this is sharp. 2) Suppose $k=3^{\alpha}$ for some integer $\alpha \geq 2$. Then every sequence $S$ over ${\mathbb Z}_3$ of length $|S| \geq k+6$ contains a subsequence $S'$ of length $k$ for which $\sum_{a_h, a_i, a_j \in S'} a_ha_ia_j \equiv 0 \pmod{3}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erd\H{o}s-Ginzburg-Ziv Theorem is just the case where a sequence of length $2n-1$ over ${\mathbb Z}_n$ contains a subsequence $S'=(a_1, \ldots, a_n)$ of length $n$ that vanishes when substituted in the linear symmetric polynomial $a_1+\cdots+a_n.$


title: Limit Theorems for Entropic Optimal Transport Maps and the Sinkhorn Divergence

abstract: We study limit theorems for entropic optimal transport (EOT) maps, dual potentials, and the Sinkhorn divergence. The key technical tool we use is a first and second-order Hadamard differentiability analysis of EOT potentials with respect to the marginal distributions, which may be of independent interest. Given the differentiability results, the functional delta method is used to obtain central limit theorems for empirical EOT potentials and maps. The second-order functional delta method is leveraged to establish the limit distribution of the empirical Sinkhorn divergence under the null. Building on the latter result, we further derive the null limit distribution of the Sinkhorn independence test statistic and characterize the correct order. Since our limit theorems follow from Hadamard differentiability of the relevant maps, as a byproduct, we also obtain bootstrap consistency and asymptotic efficiency of the empirical EOT map, potentials, and Sinkhorn divergence.


title: Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

abstract: Bishop's measure theory (BMT) is an abstraction of the measure theory of a locally compact metric space $X$, and the use of an informal notion of a set-indexed family of complemented subsets is crucial to its predicative character. The more general Bishop-Cheng measure theory (BCMT) is a constructive version of the classical Daniell approach to measure and integration, and highly impredicative, as many of its fundamental notions, such as the integration space of $p$-integrable functions $L^p$, rely on quantification over proper classes (from the constructive point of view). In this paper we introduce the notions of a pre-measure and pre-integration space, a predicative variation of the Bishop-Cheng notion of a measure space and of an integration space, respectively. Working within Bishop Set Theory (BST), and using the theory of set-indexed families of complemented subsets and set-indexed families of real-valued partial functions within BST, we apply the implicit, predicative spirit of BMT to BCMT. As a first example, we present the pre-measure space of complemented detachable subsets of a set $X$ with the Dirac-measure, concentrated at a single point. Furthermore, we translate in our predicative framework the non-trivial, Bishop-Cheng construction of an integration space from a given measure space, showing that a pre-measure space induces the pre-integration space of simple functions associated to it. Finally, a predicative construction of the canonically integrable functions $L^1$, as the completion of an integration space, is included.


title: Gas accretion onto galaxies and Kelvin-Helmholtz turbulence

abstract: Continued star formation over the lifetime of a galaxy suggests that low metalicity gas is steadily flowing in from the circumgalactic medium. Also, cosmological simulations of large-scale structure formation imply that gas is accreted onto galaxies from the halo inside which they formed. Direct observations are difficult, but in recent years observational indications of gas inflows from a circumgalactic medium were obtained. Here we suggest an indirect observational probe: looking for large-scale (exceeding few kpc) turbulence caused by the accretion. As a specific example we consider an accretion flow coplanar with the galaxy disk, and argue that Kelvin-Helmholtz turbulence will be generated. We employ a semi-analytic model of turbulence and derive the expected turbulence power spectrum. The latter turns out to be of a distinctive shape that can be compared with observational power spectra. As an illustrative example we use parameters of the Milky Way galaxy.


title: Streaming Algorithms for Support-Aware Histograms

abstract: Histograms, i.e., piece-wise constant approximations, are a popular tool used to represent data distributions. Traditionally, the difference between the histogram and the underlying distribution (i.e., the approximation error) is measured using the $L_p$ norm, which sums the differences between the two functions over all items in the domain. Although useful in many applications, the drawback of this error measure is that it treats approximation errors of all items in the same way, irrespective of whether the mass of an item is important for the downstream application that uses the approximation. As a result, even relatively simple distributions cannot be approximated by succinct histograms without incurring large error. In this paper, we address this issue by adapting the definition of approximation so that only the errors of the items that belong to the support of the distribution are considered. Under this definition, we develop efficient 1-pass and 2-pass streaming algorithms that compute near-optimal histograms in sub-linear space. We also present lower bounds on the space complexity of this problem. Surprisingly, under this notion of error, there is an exponential gap in the space complexity of 1-pass and 2-pass streaming algorithms. Finally, we demonstrate the utility of our algorithms on a collection of real and synthetic data sets.


title: Low frequency gravitational waves emerge Berry phase

abstract: The detection of low frequency gravitational waves (LFGWs) astronomy has marked an advent of new era in the domain of astrophysics and general relativity. Using the framework of interaction between GWs and a point two-particles like detector, within linearized gravity approach, we propose a toy detector model whose quantum state is being investigated at a low-frequency of GWs. The detector is in simultaneous interaction with GWs and an external time-dependent (tuneable) two-dimensional harmonic potential. We observe that the interaction with low frequency GWs naturally provides adiabatic approximation in the calculation, and thereby can lead to a quantal geometric phase in the quantum states of the detector. Moreover this can be controlled by tuning the frequency of the external harmonic potential trap. We argue that such geometric phase detection may serve as a manifestation of the footprint of GWs. More importantly, our theoretical model may be capable of providing a layout for the detection of very small frequency GWs through Berry phase.


title: Dark Energy and Extending the Geodesic Equations of Motion: A Spectrum of Galactic Rotation Curves

abstract: A recently proposed extension of the geodesic equations of motion, where the worldline traced by a test particle now depends on the scalar curvature, is used to study the formation of galaxies and galactic rotation curves. This extension is applied to the motion of a fluid in a spherical geometry, resulting in a set of evolution equations for the fluid in the nonrelativistic and weak gravity limits. Focusing on the stationary solutions of these equations and choosing a specific class of angular momenta for the fluid in this limit, we show that dynamics under this extension can result in the formation of galaxies with rotational velocity curves (RVC) that are consistent with the Universal Rotation Curve (URC), and through previous work on the URC, the observed rotational velocity profiles of 1100 spiral galaxies. In particular, a spectrum of RVCs can form under this extension, and we find that the two extreme velocity curves predicted by it brackets the ensemble of the URCs constructed from these 1100 velocity profiles. We also find that the asymptotic behavior of the URC is consistent with that of the most probable asymptotic behavior of the RVCs predicted by the extension. A stability analysis of these stationary solutions is also done, and we find them to be stable in the galactic disk, while in the galactic hub they are stable if the period of oscillations of perturbations is longer than $0.91_{\pm0.31}$ to $1.58_{\pm 0.46}$ billion years.

categories: gr-qc astro-ph.CO astro-ph.GA hep-ph hep-th


title: Quality Assessment of Image Super-Resolution: Balancing Deterministic and Statistical Fidelity

abstract: There has been a growing interest in developing image super-resolution (SR) algorithms that convert low-resolution (LR) to higher resolution images, but automatically evaluating the visual quality of super-resolved images remains a challenging problem. Here we look at the problem of SR image quality assessment (SR IQA) in a two-dimensional (2D) space of deterministic fidelity (DF) versus statistical fidelity (SF). This allows us to better understand the advantages and disadvantages of existing SR algorithms, which produce images at different clusters in the 2D space of (DF, SF). Specifically, we observe an interesting trend from more traditional SR algorithms that are typically inclined to optimize for DF while losing SF, to more recent generative adversarial network (GAN) based approaches that by contrast exhibit strong advantages in achieving high SF but sometimes appear weak at maintaining DF. Furthermore, we propose an uncertainty weighting scheme based on content-dependent sharpness and texture assessment that merges the two fidelity measures into an overall quality prediction named the Super Resolution Image Fidelity (SRIF) index, which demonstrates superior performance against state-of-the-art IQA models when tested on subject-rated datasets.


title: ULLYSES and Complementary Surveys of Massive Stars in the Magellanic Clouds

abstract: An overview is provided of the scientific goals of the Magellanic Cloud component of the STScI Directors Discretionary UV initiative ULLYSES, together with the complementary spectroscopic survey XShootU (VLT/Xshooter) and other ancillary datasets. Together, ULLYSES and XShootU permit the first comprehensive, homogeneous study of wind densities and velocities in metal-poor massive stars, plus UV/optical spectroscopic libraries for population synthesis models and a large number of interstellar sight-lines towards the Magellanic Clouds.


title: Constant-cost implementations of Clifford operations and multiply controlled gates using global interactions

abstract: We consider quantum circuits composed of single-qubit operations and global entangling gates generated by Ising-type Hamiltonians. It is shown that such circuits can implement a large class of unitary operators commonly used in quantum algorithms at a very low cost -- using a constant or effectively constant number of global entangling gates. Specifically, we report constant-cost implementations of Clifford operations with and without ancillae, constant-cost implementation of the multiply controlled gates with linearly many ancillae, and an $O(\log^*(n))$ cost implementation of the $n$-controlled single-target gates using logarithmically many ancillae. This shows a significant asymptotic advantage of circuits enabled by the global entangling gates.


title: Effective shear and bulk viscosities of the quark-gluon plasma: QCD versus heavy-ion data

abstract: In recent years, there has been a significant effort to extract the temperature-dependent shear ($\eta/s$) and bulk ($\zeta/s$) viscosity over entropy ratios of the quark-gluon plasma from a global comparison of heavy-ion data with results of hydrodynamic simulations. However, anisotropic flow, which is arguably the most sensitive probe of viscosity, is only sensitive to an {\it effective\/} viscosity over entropy ratio, which is obtained by taking a weighted average over the temperature, and summing the contributions of shear and bulk. We estimate this effective viscosity using existing first-principles calculations, which give $0.17<(\eta/s)_{\rm eff}<0.21$, and $(\zeta/s)_{\rm eff}<0.08$, implying that the damping of anisotropic flow at the LHC is mostly due to shear viscosity. The values extracted from global data analyses are compatible with these theory predictions.


title: The square-well fluid: a thermodynamic geometric view

abstract: The square-well fluid with hard-sphere diameters is studied within the framework of Thermodynamic Geometry (TG). Coexistence and spinodal curves, as well as the Widom line for ranges $\lambda^{*} = 1.25, 1.5, 2.0, 3.0$ for this fluid are carefully studied using geometric methods. We are able to show that, unlike coexistence curves, an exact result can be given along all the thermodynamic space and for all potential ranges for spinodal curves. Additionally, $R$-Widom line which is defined as the locus of extrema of the curvature scalar is calculated as a function of the potential range, satisfying near the critical point a kind of Clausius-Clapeyron equation. It is argued that this relation could be a signature of certain type of characteristic phase transition when crossing the boundary of the Widom line.


title: G-dual teleparallel connections in Information Geometry

abstract: Given a real, finite-dimensional, smooth parallelizable Riemannian manifold $(\mathcal{N},G)$ endowed with a teleparallel connection $\nabla$ determined by a choice of a global basis of vector fields on $\mathcal{N}$, we show that the $G$-dual connection $\nabla^{*}$ of $\nabla$ in the sense of Information Geometry must be the teleparallel connection determined by the basis of $G$-gradient vector fields associated with a basis of differential one-forms which is (almost) dual to the basis of vector fields determining $\nabla$. We call any such pair $(\nabla,\nabla^{*})$ a $G$-dual teleparallel pair. Then, after defining a covariant $(0,3)$ tensor $T$ uniquely determined by $(\mathcal{N},G,\nabla,\nabla^{*})$, we show that $T$ being symmetric in the first two entries is equivalent to $\nabla$ being torsion-free, that $T$ being symmetric in the first and third entry is equivalent to $\nabla^{*}$ being torsion free, and that $T$ being symmetric in the second and third entries is equivalent to the basis vectors determining $\nabla$ ($\nabla^{*}$) being parallel-transported by $\nabla^{*}$ ($\nabla$). Therefore, $G$-dual teleparallel pairs provide a generalization of the notion of Statistical Manifolds usually employed in Information Geometry, and we present explicit examples of $G$-dual teleparallel pairs arising both in the context of both Classical and Quantum Information Geometry.


title: Positing the problem of stationary distributions of active particles as third-order differential equation

abstract: In this work, we obtain third order linear differential equation for stationary distributions of run-and-tumble particles in two-dimensions in a harmonic trap. The equation represents the condition $j = 0$ where $j$ is a flux and is obtained from inference, using different known results in the limiting conditions. Since the analogous equation for passive Brownian particles is first order, a second and third order term must be a feature of active motion. In addition to formulating the problem as third order equation, we obtain solutions in the form of convolution of two distributions, the Gaussian distribution due to thermal fluctuations, and the beta distribution due to active motion at zero temperature. The convolution form of the solution indicates that the two random processes are independent and the total distribution is the sum of those two processes.


title: An all-densities pedestrian simulator based on a dynamic evaluation of the interpersonal distances

abstract: In this paper we deal with pedestrian modeling, aiming at simulating crowd behavior in normal and emergency scenarios, including highly congested mass events. We are specifically concerned with a new agent-based, continuous-in-space, discrete-in-time, nondifferential model, where pedestrians have finite size and are compressible to a certain extent. The model also takes into account the pushing behavior appearing at extreme high densities. The main novelty is that pedestrians are not assumed to generate any kind of "field" in the space around which determines the behavior of the crowd. Instead, the behavior of each pedestrian solely relies on its knowledge of the environment and the evaluation of interpersonal distances between it and the others. The model is able to reproduce the concave/concave fundamental diagram with a "double hump" (i.e. with a second peak) which shows up when body forces come into play. We present several numerical tests (some of them being inspired by the recent ISO 20414 standard), which show how the model can reproduce classical self-organizing patterns.


title: The Theory of Call-by-Value Solvability (long version)

abstract: The denotational semantics of the untyped lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent notion of meaningless term. The semantics of the untyped call-by-value lambda-calculus (CbV) is instead still in its infancy, because of some inherent difficulties but also because CbV solvable terms are less studied and understood than in call-by-name. On the one hand, we show that a carefully crafted presentation of CbV allows us to recover many of the properties that solvability has in call-by-name, in particular qualitative and quantitative characterizations via multi types. On the other hand, we stress that, in CbV, solvability plays a different role: identifying unsolvable terms as meaningless induces an inconsistent theory.


title: Direct visualization of Rashba-split bands and spin/orbital-charge interconversion at KTaO$_3$ interfaces

abstract: Rashba interfaces have emerged as promising platforms for spin-charge interconversion through the direct and inverse Edelstein effects. Notably, oxide-based two-dimensional electron gases (2DEGs) display a large and gate-tunable conversion efficiency, as determined by transport measurements. However, a direct visualization of the Rashba-split bands in oxide 2DEGs is lacking, which hampers an advanced understanding of their rich spin-orbit physics. Here, we investigate KTaO$_3$-2DEGs and evidence their Rashba-split bands using angle resolved photoemission spectroscopy. Fitting the bands with a tight-binding Hamiltonian, we extract the effective Rashba coefficient and bring insight into the complex multiorbital nature of the band structure. Our calculations reveal unconventional spin and orbital textures, showing compensation effects from quasi-degenerate band pairs which strongly depend on in-plane anisotropy. We compute the band-resolved spin and orbital Edelstein effects, and predict interconversion efficiencies exceeding those of other oxide 2DEGs. Finally, we suggest design rules for Rashba systems to optimize spin-charge interconversion performance.


title: Semantic Novelty Detection via Relational Reasoning

abstract: Semantic novelty detection aims at discovering unknown categories in the test data. This task is particularly relevant in safety-critical applications, such as autonomous driving or healthcare, where it is crucial to recognize unknown objects at deployment time and issue a warning to the user accordingly. Despite the impressive advancements of deep learning research, existing models still need a finetuning stage on the known categories in order to recognize the unknown ones. This could be prohibitive when privacy rules limit data access, or in case of strict memory and computational constraints (e.g. edge computing). We claim that a tailored representation learning strategy may be the right solution for effective and efficient semantic novelty detection. Besides extensively testing state-of-the-art approaches for this task, we propose a novel representation learning paradigm based on relational reasoning. It focuses on learning how to measure semantic similarity rather than recognizing known categories. Our experiments show that this knowledge is directly transferable to a wide range of scenarios, and it can be exploited as a plug-and-play module to convert closed-set recognition models into reliable open-set ones.