title: Starspots and Undetected Binary Stars Have Distinct Signatures in Young Stellar Associations

abstract: Young stars form in associations, meaning that young stellar associations provide an ideal environment to measure the age of a nominally coeval population. Isochrone fitting, which is the typical method for measuring the age of a coeval population, can be impacted by observational biases that obscure the physical properties of a population. One feature in isochrone fits of star-forming regions is an apparent mass-dependent age gradient, where lower-mass stars appear systematically younger than higher-mass stars. Starspots and stellar multiplicity are proposed mechanisms for producing the mass-dependent age gradient, but the relative importance of starspots versus multiplicity remains unclear. We performed a synthetic red-optical low-resolution spectroscopic survey of a simulated analog to a 10 Myr stellar association including mass-dependent multiplicity statistics and age-dependent starspot coverage fractions. We found that undetected starspots alone do not produce an apparent mass-dependent age gradient, but instead uniformly reduce the average measured age of the population. We also found that binaries continue to produce an apparent mass-dependent age gradient, and introduce more scatter in the age measurement than spots, but are easily removed from the population as long as there are good distance measurements to each target. We conclude that it is crucial to incorporate treatments of both starspots and undetected stellar multiplicity into isochrone fits of young stellar associations to attain reliable ages.


title: AI in Lung Health: Benchmarking Detection and Diagnostic Models Across Multiple CT Scan Datasets

abstract: Lung cancer's high mortality rate can be mitigated by early detection, increasingly reliant on AI for diagnostic imaging. However, AI model performance depends on training and validation datasets. This study develops and validates AI models for both nodule detection and cancer classification tasks. For detection, two models (DLCSD-mD and LUNA16-mD) were developed using the Duke Lung Cancer Screening Dataset (DLCSD), with over 2,000 CT scans from 1,613 patients and more than 3,000 annotations. These models were evaluated on internal (DLCSD) and external datasets, including LUNA16 (601 patients, 1186 nodules) and NLST (969 patients, 1192 nodules), using FROC analysis and AUC metrics. For classification, five models were developed and tested: a randomly initialized 3D ResNet50, Genesis, MedNet3D, an enhanced ResNet50 using Strategic Warm-Start++ (SWS++), and a linear classifier analyzing features from the Foundation Model for Cancer Biomarkers (FMCB). These models were trained to distinguish between benign and malignant nodules and evaluated using AUC analysis on internal (DLCSD) and external datasets, including LUNA16 (433 patients, 677 nodules) and NLST. The DLCSD-mD model achieved an AUC of 0.93 (95% CI: 0.91-0.94) on the internal DLCSD dataset. External validation results were 0.97 (95% CI: 0.96-0.98) on LUNA16 and 0.75 (95% CI: 0.73-0.76) on NLST. For classification, the ResNet50-SWS++ model recorded AUCs of 0.71 (95% CI: 0.61-0.81) on DLCSD, 0.90 (95% CI: 0.87-0.93) on LUNA16, and 0.81 (95% CI: 0.79-0.82) on NLST. Other models showed varying performance across datasets, underscoring the importance of diverse model approaches. This benchmarking establishes DLCSD as a reliable resource for lung cancer AI research.


title: Probabilistic Byzantine Fault Tolerance (Extended Version)

abstract: Consensus is a fundamental building block for constructing reliable and fault-tolerant distributed services. Many Byzantine fault-tolerant consensus protocols designed for partially synchronous systems adopt a pessimistic approach when dealing with adversaries, ensuring safety in a deterministic way even under the worst-case scenarios that adversaries can create. Following this approach typically results in either an increase in the message complexity (e.g., PBFT) or an increase in the number of communication steps (e.g., HotStuff). In practice, however, adversaries are not as powerful as the ones assumed by these protocols. Furthermore, it might suffice to ensure safety and liveness properties with high probability. In order to accommodate more realistic and optimistic adversaries and improve the scalability of the BFT consensus, we propose ProBFT (Probabilistic Byzantine Fault Tolerance). ProBFT is a leader-based probabilistic consensus protocol with a message complexity of $O(n\sqrt{n})$ and an optimal number of communication steps that tolerates Byzantine faults in permissioned partially synchronous systems. It is built on top of well-known primitives, such as probabilistic Byzantine quorums and verifiable random functions. ProBFT guarantees safety and liveness with high probabilities even with faulty leaders, as long as a supermajority of replicas is correct, and using only a fraction of messages employed in PBFT (e.g., $20\%$). We provide a detailed description of ProBFT's protocol and its analysis.


title: Arrival Times Versus Detection Times

abstract: How to compute the probability distribution of a detection time, i.e., of the time which a detector registers as the arrival time of a quantum particle, is a long-debated problem. In this regard, Bohmian mechanics provides in a straightforward way the distribution of the time at which the particle actually does arrive at a given surface in 3-space in the absence of detectors. However, as we discuss here, since the presence of detectors can change the evolution of the wave function and thus the particle trajectories, it cannot be taken for granted that the arrival time of the Bohmian trajectories in the absence of detectors agrees with the one in the presence of detectors, and even less with the detection time. In particular, we explain why certain distributions that Das and D\"urr [arXiv:1802.07141] presented as the distribution of the detection time in a case with spin, based on assuming that all three times mentioned coincide, is actually not what Bohmian mechanics predicts.


title: Revisiting the boundary conditions for a Morris-Thorne wormhole

abstract: In physical science, the concept of \emph{emergence} is often used to describe phenomena that occur at macroscopic scales but not at microscopic scales. The latter is usually referred to as a \emph{fundamental property} and the former as an \emph{emergent property}. In this paper, noncommutative geometry, often viewed as an offshoot of string theory, is the primary fundamental theory that gives rise to macroscopic wormholes and their properties, thereby becoming an emergent phenomenon. As a consequence of these considerations, we will reexamine the boundary conditions that characterize a Morris-Thorne wormhole, resulting in a modification of the wormhole structure.


title: Learning Distributional Demonstration Spaces for Task-Specific Cross-Pose Estimation

abstract: Relative placement tasks are an important category of tasks in which one object needs to be placed in a desired pose relative to another object. Previous work has shown success in learning relative placement tasks from just a small number of demonstrations when using relational reasoning networks with geometric inductive biases. However, such methods cannot flexibly represent multimodal tasks, like a mug hanging on any of n racks. We propose a method that incorporates additional properties that enable learning multimodal relative placement solutions, while retaining the provably translation-invariant and relational properties of prior work. We show that our method is able to learn precise relative placement tasks with only 10-20 multimodal demonstrations with no human annotations across a diverse set of objects within a category.


title: Exploring Explainable AI Techniques for Improved Interpretability in Lung and Colon Cancer Classification

abstract: Lung and colon cancer are serious worldwide health challenges that require early and precise identification to reduce mortality risks. However, diagnosis, which is mostly dependent on histopathologists' competence, presents difficulties and hazards when expertise is insufficient. While diagnostic methods like imaging and blood markers contribute to early detection, histopathology remains the gold standard, although time-consuming and vulnerable to inter-observer mistakes. Limited access to high-end technology further limits patients' ability to receive immediate medical care and diagnosis. Recent advances in deep learning have generated interest in its application to medical imaging analysis, specifically the use of histopathological images to diagnose lung and colon cancer. The goal of this investigation is to use and adapt existing pre-trained CNN-based models, such as Xception, DenseNet201, ResNet101, InceptionV3, DenseNet121, DenseNet169, ResNet152, and InceptionResNetV2, to enhance classification through better augmentation strategies. The results show tremendous progress, with all eight models reaching impressive accuracy ranging from 97% to 99%. Furthermore, attention visualization techniques such as GradCAM, GradCAM++, ScoreCAM, Faster Score-CAM, and LayerCAM, as well as Vanilla Saliency and SmoothGrad, are used to provide insights into the models' classification decisions, thereby improving interpretability and understanding of malignant and benign image classification.


title: Plasma-Plasma Third Order Phase Transition from type IIB Supergravity

abstract: We show that the planar, charged black hole in AdS, dual to the strongly coupled Quark-Gluon Plasma thermal state of large $N$, $SU(N)$, $\mathcal{N}=4$ super Yang-Mills at finite chemical potential undergoes a third-order phase transition in the grand canonical ensemble to a hairy black hole of type IIB supergravity. The hairy phase is another strongly coupled fluid with a conformal equation of state and can be interpreted as another kind of Quark-Gluon plasma. This new Quark-Gluon plasma has less entropy and, therefore, seems to characterize some form of smooth hadronization. The locus of the transition in terms of the "Baryon" chemical potential, $\mu$, and the temperature, $T$, is $\mu=2\pi T$.


title: Numerical Fuzz: A Type System for Rounding Error Analysis

abstract: Algorithms operating on real numbers are implemented as floating-point computations in practice, but floating-point operations introduce roundoff errors that can degrade the accuracy of the result. We propose $\Lambda_{num}$, a functional programming language with a type system that can express quantitative bounds on roundoff error. Our type system combines a sensitivity analysis, enforced through a linear typing discipline, with a novel graded monad to track the accumulation of roundoff errors. We prove that our type system is sound by relating the denotational semantics of our language to the exact and floating-point operational semantics. To demonstrate our system, we instantiate $\Lambda_{num}$ with error metrics proposed in the numerical analysis literature and we show how to incorporate rounding operations that faithfully model aspects of the IEEE 754 floating-point standard. To show that $\Lambda_{num}$ can be a useful tool for automated error analysis, we develop a prototype implementation for $\Lambda_{num}$ that infers error bounds that are competitive with existing tools, while often running significantly faster. Finally, we consider semantic extensions of our graded monad to bound error under more complex rounding behaviors, such as non-deterministic and randomized rounding.


title: Mean-Field Ring Polymer Rates Using a Population Dividing Surface

