title: On maximal regularity estimates for quasilinear evolution equations via the integral Bernstein method

abstract: This work addresses the problem of (global) maximal regularity for quasilinear evolution equations with sublinear gradient growth and right-hand side in Lebesgue spaces, complemented with Neumann boundary conditions. The proof relies on a suitable variation of the Bernstein technique and the Bochner identity, and provides new results even for the simpler parabolic $p$-Laplacian equation with unbounded source term. As a byproduct we also obtain a second-order estimate that can be of independent interest when the right-side of the equation belongs to $L^m$, $m\neq 2$. This approach leads to new results even for stationary problems.


title: Representation Learning with Large Language Models for Recommendation

abstract: Recommender systems have seen significant advancements with the influence of deep learning and graph neural networks, particularly in capturing complex user-item relationships. However, these graph-based recommenders heavily depend on ID-based data, potentially disregarding valuable textual information associated with users and items, resulting in less informative learned representations. Moreover, the utilization of implicit feedback data introduces potential noise and bias, posing challenges for the effectiveness of user preference learning. While the integration of large language models (LLMs) into traditional ID-based recommenders has gained attention, challenges such as scalability issues, limitations in text-only reliance, and prompt input constraints need to be addressed for effective implementation in practical recommender systems. To address these challenges, we propose a model-agnostic framework RLMRec that aims to enhance existing recommenders with LLM-empowered representation learning. It proposes a recommendation paradigm that integrates representation learning with LLMs to capture intricate semantic aspects of user behaviors and preferences. RLMRec incorporates auxiliary textual signals, develops a user/item profiling paradigm empowered by LLMs, and aligns the semantic space of LLMs with the representation space of collaborative relational signals through a cross-view alignment framework. This work further establish a theoretical foundation demonstrating that incorporating textual signals through mutual information maximization enhances the quality of representations. In our evaluation, we integrate RLMRec with state-of-the-art recommender models, while also analyzing its efficiency and robustness to noise data. Our implementation codes are available at https://github.com/HKUDS/RLMRec.


title: Weighted Distance Nearest Neighbor Condensing

abstract: The problem of nearest neighbor condensing has enjoyed a long history of study, both in its theoretical and practical aspects. In this paper, we introduce the problem of weighted distance nearest neighbor condensing, where one assigns weights to each point of the condensed set, and then new points are labeled based on their weighted distance nearest neighbor in the condensed set. We study the theoretical properties of this new model, and show that it can produce dramatically better condensing than the standard nearest neighbor rule, yet is characterized by generalization bounds almost identical to the latter. We then suggest a condensing heuristic for our new problem. We demonstrate Bayes consistency for this heuristic, and also show promising empirical results.


title: Improving Robustness and Reliability in Medical Image Classification with Latent-Guided Diffusion and Nested-Ensembles

abstract: While deep learning models have achieved remarkable success across a range of medical image analysis tasks, deployment of these models in real clinical contexts requires that they be robust to variability in the acquired images. While many methods apply predefined transformations to augment the training data to enhance test-time robustness, these transformations may not ensure the model's robustness to the diverse variability seen in patient images. In this paper, we introduce a novel three-stage approach based on transformers coupled with conditional diffusion models, with the goal of improving model robustness to the kinds of imaging variability commonly encountered in practice without the need for pre-determined data augmentation strategies. To this end, multiple image encoders first learn hierarchical feature representations to build discriminative latent spaces. Next, a reverse diffusion process, guided by the latent code, acts on an informative prior and proposes prediction candidates in a generative manner. Finally, several prediction candidates are aggregated in a bi-level aggregation protocol to produce the final output. Through extensive experiments on medical imaging benchmark datasets, we show that our method improves upon state-of-the-art methods in terms of robustness and confidence calibration. Additionally, we introduce a strategy to quantify the prediction uncertainty at the instance level, increasing their trustworthiness to clinicians using them in clinical practice.


title: Bakry-\'Emery and Ollivier Ricci Curvature of Cayley Graphs

abstract: In this article we study two discrete curvature notions, Bakry-\'Emery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups $\Gamma = \langle S \, \mid\, R \rangle$ that addition of relators does not lead to a decrease the weighted curvatures of their Cayley graphs with adapted weighting schemes.


title: Characteristics of $\langle a \rangle$ Screw Dislocations Basal Slip in Titanium

abstract: Plasticity in hexagonal close packed (HCP) metals and alloys such as Titanium (Ti) and Zirconium (Zr) is carried out by the motion of $\langle a \rangle$ dislocations. Above room temperature, in situ transmission electron microscopy straining experiments have shown that basal slip of $\langle a \rangle$ screw dislocations in Ti is activated and its preponderance increases with temperature. To discern the mechanism of basal slip of these dislocations in pure Ti, molecular dynamics (MD) simulations and nudged elastic band (NEB) calculations were performed for a screw dislocation gliding on the basal plane. From MD simulations, basal and pyramidal slip were shown to be intertwined. The screw dislocation glides by kink pair nucleation and propagation mechanism on one of the two equiprobable pyramidal planes adjacent to the maximum resolved shear stress basal plane, before switching to the other pyramidal plane, thus leading to an average basal slip at low stress and/or high temperature. On the other hand, NEB calculations revealed that at low stresses kinks do not nucleate in the pyramidal plane but rather directly in the basal plane fully compatible with the motion of a screw dislocation confined to the basal plane, in agreement with experimental observations in Ti and Zr. The discrepancy between these two mechanisms is shown to be related to the thermal activation of the cross-slip from the pyramidal to the prismatic core configuration of the $\langle a \rangle$ screw dislocation.


title: Decoupled DETR: Spatially Disentangling Localization and Classification for Improved End-to-End Object Detection

abstract: The introduction of DETR represents a new paradigm for object detection. However, its decoder conducts classification and box localization using shared queries and cross-attention layers, leading to suboptimal results. We observe that different regions of interest in the visual feature map are suitable for performing query classification and box localization tasks, even for the same object. Salient regions provide vital information for classification, while the boundaries around them are more favorable for box regression. Unfortunately, such spatial misalignment between these two tasks greatly hinders DETR's training. Therefore, in this work, we focus on decoupling localization and classification tasks in DETR. To achieve this, we introduce a new design scheme called spatially decoupled DETR (SD-DETR), which includes a task-aware query generation module and a disentangled feature learning process. We elaborately design the task-aware query initialization process and divide the cross-attention block in the decoder to allow the task-aware queries to match different visual regions. Meanwhile, we also observe that the prediction misalignment problem for high classification confidence and precise localization exists, so we propose an alignment loss to further guide the spatially decoupled DETR training. Through extensive experiments, we demonstrate that our approach achieves a significant improvement in MSCOCO datasets compared to previous work. For instance, we improve the performance of Conditional DETR by 4.5 AP. By spatially disentangling the two tasks, our method overcomes the misalignment problem and greatly improves the performance of DETR for object detection.


title: Likelihood-Based Inference for Semi-Parametric Transformation Cure Models with Interval Censored Data

abstract: A simple yet effective way of modeling survival data with cure fraction is by considering Box-Cox transformation cure model (BCTM) that unifies mixture and promotion time cure models. In this article, we numerically study the statistical properties of the BCTM when applied to interval censored data. Time-to-events associated with susceptible subjects are modeled through proportional hazards structure that allows for non-homogeneity across subjects, where the baseline hazard function is estimated by distribution-free piecewise linear function with varied degrees of non-parametricity. Due to missing cured statuses for right censored subjects, maximum likelihood estimates of model parameters are obtained by developing an expectation-maximization (EM) algorithm. Under the EM framework, the conditional expectation of the complete data log-likelihood function is maximized by considering all parameters (including the Box-Cox transformation parameter $\alpha$) simultaneously, in contrast to conventional profile-likelihood technique of estimating $\alpha$. The robustness and accuracy of the model and estimation method are established through a detailed simulation study under various parameter settings, and an analysis of real-life data obtained from a smoking cessation study.


title: Non-coplanar gravitational lenses and the "communication bridge"

abstract: We investigate the propagation of light signals across multiple gravitational lenses, with particular emphasis on the "communication bridge" scenario of two lenses with collinear source and observer. The lenses are assumed to be non-coplanar, far enough from one another for each lens to be treated independently as thin lenses in the limit of weak gravity. We analyze these scenarios using several different tools, including geometric optics, photon mapping, wave optics and ray tracing. Specifically, we use these tools to assess light amplification and image formation by a two-lens system. We then extend the ray tracing analysis to the case of multiple non-coplanar lenses, demonstrating the complexity of images that are projected even by relatively simple lens configurations. We introduce a simple simulation tool that can be used to analyze lensing by non-coplanar gravitational monopoles in the weak gravity limit, treating them as thin lenses.


title: Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model

abstract: Dynamic operation of biological processes, such as anaerobic digestion (AD), requires reliable process monitoring to guarantee stable operating conditions at all times. Unscented Kalman filters (UKF) are an established tool for nonlinear state estimation, and there exist numerous variants of UKF implementations, treating state constraints, improvements of numerical performance and different noise cases. So far, however, a unified comparison of proposed methods emphasizing the algorithmic details is lacking. The present study thus examines multiple unconstrained and constrained UKF variants, addresses aspects crucial for direct implementation and applies them to a simplified AD model. The constrained UKF considering additive noise delivered the most accurate state estimations. The long run time of the underlying optimization could be vastly reduced through pre-calculated gradients and Hessian of the associated cost function, as well as by reformulation of the cost function as a quadratic program. However, unconstrained UKF variants showed lower run times at competitive estimation accuracy. This study provides useful advice to practitioners working with nonlinear Kalman filters by paying close attention to algorithmic details and modifications crucial for successful implementation.


title: NoteChat: A Dataset of Synthetic Doctor-Patient Conversations Conditioned on Clinical Notes

