title: Electrically Injected mid-infrared GeSn laser on Si operating at 140 K

abstract: Owing to its true direct bandgap and tunable bandgap energies,GeSn alloys are increasingly attractive as gain media for mid-IR lasers that can be monolithically integrated on Si. Demonstrations of optically pumped GeSn laser at room under pulsed condition and at cryogenic temperature under continuous-wave excitation show great promise of GeSn lasers to be efficient electrically injected light sources on Si. Here we report electrically injected GeSn lasers using Fabry-Perot cavity with 20, 40, and 80 micron ridge widths. A maximum operating temperature of 140 K with lasing threshold of 0.756 kA/cm2 at 77 K and emitting wavelength of 2722 nm at 140 K was obtained. The lower threshold current density compared to previous works was achieved by reducing optical loss and improving the optical confinement. The peak power was measured as 2.2 mW/facet at 77 K.


title: A new dimension in the variability of AGB stars: convection patterns size changes with pulsation

abstract: Stellar convection plays an important role in atmospheric dynamics, wind formation and the mass-loss processes in Asymptotic Giant Branch (AGB) stars. However, a direct characterization of convective surface structures in terms of size, contrast, and life-span is quite challenging. Spatially resolving these features requires the highest angular resolution. In this work, we aim at characterizing the size of convective structures on the surface of the O-rich AGB star R Car to test different theoretical predictions, based on mixing-length theory from solar models. We used infrared low-spectral resolution (R~35) interferometric data in the H-band (~1.76 $\mu$m) with the instrument PIONIER at the Very Large Telescope Interferometer (VLTI) to image the star's surface at two epochs separated by ~6 years. Using a power spectrum analysis, we estimate the horizontal size of the structures on the surface of R Car. The sizes of the stellar disk, at different phases of a pulsation cycle, were obtained using parametric model-fitting in the Fourier domain. Our analysis supports that the sizes of the structures in R Car are correlated with variations of the pressure scale height in the atmosphere of the target, as predicted by theoretical models based on solar convective processes. We observe that these structures grow in size when the star expands within a pulsation cycle. While the information is still scarce, this observational finding highlights the role of convection in the dynamics of those objects. New interferometric imaging campaigns with the renewed capabilities of the VLTI are envisioned to expand our analysis to a larger sample of objects.


title: Recent results from MAGIC

abstract: MAGIC is a system of two 17-m diameter Imaging Atmospheric Cherenkov Telescopes, located at an altitude of 2200 m in Roque de los Muchachos on the Canary island of La Palma, exploring the gamma-ray sky above a few tens of GeV and up to tens of TeV. This system provides a low energy threshold and a fast automated response to transient phenomena. In this contribution, some selected results of MAGIC, which has been collecting data for more than 20 years, are reviewed. Special attention is given to multiwavelength and multimessenger astronomy, such as GRB 201216C, the farthest ground-based detection of a very-high-energy gamma-ray bursts, as well as the RS Ophiuchi nova. The scientific program also includes measuring the cosmic-ray electron positron spectrum, estimating the size of stars using intensity interferometry, studying gravitational lensing and searching for dark matter in spheroidal galaxies. Finally, a glimpse into the future is given by presenting the performance of the joint observations with the first Large-Sized Telescope from the Cherenkov Telescope Array and MAGIC.


title: LFED: A Literary Fiction Evaluation Dataset for Large Language Models

abstract: The rapid evolution of large language models (LLMs) has ushered in the need for comprehensive assessments of their performance across various dimensions. In this paper, we propose LFED, a Literary Fiction Evaluation Dataset, which aims to evaluate the capability of LLMs on the long fiction comprehension and reasoning. We collect 95 literary fictions that are either originally written in Chinese or translated into Chinese, covering a wide range of topics across several centuries. We define a question taxonomy with 8 question categories to guide the creation of 1,304 questions. Additionally, we conduct an in-depth analysis to ascertain how specific attributes of literary fictions (e.g., novel types, character numbers, the year of publication) impact LLM performance in evaluations. Through a series of experiments with various state-of-the-art LLMs, we demonstrate that these models face considerable challenges in effectively addressing questions related to literary fictions, with ChatGPT reaching only 57.08% under the zero-shot setting. The dataset will be publicly available at https://github.com/tjunlp-lab/LFED.git


title: Near Uniform Triangle Sampling Over Adjacency List Graph Streams

abstract: Triangle counting and sampling are two fundamental problems for streaming algorithms. Arguably, designing sampling algorithms is more challenging than their counting variants. It may be noted that triangle counting has received far greater attention in the literature than the sampling variant. In this work, we consider the problem of approximately sampling triangles in different models of streaming with the focus being on the adjacency list model. In this problem, the edges of a graph $G$ will arrive over a data stream. The goal is to design efficient streaming algorithms that can sample and output a triangle from a distribution, over the triangles in $G$, that is close to the uniform distribution over the triangles in $G$. The distance between distributions is measured in terms of $\ell_1$-distance. The main technical contribution of this paper is to design algorithms for this triangle sampling problem in the adjacency list model with the space complexities matching their counting variants. For the sake of completeness, we also show results on the vertex and edge arrival models.


title: Filling in the Blanks: A Method to Infer the Substructure Membership and Dynamics of 5D Stars

abstract: We present and test a method to infer a probability density function (PDF) for the missing vlos of a star with 5D information within $2.5$ kpc. We use stars from the Gaia DR3 RVS catalogue to describe the local orbital structure in action space. This technique also allows us to infer the probability that a 5D star is associated with the Milky Way's stellar Disc or the stellar Halo, which can be further decomposed into known stellar substructures. The method is tested on a 6D Gaia DR3 RVS sample and a 6D Gaia sample crossmatched to groundbased spectroscopic surveys, stripped of their true vlos. The stars predicted vlos, membership probabilities, and inferred structure properties are then compared to the true 6D equivalents, allowing the method's accuracy and limitations to be studied in detail. Our predicted vlos PDFs are statistically consistent with the true vlos, with accurate uncertainties. We find that the vlos of Disc stars can be well constrained, with a median uncertainty of 26 kms. Halo stars are typically less well constrained with a median uncertainty of 72 kms, but those found likely to belong to Halo substructures can be better constrained. The dynamical properties of the total sample and subgroups, such as distributions of integrals of motion and velocities, are also accurately recovered. The group membership probabilities are statistically consistent with our initial labelling, allowing high quality sets to be selected from 5D samples by choosing a trade off between higher expected purity and decreasing expected completeness.


title: Most likely configurations for fermion localization in a Braneworld-$f(Q,B_Q)$

abstract: This study delves deeply into braneworld scenarios within modified gravity models, investigating their impact on particle localization and the structure of branes. Through a comprehensive blend of numerical analyses and theoretical inquiries, we unravel a nuanced correlation between deviations from standard General Relativity (GR) and the emergence of split branes. By employing probabilistic measurements, we pinpoint stable configurations that align with brane division intervals, thus challenging prevailing assumptions regarding the gravitational framework of our universe. Furthermore, our investigation extends to the localization of fermions within the brane, exposing intricate dynamics shaped by scalar field characteristics and modifications to gravitational models. By harnessing quantum information measurements, notably Shannon entropy, we discern heightened probabilities of fermion localization within the brane as gravitational models diverge from standard paradigms. This underscores the limitations of General Relativity in comprehensively describing the complexities inherent in our universe. Lastly, our exploration of massive fermions unveils their potential to breach the confines of the brane, hinting at promising avenues for future experimental endeavors aimed at probing the nature of extra dimensions and gravitational interactions. This suggests exciting prospects for advancing our understanding of fundamental physics beyond conventional boundaries.


title: A Mess of Memory System Benchmarking, Simulation and Application Profiling

abstract: The Memory stress (Mess) framework provides a unified view of the memory system benchmarking, simulation and application profiling. The Mess benchmark provides a holistic and detailed memory system characterization. It is based on hundreds of measurements that are represented as a family of bandwidth--latency curves. The benchmark increases the coverage of all the previous tools and leads to new findings in the behavior of the actual and simulated memory systems. We deploy the Mess benchmark to characterize Intel, AMD, IBM, Fujitsu, Amazon and NVIDIA servers with DDR4, DDR5, HBM2 and HBM2E memory. The Mess memory simulator uses bandwidth--latency concept for the memory performance simulation. We integrate Mess with widely-used CPUs simulators enabling modeling of all high-end memory technologies. The Mess simulator is fast, easy to integrate and it closely matches the actual system performance. By design, it enables a quick adoption of new memory technologies in hardware simulators. Finally, the Mess application profiling positions the application in the bandwidth--latency space of the target memory system. This information can be correlated with other application runtime activities and the source code, leading to a better overall understanding of the application's behavior. The current Mess benchmark release covers all major CPU and GPU ISAs, x86, ARM, Power, RISC-V, and NVIDIA's PTX. We also release as open source the ZSim, gem5 and OpenPiton Metro-MPI integrated with the Mess memory simulator for DDR4, DDR5, Optane, HBM2, HBM2E and CXL memory expanders. The Mess application profiling is already integrated into a suite of production HPC performance analysis tools.


title: Fixed points of maps and nontrivial weak solutions to a class of nonlinear strongly coupled elliptic systems

abstract: Local indices at isolated fixed points of a differentiable compact nonlinear map $T$ on Banach spaces will be discussed. These results are applied to establish the existence of nontrivial solutions. As an example, the existence of nontrivial weak solutions to a class of nonlinear strongly coupled elliptic systems of two equations will also be studied. A bifurcation phenomenon due to cross-diffusion is reported.


title: Parallel Hopf-Galois structures on separable field extensions