abstract: Mean-field Ring Polymer Molecular Dynamics (MF-RPMD) offers a computationally efficient method for the simulation of reaction rates in multi-level systems. Previous work has established that, to model a nonadiabatic state-to-state reaction accurately, the dividing surface must be chosen to explicitly sample kinked ring polymer configurations where at least one bead is in a different electronic state than the others. Building on this, we introduce a population difference coordinate and a kink-constrained dividing surface, and we test the accuracy of the resulting mean-field rate theory on a series of linear vibronic coupling model systems as well as spin-boson models. We demonstrate that this new MF-RPMD rate approach is efficient to implement and quantitatively accurate for models over a wide range of driving forces, coupling strengths, and temperatures.


title: Multi-Margin Loss: Proposal and Application in Recommender Systems

abstract: Recommender systems guide users through vast amounts of information by suggesting items based on their predicted preferences. Collaborative filtering-based deep learning techniques have regained popularity due to their simplicity, using only user-item interactions. Typically, these systems consist of three main components: an interaction module, a loss function, and a negative sampling strategy. Initially, researchers focused on enhancing performance by developing complex interaction modules with techniques like multi-layer perceptrons, transformers, or graph neural networks. However, there has been a recent shift toward refining loss functions and negative sampling strategies. This shift has increased interest in contrastive learning, which pulls similar pairs closer while pushing dissimilar ones apart. Contrastive learning involves key practices such as heavy data augmentation, large batch sizes, and hard-negative sampling, but these also bring challenges like high memory demands and under-utilization of some negative samples. The proposed Multi-Margin Loss (MML) addresses these challenges by introducing multiple margins and varying weights for negative samples. MML efficiently utilizes not only the hardest negatives but also other non-trivial negatives, offering a simpler yet effective loss function that outperforms more complex methods, especially when resources are limited. Experiments on two well-known datasets showed MML achieved up to a 20\% performance improvement compared to a baseline contrastive loss function with fewer negative samples.


title: Unique continuation for the wave equation based on a discontinuous Galerkin time discretization

abstract: We consider a stable unique continuation problem for the wave equation where the initial data is lacking and the solution is reconstructed using measurements in some subset of the bulk domain. Typically fairly sophisticated space-time methods have been used in previous work to obtain stable and accurate solutions to this reconstruction problem. Here we propose to solve the problem using a standard discontinuous Galerkin method for the temporal discretization and continuous finite elements for the space discretization. Error estimates are established under a geometric control condition. We also investigate two preconditioning strategies which can be used to solve the arising globally coupled space-time system by means of simple time-stepping procedures. Our numerical experiments test the performance of these strategies and highlight the importance of the geometric control condition for reconstructing the solution beyond the data domain.


title: Symmetrically pseudo-amenable Banach algebras

abstract: We introduce and study a new notion of amenability called symmetric pseudo-amenability. We obtain some properties of symmetrically pseudo-amenable Banach algebras and with examples, we compare this type of amenability with some other types of amenability. We also provide some special classes of symmetrically pseudo-amenable Banach algebras. Finally, Jordan and Lie derivations from a class of Banach algebras into appropriate Banach bimodules are investigated using the notion of symmetric pseudo-amenability.


title: Excluding a clique or a biclique in graphs of bounded induced matching treewidth

