title: Fermiology and transport properties of the proposed topological crystalline insulator SrAg4Sb2

abstract: Compared to time-reversal symmetry-protected Z2 topological insulators and Dirac/Weyl semimetals, there are significantly fewer candidates for topological crystalline insulators. SrAg4Sb2 is predicted to exhibit topological crystalline insulator behavior when considering spin-orbit coupling. In this study, we systematically investigate single crystals of SrAg4Sb2 using electrical transport and magnetic torque measurements, along with first-principles calculations. Our transport data reveals its compensated semimetal nature with a magnetoresistance up to around 700% at 2 K and 9 T. Analysis of de Haas-van Alphen oscillations uncovers a Fermi surface consisting of three distinct Fermi pockets with light effective masses. Comparison between the three-dimensional fermiology obtained from our oscillation data and the first-principles calculations demonstrates excellent agreement. This confirms the accuracy of the calculations, which indicate a band inversion centered at the {\Gamma} point and identify the existence of nontrivial tube and needle hole Fermi pockets at {\Gamma}, alongside one trivial diamond electron pocket at the T point in the Brillouin zone. Furthermore, symmetry and topology analysis results in two potential sets of topological invariants, suggesting the emergence of two-dimensional gapless Dirac surface states either on the ab planes or on both the ab planes and mirror planes, protected by crystal symmetries. Therefore, SrAg4Sb2 emerges as a promising candidate topological crystalline insulator.


title: The zeta-determinant of the Dirichlet-to-Neumann operator of the Steklov Problem on forms

abstract: On a compact Riemannian manifold $M$ with boundary $Y$, we express the log of the zeta-determinant of the Dirichlet-to-Neumann operator acting on $q$-forms on $Y$ as the difference of the log of the zeta-determinant of the Laplacian on $q$-forms on $M$ with absolute boundary conditions and that of the Laplacian with Dirichlet boundary conditions with some additional terms which are expressed by curvature tensors. When the dimension of $M$ is $2$ or $3$, we compute these terms explicitly. We also discuss the value of the zeta function at zero associated to the Dirichlet-to-Neumann operator by using a conformal rescaling method. As an application, we recover the result of the conformal invariance obtained in C. Guillarmou and L. Guillop\'e, The determinant of the Dirichlet-to-Neumann map for surfaces with boundary, Int. Math. Res. Not. IMRN 2007, no. 22, Art. ID rnm099, when the dimension of $M$ is $2$.


title: Exploring Algorithmic Explainability: Generating Explainable AI Insights for Personalized Clinical Decision Support Focused on Cannabis Intoxication in Young Adults

abstract: This study explores the possibility of facilitating algorithmic decision-making by combining interpretable artificial intelligence (XAI) techniques with sensor data, with the aim of providing researchers and clinicians with personalized analyses of cannabis intoxication behavior. SHAP analyzes the importance and quantifies the impact of specific factors such as environmental noise or heart rate, enabling clinicians to pinpoint influential behaviors and environmental conditions. SkopeRules simplify the understanding of cannabis use for a specific activity or environmental use. Decision trees provide a clear visualization of how factors interact to influence cannabis consumption. Counterfactual models help identify key changes in behaviors or conditions that may alter cannabis use outcomes, to guide effective individualized intervention strategies. This multidimensional analytical approach not only unveils changes in behavioral and physiological states after cannabis use, such as frequent fluctuations in activity states, nontraditional sleep patterns, and specific use habits at different times and places, but also highlights the significance of individual differences in responses to cannabis use. These insights carry profound implications for clinicians seeking to gain a deeper understanding of the diverse needs of their patients and for tailoring precisely targeted intervention strategies. Furthermore, our findings highlight the pivotal role that XAI technologies could play in enhancing the transparency and interpretability of Clinical Decision Support Systems (CDSS), with a particular focus on substance misuse treatment. This research significantly contributes to ongoing initiatives aimed at advancing clinical practices that aim to prevent and reduce cannabis-related harms to health, positioning XAI as a supportive tool for clinicians and researchers alike.


title: Exploring the Potential of Data-Driven Spatial Audio Enhancement Using a Single-Channel Model

abstract: One key aspect differentiating data-driven single- and multi-channel speech enhancement and dereverberation methods is that both the problem formulation and complexity of the solutions are considerably more challenging in the latter case. Additionally, with limited computational resources, it is cumbersome to train models that require the management of larger datasets or those with more complex designs. In this scenario, an unverified hypothesis that single-channel methods can be adapted to multi-channel scenarios simply by processing each channel independently holds significant implications, boosting compatibility between sound scene capture and system input-output formats, while also allowing modern research to focus on other challenging aspects, such as full-bandwidth audio enhancement, competitive noise suppression, and unsupervised learning. This study verifies this hypothesis by comparing the enhancement promoted by a basic single-channel speech enhancement and dereverberation model with two other multi-channel models tailored to separate clean speech from noisy 3D mixes. A direction of arrival estimation model was used to objectively evaluate its capacity to preserve spatial information by comparing the output signals with ground-truth coordinate values. Consequently, a trade-off arises between preserving spatial information with a more straightforward single-channel solution at the cost of obtaining lower gains in intelligibility scores.


title: "Where am I?" Scene Retrieval with Language

abstract: Natural language interfaces to embodied AI are becoming more ubiquitous in our daily lives. This opens further opportunities for language-based interaction with embodied agents, such as a user instructing an agent to execute some task in a specific location. For example, "put the bowls back in the cupboard next to the fridge" or "meet me at the intersection under the red sign." As such, we need methods that interface between natural language and map representations of the environment. To this end, we explore the question of whether we can use an open-set natural language query to identify a scene represented by a 3D scene graph. We define this task as "language-based scene-retrieval" and it is closely related to "coarse-localization," but we are instead searching for a match from a collection of disjoint scenes and not necessarily a large-scale continuous map. Therefore, we present Text2SceneGraphMatcher, a "scene-retrieval" pipeline that learns joint embeddings between text descriptions and scene graphs to determine if they are matched. The code, trained models, and datasets will be made public.


title: Superconducting Diode Effect in Two-dimensional Topological Insulator Edges and Josephson Junctions

abstract: The superconducting diode effect -- the dependence of critical current on its direction -- can arise from the simultaneous breaking of inversion and time-reversal symmetry in a superconductor and has gained interest for its potential applications in superconducting electronics. In this letter, we study the effect in a two-dimensional topological insulator (2D TI) in both a uniform geometry as well as in a long Josephson junction. We show that in the presence of Zeeman fields, a circulating edge current enables a large non-reciprocity of the critical current. We find a maximum diode efficiency 1 for the uniform 2D TI and $(\sqrt{2} - 1)^2 \approx 0.17$ for the long Josephson junction.


title: WangLab at MEDIQA-M3G 2024: Multimodal Medical Answer Generation using Large Language Models

abstract: This paper outlines our submission to the MEDIQA2024 Multilingual and Multimodal Medical Answer Generation (M3G) shared task. We report results for two standalone solutions under the English category of the task, the first involving two consecutive API calls to the Claude 3 Opus API and the second involving training an image-disease label joint embedding in the style of CLIP for image classification. These two solutions scored 1st and 2nd place respectively on the competition leaderboard, substantially outperforming the next best solution. Additionally, we discuss insights gained from post-competition experiments. While the performance of these two solutions have significant room for improvement due to the difficulty of the shared task and the challenging nature of medical visual question answering in general, we identify the multi-stage LLM approach and the CLIP image classification approach as promising avenues for further investigation.


title: UVMap-ID: A Controllable and Personalized UV Map Generative Model

abstract: Recently, diffusion models have made significant strides in synthesizing realistic 2D human images based on provided text prompts. Building upon this, researchers have extended 2D text-to-image diffusion models into the 3D domain for generating human textures (UV Maps). However, some important problems about UV Map Generative models are still not solved, i.e., how to generate personalized texture maps for any given face image, and how to define and evaluate the quality of these generated texture maps. To solve the above problems, we introduce a novel method, UVMap-ID, which is a controllable and personalized UV Map generative model. Unlike traditional large-scale training methods in 2D, we propose to fine-tune a pre-trained text-to-image diffusion model which is integrated with a face fusion module for achieving ID-driven customized generation. To support the finetuning strategy, we introduce a small-scale attribute-balanced training dataset, including high-quality textures with labeled text and Face ID. Additionally, we introduce some metrics to evaluate the multiple aspects of the textures. Finally, both quantitative and qualitative analyses demonstrate the effectiveness of our method in controllable and personalized UV Map generation. Code is publicly available via https://github.com/twowwj/UVMap-ID.


title: LIGO operates with quantum noise below the Standard Quantum Limit

abstract: Precision measurements of space and time, like those made by the detectors of the Laser Interferometer Gravitational-wave Observatory (LIGO), are often confronted with fundamental limitations imposed by quantum mechanics. The Heisenberg uncertainty principle dictates that the position and momentum of an object cannot both be precisely measured, giving rise to an apparent limitation called the Standard Quantum Limit (SQL). Reducing quantum noise below the SQL in gravitational-wave detectors, where photons are used to continuously measure the positions of freely falling mirrors, has been an active area of research for decades. Here we show how the LIGO A+ upgrade reduced the detectors' quantum noise below the SQL by up to 3 dB while achieving a broadband sensitivity improvement, more than two decades after this possibility was first presented.

categories: gr-qc astro-ph.IM physics.ins-det quant-ph


title: Approximating Korobov Functions via Quantum Circuits