abstract: Let $L/K$ be a finite separable extension of fields of degree $n$, and let $E/K$ be its Galois closure. Greither and Pareigis showed how to find all Hopf-Galois structures on $L/K$. We will call a subextension $L'/K$ of $E/K$ \textit{parallel} to $L/K$ if $[L':K]=n$. In this paper, we investigate the relationship between the Hopf-Galois structures on an extension $L/K$ and those on its parallel extensions. We give an example of a transitive subgroup corresponding to an extension admitting a Hopf-Galois structure but that has a parallel extension admitting no Hopf-Galois structures. We show that once one has such a situation, it can be extended into an infinite family of transitive subgroups admitting this phenomenon. We also investigate this fully in the case of extensions of degree $pq$ with $p,q$ distinct odd primes, and show that there is no example of such an extension admitting the phenomenon.


title: Asymmetric Transmission through Polarization-Controlled Riemann Surface Evolution Path

abstract: Exceptional points (EPs) are degeneracies at which two or more eigenvalues and eigenstates of a non-Hermtian system coalesce. Dynamically encircling EPs leads to chiral mode switching, where the final state of the system depends on the encircling handedness. In conventional schemes, the encircling direction is the same for different polarization states of the same mode, resulting in the same chiral transmission. Here, by mapping evolution path onto a double couple L-shaped silicon waveguide, we demonstrate opposite evolution directions for modes with different polarizations, thus achieving opposite asymmetric transmission results. Our work shows that the polarization state of the input mode can also serve as a variable parameter influencing the evolution path on the Riemann surfaces.


title: 3D-2D crossover and phase shift of beats of quantum oscillations of interlayer magnetoresistance in quasi-2D metals

abstract: Magnetic quantum oscillations (MQO) are traditionally applied to investigate the electronic structure of metals. In layered quasi-two-dimensional (Q2D) materials the MQO have several qualitative features giving additional useful information, provided their theoretical description is developed. Within the framework of the Kubo formula and the self-consistent Born approximation, we reconsider the phase of beats in the amplitude of Shubnikov oscillations of interlayer conductivity in Q2D metals. We show that the phase shift of beats of the Shubnikov (conductivity) oscillations relative to the de Haas - van Alphen (magnetization) oscillations is larger than expected previously and, under certain conditions, can reach the value of $\pi/2$, as observed experimentally. We explain the phase inversion of MQO during the 3D - 2D crossover and predict the decrease of relative MQO amplitude of interlayer magnetoresistance in a strong magnetic field, larger than the beat frequency.


title: Filling Missing Values Matters for Range Image-Based Point Cloud Segmentation

abstract: Point cloud segmentation (PCS) plays an essential role in robot perception and navigation tasks. To efficiently understand large-scale outdoor point clouds, their range image representation is commonly adopted. This image-like representation is compact and structured, making range image-based PCS models practical. However, undesirable missing values in the range images damage the shapes and patterns of objects. This problem creates difficulty for the models in learning coherent and complete geometric information from the objects. Consequently, the PCS models only achieve inferior performance. Delving deeply into this issue, we find that the use of unreasonable projection approaches and deskewing scans mainly leads to unwanted missing values in the range images. Besides, almost all previous works fail to consider filling in the unexpected missing values in the PCS task. To alleviate this problem, we first propose a new projection method, namely scan unfolding++ (SU++), to avoid massive missing values in the generated range images. Then, we introduce a simple yet effective approach, namely range-dependent $K$-nearest neighbor interpolation ($K$NNI), to further fill in missing values. Finally, we introduce the Filling Missing Values Network (FMVNet) and Fast FMVNet. Extensive experimental results on SemanticKITTI, SemanticPOSS, and nuScenes datasets demonstrate that by employing the proposed SU++ and $K$NNI, existing range image-based PCS models consistently achieve better performance than the baseline models. Besides, both FMVNet and Fast FMVNet achieve state-of-the-art performance in terms of the speed-accuracy trade-off. The proposed methods can be applied to other range image-based tasks and practical applications.


title: Topological, multi-mode amplification induced by non-reciprocal, long-range dissipative couplings

abstract: Non-reciprocal couplings or drivings are known to induce steady-state, directional, amplification in driven-dissipative bosonic lattices. This amplification phenomena has been recently linked to the existence of a non-zero topological invariant defined with the system's dynamical matrix, and thus, it depends critically on the couplings' structure. In this work, we demonstrate the emergence of unconventional, non-reciprocal, long-range dissipative couplings induced by the interaction of the bosonic chain with a chiral, multi-mode channel, and then study their impact on topological amplification phenomena. We show that these couplings can lead to topological invariant values greater than one which induce topological, multi-mode amplification and metastability behaviour not predicted in other setups. Besides, we also show how these couplings can also stabilize topological amplifying phases in the presence of local parametric drivings. Finally, we conclude by showing how such phenomena can be naturally obtained in two-dimensional topological insulators hosting multiple edge modes.


title: Peering into the Wolf-Rayet phenomenon through [WO] and [WC] stars

abstract: Spectroscopic observations have shown for decades that the Wolf-Rayet (WR) phenomenon is ubiquitous among stars with different initial masses. Although much effort to understand the winds from massive WR stars has been presented in the literature, not much has been done for such type of stars in the low-mass range. Here we present an attempt to understand the winds from [WR]-type stars using results from spectral analyses with the full non-LTE stellar atmosphere code PoWR. These results are put into context with the properties of massive WR stars. We found that WC+[WC] stars and WO+[WO] stars create independent sequences in the mass-loss rate ($\dot{M}$) and modified wind momentum ($D_\mathrm{mom}$) versus luminosity ($L$) diagrams. Our analysis indicates that even when the winds of WR and [WR] stars become optically thin, there is no breakdown of the general mass-loss trend, contrary to the observed ``weak wind phenomenon'' in OB stars. We report that all WR-type stars studied here broadly define single sequences in the wind efficiency ($\eta$) versus transformed mass-loss rate ($\dot{M}_\mathrm{t}$), the $\dot{M}_\mathrm{t}$-$T_\mathrm{eff}$ diagram, and the $(L, T_\mathrm{eff}, \dot{M})$ space, which suggest these to be fundamental properties of the WR phenomenon (regardless of the mass range), at least for WR-type stars of the O and C sequences. Our analytical estimations could drive computations of future stellar evolution models for WR-type stars.


title: Infinite Divisibility of the Product of Two Correlated Normal Random Variables and Exact Distribution of the Sample Mean

abstract: We prove that the distribution of the product of two correlated normal random variables with non-zero means and arbitrary variances is infinitely divisible. We also obtain exact formulas for the probability density function of the sum of independent copies of such random variables.


title: Conditions on the continuity of the Hausdorff measure

abstract: Let $b_k$ be strictly decreasing sequence of real numbers such that $b_0 = 1$ and $f_k$ be decreasing, linear functions such that $f_k(b_k) = 1$ and $f_k(b_{k-1}) = 0$, $k = 1, 2, \dots$. We define iterated function system (IFS) $S_n$ by limiting the collection of functions $f_k$ to first n, meaning $S_n = \{f_k \}_{k=1}^n$. Let $J_n$ denote the limit set of $S_n$. We show that if $S_n$ fulfills the following two conditions: (1)~$\lim\limits_{n \to \infty} \left(1-h_n\right) \ln{n} = 0 $ where $h_n$ is the Hausdorff dimension of $J_n$, and (2)~$\sup \limits_{k\in \mathbb{N}} \left \{\frac{b_k-b_{k+1}}{b_{k+1}} \right \} < \infty $, then $\lim\limits_{n\to \infty} H_{h_n}(J_n) = 1 = H_1(J)$, where $h_n$ is the Hausdorff dimension of $J_n$ and $H_{h_n}$ is the corresponding Hausdorff measure. We also show examples of families of IFSes fulfilling those properties.


title: Model-independent Reconstruction of UV Luminosity Function and Reionization Epoch

abstract: We conduct a first comprehensive study of the Luminosity Function (LF) using a non-parametric approach. We use Gaussian Process to fit available luminosity data between redshifts $z \sim 2-8$. Our free-form LF in the non-parametric approach rules out the conventional Schechter function model to describe the abundance-magnitude relation at redshifts $z=3$ and $4$. Hints of deviation from the Schechter function are also noticed at redshifts 2, 7 and 8 at lower statistical significance. Significant deviation starts for brighter ionizing sources at $M_{\rm UV} \lesssim -21$. The UV luminosity density data at different redshifts are then derived by integrating the LFs obtained from both methods with a truncation magnitude of $-17$. In our analysis, we also include the first 90 arcmin$^2$ JWST/NIRCam data at $z \sim 9-12$. Since at larger magnitudes, we do not find major deviations from the Schechter function, the integrated luminosity density differs marginally between the two methods. Finally, we obtain the history of reionization from a joint analysis of UV luminosity density data along with the ionization fraction data and Planck observation of Cosmic Microwave Background. The history of reionization is not affected by the deviation of LFs from Schechter function at lower magnitudes. We derive reionization optical depth to be $\tau_{\rm re}=0.0494^{+0.0007}_{-0.0006}$ and the duration between 10$\%$ and 90$\% $completion of ionization process is found to be $\Delta z\sim 1.627^{+0.059}_{-0.071}$.


title: Phase behavior of metastable water from large-scale simulations of a quantitative accurate model: The liquid-liquid critical point

abstract: Water's unique anomalies are vital in various applications and biological processes, yet the molecular mechanisms behind these anomalies remain debated, particularly in the metastable liquid phase under supercooling and stretching conditions. Experimental challenges in these conditions have led to simulations suggesting a liquid-liquid phase transition between low-density and high-density water phases, culminating in a liquid-liquid critical point (LLCP). However, these simulations are limited by computational expense, small system sizes, and reliability of water models. Using the FS model, we improve accuracy in predicting water's density and response functions across a broad range of temperatures and pressures. The FS model avoid by design first-order phase transitions towards crystalline phases, allowing thorough exploration of the metastable phase diagram. We employ advanced numerical techniques to bypass dynamical slowing down and perform finite-size scaling on systems significantly larger than those used in previous analyses. Our study extrapolates thermodynamic behavior in the infinite-system limit, accurately demonstrating the existence of the LLCP in the 3D Ising universality class at TC = 186 +/- 4 K and PC = 174 +/- 14 MPa, following a liquid-liquid phase separation below 200 MPa. These predictions align with recent experimental data and more sophisticated models, highlighting that hydrogen bond cooperativity governs the LLCP and the origin of water anomalies. Moreover, we observe that the hydrogen bond network exhibits substantial cooperative fluctuations at scales larger than 10 nm, even at temperatures relevant to biopreservation. These findings have significant implications for fields such as nanotechnology and biophysics, offering new insights into water's behavior under varied conditions.


