title: Lazarus Stars: Numerical investigations of stellar evolution with star-lifting as a life extension strategy

abstract: The aging and gradual brightening of the Sun will challenge Earth's habitability in the next few billion years. If life exists elsewhere in the Universe, the aging of its host star similarly poses an existential threat. One solution, which we dub a Lazarus star, is for an advanced civilization to remove (or star-lift) mass from their host star at a rate that offsets the increase in luminosity, keeping the flux on the habitable planet(s) constant and extending the lifetime of their star. While this idea has existed since 1985 when it was first proposed by Criswell, numerical investigations of star-lifting have been lacking. Here, we use the stellar evolution code MESA to find mass vs. age and $\dot{M}$ vs. age relations which would hold the flux on surrounding planets constant. We explore initial mass ranging from $0.2{\rm M}_{\odot}$ to $1.2{\rm M}_{\odot}$. For most stars with a mass initially below about $ 0.4 {\rm M}_{\odot}$, we find that star-lifting increases their main-sequence lifetimes up to $500$ Gyr until they approach the hydrogen burning limit and star-lifting is no longer possible. For more massive stars, star-lifting increase main-sequence lifetimes by 1 Gyr to 100 Gyr, though they still enter the red-giant phase. For example, a Sun-like star has a main-sequence lifetime which can be increased by up to 3 Gyr. This requires a mass-loss rate of about $0.05 {\rm M}_{\mathrm{Ceres}}$ per year. We compare star-lifting to other survival strategies and briefly discuss methods for detecting these engineered stars.


title: Particle clustering in turbulence: Prediction of spatial and statistical properties with deep learning

abstract: We investigate the utility of deep learning for modeling the clustering of particles that are aerodynamically coupled to turbulent fluids. Using a Lagrangian particle module within the Athena++ hydrodynamics code, we simulate the dynamics of particles in the Epstein drag regime within a periodic domain of isotropic forced hydrodynamic turbulence. This setup is an idealized model relevant to the collisional growth of micron to mm-sized dust particles in early stage planet formation. The simulation data are used to train a U-Net deep learning model to predict gridded three-dimensional representations of the particle density and velocity fields, given as input the corresponding fluid fields. The trained model qualitatively captures the filamentary structure of clustered particles in a highly non-linear regime. We assess model fidelity by calculating metrics of the density field (the radial distribution function) and of the velocity field (the relative velocity and the relative radial velocity between particles). Although trained only on the spatial fields, the model predicts these statistical quantities with errors that are typically <10%. Our results suggest that, given appropriately expanded training data, deep learning could complement direct numerical simulations in predicting particle clustering within turbulent flows.


title: Maximizing the Validity of the Gaussian Approximation for the biphoton State from Parametric Downconversion

abstract: Spontaneous parametric down-conversion (SPDC) is widely used in quantum applications based on photonic entanglement. The efficiency of photon pair generation is often characterized by means of a $sinc(L\Delta k/2)$-function, where $L$ is the length of the nonlinear medium and $\Delta k$ the phase mismatch between the pump and down-converted fields. In theoretical investigations, the \textit{sinc} behavior of the phase mismatch has often been approximated by a Gaussian function $\exp{(-\alpha x^2)}$ in order to derive analytical expressions for the SPDC process. Different values have been chosen in the literature for the optimization factor $\alpha$, for instance by comparing the widths of \textit{sinc} and Gaussian functions or the momentum of down-converted photons. As a consequence, different values for $\alpha$ provide different theoretical predictions for the same setup. Therefore, an informed and unique choice of this parameter is necessary. In this work, we present a choice of $\alpha$ which maximizes the validity of the Gaussian approximation. Moreover, we also discuss the so-called \textit{super}-Gaussian and \textit{cosine}-Gaussian approximations as practical alternatives with improved predictive power for experiments.


title: A Distributed Block-Split Gibbs Sampler with Hypergraph Structure for High-Dimensional Inverse Problems

abstract: Sampling-based algorithms are classical approaches to perform Bayesian inference in inverse problems. They provide estimators with the associated credibility intervals to quantify the uncertainty on the estimators. Although these methods hardly scale to high dimensional problems, they have recently been paired with optimization techniques, such as proximal and splitting approaches, to address this issue. Such approaches pave the way to distributed samplers, splitting computations to make inference more scalable and faster. We introduce a distributed Split Gibbs sampler (SGS) to efficiently solve such problems involving distributions with multiple smooth and non-smooth functions composed with linear operators. The proposed approach leverages a recent approximate augmentation technique reminiscent of primal-dual optimization methods. It is further combined with a block-coordinate approach to split the primal and dual variables into blocks, leading to a distributed block-coordinate SGS. The resulting algorithm exploits the hypergraph structure of the involved linear operators to efficiently distribute the variables over multiple workers under controlled communication costs. It accommodates several distributed architectures, such as the Single Program Multiple Data and client-server architectures. Experiments on a large image deblurring problem show the performance of the proposed approach to produce high quality estimates with credibility intervals in a small amount of time. Supplementary material to reproduce the experiments is available online.


title: Ln2(SeO3)2(SO4)(H2O)2 (Ln = Sm, Dy, Yb): A Mixed-Ligand Pathway to New Lathanide (III) Multifunctional Materials Featuring Nonlinear Optical and Magnetic Anisotropy Properties

abstract: Bottom-up assembly of optically nonlinear and magnetically anisotropic lanthanide materials involving precisely placed spin carriers and optimized metal-ligand coordination offers a potential route to developing electronic architectures for coherent radiation generation and spin-based technologies, but the chemical design historically has been extremely hard to achieve. To address this, we developed a worthwhile avenue for creating new noncentrosymmetric chiral Ln3+ materials Ln2(SeO3)2(SO4)(H2O)2 (Ln = Sm, Dy, Yb) by mixed-ligand design. The materials exhibit phase-matching nonlinear optical responses, elucidating the feasibility of the heteroanionic strategy. Ln2(SeO3)2(SO4)(H2O)2 displays paramagnetic property with strong magnetic anisotropy facilitated by large spin-orbit coupling. This study demonstrates a new chemical pathway for creating previously unknown polar chiral magnets with multiple functionalities.


title: Visual Backtracking Teleoperation: A Data Collection Protocol for Offline Image-Based Reinforcement Learning

abstract: We consider how to most efficiently leverage teleoperator time to collect data for learning robust image-based value functions and policies for sparse reward robotic tasks. To accomplish this goal, we modify the process of data collection to include more than just successful demonstrations of the desired task. Instead we develop a novel protocol that we call Visual Backtracking Teleoperation (VBT), which deliberately collects a dataset of visually similar failures, recoveries, and successes. VBT data collection is particularly useful for efficiently learning accurate value functions from small datasets of image-based observations. We demonstrate VBT on a real robot to perform continuous control from image observations for the deformable manipulation task of T-shirt grasping. We find that by adjusting the data collection process we improve the quality of both the learned value functions and policies over a variety of baseline methods for data collection. Specifically, we find that offline reinforcement learning on VBT data outperforms standard behavior cloning on successful demonstration data by 13% when both methods are given equal-sized datasets of 60 minutes of data from the real robot.


title: Spectral broadening from turbulence in multiscale lower hybrid current drive simulations

abstract: The scattering of lower hybrid (LH) waves due to scrape-off layer (SOL) filaments is investigated. It is revealed that scattering can account for the LH spectral gap without any ad hoc modification to the wave-spectrum. This is shown using a multiscale simulation approach which allows, for the first time, the inclusion of full-wave scattering physics in ray-tracing/Fokker-Planck calculations. In this approach, full-wave scattering probabilities are calculated for a wave interacting with a statistical ensemble of filaments. These probabilities are coupled to ray-tracing equations using radiative transfer (RT) theory. This allows the modeling of scattering along the entire ray-trajectory, which can be important in the multi-pass regime. Simulations are conducted for lower hybrid current drive (LHCD) in Alcator C-Mod, resulting in excellent agreement with experimental current and hard X-ray (HXR) profiles. A region in filament parameter space is identified in which the impact of scattering on LHCD is saturated. Such a state coincides with experimental LHCD measurements, suggesting saturation indeed occurs in C-Mod, and therefore the exact statistical properties of the filaments are not important.


title: SCTOMP: Spatially Constrained Time-Optimal Motion Planning

abstract: This paper focuses on spatial time-optimal motion planning, a generalization of the exact time-optimal path following problem that allows the system to plan within a predefined space. In contrast to state-of-the-art methods, we drop the assumption that a collision-free geometric reference is given. Instead, we present a two-stage motion planning method that solely relies on a goal location and a geometric representation of the environment to compute a time-optimal trajectory that is compliant with system dynamics and constraints. To do so, the proposed scheme first computes an obstacle-free Pythagorean Hodograph parametric spline, and second solves a spatially reformulated minimum-time optimization problem. The spline obtained in the first stage is not a geometric reference, but an extension of the environment representation, and thus, time-optimality of the solution is guaranteed. The efficacy of the proposed approach is benchmarked by a known planar example and validated in a more complex spatial system, illustrating its versatility and applicability.


title: Cavity-mediated thermal control of metal-to-insulator transition in 1T-TaS$_{2}$

abstract: Placing quantum materials into optical cavities provides a unique platform for controlling quantum cooperative properties of matter, via both weak and strong light-matter coupling. Here we report the experimental evidence of reversible cavity control of a metal-to-insulator phase transition in a correlated solid-state material. We embed the charge density wave material 1T-TaS$_{2}$ into cryogenic tunable terahertz cavities and show that a switch between conductive and insulating behaviors, associated with a large change in the sample temperature, is obtained by mechanically tuning the distance between the cavity mirrors and their alignment. The large thermal modification observed is indicative of a Purcell-like scenario in which the spectral profile of the cavity modifies the energy exchange between the material and the external electromagnetic field. Our findings provide opportunities for controlling the thermodynamics and macroscopic transport properties of quantum materials by engineering their electromagnetic environment.