abstract: When $\mathcal{T}$ is a tree decomposition of a graph $G$, we write $\mu(\mathcal{T})$ for the maximum size of an induced matching in $G$ all of whose edges intersect one bag of $\mathcal{T}$. The induced matching treewidth of a graph $G$ is the minimum value of $\mu(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of~$G$. Classes of graphs with bounded induced matching treewidth admit polynomial-time algorithms for a number of problems, including INDEPENDENT SET, $k$-COLORING, ODD CYCLE TRANSVERSAL, and FEEDBACK VERTEX SET. In this paper, we focus on structural properties of such classes. First, we show that graphs with bounded induced matching treewidth that exclude a fixed biclique as an induced subgraph have bounded tree-independence number, which is another well-studied parameter defined in terms of tree decompositions. This sufficient condition about excluding a biclique is also necessary, as bicliques have unbounded tree-independence number. Second, we show that graphs with bounded induced matching treewidth that exclude a fixed clique have bounded chromatic number. That is, classes of graphs with bounded induced matching treewidth are $\chi$-bounded. Our results confirm two conjectures from a recent manuscript of Lima et al. [arXiv 2024].


title: Underground Freight Transportation for Package Delivery in Urban Environments

abstract: The use of underground freight transportation (UFT) is gaining attention because of its ability to quickly move freight to locations in urban areas while reducing road traffic and the need for delivery drivers. Since packages are transported through the tunnels by electric motors, the use of tunnels is also environmentally friendly. Unlike other UFT projects, we examine the use of tunnels to transport individual orders, motivated by the last mile delivery of goods from e-commerce providers. The use of UFT for last mile delivery requires more complex network planning than for direct lines that have previously been considered for networks connecting large cities. We introduce a new network design problem based on this delivery model and transform the problem into a fixed charge multicommodity flow problem with additional constraints. We show that this problem, the nd-UFT, is NP-hard, and provide an exact solution method for solving large-scale instances. Our solution approach exploits the combinatorial sub-structures of the problem in a cutting planes fashion, significantly reducing the time to find optimal solutions on most instances compared to a MIP. We provide computational results for real urban environments to build a set of insights into the structure of such networks and evaluate the benefits of such systems. We see that a budget of only 45 miles of tunnel can remove 42% of packages off the roads in Chicago and 32% in New York City. We estimate the fixed and operational costs for implementing UFT systems and break them down into a per package cost. Our estimates indicate over a 40% savings from using a UFT over traditional delivery models. This indicates that UFT systems for last mile delivery are a promising area for future research.


title: Non-anomalous non-invertible symmetries in 1+1D from gapped boundaries of SymTFTs

abstract: We study the anomalies of non-invertible symmetries in 1+1D QFTs using gapped boundaries of its SymTFT. We establish the explicit relation between Lagrangian algebras which determine gapped boundaries of the SymTFT, and algebras which determine non-anomalous/gaugeable topological line operators in the 1+1D QFT. If the Lagrangian algebras in the SymTFT are known, this provides a method to compute algebras in all fusion categories that share the same SymTFT. We find necessary conditions that a line operator in the SymTFT must satisfy for the corresponding line operator in the 1+1D QFT to be non-anomalous. We use this constraint to show that a non-invertible symmetry admits a 1+1D trivially gapped phase if and only if the SymTFT admits a magnetic Lagrangian algebra. We define a process of transporting non-anomalous line operators between fusion categories which share the same SymTFT and apply this method to the three Haagerup fusion categories.

categories: hep-th cond-mat.str-el math-ph math.MP math.QA


title: Folded context condensation in Path Integral formalism for infinite context transformers

abstract: This short note is written for rapid communication of long context training and to share the idea of how to train it with low memory usage. In the note, we generalize the attention algorithm and neural network of Generative Pre-Trained Transformers and reinterpret it in Path integral formalism. First, the role of the transformer is understood as the time evolution of the token state and second, it is suggested that the all key-token states in the same time as the query-token can attend to the attention with the query token states. As a result of the repetitive time evolution, it is discussed that the token states in the past sequence meats the token states in the present sequence so that the attention between separated sequences becomes possible for maintaining infinite contextual information just by using low memory for limited size of sequence. For the experiment, the $12$ input token window size was taken and one GPU with $24$GB memory was used for the pre-training. It was confirmed that more than $150$ length context is preserved. The sampling result of the training, the code and the other details will be included in the revised version of this note later.


title: NACSOS-nexus: NLP Assisted Classification, Synthesis and Online Screening with New and EXtended Usage Scenarios

abstract: NACSOS is a web-based platform for curating data used in systematic maps. It contains several (experimental) features that aid the evidence synthesis process from finding and ingesting primary data (mainly scientific publications), basic search and exploration thereof, but mainly the handling of managing the manual and automated annotations. The platform supports prioritised screening algorithms and is the first to fully implement statistical stopping criteria. Annotations by multiple coders can be resolved and customisable quality metrics are computed on-the-fly. In its current state, the annotations are performed on document level. The ecosystem around NACSOS offers packages for accessing the underlying database and practical utility functions that have proven useful in a multitude of projects. Further, it provides the backbone of living maps, review ecosystems, and our public literature hub for sharing high-quality curated corpora.


title: Bounds on the Statistical Leakage-Resilience of Shamir's Secret Sharing

abstract: Secret sharing is an instrumental tool for sharing secret keys in distributed systems. In a classical threshold setting, this involves a dealer who has a secret/key, a set of parties/users to which shares of the secret are sent, and a threshold on the number of users whose presence is needed in order to recover the secret. In secret sharing, secure links with no leakage are often assumed between the involved parties. However, when the users are nodes in a communication network and all the links are physical links, e.g., wireless, such assumptions are not valid anymore. In order to study this critical problem, we propose a statistical leakage model of secret sharing, where some noisy versions of all the secret shares might be independently leaked to an adversary. We then study the resilience of the seminal Shamir's secret sharing scheme with statistical leakage, and bound certain measures of security (i.e., semantic security, mutual information security), given other parameters of the system including the amount of leakage from each secret share. We show that for an extreme scenario of Shamir's scheme, in particular when the underlying field characteristic is $2$, the security of each bit of the secret against leakage improves exponentially with the number of users. To the best of our knowledge, this is the first attempt towards understanding secret sharing under general statistical noisy leakage.


title: The Dark Side of Dataset Scaling: Evaluating Racial Classification in Multimodal Models

abstract: Scale the model, scale the data, scale the GPU farms is the reigning sentiment in the world of generative AI today. While model scaling has been extensively studied, data scaling and its downstream impacts on model performance remain under-explored. This is particularly important in the context of multimodal datasets whose main source is the World Wide Web, condensed and packaged as the Common Crawl dump, which is known to exhibit numerous drawbacks. In this paper, we evaluate the downstream impact of dataset scaling on 14 visio-linguistic models (VLMs) trained on the LAION400-M and LAION-2B datasets by measuring racial and gender bias using the Chicago Face Dataset (CFD) as the probe. Our results show that as the training data increased, the probability of a pre-trained CLIP model misclassifying human images as offensive non-human classes such as chimpanzee, gorilla, and orangutan decreased, but misclassifying the same images as human offensive classes such as criminal increased. Furthermore, of the 14 Vision Transformer-based VLMs we evaluated, the probability of predicting an image of a Black man and a Latino man as criminal increases by 65% and 69%, respectively, when the dataset is scaled from 400M to 2B samples for the larger ViT-L models. Conversely, for the smaller base ViT-B models, the probability of predicting an image of a Black man and a Latino man as criminal decreases by 20% and 47%, respectively, when the dataset is scaled from 400M to 2B samples. We ground the model audit results in a qualitative and historical analysis, reflect on our findings and their implications for dataset curation practice, and close with a summary of mitigation mechanisms and ways forward. Content warning: This article contains racially dehumanising and offensive descriptions.


title: Adaptive design of experiments methodology for noise resistance with unreplicated experiments

abstract: A new gradient-based adaptive sampling method is proposed for design of experiments applications which balances space filling, local refinement, and error minimization objectives while reducing reliance on delicate tuning parameters. High order local maximum entropy approximants are used for metamodelling, which take advantage of boundary-corrected kernel density estimation to increase accuracy and robustness on highly clumped datasets, as well as conferring the resulting metamodel with some robustness against data noise in the common case of unreplicated experiments. Two-dimensional test cases are analyzed against full factorial and latin hypercube designs and compare favourably. The proposed method is then applied in a unique manner to the problem of adaptive spatial resolution in time-varying non-linear functions, opening up the possibility to adapt the method to solve partial differential equations.


title: On Geometric Implications

abstract: It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in [1]. Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category S, provided that S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication.


title: An arcsecond view at 1-2 GHz into the Galactic Bulge

abstract: We present the results of a high angular resolution (1.1") and sensitivity (maximum of ~0.1 mJy) radio survey at 1-2 GHz in the Galactic Bulge. This complements the X-ray Chandra Galactic Bulge Survey, and investigates the full radio source population in this dense Galactic region. Radio counterparts to sources at other wavelengths can aid in classification, as there are relatively few types of objects that are reasonably detectable in radio at kiloparsec distances, and even fewer that are detected in both X-rays and radio. This survey covers about 3 square degrees of the Galactic Bulge Survey area (spanning the Galactic coordinate range of -3deg < l < +3deg and +1.6deg < b < +2.1deg as a first look into this region of the Galaxy with this combination of frequency, resolution, and sensitivity. Spectral indices within the observed band of 1-2 GHz were calculated for each source to assist in determining its emission mechanism. We find 1617 unique sources in the survey, 25 of which are radio counterparts to X-ray sources, and about 100 of which are steep-spectrum (alpha <~ -1.4) point sources that are viable pulsar candidates. Four radio sources are of particular interest: a compact binary; an infrared transient with an inverted radio spectrum; a potential transitional millisecond pulsar candidate; and a very steep spectrum radio source with an X-ray and bright infrared counterpart. We discuss other notable sources, including possible radio transients, potential new planetary nebulae, and active galactic nuclei.


title: SingIt! Singer Voice Transformation

abstract: In this paper, we propose a model which can generate a singing voice from normal speech utterance by harnessing zero-shot, many-to-many style transfer learning. Our goal is to give anyone the opportunity to sing any song in a timely manner. We present a system comprising several available blocks, as well as a modified auto-encoder, and show how this highly-complex challenge can be achieved by tailoring rather simple solutions together. We demonstrate the applicability of the proposed system using a group of 25 non-expert listeners. Samples of the data generated from our model are provided.


title: Wasserstein Proximal Coordinate Gradient Algorithms

abstract: Motivated by approximation Bayesian computation using mean-field variational approximation and the computation of equilibrium in multi-species systems with cross-interaction, this paper investigates the composite geodesically convex optimization problem over multiple distributions. The objective functional under consideration is composed of a convex potential energy on a product of Wasserstein spaces and a sum of convex self-interaction and internal energies associated with each distribution. To efficiently solve this problem, we introduce the Wasserstein Proximal Coordinate Gradient (WPCG) algorithms with parallel, sequential and random update schemes. Under a quadratic growth (QC) condition that is weaker than the usual strong convexity requirement on the objective functional, we show that WPCG converges exponentially fast to the unique global optimum. In the absence of the QG condition, WPCG is still demonstrated to converge to the global optimal solution, albeit at a slower polynomial rate. Numerical results for both motivating examples are consistent with our theoretical findings.


title: ResNCT: A Deep Learning Model for the Synthesis of Nephrographic Phase Images in CT Urography

abstract: Purpose: To develop and evaluate a transformer-based deep learning model for the synthesis of nephrographic phase images in CT urography (CTU) examinations from the unenhanced and urographic phases. Materials and Methods: This retrospective study was approved by the local Institutional Review Board. A dataset of 119 patients (mean $\pm$ SD age, 65 $\pm$ 12 years; 75/44 males/females) with three-phase CT urography studies was curated for deep learning model development. The three phases for each patient were aligned with an affine registration algorithm. A custom model, coined Residual transformer model for Nephrographic phase CT image synthesis (ResNCT), was developed and implemented with paired inputs of non-contrast and urographic sets of images trained to produce the nephrographic phase images, that were compared with the corresponding ground truth nephrographic phase images. The synthesized images were evaluated with multiple performance metrics, including peak signal to noise ratio (PSNR), structural similarity index (SSIM), normalized cross correlation coefficient (NCC), mean absolute error (MAE), and root mean squared error (RMSE). Results: The ResNCT model successfully generated synthetic nephrographic images from non-contrast and urographic image inputs. With respect to ground truth nephrographic phase images, the images synthesized by the model achieved high PSNR (27.8 $\pm$ 2.7 dB), SSIM (0.88 $\pm$ 0.05), and NCC (0.98 $\pm$ 0.02), and low MAE (0.02 $\pm$ 0.005) and RMSE (0.042 $\pm$ 0.016). Conclusion: The ResNCT model synthesized nephrographic phase CT images with high similarity to ground truth images. The ResNCT model provides a means of eliminating the acquisition of the nephrographic phase with a resultant 33% reduction in radiation dose for CTU examinations.


title: Ferrimagnetism induced by thermal vibrations in oxygen-deficient manganite heterostructures

abstract: Super-exchange most often leads to antiferromagnetim in transition-metal perovskite oxides, yet ferromagnetism or ferrimagnetism would be preferred for many applications, for example in data storage. While alloying, epitaxial strain and defects were shown to lead to ferromagnetism, engineering this magnetic order remains a challenge. We propose, based on density functional theory calculations, a novel route to defect-engineer ferrimagnetism, which is based on preferential displacements of oxygen vacancies due to finite temperature vibrations. This mechanism has an unusual temperature dependence, as it is absent at 0K, strengthens with increasing temperature before vanishing once oxygen vacancies disorder, giving it a unique experimentally detectable signature.


title: A new modular plethystic $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong \Delta^{(2,1^{N-1})} \mathrm{Sym}^d E$

abstract: Let $\mathbb{F}$ be a field and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{F})$. Given a vector space $V$, let $\Delta^{(2,1^{N-1})}V$ be the kernel of the multiplication map $\bigwedge^N V \otimes V \rightarrow \bigwedge^{N+1}V$. We construct an explicit $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong \Delta^{(2,1^{N-1})} \mathrm{Sym}^d E$. This $\mathrm{SL}_2(\mathbb{F})$-isomorphism is a modular lift of the $q$-binomial identity $q^{\frac{N(N-1)}{2}}[N]_q \binom{d+1}{N+1}_q = s_{(2,1^{N-1})}(1,q,\ldots, q^d)$, where $s_{(2,1^{N-1})}$ is the Schur function for the partition $(2,1^{N-1})$. This identity, which follows from our main theorem, implies the existence of an isomorphism when $\mathbb{F}$ is the field of complex numbers but it is notable, and not typical of the general case, that there is an explicit isomorphism defined in a uniform way for any field.


title: Synchronization and Phase Locking of Resonant Magnet Power Supplies For Mu2e Experiment at Fermilab

abstract: The Muon-to-Electron Conversion (Mu2e) Experiment demands a highly precise magnet and collimator system to achieve a stringent extinction level of $1\times 10^{-10}$ for out-of-time beam particles. Extinction is ensured by an AC Dipole system consisting of two magnet components: a 295 kHz system to allow for the passage of a 590 kHz beam at the nodes, and a 4.42 MHz system to minimize in-time beam slewing. Both components must be accurately phase-locked to the Delivery Ring's bunch rate as well as be synchronized with beam transfers from the Recycler. In this paper, we present the design, implementation, and results of a control system for the Mu2e magnet system based on an Intel Arria 10 FPGA. This system handles the phase-locking of the magnets to the Delivery Ring, as well as the phase jumps required for synchronization with transfers from the Recycler.


title: The structure and migration of heavily irradiated grain boundaries and dislocations in Ni in the athermal limit

abstract: The microstructural evolution at and near pre-existing grain boundaries (GBs) and dislocations in materials under high radiation doses is still poorly understood. In this work, we use the creation relaxation algorithm (CRA) developed for atomistic modeling of high-dose irradiation in bulk materials to probe the athermal limit of saturation of GB and dislocation core regions under irradiation in FCC Ni. We find that, upon continuously subjecting a single dislocation or GB to Frenkel pair creation in the athermal limit, a local steady state disordered defect structure is reached with excess properties that fluctuate around constant values. Case studies are given for a straight screw dislocation which elongates into a helix under irradiation and several types of low and high angle GBs, which exhibit coupled responses such as absorption of extrinsic dislocations, roughening and migration. A positive correlation is found between initial GB energy and the local steady state GB energy under irradiation across a wide variety of GB types. Metastable GB structures with similar density in the defect core region but different initial configurations are found to converge to the same limiting structure under CRA. The mechanical responses of pristine and irradiated dislocations and GB structures are compared under an applied shear stress. Irradiated screw and edge dislocations are found to exhibit a hardening response, migrating at larger flow stresses than their pristine counterparts. Mobile GBs are found to exhibit softening or hardening responses depending on GB character. Although some GBs recover their initial pristine structures upon migration outside of the radiation zone, many GBs sustain different flow stresses corresponding to altered mobile core structures.


title: FRACTAL: An Ultra-Large-Scale Aerial Lidar Dataset for 3D Semantic Segmentation of Diverse Landscapes

abstract: Mapping agencies are increasingly adopting Aerial Lidar Scanning (ALS) as a new tool to monitor territory and support public policies. Processing ALS data at scale requires efficient point classification methods that perform well over highly diverse territories. To evaluate them, researchers need large annotated Lidar datasets, however, current Lidar benchmark datasets have restricted scope and often cover a single urban area. To bridge this data gap, we present the FRench ALS Clouds from TArgeted Landscapes (FRACTAL) dataset: an ultra-large-scale aerial Lidar dataset made of 100,000 dense point clouds with high-quality labels for 7 semantic classes and spanning 250 km$^2$. FRACTAL is built upon France's nationwide open Lidar data. It achieves spatial and semantic diversity via a sampling scheme that explicitly concentrates rare classes and challenging landscapes from five French regions. It should support the development of 3D deep learning approaches for large-scale land monitoring. We describe the nature of the source data, the sampling workflow, the content of the resulting dataset, and provide an initial evaluation of segmentation performance using a performant 3D neural architecture.


title: Mysterious anomalies in Earth's atmosphere and strongly interacting Dark Matter

abstract: It has been recently argued [1-3] that there is a number of mysterious observations which are very hard to explain by conventional physics. The mysterious anomalies include (but not limited) to such unexpected correlations as temperature variation in stratosphere, the total electron content (TEC) of the Earths atmosphere, the earthquake activity from one hand, and positions of the planets from another hand. It has been hypothesized in [1-3] that the corresponding mysterious correlations is a result of the "streaming invisible matter" which suddenly become very strongly interacting material when enter the Earth's atmosphere. We propose that some of these (and many other) mysteries might be result of rare (but energetic) events when the so-called axion quark nuggets (AQN) hit the Earth. In different words, we identify "streaming invisible matter" conjectured by [1-3] with the AQNs. Therefore, we offer a specific microscopical mechanism which could shed some light on the mysterious correlations reported in [1-3]. One should emphasize that the AQN model was originally invented long ago to explain the observed similarity between the dark and the visible components in the Universe, i.e. $\Omega_{\rm DM}\sim \Omega_{\rm visible}$; it was not invented to fit the observed anomalies which represent the topic of this work. We support this proposal by demonstrating that intensity and the spectral features of the AQN induced events are consistent with the corresponding characteristics of the puzzling observations as reported in [1-3].


title: Data-driven Error Estimation: Upper Bounding Multiple Errors with No Technical Debt

abstract: We formulate the problem of constructing multiple simultaneously valid confidence intervals (CIs) as estimating a high probability upper bound on the maximum error for a class/set of estimate-estimand-error tuples, and refer to this as the error estimation problem. For a single such tuple, data-driven confidence intervals can often be used to bound the error in our estimate. However, for a class of estimate-estimand-error tuples, nontrivial high probability upper bounds on the maximum error often require class complexity as input -- limiting the practicality of such methods and often resulting in loose bounds. Rather than deriving theoretical class complexity-based bounds, we propose a completely data-driven approach to estimate an upper bound on the maximum error. The simple and general nature of our solution to this fundamental challenge lends itself to several applications including: multiple CI construction, multiple hypothesis testing, estimating excess risk bounds (a fundamental measure of uncertainty in machine learning) for any training/fine-tuning algorithm, and enabling the development of a contextual bandit pipeline that can leverage any reward model estimation procedure as input (without additional mathematical analysis).


title: Validation of EUHFORIA cone and spheromak Coronal Mass Ejection Models

abstract: Aims. We present the validation results for arrival times and geomagnetic impact of Coronal Mass Ejections (CMEs), using the cone and spheromak CME models implemented in EUropean Heliospheric FORecasting Information Asset (EUHFORIA). Validating numerical models is crucial in ensuring their accuracy and performance with respect to real data. Methods. We compare CME plasma and magnetic field signatures, measured in situ by satellites at the L1 point, with the simulation output of EUHFORIA. The validation of this model was carried out by using two datasets in order to ensure a comprehensive evaluation. The first dataset focuses on 16 CMEs that arrived at the Earth, offering specific insights into the model's accuracy in predicting arrival time and geomagnetic impact. Meanwhile, the second dataset encompasses all CMEs observed over eight months within Solar Cycle 24, regardless of whether they arrived at Earth, covering periods of both solar minimum and maximum activity. This second dataset enables a more comprehensive evaluation of the model's predictive precision in term of CME arrivals and misses. Results. Our results show that EUHFORIA provides good estimates in terms of arrival times, with root mean square errors (RMSE) values of 9 hours. Regarding the number of correctly predicted ICME arrivals and misses, we find a 75% probability of detection in a 12 hours time window and 100% probability of detection in a 24 hours time window. The geomagnetic impact forecasts, measured by the $K_p$ index, provide different degrees of accuracy, ranging from 31% to 69%. These results validate the use of cone and spheromak CMEs for real-time space weather forecasting.


title: Additive triples in groups of odd prime order

abstract: Let $p$ be an odd prime. For nontrivial proper subsets $A,B$ of $\mathbb{Z}_p$ of cardinality $s,t$, respectively, we count the number $r(A,B,B)$ of additive triples, namely elements of the form $(a, b, a+b)$ in $A \times B \times B$. For given $s,t$, what is the spectrum of possible values for $r(A,B,B)$? In the special case $A=B$, the additive triple is called a Schur triple. Various authors have given bounds on the number $r(A,A,A)$ of Schur triples, and shown that the lower and upper bound can each be attained by a set $A$ that is an interval of $s$ consecutive elements of $\mathbb{Z}_p$. However, there are values of $p,s$ for which not every value between the lower and upper bounds is attainable. We consider here the general case where $A,B$ can be distinct. We use Pollard's generalization of the Cauchy-Davenport Theorem to derive bounds on the number $r(A,B,B)$ of additive triples. In contrast to the case $A=B$, we show that every value of $r(A,B,B)$ from the lower bound to the upper bound is attainable: each such value can be attained when $B$ is an interval of $t$ consecutive elements of $\mathbb{Z}_p$.


title: Impact of Dimensionality on the Magnetocaloric Effect in Two-dimensional Magnets

abstract: Magnetocaloric materials, which exploit reversible temperature changes induced by magnetic field variations, are promising for advancing energy-efficient cooling technologies. The potential integration of two-dimensional materials into magnetocaloric systems represents an emerging opportunity to enhance the magnetocaloric cooling efficiency. In this study, we use atomistic spin dynamics simulations based on first-principles parameters to systematically evaluate how magnetocaloric properties transition from three-dimensional (3D) to two-dimensional (2D) ferromagnetic materials. We find that 2D features such as reduced Curie temperature, sharper magnetic transition, and higher magnetic susceptibility are beneficial for magnetocaloric applications, while the relatively higher lattice heat capacity in 2D can compromise achievable adiabatic temperature changes. We further propose GdSi$_2$ as a promising 2D magnetocaloric material near hydrogen liquefaction temperature. Our analysis offers valuable theoretical insights into the magnetocaloric effect in 2D ferromagnets and demonstrates that 2D ferromagnets hold promise for cooling and thermal management applications in compact and miniaturized nanodevices.


title: Momentum non-conservation in a scalar quantum field theory with a planar $\theta$ interface

abstract: Motivated by the recent interest aroused by non-dynamical axionic electrodynamics in the context of topological insulators and Weyl semimetals, we discuss a simple model of the magnetoelectric effect in terms of a $\theta$-scalar field that interacts through a delta-like potential located at a planar interface. Thus, in the bulk regions the field is constructed by standard free waves with the absence of evanescent components. These waves have to be combined into linear superposition to account for the boundary conditions at the interface in order to yield the corresponding normal modes. Our aim is twofold: first we quantize the $\theta$-scalar field using the normal modes in the canonical approach and then we look for applications emphasizing the effect of momentum non-conservation due to the presence of the interface. To this end we calculate the decay of a standard scalar particle into two $\theta$-scalar particles showing the opening of new decay channels. As a second application we deal with the two body scattering of standard charged scalar particles mediated by a $\theta$-scalar particle, focusing on the momentum non-conserving contribution of the scattering amplitude ${\cal M}^{NC}$. We define a generalization of the usual cross section in order to quantify the emergence of these events. We also study the allowed kinematical region for momentum non-conservation as well as the position of the poles of the amplitude ${\cal M}^{NC}$. Finally, the ratio of the magnitudes between ${\cal M}^{NC}$ and the momentum conserving amplitude is discussed in the appropriate region of momentum space.


title: Kripke-like models of Set Theory in Modal Residuated Logic

abstract: We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated Logic and prove a translation of formulas between it and a suited Heyting valued model. We also propose a notion of universe of constructible sets in Modal Residuated Logic and discuss some aspects of it.


title: First Measurement of Correlated Charge Noise in Superconducting Qubits at an Underground Facility

abstract: We measure space- and time-correlated charge jumps on a four-qubit device, operating 107 meters below the Earth's surface in a low-radiation, cryogenic facility designed for the characterization of low-threshold particle detectors. The rock overburden of this facility reduces the cosmic ray muon flux by over 99% compared to laboratories at sea level. Combined with 4$\pi$ coverage of a movable lead shield, this facility enables quantifiable control over the flux of ionizing radiation on the qubit device. Long-time-series charge tomography measurements on these weakly charge-sensitive qubits capture discontinuous jumps in the induced charge on the qubit islands, corresponding to the interaction of ionizing radiation with the qubit substrate. The rate of these charge jumps scales with the flux of ionizing radiation on the qubit package, as characterized by a series of independent measurements on another energy-resolving detector operating simultaneously in the same cryostat with the qubits. Using lead shielding, we achieve a minimum charge jump rate of 0.19$^{+0.04}_{-0.03}$ mHz, almost an order of magnitude lower than that measured in surface tests, but a factor of roughly eight higher than expected based on reduction of ambient gammas alone. We operate four qubits for over 22 consecutive hours with zero correlated charge jumps at length scales above three millimeters.


title: Spatially Resolved Electron Number Density Measurements Via Coherent Microwave Scattering

abstract: This paper reports on the use of coherent microwave scattering (CMS) for spatially resolved electron number density measurements of elongated plasma structures induced at mid-IR femtosecond filamentation. The presented studies comprise one-dimensional mapping of laser filaments induced via 3.9 um, 127.3 fs laser pulses at output energies up to 15 mJ. The axial electron number density and laser intensity were measured to be invariant along the entire filament length for the tested laser pulse energies 5-15 mJ (2x$10^{15}$ cm$^{-3}$ and 30-40 TW/cm$^2$, respectively) which supports that intensity clamping conditions were achieved in the experiments. The proposed approach enables unprecedented, currently unavailable capabilities to conduct direct, absolute, and longitudinally resolved measurements of electron number density in laser filaments and to precisely characterize conditions associated with self-focusing and intensity clamping.


title: Lipid-mediated hydrophobic gating in the BK potassium channel

abstract: The large-conductance, calcium-activated potassium (BK) channel lacks the typical intracellular bundle-crossing gate present in most ion channels of the 6TM family. This observation, initially inferred from Ca$^{2+}$-free-pore accessibility experiments and recently corroborated by a CryoEM structure of the non-conductive state, raises a puzzling question: how can gating occur in absence of steric hindrance? To answer this question, we carried out molecular simulations and accurate free energy calculations to obtain a microscopic picture of the sequence of events that, starting from a Ca$^{2+}$-free state leads to ion conduction upon Ca$^{2+}$ binding. Our results highlight an unexpected role for annular lipids, which turn out to be an integral part of the gating machinery. Due to the presence of fenestrations, the "closed" Ca$^{2+}$-free pore can be occupied by the methyl groups from the lipid alkyl chains. This dynamic occupancy triggers and stabilizes the nucleation of a vapor bubble into the inner pore cavity, thus hindering ion conduction. By contrast, Ca$^{2+}$ binding results into a displacement of these lipids outside the inner cavity, lowering the hydrophobicity of this region and thus allowing for pore hydration and conduction. This lipid-mediated hydrophobic gating rationalizes several seemingly problematic experimental observations, including the state-dependent pore accessibility of blockers.


title: Enhancing LLM-Based Feedback: Insights from Intelligent Tutoring Systems and the Learning Sciences

abstract: The field of Artificial Intelligence in Education (AIED) focuses on the intersection of technology, education, and psychology, placing a strong emphasis on supporting learners' needs with compassion and understanding. The growing prominence of Large Language Models (LLMs) has led to the development of scalable solutions within educational settings, including generating different types of feedback in Intelligent Tutoring Systems. However, the approach to utilizing these models often involves directly formulating prompts to solicit specific information, lacking a solid theoretical foundation for prompt construction and empirical assessments of their impact on learning. This work advocates careful and caring AIED research by going through previous research on feedback generation in ITS, with emphasis on the theoretical frameworks they utilized and the efficacy of the corresponding design in empirical evaluations, and then suggesting opportunities to apply these evidence-based principles to the design, experiment, and evaluation phases of LLM-based feedback generation. The main contributions of this paper include: an avocation of applying more cautious, theoretically grounded methods in feedback generation in the era of generative AI; and practical suggestions on theory and evidence-based feedback design for LLM-powered ITS.


title: Artificial Broadcasts as Galactic Populations: I. A Point Process Formalism for Extraterrestrial Intelligences and Their Broadcasts

abstract: Artificial broadcasts from extraterrestrial intelligences (ETIs) are a hypothetical class of celestial phenomena. Unlike known astrophysical objects, the societies that generate them may be able to replicate on galactic scales through interstellar travel. Different galaxies could thus have drastically different populations, with abundance variations of many orders of magnitude. I present a probabilistic formalism to treat this shared history, in which societies and their broadcasts are described by distributions over basic properties like lifespan and energy released. The framework contains a hierarchy of objects related by a tree structure. Discrete societies, the sources of broadcasts, are organized into potentially interstellar "metasocieties." The population of each type of object is represented by a random point process in an abstract parameter hyperspace, a "haystack." When a selection like an observation draws a sample, the point process is thinned. Given assumptions of interchangeability and independence, observables are modeled with compound Poisson random variables. I present an example of how selection bias can favor sampling longer-lived objects. I rederive the Drake Equation for societies in the limit of no expansion. When interstellar replication is present, however, the mean number of detected broadcasts can depend quadratically on stellar mass, suggesting a search strategy favoring large galaxies.


title: First direct observations of interplanetary shock impact angle effects on actual geomagnetically induced currents: The case of the Finnish natural gas pipeline system

abstract: The impact of interplanetary (IP) shocks on the Earth's magnetosphere can greatly disturb the geomagnetic field and electric currents in the magnetosphere-ionosphere system. At high latitudes, the current systems most affected by the shocks are the auroral electrojet currents. These currents then generate ground geomagnetically induced currents (GICs) that couple with and are highly detrimental to ground artificial conductors including power transmission lines, oil/gas pipelines, railways, and submarine cables. Recent research has shown that the shock impact angle, the angle the shock normal vector performs with the Sun-Earth line, plays a major role in controlling the subsequent geomagnetic activity. More specifically, due to more symmetric magnetospheric compressions, nearly frontal shocks are usually more geoeffective than highly inclined shocks. In this study, we utilize a subset (332 events) of a shock list with more than 600 events to investigate, for the first time, shock impact angle effects on the subsequent GICs right after shock impact (compression effects) and several minutes after shock impact (substorm-like effects). We use GIC recordings from the Finnish natural gas pipeline performed near the M\"ants\"al\"a compression station in southern Finland. We find that GIC peaks (> 5 A) occurring after shock impacts are mostly caused by nearly frontal shocks and occur in the post-noon/dusk magnetic local time sector. These GIC peaks are presumably triggered by partial ring current intensifications in the dusk sector. On the other hand, more intense GIC peaks (> 20 A) generally occur several minutes after shock impacts and are located around the magnetic midnight terminator. These GIC peaks are most likely caused by intense energetic particle injections from the magnetotail which frequently occur during substorms.

categories: physics.space-ph astro-ph.EP astro-ph.HE physics.ao-ph


title: Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms

abstract: In this paper, we give list coloring variants of simple iterative defective coloring algorithms. Formally, in a list defective coloring instance, each node $v$ of a graph is given a list $L_v$ of colors and a list of allowed defects $d_v(x)$ for the colors. Each node $v$ needs to be colored with a color $x\in L_v$ such that at most $d_v(x)$ neighbors of $v$ also pick the same color $x$. For a defect parameter $d$, it is known that by making two sweeps in opposite order over the nodes of an edge-oriented graph with maximum outdegree $\beta$, one can compute a coloring with $O(\beta^2/d^2)$ colors such that every node has at most $d$ outneighbors of the same color. We generalize this and show that if all nodes have lists of size $p^2$ and $\forall v:\sum_{x\in L_v}(d_v(x)+1)>p\cdot\beta$, we can make two sweeps of the nodes such that at the end, each node $v$ has chosen a color $x\in L_v$ for which at most $d_v(x)$ outneighbors of $v$ are colored with color $x$. Our algorithm is simpler and computationally significantly more efficient than existing algorithms for similar list defective coloring problems. We show that the above result can in particular be used to obtain an alternative $\tilde{O}(\sqrt{\Delta})+O(\log^* n)$-round algorithm for the $(\Delta+1)$-coloring problem in the CONGEST model. The neighborhood independence $\theta$ of a graph is the maximum number of pairwise non-adjacent neighbors of some node of the graph. It is known that by doing a single sweep over the nodes of a graph of neighborhood independence $\theta$, one can compute a $d$-defective coloring with $O(\theta\cdot \Delta/d)$ colors. We extend this approach to the list defective coloring setting and use it to obtain an efficient recursive coloring algorithm for graphs of neighborhood independence $\theta$. In particular, if $\theta=O(1)$, we get an $(\log\Delta)^{O(\log\log\Delta)}+O(\log^* n)$-round algorithm.


title: The Smith Fiber Sequence of Invertible Field Theories

abstract: Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three definitions of Smith homomorphisms, including as maps of Thom spectra, and show they are equivalent. Using this, we identify the cofiber of the spectrum-level Smith map and extend the Smith homomorphism to a long exact sequence of bordism groups, which is a powerful computation tool. We discuss several examples of this long exact sequence, relating them to known constructions such as Wood's and Wall's sequences. Furthermore, taking Anderson duals yields a long exact sequence of invertible field theories, which has a rich physical interpretation. We developed the theory in this paper with applications in mind to symmetry breaking in quantum field theory, which we study in a companion paper.


title: A Self-Supervised Method for Body Part Segmentation and Keypoint Detection of Rat Images

abstract: Recognition of individual components and keypoint detection supported by instance segmentation is crucial to analyze the behavior of agents on the scene. Such systems could be used for surveillance, self-driving cars, and also for medical research, where behavior analysis of laboratory animals is used to confirm the aftereffects of a given medicine. A method capable of solving the aforementioned tasks usually requires a large amount of high-quality hand-annotated data, which takes time and money to produce. In this paper, we propose a method that alleviates the need for manual labeling of laboratory rats. To do so, first, we generate initial annotations with a computer vision-based approach, then through extensive augmentation, we train a deep neural network on the generated data. The final system is capable of instance segmentation, keypoint detection, and body part segmentation even when the objects are heavily occluded.


title: Artificial Broadcasts as Galactic Populations: II. Comparing Individualist and Collective Bounds on Broadcast Populations in Single Galaxies

abstract: The search for extraterrestrial intelligence includes efforts to constrain populations of artificial broadcasts in other galaxies. Previous efforts use individualist methods, searching for single broadcasts with high signal-to-noise ratio. These would be detected as observables with extreme values. This approach is limited to very bright broadcasts and also is subject to confusion, where a large number of broadcasts blend together to form a noise continuum. The mean value of the total emission provides an additional collective bound: the luminosity of the transmitters is no higher than the galaxy's observed luminosity. Using the framework developed in Paper I, I evaluate how confusion affects individualist searches. I then compare individualist and collective approaches for radio broadcasts from the Milky Way, M31, and three Virgo Cluster elliptical galaxies. For current observations, confusion blurs narrowband radio broadcasts together in the Virgo ellipticals when there is one broadcast per gigahertz per 1000 stars. The collective bound implies fewer than $\sim 10^6 (\overline{\ell}/10^{13} W)^{-1}$ L-band broadcasts per star gigahertz GHz in the Milky Way and is about 10 and 400 times stronger in M31 and M59, respectively. Applying the collective bound to the far-infrared--radio correlation yields constraints on radio broadcast populations in star-forming galaxies throughout the Universe. The collective bound allows us to rule out large regions of broadcast population parameter space even for distant galaxies. It also imposes constraints on gamma-ray, neutrino, and gravitational-wave broadcasts in the nearest galaxies.


title: AffirmativeAI: Towards LGBTQ+ Friendly Audit Frameworks for Large Language Models

abstract: LGBTQ+ community face disproportionate mental health challenges, including higher rates of depression, anxiety, and suicidal ideation. Research has shown that LGBTQ+ people have been using large language model-based chatbots, such as ChatGPT, for their mental health needs. Despite the potential for immediate support and anonymity these chatbots offer, concerns regarding their capacity to provide empathetic, accurate, and affirming responses remain. In response to these challenges, we propose a framework for evaluating the affirmativeness of LLMs based on principles of affirmative therapy, emphasizing the need for attitudes, knowledge, and actions that support and validate LGBTQ+ experiences. We propose a combination of qualitative and quantitative analyses, hoping to establish benchmarks for "Affirmative AI," ensuring that LLM-based chatbots can provide safe, supportive, and effective mental health support to LGBTQ+ individuals. We benchmark LLM affirmativeness not as a mental health solution for LGBTQ+ individuals or to claim it resolves their mental health issues, as we highlight the need to consider complex discrimination in the LGBTQ+ community when designing technological aids. Our goal is to evaluate LLMs for LGBTQ+ mental health support since many in the community already use them, aiming to identify potential harms of using general-purpose LLMs in this context.


title: Nonradial instabilities in anisotropic neutron stars

abstract: Non-radial oscillation modes of a neutron star possess valuable information about its internal structure and nuclear physics. Starting from the quadrupolar order, such modes under general relativity are known as quasi-normal modes since they dissipate energy through gravitational radiation and their frequencies are complex. The stability of these modes is governed by the sign of the imaginary part of the frequency, which determines whether the mode would decay or grow over time. In this Letter, we develop a fully consistent framework in general relativity to study quasi-normal modes of neutron stars with anisotropic pressure, whose motivation includes strong internal magnetic fields and non-vanishing shear or viscosity. We employ parametrized models for the anisotropy and solve the perturbed Einstein field equations numerically. We find that, unlike the case for isotropic neutron stars, the imaginary parts of some of the pressure ($p$-)modes flip signs as the degree of anisotropy deviates from zero, depicting a transition from stable modes to unstable modes. This finding indicates that some anisotropic neutron star models are unstable, potentially restricting the form of sustained anisotropy.


title: Metabolism, information, and viability in a simulated physically-plausible protocell

abstract: Critical experimental design issues connecting energy transduction and inheritable information within a protocell are explored and elucidated. The protocell design utilizes a photo-driven energy transducer (a ruthenium complex) to turn resource molecules into building blocks, in a manner that is modulated by a combinatorial DNA-based co-factor. This co-factor molecule serves as part of an electron relay for the energy transduction mechanism, where the charge-transport rates depend on the sequence that contains an oxo-guanine. The co-factor also acts as a store of inheritable information due to its ability to replicate non-enzymatically through template-directed ligation. Together, the energy transducer and the co-factor act as a metabolic catalyst that produces co-factor DNA building blocks as well as fatty acids (from picolinium ester and modified DNA oligomers), where the fatty acids self-assemble into vesicles on which exterior surface both the co-factor (DNA) and the energy transducer are anchored with hydrophobic tails. Here we use simulations to study how the co-factor sequence determines its fitness as reflected by charge transfer and replication rates. To estimate the impact on the protocell, we compare these rates with previously measured metabolic rates from a similar system where the charge transfer is directly between the ruthenium complex and the oxo-guanine (without DNA replication and charge transport). Replication and charge transport turn out to have different and often opposing sequence requirements. Functional information of the co-factor molecules is used to probe the feasibility of randomly picking co-factor sequences from a limited population of co-factors molecules, where a good co-factor can enhance both metabolic biomass production and its own replication rate.


title: Understanding the Capabilities and Limitations of Large Language Models for Cultural Commonsense

abstract: Large language models (LLMs) have demonstrated substantial commonsense understanding through numerous benchmark evaluations. However, their understanding of cultural commonsense remains largely unexamined. In this paper, we conduct a comprehensive examination of the capabilities and limitations of several state-of-the-art LLMs in the context of cultural commonsense tasks. Using several general and cultural commonsense benchmarks, we find that (1) LLMs have a significant discrepancy in performance when tested on culture-specific commonsense knowledge for different cultures; (2) LLMs' general commonsense capability is affected by cultural context; and (3) The language used to query the LLMs can impact their performance on cultural-related tasks. Our study points to the inherent bias in the cultural understanding of LLMs and provides insights that can help develop culturally aware language models.


title: Corporate Communication Companion (CCC): An LLM-empowered Writing Assistant for Workplace Social Media

abstract: Workplace social media platforms enable employees to cultivate their professional image and connect with colleagues in a semi-formal environment. While semi-formal corporate communication poses a unique set of challenges, large language models (LLMs) have shown great promise in helping users draft and edit their social media posts. However, LLMs may fail to capture individualized tones and voices in such workplace use cases, as they often generate text using a "one-size-fits-all" approach that can be perceived as generic and bland. In this paper, we present Corporate Communication Companion (CCC), an LLM-empowered interactive system that helps people compose customized and individualized workplace social media posts. Using need-finding interviews to motivate our system design, CCC decomposes the writing process into two core functions, outline and edit: First, it suggests post outlines based on users' job status and previous posts, and next provides edits with attributions that users can contextually customize. We conducted a within-subjects user study asking participants both to write posts and evaluate posts written by others. The results show that CCC enhances users' writing experience, and audience members rate CCC-enhanced posts as higher quality than posts written using a non-customized writing assistant. We conclude by discussing the implications of LLM-empowered corporate communication.


title: ACEGEN: Reinforcement learning of generative chemical agents for drug discovery

abstract: In recent years, reinforcement learning (RL) has emerged as a valuable tool in drug design, offering the potential to propose and optimize molecules with desired properties. However, striking a balance between capabilities, flexibility, reliability, and efficiency remains challenging due to the complexity of advanced RL algorithms and the significant reliance on specialized code. In this work, we introduce ACEGEN, a comprehensive and streamlined toolkit tailored for generative drug design, built using TorchRL, a modern RL library that offers thoroughly tested reusable components. We validate ACEGEN by benchmarking against other published generative modeling algorithms and show comparable or improved performance. We also show examples of ACEGEN applied in multiple drug discovery case studies. ACEGEN is accessible at \url{https://github.com/acellera/acegen-open} and available for use under the MIT license.


title: Basis set extrapolation from the vanishing counterpoise correction condition

abstract: Basis set extrapolations are typically rationalized either from analytical arguments involving the partial-wave or principal expansions of the correlation energy in helium-like systems, or from fitting extrapolation parameters to reference energetics for a small(ish) training set. Seeking to avoid both, we explore a third alternative: extracting extrapolation parameters from the requirement that the BSSE (basis set superposition error) should vanish at the complete basis set limit. We find this to be a viable approach provided that the underlying basis sets are not too small and reasonably well balanced. For basis sets not augmented by diffuse functions, BSSE minimization and energy fitting yield quite similar parameters.


title: Gamma Ray Detection Efficiency of GAGG Crystal Scintillator Using Three Tagged Gamma Ray Techniques

abstract: A CubeSat with a prototype scintillating detector with a sensitive volume of GAGG crystal is being developed with a possible launch date of 2025. Its purpose is to characterize the background signals that mimic the neutrino interaction that the nuSOL team is looking for. An important part of the characterization of the backgrounds and the expected real signal is understanding the gamma ray detection efficiency of the prototype detector. To this end we have used and developed three techniques to do an absolute measurement of gamma ray efficiency. The first is using EC sources that emit an X-ray before prompt emission of a de-excitation gamma ray, specifically Zn-65 and Mn-54. The second is using a beta + decay source wherein a positron annihilates on an atomic shell electron producing two back-to-back 511 keV gammas followed promptly by a de-excitation gamma, specifically Na-22. The third is using a gamma cascade of two near-simultaneous de-excitation gammas from the same nucleus, specifically from Co-60 decay.


title: Searching for Parity Violation in SDSS DR16 Lyman-{\alpha} Forest Data

abstract: The four-point correlation function is the lowest order correlation function for scalar fields that can be used to probe statistical parity invariance in an isotropic universe. There are intriguing claims of detection of parity violation in the 4-point function of BOSS galaxy clustering data. We apply the same estimator to the public SDSS Data Release 16 Lyman-$\alpha$ forest data. Lyman-$\alpha$ forest data probes a different redshift range and is sensitive to a different density regime using a completely different technique. A detection would therefore be a strong indication of new physics. We identify accurate covariance matrix as a crucial impediment to performing this measurement accurately, consistent with existing literature on galaxy 4-point function. We discuss several approaches to estimating the covariance matrix, several of which produce spurious detection. Using a robust, but very suboptimal, covariance matrix derived from subsample bootstrapping, we find no evidence for parity violation.


title: Relativistic Dips in Entangling Power of Gravity

abstract: The salient feature of both classical and quantum gravity is its universal and attractive character. However, less is known about the behaviour and build-up of quantum correlations when quantum systems interact via graviton exchange. In this work, we show that quantum correlations can remain strongly suppressed for certain choices of parameters even when considering two adjacent quantum systems in delocalized states. Using the framework of linearized quantum gravity with post-Newtonian contributions, we find that there are special values of delocalization where gravitationally induced entanglement drops to negligible values, albeit non-vanishing. We find a pronounced cancellation point far from the Planck scale, where the system tends towards classicalization. In addition, we show that quantum correlations begin to reemerge for large and tiny delocalizations due to Heisenberg's uncertainty principle and the universal coupling of gravity to the energy-momentum tensor, forming a valley of gravitational entanglement.


title: Radar Fields: Frequency-Space Neural Scene Representations for FMCW Radar

abstract: Neural fields have been broadly investigated as scene representations for the reproduction and novel generation of diverse outdoor scenes, including those autonomous vehicles and robots must handle. While successful approaches for RGB and LiDAR data exist, neural reconstruction methods for radar as a sensing modality have been largely unexplored. Operating at millimeter wavelengths, radar sensors are robust to scattering in fog and rain, and, as such, offer a complementary modality to active and passive optical sensing techniques. Moreover, existing radar sensors are highly cost-effective and deployed broadly in robots and vehicles that operate outdoors. We introduce Radar Fields - a neural scene reconstruction method designed for active radar imagers. Our approach unites an explicit, physics-informed sensor model with an implicit neural geometry and reflectance model to directly synthesize raw radar measurements and extract scene occupancy. The proposed method does not rely on volume rendering. Instead, we learn fields in Fourier frequency space, supervised with raw radar data. We validate the effectiveness of the method across diverse outdoor scenarios, including urban scenes with dense vehicles and infrastructure, and in harsh weather scenarios, where mm-wavelength sensing is especially favorable.


title: Why do different early-type-galaxies have different amounts of rotational support?

abstract: Early-type galaxies (ETGs, i.e. elliptical and lenticular galaxies) differ in their amount of rotational support -- some are purely supported by velocity dispersion, while others show pronounced ordered rotation. Cosmological hydrodynamical simulations show that the progenitors of all ETGs were first rotating quickly, but then mergers decreased their rotational support. In the presented work, we studied this process using an observational archaeological approach. Namely, we inspected the correlations of 23 merger-sensitive characteristics of local ETGs with a parameter quantifying the rotational support. We used a volume-limited sample of local ETGs, that are not in galaxy clusters, from the MATLAS survey. We found, for example, that slowly rotating galaxies have tidal features and kinematically distinct components more often and have lower metallicities. We sought for mutual interpretation of the correlations among all 23 quantities, together with literature results on high-redshift massive galaxies. There seems to be only one interpretation possible: on average, ETGs lose their rotational support through multiple minor wet mergers happening at the redshifts above about two.


abstract: Proximal Policy Optimization with Adaptive Exploration (axPPO) is introduced as a novel learning algorithm. This paper investigates the exploration-exploitation tradeoff within the context of reinforcement learning and aims to contribute new insights into reinforcement learning algorithm design. The proposed adaptive exploration framework dynamically adjusts the exploration magnitude during training based on the recent performance of the agent. Our proposed method outperforms standard PPO algorithms in learning efficiency, particularly when significant exploratory behavior is needed at the beginning of the learning process.


title: Quantum sensing with atomic, molecular, and optical platforms for fundamental physics

abstract: Atomic, molecular, and optical (AMO) physics has been at the forefront of the development of quantum science while laying the foundation for modern technology. With the growing capabilities of quantum control of many atoms for engineered many-body states and quantum entanglement, a key question emerges: what critical impact will the second quantum revolution with ubiquitous applications of entanglement bring to bear on fundamental physics? In this Essay, we argue that a compelling long-term vision for fundamental physics and novel applications is to harness the rapid development of quantum information science to define and advance the frontiers of measurement physics, with strong potential for fundamental discoveries. As quantum technologies, such as fault-tolerant quantum computing and entangled quantum sensor networks, become much more advanced than today's realization, we wonder what doors of basic science can these tools unlock? We anticipate that some of the most intriguing and challenging problems, such as quantum aspects of gravity, fundamental symmetries, or new physics beyond the minimal standard model, will be tackled at the emerging quantum measurement frontier.


title: Boundedness in a chemotaxis system with weakly singular sensitivity in dimension two with arbitrary sub-quadratic degradation sources

abstract: We study the global existence and boundedness of solutions to a chemotaxis system with weakly singular sensitivity and sub-logistic sources in a two dimensional domain. X. Zhao (Nonlinearity; 2023; 36; 3909-3938 ) showed that the logistic degradation, $-\mu u^2$, can prevent blow-up under the largeness assumption on $\mu$. In this paper, we improve the result by replacing the quadratic degradation by sub-logistic one, $-\frac{\mu u^2}{\ln^\beta(u+e)}$ with $\beta \in (0,1)$, and removing the largeness assumption on $\mu$.


title: Abundance of periodic orbits for typical impulsive flows

abstract: Impulsive dynamical systems, modeled by a continuous semiflow and an impulse function, may be discontinuous and may have non-intuitive topological properties, as the non-invariance of the non-wandering set or the non-existence of invariant probability measures. In this paper we study dynamical features of impulsive flows parameterized by the space of impulses. We prove that impulsive semiflows determined by a C1-Baire generic impulse are such that the set of hyperbolic periodic orbits is dense in the set of non-wandering points which meet the impulsive region. As a consequence, we provide sufficient conditions for the non-wandering set of a typical impulsive semiflow (except the discontinuity set) to be invariant. Several applications are given concerning impulsive semiflows obtained from billiard, Anosov and geometric Lorenz flows.


title: Energy Bounds for Discontinuous Galerkin Spectral Element Approximations of Well-Posed Overset Grid Problems for Hyperbolic Systems

abstract: We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation is bounded by data only for fixed polynomial order and time. In the absence of dissipation, coupling of the overlapping domains is destabilizing by allowing positive eigenvalues in the system to be integrated in time. This coupling can be stabilized in one space dimension by using the upwind numerical flux. To help provide additional dissipation, we introduce a novel penalty method that applies dissipation at arbitrary points within the overlap region and depends only on the difference between the solutions. We present numerical experiments in one space dimension to illustrate the implementation of the well-posed penalty formulation, and show spectral convergence of the approximations when dissipation is applied.


title: Towards a Theoretical Understanding of the 'Reversal Curse' via Training Dynamics

abstract: Auto-regressive large language models (LLMs) show impressive capacities to solve many complex reasoning tasks while struggling with some simple logical reasoning tasks such as inverse search: when trained on ''A is B'', LLM fails to directly conclude ''B is A'' during inference, which is known as the ''reversal curse'' (Berglund et al., 2023). In this paper, we theoretically analyze the reversal curse via the training dynamics of (stochastic) gradient descent for two auto-regressive models: (1) a bilinear model that can be viewed as a simplification of a one-layer transformer; (2) one-layer transformers using the framework of Tian et al. (2023a). Our analysis reveals a core reason why the reversal curse happens: the (effective) weights of both auto-regressive models show asymmetry, i.e., the increase of weights from a token $A$ to token $B$ during training does not necessarily cause the increase of the weights from $B$ to $A$. Moreover, our analysis can be naturally applied to other logical reasoning tasks such as chain-of-thought (COT) (Wei et al., 2022b). We show the necessity of COT, i.e., a model trained on ''$A \to B$'' and ''$B \to C$'' fails to directly conclude ''$A \to C$'' without COT (also empirically observed by Allen-Zhu and Li (2023)), for one-layer transformers via training dynamics, which provides a new perspective different from previous work (Feng et al., 2024) that focuses on expressivity. Finally, we also conduct experiments to validate our theory on multi-layer transformers under different settings.


title: Isomorphisms between random $d$-hypergraphs

abstract: We characterize the size of the largest common induced subgraph of two independent random uniform $d$-hypergraphs of different sizes with $d\geq 3$. More precisely, its distribution is asymptotically concentrated on two points, and we obtain as a consequence a phase transition for the inclusion of the smallest hypergraph in the largest one. This generalizes to uniform random $d$-hypergraphs the results of Chatterjee and Diaconis for uniform random graphs. Our proofs rely on the first and second moment methods.


title: Interpretable Tensor Fusion

abstract: Conventional machine learning methods are predominantly designed to predict outcomes based on a single data type. However, practical applications may encompass data of diverse types, such as text, images, and audio. We introduce interpretable tensor fusion (InTense), a multimodal learning method for training neural networks to simultaneously learn multimodal data representations and their interpretable fusion. InTense can separately capture both linear combinations and multiplicative interactions of diverse data types, thereby disentangling higher-order interactions from the individual effects of each modality. InTense provides interpretability out of the box by assigning relevance scores to modalities and their associations. The approach is theoretically grounded and yields meaningful relevance scores on multiple synthetic and real-world datasets. Experiments on six real-world datasets show that InTense outperforms existing state-of-the-art multimodal interpretable approaches in terms of accuracy and interpretability.


title: Enhanced Lieb-Robinson bounds for a class of Bose-Hubbard type Hamiltonians

abstract: Several recent works have considered Lieb-Robinson bounds (LRBs) for Bose-Hubbard-type Hamiltonians. For certain special classes of initial states (e.g., states with particle-free regions or perturbations of stationary states), the velocity of information propagation was bounded by a constant in time, $v\leq C$, similarly to quantum spin systems. However, for the more general class of bounded-density initial states, the first-named author together with Vu and Saito derived the velocity bound $v\leq C t^{D-1}$, where $D$ is the spatial lattice dimension. For $D\geq 2$, this bound allows for accelerated information propagation. It has been known since the work of Eisert and Gross that some systems of lattice bosons are capable of accelerated information propagation. It is therefore a central question to understand under what conditions the bound $v\leq C t^{D-1}$ can be enhanced. Here, we prove that additional physical constraints, translation-invariance and a $p$-body repulsion of the form $n_x^p$ with $p>D+1$, lead to a LRB with $v\leq C t^{\frac{D}{p-D-1}}$ for any initial state of bounded energy density. We also identify examples of quantum states which show that no further enhancement is possible without using additional dynamical constraints.

categories: math-ph cond-mat.stat-mech hep-th math.MP quant-ph


title: Singularity Structures of Linear Inviscid Damping in a Channel

abstract: This paper studies singularity structures of the linear inviscid damping of two-dimensional Euler equations in a finite periodic channel. We introduce a recursive definition of singularity structures which characterize the singularities of the spectrum density function from different sources: the free part and the boundary part of the Green function. As an application, we demonstrate that the stream function exhibits smoothness away from the channel's boundary, yet it presents singularities in close proximity to the boundary. The singularities arise due to the interaction of boundary and interior singularities of the spectrum density function. We also show that the behavior of the initial data and background flow have an impact on the regularity of different components of the stream function.


title: Towards Accurate and Efficient Document Analytics with Large Language Models

abstract: Unstructured data formats account for over 80% of the data currently stored, and extracting value from such formats remains a considerable challenge. In particular, current approaches for managing unstructured documents do not support ad-hoc analytical queries on document collections. Moreover, Large Language Models (LLMs) directly applied to the documents themselves, or on portions of documents through a process of Retrieval-Augmented Generation (RAG), fail to provide high accuracy query results, and in the LLM-only case, additionally incur high costs. Since many unstructured documents in a collection often follow similar templates that impart a common semantic structure, we introduce ZenDB, a document analytics system that leverages this semantic structure, coupled with LLMs, to answer ad-hoc SQL queries on document collections. ZenDB efficiently extracts semantic hierarchical structures from such templatized documents, and introduces a novel query engine that leverages these structures for accurate and cost-effective query execution. Users can impose a schema on their documents, and query it, all via SQL. Extensive experiments on three real-world document collections demonstrate ZenDB's benefits, achieving up to 30% cost savings compared to LLM-based baselines, while maintaining or improving accuracy, and surpassing RAG-based baselines by up to 61% in precision and 80% in recall, at a marginally higher cost.


title: TexControl: Sketch-Based Two-Stage Fashion Image Generation Using Diffusion Model

abstract: Deep learning-based sketch-to-clothing image generation provides the initial designs and inspiration in the fashion design processes. However, clothing generation from freehand drawing is challenging due to the sparse and ambiguous information from the drawn sketches. The current generation models may have difficulty generating detailed texture information. In this work, we propose TexControl, a sketch-based fashion generation framework that uses a two-stage pipeline to generate the fashion image corresponding to the sketch input. First, we adopt ControlNet to generate the fashion image from sketch and keep the image outline stable. Then, we use an image-to-image method to optimize the detailed textures of the generated images and obtain the final results. The evaluation results show that TexControl can generate fashion images with high-quality texture as fine-grained image generation.


title: Measures of maximal entropy for non-uniformly hyperbolic maps

abstract: For $C^{1+}$ maps, possibly non-invertible and with singularities, we prove that each homoclinic class of an adapted hyperbolic measure carries at most one adapted hyperbolic measure of maximal entropy. We then apply this to study the finiteness/uniqueness of such measures in several different settings: finite horizon dispersing billiards, codimension one partially hyperbolic endomorphisms with "large" entropy, robustly non-uniformly hyperbolic volume-preserving endomorphisms as in Andersson-Carrasco-Saghin, and strongly transitive non-uniformly expanding maps.


title: Responding to Generative AI Technologies with Research-through-Design: The Ryelands AI Lab as an Exploratory Study

abstract: Generative AI technologies demand new practical and critical competencies, which call on design to respond to and foster these. We present an exploratory study guided by Research-through-Design, in which we partnered with a primary school to develop a constructionist curriculum centered on students interacting with a generative AI technology. We provide a detailed account of the design of and outputs from the curriculum and learning materials, finding centrally that the reflexive and prolonged `hands-on' approach led to a co-development of students' practical and critical competencies. From the study, we contribute guidance for designing constructionist approaches to generative AI technology education; further arguing to do so with `critical responsivity.' We then discuss how HCI researchers may leverage constructionist strategies in designing interactions with generative AI technologies; and suggest that Research-through-Design can play an important role as a `rapid response methodology' capable of reacting to fast-evolving, disruptive technologies such as generative AI.


title: Pipe Routing with Topology Control for UAV Networks

abstract: Routing protocols help in transmitting the sensed data from UAVs monitoring the targets (called target UAVs) to the BS. However, the highly dynamic nature of an autonomous, decentralized UAV network leads to frequent route breaks or traffic disruptions. Traditional routing schemes cannot quickly adapt to dynamic UAV networks and/or incur large control overhead and delays. To establish stable, high-quality routes from target UAVs to the BS, we design a hybrid reactive routing scheme called pipe routing that is mobility, congestion, and energy-aware. The pipe routing scheme discovers routes on-demand and proactively switches to alternate high-quality routes within a limited region around the active routes (called the pipe) when needed, reducing the number of route breaks and increasing data throughput. We then design a novel topology control-based pipe routing scheme to maintain robust connectivity in the pipe region around the active routes, leading to improved route stability and increased throughput with minimal impact on the coverage performance of the UAV network.


title: Inter-band B(E1) Strengths in Heavy Nuclei based on the Proxy-SU(3) Scheme

abstract: Rotational bands of positive and negative parity are frequently found experimentally in heavy deformed even-even nuclei along with their corresponding $E2$ intra-band and $E1$ inter-band transitions. In $SU(3)$ symmetry-based models, calculating the $B(E2)$ strengths is relatively straightforward due to the relation between the $E2$ operator and the quadrupole generator of the algebra. However, calculating the $B(E1)$ strengths is a more difficult task, requiring computations involving the shell-model expansion of the dipole operator and multi-shell matrix elements. In this work the $E1$ operator is expanded in $SU(3)$ second quantization and applied to calculate the inter-band $B(E1)$ strengths of the isotope $^{224}$Th using the semi-microscopic algebraic quartet model (SAQM) based on the recently proposed proxy-$SU(3)$ scheme.


title: Axi-Higgs portal Dark Matter via Wess-Zumino mechanism

abstract: We study the axion portal between the visible and the dark sector, where the Dark Matter is charged under a simple abelian extension of the Standard Model. In general, such models are anomalous and are rendered gauge invariant by a St\"ukelberg axion through Wess-Zumino/Green-Schwarz mechanism. This axion mixes with other Goldstone bosons in the model to give a physical axi-Higgs which becomes massive upon breaking the anomalous gauge group. Such axi-Higgs fields charged under the anomalous symmetry act as mediators for the Dark Matter annihilation to Standard Model particles and can lead to an efficient freeze-out mechanism. Here, we show that the St{\"u}kelberg axion and the resultant axi-Higgs, with its appropriate shift symmetry cancels the quantum anomalies and also generate the observed relic density for the Dark Matter. Moreover, we show that the relevant parameter space in our model, where photon production dominates, is safe from FermiLAT, Cherenkov Telescope Array, and H.E.S.S. indirect detection experiments.


title: Onset of scaling violation in pion and kaon elastic electromagnetic form factors

abstract: Using a symmetry-preserving truncation of the quantum field equations describing hadron properties, parameter-free predictions are delivered for pion and kaon elastic electromagnetic form factors, $F_{P=\pi,K}$, thereby unifying them with kindred results for nucleon elastic electromagnetic form factors. Regarding positive-charge states, the analysis stresses that the presence of scaling violations in QCD entails that $Q^2 F_P(Q^2)$ should exhibit a single maximum on $Q^2>0$. Locating such a maximum is both necessary and sufficient to establish the existence of scaling violations. The study predicts that, for charged $\pi$, $K$ mesons, the $Q^2 F_P(Q^2)$ maximum lies in the neighbourhood $Q^2 \simeq 5\,$GeV$^2$. Foreseeable experiments will test these predictions and, providing their $Q^2$ reach meets expectations, potentially also provide details on the momentum dependence of meson form factor scaling violation.