title: Scattering problem for Vlasov-type equations on the $d$-dimensional torus with Gevrey data

abstract: In this article, we consider Vlasov-type equations describing the evolution of single-species type plasmas, such as those composed of electrons (Vlasov-Poisson) or ions (screened Vlasov-Poisson/Vlasov-Poisson with massless electrons). We solve the final data problem on the torus $\mathbb{T}^d$, $d \geq 1$, by considering asymptotic states of regularity Gevrey-$\frac{1}{\gamma}$ with $\gamma>\frac13$, small perturbations of homogeneous equilibria satisfying the Penrose stability condition. This extends to the Gevrey perturbative case, and to higher dimension, the scattering result in analytic regularity obtained by E. Caglioti and C. Maffei in [14], and answers an open question raised by J. Bedrossian in arXiv:2211.13707.


title: A Guide to Tracking Phylogenies in Parallel and Distributed Agent-based Evolution Models

abstract: Computer simulations are an important tool for studying the mechanics of biological evolution. In particular, in silico work with agent-based models provides an opportunity to collect high-quality records of ancestry relationships among simulated agents. Such phylogenies can provide insight into evolutionary dynamics within these simulations. Existing work generally tracks lineages directly, yielding an exact phylogenetic record of evolutionary history. However, direct tracking can be inefficient for large-scale, many-processor evolutionary simulations. An alternate approach to extracting phylogenetic information from simulation that scales more favorably is post hoc estimation, akin to how bioinformaticians build phylogenies by assessing genetic similarities between organisms. Recently introduced ``hereditary stratigraphy'' algorithms provide means for efficient inference of phylogenetic history from non-coding annotations on simulated organisms' genomes. A number of options exist in configuring hereditary stratigraphy methodology, but no work has yet tested how they impact reconstruction quality. To address this question, we surveyed reconstruction accuracy under alternate configurations across a matrix of evolutionary conditions varying in selection pressure, spatial structure, and ecological dynamics. We synthesize results from these experiments to suggest a prescriptive system of best practices for work with hereditary stratigraphy, ultimately guiding researchers in choosing appropriate instrumentation for large-scale simulation studies.


title: Analysis of singularly perturbed stochastic chemical reaction networks motivated by applications to epigenetic cell memory

abstract: Epigenetic cell memory, the inheritance of gene expression patterns across subsequent cell divisions, is a critical property of multi-cellular organisms. In recent work [10], a subset of the authors observed in a simulation study how the stochastic dynamics and time-scale differences between establishment and erasure processes in chromatin modifications (such as histone modifications and DNA methylation) can have a critical effect on epigenetic cell memory. In this paper, we provide a mathematical framework to rigorously validate and extend beyond these computational findings. Viewing our stochastic model of a chromatin modification circuit as a singularly perturbed, finite state, continuous time Markov chain, we extend beyond existing theory in order to characterize the leading coefficients in the series expansions of stationary distributions and mean first passage times. In particular, we characterize the limiting stationary distribution in terms of a reduced Markov chain, provide an algorithm to determine the orders of the poles of mean first passage times, and determine how changing erasure rates affects system behavior. The theoretical tools developed in this paper not only allow us to set a rigorous mathematical basis for the computational findings of our prior work, highlighting the effect of chromatin modification dynamics on epigenetic cell memory, but they can also be applied to other singularly perturbed Markov chains beyond the applications in this paper, especially those associated with chemical reaction networks.


title: DiverGen: Improving Instance Segmentation by Learning Wider Data Distribution with More Diverse Generative Data

abstract: Instance segmentation is data-hungry, and as model capacity increases, data scale becomes crucial for improving the accuracy. Most instance segmentation datasets today require costly manual annotation, limiting their data scale. Models trained on such data are prone to overfitting on the training set, especially for those rare categories. While recent works have delved into exploiting generative models to create synthetic datasets for data augmentation, these approaches do not efficiently harness the full potential of generative models. To address these issues, we introduce a more efficient strategy to construct generative datasets for data augmentation, termed DiverGen. Firstly, we provide an explanation of the role of generative data from the perspective of distribution discrepancy. We investigate the impact of different data on the distribution learned by the model. We argue that generative data can expand the data distribution that the model can learn, thus mitigating overfitting. Additionally, we find that the diversity of generative data is crucial for improving model performance and enhance it through various strategies, including category diversity, prompt diversity, and generative model diversity. With these strategies, we can scale the data to millions while maintaining the trend of model performance improvement. On the LVIS dataset, DiverGen significantly outperforms the strong model X-Paste, achieving +1.1 box AP and +1.1 mask AP across all categories, and +1.9 box AP and +2.5 mask AP for rare categories.


title: Introducing Learning Rate Adaptation CMA-ES into Rigid 2D/3D Registration for Robotic Navigation in Spine Surgery

abstract: The covariance matrix adaptive evolution strategy (CMA-ES) has been widely used in the field of 2D/3D registration in recent years. This optimization method exhibits exceptional robustness and usability for complex surgical scenarios. However, due to the inherent ill-posed nature of the 2D/3D registration task and the presence of numerous local minima in the landscape of similarity measures. Evolution strategies often require a larger population size in each generation in each generation to ensure the stability of registration and the globality and effectiveness of search, which makes the entire process computationally expensive. In this paper, we build a 2D/3D registration framework based on a learning rate adaptation CMA-ES manner. The framework employs a fixed and small population size, leading to minimized runtime and optimal utilization of computing resources. We conduct experimental comparisons between the proposed framework and other intensity-based baselines using a substantial volume of synthetic data. The results suggests that our method demonstrates superiority in both registration accuracy and running time. Code is available at github.com/m1nhengChen/CMAES-reg.


title: Influence Maximization in Hypergraphs using Multi-Objective Evolutionary Algorithms

abstract: The Influence Maximization (IM) problem is a well-known NP-hard combinatorial problem over graphs whose goal is to find the set of nodes in a network that spreads influence at most. Among the various methods for solving the IM problem, evolutionary algorithms (EAs) have been shown to be particularly effective. While the literature on the topic is particularly ample, only a few attempts have been made at solving the IM problem over higher-order networks, namely extensions of standard graphs that can capture interactions that involve more than two nodes. Hypergraphs are a valuable tool for modeling complex interaction networks in various domains; however, they require rethinking of several graph-based problems, including IM. In this work, we propose a multi-objective EA for the IM problem over hypergraphs that leverages smart initialization and hypergraph-aware mutation. While the existing methods rely on greedy or heuristic methods, to our best knowledge this is the first attempt at applying EAs to this problem. Our results over nine real-world datasets and three propagation models, compared with five baseline algorithms, reveal that our method achieves in most cases state-of-the-art results in terms of hypervolume and solution diversity.


title: Bridging Syntax and Semantics of Lean Expressions in E-Graphs

abstract: Interactive theorem provers, like Isabelle/HOL, Coq and Lean, have expressive languages that allow the formalization of general mathematical objects and proofs. In this context, an important goal is to reduce the time and effort needed to prove theorems. A significant means of achieving this is by improving proof automation. We have implemented an early prototype of proof automation for equational reasoning in Lean by using equality saturation. To achieve this, we need to bridge the gap between Lean's expression semantics and the syntactically driven e-graphs in equality saturation. This involves handling bound variables, implicit typing, as well as Lean's definitional equality, which is more general than syntactic equality and involves notions like $\alpha$-equivalence, $\beta$-reduction, and $\eta$-reduction. In this extended abstract, we highlight how we attempt to bridge this gap, and which challenges remain to be solved. Notably, while our techniques are partially unsound, the resulting proof automation remains sound by virtue of Lean's proof checking.


title: On fusing matrices associated with conformal boundary conditions

abstract: In the context of rational conformal field theories (RCFT) we look at the fusing matrices that arise when a topological defect is attached to a conformal boundary condition. We call such junctions open topological defects. One type of fusing matrices arises when two open defects fuse while another arises when an open defect passes through a boundary operator. We use the topological field theory approach to RCFTs based on Frobenius algebra objects in modular tensor categories to describe the general structure associated with such matrices and how to compute them from a given Frobenius algebra object and its representation theory. We illustrate the computational process on the rational free boson theories. Applications to boundary renormalisation group flows are briefly discussed.


title: Comparative Analysis of Predicting Subsequent Steps in H\'enon Map

abstract: This paper explores the prediction of subsequent steps in H\'enon Map using various machine learning techniques. The H\'enon map, well known for its chaotic behaviour, finds applications in various fields including cryptography, image encryption, and pattern recognition. Machine learning methods, particularly deep learning, are increasingly essential for understanding and predicting chaotic phenomena. This study evaluates the performance of different machine learning models including Random Forest, Recurrent Neural Network (RNN), Long Short-Term Memory (LSTM) networks, Support Vector Machines (SVM), and Feed Forward Neural Networks (FNN) in predicting the evolution of the H\'enon map. Results indicate that LSTM network demonstrate superior predictive accuracy, particularly in extreme event prediction. Furthermore, a comparison between LSTM and FNN models reveals the LSTM's advantage, especially for longer prediction horizons and larger datasets. This research underscores the significance of machine learning in elucidating chaotic dynamics and highlights the importance of model selection and dataset size in forecasting subsequent steps in chaotic systems.


title: Amenable actions on ill-behaved simple C*-algebras

abstract: By combining R{\o}rdam's construction and author's previous construction, we provide the first examples of amenable actions on simple separable nuclear C*-algebras that are neither stable finite nor purely infinite. For free groups, we also provide unital examples. We arrange the actions so that the crossed products are still simple with both a finite and an infinite projection.