abstract: We introduce NoteChat, a novel cooperative multi-agent framework leveraging Large Language Models (LLMs) to generate patient-physician dialogues. NoteChat embodies the principle that an ensemble of role-specific LLMs, through structured role-play and strategic prompting, can perform their assigned roles more effectively. The synergy among these role-playing LLMs results in a cohesive and efficient dialogue generation. Evaluation on MTS-dialogue, a benchmark dataset for patient-physician dialogues-note pairs, shows that models trained with the augmented synthetic patient-physician dialogues by NoteChat outperforms other state-of-the-art models for generating clinical notes. Our comprehensive automatic and human evaluation demonstrates that NoteChat substantially surpasses state-of-the-art models like ChatGPT and GPT-4 up to 22.78% by domain experts in generating superior synthetic patient-physician dialogues based on clinical notes. NoteChat has the potential to engage patients directly and help clinical documentation, a leading cause of physician burnout.


title: LGR-MPC: A user-friendly software based on Legendre-Gauss-Radau pseudo spectral method for solving Model Predictive Control problems

abstract: Active components, such as actuators, constitute a fundamental aspect of engineering systems, affording the freedom to shape system behavior as desired. However, this capability necessitates energy consumption, primarily in the form of electricity. Thus, a trade-off emerges between energy usage and desired outcomes. While open-loop optimal control methods strive for efficiency, practical implementation is hampered by disturbances and model discrepancies, underscoring the need for closed-loop controllers. The Proportional- Integral-Derivative (PID) controller is widely favored in industry due to its simplicity, despite sub-optimal responses in many cases. To bridge this gap, Model Predictive Control (MPC) offers a solution, yet its complexity limits its broad applicability. This paper introduces user-friendly Python-based MPC software, enabling easy access to MPC. The effectiveness of this software is demonstrated through multiple examples, including those with a known analytical solution.


title: Mixture of Tokens: Efficient LLMs through Cross-Example Aggregation

abstract: Despite the promise of Mixture of Experts (MoE) models in increasing parameter counts of Transformer models while maintaining training and inference costs, their application carries notable drawbacks. The key strategy of these models is to, for each processed token, activate at most a few experts - subsets of an extensive feed-forward layer. But this approach is not without its challenges. The operation of matching experts and tokens is discrete, which makes MoE models prone to issues like training instability and uneven expert utilization. Existing techniques designed to address these concerns, such as auxiliary losses or balance-aware matching, result either in lower model performance or are more difficult to train. In response to these issues, we propose Mixture of Tokens, a fully-differentiable model that retains the benefits of MoE architectures while avoiding the aforementioned difficulties. Rather than routing tokens to experts, this approach mixes tokens from different examples prior to feeding them to experts, enabling the model to learn from all token-expert combinations. Importantly, this mixing can be disabled to avoid mixing of different sequences during inference. Crucially, this method is fully compatible with both masked and causal Large Language Model training and inference.


title: Acceptance effect on the $N_{\rm t} N_{\rm p}/N_{\rm d}^2$ ratio of light nuclei coalescence yields as a probe of nucleon density fluctuations

abstract: We employ a coalescence model to form deuterons ($\rm d$), tritons (${\rm t}$) and helium-3 ($^3{\rm He}$) nuclei from a uniformly distributed volume of protons ({\rm p}) and neutrons ({\rm n}). We study the ratio $N_{\rm t} N_{\rm p}/N_{\rm d}^2$ of light nuclei yields as a function of the neutron density fluctuations. We investigate the effect of finite transverse momentum ($p_{\rm T}$) acceptance on the ratio, in particular, the "extrapolation factor" ($f$) for the ratio as functions of the $p_{\rm T}$ spectral shape and the magnitude of neutron density fluctuations. It is found that $f$ is monotonic in $p_{\rm T}$ spectra "temperature" parameter and neutron density fluctuation magnitude; variations in the latter are relatively small. We also examine $f$ in realistic simulations using kinematic distributions of protons measured in heavy ion collision data. It is found that $f$ is smooth and monotonic as a function of beam energy. We conclude that extrapolation from limited $p_{\rm T}$ ranges would not create, enhance, or reduce a local peak of the $N_{\rm t} N_{\rm p}/N_{\rm d}^2$ ratio in beam energy. Our study provides a necessary benchmark for light nuclei ratios as a probe of nucleon density fluctuations, an important observable in the search for the critical point of nuclear matter.


title: Paralinearization and extended lifespan for solutions of the $ \alpha $-SQG sharp front equation

abstract: In this paper we paralinearize the contour dynamics equation for sharp-fronts of $\alpha$-SQG, for any $ \alpha \in (0,1) \cup (1,2) $, close to a circular vortex. This turns out to be a quasi-linear Hamiltonian PDE. After deriving the asymptotic expansion of the linear frequencies of oscillations at the vortex disk and verifying the absence of three wave interactions, we prove that, in the most singular cases $ \alpha \in (1,2) $, any initial vortex patch which is $ \varepsilon $-close to the disk exists for a time interval of size at least $ \sim \varepsilon^{-2} $. This quadratic lifespan result relies on a paradifferential Birkhoff normal form reduction and exploits cancellations arising from the Hamiltonian nature of the equation. This is the first normal form long time existence result of sharp fronts.


title: Long-Term Employment Effects of the Minimum Wage in Germany: New Data and Estimators

abstract: We study the long-term effects of the 2015 German minimum wage introduction and its subsequent increases on regional employment. Using data from two waves of the Structure of Earnings Survey allows us to estimate models that account for changes in the minimum wage bite over time. While the introduction mainly affected the labour market in East Germany, the raises are also increasingly affecting low-wage regions in West Germany, such that around one third of regions have changed their (binary) treatment status over time. We apply different specifications and extensions of the classic difference-in-differences approach as well as a set of new estimators that enables for unbiased effect estimation with a staggered treatment adoption and heterogeneous treatment effects. Our results indicate a small negative effect on dependent employment of 0.5 percent, no significant effect on employment subject to social security contributions, and a significant negative effect of about 2.4 percent on marginal employment until the first quarter of 2022. The extended specifications suggest additional effects of the minimum wage increases, as well as stronger negative effects on total dependent and marginal employment for those regions that were strongly affected by the minimum wage in 2015 and 2019.


title: Precise determination of the pole position of the exotic $Z_c(3900)$

abstract: We perform a unified description of the experimental data of the $\pi^+\pi^-$ and $J/\psi\pi^\pm$ invariant mass spectra for $e^+e^- \rightarrow J/\psi \pi^+\pi^-$ and the $D^0 D^{\ast-}$ mass spectrum for $e^+e^- \rightarrow D^0 D^{\ast-} \pi^+$ at $e^+e^-$ center-of-mass energies 4.23 and 4.26 GeV. The analysis takes into account open-charm meson loops that contain triangle singularities, the $J/\psi\pi$-$D\bar D^*$ coupled-channel interaction respecting unitarity, and the strong $\pi\pi$-$K\bar K$ final state interaction using dispersion relations. The analysis leads to a precise determination of the $Z_c(3900)$ pole with the pole mass and width $(3880.7 \pm 1.7_\text{stat}\pm 22.4_\text{syst})$ MeV and $(35.9 \pm 1.4_\text{stat}\pm 15.3_\text{syst})$ MeV, respectively, and hints at that the $D\bar D^*$ molecular and non-molecular components are of similar importance in the $Z_c(3900)$ formation.


title: Constructing and Machine Learning Calabi-Yau Five-folds

abstract: We construct all possible complete intersection Calabi-Yau five-folds in a product of four or less complex projective spaces, with up to four constraints. We obtain $27068$ spaces, which are not related by permutations of rows and columns of the configuration matrix, and determine the Euler number for all of them. Excluding the $3909$ product manifolds among those, we calculate the cohomological data for $12433$ cases, i.e. $53.7 \%$ of the non-product spaces, obtaining $2375$ different Hodge diamonds. The dataset containing all the above information is available at https://www.dropbox.com/scl/fo/z7ii5idt6qxu36e0b8azq/h?rlkey=0qfhx3tykytduobpld510gsfy&dl=0 . The distributions of the invariants are presented, and a comparison with the lower-dimensional analogues is discussed. Supervised machine learning is performed on the cohomological data, via classifier and regressor (both fully connected and convolutional) neural networks. We find that $h^{1,1}$ can be learnt very efficiently, with very high $R^2$ score and an accuracy of $96\%$, i.e. $96 \%$ of the predictions exactly match the correct values. For $h^{1,4},h^{2,3}, \eta$, we also find very high $R^2$ scores, but the accuracy is lower, due to the large ranges of possible values.


title: Comparing emission- and absorption-based gas-phase metallicities in GRB host galaxies at $z=2-4$ using JWST

abstract: Much of what is known of the chemical composition of the universe is based on emission line spectra from star forming galaxies. Emission-based inferences are, nevertheless, model-dependent and they are dominated by light from luminous star forming regions. An alternative and sensitive probe of the metallicity of galaxies is through absorption lines imprinted on the luminous afterglow spectra of long gamma ray bursts (GRBs) from neutral material within their host galaxy. We present results from a JWST/NIRSpec programme to investigate for the first time the relation between the metallicity of neutral gas probed in absorption by GRB afterglows and the metallicity of the star forming regions for the same host galaxy sample. Using an initial sample of eight GRB host galaxies at z=2.1-4.7, we find a tight relation between absorption and emission line metallicities when using the recently proposed $\hat{R}$ metallicity diagnostic (+/-0.2dex). This agreement implies a relatively chemically-homogeneous multi-phase interstellar medium, and indicates that absorption and emission line probes can be directly compared. However, the relation is less clear when using other diagnostics, such as R23 and R3. We also find possible evidence of an elevated N/O ratio in the host galaxy of GRB090323 at z=3.58, consistent with what has been seen in other $z>4$ galaxies. Ultimate confirmation of an enhanced N/O ratio and of the relation between absorption and emission line metallicities will require a more direct determination of the emission line metallicity via the detection of temperature-sensitive auroral lines in our GRB host galaxy sample.


title: An Intra-pulse feedforward algorithm for improving pulsed microwave stability

