title: Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently

abstract: We propose a new framework for formulating optimal transport distances between Markov chains. Previously known formulations studied couplings between the entire joint distribution induced by the chains, and derived solutions via a reduction to dynamic programming (DP) in an appropriately defined Markov decision process. This formulation has, however, not led to particularly efficient algorithms so far, since computing the associated DP operators requires fully solving a static optimal transport problem, and these operators need to be applied numerous times during the overall optimization process. In this work, we develop an alternative perspective by considering couplings between a flattened version of the joint distributions that we call discounted occupancy couplings, and show that calculating optimal transport distances in the full space of joint distributions can be equivalently formulated as solving a linear program (LP) in this reduced space. This LP formulation allows us to port several algorithmic ideas from other areas of optimal transport theory. In particular, our formulation makes it possible to introduce an appropriate notion of entropy regularization into the optimization problem, which in turn enables us to directly calculate optimal transport distances via a Sinkhorn-like method we call Sinkhorn Value Iteration (SVI). We show both theoretically and empirically that this method converges quickly to an optimal coupling, essentially at the same computational cost of running vanilla Sinkhorn in each pair of states. Along the way, we point out that our optimal transport distance exactly matches the common notion of bisimulation metrics between Markov chains, and thus our results also apply to computing such metrics, and in fact our algorithm turns out to be significantly more efficient than the best known methods developed so far for this purpose.


title: Overwhelmed Software Developers

abstract: We have conducted a qualitative psychology study to explore the experience of feeling overwhelmed in the realm of software development. Through the candid confessions of two participants who have recently faced overwhelming challenges, we have identified seven distinct categories: communication-induced, disturbance-related, organizational, variety, technical, temporal, and positive overwhelm. While most types of overwhelm tend to deteriorate productivity and increase stress levels, developers sometimes perceive overwhelm as a catalyst for heightened focus, self-motivation, and productivity. Stress was often found to be a common companion of overwhelm. Our findings align with previous studies conducted in diverse disciplines. However, we believe that software developers possess unique traits that may enable them to navigate through the storm of overwhelm more effectively.


title: Watching Popular Musicians Learn by Ear: A Hypothesis-Generating Study of Human-Recording Interactions in YouTube Videos

abstract: Popular musicians often learn music by ear. It is unclear what role technology plays for those with experience at this task. In search of opportunities for the development of novel human-recording interactions, we analyze 18 YouTube videos depicting real-world examples of by-ear learning, and discuss why, during this preliminary phase of research, online videos are appropriate data. From our observations we generate hypotheses that can inform future work. For example, a musician's scope of learning may influence what technological interactions would help them, they could benefit from tools that accommodate their working memory, and transcription does not appear to play a key role in ear learning. Based on these findings, we pose a number of research questions, and discuss their methodological considerations to guide future study.


title: First-order and Berezinskii-Kosterlitz-Thouless phase transitions in two-dimensional generalized XY models

abstract: The aim of this paper is to illustrate that generalized two-dimensional XY models (proposed by Romano and Zagrebnov) may also support a first-order phase transition. Two approaches are employed to accurately determine the critical parameter $q$ at which such a transition takes place. Furthermore, we show that the model is characterized by three distinct regions concerning both first-order and Berezinskii-Kosterlitz-Thouless phase transitions. Finally, the underlying mechanisms governing such transitions are presented, along with an estimation of the critical temperatures.


title: Solution to a conjecture on resistance distances of block tower graphs

abstract: Let $G$ be a connected graph. The resistance distance between two vertices $u$ and $v$ of $G$, denoted by $R_{G}[u,v]$, is defined as the net effective resistance between them in the electric network constructed from $G$ by replacing each edge with a unit resistor. The resistance diameter of $G$, denoted by $D_{r}(G)$, is defined as the maximum resistance distance among all pairs of vertices of $G$. Let $P_n=a_1a_2\ldots a_n$ be the $n$-vertex path graph and $C_{4}=b_{1}b_2b_3b_4b_{1}$ be the 4-cycle. Then the $n$-th block tower graph $G_n$ is defined as the the Cartesian product of $P_n$ and $C_4$, that is, $G_n=P_{n}\square C_4$. Clearly, the vertex set of $G_n$ is $\{(a_i,b_j)|i=1,\ldots,n;j=1,\ldots,4\}$. In [Discrete Appl. Math. 320 (2022) 387--407], Evans and Francis proposed the following conjecture on resistance distances of $G_n$ and $G_{n+1}$: \begin{equation*} \lim_{n \rightarrow \infty}\left(R_{G_{n+1}}[(a_{1},b_1),(a_{n+1},b_3)]-R_{G_{n}}[(a_{1},b_1),(a_{n},b_3)]\right)=\frac{1}{4}. \end{equation*} In this paper, combining algebraic methods and electrical network approaches, we confirm and further generalize this conjecture. In addition, we determine all the resistance diametrical pairs in $G_n$, which enables us to give an equivalent explanation of the conjecture.


title: Computing $\varphi(N)$ for an RSA module with a single quantum query

abstract: In this paper we give a polynomial time algorithm to compute $\varphi(N)$ for an RSA module $N$ using as input the order modulo $N$ of a randomly chosen integer. The algorithm consists only on a computation of a greatest common divisor, two multiplications and a division. The algorithm works with a probability of at least $1-\frac{C\log\log N}{N^{1/2}}$.


title: Online Learning in Betting Markets: Profit versus Prediction

abstract: We examine two types of binary betting markets, whose primary goal is for profit (such as sports gambling) or to gain information (such as prediction markets). We articulate the interplay between belief and price-setting to analyse both types of markets, and show that the goals of maximising bookmaker profit and eliciting information are fundamentally incompatible. A key insight is that profit hinges on the deviation between (the distribution of) bettor and true beliefs, and that heavier tails in bettor belief distribution imply higher profit. Our algorithmic contribution is to introduce online learning methods for price-setting. Traditionally bookmakers update their prices rather infrequently, we present two algorithms that guide price updates upon seeing each bet, assuming very little of bettor belief distributions. The online pricing algorithm achieves stochastic regret of $\mathcal{O}(\sqrt{T})$ against the worst local maximum, or $ \mathcal{O}(\sqrt{T \log T}) $ with high probability against the global maximum under fair odds. More broadly, the inherent trade-off between profit and information-seeking in binary betting may inspire new understandings of large-scale multi-agent behaviour.


title: Ultrasolid Homotopical Algebra

abstract: Solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$, introduced by Clausen and Scholze, are a well-behaved variant of complete topological vector spaces that forms a symmetric monoidal Grothendieck abelian category. For a discrete field $k$, we construct the category of ultrasolid $k$-modules, which specialises to solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$. In this setting, we show some commutative algebra results like an ultrasolid variant of Nakayama's lemma. We also explore higher algebra in the form of animated and $\mathbb{E}_\infty$ ultrasolid $k$-algebras, and their deformation theory. We focus on the subcategory of complete profinite $k$-algebras, which we prove is contravariantly equivalent to equal characteristic formal moduli problems with coconnective tangent complex.


title: Ask LLMs Directly, "What shapes your bias?": Measuring Social Bias in Large Language Models

abstract: Social bias is shaped by the accumulation of social perceptions towards targets across various demographic identities. To fully understand such social bias in large language models (LLMs), it is essential to consider the composite of social perceptions from diverse perspectives among identities. Previous studies have either evaluated biases in LLMs by indirectly assessing the presence of sentiments towards demographic identities in the generated text or measuring the degree of alignment with given stereotypes. These methods have limitations in directly quantifying social biases at the level of distinct perspectives among identities. In this paper, we aim to investigate how social perceptions from various viewpoints contribute to the development of social bias in LLMs. To this end, we propose a novel strategy to intuitively quantify these social perceptions and suggest metrics that can evaluate the social biases within LLMs by aggregating diverse social perceptions. The experimental results show the quantitative demonstration of the social attitude in LLMs by examining social perception. The analysis we conducted shows that our proposed metrics capture the multi-dimensional aspects of social bias, enabling a fine-grained and comprehensive investigation of bias in LLMs.


title: Low-temperature spin dynamics and absence of magnetic order in layered $\alpha$-RuI$_3$

abstract: The triangular-lattice system $\alpha$-RuI$_3$ is isostructural to the widely-studied $\alpha$-RuCl$_3$ compound which was identified as a potential Kitaev system but exhibits, instead of spin liquid behaviour, a magnetically ordered zig-zag ground state which sets in below 14~K. Here we show experimentally that, in contrast, the spins in $\alpha$-RuI$_3$ remain dynamic down to at least 50~mK. We study the spin dynamics using muon-spin relaxation methods and determine the presence of low-frequency fluctuations which are characteristic of a two-dimensional system.


title: Requirements for Organizational Resilience: Engineering Developer Happiness

abstract: Can the right requirements boost developer satisfaction and happiness? We believe they can. In keeping with this issue's theme, "Well-Being for Resilience: Developers Thrive," we discuss the connection between the three keywords, well-being, resilience, and thriving. How could requirements engineering foster these qualities? While there hasn't been much research on this topic, we see opportunities for future work. Let's initiate the discussion!


title: Magnon sensing of NO, NO$_2$ and NH$_3$ gas capture on CrSBr monolayer

abstract: Air pollution and greenhouse emissions are a significant problem across various sectors, urging the need for advanced technologies to detect and capture harmful gases. In recent years, two-dimensional (2D) materials have attracted an increasing attention due to their large surface-to-volume ratio and reactivity. Herein, we investigate the potential of single-layer CrSBr for gas sensing and capturing by means of first-principles calculations. We explore the adsorption behaviour of different pollutant gases (H$_2$S, NH$_3$, NO, NO$_2$, CO and CO$_2$) on this 2D ferromagnet and the impact of intrinsic defects on its magnetic properties. Interestingly, we find that Br vacancies enhance the adsorption of NH$_3$, NO and NO$_2$ and induces a selective frequency shift on the magnon dispersion. This work motivates the creation of novel magnonic gas sensing devices based on 2D van der Waals magnetic materials.


