title: WiDRa -- Enabling Millimeter-Level Differential Ranging Accuracy in Wi-Fi Using Carrier Phase

abstract: Although Wi-Fi is an ideal technology for many ranging applications, the performance of current methods is limited by the system bandwidth, leading to low accuracy of $\sim 1$ m. For many applications, measuring differential range, viz., the change in the range between adjacent measurements, is sufficient. Correspondingly, this work proposes WiDRa - a Wi-Fi based Differential Ranging solution that provides differential range estimates by using the sum-carrier-phase information. The proposed method is not limited by system bandwidth and can track range changes even smaller than the carrier wavelength. The proposed method is first theoretically justified, while taking into consideration the various hardware impairments affecting Wi-Fi chips. In the process, methods to isolate the sum-carrier phase from the hardware impairments are proposed. Extensive simulation results show that WiDRa can achieve a differential range estimation root-mean-square-error (RMSE) of $\approx 1$ mm in channels with a Rician-factor $\geq 7$ (a $100 \times$ improvement to existing methods). The proposed methods are also validated on off-the-shelf Wi-Fi hardware to demonstrate feasibility, where they achieve an RMSE of $< 1$ mm in the differential range. Finally, limitations of current investigation and future directions of exploration are suggested, to further tap into the potential of WiDRa.


title: K-theory and localizing invariants of large categories

abstract: In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous $K$-theory is simply the usual (non-connective) $K$-theory of the full subcategory of compact objects. More generally, we show that any localizing invariant of small stable $\infty$-categories can be uniquely extended to a localizing invariant of dualizable categories. We compute the continuous $K$-theory for categories of sheaves on locally compact Hausdorff spaces. Using the special case for sheaves on the real line, we give an alternative proof of the theorem of Kasprowski and Winges \cite{KW19} on the commutation of $K$-theory with infinite products for small stable $\infty$-categories. We also study the general theory of dualizable categories. In particular, we give an "explicit" proof of Ramzi's theorem \cite{Ram} on the $\omega_1$-presentability of the category of dualizable categories. Among other things, we prove that dualizability is equivalent to "flatness" in the category of presentable stable categories.


title: Deformation of Residual Intersections

abstract: It is shown that in a Cohen-Macaulay local ring, the generic linkage of an ideal $I$ is a deformation of the arbitrary linkage of $I$. This fact does not need $I$ to be a Cohen-Macaulay ideal. The same holds for $s$-residual intersections of $I$ when $s$ does not exceed the height of $I$ by one. Under some slight conditions on $I$, one further generalizes this principle to encompass any $s$-residual intersection.


title: State of the Practice for Medical Imaging Software

abstract: We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 development teams. Based on the quantitative data, we ranked the MI software with the Analytic Hierarchy Process (AHP). The four top-ranked software products are 3D Slicer, ImageJ, Fiji, and OHIF Viewer. Generally, MI software is in a healthy state as shown by the following: we observed 88% of the documentation artifacts recommended by research software development guidelines, 100% of MI projects use version control tools, and developers appear to use the common quasi-agile research software development process. However, the current state of the practice deviates from the existing guidelines because of the rarity of some recommended artifacts, low usage of continuous integration (17% of the projects), low use of unit testing (about 50% of projects), and room for improvement with documentation (six of nine developers felt their documentation was not clear enough). From interviewing the developers, we identified five pain points and two qualities of potential concern: lack of development time, lack of funding, technology hurdles, ensuring correctness, usability, maintainability, and reproducibility. The interviewees proposed strategies to improve the state of the practice, to address the identified pain points, and to improve software quality. Combining their ideas with ours, we have the following list of recommendations: increase documentation, increase testing by enriching datasets, increase continuous integration usage, move to web applications, employ linters, use peer reviews, design for change, add assurance cases, and incorporate a "Generate All Things" approach.


title: Wireless vs. Traditional Ultrasound Assessed Knee Cartilage Outcomes Utilizing Automated Gain and Normalization Techniques

abstract: Advancements in wireless ultrasound technology allow for point of care cartilage imaging, yet validation against traditional ultrasound units remains to be established for knee cartilage outcomes. Therefore, the purpose of our study was to establish the agreement of articular cartilage thickness and echo-intensity measures between traditional and wireless ultrasound units utilizing automatic-gain and normalization techniques. We used traditional and wireless ultrasound to assess the femoral cartilage via transverse suprapatellar scans with the knee in maximum flexion in 71 female NCAA Division I athletes (age: 20.0$\pm$1.3 years, height: 171.7$\pm$8.7 cm, mass: 69.4$\pm$11.0 kg). Wireless ultrasound images (auto-gain and standard gain) were compared to traditional ultrasound images (standard gain) before and after normalization. Ultrasound image pixel values were algebraically scaled to normalize imaging parameter differences between units. Mean thickness and echo-intensity of the global and sub-regions of interest were measured for unnormalized and normalized images. Intraclass correlation coefficients ($ICC_{2,k}$) for absolute agreement, standard error of the measurement, and minimum detectable difference were calculated between the traditional and wireless ultrasound units across both gain parameters and normalization. Cartilage thickness demonstrated good to excellent agreement for all regions ($ICC_{2,k} = 0.83 {\text -} 0.95$) regardless of gain and normalization. However, mean echo-intensity demonstrated poor to moderate agreement in all regions regardless of gain and normalization ($ICC_{2,k} = 0.23 {\text -} 0.68 $). While there was a high level of agreement between units when assessing cartilage thickness, further research in ultrasound beam forming may lead to improvements in agreement of cartilage echo-intensity between ultrasound units.


title: Asymptotic stability of the three-dimensional Couette flow for the Stokes-transport equation

abstract: In this paper, we investigate the asymptotic stability of the three-dimensional Couette flow in a stratified fluid governed by the Stokes-transport equation. We observe that a similar lift-up effect to the three-dimensional Navier-Stokes equation near Couette flow destabilizes the system. We find that the inviscid damping type decay due to the Couette flow together with the damping structure caused by the decreasing background density stabilizes the system. More precisely, we prove that if the initial density is close to a linearly decreasing function in the Gevrey-$\frac{1}{s}$ class with $\frac{1}{2}< s\leq 1$, namely, $\|\varrho_{\mathrm{in}}(X,Y,Z)-(-Y)\|_{\mathcal{G}^{s}}\leq \epsilon$, then the perturbed density remains close to $-Y$. Moreover, the associated velocity field converges to Couette flow $(Y, 0, 0)^{\top}$ with a convergence rate of $\frac{1}{\langle t\rangle^3}$.


title: CT-Eval: Benchmarking Chinese Text-to-Table Performance in Large Language Models

abstract: Text-to-Table aims to generate structured tables to convey the key information from unstructured documents. Existing text-to-table datasets are typically oriented English, limiting the research in non-English languages. Meanwhile, the emergence of large language models (LLMs) has shown great success as general task solvers in multi-lingual settings (e.g., ChatGPT), theoretically enabling text-to-table in other languages. In this paper, we propose a Chinese text-to-table dataset, CT-Eval, to benchmark LLMs on this task. Our preliminary analysis of English text-to-table datasets highlights two key factors for dataset construction: data diversity and data hallucination. Inspired by this, the CT-Eval dataset selects a popular Chinese multidisciplinary online encyclopedia as the source and covers 28 domains to ensure data diversity. To minimize data hallucination, we first train an LLM to judge and filter out the task samples with hallucination, then employ human annotators to clean the hallucinations in the validation and testing sets. After this process, CT-Eval contains 88.6K task samples. Using CT-Eval, we evaluate the performance of open-source and closed-source LLMs. Our results reveal that zero-shot LLMs (including GPT-4) still have a significant performance gap compared with human judgment. Furthermore, after fine-tuning, open-source LLMs can significantly improve their text-to-table ability, outperforming GPT-4 by a large margin. In short, CT-Eval not only helps researchers evaluate and quickly understand the Chinese text-to-table ability of existing LLMs but also serves as a valuable resource to significantly improve the text-to-table performance of LLMs.


title: Enhancing Explainable AI: A Hybrid Approach Combining GradCAM and LRP for CNN Interpretability

abstract: We present a new technique that explains the output of a CNN-based model using a combination of GradCAM and LRP methods. Both of these methods produce visual explanations by highlighting input regions that are important for predictions. In the new method, the explanation produced by GradCAM is first processed to remove noises. The processed output is then multiplied elementwise with the output of LRP. Finally, a Gaussian blur is applied on the product. We compared the proposed method with GradCAM and LRP on the metrics of Faithfulness, Robustness, Complexity, Localisation and Randomisation. It was observed that this method performs better on Complexity than both GradCAM and LRP and is better than atleast one of them in the other metrics.


title: Laboratory Demonstration of Image-Plane Self-Calibration in Interferometry

abstract: We demonstrate the Shape-Orientation-Size conservation principle for a 3-element interferometer using aperture plane masking at the ALBA visible synchrotron radiation light source. We then use these data to demonstrate Image Plane Self-Calibration.


title: Establishing Trust in the Beyond-5G Core Network using Trusted Execution Environments

abstract: The fifth generation (5G) of cellular networks starts a paradigm shift from the traditional monolithic system design to a Service Based Architecture, that fits modern performance requirements and scales efficiently to new services. This paradigm will be the foundation of future cellular core networks beyond 5G. The new architecture splits network functionalities into smaller logical entities that can be disaggregated logically, physically, and geographically. This affords interoperability between the mobile network operators and commercial software and hardware vendors or cloud providers. By making use of commodity services and products, this system construct inherits the vulnerabilities in those underlying technologies, thereby increasing its attack surface and requiring a rigorous security analysis. In this work, we review the security implications introduced in B5G networks, and the security mechanisms that are supported by the 5G standard. We emphasize on the support of Zero Trust Architecture in 5G and its relevance in decentralized deployments. We revisit the definition of trust in modern enterprise network operations and identify important Zero Trust properties that are weakened by the nature of cloud deployments. To that end, we propose a vertical extension of Zero Trust, namely, Zero Trust Execution, to model untrusted execution environments, and we provide an analysis on how to establish trust in Beyond-5G network architectures using Trusted Execution Environments. Our analysis shows how our model architecture handles the increased attack surface and reinforces the Zero Trust Architecture principles in the 5G Core, without any changes to the 5G standard. Finally, we provide experimental results over a 5G testbed using Open5GS and UERANSIM that demonstrate minimal performance overhead, and a monetary cost evaluation.


