title: On Modeling Tear Breakup Dynamics with a Nematic Lipid Layer

abstract: One of the main roles of the lipid layer (LL) of the tear film (TF) is to help prevent evaporation of the aqueous layer (AL). The LL thickness, composition, and structure all contribute to its barrier function. It is believed that the lipid layer is primarily nonpolar with a layer of polar lipids at the LL/AL interface. There is evidence that the nonpolar region of the LL may have liquid crystalline characteristics. We investigate the structure and function of the LL via a model of the tear film with two layers, using extensional flow of a nematic liquid crystal for the LL and shear-dominated flow of a Newtonian AL. Evaporation is taken into account, and is affected by the LL thickness, internal arrangement of its rod-like molecules, and external conditions. We conduct a detailed parameter study with a focus on the evaporative resistance parameter, the Marangoni number, and primary liquid crystal parameters including the Leslie viscosities and director angle. This new model responds similarly to previous Newtonian models in some respects; however, incorporating internal structure via the orientation of the liquid crystal molecules affects both evaporation and flow. As a result, we see new effects on TF dynamics and breakup.


title: Momentum transfer and foam production via breaking waves in hurricane conditions

abstract: Generated under hurricane conditions, a slip layer composed of foam, bubble emulsion, and spray determines the behavior of the surface drag with wind speed. This study enables us to estimate foam's contribution to this behavior. A logarithmic parametrization of surface drag is introduced, wherein the effective roughness length of the underlying surface is decomposed into three fractional roughness lengths. These correspond to the foam-free area (as determined by laboratory data, which includes the effects of spray and bubble emulsion) and ocean areas covered by whitecaps and streaks, each weighted by their respective coverage coefficients. A key concept of this approach is the use of well-established experimental bubble-size spectra produced by breaking surface waves to obtain the effective roughness length. This method provides a fair correlation of the logarithmic parametrization of surface drag against wind speed with a wide class of respective experimental data. Additionally, this approach estimates the hurricane's potential intensity, demonstrating reasonable agreement with experimental findings.


title: Uncommon linear systems of two equations

abstract: A system of linear equations $L$ is common over $\mathbb{F}_p$ if, as $n\to\infty$, any 2-coloring of $\mathbb{F}_p^n$ gives asymptotically at least as many monochromatic solutions to $L$ as a random 2-coloring. The notion of common linear systems is analogous to that of common graphs, i.e., graphs whose monochromatic density in 2-edge-coloring of cliques is asymptotically minimized by the random coloring. Saad and Wolf initiated a systematic study on identifying common linear systems, built upon the earlier work of Cameron-Cilleruelo-Serra. When $L$ is a single equation, Fox-Pham-Zhao gave a complete characterization of common linear equations. When $L$ consists of two equations, Kam\v{c}ev-Liebenau-Morrison showed that irredundant $2\times 4$ linear systems are always uncommon. In this work, (1) we determine commonness of all $2\times 5$ linear systems up to a small number of cases, and (2) we show that all $2\times k$ linear systems with $k$ even and girth (minimum number of nonzero coefficients of a nonzero equation spanned by the system) $k-1$ are uncommon, answering a question of Kam\v{c}ev-Liebenau-Morrison.


title: Path integral control under McKean-Vlasov dynamics

abstract: We investigate the complexities of the McKean-Vlasov optimal control problem, exploring its various formulations such as the strong and weak formulations, as well as both Markovian and non-Markovian setups within financial markets. Furthermore, we examine scenarios where the law governing the control process impacts the dynamics of options. By conceptualizing controls as probability measures on a fitting canonical space with filtrations, we unlock the potential to devise classical measurable selection methods, conditioning strategies, and concatenation arguments within this innovative framework. These tools enable us to establish the dynamic programming principle under a wide range of conditions.


title: Tau Herculids 2022 from the McDonald Observatory, Texas -- a progress report

abstract: As part of an intensive effort to observe the predicted 2022 Tau Herculids outburst, we recorded almost 800 individual meteor streaks on May 30th and 31st, 2022, using a high-sensitivity Sony~$\alpha$7 camera. The video recordings were obtained under perfect conditions at the McDonald Observatory, Texas, USA. The meteor sample is dominated by the predicted Tau Herculids shower, however, we also noted significant activity of sporadic meteors and other possible weak showers. We found that the time of the maximum activity matched very well the predictions, while we note the large fraction of faint meteors that were not detectable visually. We determined the radiant, and the time evolution of the activities and currently we are working on the determination of the brightness statistics.


title: The TruEnd-procedure: Treating trailing zero-valued balances in credit data