abstract: Quantum computing has the potential to address challenging problems in scientific computation. Therefore, it is important to analyze the capability of quantum circuits in solving computational problems from the perspective of approximation theory. In this paper, we explicitly construct quantum circuits that can approximate $d$-dimensional functions in the Korobov function space, $X^{2, p}([0,1]^d)$. We achieve this goal by leveraging the quantum signal processing algorithm and the linear combinations of unitaries technique to construct quantum circuits that implement Chebyshev polynomials which can approximate functions in $X^{2, p}([0,1]^d)$. Our work provides quantitative approximation bounds and estimates the complexity of implementing the proposed quantum circuits. Since $X^{2, p}(\Omega)$ is a subspace of Sobolev spaces, $W^{k,p}([0,1]^d)$, for $\max_{1 \leq i \leq d} k_i = 2$, our works develops a theoretical foundation to implement a large class of functions on a quantum computer. Our research adds to discussions about merging quantum computing techniques with scientific computing, suggesting promising paths for using quantum algorithms to solve challenging computational problems more efficiently.


title: A Survey of Decomposition-Based Evolutionary Multi-Objective Optimization: Part I-Past and Future

abstract: Decomposition has been the mainstream approach in classic mathematical programming for multi-objective optimization and multi-criterion decision-making. However, it was not properly studied in the context of evolutionary multi-objective optimization (EMO) until the development of multi-objective evolutionary algorithm based on decomposition (MOEA/D). In this two-part survey series, we use MOEA/D as the representative of decomposition-based EMO to review the up-to-date development in this area, and systematically and comprehensively analyze its research landscape. In the first part, we present a comprehensive survey of the development of MOEA/D from its origin to the current state-of-the-art approaches. In order to be self-contained, we start with a step-by-step tutorial that aims to help a novice quickly get onto the working mechanism of MOEA/D. Then, selected major developments of MOEA/D are reviewed according to its core design components including weight vector settings, subproblem formulations, selection mechanisms and reproduction operators. Besides, we also overview some selected advanced topics for constraint handling, optimization in dynamic and uncertain environments, computationally expensive objective functions, and preference incorporation. In the final part, we shed some light on emerging directions for future developments.


title: Categorification and mirror symmetry for Grassmannians

abstract: The homogeneous coordinate ring $\mathbb{C}[\operatorname{Gr}(k,n)]$ of the Grassmannian is a cluster algebra, with an additive categorification $\operatorname{CM}C$. Thus every $M\in\operatorname{CM}C$ has a cluster character $\Psi_M\in\mathbb{C}[\operatorname{Gr}(k,n)]$. The aim is to use the categorification to enrich Rietsch-Williams' mirror symmetry result that the Newton-Okounkov (NO) body/cone, made from leading exponents of functions in $\mathbb{C}[\operatorname{Gr}(k,n)]$ in an $\mathbb{X}$-cluster chart, can also be described by tropicalisation of the Marsh-Reitsch superpotential~$W$. For any cluster tilting object $T$, with endomorphism algebra $A$, we define two new cluster characters, a generalised partition function $\mathcal{P}^T_M\in\mathbb{C}[K(\operatorname{CM}A)]$ and a generalised flow polynomial $\mathcal{F}^T_M\in\mathbb{C}[K(\operatorname{fd}A)]$, related by a `dehomogenising' map $\operatorname{wt}\colon K(\operatorname{CM}A)\to K(\operatorname{fd}A)$. In the $\mathbb{X}$-cluster chart corresponding to $T$, the function $\Psi_M$ becomes $\mathcal{F}^T_M$ and thus its leading exponent is $\boldsymbol{\kappa}(T,M)$, an invariant introduced in earlier paper (and the image of the $g$-vector of $M$ under $\operatorname{wt}$). When $T$ mutates, $\mathcal{F}^T_M$ undergoes $\mathbb{X}$-mutation and $\boldsymbol{\kappa}(T,M)$ undergoes tropical $\mathbb{A}$-mutation. We then show that the monoid of $g$-vectors is saturated, and that this cone can be identified with the NO-cone, so the NO-body of Rietsch--Williams can be described in terms of $\boldsymbol{\kappa}(T,M)$. Furthermore, we adapt Rietsch-Williams' mirror symmetry strategy to find module-theoretic inequalities that determine the cone of $g$-vectors. Some of the machinery we develop works in a greater generality, which is relevant to the positroid subvarieties of $\operatorname{Gr}(k,n)$.


title: Tile-Weighted Rate-Distortion Optimized Packet Scheduling for 360$^\circ$ VR Video Streaming

abstract: A key challenge of 360$^\circ$ VR video streaming is ensuring high quality with limited network bandwidth. Currently, most studies focus on tile-based adaptive bitrate streaming to reduce bandwidth consumption, where resources in network nodes are not fully utilized. This article proposes a tile-weighted rate-distortion (TWRD) packet scheduling optimization system to reduce data volume and improve video quality. A multimodal spatial-temporal attention transformer is proposed to predict viewpoint with probability that is used to dynamically weight tiles and corresponding packets. The packet scheduling problem of determining which packets should be dropped is formulated as an optimization problem solved by a dynamic programming solution. Experiment results demonstrate the proposed method outperforms the existing methods under various conditions.


title: Harmonic analysis of atomic vapor magnetization for in situ calibration of tri-axial time-dependent magnetic field

abstract: We introduce a methodology to calibrate in situ a set of coils generating bi- or tri-axial magnetic fields, at frequencies where a calibration performed in static condition would be inaccurate. The coil constants are determined in a two-step procedure. Considering the presence of a static and of a time-dependent field, firstly, the static one is oriented perpendicularly to the polarization plane of a time dependent one; secondly, the polarization of the latter is made accurately circular. The methodology uses harmonic analysis of one component of the magnetization of an atomic sample whose spins adiabatically follow the time-dependent field.


title: Designing forecasting software for forecast users: Empowering non-experts to create and understand their own forecasts

abstract: Forecasts inform decision-making in nearly every domain. Forecasts are often produced by experts with rare or hard to acquire skills. In practice, forecasts are often used by domain experts and managers with little forecasting expertise. Our study focuses on how to design forecasting software that empowers non-expert users. We study how users can make use of state-of-the-art forecasting methods, embed their domain knowledge, and how they build understanding and trust towards generated forecasts. To do so, we co-designed a forecasting software prototype using feedback from users and then analyzed their interactions with our prototype. Our results identified three main considerations for non-expert users: (1) a safe stepwise approach facilitating causal understanding and trust; (2) a white box model supporting human-reasoning-friendly components; (3) the inclusion of domain knowledge. This paper contributes insights into how non-expert users interact with forecasting software and by recommending ways to design more accessible forecasting software.


title: Control of a ferrimagnet phase by a two-component magnetic field

abstract: We report a theoretical study of the phase diagram of a ferrimagnetic iron-garnet with uniaxial anisotropy near a magnetization compensation point in the presence of a two-component magnetic field. The study is performed based on a quasi-antiferromagnetic approximation. The number and stability of the equilibrium states of the Neel vector are analyzed using the effective energy function. It is shown that application of the small out-of-plane magnetic field in addition to the stronger in-plane magnetic field significantly changes the equilibrium states of a ferrimagnet. The possibilities to control the equilibrium Neel vector position and to switch between the monostable and bistable states by tuning the value and ratio of the in-plane and out-of-plane magnetic field components are demonstrated. This opens new possibilities for the utilization of ferrimagnets since the magnetic field could be changed much faster than the temperature.


title: Tunable dynamical tissue phantom for laser speckle imaging

abstract: We introduce a novel method to design and implement a tunable dynamical tissue phantom for laser speckle-based in-vivo blood flow imaging. This approach relies on Stochastic Differential Equations (SDE) to control a piezoelectric actuator which, upon illuminated with a laser source, generates speckles of pre-defined probability density function and auto-correlation. The validation experiments show that the phantom can generate dynamic speckles that closely replicate both surfaces as well as deep tissue blood flow for a reasonably wide range and accuracy.


title: Generalized Mazur Patterns and Immersed Heegaard Floer Homology

abstract: Generalizing prior work of Levine, we give infinitely many examples of pattern knots P such that P(K) is not slice in any rational homology 4-ball, for any companion knot K. To show this, we establish a closed formula for the concordance invariants tau and epsilon of a family of satellite knots obtained from generalized Mazur patterns. Our main computational tool is the immersed curve technique from bordered Heegaard Floer homology arising from the work of Chen-Hanselman.


title: SUBA-Jet: a new Model for Jets in Heavy Ion Collisions

abstract: We present a new model for jet quenching in a quark gluon plasma (QGP). The jet energy loss has two steps. The initial jet parton with a high virtuality loses energy by a perturbative vacuum parton shower modified by medium interactions until it becomes on shell. Subsequent energy loss originates from elastic and radiative collisions with the medium constituents. Coherency of the radiative collisions is achieved by starting with virtual gluons that act as field dressing of the initial jet parton. These are formed according to a Gunion-Bertsch seed. The QCD version of the LPM effect is obtained by increasing the phase of the virtual gluons through elastic scatterings with the medium. Above a phase threshold, the virtual gluons will be formed and can produce coherent radiation themselves. The model has been implemented in a Monte Carlo code and is validated by successfully reproducing the BDMPS-Z prediction for the energy spectrum of radiated gluons in a static medium. Results for the more realistic case, in which the assumptions of the BDMPS-Z approach are released, are also shown. We investigate the influence of various parameters on the energy spectrum and the transverse momentum distribution, such as the in-medium quark masses, the energy transfer in the recoil process, and the phase accumulation criteria, especially for low and intermediate energy gluons.


title: Demystifying Invariant Effectiveness for Securing Smart Contracts

abstract: Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared with historical benign transactions before the attacking events. While many runtime monitoring and guarding mechanisms have been proposed to validate invariants and stop anomalous transactions on the fly, the empirical effectiveness of the invariants used remains largely unexplored. In this paper, we studied 23 prevalent invariants of 8 categories, which are either deployed in high-profile protocols or endorsed by leading auditing firms and security experts. Using these well-established invariants as templates, we developed a tool Trace2Inv which dynamically generates new invariants customized for a given contract based on its historical transaction data. We evaluated Trace2Inv on 42 smart contracts that fell victim to 27 distinct exploits on the Ethereum blockchain. Our findings reveal that the most effective invariant guard alone can successfully block 18 of the 27 identified exploits with minimal gas overhead. Our analysis also shows that most of the invariants remain effective even when the experienced attackers attempt to bypass them. Additionally, we studied the possibility of combining multiple invariant guards, resulting in blocking up to 23 of the 27 benchmark exploits and achieving false positive rates as low as 0.32%. Trace2Inv outperforms current state-of-the-art works on smart contract invariant mining and transaction attack detection in terms of both practicality and accuracy. Though Trace2Inv is not primarily designed for transaction attack detection, it surprisingly found two previously unreported exploit transactions, earlier than any reported exploit transactions against the same victim contracts.


