title: Self-Sustainable Active Reconfigurable Intelligent Surfaces for Anti-Jamming in Wireless Communications

abstract: Wireless devices can be easily attacked by jammers during transmission, which is a potential security threat for wireless communications. Active reconfigurable intelligent surface (RIS) attracts considerable attention and is expected to be employed in anti-jamming systems for secure transmission to significantly enhance the anti-jamming performance. However, active RIS introduces external power load, which increases the complexity of hardware and restricts the flexible deployment of active RIS. To overcome these drawbacks, we design a innovative self-sustainable structure in this paper, where the active RIS is energized by harvesting energy from base station (BS) signals through the time dividing based simultaneous wireless information and power transfer (TD-SWIPT) scheme. Based on the above structure, we develop the BS harvesting scheme based on joint transmit and reflecting beamforming with the aim of maximizing the achievable rate of active RIS-assisted system, where the alternating optimization (AO) algorithm based on stochastic successive convex approximation (SSCA) tackles the nonconvex optimization problem in the scheme. Simulation results verified the effectiveness of our developed BS harvesting scheme, which can attain higher anti-jamming performance than other schemes when given the same maximum transmit power.


title: The points of space are not points: their wavefunctions remove the ultraviolet divergences of quantum field theory

abstract: The points $p(x)$ of space are observables that obey quantum mechanics with average values $\langle p(x) \rangle$ that obey general relativity. In empty flat 3-space, a point $p(x)$ may be represented as the sum $ \boldsymbol p(x) = \langle \boldsymbol p(x) \rangle+ \boldsymbol \epsilon(x)$ of its average value $\langle \boldsymbol p(x) \rangle = \boldsymbol x$ and its quantum remainder $ \boldsymbol \epsilon(x)$. The ubiquitous Fourier exponential $\exp( i \boldsymbol k \cdot \boldsymbol p(x))$ is then $\exp( i \boldsymbol k \cdot ( \boldsymbol x + \boldsymbol \epsilon))$. If the probability distribution of the quantum remainders $ \boldsymbol \epsilon(x)$ is normal and of width $\sigma$, then the average of the exponential $\langle \exp(i \boldsymbol k ( \boldsymbol x + \boldsymbol \epsilon ) \rangle$ contains a gaussian factor $ \exp( - \sigma^2 \boldsymbol k^2/2 ) $ which makes self-energies, Feynman diagrams and dark energy ultraviolet finite. This complex of ideas requires new bosons and suggests that supersymmetry is softly broken.


title: Smooth solutions to the Christoffel problem in $\mathbb{H}^{n+1}$

abstract: The famous Christoffel problem is possibly the oldest problem of prescribed curvatures for convex hypersurfaces in Euclidean space. Recently, this problem has been naturally formulated in the context of uniformly $h$-convex hypersurfaces in hyperbolic space by Espinar-G\'alvez-Mira. Surprisingly, Espinar-G\'alvez-Mira find that the Christoffel problem in hyperbolic space is essentially equivalent to the Nirenberg-Kazdan-Warner problem on prescribing scalar curvature on $\mathbb{S}^n$. This equivalence opens a new door to study the Nirenberg-Kazdan-Warner problem. In this paper, we establish a existence of solutions to the Christoffel problem in hyperbolic space by proving a full rank theorem. As a corollary, a existence of solutions to the Nirenberg-Kazdan-Warner problem follows.


title: Grover's algorithm on two-way quantum computer

abstract: Two-way quantum computing (2WQC) represents a novel approach to quantum computing that introduces a CPT version of state preparation. This paper analyses the influence of this approach on Grover's algorithm and compares the behaviour of typical Grover and its 2WQC version in the presence of noise in the system. Our findings indicate that, in an ideal scenario without noise, the 2WQC Grover algorithm exhibits a constant complexity of $\mathcal{O}(1)$. In the presence of noise, the 2WQC Grover algorithm demonstrates greater resilience to different noise models than the standard Grover's algorithm.


title: Simulating Realistic Post-Stroke Reaching Kinematics with Generative Adversarial Networks

abstract: The generalizability of machine learning (ML) models for wearable monitoring in stroke rehabilitation is often constrained by the limited scale and heterogeneity of available data. Data augmentation addresses this challenge by adding computationally derived data to real data to enrich the variability represented in the training set. Traditional augmentation methods, such as rotation, permutation, and time-warping, have shown some benefits in improving classifier performance, but often fail to produce realistic training examples. This study employs Conditional Generative Adversarial Networks (cGANs) to create synthetic kinematic data from a publicly available dataset, closely mimicking the experimentally measured reaching movements of stroke survivors. This approach not only captures the complex temporal dynamics and common movement patterns after stroke, but also significantly enhances the training dataset. By training deep learning models on both synthetic and experimental data, we achieved a substantial enhancement in task classification accuracy: models incorporating synthetic data attained an overall accuracy of 80.2%, significantly higher than the 63.1% seen in models trained solely with real data. These improvements allow for more precise task classification, offering clinicians the potential to monitor patient progress more accurately and tailor rehabilitation interventions more effectively.


title: On the Relative Nature of Quantum Individuals

abstract: In this work we argue against the interpretation that underlies the "Standard" account of Quantum Mechanics (SQM) that was established during the 1930s by Niels Bohr and Paul Dirac. Ever since, following this orthodox narrative, physicists have dogmatically proclaimed -- quite regardless of the deep contradictions and problems -- that the the theory of quanta describes a microscopic realm composed of elementary particles (such as electrons, protons and neutrons) which underly our macroscopic world composed of tables, chairs and dogs. After critically addressing this atomist dogma still present today in contemporary (quantum) physics and philosophy, we present a new understanding of quantum individuals defined as the minimum set of relations within a specific degree of complexity capable to account for all relations within that same degree. In this case, quantum individuality is not conceived in absolute terms but -- instead -- as an objectively relative concept which even though depends of the choice of bases and factorizations remain nonetheless part of the same invariant representation.


title: Bar formation and evolution in the cosmological context: Inputs from the Auriga simulations

abstract: Galactic bars drive the internal evolution of spiral galaxies, while their formation is tightly coupled to the properties of their host galaxy and dark matter halo. To explore what drives bar formation in the cosmological context and how these structures evolve throughout cosmic history, we use the Auriga suite of magneto-hydrodynamical cosmological zoom-in simulations. We find that bars are robust and long-lived structures, and we recover a decreasing bar fraction with increasing redshift which plateaus around $\sim20\%$ at $z\sim3$. We find that bars which form at low and intermediate redshifts grow longer with time, while bars that form at high redshifts are born `saturated' in length, likely due to their merger-induced formation pathway. This leads to a larger bar-to-disc size ratio at high redshifts as compared to the local Universe. We subsequently examine the multi-dimensional parameter space thought to drive bar formation. We find that barred galaxies tend to have lower Toomre $Q$ values at the time of their formation, while we do not find a difference in the gas fraction of barred and unbarred populations when controlling for stellar mass. Barred galaxies tend to be more baryon-dominated at all redshifts, assembling their stellar mass earlier, while galaxies that are baryon-dominated but that do not host a bar, have a higher ex-situ bulge fraction. We explore the implications of the baryon-dominance of barred galaxies on the Tully-Fisher relation, finding an offset from the unbarred relation; confirming this in observations would serve as additional evidence for dark matter, as this behaviour is not readily explained in modified gravity scenarios.


title: Advancing High Resolution Vision-Language Models in Biomedicine

abstract: Multi-modal learning has significantly advanced generative AI, especially in vision-language modeling. Innovations like GPT-4V and open-source projects such as LLaVA have enabled robust conversational agents capable of zero-shot task completions. However, applying these technologies in the biomedical field presents unique challenges. Recent initiatives like LLaVA-Med have started to adapt instruction-tuning for biomedical contexts using large datasets such as PMC-15M. Our research offers three key contributions: (i) we present a new instruct dataset enriched with medical image-text pairs from Claude3-Opus and LLaMA3 70B, (ii) we propose a novel image encoding strategy using hierarchical representations to improve fine-grained biomedical visual comprehension, and (iii) we develop the Llama3-Med model, which achieves state-of-the-art zero-shot performance on biomedical visual question answering benchmarks, with an average performance improvement of over 10% compared to previous methods. These advancements provide more accurate and reliable tools for medical professionals, bridging gaps in current multi-modal conversational assistants and promoting further innovations in medical AI.


title: Pandora: Towards General World Model with Natural Language Actions and Video States

abstract: World models simulate future states of the world in response to different actions. They facilitate interactive content creation and provides a foundation for grounded, long-horizon reasoning. Current foundation models do not fully meet the capabilities of general world models: large language models (LLMs) are constrained by their reliance on language modality and their limited understanding of the physical world, while video models lack interactive action control over the world simulations. This paper makes a step towards building a general world model by introducing Pandora, a hybrid autoregressive-diffusion model that simulates world states by generating videos and allows real-time control with free-text actions. Pandora achieves domain generality, video consistency, and controllability through large-scale pretraining and instruction tuning. Crucially, Pandora bypasses the cost of training-from-scratch by integrating a pretrained LLM (7B) and a pretrained video model, requiring only additional lightweight finetuning. We illustrate extensive outputs by Pandora across diverse domains (indoor/outdoor, natural/urban, human/robot, 2D/3D, etc.). The results indicate great potential of building stronger general world models with larger-scale training.


title: Emergence of red, star-forming galaxies (red misfits) in a {\Lambda}CDM universe

abstract: We investigate the formation of red misfits (RM) using a cosmological, hydrodynamical simulation from the $\rm \small EAGLE$ project. Similar to observations, the RM possess less dust, higher stellar metallicities, and older stellar populations compared to blue, star-forming galaxies (BA) at the same $M_\star$. Lagrangian particle-tracking reveals that the older ages of RM have resulted from a combined effect of higher star formation efficiency (SFE), and the earlier onset and faster net depletion of their interstellar medium (ISM). For the centrals, the latter was partially due to higher efficiency of escape from ISM, driven by stronger stellar and/or AGN feedback (depending on the mass). There was an additional contribution to this escape from gas stripping for satellite RM, as suggested by the higher group masses ($\gtrsim 0.5$ dex) and ${\rm H_2}/{\rm H\,{\small I}}$ ratios ($\gtrsim 0.3$ dex). Moreover, accretion of circumgalactic gas (CGM) onto the galaxy has been less efficient for the satellites. On the metallicity front, the offsets are largely due to the disparity in SFE, causing varying degrees of enrichment through the mass-transfers associated with stellar winds and supernovae. We ascribe this SFE disparity to the lower specific angular momentum ($j$) of freshly accreted CGM for RM, which ultimately manifested in the ISM kinematics due to interactions with cooling flows. The impact on $j_{\rm ism}$ was further intensified by poorer alignment with the flow's $\vec{j}$, particularly for the satellites. Our results illuminate potential origins of RM, and motivate further exploration of this peculiar class through a synergy between observations and simulations.


title: Gap-gradient methods for solving generalized mixed integer inverse optimization: an application to political gerrymandering

abstract: Inverse optimization has received much attention in recent years, but little literature exists for solving generalized mixed integer inverse optimization. We propose a new approach for solving generalized mixed-integer inverse optimization problems based on sub-gradient methods. We characterize when a generalized inverse optimization problem can be solved using sub-gradient methods and we prove that modifications to classic sub-gradient algorithms can return exact solutions in finite time. Our best implementation improves solution time by up to 90% compared to the best performing method from the literature. We then develop custom heuristic methods for graph-based inverse problems using a combination of graph coarsening and ensemble methods. Our heuristics are able to further reduce solution time by up to 52%, while still producing near-optimal solutions. Finally, we propose a new application domain - quantitatively identifying gerrymandering - for generalized inverse integer optimization. We apply our overall solution approach to analyze the congressional districts of the State of Iowa using real-world data. We find that the accepted districting marginally improves population imbalance at the cost of a significant increase in partisan efficiency gap. We argue that our approach can produce a more nuanced data-driven argument that a proposed districting should be considered gerrymandered.


title: Updating CLIP to Prefer Descriptions Over Captions

abstract: Although CLIPScore is a powerful generic metric that captures the similarity between a text and an image, it fails to distinguish between a caption that is meant to complement the information in an image and a description that is meant to replace an image entirely, e.g., for accessibility. We address this shortcoming by updating the CLIP model with the Concadia dataset to assign higher scores to descriptions than captions using parameter efficient fine-tuning and a loss objective derived from work on causal interpretability. This model correlates with the judgements of blind and low-vision people while preserving transfer capabilities and has interpretable structure that sheds light on the caption--description distinction.


title: Ad Auctions for LLMs via Retrieval Augmented Generation

abstract: In the field of computational advertising, the integration of ads into the outputs of large language models (LLMs) presents an opportunity to support these services without compromising content integrity. This paper introduces novel auction mechanisms for ad allocation and pricing within the textual outputs of LLMs, leveraging retrieval-augmented generation (RAG). We propose a segment auction where an ad is probabilistically retrieved for each discourse segment (paragraph, section, or entire output) according to its bid and relevance, following the RAG framework, and priced according to competing bids. We show that our auction maximizes logarithmic social welfare, a new notion of welfare that balances allocation efficiency and fairness, and we characterize the associated incentive-compatible pricing rule. These results are extended to multi-ad allocation per segment. An empirical evaluation validates the feasibility and effectiveness of our approach over several ad auction scenarios, and exhibits inherent tradeoffs in metrics as we allow the LLM more flexibility to allocate ads.


title: Origin of Distinct Insulating Domains in the Layered Charge Density Wave Material 1T-TaS2

abstract: Vertical charge order shapes the electronic properties in layered charge density wave (CDW) materials. Various stacking orders inevitably create nanoscale domains with distinct electronic structures inaccessible to bulk probes. Here, the stacking characteristics of bulk 1$T$-TaS$2$ are analyzed using scanning tunneling spectroscopy (STS) and density functional theory (DFT) calculations. It is observed that Mott-insulating domains undergo a transition to band-insulating domains restoring vertical dimerization of the CDWs. Furthermore, STS measurements covering a wide terrace reveal two distinct band insulating domains differentiated by band edge broadening. These DFT calculations reveal that the Mott insulating layers preferably reside on the subsurface, forming broader band edges in the neighboring band insulating layers. Ultimately, buried Mott insulating layers believed to harbor the quantum spin liquid phase are identified. These results resolve persistent issues regarding vertical charge order in 1$T$-TaS$2$, providing a new perspective for investigating emergent quantum phenomena in layered CDW materials.


title: Grain growth phenomenon during pressure-induced phase transformations at room temperature

abstract: Significant grain growth is observed during the high-pressure phase transformations (PTs) at room temperature within an hour for various materials. However, no existing theory explains this phenomenon since nanocrystals do not grow at room temperature even over a time span of several years because of slow diffusion. Here, we suggest a multistep mechanism for the grain growth during $\alpha\rightarrow\omega$ PT in Zr. Phase interfaces and grain boundaries (GBs) coincide and move together under the action of a combined thermodynamic driving forces. Several intermediate steps for such motion are suggested and justified kinetically. Nonhydrostatic stresses due to volume reduction in the growing $\omega$ grain promote continuous growth of the existing $\omega$ grain instead of a new nucleation at other GBs. In situ synchrotron Laue diffraction experiments confirm the main predictions of the theory. The suggested mechanism provides a new insight into synergistic interaction between PTs and microstructure evolution.


title: SViTT-Ego: A Sparse Video-Text Transformer for Egocentric Video

abstract: Pretraining egocentric vision-language models has become essential to improving downstream egocentric video-text tasks. These egocentric foundation models commonly use the transformer architecture. The memory footprint of these models during pretraining can be substantial. Therefore, we pretrain SViTT-Ego, the first sparse egocentric video-text transformer model integrating edge and node sparsification. We pretrain on the EgoClip dataset and incorporate the egocentric-friendly objective EgoNCE, instead of the frequently used InfoNCE. Most notably, SViTT-Ego obtains a +2.8% gain on EgoMCQ (intra-video) accuracy compared to LAVILA large, with no additional data augmentation techniques other than standard image augmentations, yet pretrainable on memory-limited devices.


title: An effective software risk prediction management analysis of data using machine learning and data mining method

abstract: For one to guarantee higher-quality software development processes, risk management is essential. Furthermore, risks are those that could negatively impact an organization's operations or a project's progress. The appropriate prioritisation of software project risks is a crucial factor in ascertaining the software project's performance features and eventual success. They can be used harmoniously with the same training samples and have good complement and compatibility. We carried out in-depth tests on four benchmark datasets to confirm the efficacy of our CIA approach in closed-world and open-world scenarios, with and without defence. We also present a sequential augmentation parameter optimisation technique that captures the interdependencies of the latest deep learning state-of-the-art WF attack models. To achieve precise software risk assessment, the enhanced crow search algorithm (ECSA) is used to modify the ANFIS settings. Solutions that very slightly alter the local optimum and stay inside it are extracted using the ECSA. ANFIS variable when utilising the ANFIS technique. An experimental validation with NASA 93 dataset and 93 software project values was performed. This method's output presents a clear image of the software risk elements that are essential to achieving project performance. The results of our experiments show that, when compared to other current methods, our integrative fuzzy techniques may perform more accurately and effectively in the evaluation of software project risks.


title: GPT-ology, Computational Models, Silicon Sampling: How should we think about LLMs in Cognitive Science?

abstract: Large Language Models have taken the cognitive science world by storm. It is perhaps timely now to take stock of the various research paradigms that have been used to make scientific inferences about ``cognition" in these models or about human cognition. We review several emerging research paradigms -- GPT-ology, LLMs-as-computational-models, and ``silicon sampling" -- and review recent papers that have used LLMs under these paradigms. In doing so, we discuss their claims as well as challenges to scientific inference under these various paradigms. We highlight several outstanding issues about LLMs that have to be addressed to push our science forward: closed-source vs open-sourced models; (the lack of visibility of) training data; and reproducibility in LLM research, including forming conventions on new task ``hyperparameters" like instructions and prompts.


title: Optimal Kernel Orchestration for Tensor Programs with Korch

abstract: Kernel orchestration is the task of mapping the computation defined in different operators of a deep neural network (DNN) to the execution of GPU kernels on modern hardware platforms. Prior approaches optimize kernel orchestration by greedily applying operator fusion, which fuses the computation of multiple operators into a single kernel, and miss a variety of optimization opportunities in kernel orchestration. This paper presents Korch, a tensor program optimizer that discovers optimal kernel orchestration strategies for tensor programs. Instead of directly fusing operators, Korch first applies operator fission to decompose tensor operators into a small set of basic tensor algebra primitives. This decomposition enables a diversity of fine-grained, inter-operator optimizations. Next, Korch optimizes kernel orchestration by formalizing it as a constrained optimization problem, leveraging an off-the-shelf binary linear programming solver to discover an optimal orchestration strategy, and generating an executable that can be directly deployed on modern GPU platforms. Evaluation on a variety of DNNs shows that Korch outperforms existing tensor program optimizers by up to 1.7x on V100 GPUs and up to 1.6x on A100 GPUs. Korch is publicly available at https://github.com/humuyan/Korch.


title: Diffuse optical tomography in time domain with the inverse Rytov series

abstract: The Rytov approximation has been commonly used to obtain reconstructed images for optical tomography. However, the method requires linearization of the nonlinear inverse problem. Here, we demonstrate nonlinear Rytov approximations by developing the inverse Rytov series for the time-dependent diffusion equation. The method is experimentally verified.


title: "I see it as a wellspring for my positive and upward journey in life.": Understanding Current Practices of Assistive Technology's Customized Modification in China

abstract: Due to the significant differences in physical conditions and living environments of people with disabilities, standardized assistive technologies (ATs) often fail to meet their needs. Modified AT, especially DIY (Do It Yourself) ATs, are a popular solution in many high-income countries, but there is a lack of documentation for low- and middle-income areas, especially in China, where the culture of philanthropy is undeveloped. To understand the current situation in this paper, we conducted semi-structured interviews with 10 individuals with disabilities using modified ATs and 10 individuals involved in providing these, including family members, standard assistive device manufacturers, and individuals employed for their modification skills, etc. Based on the results of the thematic analysis, we have summarized the general process of modified ATs for people with disabilities in China and the benefits these devices bring. We found that modified ATs not only make the lives of people with disabilities more comfortable and convenient but also bring them confidence, reduce social pressure, and even help them achieve self-realization. Additionally, we summarized the challenges they encountered before, during, and after the modification, including awareness gaps, family resistance, a lack of a business model, and so on. Specifically, we conducted a special case study about the typical business models and challenges currently faced by AT modification organizations in China. Our research provides important design foundations and research insights for the future of universal and personalized production of AT.


title: Fair and Efficient Completion of Indivisible Goods

abstract: We formulate the problem of fair and efficient completion of indivisible goods, defined as follows: Given a partial allocation of indivisible goods among agents, does there exist an allocation of the remaining goods (i.e., a completion) that satisfies fairness and economic efficiency guarantees of interest? We study the computational complexity of the completion problem for prominent fairness and efficiency notions such as envy-freeness up one good (EF1), proportionality up to one good (Prop1), maximin share (MMS), and Pareto optimality (PO), and focus on the class of additive valuations as well as its subclasses such as binary additive and lexicographic valuations. We find that while the completion problem is significantly harder than the standard fair division problem (wherein the initial partial allocation is empty), the consideration of restricted preferences facilitates positive algorithmic results for threshold-based fairness notions (Prop1 and MMS). On the other hand, the completion problem remains computationally intractable for envy-based notions such as EF1 and EF1+PO even under restricted preferences.


title: Conformance Testing of Relational DBMS Against SQL Specifications

abstract: A Relational Database Management System (RDBMS) is one of the fundamental software that supports a wide range of applications, making it critical to identify bugs within these systems. There has been active research on testing RDBMS, most of which employ crash or use metamorphic relations as the oracle. Although existing approaches can detect bugs in RDBMS, they are far from comprehensively evaluating the RDBMS's correctness (i.e., with respect to the semantics of SQL). In this work, we propose a method to test the semantic conformance of RDBMS i.e., whether its behavior respects the intended semantics of SQL. Specifically, we have formally defined the semantics of SQL and implemented them in Prolog. Then, the Prolog implementation serves as the reference RDBMS, enabling differential testing on existing RDBMS. We applied our approach to four widely-used and thoroughly tested RDBMSs, i.e., MySQL, TiDB, SQLite, and DuckDB. In total, our approach uncovered 19 bugs and 11 inconsistencies, which are all related to violating the SQL specification or missing/unclear specification, thereby demonstrating the effectiveness and applicability of our approach.


title: Nursery function rehabilitation projects in port areas can support fish populations but they remain less effective than ensuring compliance to fisheries management

abstract: Conservation measures are implemented to support biodiversity in areas that are degraded or under anthropogenic pressure. Over the past decade, numerous projects aimed at rehabilitating a fish nursery function in ports, through the installation of artificial structures, have emerged. While studies conducted on these solutions seem promising on a very local scale (e.g., higher densities of juvenile fish on artificial fish nurseries compared to bare port infrastructures), no evaluation has been undertaken yet to establish their contribution to the renewal of coastal fish populations or their performance compared to other conservation measures such as fishing regulation. Here, we used a coupled model of fish population dynamics and fisheries management, ISIS-fish, to describe the coastal commercial fish population, the white seabream (Diplodus sargus) in the highly artificialized Bay of Toulon. Using ISIS-Fish, we simulated rehabilitation and fisheries management scenarios. We provided the first quantitative assessment of the implementation of artificial structures in ports covering 10% and 100% of the available port area and compared, at population level and fishing fleets level, the quantitative consequences of these rehabilitation measures with fishing control measures leading to strict compliance with minimum catch sizes. The rehabilitation of the nursery function in ports demonstrated a potential to enhance the renewal of fish populations and catches. When the size of projects is small the outcomes they provide remain relatively modest in contrast to the impact of regulatory fishing measures. However, we have demonstrated that combining fishing reduction measures and rehabilitation projects has a synergistic effect on fish populations, resulting in increased populations and catches. This study is the first quantitative assessment of fish nursery rehabilitation projects in port areas, by evaluating their effectiveness in renewing coastal fish populations and fisheries and comparing their outcomes with fishing control measures. Small-scale port-area nursery rehabilitation projects can support fish populations, but are less effective than controlling fisheries.


title: Nowcasting Earthquakes with QuakeGPT: Methods and First Results

abstract: Earthquake nowcasting has been proposed as a means of tracking the change in large earthquake potential in a seismically active area. The method was developed using observable seismic data, in which probabilities of future large earthquakes can be computed using Receiver Operating Characteristic (ROC) methods. Furthermore, analysis of the Shannon information content of the earthquake catalogs has been used to show that there is information contained in the catalogs, and that it can vary in time. Here we discuss a new method for earthquake nowcasting that uses an AI-enhanced deep learning model "QuakeGPT" that is based on an attention-based science transformer adapted for time series forecasting. Such dot product attention-based transformers were introduced by Vaswani et al. (2017), and are the basis for the new large language models such as ChatGPT. To use these science transformers, they must first be trained on a large corpus of data. A problem is that the existing history of reliable earthquake catalog data extends back in time only a few decades, which is almost certainly too short to train a model for reliable nowcasting/forecasting. As a result, we turn to earthquake simulations to train the transformer model. Specifically we discuss a simple stochastic earthquake simulation model "ERAS" that has recently been introduced. The ERAS model is similar to the more common "ETAS" models, the difference being that the ERAS model has only 2 novel, adjustable parameters, rather than the 6-8 adjustable parameters that characterize most ETAS models. Using this ERAS model, we then define a transformer model and train it using a long catalog of ERAS simulations, then apply it to an ERAS validation dataset with the transformer model. In this paper, we describe this new method and assess the applicability to observed earthquake catalogs for use in nowcasting/forecasting.


title: Wiener-Hopf indices of unimodular functions on the imaginary axis

abstract: This paper is concerned with the Wiener-Hopf indices of unimodular rational matrix functions on the imaginary axis. These indices play a role in the Fredholm theory for Wiener-Hopf integral operators. Our main result gives formulas for the Wiener-Hopf indices in terms of the matrices appearing in realizations of the factors in a Douglas-Shapiro-Shields factorization of the unimodular function. Two approaches to this problem are presented: one direct approach using operator theoretic methods, and a second approach using the Cayley transform which allows to use results for an analogous problem regarding unimodular functions on the unit circle and corresponding Toeplitz operators.


title: Multidimensional clustering in judge designs

abstract: Estimates in judge designs run the risk of being biased due to the many judge identities that are implicitly or explicitly used as instrumental variables. The usual method to analyse judge designs, via a leave-out mean instrument, eliminates this many instrument bias only in case the data are clustered in at most one dimension. What is left out in the mean defines this clustering dimension. How most judge designs cluster their standard errors, however, implies that there are additional clustering dimensions, which makes that a many instrument bias remains. We propose two estimators that are many instrument bias free, also in multidimensional clustered judge designs. The first generalises the one dimensional cluster jackknife instrumental variable estimator, by removing from this estimator the additional bias terms due to the extra dependence in the data. The second models all but one clustering dimensions by fixed effects and we show how these numerous fixed effects can be removed without introducing extra bias. A Monte-Carlo experiment and the revisitation of two judge designs show the empirical relevance of properly accounting for multidimensional clustering in estimation.


title: Lightning-Fast Thunderstorm Warnings: Predicting Severe Convective Environments with Global Neural Weather Models

abstract: The recently released suite of AI weather models can produce multi-day, medium-range forecasts within seconds, with a skill on par with state-of-the-art operational forecasts. Traditional AI model evaluation predominantly targets global scores on single levels. Specific prediction tasks, such as severe convective environments, require much more precision on a local scale and with the correct vertical gradients between levels. With a focus on the convective season of global hotspots in 2020, we assess the skill of three top-performing AI models (Pangu-Weather, GraphCast, FourCastNet) for Convective Available Potential Energy (CAPE) and Deep Layer Shear (DLS) at lead-times of up to 10 days against the ERA-5 reanalysis and the IFS operational numerical weather prediction model. Looking at the example of a US tornado outbreak on April 12 and 13, 2020, all models predict elevated CAPE and DLS values multiple days in advance. The spatial structures in the AI models are smoothed in comparison to IFS and ERA-5. The models show differing biases in the prediction of CAPE values, with GraphCast capturing the value distribution the most accurately and FourCastNet showing a consistent underestimation. In seasonal analyses around the globe, we generally see the highest performance by GraphCast and Pangu-Weather, which match or even exceed the performance of IFS. CAPE derived from vertically coarse pressure levels of neural weather models lacks the precision of the vertically fine resolution of numerical models. The promising results here indicate that a direct prediction of CAPE in AI models is likely to be skillful. This would open unprecedented opportunities for fast and inexpensive predictions of severe weather phenomena. By advancing the assessment of AI models towards process-based evaluations we lay the foundation for hazard-driven applications of AI-based weather forecasts.


title: Search for $X(1870)$ via the decay $J/\psi\to \omega K^+ K^-\eta$

abstract: Using a sample of $(10087\pm 44)\times10^{6}$ $J/\psi$ events collected by the BESIII detector at the BEPCII collider, we search for the decay $X(1870)\to K^+ K^-\eta$ via the $J/\psi\to \omega K^+ K^- \eta$ process for the first time. No significant $X(1870)$ signal is observed. The upper limit on the branching fraction of the decay $ J/\psi\to \omega X(1870) \to\omega K^+ K^- \eta$ is determined to be $9.55\times 10^{-7}$ at the $90\%$ confidence level. In addition, the branching faction $B(J/\psi\to\omega K^+ K^- \eta)$ is measured to be $(3.33\pm0.02(\rm{stat.})\pm 0.12(\rm{syst.}))\times 10^{-4}$.


title: Stability of monodomain III-V crystals and antiphase boundaries over a Si monoatomic step

abstract: Here, we compare the stabilities of different III-V crystals configurations on stepped Si substrates, with or without anti-phase boundaries, for abrupt and compensated interfaces, using density functional theory. Thermodynamic stability of the different heterostructures is analyzed with an atomic scale description of charge densities distribution and mechani-cal strain. We show that the configuration where a III-V crystal adapts to a Si monoatomic step through change of charge compensation at the hetero-interface is much more stable than the configuration in which an antiphase boundary is formed. This study thus demonstrates that antiphase boundaries commonly observed in III-V/Si samples are not origi-nating from Si monoatomic step edges but from inevitable kinetically driven coalescence of monophase 3D III-V islands.

categories: cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.comp-ph


title: Q-S5: Towards Quantized State Space Models

abstract: In the quest for next-generation sequence modeling architectures, State Space Models (SSMs) have emerged as a potent alternative to transformers, particularly for their computational efficiency and suitability for dynamical systems. This paper investigates the effect of quantization on the S5 model to understand its impact on model performance and to facilitate its deployment to edge and resource-constrained platforms. Using quantization-aware training (QAT) and post-training quantization (PTQ), we systematically evaluate the quantization sensitivity of SSMs across different tasks like dynamical systems modeling, Sequential MNIST (sMNIST) and most of the Long Range Arena (LRA). We present fully quantized S5 models whose test accuracy drops less than 1% on sMNIST and most of the LRA. We find that performance on most tasks degrades significantly for recurrent weights below 8-bit precision, but that other components can be compressed further without significant loss of performance. Our results further show that PTQ only performs well on language-based LRA tasks whereas all others require QAT. Our investigation provides necessary insights for the continued development of efficient and hardware-optimized SSMs.


title: Distributed genetic algorithm for application placement in the compute continuum leveraging infrastructure nodes for optimization

abstract: The increasing complexity of fog computing environments calls for efficient resource optimization techniques. In this paper, we propose and evaluate three distributed designs of a genetic algorithm (GA) for resource optimization in fog computing, within an increasing degree of distribution. The designs leverage the execution of the GA in the fog devices themselves by dealing with the specific features of this domain: constrained resources and widely geographical distribution of the devices. For their evaluation, we implemented a benchmark case using the NSGA-II for the specific problem of optimizing the fog service placement, according to the guidelines of our three distributed designs. These three experimental scenarios were compared with a control case, a traditional centralized version of this GA algorithm, considering solution quality and network overhead. The results show that the design with the lowest distribution degree, which keeps centralized storage of the objective space, achieves comparable solution quality to the traditional approach but incurs a higher network load. The second design, which completely distributes the population between the workers, reduces network overhead but exhibits lower solution diversity while keeping enough good results in terms of optimization objective minimization. Finally, the proposal with a distributed population and that only interchanges solution between the workers' neighbors achieves the lowest network load but with compromised solution quality.


title: Anisotropic Generalization of the {\Lambda}CDM Universe Model with Application to the Hubble Tension

abstract: I deduce an exact and analytic Bianchi type I solution of Einsteins field equations, which generalizes the isotropic LambdaCDM universe model to a corresponding model with anisotropic expansion. The main point of the article is to present the anisotropic generalization of the LambdaCDM universe model in a way suitable for investigating how anisotropic expansion modifies observable properties of the LambdaCDM universe model. Although such generalizations of the isotropic LambdaCDM universe model have been considered earlier, they have never been presented in this form before. Several physical properties of the model are pointed out and compared with properties of special cases, such as the isotropic LambdaCDM universe model. The solution is then used to investigate the Hubble tension. It has recently been suggested that the cosmic largescale anisotropy may solve the Hubble tension. I consider those earlier suggestions and find that the formulae of these papers lead to the result that the anisotropy of the cosmic expansion is too small to solve the Hubble tension. Then, I investigate the problem in a new way, using the exact solution of the field equations. This gives the result that the cosmic expansion anisotropy is still too small to solve the Hubble tension in the general Bianchi type I universe with dust and LIVE (Lorentz Invariant Vacuum Energy with a constant energy density, which is represented by the cosmological constant) and anisotropic expansion in all three directions even if one neglects the constraints coming from the requirement that the anisotropy should be sufficiently small so that it does not have any significant effect upon the results coming from the calculations of the comic nucleosynthesis during the first ten minutes of the universe. If this constraint is taken into account, the cosmic expansion anisotropy is much too small to solve the Hubble tension.


title: A photon-interfaced ten qubit quantum network node

abstract: We entangle each individual matter-qubit in a register of ten to a separate travelling photon. The qubits are encoded in a string of cotrapped atomic ions. By switching the trap confinement, ions are brought one at a time into the waist of an optical cavity and emit a photon via a laser-driven cavity-mediated Raman transition. The result is a train of photonic-qubits, each near-maximally entangled by their polarisation with a different ion-qubit in the string. An average ion-photon Bell state fidelity of 92(1)% is achieved, for an average probability for detecting each single photon of 9.1(8)%. The technique is directly scalable to larger ion-qubit registers and opens up the near-term possibility of entangling distributed networks of trapped-ion quantum processors, sensing arrays and clocks.


title: ELF-UA: Efficient Label-Free User Adaptation in Gaze Estimation

abstract: We consider the problem of user-adaptive 3D gaze estimation. The performance of person-independent gaze estimation is limited due to interpersonal anatomical differences. Our goal is to provide a personalized gaze estimation model specifically adapted to a target user. Previous work on user-adaptive gaze estimation requires some labeled images of the target person data to fine-tune the model at test time. However, this can be unrealistic in real-world applications, since it is cumbersome for an end-user to provide labeled images. In addition, previous work requires the training data to have both gaze labels and person IDs. This data requirement makes it infeasible to use some of the available data. To tackle these challenges, this paper proposes a new problem called efficient label-free user adaptation in gaze estimation. Our model only needs a few unlabeled images of a target user for the model adaptation. During offline training, we have some labeled source data without person IDs and some unlabeled person-specific data. Our proposed method uses a meta-learning approach to learn how to adapt to a new user with only a few unlabeled images. Our key technical innovation is to use a generalization bound from domain adaptation to define the loss function in meta-learning, so that our method can effectively make use of both the labeled source data and the unlabeled person-specific data during training. Extensive experiments validate the effectiveness of our method on several challenging benchmarks.


title: Spin Entanglement -- A Unifying Principle for Superconductors and Molecular Bonding

abstract: The spin-statistics theorem is generalized to include quantum entanglement. Specifically, within the context of spin entanglement, we prove that isotropic spin-correlated (ISC) states must occur in pairs. This pairing process can be composed of parallel or anti-parallel states. Consequently, the article proposes using ISC states as a unifying principle to explain better Bose-Einstein condensates, the theory of superconductivity, and molecular and atomic orbitals, all of which involve a pairing process. The theoretical framework is established in sections 1 and 2. The other qualitative sections focus primarily on the experimental evidence to support the theory.


title: Illuminating the Cosmos: Dark matter, primordial black holes, and cosmic dawn

abstract: The $\Lambda$-CDM model of cosmology has done much to clarify our picture of the early universe. However, there are still some questions that $\Lambda$-CDM does not necessarily answer; questions such as what is the fundamental nature of dark matter? What is its origin? And what causes the intriguing measurements that we are seeing from cosmic dawn? In this thesis, I will describe three directions in which I have pushed forward our understanding of how fundamental physics manifests in cosmology. First, I have studied the signatures of exotic energy injection in various astrophysical and cosmological probes, including the Lyman-$\alpha$ forest, the blackbody spectrum of the cosmic microwave background, the power spectrum of the cosmic microwave background, and the formation of the earliest stars in our universe. Second, I have investigated the formation of primordial black hole dark matter in a general model for inflation with multiple scalar fields. I have identified the space of models that can generate primordial black holes while remaining in compliance with observational constraints using a Markov Chain Monte Carlo, and also showed that future gravitational wave observatories will be able to further constrain these models. Finally, I have developed an analytic description of signals from 21\,cm cosmology using methods inspired by effective field theory. This method includes realistic observational effects and has been validated against state-of-the-art radiation hydrodynamic simulations, including those with alternative dark matter scenarios. With these recent efforts, we are advancing the frontiers of dark matter phenomenology and cosmology, thereby paving the way towards illuminating the remaining mysteries of our cosmos and drawing closer to a comprehensive understanding of the universe.


title: Is Diffusion Model Safe? Severe Data Leakage via Gradient-Guided Diffusion Model

abstract: Gradient leakage has been identified as a potential source of privacy breaches in modern image processing systems, where the adversary can completely reconstruct the training images from leaked gradients. However, existing methods are restricted to reconstructing low-resolution images where data leakage risks of image processing systems are not sufficiently explored. In this paper, by exploiting diffusion models, we propose an innovative gradient-guided fine-tuning method and introduce a new reconstruction attack that is capable of stealing private, high-resolution images from image processing systems through leaked gradients where severe data leakage encounters. Our attack method is easy to implement and requires little prior knowledge. The experimental results indicate that current reconstruction attacks can steal images only up to a resolution of $128 \times 128$ pixels, while our attack method can successfully recover and steal images with resolutions up to $512 \times 512$ pixels. Our attack method significantly outperforms the SOTA attack baselines in terms of both pixel-wise accuracy and time efficiency of image reconstruction. Furthermore, our attack can render differential privacy ineffective to some extent.


title: Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems

abstract: Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of application scenarios, UAS have become increasingly intricate. The challenge of designing and implementing highly reliable UAS while effectively controlling development costs and enhancing efficiency is a pressing issue faced by both academia and industry. Addressing this challenge, this paper aims to investigate an integrated approach to modeling, verification, and code generation for UAS. The paper begins by utilizing Architecture Analysis and Design Language (AADL) to model the UAS, proposing a set of generic UAS models. Based on these models, formal specifications are written to describe the system's safety properties and functions. Finally, the paper introduces a method for generating flight controller code for UAS based on the verified models. Experiments conducted with the proposed method demonstrate its effectiveness in identifying potential vulnerabilities in the UAS during the early design phase and in generating viable flight controller code from the verified models. This approach can enhance the efficiency of designing and verifying high-reliability UAS.


title: SeMOPO: Learning High-quality Model and Policy from Low-quality Offline Visual Datasets

abstract: Model-based offline reinforcement Learning (RL) is a promising approach that leverages existing data effectively in many real-world applications, especially those involving high-dimensional inputs like images and videos. To alleviate the distribution shift issue in offline RL, existing model-based methods heavily rely on the uncertainty of learned dynamics. However, the model uncertainty estimation becomes significantly biased when observations contain complex distractors with non-trivial dynamics. To address this challenge, we propose a new approach - \emph{Separated Model-based Offline Policy Optimization} (SeMOPO) - decomposing latent states into endogenous and exogenous parts via conservative sampling and estimating model uncertainty on the endogenous states only. We provide a theoretical guarantee of model uncertainty and performance bound of SeMOPO. To assess the efficacy, we construct the Low-Quality Vision Deep Data-Driven Datasets for RL (LQV-D4RL), where the data are collected by non-expert policy and the observations include moving distractors. Experimental results show that our method substantially outperforms all baseline methods, and further analytical experiments validate the critical designs in our method. The project website is \href{https://sites.google.com/view/semopo}{https://sites.google.com/view/semopo}.


title: Three-space as a quantum hyper-layer in 1+3 dimensions

abstract: We discuss a formalism where a universe is identified with the support of a wave function propagating through space-time. As opposed to classical cosmology, the resulting universe is not a spacelike section of some space-time, but a hyper-layer of a finite timelike width, a set which is not a three-dimensional submanifold of space-time. We test the formalism on the example of a universe that contains a single harmonic oscillator (a generalization of the curvature-dependent Cari\~nena-Ra\~nada-Santander (CRS) model). As opposed to the original CRS formulation, here the curvature is not a parameter but a quantum observable, a function of the world-position operator. It is shown that asymptotically, for large values of the invariant evolution parameter $\tau$, one reconstructs the standard quantum results, with one modifiication: The effective (renormalized) mass of the oscillator decreases with $\tau$. The effect does not seem to be a peculiarity of harmonic oscillators, so one may speculate that masses of distant elementary quantum systems are greater from their values known from our quantum mechanical measurements.


title: Note on a Theoretical Justification for Approximations of Arithmetic Forwards

abstract: This brief note explores the theoretical justification for some approximations of arithmetic forwards ($F_a$) with weighted averages of overnight (ON) forwards ($F_k$). The central equation presented in this analysis is: \begin{equation*} F_a(0;T_s,T_e)=\frac{1}{\tau(T_s,T_e)}\sum_{k=1}^K \tau_k \mathcal{A}_k F_k\,, \end{equation*} with $\mathcal{A}_k$ being explicit model-dependent quantities that, under certain market scenarios, are close to one. We will present computationally cheaper methods that approximate $F_a$, i.e., we will define some $\{\tilde{\mathcal{A}}_k\}_{k=1}^K$ such that \begin{equation*} F_a(0;T_s,T_e)\approx \frac{1}{\tau(T_s,T_e)}\sum_{k=1}^K \tilde{\mathcal{A}}_k \tau_k F_k\,. \end{equation*} We also demonstrate that one of these forms can be closely aligned with an approximation suggested by Katsumi Takada in his work on the valuation of arithmetic averages of Fed Funds rates.


title: Language-driven Grasp Detection

abstract: Grasp detection is a persistent and intricate challenge with various industrial applications. Recently, many methods and datasets have been proposed to tackle the grasp detection problem. However, most of them do not consider using natural language as a condition to detect the grasp poses. In this paper, we introduce Grasp-Anything++, a new language-driven grasp detection dataset featuring 1M samples, over 3M objects, and upwards of 10M grasping instructions. We utilize foundation models to create a large-scale scene corpus with corresponding images and grasp prompts. We approach the language-driven grasp detection task as a conditional generation problem. Drawing on the success of diffusion models in generative tasks and given that language plays a vital role in this task, we propose a new language-driven grasp detection method based on diffusion models. Our key contribution is the contrastive training objective, which explicitly contributes to the denoising process to detect the grasp pose given the language instructions. We illustrate that our approach is theoretically supportive. The intensive experiments show that our method outperforms state-of-the-art approaches and allows real-world robotic grasping. Finally, we demonstrate our large-scale dataset enables zero-short grasp detection and is a challenging benchmark for future work. Project website: https://airvlab.github.io/grasp-anything/


title: Newswire: A Large-Scale Structured Database of a Century of Historical News

abstract: In the U.S. historically, local newspapers drew their content largely from newswires like the Associated Press. Historians argue that newswires played a pivotal role in creating a national identity and shared understanding of the world, but there is no comprehensive archive of the content sent over newswires. We reconstruct such an archive by applying a customized deep learning pipeline to hundreds of terabytes of raw image scans from thousands of local newspapers. The resulting dataset contains 2.7 million unique public domain U.S. newswire articles, written between 1878 and 1977. Locations in these articles are georeferenced, topics are tagged using customized neural topic classification, named entities are recognized, and individuals are disambiguated to Wikipedia using a novel entity disambiguation model. To construct the Newswire dataset, we first recognize newspaper layouts and transcribe around 138 millions structured article texts from raw image scans. We then use a customized neural bi-encoder model to de-duplicate reproduced articles, in the presence of considerable abridgement and noise, quantifying how widely each article was reproduced. A text classifier is used to ensure that we only include newswire articles, which historically are in the public domain. The structured data that accompany the texts provide rich information about the who (disambiguated individuals), what (topics), and where (georeferencing) of the news that millions of Americans read over the course of a century. We also include Library of Congress metadata information about the newspapers that ran the articles on their front pages. The Newswire dataset is useful both for large language modeling - expanding training data beyond what is available from modern web texts - and for studying a diversity of questions in computational linguistics, social science, and the digital humanities.


title: High-order implicit solver in conservative formulation for tokamak plasma transport equations

abstract: An efficient numerical scheme for solving transport equations for tokamak plasmas within an integrated modelling framework is presented. The plasma transport equations are formulated as diffusion-advection equations in two coordinates (a temporal and a spatial) featuring stiff non-linearities. The presented numerical scheme aims to minimise computational costs, which are associated with repeated calls of numerically expensive physical models in a processes of time stepping and non-linear convergence within an integrated modelling framework. The spatial discretisation is based on the 4th order accurate Interpolated Differential Operator in Conservative Formulation, the time-stepping method is the 2nd order accurate implicit Runge-Kutta scheme, and an under-relaxed Picard iteration is used for accelerating non-linear convergence. Temporal and spatial accuracies of the scheme allow for coarse grids, and the implicit time-stepping method together with the non-linear convergence approach contributes to robust and fast non-linear convergence. The spatial discretisation method enforces conservation in spatial coordinate up to the machine precision. The numerical scheme demonstrates accurate, stable and fast non-linear convergence in numerical tests using analytical stiff transport model. In particular, the 2nd order accuracy in time stepping significantly improves the overall convergence properties and the accuracy of simulating transient processes in comparison to the 1st order schemes.


title: Shadow and strong gravitational lensing of new wormhole solutions supported by embedding Class-I condition

abstract: This study deals with the new class of embedded wormhole solutions in the background of general relativity. Two newly calculated wormhole solutions satisfy all the required properties. All the energy conditions are discussed through their validity regions for the different ranges of involved parameters. In maximum regions, all energy conditions are violated. We investigate the shadow and strong gravitational lensing by the wormhole throat for the two new wormhole models, namely Model-I and Model-II. The present paper considers the wormhole throat to act as a photon sphere. We first derive null geodesics using the Hamilton-Jacobi separation method to investigate the shadow and strong gravitational lensing caused by the wormhole throat. We then numerically obtain the radius of wormhole shadow, strong deflection angle, and various lensing observables by taking the example of supermassive black M87* and Sgr A* in the context of both Model-I and Model-II. Keeping all other parameters fixed, it is observed that the parameters $\zeta_1$ and $\zeta_2$ for Model-I; and $\chi_1$ and $\chi_2$ for Model-II have significant effects on the wormhole shadow and strong gravitational lensing phenomena. Our conclusion is that it is possible to detect relativistic images, such as Einstein rings, produced by wormholes with throat radii of $r_{th}=3M$. Additionally, current technology enables us to test hypotheses related to astrophysical wormholes.


title: Validation of human benchmark models for Automated Driving System approval: How competent and careful are they really?

abstract: Advanced Driver Assistance Systems (ADAS) and Automated Driving Systems (ADS) are expected to improve comfort, productivity and, most importantly, safety for all road users. To ensure that the systems are safe, rules and regulations describing the systems' approval and validation procedures are in effect in Europe. The UNECE Regulation 157 (R157) is one of those. Annex 3 of R157 describes two driver models, representing the performance of a "competent and careful" driver, which can be used as benchmarks to determine whether, in certain situations, a crash would be preventable by a human driver. However, these models have not been validated against human behavior in real safety-critical events. Therefore, this study uses counterfactual simulation to assess the performance of the two models when applied to 38 safety-critical cut-in near-crashes from the SHRP2 naturalistic driving study. The results show that the two computational models performed rather differently from the human drivers: one model showed a generally delayed braking reaction compared to the human drivers, causing crashes in three of the original near-crashes. The other model demonstrated, in general, brake onsets substantially earlier than the human drivers, possibly being overly sensitive to lateral perturbations. That is, the first model does not seem to behave as the competent and careful driver it is supposed to represent, while the second seems to be overly careful. Overall, our results show that, if models are to be included in regulations, they need to be substantially improved. We argue that achieving this will require better validation across the scenario types that the models are intended to cover (e.g., cut-in conflicts), a process which should include applying the models counterfactually to near-crashes and validating them against several different safety related metrics.


title: The Second DISPLACE Challenge : DIarization of SPeaker and LAnguage in Conversational Environments

abstract: The DIarization of SPeaker and LAnguage in Conversational Environments (DISPLACE) 2024 challenge is the second in the series of DISPLACE challenges, which involves tasks of speaker diarization (SD) and language diarization (LD) on a challenging multilingual conversational speech dataset. In the DISPLACE 2024 challenge, we also introduced the task of automatic speech recognition (ASR) on this dataset. The dataset containing 158 hours of speech, consisting of both supervised and unsupervised mono-channel far-field recordings, was released for LD and SD tracks. Further, 12 hours of close-field mono-channel recordings were provided for the ASR track conducted on 5 Indian languages. The details of the dataset, baseline systems and the leader board results are highlighted in this paper. We have also compared our baseline models and the team's performances on evaluation data of DISPLACE-2023 to emphasize the advancements made in this second version of the challenge.


title: Fair Data Generation via Score-based Diffusion Model

abstract: The fairness of AI decision-making has garnered increasing attention, leading to the proposal of numerous fairness algorithms. In this paper, we aim not to address this issue by directly introducing fair learning algorithms, but rather by generating entirely new, fair synthetic data from biased datasets for use in any downstream tasks. Additionally, the distribution of test data may differ from that of the training set, potentially impacting the performance of the generated synthetic data in downstream tasks. To address these two challenges, we propose a diffusion model-based framework, FADM: Fairness-Aware Diffusion with Meta-training. FADM introduces two types of gradient induction during the sampling phase of the diffusion model: one to ensure that the generated samples belong to the desired target categories, and another to make the sensitive attributes of the generated samples difficult to classify into any specific sensitive attribute category. To overcome data distribution shifts in the test environment, we train the diffusion model and the two classifiers used for induction within a meta-learning framework. Compared to other baselines, FADM allows for flexible control over the categories of the generated samples and exhibits superior generalization capability. Experiments on real datasets demonstrate that FADM achieves better accuracy and optimal fairness in downstream tasks.


title: You are what you eat? Feeding foundation models a regionally diverse food dataset of World Wide Dishes

abstract: Foundation models are increasingly ubiquitous in our daily lives, used in everyday tasks such as text-image searches, interactions with chatbots, and content generation. As use increases, so does concern over the disparities in performance and fairness of these models for different people in different parts of the world. To assess these growing regional disparities, we present World Wide Dishes, a mixed text and image dataset consisting of 765 dishes, with dish names collected in 131 local languages. World Wide Dishes has been collected purely through human contribution and decentralised means, by creating a website widely distributed through social networks. Using the dataset, we demonstrate a novel means of operationalising capability and representational biases in foundation models such as language models and text-to-image generative models. We enrich these studies with a pilot community review to understand, from a first-person perspective, how these models generate images for people in five African countries and the United States. We find that these models generally do not produce quality text and image outputs of dishes specific to different regions. This is true even for the US, which is typically considered to be more well-resourced in training data - though the generation of US dishes does outperform that of the investigated African countries. The models demonstrate a propensity to produce outputs that are inaccurate as well as culturally misrepresentative, flattening, and insensitive. These failures in capability and representational bias have the potential to further reinforce stereotypes and disproportionately contribute to erasure based on region. The dataset and code are available at https://github.com/oxai/world-wide-dishes/.


title: On the inclusion of statistical matter in the non-relativistic limit of NS-NS supergravity

abstract: We combine techniques from kinetic theory and string dualities to couple statistical matter to a non-relativistic (NR) supergravity background so that the theory can be reformulated in a T-duality invariant form. While in the relativistic case the many-strings system requires a viscous fluid to describe the statistical matter, the NR formulation of ST simplifies this issue and therefore the system can be described using the perfect fluid technology.


title: The Black Hole Explorer: Photon Ring Science, Detection and Shape Measurement

abstract: General relativity predicts that black hole images ought to display a bright, thin (and as-of-yet-unresolved) ring. This "photon ring" is produced by photons that explore the strong gravity of the black hole, flowing along trajectories that experience extreme light bending within a few Schwarzschild radii of the horizon before escaping. The shape of the photon ring is largely insensitive to the precise details of the emission from the astronomical source surrounding the black hole and therefore provides a direct probe of the Kerr geometry and its parameters. The Black Hole Explorer (BHEX) is a proposed space-based experiment targeting the supermassive black holes M87* and Sgr A* with radio-interferometric observations at frequencies of 100 GHz through 300 GHz and from an orbital distance of ~30,000 km. This design will enable measurements of the photon rings around both M87* and Sgr A*, confirming the Kerr nature of these sources and delivering sharp estimates of their masses and spins.


title: Axion Stars: Mass Functions and Constraints

abstract: The QCD axion and axion-like particles, as leading dark matter candidates, can also have interesting implications for dark matter substructures if the Peccei-Quinn symmetry is broken after inflation. In such a scenario, axion perturbations on small scales will lead to the formation of axion miniclusters at matter-radiation equality, and subsequently the formation of axion stars. Such compact objects open new windows for indirect searches for axions. We compute the axion star mass function based on recent axion minicluster studies and Bose star simulations. Applying this mass function, we find post-inflation axion-like particles with masses $m_a< 3.3 \times 10^{-17}$ eV are constrained by the lack of dynamical heating of stars in ultrafaint dwarfs. We also find that current microlensing surveys are insensitive to QCD axion stars. While we focus on the gravitational detectability of axion stars, our result can be directly applied to other interesting signatures of axion stars, e.g. their decay to photons, that require as input the abundance, mass, and density distribution of axion stars.


title: PSALTer: Particle Spectrum for Any Tensor Lagrangian

abstract: We present the PSALTer software for efficiently computing the mass and energy of the particle spectrum for any (e.g. higher-rank) tensor field theory in the Wolfram Language. The user must provide a Lagrangian density which is expanded quadratically in the fields around a Minkowski vacuum, is linear in the coupling coefficients, and otherwise built from the partial derivative and Minkowski metric. PSALTer automatically computes the spin-projection operators, saturated propagator, bare masses, residues of massive and massless poles and overall unitarity conditions in terms of the coupling coefficients. The constraints on the source currents and total number of gauge symmetries are produced as a by-product. We provide examples from scalar, vector, tensor and gauge theories of gravity. Each example, including spectra of higher-spin modified gravity theories, may be obtained on a personal computer in a matter of minutes. The software is also parallelised for use on high-performance computing resources. The initial release allows for parity-preserving operators constructed from fields of up to rank three: this functionality will be extended in future versions. PSALTer is a contribution to the xAct project.


title: Observational characteristics of circum-planetary-mass-object disks in the era of James Webb Space Telescope

abstract: Recent observations have confirmed circumplanetary disks (CPDs) embedded in parental protoplanetary disks (PPDs). On the other hand, planetary-mass companions (PMCs) and planetary-mass objects (PMOs) are likely to harbor their own accretion disks. Unlike PPDs, CPDs and other disks around planet analogues are generally too compact to be spatially resolved by current instrumentation. In this study, we generate over 4,000 spectral energy distributions (SEDs) of circum-PMO-disks (CPMODs) with various host temperature and disk properties, which can be categorized into four prototypes, i.e., full, pre-transitional, transitional and evolved CPMODs. We propose a classification scheme based on their near-to-mid-infrared colors. Using those CPMOD models, we synthesize JWST (NIRCam and MIRI) photometry for F444W, F1000W and F2550W wide filters. We show F444W - F1000W and F444 - F2550W colors can be applied to distinguish different types of CPMODs, especially for those around hot hosts. Our results indicate that the ongoing and future JWST observations are promising to unveil structures and properties of CPMODs.


title: Universal scaling of Green's functions in disordered non-Hermitian systems

abstract: The competition between non-Hermitian skin effect and Anderson localization leads to various intriguing phenomena concerning spectrums and wavefunctions. Here, we study the linear response of disordered non-Hermitian systems, which is precisely described by the Green's function. We find that the average maximum value of matrix elements of Green's functions, which quantifies the maximum response against an external perturbation, exhibits different phases characterized by different scaling behaviors with respect to the system size. Whereas the exponential-growth phase is also seen in the translation-invariant systems, the algebraic-growth phase is unique to disordered non-Hermitian systems. We explain the findings using the large deviation theory, which provides analytical insights into the algebraic scaling factors of non-Hermitian disordered Green's functions. Furthermore, we show that these scaling behaviors can be observed in the steady states of disordered open quantum systems, offering a quantum-mechanical avenue for their experimental detection. Our work highlights an unexpected interplay between non-Hermitian skin effect and Anderson localization.

categories: cond-mat.mes-hall cond-mat.dis-nn physics.optics quant-ph


title: Test particles in Kaluza-Klein models

abstract: Geodesics in general relativity describe the behaviour of test particles in a gravitational field. In 5D Kaluza-Klein, geodesics reproduce the Lorentz force motion of particles in an electromagnetic field. This paper studies geodesic motion on $M_4 \times K$ in the presence of general gauge fields and Higgs-like scalars. It shows that the classical mass and charge of a test particle become variable quantities when the geodesic traverses regions of spacetime with massive gauge fields, such as the weak force field, or with non-constant Higgs scalars. This agrees with the physical fact that interactions mediated by massive bosons can change the mass and charge of particles. The variation rates of mass and charge along a geodesic are given by natural geometric formulae. In regions where mass is preserved there are additional constants of motion, one for every abelian or simple summand in the Killing algebra of $K$. The last part of the paper discusses traditional difficulties of Kaluza-Klein models, such as the low $q / m$ ratios in the 5D model. It suggests possible ways to circumvent them. It also advocates the naturalness of a model where elementary particles always travel at the speed of light in higher dimensions.


title: Time dependence of neutrino quantum kinetics in a core-collapse supernova

abstract: Our understanding of neutrino flavor conversion in the supernova core is still preliminary, despite its likely relevance to the neutrino-driven supernova mechanism. We present multi-angle and multi-energy numerical simulations of neutrino quantum kinetics within a spherically symmetric shell in the proximity of the region of neutrino decoupling. We rely on inputs from a one-dimensional core-collapse supernova model with a mass of $18.6\ M_\odot$ and find that, at early post-bounce times ($t_{\mathrm pb} \lesssim 0.5$ s), no crossing is present in the angular distribution of the electron neutrino lepton number and flavor conversion develops due to vacuum mixing. Angular crossings appear for $t_{\textrm{pb}} \gtrsim 0.5$ s and fast flavor conversion leads to flavor equipartition, with the spectral energy distribution of $\nu_{e}$ ($\bar{\nu}_{e}$) and $\nu_{x}$ ($\bar{\nu}_{x}$) becoming comparable. Notably, flavor equipartition is not a generic outcome of fast flavor conversion, but rather a consequence of the relatively similar properties of neutrinos of different flavors characterizing the late accretion phase. Artificially tweaking the collision term to introduce an electron lepton number angular crossing for $t_{\mathrm{pb}} \lesssim 0.05$ s, we observe that flavor equipartition is not achieved. While our findings are restricted to a specific supernova model, they suggest a rich phenomenology of flavor conversion in the supernova core as a function of the post-bounce time which needs to be further explored to assess its impact on the explosion mechanism.


title: A Novel Perspective on Ideal Chern Bands with Strong Short-Range Repulsion: Applications to Correlated Metals, Superconductivity, and Topological Order

abstract: Motivated by recent experiments on twisted van der Waals materials, we perform an analytical and numerical study of the effects of strong on-site and short-range interactions in fractionally filled ideal Chern bands. We uncover an extensive non-trivial ground state manifold within the band filling range $0 < \nu < 1$ and introduce a general principle, the ''three-rule'', for combining flatband wave functions, which governs their zero-energy property on the torus geometry. Based on the structure of these wave functions, we develop a variational approach that reveals distinct phases under different perturbations: metallic behavior emerges from a finite dispersion, and superconductivity is induced by attractive Cooper channel interactions. Our approach, not reliant on the commonly applied mean-field approximations, provides an analytical expression for the macroscopic wave function of the off-diagonal long-range order correlator, attributing pairing susceptibility to the set of non-trivial zero-energy ground state wave functions. Extending to finite screening lengths and beyond the ideal limit using exact diagonalization simulations, we demonstrate the peculiar structure in the many-body wave function's coefficients to be imprinted in the low-energy spectrum of the topologically ordered Halperin spin-singlet state. Our findings also make connections to frustration-free models of non-commuting projector Hamiltonians, potentially aiding the future construction of exact ground states for various fractional fillings.


title: The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank

abstract: We construct a convergent family of outer approximations for the problem of optimizing polynomial functions over convex bodies subject to polynomial constraints. This is achieved by generalizing the polarization hierarchy, which has previously been introduced for the study of polynomial optimization problems over state spaces of $C^*$-algebras, to convex cones in finite dimensions. If the convex bodies can be characterized by linear or semidefinite programs, then the same is true for our hierarchy. Convergence is proven by relating the problem to a certain de Finetti theorem for general probabilistic theories, which are studied as possible generalizations of quantum mechanics. We apply the method to the problem of nonnegative matrix factorization, and in particular to the nested rectangles problem. A numerical implementation of the third level of the hierarchy is shown to give rise to a very tight approximation for this problem.


title: Properties of magnetic turbulence in GRB afterglows

abstract: We present a model-independent way to characterise properties of the magnetic-field turbulence in the emitting regions of Gamma-Ray Burst afterglows. Our only assumption is that afterglows' synchrotron radiation is efficient. It turns out that the gyroradius of plasma particles must be smaller (with a good margin) than the correlation length of the magnetic-field fluctuations. Such turbulence is essentially non-linear and therefore must be produced by some kind of MHD instability, likely acting on top of kinetic Weibel instability. We also find that the emitting particles are loosely confined to local magnetic-field structures and diffusion allows them to sample the entire distribution of local magnetization values. This means that one-zone approach to modelling the afterglow spectra is still valid despite the non-linear nature of the magnetic turbulence. However, the non-linear turbulence may (and likely will) change the synchrotron spectrum of individual electrons.


title: A Lightning Introduction to String Theory

abstract: We give a lightning introduction to critical string theory, including the 26-dimensional bosonic string, the 10-dimensional superstrings and heterotic strings with and without spacetime supersymmetry. We also discuss open strings and D-branes, as well as the orientifold constructions, in ten dimensions.


title: CleanDiffuser: An Easy-to-use Modularized Library for Diffusion Models in Decision Making

abstract: Leveraging the powerful generative capability of diffusion models (DMs) to build decision-making agents has achieved extensive success. However, there is still a demand for an easy-to-use and modularized open-source library that offers customized and efficient development for DM-based decision-making algorithms. In this work, we introduce CleanDiffuser, the first DM library specifically designed for decision-making algorithms. By revisiting the roles of DMs in the decision-making domain, we identify a set of essential sub-modules that constitute the core of CleanDiffuser, allowing for the implementation of various DM algorithms with simple and flexible building blocks. To demonstrate the reliability and flexibility of CleanDiffuser, we conduct comprehensive evaluations of various DM algorithms implemented with CleanDiffuser across an extensive range of tasks. The analytical experiments provide a wealth of valuable design choices and insights, reveal opportunities and challenges, and lay a solid groundwork for future research. CleanDiffuser will provide long-term support to the decision-making community, enhancing reproducibility and fostering the development of more robust solutions. The code and documentation of CleanDiffuser are open-sourced on the https://github.com/CleanDiffuserTeam/CleanDiffuser.


title: Topologically Robust Quantum Network Nonlocality

abstract: We discuss quantum network Bell nonlocality in a setting where the network structure is not fully known. More concretely, an honest user may trust their local network topology, but not the structure of the rest of the network, involving distant (and potentially dishonest) parties. We demonstrate that quantum network nonlocality can still be demonstrated in such a setting, hence exhibiting topological robustness. Specifically, we present quantum distributions obtained from a simple network that cannot be reproduced by classical models, even when the latter are based on more powerful networks. In particular, we show that in a large ring network, the knowledge of only a small part of the network structure (involving only 2 or 3 neighbouring parties) is enough to guarantee nonlocality over the entire network. This shows that quantum network nonlocality can be extremely robust to changes in the network topology. Moreover, we demonstrate that applications of quantum nonlocality, such as the black-box certification of randomness and entanglement, are also possible in such a setting.


title: A quantitative explanation of the cyclotron-line variation in accreting magnetic neutron stars of super-critical luminosity

abstract: Magnetic neutron stars (NSs) often exhibit a cyclotron resonant scattering feature (CRSF) in their X-ray spectra. Cyclotron lines are believed to form in the radiative shock in the accretion column. High-luminosity NSs show a smooth anti-correlation between the cyclotron-line centroid ($E_{CRSF}$) and X-ray luminosity ($L_X$). The observed $E_{CRSF}-L_X$ smooth anti-correlation has been in tension with the theoretically predicted one by the radiative shock model. Since there is no other candidate site for the cyclotron-line formation, we re-examine the predicted rate of change of the cyclotron-line energy with luminosity at the radiative shock, taking a closer look at the Physics involved. We developed a purely analytical model describing the overall dependence of the observed cyclotron energy centroid on the shock front's height, including the relativistic boosting effect due to the mildly relativistic motion of the accreting plasma upstream with respect to the shock's reference frame and the gravitational redshift. We find that the CRSF energy varies with a) the shock height due to the dipolar magnetic field, b) the Doppler boosting between the shock and bulk-motion frames, and c) the gravitational redshift. We show that the relativistic effects noticeably weaken the predicted $E_{CRSF}-L_X$ anti-correlation. We use our model to fit the data of the X-ray source V0332+53 and demonstrate that the model fits the data impressively well, alleviating the tension between observations and theory. The reported $E_{CRSF}-L_X$ weak anti-correlation in the supercritical accretion regime may be explained by the combination of the variation of the magnetic-field strength along the accretion column, the effect of Doppler boosting, and the gravitational redshift. Thus, the actual magnetic field on the NS surface may be a factor of $\sim 2$ larger than the naively inferred value from the observed CRSF.


title: The influence of environmental effects on Type Ia Supernovae Standardization

abstract: Type Ia Supernovae (SNe Ia) are used as reliable cosmic distance indicators and their standardization is necessary for a more accurate measurement of the cosmological parameters of the Universe. However, the Hubble diagram still shows some intrinsic dispersion, potentially influenced by the supernova's environment. In this study, we reproduce the Hubble diagram fit for the Pantheon supernova sample, and also investigate the possibility of introducing various standardization equations for supernovae exploded in early- and late-type galaxies. We analyze 330 Pantheon SNe Ia to study how host galaxy morphology affects their standardization. We find that SNe Ia hosted by early-type galaxies have different standardization parameters compared to those hosted by late-type galaxies. We conclude that correcting supernova luminosity for host galaxy morphology is essential to perform the precise cosmological analysis.


title: Fair GLASSO: Estimating Fair Graphical Models with Unbiased Statistical Behavior

abstract: We propose estimating Gaussian graphical models (GGMs) that are fair with respect to sensitive nodal attributes. Many real-world models exhibit unfair discriminatory behavior due to biases in data. Such discrimination is known to be exacerbated when data is equipped with pairwise relationships encoded in a graph. Additionally, the effect of biased data on graphical models is largely underexplored. We thus introduce fairness for graphical models in the form of two bias metrics to promote balance in statistical similarities across nodal groups with different sensitive attributes. Leveraging these metrics, we present Fair GLASSO, a regularized graphical lasso approach to obtain sparse Gaussian precision matrices with unbiased statistical dependencies across groups. We also propose an efficient proximal gradient algorithm to obtain the estimates. Theoretically, we express the tradeoff between fair and accurate estimated precision matrices. Critically, this includes demonstrating when accuracy can be preserved in the presence of a fairness regularizer. On top of this, we study the complexity of Fair GLASSO and demonstrate that our algorithm enjoys a fast convergence rate. Our empirical validation includes synthetic and real-world simulations that illustrate the value and effectiveness of our proposed optimization problem and iterative algorithm.


title: Positive Steady-State Varieties of Small Chemical Reaction Networks

abstract: Chemical reaction network theory is a field of applied mathematics concerned with modeling chemical systems, and can be used in other contexts such as in systems biology to study cellular signaling pathways or epidemiology to study the effect of human interaction on the spread of disease. In this paper, we seek to understand a chemical reaction network's equilibrium points through the lens of algebraic geometry by computing the positive part of the steady-state variety defined by polynomial equations arising from the assumption of mass-action kinetics. We provide a systematic classification of positive steady-state varieties produced by 2-species, 2-reaction networks, grounded in combinatorial and algebraic properties. While some (restricted) techniques exist to fully understand the ideal defining the positive steady-state variety, this computation presents a significant challenge in general. Our classification theorems provide a simplification of previous criteria, and aim to provide a foundation for future analysis of larger networks.


title: Interpolating gauge-fixing for Yang-Mills-Chern-Simons theory in D=3

abstract: The Yang-Mills-Chern-Simons theory in three-dimensional Minkowski space-time is studied in a gauge-fixing scheme which interpolates between the covariant gauge and light-cone gauge, the interpolating gauge-fixing. The ultraviolet finiteness of the theory is proved via the Becchi-Rouet-Stora (BRS) algebraic renormalization procedure, which allows us to demonstrate the vanishing of all $\beta$-functions and all anomalous dimensions to all orders in perturbation theory.


title: The Japanese Vision for the Black Hole Explorer Mission

abstract: The Black Hole Explorer (BHEX) is a next-generation space very long baseline interferometry (VLBI) mission concept that will extend the ground-based millimeter/submillimeter arrays into space. The mission, closely aligned with the science priorities of the Japanese VLBI community, involves an active engagement of this community in the development of the mission, resulting in the formation of the Black Hole Explorer Japan Consortium. Here we present the current Japanese vision for the mission, ranging from scientific objectives to instrumentation. The Consortium anticipates a wide range of scientific investigations, from diverse black hole physics and astrophysics studied through the primary VLBI mode, to the molecular universe explored via a potential single-dish observation mode in the previously unexplored 50-70\,GHz band that would make BHEX the highest-sensitivity explorer ever of molecular oxygen. A potential major contribution for the onboard instrument involves supplying essential elements for its high-sensitivity dual-band receiving system, which includes a broadband 300\,GHz SIS mixer and a space-certified multi-stage 4.5K cryocooler akin to those used in the Hitomi and XRISM satellites by the Japan Aerospace Exploration Agency. Additionally, the Consortium explores enhancing and supporting BHEX operations through the use of millimeter/submillimeter facilities developed by the National Astronomical Observatory of Japan, coupled with a network of laser communication stations operated by the National Institute of Information and Communication Technology.


title: Report on the 61st Annual International Mathematical Olympiad

abstract: We present the problems and solutions to the 61st Annual International Mathematical Olympiad


title: Report on the 50th Annual USA Mathematical Olympiad

abstract: We present the problems and solutions to the 50th Annual USA Mathematical Olympiad.


title: Talking Heads: Understanding Inter-layer Communication in Transformer Language Models

abstract: Although it is known that transformer language models (LMs) pass features from early layers to later layers, it is not well understood how this information is represented and routed by the model. By analyzing particular mechanism LMs use to accomplish this, we find that it is also used to recall items from a list, and show that this mechanism can explain an otherwise arbitrary-seeming sensitivity of the model to the order of items in the prompt. Specifically, we find that models write into low-rank subspaces of the residual stream to represent features which are then read out by specific later layers, forming low-rank communication channels between layers. By decomposing attention head weight matrices with the Singular Value Decomposition (SVD), we find that previously described interactions between heads separated by one or more layers can be predicted via analysis of their weight matrices. We show that it is possible to manipulate the internal model representations as well as edit model weights based on the mechanism we discover in order to significantly improve performance on our synthetic Laundry List task, which requires recall from a list, often improving task accuracy by over 20%. Our analysis reveals a surprisingly intricate interpretable structure learned from language model pretraining, and helps us understand why sophisticated LMs sometimes fail in simple domains, facilitating future analysis of more complex behaviors.


title: A Systematic Review of Generative AI for Teaching and Learning Practice

abstract: The use of generative artificial intelligence (GenAI) in academia is a subjective and hotly debated topic. Currently, there are no agreed guidelines towards the usage of GenAI systems in higher education (HE) and, thus, it is still unclear how to make effective use of the technology for teaching and learning practice. This paper provides an overview of the current state of research on GenAI for teaching and learning in HE. To this end, this study conducted a systematic review of relevant studies indexed by Scopus, using the preferred reporting items for systematic reviews and meta-analyses (PRISMA) guidelines. The search criteria revealed a total of 625 research papers, of which 355 met the final inclusion criteria. The findings from the review showed the current state and the future trends in documents, citations, document sources/authors, keywords, and co-authorship. The research gaps identified suggest that while some authors have looked at understanding the detection of AI-generated text, it may be beneficial to understand how GenAI can be incorporated into supporting the educational curriculum for assessments, teaching, and learning delivery. Furthermore, there is a need for additional interdisciplinary, multidimensional studies in HE through collaboration. This will strengthen the awareness and understanding of students, tutors, and other stakeholders, which will be instrumental in formulating guidelines, frameworks, and policies for GenAI usage.


title: Randomization Inference: Theory and Applications

abstract: We review approaches to statistical inference based on randomization. Permutation tests are treated as an important special case. Under a certain group invariance property, referred to as the ``randomization hypothesis,'' randomization tests achieve exact control of the Type I error rate in finite samples. Although this unequivocal precision is very appealing, the range of problems that satisfy the randomization hypothesis is somewhat limited. We show that randomization tests are often asymptotically, or approximately, valid and efficient in settings that deviate from the conditions required for finite-sample error control. When randomization tests fail to offer even asymptotic Type 1 error control, their asymptotic validity may be restored by constructing an asymptotically pivotal test statistic. Randomization tests can then provide exact error control for tests of highly structured hypotheses with good performance in a wider class of problems. We give a detailed overview of several prominent applications of randomization tests, including two-sample permutation tests, regression, and conformal inference.


title: AOC: Analysis of Orthologous Collections -- an application for the characterization of natural selection in protein-coding sequences

abstract: Motivation Modern molecular sequence analysis increasingly relies on automated and robust software tools for interpretation, annotation, and biological insight. The Analysis of Orthologous Collections (AOC) application automates the identification of genomic sites and species/lineages influenced by natural selection in coding sequence analysis. AOC quantifies different types of selection: negative, diversifying or directional positive, or differential selection between groups of branches. We include all steps necessary to go from unaligned homologous sequences to complete results and interactive visualizations that are designed to aid in the useful interpretation and contextualization. Results We are motivated by a desire to make evolutionary analyses as simple as possible, and to close the disparity in the literature between genes which draw a significant amount of interest and those that are largely overlooked and underexplored. We believe that such underappreciated and understudied genetic datasets can hold rich biological information and offer substantial insights into the diverse patterns and processes of evolution, especially if domain experts are able to perform the analyses themselves. Availability and implementation A Snakemake [M\"older et al., 2021] application implementation is publicly available on GitHub at https://github.com/aglucaci/AnalysisOfOrthologousCollections and is accompanied by software documentation and a tutorial.