abstract: A novel procedure is presented for finding the true but latent endpoints within the repayment histories of individual loans. The monthly observations beyond these true endpoints are false, largely due to operational failures that delay account closure, thereby corrupting some loans in the dataset with `false' observations. Detecting these false observations is difficult at scale since each affected loan history might have a different sequence of zero (or very small) month-end balances that persist towards the end. Identifying these trails of diminutive balances would require an exact definition of a "small balance", which can be found using our so-called TruEnd-procedure. We demonstrate this procedure and isolate the ideal small-balance definition using residential mortgages from a large South African bank. Evidently, corrupted loans are remarkably prevalent and have excess histories that are surprisingly long, which ruin the timing of certain risk events and compromise any subsequent time-to-event model such as survival analysis. Excess histories can be discarded using the ideal small-balance definition, which demonstrably improves the accuracy of both the predicted timing and severity of risk events, without materially impacting the monetary value of the portfolio. The resulting estimates of credit losses are lower and less biased, which augurs well for raising accurate credit impairments under the IFRS 9 accounting standard. Our work therefore addresses a pernicious data error, which highlights the pivotal role of data preparation in producing credible forecasts of credit risk.


title: What You Use is What You Get: Unforced Errors in Studying Cultural Aspects in Agile Software Development

abstract: Context: Cultural aspects are of high importance as they guide people's behaviour and thus, influence how people apply methods and act in projects. In recent years, software engineering research emphasized the need to analyze the challenges of specific cultural characteristics. Investigating the influence of cultural characteristics is challenging due to the multi-faceted concept of culture. People's behaviour, their beliefs and underlying values are shaped by different layers of culture, e.g., regions, organizations, or groups. In this study, we focus on agile methods, which are agile approaches that focus on underlying values, collaboration and communication. Thus, cultural and social aspects are of high importance for their successful use in practice. Objective: In this paper, we address challenges that arise when using the model of cultural dimensions by Hofstede to characterize specific cultural values. This model is often used when discussing cultural influences in software engineering. Method: As a basis, we conducted an exploratory, multiple case study, consisting of two cases in Japan and two in Germany. Contributions: In this study, we observed that cultural characteristics of the participants differed significantly from cultural characteristics that would typically be expected for people from the respective country. This drives our conclusion that for studies in empirical software engineering that address cultural factors, a case-specific analysis of the characteristics is needed.


title: T\"urk\c{c}e Dil Modellerinin Performans Kar\c{s}{\i}la\c{s}t{\i}rmas{\i} Performance Comparison of Turkish Language Models

abstract: The developments that language models have provided in fulfilling almost all kinds of tasks have attracted the attention of not only researchers but also the society and have enabled them to become products. There are commercially successful language models available. However, users may prefer open-source language models due to cost, data privacy, or regulations. Yet, despite the increasing number of these models, there is no comprehensive comparison of their performance for Turkish. This study aims to fill this gap in the literature. A comparison is made among seven selected language models based on their contextual learning and question-answering abilities. Turkish datasets for contextual learning and question-answering were prepared, and both automatic and human evaluations were conducted. The results show that for question-answering, continuing pretraining before fine-tuning with instructional datasets is more successful in adapting multilingual models to Turkish and that in-context learning performances do not much related to question-answering performances.


title: First-Fit Coloring of Forests in Random Arrival Model

abstract: We consider a graph coloring algorithm that processes vertices in order taken uniformly at random and assigns colors to them using First-Fit strategy. We show that this algorithm uses, in expectation, at most $(\frac{1}{2} + o(1))\cdot \ln n \,/\, \ln\ln n$ different colors to color any forest with $n$ vertices. We also construct a family of forests that shows that this bound is best possible.


title: Computational hardness of detecting graph lifts and certifying lift-monotone properties of random regular graphs

abstract: We introduce a new conjecture on the computational hardness of detecting random lifts of graphs: we claim that there is no polynomial-time algorithm that can distinguish between a large random $d$-regular graph and a large random lift of a Ramanujan $d$-regular base graph (provided that the lift is corrupted by a small amount of extra noise), and likewise for bipartite random graphs and lifts of bipartite Ramanujan graphs. We give evidence for this conjecture by proving lower bounds against the local statistics hierarchy of hypothesis testing semidefinite programs. We then explore the consequences of this conjecture for the hardness of certifying bounds on numerous functions of random regular graphs, expanding on a direction initiated by Bandeira, Banks, Kunisky, Moore, and Wein (2021). Conditional on this conjecture, we show that no polynomial-time algorithm can certify tight bounds on the maximum cut of random 3- or 4-regular graphs, the maximum independent set of random 3- or 4-regular graphs, or the chromatic number of random 7-regular graphs. We show similar gaps asymptotically for large degree for the maximum independent set and for any degree for the minimum dominating set, finding that naive spectral and combinatorial bounds are optimal among all polynomial-time certificates. Likewise, for small-set vertex and edge expansion in the limit of very small sets, we show that the spectral bounds of Kahale (1995) are optimal among all polynomial-time certificates.


title: Two-Source and Affine Non-Malleable Extractors for Small Entropy

abstract: Non-malleable extractors are generalizations and strengthening of standard randomness extractors, that are resilient to adversarial tampering. Such extractors have wide applications in cryptography and explicit construction of extractors. In the well-studied models of two-source and affine non-malleable extractors, the previous best constructions only work for entropy rate $>2/3$ and $1-\gamma$ respectively by Li (FOCS' 23). We present explicit constructions of two-source and affine non-malleable extractors that match the state-of-the-art constructions of standard ones for small entropy. Our main results include two-source and affine non-malleable extractors (over $\mathsf{F}_2$) for sources on $n$ bits with min-entropy $k \ge \log^C n$ and polynomially small error, matching the parameters of standard extractors by Chattopadhyay and Zuckerman (STOC' 16, Annals of Mathematics' 19) and Li (FOCS' 16), as well as those with min-entropy $k = O(\log n)$ and constant error, matching the parameters of standard extractors by Li (FOCS' 23). Our constructions significantly improve previous results, and the parameters (entropy requirement and error) are the best possible without first improving the constructions of standard extractors. In addition, our improved affine non-malleable extractors give strong lower bounds for a certain kind of read-once linear branching programs, recently introduced by Gryaznov, Pudl\'{a}k, and Talebanfard (CCC' 22) as a generalization of several well-studied computational models. These bounds match the previously best-known average-case hardness results given by Chattopadhyay and Liao (CCC' 23) and Li (FOCS' 23), where the branching program size lower bounds are close to optimal, but the explicit functions we use here are different.\ Our results also suggest a possible deeper connection between non-malleable extractors and standard ones.


title: A new approach to analyse single-site video observations: A Tau Her 2022 case study

abstract: Here we present a continuation of the work that was based on video observations of the Tau Her 2022 outburst from the McDonald Observatory, Texas, US. On the night of the maximum in 2022 we detected 626 individual Tau Her meteors, for which we estimated photovisual magnitudes and analysed their distribution on the sky to determine the radiant position in an innovative way. The derived population index is $5.56 \pm 1.83$, while the radiant position for the mid-time of the observations is: $\mathrm{RA} = 209.71 ^\circ \pm 1.01 ^\circ$, $\mathrm{Dec} = 27.73 ^\circ \pm 0.07 ^\circ$. Both measurements are in good agreement with other results in the literature, although our population index seems to be higher than most of the published values. We speculate this might be due to the higher sensitivity of our equipment to fainter meteors.


title: Defect Localization Using Region of Interest and Histogram-Based Enhancement Approaches in 3D-Printing

abstract: Additive manufacturing (AM), particularly 3D printing, has revolutionized the production of complex structures across various industries. However, ensuring quality and detecting defects in 3D-printed objects remain significant challenges. This study focuses on improving defect detection in 3D-printed cylinders by integrating novel pre-processing techniques such as Region of Interest (ROI) selection, Histogram Equalization (HE), and Details Enhancer (DE) with Convolutional Neural Networks (CNNs), specifically the modified VGG16 model. The approaches, ROIN, ROIHEN, and ROIHEDEN, demonstrated promising results, with the best model achieving an accuracy of 1.00 and an F1-score of 1.00 on the test set. The study also explored the models' interpretability through Local Interpretable Model-Agnostic Explanations and Gradient-weighted Class Activation Mapping, enhancing the understanding of the decision-making process. Furthermore, the modified VGG16 model showed superior computational efficiency with 30713M FLOPs and 15M parameters, the lowest among the compared models. These findings underscore the significance of tailored pre-processing and CNNs in enhancing defect detection in AM, offering a pathway to improve manufacturing precision and efficiency. This research not only contributes to the advancement of 3D printing technology but also highlights the potential of integrating machine learning with AM for superior quality control.


title: Optimising the relative entropy under semi definite constraints -- A new tool for estimating key rates in QKD

abstract: Finding the minimal relative entropy of two quantum states under semi definite constraints is a pivotal problem located at the mathematical core of various applications in quantum information theory. In this work, we provide a method that addresses this optimisation. Our primordial motivation stems form the essential task of estimating secret key rates for QKD from the measurement statistics of a real device. Further applications include the computation of channel capacities, the estimation of entanglement measures from experimental data and many more. For all those tasks it is highly relevant to provide both, provable upper and lower bounds. An efficient method for this is the central result of this work. We build on a recently introduced integral representation of quantum relative entropy by P.E. Frenkel and provide reliable bounds as a sequence of semi definite programs (SDPs). Our approach ensures provable quadratic order convergence, while also maintaining resource efficiency in terms of SDP matrix dimensions. Additionally, we can provide gap estimates to the optimum at each iteration stage.


title: AutoGenesisAgent: Self-Generating Multi-Agent Systems for Complex Tasks

abstract: The proliferation of large language models (LLMs) and their integration into multi-agent systems has paved the way for sophisticated automation in various domains. This paper introduces AutoGenesisAgent, a multi-agent system that autonomously designs and deploys other multi-agent systems tailored for specific tasks. AutoGenesisAgent comprises several specialized agents including System Understanding, System Design, Agent Generator, and several others that collectively manage the lifecycle of creating functional multi-agent systems from initial concept to deployment. Each agent in AutoGenesisAgent has distinct responsibilities ranging from interpreting input prompts to optimizing system performance, culminating, in the deployment of a ready-to-use system. This proof-of-concept study discusses the design, implementation, and lessons learned from developing AutoGenesisAgent, highlighting its capability to generate and refine multi-agent systems autonomously, thereby reducing the need for extensive human oversight in the initial stages of system design. Keywords: multi-agent systems, large language models, system design automation, agent architecture, autonomous systems, software deployment


title: Leveraging AI to Generate Audio for User-generated Content in Video Games

abstract: In video game design, audio (both environmental background music and object sound effects) play a critical role. Sounds are typically pre-created assets designed for specific locations or objects in a game. However, user-generated content is becoming increasingly popular in modern games (e.g. building custom environments or crafting unique objects). Since the possibilities are virtually limitless, it is impossible for game creators to pre-create audio for user-generated content. We explore the use of generative artificial intelligence to create music and sound effects on-the-fly based on user-generated content. We investigate two avenues for audio generation: 1) text-to-audio: using a text description of user-generated content as input to the audio generator, and 2) image-to-audio: using a rendering of the created environment or object as input to an image-to-text generator, then piping the resulting text description into the audio generator. In this paper we discuss ethical implications of using generative artificial intelligence for user-generated content and highlight two prototype games where audio is generated for user-created environments and objects.


title: Neyman Meets Causal Machine Learning: Experimental Evaluation of Individualized Treatment Rules

abstract: A century ago, Neyman showed how to evaluate the efficacy of treatment using a randomized experiment under a minimal set of assumptions. This classical repeated sampling framework serves as a basis of routine experimental analyses conducted by today's scientists across disciplines. In this paper, we demonstrate that Neyman's methodology can also be used to experimentally evaluate the efficacy of individualized treatment rules (ITRs), which are derived by modern causal machine learning algorithms. In particular, we show how to account for additional uncertainty resulting from a training process based on cross-fitting. The primary advantage of Neyman's approach is that it can be applied to any ITR regardless of the properties of machine learning algorithms that are used to derive the ITR. We also show, somewhat surprisingly, that for certain metrics, it is more efficient to conduct this ex-post experimental evaluation of an ITR than to conduct an ex-ante experimental evaluation that randomly assigns some units to the ITR. Our analysis demonstrates that Neyman's repeated sampling framework is as relevant for causal inference today as it has been since its inception.


title: Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach

abstract: Deep Learning (DL) models excel in computer vision tasks but can be susceptible to adversarial examples. This paper introduces Triple-Metric EvoAttack (TM-EVO), an efficient algorithm for evaluating the robustness of object-detection DL models against adversarial attacks. TM-EVO utilizes a multi-metric fitness function to guide an evolutionary search efficiently in creating effective adversarial test inputs with minimal perturbations. We evaluate TM-EVO on widely-used object-detection DL models, DETR and Faster R-CNN, and open-source datasets, COCO and KITTI. Our findings reveal that TM-EVO outperforms the state-of-the-art EvoAttack baseline, leading to adversarial tests with less noise while maintaining efficiency.


title: 100+ years of colossal confusion on colloidal coagulation. Part I: Smoluchowski's work on absorbing boundaries

abstract: A report by Brillouin (from Perrin's laboratory) on the rate of adsorption of `granules' to a glass plate [\textit{Ann. Chim. Phys.} 27 (1912) 412--23] prompted Marian von Smoluchowski (MvS) to interpret the data in terms of his newly developed theory of restricted Brownian motion. Placing an adsorbing wall at $x=0$, he modelled the particle concentration $n(x,t)$ as that solution of the diffusion equation which vanished at the wall, a boundary condition (BC) hereafter called SBC. A gaping discrepancy between his theory and Brillouin's data elicited a suggestion from MvS (that a particle might not adhere to the wall on every impact), but no further action -- other than that of applying his theory to spherically symmtric systems. In a paper written before, but published shortly after MvS's untimely death [\textit{Proc. Roy. Acad. Amst.} 20 (1918) 642--58], H. C. Burger erected a new and sturdier framework, which led him to an alternative BC, $D(\partial n/\partial x)_{x=0}=\varkappa n(0,t)$, applicable to a surface with an arbitrary absorption probability ($1\leq\varepsilon\leq 0$); a fallacy (that subsequently claimed more victims, including the present author) prevented him from deducing the correct expression for $\varkappa$. Burger's approach became ``The Road Not Taken'', while the SBC became the cornerstone of colloidal coagulation and bimoleculer reaction kinetics. Burger's approach (but not the ABC) was partly rediscovered by Kolmogorov, and used by Sveshnikov and Fuchs.The emended version of Burger's BC is shown here to coincide with that deduced from the Klein-Kramers equation [\textit{Phys. Rev. Lett.} \textbf{49} (1982) 304--07; \textit{J. Chem. Phys.} \textbf{78} (1983) 2710--12] and the Lorentz model of random flights [\textit{J. Phys. Chem.} \textbf{86} (1982) 4750--56].


title: Investigating differences in lab-quality and remote recording methods with dynamic acoustic measures

