title: What If Turing Had Preceded G\"odel?

abstract: The overarching theme of the following pages is that mathematical logic -- centered around the incompleteness theorems -- is first and foremost an investigation of $\textit{computation}$, not arithmetic. Guided by this intuition we will show the following. * First, we'll all but eliminate the need for G\"odel numbers. * Next, we'll introduce a novel notational device for representable functions and walk through a condensed demonstration that Peano Arithmetic can represent every computable function. It has achieved Turing completeness. * Continuing, we'll derive the Diagonal Lemma and First Incompleteness Theorem using significantly simplified proofs. * Approaching the Second Incompleteness Theorem, we'll be able to use some self-referential trickery to avoid much of the technical morass surrounding it; arriving at three separate versions. * Extending the analogy between the First Incompleteness Theorem and the Unsolvability of the Halting Problem produces an equivalent of the Nondeterministic Time Hierarchy Theorem from the field of computational complexity. * Lastly, we'll briefly peer into the realm of the uncomputable by connecting our ideas to oracles.


title: A Brief Note on a Recent Claim About NP-Hard Problems and BQP

abstract: This short note outlines some of the issues in Czerwinski's paper [Cze23] claiming that NP-hard problems are not in BQP. We outline one major issue and two minor issues, and conclude that their paper does not establish what they claim it does.


title: LPSim: Large Scale Multi-GPU Parallel Computing based Regional Scale Traffic Simulation Framework

abstract: Traffic propagation simulation is crucial for urban planning, enabling congestion analysis, travel time estimation, and route optimization. Traditional micro-simulation frameworks are limited to main roads due to the complexity of urban mobility and large-scale data. We introduce the Large Scale Multi-GPU Parallel Computing based Regional Scale Traffic Simulation Framework (LPSim), a scalable tool that leverages GPU parallel computing to simulate extensive traffic networks with high fidelity and reduced computation time. LPSim performs millions of vehicle dynamics simulations simultaneously, outperforming CPU-based methods. It can complete simulations of 2.82 million trips in 6.28 minutes using a single GPU, and 9.01 million trips in 21.16 minutes on dual GPUs. LPSim is also tested on dual NVIDIA A100 GPUs, achieving simulations about 113 times faster than traditional CPU methods. This demonstrates its scalability and efficiency for large-scale applications, making LPSim a valuable resource for researchers and planners. Code: https://github.com/Xuan-1998/LPSim


title: On the Simulation Power of Surface Chemical Reaction Networks

abstract: The Chemical Reaction Network (CRN) is a well-studied model that describes the interaction of molecules in well-mixed solutions. In 2014, Qian and Winfree [22] proposed the abstract surface chemical reaction network model (sCRN), which takes the advantage of spatial separation by placing molecules on a structured surface, limiting the interaction between molecules. In this model, molecules can only react with their immediate neighbors. Many follow up works study the computational and pattern-construction power of sCRNs. In this work, our goal is to describe the power of sCRN by relating the model to other well-studied models in distributed computation. In this work, our main result is to show that, given the same initial configuration, sCRN, affinity strengthening tile automata, cellular automata, and amoebot can all simulate each other (up to unavoidable rotation and reflection of the pattern). One of our techniques is a coloring on-the-fly, which allows all molecules in sCRN to have a global orientation.


title: A matricial view of the Collatz conjecture

abstract: In this note, it is shown that the nilpotency of submatrices of a certain class of adjacency matrices is equivalent to the Collatz conjecture. Our main result extends the previous work of Alves et al. and clarifies a conjecture made by Cardon and Tuckfield.


title: More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities

abstract: We prove that the permutation computed by a reversible circuit with $\tilde{O}(nk\cdot \log(1/\varepsilon))$ random $3$-bit gates is $\varepsilon$-approximately $k$-wise independent. Our bound improves on currently known bounds in the regime when the approximation error $\varepsilon$ is not too small. We obtain our results by analyzing the log-Sobolev constants of appropriate Markov chains rather than their spectral gaps.


title: Newman's theorem via Carath\'eodory

abstract: We give a streamlined short proof of Newman's theorem in communication complexity by applying the classical and the approximate Carath\'eodory's theorems.


title: Foundational Issues in Group Field Theory

abstract: In this paper I offer an introduction to group field theory (GFT) and to some of the issues affecting the foundations of this approach to quantum gravity. I first introduce covariant GFT as the theory that one obtains by interpreting the amplitudes of certain spin foam models as Feynman amplitudes in a perturbative expansion. However, I argue that it is unclear that this definition of GFTs amounts to something beyond a computational rule for finding these transition amplitudes and that GFT doesn't seem able to offer any new insight into the foundations of quantum gravity. Then, I move to another formulation of GFT which I call canonical GFT and which uses the standard structures of quantum mechanics. This formulation is of extended use in cosmological applications of GFT, but I argue that it is only heuristically connected with the covariant version and spin foam models. Moreover, I argue that this approach is affected by a version of the problem of time which raises worries about its viability. Therefore, I conclude that there are serious concerns about the justification and interpretation of GFT in either version of it.


title: Observation of sequential three-body dissociation of camphor molecule -- a native frame approach

abstract: The three-body dissociation dynamics of the dicationic camphor molecule (C$_{10}$H$_{16}$O$^{2+}$) resulting from Auger decay are investigated using soft X-ray synchrotron radiation. A photoelectron-photoion-photoion coincidence (PEPIPICO) method, a combination of a velocity map imaging (VMI) spectrometer and a time-of-flight (ToF) spectrometer is employed to measure the 3D momenta of ions detected in coincidence. The ion mass spectra and the ion-ion coincidence map at photon energies of 287.9 eV (below the C 1s ionization potential) and 292.4 eV (above the C 1s ionization potential for skeletal carbon) reveal that fragmentation depends on the final dicationic state rather than the initial excitation. Using the native frame method, three new fragmentation channels are discussed; (1) CH$_2$CO$^+$ + C$_7$H$_{11}^+$ + CH$_3$, (2) CH$_3^+$ + C$_7$H$_{11}^+$ + CH$_2$CO, and (3) C$_2$H$_5^+$ + C$_6$H$_9^+$ + CH$_2$CO. The dominating nature of sequential decay with deferred charge separation is clearly evidenced in all three channels. The results are discussed based on the experimental angular distributions and momenta distributions, corroborated by geometry optimization of the ground, monocationic, and dicationic camphor molecule.


title: Formulas of special polynomials involving Bernoulli polynomials derived from matrix equations and Laplace transform

abstract: The main purpose and motivation of this article is to create a linear transformation on the polynomial ring of rational numbers. A matrix representation of this linear transformation based on standard fundamentals will be given. For some special cases of this matrix, matrix equations including inverse matrices, the Bell polynomials will be given. With the help of these equations, new formulas containing different polynomials, especially the Bernoulli polynomials, will be given. Finally, by applying the Laplace transform to the generating function for the Bernoulli polynomials, we derive some novel formulas involving the Hurwitz zeta function and infinite series.