title: Reassessing How to Compare and Improve the Calibration of Machine Learning Models

abstract: A machine learning model is calibrated if its predicted probability for an outcome matches the observed frequency for that outcome conditional on the model prediction. This property has become increasingly important as the impact of machine learning models has continued to spread to various domains. As a result, there are now a dizzying number of recent papers on measuring and improving the calibration of (specifically deep learning) models. In this work, we reassess the reporting of calibration metrics in the recent literature. We show that there exist trivial recalibration approaches that can appear seemingly state-of-the-art unless calibration and prediction metrics (i.e. test accuracy) are accompanied by additional generalization metrics such as negative log-likelihood. We then derive a calibration-based decomposition of Bregman divergences that can be used to both motivate a choice of calibration metric based on a generalization metric, and to detect trivial calibration. Finally, we apply these ideas to develop a new extension to reliability diagrams that can be used to jointly visualize calibration as well as the estimated generalization error of a model.


title: Hyperbolicity of smooth logarithmic and orbifold pairs in $\mathbb{P}^n$

abstract: We derive a necessary and sufficient condition on a hyperplane arrangement in $\mathbb{P}^n$ for the associated logarithmic cotangent bundle to be ample modulo boundary. We extend this result to the orbifold setting and give some applications concerning hyperbolicity of pairs.


title: Batch-in-Batch: a new adversarial training framework for initial perturbation and sample selection

abstract: Adversarial training methods commonly generate independent initial perturbation for adversarial samples from a simple uniform distribution, and obtain the training batch for the classifier without selection. In this work, we propose a simple yet effective training framework called Batch-in-Batch (BB) to enhance models robustness. It involves specifically a joint construction of initial values that could simultaneously generates $m$ sets of perturbations from the original batch set to provide more diversity for adversarial samples; and also includes various sample selection strategies that enable the trained models to have smoother losses and avoid overconfident outputs. Through extensive experiments on three benchmark datasets (CIFAR-10, SVHN, CIFAR-100) with two networks (PreActResNet18 and WideResNet28-10) that are used in both the single-step (Noise-Fast Gradient Sign Method, N-FGSM) and multi-step (Projected Gradient Descent, PGD-10) adversarial training, we show that models trained within the BB framework consistently have higher adversarial accuracy across various adversarial settings, notably achieving over a 13% improvement on the SVHN dataset with an attack radius of 8/255 compared to the N-FGSM baseline model. Furthermore, experimental analysis of the efficiency of both the proposed initial perturbation method and sample selection strategies validates our insights. Finally, we show that our framework is cost-effective in terms of computational resources, even with a relatively large value of $m$.


title: Dynamic angular synchronization under smoothness constraints

abstract: Given an undirected measurement graph $\mathcal{H} = ([n], \mathcal{E})$, the classical angular synchronization problem consists of recovering unknown angles $\theta_1^*,\dots,\theta_n^*$ from a collection of noisy pairwise measurements of the form $(\theta_i^* - \theta_j^*) \mod 2\pi$, for all $\{i,j\} \in \mathcal{E}$. This problem arises in a variety of applications, including computer vision, time synchronization of distributed networks, and ranking from pairwise comparisons. In this paper, we consider a dynamic version of this problem where the angles, and also the measurement graphs evolve over $T$ time points. Assuming a smoothness condition on the evolution of the latent angles, we derive three algorithms for joint estimation of the angles over all time points. Moreover, for one of the algorithms, we establish non-asymptotic recovery guarantees for the mean-squared error (MSE) under different statistical models. In particular, we show that the MSE converges to zero as $T$ increases under milder conditions than in the static setting. This includes the setting where the measurement graphs are highly sparse and disconnected, and also when the measurement noise is large and can potentially increase with $T$. We complement our theoretical results with experiments on synthetic data.


title: Variational Prior Replacement in Bayesian Inference and Inversion

abstract: Many scientific investigations require that the values of a set of model parameters are estimated using recorded data. In Bayesian inference, information from both observed data and prior knowledge is combined to update model parameters probabilistically. Prior information represents our belief about the range of values that the variables can take, and their relative probabilities when considered independently of recorded data. Situations arise in which we wish to change prior information: (i) the subjective nature of prior information, (ii) cases in which we wish to test different states of prior information as hypothesis tests, and (iii) information from new studies may emerge so prior information may evolve over time. Estimating the solution to any single inference problem is usually computationally costly, as it typically requires thousands of model samples and their forward simulations. Therefore, recalculating the Bayesian solution every time prior information changes can be extremely expensive. We develop a mathematical formulation that allows prior information to be changed in a solution using variational methods, without performing Bayesian inference on each occasion. In this method, existing prior information is removed from a previously obtained posterior distribution and is replaced by new prior information. We therefore call the methodology variational prior replacement (VPR). We demonstrate VPR using a 2D seismic full waveform inversion example, where VPR provides almost identical posterior solutions compared to those obtained by solving independent inference problems using different priors. The former can be completed within minutes even on a laptop whereas the latter requires days of computations using high-performance computing resources. We demonstrate the value of the method by comparing the posterior solutions obtained using three different types of prior information.


title: Diagnosing Altermagnetic Phases through Quantum Oscillations

abstract: The recently delimited altermagnetic phase is characterized by zero net magnetization but momentum-dependent collinear spin-splitting. To explore the intriguing physical effects and potential applications of altermagnets, it is essential to analyze their Fermi surface properties, encompassing both configurations and spin textures. Here, we conduct a Fermiology study on metallic altermagnets and demonstrate that the collinear spin-split features of their Fermi surfaces can be clearly revealed through quantum oscillation measurements. By introducing a transverse Zeeman field to remove the spin-degenerate lines in the momentum space, the Fermi surface undergoes a Lifshitz transition, giving rise to spin-flipped cyclotron motion between orbits with opposite spins. Accordingly, the Lifshitz-Onsager quantization yields two sets of Landau levels, leading to frequency splitting of the Shubnikov-de Haas oscillations in conductivity. In the presence of spin-orbit coupling, the Zeeman field causes two separate cyclotron orbits to merge at the Lifshitz transition point before splitting again. This results in the two original frequencies discontinuously changing into a single frequency equal to their sum. Our work unveils a unique and universal signature of altermagnetic Fermi surfaces that can be probed through quantum oscillation measurements.


title: Estimation of Global Building Stocks by 2070: Unlocking Renovation Potential

abstract: Buildings produce one-third of carbon emissions globally, however, data absence regarding global floorspace poses challenges in advancing building carbon neutrality. We compile the measured building stocks for 14 major economies and apply our global building stock model, GLOBUS, to evaluate future trends in stock turnover. Based on a scenario not considering renovation, by 2070 the building stock in developed economies will be ~1.4 times that of 2020 (100 billion m2); in developing economies it is expected to be 2.2 times that of 2020 (313 billion m2). Based on a techno-economic potential scenario, however, stocks in developed economies will decline to approximately 0.8 times the 2020 level, while stocks in developing economies will increase to nearly twice the 2020 level due to their fewer buildings currently. Overall, GLOBUS provides a way of calculating the global building stock, helping scientists, engineers, and policymakers conduct a range of investigation across various future scenarios.


title: The Vela Pulsar Progenitor Was Most Likely a Binary Merger

abstract: Stellar evolution theory restricted to single stars predicts a minimum mass for core-collapse supernovae (CCSNe) of around eight solar masses; this minimum mass corresponds to a maximum age of around 45 million years for the progenitor and the coeval population of stars. Binary evolution complicates this prediction. For example, an older stellar population around 100 million years could contain stellar mergers that reach the minimum mass for core collapse. Despite this clear prediction by binary evolution, there are few, if any CCSNe associated with a distinctly older stellar population...until now. The stellar population within 150 pc of the Vela Pulsar is inconsistent with single-star evolution only; instead, the most likely solution is that the stellar population is $\ge$80 Myr old, and the brightest stars are mass gainers and/or mergers, the result of binary evolution. The evidence is as follows. Even though the main sequence is clearly dominated by a $\ge$80-Myr-old population, a large fraction of the corresponding red giants is missing. The best-fitting single-star model expects 51.5 red giants, yet there are only 22; the Poisson probability of this is $1.7 \times 10^{-6}$. In addition, there is an overabundance of bright, young-looking stars (25-30 Myrs old), yet there is not a corresponding young main sequence (MS). Upon closer inspection, the vast majority of the young-looking stars show either past or current signs of binary evolution. These new results are possible due to exquisite Gaia parallaxes and a new age-dating software called {\it Stellar Ages}.


title: Federated TrustChain: Blockchain-Enhanced LLM Training and Unlearning

abstract: The development of Large Language Models (LLMs) faces a significant challenge: the exhausting of publicly available fresh data. This is because training a LLM needs a large demanding of new data. Federated learning emerges as a promising solution, enabling collaborative model to contribute their private data to LLM global model. However, integrating federated learning with LLMs introduces new challenges, including the lack of transparency and the need for effective unlearning mechanisms. Transparency is essential to ensuring trust and fairness among participants, while accountability is crucial for deterring malicious behaviour and enabling corrective actions when necessary. To address these challenges, we propose a novel blockchain-based federated learning framework for LLMs that enhances transparency, accountability, and unlearning capabilities. Our framework leverages blockchain technology to create a tamper-proof record of each model's contributions and introduces an innovative unlearning function that seamlessly integrates with the federated learning mechanism. We investigate the impact of Low-Rank Adaptation (LoRA) hyperparameters on unlearning performance and integrate Hyperledger Fabric to ensure the security, transparency, and verifiability of the unlearning process. Through comprehensive experiments and analysis, we showcase the effectiveness of our proposed framework in achieving highly effective unlearning in LLMs trained using federated learning. Our findings highlight the feasibility of integrating blockchain technology into federated learning frameworks for LLMs.