title: Topological superconductivity in Fibonacci quasicrystals

abstract: We investigate the properties of a Fibonacci quasicrystal (QC) arrangement of a one-dimensional topological superconductor, such as a magnetic atom chain deposited on a superconducting surface. We uncover a general mutually exclusive competition between the QC properties and the topological superconducting phase with Majorana bound states (MBS): there are no MBS inside the QC gaps and the MBS never behaves as QC subgap states, and likewise, no critical, or winding, QC subgap states exist inside the topological superconducting gaps. Surprisingly, despite this competition, we find that the QC is still highly beneficial for realizing topological superconductivity with MBS. It both leads to additional large nontrivial regions with MBS in parameter space, that are topologically trivial in crystalline systems, and increases the topological gap protecting the MBS. We also find that shorter approximants of the Fibonacci QC display the largest benefits. As a consequence, our results promote QCs, and especially their short approximants, as an appealing platform for improved experimental possibilities to realize MBS as well as generally highlights the fundamental interplay between different topologies.


title: TENNs-PLEIADES: Building Temporal Kernels with Orthogonal Polynomials

abstract: We introduce a neural network named PLEIADES (PoLynomial Expansion In Adaptive Distributed Event-based Systems), belonging to the TENNs (Temporal Neural Networks) architecture. We focus on interfacing these networks with event-based data to perform online spatiotemporal classification and detection with low latency. By virtue of using structured temporal kernels and event-based data, we have the freedom to vary the sample rate of the data along with the discretization step-size of the network without additional finetuning. We experimented with three event-based benchmarks and obtained state-of-the-art results on all three by large margins with significantly smaller memory and compute costs. We achieved: 1) 99.59% accuracy with 192K parameters on the DVS128 hand gesture recognition dataset and 100% with a small additional output filter; 2) 99.58% test accuracy with 277K parameters on the AIS 2024 eye tracking challenge; and 3) 0.556 mAP with 576k parameters on the PROPHESEE 1 Megapixel Automotive Detection Dataset.


title: Estimating the Impact of Social Distance Policy in Mitigating COVID-19 Spread with Factor-Based Imputation Approach

abstract: We identify the effectiveness of social distancing policies in reducing the transmission of the COVID-19 spread. We build a model that measures the relative frequency and geographic distribution of the virus growth rate and provides hypothetical infection distribution in the states that enacted the social distancing policies, where we control time-varying, observed and unobserved, state-level heterogeneities. Using panel data on infection and deaths in all US states from February 20 to April 20, 2020, we find that stay-at-home orders and other types of social distancing policies significantly reduced the growth rate of infection and deaths. We show that the effects are time-varying and range from the weakest at the beginning of policy intervention to the strongest by the end of our sample period. We also found that social distancing policies were more effective in states with higher income, better education, more white people, more democratic voters, and higher CNN viewership.


title: Regularization by rough Kraichnan noise for the generalised SQG equations

abstract: We consider the generalised Surface Quasi-Geostrophic (gSQG) equations in $\mathbb R^2$ with parameter $\beta\in (0,1)$, an active scalar model interpolating between SQG ($\beta=1$) and the 2D Euler equations ($\beta=0$) in vorticity form. Existence of weak $(L^1\cap L^p)$-valued solutions in the deterministic setting is known, but their uniqueness is open. We show that the addition of a rough Stratonovich transport noise of Kraichnan type regularizes the PDE, providing strong existence and pathwise uniqueness of solutions for initial data $\theta_0\in L^1\cap L^p$, for suitable values $p\in[2,\infty]$ related to the regularity degree $\alpha$ of the noise and the singularity degree $\beta$ of the velocity field; in particular, we can cover any $\beta\in (0,1)$ for suitable $\alpha$ and $p$ and we can reach a suitable ("critical") threshold. The result also holds in the presence of external forcing $f\in L^1_t (L^1\cap L^p)$ and solutions are shown to depend continuously on the data of the problem; furthermore, they are well approximated by vanishing viscosity and regular approximations.


title: Nearest Neighbors GParareal: Improving Scalability of Gaussian Processes for Parallel-in-Time Solvers

abstract: With the advent of supercomputers, multi-processor environments and parallel-in-time (PinT) algorithms offer ways to solve initial value problems for ordinary and partial differential equations (ODEs and PDEs) over long time intervals, a task often unfeasible with sequential solvers within realistic time frames. A recent approach, GParareal, combines Gaussian Processes with traditional PinT methodology (Parareal) to achieve faster parallel speed-ups. The method is known to outperform Parareal for low-dimensional ODEs and a limited number of computer cores. Here, we present Nearest Neighbors GParareal (nnGParareal), a novel data-enriched PinT integration algorithm. nnGParareal builds upon GParareal by improving its scalability properties for higher-dimensional systems and increased processor count. Through data reduction, the model complexity is reduced from cubic to log-linear in the sample size, yielding a fast and automated procedure to integrate initial value problems over long time intervals. First, we provide both an upper bound for the error and theoretical details on the speed-up benefits. Then, we empirically illustrate the superior performance of nnGParareal, compared to GParareal and Parareal, on nine different systems with unique features (e.g., stiff, chaotic, high-dimensional, or challenging-to-learn systems).


title: Multi-order Graph Clustering with Adaptive Node-level Weight Learning

abstract: Current graph clustering methods emphasize individual node and edge con nections, while ignoring higher-order organization at the level of motif. Re cently, higher-order graph clustering approaches have been designed by motif based hypergraphs. However, these approaches often suffer from hypergraph fragmentation issue seriously, which degrades the clustering performance greatly. Moreover, real-world graphs usually contain diverse motifs, with nodes participating in multiple motifs. A key challenge is how to achieve precise clustering results by integrating information from multiple motifs at the node level. In this paper, we propose a multi-order graph clustering model (MOGC) to integrate multiple higher-order structures and edge connections at node level. MOGC employs an adaptive weight learning mechanism to au tomatically adjust the contributions of different motifs for each node. This not only tackles hypergraph fragmentation issue but enhances clustering accuracy. MOGC is efficiently solved by an alternating minimization algo rithm. Experiments on seven real-world datasets illustrate the effectiveness of MOGC.


title: Robust VAR Capability Curve of DER with Uncertain Renewable Generation

abstract: Active distribution system with high penetration of inverter based distributed energy resources (DER) can be utilized for VAR-related ancillary services. To utilize the DER flexibility, transmission system operator (TSO) must be presented with the aggregated DER flexibility of distribution system. However, the uncertainty in renewable generation questions the credibility of aggregated capability curve in practice. In this paper, we incorporate the uncertainty into aggregation process to develop a robust capability curve while preserving the real physics (unbalance and lossy nature) of distribution system. Statistical inference method is employed to quantify uncertainty in solar generation and quantified uncertainty is integrated into a chance constrained optimal power flow (OPF). It provides the grid operator with the dispatchable aggregated reactive power capability. The resulting capability curve with the associated probability can be harnessed by the TSO for decision making for both planning and operation.


title: Decoherence of electron spin qubit during transfer between two semiconductor quantum dots at low magnetic fields

abstract: Electron shuttling is one of the currently pursued avenues towards the scalability of semiconductor quantum dot-based spin qubits. We theoretically analyze the dephasing of a spin qubit adiabatically transferred between two tunnel-coupled quantum dots. We focus on the regime where the Zeeman splitting is lower than the tunnel coupling, at which interdot tunneling with spin flip is absent, and analyze the sources of errors in spin-coherent electron transfer for Si- and GaAs-based quantum dots. Apart from the obvious effect of fluctuations in spin splitting in each dot (e.g., due to nuclear Overhauser fields) leading to finite $ T_{2}^{*} $ of the stationary spin qubit, we consider effects activated by detuning sweeps aimed at adiabatic qubit transfer between the dots: failure of charge transfer caused by charge noise and phonons, spin relaxation due to enhancement of spin-orbit mixing of levels, and spin dephasing caused by low- and high-frequency noise coupling to the electron's charge in the presence of differences in Zeeman splittings between the two dots. Our results indicate that achieving coherent transfer of electron spin in a $10\,\mu$m long dot array necessitates a large and uniform tunnel coupling, with a typical value of $ 2t_c \gtrsim 60 \, \mu$eV.


title: Training Data Attribution via Approximate Unrolled Differentiation

abstract: Many training data attribution (TDA) methods aim to estimate how a model's behavior would change if one or more data points were removed from the training set. Methods based on implicit differentiation, such as influence functions, can be made computationally efficient, but fail to account for underspecification, the implicit bias of the optimization algorithm, or multi-stage training pipelines. By contrast, methods based on unrolling address these issues but face scalability challenges. In this work, we connect the implicit-differentiation-based and unrolling-based approaches and combine their benefits by introducing Source, an approximate unrolling-based TDA method that is computed using an influence-function-like formula. While being computationally efficient compared to unrolling-based approaches, Source is suitable in cases where implicit-differentiation-based approaches struggle, such as in non-converged models and multi-stage training pipelines. Empirically, Source outperforms existing TDA techniques in counterfactual prediction, especially in settings where implicit-differentiation-based approaches fall short.


title: Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation

abstract: This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Nash model. The semantics of write access were underspecified originally, leading to multiple interpretations for which we provide a modern operational semantics. We go on to modernise the analysis of information flow in the Brewer-Nash model, by adopting a more precise definition adapted from Kessler. For our modernised reformulation, we provide full mechanised coverage for all theorems proposed by Brewer & Nash. Most theorems are established automatically using the tool {log} with the exception of a theorem regarding information flow, which combines a lemma in {log} with a theorem mechanised in Coq. Having covered all theorems originally posed by Brewer-Nash, achieving modern precision and mechanisation, we propose this work as a step towards a methodology for automated checking of more complex security policy models.


title: Cosserat elasticity as the weak-field limit of Einstein--Cartan relativity

abstract: The weak-field limit of Einstein--Cartan (EC) relativity is studied. The equations of EC theory are rewritten such that they formally resemble those of Einstein General Relativity (EGR); this allows ideas from post-Newtonian theory to be imported without essential change. The equations of motion are then written both at first post-Newtonian (1PN) order and at 1.5PN order. EC theory's 1PN equations of motion are found to be those of a micropolar/Cosserat elastic medium, along with a decoupled evolution equation for non-classical, spin-related fields. It seems that a necessary condition for these results to hold is that one chooses the non-classical fields to scale with the speed of light in a certain empirically reasonable way. Finally, the 1.5PN equations give greater insight into the coupling between energy-momentum and spin within slowly moving, weakly gravitating matter. Specifically, the weakly relativistic modifications to Cosserat theory involve a gravitational torque and an augmentation of the gravitational force due to a `dynamic mass moment density' with an accompanying `dynamic mass moment density flux', and new forms of linear momentum density captured by a `dynamic mass density flux' and a `dynamic momentum density'.


title: The sign of scalar curvature on K\"ahler blowups

abstract: We show that if $(M,\omega)$ is a compact K\"ahler manifold with positive/negative scalar curvature, then the blowup of $M$ at any point also furnishes a positive/negative scalar curvature K\"ahler metric in classes which make the exceptional divisor small. In the case of K\"ahler surfaces with positive scalar curvature, this extends a result of N. Hitchin to surfaces and answers a conjecture of C. LeBrun in the affirmative, as a result completing the classification of such surfaces.


title: Quantitative asymptotics for polynomial patterns in the primes

abstract: We prove quantitative estimates for averages of the von Mangoldt and M\"obius functions along polynomial progressions $n+P_1(m),\ldots, n+P_k(m)$ for a large class of polynomials $P_i$. The error terms obtained save an arbitrary power of logarithm, matching the classical Siegel--Walfisz error term. These results give the first quantitative bounds for the Tao--Ziegler polynomial patterns in the primes result, and in the M\"obius case they are new even qualitatively for some collections of polynomials. The proofs are based on a quantitative generalised von Neumann theorem of Peluse, a recent result of Leng on strong bounds for the Gowers uniformity of the primes, and analysis of a ``Siegel model'' for the von Mangoldt function along polynomial progressions.


title: Equivalence between invariance conjectures for parabolic Kazhdan-Lusztig polynomials

abstract: We prove that the combinatorial invariance conjecture for parabolic Kazhdan-Lusztig polynomials, formulated by Mario Marietti, is equivalent to its restriction to maximal quotients. This equivalence lies at the other extreme in respect to the equivalence, recently proved by Barkley and Gaetz, with the invariance conjecture for Kazhdan-Lusztig polynomials, which turns out to be equivalent to the conjecture for maximal quotients.


title: Disorder effects in planar semiconductor-superconductor structures: Majorana wires versus Josephson junctions

abstract: Disorder effects in hybrid semiconductor-superconductor (SM-SC) nanowires, widely recognized as the main obstacle to realizing stable Majorana zero modes (MZMs) in these structures, have been systematically investigated theoretically in recent years. However, there are no corresponding detailed studies of disorder effects in planar Josephson junction (JJ) structures, which represent a promising alternative to the Majorana nanowire platform. In this paper, we perform a numerical analysis of the low-energy physics of JJ structures based on an effective microscopic model that includes two types of disorder, charge impurities inside the semiconductor and roughness on the surface of the superconducting film. We consider different parameter regimes, including low and high chemical potential values, weak and strong effective SM-SC coupling strengths, and weak and strong disorder strengths. The results are benchmarked using disordered hybrid nanowires realized in planar SM-SC structures similar to those involved in the fabrication of Josephson junctions and having similar model parameters and disorder strengths. We find that the topological superconducting phase hosted by a JJ structure is, generally, more robust against disorder than the topological superconductivity realized in a hybrid nanowire with similar parameters. On the other hand, we find that operating the JJ in a regime characterized by large values of chemical potential results in huge finite-size effects that can destroy the stability of MZMs.


title: The Narrow Depth and Breadth of Corporate Responsible AI Research

abstract: The transformative potential of AI presents remarkable opportunities, but also significant risks, underscoring the importance of responsible AI development and deployment. Despite a growing emphasis on this area, there is limited understanding of industry's engagement in responsible AI research, i.e., the critical examination of AI's ethical, social, and legal dimensions. To address this gap, we analyzed over 6 million peer-reviewed articles and 32 million patent citations using multiple methods across five distinct datasets to quantify industry's engagement. Our findings reveal that the majority of AI firms show limited or no engagement in this critical subfield of AI. We show a stark disparity between industry's dominant presence in conventional AI research and its limited engagement in responsible AI. Leading AI firms exhibit significantly lower output in responsible AI research compared to their conventional AI research and the contributions of leading academic institutions. Our linguistic analysis documents a narrower scope of responsible AI research within industry, with a lack of diversity in key topics addressed. Our large-scale patent citation analysis uncovers a pronounced disconnect between responsible AI research and the commercialization of AI technologies, suggesting that industry patents rarely build upon insights generated by the responsible AI literature. This gap highlights the potential for AI development to diverge from a socially optimal path, risking unintended consequences due to insufficient consideration of ethical and societal implications. Our results highlight the urgent need for industry to publicly engage in responsible AI research to absorb academic knowledge, cultivate public trust, and proactively mitigate AI-induced societal harms.


title: Histotripsy of blood clots within a hollow cylindrical transducer for aspiration thrombectomy applications

abstract: Thrombolytic occlusions in stroke, pulmonary embolism and the peripheral vasculature are increasingly treated with aspiration, a catheter-based approach that employs suction to extract clots through a hollow catheter lumen. Unfortunately, aspiration is frequently unsuccessful in extracting more challenging clots, which can become corked in the distal tip. We hypothesize that clot extraction can be enhanced by using histotripsy to degrade the mechanical integrity of clot material within the lumen of a hollow cylindrical transducer which can be situated at the tip of an aspiration catheter. To demonstrate the feasibility of degrading clot material within the lumen of a hollow cylindrical transducer, the effect of pulsing schemes on lesion generation within clots was assessed using a retracted clot model. A radially polarized cylindrical transducer (2.5 mm and 3.3 mm for inner and outer diameter, 2.5 mm length, PZT) working at 6.1 MHz was used to degrade retracted porcine clots with pulse lengths of 10, 20, and 100 us, pulse repetition frequencies (PRF) of 100, 500, and 1000 Hz, using treatment times from 0.1 to 10 seconds (n = 5 clots per condition). 3D ultrasound scans and bisected optical examinations of treated clots confirmed the formation of liquified zones. Lesions could form within 0.1 seconds along the central axis of the transducer and then grow in diameter and length over time. The lesion volume was found to be highly dependent on the exposure scheme, with the largest lesion volume associated with the 10 us pulse length 1000 kHz PRF case. Collectively these results demonstrate the feasibility of degrading blood clots within hollow cylindrical transducers, which suggests their potential for enhancing aspiration based mechanical thrombectomy.


title: Developers' Perceptions on the Impact of ChatGPT in Software Development: A Survey

abstract: As Large Language Models (LLMs), including ChatGPT and analogous systems, continue to advance, their robust natural language processing capabilities and diverse applications have garnered considerable attention. Nonetheless, despite the increasing acknowledgment of the convergence of Artificial Intelligence (AI) and Software Engineering (SE), there is a lack of studies involving the impact of this convergence on the practices and perceptions of software developers. Understanding how software developers perceive and engage with AI tools, such as ChatGPT, is essential for elucidating the impact and potential challenges of incorporating AI-driven tools in the software development process. In this paper, we conducted a survey with 207 software developers to understand the impact of ChatGPT on software quality, productivity, and job satisfaction. Furthermore, the study delves into developers' expectations regarding future adaptations of ChatGPT, concerns about potential job displacement, and perspectives on regulatory interventions.


title: YASTN: Yet another symmetric tensor networks; A Python library for abelian symmetric tensor network calculations

abstract: We present an open-source tensor network Python library for quantum many-body simulations. At its core is an abelian-symmetric tensor, implemented as a sparse block structure managed by logical layer on top of dense multi-dimensional array backend. This serves as the basis for higher-level tensor networks algorithms, operating on matrix product states and projected entangled pair states, implemented here. Using appropriate backend, such as PyTorch, gives direct access to automatic differentiation (AD) for cost-function gradient calculations and execution on GPUs or other supported accelerators. We show the library performance in simulations with infinite projected entangled-pair states, such as finding the ground states with AD, or simulating thermal states of the Hubbard model via imaginary time evolution. We quantify sources of performance gains in those challenging examples allowed by utilizing symmetries.


title: Automated Hardware Logic Obfuscation Framework Using GPT

abstract: Obfuscation stands as a promising solution for safeguarding hardware intellectual property (IP) against a spectrum of threats including reverse engineering, IP piracy, and tampering. In this paper, we introduce Obfus-chat, a novel framework leveraging Generative Pre-trained Transformer (GPT) models to automate the obfuscation process. The proposed framework accepts hardware design netlists and key sizes as inputs, and autonomously generates obfuscated code tailored to enhance security. To evaluate the effectiveness of our approach, we employ the Trust-Hub Obfuscation Benchmark for comparative analysis. We employed SAT attacks to assess the security of the design, along with functional verification procedures to ensure that the obfuscated design remains consistent with the original. Our results demonstrate the efficacy and efficiency of the proposed framework in fortifying hardware IP against potential threats, thus providing a valuable contribution to the field of hardware security.


