title: Implications of computer science theory for the simulation hypothesis

abstract: The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns \textit{computers} that simulate physical universes, which means that to formally investigate it we need to couple computer science theory with physics. Here I couple those fields with the physical Church-Turing thesis. I then exploit that coupling to investigate of some of the computer science theory aspects of the simulation hypothesis. In particular, I use Kleene's second recursion theorem to prove that it is mathematically possible for us to be a simulation that is being run on a computer - by us. In such a self-simulation, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; and briefly investigate the graphical structure of universes simulating universes simulating universes ..., among other issues. I end by describing some of the possible avenues for future research.


title: TimeFlows: Visualizing Process Chronologies from Vast Collections of Heterogeneous Information Objects

abstract: In many fact-finding investigations, notably parliamentary inquiries, process chronologies are created to reconstruct how a controversial policy or decision came into existence. Current approaches, like timelines, lack the expressiveness to represent the variety of relations in which historic events may link to the overall chronology. This obfuscates the nature of the interdependence among the events, and the texts from which they are distilled. Based on explorative interviews with expert analysts, we propose an extended, rich set of relationships. We describe how these can be visualized as TimeFlows. We provide an example of such a visualization by illustrating the Childcare Benefits Scandal -- an affair that deeply affected Dutch politics in recent years. This work extends the scope of existing process discovery research into the direction of unveiling non-repetitive processes from unstructured information objects.


title: Extended Thermodynamic and Mechanical Evolution Criterion for Fluids

abstract: The Glansdorff and Prigogine General Evolution Criterion (GEC) is an inequality that holds for macroscopic physical systems obeying local equilibrium and that are constrained under timeindependent boundary conditions. The latter, however, may prove overly restrictive for many applications involving fluid flow in physics, chemistry and biology. We therefore analyze in detail a physically more-encompassing evolution criterion for time-dependent convective viscous flow with time-dependent boundary conditions. The result is an inequality involving the sum of a bulk volume and a surface contribution, and reduces to the GEC if and only if the surface term is zero. We use the closed-form analytical solution of the starting flow problem in straight cylindrical pipes to confirm this extended general evolution criterion. We next validate the starting flow problem and evolution criterion numerically. Numerical methods are used to validate the extended evolution criterion in non-fully developed flows inside complex geometries with curvature and torsion, such as encountered in sections of helical pipes. Knowledge of only the algebraic sign of the surface contribution is sufficient for predicting how the volume thermodynamic forces evolve in time and how the system approaches its non-equilibrium stationary state consistent with the boundary conditions.


title: Human Latency Conversational Turns for Spoken Avatar Systems

abstract: A problem with many current Large Language Model (LLM) driven spoken dialogues is the response time. Some efforts such as Groq address this issue by lightning fast processing of the LLM, but we know from the cognitive psychology literature that in human-to-human dialogue often responses occur prior to the speaker completing their utterance. No amount of delay for LLM processing is acceptable if we wish to maintain human dialogue latencies. In this paper, we discuss methods for understanding an utterance in close to real time and generating a response so that the system can comply with human-level conversational turn delays. This means that the information content of the final part of the speaker's utterance is lost to the LLM. Using the Google NaturalQuestions (NQ) database, our results show GPT-4 can effectively fill in missing context from a dropped word at the end of a question over 60% of the time. We also provide some examples of utterances and the impacts of this information loss on the quality of LLM response in the context of an avatar that is currently under development. These results indicate that a simple classifier could be used to determine whether a question is semantically complete, or requires a filler phrase to allow a response to be generated within human dialogue time constraints.


title: LlamaTouch: A Faithful and Scalable Testbed for Mobile UI Automation Task Evaluation

abstract: The emergent large language/multimodal models facilitate the evolution of mobile agents, especially in the task of mobile UI automation. However, existing evaluation approaches, which rely on human validation or established datasets to compare agent-predicted actions with predefined ones, are unscalable and unfaithful. To overcome these limitations, this paper presents LlamaTouch, a testbed for on-device agent execution and faithful, scalable agent evaluation. By observing that the task execution process only transfers UI states, LlamaTouch employs a novel evaluation approach that only assesses whether an agent traverses all manually annotated, essential application/system states. LlamaTouch comprises three key techniques: (1) On-device task execution that enables mobile agents to interact with real mobile environments for task completion. (2) Fine-grained UI component annotation that merges pixel-level screenshots and textual screen hierarchies to explicitly identify and precisely annotate essential UI components with a rich set of designed annotation primitives. (3) A multi-level state matching algorithm that utilizes exact and fuzzy matching to accurately detect critical information in each screen with unpredictable UI layout/content dynamics. LlamaTouch currently incorporates four mobile agents and 495 UI automation tasks, encompassing both tasks in the widely-used datasets and our self-constructed ones for more diverse mobile applications. Evaluation results demonstrate the LlamaTouch's high faithfulness of evaluation in real environments and its better scalability than human validation. LlamaTouch also enables easy task annotation and integration of new mobile agents. Code and dataset are publicly available at https://github.com/LlamaTouch/LlamaTouch.


title: Assessing Climate Transition Risks in the Colombian Processed Food Sector: A Fuzzy Logic and Multicriteria Decision-Making Approach

abstract: Climate risk assessment is becoming increasingly important. For organisations, identifying and assessing climate-related risks is challenging, as they can come from multiple sources. This study identifies and assesses the main climate transition risks in the colombian processed food sector. As transition risks are vague, our approach uses Fuzzy Logic and compares it to various multi-criteria decision-making methods to classify the different climate transition risks an organisation may be exposed to. This approach allows us to use linguistic expressions for risk analysis and to better describe risks and their consequences. The results show that the risks ranked as the most critical for this organisation in their order were price volatility and raw materials availability, the change to less carbon-intensive production or consumption patterns, the increase in carbon taxes and technological change, and the associated development or implementation costs. These risks show a critical risk level, which implies that they are the most significant risks for the organisation in the case study. These results highlight the importance of investments needed to meet regulatory requirements, which are the main drivers for organisations at the financial level.


title: Intelligent Machines and Incomplete Information

abstract: The distribution of efficient individuals in the economy and the efforts that they will put in if they are hired, there are two important concerns for a technologically advanced firm. wants to open a new branch. The firm does not have information about the exact level of efficiency of an individual when she is hired. We call this situation incomplete information. The standard principal agent models assume that employees know their efficiency levels. Hence these models design incentive-compatible mechanisms. An incentive-compatible mechanism ensures that a participant does not have the incentive to misreport her efficiency level. This paper does not assume that employees know how efficient they are. This paper assumes that the production technology of the firm is intelligent, that is, the output of the machine reveals the efficiency levels of employees. Employees marginal contributions to the total output of the intelligent machine, the probability distribution of the levels of efficiency and employees costs of efforts together define a game of incomplete information. A characterization of ex-ante Nash Equilibrium is established. The results of the characterization formalize the relationship between the distribution of efficiency levels and the distribution of output.


title: LuminLab: An AI-Powered Building Retrofit and Energy Modelling Platform

abstract: This paper describes the technical and conceptual development of the LuminLab platform, an online tool that integrates a purpose-fit human-centric AI chatbot and predictive energy model into a streamlined front-end that can rapidly produce and discuss building retrofit plans in natural language. The platform provides users with the ability to engage with a range of possible retrofit pathways tailored to their individual budget and building needs on-demand. Given the complicated and costly nature of building retrofit projects, which rely on a variety of stakeholder groups with differing goals and incentives, we feel that AI-powered tools such as this have the potential to pragmatically de-silo knowledge, improve communication, and empower individual homeowners to undertake incremental retrofit projects that might not happen otherwise.


title: Sign Changing Critical Points for Locally Lipschitz Functionals

abstract: In this paper, some existence results for sign-changing critical points of locally Lipschitz functionals in real Banach space are obtained by the method combining the invariant sets of descending ow method with a quantitative deformation. First we assume the locally Lipschitz functionals to be outwardly directed on the the boundary of some closed convex sets of the real Banach space. By using the relation between the critical points on the Banach space and those of the closed convex sets, we construct a quantitative deformation lemma, and then we obtain some linking type of critical points theorems. These theoretical results can be applied to the study of the existence of sign-changing solutions for differential inclusion problems. In contrast with the related results in the literatures, the main results of this paper relax the requirement that the functional being of C1 continuous to locally Lipschitz.


title: Modular Biframes for Operators

abstract: One of the most important problems in the studying of frames and its extensions is the invariance of these systems under perturbation. The current paper is concerned with the invariance of Modular biframes for operators under some class of closed range operators.


title: Pocket Schlieren: a background oriented schlieren imaging platform on a smartphone

abstract: Background-oriented schlieren (BOS) is a powerful technique for flow visualization. Nevertheless, the widespread dissemination of BOS is impeded by its dependence on scientific cameras, computing hardware, and dedicated analysis software. In this work, we aim to democratize BOS by providing a smartphone based scientific tool called "Pocket Schlieren". Pocket Schlieren enables users to directly capture, process, and visualize flow phenomena on their smartphones. The underlying algorithm incorporates consecutive frame subtraction (CFS) and optical flow (OF) techniques to compute the density gradients inside a flow. It performs on both engineered and natural background patterns. Using Pocket Schlieren, we successfully visualized the flow produced from a burning candle flame, butane lighter, hot soldering iron, room heater, water immersion heating rod, and a large outdoor butane flame. Pocket Schlieren promises to serve as a frugal yet potent instrument for scientific and educational purposes. We have made it publicly available at doi: 10.5281/zenodo.10949271.


title: Dynamic Many Valued Logic Systems in Theoretical Economics