title: The Adversarial AI-Art: Understanding, Generation, Detection, and Benchmarking

abstract: Generative AI models can produce high-quality images based on text prompts. The generated images often appear indistinguishable from images generated by conventional optical photography devices or created by human artists (i.e., real images). While the outstanding performance of such generative models is generally well received, security concerns arise. For instance, such image generators could be used to facilitate fraud or scam schemes, generate and spread misinformation, or produce fabricated artworks. In this paper, we present a systematic attempt at understanding and detecting AI-generated images (AI-art) in adversarial scenarios. First, we collect and share a dataset of real images and their corresponding artificial counterparts generated by four popular AI image generators. The dataset, named ARIA, contains over 140K images in five categories: artworks (painting), social media images, news photos, disaster scenes, and anime pictures. This dataset can be used as a foundation to support future research on adversarial AI-art. Next, we present a user study that employs the ARIA dataset to evaluate if real-world users can distinguish with or without reference images. In a benchmarking study, we further evaluate if state-of-the-art open-source and commercial AI image detectors can effectively identify the images in the ARIA dataset. Finally, we present a ResNet-50 classifier and evaluate its accuracy and transferability on the ARIA dataset.


title: Toeplitz operators and group-moment coordinates for quasi-elliptic and quasi-hyperbolic symbols

abstract: For $\mathbb{B}^n$ the $n$-dimensional unit ball and $D_n$ its Siegel unbounded realization, we consider Toeplitz operators acting on weighted Bergman spaces with symbols invariant under the actions of the maximal Abelian subgroups of biholomorphisms $\mathbb{T}^n$ (quasi-elliptic) and $\mathbb{T}^n \times \mathbb{R}_+$ (quasi-hyperbolic). Using geometric symplectic tools (Hamiltonian actions and moment maps) we obtain simple diagonalizing spectral integral formulas for such kinds of operators. Some consequences show how powerful the use of our differential geometric methods are.


title: A general framework for supporting economic feasibility of generator and storage energy systems through capacity and dispatch optimization

abstract: Integration of various electricity-generating technologies (such as natural gas, wind, nuclear, etc.) with storage systems (such as thermal, battery electric, hydrogen, etc.) has the potential to improve the economic competitiveness of modern energy systems. Driven by the need to efficiently assess the economic feasibility of various energy system configurations in early system concept development, this work outlines a versatile computational framework for assessing the net present value of various integrated storage technologies. The subsystems' fundamental dynamics are defined, with a particular emphasis on balancing critical physical and economic domains to enable optimal decision-making in the context of capacity and dispatch optimization. In its presented form, the framework formulates a linear, convex optimization problem that can be efficiently solved using a direct transcription approach in the open-source software DTQP. Three case studies demonstrate and validate the framework's capabilities, highlighting its value and computational efficiency in facilitating the economic assessment of various energy system configurations. In particular, natural gas with thermal storage and carbon capture, wind energy with battery storage, and nuclear with hydrogen are demonstrated.


title: X-ray Interferometry Using a Modulated Phase Grating: Theory and Experiments

abstract: X-ray grating interferometry allows for the simultaneous acquisition of attenuation, differential-phase contrast, and dark-field images, resulting from X-ray attenuation, refraction, and small-angle scattering, respectively. The modulated phase grating (MPG) interferometer is a recently developed grating interferometry system capable of generating a directly resolvable interference pattern using a relatively large period grating envelope function that is sampled at a pitch that allows for X-ray spatial coherence using a microfocus X-ray source or by use of a source G0 grating that follows the Lau condition. We present the theory of the MPG interferometry system for a 2-dimensional staggered grating, derived using Fourier optics, and we compare the theoretical predictions with experiments we have performed with a microfocus X-ray system at Pennington Biomedical Research Center, LSU. The theoretical and experimental fringe visibility is evaluated as a function of grating-to-detector distance. Quantitative experiments are performed with porous carbon and alumina samples, and qualitative analysis of attenuation and dark-field images of a dried anchovy are shown.


title: Global Chern currents of coherent sheaves and Baum Bott currents

abstract: We provide global extensions of previous results about representations of characteristic classes of coherent analytic sheaves and of Baum-Bott residues of holomorphic foliations. We show in the first case that they can be represented by currents with support on the support of the given coherent analytic sheaf, and in the second case, by currents with support on the singular set of the foliation. In previous works, we have constructed such representatives provided global resolutions of the appropriate sheaves existed. In this article, we show that the definition of Chern classes of Green and the associated techniques, which work on arbitrary complex manifolds without any assumption on the existence of global resolutions, may be combined with our previous constructions to yield the desired representatives. We also prove a transgression formula for such representatives, which is new even in the case when global resolutions exist. More precisely, the representatives depend on local resolutions of the sheaf, and on choices of metrics and connections on these bundles, i.e., the currents for two different choices differ by a current of the form $dN$, where $N$ is an explicit current, which in the first case above has support on the support of the given coherent analytic sheaf, and in the second case above has support on the singular set of the foliation.


title: Latency-Distortion Tradeoffs in Communicating Classification Results over Noisy Channels

abstract: In this work, the problem of communicating decisions of a classifier over a noisy channel is considered. With machine learning based models being used in variety of time-sensitive applications, transmission of these decisions in a reliable and timely manner is of significant importance. To this end, we study the scenario where a probability vector (representing the decisions of a classifier) at the transmitter, needs to be transmitted over a noisy channel. Assuming that the distortion between the original probability vector and the reconstructed one at the receiver is measured via f-divergence, we study the trade-off between transmission latency and the distortion. We completely analyze this trade-off using uniform, lattice, and sparse lattice-based quantization techniques to encode the probability vector by first characterizing bit budgets for each technique given a requirement on the allowed source distortion. These bounds are then combined with results from finite-blocklength literature to provide a framework for analyzing the effects of both quantization distortion and distortion due to decoding error probability (i.e., channel effects) on the incurred transmission latency. Our results show that there is an interesting interplay between source distortion (i.e., distortion for the probability vector measured via f-divergence) and the subsequent channel encoding/decoding parameters; and indicate that a joint design of these parameters is crucial to navigate the latency-distortion tradeoff. We study the impact of changing different parameters (e.g. number of classes, SNR, source distortion) on the latency-distortion tradeoff and perform experiments on AWGN and fading channels. Our results indicate that sparse lattice-based quantization is the most effective at minimizing latency across various regimes and for sparse, high-dimensional probability vectors (i.e., high number of classes).


title: Alexandrov spaces are CS sets

abstract: We prove that the extremal stratification of an Alexandrov space by Perelman-Petrunin is a CS stratification in the sense of Siebenmann. We also show that every space of directions of an Alexandrov space without proper extremal subsets is homeomorphic to a sphere. In the appendix we give an example of a primitive extremal subset of codimension 2 that is not an Alexandrov space with respect to the induced intrinsic metric.


title: Brain-Inspired Continual Learning-Robust Feature Distillation and Re-Consolidation for Class Incremental Learning

abstract: Artificial intelligence (AI) and neuroscience share a rich history, with advancements in neuroscience shaping the development of AI systems capable of human-like knowledge retention. Leveraging insights from neuroscience and existing research in adversarial and continual learning, we introduce a novel framework comprising two core concepts: feature distillation and re-consolidation. Our framework, named Robust Rehearsal, addresses the challenge of catastrophic forgetting inherent in continual learning (CL) systems by distilling and rehearsing robust features. Inspired by the mammalian brain's memory consolidation process, Robust Rehearsal aims to emulate the rehearsal of distilled experiences during learning tasks. Additionally, it mimics memory re-consolidation, where new experiences influence the integration of past experiences to mitigate forgetting. Extensive experiments conducted on CIFAR10, CIFAR100, and real-world helicopter attitude datasets showcase the superior performance of CL models trained with Robust Rehearsal compared to baseline methods. Furthermore, examining different optimization training objectives-joint, continual, and adversarial learning-we highlight the crucial role of feature learning in model performance. This underscores the significance of rehearsing CL-robust samples in mitigating catastrophic forgetting. In conclusion, aligning CL approaches with neuroscience insights offers promising solutions to the challenge of catastrophic forgetting, paving the way for more robust and human-like AI systems.


title: Natural-linewidth measurements of the 3C and 3D soft-x-ray transitions in Ni XIX

abstract: We used the monochromatic soft-x-ray beamline P04 at the synchrotron-radiation facility PETRA III to resonantly excite the strongest $2p-3d$ transitions in neon-like Ni XIX ions, $[2p^6]_{J=0} \rightarrow [(2p^5)_{1/2}\,3d_{3/2}]_{J=1}$ and $[2p^6]_{J=0} \rightarrow [(2p^5)_{3/2}\,3d_{5/2}]_{J=1}$, respectively dubbed 3C and 3D, achieving a resolving power of 15\,000 and signal-to-background ratio of 30. We obtain their natural linewidths, with an accuracy of better than 10\%, as well as the oscillator-strength ratio $f(3C)/f(3D)$ = 2.51(11) from analysis of the resonant fluorescence spectra. These results agree with those of previous experiments, earlier predictions, and our own advanced calculations.

categories: physics.atom-ph astro-ph.HE astro-ph.IM astro-ph.SR physics.plasm-ph


title: PupilSense: Detection of Depressive Episodes Through Pupillary Response in the Wild