title: clip2latent: Text driven sampling of a pre-trained StyleGAN using denoising diffusion and CLIP

abstract: We introduce a new method to efficiently create text-to-image models from a pre-trained CLIP and StyleGAN. It enables text driven sampling with an existing generative model without any external data or fine-tuning. This is achieved by training a diffusion model conditioned on CLIP embeddings to sample latent vectors of a pre-trained StyleGAN, which we call clip2latent. We leverage the alignment between CLIP's image and text embeddings to avoid the need for any text labelled data for training the conditional diffusion model. We demonstrate that clip2latent allows us to generate high-resolution (1024x1024 pixels) images based on text prompts with fast sampling, high image quality, and low training compute and data requirements. We also show that the use of the well studied StyleGAN architecture, without further fine-tuning, allows us to directly apply existing methods to control and modify the generated images adding a further layer of control to our text-to-image pipeline.


title: Structure preserving transport stabilized compatible finite element methods for magnetohydrodynamics

abstract: We present compatible finite element space discretizations for the ideal compressible magnetohydrodynamic equations. The magnetic field is considered both in div- and curl-conforming spaces, leading to a strongly or weakly preserved zero-divergence condition, respectively. The equations are discretized in space such that transfers between the kinetic, internal, and magnetic energies are consistent, leading to a preserved total energy. We also discuss further adjustments to the discretization required to additionally achieve magnetic helicity preservation. Finally, we describe new transport stabilization methods for the magnetic field equation which maintain the zero-divergence and energy conservation properties, including one method which also preserves magnetic helicity. The methods' preservation and improved stability properties are confirmed numerically using a steady state and a magnetic dynamo test case.


title: Fitting a Directional Microstructure Model to Diffusion-Relaxation MRI Data with Self-Supervised Machine Learning

abstract: Machine learning is a powerful approach for fitting microstructural models to diffusion MRI data. Early machine learning microstructure imaging implementations trained regressors to estimate model parameters in a supervised way, using synthetic training data with known ground truth. However, a drawback of this approach is that the choice of training data impacts fitted parameter values. Self-supervised learning is emerging as an attractive alternative to supervised learning in this context. Thus far, both supervised and self-supervised learning have typically been applied to isotropic models, such as intravoxel incoherent motion (IVIM), as opposed to models where the directionality of anisotropic structures is also estimated. In this paper, we demonstrate self-supervised machine learning model fitting for a directional microstructural model. In particular, we fit a combined T1-ball-stick model to the multidimensional diffusion (MUDI) challenge diffusion-relaxation dataset. Our self-supervised approach shows clear improvements in parameter estimation and computational time, for both simulated and in-vivo brain data, compared to standard non-linear least squares fitting. Code for the artificial neural net constructed for this study is available for public use from the following GitHub repository: https://github.com/jplte/deep-T1-ball-stick


title: Crowdsourcing and Sidewalk Data: A Preliminary Study on the Trustworthiness of OpenStreetMap Data in the US

abstract: Sidewalks play a pivotal role in urban mobility of everyday life. Ideally, sidewalks provide a safe walkway for pedestrians, link public transportation facilities, and equip people with routing and navigation services. However, there is a scarcity of open sidewalk data, which not only impacts the accessibility and walkability of cities but also limits policymakers in generating insightful measures to improve the current state of pedestrian facilities. As one of the most famous crowdsourced data repositories, OpenStreetMap (OSM) could aid the lack of open sidewalk data to a large extent. However, completeness and quality of OSM data have long been a major issue. In this paper, we offer a preliminary study on the availability and trustworthiness of OSM sidewalk data. First, we compare OSM sidewalk data coverage in over 50 major cities in the United States. Then, we select three major cities (Seattle, Chicago, and New York City) to further analyze the completeness of sidewalk data and its features, and to compute a trustworthiness index leveraging historical OSM sidewalk data.


abstract: Dialogue state tracking (DST) is an essential sub-task for task-oriented dialogue systems. Recent work has focused on deep neural models for DST. However, the neural models require a large dataset for training. Furthermore, applying them to another domain needs a new dataset because the neural models are generally trained to imitate the given dataset. In this paper, we propose Schema Encoding for Transferable Dialogue State Tracking (SETDST), which is a neural DST method for effective transfer to new domains. Transferable DST could assist developments of dialogue systems even with few dataset on target domains. We use a schema encoder not just to imitate the dataset but to comprehend the schema of the dataset. We aim to transfer the model to new domains by encoding new schemas and using them for DST on multi-domain settings. As a result, SET-DST improved the joint accuracy by 1.46 points on MultiWOZ 2.1.


title: Fast Untethered Soft Robotic Crawler with Elastic Instability

abstract: High-speed locomotion of animals gives them tremendous advantages in exploring, hunting, and escaping from predators in varying environments. Enlightened by the fast-running gait of mammals like cheetahs and wolves, we designed and fabricated a single-servo-driving untethered soft robot that is capable of galloping at a speed of 313 mm/s or 1.56 body length per second (BL/s), 5.2 times and 2.6 times faster than the reported fastest predecessors in mm/s and BL/s, respectively, in literature. An in-plane prestressed hair clip mechanism (HCM) made up of semi-rigid materials like plastic is used as the supporting chassis, the compliant spine, and the muscle force amplifier of the robot at the same time, enabling the robot to be rapid and strong. The influence of factors including actuation frequency, substrates, tethering/untethering, and symmetric/asymmetric actuation is explored with experiments. Based on previous work, this paper further demonstrated the potential of HCM in addressing the speed problem of soft robots.


title: Dilations of commuting $C_{0}$-semigroups with bounded generators and the von Neumann polynomial inequality

abstract: Consider $d$ commuting $C_{0}$-semigroups (or equivalently: $d$-parameter $C_{0}$-semigroups) over a Hilbert space for $d \in \mathbb{N}$. In the literature (\textit{cf.} [29, 26, 27, 23, 18, 25]), conditions are provided to classify the existence of unitary and regular unitary dilations. Some of these conditions require inspecting values of the semigroups, some provide only sufficient conditions, and others involve verifying sophisticated properties of the generators. By focussing on semigroups with bounded generators, we establish a simple and natural condition on the generators, \textit{viz.} \emph{complete dissipativity}, which naturally extends the basic notion of the dissipativity of the generators. Using examples of non-doubly commuting semigroups, this property can be shown to be strictly stronger than dissipativity. As the first main result, we demonstrate that complete dissipativity completely characterises the existence of regular unitary dilations, and extend this to the case of arbitrarily many commuting $C_{0}$-semigroups. We furthermore show that all multi-parameter $C_{0}$-semigroups (with bounded generators) admit a weaker notion of regular unitary dilations, and provide simple sufficient norm criteria for complete dissipativity. The paper concludes with an application to the von Neumann polynomial inequality problem, which we formulate for the semigroup setting and solve negatively for all $d \geq 2$.


title: Transport of a passive scalar in wide channels with surface topography

abstract: We generalize classical dispersion theory for a passive scalar to derive an asymptotic long-time convection-diffusion equation for a solute suspended in a wide, structured channel and subject to a steady low-Reynolds-number shear flow. Our theory, valid for small roughness amplitudes of the channel, holds for general surface shapes expandable as a Fourier series. We determine an anisotropic dispersion tensor, which depends on the characteristic wavelengths and amplitude of the surface structure. For surfaces whose corrugations are tilted with respect to the applied flow direction, we find that dispersion along the principal direction (i.e., the principal eigenvector of the dispersion tensor) is at an angle to the main flow direction and becomes enhanced relative to classical Taylor dispersion. In contrast, dispersion perpendicular to it can decrease compared to the short-time diffusivity of the particles. Furthermore, for an arbitrary surface shape represented in terms of a Fourier decomposition, we find that each Fourier mode contributes at leading order a linearly-independent correction to the classical Taylor dispersion tensor.


title: A kernel-based quantum random forest for improved classification

abstract: The emergence of Quantum Machine Learning (QML) to enhance traditional classical learning methods has seen various limitations to its realisation. There is therefore an imperative to develop quantum models with unique model hypotheses to attain expressional and computational advantage. In this work we extend the linear quantum support vector machine (QSVM) with kernel function computed through quantum kernel estimation (QKE), to form a decision tree classifier constructed from a decision directed acyclic graph of QSVM nodes - the ensemble of which we term the quantum random forest (QRF). To limit overfitting, we further extend the model to employ a low-rank Nystr\"{o}m approximation to the kernel matrix. We provide generalisation error bounds on the model and theoretical guarantees to limit errors due to finite sampling on the Nystr\"{o}m-QKE strategy. In doing so, we show that we can achieve lower sampling complexity when compared to QKE. We numerically illustrate the effect of varying model hyperparameters and finally demonstrate that the QRF is able obtain superior performance over QSVMs, while also requiring fewer kernel estimations.


title: A Liquid Democracy System for Human-Computer Societies

abstract: Problem of reliable democratic governance is critical for survival of any community, and it will be critical for communities powered with Artificial Intelligence (AI) systems upon developments of the latter. Apparently, it will be getting more and more critical because of increasing speeds and scales of electronic communications and decreasing latencies in system responses. In order to address this need, we present design and implementation of a reputation system supporting "liquid democracy" principle. The system is based on "weighted liquid rank" algorithm employing different sorts of explicit and implicit ratings being exchanged by members of the society as well as implicit assessments of of the members based on measures of their activity in the society. The system is evaluated against live social network data with help of simulation modelling for an online marketplace case.


title: Image Masking for Robust Self-Supervised Monocular Depth Estimation