title: Why recommended visit intervals should be extracted when conducting longitudinal analyses using electronic health record data: examining visit mechanism and sensitivity to assessment not at random

abstract: Electronic health records (EHRs) provide an efficient approach to generating rich longitudinal datasets. However, since patients visit as needed, the assessment times are typically irregular and may be related to the patient's health. Failing to account for this informative assessment process could result in biased estimates of the disease course. In this paper, we show how estimation of the disease trajectory can be enhanced by leveraging an underutilized piece of information that is often in the patient's EHR: physician-recommended intervals between visits. Specifically, we demonstrate how recommended intervals can be used in characterizing the assessment process, and in investigating the sensitivity of the results to assessment not at random (ANAR). We illustrate our proposed approach in a clinic-based cohort study of juvenile dermatomyositis (JDM). In this study, we found that the recommended intervals explained 78% of the variability in the assessment times. Under a specific case of ANAR where we assumed that a worsening in disease led to patients visiting earlier than recommended, the estimated population average disease activity trajectory was shifted downward relative to the trajectory assuming assessment at random. These results demonstrate the crucial role recommended intervals play in improving the rigour of the analysis by allowing us to assess both the plausibility of the AAR assumption and the sensitivity of the results to departures from this assumption. Thus, we advise that studies using irregular longitudinal data should extract recommended visit intervals and follow our procedure for incorporating them into analyses.


title: How many sprays cover the space?

abstract: For all \( d \geq 3 \) we show that the cardinality of \( \mathbb{R} \) is at most \( \aleph_n \) if and only if \( \R^d \) can be covered with \( ( n + 1 ) ( d - 1 ) + 1 \) sprays whose centers are in general position in a hyperplane. This extends previous results by Schmerl when \( d = 2 \).


title: Conic Surfaces and Transformations for X-Ray Beamline Optics Modeling

abstract: Optical surfaces represented by second-degree polynomials (quadratic or conics) are ubiquitous in optics. We revisit the equations of the conic shapes in the context of grazing incidence optics, gathering together the curves commonly used in x-ray instruments and synchrotron beamlines. We present the equations for paraboloids, ellipsoids, and hyperboloids in a common and consistent notation. We develop the transformations from centered systems that are commonly used to describe conics and their axes of symmetry, to local coordinate systems centered on the off-axis mirror surfaces. The equations presented are directly applicable to ray tracing, fabrication, and metrology calculations. They can also be used to study misalignments, movement tolerances, and aberrations of optical surfaces.


title: Quantum Simulations with Bilayer 2D Bose Gases in Multiple-RF-dressed Potentials

abstract: Multiple-RF (MRF) dressing allows trapping of ultracold atoms in novel spatial geometries, such as highly controllable bilayer structures for 2D ultracold gases, providing unique opportunities for the investigation of 2D quantum systems both in and out of equilibrium. Here, we give an overview of the recent developments of MRF-dressed atom experiments, illustrated by the detailed studies of universal relaxation dynamics across the Berezinskii-Kosterlitz-Thouless critical point enabled by coherent splitting quench protocols and detection of correlations via spatially selective matter-wave interferometry.


title: Bootstrapping Expectiles in Reinforcement Learning

abstract: Many classic Reinforcement Learning (RL) algorithms rely on a Bellman operator, which involves an expectation over the next states, leading to the concept of bootstrapping. To introduce a form of pessimism, we propose to replace this expectation with an expectile. In practice, this can be very simply done by replacing the $L_2$ loss with a more general expectile loss for the critic. Introducing pessimism in RL is desirable for various reasons, such as tackling the overestimation problem (for which classic solutions are double Q-learning or the twin-critic approach of TD3) or robust RL (where transitions are adversarial). We study empirically these two cases. For the overestimation problem, we show that the proposed approach, ExpectRL, provides better results than a classic twin-critic. On robust RL benchmarks, involving changes of the environment, we show that our approach is more robust than classic RL algorithms. We also introduce a variation of ExpectRL combined with domain randomization which is competitive with state-of-the-art robust RL agents. Eventually, we also extend \ExpectRL with a mechanism for choosing automatically the expectile value, that is the degree of pessimism


title: Leveraging automatic strategy discovery to teach people how to select better projects

abstract: The decisions of individuals and organizations are often suboptimal because normative decision strategies are too demanding in the real world. Recent work suggests that some errors can be prevented by leveraging artificial intelligence to discover and teach prescriptive decision strategies that take people's constraints into account. So far, this line of research has been limited to simplified decision problems. This article is the first to extend this approach to a real-world decision problem, namely project selection. We develop a computational method (MGPS) that automatically discovers project selection strategies that are optimized for real people and develop an intelligent tutor that teaches the discovered strategies. We evaluated MGPS on a computational benchmark and tested the intelligent tutor in a training experiment with two control conditions. MGPS outperformed a state-of-the-art method and was more computationally efficient. Moreover, the intelligent tutor significantly improved people's decision strategies. Our results indicate that our method can improve human decision-making in naturalistic settings similar to real-world project selection, a first step towards applying strategy discovery to the real world.


title: Leakage Mobility in Superconducting Qubits as a Leakage Reduction Unit

abstract: Leakage from the computational subspace is a damaging source of noise that degrades the performance of most qubit types. Unlike other types of noise, leakage cannot be overcome by standard quantum error correction techniques and requires dedicated leakage reduction units. In this work, we study the effects of leakage mobility between superconducting qubits on the performance of a quantum stability experiment, which is a benchmark for fault-tolerant logical computation. Using the Fujitsu Quantum Simulator, we perform full density-matrix simulations of stability experiments implemented on the surface code. We observe improved performance with increased mobility, suggesting leakage mobility can itself act as a leakage reduction unit by naturally moving leakage from data to auxiliary qubits, where it is removed upon reset. We compare the performance of standard error-correction circuits with "patch wiggling", a specific leakage reduction technique where data and auxiliary qubits alternate their roles in each round of error correction. We observe that patch wiggling becomes inefficient with increased leakage mobility, in contrast to the improved performance of standard circuits. These observations suggest that the damage of leakage can be overcome by stimulating leakage mobility between qubits without the need for a dedicated leakage reduction unit.


title: Quadruple-well ferroelectricity and moderate switching barrier in defective wurtzite {\alpha}-Al3S3: a first-principles study

abstract: Wurtzite-type ferroelectrics are highly promising for next-generation microelectronic devices due to their ferroelectric properties and integration with exiting semiconductors. However, their high coercive fields, which are close to breakdown electric fields, need to be lowered. To deal with this issue and secure device reliability, much effort has been devoted to exploring novel wurtzite compounds with lower polarization switching barriers and implementing doping strategies. Here, we report first-principles calculations on polarization switching in cation-vacancy ordered wurtzite {\alpha}-Al2S3, unveiling its uniaxial quadruple-well ferroelectricity and moderate switching barrier, 51 meV/cation, which is much lower than that of conventional wurtzite ferroelectrics. There are three important features relevant to the Al vacancies leading to the uncommon quadruple-well ferroelectricity and the moderate switching barrier: mitigation of cation-cation repulsion, structural flexibility that alleviates an in-plane lattice expansion, and formation of {\sigma}-like bonding states consisting of Al 3pz and S 3pz orbitals. Biaxial compressive strain and Ga doping lower the switching barriers by up to 40%. This study encourages experimental investigation of the ferroelectric properties for defective wurtzite {\alpha}-Al2S3 as a new promising material with unconventional and intriguing ferroelectricity and suggests a potential strategy for reducing switching barriers in wurtzite ferroelectrics: introducing cation vacancies.


title: Copula-based models for correlated circular data

abstract: We exploit Gaussian copulas to specify a class of multivariate circular distributions and obtain parametric models for the analysis of correlated circular data. This approach provides a straightforward extension of traditional multivariate normal models to the circular setting, without imposing restrictions on the marginal data distribution nor requiring overwhelming routines for parameter estimation. The proposal is illustrated on two case studies of animal orientation and sea currents, where we propose an autoregressive model for circular time series and a geostatistical model for circular spatial series.


title: A Survey of Language-Based Communication in Robotics

abstract: Embodied robots which can interact with their environment and neighbours are increasingly being used as a test case to develop Artificial Intelligence. This creates a need for multimodal robot controllers which can operate across different types of information including text. Large Language Models are able to process and generate textual as well as audiovisual data and, more recently, robot actions. Language Models are increasingly being applied to robotic systems; these Language-Based robots leverage the power of language models in a variety of ways. Additionally, the use of language opens up multiple forms of information exchange between members of a human-robot team. This survey motivates the use of language models in robotics, and then delineates works based on the part of the overall control flow in which language is incorporated. Language can be used by human to task a robot, by a robot to inform a human, between robots as a human-like communication medium, and internally for a robot's planning and control. Applications of language-based robots are explored, and finally numerous limitations and challenges are discussed to provide a summary of the development needed for language-based robotics moving forward. Links to each paper and, if available, source code are made available in the accompanying site at https://uos-haris.online/sooratilab/papers/WillSurvey/LangRobotSurvey.php


title: Contribution of young massive star clusters to Galactic diffuse $\gamma$-ray emission