abstract: Increasingly, phonetic research utilizes data collected from participants who record themselves on readily available devices. Though such recordings are convenient, their suitability for acoustic analysis remains an open question, especially regarding how the individual methods affect acoustic measures over time. We used Quantile Generalized Additive Mixed Models (QGAMMs) to analyze measures of F0, intensity, and the first and second formants, comparing files recorded using a laboratory-standard recording method (Zoom H6 Recorder with an external microphone), to three remote recording methods, (1) the Awesome Voice Recorder application on a smartphone (AVR), (2) the Zoom meeting application with default settings (Zoom-default), and (3) the Zoom meeting application with the "Turn on Original Sound" setting (Zoom-raw). A linear temporal alignment issue was observed for the Zoom methods over the course of the long, recording session files. However, the difference was not significant for utterance-length files. F0 was reliably measured using all methods. Intensity and formants presented non-linear differences across methods that could not be corrected for simply. Overall, the AVR files were most similar to the H6's, and so AVR is deemed to be a more reliable recording method than either Zoom-default or Zoom-raw.


title: Out-of-Distribution Detection using Maximum Entropy Coding

abstract: Given a default distribution $P$ and a set of test data $x^M=\{x_1,x_2,\ldots,x_M\}$ this paper seeks to answer the question if it was likely that $x^M$ was generated by $P$. For discrete distributions, the definitive answer is in principle given by Kolmogorov-Martin-L\"{o}f randomness. In this paper we seek to generalize this to continuous distributions. We consider a set of statistics $T_1(x^M),T_2(x^M),\ldots$. To each statistic we associate its maximum entropy distribution and with this a universal source coder. The maximum entropy distributions are subsequently combined to give a total codelength, which is compared with $-\log P(x^M)$. We show that this approach satisfied a number of theoretical properties. For real world data $P$ usually is unknown. We transform data into a standard distribution in the latent space using a bidirectional generate network and use maximum entropy coding there. We compare the resulting method to other methods that also used generative neural networks to detect anomalies. In most cases, our results show better performance.


title: Evolution of random representable matroids: minors, circuits, connectivity and the critical number

abstract: We study the evolution of random matroids represented by the sequence of random matrices over ${\mathbb F}_q$ where columns are added one after the other, and each column vector is a uniformly random vector in ${\mathbb F}_q^n$, independent of each other. We study the appearance of matroid minors, the appearance of circuits, the evolution of the connectivities and the critical number. We settle several open problems in the literature.


title: How Does Conversation Length Impact User's Satisfaction? A Case Study of Length-Controlled Conversations with LLM-Powered Chatbots

abstract: Users can discuss a wide range of topics with large language models (LLMs), but they do not always prefer solving problems or getting information through lengthy conversations. This raises an intriguing HCI question: How does instructing LLMs to engage in longer or shorter conversations affect conversation quality? In this paper, we developed two Slack chatbots using GPT-4 with the ability to vary conversation lengths and conducted a user study. Participants asked the chatbots both highly and less conversable questions, engaging in dialogues with 0, 3, 5, and 7 conversational turns. We found that the conversation quality does not differ drastically across different conditions, while participants had mixed reactions. Our study demonstrates LLMs' ability to change conversation length and the potential benefits for users resulting from such changes, but we caution that changes in text form may not necessarily imply changes in quality or content.


title: Catalytic Coagulation

abstract: We introduce an autocatalytic aggregation model in which the rate at which two clusters merge to form a cluster is controlled by the presence of a third "catalytic" cluster whose mass must equal to the mass of one of the reaction partners. The catalyst is unaffected by the joining event and is available to either participate in or catalyze subsequent reactions. This model is meant to mimic the self-replicating reactions that occur in models for the origin of life. We solve the kinetics of this catalytic coagulation model for the case of mass-independent rates and show that the total cluster density decays as $t^{-1/3}$, while the density of clusters of any fixed mass decays as $t^{-2/3}$. These behaviors contrast with the corresponding $t^{-1}$ and $t^{-2}$ scalings for classic aggregation. We extend our model to mass-dependent reaction rates, to situations where only "magic" mass clusters can catalyze reactions, and to include steady monomer input.

categories: cond-mat.stat-mech physics.bio-ph physics.chem-ph q-bio.QM


title: Player-Driven Emergence in LLM-Driven Game Narrative

abstract: We explore how interaction with large language models (LLMs) can give rise to emergent behaviors, empowering players to participate in the evolution of game narratives. Our testbed is a text-adventure game in which players attempt to solve a mystery under a fixed narrative premise, but can freely interact with non-player characters generated by GPT-4, a large language model. We recruit 28 gamers to play the game and use GPT-4 to automatically convert the game logs into a node-graph representing the narrative in the player's gameplay. We find that through their interactions with the non-deterministic behavior of the LLM, players are able to discover interesting new emergent nodes that were not a part of the original narrative but have potential for being fun and engaging. Players that created the most emergent nodes tended to be those that often enjoy games that facilitate discovery, exploration and experimentation.


title: Generative AI in Color-Changing Systems: Re-Programmable 3D Object Textures with Material and Design Constraints

abstract: Advances in Generative AI tools have allowed designers to manipulate existing 3D models using text or image-based prompts, enabling creators to explore different design goals. Photochromic color-changing systems, on the other hand, allow for the reprogramming of surface texture of 3D models, enabling easy customization of physical objects and opening up the possibility of using object surfaces for data display. However, existing photochromic systems require the user to manually design the desired texture, inspect the simulation of the pattern on the object, and verify the efficacy of the generated pattern. These manual design, inspection, and verification steps prevent the user from efficiently exploring the design space of possible patterns. Thus, by designing an automated workflow desired for an end-to-end texture application process, we can allow rapid iteration on different practicable patterns. In this workshop paper, we discuss the possibilities of extending generative AI systems, with material and design constraints for reprogrammable surfaces with photochromic materials. By constraining generative AI systems to colors and materials possible to be physically realized with photochromic dyes, we can create tools that would allow users to explore different viable patterns, with text and image-based prompts. We identify two focus areas in this topic: photochromic material constraints and design constraints for data-encoded textures. We highlight the current limitations of using generative AI tools to create viable textures using photochromic material. Finally, we present possible approaches to augment generative AI methods to take into account the photochromic material constraints, allowing for the creation of viable photochromic textures rapidly and easily.


title: Dr-SAM: An End-to-End Framework for Vascular Segmentation, Diameter Estimation, and Anomaly Detection on Angiography Images

abstract: Recent advancements in AI have significantly transformed medical imaging, particularly in angiography, by enhancing diagnostic precision and patient care. However existing works are limited in analyzing the aorta and iliac arteries, above all for vascular anomaly detection and characterization. To close this gap, we propose Dr-SAM, a comprehensive multi-stage framework for vessel segmentation, diameter estimation, and anomaly analysis aiming to examine the peripheral vessels through angiography images. For segmentation we introduce a customized positive/negative point selection mechanism applied on top of the Segment Anything Model (SAM), specifically for medical (Angiography) images. Then we propose a morphological approach to determine the vessel diameters followed by our histogram-driven anomaly detection approach. Moreover, we introduce a new benchmark dataset for the comprehensive analysis of peripheral vessel angiography images which we hope can boost the upcoming research in this direction leading to enhanced diagnostic precision and ultimately better health outcomes for individuals facing vascular issues.


title: Magic zeroes in the black hole response problem and a Love symmetry resolution

abstract: In this thesis, we present the emergence of an $SL(2,R)$ ("Love") symmetry in the suitably defined near-zone region, relevant for studying the black hole response problem. This symmetry is globally defined and physical solutions of the black hole linearized field equations are closed under its action. The vanishing of static Love numbers is found to naturally arise as a selection rule following from the fact that the relevant solution belongs to a particular highest-weight representation of the Love symmetry. Interestingly, the Love symmetry appears to be connected to the well-known enhanced $SL(2,R)$ isometry subgroup of the near-horizon extremal geometry. Namely, the Love symmetry exactly reduces to the isometry of the near-horizon AdS$_2$ throat for extremal Reissner-Nordstr\"om black holes, while, for rotating black holes, one is lead to consider an infinite-dimensional $SL(2,R)\ltimes\hat{U}(1)_V$ extension of the Love symmetry, a family of subalgebras of which precisely recovers the Killing vectors of the corresponding AdS$_2$ throat in the extremal limit. Similar results persist when studying perturbations of general-relativistic black holes in higher dimensions. Even though the black hole static Love numbers now vanish only for a discrete set of resonant conditions that depends on the orbital number of the perturbation, Love symmetry exists independently of these details. This hints at a geometric interpretation of the Love symmetry; a statement that becomes more rigorous within the framework of subtracted geometries. However, Love symmetry appears to be theory-dependent. We extract, in particular, a sufficient geometric condition for its existence according to which, for instance, it does not exist in Riemann$^3$ gravity or some stringy-corrected low-energy effective gravitational actions, in accordance with explicit computations of the corresponding black hole Love numbers.


title: Motor Focus: Ego-Motion Prediction with All-Pixel Matching

abstract: Motion analysis plays a critical role in various applications, from virtual reality and augmented reality to assistive visual navigation. Traditional self-driving technologies, while advanced, typically do not translate directly to pedestrian applications due to their reliance on extensive sensor arrays and non-feasible computational frameworks. This highlights a significant gap in applying these solutions to human users since human navigation introduces unique challenges, including the unpredictable nature of human movement, limited processing capabilities of portable devices, and the need for directional responsiveness due to the limited perception range of humans. In this project, we introduce an image-only method that applies motion analysis using optical flow with ego-motion compensation to predict Motor Focus-where and how humans or machines focus their movement intentions. Meanwhile, this paper addresses the camera shaking issue in handheld and body-mounted devices which can severely degrade performance and accuracy, by applying a Gaussian aggregation to stabilize the predicted motor focus area and enhance the prediction accuracy of movement direction. This also provides a robust, real-time solution that adapts to the user's immediate environment. Furthermore, in the experiments part, we show the qualitative analysis of motor focus estimation between the conventional dense optical flow-based method and the proposed method. In quantitative tests, we show the performance of the proposed method on a collected small dataset that is specialized for motor focus estimation tasks.


title: Quantum bit with telecom wave-length emission from a simple defect in Si