title: Near-horizon properties of trajectories with finite force relevant for Ba\~{n}ados-Silk-West effect

abstract: According to the Banados-SIlk-West (BSW) effect, two particles moving towards a black hole, can collide near the horizon with an unbounded energy in the center of mass frame. This requires one of particles to have fine-tuned parameters in such a way that the time component of generalized momentum is zero $X=0$. Thus the existence of such trjectories is a necessary condition for the BSW effect. However, it is insufficient since the forward-in-time condition requires $X>0$ outside the horizon. We examine this condition for different types of partricles and horizons and find configurations for which the BSW effect is possible. In doing so, we take into account a finite force of unspesified nature exerted on particles. It includes relationships between numbers characterizing the rate with which four-velocity, acceleration and metric functions change near the horizon. For some aforementioned relations, parameters of a system control the sign of $X$, in other cases they are required for $X$ to be real quantity. In the simplest case of free particles the BSW effect for the Kerr or Kerr-Newman black hole is impossible if a fine-tuned particle has a negative energy, so in this sense combination of the Penrose process and the BSW effect is forbidden.


title: Bond percolation games on the $2$-dimensional square lattice, and ergodicity of associated probabilistic cellular automata

abstract: We consider bond percolation games on the $2$-dimensional square lattice in which each edge (that is either between the sites $(x,y)$ and $(x+1,y)$ or between the sites $(x,y)$ and $(x,y+1)$, for all $(x,y) \in \mathbb{Z}^{2}$) has been assigned, independently, a label that reads "trap" with probability $p$, "target" with probability $q$, and "open" with probability $1-p-q$. Once a realization of this labeling is generated, it is revealed in its entirety to the players before the game starts. The game involves a single token, initially placed at the origin, and two players who take turns to make moves. A move involves relocating the token from where it is currently located, say the site $(x,y)$, to any one of $(x+1,y)$ and $(x,y+1)$. A player wins if she is able to move the token along an edge labeled a target, or if she is able to force her opponent to move the token along an edge labeled a trap. The game is said to result in a draw if it continues indefinitely (i.e.\ with the token always being moved along open edges). We ask the question: for what values of $p$ and $q$ is the probability of draw equal to $0$? By establishing a close connection between the event of draw and the ergodicity of a suitably defined probabilistic cellualar automaton, we are able to show that the probability of draw is $0$ when $p > 0.157175$ and $q=0$, and when $p=q \geqslant 0.10883$.


title: Multi-View Attentive Contextualization for Multi-View 3D Object Detection

abstract: We present Multi-View Attentive Contextualization (MvACon), a simple yet effective method for improving 2D-to-3D feature lifting in query-based multi-view 3D (MV3D) object detection. Despite remarkable progress witnessed in the field of query-based MV3D object detection, prior art often suffers from either the lack of exploiting high-resolution 2D features in dense attention-based lifting, due to high computational costs, or from insufficiently dense grounding of 3D queries to multi-scale 2D features in sparse attention-based lifting. Our proposed MvACon hits the two birds with one stone using a representationally dense yet computationally sparse attentive feature contextualization scheme that is agnostic to specific 2D-to-3D feature lifting approaches. In experiments, the proposed MvACon is thoroughly tested on the nuScenes benchmark, using both the BEVFormer and its recent 3D deformable attention (DFA3D) variant, as well as the PETR, showing consistent detection performance improvement, especially in enhancing performance in location, orientation, and velocity prediction. It is also tested on the Waymo-mini benchmark using BEVFormer with similar improvement. We qualitatively and quantitatively show that global cluster-based contexts effectively encode dense scene-level contexts for MV3D object detection. The promising results of our proposed MvACon reinforces the adage in computer vision -- ``(contextualized) feature matters".


title: Quantum-symmetric equivalence is a graded Morita invariant

abstract: We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated universal quantum groups (in the sense of Manin) which sends one algebra to the other. As a consequence, any Zhang twist of an $m$-homogeneous algebra is a 2-cocycle twist by some 2-cocycle from its Manin's universal quantum group.


title: Hierarchical Neural Operator Transformer with Learnable Frequency-aware Loss Prior for Arbitrary-scale Super-resolution

abstract: In this work, we present an arbitrary-scale super-resolution (SR) method to enhance the resolution of scientific data, which often involves complex challenges such as continuity, multi-scale physics, and the intricacies of high-frequency signals. Grounded in operator learning, the proposed method is resolution-invariant. The core of our model is a hierarchical neural operator that leverages a Galerkin-type self-attention mechanism, enabling efficient learning of mappings between function spaces. Sinc filters are used to facilitate the information transfer across different levels in the hierarchy, thereby ensuring representation equivalence in the proposed neural operator. Additionally, we introduce a learnable prior structure that is derived from the spectral resizing of the input data. This loss prior is model-agnostic and is designed to dynamically adjust the weighting of pixel contributions, thereby balancing gradients effectively across the model. We conduct extensive experiments on diverse datasets from different domains and demonstrate consistent improvements compared to strong baselines, which consist of various state-of-the-art SR methods.


title: Accelerating Relative Entropy Coding with Space Partitioning

abstract: Relative entropy coding (REC) algorithms encode a random sample following a target distribution $Q$, using a coding distribution $P$ shared between the sender and receiver. Sadly, general REC algorithms suffer from prohibitive encoding times, at least on the order of $2^{D_{\text{KL}}[Q||P]}$, and faster algorithms are limited to very specific settings. This work addresses this issue by introducing a REC scheme utilizing space partitioning to reduce runtime in practical scenarios. We provide theoretical analyses of our method and demonstrate its effectiveness with both toy examples and practical applications. Notably, our method successfully handles REC tasks with $D_{\text{KL}}[Q||P]$ about three times greater than what previous methods can manage, and reduces the bitrate by approximately 5-15% in VAE-based lossless compression on MNIST and INR-based lossy compression on CIFAR-10, compared to previous methods, significantly improving the practicality of REC for neural compression.


title: Digitization and subduction of $SU(N)$ gauge theories

abstract: The simulation of lattice gauge theories on quantum computers necessitates digitizing gauge fields. One approach involves substituting the continuous gauge group with a discrete subgroup, but the implications of this approximation still need to be clarified. To gain insights, we investigate the subduction of $ SU(2) $ and $ SU(3)$ to discrete crystal-like subgroups. Using classical lattice calculations, we show that subduction offers valuable information based on subduced direct sums, helping us identify additional terms to incorporate into the lattice action that can mitigate the effects of digitization. Furthermore, we compute the static potentials of all irreducible representations of $ \Sigma(360 \times 3) $ at a fixed lattice spacing. Our results reveal a percent-level agreement with the Casimir scaling of ( SU(3) ) for irreducible representations that subduce to a single $ \Sigma(360 \times 3) $ irreducible representation. This provides a diagnostic measure of approximation quality, as some irreducible representations closely match the expected results while others exhibit significant deviations.


title: Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving

abstract: Metacognitive knowledge refers to humans' intuitive knowledge of their own thinking and reasoning processes. Today's best LLMs clearly possess some reasoning processes. The paper gives evidence that they also have metacognitive knowledge, including ability to name skills and procedures to apply given a task. We explore this primarily in context of math reasoning, developing a prompt-guided interaction procedure to get a powerful LLM to assign sensible skill labels to math questions, followed by having it perform semantic clustering to obtain coarser families of skill labels. These coarse skill labels look interpretable to humans. To validate that these skill labels are meaningful and relevant to the LLM's reasoning processes we perform the following experiments. (a) We ask GPT-4 to assign skill labels to training questions in math datasets GSM8K and MATH. (b) When using an LLM to solve the test questions, we present it with the full list of skill labels and ask it to identify the skill needed. Then it is presented with randomly selected exemplar solved questions associated with that skill label. This improves accuracy on GSM8k and MATH for several strong LLMs, including code-assisted models. The methodology presented is domain-agnostic, even though this article applies it to math problems.


title: Modeling citation worthiness by using attention-based bidirectional long short-term memory networks and interpretable models

abstract: Scientist learn early on how to cite scientific sources to support their claims. Sometimes, however, scientists have challenges determining where a citation should be situated -- or, even worse, fail to cite a source altogether. Automatically detecting sentences that need a citation (i.e., citation worthiness) could solve both of these issues, leading to more robust and well-constructed scientific arguments. Previous researchers have applied machine learning to this task but have used small datasets and models that do not take advantage of recent algorithmic developments such as attention mechanisms in deep learning. We hypothesize that we can develop significantly accurate deep learning architectures that learn from large supervised datasets constructed from open access publications. In this work, we propose a Bidirectional Long Short-Term Memory (BiLSTM) network with attention mechanism and contextual information to detect sentences that need citations. We also produce a new, large dataset (PMOA-CITE) based on PubMed Open Access Subset, which is orders of magnitude larger than previous datasets. Our experiments show that our architecture achieves state of the art performance on the standard ACL-ARC dataset ($F_{1}=0.507$) and exhibits high performance ($F_{1}=0.856$) on the new PMOA-CITE. Moreover, we show that it can transfer learning across these datasets. We further use interpretable models to illuminate how specific language is used to promote and inhibit citations. We discover that sections and surrounding sentences are crucial for our improved predictions. We further examined purported mispredictions of the model, and uncovered systematic human mistakes in citation behavior and source data. This opens the door for our model to check documents during pre-submission and pre-archival procedures. We make this new dataset, the code, and a web-based tool available to the community.


title: Optimistic Query Routing in Clustering-based Approximate Maximum Inner Product Search