abstract: Context: Young massive stellar clusters (YMSCs) have emerged as potential $\gamma$-ray sources, after the recent association of a dozen YMSCs with extended $\gamma$-ray emission. The large size of the detected halos, comparable to that of the wind-blown bubble expected around YMSCs, makes the $\gamma$-ray detection of individual YMSCs rather challenging. As a result, the emission from most of the Galactic YMSCs could be unresolved, thus contributing to the diffuse $\gamma$-ray radiation observed along the Galactic Plane. Aims: In this study, we estimate the possible contribution to the Galactic diffuse $\gamma$-ray emission from a synthetic population of YMSCs, and we compare it with observations obtained with different experiments, from 1 GeV to hundreds of TeV, in two regions of the Galactic Plane. Methods: As the population of galactic YMSCs is only known locally, we evaluate the contribution of $\gamma$-ray emission relying on the simulation of synthetic populations of YMSCs based on the observed properties of local clusters. We compute the $\gamma$-ray emission from each cluster assuming that the radiation is purely hadronic in nature and produced by cosmic rays accelerated at the cluster's collective wind termination shock. Results: We find that the $\gamma$-ray emission from unresolved YMSCs can significantly contribute to the observed Galactic diffuse flux, especially in the inner part of the Galaxy. The result is independent of the assumed particle transport, but an important role is played by Wolf-Rayet stars. The predicted $\gamma$-ray flux should be considered as a lower limit, given that our calculation neglects the contribution of supernovae exploding in YMSCs.


title: Deterministic Uncertainty Propagation for Improved Model-Based Offline Reinforcement Learning

abstract: Current approaches to model-based offline Reinforcement Learning (RL) often incorporate uncertainty-based reward penalization to address the distributional shift problem. While these approaches have achieved some success, we argue that this penalization introduces excessive conservatism, potentially resulting in suboptimal policies through underestimation. We identify as an important cause of over-penalization the lack of a reliable uncertainty estimator capable of propagating uncertainties in the Bellman operator. The common approach to calculating the penalty term relies on sampling-based uncertainty estimation, resulting in high variance. To address this challenge, we propose a novel method termed Moment Matching Offline Model-Based Policy Optimization (MOMBO). MOMBO learns a Q-function using moment matching, which allows us to deterministically propagate uncertainties through the Q-function. We evaluate MOMBO's performance across various environments and demonstrate empirically that MOMBO is a more stable and sample-efficient approach.


title: On Limitation of Transformer for Learning HMMs

abstract: Despite the remarkable success of Transformer-based architectures in various sequential modeling tasks, such as natural language processing, computer vision, and robotics, their ability to learn basic sequential models, like Hidden Markov Models (HMMs), is still unclear. This paper investigates the performance of Transformers in learning HMMs and their variants through extensive experimentation and compares them to Recurrent Neural Networks (RNNs). We show that Transformers consistently underperform RNNs in both training speed and testing accuracy across all tested HMM models. There are even challenging HMM instances where Transformers struggle to learn, while RNNs can successfully do so. Our experiments further reveal the relation between the depth of Transformers and the longest sequence length it can effectively learn, based on the types and the complexity of HMMs. To address the limitation of transformers in modeling HMMs, we demonstrate that a variant of the Chain-of-Thought (CoT), called $\textit{block CoT}$ in the training phase, can help transformers to reduce the evaluation error and to learn longer sequences at a cost of increasing the training time. Finally, we complement our empirical findings by theoretical results proving the expressiveness of transformers in approximating HMMs with logarithmic depth.


title: Interpretable Lightweight Transformer via Unrolling of Learned Graph Smoothness Priors

abstract: We build interpretable and lightweight transformer-like neural networks by unrolling iterative optimization algorithms that minimize graph smoothness priors -- the quadratic graph Laplacian regularizer (GLR) and the $\ell_1$-norm graph total variation (GTV) -- subject to an interpolation constraint. The crucial insight is that a normalized signal-dependent graph learning module amounts to a variant of the basic self-attention mechanism in conventional transformers. Unlike "black-box" transformers that require learning of large key, query and value matrices to compute scaled dot products as affinities and subsequent output embeddings, resulting in huge parameter sets, our unrolled networks employ shallow CNNs to learn low-dimensional features per node to establish pairwise Mahalanobis distances and construct sparse similarity graphs. At each layer, given a learned graph, the target interpolated signal is simply a low-pass filtered output derived from the minimization of an assumed graph smoothness prior, leading to a dramatic reduction in parameter count. Experiments for two image interpolation applications verify the restoration performance, parameter efficiency and robustness to covariate shift of our graph-based unrolled networks compared to conventional transformers.


title: Computing Floquet quasienergies in finite and extended systems: Role of electromagnetic and quantum-geometric gauges

abstract: We present an approach to compute the Floquet quasienergy spectrum of time-periodic systems. The method allows to characterize the light-matter interaction in finite and extended structures by carefully addressing the resolution of the position operator. In periodic systems we discuss the role of the quantum-geometric gauge freedom of Bloch states and employ a Wannier-based scheme to compute the required matrix elements. As a consequence, the method is accurate and applicable to a broad range of systems, from atoms and molecules to cold atomic gases and materials described by density functional theory, as well as model systems. We demonstrate the applicability of the approach by studying two cases: a particle trapped in a one-dimensional box and the semiconducting material BC$_2$N. We employ the first example to provide a numerical proof of the invariance of the Floquet quasienergy spectrum with respect to the choice of electromagnetic gauge. The analysis of BC$_2$N then serves to illustrate the physical effects described by the quasienergies, such as multiphoton resonances, and their expected range of occurrence in real materials in terms of external electric field and frequency of the drive pulse.


title: Towards bit threads in general gravitational spacetimes

abstract: The concept of the generalized entanglement wedge was recently proposed by Bousso and Penington, which states that any bulk gravitational region $a$ possesses an associated generalized entanglement wedge $E(a) \supset a$ on a static Cauchy surface $M$ in general gravitational spacetimes, where $E(a)$ may contain an entanglement island $I(a)$. It suggests that the fine-grained entropy for bulk region $a$ is given by the generalized entropy $S_{\text{gen}}(E(a))$. Motivated by this proposal, we extend the quantum bit thread description to general gravitational spacetimes, no longer limited to the AdS spacetime. By utilizing the convex optimization techniques, a dual flow description for the generalized entropy $S_{\text{gen}}(E(a))$ of a bulk gravitational region $a$ is established on the static Cauchy surface $M$, such that $S_{\text{gen}}(E(a))$ is equal to the maximum flux of any flow that starts from the boundary $\partial M$ and ends at bulk region $a$, or equivalently, the maximum number of bit threads that connect the boundary $\partial M$ to the bulk region $a$. In addition, the nesting property of flows is also proved. Thus the basic properties of the entropy for bulk regions, i.e. the monotonicity, subadditivity, Araki-Lieb inequality and strong subadditivity, can be verified from flow perspectives by using properties of flows, such as the nesting property. Moreover, in max thread configurations, we find that there exists some lower bounds on the bulk entanglement entropy of matter fields in the region $E(a)\setminus a$, particularly on an entanglement island region $I(a) \subset (E(a)\setminus a)$, as required by the existence of a nontrivial generalized entanglement wedge. Our quantum bit thread formulation may provide a way to investigate more fine-grained entanglement structures in general spacetimes.


title: Scaling and evaluating sparse autoencoders

abstract: Sparse autoencoders provide a promising unsupervised approach for extracting interpretable features from a language model by reconstructing activations from a sparse bottleneck layer. Since language models learn many concepts, autoencoders need to be very large to recover all relevant features. However, studying the properties of autoencoder scaling is difficult due to the need to balance reconstruction and sparsity objectives and the presence of dead latents. We propose using k-sparse autoencoders [Makhzani and Frey, 2013] to directly control sparsity, simplifying tuning and improving the reconstruction-sparsity frontier. Additionally, we find modifications that result in few dead latents, even at the largest scales we tried. Using these techniques, we find clean scaling laws with respect to autoencoder size and sparsity. We also introduce several new metrics for evaluating feature quality based on the recovery of hypothesized features, the explainability of activation patterns, and the sparsity of downstream effects. These metrics all generally improve with autoencoder size. To demonstrate the scalability of our approach, we train a 16 million latent autoencoder on GPT-4 activations for 40 billion tokens. We release training code and autoencoders for open-source models, as well as a visualizer.


title: Data-driven Explainable Controller for Soft Robots based on Recurrent Neural Networks

abstract: The nonlinearity and hysteresis of soft robot motions have posed challenges in accurate soft robot control. Neural networks, especially recurrent neural networks (RNNs), have been widely leveraged for this issue due to their nonlinear activation functions and recurrent structures. Although they have shown satisfying accuracy in most tasks, these black-box approaches are not explainable, and hence, they are unsuitable for areas with high safety requirements, like robot-assisted surgery. Based on the RNN controllers, we propose a data-driven explainable controller (DDEC) whose parameters can be updated online. We discuss the Jacobian controller and kinematics controller in theory and demonstrate that they are only special cases of DDEC. Moreover, we utilize RNN, the Jacobian controller, the kinematics controller, and DDECs for trajectory following tasks. Experimental results have shown that our approach outperforms the other controllers considering trajectory following errors while being explainable. We also conduct a study to explore and explain the functions of each DDEC component. This is the first interpretable soft robot controller that overcomes the shortcomings of both NN controllers and interpretable controllers. Future work may involve proposing different DDECs based on different RNN controllers and exploiting them for high-safety-required applications.


title: A likelihood-based sensitivity analysis for addressing publication bias in meta-analysis of diagnostic studies using exact likelihood

abstract: Publication bias (PB) poses a significant threat to meta-analysis, as studies yielding notable results are more likely to be published in scientific journals. Sensitivity analysis provides a flexible method to address PB and to examine the impact of unpublished studies. A selection model based on t-statistics to sensitivity analysis is proposed by Copas. This t-statistics selection model is interpretable and enables the modeling of biased publication sampling across studies, as indicated by the asymmetry in the funnel-plot. In meta-analysis of diagnostic studies, the summary receiver operating characteristic curve is an essential tool for synthesizing the bivariate outcomes of sensitivity and specificity reported by individual studies. Previous studies address PB upon the bivariate normal model but these methods rely on the normal approximation for the empirical logit-transformed sensitivity and specificity, which is not suitable for sparse data scenarios. Compared to the bivariate normal model, the bivariate binomial model which replaces the normal approximation in the within-study model with the exact within-study model has better finite sample properties. In this study, we applied the Copas t-statistics selection model to the meta-analysis of diagnostic studies using the bivariate binomial model. To our knowledge, this is the first study to apply the Copas t-statistics selection model to the bivariate binomial model. We have evaluated our proposed method through several real-world meta-analyses of diagnostic studies and simulation studies.