abstract: During the pulsed operation of the linear accelerator in DCLS (Dalian Coherent Light Source), we found a strong correlation between the klystron modulator's high voltage and the klystron output microwave, with noticeable jitter among adjacent microwaves. Therefore, we propose an intra-pulse feedforward algorithm and implement it in LLRF (Low-Level Radiofrequency) systems. This algorithm assumes that the transfer model of the microwave system is linear within a small range of work points and measures the transfer coefficient of the microwave between the LLRF and klystron. For each pulsed microwave of the klystron output, the LLRF system first calculates the vector deviation between the initial measurement within its pulse and the target. The deviation will be compensated in the LLRF excitation so that the jitter in the later part of the pulsed microwave is suppressed. Experiments have shown that this algorithm can effectively suppress the jitter among adjacent microwaves, e.g., improving the amplitude and phase stability (RMS) from 0.11%/0.2{\deg} to 0.1%/0.05{\deg}. This algorithm can also be applied to other accelerators operating in pulsed modes.


title: The analytic Hasse Principle for certain singular intersections of quadrics in $\mathbb{P}^9$

abstract: For a pair of quadratic forms with rational coefficients in at least $10$ variables, we prove an asymptotic formula for the number of common zeros under the assumption that the two forms determine a projective variety with exactly two (geometric) singular points defined over an imaginary quadratic field. This extends work of Browning and Munshi with the help of automorphic methods.


title: Accented Speech Recognition With Accent-specific Codebooks

abstract: Speech accents pose a significant challenge to state-of-the-art automatic speech recognition (ASR) systems. Degradation in performance across underrepresented accents is a severe deterrent to the inclusive adoption of ASR. In this work, we propose a novel accent adaptation approach for end-to-end ASR systems using cross-attention with a trainable set of codebooks. These learnable codebooks capture accent-specific information and are integrated within the ASR encoder layers. The model is trained on accented English speech, while the test data also contained accents which were not seen during training. On the Mozilla Common Voice multi-accented dataset, we show that our proposed approach yields significant performance gains not only on the seen English accents (up to $37\%$ relative improvement in word error rate) but also on the unseen accents (up to $5\%$ relative improvement in WER). Further, we illustrate benefits for a zero-shot transfer setup on the L2Artic dataset. We also compare the performance with other approaches based on accent adversarial training.


title: Characterizing Issue Management in Runtime Systems

abstract: Modern programming languages like Java require runtime systems to support the implementation and deployment of software applications in diverse computing platforms and operating systems. These runtime systems are normally developed in GitHub-hosted repositories based on close collaboration between large software companies (e.g., IBM, Microsoft) and OSS developers. However, despite their popularity and broad usage; to the best of our knowledge, these repositories have never been studied. We report an empirical study of around 118K issues from 34 runtime system repos in GitHub. We found that issues regarding enhancement, test failure and bug are mostly posted on runtime system repositories and solution related discussion are mostly present on issue discussion. 82.69% issues in the runtime system repositories have been resolved and 0.69% issues are ignored; median of issue close rate, ignore rate and addressing time in these repositories are 76.1%, 2.2% and 58 days respectively. 82.65% issues are tagged with labels while only 28.30% issues have designated assignees and 90.65% issues contain at least one comment; also presence of these features in an issue report can affect issue closure. Based on the findings, we offer six recommendat


title: An Efficient Method for Realizing Contractions of Access Structures in Cloud Storage

abstract: In single-cloud storage, ciphertext-policy attribute-based encryption (CP-ABE) allows one to encrypt any data under an access structure to a cloud server, specifying what attributes are required to decrypt. In multi-cloud storage, a secret sharing scheme (SSS) allows one to split any data into multiple shares, one to a single server, and specify which subset of the servers are able to recover the data. It is an interesting problem to remove some attributes/servers but still enable the remaining attributes/servers in every authorized set to recover the data. The problem is related to the contraction problem of access structures for SSSs. In this paper, we propose a method that can efficiently transform a given SSS for an access structure to SSSs for contractions of the access structure. We show its applications in solving the attribute removal problem in the CP-ABE based single-cloud storage and the data relocating problem in multi-cloud storage. Our method results in solutions that require either less server storage or even no additional server storage.


title: Explicit Formulas of Fractional GJMS operators on hyperbolic spaces and sharp fractional Poincar\'e-Sobolev and Hardy-Sobolev-Maz'ya inequalities

abstract: Using the scattering theory on the hyperbolic space $\mathbb{H}^n$, we give the explicit formulas of the fractional GJMS operators $P_{\gamma}$ for all $\gamma\in(0,\frac{n}{2})\setminus\mathbb{N}$ on $\mathbb{H}^n$.These $P_{\gamma}$ for $\gamma\in(0,\frac{n}{2})\setminus\mathbb{N}$ are neither conformal to the fractional Laplacians on $\mathbb{R}^n_{+}$ nor on $\mathbb{B}^n$ in $\mathbb{R}^{n}$ though $P_{\gamma}$ are conformal to $(-\Delta)^{\gamma}$ via half space model and ball model of hyperbolic spaces when $\gamma\in\mathbb{N}$. To circumvent this, we introduce another family of fractional operators $\tilde{P}_{\gamma}$ on $\mathbb{H}^n$ which are conformal to the fractional Laplacians on $\mathbb{R}^n_{+}$ and $\mathbb{B}^n$. It is worthwhile to note that $\tilde{P}_{\gamma}\not =P_{\gamma}$ unless $\gamma$ is an integer. We establish the fractional Poincar\'e-Sobolev inequalities associated with both $P_{\gamma}$ and $\tilde{P}_{\gamma}$ on $\mathbb{H}^n$. In particular, when $n\geq 3$ and $\frac{n-1}{2}\leq \gamma<\frac{n}{2}$, we prove that the sharp constants in the $\gamma$-th order of Poincar\'e-Sobolev inequalities on the hyperbolic space associated with $P_{\gamma}$ and $\tilde{P}_{\gamma}$ coincide with the best $\gamma$-th order Sobolev constant in the $n$-dimensional Euclidean space $\mathbb{R}^n$. We also establish fractional Hardy-Sobolev-Maz'ya inequality on $\mathbb{R}^{n}_+$ and $\mathbb{B}^n$ and prove that the sharp constants in the $\gamma$-th order Hardy-Sobolev-Maz'ya inequalities on half space $\mathbb{R}^{n}_+$ and unit ball $\mathbb{B}^n$ are the same as the best $\gamma$-th order Sobolev constants in $\mathbb{R}^n$ when $n\geq 3$ and $\frac{n-1}{2}\leq \gamma<\frac{n}{2}$. Our methods crucially rely on the Helgason-Fourier analysis on hyperbolic spaces and delicate analysis of special functions.


title: Minimax Forward and Backward Learning of Evolving Tasks with Performance Guarantees

abstract: For a sequence of classification tasks that arrive over time, it is common that tasks are evolving in the sense that consecutive tasks often have a higher similarity. The incremental learning of a growing sequence of tasks holds promise to enable accurate classification even with few samples per task by leveraging information from all the tasks in the sequence (forward and backward learning). However, existing techniques developed for continual learning and concept drift adaptation are either designed for tasks with time-independent similarities or only aim to learn the last task in the sequence. This paper presents incremental minimax risk classifiers (IMRCs) that effectively exploit forward and backward learning and account for evolving tasks. In addition, we analytically characterize the performance improvement provided by forward and backward learning in terms of the tasks' expected quadratic change and the number of tasks. The experimental evaluation shows that IMRCs can result in a significant performance improvement, especially for reduced sample sizes.


title: Data-driven Traffic Simulation: A Comprehensive Review

abstract: Autonomous vehicles (AVs) have the potential to significantly revolutionize society by providing a secure and efficient mode of transportation. Recent years have witnessed notable advancements in autonomous driving perception and prediction, but the challenge of validating the performance of AVs remains largely unresolved. Data-driven microscopic traffic simulation has become an important tool for autonomous driving testing due to 1) availability of high-fidelity traffic data; 2) its advantages of enabling large-scale testing and scenario reproducibility; and 3) its potential in reactive and realistic traffic simulation. However, a comprehensive review of this topic is currently lacking. This paper aims to fill this gap by summarizing relevant studies. The primary objective of this paper is to review current research efforts and provide a futuristic perspective that will benefit future developments in the field. It introduces the general issues of data-driven traffic simulation and outlines key concepts and terms. After overviewing traffic simulation, various datasets and evaluation metrics commonly used are reviewed. The paper then offers a comprehensive evaluation of imitation learning, reinforcement learning, deep generative and deep learning methods, summarizing each and analyzing their advantages and disadvantages in detail. Moreover, it evaluates the state-of-the-art, existing challenges, and future research directions.


title: Convergence of Sign-based Random Reshuffling Algorithms for Nonconvex Optimization

abstract: signSGD is popular in nonconvex optimization due to its communication efficiency. Yet, existing analyses of signSGD rely on assuming that data are sampled with replacement in each iteration, contradicting the practical implementation where data are randomly reshuffled and sequentially fed into the algorithm. We bridge this gap by proving the first convergence result of signSGD with random reshuffling (SignRR) for nonconvex optimization. Given the dataset size $n$, the number of epochs of data passes $T$, and the variance bound of a stochastic gradient $\sigma^2$, we show that SignRR has the same convergence rate $O(\log(nT)/\sqrt{nT} + \|\sigma\|_1)$ as signSGD \citep{bernstein2018signsgd}. We then present SignRVR and SignRVM, which leverage variance-reduced gradients and momentum updates respectively, both converging at $O(\log (nT)/\sqrt{nT} + \log (nT)\sqrt{n}/\sqrt{T})$. In contrast with the analysis of signSGD, our results do not require an extremely large batch size in each iteration to be of the same order as the total number of iterations \citep{bernstein2018signsgd} or the signs of stochastic and true gradients match element-wise with a minimum probability of 1/2 \citep{safaryan2021stochastic}. We also extend our algorithms to cases where data are distributed across different machines, yielding dist-SignRVR and dist-SignRVM, both converging at $O(\log (n_0T)/\sqrt{n_0T} + \log (n_0T)\sqrt{n_0}/\sqrt{T})$, where $n_0$ is the dataset size of a single machine. We back up our theoretical findings through experiments on simulated and real-world problems, verifying that randomly reshuffled sign methods match or surpass existing baselines.