abstract: Self-supervised monocular depth estimation is a salient task for 3D scene understanding. Learned jointly with monocular ego-motion estimation, several methods have been proposed to predict accurate pixel-wise depth without using labeled data. Nevertheless, these methods focus on improving performance under ideal conditions without natural or digital corruptions. The general absence of occlusions is assumed even for object-specific depth estimation. These methods are also vulnerable to adversarial attacks, which is a pertinent concern for their reliable deployment in robots and autonomous driving systems. We propose MIMDepth, a method that adapts masked image modeling (MIM) for self-supervised monocular depth estimation. While MIM has been used to learn generalizable features during pre-training, we show how it could be adapted for direct training of monocular depth estimation. Our experiments show that MIMDepth is more robust to noise, blur, weather conditions, digital artifacts, occlusions, as well as untargeted and targeted adversarial attacks.


title: Baryon anticorrelations and the Pauli principle in PYTHIA

abstract: We present a computational investigation of a problem of hadron collisions from recent years, that of baryon anticorrelations. This is an experimental dearth of baryons near other baryons in phase space, not seen upon examining numerical Monte Carlo simulations. We have addressed one of the best known Monte Carlo codes, PYTHIA, to see what baryon (anti)correlations it produces, where they are originated at the string-fragmentation level in the underlying Lund model, and what simple modifications could lead to better agreement with data. We propose two ad-hoc alterations of the fragmentation code, a "one-baryon" and an "always-baryon" policies that qualitatively reproduce the data behaviour, i.e anticorrelation, and suggest that lacking Pauli-principle induced corrections at the quark level could be the culprit behind the current disagreement between computations and experiment.


title: Dual curvature measures for log-concave functions

abstract: We introduce dual curvature measures for log-concave functions, which in the case of characteristic functions recover the dual curvature measures for convex bodies introduced by Huang-Lutwak-Yang-Zhang in 2016. Variational formulas are shown. The associated Minkowski problem for these dual curvature measures is considered and sufficient conditions in the symmetric setting are demonstrated.


title: DiPPS: Differentially Private Propensity Scores for Bias Correction

abstract: In surveys, it is typically up to the individuals to decide if they want to participate or not, which leads to participation bias: the individuals willing to share their data might not be representative of the entire population. Similarly, there are cases where one does not have direct access to any data of the target population and has to resort to publicly available proxy data sampled from a different distribution. In this paper, we present Differentially Private Propensity Scores for Bias Correction (DiPPS), a method for approximating the true data distribution of interest in both of the above settings. We assume that the data analyst has access to a dataset $\tilde{D}$ that was sampled from the distribution of interest in a biased way. As individuals may be more willing to share their data when given a privacy guarantee, we further assume that the analyst is allowed locally differentially private access to a set of samples $D$ from the true, unbiased distribution. Each data point from the private, unbiased dataset $D$ is mapped to a probability distribution over clusters (learned from the biased dataset $\tilde{D}$), from which a single cluster is sampled via the exponential mechanism and shared with the data analyst. This way, the analyst gathers a distribution over clusters, which they use to compute propensity scores for the points in the biased $\tilde{D}$, which are in turn used to reweight the points in $\tilde{D}$ to approximate the true data distribution. It is now possible to compute any function on the resulting reweighted dataset without further access to the private $D$. In experiments on datasets from various domains, we show that DiPPS successfully brings the distribution of the available dataset closer to the distribution of interest in terms of Wasserstein distance. We further show that this results in improved estimates for different statistics.


title: The Power of Duality: Response Time Analysis meets Integer Programming

abstract: We study a mutually enriching connection between response time analysis in real-time systems and the mixing set problem. Thereby generalizing over known results we present a new approach to the computation of response times in fixed-priority uniprocessor real-time scheduling. We even allow that the tasks are delayed by some period-constrained release jitter. By studying a dual problem formulation of the decision problem as an integer linear program we show that worst-case response times can be computed by algorithmically exploiting a conditional reduction to an instance of the mixing set problem. In the important case of harmonic periods our new technique admits a near-quadratic algorithm to the exact computation of worst-case response times. We show that generally, a smaller utilization leads to more efficient algorithms even in fixed-priority scheduling. Worst-case response times can be understood as least fixed points to non-trivial fixed point equations and as such, our approach may also be used to solve suitable fixed point problems. Furthermore, we show that our technique can be reversed to solve the mixing set problem by computing worst-case response times to associated real-time scheduling task systems. Finally, we also apply our optimization technique to solve 4-block integer programs with simple objective functions.


title: A Reputation System for Market Security and Equity

abstract: We simulate a reputation system in a market to optimise the balance between market security and market equity. We introduce a method of using a reputation system that will stabilise the distribution of wealth in a market in a fair manner. We also introduce metrics of a modified Gini that takes production quality into account, a way to use a weighted Pearson as a tool to optimise balance.


title: Proton Synchrotron Origin of the Very High Energy Emission of GRB 190114C

abstract: We consider here a proton-synchrotron model to explain the MAGIC observation of GRB 190114C afterglow in the energy band $0.2 - 1$~TeV, while the X-ray spectra are explained by electron-synchrotron emission. Given the uncertainty of the particle acceleration process, we consider several variations of the model, and show that they all match the data very well. We find that the values of the uncertain model parameters are reasonable: {isotropic} explosion energy $\sim 10^{54.5}$~erg, ambient density $\sim 10-100~{\rm cm^{-3}}$, and fraction of electrons/protons accelerated to a high energy power law of a few per-cents. All these values are directly derived from the observed TeV and X-ray fluxes. The model also requires that protons be accelerated to observed energies as high as a few $10^{20}$~eV. Further, assuming that the jet break takes place after $10^6$~s gives the beaming-corrected energy of the burst to be $\approx 10^{53}$~erg, which is one to two orders of magnitude higher than usually inferred, because of the small fraction of electrons accelerated. Our modeling is consistent with both late time data at all bands, from optical to X-rays, and with numerical models of particle acceleration. Our results thus demonstrate the relevance of proton-synchrotron emission to the high energy observations of GRBs during their afterglow phase.


title: Thermo-optic hysteresis with bound states in the continuum

abstract: We consider thermo-optic hysteresis in a silicon structure supporting bound state in the continuum. Taking into account radiative heat transfer as a major cooling mechanism we constructed a non-linear model describing the optical response. It is shown that the thermo-optic hysteresis can be obtained with low intensities of incident light $I_0\approx 1~\rm{W/m^2}$ at the red edge of the visible under the critical coupling condition.


title: SoccerNet 2022 Challenges Results

abstract: The SoccerNet 2022 challenges were the second annual video understanding challenges organized by the SoccerNet team. In 2022, the challenges were composed of 6 vision-based tasks: (1) action spotting, focusing on retrieving action timestamps in long untrimmed videos, (2) replay grounding, focusing on retrieving the live moment of an action shown in a replay, (3) pitch localization, focusing on detecting line and goal part elements, (4) camera calibration, dedicated to retrieving the intrinsic and extrinsic camera parameters, (5) player re-identification, focusing on retrieving the same players across multiple views, and (6) multiple object tracking, focusing on tracking players and the ball through unedited video streams. Compared to last year's challenges, tasks (1-2) had their evaluation metrics redefined to consider tighter temporal accuracies, and tasks (3-6) were novel, including their underlying data and annotations. More information on the tasks, challenges and leaderboards are available on https://www.soccer-net.org. Baselines and development kits are available on https://github.com/SoccerNet.


title: Optimal classification and generalized prevalence estimates for diagnostic settings with more than two classes

abstract: An accurate multiclass classification strategy is crucial to interpreting antibody tests. However, traditional methods based on confidence intervals or receiver operating characteristics lack clear extensions to settings with more than two classes. We address this problem by developing a multiclass classification based on probabilistic modeling and optimal decision theory that minimizes the convex combination of false classification rates. The classification process is challenging when the relative fraction of the population in each class, or generalized prevalence, is unknown. Thus, we also develop a method for estimating the generalized prevalence of test data that is independent of classification. We validate our approach on serological data with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) na\"ive, previously infected, and vaccinated classes. Synthetic data are used to demonstrate that (i) prevalence estimates are unbiased and converge to true values and (ii) our procedure applies to arbitrary measurement dimensions. In contrast to the binary problem, the multiclass setting offers wide-reaching utility as the most general framework and provides new insight into prevalence estimation best practices.

categories: q-bio.QM math.OC math.PR physics.bio-ph stat.ME


title: Orphan Calabi-Yau threefold with arithmetic monodromy group

abstract: We study monodromy groups of Picard-Fuchs operators of one-parameter families of Calabi-Yau threefolds without a point of Maximal Unipotent Monodromy (\emph{orphan operators}). We construct rational symplectic bases for the monodromy action for all orphan double octic Picard-Fuchs operators of order $4$. As a consequence we show that monodromy groups of all double octic orphan operators are dense in $\mathrm{Sp(4,\mathbb{Z})}$ and identify maximally unipotent elements in all of them, except one. Finally, we prove that the monodromy group of one of these orphan operators is arithmetic.


title: Spatio-Temporal Learnable Proposals for End-to-End Video Object Detection

abstract: This paper presents the novel idea of generating object proposals by leveraging temporal information for video object detection. The feature aggregation in modern region-based video object detectors heavily relies on learned proposals generated from a single-frame RPN. This imminently introduces additional components like NMS and produces unreliable proposals on low-quality frames. To tackle these restrictions, we present SparseVOD, a novel video object detection pipeline that employs Sparse R-CNN to exploit temporal information. In particular, we introduce two modules in the dynamic head of Sparse R-CNN. First, the Temporal Feature Extraction module based on the Temporal RoI Align operation is added to extract the RoI proposal features. Second, motivated by sequence-level semantic aggregation, we incorporate the attention-guided Semantic Proposal Feature Aggregation module to enhance object feature representation before detection. The proposed SparseVOD effectively alleviates the overhead of complicated post-processing methods and makes the overall pipeline end-to-end trainable. Extensive experiments show that our method significantly improves the single-frame Sparse RCNN by 8%-9% in mAP. Furthermore, besides achieving state-of-the-art 80.3% mAP on the ImageNet VID dataset with ResNet-50 backbone, our SparseVOD outperforms existing proposal-based methods by a significant margin on increasing IoU thresholds (IoU > 0.5).


title: On a class of robust nonconvex quadratic optimization problems