title: Multiplicity dependence of (multi-)strange hadrons in oxygen-oxygen collisions at $\sqrt{s_{\mathrm{NN}}}~=~7$ TeV using EPOS4 and AMPT

abstract: LHC is anticipated to collect data from oxygen-oxygen ($O+O$) collisions at center-of-mass energy $\sqrt{s_{\mathrm{NN}}}~=~7$ TeV to further investigate the particle production mechanisms. In the present work, we report on the predictions of transverse momentum ($p_{\rm T}$-spectra), $dN/dy$, yield ratios relative to pions, $p_{\rm T}$-differential ratios of (multi-)strange hadrons in $O+O$ collisions at $\sqrt{s_{\mathrm{NN}}}~=~7$ TeV using EPOS4 and AMPT models. Both models differ fundamentally, EPOS4 incorporates a QGP phase, while AMPT focuses on pre-formed hadron interactions. We observed that AMPT qualitatively fails to predict strangeness enhancement in $O+O$ collisions, while EPOS4 predicts a significant enhancement. We also observed the hints of stronger radial flow in EPOS4 compared to AMPT in $O+O$ collisions at $\sqrt{s_{\mathrm{NN}}}~=~7$ TeV. AMPT incorporates some flow effects, but EPOS4's implementation of full hydrodynamic flow appears to be significantly more effective in reproducing the experimental data. Both models interestingly predict the final state multiplicity overlap with $pp$, $p+Pb$, and $Pb+Pb$ collisions. The upcoming data on $O+O$ collisions at the LHC is expected to play a crucial role both, constraining the model parameters and significantly refining our understanding of these theoretical models.


title: Resonant phonons: Localization in a structurally ordered crystal

abstract: Phonon localization is a phenomenon that influences numerous material properties in condensed matter physics. Anderson localization brings rise to localized atomic-scale phonon interferences in disordered lattices with an influence limited to high-frequency phonons having wavelengths comparable to the size of a randomly perturbed unit cell. Here we theoretically reveal a new form of phonon localization induced by augmenting a crystalline material with intrinsic phonon nanoresonators with feature sizes that can be smaller or larger than the phonon wavelengths but must be relatively small compared to the phonon mean free paths. This mechanism is deterministic and takes place within numerous discrete narrow-frequency bands spread throughout the full spectrum with central frequencies controlled by design. For demonstration, we run molecular dynamics simulations of all-silicon nanopillared membranes at room temperature, and apply to the underlying thermalized environment narrowband wave packets as an excitation at precisely the frequencies where resonant hybridizations are evident in the anharmonic phonon band structure. Upon comparison to other frequency ranges where the nanostructure does not exhibit local resonances, significant intrinsic spatial phonon localization along the direction of transport is explicitly observed. Furthermore, the energy exchange with external sources is minimized at the resonant frequencies. We conclude by making a direct comparison with Anderson localization highlighting the superiority of the resonant phonons across both sides of the interference frequency limit.


title: A Large-Scale Neutral Comparison Study of Survival Models on Low-Dimensional Data

abstract: This work presents the first large-scale neutral benchmark experiment focused on single-event, right-censored, low-dimensional survival data. Benchmark experiments are essential in methodological research to scientifically compare new and existing model classes through proper empirical evaluation. Existing benchmarks in the survival literature are often narrow in scope, focusing, for example, on high-dimensional data. Additionally, they may lack appropriate tuning or evaluation procedures, or are qualitative reviews, rather than quantitative comparisons. This comprehensive study aims to fill the gap by neutrally evaluating a broad range of methods and providing generalizable conclusions. We benchmark 18 models, ranging from classical statistical approaches to many common machine learning methods, on 32 publicly available datasets. The benchmark tunes for both a discrimination measure and a proper scoring rule to assess performance in different settings. Evaluating on 8 survival metrics, we assess discrimination, calibration, and overall predictive performance of the tested models. Using discrimination measures, we find that no method significantly outperforms the Cox model. However, (tuned) Accelerated Failure Time models were able to achieve significantly better results with respect to overall predictive performance as measured by the right-censored log-likelihood. Machine learning methods that performed comparably well include Oblique Random Survival Forests under discrimination, and Cox-based likelihood-boosting under overall predictive performance. We conclude that for predictive purposes in the standard survival analysis setting of low-dimensional, right-censored data, the Cox Proportional Hazards model remains a simple and robust method, sufficient for practitioners.


title: Enhancing Weather Predictions: Super-Resolution via Deep Diffusion Models

abstract: This study investigates the application of deep-learning diffusion models for the super-resolution of weather data, a novel approach aimed at enhancing the spatial resolution and detail of meteorological variables. Leveraging the capabilities of diffusion models, specifically the SR3 and ResDiff architectures, we present a methodology for transforming low-resolution weather data into high-resolution outputs. Our experiments, conducted using the WeatherBench dataset, focus on the super-resolution of the two-meter temperature variable, demonstrating the models' ability to generate detailed and accurate weather maps. The results indicate that the ResDiff model, further improved by incorporating physics-based modifications, significantly outperforms traditional SR3 methods in terms of Mean Squared Error (MSE), Structural Similarity Index (SSIM), and Peak Signal-to-Noise Ratio (PSNR). This research highlights the potential of diffusion models in meteorological applications, offering insights into their effectiveness, challenges, and prospects for future advancements in weather prediction and climate analysis.


title: Class-Aware Cartilage Segmentation for Autonomous US-CT Registration in Robotic Intercostal Ultrasound Imaging

abstract: Ultrasound imaging has been widely used in clinical examinations owing to the advantages of being portable, real-time, and radiation-free. Considering the potential of extensive deployment of autonomous examination systems in hospitals, robotic US imaging has attracted increased attention. However, due to the inter-patient variations, it is still challenging to have an optimal path for each patient, particularly for thoracic applications with limited acoustic windows, e.g., intercostal liver imaging. To address this problem, a class-aware cartilage bone segmentation network with geometry-constraint post-processing is presented to capture patient-specific rib skeletons. Then, a dense skeleton graph-based non-rigid registration is presented to map the intercostal scanning path from a generic template to individual patients. By explicitly considering the high-acoustic impedance bone structures, the transferred scanning path can be precisely located in the intercostal space, enhancing the visibility of internal organs by reducing the acoustic shadow. To evaluate the proposed approach, the final path mapping performance is validated on five distinct CTs and two volunteer US data, resulting in ten pairs of CT-US combinations. Results demonstrate that the proposed graph-based registration method can robustly and precisely map the path from CT template to individual patients (Euclidean error: $2.21\pm1.11~mm$).


title: How Far Can We Compress Instant-NGP-Based NeRF?

abstract: In recent years, Neural Radiance Field (NeRF) has demonstrated remarkable capabilities in representing 3D scenes. To expedite the rendering process, learnable explicit representations have been introduced for combination with implicit NeRF representation, which however results in a large storage space requirement. In this paper, we introduce the Context-based NeRF Compression (CNC) framework, which leverages highly efficient context models to provide a storage-friendly NeRF representation. Specifically, we excavate both level-wise and dimension-wise context dependencies to enable probability prediction for information entropy reduction. Additionally, we exploit hash collision and occupancy grids as strong prior knowledge for better context modeling. To the best of our knowledge, we are the first to construct and exploit context models for NeRF compression. We achieve a size reduction of 100$\times$ and 70$\times$ with improved fidelity against the baseline Instant-NGP on Synthesic-NeRF and Tanks and Temples datasets, respectively. Additionally, we attain 86.7\% and 82.3\% storage size reduction against the SOTA NeRF compression method BiRF. Our code is available here: https://github.com/YihangChen-ee/CNC.


title: Chromatic Topological Data Analysis

abstract: Exploring the shape of point configurations has been a key driver in the evolution of TDA (short for topological data analysis) since its infancy. This survey illustrates the recent efforts to broaden these ideas to model spatial interactions among multiple configurations, each distinguished by a color. It describes advances in this area and prepares the ground for further exploration by mentioning unresolved questions and promising research avenues while focusing on the overlap with discrete geometry.


title: Multistep Distillation of Diffusion Models via Moment Matching

abstract: We present a new method for making diffusion models faster to sample. The method distills many-step diffusion models into few-step models by matching conditional expectations of the clean data given noisy data along the sampling trajectory. Our approach extends recently proposed one-step methods to the multi-step case, and provides a new perspective by interpreting these approaches in terms of moment matching. By using up to 8 sampling steps, we obtain distilled models that outperform not only their one-step versions but also their original many-step teacher models, obtaining new state-of-the-art results on the Imagenet dataset. We also show promising results on a large text-to-image model where we achieve fast generation of high resolution images directly in image space, without needing autoencoders or upsamplers.


title: Symplectic Methods in Deep Learning

abstract: Deep learning is widely used in tasks including image recognition and generation, in learning dynamical systems from data and many more. It is important to construct learning architectures with theoretical guarantees to permit safety in the applications. There has been considerable progress in this direction lately. In particular, symplectic networks were shown to have the non vanishing gradient property, essential for numerical stability. On the other hand, architectures based on higher order numerical methods were shown to be efficient in many tasks where the learned function has an underlying dynamical structure. In this work we construct symplectic networks based on higher order explicit methods with non vanishing gradient property and test their efficiency on various examples.