title: The Conspiracy Money Machine: Uncovering Telegram's Conspiracy Channels and their Profit Model

abstract: In recent years, major social media platforms have implemented increasingly strict moderation policies, resulting in bans and restrictions on conspiracy theory-related content. To circumvent these restrictions, conspiracy theorists are turning to alternatives, such as Telegram, where they can express and spread their views with fewer limitations. Telegram offers channels -- virtual rooms where only administrators can broadcast messages -- and a more permissive content policy. These features have created the perfect breeding ground for a complex ecosystem of conspiracy channels. In this paper, we illuminate this ecosystem. First, we propose an approach to detect conspiracy channels. Then, we discover that conspiracy channels can be clustered into four distinct communities comprising over 17,000 channels. Finally, we uncover the "Conspiracy Money Machine," revealing how most conspiracy channels actively seek to profit from their subscribers. We find conspiracy theorists leverage e-commerce platforms to sell questionable products or lucratively promote them through affiliate links. Moreover, we observe that conspiracy channels use donation and crowdfunding platforms to raise funds for their campaigns. We determine that this business involves hundreds of donors and generates a turnover of over $90 million.


title: Graph Deep Learning for Time Series Forecasting

abstract: Graph-based deep learning methods have become popular tools to process collections of correlated time series. Differently from traditional multivariate forecasting methods, neural graph-based predictors take advantage of pairwise relationships by conditioning forecasts on a (possibly dynamic) graph spanning the time series collection. The conditioning can take the form of an architectural inductive bias on the neural forecasting architecture, resulting in a family of deep learning models called spatiotemporal graph neural networks. Such relational inductive biases enable the training of global forecasting models on large time-series collections, while at the same time localizing predictions w.r.t. each element in the set (i.e., graph nodes) by accounting for local correlations among them (i.e., graph edges). Indeed, recent theoretical and practical advances in graph neural networks and deep learning for time series forecasting make the adoption of such processing frameworks appealing and timely. However, most of the studies in the literature focus on proposing variations of existing neural architectures by taking advantage of modern deep learning practices, while foundational and methodological aspects have not been subject to systematic investigation. To fill the gap, this paper aims to introduce a comprehensive methodological framework that formalizes the forecasting problem and provides design principles for graph-based predictive models and methods to assess their performance. At the same time, together with an overview of the field, we provide design guidelines, recommendations, and best practices, as well as an in-depth discussion of open challenges and future research directions.


title: The Radiant Massive Magnetic Dipole

abstract: We present an exact, time-dependent solution for the Einstein field equations that models the coupling between an anisotropic fluid and a magnetic field in an axially symmetric space-time. By carefully selecting the metric components, we achieve a convenient separation of variables that enables us to solve Einstein's field equations and obtain a solution that evolves into the Gutsunaev-Manko massive magnetic dipole. The analysis of the thermodynamic quantities suggests that this solution may represent a pulse of radiation emitted by a massive object with magnetic properties as for example pulsars or neutron stars.


title: Minimum Connected Dominating Set and Backbone of a Random Graph

abstract: We study the minimum dominating set problem as a representative combinatorial optimization challenge with a global topological constraint. The requirement that the backbone induced by the vertices of a dominating set should be a connected subgraph makes the problem rather nontrivial to investigate by statistical physics methods. Here we convert this global connectivity constraint into a set of local vertex constraints and build a spin glass model with only five coarse-grained vertex states. We derive a set of coarse-grained belief-propagation equations and obtain theoretical predictions on the relative sizes of minimum dominating sets for regular random and Erd\"os-R\'enyi random graph ensembles. We also implement an efficient message-passing algorithm to construct close-to-minimum connected dominating sets and backbone subgraphs for single random graph instances. Our theoretical strategy may also be inspiring for some other global topological constraints.


title: High frequency non-gyrokinetic turbulence at tokamak edge parameter

abstract: First of a kind 6D-Vlasov computer simulations of high frequency ion Bernstein wave turbulence for parameters relevant to the tokamak edge show transport comparable to sub-Larmor-frequency gyrokinetic turbulence. The customary restriction of magnetized plasma turbulence studies to the gyrokinetic approximation may not be based on physics but only a practical constraint due to computational cost.


title: Theory of correlated Chern insulators in twisted bilayer graphene

abstract: Magic-angle twisted bilayer graphene is the best studied physical platform featuring moire potential induced narrow bands with non-trivial topology and strong electronic correlations. Despite their significance, the Chern insulating states observed at a finite magnetic field -- and extrapolating to a band filling, $s$, at zero field -- remain poorly understood. Unraveling their nature is among the most important open problems in the province of moir\'e materials. Here we present the first comprehensive study of interacting electrons in finite magnetic field while varying the electron density, twist angle and heterostrain. Within a panoply of correlated Chern phases emerging at a range of twist angles, we uncover a unified description for the ubiquitous sequence of states with the Chern number $t$ for $(s,t)=\pm (0,4), \pm(1,3),\pm(2,2)$ and $\pm(3,1)$. We also find correlated Chern insulators at unconventional sequences with $s+t\neq \pm 4$, as well as with fractional $s$, and elucidate their nature.


title: Holographic $a$-functions and Boomerang RG Flows

abstract: We use the radial null energy condition to construct a monotonic $a$-function for a certain type of non-relativistic holographic RG flows. We test our $a$-function in three different geometries that feature a Boomerang RG flow, characterized by a domain wall between two AdS spaces with the same AdS radius, but with different (and sometimes directions dependent) speeds of light. We find that the $a$-function monotonically decreases and goes to a constant in the asymptotic regimes of the geometry. Using the holographic dictionary in this asymptotic AdS spaces, we find that the $a$-function not only reads the fixed point central charge but also the speed of light, suggesting what the correct RG charge might be for non-relativistic RG flows.


title: Geometry-Aware Video Quality Assessment for Dynamic Digital Human

abstract: Dynamic Digital Humans (DDHs) are 3D digital models that are animated using predefined motions and are inevitably bothered by noise/shift during the generation process and compression distortion during the transmission process, which needs to be perceptually evaluated. Usually, DDHs are displayed as 2D rendered animation videos and it is natural to adapt video quality assessment (VQA) methods to DDH quality assessment (DDH-QA) tasks. However, the VQA methods are highly dependent on viewpoints and less sensitive to geometry-based distortions. Therefore, in this paper, we propose a novel no-reference (NR) geometry-aware video quality assessment method for DDH-QA challenge. Geometry characteristics are described by the statistical parameters estimated from the DDHs' geometry attribute distributions. Spatial and temporal features are acquired from the rendered videos. Finally, all kinds of features are integrated and regressed into quality values. Experimental results show that the proposed method achieves state-of-the-art performance on the DDH-QA database.


title: Vision-Language Pseudo-Labels for Single-Positive Multi-Label Learning

abstract: This paper presents a novel approach to Single-Positive Multi-label Learning. In general multi-label learning, a model learns to predict multiple labels or categories for a single input image. This is in contrast with standard multi-class image classification, where the task is predicting a single label from many possible labels for an image. Single-Positive Multi-label Learning (SPML) specifically considers learning to predict multiple labels when there is only a single annotation per image in the training data. Multi-label learning is in many ways a more realistic task than single-label learning as real-world data often involves instances belonging to multiple categories simultaneously; however, most common computer vision datasets predominantly contain single labels due to the inherent complexity and cost of collecting multiple high quality annotations for each instance. We propose a novel approach called Vision-Language Pseudo-Labeling (VLPL), which uses a vision-language model to suggest strong positive and negative pseudo-labels, and outperforms the current SOTA methods by 5.5% on Pascal VOC, 18.4% on MS-COCO, 15.2% on NUS-WIDE, and 8.4% on CUB-Birds. Our code and data are available at https://github.com/mvrl/VLPL.


title: Using CHIRON Spectroscopy to Test the Hypothesis of a Precessing Orbit for the WN4 star EZ CMa

abstract: The bright WN4 star EZ CMa exhibits a 3.77 day periodicity in photometry, spectroscopy, and polarimetry but the variations in the measurements are not strictly phase-locked, exhibiting changes in reference times, amplitudes, and the shape of the variability happening over times as short as a few weeks. Recently, 137 days of contiguous, variable photometry from BRITE-Constellation was interpreted as caused either by large-scale dense wind structures modulated by rotation, or by a fast-precessing binary having a slightly shorter 3.626 day orbital period and a fast apsidal motion rate of $1315^\circ\,\text{yr}^{-1}$. We aim at testing the latter hypothesis through analysis of spectroscopy and focus on the N\,{\sc v} $\lambda\,4945$ line. We derive an orbital solution for the system and reject the 3.626 day period to represent the variations in the radial velocities of EZ CMa. An orbital solution with an orbital period of 3.77 days was obtained but at the cost of an extremely high and thus improbable apsidal motion rate. Our best orbital solution yields a period of $3.751\pm0.001$\,days with no apsidal motion. We place our results in the context of other variability studies and system properties. While we cannot fully reject the precessing binary model, we find that the corotating interaction region (CIR) hypothesis is better supported by these and other data through qualitative models of CIRs.


title: Dissecting In-Context Learning of Translations in GPTs

abstract: Most of the recent work in leveraging Large Language Models (LLMs) such as GPT-3 for Machine Translation (MT) has focused on selecting the few-shot samples for prompting. In this work, we try to better understand the role of demonstration attributes for the in-context learning of translations through perturbations of high-quality, in-domain demonstrations. We find that asymmetric perturbation of the source-target mappings yield vastly different results. We show that the perturbation of the source side has surprisingly little impact, while target perturbation can drastically reduce translation quality, suggesting that it is the output text distribution that provides the most important learning signal during in-context learning of translations. We propose a method named Zero-Shot-Context to add this signal automatically in Zero-Shot prompting. We demonstrate that it improves upon the zero-shot translation performance of GPT-3, even making it competitive with few-shot prompted translations.