abstract: Let us consider the following robust nonconvex quadratic optimization problem: \begin{equation*} \begin{split} \min &~ \dfrac{1}{2} x^\top Ax+a^\top x \\ \text{s.t.}~ & \alpha\leq\dfrac{1}{2}x^\top (B_1+\mu B_2)x+(b_1+\delta b_2)^\top x \leq\beta,~ \forall~ \mu\in [\mu_1,\mu_2],\forall~\delta\in[\delta_1,\delta_2], \end{split} \end{equation*} where $A$, $B_1$, $B_2$ are real symmetric matrices, $\mu_1,\mu_2,\delta_1,\delta_2,\alpha$, $\beta\in\mathbb{R}$ satisfying $\mu_1\leq \mu_2$, $\delta_1\leq\delta_2$ and $\alpha<\beta$. We establish the robust alternative result; the robust S-lemma and the robust optimality for the above nonconvex problem.


title: Spectral Properties of the Symmetry Generators of Conformal Quantum Mechanics: A Path-Integral Approach

abstract: A path-integral approach is used to study the spectral properties of the generators of the SO(2,1) symmetry of conformal quantum mechanics (CQM). In particular, we consider the CQM version that corresponds to the weak-coupling regime of the inverse square potential. We develop a general framework to characterize a generic symmetry generator $G$ (linear combinations of the Hamiltonian $H$, special conformal operator $K$, and dilation operator $D$), from which the path-integral propagators follow, leading to a complete spectral decomposition. This is done for the three classes of operators: elliptic, parabolic, and hyperbolic. We also highlight novel results for the hyperbolic operators, with a continuous spectrum, and their quantum-mechanical interpretation. The spectral technique developed for the eigensystem of continuous-spectrum operators can be generalized to other operator problems.


title: Word of low complexity without uniform frequencies

abstract: In this paper, we construct a uniformely recurrent infinite word of low complexity without uniform frequencies of letters. This shows the optimality of a bound of Boshernitzan, which gives a sufficient condition for a uniformly recurrent infinite word to admit uniform frequencies.


title: Frequency-robust M{\o}lmer-S{\o}rensen gates via balanced contributions of multiple motional modes

abstract: In this work, we design and implement frequency-robust Molmer-Sorensen gates on a linear chain of trapped ions, using Gaussian amplitude modulation and a constant laser frequency. We select this frequency to balance the entanglement accumulation of all motional modes during the gate to produce a strong robustness to frequency error, even for long ion chains. We demonstrate this technique on a three-ion chain, achieving $<\,1\%$ reduction from peak fidelity over a $20\,$kHz range of frequency offset, and we analyze the performance of this gate design through numerical simulations on chains of two to 33 ions.


title: Dynamical systems' based neural networks

abstract: Neural networks have gained much interest because of their effectiveness in many applications. However, their mathematical properties are generally not well understood. If there is some underlying geometric structure inherent to the data or to the function to approximate, it is often desirable to take this into account in the design of the neural network. In this work, we start with a non-autonomous ODE and build neural networks using a suitable, structure-preserving, numerical time-discretisation. The structure of the neural network is then inferred from the properties of the ODE vector field. Besides injecting more structure into the network architectures, this modelling procedure allows a better theoretical understanding of their behaviour. We present two universal approximation results and demonstrate how to impose some particular properties on the neural networks. A particular focus is on 1-Lipschitz architectures including layers that are not 1-Lipschitz. These networks are expressive and robust against adversarial attacks, as shown for the CIFAR-10 and CIFAR-100 datasets.


title: Axon: A Language for Dynamic Shapes in Deep Learning Graphs

abstract: Axon is a language that enables shape and rank inference for tensors in a Deep Learning graphs. It aims to make shapes implicit and inferred, in a similar manner to how types are implicit and inferred in many functional programming languages. Tensor dimensions are represented by expressions consisting of symbolic variables, constants, and arithmetic operators. Tensor shapes can be expressed as either a sequence of these dimension expressions, as a symbolic variable, or as an appending of other shapes. This allows complex constraints on shapes to be expressed. Axon is functional in style, with a type system similar in to Standard ML, extended to include shape information. It provides a suite of built in operators over tensors, including pointwise arithmetic operators, maps, reduction, loops and user defined functions. We describe a shape inference algorithm based on constraint solving which infers information about shapes, from both shape information provided by the programmer and the structure of the program. This allows fully automatic inference of the shapes of tensors for complex Deep Learning graphs. This approach reduces programmer effort when specifying graphs, as tensor shapes are not explicit, allows composition of Deep Learning graphs while maintaining input and output tensor shape compatibility, and aids in automated error detection by identifying shape mismatches at runtime.


title: Feedback reconstruction techniques for optimal control problems on a tree structure

abstract: The computation of feedback control using Dynamic Programming equation is a difficult task due the curse of dimensionality. The tree structure algorithm is one the methods introduced recently that mitigate this problem. The method computes the value function avoiding the construction of a space grid and the need for interpolation techniques using a discrete set of controls. However, the computation of the control is strictly linked to control set chosen in the computation of the tree. Here, we extend and complete the method selecting a finer control set in the computation of the feedback. This requires to use an interpolation method for scattered data which allows us to reconstruct the value function for nodes not belonging to the tree. The effectiveness of the method is shown via a numerical example.


title: Rate-Induced Tipping to Metastable Zombie Fires