title: From Tissue Plane to Organ World: A Benchmark Dataset for Multimodal Biomedical Image Registration using Deep Co-Attention Networks

abstract: Correlating neuropathology with neuroimaging findings provides a multiscale view of pathologic changes in the human organ spanning the meso- to micro-scales, and is an emerging methodology expected to shed light on numerous disease states. To gain the most information from this multimodal, multiscale approach, it is desirable to identify precisely where a histologic tissue section was taken from within the organ in order to correlate with the tissue features in exactly the same organ region. Histology-to-organ registration poses an extra challenge, as any given histologic section can capture only a small portion of a human organ. Making use of the capabilities of state-of-the-art deep learning models, we unlock the potential to address and solve such intricate challenges. Therefore, we create the ATOM benchmark dataset, sourced from diverse institutions, with the primary objective of transforming this challenge into a machine learning problem and delivering outstanding outcomes that enlighten the biomedical community. The performance of our RegisMCAN model demonstrates the potential of deep learning to accurately predict where a subregion extracted from an organ image was obtained from within the overall 3D volume. The code and dataset can be found at: https://github.com/haizailache999/Image-Registration/tree/main


title: Explainability and Hate Speech: Structured Explanations Make Social Media Moderators Faster

abstract: Content moderators play a key role in keeping the conversation on social media healthy. While the high volume of content they need to judge represents a bottleneck to the moderation pipeline, no studies have explored how models could support them to make faster decisions. There is, by now, a vast body of research into detecting hate speech, sometimes explicitly motivated by a desire to help improve content moderation, but published research using real content moderators is scarce. In this work we investigate the effect of explanations on the speed of real-world moderators. Our experiments show that while generic explanations do not affect their speed and are often ignored, structured explanations lower moderators' decision making time by 7.4%.


title: A Practical Analysis Procedure on Generalizing Comparative Effectiveness in the Randomized Clinical Trial to the Real-world Trialeligible Population

abstract: When evaluating the effectiveness of a drug, a Randomized Controlled Trial (RCT) is often considered the gold standard due to its perfect randomization. While RCT assures strong internal validity, its restricted external validity poses challenges in extending treatment effects to the broader real-world population due to possible heterogeneity in covariates. In this paper, we introduce a procedure to generalize the RCT findings to the real-world trial-eligible population based on the adaption of existing statistical methods. We utilized the augmented inversed probability of sampling weighting (AIPSW) estimator for the estimation and omitted variable bias framework to assess the robustness of the estimate against the assumption violation caused by potentially unmeasured confounders. We analyzed an RCT comparing the effectiveness of lowering hypertension between Songling Xuemaikang Capsule (SXC), a traditional Chinese medicine (TCM), and Losartan as an illustration. The generalization results indicated that although SXC is less effective in lowering blood pressure than Losartan on week 2, week 4, and week 6, there is no statistically significant difference among the trial-eligible population at week 8, and the generalization is robust against potential unmeasured confounders.


title: Comparing second-order gravitational self-force and effective-one-body waveforms from inspiralling, quasi-circular black hole binaries with a non-spinning primary and a spinning secondary

abstract: We present the first comparison of waveforms evaluated using the effective-one-body (EOB) approach and gravitational self-force (GSF) theory for inspiralling black hole binaries with a non-spinning primary and a spinning secondary. This paper belongs to a series of papers comparing the EOB model TEOBResumS to GSF results, where the latter are used to benchmark the EOB analytical choices in the large-mass-ratio regime. In this work, we explore the performance of two gauge choices for the gyro-gravitomagnetic functions GS, GS* entering the spin-orbit sector within the EOB dynamics. In particular, we consider the usual gauge of TEOBResumS, where GS and GS* only depend on the inverse radius and the radial momentum, and a different gauge where these functions also depend on the azimuthal momentum. The latter choice allows us to exploit as prefactor in GS* the complete expression GKS* for a spinning particle on Kerr. As done previously, we employ both waveform alignments in the time domain and a gauge-invariant frequency-domain analysis to gain a more complete understanding of the impact of the new analytical choice. The frequency-domain analysis is particularly useful in confirming that the gyro-gravitomagnetic functions in the new chosen gauge bring the EOB spin contribution at 1st post-adiabatic order closer to the GSF one. We finally implement the improved functions within the public code for TEOBResumS-Dal\'i, which already incorporates eccentricity. In this way, we upgrade the EOB model for extreme-mass-ratio inspirals presented in our previous work.


title: Intention and Face in Dialog

abstract: The notion of face described by Brown and Levinson (1987) has been studied in great detail, but a critical aspect of the framework, that which focuses on how intentions mediate the planning of turns which impose upon face, has received far less attention. We present an analysis of three computational systems trained for classifying both intention and politeness, focusing on how the former influences the latter. In politeness theory, agents attend to the desire to have their wants appreciated (positive face), and a complementary desire to act unimpeded and maintain freedom (negative face). Similar to speech acts, utterances can perform so-called face acts which can either raise or threaten the positive or negative face of the speaker or hearer. We begin by using an existing corpus to train a model which classifies face acts, achieving a new SoTA in the process. We then observe that every face act has an underlying intention that motivates it and perform additional experiments integrating dialog act annotations to provide these intentions by proxy. Our analysis finds that dialog acts improve performance on face act detection for minority classes and points to a close relationship between aspects of face and intent.


title: Giant and anisotropic enhancement of spin-charge conversion in double Rashba interface graphene-based quantum system

abstract: The ever-increasing demand for efficient data storage and processing has fueled the search for novel memory devices. Spintronics offers an alternative fast and efficient solution using spin-to-charge interconversion. In this work, we demonstrate a remarkable thirty-four-fold increase in spin-to-charge current conversion when incorporating a 2D epitaxial graphene monolayer between iron and platinum layers by exploring spin-pumping on-chip devices. Furthermore, we find that the spin conversion is also anisotropic. We attribute this enhancement and anisotropy to the asymmetric Rashba contributions driven by an unbalanced spin accumulation at the differently hybridized top and bottom graphene interfaces, as highlighted by ad-hoc first-principles theory. The improvement in spin-to-charge conversion as well as its anisotropy reveals the importance of interfaces in hybrid 2D-thin film systems opening up new possibilities for engineering spin conversion in 2D materials, leading to potential advances in memory, logic applications, or unconventional computing.


title: UrbanSARFloods: Sentinel-1 SLC-Based Benchmark Dataset for Urban and Open-Area Flood Mapping

abstract: Due to its cloud-penetrating capability and independence from solar illumination, satellite Synthetic Aperture Radar (SAR) is the preferred data source for large-scale flood mapping, providing global coverage and including various land cover classes. However, most studies on large-scale SAR-derived flood mapping using deep learning algorithms have primarily focused on flooded open areas, utilizing available open-access datasets (e.g., Sen1Floods11) and with limited attention to urban floods. To address this gap, we introduce \textbf{UrbanSARFloods}, a floodwater dataset featuring pre-processed Sentinel-1 intensity data and interferometric coherence imagery acquired before and during flood events. It contains 8,879 $512\times 512$ chips covering 807,500 $km^2$ across 20 land cover classes and 5 continents, spanning 18 flood events. We used UrbanSARFloods to benchmark existing state-of-the-art convolutional neural networks (CNNs) for segmenting open and urban flood areas. Our findings indicate that prevalent approaches, including the Weighted Cross-Entropy (WCE) loss and the application of transfer learning with pretrained models, fall short in overcoming the obstacles posed by imbalanced data and the constraints of a small training dataset. Urban flood detection remains challenging. Future research should explore strategies for addressing imbalanced data challenges and investigate transfer learning's potential for SAR-based large-scale flood mapping. Besides, expanding this dataset to include additional flood events holds promise for enhancing its utility and contributing to advancements in flood mapping techniques.


title: Compressible Dynamics in Deep Overparameterized Low-Rank Learning & Adaptation

abstract: While overparameterization in machine learning models offers great benefits in terms of optimization and generalization, it also leads to increased computational requirements as model sizes grow. In this work, we show that by leveraging the inherent low-dimensional structures of data and compressible dynamics within the model parameters, we can reap the benefits of overparameterization without the computational burdens. In practice, we demonstrate the effectiveness of this approach for deep low-rank matrix completion as well as fine-tuning language models. Our approach is grounded in theoretical findings for deep overparameterized low-rank matrix recovery, where we show that the learning dynamics of each weight matrix are confined to an invariant low-dimensional subspace. Consequently, we can construct and train compact, highly compressed factorizations possessing the same benefits as their overparameterized counterparts. In the context of deep matrix completion, our technique substantially improves training efficiency while retaining the advantages of overparameterization. For language model fine-tuning, we propose a method called "Deep LoRA", which improves the existing low-rank adaptation (LoRA) technique, leading to reduced overfitting and a simplified hyperparameter setup, while maintaining comparable efficiency. We validate the effectiveness of Deep LoRA on natural language tasks, particularly when fine-tuning with limited data. Our code is available at https://github.com/cjyaras/deep-lora-transformers.


title: Uncovering Limitations of Large Language Models in Information Seeking from Tables

abstract: Tables are recognized for their high information density and widespread usage, serving as essential sources of information. Seeking information from tables (TIS) is a crucial capability for Large Language Models (LLMs), serving as the foundation of knowledge-based Q&A systems. However, this field presently suffers from an absence of thorough and reliable evaluation. This paper introduces a more reliable benchmark for Table Information Seeking (TabIS). To avoid the unreliable evaluation caused by text similarity-based metrics, TabIS adopts a single-choice question format (with two options per question) instead of a text generation format. We establish an effective pipeline for generating options, ensuring their difficulty and quality. Experiments conducted on 12 LLMs reveal that while the performance of GPT-4-turbo is marginally satisfactory, both other proprietary and open-source models perform inadequately. Further analysis shows that LLMs exhibit a poor understanding of table structures, and struggle to balance between TIS performance and robustness against pseudo-relevant tables (common in retrieval-augmented systems). These findings uncover the limitations and potential challenges of LLMs in seeking information from tables. We release our data and code to facilitate further research in this field.