title: FabricCRDT: A Conflict-Free Replicated Datatypes Approach to Permissioned Blockchains

abstract: With the increased adaption of blockchain technologies, permissioned blockchains such as Hyperledger Fabric provide a robust ecosystem for developing production-grade decentralized applications. However, the additional latency between executing and committing transactions, due to Fabric's three-phase transaction lifecycle of Execute-Order-Validate (EOV), is a potential scalability bottleneck. The added latency increases the probability of concurrent updates on the same keys by different transactions, leading to transaction failures caused by Fabric's concurrency control mechanism. The transaction failures increase the application development complexity and decrease Fabric's throughput. Conflict-free Replicated Datatypes (CRDTs) provide a solution for merging and resolving conflicts in the presence of concurrent updates. In this work, we introduce FabricCRDT, an approach for integrating CRDTs to Fabric. Our evaluations show that in general, FabricCRDT offers higher throughput of successful transactions than Fabric, while successfully committing and merging all conflicting transactions without any failures.


title: Detecting the phase transition in a strongly-interacting Fermi gas by unsupervised machine learning

abstract: We study the critical temperature of the superfluid phase transition of strongly-interacting fermions in the crossover regime between a Bardeen-Cooper-Schrieffer (BCS) superconductor and a Bose-Einstein condensate (BEC) of dimers. To this end, we employ the technique of unsupervised machine learning using an autoencoder neural network which we directly apply to time-of-flight images of the fermions. We extract the critical temperature of the phase transition from trend changes in the data distribution revealed in the latent space of the autoencoder bottleneck.


title: An Iterative Approach to Data-Driven Inference for Decoding Oscillator Network Structures

abstract: In complex networks, interactions between multiple agents give rise to an array of intricate global dynamics, ranging from synchronization to cluster formations. Decoding the connectivity structure as well as the types of interactions from measurement data is the first step toward understanding these intriguing behaviors. In this paper, we present a bilinear optimization framework to infer both the connectivity and interaction functions of oscillator networks with the identical class of coupling functions. We then propose an iterative algorithm to solve the resulting bilinear problem and illustrate its convergence. We validate our approach on both simulated and noisy experimental datasets, where we demonstrate its effectiveness compared with existing approaches.


title: White-box Compiler Fuzzing Empowered by Large Language Models

abstract: Compiler correctness is crucial, as miscompilation falsifying the program behaviors can lead to serious consequences. In the literature, fuzzing has been extensively studied to uncover compiler defects. However, compiler fuzzing remains challenging: Existing arts focus on black- and grey-box fuzzing, which generates tests without sufficient understanding of internal compiler behaviors. As such, they often fail to construct programs to exercise conditions of intricate optimizations. Meanwhile, traditional white-box techniques are computationally inapplicable to the giant codebase of compilers. Recent advances demonstrate that Large Language Models (LLMs) excel in code generation/understanding tasks and have achieved state-of-the-art performance in black-box fuzzing. Nonetheless, prompting LLMs with compiler source-code information remains a missing piece of research in compiler testing. To this end, we propose WhiteFox, the first white-box compiler fuzzer using LLMs with source-code information to test compiler optimization. WhiteFox adopts a dual-model framework: (i) an analysis LLM examines the low-level optimization source code and produces requirements on the high-level test programs that can trigger the optimization; (ii) a generation LLM produces test programs based on the summarized requirements. Additionally, optimization-triggering tests are used as feedback to further enhance the test generation on the fly. Our evaluation on four popular compilers shows that WhiteFox can generate high-quality tests to exercise deep optimizations requiring intricate conditions, practicing up to 80 more optimizations than state-of-the-art fuzzers. To date, WhiteFox has found in total 96 bugs, with 80 confirmed as previously unknown and 51 already fixed. Beyond compiler testing, WhiteFox can also be adapted for white-box fuzzing of other complex, real-world software systems in general.


title: A New 2D Energy Balance Model For Simulating the Climates of Rapidly- and Slowly-Rotating Terrestrial Planets

abstract: Energy balance models (EBMs), alongside radiative-convective climate models (RCMs) and global climate models (GCMs), are useful tools for simulating planetary climates. Historically, planetary and exoplanetary EBMs have solely been 1D latitudinally-dependent models with no longitudinal dependence, until the study of Okuya et al., which focused on simulating synchronously-rotating planets. Following the work of Okuya et al., I have designed the first 2D EBM (PlaHab) that can simulate N2-CO2-H2O-H2 atmospheres of both rapidly-rotating and synchronously-rotating planets, including Mars, Earth, and exoplanets located within their circumstellar habitable zones. PlaHab includes physics for both water and CO2 condensation. Regional topography can be incorporated. Here, I have specifically applied PlaHab to investigate present Earth, early Mars, TRAPPIST-1e and Proxima Centauri b, representing examples of habitable (and potentially habitable) worlds in our solar system and beyond. I compare my EBM results against those of other 1D and 3D models, including those of the recent Trappist-1 Habitable Atmosphere (THAI) comparison project. Overall, EBM results are consistent with those of other 1D and 3D models although inconsistencies among all models continue to be related to the treatment of clouds and other known differences between EBMs and GCMs, including heat transport parameterizations. Although two-dimensional EBMs are a relatively new entry in the study of planetary/exoplanetary climates, their ease-of-use, speed, flexibility, wide applicability, and greater complexity (relative to 1D models), may indicate an ideal combination for the modeling of planetary and exoplanetary atmospheres alike.


title: Explicit construction of a plane sextic model for genus-five Howe curves, I

abstract: In the past several years, Howe curves have been studied actively in the field of algebraic curves over fields of positive characteristic. Here, a Howe curve is defined as the desingularization of the fiber product over a projective line of two hyperelliptic curves. In this paper, we construct an explicit plane sextic model for non-hyperelliptic Howe curves of genus five. We also determine singularities of our sextic model.


title: Training models using forces computed by stochastic electronic structure methods

abstract: Quantum Monte Carlo (QMC) can play a very important role in generating accurate data needed for constructing potential energy surfaces. We argue that QMC has advantages in terms of a smaller systematic bias and an ability to cover phase space more completely. The stochastic noise can ease the training of the machine learning model. We discuss how stochastic errors affect the generation of effective models by analyzing the errors within a linear least squares procedure, finding that there is an advantage to having many relatively imprecise data points for constructing models. We then analyze the effect of noise on a model of many-body silicon finding that noise in some situations improves the resulting model. We then study the effect of QMC noise on two machine learning models of dense hydrogen used in a recent study of its phase diagram. The noise enable us to estimate the errors in the model. We conclude with a discussion of future research problems.


title: Photon-mediated long range coupling of two Andreev level qubits

abstract: In a superconducting weak link, the supercurrent is carried by Andreev bound states (ABSs) formed by the phase-coherent reflection of electrons and their time-reversed partners. A single, highly transmissive ABS can serve as an ideal, compact two-level system, due to a potentially large energy difference to the next ABS. While the coherent manipulation of such Andreev levels qubits (ALQs) has been demonstrated, a long-range coupling between two ALQs, necessary for advanced qubit architectures, has not been achieved, yet. Here, we demonstrate a coherent remote coupling between two ALQs, mediated by a microwave photon in a novel superconducting microwave cavity coupler. The latter hosts two modes with different coupling rates to an external port. This allows us to perform fast readout of each qubit using the strongly coupled mode, while the weakly coupled mode is utilized to mediate the coupling between the qubits. When both qubits are tuned into resonance with the latter mode, we find excitation spectra with avoided-crossings, in very good agreement with the Tavis-Cummings model. Based on this model, we identify highly entangled two-qubit states for which the entanglement is mediated over a distance of six millimeters. This work establishes ALQs as compact and scalable solid-state qubits.


title: Thermodynamic formalism for entire transcendental maps with hyperbolic Baker Domains

abstract: We provide a version of a thermodynamic formalism of entire transcendental maps that exhibit Baker domains, denoted as $f_{\ell, c}: \mathbb C\to \mathbb C$ and defined by $f_{\ell, c}(z)= c-(\ell-1)\log c+ \ell z- e^z$, where $\ell \in \mathbb N$, with $\ell \geq 2 $ and $c$ belongs to the disk $ D(\ell, 1)$ in the complex plane. We show in particular the existence and uniqueness of conformal measures and that the Hausdorff dimension is the unique zero of the pressure function $t\to P(t)$, for $t>1,$ where $J_r(f)$ is the radial Julia set.


title: Probing extreme black-hole outflows on short timescales via high spectral-resolution X-ray imagers

abstract: We investigate outflows and the physics of super-Eddington versus sub-Eddington regimes in black hole systems. Our focus is on prospective science using next-generation high-resolution soft X-ray instruments. We highlight the properties of black hole ultraluminous X-ray source (ULX) systems in particular. Owing to scale invariance in accreting black holes, ULX accretion properties including their outflows, inform our understanding not only of the closely-related population of (similar-mass) X-ray binary systems, but also of tidal disruption events (TDEs) around supermassive black holes. A subsample of TDEs are likely to transcend super-Eddington to sub-Eddington regimes as they evolve, offering an important unifying analog to ULXs and sub-Eddington X-ray binaries. We demonstrate how next-generation soft X-ray observations with resolving power > 1000 and collecting area > 1000 cm^2 can simultaneously identify ultrafast and more typical wind components, distinguish between different wind mechanisms, and constrain changing wind properties over characteristic variability timescales.


title: Implementation of microwave with arbitrary amplitude and phase for the DCLS

abstract: In many experiments, the simultaneous emission of multiple wavelengths of FEL (Free-Electron Laser) is significant. For the pulsed-mode FEL facility, we must accelerate multiple electron beams in one microwave pulse, and they may be in different amplitudes and phases in the acceleration field. Therefore, we implement a microwave excitation, whose amplitude and phase have arbitrary shapes in the LLRF (Low-Level Radiofrequency) system. We generate a microwave pulse with step-shaped amplitude and phase for dual beam operation in DCLS (Dalian Coherent Light Source). The microwave system of the primary accelerator has four pulsed LLRF devices, which output excitation to drive four solid-state amplifiers and then excite two 50 MW and two 80 MW klystrons, respectively. Preliminary experiments have shown that this step-shaped microwave can be used for the DCLS twin-bunch operation.