abstract: Clustering-based nearest neighbor search is a simple yet effective method in which data points are partitioned into geometric shards to form an index, and only a few shards are searched during query processing to find an approximate set of top-$k$ vectors. Even though the search efficacy is heavily influenced by the algorithm that identifies the set of shards to probe, it has received little attention in the literature. This work attempts to bridge that gap by studying the problem of routing in clustering-based maximum inner product search (MIPS). We begin by unpacking existing routing protocols and notice the surprising contribution of optimism. We then take a page from the sequential decision making literature and formalize that insight following the principle of ``optimism in the face of uncertainty.'' In particular, we present a new framework that incorporates the moments of the distribution of inner products within each shard to optimistically estimate the maximum inner product. We then present a simple instance of our algorithm that uses only the first two moments to reach the same accuracy as state-of-the-art routers such as \scann by probing up to $50%$ fewer points on a suite of benchmark MIPS datasets. Our algorithm is also space-efficient: we design a sketch of the second moment whose size is independent of the number of points and in practice requires storing only $O(1)$ additional vectors per shard.


title: Modeling Magnetic Flux Emergence in Bipolar Active Regions

abstract: Active regions (ARs) appear in the solar atmosphere as a consequence of the emergence of magnetic flux-ropes (FR). In this study, we use Bayesian methods to analyze line-of-sight magnetograms of emerging ARs. We employ a FR model consisting of a half-torus field structure based on eight parameters. The goal is to derive constrained physical parameters of the originating FR which are consistent with the observations. Specifically, we aim to obtain a precise estimation of the AR tilt angle and magnetic twist at different stages of the emergence process. To achieve this, we propose four temporal methods that correlate the field parameter evolutions with a single coherent FR. These methods differ from each other in the size of the explored parameter space. We test the methods on four bipolar ARs observed with the Michelson Doppler Imager on board the Solar and Heliospheric Observatory. We find that tilt angles are typically consistent between the temporal methods, improving previous estimations at all stages of the emergence. The twist sign derived from the temporal methods is consistent with previous estimations. The standard errors of all the methods used are similar, indicating that they model the observations equally well. These results indicate that the proposed methods can be used to obtain global magnetic parameters of ARs during their early evolution. The derived parameters contribute to a better understanding of the formation of FRs, and the role of ARs in the magnetic recycling process along the solar cycle.


title: MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark

abstract: Recent advancements in large language models (LLMs) have showcased significant improvements in mathematics. However, traditional math benchmarks like GSM8k offer a unidimensional perspective, falling short in providing a holistic assessment of the LLMs' math capabilities. To address this gap, we introduce MathBench, a new benchmark that rigorously assesses the mathematical capabilities of large language models. MathBench spans a wide range of mathematical disciplines, offering a detailed evaluation of both theoretical understanding and practical problem-solving skills. The benchmark progresses through five distinct stages, from basic arithmetic to college mathematics, and is structured to evaluate models at various depths of knowledge. Each stage includes theoretical questions and application problems, allowing us to measure a model's mathematical proficiency and its ability to apply concepts in practical scenarios. MathBench aims to enhance the evaluation of LLMs' mathematical abilities, providing a nuanced view of their knowledge understanding levels and problem solving skills in a bilingual context. The project is released at https://github.com/open-compass/MathBench .


title: Blow-up solutions of the "bad" Boussinesq equation

abstract: We study blow-up solutions of the ``bad" Boussinesq equation, and prove that a wide range of asymptotic scenarios can happen. For example, for each $T>0$, $x_{0}\in \mathbb{R}$ and $\delta \in (0,1)$, we prove that there exist Schwartz class solutions $u(x,t)$ on $\mathbb{R} \times [0,T)$ such that $|u(x,t)| \leq C \frac{1+x^{2}}{(x-x_{0})^{2}}$ and $u(x_{0},t)\asymp (T-t)^{-\delta}$ as $t\to T$. We also prove that for any $q\in \mathbb{N}$, $T>0$, $x_{0}\in \mathbb{R}$, $\delta \in (0,\frac{1}{2})$, there exist Schwartz class solutions $u(x,t)$ on $\mathbb{R} \times [0,T)$ such that (i) $|\partial_{x}^{q_{1}}\partial_{t}^{q_{2}}u(x,t)|\leq C$ for each $q_{1},q_{2}\in \mathbb{N}$ such that $q_{1}+2q_{2}\leq q$, (ii) $|\partial_{x}^{q_{1}}\partial_{t}^{q_{2}}u(x,t)| \leq C \frac{1+|x|}{|x-x_{0}|}$ for each $q_{1},q_{2}\in \mathbb{N}$ such that $q_{1}+2q_{2}= q+1$, (iii) $|\partial_{x}^{q_{1}}\partial_{t}^{q_{2}}u(x_{0},t)| \asymp (T-t)^{-\delta}$ as $t\to T$ for each $q_{1},q_{2}\in \mathbb{N}$ such that $q_{1}+2q_{2}= q+1$. In particular, when $q=0$, this result establishes the existence of wave-breaking solutions, i.e. solutions that remain bounded but whose $x$-derivative blows up in finite time.


title: Slicedit: Zero-Shot Video Editing With Text-to-Image Diffusion Models Using Spatio-Temporal Slices

abstract: Text-to-image (T2I) diffusion models achieve state-of-the-art results in image synthesis and editing. However, leveraging such pretrained models for video editing is considered a major challenge. Many existing works attempt to enforce temporal consistency in the edited video through explicit correspondence mechanisms, either in pixel space or between deep features. These methods, however, struggle with strong nonrigid motion. In this paper, we introduce a fundamentally different approach, which is based on the observation that spatiotemporal slices of natural videos exhibit similar characteristics to natural images. Thus, the same T2I diffusion model that is normally used only as a prior on video frames, can also serve as a strong prior for enhancing temporal consistency by applying it on spatiotemporal slices. Based on this observation, we present Slicedit, a method for text-based video editing that utilizes a pretrained T2I diffusion model to process both spatial and spatiotemporal slices. Our method generates videos that retain the structure and motion of the original video while adhering to the target text. Through extensive experiments, we demonstrate Slicedit's ability to edit a wide range of real-world videos, confirming its clear advantages compared to existing competing methods. Webpage: https://matankleiner.github.io/slicedit/


title: Forced Measurement of Astronomical Sources at Low Signal to Noise

abstract: We propose a modified moment matching algorithm to avoid catastrophic failures for sources with a low signal to noise ratio (SNR). The proposed modifications include a method to eliminate non-physical negative pixel values and a forced single iteration with an initial guess derived from co-add measurements when iterative methods are unstable. We correct for all biases in measurements introduced by the method. We find that the proposed modifications allow the algorithm to avoid catastrophic failures in nearly 100\% of the cases, especially at low signal to noise ratio. Additionally, with a reasonable guess from co-add measurements, the algorithm measures the flux, centroid, size, shape and ellipticity with bias statistically consistent with zero. We show the proposed method allows us to measure sources seven times fainter than traditional methods when applied to images obtained from WIYN-ODI. We also present a scheme to find uncertainties in measurements when using the new method to measure astronomical sources.


title: Octo: An Open-Source Generalist Robot Policy

abstract: Large policies pretrained on diverse robot datasets have the potential to transform robotic learning: instead of training new policies from scratch, such generalist robot policies may be finetuned with only a little in-domain data, yet generalize broadly. However, to be widely applicable across a range of robotic learning scenarios, environments, and tasks, such policies need to handle diverse sensors and action spaces, accommodate a variety of commonly used robotic platforms, and finetune readily and efficiently to new domains. In this work, we aim to lay the groundwork for developing open-source, widely applicable, generalist policies for robotic manipulation. As a first step, we introduce Octo, a large transformer-based policy trained on 800k trajectories from the Open X-Embodiment dataset, the largest robot manipulation dataset to date. It can be instructed via language commands or goal images and can be effectively finetuned to robot setups with new sensory inputs and action spaces within a few hours on standard consumer GPUs. In experiments across 9 robotic platforms, we demonstrate that Octo serves as a versatile policy initialization that can be effectively finetuned to new observation and action spaces. We also perform detailed ablations of design decisions for the Octo model, from architecture to training data, to guide future research on building generalist robot models.


title: Tunable Spatiotemporal Orders in Driven Insulators

abstract: We show that driving optical phonons above a threshold fluence induces spatiotemporal orders, where material properties oscillate at an incommensurate wavevector $q_0$ in space and at half the drive frequency in time. The order is robust against temperature on timescales much larger than the lifetime of the excited modes and can be accompanied by a static $2q_0$ modulation. We make predictions for time-resolved diffraction and provide estimates for candidate materials. Our results show the possibility of using THz waves in solids to realize tunable incommensurate order on the nanoscale.


title: Optimal tail estimates in $\beta$-ensembles and applications to last passage percolation

abstract: Hermite and Laguerre $\beta$-ensembles are important and well studied models in random matrix theory with special cases $\beta=1,2,4$ corresponding to eigenvalues of classical random matrix ensembles. It is well known that the largest eigenvalues in these, under appropriate scaling, converge weakly to the Tracy-Widom $\beta$ distribution whose distribution function $F_{\beta}$ has asymptotics given by $1-F_{\beta}(x)=\exp\left(-\frac{2\beta}{3}(1+o(1))x^{3/2}\right)$ as $x\to \infty$ and $F_{\beta}(x)=\exp\left(-\frac{\beta}{24}(1+o(1))|x|^3\right)$ as $x\to -\infty$. Although tail estimates for the largest eigenvalues with correct exponents have been proved for the pre-limiting models, estimates with matching constants had not so far been established for general $\beta$; even in the exactly solvable cases, some of the bounds were missing. In this paper, we prove upper and lower moderate deviation estimates for both tails with matching constants. We illustrate the usefulness of these estimates by considering certain questions in planar exponential last passage percolation (LPP), a well-studied model in the KPZ universality class in which certain statistics have same distributions as largest eigenvalues in Laguerre $\beta$-ensembles (for $\beta=1,2,4$). Using our estimates in conjunction with a combination of old and new results on the LPP geometry, we obtain three laws of iterated logarithm including one which settles a conjecture of Ledoux (J. Theor. Probab., 2018). We expect that the sharp moderate deviation estimates will find many further applications in LPP problems and beyond.