abstract: Spin-to-photon interfaces from defects in silicon hold great promise towards realizing quantum repeaters with the combination of advanced semiconductor and photonics technologies. Recently, controlled creation and erasure of simple carbon interstitial defects have been successfully realised in silicon. This defect has a stable structure near room temperature and emits in the wave-length where the signal loss is minimal in optical fibres used in communication technologies. Our in-depth theoretical characterization confirms the assignment of the observed emission to the neutral charge state of this defect. We find that the emission is due to the recombination of a bound exciton. We also discovered a metastable triplet state that could be applied as a quantum memory. Based on the analysis of the electronic structure of the defect and its similarities to a known optically detected magnetic resonance centre in silicon, we propose that a carbon interstitial can act as a quantum bit and may realize a spin-to-photon interface in CMOS-compatible platforms.


title: Auto-Generating Weak Labels for Real & Synthetic Data to Improve Label-Scarce Medical Image Segmentation

abstract: The high cost of creating pixel-by-pixel gold-standard labels, limited expert availability, and presence of diverse tasks make it challenging to generate segmentation labels to train deep learning models for medical imaging tasks. In this work, we present a new approach to overcome the hurdle of costly medical image labeling by leveraging foundation models like Segment Anything Model (SAM) and its medical alternate MedSAM. Our pipeline has the ability to generate weak labels for any unlabeled medical image and subsequently use it to augment label-scarce datasets. We perform this by leveraging a model trained on a few gold-standard labels and using it to intelligently prompt MedSAM for weak label generation. This automation eliminates the manual prompting step in MedSAM, creating a streamlined process for generating labels for both real and synthetic images, regardless of quantity. We conduct experiments on label-scarce settings for multiple tasks pertaining to modalities ranging from ultrasound, dermatology, and X-rays to demonstrate the usefulness of our pipeline. The code is available at https://github.com/stanfordmlgroup/Auto-Generate-WLs/.


title: Learning Actionable Counterfactual Explanations in Large State Spaces

abstract: Counterfactual explanations (CFEs) are sets of actions that an agent with a negative classification could take to achieve a (desired) positive classification, for consequential decisions such as loan applications, hiring, admissions, etc. In this work, we consider settings where optimal CFEs correspond to solutions of weighted set cover problems. In particular, there is a collection of actions that agents can perform that each have their own cost and each provide the agent with different sets of capabilities. The agent wants to perform the cheapest subset of actions that together provide all the needed capabilities to achieve a positive classification. Since this is an NP-hard optimization problem, we are interested in the question: can we, from training data (instances of agents and their optimal CFEs) learn a CFE generator that will quickly provide optimal sets of actions for new agents? In this work, we provide a deep-network learning procedure that we show experimentally is able to achieve strong performance at this task. We consider several problem formulations, including formulations in which the underlying "capabilities" and effects of actions are not explicitly provided, and so there is an informational challenge in addition to the computational challenge. Our problem can also be viewed as one of learning an optimal policy in a family of large but deterministic Markov Decision Processes (MDPs).


title: Compact embeddings and Pitt's property for weighted sequence spaces of Sobolev type

abstract: In this article we introduce a new class of weighted sequence spaces of Sobolev type and prove several compact embedding theorems for them. In all cases our proofs are based on the existence of a Schauder basis that spans all of the spaces under consideration. Our choice of spaces is primarily motivated by earlier work on infinite-dimensional dynamical systems of hyperbolic type arising in non-equilibrium statistical mechanics. We also prove a theorem of Pitt's type asserting that under some conditions every linear bounded transformation from one weighted sequence space into another is compact.


title: Understanding the Career Mobility of Blind and Low Vision Software Professionals

abstract: Context: Scholars in the software engineering (SE) research community have investigated career advancement in the software industry. Research topics have included how individual and external factors can impact career mobility of software professionals, and how gender affects career advancement. However, the community has yet to look at career mobility from the lens of accessibility. Specifically, there is a pressing need to illuminate the factors that hinder the career mobility of blind and low vision software professionals (BLVSPs). Objective: This study aims to understand aspects of the workplace that impact career mobility for BLVSPs. Methods: We interviewed 26 BLVSPs with different roles, years of experience, and industry sectors. Thematic analysis was used to identify common factors related to career mobility. Results: We found four factors that impacted the career mobility of BLVSPs: (1) technical challenges, (2) colleagues' perceptions of BLVSPs, (3) BLVSPs' own perceptions on managerial progression, and (4) BLVSPs' investment in accessibility at the workplace. Conclusion: We suggest implications for tool designers, organizations, and researchers towards fostering more accessible workplaces to support the career mobility of BLVSPs.


title: Observations of Non-thermal Velocity and Comparison with Alfv\'en Wave Turbulence Model in Solar Active Regions

abstract: We present a study of spectral line width measurements from the Extreme Ultraviolet Imaging Spectrometer (EIS) on {\it Hinode}. We used spectral line profiles of Fe {\sc xvi} 262.984 {\AA}, Fe {\sc xiv} 264.787 {\AA}, Fe {\sc xiv} 270.519 {\AA}, Fe {\sc xiv} 274.203 {\AA}, and Fe {\sc xv} 284.160 {\AA}, and studied 11 active regions. Previous studies of spectral line widths have shown that in hot loops in the cores of active regions, the observed non-thermal velocities are smaller than predicted from models of reconnection jets in the corona or shock heating associated with Alfv\'{e}n waves. The observed line widths are also inconsistent with models of chromospheric evaporation due to coronal nanoflares. We show that recent advances in higher resolution Alfv\'{e}n wave turbulence modeling enables us to obtain non-thermal velocities similar to those measured in active regions. The observed non-thermal velocities for the 11 active regions in our study are in the range of 17$-$30 $\rm km ~ s^{-1}$, consistent with the spectral line non-thermal widths predicted from our model of 16 interacting flux tubes, which are in the range of ~15$-$37 $\rm km ~ s^{-1}$.


title: Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions

abstract: The objective of this work is to evaluate multi-agent artificial intelligence methods when deployed on teams of unmanned surface vehicles (USV) in an adversarial environment. Autonomous agents were evaluated in real-world scenarios using the Aquaticus test-bed, which is a Capture-the-Flag (CTF) style competition involving teams of USV systems. Cooperative teaming algorithms of various foundations in behavior-based optimization and deep reinforcement learning (RL) were deployed on these USV systems in two versus two teams and tested against each other during a competition period in the fall of 2023. Deep reinforcement learning applied to USV agents was achieved via the Pyquaticus test bed, a lightweight gymnasium environment that allows simulated CTF training in a low-level environment. The results of the experiment demonstrate that rule-based cooperation for behavior-based agents outperformed those trained in Deep-reinforcement learning paradigms as implemented in these competitions. Further integration of the Pyquaticus gymnasium environment for RL with MOOS-IvP in terms of configuration and control schema will allow for more competitive CTF games in future studies. As the development of experimental deep RL methods continues, the authors expect that the competitive gap between behavior-based autonomy and deep RL will be reduced. As such, this report outlines the overall competition, methods, and results with an emphasis on future works such as reward shaping and sim-to-real methodologies and extending rule-based cooperation among agents to react to safety and security events in accordance with human experts intent/rules for executing safety and security processes.


title: Differentiating Through Linear Solvers

abstract: Computer programs containing calls to linear solvers are a known challenge for automatic differentiation. Previous publications advise against differentiating through the low-level solver implementation, and instead advocate for high-level approaches that express the derivative in terms of a modified linear system that can be solved with a separate solver call. Despite this ubiquitous advice, we are not aware of prior work comparing the accuracy of both approaches. With this article we thus empirically study a simple question: What happens if we ignore common wisdom, and differentiate through linear solvers?


title: Prediction of Performance and Turbulence in ITER Burning Plasmas via Nonlinear Gyrokinetic Profile Prediction

abstract: Burning plasma performance, transport, and the effect of hydrogen isotope on confinement has been predicted for ITER baseline scenario (IBS) conditions using nonlinear gyrokinetic profile predictions. Accelerated by surrogate modeling [P. Rodriguez-Fernandez NF 2022], high fidelity, nonlinear gyrokinetic simulations performed with the CGYRO code [J. Candy JCP 2016], were used to predict profiles of Ti, Te, and ne while including the effects of alpha heating, auxiliary power, collisional energy exchange, and radiation losses. Predicted profiles and resulting energy confinement are found to produce fusion power and gain that are approximately consistent with mission goals (Pfusion = 500MW at Q=10) for the baseline scenario and exhibit energy confinement that is within 1 sigma of the H-mode energy confinement scaling. The power of the surrogate modeling technique is demonstrated through the prediction of alternative ITER scenarios with reduced computational cost. These scenarios include conditions with maximized fusion gain and an investigation of potential Resonant Magnetic Perturbation effects on performance with a minimal number of gyrokinetic profile iterations required. These predictions highlight the stiff ITG nature of the core turbulence predicted in the ITER baseline and demonstrate that Q>17 conditions may be accessible by reducing auxiliary input power while operating in IBS conditions. Prediction of full kinetic profiles allowed for the projection of hydrogen isotope effects around ITER baseline conditions. The gyrokinetic fuel ion species was varied from H, D, and 50/50 D-T and kinetic profiles were predicted. Results indicate that a weak or negligible isotope effect will be observed to arise from core turbulence in ITER baseline scenario conditions. The resulting energy confinement, turbulence, and density peaking, and the implications for ITER operations will be discussed.


title: Nuclei-Location Based Point Set Registration of Multi-Stained Whole Slide Images