title: Transitivity Recovering Decompositions: Interpretable and Robust Fine-Grained Relationships

abstract: Recent advances in fine-grained representation learning leverage local-to-global (emergent) relationships for achieving state-of-the-art results. The relational representations relied upon by such methods, however, are abstract. We aim to deconstruct this abstraction by expressing them as interpretable graphs over image views. We begin by theoretically showing that abstract relational representations are nothing but a way of recovering transitive relationships among local views. Based on this, we design Transitivity Recovering Decompositions (TRD), a graph-space search algorithm that identifies interpretable equivalents of abstract emergent relationships at both instance and class levels, and with no post-hoc computations. We additionally show that TRD is provably robust to noisy views, with empirical evidence also supporting this finding. The latter allows TRD to perform at par or even better than the state-of-the-art, while being fully interpretable. Implementation is available at https://github.com/abhrac/trd.


title: Anderson localization of walking droplets

abstract: Understanding the ability of particles to maneuver through disordered environments is a central problem in innumerable settings, from active matter and biology to electronics. Macroscopic particles ultimately exhibit diffusive motion when their energy exceeds the characteristic potential barrier of the random landscape. In stark contrast, wave-particle duality causes subatomic particles in disordered media to come to rest even when the potential is weak -- a remarkable phenomenon known as Anderson localization. Here, we present a hydrodynamic active system with wave-particle features, a millimetric droplet self-guided by its own wave field over a submerged random topography, whose dynamics exhibits localized statistics analogous to those of quantum systems. Consideration of an ensemble of particle trajectories reveals a suppression of diffusion when the guiding wave field extends over the disordered topography. We rationalize mechanistically the emergent statistics by virtue of the wave-mediated resonant coupling between the droplet and topography, which produces an attractive wave potential about the localization region. This hydrodynamic analog, which demonstrates how a classical particle may localize like a wave, suggests new directions for future research in various areas, including wave localization, many-body localization, and topological matter.


title: Global existence of classical solutions of chemotaxis systems with logistic source and consumption or linear signal production on $\mathbb{R}^{n}$

abstract: While much literature on chemotaxis systems focuses on bounded domains, this paper emphasizes the global existence of classical solutions for three primary chemotaxis systems with a logistic source on $\mathbb{R}^n$. We present a unified proof demonstrating global existence of solutions can be deduced from their locally uniform boundedness in $L^p(\mathbb{R}^n)$ for some $p>\max\{1,\frac{n}{2}\}$. We then provide sufficient conditions for the global existence and boundedness of classical solutions. Notably, our findings even improve several existing results for bounded domains.


title: Integrating View Conditions for Image Synthesis

abstract: In the field of image processing, applying intricate semantic modifications within existing images remains an enduring challenge. This paper introduces a pioneering framework that integrates viewpoint information to enhance the control of image editing tasks, especially for interior design scenes. By surveying existing object editing methodologies, we distill three essential criteria -- consistency, controllability, and harmony -- that should be met for an image editing method. In contrast to previous approaches, our framework takes the lead in satisfying all three requirements for addressing the challenge of image synthesis. Through comprehensive experiments, encompassing both quantitative assessments and qualitative comparisons with contemporary state-of-the-art methods, we present compelling evidence of our framework's superior performance across multiple dimensions. This work establishes a promising avenue for advancing image synthesis techniques and empowering precise object modifications while preserving the visual coherence of the entire composition.


title: CVPR 2023 Text Guided Video Editing Competition

abstract: Humans watch more than a billion hours of video per day. Most of this video was edited manually, which is a tedious process. However, AI-enabled video-generation and video-editing is on the rise. Building on text-to-image models like Stable Diffusion and Imagen, generative AI has improved dramatically on video tasks. But it's hard to evaluate progress in these video tasks because there is no standard benchmark. So, we propose a new dataset for text-guided video editing (TGVE), and we run a competition at CVPR to evaluate models on our TGVE dataset. In this paper we present a retrospective on the competition and describe the winning method. The competition dataset is available at https://sites.google.com/view/loveucvpr23/track4.


title: Habitat fragmentation reshapes genomic footprints of selection in a forest herb

abstract: Understanding the combined effects of climate change and habitat fragmentation on the adaptive potential of plant populations is essential for devising effective conservation strategies. This is particularly important where mating system variation impacts the evolutionary consequences of habitat fragmentation. Here we aimed to reveal how habitat fragmentation and climate adaptation jointly influence the evolutionary trajectories in Primula elatior, a heterostylous self-incompatible and dispersal-constrained forest herb. We quantified the genomic variation and degree of herkogamy, a floral trait reducing self-pollination, across 60 geographically paired populations of Primula elatior across Europe, each pair featuring contrasting levels of habitat fragmentation. Our findings revealed a large and unique set of adaptive outliers in more fragmented landscapes, compared to high-connectivity ones, despite the geographic proximity of the sampling pairs. This suggests elevated selective pressures in fragmented habitats, mirrored by a reduced adaptive potential to cope with climate change. Finally, a minority of genetic variants associated with herkogamy were influenced by current levels of habitat fragmentation and population size, potentially signalling early indicators of evolutionary mating system changes in response to pollinator limitation. Because evolutionary trajectories and adaptive potential are expected to be increasingly affected by habitat fragmentation, our findings underscore the importance of considering both habitat fragmentation and climate adaptation in conservation research and planning.


title: MLFMF: Data Sets for Machine Learning for Mathematical Formalization

abstract: We introduce MLFMF, a collection of data sets for benchmarking recommendation systems used to support formalization of mathematics with proof assistants. These systems help humans identify which previous entries (theorems, constructions, datatypes, and postulates) are relevant in proving a new theorem or carrying out a new construction. Each data set is derived from a library of formalized mathematics written in proof assistants Agda or Lean. The collection includes the largest Lean~4 library Mathlib, and some of the largest Agda libraries: the standard library, the library of univalent mathematics Agda-unimath, and the TypeTopology library. Each data set represents the corresponding library in two ways: as a heterogeneous network, and as a list of s-expressions representing the syntax trees of all the entries in the library. The network contains the (modular) structure of the library and the references between entries, while the s-expressions give complete and easily parsed information about every entry. We report baseline results using standard graph and word embeddings, tree ensembles, and instance-based learning algorithms. The MLFMF data sets provide solid benchmarking support for further investigation of the numerous machine learning approaches to formalized mathematics. The methodology used to extract the networks and the s-expressions readily applies to other libraries, and is applicable to other proof assistants. With more than $250\,000$ entries in total, this is currently the largest collection of formalized mathematical knowledge in machine learnable format.


title: Machine-learning the phase diagram of a strongly-interacting Fermi gas

abstract: We determine the phase diagram of strongly correlated fermions in the crossover from Bose-Einstein condensates of molecules (BEC) to Cooper pairs of fermions (BCS) utilizing an artificial neural network. By applying advanced image recognition techniques to the momentum distribution of the fermions, a quantity which has been widely considered as featureless for providing information about the condensed state, we measure the critical temperature and show that it exhibits a maximum on the bosonic side of the crossover. Additionally, we back-analyze the trained neural network and demonstrate that it interprets physically relevant quantities.


title: Cosmological Perturbation Theory in Metric-Affine Gravity

abstract: We formulate cosmological perturbation theory around the spatially curved FLRW background in the context of metric-affine gauge theory of gravity which includes torsion and nonmetricity. Performing scalar-vector-tensor decomposition of the spatial perturbations, we find that the theory displays a rich perturbation spectrum with helicities 0, 1, 2 and 3, on top of the usual scalar, vector and tensor metric perturbations arising from Riemannian geometry. Accordingly, the theory provides a diverse phenomenology, e.g. the helicity-2 modes of the torsion and/or nonmetricity tensors source helicity-2 metric tensor perturbation at the linear level leading to the production of gravitational waves. As an immediate application, we study linear perturbation of the nonmetricity helicity-3 modes for a general parity-preserving action of metric-affine gravity which includes quadratic terms in curvature, torsion, and nonmetricity. We then find the conditions to avoid possible instabilities in the helicity-3 modes of the spin-3 field.


title: Reciprocal of the CPT theorem

abstract: The CPT theorem originally proven by L\"uders and Pauli ensures the equality of masses, lifetimes, magnetic moments and cross sections of any particle and its antiparticle. We show that in a Lorentz invariant quantum field theory described by its Lagrangian, CPT-violating interaction alone does not split the masses of an elementary particle and its antiparticle but breaks only the equality of lifetimes, magnetic moments and cross sections. However, CPT violation in the mass term of a field in the Lagrangian, which can be attributed to be due to the size of the particle described by a form factor, breaks only the equality of masses. Also it is shown that the two separate effects of CPT violation in the interaction terms or in the mass term do not mix due to higher quantum corrections and remain distinguishable. Thus, we urge the experimentalists to search for such observable effects concerning differences in the masses, magnetic moments, lifetimes and cross sections between the elementary or bound state particles and their antiparticles. In the case of CPT violation only in the mass term, besides the difference in the masses of elementary bound state particles and their antiparticles, there will be also an extremely tiny difference in the lifetimes of bound states due to the difference in their phase spaces. From the details of calculations, it appears that the separate effects of the CPT violation described above are quite general, neither depending on how the nonlocality is achieved, nor depending on what this violation is due to: due to T violation, as considered in the present work, which can be attributed to a cosmological direction of time; to CP or to both T and CP violations. The latter two cases satisfy the Sakharov's conditions for explaining the baryon asymmetry in the Universe.


title: Spatio-temporal reconstruction of drop impact dynamics by means of color-coded glare points and deep learning