title: Bounds on Dao numbers and applications to regular local rings

abstract: The so-called Dao numbers are a sort of measure of the asymptotic behaviour of full properties of certain product ideals in a Noetherian local ring $R$ with infinite residue field and positive depth. In this paper, we answer a question of H. Dao on how to bound such numbers. The auxiliary tools range from Castelnuovo-Mumford regularity of appropriate graded structures to reduction numbers of the maximal ideal. In particular, we substantially improve previous results (and answer questions) by the authors. As an application, we provide new characterizations of when $R$ is regular; for instance, we show that this holds if and only if the maximal ideal of $R$ can be generated by a $d$-sequence (in the sense of Huneke) if and only if the third Dao number of any (minimal) reduction of the maximal ideal vanishes.


title: The Lamperti transformation in the infinite-dimensional setting and the genealogies of self-similar Markov processes

abstract: We propose a change in focus from the prevalent paradigm based on the branching property as a tool to analyze the structure of population models, to one based on the self-similarity property, which we also introduce for the first time in the setting of measure-valued processes. By extending the well-known Lamperti transformation for self-similar Markov processes to the Banach-valued case we are able to generalize celebrated results in population genetics that describe the frequency-process of measure-valued stable branching processes in terms of the subfamily of Beta-Fleming-Viot processes. In our work we describe the frequency process of populations whose total size evolves as any positive self-similar Markov process in terms of general $\Lambda$-Fleming-Viot processes. Our results demonstrate the potential power of the self-similar perspective for the study of population models in which the reproduction dynamics of the individuals depend on the total population size, allowing for more complex and realistic models.


title: Multivariate strong invariance principle and uncertainty assessment for time in-homogeneous cyclic MCMC samplers

abstract: Time in-homogeneous cyclic Markov chain Monte Carlo (MCMC) samplers, including deterministic scan Gibbs samplers and Metropolis within Gibbs samplers, are extensively used for sampling from multi-dimensional distributions. We establish a multivariate strong invariance principle (SIP) for Markov chains associated with these samplers. The rate of this SIP essentially aligns with the tightest rate available for time homogeneous Markov chains. The SIP implies the strong law of large numbers (SLLN) and the central limit theorem (CLT), and plays an essential role in uncertainty assessments. Using the SIP, we give conditions under which the multivariate batch means estimator for estimating the covariance matrix in the multivariate CLT is strongly consistent. Additionally, we provide conditions for a multivariate fixed volume sequential termination rule, which is associated with the concept of effective sample size (ESS), to be asymptotically valid. Our uncertainty assessment tools are demonstrated through various numerical experiments.


title: Formation pathways of the compact stellar systems

abstract: The formation pathways of compact stellar systems (CSSs) are still under debate. We utilize the \NH\ simulation to investigate the origins of such objects in the field environment. We identified 55 CSS candidates in the simulation whose properties are similar to those of the observed ultra-compact dwarfs and compact ellipticals. All but two most massive objects (compact elliptical candidates) are a result of a short starburst. Sixteen are formed by tidal stripping, while the other 39 are intrinsically compact from their birth. The stripped objects originate from dwarf-like galaxies with a dark halo, but most of their dark matter is stripped through their orbital motion around a more massive neighbor galaxy. The 39 intrinsically compact systems are further divided into ``associated'' or ``isolated'' groups, depending on whether they were born near a massive dark halo or not. The isolated intrinsic compact objects (7) are born in a dark halo and their stellar properties are older and metal-poor compared to the associated counterparts (32). The stripped compact objects occupy a distinct region in the age-metallicity plane from the intrinsic compact objects. The associated intrinsic compact objects in our sample have never had a dark halo; they are the surviving star clumps of a massive galaxy.


title: Searching for the QCD critical endpoint using multi-point Pad\'e approximations

abstract: Using the multi-point Pad\'e approach, we locate Lee-Yang edge singularities of the QCD pressure in the complex baryon chemical potential plane. These singularities are extracted from singularities in the net baryon-number density calculated in $N_f=2+1$ lattice QCD at physical quark mass and purely imaginary chemical potential. Taking an appropriate scaling ansatz in the vicinity of the conjectured QCD critical endpoint, we extrapolate the singularities on $N_\tau=6$ lattices to pure real baryon chemical potential to estimate the position of the critical endpoint (CEP). We find $T^{\rm CEP}=105^{+8}_{-18}$~ MeV and $\mu_B^{\rm CEP} = 422^{+80}_{-35}$~ MeV, which compares well with recent estimates in the literature. For the slope of the transition line at the critical point we find $-0.16(24)$.


title: Forte: A Suite of Advanced Multireference Quantum Chemistry Methods

abstract: Forte is an open-source library specialized in multireference electronic structure theories for molecular systems and the rapid prototyping of new methods. This paper gives an overview of the capabilities of Forte, its software architecture, and examples of applications enabled by the methods it implements.


title: Comprehensive Causal Machine Learning

abstract: Uncovering causal effects at various levels of granularity provides substantial value to decision makers. Comprehensive machine learning approaches to causal effect estimation allow to use a single causal machine learning approach for estimation and inference of causal mean effects for all levels of granularity. Focusing on selection-on-observables, this paper compares three such approaches, the modified causal forest (mcf), the generalized random forest (grf), and double machine learning (dml). It also provides proven theoretical guarantees for the mcf and compares the theoretical properties of the approaches. The findings indicate that dml-based methods excel for average treatment effects at the population level (ATE) and group level (GATE) with few groups, when selection into treatment is not too strong. However, for finer causal heterogeneity, explicitly outcome-centred forest-based approaches are superior. The mcf has three additional benefits: (i) It is the most robust estimator in cases when dml-based approaches underperform because of substantial selectivity; (ii) it is the best estimator for GATEs when the number of groups gets larger; and (iii), it is the only estimator that is internally consistent, in the sense that low-dimensional causal ATEs and GATEs are obtained as aggregates of finer-grained causal parameters.


title: Quantum criticality and Kibble-Zurek scaling in the Aubry-Andr\'{e}-Stark model

abstract: We explore quantum criticality and Kibble-Zurek scaling (KZS) in the Aubry-Andre-Stark (AAS) model, where the Stark field of strength $\varepsilon$ is added onto the one-dimensional quasiperiodic lattice. We perform scaling analysis and numerical calculations of the localization length, inverse participation ratio (IPR), and energy gap between the ground and first excited states to characterize critical properties of the delocalization-localization transition. Remarkably, our scaling analysis shows that, near the critical point, the localization length $\xi$ scales with $\varepsilon$ as $\xi\propto\varepsilon^{-\nu}$ with $\nu\approx0.3$ a new critical exponent for the AAS model, which is different from the counterparts for both the pure Aubry-Andre (AA) model and Stark model. The IPR $\mathcal{I}$ scales as $\mathcal{I}\propto\varepsilon^{s}$ with the critical exponent $s\approx0.098$, which is also different from both two pure models. The energy gap $\Delta E$ scales as $\Delta E\propto \varepsilon^{\nu z}$ with the same critical exponent $z\approx2.374$ as that for the pure AA model. We further reveal hybrid scaling functions in the overlap between the critical regions of the Anderson and Stark localizations. Moreover, we investigate the driven dynamics of the localization transitions in the AAS model. By linearly changing the Stark (quasiperiodic) potential, we calculate the evolution of the localization length and the IPR, and study their dependence on the driving rate. We find that the driven dynamics from the ground state is well described by the KZS with the critical exponents obtained from the static scaling analysis. When both the Stark and quasiperiodic potentials are relevant, the KZS form includes the two scaling variables. This work extends our understanding of critical phenomena on localization transitions and generalizes the application of the KZS to hybrid models.


title: Interplay between Domain Walls in Type-II Superconductors and Gradients of Temperature/Spin Density

abstract: We theoretically investigate the motion of a domain wall in type-II superconductors driven by inhomogeneities of temperature or spin density. The model consists of the time-dependent Ginzburg-Landau equation and the thermal/spin diffusion equation whose transport coefficients (the thermal/spin conductivity and the spin relaxation time) depend on the order parameter, interpolating the values for the superconducting and the normal states. Both numerical and analytical calculations suggest that the domain wall moves toward the higher temperature/spin-density region where the order parameter is suppressed. Both motions can be understood as dynamical processes minimizing the loss of the condensation energy. We also clearly define the forces on the domain wall according to their origins.


title: Investigating cosmic histories with a stiff era through Gravitational Waves

abstract: We investigate the potential of gravitational-wave background searches to constrain cosmic histories characterised by a stiff equation of state, preceded by a period of matter domination. Such a scenario leads to a characteristic peak in the primordial gravitational-wave spectrum originating from cosmological inflation. Assuming instant transitions between distinct epochs, which allows an analytical treatment of the gravitational-wave spectrum, we perform a Bayesian inference analysis to derive constraints from the first three observing runs of the LIGO-Virgo-KAGRA Collaboration. Additionally, we consider a smooth transition, employing an axion-like particle physics model, and highlight the difference with the instant transition approximation. We then forecast detection prospects for such a cosmic history through future gravitational-wave experiments.


title: Hierarchical Attention Graph for Scientific Document Summarization in Global and Local Level