title: Radiative transfer of 21-cm line through ionised cavities in an expanding universe

abstract: The optical depth parameterisation is typically used to study the 21-cm signals associated with the properties of the neutral hydrogen (HI) gas and the ionisation morphology during the Epoch of Reionisation (EoR), without solving the radiative transfer equation. To assess the uncertainties resulting from this simplification, we conduct explicit radiative transfer calculations using the cosmological 21-cm radiative transfer (C21LRT) code and examine the imprints of ionisation structures on the 21-cm spectrum. We consider a globally averaged reionisation history and implement fully ionised cavities (HII bubbles) of diameters $d$ ranging from 0.01 Mpc to 10 Mpc at epochs within the emission and the absorption regimes of the 21-cm global signal. The single-ray C21LRT calculations show that the shape of the imprinted spectral features are primarily determined by $d$ and the 21-cm line profile, which is parametrised by the turbulent velocity of the HI gas. It reveals the spectral features tied to the transition from ionised to neutral regions that calculations based on the optical depth parametrisation were unable to capture. We also present analytical approximations of the calculated spectral features of the HII bubbles. The multiple-ray calculations show that the apparent shape of a HII bubble (of $d=5$ Mpc at $z=8$), because of the finite speed of light, differs depending on whether the bubble's ionisation front is stationary or expanding. Our study shows the necessity of properly accounting for the effects of line-continuum interaction, line broadening and cosmological expansion to correctly predict the EoR 21-cm signals.


title: Adapting Large Multimodal Models to Distribution Shifts: The Role of In-Context Learning

abstract: Recent studies indicate that large multimodal models (LMMs) are highly robust against natural distribution shifts, often surpassing previous baselines. Despite this, domain-specific adaptation is still necessary, particularly in specialized areas like healthcare. Due to the impracticality of fine-tuning LMMs given their vast parameter space, this work investigates in-context learning (ICL) as an effective alternative for enhancing LMMs' adaptability. We find that the success of ICL heavily relies on the choice of demonstration, mirroring challenges seen in large language models but introducing unique complexities for LMMs facing distribution shifts. Our study addresses this by evaluating an unsupervised ICL method, TopKNearestPR, which selects in-context examples through a nearest example search based on feature similarity. We uncover that its effectiveness is limited by the deficiencies of pre-trained vision encoders under distribution shift scenarios. To address these challenges, we propose InvariantSelectPR, a novel method leveraging Class-conditioned Contrastive Invariance (CCI) for more robust demonstration selection. Specifically, CCI enhances pre-trained vision encoders by improving their discriminative capabilities across different classes and ensuring invariance to domain-specific variations. This enhancement allows the encoders to effectively identify and retrieve the most informative examples, which are then used to guide LMMs in adapting to new query samples under varying distributions. Our experiments show that InvariantSelectPR substantially improves the adaptability of LMMs, achieving significant performance gains on benchmark datasets, with a 34.2%$\uparrow$ accuracy increase in 7-shot on Camelyon17 and 16.9%$\uparrow$ increase in 7-shot on HAM10000 compared to the baseline zero-shot performance.


title: Fast Generalizable Gaussian Splatting Reconstruction from Multi-View Stereo

abstract: We present MVSGaussian, a new generalizable 3D Gaussian representation approach derived from Multi-View Stereo (MVS) that can efficiently reconstruct unseen scenes. Specifically, 1) we leverage MVS to encode geometry-aware Gaussian representations and decode them into Gaussian parameters. 2) To further enhance performance, we propose a hybrid Gaussian rendering that integrates an efficient volume rendering design for novel view synthesis. 3) To support fast fine-tuning for specific scenes, we introduce a multi-view geometric consistent aggregation strategy to effectively aggregate the point clouds generated by the generalizable model, serving as the initialization for per-scene optimization. Compared with previous generalizable NeRF-based methods, which typically require minutes of fine-tuning and seconds of rendering per image, MVSGaussian achieves real-time rendering with better synthesis quality for each scene. Compared with the vanilla 3D-GS, MVSGaussian achieves better view synthesis with less training computational cost. Extensive experiments on DTU, Real Forward-facing, NeRF Synthetic, and Tanks and Temples datasets validate that MVSGaussian attains state-of-the-art performance with convincing generalizability, real-time rendering speed, and fast per-scene optimization.


title: Locational marginal burden: Quantifying the equity of optimal power flow solutions

abstract: Fair distribution of benefits in electric power systems is a pertinent energy policymaking problem; however, these efforts cannot be easily quantified in power system engineering studies. Therefore, we propose locational marginal burden (LMB) to provide an interface between a well-studied measure of energy pricing equity, energy burden, with an optimal power flow problem (OPF). This is achieved by investigating the intrinsic link between the dual optimal solution of an OPF problem and the electricity prices, which are used to calculate the energy burden. By applying results from the field of differentiable optimization, locational marginal prices (LMPs) associated with an OPF solution can be differentiated with respect to demand. This enables electricity retail prices, and thereby, energy burden itself, to be differentiated, resulting in the proposed LMB. Simulation of a synthetic Hawaii network interfaced with real-world socioeconomic data shows how the LMB provides new insights into how the operation of the electricity network affects the equity of energy prices.


title: CMB-HD as a Probe of Dark Matter on Sub-Galactic Scales

abstract: We show for the first time that high-resolution CMB lensing observations can probe structure on sub-galactic scales. In particular, a CMB-HD experiment can probe out to k ~ 55 h/Mpc, corresponding to halo masses of about $10^8 M_{\odot}$. Over the range 0.005 h/Mpc < k < 55 h/Mpc, spanning four orders of magnitude, the total lensing signal-to-noise ratio (SNR) from the temperature, polarization, and lensing power spectra is greater than 1900. CMB-HD gains most of the lensing SNR at small scales from the temperature power spectrum, as opposed to the lensing spectrum. These lensing measurements allow CMB-HD to distinguish between cold dark matter (CDM) and non-CDM models that change the matter power spectrum on sub-galactic scales. We also find that CMB-HD can distinguish between baryonic feedback effects and non-CDM models due to the different way each impacts the lensing signal. The kinetic Sunyaev-Zel'dovich (kSZ) power spectrum further constrains non-CDM models that deviate from CDM on the smallest scales CMB-HD measures. For example, CMB-HD can detect 1 keV warm dark matter (WDM) at 30$\sigma$, or rule out about 7 keV WDM at 95% CL, in a $\Lambda$WDM + $N_{\rm{eff}} + \sum m_\nu + m_{\rm{WDM}} + \log_{10}T_{\rm{AGN}} + A_{\rm{kSZ}} + n_{\rm{kSZ}}$ model; here $T_{\rm{AGN}}$ characterizes the strength of the feedback, and $A_{\rm{kSZ}}$ and $n_{\rm{kSZ}}$ allow freedom in the amplitude and slope of the kinetic Sunyaev-Zel'dovich power spectrum. We make the CMB-HD Fisher code used here publicly available, and note that it can be modified to use any non-CDM model that changes the matter power spectrum.


title: Images that Sound: Composing Images and Sounds on a Single Canvas

abstract: Spectrograms are 2D representations of sound that look very different from the images found in our visual world. And natural images, when played as spectrograms, make unnatural sounds. In this paper, we show that it is possible to synthesize spectrograms that simultaneously look like natural images and sound like natural audio. We call these spectrograms images that sound. Our approach is simple and zero-shot, and it leverages pre-trained text-to-image and text-to-spectrogram diffusion models that operate in a shared latent space. During the reverse process, we denoise noisy latents with both the audio and image diffusion models in parallel, resulting in a sample that is likely under both models. Through quantitative evaluations and perceptual studies, we find that our method successfully generates spectrograms that align with a desired audio prompt while also taking the visual appearance of a desired image prompt. Please see our project page for video results: https://ificl.github.io/images-that-sound/


title: Influence based explainability of brain tumors segmentation in multimodal Magnetic Resonance Imaging

abstract: In recent years Artificial Intelligence has emerged as a fundamental tool in medical applications. Despite this rapid development, deep neural networks remain black boxes that are difficult to explain, and this represents a major limitation for their use in clinical practice. We focus on the segmentation of medical images task, where most explainability methods proposed so far provide a visual explanation in terms of an input saliency map. The aim of this work is to extend, implement and test instead an influence-based explainability algorithm, TracIn, proposed originally for classification tasks, in a challenging clinical problem, i.e., multiclass segmentation of tumor brains in multimodal Magnetic Resonance Imaging. We verify the faithfulness of the proposed algorithm linking the similarities of the latent representation of the network to the TracIn output. We further test the capacity of the algorithm to provide local and global explanations, and we suggest that it can be adopted as a tool to select the most relevant features used in the decision process. The method is generalizable for all semantic segmentation tasks where classes are mutually exclusive, which is the standard framework in these cases.


title: Cascaded Multi-path Shortcut Diffusion Model for Medical Image Translation

abstract: Image-to-image translation is a vital component in medical imaging processing, with many uses in a wide range of imaging modalities and clinical scenarios. Previous methods include Generative Adversarial Networks (GANs) and Diffusion Models (DMs), which offer realism but suffer from instability and lack uncertainty estimation. Even though both GAN and DM methods have individually exhibited their capability in medical image translation tasks, the potential of combining a GAN and DM to further improve translation performance and to enable uncertainty estimation remains largely unexplored. In this work, we address these challenges by proposing a Cascade Multi-path Shortcut Diffusion Model (CMDM) for high-quality medical image translation and uncertainty estimation. To reduce the required number of iterations and ensure robust performance, our method first obtains a conditional GAN-generated prior image that will be used for the efficient reverse translation with a DM in the subsequent step. Additionally, a multi-path shortcut diffusion strategy is employed to refine translation results and estimate uncertainty. A cascaded pipeline further enhances translation quality, incorporating residual averaging between cascades. We collected three different medical image datasets with two sub-tasks for each dataset to test the generalizability of our approach. Our experimental results found that CMDM can produce high-quality translations comparable to state-of-the-art methods while providing reasonable uncertainty estimations that correlate well with the translation error.