abstract: Zombie fires in peatlands disappear from the surface, smoulder underground during the winter, and `come back to life' in the spring. They can release hundreds of megatonnes of carbon into the atmosphere per year and are believed to be caused by surface wildfires. Here, we propose rate-induced tipping (R-tipping) to a subsurface hot metastable state in bioactive peat soils as a main cause of Zombie fires. Our hypothesis is based on a conceptual soil-carbon model subjected to realistic changes in weather and climate patterns, including global warming scenarios and summer heatwaves. Mathematically speaking, R-tipping to the hot metastable state is a nonautonomous instability, due to crossing an elusive quasithreshold, in a multiple-timescale dynamical system. To explain this instability, we provide a framework combining a special compactification technique with concepts from geometric singular perturbation theory. This framework allows us to reduce an R-tipping problem due to crossing a quasithreshold to a heteroclinic orbit problem in a singular limit. We identify generic cases of tracking-tipping transitions via: (i) unfolding of a codimension-two heteroclinic folded saddle-node type-I singularity for global warming, and (ii) analysis of a codimension-one saddle-to-saddle hetroclinic orbit for summer heatwaves, in turn revealing new types of excitability quasithresholds.


title: Goal Recognition as a Deep Learning Task: the GRNet Approach

abstract: In automated planning, recognising the goal of an agent from a trace of observations is an important task with many applications. The state-of-the-art approaches to goal recognition rely on the application of planning techniques, which requires a model of the domain actions and of the initial domain state (written, e.g., in PDDL). We study an alternative approach where goal recognition is formulated as a classification task addressed by machine learning. Our approach, called GRNet, is primarily aimed at making goal recognition more accurate as well as faster by learning how to solve it in a given domain. Given a planning domain specified by a set of propositions and a set of action names, the goal classification instances in the domain are solved by a Recurrent Neural Network (RNN). A run of the RNN processes a trace of observed actions to compute how likely it is that each domain proposition is part of the agent's goal, for the problem instance under considerations. These predictions are then aggregated to choose one of the candidate goals. The only information required as input of the trained RNN is a trace of action labels, each one indicating just the name of an observed action. An experimental analysis confirms that \our achieves good performance in terms of both goal classification accuracy and runtime, obtaining better performance w.r.t. a state-of-the-art goal recognition system over the considered benchmarks.


title: Twisted bilayered graphenes at magic angles and Casimir interactions: correlation-driven effects

abstract: Twisted bilayered graphenes at magic angles are systems housing long ranged periodicity of Moir\'e pattern together with short ranged periodicity associated with the individual graphenes. Such materials are a fertile ground for novel states largely driven by electronic correlations. Here we find that the ubiquitous Casimir force can serve as a platform for macroscopic manifestations of the quantum effects stemming from the magic angle bilayered graphenes properties and their phases determined by electronic correlations. By utilizing comprehensive calculations for the electronic and optical response, we find that Casimir torque can probe anisotropy from the Drude conductivities in nematic states, while repulsion in the Casimir force can help identify topologically nontrivial phases in magic angle twisted bilayered graphenes.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con quant-ph


title: Local types of $(\Gamma,G)$-bundles and parahoric group schemes

abstract: Let $G$ be a simple algebraic group over an algebraically closed field $k$. Let $\Gamma$ be a finite group acting on $G$. We classify and compute the local types of $(\Gamma, G)$-bundles on a smooth projective $\Gamma$-curve in terms of the first non-abelian group cohomology of the stabilizer groups at the tamely ramified points with coefficients in $G$. When $\text{char}(k)=0$, we prove that any generically simply-connected parahoric Bruhat--Tits group scheme can arise from a $(\Gamma,G_{\text{ad}})$-bundle. We also prove a local version of this theorem, i.e. parahoric group schemes over the formal disc arise from constant group schemes via tamely ramified coverings.


title: Entropy and Temperature in finite isolated quantum systems

abstract: We investigate how the temperature calculated from the microcanonical entropy compares with the canonical temperature for finite isolated quantum systems. We concentrate on systems with sizes that make them accessible to numerical exact diagonalization. We thus characterize the deviations from ensemble equivalence at finite sizes. We describe multiple ways to compute the microcanonical entropy and present numerical results for the entropy and temperature computed in these various ways. We show that using an energy window whose width has a particular energy dependence results in a temperature with minimal deviations from the canonical temperature.


title: A Novel Entropy-Maximizing TD3-based Reinforcement Learning for Automatic PID Tuning

abstract: Proportional-integral-derivative (PID) controllers have been widely used in the process industry. However, the satisfactory control performance of a PID controller depends strongly on the tuning parameters. Conventional PID tuning methods require extensive knowledge of the system model, which is not always known especially in the case of complex dynamical systems. In contrast, reinforcement learning-based PID tuning has gained popularity since it can treat PID tuning as a black-box problem and deliver the optimal PID parameters without requiring explicit process models. In this paper, we present a novel entropy-maximizing twin-delayed deep deterministic policy gradient (EMTD3) method for automating the PID tuning. In the proposed method, an entropy-maximizing stochastic actor is employed at the beginning to encourage the exploration of the action space. Then a deterministic actor is deployed to focus on local exploitation and discover the optimal solution. The incorporation of the entropy-maximizing term can significantly improve the sample efficiency and assist in fast convergence to the global solution. Our proposed method is applied to the PID tuning of a second-order system to verify its effectiveness in improving the sample efficiency and discovering the optimal PID parameters compared to traditional TD3.


title: NeuralMeshing: Differentiable Meshing of Implicit Neural Representations

abstract: The generation of triangle meshes from point clouds, i.e. meshing, is a core task in computer graphics and computer vision. Traditional techniques directly construct a surface mesh using local decision heuristics, while some recent methods based on neural implicit representations try to leverage data-driven approaches for this meshing process. However, it is challenging to define a learnable representation for triangle meshes of unknown topology and size and for this reason, neural implicit representations rely on non-differentiable post-processing in order to extract the final triangle mesh. In this work, we propose a novel differentiable meshing algorithm for extracting surface meshes from neural implicit representations. Our method produces the mesh in an iterative fashion, which makes it applicable to shapes of various scales and adaptive to the local curvature of the shape. Furthermore, our method produces meshes with regular tessellation patterns and fewer triangle faces compared to existing methods. Experiments demonstrate the comparable reconstruction performance and favorable mesh properties over baselines.


title: Filling the Gaps: A Multiple Imputation Approach to Estimating Aging Curves in Baseball

abstract: In sports, an aging curve depicts the relationship between average performance and age in athletes' careers. This paper investigates the aging curves for offensive players in Major League Baseball. We study this problem in a missing data context and account for different types of dropouts of baseball players during their careers. We employ a multiple imputation framework for multilevel data to impute the player performance associated with the missing seasons, and estimate the aging curves based on the imputed datasets. We then evaluate the effects of different dropout mechanisms on the aging curves through simulation, before applying our method to analyze MLB player data from past seasons. Results suggest an overestimation of the aging curves constructed without considering the unobserved seasons, whereas estimates obtained from multiple imputation address this shortcoming.


title: Bounding the Pythagoras number of a field by $2^n+1$

abstract: Given a positive integer $n$, a sufficient condition on a field is given for bounding its Pythagoras number by $2^n+1$. The condition is satisfied for $n=1$ by function fields of curves over iterated formal power series fields over $\mathbb{R}$, as well as by finite field extensions of $\mathbb{R}(\!(t_0,t_1)\!)$. In both cases, one retrieves the upper bound $3$ on the Pythagoras number. The new method presented here might help to establish more generally $2^n+1$ as an upper bound for the Pythagoras number of function fields of curves over $\mathbb{R}(\!(t_1,\dots,t_n)\!)$ and for finite field extensions of $\mathbb{R}(\!(t_0,\dots,t_n)\!)$.


title: Impact of inhomogeneous reionization on post-reionization 21 cm intensity mapping measurement of cosmological parameters

abstract: 21 cm intensity mapping (IM) has the potential to be a strong and unique probe of cosmology from redshift of order unity to redshift potentially as high as 30. For post-reionization 21 cm observations, the signal is modulated by the thermal and dynamical reaction of gas in the galaxies to the passage of ionization fronts during the Epoch of Reionization. In this work, we investigate the impact of inhomogeneous reionization on the post-reionization 21 cm power spectrum and the induced shifts of cosmological parameters at redshifts $3.5 \lesssim z \lesssim 5.5$. We make use of hydrodynamics simulations that could resolve small-scale baryonic structure evolution to quantify HI abundance fluctuation, while semi-numerical large box 21cmFAST simulations capable of displaying inhomogeneous reionization process are deployed to track the inhomogeneous evolution of reionization bubbles. We discussed the prospects of capturing this effect in two post-reionization 21 cm intensity mapping experiments: SKA1-LOW and PUMA. We find the inhomogeneous reionization effect could impact the HI power spectrum up to tens of percent level and shift cosmological parameters estimation from sub-percent to tens percent in the observation of future post-reionization 21 cm intensity mapping experiments such as PUMA, while SKA1-LOW is likely to miss this effect at the redshifts of interest given the considered configuration. In particular, the shift is up to 0.0206 in the spectral index $n_s$ and 0.0192 eV in the sum of the neutrino masses $\sum m_\nu$ depending on the reionization model and the observational parameters. We discuss strategies to mitigate and separate these biases.


title: Domain Adaptation for Unknown Image Distortions in Instance Segmentation

abstract: Data-driven techniques for machine vision heavily depend on the training data to sufficiently resemble the data occurring during test and application. However, in practice unknown distortion can lead to a domain gap between training and test data, impeding the performance of a machine vision system. With our proposed approach this domain gap can be closed by unpaired learning of the pristine-to-distortion mapping function of the unknown distortion. This learned mapping function may then be used to emulate the unknown distortion in the training data. Employing a fixed setup, our approach is independent from prior knowledge of the distortion. Within this work, we show that we can effectively learn unknown distortions at arbitrary strengths. When applying our approach to instance segmentation in an autonomous driving scenario, we achieve results comparable to an oracle with knowledge of the distortion. An average gain in mean Average Precision (mAP) of up to 0.19 can be achieved.


title: Lorentz-Finsler metrics on symplectic and contact transformation groups

abstract: In these notes we discuss Lorentz-Finsler metrics, a notion originated in relativity theory, on certain groups of symplectic and contact transformations. Some basic geometric questions arising in this context concerning distance, geodesics and their conjugate points, and existence of a time function, turn out to be related to a variety of subjects including the contact systolic problem, group quasi-morphisms, the Monge-Amp\`ere equation, and a subtle interplay between symplectic rigidity and flexibility. We discuss these interrelations, providing necessary preliminaries, and formulate a number of open questions.


title: Structure of saturated RSA ellipse packings

abstract: Motivated by the recent observation of liquid glass in suspensions of ellipsoidal colloids, we examine the structure of (asymptotically) saturated RSA ellipse packings. We determine the packing fractions $\phi_{\rm s}(\alpha)$ to high precision, finding an empirical analytic formula that predicts $\phi_{\rm s}(\alpha)$ to within less than $0.1\%$ for all $\alpha \leq 10$. Then we explore how these packings' positional-orientational order varies with $\alpha$. We find a transition from tip/side- to side/side-contact-dominated structure at $\alpha = \alpha_{\rm TS} \simeq 2.4$. At this aspect ratio, the peak value $g_{\rm max}$ of packings' positional-orientational paircorrelation functions is minimal, and systems can be considered maximally locally disordered. For smaller (larger) $\alpha$, $g_{\rm max}$ increases exponentially with deceasing (increasing) $\alpha$. Local nematic order and structures comparable to the precursor domains observed in experiments gradually emerge as $\alpha$ increases beyond $3$. For $\alpha \gtrsim 5$, single-layer lamellae become more prominent, and long-wavelength density fluctuations increase with $\alpha$ as packings gradually approach the rod-like limit.


title: Timing and spectral studies of Cen X-3 in multiple luminosity states using $\textit{AstroSat}$

abstract: We present the results of timing and spectral analysis of the HMXB pulsar, Cen X-3, with the help of observations carried out using the Large Area X-ray Proportional Counter (LAXPC) on board $\textit{AstroSat}$. As part of our analysis, we sampled the source properties during 4 different observation epochs covering two widely different intensity states. We obtain a timing solution and report precise measurements of the spin and orbital parameters corresponding to these observational epochs. The pulse profiles during the two intensity states reveal dramatically varying shapes within a time span of one month. We report the detection of one of the lowest measured frequencies of quasi-periodic oscillations (QPO) at 0.026$\pm$0.001 Hz for Cen X-3 during its low-intensity state. We also find correlated periodic and aperiodic noise components in the power density spectra. We further carried out a phase averaged and a pulse phase resolved spectral study, where we find that the best fit continuum spectrum is well described by an absorbed comptonization model along with a blackbody. Cen X-3 exhibited the presence of the $\sim$28 keV CRSF absorption line and a $\sim$6.6 keV Fe emission line in both the intensity states. Significant variations in the line forming regions and mode of accretion for Cen X-3 within time spans of a month make Cen X-3 a highly dynamic persistent binary.


title: Bayesian Prompt Learning for Image-Language Model Generalization

abstract: Foundational image-language models have generated considerable interest due to their efficient adaptation to downstream tasks by prompt learning. Prompt learning treats part of the language model input as trainable while freezing the rest, and optimizes an Empirical Risk Minimization objective. However, Empirical Risk Minimization is known to suffer from distributional shifts which hurt generalizability to prompts unseen during training. By leveraging the regularization ability of Bayesian methods, we frame prompt learning from the Bayesian perspective and formulate it as a variational inference problem. Our approach regularizes the prompt space, reduces overfitting to the seen prompts and improves the prompt generalization on unseen prompts. Our framework is implemented by modeling the input prompt space in a probabilistic manner, as an a priori distribution which makes our proposal compatible with prompt learning approaches that are unconditional or conditional on the image. We demonstrate empirically on 15 benchmarks that Bayesian prompt learning provides an appropriate coverage of the prompt space, prevents learning spurious features, and exploits transferable invariant features. This results in better generalization of unseen prompts, even across different datasets and domains. Code available at: https://github.com/saic-fi/Bayesian-Prompt-Learning


title: Geometry Driven Progressive Warping for One-Shot Face Animation

abstract: Face animation aims at creating photo-realistic portrait videos with animated poses and expressions. A common practice is to generate displacement fields that are used to warp pixels and features from source to target. However, prior attempts often produce sub-optimal displacements. In this work, we present a geometry driven model and propose two geometric patterns as guidance: 3D face rendered displacement maps and posed neural codes. The model can optionally use one of the patterns as guidance for displacement estimation. To model displacements at locations not covered by the face model (e.g., hair), we resort to source image features for contextual information and propose a progressive warping module that alternates between feature warping and displacement estimation at increasing resolutions. We show that the proposed model can synthesize portrait videos with high fidelity and achieve the new state-of-the-art results on the VoxCeleb1 and VoxCeleb2 datasets for both cross identity and same identity reconstruction.


title: An extreme blue nugget, UV-bright starburst at z=3.613 with ninety per cent of Lyman continuum photon escape

abstract: We present the discovery and analysis of J1316+2614 at z=3.6130, a UV-bright star-forming galaxy ($M_{\rm UV} \simeq -24.7$) with large escape of Lyman continuum (LyC) radiation. J1316+2614 is a young ($\simeq 10$ Myr) star-forming galaxy with $SFR \simeq 500 M_{\odot}$ yr$^{-1}$ and a starburst mass of log($M_{\star}/M_{\odot}) \simeq 9.7$. It shows a very steep UV continuum, $\beta_{\rm UV} \simeq -2.59 \pm 0.05$, consistent with residual dust obscuration, $E(B-V)\simeq 0$. LyC emission is detected with high significance ($\simeq 17 \sigma$) down to $830$\r{A}, for which a very high relative (absolute) LyC escape fraction $f_{\rm esc} \rm (LyC) \simeq 0.92$ ($\simeq 0.87$) is inferred. The contribution of a foreground or AGN contamination to the LyC signal is discussed but is unlikely. J1316$+$2614 is the most powerful ionizing source known among the star-forming galaxy population, both in terms of production ($Q_{\rm H} \approx 10^{56}$ s$^{-1}$) and escape of ionizing photons ($f_{\rm esc} \rm (LyC) \approx 0.9$). Nebular emission in Ly$\alpha$, H$\beta$, and other rest-frame optical lines are detected, but these are weak ($EW_{0} \rm [H\beta] \simeq 35$\r{A}), with their strengths reduced roughly by $\simeq 90\%$. J1316+2614 is the first case known where the effect of large escape of ionizing photons on the strength of nebular lines and continuum emission is clearly observed. Gas inflows are detected in J1316+2614 from the blue-dominated peak Ly$\alpha$ emission (with a blue-to-red peak line ratio $I_{\rm blue}/I_{\rm red} \simeq 3.7$) and redshifted ISM absorption ($\simeq 100$ km s$^{-1}$). Our results suggest that J1316+2614 is undergoing a gas compaction event, possibly representing a short-lived phase in the evolution of massive and compact galaxies, where strong gas inflows have triggered an extreme star formation episode and nearly $100\%$ LyC photons are escaping.


title: Integrable and superintegrable systems of cylindrical type in magnetic fields

abstract: The goal of this thesis is the search for integrable and superintegrable systems with magnetic field. We formulate the quantum mechanical determining equations for second order integrals of motion in the cylindrical coordinates and we find all quadratically integrable systems of the cylindrical type. Among them we search for systems admitting additional integrals of motion. We find all systems with an additional first order integral both in classical and quantum mechanics. It turns out that all these systems have already been known and no other exist. We also find all systems with an additional integral of type $L^2+\ldots$, respectively $L_y p_y-L_x p_y+\ldots$, of which the majority is new to the literature. All found superintegrable systems admit the first order integral $L_z$ and we solve their Hamilton-Jacobi and Schr\"odinger equations by separation of variables in the cylindrical coordinates, for the first order systems in the Cartesian coordinates as well.


title: Social Balance on Networks: Local Minima and Best Edge Dynamics

abstract: Structural balance theory is an established framework for studying social relationships of friendship and enmity. These relationships are modeled by a signed network whose energy potential measures the level of imbalance, while stochastic dynamics drives the network towards a state of minimum energy that captures social balance. It is known that this energy landscape has local minima that can trap socially-aware dynamics, preventing it from reaching balance. Here we first study the robustness and attractor properties of these local minima. We show that a stochastic process can reach them from an abundance of initial states, and that some local minima cannot be escaped by mild perturbations of the network. Motivated by these anomalies, we introduce Best Edge Dynamics (BED), a new plausible stochastic process. We prove that BED always reaches balance, and that it does so fast in various interesting settings.


title: Physical significance of generalized boundary conditions: an Unruh-DeWitt detector viewpoint on $\text{AdS}_2 \times \mathbb{S}^2$

abstract: On $\text{AdS}_2 \times \mathbb{S}^2$, we construct the two-point correlation functions for the ground and thermal states of a real Klein-Gordon field admitting generalized $(\gamma,v)$-boundary conditions. We follow the prescription recently outlined in [1] for two different choices of secondary solutions. For each of them, we obtain a family of admissible boundary conditions parametrized by $\gamma\in\left[0,\frac{\pi}{2}\right]$. We study how they affect the response of a static Unruh-DeWitt detector. The latter not only perceives variations of $\gamma$, but also distinguishes between the two families of secondary solutions in a qualitatively different, and rather bizarre, fashion. Our results highlight once more the existence of a freedom in choosing boundary conditions at a timelike boundary which is greater than expected and with a notable associated physical significance.


title: Temporally Consistent Transformers for Video Generation

abstract: To generate accurate videos, algorithms have to understand the spatial and temporal dependencies in the world. Current algorithms enable accurate predictions over short horizons but tend to suffer from temporal inconsistencies. When generated content goes out of view and is later revisited, the model invents different content instead. Despite this severe limitation, no established benchmarks on complex data exist for rigorously evaluating video generation with long temporal dependencies. In this paper, we curate 3 challenging video datasets with long-range dependencies by rendering walks through 3D scenes of procedural mazes, Minecraft worlds, and indoor scans. We perform a comprehensive evaluation of current models and observe their limitations in temporal consistency. Moreover, we introduce the Temporally Consistent Transformer (TECO), a generative model that substantially improves long-term consistency while also reducing sampling time. By compressing its input sequence into fewer embeddings, applying a temporal transformer, and expanding back using a spatial MaskGit, TECO outperforms existing models across many metrics. Videos are available on the website: https://wilson1yan.github.io/teco


title: EU cost action on future generation optical wireless communication technologies -- newfocus ca19111, a white paper

abstract: The EU COST Action NEWFOCUS is focused on investigating radical solutions with the potential to impact the design of future wireless networks. It aims to address some of the challenges in OWC and establish it as an efficient technology that can satisfy the demanding requirements of backhaul and access network levels in 5G networks. This also includes the use of hybrid links that associate OWC with radiofrequency or wired/fiber-based technologies. The focus of this White Paper is on the use of optical wireless communication (OWC) as enabling technology in a range of areas outlined in HE's Pillar II including Health, Manufacturing, Intelligent Transportation Systems (ITS), Unmanned Aerial Vehicles and Network and Protocol.


title: Biorthogonal resource theory of genuine quantum superposition

abstract: The phenomenon of quantum superposition manifests in two distinct ways: it either spreads out across non-orthogonal basis states or remains concealed within their overlaps. Despite its profound implications, the resource theory of superposition often neglects the quantum superposition residing within these overlaps. However, this component is intricately linked to a form of state indistinguishability and can give rise to quantum correlations. In this paper, we introduce a pseudo-Hermitian representation of the density operator, wherein its diagonal elements correspond to biorthogonal extensions of Kirkwood-Dirac quasi-probabilities. This representation provides a unified framework for the inter-basis quantum superposition and basis state indistinguishability, giving rise to what we term as \textit{genuine} quantum superposition. Moreover, we propose appropriate generalizations of current superposition measures to quantify genuine quantum superposition that serves as the fundamental notion of nonclassicality from which both quantum coherence and correlations emerge. Finally, we explore potential applications of our theoretical framework, particularly in the quantification of electron delocalization in chemical bonding and aromaticity.


title: Phenaki: Variable Length Video Generation From Open Domain Textual Description

abstract: We present Phenaki, a model capable of realistic video synthesis, given a sequence of textual prompts. Generating videos from text is particularly challenging due to the computational cost, limited quantities of high quality text-video data and variable length of videos. To address these issues, we introduce a new model for learning video representation which compresses the video to a small representation of discrete tokens. This tokenizer uses causal attention in time, which allows it to work with variable-length videos. To generate video tokens from text we are using a bidirectional masked transformer conditioned on pre-computed text tokens. The generated video tokens are subsequently de-tokenized to create the actual video. To address data issues, we demonstrate how joint training on a large corpus of image-text pairs as well as a smaller number of video-text examples can result in generalization beyond what is available in the video datasets. Compared to the previous video generation methods, Phenaki can generate arbitrary long videos conditioned on a sequence of prompts (i.e. time variable text or a story) in open domain. To the best of our knowledge, this is the first time a paper studies generating videos from time variable prompts. In addition, compared to the per-frame baselines, the proposed video encoder-decoder computes fewer tokens per video but results in better spatio-temporal consistency.


title: Emotion Twenty Questions Dialog System for Lexical Emotional Intelligence

abstract: This paper presents a web-based demonstration of Emotion Twenty Questions (EMO20Q), a dialog game whose purpose is to study how people describe emotions. EMO20Q can also be used to develop artificially intelligent dialog agents that can play the game. In previous work, an EMO20Q agent used a sequential Bayesian machine learning model and could play the question-asking role. Newer transformer-based neural machine learning models have made it possible to develop an agent for the question-answering role. This demo paper describes the recent developments in the question-answering role of the EMO20Q game, which requires the agent to respond to more open-ended inputs. Furthermore, we also describe the design of the system, including the web-based front-end, agent architecture and programming, and updates to earlier software used. The demo system will be available to collect pilot data during the ACII conference and this data will be used to inform future experiments and system design.


title: Medical Image Retrieval via Nearest Neighbor Search on Pre-trained Image Features

abstract: Nearest neighbor search (NNS) aims to locate the points in high-dimensional space that is closest to the query point. The brute-force approach for finding the nearest neighbor becomes computationally infeasible when the number of points is large. The NNS has multiple applications in medicine, such as searching large medical imaging databases, disease classification, diagnosis, etc. With a focus on medical imaging, this paper proposes DenseLinkSearch an effective and efficient algorithm that searches and retrieves the relevant images from heterogeneous sources of medical images. Towards this, given a medical database, the proposed algorithm builds the index that consists of pre-computed links of each point in the database. The search algorithm utilizes the index to efficiently traverse the database in search of the nearest neighbor. We extensively tested the proposed NNS approach and compared the performance with state-of-the-art NNS approaches on benchmark datasets and our created medical image datasets. The proposed approach outperformed the existing approach in terms of retrieving accurate neighbors and retrieval speed. We also explore the role of medical image feature representation in content-based medical image retrieval tasks. We propose a Transformer-based feature representation technique that outperformed the existing pre-trained Transformer approach on CLEF 2011 medical image retrieval task. The source code of our experiments are available at https://github.com/deepaknlp/DLS.


title: Spins-based Quantum Otto Engines and Majorisation

abstract: The concept of majorisation is explored as a tool to characterize the performance of a quantum Otto engine in the quasi-static regime. For a working substance in the form of a spin of arbitrary magnitude, majorisation yields a necessary and sufficient condition for the operation of the Otto engine, provided the canonical distribution of the working medium at the hot reservoir is majorised by its canonical distribution at the cold reservoir. For the case of a spin-1/2 interacting with an arbitrary spin via isotropic Heisenberg exchange interaction, we derive sufficient criteria for positive work extraction using the majorisation relation. Finally, local thermodynamics of spins as well as an upper bound on the quantum Otto efficiency is analyzed using the majorisation relation.


title: Quantum Computation for Periodic Solids in Second Quantization

abstract: In this work, we present a quantum algorithm for ground-state energy calculations of periodic solids on error-corrected quantum computers. The algorithm is based on the sparse qubitization approach in second quantization and developed for Bloch and Wannier basis sets. We show that Wannier functions require less computational resources with respect to Bloch functions because: (i) the L$_1$ norm of the Hamiltonian is considerably lower and (ii) the translational symmetry of Wannier functions can be exploited in order to reduce the amount of classical data that must be loaded into the quantum computer. The resource requirements of the quantum algorithm are estimated for periodic solids such as NiO and PdO. These transition metal oxides are industrially relevant for their catalytic properties. We find that ground-state energy estimation of Hamiltonians approximated using 200--900 spin orbitals requires {\it ca.}~$10{}^{10}$--$10^{12}$ T gates and up to $3\cdot10^8$ physical qubits for a physical error rate of $0.1\%$.


title: ciDATGAN: Conditional Inputs for Tabular GANs

abstract: Conditionality has become a core component for Generative Adversarial Networks (GANs) for generating synthetic images. GANs are usually using latent conditionality to control the generation process. However, tabular data only contains manifest variables. Thus, latent conditionality either restricts the generated data or does not produce sufficiently good results. Therefore, we propose a new methodology to include conditionality in tabular GANs inspired by image completion methods. This article presents ciDATGAN, an evolution of the Directed Acyclic Tabular GAN (DATGAN) that has already been shown to outperform state-of-the-art tabular GAN models. First, we show that the addition of conditional inputs does hinder the model's performance compared to its predecessor. Then, we demonstrate that ciDATGAN can be used to unbias datasets with the help of well-chosen conditional inputs. Finally, it shows that ciDATGAN can learn the logic behind the data and, thus, be used to complete large synthetic datasets using data from a smaller feeder dataset.


title: Non-relativistic limit of scalar and Dirac fields in curved spacetime

abstract: We give from first principles the non-relativistic limit of scalar and Dirac fields in curved spacetime. We aim to find general relativistic corrections to the quantum theory of particles affected by Newtonian gravity, a regime nowadays experimentally accessible. We believe that the ever-improving measurement accuracy and the theoretical interest in finding general relativistic effects in quantum systems require the introduction of corrections to the Schr\"{o}dinger-Newtonian theory. We rigorously determine these corrections by the non-relativistic limit of fully relativistic quantum theories in curved spacetime. For curved static spacetimes, we show how a non-inertial observer (equivalently, an observer in the presence of a gravitational field) can distinguish a scalar field from a Dirac field by particle-gravity interaction. We study the Rindler spacetime and discuss the difference between the resulting non-relativistic Hamiltonians. We find that for sufficiently large acceleration, the gravity-spin coupling dominates over the corrections for scalar fields, promoting Dirac particles as the best candidates for observing non-Newtonian gravity in quantum particle phenomenology.


title: Decomposed Prompting: A Modular Approach for Solving Complex Tasks

abstract: Few-shot prompting is a surprisingly powerful way to use Large Language Models (LLMs) to solve various tasks. However, this approach struggles as the task complexity increases or when the individual reasoning steps of the task themselves are hard to learn, especially when embedded in more complex tasks. To address this, we propose Decomposed Prompting, a new approach to solve complex tasks by decomposing them (via prompting) into simpler sub-tasks that can be delegated to a library of prompting-based LLMs dedicated to these sub-tasks. This modular structure allows each prompt to be optimized for its specific sub-task, further decomposed if necessary, and even easily replaced with more effective prompts, trained models, or symbolic functions if desired. We show that the flexibility and modularity of Decomposed Prompting allows it to outperform prior work on few-shot prompting using GPT3. On symbolic reasoning tasks, we can further decompose sub-tasks that are hard for LLMs into even simpler solvable sub-tasks. When the complexity comes from the input length, we can recursively decompose the task into the same task but with smaller inputs. We also evaluate our approach on textual multi-step reasoning tasks: on long-context multi-hop QA task, we can more effectively teach the sub-tasks via our separate sub-tasks prompts; and on open-domain multi-hop QA, we can incorporate a symbolic information retrieval within our decomposition framework, leading to improved performance on both tasks. Datasets, Code and Prompts available at https://github.com/allenai/DecomP.


title: The Influence of Explainable Artificial Intelligence: Nudging Behaviour or Boosting Capability?

abstract: This article aims to provide a theoretical account and corresponding paradigm for analysing how explainable artificial intelligence (XAI) influences people's behaviour and cognition. It uses insights from research on behaviour change. Two notable frameworks for thinking about behaviour change techniques are nudges - aimed at influencing behaviour - and boosts - aimed at fostering capability. It proposes that local and concept-based explanations are more adjacent to nudges, while global and counterfactual explanations are more adjacent to boosts. It outlines a method for measuring XAI influence and argues for the benefits of understanding it for optimal, safe and ethical human-AI collaboration.


title: Bayesian statistics approach to imaging of aperture synthesis data: RESOLVE meets ALMA

abstract: The Atacama Large Millimeter/submillimeter Array (ALMA) is currently revolutionizing observational astrophysics. The aperture synthesis technique provides angular resolution otherwise unachievable with the conventional single-aperture telescope. However, recovering the image from the inherently undersampled data is a challenging task. The CLEAN algorithm has proven successful and reliable and is commonly used in imaging the interferometric observations. It is not, however, free of limitations. Point-source assumption, central to the CLEAN is not optimal for the extended structures of molecular gas recovered by ALMA. Additionally, negative fluxes recovered with CLEAN are not physical. This begs to search for alternatives that would be better suited for specific science cases. We present the recent developments in imaging ALMA data using Bayesian inference techniques, namely the RESOLVE algorithm This algorithm, based on information field theory \cite{Ensslin2013}, has been already successfully applied to image the Very Large Array data. We compare the capability of both CLEAN and RESOLVE to recover known sky signal, convoluted with the simulator of ALMA observation data and we investigate the problem with a set of actual ALMA observations.


title: Sperner systems with restricted differences

abstract: Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Heged\H{u}s, and R\'{o}nyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and \v{S}tefankovi\v{c}.


title: The Vendi Score: A Diversity Evaluation Metric for Machine Learning

abstract: Diversity is an important criterion for many areas of machine learning (ML), including generative modeling and dataset curation. However, existing metrics for measuring diversity are often domain-specific and limited in flexibility. In this paper, we address the diversity evaluation problem by proposing the Vendi Score, which connects and extends ideas from ecology and quantum statistical mechanics to ML. The Vendi Score is defined as the exponential of the Shannon entropy of the eigenvalues of a similarity matrix. This matrix is induced by a user-defined similarity function applied to the sample to be evaluated for diversity. In taking a similarity function as input, the Vendi Score enables its user to specify any desired form of diversity. Importantly, unlike many existing metrics in ML, the Vendi Score does not require a reference dataset or distribution over samples or labels, it is therefore general and applicable to any generative model, decoding algorithm, and dataset from any domain where similarity can be defined. We showcase the Vendi Score on molecular generative modeling where we found it addresses shortcomings of the current diversity metric of choice in that domain. We also applied the Vendi Score to generative models of images and decoding algorithms of text where we found it confirms known results about diversity in those domains. Furthermore, we used the Vendi Score to measure mode collapse, a known shortcoming of generative adversarial networks (GANs). In particular, the Vendi Score revealed that even GANs that capture all the modes of a labeled dataset can be less diverse than the original dataset. Finally, the interpretability of the Vendi Score allowed us to diagnose several benchmark ML datasets for diversity, opening the door for diversity-informed data augmentation.


title: Dynamical Isometry for Residual Networks

abstract: The training success, training speed and generalization ability of neural networks rely crucially on the choice of random parameter initialization. It has been shown for multiple architectures that initial dynamical isometry is particularly advantageous. Known initialization schemes for residual blocks, however, miss this property and suffer from degrading separability of different inputs for increasing depth and instability without Batch Normalization or lack feature diversity. We propose a random initialization scheme, RISOTTO, that achieves perfect dynamical isometry for residual networks with ReLU activation functions even for finite depth and width. It balances the contributions of the residual and skip branches unlike other schemes, which initially bias towards the skip connections. In experiments, we demonstrate that in most cases our approach outperforms initialization schemes proposed to make Batch Normalization obsolete, including Fixup and SkipInit, and facilitates stable training. Also in combination with Batch Normalization, we find that RISOTTO often achieves the overall best result.


title: Why Random Pruning Is All We Need to Start Sparse

abstract: Random masks define surprisingly effective sparse neural network models, as has been shown empirically. The resulting sparse networks can often compete with dense architectures and state-of-the-art lottery ticket pruning algorithms, even though they do not rely on computationally expensive prune-train iterations and can be drawn initially without significant computational overhead. We offer a theoretical explanation of how random masks can approximate arbitrary target networks if they are wider by a logarithmic factor in the inverse sparsity $1 / \log(1/\text{sparsity})$. This overparameterization factor is necessary at least for 3-layer random networks, which elucidates the observed degrading performance of random networks at higher sparsity. At moderate to high sparsity levels, however, our results imply that sparser networks are contained within random source networks so that any dense-to-sparse training scheme can be turned into a computationally more efficient sparse-to-sparse one by constraining the search to a fixed random mask. We demonstrate the feasibility of this approach in experiments for different pruning methods and propose particularly effective choices of initial layer-wise sparsity ratios of the random source network. As a special case, we show theoretically and experimentally that random source networks also contain strong lottery tickets.


title: Percolation properties of the neutron population in nuclear reactors

abstract: Reactor physics aims at studying the neutron population in a reactor core under the influence of feedback mechanisms, such as the Doppler temperature effect. Numerical schemes to calculate macroscopic properties emerging from such coupled stochastic systems however require to define intermediate quantities (e.g. the temperature field), which are bridging the gap between the stochastic neutron field and the deterministic feedback. By interpreting the branching random walk of neutrons in fissile media under the influence of a feedback mechanism as a directed percolation process and by leveraging on the statistical field theory of birth death processes, we will build a stochastic model of neutron transport theory and of reactor physics. The critical exponents of this model, combined to the analysis of the resulting field equation involving a fractional Laplacian will show that the critical diffusion equation cannot adequately describe the spatial distribution of the neutron population and shifts instead to a critical super-diffusion equation. The analysis of this equation will reveal that non-negligible departure from mean field behavior might develop in reactor cores, questioning the attainable accuracy of the numerical schemes currently used by the nuclear industry.


title: GLM-130B: An Open Bilingual Pre-trained Model

abstract: We introduce GLM-130B, a bilingual (English and Chinese) pre-trained language model with 130 billion parameters. It is an attempt to open-source a 100B-scale model at least as good as GPT-3 (davinci) and unveil how models of such a scale can be successfully pre-trained. Over the course of this effort, we face numerous unexpected technical and engineering challenges, particularly on loss spikes and divergence. In this paper, we introduce the training process of GLM-130B including its design choices, training strategies for both efficiency and stability, and engineering efforts. The resultant GLM-130B model offers significant outperformance over GPT-3 175B (davinci) on a wide range of popular English benchmarks while the performance advantage is not observed in OPT-175B and BLOOM-176B. It also consistently and significantly outperforms ERNIE TITAN 3.0 260B -- the largest Chinese language model -- across related benchmarks. Finally, we leverage a unique scaling property of GLM-130B to reach INT4 quantization without post training, with almost no performance loss, making it the first among 100B-scale models and more importantly, allowing its effective inference on 4$\times$RTX 3090 (24G) or 8$\times$RTX 2080 Ti (11G) GPUs, the most affordable GPUs required for using 100B-scale models. The GLM-130B model weights are publicly accessible and its code, training logs, related toolkit, and lessons learned are open-sourced at \url{https://github.com/THUDM/GLM-130B/}.


title: A Fourier Approach to Mixture Learning

abstract: We revisit the problem of learning mixtures of spherical Gaussians. Given samples from mixture $\frac{1}{k}\sum_{j=1}^{k}\mathcal{N}(\mu_j, I_d)$, the goal is to estimate the means $\mu_1, \mu_2, \ldots, \mu_k \in \mathbb{R}^d$ up to a small error. The hardness of this learning problem can be measured by the separation $\Delta$ defined as the minimum distance between all pairs of means. Regev and Vijayaraghavan (2017) showed that with $\Delta = \Omega(\sqrt{\log k})$ separation, the means can be learned using $\mathrm{poly}(k, d)$ samples, whereas super-polynomially many samples are required if $\Delta = o(\sqrt{\log k})$ and $d = \Omega(\log k)$. This leaves open the low-dimensional regime where $d = o(\log k)$. In this work, we give an algorithm that efficiently learns the means in $d = O(\log k/\log\log k)$ dimensions under separation $d/\sqrt{\log k}$ (modulo doubly logarithmic factors). This separation is strictly smaller than $\sqrt{\log k}$, and is also shown to be necessary. Along with the results of Regev and Vijayaraghavan (2017), our work almost pins down the critical separation threshold at which efficient parameter learning becomes possible for spherical Gaussian mixtures. More generally, our algorithm runs in time $\mathrm{poly}(k)\cdot f(d, \Delta, \epsilon)$, and is thus fixed-parameter tractable in parameters $d$, $\Delta$ and $\epsilon$. Our approach is based on estimating the Fourier transform of the mixture at carefully chosen frequencies, and both the algorithm and its analysis are simple and elementary. Our positive results can be easily extended to learning mixtures of non-Gaussian distributions, under a mild condition on the Fourier spectrum of the distribution.


title: A deep learning model for brain vessel segmentation in 3DRA with arteriovenous malformations

abstract: Segmentation of brain arterio-venous malformations (bAVMs) in 3D rotational angiographies (3DRA) is still an open problem in the literature, with high relevance for clinical practice. While deep learning models have been applied for segmenting the brain vasculature in these images, they have never been used in cases with bAVMs. This is likely caused by the difficulty to obtain sufficiently annotated data to train these approaches. In this paper we introduce a first deep learning model for blood vessel segmentation in 3DRA images of patients with bAVMs. To this end, we densely annotated 5 3DRA volumes of bAVM cases and used these to train two alternative 3DUNet-based architectures with different segmentation objectives. Our results show that the networks reach a comprehensive coverage of relevant structures for bAVM analysis, much better than what is obtained using standard methods. This is promising for achieving a better topological and morphological characterisation of the bAVM structures of interest. Furthermore, the models have the ability to segment venous structures even when missing in the ground truth labelling, which is relevant for planning interventional treatments. Ultimately, these results could be used as more reliable first initial guesses, alleviating the cumbersome task of creating manual labels.


title: Probabilistic Representation of Viscosity Solutions to Quasi-Variational Inequalities with Non-Local Drivers

abstract: We consider quasi-variational inequalities (QVIs) with general non-local drivers and related systems of reflected backward stochastic differential equations (BSDEs) in a Brownian filtration. We show existence and uniqueness of viscosity solutions to the QVIs by first considering the standard (local) setting and then applying a contraction argument. In addition, the contraction argument yields existence and uniqueness of solutions to the related systems of reflected BSDEs and extends the theory of probabilistic representations of PDEs in terms of BSDEs to our specific setting.


title: Gradient Descent in the Absence of Global Lipschitz Continuity of the Gradients

abstract: Gradient descent (GD) is a collection of continuous optimization methods that have achieved immeasurable success in practice. Owing to data science applications, GD with diminishing step sizes has become a prominent variant. While this variant of GD has been well-studied in the literature for objectives with globally Lipschitz continuous gradients or by requiring bounded iterates, objectives from data science problems do not satisfy such assumptions. Thus, in this work, we provide a novel global convergence analysis of GD with diminishing step sizes for differentiable nonconvex functions whose gradients are only locally Lipschitz continuous. Through our analysis, we generalize what is known about gradient descent with diminishing step sizes including interesting topological facts; and we elucidate the varied behaviors that can occur in the previously overlooked divergence regime. Thus, we provide the most general global convergence analysis of GD with diminishing step sizes under realistic conditions for data science problems.


title: Boundary-Aware Uncertainty for Feature Attribution Explainers

abstract: Post-hoc explanation methods have become a critical tool for understanding black-box classifiers in high-stakes applications. However, high-performing classifiers are often highly nonlinear and can exhibit complex behavior around the decision boundary, leading to brittle or misleading local explanations. Therefore there is an impending need to quantify the uncertainty of such explanation methods in order to understand when explanations are trustworthy. In this work we propose the Gaussian Process Explanation UnCertainty (GPEC) framework, which generates a unified uncertainty estimate combining decision boundary-aware uncertainty with explanation function approximation uncertainty. We introduce a novel geodesic-based kernel, which captures the complexity of the target black-box decision boundary. We show theoretically that the proposed kernel similarity increases with decision boundary complexity. The proposed framework is highly flexible; it can be used with any black-box classifier and feature attribution method. Empirical results on multiple tabular and image datasets show that the GPEC uncertainty estimate improves understanding of explanations as compared to existing methods.


title: Most planets might have more than 5 Myr of time to form

abstract: The lifetime of protoplanetary disks is a crucial parameter for planet formation research. Observations of disk fractions in star clusters imply median disk lifetimes of 1 -- 3 Myr. This very short disk lifetime calls for planet formation to occur extremely rapidly. We show that young, distant clusters ($\leq$ 5 Myr, $>$ 200 pc) often dominate these types of studies. Such clusters frequently suffer from limiting magnitudes leading to an over-representation of high-mass stars. As high-mass stars disperse their disks earlier, the derived disk lifetimes apply best to high-mass stars rather than low-mass stars. Including only nearby clusters ($<$ 200 pc) minimizes the effect of limiting magnitude. In this case, the median disk lifetime of low-mass stars is with 5 -- 10 Myr, thus much longer than often claimed. The longer timescales provide planets ample time to form. How high-mass stars form planets so much faster than low-mass stars is the next grand challenges.