abstract: Scientific document summarization has been a challenging task due to the long structure of the input text. The long input hinders the simultaneous effective modeling of both global high-order relations between sentences and local intra-sentence relations which is the most critical step in extractive summarization. However, existing methods mostly focus on one type of relation, neglecting the simultaneous effective modeling of both relations, which can lead to insufficient learning of semantic representations. In this paper, we propose HAESum, a novel approach utilizing graph neural networks to locally and globally model documents based on their hierarchical discourse structure. First, intra-sentence relations are learned using a local heterogeneous graph. Subsequently, a novel hypergraph self-attention layer is introduced to further enhance the characterization of high-order inter-sentence relations. We validate our approach on two benchmark datasets, and the experimental results demonstrate the effectiveness of HAESum and the importance of considering hierarchical structures in modeling long scientific documents. Our code will be available at \url{https://github.com/MoLICHENXI/HAESum}


title: Fast Gain Dynamics in Interband Cascade Lasers

abstract: Interband Cascade Lasers (ICL) have matured into a versatile technological platform in the mid-infrared spectral domain. To broaden their applicability even further, ongoing research pursues the emission of ultrashort pulses. The most promising approach is passive mode-locking with a fast saturable absorber. However, despite vast attempts no passive mode-locked ICL has been demonstrated up to date. In this study we perform pump-probe measurements on the ICL gain and show that its dynamics are mainly ($\sim$70%) governed by a fast recovery time of 2 ps. Our findings explain why passive mode-locking has not succeeded so far, shedding a new light on ICL dynamics as we propose strategies to overcome the current limitations.


title: Large-$N$ integrated correlators in $\mathcal{N}=4$ SYM: when resurgence meets modularity

abstract: Exact expressions for certain integrated correlators of four half-BPS operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory with gauge group $SU(N)$ have been recently obtained thanks to a beautiful interplay between supersymmetric localisation and modular invariance. The large-$N$ expansion at fixed Yang-Mills coupling of such integrated correlators produces an asymptotic series of perturbative terms, holographically related to higher derivative interactions in the low energy expansion of the type IIB effective action, as well as exponentially suppressed corrections at large $N$, interpreted as contributions from coincident $(p,q)$-string world-sheet instantons. In this work we define a manifestly modular invariant Borel resummation of the perturbative large-$N$ expansion of these integrated correlators, from which we extract the exact non-perturbative large-$N$ sectors via resurgence analysis. Furthermore, we show that in the 't Hooft limit such modular invariant non-perturbative completions reduce to known resurgent genus expansions. Finally, we clarify how the same non-perturbative data is encoded in the decomposition of the integrated correlators based on $\rm{SL}(2,\mathbb{Z})$ spectral theory.


title: Exploring the Impact of ChatGPT on Wikipedia Engagement

abstract: Wikipedia is one of the most popular websites in the world, serving as a major source of information and learning resource for millions of users worldwide. While motivations for its usage vary, prior research suggests shallow information gathering -- looking up facts and information or answering questions -- dominates over more in-depth usage. On the 22nd of November 2022, ChatGPT was released to the public and has quickly become a popular source of information, serving as an effective question-answering and knowledge gathering resource. Early indications have suggested that it may be drawing users away from traditional question answering services such as Stack Overflow, raising the question of how it may have impacted Wikipedia. In this paper, we explore Wikipedia user metrics across four areas: page views, unique visitor numbers, edit counts and editor numbers within twelve language instances of Wikipedia. We perform pairwise comparisons of these metrics before and after the release of ChatGPT and implement a panel regression model to observe and quantify longer-term trends. We find no evidence of a fall in engagement across any of the four metrics, instead observing that page views and visitor numbers increased in the period following ChatGPT's launch. However, we observe a lower increase in languages where ChatGPT was available than in languages where it was not, which may suggest ChatGPT's availability limited growth in those languages. Our results contribute to the understanding of how emerging generative AI tools are disrupting the Web ecosystem.


title: A Participatory Budgeting based Truthful Budget-Limited Incentive Mechanism for Time-Constrained Tasks in Crowdsensing Systems

abstract: Crowdsensing, also known as participatory sensing, is a method of data collection that involves gathering information from a large number of common people (or individuals), often using mobile devices or other personal technologies. This paper considers the set-up with multiple task requesters and several task executors in a strategic setting. Each task requester has multiple heterogeneous tasks and an estimated budget for the tasks. In our proposed model, the Government has a publicly known fund (or budget) and is limited. Due to limited funds, it may not be possible for the platform to offer the funds to all the available task requesters. For that purpose, in the first tier, the voting by the city dwellers over the task requesters is carried out to decide on the subset of task requesters receiving the Government fund. In the second tier, each task of the task requesters has start and finish times. Based on that, firstly, the tasks are distributed to distinct slots. In each slot, we have multiple task executors for executing the floated tasks. Each task executor reports a cost (private) for completing the floated task(s). Given the above-discussed set-up, the objectives of the second tier are: (1) to schedule each task of the task requesters in the available slots in a non-conflicting manner and (2) to select a set of executors for the available tasks in such a way that the total incentive given to the task executors should be at most the budget for the tasks. For the discussed scenario, a truthful incentive based mechanism is designed that also takes care of budget criteria. Theoretical analysis is done, and it shows that the proposed mechanism is computationally efficient, truthful, budget-feasible, and individually rational. The simulation is carried out, and the efficacy of the designed mechanism is compared with the state-of-the-art mechanisms.


title: On bicrossed product of fusion categories and exact factorizations

abstract: We introduce the notion of a matched pair of fusion rings and fusion categories, generalizing the one for groups. Using this concept, we define the bicrossed product of fusion rings and fusion categories and we construct exact factorizations for them. This concept generalizes the bicrossed product, also known as external Zappa-Sz\'ep product, of groups. We also show that every exact factorization of fusion rings can be presented as a bicrossed product. With this characterization, we describe the adjoint subcategory and universal grading group of an exact factorization of fusion categories. We give explicit fusion rules and associativity constraints for examples of fusion categories arising as a bicrossed product of combinations of Tambara-Yamagami categories and pointed fusion categories. These examples are new to the best of the knowledge of the authors.


title: How To Save A World: The Go-Along Interview as Game Preservation Methodology in Wurm Online

abstract: Massively multiplayer online (MMO) games boomed in the late 1990s to 2000s. In parallel, ethnographic studies of these communities emerged, generally involving participant observation and interviews. Several decades on, many MMOs have been reconfigured, remastered or are potentially no longer accessible at all, which presents challenges for their continued study and long-term preservation. In this paper we explore the "go-along" methodology, in which a researcher joins a participant on a walk through a familiar place and asks them questions, as a qualitative research method applicable for the study and preservation of games culture. Though the methodology has been introduced in digital media studies, to date it has had limited application in digital games, if at all. We report on a pilot study exploring applications of the go-along method to the sandbox MMO Wurm Online; a persistent, player-directed world with a rich history. We report on our motivations for the work, our analysis of the resulting interviews, and our reflections on both the use of go-alongs in digital games, as well as the unique and inspiring culture and community of this lesser-known game.


title: Remarks on discrete subgroups with full limit sets in higher rank Lie groups

abstract: We show that real semi-simple Lie groups of higher rank contain (infinitely generated) discrete subgroups with full limit sets in the corresponding Furstenberg boundaries. Additionally, we provide criteria under which discrete subgroups of $G = \operatorname{SL}(3,\mathbb{R})$ must have a full limit set in the Furstenberg boundary of $G$. In the appendix, we show the the existence of Zariski-dense discrete subgroups $\Gamma$ of $\operatorname{SL}(n,\mathbb{R})$, where $n\ge 3$, such that the Jordan projection of some loxodromic element $\gamma \in\Gamma$ lies on the boundary of the limit cone of $\Gamma$.


title: GPT Store Mining and Analysis

abstract: As a pivotal extension of the renowned ChatGPT, the GPT Store serves as a dynamic marketplace for various Generative Pre-trained Transformer (GPT) models, shaping the frontier of conversational AI. This paper presents an in-depth measurement study of the GPT Store, with a focus on the categorization of GPTs by topic, factors influencing GPT popularity, and the potential security risks. Our investigation starts with assessing the categorization of GPTs in the GPT Store, analyzing how they are organized by topics, and evaluating the effectiveness of the classification system. We then examine the factors that affect the popularity of specific GPTs, looking into user preferences, algorithmic influences, and market trends. Finally, the study delves into the security risks of the GPT Store, identifying potential threats and evaluating the robustness of existing security measures. This study offers a detailed overview of the GPT Store's current state, shedding light on its operational dynamics and user interaction patterns. Our findings aim to enhance understanding of the GPT ecosystem, providing valuable insights for future research, development, and policy-making in generative AI.


title: Building a Luganda Text-to-Speech Model From Crowdsourced Data

abstract: Text-to-speech (TTS) development for African languages such as Luganda is still limited, primarily due to the scarcity of high-quality, single-speaker recordings essential for training TTS models. Prior work has focused on utilizing the Luganda Common Voice recordings of multiple speakers aged between 20-49. Although the generated speech is intelligible, it is still of lower quality than the model trained on studio-grade recordings. This is due to the insufficient data preprocessing methods applied to improve the quality of the Common Voice recordings. Furthermore, speech convergence is more difficult to achieve due to varying intonations, as well as background noise. In this paper, we show that the quality of Luganda TTS from Common Voice can improve by training on multiple speakers of close intonation in addition to further preprocessing of the training data. Specifically, we selected six female speakers with close intonation determined by subjectively listening and comparing their voice recordings. In addition to trimming out silent portions from the beginning and end of the recordings, we applied a pre-trained speech enhancement model to reduce background noise and enhance audio quality. We also utilized a pre-trained, non-intrusive, self-supervised Mean Opinion Score (MOS) estimation model to filter recordings with an estimated MOS over 3.5, indicating high perceived quality. Subjective MOS evaluations from nine native Luganda speakers demonstrate that our TTS model achieves a significantly better MOS of 3.55 compared to the reported 2.5 MOS of the existing model. Moreover, for a fair comparison, our model trained on six speakers outperforms models trained on a single-speaker (3.13 MOS) or two speakers (3.22 MOS). This showcases the effectiveness of compensating for the lack of data from one speaker with data from multiple speakers of close intonation to improve TTS quality.


title: CPsyExam: A Chinese Benchmark for Evaluating Psychology using Examinations

abstract: In this paper, we introduce a novel psychological benchmark, CPsyExam, constructed from questions sourced from Chinese language examinations. CPsyExam is designed to prioritize psychological knowledge and case analysis separately, recognizing the significance of applying psychological knowledge to real-world scenarios. From the pool of 22k questions, we utilize 4k to create the benchmark that offers balanced coverage of subjects and incorporates a diverse range of case analysis techniques.Furthermore, we evaluate a range of existing large language models~(LLMs), spanning from open-sourced to API-based models. Our experiments and analysis demonstrate that CPsyExam serves as an effective benchmark for enhancing the understanding of psychology within LLMs and enables the comparison of LLMs across various granularities.


title: Words as Trigger Points in Social Media Discussions

abstract: Trigger points are a concept introduced by Mau, Lux, and Westheuser (2023) to study qualitative focus group interviews and understand polarisation in Germany. When people communicate, trigger points represent moments when individuals feel that their understanding of what is fair, normal, or appropriate in society is questioned. In the original studies, individuals react affectively to such triggers and show strong and negative emotional responses. In this paper, we introduce the first systematic study of the large-scale effect of individual words as trigger points by analysing a large amount of social media posts. We examine online deliberations on Reddit between 2020 and 2022 and collect >100 million posts from subreddits related to a set of words identified as trigger points in UK politics. We find that such trigger words affect user engagement and have noticeable consequences on animosity in online discussions. We share empirical evidence of trigger words causing animosity, and how they provide incentives for hate speech, adversarial debates, and disagreements. Our work is the first to introduce trigger points to computational studies of online communication. Our findings are relevant to researchers interested in online harms and who examine how citizens debate politics and society in light of affective polarisation.


title: A Design Trajectory Map of Human-AI Collaborative Reinforcement Learning Systems: Survey and Taxonomy

abstract: Driven by the algorithmic advancements in reinforcement learning and the increasing number of implementations of human-AI collaboration, Collaborative Reinforcement Learning (CRL) has been receiving growing attention. Despite this recent upsurge, this area is still rarely systematically studied. In this paper, we provide an extensive survey, investigating CRL methods based on both interactive reinforcement learning algorithms and human-AI collaborative frameworks that were proposed in the past decade. We elucidate and discuss via synergistic analysis methods both the growth of the field and the state-of-the-art; we conceptualise the existing frameworks from the perspectives of design patterns, collaborative levels, parties and capabilities, and review interactive methods and algorithmic models. Specifically, we create a new Human-AI CRL Design Trajectory Map, as a systematic modelling tool for the selection of existing CRL frameworks, as well as a method of designing new CRL systems, and finally of improving future CRL designs. Furthermore, we elaborate generic Human-AI CRL challenges, providing the research community with a guide towards novel research directions. The aim of this paper is to empower researchers with a systematic framework for the design of efficient and 'natural' human-AI collaborative methods, making it possible to work on maximised realisation of humans' and AI's potentials.


title: SMLP: Symbolic Machine Learning Prover (User Manual)

abstract: SMLP: Symbolic Machine Learning Prover an open source tool for exploration and optimization of systems represented by machine learning models. SMLP uses symbolic reasoning for ML model exploration and optimization under verification and stability constraints, based on SMT, constraint and NN solvers. In addition its exploration methods are guided by probabilistic and statistical methods. SMLP is a general purpose tool that requires only data suitable for ML modelling in the csv format (usually samples of the system's input/output). SMLP has been applied at Intel for analyzing and optimizing hardware designs at the analog level. Currently SMLP supports NNs, polynomial and tree models, and uses SMT solvers for reasoning and optimization at the backend, integration of specialized NN solvers is in progress.


title: Low-Rank Adaptation of Time Series Foundational Models for Out-of-Domain Modality Forecasting

abstract: Low-Rank Adaptation (LoRA) is a widely used technique for fine-tuning large pre-trained or foundational models across different modalities and tasks. However, its application to time series data, particularly within foundational models, remains underexplored. This paper examines the impact of LoRA on contemporary time series foundational models: Lag-Llama, MOIRAI, and Chronos. We demonstrate LoRA's fine-tuning potential for forecasting the vital signs of sepsis patients in intensive care units (ICUs), emphasizing the models' adaptability to previously unseen, out-of-domain modalities. Integrating LoRA aims to enhance forecasting performance while reducing inefficiencies associated with fine-tuning large models on limited domain-specific data. Our experiments show that LoRA fine-tuning of time series foundational models significantly improves forecasting, achieving results comparable to state-of-the-art models trained from scratch on similar modalities. We conduct comprehensive ablation studies to demonstrate the trade-offs between the number of tunable parameters and forecasting performance and assess the impact of varying LoRA matrix ranks on model performance.


title: Reduction theory for stably graded Lie algebras

abstract: We define a reduction covariant for the representations a la Vinberg associated to stably graded Lie algebras. We then give an analogue of the LLL algorithm for the odd split special orthogonal group and show how this can be combined with our theory to effectively reduce the coefficients of vectors in a representation connected to 2-descent for odd hyperelliptic curves.


title: ENADPool: The Edge-Node Attention-based Differentiable Pooling for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are powerful tools for graph classification. One important operation for GNNs is the downsampling or pooling that can learn effective embeddings from the node representations. In this paper, we propose a new hierarchical pooling operation, namely the Edge-Node Attention-based Differentiable Pooling (ENADPool), for GNNs to learn effective graph representations. Unlike the classical hierarchical pooling operation that is based on the unclear node assignment and simply computes the averaged feature over the nodes of each cluster, the proposed ENADPool not only employs a hard clustering strategy to assign each node into an unique cluster, but also compress the node features as well as their edge connectivity strengths into the resulting hierarchical structure based on the attention mechanism after each pooling step. As a result, the proposed ENADPool simultaneously identifies the importance of different nodes within each separated cluster and edges between corresponding clusters, that significantly addresses the shortcomings of the uniform edge-node based structure information aggregation arising in the classical hierarchical pooling operation. Moreover, to mitigate the over-smoothing problem arising in existing GNNs, we propose a Multi-distance GNN (MD-GNN) model associated with the proposed ENADPool operation, allowing the nodes to actively and directly receive the feature information from neighbors at different random walk steps. Experiments demonstrate the effectiveness of the MD-GNN associated with the proposed ENADPool.


title: Current Views on Mechanisms of the FLASH Effect in Cancer Radiotherapy

abstract: FLASH radiotherapy (FLASH-RT) is a new modality of radiotherapy by delivering doses with ultra-high dose rates. FLASH-RT has the ability to suppress tumor growth while sparing normal tissues, known as the FLASH effect. Although FLASH effect has proved valid in various models by different ionizing radiations, the exact underlying mechanism is still unclear. This article summarizes mainstream hypotheses of FLASH effect at physicochemical and biological levels, including oxygen depletion and free radical reactions, nuclear and mitochondria damage, as well as immune response. These hypotheses contribute reasonable explanations to the FLASH effect, and are interconnected according to the chronological order of the organism's response to ionizing radiation. By collating the existing consensus, evidence, and hypotheses, this article provides a comprehensive overview of potential mechanisms of FLASH effect and practical guidance for future investigation in the field of FLASH-RT.


title: SoK: Prudent Evaluation Practices for Fuzzing

abstract: Fuzzing has proven to be a highly effective approach to uncover software bugs over the past decade. After AFL popularized the groundbreaking concept of lightweight coverage feedback, the field of fuzzing has seen a vast amount of scientific work proposing new techniques, improving methodological aspects of existing strategies, or porting existing methods to new domains. All such work must demonstrate its merit by showing its applicability to a problem, measuring its performance, and often showing its superiority over existing works in a thorough, empirical evaluation. Yet, fuzzing is highly sensitive to its target, environment, and circumstances, e.g., randomness in the testing process. After all, relying on randomness is one of the core principles of fuzzing, governing many aspects of a fuzzer's behavior. Combined with the often highly difficult to control environment, the reproducibility of experiments is a crucial concern and requires a prudent evaluation setup. To address these threats to validity, several works, most notably Evaluating Fuzz Testing by Klees et al., have outlined how a carefully designed evaluation setup should be implemented, but it remains unknown to what extent their recommendations have been adopted in practice. In this work, we systematically analyze the evaluation of 150 fuzzing papers published at the top venues between 2018 and 2023. We study how existing guidelines are implemented and observe potential shortcomings and pitfalls. We find a surprising disregard of the existing guidelines regarding statistical tests and systematic errors in fuzzing evaluations. For example, when investigating reported bugs, ...


title: Scalarisation-based risk concepts for robust multi-objective optimisation

abstract: Robust optimisation is a well-established framework for optimising functions in the presence of uncertainty. The inherent goal of this problem is to identify a collection of inputs whose outputs are both desirable for the decision maker, whilst also being robust to the underlying uncertainties in the problem. In this work, we study the multi-objective extension of this problem from a computational standpoint. We identify that the majority of all robust multi-objective algorithms rely on two key operations: robustification and scalarisation. Robustification refers to the strategy that is used to marginalise over the uncertainty in the problem. Whilst scalarisation refers to the procedure that is used to encode the relative importance of each objective. As these operations are not necessarily commutative, the order that they are performed in has an impact on the resulting solutions that are identified and the final decisions that are made. This work aims to give an exposition on the philosophical differences between these two operations and highlight when one should opt for one ordering over the other. As part of our analysis, we showcase how many existing risk concepts can be easily integrated into the specification and solution of a robust multi-objective optimisation problem. Besides this, we also demonstrate how one can principally define the notion of a robust Pareto front and a robust performance metric based on our robustify and scalarise methodology. To illustrate the efficacy of these new ideas, we present two insightful numerical case studies which are based on real-world data sets.


title: Kramers nodal line in the charge density wave state of YTe$_3$ and the influence of twin domains

abstract: Recent studies have focused on the relationship between charge density wave (CDW) collective electronic ground states and nontrivial topological states. Using angle-resolved photoemission and density functional theory, we establish that YTe$_3$ is a CDW-induced Kramers nodal line (KNL) metal, a newly proposed topological state of matter. YTe$_3$ is a non-magnetic quasi-2D chalcogenide with a CDW wave vector ($q_{\rm cdw}$) of 0.2907c$^*$. Scanning tunneling microscopy and low energy electron diffraction revealed two orthogonal CDW domains, each with a unidirectional CDW and similar YTe$_3$. The effective band structure (EBS) computations, using DFT-calculated folded bands, show excellent agreement with ARPES because a realistic x-ray crystal structure and twin domains are considered in the calculations. The Fermi surface and ARPES intensity plots show weak shadow bands displaced by $q_{\rm cdw}$ from the main bands. These are linked to CDW modulation, as the EBS calculation confirms. Bilayer split main and shadow bands suggest the existence of crossings, according to theory and experiment. DFT bands, including spin-orbit coupling, indicate a nodal line along the $\Sigma$ line from multiple band crossings perpendicular to the KNL. Additionally, doubly degenerate bands are only found along the KNL at all energies, with some bands dispersing through the Fermi level.


title: Distance inequalities of generalized $k$-intersection bodies

abstract: It was shown in [11] that for every origin-symmetric star body $K \subseteq \mathbb R^n$ of volume $1$, every even continuous probability density $f$ on $K$ and $1 \leq k \leq n-1$, there exists a subspace $F \subseteq \mathbb R^n$ of codimension $k$ such that \[ \int_{K \cap F} f \geq c^k (d_{\rm ovr}(K, \mathcal{BP}_k^n))^{-k} \] where $d_{\rm ovr}(K, \mathcal{BP}_k^n)$ is the outer volume ratio distance from $K$ to the class of generalized $k$-intersection bodies, and $c>0$ is a universal constant. The upper bound $d_{\rm ovr}(K, \mathcal{BP}_k^n) \leq c' \sqrt{n/k} \left(\log\left(\frac{en}k\right)\right)^{3/2}$ was established in [13] for every convex body $K$. In this note we show that there exist an origin-symmetric convex body $K$ of volume $1$ and an even continuous probability density $f$ supported on $K$ such that for every subspace $F$ of codimension $k$, \[ \int_{K \cap F} f \leq \left( c \sqrt{\frac n{k \log(n)} } \right)^{-k}. \] As a consequence we obtain a lower bound for $d_{\rm ovr}(K, \mathcal{BP}_k^n)$ with $K$ a convex body, complementing the upper bound in [13]. This is \[c \sqrt{n/k} (\log(n))^{-1/2} \leq \sup_K d_{\rm ovr}(K, \mathcal{BP}_k^n) \leq c' \sqrt{n/k} \left(\log\left(\frac{en}k\right)\right)^{3/2}.\] The case $k=1$ was obtained previously in [5,6].


title: 100% of odd hyperelliptic Jacobians have no rational points of small height

abstract: We study the universal family of odd hyperelliptic curves of genus $g \geq 1$ over $\mathbb{Q}$. We relate the heights of $\mathbb{Q}$-points of Jacobians of curves in this family to the reduction theory of the representation of $\mathrm{SO}_{2g+1}$ on self-adjoint $(2g + 1) \times(2g + 1)$-matrices. Using this theory, we show that in a density 1 subset, the Jacobians of these curves have no nontrivial rational points of small height.


title: GDPR: Is it worth it? Perceptions of workers who have experienced its implementation

abstract: The General Data Protection Regulation (GDPR) remains the gold standard in privacy and security regulation. We investigate how the cost and effort required to implement GDPR is viewed by workers who have also experienced the regulations' benefits as citizens: is it worth it? In a multi-stage study, we survey N = 273 & 102 individuals who remained working in the same companies before, during, and after the implementation of GDPR. The survey finds that participants recognise their rights when prompted but know little about their regulator. They have observed concrete changes to data practices in their workplaces and appreciate the trade-offs. They take comfort that their personal data is handled as carefully as their employers' client data. The very people who comply with and execute the GDPR consider it to be positive for their company, positive for privacy and not a pointless, bureaucratic regulation. This is rare as it contradicts the conventional negative narrative about regulation. Policymakers may wish to build upon this public support while it lasts and consider early feedback from a similar dual professional-consumer group as the GDPR evolves.


title: Geometric phase amplification in a clock interferometer for enhanced metrology

abstract: High-precision measurements are crucial for testing the fundamental laws of nature and for advancing the technological frontier. Clock interferometry, where particles with an internal clock are coherently split and recombined along two spatial paths, has sparked significant interest due to its fundamental implications, especially at the intersection of quantum mechanics and general relativity. Here, we demonstrate that a clock interferometer provides metrological improvement with respect to its technical-noise-limited counterpart employing a single internal quantum state. This enhancement around a critical working point can be interpreted as a geometric-phase-induced signal-to-noise ratio gain. In our experimental setup, we infer a precision enhancement of 8.8 decibels when measuring a small difference between external fields. We estimate that tens of decibels of precision enhancement could be attained for measurements with a higher atom flux. This opens the door to the development of a superior probe for fundamental physics as well as a high-performance sensor for various technological applications.


title: Experimental Validation of Collision-Radiation Dataset for Molecular Hydrogen in Plasmas

abstract: Quantitative spectroscopy of molecular hydrogen has generated substantial demand, leading to the accumulation of diverse elementary-process data encompassing radiative transitions, electron-impact transitions, predissociations, and quenching. However, their rates currently available are still sparse and there are inconsistencies among those proposed by different authors. In this study, we demonstrate an experimental validation of such molecular dataset by composing a collisional-radiative model (CRM) for molecular hydrogen and comparing experimentally-obtained vibronic populations across multiple levels. From the population kinetics of molecular hydrogen, the importance of each elementary process in various parameter space is studied. In low-density plasmas (electron density $n_\mathrm{e} \lesssim 10^{17}\;\mathrm{m^{-3}}$) the excitation rates from the ground states and radiative decay rates, both of which have been reported previously, determines the excited state population. The inconsistency in the excitation rates affects the population distribution the most significantly in this parameter space. On the other hand, in higher density plasmas ($n_\mathrm{e} \gtrsim 10^{18}\;\mathrm{m^{-3}}$), the excitation rates \textit{from} excited states become important, which have never been reported in the literature, and may need to be approximated in some way. In order to validate these molecular datasets and approximated rates, we carried out experimental observations for two different hydrogen plasmas; a low-density radio-frequency (RF) heated plasma ($n_\mathrm{e}\approx 10^{16}\;\mathrm{m^{-3}}$) and the Large Helical Device (LHD) divertor plasma ($n_\mathrm{e}\gtrsim 10^{18}\;\mathrm{m^{-3}}$)... [continued]


title: The fermionic double smeared null energy condition

abstract: Energy conditions are crucial for understanding why exotic phenomena such as traversable wormholes and closed timelike curves remain elusive. In this paper, we prove the Double Smeared Null Energy Condition (DSNEC) for the fermionic free theory in 4-dimensional flat Minkowski space-time, extending previous work on the same energy condition for the bosonic case [1][2] by adapting Fewster and Mistry's method [3] to the energy-momentum tensor $T_{++}$. A notable difference from previous works lies in the presence of the $\gamma_0 \gamma_+$ matrix in $T_{++}$, causing a loss of symmetry. This challenge is addressed by making use of its square-root matrix. We provide explicit analytic results for the massless case as well as numerical insights for the mass-dependence of the bound in the case of Gaussian smearing.


title: Random ReLU Neural Networks as Non-Gaussian Processes

abstract: We consider a large class of shallow neural networks with randomly initialized parameters and rectified linear unit activation functions. We prove that these random neural networks are well-defined non-Gaussian processes. As a by-product, we demonstrate that these networks are solutions to stochastic differential equations driven by impulsive white noise (combinations of random Dirac measures). These processes are parameterized by the law of the weights and biases as well as the density of activation thresholds in each bounded region of the input domain. We prove that these processes are isotropic and wide-sense self-similar with Hurst exponent $3/2$. We also derive a remarkably simple closed-form expression for their autocovariance function. Our results are fundamentally different from prior work in that we consider a non-asymptotic viewpoint: The number of neurons in each bounded region of the input domain (i.e., the width) is itself a random variable with a Poisson law with mean proportional to the density parameter. Finally, we show that, under suitable hypotheses, as the expected width tends to infinity, these processes can converge in law not only to Gaussian processes, but also to non-Gaussian processes depending on the law of the weights. Our asymptotic results provide a new take on several classical results (wide networks converge to Gaussian processes) as well as some new ones (wide networks can converge to non-Gaussian processes).


title: Universal entanglement correction induced by relevant deformations at the quantum critical point

abstract: Local relevant deformations are important tool to study universal properties of quantum critical points. We investigate the effect of small relevant deformations on the bi-partite entanglement entropy at the quantum critical points. Within the quantum critical region, a universal power-law correction in the entanglement entropy induced by the relevant operator is found in both one- and two-dimensional critical lattice models. The exponent of the power-law correction term is determined by the scaling dimension of the relevant operator. Based on numerical simulations and scaling theory argument, it is conjectured that such a universal power-law correction in the entanglement entropy is universal for Lorentz invariant quantum critical points. Without Lorentz invariance, it is found the exponent in the power-law correction term does not fit in with the scaling argument in models with a dynamical exponent z=2 in two dimension. This may be because the relevant operator added in the lattice model corresponds to complicated operators in the corresponding conformal field theory. Our study provides a different perspective to extract universal information of quantum critical points. We expect it would be useful to detect unique properties of topological quantum phase transitions.


title: Influencer Cartels

abstract: Social media influencers account for a growing share of marketing worldwide. We demonstrate the existence of a novel form of market failure in this advertising market: influencer cartels, where groups of influencers collude to increase their advertising revenue by inflating their engagement. Our theoretical model shows that influencer cartels can improve consumer welfare if they expand social media engagement to the target audience, or reduce welfare if they divert engagement to less relevant audiences. We validate the model empirically using novel data on influencer cartels combined with machine learning tools, and derive policy implications for how to maximize consumer welfare.


title: Beyond Static Calibration: The Impact of User Preference Dynamics on Calibrated Recommendation

abstract: Calibration in recommender systems is an important performance criterion that ensures consistency between the distribution of user preference categories and that of recommendations generated by the system. Standard methods for mitigating miscalibration typically assume that user preference profiles are static, and they measure calibration relative to the full history of user's interactions, including possibly outdated and stale preference categories. We conjecture that this approach can lead to recommendations that, while appearing calibrated, in fact, distort users' true preferences. In this paper, we conduct a preliminary investigation of recommendation calibration at a more granular level, taking into account evolving user preferences. By analyzing differently sized training time windows from the most recent interactions to the oldest, we identify the most relevant segment of user's preferences that optimizes the calibration metric. We perform an exploratory analysis with datasets from different domains with distinctive user-interaction characteristics. We demonstrate how the evolving nature of user preferences affects recommendation calibration, and how this effect is manifested differently depending on the characteristics of the data in a given domain. Datasets, codes, and more detailed experimental results are available at: https://github.com/nicolelin13/DynamicCalibrationUMAP.


title: iDRAMA-Scored-2024: A Dataset of the Scored Social Media Platform from 2020 to 2023

abstract: Online web communities often face bans for violating platform policies, encouraging their migration to alternative platforms. This migration, however, can result in increased toxicity and unforeseen consequences on the new platform. In recent years, researchers have collected data from many alternative platforms, indicating coordinated efforts leading to offline events, conspiracy movements, hate speech propagation, and harassment. Thus, it becomes crucial to characterize and understand these alternative platforms. To advance research in this direction, we collect and release a large-scale dataset from Scored -- an alternative Reddit platform that sheltered banned fringe communities, for example, c/TheDonald (a prominent right-wing community) and c/GreatAwakening (a conspiratorial community). Over four years, we collected approximately 57M posts from Scored, with at least 58 communities identified as migrating from Reddit and over 950 communities created since the platform's inception. Furthermore, we provide sentence embeddings of all posts in our dataset, generated through a state-of-the-art model, to further advance the field in characterizing the discussions within these communities. We aim to provide these resources to facilitate their investigations without the need for extensive data collection and processing efforts.


title: Boone--Higman Embeddings for Contracting Self-Similar Groups

abstract: We give a short proof that every contracting self-similar group embeds into a finitely presented simple group. In particular, any contracting self-similar group embeds into the corresponding R\"over--Nekrashevych group, and this in turn embeds into one of the twisted Brin--Thompson groups introduced by the first author and Matthew Zaremsky. The proof here is a simplification of a more general argument given by the authors, Collin Bleak, and Matthew Zaremsky for contracting rational similarity groups.


title: Novel Data Models for Inter-operable LCA Frameworks

abstract: Life cycle assessment (LCA) plays a critical role in assessing the environmental impacts of a product, technology, or service throughout its entire life cycle. Nonetheless, many existing LCA tools and methods lack adequate metadata management, which can hinder their further development and wide adoption. In the example of LCA for clean energy technologies, metadata helps monitor data and the environment that holds the integrity of the energy assets and sustainability of the materials sources across their entire value chains. Ontologizing metadata, i.e. a common vocabulary and language to connect multiple data sources, as well as implementing AI-aware data management, can have long-lasting, positive, and accelerating effects along with collecting and utilizing quality data from different sources and across the entire data lifecycle. The integration of ontologies in life cycle assessments has garnered significant attention in recent years. We synthesized the existing literature on ontologies for LCAs, providing insights into this interdisciplinary field's evolution, current state, and future directions. We also proposed the framework for a suitable data model and the workflow thereof to warrant the alignment with existing ontologies, practical frameworks, and industry standards.


title: A systematic path to non-Markovian dynamics II: Probabilistic response of nonlinear multidimensional systems to Gaussian colored noise excitation

abstract: The probabilistic characterization of non-Markovian responses to nonlinear dynamical systems under colored excitation is an important issue, arising in many applications. Extending the Fokker-Planck-Kolmogorov equation, governing the first-order response probability density function (pdf), to this case is a complicated task calling for special treatment. In this work, a new pdf-evolution equation is derived for the response of nonlinear dynamical systems under additive colored Gaussian noise. The derivation is based on the Stochastic Liouville equation (SLE), transformed, by means of an extended version of the Novikov-Furutsu theorem, to an exact yet non-closed equation, involving averages over the history of the functional derivatives of the non-Markovian response with respect to the excitation. The latter are calculated exactly by means of the state-transition matrix of variational, time-varying systems. Subsequently, an approximation scheme is implemented, relying on a decomposition of the state-transition matrix in its instantaneous mean value and its fluctuation around it. By a current-time approximation to the latter, we obtain our final equation, in which the effect of the instantaneous mean value of the response is maintained, rendering it nonlinear and non-local in time. Numerical results for the response pdf are provided for a bistable Duffing oscillator, under Gaussian excitation. The pdfs obtained from the solution of the novel equation and a simpler small correlation time (SCT) pdf-evolution equation are compared to Monde Carlo (MC) simulations. The novel equation outperforms the SCT equation as the excitation correlation time increases, keeping good agreement with the MC simulations.


title: Cosmic shear with Einstein rings

abstract: Cosmic shear is a key probe of modern cosmology. Amongst its challenges are shape noise and intrinsic alignments, both due to our ignorance of the unlensed shape of the source galaxies. I argue here that Einstein rings may be used as standard shapes to measure the external shear along their line of sight. In the Euclid era, this new observable is expected to be a competitive and complementary probe of the large-scale structure of the Universe.


title: Rounding Large Independent Sets on Expanders

abstract: We develop a new approach for approximating large independent sets when the input graph is a one-sided spectral expander - that is, the uniform random walk matrix of the graph has the second eigenvalue bounded away from 1. Consequently, we obtain a polynomial time algorithm to find linear-sized independent sets in one-sided expanders that are almost $3$-colorable or are promised to contain an independent set of size $(1/2-\epsilon)n$. Our second result above can be refined to require only a weaker vertex expansion property with an efficient certificate. Somewhat surprisingly, we observe that the analogous task of finding a linear-sized independent set in almost $4$-colorable one-sided expanders (even when the second eigenvalue is $o_n(1)$) is NP-hard, assuming the Unique Games Conjecture. All prior algorithms that beat the worst-case guarantees for this problem rely on bottom eigenspace enumeration techniques (following the classical spectral methods of Alon and Kahale) and require two-sided expansion, meaning a bounded number of negative eigenvalues of magnitude $\Omega(1)$. Such techniques naturally extend to almost $k$-colorable graphs for any constant $k$, in contrast to analogous guarantees on one-sided expanders, which are Unique Games-hard to achieve for $k \geq 4$. Our rounding builds on the method of simulating multiple samples from a pseudodistribution introduced by Barak et. al. for rounding Unique Games instances. The key to our analysis is a new clustering property of large independent sets in expanding graphs - every large independent set has a larger-than-expected intersection with some member of a small list - and its formalization in the low-degree sum-of-squares proof system.


title: An introduction to map-making for CMB experiments

abstract: The cosmic microwave background (CMB) anisotropies are a powerful probe of the early universe, and have largely contributed to establishing the current standard cosmological model. To extract the information encoded in those tiny variations, one must first compress the raw, time-domain data collected by a telescope into maps of the sky at the observed frequencies, in a procedure known as map-making. I provide a general introduction to this problem, and highlight a few specificities of the MAPPRAISER implementation.


title: Pentagon equations, Vorono\"i tilings and pure braid groups invariant

abstract: In the present paper, we construct $(2n-4)\times (2n-4)$ matrices corresponding to the motion of points on standard round sphere from the point of view of Delaunay triangulations. We define homomorphism from spherical pure braids on $n$ strands to the product of these matrices for $n>5$.


title: Ternary mappings of some evolution algebras

abstract: The group scheme of ternary automorphisms of a perfect finite dimensional evolution algebra A is computed. The main advantage of using group schemes is that it allows to apply the Lie functor to determine the Lie algebra of ternary derivations of A. Using the generalised inverse of a matrix, we provide a precise classification of all ternary derivations of an arbitrary finite-dimensional evolution algebra A. The ternary derivations of all 2-dimensional evolution algebras are also computed.


title: Quantum State Learning Implies Circuit Lower Bounds

abstract: We establish connections between state tomography, pseudorandomness, quantum state synthesis, and circuit lower bounds. In particular, let $\mathfrak{C}$ be a family of non-uniform quantum circuits of polynomial size and suppose that there exists an algorithm that, given copies of $|\psi \rangle$, distinguishes whether $|\psi \rangle$ is produced by $\mathfrak{C}$ or is Haar random, promised one of these is the case. For arbitrary fixed constant $c$, we show that if the algorithm uses at most $O(2^{n^c})$ time and $2^{n^{0.99}}$ samples then $\mathsf{stateBQE} \not\subset \mathsf{state}\mathfrak{C}$. Here $\mathsf{stateBQE} := \mathsf{stateBQTIME}[2^{O(n)}]$ and $\mathsf{state}\mathfrak{C}$ are state synthesis complexity classes as introduced by Rosenthal and Yuen (ITCS 2022), which capture problems with classical inputs but quantum output. Note that efficient tomography implies a similarly efficient distinguishing algorithm against Haar random states, even for nearly exponential-time algorithms. Because every state produced by a polynomial-size circuit can be learned with $2^{O(n)}$ samples and time, or $O(n^{\omega(1)})$ samples and $2^{O(n^{\omega(1)})}$ time, we show that even slightly non-trivial quantum state tomography algorithms would lead to new statements about quantum state synthesis. Finally, a slight modification of our proof shows that distinguishing algorithms for quantum states can imply circuit lower bounds for decision problems as well. This help sheds light on why time-efficient tomography algorithms for non-uniform quantum circuit classes has only had limited and partial progress. Our work parallels results by Arunachalam et al. (FOCS 2021) that revealed a similar connection between quantum learning of Boolean functions and circuit lower bounds for classical circuit classes, but modified for the purposes of state tomography and state synthesis.