abstract: Early detection of depressive episodes is crucial in managing mental health disorders such as Major Depressive Disorder (MDD) and Bipolar Disorder. However, existing methods often necessitate active participation or are confined to clinical settings. Addressing this gap, we introduce PupilSense, a novel, deep learning-driven mobile system designed to discreetly track pupillary responses as users interact with their smartphones in their daily lives. This study presents a proof-of-concept exploration of PupilSense's capabilities, where we captured real-time pupillary data from users in naturalistic settings. Our findings indicate that PupilSense can effectively and passively monitor indicators of depressive episodes, offering a promising tool for continuous mental health assessment outside laboratory environments. This advancement heralds a significant step in leveraging ubiquitous mobile technology for proactive mental health care, potentially transforming how depressive episodes are detected and managed in everyday contexts.


title: Predicting the Temporal Dynamics of Prosthetic Vision

abstract: Retinal implants are a promising treatment option for degenerative retinal disease. While numerous models have been developed to simulate the appearance of elicited visual percepts ("phosphenes"), these models often either focus solely on spatial characteristics or inadequately capture the complex temporal dynamics observed in clinical trials, which vary heavily across implant technologies, subjects, and stimulus conditions. Here we introduce two computational models designed to accurately predict phosphene fading and persistence under varying stimulus conditions, cross-validated on behavioral data reported by nine users of the Argus II Retinal Prosthesis System. Both models segment the time course of phosphene perception into discrete intervals, decomposing phosphene fading and persistence into either sinusoidal or exponential components. Our spectral model demonstrates state-of-the-art predictions of phosphene intensity over time (r = 0.7 across all participants). Overall, this study lays the groundwork for enhancing prosthetic vision by improving our understanding of phosphene temporal dynamics.


title: High-order Accurate Implicit-Explicit Time-Stepping Schemes for Wave Equations on Overset Grids

abstract: New implicit and implicit-explicit time-stepping methods for the wave equation in second-order form are described with application to two and three-dimensional problems discretized on overset grids. The implicit schemes are single step, three levels in time, and based on the modified equation approach. Second and fourth-order accurate schemes are developed and they incorporate upwind dissipation for stability on overset grids. The fully implicit schemes are useful for certain applications such as the WaveHoltz algorithm for solving Helmholtz problems where very large time-steps are desired. Some wave propagation problems are geometrically stiff due to localized regions of small grid cells, such as grids needed to resolve fine geometric features, and for these situations the implicit time-stepping scheme is combined with an explicit scheme: the implicit scheme is used for component grids containing small cells while the explicit scheme is used on the other grids such as background Cartesian grids. The resulting partitioned implicit-explicit scheme can be many times faster than using an explicit scheme everywhere. The accuracy and stability of the schemes are studied through analysis and numerical computations.


title: Modeling of Collision-Induced Excitation and Quenching of Atomic Nitrogen

abstract: Excited atomic nitrogen atoms play an important role in plasma formation in hypersonic shock-waves, as happens during spacecraft reentry and other high velocity vehicle applications. In this study, we have thoroughly studied collision induced excitation (CIE) associated with two colliding nitrogen atoms in the N(4S), N(2D) and N(2P) states at collisions energies up to 6 eV, using time-independent scattering calculations to determine cross sections and temperature-dependent rate coefficients. The calculations are based on potential curves and couplings determined in earlier MRCI calculations with large basis sets, and the results are in good agreement with experiment where comparisons are possible. To properly consider the spin-orbit coupling matrix, we have developed a scaling method for treating transitions between different fine-structure components with calculations that only require calculations with two coupled states, and with this we define accurate degeneracy factors for determining cross sections and rate coefficients that include all states. The results indicate that both spin-orbit and derivative coupling effects can play important roles in collisional excitation and quenching, and that although derivative coupling is always much stronger than spin-orbit, there are many transitions where only spin-orbit can contribute. As part of this, we identify two distinct pathways associated with N(2D) relaxation, including one Auger-like mechanism leading to 2N(2D) that could be important at high temperature.


title: Neural Compress-and-Forward for the Relay Channel

abstract: The relay channel, consisting of a source-destination pair and a relay, is a fundamental component of cooperative communications. While the capacity of a general relay channel remains unknown, various relaying strategies, including compress-and-forward (CF), have been proposed. For CF, given the correlated signals at the relay and destination, distributed compression techniques, such as Wyner-Ziv coding, can be harnessed to utilize the relay-to-destination link more efficiently. In light of the recent advancements in neural network-based distributed compression, we revisit the relay channel problem, where we integrate a learned one-shot Wyner--Ziv compressor into a primitive relay channel with a finite-capacity and orthogonal (or out-of-band) relay-to-destination link. The resulting neural CF scheme demonstrates that our task-oriented compressor recovers "binning" of the quantized indices at the relay, mimicking the optimal asymptotic CF strategy, although no structure exploiting the knowledge of source statistics was imposed into the design. We show that the proposed neural CF scheme, employing finite order modulation, operates closely to the capacity of a primitive relay channel that assumes a Gaussian codebook. Our learned compressor provides the first proof-of-concept work toward a practical neural CF relaying scheme.


title: Formal structure of scalar curvature in generalized K\"ahler geometry

abstract: Building on works of Boulanger and Goto, we show that Goto's scalar curvature is the moment map for an action of generalized Hamiltonian automorphisms of the associated Courant algebroid, constrained by the choice of an adapted volume form. We derive an explicit formula for Goto's scalar curvature, and show that it is constant for generalized K\"ahler-Ricci solitons. Restricting to the generically symplectic type case, we realize the generalized K\"ahler class as the complexified orbit of the Hamiltonian action above. This leads to a natural extension of Mabuchi's metric and $K$-energy, implying a conditional uniqueness result. Finally, in this setting we derive a Calabi-Matsushima-Lichnerowicz obstruction and a Futaki invariant.


title: Efficient and Timely Memory Access

abstract: This paper investigates the optimization of memory sampling in status updating systems, where source updates are published in shared memory, and reader process samples the memory for source updates by paying a sampling cost. We formulate a discrete-time decision problem to find a sampling policy that minimizes average cost comprising age at the client and the cost incurred due to sampling. We establish that an optimal policy is a stationary and deterministic threshold-type policy, and subsequently derive optimal threshold and the corresponding optimal average cost.


title: Higher categories of push-pull spans, I: Construction and applications

abstract: This is the first part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. Motivated by work of Calaque-Haugseng-Scheimbauer, we construct a family of symmetric monoidal $(\infty,3)$-categories parametrized by an $\infty$-category with finite limits and a functor into symmetric monoidal $\infty$-categories, such that the functor admits pushforwards. This $(\infty,3)$-category contains correspondences in the base $\infty$-category equipped with local systems, which compose via a push-pull formula. We apply this general construction to provide an approximation to the $3$-category of Rozansky-Witten models whose existence was conjectured by Kapustin-Rozansky-Saulina; this approximation behaves like a "commutative" version of the conjectured $3$-category and is related to work of Stefanich on higher quasicoherent sheaves.


title: Dynamic Nanodomains Dictate Macroscopic Properties in Lead Halide Perovskites

abstract: Empirical A-site cation substitution has advanced the stability and efficiency of hybrid organic-inorganic lead halide perovskites solar cells and the functionality of X-ray detectors. Yet, the fundamental mechanisms underpinning their unique performance remain elusive. This multi-modal study unveils the link between nanoscale structural dynamics and macroscopic optoelectronic properties in these materials by utilising X-ray diffuse scattering, inelastic neutron spectroscopy and optical microscopy complemented by state-of-the-art machine learning-assisted molecular dynamics simulations. Our approach uncovers the presence of dynamic, lower-symmetry local nanodomains embedded within the higher-symmetry average phase in various perovskite compositions. The properties of these nanodomains are tunable via the A-site cation selection: methylammonium induces a high density of anisotropic, planar nanodomains of out-of-phase octahedral tilts, while formamidinium favours sparsely distributed isotropic, spherical nanodomains with in-phase tilting, even when crystallography reveals cubic symmetry on average. The observed variations in the properties of dynamic nanodomains are in agreement with our simulations and are directly linked to the differing macroscopic optoelectronic and ferroelastic behaviours of these compositions. By demonstrating the influence of A-site cation on local nanodomains and consequently, on macroscopic properties, we propose leveraging this relationship to engineer the optoelectronic response of these materials, propelling further advancements in perovskite-based photovoltaics, optoelectronics, and X-ray imaging.


title: Rank type conditions on commutators in finite groups

abstract: For a subgroup $S$ of a group $G$, let $I_G(S)$ denote the set of commutators $[g,s]=g^{-1}g^s$, where $g\in G$ and $s\in S$, so that $[G,S]$ is the subgroup generated by $I_G(S)$. We prove that if $G$ is a $p$-soluble finite group with a Sylow $p$-subgroup $P$ such that any subgroup generated by a subset of $I_G(P)$ is $r$-generated, then $[G,P]$ has $r$-bounded rank. We produce examples showing that such a result does not hold without the assumption of $p$-solubility. Instead, we prove that if a finite group $G$ has a Sylow $p$-subgroup $P$ such that (a) any subgroup generated by a subset of $I_G(P)$ is $r$-generated, and (b) for any $x\in I_G(P)$, any subgroup generated by a subset of $I_G(x)$ is $r$-generated, then $[G,P]$ has $r$-bounded rank. We also prove that if $G$ is a finite group such that for every prime $p$ dividing $|G|$ for any Sylow $p$-subgroup $P$, any subgroup generated by a subset of $I_G(P)$ can be generated by $r$ elements, then the derived subgroup $G'$ has $r$-bounded rank. As an important tool in the proofs, we prove the following result, which is also of independent interest: if a finite group $G$ admits a group of coprime automorphisms $A$ such that any subgroup generated by a subset of $I_G(A)$ is $r$-generated, then the rank of $[G,A]$ is $r$-bounded.