abstract: This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization.


title: QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck

abstract: This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores. Moreover, if a counterexample is found, the run-time can also shrink the test case in parallel, implementing a parallel search for a locally minimal counterexample. Our experimental results show a 3--9$\times$ speed-up for testing QuickCheck properties on a variety of heavy-weight benchmark problems. We also evaluate two different shrinking strategies; deterministic shrinking, which guarantees to produce the same minimal test case as standard sequential shrinking, and greedy shrinking, which does not have this guarantee but still produces a locally minimal test case, and is faster in practice.


title: Chronological Outlooks of Globe Illustrated with Web-Based Visualization

abstract: Developing visualizations with comprehensive annotations is crucial for research and educational purposes. We've been experimenting with various visualization tools like Plotly, Plotly.js, and D3.js to analyze global trends, focusing on areas such as Global Terrorism, the Global Air Quality Index (AQI), and Global Population dynamics. These visualizations help us gain insights into complex research topics, facilitating better understanding and analysis. We've created a single web homepage that links to three distinct visualization web pages, each exploring specific topics in depth. These webpages have been deployed on free cloud hosting servers such as Vercel and Render.


title: Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications

abstract: Given the sheer volume of surgical procedures and the significant rate of postoperative fatalities, assessing and managing surgical complications has become a critical public health concern. Existing artificial intelligence (AI) tools for risk surveillance and diagnosis often lack adequate interpretability, fairness, and reproducibility. To address this, we proposed an Explainable AI (XAI) framework designed to answer five critical questions: why, why not, how, what if, and what else, with the goal of enhancing the explainability and transparency of AI models. We incorporated various techniques such as Local Interpretable Model-agnostic Explanations (LIME), SHapley Additive exPlanations (SHAP), counterfactual explanations, model cards, an interactive feature manipulation interface, and the identification of similar patients to address these questions. We showcased an XAI interface prototype that adheres to this framework for predicting major postoperative complications. This initial implementation has provided valuable insights into the vast explanatory potential of our XAI framework and represents an initial step towards its clinical adoption.


title: mmWave Wearable Antenna for Interaction with VR Devices

abstract: The VR industry is one of the most promising industries for the near future, as it can provide a more immersive connection between people and the virtual world. Currently, VR devices interact with people using inconvenient controllers or cameras that perform poorly in dark environments. Interaction through millimeter-wave wearable devices has the potential to conveniently track human behavior regardless of the lighting conditions. In this study, a millimeter-wave wearable antenna was developed, opening up the possibility for more immersive interaction with VR devices. The antenna features a low loss tangent polyester fabric to minimize dielectric losses and a smooth coating to reduce losses due to rough surfaces. The antenna operates in the 24GHz ISM band, with an S11 value of -29dB at 24.15GHz.


title: Social Media Use is Predictable from App Sequences: Using LSTM and Transformer Neural Networks to Model Habitual Behavior

abstract: The present paper introduces a novel approach to studying social media habits through predictive modeling of sequential smartphone user behaviors. While much of the literature on media and technology habits has relied on self-report questionnaires and simple behavioral frequency measures, we examine an important yet understudied aspect of media and technology habits: their embeddedness in repetitive behavioral sequences. Leveraging Long Short-Term Memory (LSTM) and transformer neural networks, we show that (i) social media use is predictable at the within and between-person level and that (ii) there are robust individual differences in the predictability of social media use. We examine the performance of several modeling approaches, including (i) global models trained on the pooled data from all participants, (ii) idiographic person-specific models, and (iii) global models fine-tuned on person-specific data. Neither person-specific modeling nor fine-tuning on person-specific data substantially outperformed the global models, indicating that the global models were able to represent a variety of idiosyncratic behavioral patterns. Additionally, our analyses reveal that the person-level predictability of social media use is not substantially related to the frequency of smartphone use in general or the frequency of social media use, indicating that our approach captures an aspect of habits that is distinct from behavioral frequency. Implications for habit modeling and theoretical development are discussed.


title: Layout2Rendering: AI-aided Greenspace design

abstract: In traditional human living environment landscape design, the establishment of three-dimensional models is an essential step for designers to intuitively present the spatial relationships of design elements, as well as a foundation for conducting landscape analysis on the site. Rapidly and effectively generating beautiful and realistic landscape spaces is a significant challenge faced by designers. Although generative design has been widely applied in related fields, they mostly generate three-dimensional models through the restriction of indicator parameters. However, the elements of landscape design are complex and have unique requirements, making it difficult to generate designs from the perspective of indicator limitations. To address these issues, this study proposes a park space generative design system based on deep learning technology. This system generates design plans based on the topological relationships of landscape elements, then vectorizes the plan element information, and uses Grasshopper to generate three-dimensional models while synchronously fine-tuning parameters, rapidly completing the entire process from basic site conditions to model effect analysis. Experimental results show that: (1) the system, with the aid of AI-assisted technology, can rapidly generate space green space schemes that meet the designer's perspective based on site conditions; (2) this study has vectorized and three-dimensionalized various types of landscape design elements based on semantic information; (3) the analysis and visualization module constructed in this study can perform landscape analysis on the generated three-dimensional models and produce node effect diagrams, allowing users to modify the design in real time based on the effects, thus enhancing the system's interactivity.


title: SemEval-2024 Task 9: BRAINTEASER: A Novel Task Defying Common Sense

abstract: While vertical thinking relies on logical and commonsense reasoning, lateral thinking requires systems to defy commonsense associations and overwrite them through unconventional thinking. Lateral thinking has been shown to be challenging for current models but has received little attention. A recent benchmark, BRAINTEASER, aims to evaluate current models' lateral thinking ability in a zero-shot setting. In this paper, we split the original benchmark to also support fine-tuning setting and present SemEval Task 9: BRAIN-TEASER(S), the first task at this competition designed to test the system's reasoning and lateral thinking ability. As a popular task, BRAINTEASER(S)'s two subtasks receive 483 team submissions from 182 participants during the competition. This paper provides a fine-grained system analysis of the competition results, together with a reflection on what this means for the ability of the systems to reason laterally. We hope that the BRAINTEASER(S) subtasks and findings in this paper can stimulate future work on lateral thinking and robust reasoning by computational models.


title: Interactive Visual Learning for Stable Diffusion

abstract: Diffusion-based generative models' impressive ability to create convincing images has garnered global attention. However, their complex internal structures and operations often pose challenges for non-experts to grasp. We introduce Diffusion Explainer, the first interactive visualization tool designed to elucidate how Stable Diffusion transforms text prompts into images. It tightly integrates a visual overview of Stable Diffusion's complex components with detailed explanations of their underlying operations. This integration enables users to fluidly transition between multiple levels of abstraction through animations and interactive elements. Offering real-time hands-on experience, Diffusion Explainer allows users to adjust Stable Diffusion's hyperparameters and prompts without the need for installation or specialized hardware. Accessible via users' web browsers, Diffusion Explainer is making significant strides in democratizing AI education, fostering broader public access. More than 7,200 users spanning 113 countries have used our open-sourced tool at https://poloclub.github.io/diffusion-explainer/. A video demo is available at https://youtu.be/MbkIADZjPnA.


title: VeGAn-Tool: A Fuzzy-logic Approach for Value-based Goal Model Analysis

abstract: Goal-oriented analysis tools are used to assess goal models and assist analysts in decision-making. We introduce the VeGAn-Tool, which prioritizes goals according to their qualitative importance for the stakeholders and propagates this information in the goal model according to the different types of relationships. The FTOPSIS technique is used to calculate the value of each intentional element by employing the fuzzified importance (importance level fuzzified and refined by a confidence level) and the impact among the related intentional elements. The result is a prioritized goal model according to the value of each intentional element from the stakeholders' point of view.


title: Augmenting the Author: Exploring the Potential of AI Collaboration in Academic Writing

abstract: This workshop paper presents a critical examination of the integration of Generative AI (Gen AI) into the academic writing process, focusing on the use of AI as a collaborative tool. It contrasts the performance and interaction of two AI models, Gemini and ChatGPT, through a collaborative inquiry approach where researchers engage in facilitated sessions to design prompts that elicit specific AI responses for crafting research outlines. This case study highlights the importance of prompt design, output analysis, and recognizing the AI's limitations to ensure responsible and effective AI integration in scholarly work. Preliminary findings suggest that prompt variation significantly affects output quality and reveals distinct capabilities and constraints of each model. The paper contributes to the field of Human-Computer Interaction by exploring effective prompt strategies and providing a comparative analysis of Gen AI models, ultimately aiming to enhance AI-assisted academic writing and prompt a deeper dialogue within the HCI community.


title: Playing Board Games with the Predict Results of Beam Search Algorithm

abstract: This paper introduces a novel algorithm for two-player deterministic games with perfect information, which we call PROBS (Predict Results of Beam Search). Unlike existing methods that predominantly rely on Monte Carlo Tree Search (MCTS) for decision processes, our approach leverages a simpler beam search algorithm. We evaluate the performance of our algorithm across a selection of board games, where it consistently demonstrates an increased winning ratio against baseline opponents. A key result of this study is that the PROBS algorithm operates effectively, even when the beam search size is considerably smaller than the average number of turns in the game.


title: Renewable Technologies: Advantages, Disadvantages and Strategic Policies

abstract: This article evaluates the types of typical renewable energy technologies separately. Switching from fossil-fuel-based technology to green energies is time-consuming and requires a high investment cost. In addition, the production of energy by new technology may cause the deactivation of some power plants, which will result in unemployment and negative economic growth impacts. In this research, the policies of different countries have been investigated, and strategies for developing these resources have been proposed.