title: Estimation of FFR in coronary arteries with deep learning

abstract: Coronary artery disease (CAD) is one of the most common causes of death in the European Union and the USA. The crucial biomarker in its diagnosis is called Fractional Flow Reserve (FFR) and its in-vivo measurement is obtained via an invasive diagnostic technique in the form of coronagraphy. In order to address the invasive drawbacks associated with a procedure, a new approach virtual FFR (vFFR) measurement has emerged in recent years. This technique involves using computed tomography angiography (CTA) to obtain virtual measurements of FFR. By utilizing Computational Fluid Dynamics (CFD), vFFR estimates can be derived from CTA data, providing a promising in-silico alternative to traditional methods. However, the widespread adoption of vFFR from CTA as a diagnostic technique is hindered by two main challenges: time and computational requirements. In this work, we explore the usage of deep learning techniques as surrogate CFD engine models in the task of vFFR estimation in coronary arteries to drastically limit the required time and computational costs without a major drop in quality. We propose a novel approach to vFFR estimation by representing the input vessel geometry as a point cloud and utilizing the hybrid neural network that learns geometry representation based on both explicitly and implicitly given features. We evaluate the method from the clinical point of view and showcase that it can serve as a compelling replacement for commonly utilized CFD-based approaches.


title: Unraveling the Autism spectrum heterogeneity: Insights from ABIDE I Database using data/model-driven permutation testing approaches

abstract: Autism Spectrum Condition (ASC) is a neurodevelopmental condition characterized by impairments in communication, social interaction and restricted or repetitive behaviors. Extensive research has been conducted to identify distinctions between individuals with ASC and neurotypical individuals. However, limited attention has been given to comprehensively evaluating how variations in image acquisition protocols across different centers influence these observed differences. This analysis focuses on structural magnetic resonance imaging (sMRI) data from the Autism Brain Imaging Data Exchange I (ABIDE I) database, evaluating subjects' condition and individual centers to identify disparities between ASC and control groups. Statistical analysis, employing permutation tests, utilizes two distinct statistical mapping methods: Statistical Agnostic Mapping (SAM) and Statistical Parametric Mapping (SPM). Results reveal the absence of statistically significant differences in any brain region, attributed to factors such as limited sample sizes within certain centers, noise effects and the problem of multicentrism in a heterogeneous condition such as autism. This study indicates limitations in using the ABIDE I database to detect structural differences in the brain between neurotypical individuals and those diagnosed with ASC. Furthermore, results from the SAM mapping method show greater consistency with existing literature.


title: Quantum inspired approach for denoising with application to medical imaging

abstract: Background noise in many fields such as medical imaging poses significant challenges for accurate diagnosis, prompting the development of denoising algorithms. Traditional methodologies, however, often struggle to address the complexities of noisy environments in high dimensional imaging systems. This paper introduces a novel quantum-inspired approach for image denoising, drawing upon principles of quantum and condensed matter physics. Our approach views medical images as amorphous structures akin to those found in condensed matter physics and we propose an algorithm that incorporates the concept of mode resolved localization directly into the denoising process. Notably, our approach eliminates the need for hyperparameter tuning. The proposed method is a standalone algorithm with minimal manual intervention, demonstrating its potential to use quantum-based techniques in classical signal denoising. Through numerical validation, we showcase the effectiveness of our approach in addressing noise-related challenges in imaging and especially medical imaging, underscoring its relevance for possible quantum computing applications.


title: Holographic thermodynamics of a charged AdS black holes with global monopole

abstract: By regarding the Newton constant {G}N and cosmological constant {\Lambda} as variables, we in this paper study the thermodynamics and phase transition of Reissner-Nordstrom anti-de Sitter (RN-AdS) black hole with global monopole in the framework of AdS/CFT correspondence. It is found that there are interesting critical phenomena and phase behaviors in the (grand) canonical ensembles of fixed (Q, V, C), ({\Phi}, V, C) and (Q, V, {\mu}). When the other parameters are fixed, the free energy increases with the global monopole increases. In (Q, V, C) ensemble, the range of unstable region increases with the increase of global monopole. In ({\Phi}, V, C) ensemble, when {\Phi} < {\Phi}c, the free energy appears two branches, the upper and lower branches correspond to low entropy and high entropy respectively. When (Q, V, {\mu}) is fixed, a new zero-order phase transition occurs in the high-entropy phase and the low-entropy phase at certain {\mu}-dependent temperatures. When {\mu} increases to a certain value, this zero-order phase transition disappears. This certain value is positively related to the magnitude of the global monopole. Finally, we find that p-V criticality does not appear with the change of global monopole. Therefore, it is important to note that the CFT states of charged black holes with global monopole do not correspond to Van der Waals fluids. Finally, we find that charged black holes with global monopoles can better reflect thermodynamic phase transitions and critical phenomena under the AdS/CFT correspondence. By adjusting the change of the global monopole, the thermodynamic phase transition will also change.


title: Fast Stochastic Policy Gradient: Negative Momentum for Reinforcement Learning

abstract: Stochastic optimization algorithms, particularly stochastic policy gradient (SPG), report significant success in reinforcement learning (RL). Nevertheless, up to now, that how to speedily acquire an optimal solution for RL is still a challenge. To tackle this issue, this work develops a fast SPG algorithm from the perspective of utilizing a momentum, coined SPG-NM. Specifically, in SPG-NM, a novel type of the negative momentum (NM) technique is applied into the classical SPG algorithm. Different from the existing NM techniques, we have adopted a few hyper-parameters in our SPG-NM algorithm. Moreover, the computational complexity is nearly same as the modern SPG-type algorithms, e.g., accelerated policy gradient (APG), which equips SPG with Nesterov's accelerated gradient (NAG). We evaluate the resulting algorithm on two classical tasks, bandit setting and Markov decision process (MDP). Numerical results in different tasks demonstrate faster convergence rate of the resulting algorithm by comparing state-of-the-art algorithms, which confirm the positive impact of NM in accelerating SPG for RL. Also, numerical experiments under different settings confirm the robustness of our SPG-NM algorithm for some certain crucial hyper-parameters, which ride the user feel free in practice.


title: Multi-task learning for molecular electronic structure approaching coupled-cluster accuracy

abstract: Machine learning (ML) plays an important role in quantum chemistry, providing fast-to-evaluate predictive models for various properties of molecules. However, most existing ML models for molecular electronic properties use density functional theory (DFT) databases as ground truth in training, and their prediction accuracy cannot surpass that of DFT. In this work, we developed a unified ML method for electronic structures of organic molecules using the gold-standard CCSD(T) calculations as training data. Tested on hydrocarbon molecules, our model outperforms DFT with the widely-used hybrid and double hybrid functionals in computational costs and prediction accuracy of various quantum chemical properties. As case studies, we apply the model to aromatic compounds and semiconducting polymers on both ground state and excited state properties, demonstrating its accuracy and generalization capability to complex systems that are hard to calculate using CCSD(T)-level methods.

categories: physics.chem-ph cond-mat.mtrl-sci cs.AI cs.CE physics.comp-ph


title: Computing the Instantaneous Collision Probability between Satellites using Characteristic Function Inversion

abstract: The probability that two satellites overlap in space at a specified instant of time is called their instantaneous collision probability. Assuming Gaussian uncertainties and spherical satellites, this probability is the integral of a Gaussian distribution over a sphere. This paper shows how to compute the probability using an established numerical procedure called characteristic function inversion. The collision probability in the short-term encounter scenario is also evaluated with this approach, where the instant at which the probability is computed is the time of closest approach between the objects. Python and R code is provided to evaluate the probability in practice. Overall, the approach has been established for over fifty years, is implemented in existing software, does not rely on analytical approximations, and can be used to evaluate two and three dimensional collision probabilities.


title: Medium effects of charged-hadron production in $p+Pb$ and $Pb+Pb$ collisions at LHC energies using modified Tsallis distribution

abstract: The transverse momentum ($p_T$) spectra of charged hadrons in $p+p$, $p+Pb$ and $Pb+Pb$ collisions at $\sqrt {s_{NN}} = 5.02$ TeV are presented here within the rapidity range of $-2.5<y<2.0$. We study the medium effects, which is produced by heavy ion collisions, on the behaviour of charged hadrons, by using a phenomenological fit function. These effects are attributed to two main factors: the transverse collective flow and the the energy loss of charged hadrons due to multiple scatterings. We observe the transverse collective flow at low and intermediate $p_T$ region and the energy loss at high $p_T$ region. Here we take all the published data from the ATLAS collaboration.


title: Charge-transport forecasted via deep learning in the photosystem II reaction center

abstract: Predicting future physical behavior through the limited theoretical simulation data available is an emerging research paradigm resulted by the integration of artificial intelligence technology and quantum physics. In this work, the charge-transport(CT) behavior was forecasted over a long time by a deep learning model, the long short-term memory (LSTM) network with error threshold training method in the photosynthesis II reaction center (PSII-RC). The theoretical simulation data within 8 fs was fed to the modified LSTM network for training, which brings out a distinct prediction with difference of $10^{-4}$ orders of magnitude over a long time period compared to the collection time for training sets. The results indicate the potential of employing LSTM to reveal the physics governing CT in addition to quantum physical methods. The implications of this work warrant further investigation to fully elucidate the scope and efficacy of LSTM for advancing our understanding of photosynthesis at the molecular scale.


title: Anthropic Selection for a Low-Entropy Past