abstract: Whole Slide Images (WSIs) provide exceptional detail for studying tissue architecture at the cell level. To study tumour microenvironment (TME) with the context of various protein biomarkers and cell sub-types, analysis and registration of features using multi-stained WSIs is often required. Multi-stained WSI pairs normally suffer from rigid and non-rigid deformities in addition to slide artefacts and control tissue which present challenges at precise registration. Traditional registration methods mainly focus on global rigid/non-rigid registration but struggle with aligning slides with complex tissue deformations at the nuclei level. However, nuclei level non-rigid registration is essential for downstream tasks such as cell sub-type analysis in the context of protein biomarker signatures. This paper focuses on local level non-rigid registration using a nuclei-location based point set registration approach for aligning multi-stained WSIs. We exploit the spatial distribution of nuclei that is prominent and consistent (to a large level) across different stains to establish a spatial correspondence. We evaluate our approach using the HYRECO dataset consisting of 54 re-stained images of H\&E and PHH3 image pairs. The approach can be extended to other IHC and IF stained WSIs considering a good nuclei detection algorithm is accessible. The performance of the model is tested against established registration algorithms and is shown to outperform the model for nuclei level registration.


title: Reassessing Relationality for Bipolar Data

abstract: Methods for clustering people into construals--social affinity groups of individuals who share similarities in how they organize their outlooks on a collection of issues--have recently gained traction. Relational Class Analysis (RCA) is currently the most commonly used method for construal clustering. RCA has been applied to identify affinity groups in social spheres as varied as politics, musical preferences, and attitudes towards science. In this study, we highlight limitations in RCA's ability to accurately identify the number and underlying structure of construals. These limitations stem from RCA's mathematical underpinnings and its insensitivity to the bipolar structure of the survey items, which require respondents to place themselves in a support or rejection space and then express the intensity of their support or rejection. We develop an alternative method, which we call Bipolar Class Analysis (BCA), that aims to address this foundational limitation. BCA conceptualizes people's attitudinal positions as moving along support/rejection semispaces and assesses similarity in opinion organization by taking into account position switches across these semispaces. We conduct extensive simulation analyses, with data organized around different construals, to demonstrate that BCA clusters individuals more accurately than RCA and other available alternatives. We also replicate previous analyses to show that BCA leads to substantively different empirical results than those produced by RCA in its original and later versions, and by Correlational Clustering Analysis (CCA), a method that has been proposed as an alternative to RCA.


title: A JWST Medium Resolution MIRI Spectrum and Models of the Type Ia supernova 2021aefx at +415 d