title: Planning Ahead in Generative Retrieval: Guiding Autoregressive Generation through Simultaneous Decoding

abstract: This paper introduces PAG-a novel optimization and decoding approach that guides autoregressive generation of document identifiers in generative retrieval models through simultaneous decoding. To this aim, PAG constructs a set-based and sequential identifier for each document. Motivated by the bag-of-words assumption in information retrieval, the set-based identifier is built on lexical tokens. The sequential identifier, on the other hand, is obtained via quantizing relevance-based representations of documents. Extensive experiments on MSMARCO and TREC Deep Learning Track data reveal that PAG outperforms the state-of-the-art generative retrieval model by a large margin (e.g., 15.6% MRR improvements on MS MARCO), while achieving 22x speed up in terms of query latency.


title: Unsupervised Learning of Individual Kohn-Sham States: Interpretable Representations and Consequences for Downstream Predictions of Many-Body Effects

abstract: Representation learning for the electronic structure problem is a major challenge of machine learning in computational condensed matter and materials physics. Within quantum mechanical first principles approaches, Kohn-Sham density functional theory (DFT) is the preeminent tool for understanding electronic structure, and the high-dimensional wavefunctions calculated in this approach serve as the building block for downstream calculations of correlated many-body excitations and related physical observables. Here, we use variational autoencoders (VAE) for the unsupervised learning of high-dimensional DFT wavefunctions and show that these wavefunctions lie in a low-dimensional manifold within the latent space. Our model autonomously determines the optimal representation of the electronic structure, avoiding limitations due to manual feature engineering and selection in prior work. To demonstrate the utility of the latent space representation of the DFT wavefunction, we use it for the supervised training of neural networks (NN) for downstream prediction of the quasiparticle bandstructures within the GW formalism, which includes many-electron correlations beyond DFT. The GW prediction achieves a low error of 0.11 eV for a combined test set of metals and semiconductors drawn from the Computational 2D Materials Database (C2DB), suggesting that latent space representation captures key physical information from the original data. Finally, we explore the interpretability of the VAE representation and show that the successful representation learning and downstream prediction by our model is derived from the smoothness of the VAE latent space, which also enables the generation of wavefunctions on arbitrary points in latent space. Our work provides a novel and general machine-learning framework for investigating electronic structure and many-body physics.


title: Adaptive Bayesian Optimization for High-Precision Motion Systems

abstract: Controller tuning and parameter optimization are crucial in system design to improve closed-loop system performance. Bayesian optimization has been established as an efficient model-free controller tuning and adaptation method. However, Bayesian optimization methods are computationally expensive and therefore difficult to use in real-time critical scenarios. In this work, we propose a real-time purely data-driven, model-free approach for adaptive control, by online tuning low-level controller parameters. We base our algorithm on GoOSE, an algorithm for safe and sample-efficient Bayesian optimization, for handling performance and stability criteria. We introduce multiple computational and algorithmic modifications for computational efficiency and parallelization of optimization steps. We further evaluate the algorithm's performance on a real precision-motion system utilized in semiconductor industry applications by modifying the payload and reference stepsize and comparing it to an interpolated constrained optimization-based baseline approach.


title: Quantifying the Internal Validity of Weighted Estimands

abstract: In this paper we study a class of weighted estimands, which we define as parameters that can be expressed as weighted averages of the underlying heterogeneous treatment effects. The popular ordinary least squares (OLS), two-stage least squares (2SLS), and two-way fixed effects (TWFE) estimands are all special cases within our framework. Our focus is on answering two questions concerning weighted estimands. First, under what conditions can they be interpreted as the average treatment effect for some (possibly latent) subpopulation? Second, when these conditions are satisfied, what is the upper bound on the size of that subpopulation, either in absolute terms or relative to a target population of interest? We argue that this upper bound provides a valuable diagnostic for empirical research. When a given weighted estimand corresponds to the average treatment effect for a small subset of the population of interest, we say its internal validity is low. Our paper develops practical tools to quantify the internal validity of weighted estimands.


title: Describe-then-Reason: Improving Multimodal Mathematical Reasoning through Visual Comprehension Training

abstract: Open-source multimodal large language models (MLLMs) excel in various tasks involving textual and visual inputs but still struggle with complex multimodal mathematical reasoning, lagging behind proprietary models like GPT-4V(ision) and Gemini-Pro. Although fine-tuning with intermediate steps (i.e., rationales) elicits some mathematical reasoning skills, the resulting models still fall short in visual comprehension due to inadequate visual-centric supervision, which leads to inaccurate interpretation of math figures. To address this issue, we propose a two-step training pipeline VCAR, which emphasizes the Visual Comprehension training in Addition to mathematical Reasoning learning. It first improves the visual comprehension ability of MLLMs through the visual description generation task, followed by another training step on generating rationales with the assistance of descriptions. Experimental results on two popular benchmarks demonstrate that VCAR substantially outperforms baseline methods solely relying on rationale supervision, especially on problems with high visual demands.


title: Assessment of Sign Language-Based versus Touch-Based Input for Deaf Users Interacting with Intelligent Personal Assistants

abstract: With the recent advancements in intelligent personal assistants (IPAs), their popularity is rapidly increasing when it comes to utilizing Automatic Speech Recognition within households. In this study, we used a Wizard-of-Oz methodology to evaluate and compare the usability of American Sign Language (ASL), Tap to Alexa, and smart home apps among 23 deaf participants within a limited-domain smart home environment. Results indicate a slight usability preference for ASL. Linguistic analysis of the participants' signing reveals a diverse range of expressions and vocabulary as they interacted with IPAs in the context of a restricted-domain application. On average, deaf participants exhibited a vocabulary of 47 +/- 17 signs with an additional 10 +/- 7 fingerspelled words, for a total of 246 different signs and 93 different fingerspelled words across all participants. We discuss the implications for the design of limited-vocabulary applications as a stepping-stone toward general-purpose ASL recognition in the future.


title: Cross-Task Multi-Branch Vision Transformer for Facial Expression and Mask Wearing Classification

abstract: With wearing masks becoming a new cultural norm, facial expression recognition (FER) while taking masks into account has become a significant challenge. In this paper, we propose a unified multi-branch vision transformer for facial expression recognition and mask wearing classification tasks. Our approach extracts shared features for both tasks using a dual-branch architecture that obtains multi-scale feature representations. Furthermore, we propose a cross-task fusion phase that processes tokens for each task with separate branches, while exchanging information using a cross attention module. Our proposed framework reduces the overall complexity compared with using separate networks for both tasks by the simple yet effective cross-task fusion phase. Extensive experiments demonstrate that our proposed model performs better than or on par with different state-of-the-art methods on both facial expression recognition and facial mask wearing classification task.


title: Q-Tuning: Queue-based Prompt Tuning for Lifelong Few-shot Language Learning

abstract: This paper introduces \textbf{Q-tuning}, a novel approach for continual prompt tuning that enables the lifelong learning of a pre-trained language model. When learning a new task, Q-tuning trains a task-specific prompt by adding it to a prompt queue consisting of the prompts from older tasks. To better transfer the knowledge of old tasks, we design an adaptive knowledge aggregation technique that reweighs previous prompts in the queue with a learnable low-rank matrix. Once the prompt queue reaches its maximum capacity, we leverage a PCA-based eviction rule to reduce the queue's size, allowing the newly trained prompt to be added while preserving the primary knowledge of old tasks. In order to mitigate the accumulation of information loss caused by the eviction, we additionally propose a globally shared prefix prompt and a memory retention regularization based on information theory. Extensive experiments demonstrate that our approach outperforms the state-of-the-art methods substantially on continual prompt tuning benchmarks. Moreover, our approach enables lifelong learning on linearly growing task sequences while requiring constant complexity for training and inference.


title: When are galactic winds molecular?

abstract: The molecular phase of supernova-driven outflows originates from the cold, molecular gas in the disc of a star-forming galaxy, and may carry a substantial fraction of the wind mass flux in some galaxies, but it remains poorly understood. Observations of this phase come mostly from very nearby galaxies due its low surface brightness and covering fraction, and simulations often lack the spatial resolution necessary to resolve it. Here we analytically estimate the survivability of this phase in order to understand under what conditions an galactic wind can contain a significant molecular phase. We show that the molecular content of outflows is primarily determined by two dimensionless numbers: a generalised Eddington ratio describing the strength of the outflow and an ionisation parameter-like quantity describing the strength of the radiation field per baryon. We apply this model to a sample of galaxies and show that, while any molecules entrained in the winds of normal star-forming galaxies should be destroyed close to the galactic disc, the outflows of strong starburst should become increasingly dominated by molecules.


title: Thermal chaos of charged-flat black hole via R\'enyi formalism

abstract: Charged-flat black holes in the R\'enyi extended phase space demonstrate phase structures akin to those of a van der Waals fluid in four-dimensional spacetime and mirror the behaviors of Reissner-Nordstrom-Anti-de-Sitter black holes within the standard Gibbs-Boltzmann extended phase space. This study delves into the dynamics of states initially positioned within the unstable spinodal region of the phase space associated with the charged-flat black hole when subjected to time-periodic thermal perturbations. Our analysis based on the Mel'nikov method reveals that chaos emerges when the $\delta$ parameter surpasses a critical threshold, $\delta_c$. This critical quantity is dependent on the black hole charge; notably, a larger value of $Q$ impedes the onset of chaos. Furthermore, we examine the effects of space-periodic thermal perturbations on its equilibrium state and find that chaos invariably occurs, irrespective of the perturbation amplitude. Hence, the chaotic dynamics observed in the analysis of charged-flat black holes under R\'enyi statistics exhibit resemblances to those of asymptotically AdS-charged black holes investigated via the Gibbs-Boltzmann formalism. This serves as yet another example of a potential and significant connection between the cosmological constant and the nonextensivity R\'enyi parameter.


title: Sign Language-Based versus Touch-Based Input for Deaf Users with Interactive Personal Assistants in Simulated Kitchen Environments