title: Explaining AI Decisions: Towards Achieving Human-Centered Explainability in Smart Home Environments

abstract: Smart home systems are gaining popularity as homeowners strive to enhance their living and working environments while minimizing energy consumption. However, the adoption of artificial intelligence (AI)-enabled decision-making models in smart home systems faces challenges due to the complexity and black-box nature of these systems, leading to concerns about explainability, trust, transparency, accountability, and fairness. The emerging field of explainable artificial intelligence (XAI) addresses these issues by providing explanations for the models' decisions and actions. While state-of-the-art XAI methods are beneficial for AI developers and practitioners, they may not be easily understood by general users, particularly household members. This paper advocates for human-centered XAI methods, emphasizing the importance of delivering readily comprehensible explanations to enhance user satisfaction and drive the adoption of smart home systems. We review state-of-the-art XAI methods and prior studies focusing on human-centered explanations for general users in the context of smart home applications. Through experiments on two smart home application scenarios, we demonstrate that explanations generated by prominent XAI techniques might not be effective in helping users understand and make decisions. We thus argue for the necessity of a human-centric approach in representing explanations in smart home systems and highlight relevant human-computer interaction (HCI) methodologies, including user studies, prototyping, technology probes analysis, and heuristic evaluation, that can be employed to generate and present human-centered explanations to users.


title: Validating Traces of Distributed Programs Against TLA+ Specifications

abstract: TLA+ is a formal language for specifying systems, including distributed algorithms, that is supported by powerful verification tools. In this work we present a framework for relating traces of distributed programs to high-level specifications written inTLA+. The problem is reduced to a constrained model checking problem, realized using the TLC model checker. Our framework consists of an API for instrumenting Java programs in order to record traces of executions, of a collection of TLA+ operators that are used for relating those traces to specifications, and of scripts for running the model checker.Crucially, traces only contain updates to specification variables rather than full values, and it is not necessary to provide values for all variables. We have applied our approach to several distributed programs, detecting discrepancies between the specifications and the implementations in all cases. We discuss reasons for these discrepancies, how to interpret the verdict produced by TLC, and how to take into account the results of trace validation for implementation development.


title: Semantic Evolvement Enhanced Graph Autoencoder for Rumor Detection

abstract: Due to the rapid spread of rumors on social media, rumor detection has become an extremely important challenge. Recently, numerous rumor detection models which utilize textual information and the propagation structure of events have been proposed. However, these methods overlook the importance of semantic evolvement information of event in propagation process, which is often challenging to be truly learned in supervised training paradigms and traditional rumor detection methods. To address this issue, we propose a novel semantic evolvement enhanced Graph Autoencoder for Rumor Detection (GARD) model in this paper. The model learns semantic evolvement information of events by capturing local semantic changes and global semantic evolvement information through specific graph autoencoder and reconstruction strategies. By combining semantic evolvement information and propagation structure information, the model achieves a comprehensive understanding of event propagation and perform accurate and robust detection, while also detecting rumors earlier by capturing semantic evolvement information in the early stages. Moreover, in order to enhance the model's ability to learn the distinct patterns of rumors and non-rumors, we introduce a uniformity regularizer to further improve the model's performance. Experimental results on three public benchmark datasets confirm the superiority of our GARD method over the state-of-the-art approaches in both overall performance and early rumor detection.


title: Supercompiler Code Optimization with Zero-Shot Reinforcement Learning

abstract: Effective code optimization in compilers plays a central role in computer and software engineering. While compilers can be made to automatically search the optimization space without the need for user interventions, this is not a standard practice since the search is slow and cumbersome. Here we present CodeZero, an artificial intelligence agent trained extensively on large data to produce effective optimization strategies instantly for each program in a single trial of the agent. To overcome the huge range of possible test programs, we prepare a large dataset of training programs that emphasize quality, naturalness, and diversity. To tackle the vast space of possible optimizations, we adapt deep reinforcement learning to train the agent in a sample-efficient manner through interacting with a world model of the compiler environment. Evaluation on both benchmark suites and production-level code optimization problems demonstrates our agent's supercompiler performances and zero-shot generalization abilities, outperforming built-in optimization options designed by compiler experts. Our methodology kindles the great potential of artificial intelligence for engineering and paves the way for scaling machine learning techniques in the realm of code optimization.


title: Learning World Models With Hierarchical Temporal Abstractions: A Probabilistic Perspective

abstract: Machines that can replicate human intelligence with type 2 reasoning capabilities should be able to reason at multiple levels of spatio-temporal abstractions and scales using internal world models. Devising formalisms to develop such internal world models, which accurately reflect the causal hierarchies inherent in the dynamics of the real world, is a critical research challenge in the domains of artificial intelligence and machine learning. This thesis identifies several limitations with the prevalent use of state space models (SSMs) as internal world models and propose two new probabilistic formalisms namely Hidden-Parameter SSMs and Multi-Time Scale SSMs to address these drawbacks. The structure of graphical models in both formalisms facilitates scalable exact probabilistic inference using belief propagation, as well as end-to-end learning via backpropagation through time. This approach permits the development of scalable, adaptive hierarchical world models capable of representing nonstationary dynamics across multiple temporal abstractions and scales. Moreover, these probabilistic formalisms integrate the concept of uncertainty in world states, thus improving the system's capacity to emulate the stochastic nature of the real world and quantify the confidence in its predictions. The thesis also discuss how these formalisms are in line with related neuroscience literature on Bayesian brain hypothesis and predicitive processing. Our experiments on various real and simulated robots demonstrate that our formalisms can match and in many cases exceed the performance of contemporary transformer variants in making long-range future predictions. We conclude the thesis by reflecting on the limitations of our current models and suggesting directions for future research.


title: Non-local gravitational corrections in black hole shadow images

abstract: With the help of Newman-Janis method new spinning black hole (BH) solution for a non-local gravity model was obtained. We show how to account the quantum gravitational correction part in BH shadows modelling using spinning BH metrics with a model independent approach. It is confirmed that in the future to follow the increasing of the experimental accuracy and therefore to reproduce new results theoretically one could take into account different field correction terms instead of introducing of new fields and/or curvature expansions.


title: Enhancing Diagnosis through AI-driven Analysis of Reflectance Confocal Microscopy

abstract: Reflectance Confocal Microscopy (RCM) is a non-invasive imaging technique used in biomedical research and clinical dermatology. It provides virtual high-resolution images of the skin and superficial tissues, reducing the need for physical biopsies. RCM employs a laser light source to illuminate the tissue, capturing the reflected light to generate detailed images of microscopic structures at various depths. Recent studies explored AI and machine learning, particularly CNNs, for analyzing RCM images. Our study proposes a segmentation strategy based on textural features to identify clinically significant regions, empowering dermatologists in effective image interpretation and boosting diagnostic confidence. This approach promises to advance dermatological diagnosis and treatment.


title: Extension of Hayward black hole in $f(R)$ gravity coupled with a scalar field