abstract: We present a JWST MIRI/MRS spectrum (5-27 $\mathrm{\mu}$m) of the Type Ia supernova (SN Ia), SN 2021aefx at $+415$ days past $B$-band maximum. The spectrum, which was obtained during the iron-dominated nebular phase, has been analyzed in combination with previous JWST observations of SN 2021aefx, to provide the first JWST time series analysis of an SN Ia. We find the temporal evolution of the [Co III] 11.888 $\mathrm{\mu}$m feature directly traces the decay of $^{56}$Co. The spectra, line profiles, and their evolution are analyzed with off-center delayed-detonation models. Best fits were obtained with White Dwarf (WD) central densities of $\rho_c=0.9-1.1\times 10^9$g cm$^{-3}$, a WD mass of M$_{\mathrm{WD}}$=1.33-1.35M$_\odot$, a WD magnetic field of $\approx10^6$G, and an off-center deflagration-to-detonation transition at $\approx$ 0.5 $M_\odot$ seen opposite to the line of sight of the observer. The inner electron capture core is dominated by energy deposition from $\gamma$-rays whereas a broader region is dominated by positron deposition, placing SN 2021aefx at +415 d in the transitional phase of the evolution to the positron-dominated regime. The formerly `flat-tilted' profile at 9 $\mathrm{\mu}$m now has significant contribution from [Ni IV], [Fe II], and [Fe III] and less from [Ar III], which alters the shape of the feature as positrons excite mostly the low-velocity Ar. Overall, the strength of the stable Ni features in the spectrum is dominated by positron transport rather than the Ni mass. Based on multi-dimensional models, our analysis strongly supports a single-spot, close-to-central ignition with an indication for a pre-existing turbulent velocity field, and excludes a multiple-spot, off-center ignition.


title: A new Taxonomy for Automated Driving: Structuring Applications based on their Operational Design Domain, Level of Automation and Automation Readiness

abstract: The aim of this paper is to investigate the relationship between operational design domains (ODD), automated driving SAE Levels, and Technology Readiness Level (TRL). The first highly automated vehicles, like robotaxis, are in commercial use, and the first vehicles with highway pilot systems have been delivered to private customers. It has emerged as a crucial issue that these automated driving systems differ significantly in their ODD and in their technical maturity. Consequently, any approach to compare these systems is difficult and requires a deep dive into defined ODDs, specifications, and technologies used. Therefore, this paper challenges current state-of-the-art taxonomies and develops a new and integrated taxonomy that can structure automated vehicle systems more efficiently. We use the well-known SAE Levels 0-5 as the "level of responsibility", and link and describe the ODD at an intermediate level of abstraction. Finally, a new maturity model is explicitly proposed to improve the comparability of automated vehicles and driving functions. This method is then used to analyze today's existing automated vehicle applications, which are structured into the new taxonomy and rated by the new maturity levels. Our results indicate that this new taxonomy and maturity level model will help to differentiate automated vehicle systems in discussions more clearly and to discover white fields more systematically and upfront, e.g. for research but also for regulatory purposes.


title: Toward Automated Formation of Composite Micro-Structures Using Holographic Optical Tweezers

abstract: Holographic Optical Tweezers (HOT) are powerful tools that can manipulate micro and nano-scale objects with high accuracy and precision. They are most commonly used for biological applications, such as cellular studies, and more recently, micro-structure assemblies. Automation has been of significant interest in the HOT field, since human-run experiments are time-consuming and require skilled operator(s). Automated HOTs, however, commonly use point traps, which focus high intensity laser light at specific spots in fluid media to attract and move micro-objects. In this paper, we develop a novel automated system of tweezing multiple micro-objects more efficiently using multiplexed optical traps. Multiplexed traps enable the simultaneous trapping of multiple beads in various alternate multiplexing formations, such as annular rings and line patterns. Our automated system is realized by augmenting the capabilities of a commercially available HOT with real-time bead detection and tracking, and wavefront-based path planning. We demonstrate the usefulness of the system by assembling two different composite micro-structures, comprising 5 $\mu m$ polystyrene beads, using both annular and line shaped traps in obstacle-rich environments.


title: Unraveling Code Clone Dynamics in Deep Learning Frameworks

abstract: Deep Learning (DL) frameworks play a critical role in advancing artificial intelligence, and their rapid growth underscores the need for a comprehensive understanding of software quality and maintainability. DL frameworks, like other systems, are prone to code clones. Code clones refer to identical or highly similar source code fragments within the same project or even across different projects. Code cloning can have positive and negative implications for software development, influencing maintenance, readability, and bug propagation. In this paper, we aim to address the knowledge gap concerning the evolutionary dimension of code clones in DL frameworks and the extent of code reuse across these frameworks. We empirically analyze code clones in nine popular DL frameworks, i.e., TensorFlow, Paddle, PyTorch, Aesara, Ray, MXNet, Keras, Jax and BentoML, to investigate (1) the characteristics of the long-term code cloning evolution over releases in each framework, (2) the short-term, i.e., within-release, code cloning patterns and their influence on the long-term trends, and (3) the file-level code clones within the DL frameworks. Our findings reveal that DL frameworks adopt four distinct cloning trends and that these trends present some common and distinct characteristics. For instance, bug-fixing activities persistently happen in clones irrespective of the clone evolutionary trend but occur more in the "Serpentine" trend. Moreover, the within release level investigation demonstrates that short-term code cloning practices impact long-term cloning trends. The cross-framework code clone investigation reveals the presence of functional and architectural adaptation file-level cross-framework code clones across the nine studied frameworks. We provide insights that foster robust clone practices and collaborative maintenance in the development of DL frameworks.


title: Near to Mid-term Risks and Opportunities of Open-Source Generative AI

abstract: In the next few years, applications of Generative AI are expected to revolutionize a number of different areas, ranging from science & medicine to education. The potential for these seismic changes has triggered a lively debate about potential risks and resulted in calls for tighter regulation, in particular from some of the major tech companies who are leading in AI development. This regulation is likely to put at risk the budding field of open-source Generative AI. We argue for the responsible open sourcing of generative AI models in the near and medium term. To set the stage, we first introduce an AI openness taxonomy system and apply it to 40 current large language models. We then outline differential benefits and risks of open versus closed source AI and present potential risk mitigation, ranging from best practices to calls for technical and scientific contributions. We hope that this report will add a much needed missing voice to the current public discourse on near to mid-term AI safety and other societal impact.


title: Transductive Spiking Graph Neural Networks for Loihi

abstract: Graph neural networks have emerged as a specialized branch of deep learning, designed to address problems where pairwise relations between objects are crucial. Recent advancements utilize graph convolutional neural networks to extract features within graph structures. Despite promising results, these methods face challenges in real-world applications due to sparse features, resulting in inefficient resource utilization. Recent studies draw inspiration from the mammalian brain and employ spiking neural networks to model and learn graph structures. However, these approaches are limited to traditional Von Neumann-based computing systems, which still face hardware inefficiencies. In this study, we present a fully neuromorphic implementation of spiking graph neural networks designed for Loihi 2. We optimize network parameters using Lava Bayesian Optimization, a novel hyperparameter optimization system compatible with neuromorphic computing architectures. We showcase the performance benefits of combining neuromorphic Bayesian optimization with our approach for citation graph classification using fixed-precision spiking neurons. Our results demonstrate the capability of integer-precision, Loihi 2 compatible spiking neural networks in performing citation graph classification with comparable accuracy to existing floating point implementations.


title: Overidentification in Shift-Share Designs

abstract: This paper studies the testability of identifying restrictions commonly employed to assign a causal interpretation to two stage least squares (TSLS) estimators based on Bartik instruments. For homogeneous effects models applied to short panels, our analysis yields testable implications previously noted in the literature for the two major available identification strategies. We propose overidentification tests for these restrictions that remain valid in high dimensional regimes and are robust to heteroskedasticity and clustering. We further show that homogeneous effect models in short panels, and their corresponding overidentification tests, are of central importance by establishing that: (i) In heterogenous effects models, interpreting TSLS as a positively weighted average of treatment effects can impose implausible assumptions on the distribution of the data; and (ii) Alternative identifying strategies relying on long panels can prove uninformative in short panel applications. We highlight the empirical relevance of our results by examining the viability of Bartik instruments for identifying the effect of rising Chinese import competition on US local labor markets.


title: Simulation of the Far-Infrared Polarimetry Approach Envisioned for the PRIMA Mission

abstract: Interest in the study of magnetic fields and the properties of interstellar dust, explored through increasingly capable far-IR/submillimeter polarimetry, along with maturing detector technology, have set the stage for a transformative leap in polarization mapping capability using a cryogenic space telescope. We describe the approach pursued by the proposed Probe far-Infrared Mission for Astrophysics (PRIMA) to make ultra-deep maps of intensity and polarization in four bands in the 91-232 micron range. A simple, polarimetry-optimized PRIMA Polarimetric Imager (PPI) is designed for this purpose, consisting of arrays of single-polarization Kinetic Inductance Detectors oriented with three angles which allow measurement of Stokes I, Q, and U in single scans. In this study, we develop an end-to-end observation simulator to perform a realistic test of the approach for the case of mapping a nearby galaxy. The observations take advantage of a beam-steering mirror to perform efficient, two-dimensional, crossing scans. Map making is based on 'destriping' approaches demonstrated for Herschel/SPIRE and Planck. Taking worst-case assumptions for detector sensitivity including 1/f noise, we find excellent recovery of simulated input astrophysical maps, with I, Q, and U detected at near fundamental limits. We describe how PPI performs detector relative calibration and mitigates the key systematic effects to accomplish PRIMA polarization science goals.


title: Toward Improving Binary Program Comprehension via Embodied Immersion: A Survey

abstract: Binary program comprehension is critical for many use cases but is difficult, suffering from compounded uncertainty and lack of full automation. We seek methods to improve the effectiveness of the human-machine joint cognitive system performing binary PC. We survey three research areas to perform an indirect cognitive task analysis: cognitive models of the PC process, related elements of cognitive theory, and applicable affordances of virtual reality. Based on common elements in these areas, we identify three overarching themes: enhancing abductive iteration, augmenting working memory, and supporting information organization. These themes spotlight several affordances of VR to exploit in future studies of immersive tools for binary PC.


title: Asynchronous Neuromorphic Optimization with Lava

abstract: Performing optimization with event-based asynchronous neuromorphic systems presents significant challenges. Intel's neuromorphic computing framework, Lava, offers an abstract application programming interface designed for constructing event-based computational graphs. In this study, we introduce a novel framework tailored for asynchronous Bayesian optimization that is also compatible with Loihi 2. We showcase the capability of our asynchronous optimization framework by connecting it with a graph-based satellite scheduling problem running on physical Loihi 2 hardware.


title: Agentive Permissions in Multiagent Systems

abstract: This paper proposes to distinguish four forms of agentive permissions in multiagent settings. The main technical results are the complexity analysis of model checking, the semantic undefinability of modalities that capture these forms of permissions through each other, and a complete logical system capturing the interplay between these modalities.


title: Investigating the effect of particle size distribution and complex exchange dynamics on NMR spectra of ions diffusing in disordered porous carbons through a mesoscopic model

abstract: Ion adsorption and dynamics in porous carbons is crucial for many technologies such as energy storage and desalination. Nuclear Magnetic Resonance (NMR) spectroscopy is a key method to investigate such systems thanks to the possibility to distinguish adsorbed (in-pore) and bulk (ex-pore) species in the spectra. However, the large variety of magnetic environments experienced by the ions adsorbed in the particles and the existence of dynamic exchange between the inside of the particles and the bulk renders the intepretation of the NMR experiments very complex. In this work, we optimise and apply a mesoscopic model to simulate NMR spectra of ions in systems where carbon particles of different sizes can be considered. We demonstrate that even for monodisperse systems, complex NMR spectra, with broad and narrow peaks, can be observed. We then show that the inclusion of polydispersity is essential to recover some experimentally observed features, such as the co-existence of peaks assigned to in-pore, exchange and bulk. Indeed, the variety of exchange rates between in-pore and ex-pore environments, present in experiments but not taken into account in analytical models, is necessary to reproduce the complexity of experimental NMR spectra.


title: Numerical parameterization of stationary axisymmetric black holes in a theory agnostic framework

abstract: The pursuit of a comprehensive theory of gravity has led to the exploration of various alternative models, necessitating a model-independent framework. The Konoplya-Rezzolla-Zhidenko (KRZ) parameterization offers a robust method for approximating stationary axisymmetric black hole spacetimes, characterized by a rapidly converging continued-fraction expansion. However, while analytical metrics benefit from this approach, numerical metrics derived from complex gravitational theories remain presenting computational challenges. Bridging this gap, we propose a method for a numerical KRZ parameterization, tested and demonstrated on pseudo-numerical Kerr and Kerr-Sen spacetimes. Our approach involves constructing numerical grids to represent metric coefficients and using the grids for fitting the parameters up to an arbitrary order. We analyze the accuracy of our method across different orders of approximation, considering deviations in the metric functions and shadow images. In both Kerr and Kerr-Sen cases, we observe rapid convergence of errors with increasing orders of continued fractions, albeit with variations influenced by spin and charge. Our results underscore the potential of the proposed algorithm for parameterizing numerical metrics, offering a pathway for further investigations across diverse gravity theories.


title: Frozen-field Modeling of Coronal Condensations with MPI-AMRVAC I: Demonstration in two-dimensional models

abstract: Large-scale coronal plasma evolutions can be adequately described by magnetohydrodynamics (MHD) equations. However, full multi-dimensional MHD simulations require substantial computational resources. Given the low plasma $\beta$ in the solar corona, in many coronal studies, it suffices to approximate the magnetic field to remain topologically fixed and effectively conduct one-dimensional (1D) hydrodynamic (HD) simulations instead. This approach is often employed in studies of coronal loops and their liability to form condensations related to thermal instability. While 1D HD simulations along given and fixed field line shapes are convenient and fast, they are difficult to directly compare with multi-dimensional phenomena. Therefore, it is more convenient to solve volume-filling, multi-dimensional versions of the MHD equations where we freeze the magnetic field, transforming it into frozen-field HD (ffHD) equations for simulation. We have incorporated this ffHD module into our open-source MPI-AMRVAC code and tested it using a two-dimensional (2D) evaporation--condensation model to study prominence formation due to radiative losses. The 2D ffHD results are compared with those from actual 2D MHD and pseudo-2D HD simulations, analyzing the differences and their causes. Pseudo-2D studies account for the known {flux tube} expansion effects. Overall, the performance of 2D ffHD is close to that of 2D MHD and pseudo-2D HD. The 2D tests conducted in this paper will be extended in follow-up studies to 3D simulations based on analytical or observational approaches.


title: Portable, Massively Parallel Implementation of a Material Point Method for Compressible Flows

abstract: The recent evolution of software and hardware technologies is leading to a renewed computational interest in Particle-In-Cell (PIC) methods such as the Material Point Method (MPM). Indeed, provided some critical aspects are properly handled, PIC methods can be cast in formulations suitable to the requirements of data locality and fine-grained parallelism of modern hardware accelerators as Graphics Processing Units (GPUs). Such a rapid and continuous technological development increases also the importance of generic and portable implementations. While continuum mechanics simulations have already shown the capabilities of MPM on a wide range of phenomena, the use of the method in compressible fluid dynamics is less frequent, especially in the supersonic regime. In this paper we present a portable, highly parallel, GPU based MPM solver for compressible gas dynamics. The implementation aims to reach a good compromise between portability and efficiency and to give a first assessment of the potential of this approach in reproducing high speed gas flows, also taking into account solid obstacles. The proposed model constitutes a new step towards the realization of a monolithic MPM solver for Fluid-Structure Interaction (FSI) problems at all Mach numbers up to the supersonic regime.


title: Exchange Interactions in Rare-earth Magnets $A_2$PrO$_3$ ($A$= alkali metals): Revisited

abstract: Rare-earth materials hold promise to realize exotic magnetic states owing to synergy between electron correlations and spin-orbit coupling. Recently, quasi-two-dimensional honeycomb magnets $A_2$PrO$_3$ ($A$ = alkali metals) were predicted to be good candidates for Kitaev quantum spin liquids, as the Kitaev-type bond-dependent anisotropic interactions dominate over bond-independent isotropic Heisenberg ones. However, experimental observations are negative, questioning the energy hierarchy in Pr$^{4+}$ ions assumed in the conjecture on the basis of the conventional Russell-Saunders coupling scheme. We here revisit the exchange interactions in these Pr compounds, by explicitly taking into account the ionic states beyond the assumption. We show that, while increasing the octahedral crystal field splitting, which was assumed to be negligibly small, relative to the spin-orbit coupling, the Kitaev-type interactions are suppressed to be subdominant compared to prevailing Heisenberg ones. Our finding compromises the contradiction as arising from the peculiar ionic state of the high valence Pr$^{4+}$.


title: CyNetDiff -- A Python Library for Accelerated Implementation of Network Diffusion Models

abstract: In recent years, there has been increasing interest in network diffusion models and related problems. The most popular of these are the independent cascade and linear threshold models. Much of the recent experimental work done on these models requires a large number of simulations conducted on large graphs, a computationally expensive task suited for low-level languages. However, many researchers prefer the use of higher-level languages (such as Python) for their flexibility and shorter development times. Moreover, in many research tasks, these simulations are the most computationally intensive task, so it would be desirable to have a library for these with an interface to a high-level language with the performance of a low-level language. To fill this niche, we introduce CyNetDiff, a Python library with components written in Cython to provide improved performance for these computationally intensive diffusion tasks.


title: On convergence of a sequence of mappings with inverse modulus inequality to a discrete mapping

abstract: We have studied the mappings that satisfy the Poletsky-type inverse inequality in the domain of the Euclidean space. It is proved that the uniform boundary of the family of such mappings is a discrete mapping. We separately considered domains that are locally connected at their boundary and regular domains in the quasiconformal sense.


title: Gauge origami and quiver W-algebras II: Vertex function and beyond quantum $q$-Langlands correspondence

abstract: We continue the study of generalized gauge theory called gauge origami, based on the quantum algebraic approach initiated in [arXiv:2310.08545]. In this article, we in particular explore the D2 brane system realized by the screened vertex operators of the corresponding W-algebra. The partition function of this system given by the corresponding conformal block is identified with the vertex function associated with quasimaps to Nakajima quiver varieties and generalizations, that plays a central role in the quantum $q$-Langlands correspondence. Based on the quantum algebraic perspective, we address three new aspects of the correspondence: (i) Direct equivalence between the electric and magnetic blocks by constructing stable envelopes from the chamber structure of the vertex operators, (ii) Double affine generalization of quantum $q$-Langlands correspondence, and (iii) Conformal block realization of the origami vertex function associated with intersection of quasimaps, that realizes the higher-rank multi-leg Pandharipande-Thomas vertices of 3-fold and 4-fold.


title: Equivariant Double-Slice Genus

abstract: In this paper we define the equivariant double-slice genus and equivariant super-slice genus of a strongly invertible knot. We prove lower bounds for both the equivariant double-slice genus and the equivariant super-slice genus. Using these bounds we find a family of knots which are double-slice and equivariantly slice but have arbitrarily large equivariant double-slice genus. From this, we construct equivariantly knotted symmetric 3-balls as well as unknotted symmetric 2-spheres which do not bound equivariant 3-balls. Additionally, using double-slice and super-slice genus we construct properly embedded surfaces with large 1-handle stabilization distance distance rel boundary.


title: WheelPose: Data Synthesis Techniques to Improve Pose Estimation Performance on Wheelchair Users

abstract: Existing pose estimation models perform poorly on wheelchair users due to a lack of representation in training data. We present a data synthesis pipeline to address this disparity in data collection and subsequently improve pose estimation performance for wheelchair users. Our configurable pipeline generates synthetic data of wheelchair users using motion capture data and motion generation outputs simulated in the Unity game engine. We validated our pipeline by conducting a human evaluation, investigating perceived realism, diversity, and an AI performance evaluation on a set of synthetic datasets from our pipeline that synthesized different backgrounds, models, and postures. We found our generated datasets were perceived as realistic by human evaluators, had more diversity than existing image datasets, and had improved person detection and pose estimation performance when fine-tuned on existing pose estimation models. Through this work, we hope to create a foothold for future efforts in tackling the inclusiveness of AI in a data-centric and human-centric manner with the data synthesis techniques demonstrated in this work. Finally, for future works to extend upon, we open source all code in this research and provide a fully configurable Unity Environment used to generate our datasets. In the case of any models we are unable to share due to redistribution and licensing policies, we provide detailed instructions on how to source and replace said models.


title: Detection of Peri-Pancreatic Edema using Deep Learning and Radiomics Techniques

abstract: Identifying peri-pancreatic edema is a pivotal indicator for identifying disease progression and prognosis, emphasizing the critical need for accurate detection and assessment in pancreatitis diagnosis and management. This study \textit{introduces a novel CT dataset sourced from 255 patients with pancreatic diseases, featuring annotated pancreas segmentation masks and corresponding diagnostic labels for peri-pancreatic edema condition}. With the novel dataset, we first evaluate the efficacy of the \textit{LinTransUNet} model, a linear Transformer based segmentation algorithm, to segment the pancreas accurately from CT imaging data. Then, we use segmented pancreas regions with two distinctive machine learning classifiers to identify existence of peri-pancreatic edema: deep learning-based models and a radiomics-based eXtreme Gradient Boosting (XGBoost). The LinTransUNet achieved promising results, with a dice coefficient of 80.85\%, and mIoU of 68.73\%. Among the nine benchmarked classification models for peri-pancreatic edema detection, \textit{Swin-Tiny} transformer model demonstrated the highest recall of $98.85 \pm 0.42$ and precision of $98.38\pm 0.17$. Comparatively, the radiomics-based XGBoost model achieved an accuracy of $79.61\pm4.04$ and recall of $91.05\pm3.28$, showcasing its potential as a supplementary diagnostic tool given its rapid processing speed and reduced training time. Our code is available \url{https://github.com/NUBagciLab/Peri-Pancreatic-Edema-Detection}.


title: DeLaM: A Dependent Layered Modal Type Theory for Meta-programming

abstract: We scale layered modal type theory to dependent types, introducing DeLaM, dependent layered modal type theory. This type theory is novel in that we have one uniform type theory in which we can not only compose and execute code, but also intensionally analyze the code of types and terms. The latter in particular allows us to write tactics as meta-programs and use regular libraries when writing tactics. DeLaM provides a sound foundation for proof assistants to support type-safe tactic mechanism.


title: Ultrafast spin dynamics: role of laser-induced modification of exchange parameters

abstract: Induced by an ultra-short laser pulse, the electronic structure of a material undergoes strong modifications leading to a fast demagnetization in magnetic materials. Induced spin-flip transitions are one of the reasons for demagnetization, that is discussed in the literature as a Stoner-like mechanism. On the other hand, demagnetization due to transverse spin fluctuations is usually discussed on the basis of the Heisenberg Hamiltonian and hardly accounts for the modification of the electronic structure. In this work we demonstrate a strong impact of the laser-induced electron transitions, both spin-flip and spin-conserving, on the exchange coupling parameters. For this, a simple two-step scheme is suggested. As a first step, the electronic structure time evolution during the ultra-short laser pulse is described accurately within time-dependent density-functional theory (TD-DFT) calculations. As a next step, the information on the time-dependent electronic structure is used for calculations of the parameters of the Heisenberg Hamiltonian. A strong modification of the exchange coupling parameters is found in response to the applied ultra-short laser pulse. The most important reason for this modification is played by the laser induced repopulation of the electronic states. Although the changes of the exchange parameters are most prominent during the laser pulse, they may be important also for the magnetic relaxation. The same concerns the spin-lattice interactions playing a central role for the relaxation process. A strong impact of the laser-induced modification of the electronic structure on the spin-lattice coupling parameters is also shown in this work.


title: The distance function on Coxeter-like graphs and self-dual codes

abstract: Let $SGL_n(\mathbb{F}_2)$ be the set of all invertible $n\times n$ symmetric matrices over the binary field $\mathbb{F}_2$. Let $\Gamma_n$ be the graph with the vertex set $SGL_n(\mathbb{F}_2)$ where a pair of matrices $\{A,B\}$ form an edge if and only if $\textrm{rank}(A-B)=1$. In particular, $\Gamma_3$ is the well-known Coxeter graph. The distance function $d(A,B)$ in $\Gamma_n$ is described for all matrices $A,B\in SGL_n(\mathbb{F}_2)$. The diameter of $\Gamma_n$ is computed. For odd $n\geq 3$, it is shown that each matrix $A\in SGL_n(\mathbb{F}_2)$ such that $d(A,I)=\frac{n+5}{2}$ and $\textrm{rank}(A-I)=\frac{n+1}{2}$ where $I$ is the identity matrix induces a self-dual code in $\mathbb{F}_2^{n+1}$. Conversely, each self-dual code $C$ induces a family ${\cal F}_C$ of such matrices $A$. The families given by distinct self-dual codes are disjoint. The identification $C\leftrightarrow {\cal F}_C$ provides a graph theoretical description of self-dual codes. A result of Janusz (2007) is reproved and strengthened by showing that the orthogonal group ${\cal O}_n(\mathbb{F}_2)$ acts transitively on the set of all self-dual codes in $\mathbb{F}_2^{n+1}$.


title: Complete Boolean Algebra for Memristive and Spintronic Asymmetric Basis Logic Functions

abstract: The increasing advancement of emerging device technologies that provide alternative basis logic sets necessitates the exploration of innovative logic design automation methodologies. Specifically, emerging computing architectures based on the memristor and the bilayer avalanche spin-diode offer non-commutative or `asymmetric' operations, namely the inverted-input AND (IAND) and implication as basis logic gates. Existing logic design techniques inadequately leverage the unique characteristics of asymmetric logic functions resulting in insufficiently optimized logic circuits. This paper presents a complete Boolean algebraic framework specifically tailored to asymmetric logic functions, introducing fundamental identities, theorems and canonical normal forms that lay the groundwork for efficient synthesis and minimization of such logic circuits without relying on conventional Boolean algebra. Further, this paper establishes a logical relationship between implication and IAND operations. A previously proposed modified Karnaugh map method based on a subset of the presented algebraic principles demonstrated a 28% reduction in computational steps for an algorithmically designed memristive full adder; the presently-proposed algebraic framework lays the foundation for much greater future improvements.