abstract: In this study, we assess the usability of interactive personal assistants (IPAs), such as Amazon Alexa, in a simulated kitchen smart home environment, with deaf and hard of hearing users. Participants engage in activities in a way that causes their hands to get dirty. With these dirty hands, they are tasked with two different input methods for IPAs: American Sign Language (ASL) in a Wizard-of-Oz design, and smart home apps with a touchscreen. Usability ratings show that participants significantly preferred ASL over touch-based apps with dirty hands, although not to a larger extent than in comparable previous work with clean hands. Participants also expressed significant enthusiasm for ASL-based IPA interaction in Netpromoter scores and in questions about their overall preferences. Preliminary observations further suggest that having dirty hands may affect the way people sign, which may pose challenges for building IPAs that natively support sign language input.


title: Fermionic tensor network methods

abstract: We show how fermionic statistics can be naturally incorporated in tensor networks on arbitrary graphs through the use of graded Hilbert spaces. This formalism allows to use tensor network methods for fermionic lattice systems in a local way, avoiding the need of a Jordan-Wigner transformation or the explicit tracking of leg crossings by swap gates in 2D tensor networks. The graded Hilbert spaces can be readily integrated with other internal and lattice symmetries in tensor networks, and only require minor extensions to an existing tensor network software package. We review and benchmark the fermionic versions of common algorithms for matrix product states and projected entangled-pair states.


title: Shapiro Steps and Stability of Skyrmions Interacting with Alternating Anisotropy Under the Influence of ac and dc Drives

abstract: We use atomistic simulations to examine the sliding dynamics of a skyrmion in a two-dimensional system containing a periodic one-dimensional stripe pattern of variations between low and high values of the perpendicular magnetic anisotropy. The skyrmion changes in size as it crosses the interface between two anisotropy regions. Upon applying combined dc and ac driving in either parallel or perpendicular directions, we observe a wide variety of Shapiro steps, Shapiro spikes, and phase-locking phenomena. The phase-locked orbits have two-dimensional dynamics due to the gyrotropic or Magnus dynamics of the skyrmions, and are distinct from the phase-locked orbits found for strictly overdamped systems. Along a given Shapiro step when the ac drive is perpendicular to the dc drive, the velocity parallel to the ac drive is locked while the velocity in the perpendicular direction increases with increasing drive to form Shapiro spikes. At the transition between adjacent Shapiro steps, the parallel velocity jumps up to the next step value, and the perpendicular velocity drops. The skyrmion Hall angle shows a series of spikes as a function of increasing dc drive, where the jumps correspond to the transition between different phase-locked steps. At high drives, the Shapiro steps and Shapiro spikes are lost. When both the ac and dc drives are parallel to the stripe periodicity direction, Shapiro steps appear, while if the dc drive is parallel to the stripe periodicity direction and the ac drive is perpendicular to the stripe periodicity, there are only two locked phases, and the skyrmion motion consists of a combination of sliding along the interfaces between the two anisotropy values and jumping across the interfaces.


title: B-type D-branes in hybrid models

abstract: A hybrid model is a fibration of a Landau-Ginzburg orbifold over a geometric base. We study B-type D-branes in hybrid models. Imposing B-type supersymmetry on the boundary action, we show that D-branes are specified by matrix factorisations in the fibre direction, together with some geometric data associated to the base. We also deduce conditions for the compatibility of these branes with the bulk orbifold actions and R-symmetry. We construct examples of hybrid B-branes which are generalisations of well-studied branes in geometric and Landau-Ginzburg models. Hybrid models can arise at limiting points of the stringy Kahler moduli space of Calabi-Yaus, and can be realised as phases of the corresponding gauged linear sigma models (GLSMs). Using GLSM techniques, we establish connections between geometric branes and hybrid branes. As explicit examples, we consider one- and two-parameter Calabi-Yau hybrids with a $\mathbb{P}^1$-base.


title: Wandering domains for non-archimedean quadratic rational functions

abstract: Let $\mathbb{C}_K$ be a complete and algebraic closed non-archimedean field with residual characteristic $2$. In this paper we prove that there exist $a,b\in\mathbb{C}_K$ such that the rational function $R(z)=\frac{z^2-z}{bz-\frac{1}{a}}$ has wandering components in its Fatou set.


title: On local Galois deformation rings: generalised tori

abstract: We study deformation theory of mod $p$ Galois representations of $p$-adic fields with values in generalised tori, such as $L$-groups of (possibly non-split) tori. We show that the corresponding deformation rings are formally smooth over a group algebra of a finite abelian $p$-group. We compute their dimension and the set of irreducible components.


title: What Makes A Video Radicalizing? Identifying Sources of Influence in QAnon Videos

abstract: In recent years, radicalization is being increasingly attempted on video-sharing platforms. Previous studies have been proposed to identify online radicalization using generic social context analysis, without taking into account comprehensive viewer traits and how those can affect viewers' perception of radicalizing content. To address the challenge, we examine QAnon, a conspiracy-based radicalizing group, and have designed a comprehensive questionnaire aiming to understand viewers' perceptions of QAnon videos. We outline the traits of viewers that QAnon videos are the most appealing to, and identify influential factors that impact viewers' perception of the videos.


title: TDRAM: Tag-enhanced DRAM for Efficient Caching

abstract: As SRAM-based caches are hitting a scaling wall, manufacturers are integrating DRAM-based caches into system designs to continue increasing cache sizes. While DRAM caches can improve the performance of memory systems, existing DRAM cache designs suffer from high miss penalties, wasted data movement, and interference between misses and demand requests. In this paper, we propose TDRAM, a novel DRAM microarchitecture tailored for caching. TDRAM enhances HBM3 by adding a set of small low-latency mats to store tags and metadata on the same die as the data mats. These mats enable fast parallel tag and data access, on-DRAM-die tag comparison, and conditional data response based on comparison result (reducing wasted data transfers) akin to SRAM caches mechanism. TDRAM further optimizes the hit and miss latencies by performing opportunistic early tag probing. Moreover, TDRAM introduces a flush buffer to store conflicting dirty data on write misses, eliminating turnaround delays on data bus. We evaluate TDRAM using a full-system simulator and a set of HPC workloads with large memory footprints showing TDRAM provides at least 2.6$\times$ faster tag check, 1.2$\times$ speedup, and 21% less energy consumption, compared to the state-of-the-art commercial and research designs.


title: Hybrid LLM: Cost-Efficient and Quality-Aware Query Routing

abstract: Large language models (LLMs) excel in most NLP tasks but also require expensive cloud servers for deployment due to their size, while smaller models that can be deployed on lower cost (e.g., edge) devices, tend to lag behind in terms of response quality. Therefore in this work we propose a hybrid inference approach which combines their respective strengths to save cost and maintain quality. Our approach uses a router that assigns queries to the small or large model based on the predicted query difficulty and the desired quality level. The desired quality level can be tuned dynamically at test time to seamlessly trade quality for cost as per the scenario requirements. In experiments our approach allows us to make up to 40% fewer calls to the large model, with no drop in response quality.


title: OpenELM: An Efficient Language Model Family with Open Training and Inference Framework