abstract: This study looks into regular solutions in a theory of gravity called $f(R)$ gravity, which also involves a scalar field. The $f(R)$ theory changes Einstein's ideas by adding a new function related to something called the Ricci scalar. This lets us tweak the equations that describe how gravity works. Adding a scalar field makes the theory more interesting, giving us more ways to investigate and understand it. { The main goal of this research is to create regular black holes using a combination of $f(R)$ gravitational theory and a scalar field.} Regular solutions don't have any singularities, which are points where certain physical quantities, like invariants, become really big or undefined. { In this context, we find two regular black hole solutions by using a spherical space with either an equal or unequal approach.} For the solutions where we use the equal approach, we figure out the shape of $f(R)$ and how it changes, along with its first and second derivatives. We demonstrate that Hayward's solution in this theory stays steady because all the shapes of $f(R)$ and their first and second derivatives are positive. Next, we focus on the case where the metric isn't equal and figure out the black hole solution. We also find out what $f(R)$ and the scalar field look like in this situation. We demonstrate that the solution in this case is a broader version of the Hayward solution. When certain conditions are met, we end up back at the scenario where the metrics are equal. We also prove that this model is stable because $f(R)$, along with its first and second derivatives, are all positive. { We analyze the trajectories of these black hole solutions and determine the forms of their conserved quantities that remain same along those trajectories.


title: Measurement of multijet azimuthal correlations and determination of the strong coupling in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A measurement is presented of a ratio observable that provides a measure of the azimuthal correlations among jets with large transverse momentum $p_\mathrm{T}$. This observable is measured in multijet events over the range of $p_\mathrm{T}$ = 360-3170 GeV based on data collected by the CMS experiment in proton-proton collisions at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 134 fb$^{-1}$. The results are compared with predictions from Monte Carlo parton-shower event generator simulations, as well as with fixed-order perturbative quantum chromodynamics (pQCD) predictions at next-to-leading-order (NLO) accuracy obtained with different parton distribution functions (PDFs) and corrected for nonperturbative and electroweak effects. Data and theory agree within uncertainties. From the comparison of the measured observable with the pQCD prediction obtained with the NNPDF3.1 NLO PDFs, the strong coupling at the Z boson mass scale is $\alpha_\mathrm{S}(m_\mathrm{Z})$ = 0.1177 $\pm$ 0.0013 (exp) $_{-0.0073}^{+0.0116}$ (theo) = 0.1177$_{-0.0074}^{+0.0117}$, where the total uncertainty is dominated by the scale dependence of the fixed-order predictions. A test of the running of $\alpha_\mathrm{S}(m_\mathrm{Z})$ in the TeV region shows no deviation from the expected NLO pQCD behaviour.


title: Constant-depth preparation of matrix product states with adaptive quantum circuits

abstract: Adaptive quantum circuits, which combine local unitary gates, midcircuit measurements, and feedforward operations, have recently emerged as a promising avenue for efficient state preparation, particularly on near-term quantum devices limited to shallow-depth circuits. Matrix product states (MPS) comprise a significant class of many-body entangled states, efficiently describing the ground states of one-dimensional gapped local Hamiltonians and finding applications in a number of recent quantum algorithms. Recently, it was shown that the AKLT state -- a paradigmatic example of an MPS -- can be exactly prepared with an adaptive quantum circuit of constant-depth, an impossible feat with local unitary gates due to its nonzero correlation length [Smith et al., PRX Quantum 4, 020315 (2023)]. In this work, we broaden the scope of this approach and demonstrate that a diverse class of MPS can be exactly prepared using constant-depth adaptive quantum circuits, outperforming optimal preparation protocols that rely on unitary circuits alone. We show that this class includes short- and long-ranged entangled MPS, symmetry-protected topological (SPT) and symmetry-broken states, MPS with finite Abelian, non-Abelian, and continuous symmetries, resource states for MBQC, and families of states with tunable correlation length. Moreover, we illustrate the utility of our framework for designing constant-depth sampling protocols, such as for random MPS or for generating MPS in a particular SPT phase. We present sufficient conditions for particular MPS to be preparable in constant time, with global on-site symmetry playing a pivotal role. Altogether, this work demonstrates the immense promise of adaptive quantum circuits for efficiently preparing many-body entangled states and provides explicit algorithms that outperform known protocols to prepare an essential class of states.


title: Single-valuedness of the AdS Veneziano amplitude

abstract: We consider the Veneziano amplitude for the scattering of gluons in type IIB string theory on $AdS_5 \times S^5/\mathbb{Z}_2$ in the presence of D7 branes. On general grounds curvature corrections around flat space can be thought of as arising from the extra insertion of soft gravitons. This naturally leads to an open string world-sheet representation with the extra insertion of single-valued functions evaluated on the real line. We check that the recently obtained first curvature correction is of this form and use this new constraint to compute the second curvature correction of the AdS Veneziano amplitude.


title: Cosmological constraints from weak lensing scattering transform using HSC Y1 data

abstract: As weak lensing surveys go deeper, there is an increasing need for reliable characterization of non-Gaussian structures at small angular scales. Here we present the first cosmological constraints with weak lensing scattering transform, a statistical estimator that combines efficiency, robustness, and interpretability. With the Hyper Suprime-Cam survey (HSC) year 1 data, we obtain $\Omega_\text{m}=0.29_{-0.03}^{+0.04}$, $S_8\equiv \sigma_8(\Omega_\text{m}/0.3)^{0.5}=0.83\pm0.02$, and intrinsic alignment strength $A_\text{IA}=1.0\pm0.4$ through simulation-based forward modeling. Our constraints are consistent with those derived from Planck. The error bar of $\Omega_\text{m}$ is 2 times tighter than that obtained from the power spectrum when the same scale range is used. This constraining power is on par with that of convolutional neural networks, suggesting that further investment in spatial information extraction may not yield substantial benefits. We also point out an internal tension of $S_8$ estimates linked to a redshift bin around z ~ 1 in the HSC data. We found that discarding that bin leads to a consistent decrease of $S_8$ from 0.83 to 0.79, for all statistical estimators. We argue that photometric redshift estimation is now the main limitation in the estimation of $S_8$ using HSC. This limitation is likely to affect other ground-based weak lensing surveys reaching redshifts greater than one. Alternative redshift estimation techniques, like clustering redshifts, may help alleviate this limitation.


title: Probing conversion-driven freeze-out at the LHC

abstract: Conversion-driven freeze-out is an appealing mechanism to explain the observed relic density while naturally accommodating the null-results from direct and indirect detection due to a very weak dark matter coupling. Interestingly, the scenario predicts long-lived particles decaying into dark matter with lifetimes favorably coinciding with the range that can be resolved at the LHC. However, the small mass splitting between the long-lived particle and dark matter renders the decay products soft, challenging current search strategies. We consider four different classes of searches covering the entire range of lifetimes: heavy stable charge particles, disappearing tracks, displaced vertices, and missing energy searches. We discuss the applicability of these searches to conversion-driven freeze-out and derive current constraints highlighting their complementarity. For the displaced vertices search, we demonstrate how a slight modification of the current analysis significantly improves its sensitivity to the scenario.


title: Statistical Mechanics of Stochastic Quantum Control: $d$-adic R\'enyi Circuits

abstract: The dynamics of quantum information in many-body systems with large onsite Hilbert space dimension admits an enlightening description in terms of effective statistical mechanics models. Motivated by this fact, we reveal a connection between three separate models: the classically chaotic $d$-adic R\'{e}nyi map with stochastic control, a quantum analog of this map for qudits, and a Potts model on a random graph. The classical model and its quantum analog share a transition between chaotic and controlled phases, driven by a randomly applied control map that attempts to order the system. In the quantum model, the control map necessitates measurements that concurrently drive a phase transition in the entanglement content of the late-time steady state. To explore the interplay of the control and entanglement transitions, we derive an effective Potts model from the quantum model and use it to probe information-theoretic quantities that witness both transitions. The entanglement transition is found to be in the bond-percolation universality class, consistent with other measurement-induced phase transitions, while the control transition is governed by a classical random walk. These two phase transitions merge as a function of model parameters, consistent with behavior observed in previous small-size numerical studies of the quantum model.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech nlin.CD


title: A Generalised Haldane Map from the Matrix Product State Path Integral to the Critical Theory of the $J_1$-$J_2$ Chain

abstract: We study the $J_1$-$J_2$ spin-$1/2$ chain using a path integral constructed over matrix product states (MPS). By virtue of its non-trivial entanglement structure, the MPS ansatz captures the key phases of the model even at a semi-classical, saddle-point level, and, as a variational state, is in good agreement with the field theory obtained by abelian bosonisation. Going beyond the semi-classical level, we show that the MPS ansatz facilitates a physically-motivated derivation of the field theory of the critical phase: by carefully taking the continuum limit -- a generalisation of the Haldane map -- we recover from the MPS path integral a field theory with the correct topological term and emergent $SO(4)$ symmetry, constructively linking the microscopic states and topological field-theoretic structures. Moreover, the dimerisation transition is particularly clear in the MPS formulation -- an explicit dimerisation potential becomes relevant, gapping out the magnetic fluctuations.


title: Observational parameters of Blue Large-Amplitude Pulsators

abstract: Blue Large-Amplitude Pulsators (BLAPs) are a recently discovered class of short-period pulsating variable stars. In this work, we present new information on these stars based on photometric and spectroscopic data obtained for known and new objects detected by the OGLE survey. BLAPs are evolved objects with pulsation periods in the range of 3--75 min, stretching between subdwarf B-type stars and upper main-sequence stars in the Hertzsprung-Russell diagram. In general, BLAPs are single-mode stars pulsating in the fundamental radial mode. Their phase-folded light curves are typically sawtooth shaped, but light curves of shorter-period objects are more rounded and symmetric, while many longer-period objects exhibit an additional bump. The long-term OGLE observations show that the period change rates of BLAPs are usually of the order of 10^-7 per year and in a quarter of the sample are negative. An exception is the triple-mode object OGLE-BLAP-030, which changes its dominant period much faster, at a rate of about +4.6 x 10^-6 per year. The spectroscopic data indicate that the BLAPs form a homogeneous group in the period, surface gravity, and effective temperature spaces. However, we observe a split into two groups in terms of helium-to-hydrogen content. The atmospheres of the He-enriched BLAPs are more abundant in metals (about five times) than the atmosphere of the Sun. We discover that the BLAPs obey a period--gravity relationship and we use the distance to OGLE-BLAP-009 to derive a period--luminosity relation. Most of the stars observed in the OGLE Galactic bulge fields seem to reside in the bulge, while the remaining objects likely are in the foreground Galactic disk.


title: Resonant Reheating

abstract: We investigate a novel reheating scenario proceeding through $s$-channel inflaton annihilation, mediated by a massive scalar. If the inflaton $\phi$ oscillates around the minimum of a monomial potential $\propto \phi^{n}$, we reveal the emergence of resonance phenomena originating from the dynamic evolution of the inflaton mass for $n>2$. Consequently, a resonance appears in both the radiation and the temperature evolution during the reheating process. By solving the coupled Boltzmann equations, we present solutions for radiation and temperature. We find non-trivial temperature characteristics during reheating, depending on the value of $n$ and the masses of the inflaton and mediator. Some phenomenological aspects of the model are explored. As a concrete example, we show that the same mediator participates in the genesis of dark matter, modifying the standard freeze-in dynamics. In addition, we demonstrate that the resonant reheating scenario could be tested by next-generation low- and high-frequency gravitational wave detectors.


title: OmniLearn: A Method to Simultaneously Facilitate All Jet Physics Tasks

abstract: Machine learning has become an essential tool in jet physics. Due to their complex, high-dimensional nature, jets can be explored holistically by neural networks in ways that are not possible manually. However, innovations in all areas of jet physics are proceeding in parallel. We show that specially constructed machine learning models trained for a specific jet classification task can improve the accuracy, precision, or speed of all other jet physics tasks. This is demonstrated by training on a particular multiclass classification task and then using the learned representation for different classification tasks, for datasets with a different (full) detector simulation, for jets from a different collision system ($pp$ versus $ep$), for generative models, for likelihood ratio estimation, and for anomaly detection. Our OmniLearn approach is thus a foundation model and is made publicly available for use in any area where state-of-the-art precision is required for analyses involving jets and their substructure.


title: A dark standard siren measurement of the Hubble constant following LIGO/Virgo/KAGRA O4a

abstract: We present a new constraint on the Hubble constant ($H_0$) from the standard dark siren method using a sample of $5$ well-covered gravitational wave (GW) alerts reported during the first part of the fourth LIGO/Virgo/KAGRA observing runs in combination with standard dark sirens from the first three runs. Our methodology relies on the galaxy catalog method alone. We use the full probability density estimation of photometric redshifts derived by a deep learning method using the DESI Legacy Survey and DELVE galaxy catalogs. We add the constraints from the binary black hole mergers candidates S231226av, S231206cc, S230919bj, S230627c, and S230922g to the sample of standard dark sirens analyzed in Alfradique et al. (2024). We combine the $H_0$ posterior for $5$ new standard sirens with other $10$ previous events (3 with updated posteriors), finding $H_0 = 69.9^{+13.3}_{-12.0}~{\rm km~s^{-1}~Mpc^{-1}}$ (68% Highest Density Interval) with the catalog method alone. This result represents an improvement of $\sim 23\%$ comparing the new $15$ dark siren constrain with the previous $10$ dark siren constraint, and a reduction in uncertainty of $\sim 40\%$ from the combination of $15$ dark and bright sirens compared with the GW170817 bright siren alone. The combination of dark and bright siren GW170817 with recent jet constraints yields $H_0$ of $68.0^{+4.3}_{-3.8}~{\rm km~s^{-1}~Mpc^{-1}}$, a $\sim 6\%$ precision from Standard Sirens, reducing the previous constraint uncertainty by $\sim 10\%$ .


title: Self-Gravitating Matter in Stationary and Axisymmetric Black Hole Spacetimes

abstract: All black holes (BHs) in nature are expected to be described by the Kerr vacuum solution of general relativity. However, the Kerr solution comes with several difficulties such as the existence of Cauchy horizons, curvature singularities, and causality-violating regions. Attempts to resolve some of these issues include phenomenological BH models, which typically contain nontrivial matter content. We introduce a simple framework here to examine the properties of matter in such phenomenological models for a broad class of stationary and axisymmetric spinning BH spacetimes, generated from nonspinning seed solutions via a metric ansatz. We apply this framework to a representative set of spinning BH spacetimes and the non-spinning seeds from which they are derived. The models span different types of matter - fluids, scalar fields, electromagnetic fields. For each model, we calculate the timelike four-velocity of the matter and thereby identify the rest frame of the matter, both outside and inside the horizon. We then examine the spatial distribution of the matter rest-frame energy density $\epsilon$ and the principal pressures. This provides a complete picture of how the matter moves, what its material properties are, and whether it obeys the classical energy conditions. Notably, at a horizon, the normal component of the pressure always satisfies $p_n = -\epsilon$. We also investigate the expansions of the principal null congruences and explore the Hawking mass profiles of these spacetimes. These provide glimpses into the geometry of the stationary BH exterior as well as the nonstationary interior cosmology. The axisymmetric metric ansatz we work with can be used to generate new spinning solutions from a variety of nonspinning seeds. The matter in these models often satisfies the weak energy condition, at least in the BH exterior, and some models exhibit non-rigid, differential rotation.


title: Millicharged Condensates on Earth

abstract: We demonstrate that long-ranged terrestrial electric fields can be used to exclude or discover ultralight bosonic particles with extremely small charge, beyond that probed by astrophysics. Bound condensates of scalar millicharged particles can be rapidly produced near electrostatic generators or in the atmosphere. If such particles directly couple to the photon, they quickly short out such electrical activity. Instead, for interactions mediated by a kinetically-mixed dark photon, the effects of this condensate are suppressed depending on the size of the kinetic mixing, but may still be directly detected with precision electromagnetic sensors. Analogous condensates can also develop in other theories involving new long-ranged forces, such as those coupled to baryon and lepton number.


title: Long-range multipartite entanglement near measurement-induced transitions

abstract: Measurements profoundly impact quantum systems, and can be used to create new states of matter out of equilibrium. Here, we investigate the multipartite entanglement structure that emerges in quantum circuits involving unitaries and measurements. We describe how a balance between measurements and unitary evolution can lead to multipartite entanglement spreading to distances far greater than what is found in non-monitored systems, thus evading the usual fate of entanglement. We introduce a graphical representation based on spanning graphs that allows to infer the evolution of genuine multipartite entanglement for general subregions. We exemplify our findings on circuits that realize a 1d measurement-induced dynamical phase transition, where we find genuine 3-party entanglement at all separations. The 2- and 4-party cases are also covered with examples. Finally, we discuss how our approach can provide fundamental insights regarding entanglement dynamics for a wide class of quantum circuits and architectures.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el hep-th


title: Spinning solar jets explained through the interplay between plasma sheets and vortex columns

abstract: Bunches of swaying and spinning plasma jets in the solar atmosphere - the spicules - exhibit a variety of complex dynamics that are clearly observed in the images of the solar limb. Utilizing three-dimensional radiative magnetohydrodynamics (rMHD) simulation data, we uncover another facet of a forest of spicules that turns out to be a manifestation of the two-dimensional plasma drapery, instead of one-dimensional conical spikes. This fluted morphology is observed in other contexts like molecular clouds, auroras, and coronal loops. Further, using a sequence of high-cadence line-of-sight integrated images, generated from our simulation, we obtain multiple episodes of spinning amongst clusters of synthetic spicules, also reported in observations near the solar limb. This perception of rotation, according to our findings, is associated with hot swirling plasma columns, extending to coronal heights - that we label as coronal swirling conduits (CoSCo).


title: K-theoretic Global Symmetry in String-constructed QFT and T-duality

abstract: We propose that generalized symmetries in some string-constructed QFTs are given by twisted K-theory, so as to be manifestly compatible with T-duality. We thus have even-form and odd-form symmetries determined by $K^*_N(\partial X)$, the twisted K-theory as D-brane charges on the asymptotic boundary $\partial X$ of internal geometry $X$ with twist class $N$. For these QFTs, "$p$-form symmetries" are no longer separately well-defined for individual $p$, but instead mixed up. We discuss 6D ADE-type (2,0) SCFTs and some 6d (1,0) LSTs as examples and demonstrate their twisted K-theoretic symmetries to be compatible with T-duality.


title: Relative state-counting for semiclassical black holes

abstract: It has been shown that entropy differences between certain states of perturbative quantum gravity can be computed without specifying an ultraviolet completion. This is analogous to the situation in classical statistical mechanics, where entropy differences are defined but absolute entropy is not. Unlike in classical statistical mechanics, however, the entropy differences computed in perturbative quantum gravity do not have a clear physical interpretation. Here we construct a family of perturbative black hole states for which the entropy difference can be interpreted as a relative counting of states. Conceptually, this paper begins with the algebra of mass fluctuations around a fixed black hole background, and points out that while this is a type I algebra, it is not a factor and therefore has no canonical definition of entropy. As in previous work, coupling the mass fluctuations to quantum matter embeds the mass algebra within a type II factor, in which entropy differences (but not absolute entropies) are well defined. It is then shown that for microcanonical wavefunctions of mass fluctuation, the type II entropy difference equals the logarithm of the dimension of the extra Hilbert space that is needed to map one microcanonical window to another using gauge-invariant unitaries. The paper closes with comments on type II entropy difference in a more general class of states, where the von Neumann entropy difference does not have a physical interpretation, but "one-shot" entropy differences do.


title: Manipulating Majorana zero modes in the spin-1/2 Kitaev ladder

abstract: The one-dimensional $p$-wave superconductor, characterized by boundary Majorana modes, has attracted significant interest owing to its potential application in topological quantum computation. Similarly, spin-1/2 Kitaev ladder systems with bond-dependent Ising interactions, featuring Majorana fermions coupled with $Z_2$ flux, exhibit boundary Majorana modes when in a topological phase. However, the ground state degeneracy, inherent in these systems, may result in the annihilation of Majorana modes due to the superposition of the two states. To address this issue, we introduce a projective measurement that selects one of the degenerate $Z_2$ sectors, enabling the emergence of Majorana modes. Once the state is selected, we show that the application of the local spin operators on a bond flips the sign of the adjacent $Z_2$ flux. Repeating such operators enables the system to reach a desired $Z_2$ flux configuration. We present the phase diagram and the appearance of Majorana modes at the interfaces of topological and non-topological phases. These modes, along with boundary Majorana modes, can be manipulated and fused by tuning the flux sectors achievable through applying local spin operators. We also discuss the engineering of the Kitaev ladder and open questions for future studies.


title: Dust beyond the torus: Revealing the mid-infrared heart of local Seyfert ESO 428-G14 with JWST/MIRI

abstract: Polar dust has been discovered in a number of local Active Galactic Nuclei (AGN), with radiation-driven torus models predicting a wind to be its main driver. However, little is known about its characteristics, spatial extent, or connection to the larger scale outflows. We present the first JWST/MIRI study aimed at imaging polar dust by zooming onto the heart of ESO 428-G14, part of the GATOS survey of local AGN. We clearly detect extended mid-infrared (MIR) emission within 200 pc from the nucleus. This polar structure is co-linear with a radio jet and lies perpendicular to a molecular gas lane that feeds and obscures the nucleus. The morphology of the MIR structure bears a striking resemblance to that of gas ionised by the AGN in the narrow-line region (NLR). We demonstrate that part of this spatial correspondence is due to contamination within the JWST filter bands from strong emission lines. Correcting for the contamination using ancillary spectroscopy, we find the morphology of the dust continuum to be asymmetric around the nucleus and more compact, though still clearly extended out to r ~ 100 pc. We estimate a temperature of the emitting dust of ~ 120 K. Using simple models, we find that the heating of small dust grains (~ 0.01 microns) by the radiation from the central AGN and/or radiative jet-induced shocks is responsible for the extended MIR emission. Large-grained dust, predicted by models of radiation-driven dusty winds from the torus, is unlikely to be important. This has important implications for scales to which AGN winds can carry dust and dense gas out into their host galaxies.


title: Multivariate Fidelities

abstract: The main contribution of our paper is to introduce a number of multivariate quantum fidelities and show that they satisfy several desirable properties that are natural extensions of those of the Uhlmann and Holevo fidelities. We propose three variants that reduce to the average pairwise fidelity for commuting states: average pairwise $z$-fidelities, the multivariate semi-definite programming (SDP) fidelity, and a multivariate fidelity inspired by an existing secrecy measure. The second one is obtained by extending the SDP formulation of the Uhlmann fidelity to more than two states. All three of these variants satisfy the following properties: (i) reduction to multivariate classical fidelities for commuting states, (ii) the data-processing inequality, (iii) invariance under permutations of the states, (iv) its values are in the interval $[0,1]$; they are faithful, that is, their values are equal to one if and only if all the states are equal, and they satisfy orthogonality, that is their values are equal to zero if and only if the states are mutually orthogonal to each other, (v) direct-sum property, (vi) joint concavity, and (vii) uniform continuity bounds under certain conditions. Furthermore, we establish inequalities relating these different variants, indeed clarifying that all these definitions coincide with the average pairwise fidelity for commuting states. Lastly, we introduce another multivariate fidelity called multivariate log-Euclidean fidelity, which is a quantum generalization of the Matusita multivariate fidelity. We also show that it satisfies most of the desirable properties listed above, it is a function of a multivariate log-Euclidean divergence, and has an operational interpretation in terms of quantum hypothesis testing with an arbitrarily varying null hypothesis.

categories: quant-ph cs.IT math-ph math.IT math.MP math.OA


title: A Cepheid systematics-free test of $H_0$ to $\lesssim2.5\%$ accuracy using SH0ES photometry

abstract: The recent SH0ES determination of the Hubble constant, $H_0=73.04\pm1.04$ km/s/Mpc, deviates significantly by $\approx5\sigma$ from the \textit{Planck} value, stimulating discussions on cosmological model extensions. To minimize statistical uncertainty and mitigate sensitivity to systematic errors in any single anchor distance determination, SH0ES combines Cepheids from various observations, including those from Type Ia supernova (SNe Ia) host galaxies, NGC 4258, and closer galaxies (MW, LMC, SMC, and M31), although this mixed sample may introduce unknown or subtle systematic errors due to comparing distant and closer Cepheids. To address this, we propose a subset excluding Cepheids from the closer galaxies, retaining only the NGC 4258 water megamasers as a single anchor, circumventing potential systematic errors associated with observational methods and reduction techniques. Focusing solely on these Cepheids yields competitive statistical errors, approximately $2.5\%$, sufficient to identify a $\approx3\sigma$ tension with the \textit{Planck} $H_0$ value. Our approach offers an opportunity to utilize optical photometry with systematic uncertainty smaller than the statistical uncertainty, potentially achieving higher precision than NIR photometry, given the lower optical background. However, currently the optical photometry sample's fidelity does not match that of NIR photometry. The significant Hubble tension obtained is unrelated to Cepheids and we discuss other options.


title: Validating Prior-informed Fisher-matrix Analyses against GWTC Data

abstract: Fisher-matrix methods are widely used to predict how accurately parameters can be estimated. Being computationally efficient, this approach is prompted by the large number of signals simulated in forecast studies for future gravitational-wave (GW) detectors, for which adequate analysis tools and computational resources are still unavailable to the scientific community. However, approximating the full likelihood function with a Gaussian may lead to inaccuracies, which we investigate in this work. To assess the accuracy of the Fisher approximation, we compare the results of the Fisher code GWFish against real data from the Gravitational Wave Transient Catalogs (GWTCs) provided by the Virgo/LIGO Bayesian analyses. Additionally, we present a sampling algorithm to include priors in GWFish, not only to ensure a fair comparison between GWFish results and the Virgo/LIGO posteriors but also to investigate the role of prior information and to assess the need to include it in standard Fisher analyses. We find that the impact of priors depends mostly on the level of signal-dependent degeneracy of the waveform parameterization, and priors are generally more important when the level of degeneracy is high. Our findings imply that Fisher-matrix methods are a valid tool for ET science-case studies.


title: Evolution of Voices in French Audiovisual Media Across Genders and Age in a Diachronic Perspective

abstract: We present a diachronic acoustic analysis of the voice of 1023 speakers from French media archives. The speakers are spread across 32 categories based on four periods (years 1955/56, 1975/76, 1995/96, 2015/16), four age groups (20-35; 36-50; 51-65, >65), and two genders. The fundamental frequency ($F_0$) and the first four formants (F1-4) were estimated. Procedures used to ensure the quality of these estimations on heterogeneous data are described. From each speaker's $F_0$ distribution, the base-$F_0$ value was calculated to estimate the register. Average vocal tract length was estimated from formant frequencies. Base-$F_0$ and vocal tract length were fit by linear mixed models to evaluate how they may have changed across time periods and genders, corrected for age effects. Results show an effect of the period with a tendency to lower voices, independently of gender. A lowering of pitch is observed with age for female but not male speakers.


title: Semistable reduction of covers of degree $p$

abstract: Let $K$ be a local field of residue characteristic $p>0$. We explain how to compute the semistable reduction of $K$-curves $Y$ equipped with a degree-$p$ morphism from $Y$ to the projective line. This includes the reduction at $p$ of superelliptic curves of degree $p$, but our approach is not limited to Galois covers. We give particular attention to the reduction of plane quartics at $p=3$, which case is implemented in SageMath. We use the language of non-archimedean analytic geometry in the sense of Berkovich. A key tool is the different function of Cohen, Temkin, and Trushin.


title: A robust approach for time-bin encoded photonic quantum information protocols

abstract: Quantum states encoded in the time-bin degree of freedom of photons represent a fundamental resource for quantum information protocols. Traditional methods for generating and measuring time-bin encoded quantum states face severe challenges due to optical instabilities, complex setups, and timing resolution requirements. Here, we leverage a robust approach based on Hong-Ou-Mandel interference that allows us to circumvent these issues. First, we perform high-fidelity quantum state tomographies of time-bin qubits with a short temporal separation. Then, we certify intrasystem polarization-time entanglement of single photons through a nonclassicality test. Finally, we propose a robust and scalable protocol to generate and measure high-dimensional time-bin quantum states in a single spatial mode. The protocol promises to enable access to high-dimensional states and tasks that are practically inaccessible with standard schemes, thereby advancing fundamental quantum information science and opening applications in quantum communication.


title: Certifying nonstabilizerness in quantum processors

abstract: Nonstabilizerness, also known as magic, is a crucial resource for quantum computation. The growth in complexity of quantum processing units (QPUs) demands robust and scalable techniques for characterizing this resource. We introduce the notion of set magic: a set of states has this property if at least one state in the set is a non-stabilizer state. We show that certain two-state overlap inequalities, recently introduced as witnesses of basis-independent coherence, are also witnesses of multi-qubit set magic. We also show it is possible to certify the presence of magic across multiple QPUs without the need for entanglement between them and reducing the demands on each individual QPU.


title: Critical Multitype Branching Processes with Random Migration

abstract: The aim of this paper is to introduce a multitype branching process with random migration following the research initiated with the Galton-Watson process with migration introduced in [Yanev & Mitov (1980) C. R. Acad. Bulg. Sci. 33(4):473-475]. We focus our attention in what we call the critical case. Sufficient conditions are provided for the process to have unlimited growth or not. Furthermore, using suitable normalizing sequences, we study the asymptotic distribution of the process. Finally, we obtain a Feller-type diffusion approximation.


title: zkLLM: Zero Knowledge Proofs for Large Language Models

abstract: The recent surge in artificial intelligence (AI), characterized by the prominence of large language models (LLMs), has ushered in fundamental transformations across the globe. However, alongside these advancements, concerns surrounding the legitimacy of LLMs have grown, posing legal challenges to their extensive applications. Compounding these concerns, the parameters of LLMs are often treated as intellectual property, restricting direct investigations. In this study, we address a fundamental challenge within the realm of AI legislation: the need to establish the authenticity of outputs generated by LLMs. To tackle this issue, we present zkLLM, which stands as the inaugural specialized zero-knowledge proof tailored for LLMs to the best of our knowledge. Addressing the persistent challenge of non-arithmetic operations in deep learning, we introduce tlookup, a parallelized lookup argument designed for non-arithmetic tensor operations in deep learning, offering a solution with no asymptotic overhead. Furthermore, leveraging the foundation of tlookup, we introduce zkAttn, a specialized zero-knowledge proof crafted for the attention mechanism, carefully balancing considerations of running time, memory usage, and accuracy. Empowered by our fully parallelized CUDA implementation, zkLLM emerges as a significant stride towards achieving efficient zero-knowledge verifiable computations over LLMs. Remarkably, for LLMs boasting 13 billion parameters, our approach enables the generation of a correctness proof for the entire inference process in under 15 minutes. The resulting proof, compactly sized at less than 200 kB, is designed to uphold the privacy of the model parameters, ensuring no inadvertent information leakage.


title: Satellite group infall into the Milky Way: exploring the Crater-Leo case with new HST proper motions

abstract: Context. Within $\Lambda$ Cold Dark Matter ($\Lambda$CDM) simulations, Milky Way-like galaxies accrete some of their satellite galaxies in groups of 3-5 members rather than individually. It was also suggested that this might be the reason behind the origin of satellite planes. Objects accreted in groups are expected to share similar specific total energy and angular momentum, and also identical orbital planes and directions. Aims. Looking at observations of Milky Way satellites, the dwarf galaxies Leo II, IV, V, Crater II, and the star cluster Crater 1 were proposed to be a vestige of group infall. The suggested "Crater-Leo group" shows a coherent distance gradient and all these objects align along a great circle on the sky. We use proper motion data to investigate whether the phase-space distribution of the members of the proposed group are indeed consistent with group infall. Methods. To further investigate this possibility, we use Gaia Data Release 3 (DR3) and new Hubble Space Telescope (HST) proper motions, $(\mu_{\alpha*}, \mu_\delta) = (-0.1921 \pm 0.0514, -0.0686 \pm 0.0523)$ mas yr$^{-1}$ for Leo IV and $(\mu_{\alpha*}, \mu_\delta) = (0.1186 \pm 0.1943, -0.1183 \pm 0.1704)$ mas yr$^{-1}$ for Leo V, to derive accurate orbital properties for the proposed group objects. In addition, we explore other possible members of this putative association. Results. Leo II, Leo IV, and Crater 1 show orbital properties consistent with those we predict from assuming group infall. However, our results suggest that Crater II was not accreted with the rest of the objects. If confirmed with increasingly accurate proper motions in the future, the Crater-Leo objects appear to constitute the first identified case of a cosmologically expected, typical group infall event, as opposed to the highly hierarchical Magellanic Cloud system.


title: Forcing, Transition Algebras, and Calculi

abstract: We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to the actions used in dynamic logics in order to define necessity and possibility operators. This leads to a higher degree of expressivity than that of many-sorted first-order logic. For example, one can finitely axiomatize both the finiteness and the reachability of models, neither of which are ordinarily possible in many-sorted first-order logic. We introduce syntactic entailment and study basic properties such as compactness and completeness, showing that the latter does not hold when standard finitary proof rules are used. Consequently, we define proof rules having both finite and countably infinite premises, and we provide conditions under which completeness can be proved. To that end, we generalize the forcing method introduced in model theory by Robinson from a single signature to a category of signatures, and we apply it to obtain a completeness result for signatures that are at most countable.


title: Mamba-360: Survey of State Space Models as Transformer Alternative for Long Sequence Modelling: Methods, Applications, and Challenges

abstract: Sequence modeling is a crucial area across various domains, including Natural Language Processing (NLP), speech recognition, time series forecasting, music generation, and bioinformatics. Recurrent Neural Networks (RNNs) and Long Short Term Memory Networks (LSTMs) have historically dominated sequence modeling tasks like Machine Translation, Named Entity Recognition (NER), etc. However, the advancement of transformers has led to a shift in this paradigm, given their superior performance. Yet, transformers suffer from $O(N^2)$ attention complexity and challenges in handling inductive bias. Several variations have been proposed to address these issues which use spectral networks or convolutions and have performed well on a range of tasks. However, they still have difficulty in dealing with long sequences. State Space Models(SSMs) have emerged as promising alternatives for sequence modeling paradigms in this context, especially with the advent of S4 and its variants, such as S4nd, Hippo, Hyena, Diagnol State Spaces (DSS), Gated State Spaces (GSS), Linear Recurrent Unit (LRU), Liquid-S4, Mamba, etc. In this survey, we categorize the foundational SSMs based on three paradigms namely, Gating architectures, Structural architectures, and Recurrent architectures. This survey also highlights diverse applications of SSMs across domains such as vision, video, audio, speech, language (especially long sequence modeling), medical (including genomics), chemical (like drug design), recommendation systems, and time series analysis, including tabular data. Moreover, we consolidate the performance of SSMs on benchmark datasets like Long Range Arena (LRA), WikiText, Glue, Pile, ImageNet, Kinetics-400, sstv2, as well as video datasets such as Breakfast, COIN, LVU, and various time series datasets. The project page for Mamba-360 work is available on this webpage.\url{https://github.com/badripatro/mamba360}.


title: Joint operation of a fast-charging EV hub with a stand-alone independent battery storage system under fairness considerations

abstract: The need for larger-scale fast-charging electric vehicle (EV) hubs is on the rise due to the growth in EV adoption. Another area of power infrastructure growth is the proliferation of independently operated stand-alone battery storage systems (BSS), which is fueled by improvements and cost reductions in battery technology. Many possible uses of the stand-alone BSS are being explored including participation in the energy and ancillary markets, load balancing for renewable generations, and supporting large-scale load-consuming entities like hospitals. In this paper, we study a novel usage of the stand-alone BSS whereby in addition to participating in the electricity reserve market, it allows an EV hub to use a part of its storage capacity, when profitable. The hub uses the BSS storage capacity for arbitrage consequently reducing its operating cost. We formulate this joint operation as a bi-objective optimization model. We then reformulate it into a second-order cone Nash bargaining problem, the solution of which guarantees fairness to both the hub and the BSS. A sample numerical case study is formulated using actual prices of electricity and simulated data for the reserve market and EV charging demand. The Nash bargaining solution shows that both participants can benefit from the joint operation.


title: Electric and magnetic waveguides in graphene: quantum and classical

abstract: Electric and magnetic waveguides are considered in planar Dirac materials like graphene as well as their classical version for relativistic particles of zero mass and electric charge. In order to solve the Dirac-Weyl equation analytically, we have assumed the displacement symmetry of the system along a direction. In these conditions we have examined the rest of symmetries relevant each type, magnetic or electric system, which will determine their similarities and differences. We have worked out waveguides with square profile in detail to show up some of the most interesting features also in quantum and classical complementary contexts. All the results have been visualized along a series of representative graphics showing explicitly the main properties for both types of waveguides.


title: Online Personalizing White-box LLMs Generation with Neural Bandits

abstract: The advent of personalized content generation by LLMs presents a novel challenge: how to efficiently adapt text to meet individual preferences without the unsustainable demand of creating a unique model for each user. This study introduces an innovative online method that employs neural bandit algorithms to dynamically optimize soft instruction embeddings based on user feedback, enhancing the personalization of open-ended text generation by white-box LLMs. Through rigorous experimentation on various tasks, we demonstrate significant performance improvements over baseline strategies. NeuralTS, in particular, leads to substantial enhancements in personalized news headline generation, achieving up to a 62.9% improvement in terms of best ROUGE scores and up to 2.76% increase in LLM-agent evaluation against the baseline.


title: Classifying Human-Generated and AI-Generated Election Claims in Social Media

abstract: Politics is one of the most prevalent topics discussed on social media platforms, particularly during major election cycles, where users engage in conversations about candidates and electoral processes. Malicious actors may use this opportunity to disseminate misinformation to undermine trust in the electoral process. The emergence of Large Language Models (LLMs) exacerbates this issue by enabling malicious actors to generate misinformation at an unprecedented scale. Artificial intelligence (AI)-generated content is often indistinguishable from authentic user content, raising concerns about the integrity of information on social networks. In this paper, we present a novel taxonomy for characterizing election-related claims. This taxonomy provides an instrument for analyzing election-related claims, with granular categories related to jurisdiction, equipment, processes, and the nature of claims. We introduce ElectAI, a novel benchmark dataset that consists of 9,900 tweets, each labeled as human- or AI-generated. For AI-generated tweets, the specific LLM variant that produced them is specified. We annotated a subset of 1,550 tweets using the proposed taxonomy to capture the characteristics of election-related claims. We explored the capabilities of LLMs in extracting the taxonomy attributes and trained various machine learning models using ElectAI to distinguish between human- and AI-generated posts and identify the specific LLM variant.


title: Cybersecurity Assessment of the Polar Bluetooth Low Energy Heart-rate Sensor

abstract: Wireless communications among wearable and implantable devices implement the information exchange around the human body. Wireless body area network (WBAN) technology enables non-invasive applications in our daily lives. Wireless connected devices improve the quality of many services, and they make procedures easier. On the other hand, they open up large attack surfaces and introduces potential security vulnerabilities. Bluetooth low energy (BLE) is a low-power protocol widely used in wireless personal area networks (WPANs). This paper analyzes the security vulnerabilities of a BLE heart-rate sensor. By observing the received signal strength indicator (RSSI) variations, it is possible to detect anomalies in the BLE connection. The case-study shows that an attacker can easily intercept and manipulate the data transmitted between the mobile app and the BLE device. With this research, the author would raise awareness about the security of the heart-rate information that we can receive from our wireless body sensors.


title: Act as a Honeytoken Generator! An Investigation into Honeytoken Generation with Large Language Models

abstract: With the increasing prevalence of security incidents, the adoption of deception-based defense strategies has become pivotal in cyber security. This work addresses the challenge of scalability in designing honeytokens, a key component of such defense mechanisms. The manual creation of honeytokens is a tedious task. Although automated generators exists, they often lack versatility, being specialized for specific types of honeytokens, and heavily rely on suitable training datasets. To overcome these limitations, this work systematically investigates the approach of utilizing Large Language Models (LLMs) to create a variety of honeytokens. Out of the seven different honeytoken types created in this work, such as configuration files, databases, and log files, two were used to evaluate the optimal prompt. The generation of robots.txt files and honeywords was used to systematically test 210 different prompt structures, based on 16 prompt building blocks. Furthermore, all honeytokens were tested across different state-of-the-art LLMs to assess the varying performance of different models. Prompts performing optimally on one LLMs do not necessarily generalize well to another. Honeywords generated by GPT-3.5 were found to be less distinguishable from real passwords compared to previous methods of automated honeyword generation. Overall, the findings of this work demonstrate that generic LLMs are capable of creating a wide array of honeytokens using the presented prompt structures.


title: Boomerang effect in classical stochastic models

abstract: The phenomenon of Anderson localization, occurring in a disordered medium, significantly influences the dynamics of quantum particles. A fascinating manifestation of this is the "quantum boomerang effect" (QBE), observed when a quantum particle, propelled with a finite initial velocity, reverses its average trajectory, eventually halting at its starting point. This effect has recently been demonstrated in an experiment replicating the quantum kicked-rotor model. This research delves into the classical analog of QBE. We uncover evidence of a similar effect in classical systems, characterized by the absence of typical diffusion processes. Our investigation encompasses both simplified probabilistic models and more complex phenomenological models that link classical with quantum mechanics. The results indicate that the boomerang effect is not confined to the quantum realm and may also be present in diverse systems exhibiting subdiffusive behavior.


title: Securing Hybrid Wireless Body Area Networks (HyWBAN): Advancements in Semantic Communications and Jamming Techniques

abstract: This paper explores novel strategies to strengthen the security of Hybrid Wireless Body Area Networks (HyWBANs), essential in smart healthcare and Internet of Things (IoT) applications. Recognizing the vulnerability of HyWBAN to sophisticated cyber-attacks, we propose an innovative combination of semantic communications and jamming receivers. This dual-layered security mechanism protects against unauthorized access and data breaches, particularly in scenarios involving in-body to on-body communication channels. We conduct comprehensive laboratory measurements to understand hybrid (radio and optical) communication propagation through biological tissues and utilize these insights to refine a dataset for training a Deep Learning (DL) model. These models, in turn, generate semantic concepts linked to cryptographic keys for enhanced data confidentiality and integrity using a jamming receiver. The proposed model demonstrates a significant reduction in energy consumption compared to traditional cryptographic methods, like Elliptic Curve Diffie-Hellman (ECDH), especially when supplemented with jamming. Our approach addresses the primary security concerns and sets the baseline for future secure biomedical communication systems advancements.


title: Resonance of low-frequency electromagnetic and ion-sound modes in the solar wind

abstract: Parker Solar Probe measurements have recently shown that coherent fast magnetosonic and Alfv\'{e}n ion-cyclotron waves are abundant in the solar wind and can be accompanied by higher-frequency electrostatic fluctuations. In this letter we reveal the nonlinear process capable of channelling the energy of low-frequency electromagnetic to higher-frequency electrostatic fluctuations observed aboard Parker Solar Probe. We present Hall-MHD simulations demonstrating that low-frequency electromagnetic fluctuations can resonate with the ion-sound mode, which results in steepening of plasma density fluctuations, electrostatic spikes and harmonics in the electric field spectrum. The resonance can occur around the wavenumber determined by the ratio between local sound and Alfv\'{e}n speeds, but only in the case of {\it oblique} propagation to the background magnetic field. The resonance wavenumber, its width and steepening time scale are estimated, and all indicate that the revealed two-wave resonance can frequently occur in the solar wind. This process can be a potential channel of energy transfer from cyclotron resonant ions producing the electromagnetic fluctuations to Landau resonant ions and electrons absorbing the energy of the higher-frequency electrostatic fluctuations.


title: Generalized Optimization Modulo Theories

abstract: Optimization Modulo Theories (OMT) has emerged as an important extension of the highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires solving an SMT problem with the restriction that the solution must be optimal with respect to a given objective function. We introduce a generalization of the OMT problem where, in particular, objective functions can range over partially ordered sets. We provide a formalization of and an abstract calculus for the generalized OMT problem and prove their key correctness properties. Generalized OMT extends previous work on OMT in several ways. First, in contrast to many current OMT solvers, our calculus is theory-agnostic, enabling the optimization of queries over any theories or combinations thereof. Second, our formalization unifies both single- and multi-objective optimization problems, allowing us to study them both in a single framework and facilitating the use of objective functions that are not supported by existing OMT approaches. Finally, our calculus is sufficiently general to fully capture a wide variety of current OMT approaches (each of which can be realized as a specific strategy for rule application in the calculus) and to support the exploration of new search strategies. Much like the original abstract DPLL(T) calculus for SMT, our Generalized OMT calculus is designed to establish a theoretical foundation for understanding and research and to serve as a framework for studying variations of and extensions to existing OMT methodologies.


title: FairDeDup: Detecting and Mitigating Vision-Language Fairness Disparities in Semantic Dataset Deduplication

abstract: Recent dataset deduplication techniques have demonstrated that content-aware dataset pruning can dramatically reduce the cost of training Vision-Language Pretrained (VLP) models without significant performance losses compared to training on the original dataset. These results have been based on pruning commonly used image-caption datasets collected from the web -- datasets that are known to harbor harmful social biases that may then be codified in trained models. In this work, we evaluate how deduplication affects the prevalence of these biases in the resulting trained models and introduce an easy-to-implement modification to the recent SemDeDup algorithm that can reduce the negative effects that we observe. When examining CLIP-style models trained on deduplicated variants of LAION-400M, we find our proposed FairDeDup algorithm consistently leads to improved fairness metrics over SemDeDup on the FairFace and FACET datasets while maintaining zero-shot performance on CLIP benchmarks.


title: A Situated-Infrastructuring of WhatsApp for Business in India

abstract: WhatsApp has become a pivotal communication tool in India, transcending cultural boundaries and deeply integrating into the nation's digital landscape. Meta's introduction of WhatsApp for Business aligns seamlessly with the platform's popularity, offering businesses a crucial tool. However, the monetization plans pose challenges, particularly for smaller businesses, in balancing revenue goals with accessibility. This study, employing discourse analysis, examines Meta's infrastructuring of WhatsApp in India, emphasizing the dynamic interplay of technological, social, and cultural dimensions. Consequently, it highlights potential power differences caused by the deployment of WhatsApp for Business followed by its gradual but significant modifications, encouraging scholars to investigate the implications and ethics of rapid technological changes, particularly for marginalized users.


title: Classification of connected \'etale algebras in multiplicity-free modular fusion categories up to rank nine

abstract: We classify connected \'etale algebras $A$'s in multiplicity-free modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le9$. We also identify categories $\mathcal B_A$'s of right $A$-modules. The results have physical applications in constraining renormalization group flows. As demonstration, we study massive renormalization group flows from non-unitary minimal models to predict ground state degeneracies and prove spontaneous $\mathcal B$-symmetry breaking.


title: Detectability of Surface Biosignatures for Directly-Imaged Rocky Exoplanets

abstract: Modeling the detection of life has never been more opportune. With next generation space telescopes, like the currently developing Habitable Worlds Observatory (HWO) concept, we will begin to characterize rocky exoplanets potentially similar to Earth. However, currently, few realistic planetary spectra containing surface biosignatures have been paired with direct imaging telescope instrument models. Therefore, we use a HWO instrument noise model to assess the detection of surface biosignatures affiliated with oxygenic, anoxygenic, and nonphotosynthetic extremophiles. We pair the HWO telescope model to a 1-D radiative transfer model to estimate the required exposure times necessary for detecting each biosignature on planets with global microbial coverage and varying atmospheric water vapor concentrations. For modeled planets with 0% - 50% cloud coverage, we determine pigments and the red edge could be detected within 1,000 hours (100 hours) at distances within 15 pc (11 pc). However, tighter telescope inner working angles (2.5 lambda/D) would allow surface biosignature detection at further distances. Anoxygenic photosynthetic biosignatures could also be more easily detectable than nonphotosynthetic pigments and the photosynthetic red edge when compared against a false positive iron oxide slope. Future life detection missions should evaluate the influence of false positives on the detection of multiple surface biosignatures.


title: Comparison of static and dynamic random forests models for EHR data in the presence of competing risks: predicting central line-associated bloodstream infection

abstract: Prognostic outcomes related to hospital admissions typically do not suffer from censoring, and can be modeled either categorically or as time-to-event. Competing events are common but often ignored. We compared the performance of random forest (RF) models to predict the risk of central line-associated bloodstream infections (CLABSI) using different outcome operationalizations. We included data from 27478 admissions to the University Hospitals Leuven, covering 30862 catheter episodes (970 CLABSI, 1466 deaths and 28426 discharges) to build static and dynamic RF models for binary (CLABSI vs no CLABSI), multinomial (CLABSI, discharge, death or no event), survival (time to CLABSI) and competing risks (time to CLABSI, discharge or death) outcomes to predict the 7-day CLABSI risk. We evaluated model performance across 100 train/test splits. Performance of binary, multinomial and competing risks models was similar: AUROC was 0.74 for baseline predictions, rose to 0.78 for predictions at day 5 in the catheter episode, and decreased thereafter. Survival models overestimated the risk of CLABSI (E:O ratios between 1.2 and 1.6), and had AUROCs about 0.01 lower than other models. Binary and multinomial models had lowest computation times. Models including multiple outcome events (multinomial and competing risks) display a different internal structure compared to binary and survival models. In the absence of censoring, complex modelling choices do not considerably improve the predictive performance compared to a binary model for CLABSI prediction in our studied settings. Survival models censoring the competing events at their time of occurrence should be avoided.