title: Channel Modeling for FR3 Upper Mid-band via Generative Adversarial Networks

abstract: The upper mid-band (FR3) has been recently attracting interest for new generation of mobile networks, as it provides a promising balance between spectrum availability and coverage, which are inherent limitations of the sub 6GHz and millimeter wave bands, respectively. In order to efficiently design and optimize the network, channel modeling plays a key role since FR3 systems are expected to operate at multiple frequency bands. Data-driven methods, especially generative adversarial networks (GANs), can capture the intricate relationships among data samples, and provide an appropriate tool for FR3 channel modeling. In this work, we present the architecture, link state model, and path generative network of GAN-based FR3 channel modeling. The comparison of our model greatly matches the ray-tracing simulated data.


title: Deep Reinforcement Learning for Bipedal Locomotion: A Brief Survey

abstract: Bipedal robots are garnering increasing global attention due to their potential applications and advancements in artificial intelligence, particularly in Deep Reinforcement Learning (DRL). While DRL has driven significant progress in bipedal locomotion, developing a comprehensive and unified framework capable of adeptly performing a wide range of tasks remains a challenge. This survey systematically categorizes, compares, and summarizes existing DRL frameworks for bipedal locomotion, organizing them into end-to-end and hierarchical control schemes. End-to-end frameworks are assessed based on their learning approaches, whereas hierarchical frameworks are dissected into layers that utilize either learning-based methods or traditional model-based approaches. This survey provides a detailed analysis of the composition, capabilities, strengths, and limitations of each framework type. Furthermore, we identify critical research gaps and propose future directions aimed at achieving a more integrated and efficient framework for bipedal locomotion, with potential broad applications in everyday life.