abstract: The reproducibility and transparency of large language models are crucial for advancing open research, ensuring the trustworthiness of results, and enabling investigations into data and model biases, as well as potential risks. To this end, we release OpenELM, a state-of-the-art open language model. OpenELM uses a layer-wise scaling strategy to efficiently allocate parameters within each layer of the transformer model, leading to enhanced accuracy. For example, with a parameter budget of approximately one billion parameters, OpenELM exhibits a 2.36% improvement in accuracy compared to OLMo while requiring $2\times$ fewer pre-training tokens. Diverging from prior practices that only provide model weights and inference code, and pre-train on private datasets, our release includes the complete framework for training and evaluation of the language model on publicly available datasets, including training logs, multiple checkpoints, and pre-training configurations. We also release code to convert models to MLX library for inference and fine-tuning on Apple devices. This comprehensive release aims to empower and strengthen the open research community, paving the way for future open research endeavors. Our source code along with pre-trained model weights and training recipes is available at \url{https://github.com/apple/corenet}. Additionally, \model models can be found on HuggingFace at: \url{https://huggingface.co/apple/OpenELM}.


title: Fairness Incentives in Response to Unfair Dynamic Pricing

abstract: The use of dynamic pricing by profit-maximizing firms gives rise to demand fairness concerns, measured by discrepancies in consumer groups' demand responses to a given pricing strategy. Notably, dynamic pricing may result in buyer distributions unreflective of those of the underlying population, which can be problematic in markets where fair representation is socially desirable. To address this, policy makers might leverage tools such as taxation and subsidy to adapt policy mechanisms dependent upon their social objective. In this paper, we explore the potential for AI methods to assist such intervention strategies. To this end, we design a basic simulated economy, wherein we introduce a dynamic social planner (SP) to generate corporate taxation schedules geared to incentivizing firms towards adopting fair pricing behaviours, and to use the collected tax budget to subsidize consumption among underrepresented groups. To cover a range of possible policy scenarios, we formulate our social planner's learning problem as a multi-armed bandit, a contextual bandit and finally as a full reinforcement learning (RL) problem, evaluating welfare outcomes from each case. To alleviate the difficulty in retaining meaningful tax rates that apply to less frequently occurring brackets, we introduce FairReplayBuffer, which ensures that our RL agent samples experiences uniformly across a discretized fairness space. We find that, upon deploying a learned tax and redistribution policy, social welfare improves on that of the fairness-agnostic baseline, and approaches that of the analytically optimal fairness-aware baseline for the multi-armed and contextual bandit settings, and surpassing it by 13.19% in the full RL setting.


title: On geodesics in spherical Rindler space

abstract: The geodesics in various spherical Rindler frames are investigated. A display of some kinematical quantities of the spacetime is given. The constant acceleration from the metric acts as the surface gravity of the horizon $r = 0$. The radial geodesics are computed both for the Balasubramanian et al. form of the spherical Rindler space and for the non-diagonal metric of Huang and Sun.


title: On local Galois deformation rings: generalised reductive groups

abstract: We study deformation theory of mod $p$ Galois representations of $p$-adic fields with values in generalised reductive group schemes, such as $L$-groups and $C$-groups. We show that the corresponding deformation rings are complete intersections of expected dimension. We determine their irreducible components in many cases and show that they and their special fibres are normal and complete intersection.


title: On Bayesian wavelet shrinkage estimation of nonparametric regression models with stationary errors

abstract: This work proposes a Bayesian rule based on the mixture of a point mass function at zero and the logistic distribution to perform wavelet shrinkage in nonparametric regression models with stationary errors (with short or long-memory behavior). The proposal is assessed through Monte Carlo experiments and illustrated with real data. Simulation studies indicate that the precision of the estimates decreases as the amount of correlation increases. However, given a sample size and error correlated noise, the performance of the rule is almost the same while the signal-to-noise ratio decreases, compared to the performance of the rule under independent and identically distributed errors. Further, we find that the performance of the proposal is better than the standard soft thresholding rule with universal policy in most of the considered underlying functions, sample sizes and signal-to-noise ratios scenarios.


title: Parameter dependence of the $\beta$-decay properties of neutron-rich Zr isotopes within the interacting boson model

abstract: We investigate parameter dependence of the calculated $\beta$-decay properties, as well as low-lying states for the neutron-rich Zr isotopes within the neutron-proton interacting boson model (IBM-2) and interacting boson-fermion-fermion model (IBFFM-2). It is shown that the calculated $\log_{10}ft$ values for the transitions of the $0^+_1$ ground states of the parent even-even nuclei $^{96-102}$Zr into the $1^+_1$ states of the daughter odd-odd nuclei $^{96-102}$Nb consistently exhibit a strong dependence on those parameters associated with the quadrupole-quadrupole boson interaction, and with the residual interaction between an unpaired neutron and an unpaired proton in the IBFFM-2 Hamiltonian for the odd-odd Nb nuclei. By the reduction in magnitude of the quadrupole-quadrupole interaction strength by approximately a factor of 2, the calculated $\log_{10}ft$ values for the Zr$(0^+_1)\to$Nb$(1^+_1)$ transitions increase and agree with the experimental values. This points to a significant improvement over the previous study performed in the same mass region, that consists in the mapping from a relativistic energy density functional calculation onto the IBM-2 Hamiltonian.


title: Towards Multi-Morphology Controllers with Diversity and Knowledge Distillation

abstract: Finding controllers that perform well across multiple morphologies is an important milestone for large-scale robotics, in line with recent advances via foundation models in other areas of machine learning. However, the challenges of learning a single controller to control multiple morphologies make the `one robot one task' paradigm dominant in the field. To alleviate these challenges, we present a pipeline that: (1) leverages Quality Diversity algorithms like MAP-Elites to create a dataset of many single-task/single-morphology teacher controllers, then (2) distills those diverse controllers into a single multi-morphology controller that performs well across many different body plans by mimicking the sensory-action patterns of the teacher controllers via supervised learning. The distilled controller scales well with the number of teachers/morphologies and shows emergent properties. It generalizes to unseen morphologies in a zero-shot manner, providing robustness to morphological perturbations and instant damage recovery. Lastly, the distilled controller is also independent of the teacher controllers -- we can distill the teacher's knowledge into any controller model, making our approach synergistic with architectural improvements and existing training algorithms for teacher controllers.


title: A Blueprint for the Milky Way's Stellar Populations. V. 3D Local Dust Extinction

abstract: Using a grid of empirically calibrated synthetic spectra developed in our previous study, we construct an all-sky 3D extinction map from the large collection of low-resolution XP spectra in Gaia DR3. Along each line of sight, with an area ranging from $0.2$ to $13.4$ deg$^2$, we determine both the reddening and metallicity of main-sequence stars and model the foreground extinction up to approximately $3$ kpc from the Sun. Furthermore, we explore variations in the total-to-selective extinction ratio in our parameter search and identify its mean systematic change across diverse cloud environments in both hemispheres. In regions outside the densest parts of the clouds, our reddening estimates are validated through comparisons with previous reddening maps. However, a notable discrepancy arises in comparison to other independent work based on XP spectra, which can be attributed to systematic offsets in their metallicity estimates. On the other hand, our metallicity scale exhibits reasonable agreement with the high-resolution spectroscopic abundance scale. We also assess the accuracy of the XP spectra by applying our calibrated models, and we confirm an increasing trend of flux overestimation at shorter wavelengths below $400$ nm.


title: C_2-Equivariant Stable Stems

abstract: We compute the 2-primary $C_2$-equivariant stable homotopy groups $\pi^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity isomorphisms and sufficiently extensive $\mathbb{R}$-motivic computations, would determine all of the $C_2$-equivariant stable homotopy groups for all stems up to 20. We also compute the forgetful map $\pi^{C_2}_{s,c} \rightarrow \pi^{\mathrm{cl}}_s$ to the classical stable homotopy groups in the same range.


title: An almost sharp quantitative version of the Duffin-Schaeffer conjecture

abstract: We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $\psi:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)\psi(q)/q$ diverges. In addition, given $\alpha\in\mathbb{R}$ and $Q\geqslant1$, let $N(\alpha;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|\alpha-a/q|<\psi(q)/q$. Lastly, let $\Psi(Q)=\sum_{q\leqslant Q}2\varphi(q)\psi(q)/q$, which is the expected value of $N(\alpha;Q)$ when $\alpha$ is uniformly chosen from $[0, 1]$. We prove that $N(\alpha;Q)=\Psi(Q)+O_{\alpha,\varepsilon}(\Psi(Q)^{1/2+\varepsilon})$ for almost all $\alpha$ (in the Lebesgue sense) and for every fixed $\varepsilon>0$. This improves upon results of Koukoulopoulos-Maynard and of Aistleitner-Borda-Hauke.


title: Primitive chain network simulations for double peaks in shear stress under fast flows of bidisperse entangled polymers

abstract: A few experiments have reported that the time development of shear stress under fast start-up shear deformations exhibits double peaks before reaching the steady state for bimodal blends of entangled linear polymers in specific conditions. To analyze the molecular origin of this phenomenon, multi-chain slip-link simulations based on the primitive chain network model were conducted for the data of a bimodal polystyrene solution reported by Osaki et al. [J Pol Sci B Pol Phys, 38, 2043 (2000)] Owing to the reasonable agreement with the data and the simulation results, the stress was decomposed into contributions from long and short-chain components and decoupled into segment number, stretch, and orientation. The analysis revealed that the first and second peaks correspond to the short-chain orientation and the long-chain stretch, respectively. The results also imply that the peak positions are not affected by the mixing of short and long chains, whereas the second peak intensity depends on the mixing conditions in a complicated manner, dominating the emergence of double peaks.


title: Probing the Spin-Momentum Locking in Rashba Surfaces via Spin Current

abstract: In this work, we explore the intriguing spin-momentum locking phenomenon within the Rashba states of antimony (Sb) films. By combining spin pumping with the flow of an external charge current, we reveal the topological properties of surface states in Sb films. Taking advantage of the well-defined spin polarization of both spin-momentum-locked charge currents and spin-pumped currents, we demonstrate precise manipulation over the direction and magnitude of the resulting charging current, generated through the inverse Rashba-Edelstein effect. This fascinating phenomenon is attributed to the dynamic interaction between the accumulation of out-of-equilibrium pumped spins and the flowing spins, intrinsically locked perpendicular to the direction of the charge current. The results show that Sb as a promising material for basic and applied investigation of spintronics phenomena. We believe that the nanostructures investigated here open the way for the development of low-power logic gates operating in the range of a few tens of microamperes.


title: Learning Word Embedding with Better Distance Weighting and Window Size Scheduling

abstract: Distributed word representation (a.k.a. word embedding) is a key focus in natural language processing (NLP). As a highly successful word embedding model, Word2Vec offers an efficient method for learning distributed word representations on large datasets. However, Word2Vec lacks consideration for distances between center and context words. We propose two novel methods, Learnable Formulated Weights (LFW) and Epoch-based Dynamic Window Size (EDWS), to incorporate distance information into two variants of Word2Vec, the Continuous Bag-of-Words (CBOW) model and the Continuous Skip-gram (Skip-gram) model. For CBOW, LFW uses a formula with learnable parameters that best reflects the relationship of influence and distance between words to calculate distance-related weights for average pooling, providing insights for future NLP text modeling research. For Skip-gram, we improve its dynamic window size strategy to introduce distance information in a more balanced way. Experiments prove the effectiveness of LFW and EDWS in enhancing Word2Vec's performance, surpassing previous state-of-the-art methods.


title: Workload-Aware Hardware Accelerator Mining for Distributed Deep Learning Training

abstract: In this paper, we present a novel technique to search for hardware architectures of accelerators optimized for end-to-end training of deep neural networks (DNNs). Our approach addresses both single-device and distributed pipeline and tensor model parallel scenarios, latter being addressed for the first time. The search optimized accelerators for training relevant metrics such as throughput/TDP under a fixed area and power constraints. However, with the proliferation of specialized architectures and complex distributed training mechanisms, the design space exploration of hardware accelerators is very large. Prior work in this space has tried to tackle this by reducing the search space to either a single accelerator execution that too only for inference, or tuning the architecture for specific layers (e.g., convolution). Instead, we take a unique heuristic-based critical path-based approach to determine the best use of available resources (power and area) either for a set of DNN workloads or each workload individually. First, we perform local search to determine the architecture for each pipeline and tensor model stage. Specifically, the system iteratively generates architectural configurations and tunes the design using a novel heuristic-based approach that prioritizes accelerator resources and scheduling to critical operators in a machine learning workload. Second, to address the complexities of distributed training, the local search selects multiple (k) designs per stage. A global search then identifies an accelerator from the top-k sets to optimize training throughput across the stages. We evaluate this work on 11 different DNN models. Compared to a recent inference-only work Spotlight, our method converges to a design in, on average, 31x less time and offers 12x higher throughput. Moreover, designs generated using our method achieve 12% throughput improvement over TPU architecture.


title: Classification of Lattices Bounded by Large Surgeries of Knots

abstract: We classify all the lattices realized as the intersection form of a positive definite four manifold with boundary $S_n^3(K)$ for a knot $K$ in the three sphere and a positive integer $n$ greater than $4g_4(K)+3$. We then use this result to define a concordance invariant and generalize a theorem of Rasmussen on lens space surgeries.


title: UPose3D: Uncertainty-Aware 3D Human Pose Estimation with Cross-View and Temporal Cues

abstract: We introduce UPose3D, a novel approach for multi-view 3D human pose estimation, addressing challenges in accuracy and scalability. Our method advances existing pose estimation frameworks by improving robustness and flexibility without requiring direct 3D annotations. At the core of our method, a pose compiler module refines predictions from a 2D keypoints estimator that operates on a single image by leveraging temporal and cross-view information. Our novel cross-view fusion strategy is scalable to any number of cameras, while our synthetic data generation strategy ensures generalization across diverse actors, scenes, and viewpoints. Finally, UPose3D leverages the prediction uncertainty of both the 2D keypoint estimator and the pose compiler module. This provides robustness to outliers and noisy data, resulting in state-of-the-art performance in out-of-distribution settings. In addition, for in-distribution settings, UPose3D yields a performance rivaling methods that rely on 3D annotated data, while being the state-of-the-art among methods relying only on 2D supervision.


title: Digital Twins for forecasting and decision optimisation with machine learning: applications in wastewater treatment

abstract: Prediction and optimisation are two widely used techniques that have found many applications in solving real-world problems. While prediction is concerned with estimating the unknown future values of a variable, optimisation is concerned with optimising the decision given all the available data. These methods are used together to solve problems for sequential decision-making where often we need to predict the future values of variables and then use them for determining the optimal decisions. This paradigm is known as forecast and optimise and has numerous applications, e.g., forecast demand for a product and then optimise inventory, forecast energy demand and schedule generations, forecast demand for a service and schedule staff, to name a few. In this extended abstract, we review a digital twin that was developed and applied in wastewater treatment in Urban Utility to improve their operational efficiency. While the current study is tailored to the case study problem, the underlying principles can be used to solve similar problems in other domains.


title: An inexact augmented Lagrangian algorithm for unsymmetric saddle-point systems

abstract: Augmented Lagrangian (AL) methods are a well known class of algorithms for solving constrained optimization problems. They have been extended to the solution of saddle-point systems of linear equations. We study an AL (SPAL) algorithm for unsymmetric saddle-point systems and derive convergence and semi-convergence properties, even when the system is singular. At each step, our SPAL requires the exact solution of a linear system of the same size but with an SPD (2,2) block. To improve efficiency, we introduce an inexact SPAL algorithm. We establish its convergence properties under reasonable assumptions. Specifically, we use a gradient method, known as the Barzilai-Borwein (BB) method, to solve the linear system at each iteration. We call the result the augmented Lagrangian BB (SPALBB) algorithm and study its convergence. Numerical experiments on test problems from Navier-Stokes equations and coupled Stokes-Darcy flow show that SPALBB is more robust and efficient than BICGSTAB and GMRES. SPALBB often requires the least CPU time, especially on large systems.


title: Open Source Software Development Tool Installation: Challenges and Strategies For Novice Developers

abstract: As the world of technology advances, so do the tools that software developers use to create new programs. In recent years, software development tools have become more popular, allowing developers to work more efficiently and produce higher-quality software. Still, installing such tools can be challenging for novice developers at the early stage of their careers, as they may face challenges, such as compatibility issues (e.g., operating systems). Therefore, this work aims to investigate the challenges novice developers face in software development when installing software development tools. To investigate these, we conducted an analysis of 24 live software installation sessions to observe challenges and comprehend their actions, the strategies they apply, and the type of source of information they consult when encountering challenges. Our findings show that unclear documentation, such as installation instructions, and inadequate feedback during the installation process are common challenges faced by novice developers. Moreover, reformulating search queries and relying on non-official documentation were some of the strategies employed to overcome challenges. Based on our findings, we provide practical recommendations for tool vendors, tool users, and researchers.


title: Hypergraphs and political structures

abstract: Building on previous work, this paper extends the modeling of political structures from simplicial complexes to hypergraphs. This allows the analysis of more complex political dynamics where agents who are willing to form coalitions contain subsets that would not necessarily form coalitions themselves. We extend topological constructions such as wedge, cone, and collapse from simplicial complexes to hypergraphs and use them to study mergers, mediators, and power delegation in political structures. Concepts such as agent viability and system stability are generalized to the hypergraph context, alongside the introduction of the notion of local viability. Additionally, we use embedded homology of hypergraphs to analyze power concentration within political systems. Along the way, we introduce some new notions within the hypergraph framework that are of independent interest.


title: Quantum computational advantage with constant-temperature Gibbs sampling

abstract: A quantum system coupled to a bath at some fixed, finite temperature converges to its Gibbs state. This thermalization process defines a natural, physically-motivated model of quantum computation. However, whether quantum computational advantage can be achieved within this realistic physical setup has remained open, due to the challenge of finding systems that thermalize quickly, but are classically intractable. Here we consider sampling from the measurement outcome distribution of quantum Gibbs states at constant temperatures, and prove that this task demonstrates quantum computational advantage. We design a family of commuting almost-local Hamiltonians (parent Hamiltonians of shallow quantum circuits) and prove that they rapidly converge to their Gibbs states under the standard physical model of thermalization (as a continuous-time quantum Markov chain). On the other hand, we show that no polynomial time classical algorithm can sample from the measurement outcome distribution by reducing to the classical hardness of sampling from noiseless shallow quantum circuits. The key step in the reduction is constructing a fault-tolerance scheme for shallow IQP circuits against input noise.


title: On the symbolic $F$-splitness of binomial edge ideals

abstract: We study the symbolic $F$-splitness of families of binomial edge ideals. We also study the strong $F$-regularity of the symbolic blowup algebras of families of binomial edge ideals. We make use of Fedder-like criteria and combinatorial properties of the graphs associated to the binomial edge ideals in order to approach the aforementioned scenarios.


title: Bring the Heat: Tidal Heating Constraints for Black Holes and Exotic Compact Objects from the LIGO-Virgo-KAGRA Data

abstract: We present the first constraints on tidal heating for the binary systems detected in the LIGO-Virgo-KAGRA (LVK) gravitational wave data. Tidal heating, also known as tidal dissipation, characterizes the viscous nature of an astrophysical body and provides a channel for exchanging energy and angular momentum with the tidal environment. Using the worldline effective field theory formalism, we introduce a physically motivated and easily interpretable parametrization of tidal heating valid for an arbitrary compact astrophysical object. We then derive the imprints of the spin-independent and linear-in-spin tidal heating effects of generic binary components on the waveform phases and amplitudes of quasi-circular orbits. Notably, the mass-weighted spin-independent tidal heating coefficient derived in this work, $\mathcal{H}_0$, is the dissipative analog of the tidal Love number. We constrain the tidal heating coefficients using the public LVK O1-O3 data. Our parameter estimation study includes two separate analyses: the first treats the catalog of binary events as binary black holes (BBH), while the second makes no assumption about the nature of the binary constituents and can therefore be interpreted as constraints for exotic compact objects. In the former case, we combine the posterior distributions of the individual BBH events and obtain a joint constraint of $-13 < \mathcal{H}_0 < 20$ at the $90\%$ credible interval for the BBH population. This translates into a bound on the fraction of the emitted gravitational wave energy lost due to tidal heating (or gained due to radiation enhancement effects) at $|\Delta E_H/\Delta E_{\infty}|\lesssim 3\cdot 10^{-3}$. Our work provides the first robust framework for deriving and measuring tidal heating effects in merging binary systems, demonstrating its potential as a powerful probe of the nature of binary constituents and tests of new physics.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: Uncertainty Quantification on Graph Learning: A Survey

abstract: Graphical models, including Graph Neural Networks (GNNs) and Probabilistic Graphical Models (PGMs), have demonstrated their exceptional capabilities across numerous fields. These models necessitate effective uncertainty quantification to ensure reliable decision-making amid the challenges posed by model training discrepancies and unpredictable testing scenarios. This survey examines recent works that address uncertainty quantification within the model architectures, training, and inference of GNNs and PGMs. We aim to provide an overview of the current landscape of uncertainty in graphical models by organizing the recent methods into uncertainty representation and handling. By summarizing state-of-the-art methods, this survey seeks to deepen the understanding of uncertainty quantification in graphical models, thereby increasing their effectiveness and safety in critical applications.


title: Teaching Network Traffic Matrices in an Interactive Game Environment

abstract: The Internet has become a critical domain for modern society that requires ongoing efforts for its improvement and protection. Network traffic matrices are a powerful tool for understanding and analyzing networks and are broadly taught in online graph theory educational resources. Network traffic matrix concepts are rarely available in online computer network and cybersecurity educational resources. To fill this gap, an interactive game environment has been developed to teach the foundations of traffic matrices to the computer networking community. The game environment provides a convenient, broadly accessible, delivery mechanism that enables making material available rapidly to a wide audience. The core architecture of the game is a facility to add new network traffic matrix training modules via an easily editable JSON file. Using this facility an initial set of modules were rapidly created covering: basic traffic matrices, traffic patterns, security/defense/deterrence, a notional cyber attack, a distributed denial-of-service (DDoS) attack, and a variety of graph theory concepts. The game environment enables delivery in a wide range of contexts to enable rapid feedback and improvement. The game can be used as a core unit as part of a formal course or as a simple interactive introduction in a presentation.