abstract: The present work introduces a deep learning approach for the three-dimensional reconstruction of the spatio-temporal dynamics of the gas-liquid interface in two-phase flows on the basis of monocular images obtained via optical measurement techniques. The dynamics of liquid droplets impacting onto structured solid substrates are captured through high-speed imaging in an extended shadowgraphy setup with additional reflective glare points from lateral light sources that encode further three-dimensional information of the gas-liquid interface in the images. A neural network is learned for the physically correct reconstruction of the droplet dynamics on a labelled dataset generated by synthetic image rendering on the basis of gas-liquid interface shapes obtained from direct numerical simulation. The employment of synthetic image rendering allows for the efficient generation of training data and circumvents the introduction of errors resulting from the inherent discrepancy of the droplet shapes between experiment and simulation. The accurate reconstruction of the gas-liquid interface during droplet impingement on the basis of images obtained in the experiment demonstrates the practicality of the presented approach based on neural networks and synthetic training data generation. The introduction of glare points from lateral light sources in the experiments is shown to improve the reconstruction accuracy, which indicates that the neural network learns to leverage the additional three-dimensional information encoded in the images for a more accurate depth estimation. Furthermore, the physically reasonable reconstruction of unknown gas-liquid interface shapes indicates that the neural network learned a versatile model of the involved two-phase flow phenomena during droplet impingement.


title: More properties of optimal polynomial approximants in Hardy spaces

abstract: This work studies optimal polynomial approximants (OPAs) in the classical Hardy spaces on the unit disk, $H^p$ ($1 < p < \infty$). For fixed $f\in H^p$ and $n\in\mathbb{N}$, the OPA of degree $n$ associated to $f$ is the polynomial which minimizes the quantity $\|qf-1\|_p$ over all complex polynomials $q$ of degree less than or equal to $n$. We begin with some examples which illustrate, when $p\neq2$, how the Banach space geometry makes these problems interesting. We then weave through various results concerning limits and roots of these polynomials, including results which show that OPAs can be witnessed as solutions of certain fixed point problems. Finally, using duality arguments, we provide several bounds concerning the error incurred in the OPA approximation.


title: Searching for sub-populations within the gamma-ray solar flares catalog: a graph-based clustering analysis

abstract: Solar flares are highly energetic events that happen in the solar atmosphere. They are mostly observed as X-ray or gamma-ray bursts located on the Sun's surface. While they are known to be sites of particle acceleration, the acceleration process(es) responsible for the observed fluxes remain unsure. The diversity in shape and duration of the gamma-ray fluxes suggests the existence of distinct phases of hadronic acceleration. Moreover, different acceleration processes could explain the differences observed among flares. In this work we search for the evidence of sub-populations within the catalog of gamma-ray solar flares observed by Fermi-LAT. We aim at grouping flares with similar physical properties to be able to probe theoretical models for neutrino production within different classes of flares. We use measurements of the X-ray and gamma-ray fluxes, as well as CMEs and SEPs, to cluster the events using a graph-based algorithm. Furthermore, we investigate the most representative features that characterise the identified sub-populations to allow for qualitative analysis and model development.


title: Regularization estimates of the Landau-Coulomb diffusion

abstract: At the present moment, it remains uncertain whether the Landau-Coulomb equation possesses a unique smooth solution for arbitrarily large times. Alongside the diffusion term, this equation includes a reaction term that could rapidly transform nice configurations into singularities. In this manuscript we show that the diffusion operator in the Landau-Coulomb equation provides much stronger L^1 to L^\infty regularization effects than its linear counterpart, the Laplace operator. Our novel quantification suggests that when seeking a proof of global well-posedness, the nonlinear diffusion term could play a pivotal role.


title: Experimental measurement of the quality factor of a Fabry-P\'erot open-cavity axion haloscope

abstract: The axion is a hypothetical boson arising from the most natural solution to the problem of charge and parity symmetry in the strong nuclear force. Moreover, this pseudoscalar emerges as a dark matter candidate in a parameter space extending several decades in mass. The Dark-photons \& Axion-Like particles Interferometer (DALI) is a proposal to search for axion dark matter in a range that remains under-examined. Currently in a design and prototyping phase, this haloscope is a multilayer Fabry-P\'erot interferometer. A proof-of-principle experiment is performed to observe the resonance in a prototype. The test unveils a quality factor per open cavity of a few hundred over a bandwidth of the order of dozens of megahertz. The result elucidates a physics potential to find the, so far elusive, axion, in a sector which can simultaneously solve the symmetry problem in the strong interaction and the enigma of dark matter.


title: Human-in-the-Loop Task and Motion Planning for Imitation Learning

abstract: Imitation learning from human demonstrations can teach robots complex manipulation skills, but is time-consuming and labor intensive. In contrast, Task and Motion Planning (TAMP) systems are automated and excel at solving long-horizon tasks, but they are difficult to apply to contact-rich tasks. In this paper, we present Human-in-the-Loop Task and Motion Planning (HITL-TAMP), a novel system that leverages the benefits of both approaches. The system employs a TAMP-gated control mechanism, which selectively gives and takes control to and from a human teleoperator. This enables the human teleoperator to manage a fleet of robots, maximizing data collection efficiency. The collected human data is then combined with an imitation learning framework to train a TAMP-gated policy, leading to superior performance compared to training on full task demonstrations. We compared HITL-TAMP to a conventional teleoperation system -- users gathered more than 3x the number of demos given the same time budget. Furthermore, proficient agents (75\%+ success) could be trained from just 10 minutes of non-expert teleoperation data. Finally, we collected 2.1K demos with HITL-TAMP across 12 contact-rich, long-horizon tasks and show that the system often produces near-perfect agents. Videos and additional results at https://hitltamp.github.io .


title: Physically Explainable Deep Learning for Convective Initiation Nowcasting Using GOES-16 Satellite Observations

abstract: Convection initiation (CI) nowcasting remains a challenging problem for both numerical weather prediction models and existing nowcasting algorithms. In this study, object-based probabilistic deep learning models are developed to predict CI based on multichannel infrared GOES-R satellite observations. The data come from patches surrounding potential CI events identified in Multi-Radar Multi-Sensor Doppler weather radar products over the Great Plains region from June and July 2020 and June 2021. An objective radar-based approach is used to identify these events. The deep learning models significantly outperform the classical logistic model at lead times up to 1 hour, especially on the false alarm ratio. Through case studies, the deep learning model exhibits the dependence on the characteristics of clouds and moisture at multiple levels. Model explanation further reveals the model's decision-making process with different baselines. The explanation results highlight the importance of moisture and cloud features at different levels depending on the choice of baseline. Our study demonstrates the advantage of using different baselines in further understanding model behavior and gaining scientific insights.


title: Uniform asymptotic expansions for the zeros of Bessel functions

abstract: Reformulated uniform asymptotic expansions are derived for ordinary differential equations having a large parameter and a simple turning point. These involve Airy functions, but not their derivatives, unlike traditional asymptotic expansions. From these, asymptotic expansions are derived for the zeros of Bessel functions that are valid for large positive values of the order, uniformly valid for all the zeros. The coefficients in the expansions are explicitly given elementary functions, and similar expansions are derived for the zeros of the derivatives of Bessel functions.


title: Optical payload design for downlink quantum key distribution and keyless communication using CubeSats

abstract: Quantum key distribution is costly and, at the moment, offers low performance in space applications. Other more recent protocols could offer a potential practical solution to this problem. In this work, a preliminary optical payload design using commercial off-the-shelf elements for a quantum communication downlink in a 3U CubeSat is proposed. It is shown that this quantum state emitter allows the establishment of two types of quantum communication between the satellite and the ground station: quantum key distribution and quantum keyless private communication. Numerical simulations are provided that show the feasibility of the scheme for both protocols as well as their performance. For the simplified BB84, a maximum secret key rate of about 80 kHz and minimum QBER of slightly more than $0.07\ \%$ is found, at the zenith, while for quantum private keyless communication, a 700 MHz private rate is achieved. This design serves as a platform for the implementation of novel quantum communication protocols that can improve the performance of quantum communications in space.


title: Symmetry-breaking pathway towards the unpinned broken helix