title: Bootstrapping the Abelian Lattice Gauge Theories

abstract: We study the $\mathbb{Z}_2$ and $U(1)$ Abelian lattice gauge theories using a bootstrap method, in which the loop equations and positivity conditions are employed for Wilson loops with lengths $L\leqslant L_{\textrm{max}}$ to derive two-sided bounds on the Wilson loop averages. We address a fundamental question that whether the constraints from loop equations and positivity are strong enough to solve lattice gauge theories. We answer this question by bootstrapping the 2D $U(1)$ lattice gauge theory. We show that with sufficiently large $L_{\textrm{max}}=60$, the two-sided bounds provide estimates for the plaquette averages with precision near $10^{-8}$ or even higher, suggesting the bootstrap constraints are sufficient to numerically pin down this theory. We compute the bootstrap bounds on the plaquette averages in the 3D $\mathbb{Z}_2$ and $U(1)$ lattice gauge theories with $L_{\textrm{max}}=16$. In the regions with weak or strong coupling, the two-sided bootstrap bounds converge quickly and coincide with the perturbative results to high precision. The bootstrap bounds are well consistent with the Monte Carlo results in the nonperturbative region. We observe interesting connections between the bounds generated by the bootstrap computations and the Griffiths' inequalities. We present results towards bootstrapping the string tension and glueball mass in Abelian lattice gauge theories.


title: Supercurrent Diode Effect in Helical Superconductors

abstract: In this work, we explore the generalities of the supercurrent diode effect. As an illustrative example, we examine a model of a two-dimensional superconductor with Rashba-type spin-orbit coupling under an in-plane magnetic field and in the clean limit, which realizes a helical phase. First, we utilize Ginzburg-Landau phenomenology to derive a general formula for the diode efficiency. This is achieved by incorporating higher gradient terms in the Lifshitz invariants, which are responsible for the nonreciprocal superflow. Subsequently, we validate these results through microscopic diagrammatic computation and further estimate correction terms arising from interband pairing correlations. We provide a detailed comparison to prior investigations of this problem conducted within the framework of the quasiclassical approximation based on the Eilenberger equation.


title: Can Ephapticity Contributes to the Brain Complexity?

abstract: The inquiry into the origin of brain complexity remains a pivotal question in neuroscience. While synaptic stimuli are acknowledged as significant, their efficacy often falls short in elucidating the extensive interconnections of the brain and nuanced levels of cognitive integration. Recent advances in neuroscience have brought the mechanisms underlying the generation of highly intricate dynamics, emergent patterns, and sophisticated oscillatory signals into question. Within this context, our study, in alignment with current research, posits the hypothesis that ephaptic communication may emerge as the primary candidate for unraveling optimal brain complexity. In this investigation, we conducted a comparative analysis between two types of networks utilizing the Quadratic Integrate-and-Fire Ephaptic model (QIF-E): (I) a small-world synaptic network (ephaptic-off) and (II) a mixed composite network comprising a small-world synaptic network with the addition of an ephaptic network (ephaptic-on). Utilizing the Multiscale Entropy methodology, we conducted an in-depth analysis of the responses generated by both network configurations, with complexity assessed by integrating across all temporal scales. Our findings demonstrate that ephaptic coupling enhances complexity under specific topological conditions, considering variables such as time, spatial scales, and synaptic intensity. These results offer fresh insights into the dynamics of communication within the nervous system and underscore the fundamental role of ephapticity in regulating complex brain functions.


title: Towards edge engineering of two-dimensional layered transition-metal dichalcogenides by chemical vapor deposition

abstract: The manipulation of edge configurations and structures in atomically thin transition metal dichalcogenides (TMDs) for versatile functionalization has attracted intensive interest in recent years. The chemical vapor deposition (CVD) approach has shown promise for TMD edge engineering of atomic edge configurations (1H, 1T or 1T'-zigzag or armchair edges), as well as diverse edge morphologies (1D nanoribbons, 2D dendrites, 3D spirals, etc). These rich-edge TMD layers offer versatile candidates for probing the physical and chemical properties, and exploring new applications in electronics, optoelectronics, catalysis, sensing and quantum field. In this review, we present an overview of the current state-of-the-art in the manipulation of TMD atomic edges and edge-rich structures using CVD. We highlight the vast range of unique properties associated with these edge configurations and structures and provide insights into the opportunities afforded by such edge-functionalized crystals. The objective of this review is to motivate further research and development efforts in using CVD as a scalable approach to harness the benefits of such crystal-edge engineering.


title: Non-Particulate Quantum States of the Electromagnetic Field in Expanding Space-Time

abstract: A quantum field has been coupled to a space-time with accelerating expansion. Dynamical modes are destabilised successively at shorter material wavelengths as they metamorphose from oscillators to repellers. Due to degeneracy of energy levels, the number of unstable modes increases at an accelerating rate, sufficient to account for a significant proportion of cosmic energy. For the subsystem spanned by a finite basis of unstable runaway modes, the quantum Hamiltonian is unbounded below. There is no Bogoliubov transformation by which that subsystem Hamiltonian can be expressed as a linear combination of number operators. For the remaining subsystem spanned by an infinite number of oscillator modes, there is an appropriate vacuum state in a Fock-Cook representation of the field algebra. The massless quantum vector field of electromagnetism is considered when it is minimally or more generally coupled to an expanding space-time. For a significant class of models, including minimal coupling models and the exponential de Sitter universe coupled to the Ricci curvature tensor, the field equations are equivalent to the Proca equation with time-dependent mass.


title: Thermodynamic formalism and hyperbolic Baker domains: Real-analyticity of the Hausdorff dimension

abstract: We consider the family of entire maps given by $f_{\ell,c}(z)=\ell+c-(\ell-1)\log c-e^z$, where $c\in D(\ell,1)$ and $\ell\in\mathbb N$, $\ell\geq2$. By using the property of $f_{\ell,c}$ to be dynamically projected to an infinite cylinder $\mathbb C/2\pi I\mathbb Z$, where the thermodynamic formalism tools are well-defined, we prove as a main result on this work, the real-analyticity of the map $c\mapsto HD(\mathcal{J}_r(f_{\ell,c}))$, here $\mathcal{J}_r(f_{\ell,c})$ is the radial Julia set.


title: Compiler for Distributed Quantum Computing: a Reinforcement Learning Approach

abstract: The practical realization of quantum programs that require large-scale qubit systems is hindered by current technological limitations. Distributed Quantum Computing (DQC) presents a viable path to scalability by interconnecting multiple Quantum Processing Units (QPUs) through quantum links, facilitating the distributed execution of quantum circuits. In DQC, EPR pairs are generated and shared between distant QPUs, which enables quantum teleportation and facilitates the seamless execution of circuits. A primary obstacle in DQC is the efficient mapping and routing of logical qubits to physical qubits across different QPUs, necessitating sophisticated strategies to overcome hardware constraints and optimize communication. We introduce a novel compiler that, unlike existing approaches, prioritizes reducing the expected execution time by jointly managing the generation and routing of EPR pairs, scheduling remote operations, and injecting SWAP gates to facilitate the execution of local gates. We present a real-time, adaptive approach to compiler design, accounting for the stochastic nature of entanglement generation and the operational demands of quantum circuits. Our contributions are twofold: (i) we model the optimal compiler for DQC using a Markov Decision Process (MDP) formulation, establishing the existence of an optimal algorithm, and (ii) we introduce a constrained Reinforcement Learning (RL) method to approximate this optimal compiler, tailored to the complexities of DQC environments. Our simulations demonstrate that Double Deep Q-Networks (DDQNs) are effective in learning policies that minimize the depth of the compiled circuit, leading to a lower expected execution time and likelihood of successful operation before qubits decohere.


title: LAMOST J1010+2358 is not a Pair-Instability Supernova Relic

abstract: The discovery of a star formed out of pair-instability supernova ejecta would have massive implications for the Population III star initial mass function and the existence of stars over 100 Msun, but none have yet been found. Recently, the star LAMOST J1010+2358 was claimed to be a star that formed out of gas enriched by a pair-instability supernova. We present a non-LTE abundance analysis of a new high-resolution Keck/HIRES spectrum of J1010+2358. We determined the carbon and aluminum abundances needed to definitively distinguish between enrichment by a pair-instability and core-collapse supernova. Our new analysis demonstrates that J1010+2358 does not have the unique abundance pattern of a a pair-instability supernova, but was instead enriched by the ejecta of a low mass core-collapse supernova. Thus, there are still no known stars displaying unambiguous signatures of pair-instability supernovae.


title: Improving device-independent weak coin flipping protocols

abstract: Weak coin flipping is the cryptographic task where Alice and Bob remotely flip a coin but want opposite outcomes. This work studies this task in the device-independent regime where Alice and Bob neither trust each other, nor their quantum devices. The best protocol was devised over a decade ago by Silman, Chailloux, Aharon, Kerenidis, Pironio, and Massar with bias $\varepsilon \approx 0.33664$, where the bias is a commonly adopted security measure for coin flipping protocols. This work presents two techniques to lower the bias of such protocols, namely self-testing and abort-phobic compositions. We apply these techniques to the SCAKPM '11 protocol above and, assuming a continuity conjecture, lower the bias to $\varepsilon \approx 0.29104$. We believe that these techniques could be useful in the design of device-independent protocols for a variety of other tasks. Independently of weak coin flipping, en route to our results, we show how one can test $n-1$ out of $n$ devices, and estimate the performance of the remaining device, for later use in the protocol. The proof uses linear programming and, due to its generality, may find applications elsewhere.