title: Harmonic generation with topological edge states and electron-electron interaction

abstract: It has been found previously that the presence or absence of topological edge states in the Su-Schrieffer-Heeger (SSH) model has a huge impact on harmonic generation spectra. More specifically, the yield of harmonics for harmonic orders that correspond to photon energies below the band gap is many orders of magnitude different in the trivial and topological phase. It is shown in this work that this effect is still present if electron-electron interaction is taken into account, i.e., if a Hubbard term is added to the SSH Hamiltonian. To that end, finite SSH-Hubbard chains at half filling are considered that are short enough to be accessible to exact diagonalization but already showing edge states in the topological phase. We show that the huge difference in the harmonic yield between the trivial and the topological phase can be reproduced with few-level models employing only the many-body ground state and a few excited many-body states.

categories: quant-ph cond-mat.str-el physics.atom-ph physics.optics


title: Global Parameterization-based Texture Space Optimization

abstract: Texture mapping is a common technology in the area of computer graphics, it maps the 3D surface space onto the 2D texture space. However, the loose texture space will reduce the efficiency of data storage and GPU memory addressing in the rendering process. Many of the existing methods focus on repacking given textures, but they still suffer from high computational cost and hardly produce a wholly tight texture space. In this paper, we propose a method to optimize the texture space and produce a new texture mapping which is compact based on global parameterization. The proposed method is computationally robust and efficient. Experiments show the effectiveness of the proposed method and the potency in improving the storage and rendering efficiency.


title: Promoting Fairness and Diversity in Speech Datasets for Mental Health and Neurological Disorders Research

abstract: Current research in machine learning and artificial intelligence is largely centered on modeling and performance evaluation, less so on data collection. However, recent research demonstrated that limitations and biases in data may negatively impact trustworthiness and reliability. These aspects are particularly impactful on sensitive domains such as mental health and neurological disorders, where speech data are used to develop AI applications aimed at improving the health of patients and supporting healthcare providers. In this paper, we chart the landscape of available speech datasets for this domain, to highlight possible pitfalls and opportunities for improvement and promote fairness and diversity. We present a comprehensive list of desiderata for building speech datasets for mental health and neurological disorders and distill it into a checklist focused on ethical concerns to foster more responsible research.


title: All crepant resolutions of hyperpolygon spaces via their Cox rings

abstract: We construct and enumerate all crepant resolutions of hyperpolygon spaces, a family of conical symplectic singularities arising as Nakajima quiver varieties associated to a star-shaped quiver. We provide an explicit presentation of the Cox ring of any such crepant resolution. Using techniques developed by Arzhantsev-Derenthal-Hausen-Laface we construct all crepant resolutions of the hyperpolygon spaces, including those which are not projective over the singularity. We find that the number of crepant resolutions equals the Ho\c{s}ten-Morris numbers. In proving these results, we obtain a description of all complete geometric quotients associated to the classical GIT problem constructing moduli spaces of ordered points on the projective line. These moduli spaces appear as the Lagrangian subvarieties of crepant resolutions of hyperpolygon spaces fixed under the conical action.


title: Light Curve Models of Convective Common Envelopes

abstract: Common envelopes are thought to be the main method for producing tight binaries in the universe as the orbital period shrinks by several orders of magnitude during this phase. Despite their importance for various evolutionary channels, direct detections are rare, and thus observational constraints on common envelope physics are often inferred from post-CE populations. Population constraints suggest that the CE phase must be highly inefficient at using orbital energy to drive envelope ejection for low-mass systems and highly efficient for high-mass systems. Such a dichotomy has been explained by an interplay between convection, radiation and orbital decay. If convective transport to the surface occurs faster than the orbit decays, the CE self-regulates and radiatively cools. Once the orbit shrinks such that convective transport is slow compared to orbital decay, a burst occurs as the release of orbital energy can be far in excess of that required to unbind the envelope. With the anticipation of first light for the Rubin Observatory, we calculate light curve models for convective common envelopes and provide the time evolution of apparent magnitudes for the Rubin filters. Convection imparts a distinct signature in the light curves and lengthens the timescales during which they are observable. Given Rubin limiting magnitudes, convective CEs should be detectable out to distances of ~8 Mpc at a rate of ~0.3 per day and provide an intriguing observational test of common envelope physics.


title: Microscale physics and macroscale convective heat transfer in supercritical fluids

abstract: Driven by fundamental thermodynamic efficiency considerations, an emerging trend in the energy and propulsion systems is that the working fluid operates at a pressure above the critical pressure. Energy transport is thus accompanied by dramatic and strongly nonlinear variations of thermophysical properties, which cause abnormal heat transfer behavior and non-ideal gas effects. This situation raises a crucial challenge for the heat exchanger and turbomachinery design, overall energy and exergy efficiency. We aim to provide a multi-scale overview of the flow and thermal behavior of fluid above the critical point: microscopic physics and macroscopic transport. Microscopic physics, i.e. near-critical thermophysical properties, phase transition and fluid dynamics, are introduced. A particular focus will be on the supercritical pseudo boiling process, which is a generalization of classical liquid-vapor phase transitions to non-equilibrium supercritical states. These new perspectives lead to a revised view of the state space. Further, recent results demonstrated the possibility of stable supercritical fluid interfaces without surface tension. On the macroscale, recent progress on the modeling of turbulent flow and convective heat transfer of supercritical fluids are summarized. Direct numerical simulation is able to offer insights into the physics of thermal fluids. We start with a description of fundamental fluid mechanics problems related to supercritical fluids. In addition, the heat transfer deterioration in supercritical fluids is found to be closely connected to the flow relaminarization by the non-uniform body-force. Finally, various modeling approaches such as recently developed advanced Reynolds-averaged turbulence modeling as well as machine-learning methods are summarized.


title: Transverse Field $\gamma$-Matrix Spin Chains

abstract: We introduce a simple lattice spin model that is written in terms of the well-known four-dimensional $\gamma$-matrix representation of the Clifford algebra. The local spins with a four-dimensional Hilbert space transform in a spinorial $(1/2,0) \oplus (0,1/2)$ representation of $SO(4)$, a symmetry of our model. When studied on a chain, and as a function of a transverse field tuning parameter, our model undergoes a quantum phase transition from a valence bond solid phase to a critical phase that is described by an $SU(2)_1$ WZW field theory.


title: On the Tensor Property of Bernstein-Sato Polynomial

abstract: We prove the multiplicative Thom-Sebastiani rule for Bernstein-Sato polynomials, answering the longstanding questions of Budur and Popa. We generalize the result to the tensor of two effective divisors on the product of two arbitrary non-singular complex varieties. This also leads to a multiplicative property related to Igusa's strong monodromy conjecture. Moreover, we propose an extension of our result to Bernstein-Sato polynomials for ideals and prove it for monomial ideals.


title: Fully spin-polarized two dimensional polar semi-metallic phase in Eu substituted GdI$_2$ monolayer

abstract: The coexistence of seemingly mutually exclusive properties such as ferromagnetism, ferroelectricity and metallicity in atomically thin materials is the requirement of the hour in electronics as the Moore's law faces an impending end. Only a few 2D multiferroic materials have been predicted/realized so far. The polar metals with simultaneous presence of polarity and conductivity are also equally rare. Here, we predict, based on first-principles calculations that an Eu-substituted rare-earth halide GdI$_2$ monolayer showcases ferromagnetism, ferroelasticity while being polar and a fully spin-polarized semi-metal at the same time. The ferroelasticity and polarity are shown to be coupled making it possible to switch the polar direction using external mechanical stress. Further, it is observed that, an application of biaxial tensile strain of $5\%$ causes the spin easy-axis to shift from out-of-plane to in-plane direction. Thus spin easy axis gets coupled with the direction of polarization in the strained monolayer making the switching of magnetization also possible using external strain. Simultaneous coexistence and coupling of the ferroic orders in a metallic 2D material makes the Eu substituted GdI$_2$ monolayer an incredibly rare material for nano-electronics and spintronics applications.


title: Helsinki Speech Challenge 2024

abstract: The Helsinki Speech Challenge 2024 (HSC2024) invites researchers to enhance and deconvolve speech audio recordings. We recorded a dataset that challenges participants to apply speech enhancement and inverse problems techniques to recorded speech data. This dataset includes paired samples of AI-generated clean speech and corresponding recordings, which feature varying levels of corruption, including frequency attenuation and reverberation. The challenge focuses on developing innovative deconvolution methods to accurately recover the original audio. The effectiveness of these methods will be quantitatively assessed using a speech recognition model, providing a relevant metric for evaluating enhancements in real-world scenarios.


title: Light quark mass dependence of nucleon mass to two-loop order

abstract: We investigate the nucleon self energy through the sixth chiral order in the covariant $SU(2)$ chiral perturbation theory ($\chi$PT) in the single baryon sector. The validity of the extended on-mass-shell (EOMS) renormalization scheme is explicitly verified to two-loop order, manifested by the miraculous cancellation of all nonlocal divergences and power-counting-breaking (PCB) terms that are nonanalytic in pion mass. Using the $\sigma_{\pi N}$ term determined from the latest lattice simulation to constrain some unknown higher-order low energy constants (LECs), we predict the nucleon mass in the chiral limit to be $856.6\pm 1.7$ MeV. It is found that the EOMS scheme exhibits quite satisfactory convergence behavior through ${\cal O}(q^6)$ around physical point. We also predict the pion mass dependence of the nucleon mass to the accuracy of ${\cal O}(q^6)$, which is in satisfactory agreement with the recent lattice results over a wide range of pion mass.


title: Particle creation using the classical stochastic method