abstract: One of the prime material candidates to host the axion insulator state is EuIn$_{2}$As$_{2}$. First-principles calculations predicted the emergence of this exotic topological phase based on the assumption of a collinear antiferromagnetic structure. However, neutron scattering measurements revealed a more intricate magnetic ground state, characterized by two coexisting magnetic wavevectors, reached by successive thermal phase transitions. The proposed high and low temperature phases were a spin helix and a state with interpenetrating helical and antiferromagnetic order, termed a broken helix, respectively. Despite its complexity, the broken helix still protects the axion state because the product of time-reversal and a rotational symmetry is preserved. Here we identify the magnetic structure associated with these two phases using a multimodal approach that combines symmetry-sensitive optical probes, scattering, and group theoretical analysis. We find that the higher temperature phase hosts a nodal structure rather than a helix, characterized by a variation of the magnetic moment amplitude from layer to layer, with the moment vanishing entirely in every third Eu layer. The lower temperature structure is similar to the broken helix, with one important difference: the relative orientation of the magnetic structure and the lattice is not fixed, resulting in an `unpinned broken helix'. As a result of the breaking of rotational symmetry, the axion phase is not generically protected. Nevertheless, we show that it can be restored if the magnetic structure is tuned with externally-applied uniaxial strain. Finally, we present a spin Hamiltonian that identifies the spin interactions needed to account for the complex magnetic order in EuIn$_{2}$As$_{2}$. Our work highlights the importance of the multimodal approach in determining the symmetry of complex order-parameters.


title: Some properties of B\"uchi Arithmetics

abstract: B\"uchi arithmetics $\mathop{\mathbf{BA}}\nolimits_n$, $n\ge 2$, are extensions of Presburger arithmetic with an unary functional symbol $V_n(x)$ denoting the largest power of $n$ that divides $x$. A rank of a linear order is the minimal number of condensations required to reach a finite order. We show that linear orders of arbitrarily large finite rank can be interpreted in $\mathop{\mathbf{BA}}\nolimits_n$. We also prove that the extension of the axioms of Presburger arithmetic with the inductive definition of $V_n$ does not yield an axiomatization of $\mathop{\mathbf{BA}}\nolimits_n$.


title: ConvBKI: Real-Time Probabilistic Semantic Mapping Network with Quantifiable Uncertainty

abstract: In this paper, we develop a modular neural network for real-time semantic mapping in uncertain environments, which explicitly updates per-voxel probabilistic distributions within a neural network layer. Our approach combines the reliability of classical probabilistic algorithms with the performance and efficiency of modern neural networks. Although robotic perception is often divided between modern differentiable methods and classical explicit methods, a union of both is necessary for real-time and trustworthy performance. We introduce a novel Convolutional Bayesian Kernel Inference (ConvBKI) layer which incorporates semantic segmentation predictions online into a 3D map through a depthwise convolution layer by leveraging conjugate priors. We compare ConvBKI against state-of-the-art deep learning approaches and probabilistic algorithms for mapping to evaluate reliability and performance. We also create a Robot Operating System (ROS) package of ConvBKI and test it on real-world perceptually challenging off-road driving data.


title: Measuring tropical rainforest resilience under non-Gaussian disturbances

abstract: The Amazon rainforest is considered one of the Earth's tipping elements and may lose stability under ongoing climate change. Recently a decrease in tropical rainforest resilience has been identified globally from remotely sensed vegetation data. However, the underlying theory assumes a Gaussian distribution of forest disturbances, which is different from most observed forest stressors such as fires, deforestation, or windthrow. Those stressors often occur in power-law-like distributions and can be approximated by $\alpha$-stable L\'evy noise. Here, we show that classical critical slowing down indicators to measure changes in forest resilience are robust under such power-law disturbances. To assess the robustness of critical slowing down indicators, we simulate pulse-like perturbations in an adapted and conceptual model of a tropical rainforest. We find few missed early warnings and few false alarms are achievable simultaneously if the following steps are carried out carefully: First, the model must be known to resolve the timescales of the perturbation. Second, perturbations need to be filtered according to their absolute temporal autocorrelation. Third, critical slowing down has to be assessed using the non-parametric Kendall-$\tau$ slope. These prerequisites allow for an increase in the sensitivity of early warning signals. Hence, our findings imply improved reliability of the interpretation of empirically estimated rainforest resilience through critical slowing down indicators.


title: A Robust Measure on FDFAs Following Duo-Normalized Acceptance

abstract: Families of DFAs (FDFAs) are a computational model recognizing $\omega$-regular languages. They were introduced in the quest of finding a Myhill-Nerode theorem for $\omega$-regular languages, and obtaining learning algorithms. FDFAs have been shown to have good qualities in terms of the resources required for computing Boolean operations on them (complementation, union, and intersection) and answering decision problems (emptiness and equivalence); all can be done in non-deterministic logspace. In this paper we study FDFAs with a new type of acceptance condition, duo-normalization, that generalizes the traditional normalization acceptance type. We show that duo-normalized FDFAs are advantageous to normalized FDFAs in terms of succinctness as they can be exponentially smaller. Fortunately this added succinctness doesn't come at the cost of increasing the complexity of Boolean operations and decision problems -- they can still be preformed in non-deterministic logspace. An important measure of the complexity of an $\omega$-regular language, is its position in the Wagner hierarchy. It is based on the inclusion measure of Muller automata and for the common $\omega$-automata there exist algorithms computing their position. We develop a similarly robust measure for duo-normalized (and normalized) FDFAs, which we term the diameter measure. We show that the diameter measure corresponds one-to-one to the position on the Wagner hierarchy. We show that computing it for duo-normalized FDFAs is PSPACE-complete, while it can be done in non-deterministic logspace for traditional FDFAs.


title: Study of Quarkonium properties using SUSYQM method with baryonic chemical potential

abstract: In this article, we employed the Quasi-particle debye mass at finite baryonic chemical potential which can be used in the medium modified heavy quark potential to solve the N-dimensional Schroedinger equation. The bound state solution of the Schroedinger equation using Cornell potential is obtained by Super-Symmetry Quantum Mechanics (SUSYQM) method. The thermodynamical properties of quark matter is calculated by using baryonic chemical potential (mu). We found that the binding energy of quarkonia dissociates more with quasi-particle debye mass in comparison to non-perturbative and leading order debye mass. The medium modified form of potential (real part) has been used to study the thermodynamical properties of quark matter with different equation of states (EoS) (i.e., pressure, energy density and speed of sound) with {mu}. The mass spectra of quarkonia has been also calculated in the N-dimensional space, and compared with the experimental data at N=3. We have also calculated the dissociation temperature (T_D) for the ground states of quarkonium using the dissociation criteria of thermal width.


title: Physics of excitons in layered BiI$_{3}$. Effects of dimensionality and crystal anisotropy

abstract: We carry out a detailed theoretical study of the electronic and optical properties of bulk and monolayer bismuth triiodide (BiI$_{3}$), a layered metal halide, using the ab initio GW+BSE scheme with a full spinorial formulation. We discuss in detail the effects due to the change of dimensionality and the role of spin-orbit coupling. Moreover, we compute the exciton dispersion by solving the BSE at finite momentum, also analysing transverse (TE) and longitudinal (LE) excitons, and the L-T splitting at $\bf{q}\approx\Gamma$. The results provide a reference for future experimental measurements. In addition, the interplay between spin-orbit coupling and large binding energy, together with the role of quantum confinement, confirm that BiI$_{3}$ is an interesting material for opto-electronic applications and show that it is a good candidate for the study of exciton dynamics.


title: GW190521: a binary black hole merger inside an active galactic nucleus?

abstract: GW190521, the most massive binary black hole merger confidently detected by the LIGO-Virgo-KAGRA collaboration, is the first gravitational-wave observation of an intermediate-mass black hole. The signal was followed approximately 34 days later by flare ZTF19abanrhr, detected in AGN J124942.3+344929 by the Zwicky Transient Facility at the 78% spatial contour for GW190521s sky localization. Using the GWTC-2.1 data release, we find that the association between GW190521 and flare ZTF19abanrhr as its electromagnetic counterpart is preferred over a random coincidence of the two transients with a log Bayes factor of 8.6, corresponding to an odds ratio of $\sim$ 5400 to 1 for equal prior odds and $\sim$ 400 to 1 assuming an astrophysical prior odds of 1/13. Given the association, the multi-messenger signal allows for an estimation of the Hubble constant, finding $H_0 = 102^{+27}_{-25}\mathrm{\ km \ s^{-1} \ Mpc^{-1}}$ when solely analyzing GW190521 and $79.2^{+17.6}_{-9.6}\mathrm{\ km \ s^{-1} \ Mpc^{-1}}$ assuming prior information from the binary neutron star merger GW170817, both consistent with the existing literature.


title: Retrievals of Protoplanetary Disk Parameters using Thermochemical Models: I. Disk Gas Mass from Hydrogen Deuteride Spectroscopy

abstract: We discuss statistical relationships between the mass of protoplanetary disks and the hydrogen deuteride (HD) line emission and the dust spectral energy distribution (SED) determined using 3000 ProDiMo disk models. The models have 15 free parameters describing disk physical properties, the central star, and the local radiation field. The sampling of physical parameters is done using a Monte Carlo approach to evaluate the probability density functions of observables as a function of physical parameters. We find that the HD fractional abundance is almost constant even though the UV flux varies by several orders of magnitude. Probing the statistical relation between the physical quantities and the HD flux, we find that low-mass (optically thin) disks display a tight correlation between the average disk gas temperature and HD line flux, while massive disks show no such correlation. We demonstrate that the central star luminosity, disk size, dust size distribution, and HD flux may be used to determine the disk gas mass to within a factor of three. We also find that the far-IR and sub-mm/mm SEDs and the HD flux may serve as strong constraints for determining the disk gas mass to within a factor of two. If the HD lines are fully spectrally resolved ($R\gtrsim 1.5\times10^6, \Delta v=0.2~\rm km\,s^{-1}$), the 56 $\mu$m and 112 $\mu$m HD line profiles alone may constrain the disk gas mass to within a factor of two.


title: TimewarpVAE: Simultaneous Time-Warping and Representation Learning of Trajectories

abstract: Human demonstrations of trajectories are an important source of training data for many machine learning problems. However, the difficulty of collecting human demonstration data for complex tasks makes learning efficient representations of those trajectories challenging. For many problems, such as for dexterous manipulation, the exact timings of the trajectories should be factored from their spatial path characteristics. In this work, we propose TimewarpVAE, a fully differentiable manifold-learning algorithm that incorporates Dynamic Time Warping (DTW) to simultaneously learn both timing variations and latent factors of spatial variation. We show how the TimewarpVAE algorithm learns appropriate time alignments and meaningful representations of spatial variations in handwriting and fork manipulation datasets. Our results have lower spatial reconstruction test error than baseline approaches and the learned low-dimensional representations can be used to efficiently generate semantically meaningful novel trajectories. We demonstrate the utility of our algorithm to generate novel high-speed trajectories for a robotic arm.


title: What Algorithms can Transformers Learn? A Study in Length Generalization

abstract: Large language models exhibit surprising emergent generalization properties, yet also struggle on many simple reasoning tasks such as arithmetic and parity. This raises the question of if and when Transformer models can learn the true algorithm for solving a task. We study the scope of Transformers' abilities in the specific setting of length generalization on algorithmic tasks. Here, we propose a unifying framework to understand when and how Transformers can exhibit strong length generalization on a given task. Specifically, we leverage RASP (Weiss et al., 2021) -- a programming language designed for the computational model of a Transformer -- and introduce the RASP-Generalization Conjecture: Transformers tend to length generalize on a task if the task can be solved by a short RASP program which works for all input lengths. This simple conjecture remarkably captures most known instances of length generalization on algorithmic tasks. Moreover, we leverage our insights to drastically improve generalization performance on traditionally hard tasks (such as parity and addition). On the theoretical side, we give a simple example where the "min-degree-interpolator" model of learning from Abbe et al. (2023) does not correctly predict Transformers' out-of-distribution behavior, but our conjecture does. Overall, our work provides a novel perspective on the mechanisms of compositional generalization and the algorithmic capabilities of Transformers.