abstract: Let $\{\tau_n\}_{n=1}^\infty$ and $\{\omega_m\}_{m=1}^\infty$ be two modular Parseval frames for a Hilbert C*-module $\mathcal{E}$. Then for every $x \in \mathcal{E}\setminus\{0\}$, we show that \begin{align} (1) \quad \quad \quad \quad \|\theta_\tau x \|_0 \|\theta_\omega x \|_0 \geq \frac{1}{\sup_{n, m \in \mathbb{N}} \|\langle \tau_n, \omega_m\rangle \|^2}. \end{align} We call Inequality (1) as \textbf{Noncommutative Donoho-Stark-Elad-Bruckstein-Ricaud-Torr\'{e}sani Uncertainty Principle}. Inequality (1) is the noncommutative analogue of breakthrough Ricaud-Torr\'{e}sani uncertainty principle \textit{[IEEE Trans. Inform. Theory, 2013]}. In particular, Inequality (1) extends Elad-Bruckstein uncertainty principle \textit{[IEEE Trans. Inform. Theory, 2002]} and Donoho-Stark uncertainty principle \textit{[SIAM J. Appl. Math., 1989]}.


title: Warping labeling for twisted knots and twisted virtual braids

abstract: In this paper, we introduce the concept of the warping degree for twisted knots, construct an invariant for them, and utilize it to establish a labeling scheme for these knots, known as ``warping labeling". We have identified that a warping labeling can be extended to twisted virtual braids, enabling the creation of a function that remains invariant under all R-moves except the R2 move. By limiting the labeling set to $\mathbb{Z}_2$, we can develop invariants for twisted virtual braids.


title: RGFN: Synthesizable Molecular Generation Using GFlowNets

abstract: Generative models hold great promise for small molecule discovery, significantly increasing the size of search space compared to traditional in silico screening libraries. However, most existing machine learning methods for small molecule generation suffer from poor synthesizability of candidate compounds, making experimental validation difficult. In this paper we propose Reaction-GFlowNet (RGFN), an extension of the GFlowNet framework that operates directly in the space of chemical reactions, thereby allowing out-of-the-box synthesizability while maintaining comparable quality of generated candidates. We demonstrate that with the proposed set of reactions and building blocks, it is possible to obtain a search space of molecules orders of magnitude larger than existing screening libraries coupled with low cost of synthesis. We also show that the approach scales to very large fragment libraries, further increasing the number of potential molecules. We demonstrate the effectiveness of the proposed approach across a range of oracle models, including pretrained proxy models and GPU-accelerated docking.


title: Experimental and Computational Investigation of the Influence of Ethanol on Auto-ignition of n-Heptane in Non-Premixed Flows

abstract: Experimental and computational investigations are carried out to elucidate the influence of ethanol addition on n-heptane auto-ignition in counterflows. An axisymmetric stream of air, temperature gradually increased, is directed onto the surface of an evaporating pool of a liquid fuel. The air-stream temperature at auto-ignition is measured at various strain rates for n-heptane, ethanol, and various n-heptane/ethanol mixtures. Critical conditions for auto-ignition are predicted employing San Diego Mechanism for both fuels and fuel mixtures, and the results are compared with measurements. Measurements and predictions show that low-temperature chemistry (LTC) plays a significant role in promoting auto-ignition of n-heptane at low strain rates, but there is insufficient residence time at high strain rates for LTC to take place, so auto-ignition is promoted by high-temperature chemistry. Experimental and computational results show addition of ethanol inhibits LTC of n-heptane. To identify the responsible elementary steps, computations are performed to identify those dominate O2 consumption and contribute to the temperature rise in the reaction zone for n-heptane and n-heptane/ethanol mixtures at low strain rates. For n-heptane, O2 is consumed primarily by the low-temperature steps that result in ketohydroperoxide; the temperature rise is produced by subsequent LTC steps. For the mixtures, a key step consuming O2 is O2 + CH3CHOH = HO2 + CH3CHO, and the heat release occurs through the classical high-temperature reaction mechanism. Thus, the inhibition of auto-ignition that is observed to occur when ethanol is added to n-heptane arises from the competition for O2 between this step and the LTC addition of O2 to the heptyl radical and to the radical arising from the subsequent isomerization, for n-heptane.


title: Renovating Calculus through Interdisciplinary Partnerships Using the SUMMIT-P Model

abstract: This review paper highlights research findings from the authors' participation in the SUMMIT-P project, which studied how to build and sustain multi-institutional interdisciplinary partnerships to design and implement curricular change in mathematics courses in the first two years of college, using the Curriculum Foundations Project (CFP) as a launchpad. The CFP interviewed partner discipline faculty to learn about the mathematical needs of their students and how they use mathematics in their courses. This paper summarizes research findings from the CFP and the SUMMIT-P project, and presents a detailed example of how these findings were implemented in the calculus sequence at Augsburg University to improve course focus, increase the relevance of course content, and provide opportunities for student to practice transference of the calculus to disciplinary contexts. This paper is based on the talk "Applied and Active Calculus Built Through Interdisciplinary Partnerships" presented at the 2022 AWM Research Symposium in the Session on "Research on the First Two Years of College Mathematics".


title: Noncommutative Bohnenblust--Hille Inequality for qudit systems

abstract: Previous noncommutative Bohnenblust--Hille (BH) inequalities addressed operator decompositions in the tensor-product space $M_2(\mathbb{C})^{\otimes n}$; \emph{i.e.,} for systems of qubits \cite{HCP22,VZ23}. Here we prove noncommutative BH inequalities for operators decomposed in tensor-product spaces of arbitrary local dimension, \emph{i.e.,} $M_K(\mathbb{C})^{\otimes n}$ for any $K\geq2$ or on systems of $K$-level qudits. We treat operator decompositions in both the Gell-Mann and Heisenberg--Weyl basis, reducing to the recently-proved commutative hypercube BH \cite{DMP} and cyclic group BH \cite{SVZ} inequalities respectively. As an application we discuss learning qudit quantum observables.


title: A rational approximation of the two-term Machin-like formula for $\pi$

abstract: In this work, we consider the properties of the two-term Machin-like formula and develop an algorithm for computing digits of $\pi$ by using its rational approximation. In this approximation, both terms are constructed by using a representation of $1/\pi$ in the binary form. This approach provides the squared convergence in computing digits of $\pi$ without any trigonometric functions and surd numbers. The Mathematica codes showing some examples are presented.


title: Diffusion Models in $\textit{De Novo}$ Drug Design

abstract: Diffusion models have emerged as powerful tools for molecular generation, particularly in the context of 3D molecular structures. Inspired by non-equilibrium statistical physics, these models can generate 3D molecular structures with specific properties or requirements crucial to drug discovery. Diffusion models were particularly successful at learning 3D molecular geometries' complex probability distributions and their corresponding chemical and physical properties through forward and reverse diffusion processes. This review focuses on the technical implementation of diffusion models tailored for 3D molecular generation. It compares the performance, evaluation methods, and implementation details of various diffusion models used for molecular generation tasks. We cover strategies for atom and bond representation, architectures of reverse diffusion denoising networks, and challenges associated with generating stable 3D molecular structures. This review also explores the applications of diffusion models in $\textit{de novo}$ drug design and related areas of computational chemistry, such as structure-based drug design, including target-specific molecular generation, molecular docking, and molecular dynamics of protein-ligand complexes. We also cover conditional generation on physical properties, conformation generation, and fragment-based drug design. By summarizing the state-of-the-art diffusion models for 3D molecular generation, this review sheds light on their role in advancing drug discovery as well as their current limitations.


title: Differentiating a Linear Recursive Sequence

abstract: Consider a sequence of real-valued functions of a real variable given by a homogeneous linear recursion with differentiable coefficients. We show that if the functions in the sequence are differentiable, then the sequence of derivatives also satisfies a homogeneous linear recursion whose order is at most double the order of original recursion. The coefficient functions of this recursion are easily computable from the original coefficient functions and their derivatives without determining the roots of the characteristic polynomial.


title: A geometry in the set of solutions to ill-posed linear problems with box constraints: Applications to probabilities on discrete sets

abstract: When there are no constraints upon the solutions of the equation $\mathbf{A}\mathbf{\xi}= \mathbf{y},$ where $\mathbf{A}$ is a $K\times N-$matrix, $\mathbf{\xi}\in\mathbb{R}^N$ and $\mathbf{y}\in\mathbb{R}^K$ a given vector, the description of the set of solutions as $\mathbf{y}$ varies in $\mathbb{R}^K$ is well known. But this is not so when the solutions are required to satisfy $\mathbf{\xi} \in \mathcal{K}\prod_{i\leq j\leq N} [a_j,b_j],$ for finite $a_j\leq b_j: 1\leq j\leq N.$ Here we provide a description of the set of solutions as a surface in the constraint set, parameterized by the Lagrange multipliers that come up in a related optimization problem in which $\mathbf{A}\mathbf{\xi} = \mathbf{y}$ appears as a constraint. It is the dependence of the Lagrange multipliers on the data vector $\mathbf{y}$ that determines how the solution changes as the datum changes. The geometry on the solutions is inherited from a Riemannian geometry on the set of constraints induced by the Hessian of an entropy of the Fermi-Dirac type which is the objective in the restatement of the optimization problem mentioned above. We prove that the set of solutions is contained in $\ker(\mathbf{A})^\perp$ in the metric defined as the Hessian of the entropy.


title: Curvature of \k{appa}-Poincare and Doubly Special Relativity

abstract: We study the \k{appa}-Poincare and the Magueijo-Smolin (MS) DSR in the context of the relative locality theory. This theory assigns connection, torsion and curvature to momentum space of every modified theory beyond special relativity. We obtain these quantities for the \k{appa}-Poincare and the MS DSR in all order of the Planck length, at the every point of the momentum space. The connection for the \k{appa}-Poincare theory and the MS DSR can be non-zero. The torsion for the \k{appa}-Poincare theory can also be non-zero, but it is zero for the MS DSR. The curvature for the \k{appa}-Poincare theory and the MS DSR are zero. We will find that the non-zero torsion and curvature of the momentum space implies a non-commutative spactime which is tangent to this momentum space. Also, we show that the torsion for every Abelian DSR theory is zero at the origin of the momentum space. At the end, we will discus dual spacetime transformations for the \k{appa}-Poincare theory and MS-DSR.


title: Topological water-wave structures manipulating particles

abstract: Topological wave structures, such as vortices and skyrmions, appear in a variety of quantum and classical wave fields, including optics and acoustics. In particular, optical vortices have found numerous applications ranging from quantum information to astrophysics. Furthermore, both optical and acoustic structured waves are crucial for manipulation of small particles, from atoms to macroscopic biological objects. Here we report on the controllable generation of topological structures -- wave vortices, skyrmions, and polarization M\"{o}bius strips -- in interfering gravity water waves. Most importantly, we demonstrate efficient manipulation of subwavelength and wavelength-order floating particles with topologically structured water waves. This includes trapping of the particles in the high-intensity field zones, as well as controllable orbital and spinning motions due to the orbital and spin angular momenta of water waves. Our results reveal the water-wave counterpart of optical and acoustic manipulations, which paves the avenue for applications in hydrodynamics and microfluidics.


title: Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection

abstract: This paper presents a novel anomaly detection methodology termed Statistical Aggregated Anomaly Detection (SAAD). The SAAD approach integrates advanced statistical techniques with machine learning, and its efficacy is demonstrated through validation on real sensor data from a Hardware-in-the-Loop (HIL) environment within the automotive domain. The key innovation of SAAD lies in its ability to significantly enhance the accuracy and robustness of anomaly detection when combined with Fully Connected Networks (FCNs) augmented by dropout layers. Comprehensive experimental evaluations indicate that the standalone statistical method achieves an accuracy of 72.1%, whereas the deep learning model alone attains an accuracy of 71.5%. In contrast, the aggregated method achieves a superior accuracy of 88.3% and an F1 score of 0.921, thereby outperforming the individual models. These results underscore the effectiveness of SAAD, demonstrating its potential for broad application in various domains, including automotive systems.


title: DB3V: A Dialect Dominated Dataset of Bird Vocalisation for Cross-corpus Bird Species Recognition

abstract: In ornithology, bird species are known to have variedit's widely acknowledged that bird species display diverse dialects in their calls across different regions. Consequently, computational methods to identify bird species onsolely through their calls face critsignificalnt challenges. There is growing interest in understanding the impact of species-specific dialects on the effectiveness of bird species recognition methods. Despite potential mitigation through the expansion of dialect datasets, the absence of publicly available testing data currently impedes robust benchmarking efforts. This paper presents the Dialect Dominated Dataset of Bird Vocalisation, the first cross-corpus dataset that focuses on dialects in bird vocalisations. The DB3V comprises more than 25 hours of audio recordings from 10 bird species distributed across three distinct regions in the contiguous United States (CONUS). In addition to presenting the dataset, we conduct analyses and establish baseline models for cross-corpus bird recognition. The data and code are publicly available online: https://zenodo.org/records/11544734


title: An effective criterion for a stable factorisation of strictly nonsingular 2x2 matrix functions. Utilisation of the ExactMPF package

abstract: In this paper, we propose a method to factorise of arbitrary strictly nonsingular 2x2 matrix functions allowing for stable factorisation. For this purpose, we utilise the ExactMPF package working within the Maple environment previously developed by the authors and performing an exact factorisation of a nonsingular polynomial matrix function. A crucial point in the present analysis is the evaluation of a stability region of the canonical factorisation of the polynomial matrix functions. This, in turn, allows us to propose a sufficient condition for the given matrix function admitting stable factorisation.


title: Question-Answering (QA) Model for a Personalized Learning Assistant for Arabic Language

abstract: This paper describes the creation, optimization, and assessment of a question-answering (QA) model for a personalized learning assistant that uses BERT transformers customized for the Arabic language. The model was particularly finetuned on science textbooks in Palestinian curriculum. Our approach uses BERT's brilliant capabilities to automatically produce correct answers to questions in the field of science education. The model's ability to understand and extract pertinent information is improved by finetuning it using 11th and 12th grade biology book in Palestinian curriculum. This increases the model's efficacy in producing enlightening responses. Exact match (EM) and F1 score metrics are used to assess the model's performance; the results show an EM score of 20% and an F1 score of 51%. These findings show that the model can comprehend and react to questions in the context of Palestinian science book. The results demonstrate the potential of BERT-based QA models to support learning and understanding Arabic students questions.


title: Automated Question Generation for Science Tests in Arabic Language Using NLP Techniques

abstract: Question generation for education assessments is a growing field within artificial intelligence applied to education. These question-generation tools have significant importance in the educational technology domain, such as intelligent tutoring systems and dialogue-based platforms. The automatic generation of assessment questions, which entail clear-cut answers, usually relies on syntactical and semantic indications within declarative sentences, which are then transformed into questions. Recent research has explored the generation of assessment educational questions in Arabic. The reported performance has been adversely affected by inherent errors, including sentence parsing inaccuracies, name entity recognition issues, and errors stemming from rule-based question transformation. Furthermore, the complexity of lengthy Arabic sentences has contributed to these challenges. This research presents an innovative Arabic question-generation system built upon a three-stage process: keywords and key phrases extraction, question generation, and subsequent ranking. The aim is to tackle the difficulties associated with automatically generating assessment questions in the Arabic language. The proposed approach and results show a precision of 83.50%, a recall of 78.68%, and an Fl score of 80.95%, indicating the framework high efficiency. Human evaluation further confirmed the model efficiency, receiving an average rating of 84%.


title: Embedding-based Multimodal Learning on Pan-Squamous Cell Carcinomas for Improved Survival Outcomes

abstract: Cancer clinics capture disease data at various scales, from genetic to organ level. Current bioinformatic methods struggle to handle the heterogeneous nature of this data, especially with missing modalities. We propose PARADIGM, a Graph Neural Network (GNN) framework that learns from multimodal, heterogeneous datasets to improve clinical outcome prediction. PARADIGM generates embeddings from multi-resolution data using foundation models, aggregates them into patient-level representations, fuses them into a unified graph, and enhances performance for tasks like survival analysis. We train GNNs on pan-Squamous Cell Carcinomas and validate our approach on Moffitt Cancer Center lung SCC data. Multimodal GNN outperforms other models in patient survival prediction. Converging individual data modalities across varying scales provides a more insightful disease view. Our solution aims to understand the patient's circumstances comprehensively, offering insights on heterogeneous data integration and the benefits of converging maximum data views.


title: Predicting Cascading Failures with a Hyperparametric Diffusion Model

abstract: In this paper, we study cascading failures in power grids through the lens of information diffusion models. Similar to the spread of rumors or influence in an online social network, it has been observed that failures (outages) in a power grid can spread contagiously, driven by viral spread mechanisms. We employ a stochastic diffusion model that is Markovian (memoryless) and local (the activation of one node, i.e., transmission line, can only be caused by its neighbors). Our model integrates viral diffusion principles with physics-based concepts, by correlating the diffusion weights (contagion probabilities between transmission lines) with the hyperparametric Information Cascades (IC) model. We show that this diffusion model can be learned from traces of cascading failures, enabling accurate modeling and prediction of failure propagation. This approach facilitates actionable information through well-understood and efficient graph analysis methods and graph diffusion simulations. Furthermore, by leveraging the hyperparametric model, we can predict diffusion and mitigate the risks of cascading failures even in unseen grid configurations, whereas existing methods falter due to a lack of training data. Extensive experiments based on a benchmark power grid and simulations therein show that our approach effectively captures the failure diffusion phenomena and guides decisions to strengthen the grid, reducing the risk of large-scale cascading failures. Additionally, we characterize our model's sample complexity, improving upon the existing bound.


title: A Plug-and-Play Untrained Neural Network for Full Waveform Inversion in Reconstructing Sound Speed Images of Ultrasound Computed Tomography

abstract: Ultrasound computed tomography (USCT), as an emerging technology, can provide multiple quantitative parametric images of human tissue, such as sound speed and attenuation images, distinguishing it from conventional B-mode (reflection) ultrasound imaging. Full waveform inversion (FWI) is acknowledged as a technique with the greatest potential for reconstructing high-resolution sound speed images in USCT. However, traditional FWI for sound speed image reconstruction suffers from high sensitivity to the initial model caused by its strong non-convex nonlinearity, resulting in poor performance when ultrasound signals are at high frequencies. This limitation significantly restricts the application of FWI in the USCT imaging field. In this paper, we propose an untrained neural network (UNN) that can be integrated into the traditional iteration-based FWI framework as an implicit regularization prior. This integration allows for seamless deployment as a plug-and-play module within existing FWI algorithms or their variants. Notably, the proposed UNN method can be trained in an unsupervised fashion, a vital aspect in medical imaging where ground truth data is often unavailable. Evaluations of the numerical simulation and phantom experiment of the breast demonstrate that the proposed UNN improves the robustness of image reconstruction, reduces image artifacts, and achieves great image contrast. To the best of our knowledge, this study represents the first attempt to propose an implicit UNN for FWI in reconstructing sound speed images for USCT.


title: Federated Incomplete Multi-View Clustering with Heterogeneous Graph Neural Networks

abstract: Federated multi-view clustering offers the potential to develop a global clustering model using data distributed across multiple devices. However, current methods face challenges due to the absence of label information and the paramount importance of data privacy. A significant issue is the feature heterogeneity across multi-view data, which complicates the effective mining of complementary clustering information. Additionally, the inherent incompleteness of multi-view data in a distributed setting can further complicate the clustering process. To address these challenges, we introduce a federated incomplete multi-view clustering framework with heterogeneous graph neural networks (FIM-GNNs). In the proposed FIM-GNNs, autoencoders built on heterogeneous graph neural network models are employed for feature extraction of multi-view data at each client site. At the server level, heterogeneous features from overlapping samples of each client are aggregated into a global feature representation. Global pseudo-labels are generated at the server to enhance the handling of incomplete view data, where these labels serve as a guide for integrating and refining the clustering process across different data views. Comprehensive experiments have been conducted on public benchmark datasets to verify the performance of the proposed FIM-GNNs in comparison with state-of-the-art algorithms.


title: A Mathematical Certification for Positivity Conditions in Neural Networks with Applications to Partial Monotonicity and Ethical AI

abstract: Artificial Neural Networks (ANNs) have become a powerful tool for modeling complex relationships in large-scale datasets. However, their black-box nature poses ethical challenges. In certain situations, ensuring ethical predictions might require following specific partial monotonic constraints. However, certifying if an already-trained ANN is partially monotonic is challenging. Therefore, ANNs are often disregarded in some critical applications, such as credit scoring, where partial monotonicity is required. To address this challenge, this paper presents a novel algorithm (LipVor) that certifies if a black-box model, such as an ANN, is positive based on a finite number of evaluations. Therefore, as partial monotonicity can be stated as a positivity condition of the partial derivatives, the LipVor Algorithm can certify whether an already trained ANN is partially monotonic. To do so, for every positively evaluated point, the Lipschitzianity of the black-box model is used to construct a specific neighborhood where the function remains positive. Next, based on the Voronoi diagram of the evaluated points, a sufficient condition is stated to certify if the function is positive in the domain. Compared to prior methods, our approach is able to mathematically certify if an ANN is partially monotonic without needing constrained ANN's architectures or piece-wise linear activation functions. Therefore, LipVor could open up the possibility of using unconstrained ANN in some critical fields. Moreover, some other properties of an ANN, such as convexity, can be posed as positivity conditions, and therefore, LipVor could also be applied.


title: IMFL-AIGC: Incentive Mechanism Design for Federated Learning Empowered by Artificial Intelligence Generated Content

abstract: Federated learning (FL) has emerged as a promising paradigm that enables clients to collaboratively train a shared global model without uploading their local data. To alleviate the heterogeneous data quality among clients, artificial intelligence-generated content (AIGC) can be leveraged as a novel data synthesis technique for FL model performance enhancement. Due to various costs incurred by AIGC-empowered FL (e.g., costs of local model computation and data synthesis), however, clients are usually reluctant to participate in FL without adequate economic incentives, which leads to an unexplored critical issue for enabling AIGC-empowered FL. To fill this gap, we first devise a data quality assessment method for data samples generated by AIGC and rigorously analyze the convergence performance of FL model trained using a blend of authentic and AI-generated data samples. We then propose a data quality-aware incentive mechanism to encourage clients' participation. In light of information asymmetry incurred by clients' private multi-dimensional attributes, we investigate clients' behavior patterns and derive the server's optimal incentive strategies to minimize server's cost in terms of both model accuracy loss and incentive payments for both complete and incomplete information scenarios. Numerical results demonstrate that our proposed mechanism exhibits highest training accuracy and reduces up to 53.34% of the server's cost with real-world datasets, compared with existing benchmark mechanisms.


title: Optimized Feature Generation for Tabular Data via LLMs with Decision Tree Reasoning

abstract: Learning effective representations from raw data is crucial for the success of deep learning methods. However, in the tabular domain, practitioners often prefer augmenting raw column features over using learned representations, as conventional tree-based algorithms frequently outperform competing approaches. As a result, feature engineering methods that automatically generate candidate features have been widely used. While these approaches are often effective, there remains ambiguity in defining the space over which to search for candidate features. Moreover, they often rely solely on validation scores to select good features, neglecting valuable feedback from past experiments that could inform the planning of future experiments. To address the shortcomings, we propose a new tabular learning framework based on large language models (LLMs), coined Optimizing Column feature generator with decision Tree reasoning (OCTree). Our key idea is to leverage LLMs' reasoning capabilities to find good feature generation rules without manually specifying the search space and provide language-based reasoning information highlighting past experiments as feedback for iterative rule improvements. Here, we choose a decision tree as reasoning as it can be interpreted in natural language, effectively conveying knowledge of past experiments (i.e., the prediction models trained with the generated features) to the LLM. Our empirical results demonstrate that this simple framework consistently enhances the performance of various prediction models across diverse tabular benchmarks, outperforming competing automatic feature engineering methods.


title: Adaptive Teaching with Shared Classifier for Knowledge Distillation

abstract: Knowledge distillation (KD) is a technique used to transfer knowledge from an overparameterized teacher network to a less-parameterized student network, thereby minimizing the incurred performance loss. KD methods can be categorized into offline and online approaches. Offline KD leverages a powerful pretrained teacher network, while online KD allows the teacher network to be adjusted dynamically to enhance the learning effectiveness of the student network. Recently, it has been discovered that sharing the classifier of the teacher network can significantly boost the performance of the student network with only a minimal increase in the number of network parameters. Building on these insights, we propose adaptive teaching with a shared classifier (ATSC). In ATSC, the pretrained teacher network self-adjusts to better align with the learning needs of the student network based on its capabilities, and the student network benefits from the shared classifier, enhancing its performance. Additionally, we extend ATSC to environments with multiple teachers. We conduct extensive experiments, demonstrating the effectiveness of the proposed KD method. Our approach achieves state-of-the-art results on the CIFAR-100 and ImageNet datasets in both single-teacher and multiteacher scenarios, with only a modest increase in the number of required model parameters. The source code is publicly available at https://github.com/random2314235/ATSC.


title: Striving towards robust phase diversity on-sky: Implementing LIFT for VLT/MUSE-NFM

abstract: The recent IRLOS upgrade for VLT/MUSE narrow field mode (NFM) introduced a full-pupil mode to enhance sensitivity and sky coverage. This involved replacing the 2x2 Shack-Hartmann sensor with a single lens for full-aperture photon collection, which also enabled the engagement of the linearized focal-plane technique (LIFT) wavefront sensor instead. However, initial on-sky LIFT experiments have highlighted a complex point spread function (PSF) structure due to strong and polychromatic non-common path aberrations (NCPAs), complicating the accurate retrieval of tip-tilt and focus using LIFT. This study aims to conduct the first on-sky validation of LIFT on VLT/UT4, outline challenges encountered during the tests, and propose solutions for increasing the robustness of LIFT in on-sky operations. We developed a two-stage approach to focal-plane wavefront sensing, where tip-tilt and focus retrieval done with LIFT is preceded by the NCPA calibration step. The resulting NCPA estimate is subsequently used by LIFT. To perform the calibration, we proposed a method capable of retrieving the information about NCPAs directly from on-sky focal-plane PSFs. We verified the efficacy of this approach in simulated and on-sky tests. Our results demonstrate that adopting the two-stage approach has led to a significant improvement in the accuracy of the defocus estimation performed by LIFT, even under challenging low-flux conditions. The efficacy of LIFT as a slow and truth focus sensor in practical scenarios has been demonstrated. However, integrating NCPA calibration with LIFT is essential to verifying its practical application in the real system. Additionally, the proposed calibration step can serve as an independent and minimally invasive approach to evaluate NCPA on-sky.


title: Validating Temporal Compliance Patterns: A Unified Approach with $MTL_f$ over various Data Models

abstract: Process mining extracts valuable insights from event data to help organizations improve their business processes, which is essential for their growth and success. By leveraging process mining techniques, organizations gain a comprehensive understanding of their processes' execution, enabling the discovery of process models, detection of deviations, identification of bottlenecks, and assessment of performance. Compliance checking, a specific area within conformance checking, ensures that the organizational activities adhere to prescribed process models and regulations. Linear Temporal Logic over finite traces ($LTL_{f}$ ) is commonly used for conformance checking, but it may not capture all temporal aspects accurately. This paper proposes Metric Temporal Logic over finite traces ($MTL_{f}$ ) to define explicit time-related constraints effectively in addition to the implicit time-ordering covered by $LTL_f$. Therefore, it provides a universal formal approach to capture compliance rules. Moreover, we define a minimal set of generic $MTL_f$ formulas and show that they are capable of capturing all the common patterns for compliance rules. As compliance validation is largely driven by the data model used to represent the event logs, we provide a mapping from $MTL_f$ to the common data models we found in the literature to encode event logs, namely, the relational and the graph models. A comprehensive study comparing various data models and an empirical evaluation across real-life event logs demonstrates the effectiveness of the proposed approach.


title: Three dimensional Ising models: Equations for Spontaneous Magnetization and Critical Temperature

abstract: The equations for the spontaneous magnetization for different three-dimensional lattices have been derived in a heuristic manner. The estimated critical temperatures for simple cubic, face-centered cubic, body-centered cubic and diamond lattices are in excellent agreement with recent computer simulation data.


title: Floquet topological phases with time-reversal and space inversion symmetries and dynamical detection of topological charges

abstract: For spinful systems with spin 1/2, it is generally believed that P and T invariant strong and second-order topologies exist in four band and eight band system, respectively. Here, by using periodic driving, we find it is possible to have strong topological insulator, second-order topological insulator and hybrid-order topological insulator in a single four band system. Furthermore, we established a direct connection between topology and dynamics. More convenient experimental detection for these topological phases has also been proposed. This study provides the theoretical basis for novel topological insulator that possess hybrid-order boundary states beyond the conventional regimes.


title: The observer effect in quantum: the case of classification

abstract: The observer effect in quantum physics states that observation inevitably influences the system being observed. Our proposed epistemic framework treats the observer as an integral part of sensory information processing within entangled quantum systems, highlighting the subjective and probabilistic aspects of observation and inference. Our study introduces a hierarchical model for fuzzy instance classification, which aligns sensory input with an observer's pre-existing beliefs and associated quantum probability-based truth values. Sensory data evolves via interaction with observer states, as described by the Lindblad master equation, and is then classified adaptively using positive operator-valued measures (POVM). Our parametrization employs measures of concurrent similarity and dissimilarity, facilitating perceptual associations and asymmetric cognition. The observer's position on a skeptic-believer spectrum modulates ambiguous matching of noisy perceptions. We show that sensory information becomes intricately entangled with observer states, yielding a wide array of probabilistic classification results. This framework lays the groundwork for a quantum-probability-based understanding of the observer effect, encouraging further exploration of quantum correlations and properties in cognitive processes.


title: Optimizing Container Loading and Unloading through Dual-Cycling and Dockyard Rehandle Reduction Using a Hybrid Genetic Algorithm

abstract: This paper addresses the optimization of container unloading and loading operations at ports, integrating quay-crane dual-cycling with dockyard rehandle minimization. We present a unified model encompassing both operations: ship container unloading and loading by quay crane, and the other is reducing dockyard rehandles while loading the ship. We recognize that optimizing one aspect in isolation can lead to suboptimal outcomes due to interdependencies. Specifically, optimizing unloading sequences for minimal operation time may inadvertently increase dockyard rehandles during loading and vice versa. To address this NP-hard problem, we propose a hybrid genetic algorithm (GA) QCDC-DR-GA comprising one-dimensional and two-dimensional GA components. Our model, QCDC-DR-GA, consistently outperforms four state-of-the-art methods in maximizing dual cycles and minimizing dockyard rehandles. Compared to those methods, it reduced 15-20% of total operation time for large vessels. Statistical validation through a two-tailed paired t-test confirms the superiority of QCDC-DR-GA at a 5% significance level. The approach effectively combines QCDC optimization with dockyard rehandle minimization, optimizing the total unloading-loading time. Results underscore the inefficiency of separately optimizing QCDC and dockyard rehandles. Fragmented approaches, such as QCDC Scheduling Optimized by bi-level GA and GA-ILSRS (Scenario 2), show limited improvement compared to QCDC-DR-GA. As in GA-ILSRS (Scenario 1), neglecting dual-cycle optimization leads to inferior performance than QCDC-DR-GA. This emphasizes the necessity of simultaneously considering both aspects for optimal resource utilization and overall operational efficiency.


title: Warm Hawking Relics From Primordial Black Hole Domination

abstract: We study the cosmological impact of warm, dark-sector relic particles produced as Hawking radiation in a primordial-black-hole-dominated universe before big bang nucleosynthesis. If those dark-sector particles are stable, they would survive to the present day as "Hawking relics" and modify the subsequent growth of cosmological structure. We show that such relics are produced with much larger momenta, but in smaller quantities than the familiar thermal relics considered in standard cosmology. Consequently, Hawking relics with keV-MeV masses affect the growth of large-scale structure in a similar way to eV-scale thermal relics like massive neutrinos. We model their production and evolution, and show that their momentum distributions are broader than comparable relics with thermal distributions. Warm Hawking relics affect the growth of cosmological perturbations and we constrain their abundance to be less than $2\%$ of the dark matter over a broad range of their viable parameter space. Finally, we examine how future measurements of the matter power spectrum can distinguish Hawking relics from thermal particles.


title: Magnetic field breakout in ultramassive crystallizing white dwarfs

abstract: Ultramassive white dwarfs with masses $M\gtrsim 1.1\,{\rm M}_\odot$ probe extreme physics near the Chandrasekhar limit. Despite the rapid increase in observations, it is still unclear how many harbour carbon-oxygen (CO) versus oxygen-neon (ONe) cores. The origin of these white dwarfs and their strong magnetic fields - single stellar evolution or a stellar merger - is another open question. The steep mass-radius relation of the relativistic ultramassive white dwarfs shortens their crystallization time $t_{\rm cryst}$, such that the recently proposed crystallization dynamo mechanism may present an alternative to mergers in explaining the early appearance of magnetism in the observed population. However, the magnetic diffusion time from the convective dynamo to the white dwarf's surface delays the magnetic field's breakout time $t_{\rm break}>t_{\rm cryst}$. We compute $t_{\rm break}(M)$ for CO and ONe ultramassive white dwarfs and compare it to the local 40 pc volume-limited sample. We find that the breakout time from CO cores is too long to account for the observations. ONe crystallization dynamos remain a viable option, but their surrounding non-convective envelopes comprise only a few per cent of the total mass, such that $t_{\rm break}$ is highly sensitive to the details of stellar evolution.


title: A high-resolution view of the source-plane magnification near cluster caustics in wave dark matter models

abstract: We present the highest resolution images to date of caustics formed by wave dark matter ($\psi$DM) fluctuations near the critical curves of cluster gravitational lenses. We describe the basic magnification features of $\psi$DM in the source plane at high macromodel magnification and discuss specific differences between the $\psi$DM and standard cold dark matter (CDM) models. The unique generation of demagnified counterimages formed outside the Einstein radius for $\psi$DM is highlighted. Substructure in CDM cannot generate such demagnified images of positive parity, thus providing a definitive way to distinguish $\psi$DM from CDM. Highly magnified background sources with sizes $r\approx 1pc$, or approximately a factor of ten smaller than the expected de Broglie wavelength of $\psi$DM, offer the best possibility of discriminating between $\psi$DM and CDM. These include objects such as very compact stellar clusters at high redshift that JWST is finding in abundance.


title: Supergluon scattering in AdS: constructibility, spinning amplitudes, and new structures

abstract: We elaborate on a new recursive method proposed in arXiv:2312.15484 for computing tree-level $n$-point supergluon amplitudes as well as those with one gluon, i.e., spinning amplitudes, in ${\rm AdS}_5 \times S^3$. We present an improved proof for the so-called "constructibility" of supergluon and spinning amplitudes based on their factorizations and flat-space limit, which allows us to determine these amplitudes in Mellin space to all $n$. We present explicit and remarkably simple expressions for up to $n=7$ supergluon amplitudes and $n=6$ spinning amplitudes, which can be viewed as AdS generalizations of the scalar-scaffolded gluon amplitudes proposed recently. We then reveal a series of hidden structures of these AdS amplitudes including (1) an understanding of general pole structures especially the precise truncation on descendent poles (2) a derivation of simple "Feynman rules" for the all-$n$ amplitudes with the simplest R-symmetry structures, and (3) certain universal behavior analogous to the soft/collinear limit of flat-space amplitudes.


title: Evolution mapping II: describing statistics of the non-linear cosmic velocity field

abstract: We extend the evolution mapping approach, originally proposed by Sanchez (2022) to describe non-linear matter density fluctuations, to statistics of the cosmic velocity field. This framework classifies cosmological parameters into shape parameters, which determine the shape of the linear matter power spectrum, $P_L(k, z)$, and evolution parameters, which control its amplitude at any given redshift. Evolution mapping leverages the fact that density fluctuations in cosmologies with identical shape parameters but different evolution parameters exhibit remarkably similar non-linear evolutions when expressed as a function of the clustering amplitude. We use a suite of N-body simulations sharing identical shape parameters but spanning a wide range of evolution parameters. Using an efficient method for estimating the volume-weighted velocity field based on the Voronoi tesselation of the simulation particles, we study the non-linear evolution of the power spectra of the velocity divergence, $P_{\theta\theta}(k)$, and its cross-power spectrum with the density field, $P_{\delta\theta}(k)$. By analysing snapshots at redshifts where the linear matter perturbations have the same amplitude, we demonstrate that evolution mapping accurately applies to $P_{\theta\theta}(k)$ and $P_{\delta\theta}(k)$. Deviations at small scales can be modelled in terms of differences in the suppression factor, $g(a) = D(a)/a$, akin to those observed for the density field. Evolution mapping simplifies the description of the cosmological dependence of non-linear density and velocity statistics, streamlining the sampling of large cosmological parameter spaces for the analysis of cosmological observables.


title: Ray-tracing vs. Born approximation in full-sky weak lensing simulations of the MillenniumTNG project

abstract: Weak gravitational lensing is a powerful tool for precision tests of cosmology. As the expected deflection angles are small, predictions based on non-linear N-body simulations are commonly computed with the Born approximation. Here we examine this assumption using ${\small DORIAN}$, a newly developed full-sky ray-tracing scheme applied to high-resolution mass-shell outputs of the two largest simulations in the MillenniumTNG suite, each with a 3000 Mpc box containing almost 1.1 trillion cold dark matter particles in addition to 16.7 billion particles representing massive neutrinos. We examine simple two-point statistics like the angular power spectrum of the convergence field, as well as statistics sensitive to higher order correlations such as peak and minimum statistics, void statistics, and Minkowski functionals of the convergence maps. Overall, we find only small differences between the Born approximation and a full ray-tracing treatment. While these are negligibly small at power-spectrum level, some higher order statistics show more sizable effects; ray-tracing is necessary to achieve percent level precision. At the resolution reached here, full-sky maps with 0.8 billion pixels and an angular resolution of 0.43 arcmin, we find that interpolation accuracy can introduce appreciable errors in ray-tracing results. We therefore implemented an interpolation method based on nonuniform fast Fourier transforms (NUFFT) along with more traditional methods. Bilinear interpolation introduces significant smoothing, while nearest grid point sampling agrees well with NUFFT, at least for our fiducial source redshift, $z_s=1.0$, and for the 1 arcmin smoothing we use for higher-order statistics.


title: Surface Operators and Exact Holography

abstract: Surface operators are nonlocal probes of gauge theories capable of distinguishing phases that are not discernible by the classic Wilson-'t Hooft criterion. We prove that the correlation function of a surface operator with a chiral primary operator in ${\cal N}=4$ super Yang-Mills is a finite polynomial in the Yang-Mills coupling constant. Surprisingly, in spite of these observables receiving nontrivial quantum corrections, we find that these correlation functions are exactly captured in the 't Hooft limit by supergravity in asymptotically $AdS_5\times S^5$ [1]! We also calculate exactly the surface operator vacuum expectation value and the correlator of a surface operator with 1/8-BPS Wilson loops using supersymmetric localization. We demonstrate that these correlation functions in ${\cal N}=4$ SYM realize in a nontrivial fashion the conjectured action of $S$-duality. Finally, we perturbatively quantize ${\cal N}=4$ SYM around the surface operator singularity and identify the Feynman diagrams that when summed over reproduce the exact result obtained by localization.


title: Symmetry enforced entanglement in maximally mixed states

abstract: Entanglement in quantum many-body systems is typically fragile to interactions with the environment. Generic unital quantum channels, for example, have the maximally mixed state with no entanglement as their unique steady state. However, we find that for a unital quantum channel that is `strongly symmetric', i.e. it preserves a global on-site symmetry, the maximally mixed steady state in certain symmetry sectors can be highly entangled. For a given symmetry, we analyze the entanglement and correlations of the maximally mixed state in the invariant sector (MMIS), and show that the entanglement of formation and distillation are exactly computable and equal for any bipartition. For all Abelian symmetries, the MMIS is separable, and for all non-Abelian symmetries, the MMIS is entangled. Remarkably, for non-Abelian continuous symmetries described by compact semisimple Lie groups (e.g. $SU(2)$), the bipartite entanglement of formation for the MMIS scales logarithmically $\sim \log N$ with the number of qudits $N$.


title: Extra-Dimensional Axion Expectations

abstract: Axions arising as modes of higher-dimensional gauge fields are known to offer a compelling solution to the axion quality problem and to naturally arise in string theory. In this context, it is interesting to ask how we would interpret an experimental measurement of the axion decay constant $f$. I give several arguments for, as well as concrete examples in string theory of, the existence in such a model of an axion string with tension of order $2\pi S_\mathrm{inst} f^2$, where $S_\mathrm{inst}$ is the instanton action. Furthermore, in models of this type axion strings are typically fundamental objects (rather than solitons), whose tension is at or above the fundamental cutoff of the theory. As a result, I argue that for an extra-dimensional QCD axion, it is likely that the fundamental cutoff scale lies at most two orders of magnitude above $f$. In addition to these core arguments, this paper begins with a self-contained introduction to the physics of extra-dimensional axions and ends with some comments on axion physics in relation to chiral fermions.


title: A practical framework for analyzing high-dimensional QKD setups

abstract: High-dimensional (HD) entanglement promises both enhanced key rates and overcoming obstacles faced by modern-day quantum communication. However, modern convex optimization-based security arguments are limited by computational constraints; thus, accessible dimensions are far exceeded by progress in HD photonics, bringing forth a need for efficient methods to compute key rates for large encoding dimensions. In response to this problem, we present a flexible analytic framework facilitated by the dual of a semi-definite program and diagonalizing operators inspired by entanglement-witness theory, enabling the efficient computation of key rates in high-dimensional systems. To facilitate the latter, we show how matrix completion techniques can be incorporated to effectively yield improved, computable bounds on the key rate in paradigmatic high-dimensional systems of time- or frequency-bin entangled photons and beyond.


title: RVT-2: Learning Precise Manipulation from Few Demonstrations

abstract: In this work, we study how to build a robotic system that can solve multiple 3D manipulation tasks given language instructions. To be useful in industrial and household domains, such a system should be capable of learning new tasks with few demonstrations and solving them precisely. Prior works, like PerAct and RVT, have studied this problem, however, they often struggle with tasks requiring high precision. We study how to make them more effective, precise, and fast. Using a combination of architectural and system-level improvements, we propose RVT-2, a multitask 3D manipulation model that is 6X faster in training and 2X faster in inference than its predecessor RVT. RVT-2 achieves a new state-of-the-art on RLBench, improving the success rate from 65% to 82%. RVT-2 is also effective in the real world, where it can learn tasks requiring high precision, like picking up and inserting plugs, with just 10 demonstrations. Visual results, code, and trained model are provided at: https://robotic-view-transformer-2.github.io/.


title: Parafermions in Moir\'e Minibands

abstract: Moir\'e materials provide a remarkably tunable platform for topological and strongly correlated quantum phases of matter. Very recently, the first zero field Abelian fractional Chern insulators (FCIs) have been experimentally demonstrated and it has been theoretically predicted that non-Abelian states with Majorana fermion excitations may be realized in the nearly dispersionless minibands of these systems. Here we provide telltale evidence in terms of low-energy quantum numbers, spectral flow and entanglement spectra for the even more exotic possibility of moir\'e-based non-Abelian FCIs exhibiting Fibonacci parafermion excitations.


title: AGN Feedback in Quiescent Galaxies at Cosmic Noon Traced by Ionized Gas Emission

abstract: We analyze ionized gas emission lines in deep rest-frame optical spectra of 16 quiescent galaxies at redshift $1.7<z<3.5$ observed with JWST/NIRSpec by the Blue Jay survey. Robust detection of emission lines in $75\%$ of the sample indicates the presence of ongoing ionizing sources in this passive population. The H$\alpha$ line luminosities confirm that the population is quiescent, with star formation rates that are at least ten times lower than the main sequence of star formation. The quiescent sample is clearly separate from the star-forming population in line diagnostic diagrams, and occupies a region usually populated by active galactic nuclei (AGN). Analysis of the observed line ratios, equivalent widths, and velocity dispersions leads us to conclude that in most cases the gas is ionized by AGN activity, despite the lack of X-ray detections. A subset of the sample also hosts ionized and/or neutral outflows. Our results show, for the first time using a representative sample, that low luminosity AGN are extremely common among quiescent galaxies at high redshift. These low luminosity AGN may play a key role in quenching star formation and in maintaining massive galaxies quiescent from Cosmic Noon to $z\sim0$.


title: Meandering conduction channels and the tunable nature of quantized charge transport

abstract: The discovery of the quantum Hall effect founded the field of topological condensed matter physics. Its amazingly accurate quantisation of the Hall conductance, now enshrined in quantum metrology, is topologically protected: it is stable against any reasonable perturbation. Conversely, topological protection thus implies a form of censorship, as it completely hides any local information from the observer. The spatial distribution of the current in the sample is such a piece of information, which however has now become accessible thanks to spectacular experimental advances. It is an old question whether an original, and intuitively compelling, picture of the current flowing in a narrow channel along the sample edge is the physically correct one. Motivated by recent experiments $\textit{locally}$ imaging the quantized current flow in a Chern insulating (Bi, Sb)$_2$Te$_3$ heterostructure, [Rosen et al., PRL 129, 246602 (2022); Ferguson et.al, Nat. Mater. 22, 1100-1105 (2023)], we theoretically demonstrate the possibility of a broad `edge state' meandering away from the sample boundary deep into the sample bulk. Further, we show that varying experimental parameters permits continuously tuning between narrow edge states and meandering channels all the way to incompressible bulk transport. This accounts for various features observed in, and differing between, experiments. Overall, this underscores the robustness of topological condensed matter physics, but it also unveils a phenomenological richness hidden by topological censorship -- much of which we believe remains to be discovered.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas cond-mat.str-el


title: Investigating Mutual Coupling in the Hydrogen Epoch of Reionization Array and Mitigating its Effects on the 21-cm Power Spectrum

abstract: Interferometric experiments designed to detect the highly redshifted 21-cm signal from neutral hydrogen are producing increasingly stringent constraints on the 21-cm power spectrum, but some k-modes remain systematics-dominated. Mutual coupling is a major systematic that must be overcome in order to detect the 21-cm signal, and simulations that reproduce effects seen in the data can guide strategies for mitigating mutual coupling. In this paper, we analyse 12 nights of data from the Hydrogen Epoch of Reionization Array and compare the data against simulations that include a computationally efficient and physically motivated semi-analytic treatment of mutual coupling. We find that simulated coupling features qualitatively agree with coupling features in the data; however, coupling features in the data are brighter than the simulated features, indicating the presence of additional coupling mechanisms not captured by our model. We explore the use of fringe-rate filters as mutual coupling mitigation tools and use our simulations to investigate the effects of mutual coupling on a simulated cosmological 21-cm power spectrum in a "worst case" scenario where the foregrounds are particularly bright. We find that mutual coupling contaminates a large portion of the "EoR Window", and the contamination is several orders-of-magnitude larger than our simulated cosmic signal across a wide range of cosmological Fourier modes. While our fiducial fringe-rate filtering strategy reduces mutual coupling by roughly a factor of 100 in power, a non-negligible amount of coupling cannot be excised with fringe-rate filters, so more sophisticated mitigation strategies are required.


title: Color Coherence Effects in Dipole-Quark Scattering in the Soft Limit

abstract: Color coherence effects play a crucial role in the description of jet evolution at collider experiments. It is well known that the stimulated gluon emission suffered by energetic jets traversing deconfined QCD matter is also affected by color coherence effects. Through multiple soft scatterings with the medium constituents, an antenna will lose its color correlation, causing its legs to behave as independent emitters after the so-called decoherence time. In this work we provide the first computation of the properties of the recoils produced as a result of these soft scatterings between a color coherent dipole and the medium constituents. Our findings reveal that the angular phase-space of these soft recoils is strongly restricted by the opening angle of the dipole itself due to quantum interference effects. In this long wavelength limit, one can effectively consider that interactions take place with each of the legs of the dipole separately, provided that the angular constraints dictated by the corresponding color flow topologies are respected. This is in complete analogy with the case of soft gluon emission in vacuum, where the recoil quark plays the role of the emitted gluon. As a direct phenomenological application we estimate the collisional energy loss rate of a color antenna. Importantly, these results indicate the way in which color coherence effects can be implemented in jet quenching models that account for the recoils from elastic scatterings, improving in this way our description of medium response physics in heavy-ion collisions.


title: Realization of topological Thouless pumping in a synthetic Rydberg dimension

abstract: The simulation of synthetic dimensions by manipulating internal states of atoms and molecules has opened the door to investigate regimes outside those of more traditional quantum many-body platforms. Highly excited Rydberg states of atoms are a particularly promising platform to engineer Hamiltonians in such synthetic dimensions due to their large number of addressable states and the readily available technologies for manipulating their couplings and for detecting them. In this letter, we demonstrate the realization of topological quantum pumping in synthetic dimensions by engineering a one-dimensional Rice-Mele chain from the Rydberg states of cesium atoms, and manipulating their couplings in a time-dependent fashion through radio-frequency fields. We implement Thouless protocols for topological pumping and investigate the efficiency for pumping an effective quantum particle as a function of the period of pumping and other parameters while allowing for rates of change that are not necessarily adiabatic. We demonstrate that optimal pumping efficiencies of up to 90% can be achieved when the pump is operated in the topological Thouless regime, even when the pumping is accompanied by the wave-packet spread that arises from the energy dispersion of the particle along the synthetic dimension.


title: DiTFastAttn: Attention Compression for Diffusion Transformer Models

abstract: Diffusion Transformers (DiT) excel at image and video generation but face computational challenges due to self-attention's quadratic complexity. We propose DiTFastAttn, a novel post-training compression method to alleviate DiT's computational bottleneck. We identify three key redundancies in the attention computation during DiT inference: 1. spatial redundancy, where many attention heads focus on local information; 2. temporal redundancy, with high similarity between neighboring steps' attention outputs; 3. conditional redundancy, where conditional and unconditional inferences exhibit significant similarity. To tackle these redundancies, we propose three techniques: 1. Window Attention with Residual Caching to reduce spatial redundancy; 2. Temporal Similarity Reduction to exploit the similarity between steps; 3. Conditional Redundancy Elimination to skip redundant computations during conditional generation. To demonstrate the effectiveness of DiTFastAttn, we apply it to DiT, PixArt-Sigma for image generation tasks, and OpenSora for video generation tasks. Evaluation results show that for image generation, our method reduces up to 88\% of the FLOPs and achieves up to 1.6x speedup at high resolution generation.


title: Proper time to singularity and thermal correlators

abstract: We study certain higher point thermal correlators of heavy and light scalar primaries in a holographic CFT. Assuming simple self-interactions and couplings of the scalars in the bulk theory, we show that the thermal correlators contain a signature of the proper time to singularity from the horizon. The key idea is to use WKB approximations for the propagators and evaluate the bulk integrals using saddle point method.


title: Quantum Hardware-Enabled Molecular Dynamics via Transfer Learning

abstract: The ability to perform ab initio molecular dynamics simulations using potential energies calculated on quantum computers would allow virtually exact dynamics for chemical and biochemical systems, with substantial impacts on the fields of catalysis and biophysics. However, noisy hardware, the costs of computing gradients, and the number of qubits required to simulate large systems present major challenges to realizing the potential of dynamical simulations using quantum hardware. Here, we demonstrate that some of these issues can be mitigated by recent advances in machine learning. By combining transfer learning with techniques for building machine-learned potential energy surfaces, we propose a new path forward for molecular dynamics simulations on quantum hardware. We use transfer learning to reduce the number of energy evaluations that use quantum hardware by first training models on larger, less accurate classical datasets and then refining them on smaller, more accurate quantum datasets. We demonstrate this approach by training machine learning models to predict a molecule's potential energy using Behler-Parrinello neural networks. When successfully trained, the model enables energy gradient predictions necessary for dynamics simulations that cannot be readily obtained directly from quantum hardware. To reduce the quantum resources needed, the model is initially trained with data derived from low-cost techniques, such as Density Functional Theory, and subsequently refined with a smaller dataset obtained from the optimization of the Unitary Coupled Cluster ansatz. We show that this approach significantly reduces the size of the quantum training dataset while capturing the high accuracies needed for quantum chemistry simulations.


title: Buoyancy torques prevent low-mass planets from stalling in low-turbulence radiative disks

abstract: Low-mass planets migrating inwards in laminar protoplanetary disks (PPDs) experience a dynamical corotation torque, which is expected to slow down migration to a stall. However, baroclinic effects can reduce or even reverse this effect, leading to rapid inward migration. In the radiatively inefficient inner disk, one such mechanism is the buoyancy response of the disk to an embedded planet. Recent work has suggested that radiative cooling can quench this response, but for parameters that are not necessarily representative of the inner regions of PPDs. We perform global three dimensional inviscid radiation hydrodynamics simulations of planet-disk interaction to investigate the effect of radiative cooling on the buoyancy-driven torque in a more realistic disk model. We find that the buoyancy response exerts a negative dynamical corotation torque -- albeit partially damped due to radiative cooling -- resulting in sustained, rapid inward migration. Models that adopt a local cooling prescription significantly overestimate the impact of the buoyancy response, highlighting the importance of a realistic treatment of radiation transport that includes radiative diffusion. Our results suggest that low-mass planets should migrate inwards faster than has been previously expected in radiative disks, with implications for the formation and orbital distribution of super-Earths and sub-Neptunes at intermediate distances from their host stars, unless additional physical processes that can slow down migration are considered.


title: Macroscopic Tunneling Probe of Moir\'e Spin Textures in Twisted CrI$_3$

abstract: Various noncollinear spin textures and magnetic phases have been predicted in twisted two-dimensional CrI$_3$ due to competing ferromagnetic (FM) and antiferromagnetic (AFM) interlayer exchange from moir\'e stacking - with potential spintronic applications even when the underlying material possesses a negligible Dzyaloshinskii-Moriya or dipole-dipole interaction. Recent measurements have shown evidence of coexisting FM and AFM layer order in small-twist-angle CrI$_3$ bilayers and double bilayers. Yet, the nature of the magnetic textures remains unresolved and possibilities for their manipulation and electrical readout are unexplored. Here, we use tunneling magnetoresistance to investigate the collective spin states of twisted double-bilayer CrI$_3$ under both out-of-plane and in-plane magnetic fields together with detailed micromagnetic simulations of domain dynamics based on magnetic circular dichroism. Our results capture hysteretic and anisotropic field evolutions of the magnetic states and we further uncover two distinct non-volatile spin textures (out-of-plane and in-plane domains) at $\approx$ 1{\deg} twist angle, with a different global tunneling resistance that can be switched by magnetic field.


title: SHIFT@LHC: Searches for New Physics with Shifted Interaction on a Fixed Target at the Large Hadron Collider

abstract: New low-mass particles with very small couplings to standard model particles that travel significant distances before decaying are interesting candidates to address some of the most intriguing questions of modern physics. In this paper, I propose to extend the LHC's research program by installing a fixed target referred to as SHIFT at around 160 meters from the CMS interaction point. When the LHC proton beam collides with this target, interactions at a center of mass energy of $\approx$113 GeV would occur. The particles produced in such collisions, or their decay products, would travel through the rock and other material on their path, potentially reaching the CMS detector where they can be registered and studied. Such an approach would allow us to access otherwise uncovered regions of parameters phase space at a relatively low cost since it does not require constructing a new detector. Various aspects such as angular and lifetime coverage or material survival probability have been studied. The results are interpreted within two new physics models, namely, the Dark Photons and the Hidden Valley scenarios, and compared with the standard proton-proton physics program of CMS. A comparison is also made with the fixed target program at LHCb, as well as parasitic detectors such as FASER or MATHUSLA. The obtained results indicate that, despite assuming just 1% of the nominal CMS luminosity to be available to SHIFT, the physics reach could be extended by a factor of more than 20, depending on the signal model parameters.


title: High-resolution transmission spectroscopy of warm Jupiters: An ESPRESSO sample with predictions for ANDES

abstract: Warm Jupiters are ideal laboratories for testing the limitations of current tools for atmospheric studies. The cross-correlation technique is a commonly used method to investigate the atmospheres of close-in planets, leveraging their large orbital velocities to separate the spectrum of the planet from that of the star. Warm Jupiter atmospheres predominantly consist of molecular species, notably water, methane and carbon monoxide, often accompanied by clouds and hazes muting their atmospheric features. In this study, we investigate the atmospheres of six warm Jupiters K2-139 b, K2-329 b, TOI- 3362 b, WASP-130 b, WASP-106 b, and TOI-677 b to search for water absorption using the ESPRESSO spectrograph, reporting non-detections for all targets. These non-detections are partially attributed to planets having in-transit radial velocity changes that are typically too small to distinguish between the different components (star, planet, Rossiter-McLaughlin effect and telluric contamination), as well as the relatively weak planetary absorption lines as compared to the S/N of the spectra. We simulate observations for the upcoming high-resolution spectrograph ANDES at the Extremely Large Telescope for the two favourable planets on eccentric orbits, TOI-3362b and TOI-677 b, searching for water, carbon monoxide, and methane. We predict a significant detection of water and CO, if ANDES indeed covers the K-band, in the atmospheres of TOI-677 b and a tentative detection of water in the atmosphere of TOI-3362b. This suggests that planets on highly eccentric orbits with favourable orbital configurations present a unique opportunity to access cooler atmospheres.


title: The connection between Nucleon Energy Correlators and Fracture Functions

abstract: We establish a sum rule that connects fracture functions to nucleon energy-energy correlators~(NEECs) in a one-to-one correspondence. Using this sum rule, we study the energy pattern in the target fragmentation region of deep inelastic scatterings. Through investigations up to twist-3, we express all eighteen energy-pattern structure functions in terms of associated NEECs, elucidating various azimuthal and spin asymmetries critical for nucleon tomography. Additionally, we investigate the perturbative matching of the twist-2 quark NEECs. We demonstrate that the Sivers-type and worm-gear-type quark NEECs match onto twist-3 multi-parton distributions. Our work provides a framework for examining energy-weighted observables through hadron production processes in the target fragmentation region, offering new insights into nucleon tomography.


title: Introducing Statistical Operators: Boundedness, Continuity, and Compactness

abstract: Many studies have been conducted on statistical convergence, and it remains an area of active research. Since its introduction, statistical convergence has found applications many fields. Nevertheless, there is a shortage of research related to operator theory. As far as we know, no studies have focused on continuous, bounded, and compact operators, which are fundamental concepts in mathematics. We explore the notions of statistical boundedness, continuity, and compactness of operators between normed spaces, establishing connections between these concepts and their counterparts in traditional normed space theory. Additionally, we provide examples and results that demonstrate the behavior and implications of statistical convergence in the context of operators.


title: Theory and Observation of Winds from Star-Forming Galaxies

abstract: Galactic winds shape the stellar, gas, and metal content of galaxies. To quantify their impact, we must understand their physics. We review potential wind-driving mechanisms and observed wind properties, with a focus on the warm ionized and hot X-ray-emitting gas. Energy and momentum injection by supernovae (SNe), cosmic rays, radiation pressure, and magnetic fields are considered in the light of observations: (1) Emission and absorption line measurements of cool/warm gas provide our best physical diagnostics of galactic outflows. (2) The critical unsolved problem is how to accelerate cool gas to the high velocities observed. Although conclusive evidence for no one mechanism exists, the momentum, energy, and mass-loading budgets observed compare well with theory. (3) A model where star formation provides a force $\sim L/c$, where $L$ is the bolometric luminosity, and cool gas is pushed out of the galaxy's gravitational potential, compares well with available data. The wind power is $\sim0.1$ that provided by SNe. (4) The very hot X-ray emitting phase, may be a (or the) prime mover. Momentum and energy exchange between the hot and cooler phases is critical to the gas dynamics. (5) Gaps in our observational knowledge include the hot gas kinematics and the size and structure of the outflows probed with UV absorption lines. Simulations are needed to more fully understand mixing, cloud-radiation, cloud-cosmic ray, and cloud-hot wind interactions, the collective effects of star clusters, and both distributed and clustered SNe. Observational works should seek secondary correlations in the wind data that provide evidence for specific mechanisms and compare spectroscopy with the column density-velocity results from theory.


title: Parallel trusted node approach for satellite quantum key distribution

abstract: Quantum key distribution (QKD) via satellite links is the only currently viable solution to create quantum-backed secure communication at a global scale. To achieve intercontinental coverage with available technology one must adopt a "flying trusted node" paradigm, in which users fully trust the satellite platform. Here, inspired by the concept of distributed secret sharing and the imminent projected launch of several QKD-equipped satellites, we propose a parallel trusted node approach, in which key distribution is mediated by several satellites in parallel. This has the effect of distributing the trust, removing single points of failure and reducing the necessary assumptions. In addition, we discuss the versatility that an optical ground station should provide to execute such a protocol and, in general, to be fully integrated into a multi-party global quantum network.


title: Field-sensitive dislocation bound states in two-dimensional $d$-wave altermagnets

abstract: When a two-dimensional $d$-wave altermagnet is grown on a substrate, the interplay of momentum-dependent spin splittings arising from altermagnetism and Rashba spin-orbit coupling gives rise to a nodal band structure with band degeneracies enforced by a $C_{4z}\mathcal{T}$ symmetry. If we break the $C_{4z}\mathcal{T}$ symmetry by an exchange field, the band degeneracies are found to be immediately lifted, leading to a topological band structure characterized by nontrivial strong and weak topological indices. Remarkably, both the strong topological index and the $Z_{2}$-valued weak topological indices depend sensitively on the direction of the exchange field. As a consequence of the bulk-defect correspondence, we find that the unique dependence of weak topological indices on the exchange field in this system dictates that the presence or absence of topological bound states at lattice dislocations also depends sensitively on the direction of the exchange field. When the substrate is an $s$-wave superconductor, we find that a similar dependence of band topology on the exchange field gives rise to field-sensitive dislocation Majorana zero modes. As topological dislocation bound states are easily detectable by scanning tunneling microscopy, our findings unveil a promising experimental diagnosis of altermagnetic materials among an ever growing list of candidates.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.quant-gas cond-mat.supr-con quant-ph


title: A new approach for predicting the Quality of Experience in multimedia services using machine learning

abstract: In today's world, the Internet is recognized as one of the essentials of human life, playing a significant role in communications, business, and lifestyle. The quality of internet services can have widespread negative impacts on individual and social levels. Consequently, Quality of Service (QoS) has become a fundamental necessity for service providers in a competitive market aiming to offer superior services. The success and survival of these providers depend on their ability to maintain high service quality and ensure satisfaction.Alongside QoS, the concept of Quality of Experience (QoE) has emerged with the development of telephony networks. QoE focuses on the user's satisfaction with the service, helping operators adjust their services to meet user expectations. Recent research shows a trend towards utilizing machine learning and deep learning techniques to predict QoE. Researchers aim to develop accurate models by leveraging large volumes of data from network and user interactions, considering various real-world scenarios. Despite the complexity of network environments, this research provides a practical framework for improving and evaluating QoE. This study presents a comprehensive framework for evaluating QoE in multimedia services, adhering to the ITU-T P.1203 standard which includes automated data collection processes and uses machine learning algorithms to predict user satisfaction based on key network parameters. By collecting over 20,000 data records from different network conditions and users, the Random Forest model achieved a prediction accuracy of 95.8% for user satisfaction. This approach allows operators to dynamically allocate network resources in real-time, maintaining high levels of customer satisfaction with minimal costs.


title: A New Elementary Proof of Landau's Prime Ideal Theorem, and Associated Results

abstract: We give a new elementary proof of Landau's Prime Ideal Theorem. The proof is an extension of Richter's proof of the Prime Number Theorem. The main result contains other results related to the equidistribution of the prime ideal counting function.


title: Critical behavior and multistability in quasi-two-dimensional turbulence

abstract: Two-dimensional (2D) turbulence, despite being an idealization of real flows, is of fundamental interest as a model of the spontaneous emergence of order from chaotic flows. The emergence of order often displays critical behavior, whose study is hindered by the long spatial and temporal scales involved. Here, we experimentally study turbulence in periodically driven nanofluidic channels with a high aspect ratio using superfluid helium. We find a multistable transition behavior resulting from cascading bifurcations of large-scale vorticity and critical behavior at the transition to quasi-2D turbulence consistent with phase transitions in periodically driven many-body systems. We demonstrate that quasi-2D turbulent systems can undergo an abrupt change in response to a small change in a control parameter, consistent with predictions for large-scale atmospheric or oceanic flows.


title: Highly-entangled stationary states from strong symmetries

abstract: We find that the presence of strong non-Abelian conserved quantities can lead to highly entangled stationary states even for unital quantum channels. We derive exact expressions for the bipartite logarithmic negativity, R\'enyi negativities, and operator space entanglement for stationary states restricted to one symmetric subspace, with focus on the trivial subspace. We prove that these apply to open quantum evolutions whose commutants, characterizing all strongly conserved quantities, correspond to either the universal enveloping algebra of a Lie algebra or to the Read-Saleur commutants. The latter provides an example of quantum fragmentation, whose dimension is exponentially large in system size. We find a general upper bound for all these quantities given by the logarithm of the dimension of the commutant on the smaller bipartition of the chain. As Abelian examples, we show that strong U($1$) symmetries and classical fragmentation lead to separable stationary states in any symmetric subspace. In contrast, for non-Abelian SU$(N)$ symmetries, both logarithmic and R\'enyi negativities scale logarithmically with system size. Finally, we prove that while R\'enyi negativities with $n>2$ scale logarithmically with system size, the logarithmic negativity (as well as generalized R\'enyi negativities with $n<2$) exhibits a volume law scaling for the Read-Saleur commutants. Our derivations rely on the commutant possessing a Hopf algebra structure in the limit of infinitely large systems, and hence also apply to finite groups and quantum groups.


title: Training Data Augmentation for Dysarthric Automatic Speech Recognition by Text-to-Dysarthric-Speech Synthesis

abstract: Automatic speech recognition (ASR) research has achieved impressive performance in recent years and has significant potential for enabling access for people with dysarthria (PwD) in augmentative and alternative communication (AAC) and home environment systems. However, progress in dysarthric ASR (DASR) has been limited by high variability in dysarthric speech and limited public availability of dysarthric training data. This paper demonstrates that data augmentation using text-to-dysarthic-speech (TTDS) synthesis for finetuning large ASR models is effective for DASR. Specifically, diffusion-based text-to-speech (TTS) models can produce speech samples similar to dysarthric speech that can be used as additional training data for fine-tuning ASR foundation models, in this case Whisper. Results show improved synthesis metrics and ASR performance for the proposed multi-speaker diffusion-based TTDS data augmentation for ASR fine-tuning compared to current DASR baselines.


title: Noise-Aware Differentially Private Regression via Meta-Learning

abstract: Many high-stakes applications require machine learning models that protect user privacy and provide well-calibrated, accurate predictions. While Differential Privacy (DP) is the gold standard for protecting user privacy, standard DP mechanisms typically significantly impair performance. One approach to mitigating this issue is pre-training models on simulated data before DP learning on the private data. In this work we go a step further, using simulated data to train a meta-learning model that combines the Convolutional Conditional Neural Process (ConvCNP) with an improved functional DP mechanism of Hall et al. [2013] yielding the DPConvCNP. DPConvCNP learns from simulated data how to map private data to a DP predictive model in one forward pass, and then provides accurate, well-calibrated predictions. We compare DPConvCNP with a DP Gaussian Process (GP) baseline with carefully tuned hyperparameters. The DPConvCNP outperforms the GP baseline, especially on non-Gaussian data, yet is much faster at test time and requires less tuning.


title: HDNet: Physics-Inspired Neural Network for Flow Estimation based on Helmholtz Decomposition

abstract: Flow estimation problems are ubiquitous in scientific imaging. Often, the underlying flows are subject to physical constraints that can be exploited in the flow estimation; for example, incompressible (divergence-free) flows are expected for many fluid experiments, while irrotational (curl-free) flows arise in the analysis of optical distortions and wavefront sensing. In this work, we propose a Physics- Inspired Neural Network (PINN) named HDNet, which performs a Helmholtz decomposition of an arbitrary flow field, i.e., it decomposes the input flow into a divergence-only and a curl-only component. HDNet can be trained exclusively on synthetic data generated by reverse Helmholtz decomposition, which we call Helmholtz synthesis. As a PINN, HDNet is fully differentiable and can easily be integrated into arbitrary flow estimation problems.


title: The verification of periodicity with the use of recurrent neural networks

abstract: The ability to automatically and robustly self-verify periodicity present in time-series astronomical data is becoming more important as data sets rapidly increase in size. The age of large astronomical surveys has rendered manual inspection of time-series data less practical. Previous efforts in generating a false alarm probability to verify the periodicity of stars have been aimed towards the analysis of a constructed periodogram. However, these methods feature correlations with features that do not pertain to periodicity, such as light curve shape, slow trends and stochastic variability. The common assumption that photometric errors are Gaussian and well determined is also a limitation of analytic methods. We present a novel machine learning based technique which directly analyses the phase folded light curve for its false alarm probability. We show that the results of this method are largely insensitive to the shape of the light curve, and we establish minimum values for the number of data points and the amplitude to noise ratio.


title: LLM-assisted Concept Discovery: Automatically Identifying and Explaining Neuron Functions

abstract: Providing textual concept-based explanations for neurons in deep neural networks (DNNs) is of importance in understanding how a DNN model works. Prior works have associated concepts with neurons based on examples of concepts or a pre-defined set of concepts, thus limiting possible explanations to what the user expects, especially in discovering new concepts. Furthermore, defining the set of concepts requires manual work from the user, either by directly specifying them or collecting examples. To overcome these, we propose to leverage multimodal large language models for automatic and open-ended concept discovery. We show that, without a restricted set of pre-defined concepts, our method gives rise to novel interpretable concepts that are more faithful to the model's behavior. To quantify this, we validate each concept by generating examples and counterexamples and evaluating the neuron's response on this new set of images. Collectively, our method can discover concepts and simultaneously validate them, providing a credible automated tool to explain deep neural networks.


title: Refined cyclic renormalization group in Russian Doll model

abstract: We discuss the Russian Doll Model (RDM) of superconductivity for finite energy levels. Previously, cyclic renormalization group (RG) and Efimov scaling were found in RDM for part of the equidistant spectrum and we generalize this observation in a few directions. We find that when the whole spectrum is considered, equidistancy condition is removed or diagonal disorder is added, the cyclicity of RG survives but the period of RG becomes energy dependent. The analytic analysis is supported with exact diagonalization.

categories: cond-mat.dis-nn cond-mat.mes-hall hep-th quant-ph


title: Alternative representation of Magnus series by exact proper operator exponent

abstract: In this report the emphasis is on an alternative representation of the Magnus series by proper operator (matrix) exponential solutions to differential equations (systems), both linear and nonlinear ODEs and PDEs. The main idea here is in \emph{exact} \emph{linear} representations of the \emph{nonlinear} DEs. We proceeded from Dyson's time-ordered solutions, and using only generalizations of the well-known Baker-Campbell- Hausdorff (BCH) and Zassenhaus formulae for $t$-dependent operators directly converted them to simple proper operator exponents. The method being explicit both in terms of the operator and in terms of expressing the formal solution as an ordinary exponential, makes it quite easy to calculate analytical expressions to solutions in the form of a Taylor function series in one variable $t$. If introduce a mutually invertible change of variable $t$ into the original equations and then find a solution to this new equation in the form with ordinary exponential, one can obtain a completely different Taylor expansion of the desired function. The essence of this method comes down to resuming the series.