abstract: The definition of thermodynamic entropy is dependent on one's assignment of physical microstates to observed macrostates. As a result, low entropy in the distant past could be equivalently explained by selection of a particular observer. In this paper, I make the case that because we observe a low-entropy past everywhere even as we look further and further away, anthropic selection over observers does not explain the non-equilibrium state of the observed cosmos. Under a uniform prior over possible world states, the probability of a non-equilibrium past, given our local observations, decreases to zero as the size of the world tends toward infinity. This claim is not dependent on choice of observer, unless the amount of information used to encode the observer's coarse-graining perception function scales linearly with the size of the world. As a result, for anthropic selection to choose a world like the one we live in, the initial state of a universe with size $N$ must be low-information, having Kolmogorov complexity that does not scale with $N$.


title: Joint Prediction Regions for time-series models

abstract: Machine Learning algorithms are notorious for providing point predictions but not prediction intervals. There are many applications where one requires confidence in predictions and prediction intervals. Stringing together, these intervals give rise to joint prediction regions with the desired significance level. It is an easy task to compute Joint Prediction regions (JPR) when the data is IID. However, the task becomes overly difficult when JPR is needed for time series because of the dependence between the observations. This project aims to implement Wolf and Wunderli's method for constructing JPRs and compare it with other methods (e.g. NP heuristic, Joint Marginals). The method under study is based on bootstrapping and is applied to different datasets (Min Temp, Sunspots), using different predictors (e.g. ARIMA and LSTM). One challenge of applying the method under study is to derive prediction standard errors for models, it cannot be obtained analytically. A novel method to estimate prediction standard error for different predictors is also devised. Finally, the method is applied to a synthetic dataset to find empirical averages and empirical widths and the results from the Wolf and Wunderli paper are consolidated. The experimental results show a narrowing of width with strong predictors like neural nets, widening of width with increasing forecast horizon H and decreasing significance level alpha, controlling the width with parameter k in K-FWE, and loss of information using Joint Marginals.


title: Hypergraph: A Unified and Uniform Definition with Application to Chemical Hypergraph

abstract: The conventional definition of hypergraph has two major issues: (1) there is not a standard definition of directed hypergraph and (2) there is not a formal definition of nested hypergraph. To resolve these issues, we propose a new definition of hypergraph that unifies the concepts of undirected, directed and nested hypergraphs, and that is uniform in using hyperedge as a single construct for representing high-order correlations among things, i.e., nodes and hyperedges. Specifically, we define a hyperedge to be a simple hyperedge, a nesting hyperedge, or a directed hyperedge. With this new definition, a hypergraph is nested if it has nesting hyperedge(s), and is directed if it has directed hyperedge(s). Otherwise, a hypergraph is a simple hypergraph. The uniformity and power of this new definition, with visualization, should facilitate the use of hypergraph for representing (hierarchical) high-order correlations in general and chemical systems in particular. Graph has been widely used as a mathematical structure for machine learning on molecular structures and 3D molecular geometries. However, graph has a major limitation: it can represent only pairwise correlations between nodes. Hypergraph extends graph with high-order correlations among nodes. This extension is significant or essential for machine learning on chemical systems. For molecules, this is significant as it allows the direct, explicit representation of multicenter bonds and molecular substructures. For chemical reactions, this is essential since most chemical reactions involve multiple participants. We propose the use of chemical hypergraph, a multilevel hypergraph with simple, nesting and directed hyperedges, as a single mathematical structure for representing chemical systems. We apply the new definition of hypergraph to chemical hypergraph and, as simplified versions, molecular hypergraph and chemical reaction hypergraph.


title: Fully Distributed Fog Load Balancing with Multi-Agent Reinforcement Learning

abstract: Real-time Internet of Things (IoT) applications require real-time support to handle the ever-growing demand for computing resources to process IoT workloads. Fog Computing provides high availability of such resources in a distributed manner. However, these resources must be efficiently managed to distribute unpredictable traffic demands among heterogeneous Fog resources. This paper proposes a fully distributed load-balancing solution with Multi-Agent Reinforcement Learning (MARL) that intelligently distributes IoT workloads to optimize the waiting time while providing fair resource utilization in the Fog network. These agents use transfer learning for life-long self-adaptation to dynamic changes in the environment. By leveraging distributed decision-making, MARL agents effectively minimize the waiting time compared to a single centralized agent solution and other baselines, enhancing end-to-end execution delay. Besides performance gain, a fully distributed solution allows for a global-scale implementation where agents can work independently in small collaboration regions, leveraging nearby local resources. Furthermore, we analyze the impact of a realistic frequency to observe the state of the environment, unlike the unrealistic common assumption in the literature of having observations readily available in real-time for every required action. The findings highlight the trade-off between realism and performance using an interval-based Gossip-based multi-casting protocol against assuming real-time observation availability for every generated workload.


title: EKM: An exact, polynomial-time algorithm for the $K$-medoids problem

abstract: The $K$-medoids problem is a challenging combinatorial clustering task, widely used in data analysis applications. While numerous algorithms have been proposed to solve this problem, none of these are able to obtain an exact (globally optimal) solution for the problem in polynomial time. In this paper, we present EKM: a novel algorithm for solving this problem exactly with worst-case $O\left(N^{K+1}\right)$ time complexity. EKM is developed according to recent advances in transformational programming and combinatorial generation, using formal program derivation steps. The derived algorithm is provably correct by construction. We demonstrate the effectiveness of our algorithm by comparing it against various approximate methods on numerous real-world datasets. We show that the wall-clock run time of our algorithm matches the worst-case time complexity analysis on synthetic datasets, clearly outperforming the exponential time complexity of benchmark branch-and-bound based MIP solvers. To our knowledge, this is the first, rigorously-proven polynomial time, practical algorithm for this ubiquitous problem.


title: Exploring Ground and Excited States via Single Reference Coupled-Cluster Theory and Algebraic Geometry

abstract: The exploration of the root structure of coupled cluster equations holds both foundational and practical significance for computational quantum chemistry. This study provides insight into the intricate root structures of these non-linear equations at both the CCD and CCSD level of theory. We utilize computational techniques from algebraic geometry, specifically the monodromy and parametric homotopy continuation methods, to calculate the full solution set. We compare the computed CC roots against various established theoretical upper bounds, shedding light on the accuracy and efficiency of these bounds. We hereby focus on the dissociation processes of four-electron systems such as (H$_2$)$_2$ in both D$_{2{\rm h}}$ and D$_{\infty {\rm h}}$ configurations, H$_4$ symmetrically distorted on a circle, and lithium hydride. We moreover investigate the ability of single-reference coupled cluster solutions to approximate excited state energies. We find that multiple CC roots describe energies of excited states with high accuracy. Remarkably, our investigations reveal that for systems like lithium hydride, CC not only provides high-accuracy approximations to several excited state energies but also to the states themselves.

categories: physics.chem-ph math.AG physics.comp-ph quant-ph


title: Quantum entanglement between neutrino eigenstates in the presence of the subsequent phase shift of the neutrino oscillations

abstract: In this Letter, using von Neumann entropy we examine the entanglement entropy for the neutrino oscillations in the presence of the subsequent phase shift. We numerically show that the entanglement entropy for the subsequent periods of the two-flavor neutrino oscillations increases asymmetrically with time depending on the space-time deformation. We also explored the obtained results for the three-flavor neutrino oscillations to show that this result is also valid for the three-flavor neutrino oscillations. These results, obtained for the first time in this Letter, are quite different from the computing for the standard neutrino oscillation theory. We concluded that these interesting results play an important role in the cosmology.


title: Modelo de la inflaci\'on en Costa Rica

abstract: The stability of the inflation rate is a necessary condition for the proper functioning of any capitalist economy. In an economic environment with volatile inflation, the growth of the economy and its distribution among the agents of society is compromised. For this reason, and because in Costa Rica, as in most capitalist nations, the monetary authority is in charge of maintaining price stability, it is necessary to have models capable of predicting the behavior of inflation. on in the country. Along these lines, this work aims to compare two of the main types of basic predictive models found in the literature: univariate autoregressive models, exemplified by ARIMA models, and multivariate models formulated based on the theory. economics, like the Phillips curve.


title: Identifying Functionally Important Features with End-to-End Sparse Dictionary Learning

abstract: Identifying the features learned by neural networks is a core challenge in mechanistic interpretability. Sparse autoencoders (SAEs), which learn a sparse, overcomplete dictionary that reconstructs a network's internal activations, have been used to identify these features. However, SAEs may learn more about the structure of the datatset than the computational structure of the network. There is therefore only indirect reason to believe that the directions found in these dictionaries are functionally important to the network. We propose end-to-end (e2e) sparse dictionary learning, a method for training SAEs that ensures the features learned are functionally important by minimizing the KL divergence between the output distributions of the original model and the model with SAE activations inserted. Compared to standard SAEs, e2e SAEs offer a Pareto improvement: They explain more network performance, require fewer total features, and require fewer simultaneously active features per datapoint, all with no cost to interpretability. We explore geometric and qualitative differences between e2e SAE features and standard SAE features. E2e dictionary learning brings us closer to methods that can explain network behavior concisely and accurately. We release our library for training e2e SAEs and reproducing our analysis at https://github.com/ApolloResearch/e2e_sae


title: Pheno & Cosmo Implications of Scotogenic 3-loop Neutrino Mass Models

abstract: Radiative seesaw models are examples of interesting and testable extensions of the Standard Model to explain the light neutrino masses. In radiative models at 1-loop level, such as the popular scotogenic model, in order to successfully reproduce neutrino masses and mixing, one has to rely either on unnaturally small Yukawa couplings or on a very small mass splitting between the CP-even and CP-odd components of the neutral scalar mediators. We discuss here scotogenic-like models where light-active neutrino masses arise at the three-loop level, providing a more natural explanation for their smallness. The proposed models are consistent with the neutrino oscillation data and allow to successfully accommodate the measured dark matter relic abundance. Depending on the specific realization, it is also possible to explain the W-mass anomaly and to generate the baryon asymmetry of the Universe via leptogenesis. The models lead to rich phenomenology, predicting sizable charged-lepton flavor violation rates, potentially observable in near future experiments, while satisfying all current constraints imposed by neutrinoless double-beta decay, charged-lepton flavor violation and electroweak precision observables.