abstract: We compute the particle creation of a harmonic oscillator using the classical stochastic method. This method reproduces all the vacuum expectation values in quantum theory. We prepare the vacuum state at the initial time and evolve it over time using Langevin equations of motion. By averaging over the ensemble, we compute the energy of the state at the final time and determine the amount of particles created. We verify that the particle creation agrees with predictions from quantum theory.


title: A characterization of $(\mu,\nu)$-dichotomies via admissibility

abstract: We present a characterization of $(\mu,\nu)$-dichotomies in terms of the admissibility of certain pairs of weighted spaces for nonautonomous discrete time dynamics acting on Banach spaces. Our general framework enables us to treat various settings in which no similar result has been previously obtained as well as to recover and refine several known results. We emphasize that our results hold without any bounded growth assumption and the statements make no use of Lyapunov norms. Moreover, as a consequence of our characterization, we study the robustness of $(\mu, \nu)$-dichotomies, i.e. we show that this notion persists under small but very general linear perturbations.


title: Are We Done with MMLU?

abstract: Maybe not. We identify and analyse errors in the popular Massive Multitask Language Understanding (MMLU) benchmark. Even though MMLU is widely adopted, our analysis demonstrates numerous ground truth errors that obscure the true capabilities of LLMs. For example, we find that 57% of the analysed questions in the Virology subset contain errors. To address this issue, we introduce a comprehensive framework for identifying dataset errors using a novel error taxonomy. Then, we create MMLU-Redux, which is a subset of 3,000 manually re-annotated questions across 30 MMLU subjects. Using MMLU-Redux, we demonstrate significant discrepancies with the model performance metrics that were originally reported. Our results strongly advocate for revising MMLU's error-ridden questions to enhance its future utility and reliability as a benchmark. Therefore, we open up MMLU-Redux for additional annotation https://huggingface.co/datasets/edinburgh-dawg/mmlu-redux.


title: Realization of higher coordinated Er in high-pressure cotunnite phase of Er$_2$Ti$_2$O$_7$

abstract: In this article we report the structural stability of Er$_2$Ti$_2$O$_7$ cubic pyrochlore with pressure using x-ray diffraction, Raman spectroscopy, photoluminescence, x-ray absorption and ab-initio calculations. Our studies establish a phase transformation in Er$_2$Ti$_2$O$_7$ from ambient cubic phase to high-pressure orthorhombic (cotunnite) phase, initiated at ~40 GPa. The transformation is sluggish and it does not complete even at the highest measured pressure in our study i.e. ~60.0 GPa. This is further supported by the first principle calculations which reveal that cotunnite phase is energetically more stable than the ambient phase above ~53 GPa. After complete release of pressure, the high-pressure cotunnite phase is retained while the fraction of untransformed pyrochlore phase becomes amorphous. Furthermore, the EXAFS data of the recovered sample at L3 edge of Er3+ ion show an increase in the coordination number of cations from eight at ambient to nine in the high-pressure phase. The mechanism of structural transformation is explained in terms of accumulation of cation antisite defects and subsequent disordering of cations and anions in their respective sublattice. The amorphization of the pyrochlore phase upon release is interpreted as the inability of accommodating the point defects at ambient conditions, which are formed in the pyrochlore lattice under compression.


title: LenslessFace: An End-to-End Optimized Lensless System for Privacy-Preserving Face Verification

abstract: Lensless cameras, innovatively replacing traditional lenses for ultra-thin, flat optics, encode light directly onto sensors, producing images that are not immediately recognizable. This compact, lightweight, and cost-effective imaging solution offers inherent privacy advantages, making it attractive for privacy-sensitive applications like face verification. Typical lensless face verification adopts a two-stage process of reconstruction followed by verification, incurring privacy risks from reconstructed faces and high computational costs. This paper presents an end-to-end optimization approach for privacy-preserving face verification directly on encoded lensless captures, ensuring that the entire software pipeline remains encoded with no visible faces as intermediate results. To achieve this, we propose several techniques to address unique challenges from the lensless setup which precludes traditional face detection and alignment. Specifically, we propose a face center alignment scheme, an augmentation curriculum to build robustness against variations, and a knowledge distillation method to smooth optimization and enhance performance. Evaluations under both simulation and real environment demonstrate our method outperforms two-stage lensless verification while enhancing privacy and efficiency. Project website: \url{lenslessface.github.io}.


title: An overview of systems-theoretic guarantees in data-driven model predictive control

abstract: The development of control methods based on data has seen a surge of interest in recent years. When applying data-driven controllers in real-world applications, providing theoretical guarantees for the closed-loop system is of crucial importance to ensure reliable operation. In this review, we provide an overview of data-driven model predictive control (MPC) methods for controlling unknown systems with guarantees on systems-theoretic properties such as stability, robustness, and constraint satisfaction. The considered approaches rely on the Fundamental Lemma from behavioral theory in order to predict input-output trajectories directly from data. We cover various setups, ranging from linear systems and noise-free data to more realistic formulations with noise and nonlinearities, and we provide an overview of different techniques to ensure guarantees for the closed-loop system. Moreover, we discuss avenues for future research that may further improve the theoretical understanding and practical applicability of data-driven MPC.


title: KIC 4150611: A quadruply eclipsing heptuple star system with a g-mode period-spacing pattern Eclipse modelling of the triple and spectroscopic analysis

abstract: KIC 4150611 is a high-order multiple composed of a triple system composed of the F1V primary (Aa), which is eclipsed on a 94.2d period by a tight 1.52d binary composed of two dim K/M dwarfs (Ab1, Ab2), which also eclipse each other; an 8.65d eccentric, eclipsing binary composed of two G stars (Ba, Bb); and another faint eclipsing binary composed of two stars of unknown spectral type (Ca and Cb). In addition to its many eclipses, the system is an SB3 spectroscopic multiple (Aa, Ba, and Bb) and the primary (Aa) is a hybrid pulsator. We employ a novel photometric analysis of the complicated eclipse geometry of Aa to obtain orbital and stellar properties of the triple. We acquired 51 TRES spectra at the Fred L. Whipple Observatory, calculating radial velocities and orbital elements of Aa (SB1) and the B binary (SB2). These spectra and radial velocities are used to perform spectral disentangling for Aa, Ba, and Bb. Spectral modelling is applied to the disentangled spectrum of Aa to obtain atmospheric properties. We obtain precise stellar properties of the triple, including the mass ratios (MAa/(MAb1 + MAb2) = 3.61 +/- 0.01, MAb1/MAb2 = 1.113 +/- 0.001), separation ratio (aAab/aAb1Ab2 = 21.81 +/- 0.01), orbital periods (PAab = 94.29486 +/- 0.00008d, PAb1Ab2 = 1.522248 +/- 0.000001d), and stellar radii (RAa = 1.64 +/- 0.06 Rsun, RAb1 = 0.42 +/- 0.01 Rsun, RAb2 = 0.38 +/- 0.01 Rsun). Radial velocity fitting and spectral disentangling arrive at orbital elements for Aa, Ba, and Bb in excellent agreement with each other and with previous results in the literature. Spectral modelling on the disentangled spectrum of Aa provides constraints on the effective temperature (Teff = 7280 +/- 70 K), surface gravity (log(g) = 4.14 +/- 0.18 dex), micro-turbulent velocity (vmicro = 3.61 +/- 0.19 km s-1), rotation velocity (v sin i = 127 +/- 4 km s-1), and metallicity ([M/H] = -0.23 +/- 0.06).


title: Realizability of Subgroups by Subshifts of Finite Type

abstract: We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a finitely generated normal subgroup is realizable if and only if the quotient by the subgroup admits a strongly aperiodic SFT. We also show that if a subgroup is realizable, its subgroup membership problem must be decidable. The article also contains the introduction of periodically rigid groups, which are groups for which every weakly aperiodic subshift of finite type is strongly aperiodic. We conjecture that the only finitely generated periodically rigid groups are virtually $\mathbb{Z}$ groups and torsion-free virtually $\mathbb{Z}^2$ groups. Finally, we show virtually nilpotent and polycyclic groups satisfy the conjecture.


title: GLOBUS: Global building renovation potential by 2070

abstract: Surpassing the two large emission sectors of transportation and industry, the building sector accounted for 34% and 37% of global energy consumption and carbon emissions in 2021, respectively. The building sector, the final piece to be addressed in the transition to net-zero carbon emissions, requires a comprehensive, multisectoral strategy for reducing emissions. Until now, the absence of data on global building floorspace has impeded the measurement of building carbon intensity (carbon emissions per floorspace) and the identification of ways to achieve carbon neutrality for buildings. For this study, we develop a global building stock model (GLOBUS) to fill that data gap. Our study's primary contribution lies in providing a dataset of global building stock turnover using scenarios that incorporate various levels of building renovation. By unifying the evaluation indicators, the dataset empowers building science researchers to perform comparative analyses based on floorspace. Specifically, the building stock dataset establishes a reference for measuring carbon emission intensity and decarbonization intensity of buildings within different countries. Further, we emphasize the sufficiency of existing buildings by incorporating building renovation into the model. Renovation can minimize the need to expand the building stock, thereby bolstering decarbonization of the building sector.


title: On $g$-finiteness in the category of projective presentations

abstract: We provide new equivalent conditions for an algebra $\Lambda$ to be $g$-finite, analogous to those established by L. Demonet, O. Iyama, and G. Jasso, but within the category of projective presentations $\mathcal{K}^{[-1,0]}(\text{proj} \Lambda)$. We show that an algebra has finitely many isomorphism classes of basic $2$-term silting objects if and only if all cotorsion pairs in $\mathcal{K}^{[-1,0]}(\text{proj} \Lambda)$ are complete. Furthermore, we establish that this criterion is also equivalent to all thick subcategories in $\mathcal{K}^{[-1,0]}(\text{proj} \Lambda)$ having enough injective and projective objects.