title: Large Language Models for Networking: Workflow, Advances and Challenges

abstract: The networking field is characterized by its high complexity and rapid iteration, requiring extensive expertise to accomplish network tasks, ranging from network design, configuration, diagnosis and security. The inherent complexity of these tasks, coupled with the ever-changing landscape of networking technologies and protocols, poses significant hurdles for traditional machine learning-based methods. These methods often struggle to generalize and automate complex tasks in networking, as they require extensive labeled data, domain-specific feature engineering, and frequent retraining to adapt to new scenarios. However, the recent emergence of large language models (LLMs) has sparked a new wave of possibilities in addressing these challenges. LLMs have demonstrated remarkable capabilities in natural language understanding, generation, and reasoning. These models, trained on extensive data, can benefit the networking domain. Some efforts have already explored the application of LLMs in the networking domain and revealed promising results. By reviewing recent advances, we present an abstract workflow to describe the fundamental process involved in applying LLM for Networking. We introduce the highlights of existing works by category and explain in detail how they operate at different stages of the workflow. Furthermore, we delve into the challenges encountered, discuss potential solutions, and outline future research prospects. We hope that this survey will provide insight for researchers and practitioners, promoting the development of this interdisciplinary research field.


title: Urban topology and dynamics can assess green areas importance

abstract: Green areas are a crucial element in evolution of a city, contributing to improve citizens' life, to reduce effects of climate change, and to make possible the survival of other species in urban areas. Unfortunately, the above effects are difficult to assess quantitatively for regulators, stakeholders and experts, making troublesome the planning of city development. Here we present a method to estimate the impact of these areas in the city life based on the network topology of the city itself and on a simple model of dynamics on this structure. Movements between various areas of the city are simulated by means of an agent-based biased-diffusion process where citizens try to reach the nearest Public Green Area (PGA) from their position and the model is fed with real data about the density of populations in the cases of study. Firstly, we define a centrality measure of PGA's based on average farness measured on the city network; this approach outperforms information based on the simple topology. We then improve this quantity by taking into account the occupation of PGA's, thereby providing a quantitative measure of PGA usage for regulators.


title: ConCLVD: Controllable Chinese Landscape Video Generation via Diffusion Model

abstract: Chinese landscape painting is a gem of Chinese cultural and artistic heritage that showcases the splendor of nature through the deep observations and imaginations of its painters. Limited by traditional techniques, these artworks were confined to static imagery in ancient times, leaving the dynamism of landscapes and the subtleties of artistic sentiment to the viewer's imagination. Recently, emerging text-to-video (T2V) diffusion methods have shown significant promise in video generation, providing hope for the creation of dynamic Chinese landscape paintings. However, challenges such as the lack of specific datasets, the intricacy of artistic styles, and the creation of extensive, high-quality videos pose difficulties for these models in generating Chinese landscape painting videos. In this paper, we propose CLV-HD (Chinese Landscape Video-High Definition), a novel T2V dataset for Chinese landscape painting videos, and ConCLVD (Controllable Chinese Landscape Video Diffusion), a T2V model that utilizes Stable Diffusion. Specifically, we present a motion module featuring a dual attention mechanism to capture the dynamic transformations of landscape imageries, alongside a noise adapter to leverage unsupervised contrastive learning in the latent space. Following the generation of keyframes, we employ optical flow for frame interpolation to enhance video smoothness. Our method not only retains the essence of the landscape painting imageries but also achieves dynamic transitions, significantly advancing the field of artistic video generation. The source code and dataset are available at https://anonymous.4open.science/r/ConCLVD-EFE3.


title: The MEMENTO code for modelling of macroscopic melt motion in fusion devices

abstract: The MEMENTO (MEtallic Melt Evolution in Next-step TOkamaks) code is a new numerical implementation of the physics model originally developed for the MEMOS-U code with the objective to self-consistently describe the generation of melt and its subsequent large scale dynamics in fusion devices and to assess the damage of metallic reactor armor under powerful normal and off-normal plasma events. The model has been validated in multiple dedicated EUROfusion experiments. MEMENTO solves the heat and phase transfer problem coupled with the incompressible Navier-Stokes equations in the shallow water approximation for the thin liquid film over the solid metal and with the current propagation equations on a domain that features a time-evolving deforming metal-plasma interface. The code utilizes non-uniform and adaptive meshing along with sub-cycling in time facilitated by the AMReX open-source framework as well as AMReX's built-in parallelization capabilities.


title: Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat

abstract: We study the time complexity of the weighted first-order model counting (WFOMC) over the logical language with two variables and counting quantifiers. The problem is known to be solvable in time polynomial in the domain size. However, the degree of the polynomial, which turns out to be relatively high for most practical applications, has never been properly addressed. First, we formulate a time complexity bound for the existing techniques for solving WFOMC with counting quantifiers. The bound is already known to be a polynomial with its degree depending on the number of cells of the input formula. We observe that the number of cells depends, in turn, exponentially on the parameter of the counting quantifiers appearing in the formula. Second, we propose a new approach to dealing with counting quantifiers, reducing the exponential dependency to a quadratic one, therefore obtaining a tighter upper bound. It remains an open question whether the dependency of the polynomial degree on the counting quantifiers can be reduced further, thus making our new bound a bound to beat.


title: A Pythagorean triangle in which the hypotenuse and the sum of the arms are squares

abstract: In this paper, show that the Diophantine equation $ x^2+(x+1)^2=w^4 $ has only two solutions $ (0,1) $ and $ (119,13)$ in non-negative integers $ x $ and $ w $. This equation concerned a classic problem posed by Pierre de Fermat, wonders about finding a Pythagorean triangle in which the hypotenuse and the sum of the arms are square. We review the method of finding the smallest solution presented by Fermat, and the relationship between the primitive Pythagorean triples and the Pell's equation, Finally, we present an algorithm for finding primitive solutions, which actually enabled us to find other solutions.


title: Dynamic Parameterized Feedback Problems in Tournaments

abstract: In this paper we present the first dynamic algorithms for the problem of Feedback Arc Set in Tournaments (FAST) and the problem of Feedback Vertex Set in Tournaments (FVST). Our algorithms maintain a dynamic tournament on n vertices altered by redirecting the arcs, and answer if the tournament admits a feedback arc set (or respectively feedback vertex set) of size at most K, for some chosen parameter K. For dynamic FAST we offer two algorithms. In the promise model, where we are guaranteed, that the size of the solution does not exceed g(K) for some computable function g, we give an $O(\sqrt{g(K)})$ update and $O(3^K K \sqrt{K})$ query algorithm. In the general setting without any promise, we offer an $O(\log^2 n)$ update and $O(3^K K \log^2 n)$ query time algorithm for dynamic FAST. For dynamic FVST we offer an algorithm working in the promise model, which admits $O(g^5(K))$ update and $O(3^K K^3 g(K))$ query time.


title: Robust CLIP-Based Detector for Exposing Diffusion Model-Generated Images

abstract: Diffusion models (DMs) have revolutionized image generation, producing high-quality images with applications spanning various fields. However, their ability to create hyper-realistic images poses significant challenges in distinguishing between real and synthetic content, raising concerns about digital authenticity and potential misuse in creating deepfakes. This work introduces a robust detection framework that integrates image and text features extracted by CLIP model with a Multilayer Perceptron (MLP) classifier. We propose a novel loss that can improve the detector's robustness and handle imbalanced datasets. Additionally, we flatten the loss landscape during the model training to improve the detector's generalization capabilities. The effectiveness of our method, which outperforms traditional detection techniques, is demonstrated through extensive experiments, underscoring its potential to set a new state-of-the-art approach in DM-generated image detection. The code is available at https://github.com/Purdue-M2/Robust_DM_Generated_Image_Detection.


title: Cloud-based Digital Twin for Cognitive Robotics

abstract: The paper presents a novel cloud-based digital twin learning platform for teaching and training concepts of cognitive robotics. Instead of forcing interested learners or students to install a new operating system and bulky, fragile software onto their personal laptops just to solve tutorials or coding assignments of a single lecture on robotics, it would be beneficial to avoid technical setups and directly dive into the content of cognitive robotics. To achieve this, the authors utilize containerization technologies and Kubernetes to deploy and operate containerized applications, including robotics simulation environments and software collections based on the Robot operating System (ROS). The web-based Integrated Development Environment JupyterLab is integrated with RvizWeb and XPRA to provide real-time visualization of sensor data and robot behavior in a user-friendly environment for interacting with robotics software. The paper also discusses the application of the platform in teaching Knowledge Representation, Reasoning, Acquisition and Retrieval, and Task-Executives. The authors conclude that the proposed platform is a valuable tool for education and research in cognitive robotics, and that it has the potential to democratize access to these fields. The platform has already been successfully employed in various academic courses, demonstrating its effectiveness in fostering knowledge and skill development.


title: Saturating a Fundamental Bound on Quantum Measurements' Accuracy

abstract: A quantum system is usually measured through observations performed on a second quantum system, or meter, to which it is coupled. In this scenario, fundamental limitations arise as stated by the celebrated Wigner-Araki-Yanase theorem and its generalizations, predicting an upper-bound on the measurement's accuracy (Ozawa's bound). Here, we show it is possible to saturate this fundamental bound. We propose a simple interferometric setup, arguably within reach of present technology, in which a flying particle (the quantum meter) is used to measure the state of a qubit (the target system). We show that the bound can be saturated and that this happens only if the flying particle is prepared in a Gaussian wavepacket.


title: SDSS J222428.53+261423.2: unique emission lines properties unveil a sub-kiloparsec dual AGN candidate

abstract: In this paper, we presented a detailed analysis of the Sloan Digital Sky Survey optical spectrum of a new sub-kpc scale dual AGN candidate SDSS J222428.53+261423.2 (=SDSS J2224). The target is one of the few AGNs with all the optical narrow emission lines characterized by double-peaked profiles and with peak separations in velocity units of about 930 km/s. If the double-peaked narrow emission lines (DPNELs) are due to a dual AGN in \obj, the estimated physical separation between the two cores is about 500 pc. Meanwhile, three alternative explanations are also discussed in this paper, however, we can not find solid evidence to completely rule them out. Our results support the presence of a sub-kpc dual AGN with DPNELs in all lines, indicating a key episode of galaxy merging evolution at sub-kpc scale.


title: Simple and efficient methods for local structural analysis in polydisperse hard disk systems

abstract: In nonequilibrium statistical physics, quantifying the nearest (and higher-order) neighbors and free volumes of particles in many-body systems is crucial to elucidating the origin of macroscopic collective phenomena, such as glass/granular jamming transitions and various aspects of the behavior of active matter. However, conventional techniques (based on a fixed-distance cutoff or the Voronoi construction) have mainly been applied to equilibrated, homogeneous, and monodisperse particle systems. In this paper, we implement simple and efficient methods for local structure analysis in nonequilibrium, inhomogeneous, and polydisperse hard disk systems. We show how these novel methods can overcome the difficulties encountered by conventional techniques, as well as demonstrating some applications.


title: Influential Billboard Slot Selection under Zonal Influence Constraint

abstract: Given billboard and trajectory database, finding a limited number of billboard slots for maximizing the influence is an important problem in the context of billboard advertisement. Most of the existing literature focused on the influential slot selection problem without considering any specific zonal influence constraint. To bridge this gap in this paper, we introduce and study the Influential Billboard Slot Selection Problem Under Zonal Influence Constraint. We propose a simple greedy approach to solve this problem. Though this method is easy to understand and simple to implement due to the excessive number of marginal gain computations, this method is not scalable. We design a branch and bound framework with two bound estimation techniques that divide the problem into different zones and integrate the zone-specific solutions to obtain a solution for the whole. We implement both the solution methodologies with real-world billboard and trajectory datasets and several experiments have been reported. We compare the performance of the proposed solution approaches with several baseline methods. The results show that the proposed approaches lead to more effective solutions with reasonable computational overhead than the baseline methods.


title: Reduced cross-section in Electron-Ion Colliders at small $x$

abstract: The nuclear reduced cross section $\sigma^{A}_{r}$, in the kinematic range of the electron-Ion collider with center-of-mass energy $\sqrt{s}=140~\mathrm{GeV}$ and $y{\leq}1$, is discussed. The importance of the nuclear longitudinal structure function $F^{A}_{L}$ and its behavior owing to the impact parameter for the heavy and light nucleus of Pb-208 and C-12 at $Q^2=5$ and $10~\mathrm{GeV}^2$ is considered. The dependence of the ratios $R^{A}_{F_{L}}$ and $R^{A}_{\sigma}$ on the impact parameter and the expanding point of the gluon density at small $x$ are investigated. The factorized form of parton distributions in nuclei is used in HIJING2.0 model.


title: Search for a resonance decaying into a scalar particle and a Higgs boson in the final state with two bottom quarks and two photons in proton-proton collisions at a center of mass energy of 13 TeV with the ATLAS detector

abstract: A search for the resonant production of a heavy scalar $X$ decaying into a Higgs boson and a new lighter scalar $S$, through the process $X \to S(\to bb) H(\to \gamma\gamma)$, where the two photons are consistent with the Higgs boson decay, is performed. The search is conducted using an integrated luminosity of 140 fb$^{-1}$ of proton-proton collision data at a centre-of-mass energy of 13 TeV recorded with the ATLAS detector at the Large Hadron Collider. The search is performed over the mass range 170 $\leq$ $m_{X}$ $\leq$ 1000 GeV and 15 $\leq$ $m_{S}$ $\leq$ 500 GeV. Parameterised neural networks are used to enhance the signal purity and to achieve continuous sensitivity in a domain of the ($m_{X}$, $m_{S}$) plane. No significant excess above the expected background is found and 95% CL upper limits are set on the cross section times branching ratio, ranging from 39 fb to 0.09 fb. The largest deviation from the background-only expectation occurs for ($m_{X}$, $m_{S}$) = (575, 200) GeV with a local (global) significance of 3.5 (2.0) standard deviations.


title: Physical Backdoor Attack can Jeopardize Driving with Vision-Large-Language Models

abstract: Vision-Large-Language-models(VLMs) have great application prospects in autonomous driving. Despite the ability of VLMs to comprehend and make decisions in complex scenarios, their integration into safety-critical autonomous driving systems poses serious security risks. In this paper, we propose BadVLMDriver, the first backdoor attack against VLMs for autonomous driving that can be launched in practice using physical objects. Unlike existing backdoor attacks against VLMs that rely on digital modifications, BadVLMDriver uses common physical items, such as a red balloon, to induce unsafe actions like sudden acceleration, highlighting a significant real-world threat to autonomous vehicle safety. To execute BadVLMDriver, we develop an automated pipeline utilizing natural language instructions to generate backdoor training samples with embedded malicious behaviors. This approach allows for flexible trigger and behavior selection, enhancing the stealth and practicality of the attack in diverse scenarios. We conduct extensive experiments to evaluate BadVLMDriver for two representative VLMs, five different trigger objects, and two types of malicious backdoor behaviors. BadVLMDriver achieves a 92% attack success rate in inducing a sudden acceleration when coming across a pedestrian holding a red balloon. Thus, BadVLMDriver not only demonstrates a critical security risk but also emphasizes the urgent need for developing robust defense mechanisms to protect against such vulnerabilities in autonomous driving technologies.


title: Zero-Shot Stitching in Reinforcement Learning using Relative Representations

abstract: Visual Reinforcement Learning is a popular and powerful framework that takes full advantage of the Deep Learning breakthrough. However, it is also known that variations in the input (e.g., different colors of the panorama due to the season of the year) or the task (e.g., changing the speed limit for a car to respect) could require complete retraining of the agents. In this work, we leverage recent developments in unifying latent representations to demonstrate that it is possible to combine the components of an agent, rather than retrain it from scratch. We build upon the recent relative representations framework and adapt it for Visual RL. This allows us to create completely new agents capable of handling environment-task combinations never seen during training. Our work paves the road toward a more accessible and flexible use of reinforcement learning.


title: Interpreting neural operators: how nonlinear waves propagate in non-reciprocal solids

abstract: We present a data-driven pipeline for model building that combines interpretable machine learning, hydrodynamic theories, and microscopic models. The goal is to uncover the underlying processes governing nonlinear dynamics experiments. We exemplify our method with data from microfluidic experiments where crystals of streaming droplets support the propagation of nonlinear waves absent in passive crystals. By combining physics-inspired neural networks, known as neural operators, with symbolic regression tools, we generate the solution, as well as the mathematical form, of a nonlinear dynamical system that accurately models the experimental data. Finally, we interpret this continuum model from fundamental physics principles. Informed by machine learning, we coarse grain a microscopic model of interacting droplets and discover that non-reciprocal hydrodynamic interactions stabilise and promote nonlinear wave propagation.


title: Hypergeometric sheaves with tannakian monodromy group $G_2$

abstract: Based on a suggestion by Katz, we determine the monodromy group of a certain hypergeometric sum to be $G_2$. Our approach is based on the uniformity results by Katz on the Fourier transform to deduce uniformity for the Tannakian monodromy groups.


title: Zero-Shot Medical Phrase Grounding with Off-the-shelf Diffusion Models

abstract: Localizing the exact pathological regions in a given medical scan is an important imaging problem that requires a large amount of bounding box ground truth annotations to be accurately solved. However, there exist alternative, potentially weaker, forms of supervision, such as accompanying free-text reports, which are readily available. The task of performing localization with textual guidance is commonly referred to as phrase grounding. In this work, we use a publicly available Foundation Model, namely the Latent Diffusion Model, to solve this challenging task. This choice is supported by the fact that the Latent Diffusion Model, despite being generative in nature, contains mechanisms (cross-attention) that implicitly align visual and textual features, thus leading to intermediate representations that are suitable for the task at hand. In addition, we aim to perform this task in a zero-shot manner, i.e., without any further training on target data, meaning that the model's weights remain frozen. To this end, we devise strategies to select features and also refine them via post-processing without extra learnable parameters. We compare our proposed method with state-of-the-art approaches which explicitly enforce image-text alignment in a joint embedding space via contrastive learning. Results on a popular chest X-ray benchmark indicate that our method is competitive wih SOTA on different types of pathology, and even outperforms them on average in terms of two metrics (mean IoU and AUC-ROC). Source code will be released upon acceptance.


title: Hydrodynamic Attractor in Ultracold Atoms

abstract: The hydrodynamic attractor is a concept that describes universal equilibration behavior in which systems lose microscopic details before hydrodynamics becomes applicable. We propose a setup to observe hydrodynamic attractors in ultracold atomic gases, taking advantage of the fact that driving the two-body $s$-wave scattering length causes phenomena equivalent to isotropic fluid expansions. We specifically consider two-component fermions with contact interactions in three dimensions and discuss their dynamics under a power-law drive of the scattering length in a uniform system, employing a hydrodynamic relaxation model. We analytically solve their dynamics and find the hydrodynamic attractor solution. Our results establish the cold atom systems as a new platform for exploring hydrodynamic attractors.

categories: cond-mat.quant-gas hep-ph hep-th nucl-th


title: Is Retain Set All You Need in Machine Unlearning? Restoring Performance of Unlearned Models with Out-Of-Distribution Images

abstract: In this paper, we introduce Selective-distillation for Class and Architecture-agnostic unleaRning (SCAR), a novel approximate unlearning method. SCAR efficiently eliminates specific information while preserving the model's test accuracy without using a retain set, which is a key component in state-of-the-art approximate unlearning algorithms. Our approach utilizes a modified Mahalanobis distance to guide the unlearning of the feature vectors of the instances to be forgotten, aligning them to the nearest wrong class distribution. Moreover, we propose a distillation-trick mechanism that distills the knowledge of the original model into the unlearning model with out-of-distribution images for retaining the original model's test performance without using any retain set. Importantly, we propose a self-forget version of SCAR that unlearns without having access to the forget set. We experimentally verified the effectiveness of our method, on three public datasets, comparing it with state-of-the-art methods. Our method obtains performance higher than methods that operate without the retain set and comparable w.r.t the best methods that rely on the retain set.


title: Probabilistic Numeric SMC Sampling for Bayesian Nonlinear System Identification in Continuous Time

abstract: In engineering, accurately modeling nonlinear dynamic systems from data contaminated by noise is both essential and complex. Established Sequential Monte Carlo (SMC) methods, used for the Bayesian identification of these systems, facilitate the quantification of uncertainty in the parameter identification process. A significant challenge in this context is the numerical integration of continuous-time ordinary differential equations (ODEs), crucial for aligning theoretical models with discretely sampled data. This integration introduces additional numerical uncertainty, a factor that is often over looked. To address this issue, the field of probabilistic numerics combines numerical methods, such as numerical integration, with probabilistic modeling to offer a more comprehensive analysis of total uncertainty. By retaining the accuracy of classical deterministic methods, these probabilistic approaches offer a deeper understanding of the uncertainty inherent in the inference process. This paper demonstrates the application of a probabilistic numerical method for solving ODEs in the joint parameter-state identification of nonlinear dynamic systems. The presented approach efficiently identifies latent states and system parameters from noisy measurements. Simultaneously incorporating probabilistic solutions to the ODE in the identification challenge. The methodology's primary advantage lies in its capability to produce posterior distributions over system parameters, thereby representing the inherent uncertainties in both the data and the identification process.


title: Partial orders are the free conservative cocompletion of total orders

abstract: We show that the category of partially ordered sets $\mathsf{Pos}$ is equivalent to the free conservative cocompletion of the category of finite non-empty totally ordered sets $\Delta$, which is also known as the simplex category.


title: A Hybrid Generative and Discriminative PointNet on Unordered Point Sets

abstract: As point cloud provides a natural and flexible representation usable in myriad applications (e.g., robotics and self-driving cars), the ability to synthesize point clouds for analysis becomes crucial. Recently, Xie et al. propose a generative model for unordered point sets in the form of an energy-based model (EBM). Despite the model achieving an impressive performance for point cloud generation, one separate model needs to be trained for each category to capture the complex point set distributions. Besides, their method is unable to classify point clouds directly and requires additional fine-tuning for classification. One interesting question is: Can we train a single network for a hybrid generative and discriminative model of point clouds? A similar question has recently been answered in the affirmative for images, introducing the framework of Joint Energy-based Model (JEM), which achieves high performance in image classification and generation simultaneously. This paper proposes GDPNet, the first hybrid Generative and Discriminative PointNet that extends JEM for point cloud classification and generation. Our GDPNet retains strong discriminative power of modern PointNet classifiers, while generating point cloud samples rivaling state-of-the-art generative approaches.


title: MM-PhyRLHF: Reinforcement Learning Framework for Multimodal Physics Question-Answering

abstract: Recent advancements in LLMs have shown their significant potential in tasks like text summarization and generation. Yet, they often encounter difficulty while solving complex physics problems that require arithmetic calculation and a good understanding of concepts. Moreover, many physics problems include images that contain important details required to understand the problem's context. We propose an LMM-based chatbot to answer multimodal physics MCQs. For domain adaptation, we utilize the MM-PhyQA dataset comprising Indian high school-level multimodal physics problems. To improve the LMM's performance, we experiment with two techniques, RLHF (Reinforcement Learning from Human Feedback) and Image Captioning. In image captioning, we add a detailed explanation of the diagram in each image, minimizing hallucinations and image processing errors. We further explore the integration of Reinforcement Learning from Human Feedback (RLHF) methodology inspired by the ranking approach in RLHF to enhance the human-like problem-solving abilities of the models. The RLHF approach incorporates human feedback into the learning process of LLMs, improving the model's problem-solving skills, truthfulness, and reasoning capabilities, minimizing the hallucinations in the answers, and improving the quality instead of using vanilla-supervised fine-tuned models. We employ the LLaVA open-source model to answer multimodal physics MCQs and compare the performance with and without using RLHF.


title: The Localized Active Space Method with Unitary Selective Coupled Cluster

abstract: We introduce a hybrid quantum-classical algorithm, the localized active space unitary selective coupled cluster singles and doubles (LAS-USCCSD) method. Derived from the localized active space unitary coupled cluster (LAS-UCCSD) method, LAS-USCCSD first performs a classical LASSCF calculation, then selectively identifies the most important parameters (cluster amplitudes used to build the multireference UCC ansatz) for restoring inter-fragment interaction energy using this reduced set of parameters with the variational quantum eigensolver method. We benchmark LAS-USCCSD against LAS-UCCSD by calculating the total energies of $(\mathrm{H}_2)_2$, $(\mathrm{H}_2)_4$ and \textit{trans}-butadiene, and the magnetic coupling constant for a bimetallic compound [Cr$_2$(OH)$_3$(NH$_3$)$_6$]$^{3+}$. For these systems, we find that LAS-USCCSD reduces the number of required parameters and thus the circuit depth by at least one order of magnitude, an aspect which is important for the practical implementation of multireference hybrid quantum-classical algorithms like LAS-UCCSD on near-term quantum computers.


title: The Positivity of the Neural Tangent Kernel

abstract: The Neural Tangent Kernel (NTK) has emerged as a fundamental concept in the study of wide Neural Networks. In particular, it is known that the positivity of the NTK is directly related to the memorization capacity of sufficiently wide networks, i.e., to the possibility of reaching zero loss in training, via gradient descent. Here we will improve on previous works and obtain a sharp result concerning the positivity of the NTK of feedforward networks of any depth. More precisely, we will show that, for any non-polynomial activation function, the NTK is strictly positive definite. Our results are based on a novel characterization of polynomial functions which is of independent interest.


title: Diffusive contact between randomly driven colloidal suspensions

abstract: We study the relaxation process of two driven colloidal suspensions in diffusive contact to a steady state, similar to thermalization. We start by studying a single suspension, subjecting it to random driving forces via holographic optical tweezers, which agitate it to a higher effective temperature. Interestingly, the effective temperature of the suspension, defined by the Einstein relation, exhibits a non-monotonic dependence on the driving frequency. Next, we follow the flux of particles between two such suspensions in diffusive contact, starting from a uniform density and relaxing to a state with zero net particle flux. The density remains uniform for systems with different frequencies but equal effective temperatures. At high driving frequencies, we show that the density distribution at steady state is determined by equating the ratio of the chemical potential to the effective temperature in both systems, mirroring thermal equilibrium behavior.


title: Fast Broadcast in Highly Connected Networks

abstract: We revisit the classic broadcast problem, wherein we have $k$ messages, each composed of $O(\log{n})$ bits, distributed arbitrarily across a network. The objective is to broadcast these messages to all nodes in the network. In the distributed CONGEST model, a textbook algorithm solves this problem in $O(D+k)$ rounds, where $D$ is the diameter of the graph. While the $O(D)$ term in the round complexity is unavoidable$\unicode{x2014}$given that $\Omega(D)$ rounds are necessary to solve broadcast in any graph$\unicode{x2014}$it remains unclear whether the $O(k)$ term is needed in all graphs. In cases where the minimum cut size is one, simply transmitting messages from one side of the cut to the other would require $\Omega(k)$ rounds. However, if the size of the minimum cut is larger, it may be possible to develop faster algorithms. This motivates the exploration of the broadcast problem in networks with high edge connectivity. In this work, we present a simple randomized distributed algorithm for performing $k$-message broadcast in $O(((n+k)/\lambda)\log n)$ rounds in any $n$-node simple graph with edge connectivity $\lambda$. When $k = \Omega(n)$, our algorithm is universally optimal, up to an $O(\log n)$ factor, as its complexity nearly matches an information-theoretic $\Omega(k/\lambda)$ lower bound that applies to all graphs, even when the network topology is known to the algorithm. The setting $k = \Omega(n)$ is particularly interesting because several fundamental problems can be reduced to broadcasting $\Omega(n)$ messages. Our broadcast algorithm finds several applications in distributed computing, enabling $O(1)$-approximation for all distances and $(1+\epsilon)$-approximation for all cut sizes in $\tilde{O}(n/\lambda)$ rounds.


title: Collective entanglement in quantum materials with competing orders

abstract: We investigate entanglement detection in quantum materials through criteria based on the simultaneous suppression of collective matter excitations. Unlike other detection schemes, these criteria can be applied to continuous and unbounded variables. By considering a system of interacting dipoles on a lattice, we show the detection of collective entanglement arising from two different physical mechanisms, namely, the ferroelectric ordering and the dressing of matter degrees of freedom by light. In the latter case, the detection shows the formation of a collective entangled phase not directly related to spontaneous symmetry breaking. These results open a new perspective for the entanglement characterization of competing orders in quantum materials, and have direct application to quantum paraelectrics with large polariton splittings.


title: The Visual Debugger Tool

abstract: Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate bottlenecks, and implement new desired features. Thus, software developers spend a large percentage of their time validating and debugging software, resulting in high software maintenance and evolution cost. We aim to reduce this cost by providing a novel visual debugging tool to software developers to foster program comprehension during debugging. Our debugging tool visualizes program execution information graphically as an object diagram and is fully integrated into the popular Java development environment IntelliJ IDEA. Moreover, the object diagram allows interactions to explore program execution information in more detail. A demonstration of our tool is available at https://www.youtube.com/watch?v=lU_OgotweRk.


title: Cross-cultural Inspiration Detection and Analysis in Real and LLM-generated Social Media Data

abstract: Inspiration is linked to various positive outcomes, such as increased creativity, productivity, and happiness. Although inspiration has great potential, there has been limited effort toward identifying content that is inspiring, as opposed to just engaging or positive. Additionally, most research has concentrated on Western data, with little attention paid to other cultures. This work is the first to study cross-cultural inspiration through machine learning methods. We aim to identify and analyze real and AI-generated cross-cultural inspiring posts. To this end, we compile and make publicly available the InspAIred dataset, which consists of 2,000 real inspiring posts, 2,000 real non-inspiring posts, and 2,000 generated inspiring posts evenly distributed across India and the UK. The real posts are sourced from Reddit, while the generated posts are created using the GPT-4 model. Using this dataset, we conduct extensive computational linguistic analyses to (1) compare inspiring content across cultures, (2) compare AI-generated inspiring posts to real inspiring posts, and (3) determine if detection models can accurately distinguish between inspiring content across cultures and data sources.


title: AuDaLa is Turing Complete

abstract: AuDaLa is a recently introduced programming language that follows the new data autonomous paradigm. In this paradigm, small pieces of data execute functions autonomously. Considering the paradigm and the design choices of AuDaLa, it is interesting to determine the expressiveness of the language and to create verification methods for it. In this paper, we take our first steps to such a verification method by implementing Turing machines in AuDaLa and proving that implementation correct. This also proves that AuDaLa is Turing complete.


title: FAIR Jupyter: a knowledge graph approach to semantic sharing and granular exploration of a computational notebook reproducibility dataset

abstract: The way in which data are shared can affect their utility and reusability. Here, we demonstrate how data that we had previously shared in bulk can be mobilized further through a knowledge graph that allows for much more granular exploration and interrogation. The original dataset is about the computational reproducibility of GitHub-hosted Jupyter notebooks associated with biomedical publications. It contains rich metadata about the publications, associated GitHub repositories and Jupyter notebooks, and the notebooks' reproducibility. We took this dataset, converted it into semantic triples and loaded these into a triple store to create a knowledge graph, FAIR Jupyter, that we made accessible via a web service. This enables granular data exploration and analysis through queries that can be tailored to specific use cases. Such queries may provide details about any of the variables from the original dataset, highlight relationships between them or combine some of the graph's content with materials from corresponding external resources. We provide a collection of example queries addressing a range of use cases in research and education. We also outline how sets of such queries can be used to profile specific content types, either individually or by class. We conclude by discussing how such a semantically enhanced sharing of complex datasets can both enhance their FAIRness, i.e., their findability, accessibility, interoperability, and reusability, and help identify and communicate best practices, particularly with regards to data quality, standardization, automation and reproducibility.


title: A Shintani lift for rigid cocycles

abstract: We construct a Shintani lift for rigid analytic cocycles of higher weight, attaching modular forms of half-integral weight to such cocycles. The expression for the Fourier coefficients of the modular form $\mathcal{RS}(J)$ attached to a cocycle $J$ is given in terms of the residues of $J$, and shares a striking similarity with the expression for the coefficients of the classical Shintani lift $\mathcal{S}(f)$ of an integral weight modular form $f$. This work aligns with the ideas of the nascent $p$-adic Kudla program and strengthens the analogy between rigid cocycles and modular forms.


title: Coupled $\operatorname{G}_2$-instantons

abstract: We introduce the coupled instanton equations for a metric, a spinor, a three-form, and a connection on a bundle, over a spin manifold. Special solutions in dimensions $6$ and $7$ arise, respectively, from the Hull--Strominger and the heterotic $\operatorname{G}_2$ system. The equations are motivated by recent developments in theoretical physics and can be recast using generalized geometry; we investigate how coupled instantons relate to generalized Ricci-flat metrics and also to Killing spinors on a Courant algebroid. We present two open questions regarding how these different geometric conditions are intertwined, for which a positive answer is expected from recent developments in the physics literature by De la Ossa, Larfors and Svanes, and in the mathematics literature on Calabi--Yau manifolds, in recent work by the second-named author with Gonz\'alez Molina. We give a complete solution to the first of these problems, providing a new method for the construction of instantons in arbitrary dimensions. For $\operatorname{G}_2$-structures with torsion coupled to $\operatorname{G}_2$-instantons, in dimension $7$, we also establish results around the second problem. The last part of the present work carefully studies the approximate solutions to the heterotic $\operatorname{G}_2$-system constructed by the third and fourth authors on contact Calabi--Yau $7$-manifolds, for which we prove the existence of approximate coupled $\operatorname{G}_2$-instantons and generalized Ricci-flat metrics.


title: MAiDE-up: Multilingual Deception Detection of GPT-generated Hotel Reviews

abstract: Deceptive reviews are becoming increasingly common, especially given the increase in performance and the prevalence of LLMs. While work to date has addressed the development of models to differentiate between truthful and deceptive human reviews, much less is known about the distinction between real reviews and AI-authored fake reviews. Moreover, most of the research so far has focused primarily on English, with very little work dedicated to other languages. In this paper, we compile and make publicly available the MAiDE-up dataset, consisting of 10,000 real and 10,000 AI-generated fake hotel reviews, balanced across ten languages. Using this dataset, we conduct extensive linguistic analyses to (1) compare the AI fake hotel reviews to real hotel reviews, and (2) identify the factors that influence the deception detection model performance. We explore the effectiveness of several models for deception detection in hotel reviews across three main dimensions: sentiment, location, and language. We find that these dimensions influence how well we can detect AI-generated fake reviews.


title: Superradiant phase transition in a large interacting driven atomic ensemble in free space

abstract: Atomic ensembles strongly interacting with light constitute rich quantum-optical many-body systems, with the potential for observing cooperative effects and dissipative nonequilibrium phase transitions. We theoretically analyze the conditions under which a driven atomic ensemble in free space, characterized by strong dipole-dipole interactions and large spatial extent, can undergo a superradiant phase transition, also known as cooperative resonance fluorescence. In an atomic array, stationary states that conserve the collective pseudospin exhibit completely cooperative decay and undergo a second-order phase transition in the large atom number limit. In contrast, decay mechanisms on longer timescales that fail to conserve pseudospin can lead to discontinuous first-order phase transition at a critical finite atom number, disrupting cooperation despite sharing many similar observable characteristics. A hallmark of the superradiant phase transition is an abrupt shift from total light reflection off the atoms to rapidly increasing transmission, accompanied by significant quantum fluctuations, as a function of light intensity.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Neural Flow Diffusion Models: Learnable Forward Process for Improved Diffusion Modelling

abstract: Conventional diffusion models typically relies on a fixed forward process, which implicitly defines complex marginal distributions over latent variables. This can often complicate the reverse process' task in learning generative trajectories, and results in costly inference for diffusion models. To address these limitations, we introduce Neural Flow Diffusion Models (NFDM), a novel framework that enhances diffusion models by supporting a broader range of forward processes beyond the standard Gaussian. We also propose a novel parameterization technique for learning the forward process. Our framework provides an end-to-end, simulation-free optimization objective, effectively minimizing a variational upper bound on the negative log-likelihood. Experimental results demonstrate NFDM's strong performance, evidenced by state-of-the-art likelihood estimation. Furthermore, we investigate NFDM's capacity for learning generative dynamics with specific characteristics, such as deterministic straight lines trajectories, and demonstrate how the framework may be adopted for learning bridges between two distributions. The results underscores NFDM's versatility and its potential for a wide range of applications.


title: Towards behavioral consistency in heterogeneous modeling scenarios

abstract: Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However, consistency checking for behavioral models, especially in a heterogeneous scenario, is limited. We propose a methodology to integrate heterogeneous behavioral models to achieve consistency checking in broader scenarios. It is based on aligning the respective behavioral metamodels by defining possible inter-model relations which carry behavioral meaning. Converting the models and their relations to a behavioral formalism enables analysis of global behavioral consistency using model-checking.


title: Purposer: Putting Human Motion Generation in Context

abstract: We present a novel method to generate human motion to populate 3D indoor scenes. It can be controlled with various combinations of conditioning signals such as a path in a scene, target poses, past motions, and scenes represented as 3D point clouds. State-of-the-art methods are either models specialized to one single setting, require vast amounts of high-quality and diverse training data, or are unconditional models that do not integrate scene or other contextual information. As a consequence, they have limited applicability and rely on costly training data. To address these limitations, we propose a new method ,dubbed Purposer, based on neural discrete representation learning. Our model is capable of exploiting, in a flexible manner, different types of information already present in open access large-scale datasets such as AMASS. First, we encode unconditional human motion into a discrete latent space. Second, an autoregressive generative model, conditioned with key contextual information, either with prompting or additive tokens, and trained for next-step prediction in this space, synthesizes sequences of latent indices. We further design a novel conditioning block to handle future conditioning information in such a causal model by using a network with two branches to compute separate stacks of features. In this manner, Purposer can generate realistic motion sequences in diverse test scenes. Through exhaustive evaluation, we demonstrate that our multi-contextual solution outperforms existing specialized approaches for specific contextual information, both in terms of quality and diversity. Our model is trained with short sequences, but a byproduct of being able to use various conditioning signals is that at test time different combinations can be used to chain short sequences together and generate long motions within a context scene.


title: Symmetry: a General Structure in Nonparametric Regression

abstract: In this paper we present the framework of symmetry in nonparametric regression. This generalises the framework of covariate sparsity, where the regression function depends only on at most $s < d$ of the covariates, which is a special case of translation symmetry with linear orbits. In general this extends to other types of functions that capture lower dimensional behavior even when these structures are non-linear. We show both that known symmetries of regression functions can be exploited to give similarly faster rates, and that unknown symmetries with Lipschitz actions can be estimated sufficiently quickly to obtain the same rates. This is done by explicit constructions of partial symmetrisation operators that are then applied to usual estimators, and with a two step M-estimator of the maximal symmetry of the regression function. We also demonstrate the finite sample performance of these estimators on synthetic data.


title: Visualizing Intelligent Tutor Interactions for Responsive Pedagogy

abstract: Intelligent tutoring systems leverage AI models of expert learning and student knowledge to deliver personalized tutoring to students. While these intelligent tutors have demonstrated improved student learning outcomes, it is still unclear how teachers might integrate them into curriculum and course planning to support responsive pedagogy. In this paper, we conducted a design study with five teachers who have deployed Apprentice Tutors, an intelligent tutoring platform, in their classes. We characterized their challenges around analyzing student interaction data from intelligent tutoring systems and built VisTA (Visualizations for Tutor Analytics), a visual analytics system that shows detailed provenance data across multiple coordinated views. We evaluated VisTA with the same five teachers, and found that the visualizations helped them better interpret intelligent tutor data, gain insights into student problem-solving provenance, and decide on necessary follow-up actions - such as providing students with further support or reviewing skills in the classroom. Finally, we discuss potential extensions of VisTA into sequence query and detection, as well as the potential for the visualizations to be useful for encouraging self-directed learning in students.


title: Modelling the magnetic properties of 1D arrays of FePc molecules

abstract: We investigate the magnetic properties of Fe Phthalocyanines (FePc) that are experimentally arranged in quasi one-dimensional chains when they are grown in thin films or powders. By means of DFT calculations we reproduce the structural parameters found in experiments, and then we build a generalized Heisenberg magnetic model with single ion anisotropy, and calculate its parameters. The results show a anisotropic exchange interaction $J$ between FePc molecules, and an easy plane single ion anisotropy $D$. By means of Monte Carlo simulations, with this model, we found an explanation to the non-saturation of the magnetization found at high fields, which we interpret is due to the anisotropic exchange interaction $J$. Finally, we also investigate the presence of magnetic solitons versus temperature and magnetic field. This results provide additional evidence that FePc is a soliton bearing molecular compound, with solitons easily excited mainly in the molecular $xy$ plane.


title: A Ritt-Kreiss condition: spectral localization and norm estimates

abstract: A new condition is introduced by generalizing the Ritt and Kreiss operators named $(\alpha, \beta)$-RK condition. Geometrical properties of the spectrum for the case $\beta < 1$ are studied, moreover it is shown that in that case if $\alpha + \beta = 1$ the operator is Ritt. Estimates for the power and power differences norms for this type of operators are also studied. Lastly we apply this theory to obtain and interpolation result over Ritt and Kreiss operator on $L^p$ spaces.


title: Hadronic Spectrum in the Chiral Large $N_c$ Extension of Quantum Chromodynamics

abstract: We study Quantum Chromodynamics in the chiral large $N_c$ limit which contains a left-handed Weyl fermion in the fundamental representation, a left-handed Weyl fermion in the two index antisymmetric representation and $(N_c-3)$ left-handed Weyl fermions in the antifundamental representation of the $SU(N_c)$ gauge group. We construct gauge singlet composite operators and study their masses and correlation functions at large $N_c$. It is shown that all hadron masses scale as $\sim N_c^0 n_q$ where $n_q$ is the number of constituent quarks in the hadron. In addition by simple gluon exchange considerations it is seen that scattering amplitudes between hadrons have the same $N_c$ scaling as the mass of the lightest hadron involved. This is the case provided the hadrons in the scattering amplitude share a sufficiently large number of constituent quarks. The chiral large $N_c$ extension also allows for other non-trivial processes. For instance we consider two different baryonium states that are unique to this extension and that decay via emissions of two- and three-quark hadrons. Also other non-trivial scattering processes are considered. Finally, we study composites made of a mix of left- and right-handed fields. We categorize multiple groups of hadrons within the full spectrum according to their flavor structure. Within these groups all $n$-point functions scale the same.


title: Next Generation Loss Function for Image Classification

abstract: Neural networks are trained by minimizing a loss function that defines the discrepancy between the predicted model output and the target value. The selection of the loss function is crucial to achieve task-specific behaviour and highly influences the capability of the model. A variety of loss functions have been proposed for a wide range of tasks affecting training and model performance. For classification tasks, the cross entropy is the de-facto standard and usually the first choice. Here, we try to experimentally challenge the well-known loss functions, including cross entropy (CE) loss, by utilizing the genetic programming (GP) approach, a population-based evolutionary algorithm. GP constructs loss functions from a set of operators and leaf nodes and these functions are repeatedly recombined and mutated to find an optimal structure. Experiments were carried out on different small-sized datasets CIFAR-10, CIFAR-100 and Fashion-MNIST using an Inception model. The 5 best functions found were evaluated for different model architectures on a set of standard datasets ranging from 2 to 102 classes and very different sizes. One function, denoted as Next Generation Loss (NGL), clearly stood out showing same or better performance for all tested datasets compared to CE. To evaluate the NGL function on a large-scale dataset, we tested its performance on the Imagenet-1k dataset where it showed improved top-1 accuracy compared to models trained with identical settings and other losses. Finally, the NGL was trained on a segmentation downstream task for Pascal VOC 2012 and COCO-Stuff164k datasets improving the underlying model performance.


title: Optimal single threshold stopping rules and sharp prophet inequalities

abstract: This paper considers a finite horizon optimal stopping problem for a sequence of independent and identically distributed random variables. The objective is to design stopping rules that attempt to select the random variable with the highest value in the sequence. The performance of any stopping rule may be benchmarked relative to the selection of a ``prophet" that has perfect foreknowledge of the largest value. Such comparisons are typically stated in the form of "prophet inequalities." In this paper we characterize sharp prophet inequalities for single threshold stopping rules as solutions to infinite two person zero sum games on the unit square with special payoff kernels. The proposed game theoretic characterization allows one to derive sharp non-asymptotic prophet inequalities for different classes of distributions. This, in turn, gives rise to a simple and computationally tractable algorithmic paradigm for deriving optimal single threshold stopping rules.


title: Enhanced controllable triplet proximity effect in superconducting spin-orbit coupled spin valves with modified superconductor/ferromagnet interfaces

abstract: In a superconductor/ferromagnet hybrid, a magnetically controlled singlet-to-triplet Cooper pair conversion can modulate the superconducting critical temperature. In these triplet superconducting spin valves, such control usually requires inhomogeneous magnetism. However, in the presence of spin-orbit coupling from an interfacial heavy-metal layer, the singlet/triplet conversion rate and thus the critical temperature, can be controlled via the magnetization direction of a single homogeneous ferromagnet. Here, we report significantly enhanced controllable pair conversion to a triplet state in a Nb/Pt/Co/Pt superconducting spin valve in which Pt/Co/Pt is homogeneously magnetized and proximity-coupled to a superconducting layer of Nb. The Co/Pt interface furthest away from Nb is modified by a sub-nanometer-thick layer of Cu or Au. We argue that the enhancement is most likely associated from an improvement of the Co/Pt interface due to the insertion of Cu and Au layers. Additionally, the higher normalized orbital moments in Au measured using X-ray magnetic circular dichroism shows that increasing spin-orbit coupling enhances the triplet proximity effect - an observation supported by our theoretical calculations. Our results provide a pathway to enhancing triplet pair creation by interface engineering for device development in superspintronics.


title: The Benefits of Diligence

abstract: This paper studies the strength of embedding Call-by-Name ({\tt dCBN}) and Call-by-Value ({\tt dCBV}) into a unifying framework called the Bang Calculus ({\tt dBANG}). These embeddings enable establishing (static and dynamic) properties of {\tt dCBN} and {\tt dCBV} through their respective counterparts in {\tt dBANG}. While some specific static properties have been already successfully studied in the literature, the dynamic ones are more challenging and have been left unexplored. We accomplish that by using a standard embedding for the (easy) {\tt dCBN} case, while a novel one must be introduced for the (difficult) {\tt dCBV} case. Moreover, a key point of our approach is the identification of {\tt dBANG} diligent reduction sequences, which eases the preservation of dynamic properties from {\tt dBANG} to {\tt dCBN}/{\tt dCBV}. We illustrate our methodology through two concrete applications: confluence/factorization for both {\tt dCBN} and {\tt dCBV} are respectively derived from confluence/factorization for {\tt dBANG}.


title: What We Augment When We Augment Visualizations: A Design Elicitation Study of How We Visually Express Data Relationships

abstract: Visual augmentations are commonly added to charts and graphs in order to convey richer and more nuanced information about relationships in the data. However, many design spaces proposed for categorizing augmentations were defined in a top-down manner, based on expert heuristics or from surveys of published visualizations. Less well understood are user preferences and intuitions when designing augmentations. In this paper, we address the gap by conducting a design elicitation study, where study participants were asked to draw the different ways they would visually express the meaning of ten different prompts. We obtained 364 drawings from the study, and identified the emergent categories of augmentations used by participants. The contributions of this paper are: (i) a user-defined design space of visualization augmentations, (ii) a repository of hand drawn augmentations made by study participants, and (iii) a discussion of insights into participant considerations, and connections between our study and existing design guidelines.


title: Low-Depth Spatial Tree Algorithms

abstract: Contemporary accelerator designs exhibit a high degree of spatial localization, wherein two-dimensional physical distance determines communication costs between processing elements. This situation presents considerable algorithmic challenges, particularly when managing sparse data, a pivotal component in progressing data science. The spatial computer model quantifies communication locality by weighting processor communication costs by distance, introducing a term named energy. Moreover, it integrates depth, a widely-utilized metric, to promote high parallelism. We propose and analyze a framework for efficient spatial tree algorithms within the spatial computer model. Our primary method constructs a spatial tree layout that optimizes the locality of the neighbors in the compute grid. This approach thereby enables locality-optimized messaging within the tree. Our layout achieves a polynomial factor improvement in energy compared to utilizing a PRAM approach. Using this layout, we develop energy-efficient treefix sum and lowest common ancestor algorithms, which are both fundamental building blocks for other graph algorithms. With high probability, our algorithms exhibit near-linear energy and poly-logarithmic depth. Our contributions augment a growing body of work demonstrating that computations can have both high spatial locality and low depth. Moreover, our work constitutes an advancement in the spatial layout of irregular and sparse computations.


title: Finite frequentism explains quantum probability

abstract: I show that frequentism, as an explanation of probability in classical statistical mechanics, can be extended in a natural way to a decoherent quantum history space, the analogue of a classical phase space. The result is a form of finite frequentism, in which the Gibbs concept of an infinite ensemble of gases is replaced by the quantum state expressed as a superposition of a finite number of decohering microstates. It is a form of finite and actual (as opposed to hypothetical) frequentism insofar as all the microstates exist, even though they may differ macroscopically, in keeping with the decoherence-based Everett interpretation of quantum mechanics.


title: Anisotropic electron-phonon interactions in 2D lead-halide perovskites

abstract: Two-dimensional hybrid organic-inorganic metal halide perovskites offer enhanced stability for perovskite-based applications. Their crystal structure's soft and ionic nature gives rise to strong interactions between charge carriers and ionic rearrangements. Here, we investigate the interaction of photo-generated electrons and ionic polarizations in single-crystal 2D perovskite butylammonium lead iodide, varying the inorganic lammelae thickness in the 2D single crystals. We determined the directionality of the transition dipole moments of the relevant phonon modes (in the 0.3-3 THz range) by angle-and-polarization dependent THz transmission measurements. We find a clear anisotropy of the in-plane photoconductivity, with a 10% reduction along the axis parallel with the transition dipole moment of the most strongly coupled phonon. Detailed calculations, based on Feynman polaron theory, indicate that the anisotropy originates from directional electron-phonon interactions.


title: Robust hybrid finite element methods for reaction-dominated diffusion problems

abstract: For a reaction-dominated diffusion problem we study a primal and a dual hybrid finite element method where weak continuity conditions are enforced by Lagrange multipliers. Uniform robustness of the discrete methods is achieved by enriching the local discretization spaces with modified face bubble functions which decay exponentially in the interior of an element depending on the ratio of the singular perturbation parameter and the local mesh-size. A posteriori error estimators are derived using Fortin operators. They are robust with respect to the singular perturbation parameter. Numerical experiments are presented that show that oscillations, if present, are significantly smaller then those observed in common finite element methods.


title: Towards Reliable Latent Knowledge Estimation in LLMs: In-Context Learning vs. Prompting Based Factual Knowledge Extraction

abstract: We propose an approach for estimating the latent knowledge embedded inside large language models (LLMs). We leverage the in-context learning (ICL) abilities of LLMs to estimate the extent to which an LLM knows the facts stored in a knowledge base. Our knowledge estimator avoids reliability concerns with previous prompting-based methods, is both conceptually simpler and easier to apply, and we demonstrate that it can surface more of the latent knowledge embedded in LLMs. We also investigate how different design choices affect the performance of ICL-based knowledge estimation. Using the proposed estimator, we perform a large-scale evaluation of the factual knowledge of a variety of open source LLMs, like OPT, Pythia, Llama(2), Mistral, Gemma, etc. over a large set of relations and facts from the Wikidata knowledge base. We observe differences in the factual knowledge between different model families and models of different sizes, that some relations are consistently better known than others but that models differ in the precise facts they know, and differences in the knowledge of base models and their finetuned counterparts.


title: Improving Pediatric Pneumonia Diagnosis with Adult Chest X-ray Images Utilizing Contrastive Learning and Embedding Similarity

abstract: Despite the advancement of deep learning-based computer-aided diagnosis (CAD) methods for pneumonia from adult chest x-ray (CXR) images, the performance of CAD methods applied to pediatric images remains suboptimal, mainly due to the lack of large-scale annotated pediatric imaging datasets. Establishing a proper framework to leverage existing adult large-scale CXR datasets can thus enhance pediatric pneumonia detection performance. In this paper, we propose a three-branch parallel path learning-based framework that utilizes both adult and pediatric datasets to improve the performance of deep learning models on pediatric test datasets. The paths are trained with pediatric only, adult only, and both types of CXRs, respectively. Our proposed framework utilizes the multi-positive contrastive loss to cluster the classwise embeddings and the embedding similarity loss among these three parallel paths to make the classwise embeddings as close as possible to reduce the effect of domain shift. Experimental evaluations on open-access adult and pediatric CXR datasets show that the proposed method achieves a superior AUROC score of 0.8464 compared to 0.8348 obtained using the conventional approach of join training on both datasets. The proposed approach thus paves the way for generalized CAD models that are effective for both adult and pediatric age groups.


title: Dressing the Lorentz atom

abstract: We investigate the effects of the electromagnetic vacuum field on a harmonically bound electron. We show that in the electric-dipole approximation the model atom couples only to an effective one-dimensional electric field. In a simplified form, in which the problem is reduced to a single spatial dimension, we determine, analytically, the form of the ground state and discuss the significance of this.


title: Intrinsic Limits of Charge Carrier Mobilities in Layered Halide Perovskites

abstract: Layered halide perovskites have emerged as potential alternatives to three-dimensional halide perovskites due to their improved stability and larger material phase space, allowing fine-tuning of structural, electronic, and optical properties. However, their charge carrier mobilities are significantly smaller than that of three-dimensional halide perovskites, which has a considerable impact on their application in optoelectronic devices. Here, we employ state-of-the-art ab initio approaches to unveil the electron-phonon mechanisms responsible for the diminished transport properties of layered halide perovskites. Starting from a prototypical ABX$_{3}$ halide perovskite, we model the case of $n=1$ and $n=2$ layered structures and compare their electronic and transport properties to the three-dimensional reference. The electronic and phononic properties are investigated within density functional theory (DFT) and density functional perturbation theory (DFPT), while transport properties are obtained via the ab initio Boltzmann transport equation. The vibrational modes contributing to charge carrier scattering are investigated and associated with polar-phonon scattering mechanisms arising from the long-range Fr\"ohlich coupling and deformation potential scattering processes. Our investigation reveals that the lower mobilities in layered systems primarily originates from the increased electronic density of states at the vicinity of the band edges, while the electron-phonon coupling strength remains similar. Such increase is caused by the dimensionality reduction and the break in octahedra connectivity along the stacking direction. Our findings provide a fundamental understanding of the electron-phonon coupling mechanisms in layered perovskites and highlight the intrinsic limitations of the charge carrier transport in these materials.


title: Generally noise-resilient quantum gates for trapped-ions

abstract: We present an entangling gate scheme for trapped-ion chains that achieves high-fidelity operations with excited motional states despite multiple error sources. Our approach incorporates all relevant motional modes and exhibits enhanced robustness against both motional heating effects and detuning errors, critical features for building robust and scalable trapped-ion quantum computers.


title: Asymmetric $\mathbb{Z}_4$ orbifolds of type IIB string theory revisited

abstract: We construct freely acting asymmetric $\mathbb{Z}_4$ orbifolds of type IIB string theory on $T^5$ preserving 24,16 or 8 supercharges in five dimensions. We show that these models are well-defined if the SO(8) lattice is chosen, while the SU(2)$^4$ lattice, which was previously considered in the literature, does not lead to a modular invariant partition function. Also, we clarify some issues related to the coefficients in the $q\bar{q}$-expansion of the partition function in the twisted sectors of asymmetric orbifolds.


title: A comparison between single-stage and two-stage 3D tracking algorithms for greenhouse robotics

abstract: With the current demand for automation in the agro-food industry, accurately detecting and localizing relevant objects in 3D is essential for successful robotic operations. However, this is a challenge due the presence of occlusions. Multi-view perception approaches allow robots to overcome occlusions, but a tracking component is needed to associate the objects detected by the robot over multiple viewpoints. Multi-object tracking (MOT) algorithms can be categorized between two-stage and single-stage methods. Two-stage methods tend to be simpler to adapt and implement to custom applications, while single-stage methods present a more complex end-to-end tracking method that can yield better results in occluded situations at the cost of more training data. The potential advantages of single-stage methods over two-stage methods depends on the complexity of the sequence of viewpoints that a robot needs to process. In this work, we compare a 3D two-stage MOT algorithm, 3D-SORT, against a 3D single-stage MOT algorithm, MOT-DETR, in three different types of sequences with varying levels of complexity. The sequences represent simpler and more complex motions that a robot arm can perform in a tomato greenhouse. Our experiments in a tomato greenhouse show that the single-stage algorithm consistently yields better tracking accuracy, especially in the more challenging sequences where objects are fully occluded or non-visible during several viewpoints.


title: On the McKean-Vlasov SDE with branching

abstract: We study a nonlinear branching diffusion process in the sense of McKean, i.e., where particles are subjected to a mean-field interaction. We consider first a strong formulation of the problem and we provide an existence and uniqueness result by using contraction arguments. Then we consider the notion of weak solution and its equivalent martingale problem formulation. In this setting, we provide a general weak existence result, as well as a propagation of chaos property, i.e., the McKean-Vlasov branching diffusion is the limit of a large population branching process with mean-field interaction when the population size grows to infinity.


title: A note on higher-order and nonlinear limiting approaches for continuously bounds-preserving discontinuous Galerkin methods

abstract: In (Dzanic, J. Comp. Phys., 508:113010, 2024), a limiting approach for high-order discontinuous Galerkin schemes was introduced which allowed for imposing constraints on the solution continuously (i.e., everywhere within the element). While exact for linear constraint functionals, this approach only imposed a sufficient (but not the minimum necessary) amount of limiting for nonlinear constraint functionals. This short note shows how this limiting approach can be extended to allow exactness for general nonlinear quasiconcave constraint functionals through a nonlinear limiting procedure, reducing unnecessary numerical dissipation. Some examples are shown for nonlinear pressure and entropy constraints in the compressible gas dynamics equations, where both analytic and iterative approaches are used.


title: Eyes Can Deceive: Benchmarking Counterfactual Reasoning Abilities of Multi-modal Large Language Models

abstract: Counterfactual reasoning, as a crucial manifestation of human intelligence, refers to making presuppositions based on established facts and extrapolating potential outcomes. Existing multimodal large language models (MLLMs) have exhibited impressive cognitive and reasoning capabilities, which have been examined across a wide range of Visual Question Answering (VQA) benchmarks. Nevertheless, how will existing MLLMs perform when faced with counterfactual questions? To answer this question, we first curate a novel \textbf{C}ounter\textbf{F}actual \textbf{M}ulti\textbf{M}odal reasoning benchmark, abbreviated as \textbf{CFMM}, to systematically assess the counterfactual reasoning capabilities of MLLMs. Our CFMM comprises six challenging tasks, each including hundreds of carefully human-labeled counterfactual questions, to evaluate MLLM's counterfactual reasoning capabilities across diverse aspects. Through experiments, interestingly, we find that existing MLLMs prefer to believe what they see, but ignore the counterfactual presuppositions presented in the question, thereby leading to inaccurate responses. Furthermore, we evaluate a wide range of prevalent MLLMs on our proposed CFMM. The significant gap between their performance on our CFMM and that on several VQA benchmarks indicates that there is still considerable room for improvement in existing MLLMs toward approaching human-level intelligence. On the other hand, through boosting MLLMs performances on our CFMM in the future, potential avenues toward developing MLLMs with advanced intelligence can be explored.


title: Bootstrap confidence intervals: A comparative simulation study

abstract: Bootstrap is a widely used technique that allows estimating the properties of a given estimator, such as its bias and standard error. In this paper, we evaluate and compare five bootstrap-based methods for making confidence intervals: two of them (Normal and Studentized) based on the bootstrap estimate of the standard error; another two (Quantile and Better) based on the estimated distribution of the parameter estimator; and finally, considering an interval constructed based on Bayesian bootstrap, relying on the notion of credible interval. The methods are compared through Monte Carlo simulations in different scenarios, including samples with autocorrelation induced by a copula model. The results are also compared with respect to the coverage rate, the median interval length and a novel indicator, proposed in this paper, combining both of them. The results show that the Studentized method has the best coverage rate, although the smallest intervals are attained by the Bayesian method. In general, all methods are appropriate and demonstrated good performance even in the scenarios violating the independence assumption.


title: Scalable Data Assimilation with Message Passing

abstract: Data assimilation is a core component of numerical weather prediction systems. The large quantity of data processed during assimilation requires the computation to be distributed across increasingly many compute nodes, yet existing approaches suffer from synchronisation overhead in this setting. In this paper, we exploit the formulation of data assimilation as a Bayesian inference problem and apply a message-passing algorithm to solve the spatial inference problem. Since message passing is inherently based on local computations, this approach lends itself to parallel and distributed computation. In combination with a GPU-accelerated implementation, we can scale the algorithm to very large grid sizes while retaining good accuracy and compute and memory requirements.


title: Disentangling ID and Modality Effects for Session-based Recommendation

abstract: Session-based recommendation aims to predict intents of anonymous users based on their limited behaviors. Modeling user behaviors involves two distinct rationales: co-occurrence patterns reflected by item IDs, and fine-grained preferences represented by item modalities (e.g., text and images). However, existing methods typically entangle these causes, leading to their failure in achieving accurate and explainable recommendations. To this end, we propose a novel framework DIMO to disentangle the effects of ID and modality in the task. At the item level, we introduce a co-occurrence representation schema to explicitly incorporate cooccurrence patterns into ID representations. Simultaneously, DIMO aligns different modalities into a unified semantic space to represent them uniformly. At the session level, we present a multi-view self-supervised disentanglement, including proxy mechanism and counterfactual inference, to disentangle ID and modality effects without supervised signals. Leveraging these disentangled causes, DIMO provides recommendations via causal inference and further creates two templates for generating explanations. Extensive experiments on multiple real-world datasets demonstrate the consistent superiority of DIMO over existing methods. Further analysis also confirms DIMO's effectiveness in generating explanations.


title: FlyNeRF: NeRF-Based Aerial Mapping for High-Quality 3D Scene Reconstruction

abstract: Current methods for 3D reconstruction and environmental mapping frequently face challenges in achieving high precision, highlighting the need for practical and effective solutions. In response to this issue, our study introduces FlyNeRF, a system integrating Neural Radiance Fields (NeRF) with drone-based data acquisition for high-quality 3D reconstruction. Utilizing unmanned aerial vehicle (UAV) for capturing images and corresponding spatial coordinates, the obtained data is subsequently used for the initial NeRF-based 3D reconstruction of the environment. Further evaluation of the reconstruction render quality is accomplished by the image evaluation neural network developed within the scope of our system. According to the results of the image evaluation module, an autonomous algorithm determines the position for additional image capture, thereby improving the reconstruction quality. The neural network introduced for render quality assessment demonstrates an accuracy of 97%. Furthermore, our adaptive methodology enhances the overall reconstruction quality, resulting in an average improvement of 2.5 dB in Peak Signal-to-Noise Ratio (PSNR) for the 10% quantile. The FlyNeRF demonstrates promising results, offering advancements in such fields as environmental monitoring, surveillance, and digital twins, where high-fidelity 3D reconstructions are crucial.


title: A note on the Erd\H{o}s Matching Conjecture

abstract: The Erd\H os Matching Conjecture states that the maximum size $f(n,k,s)$ of a family $\mathcal{F}\subseteq \binom{[n]}{k}$ that does not contain $s$ pairwise disjoint sets is $\max\{|\mathcal{A}_{k,s}|,|\mathcal{B}_{n,k,s}|\}$, where $\mathcal{A}_{k,s}=\binom{[sk-1]}{k}$ and $\mathcal{B}_{n,k,s}=\{B\in \binom{[n]}{k}:B\cap [s-1]\neq \emptyset\}$. The case $s=2$ is simply the Erd\H{o}s-Ko-Rado theorem on intersecting families and is well understood. The case $n=sk$ was settled by Kleitman and the uniqueness of the extremal construction was obtained by Frankl. Most results in this area show that if $k,s$ are fixed and $n$ is large enough, then the conjecture holds true. Exceptions are due to Frankl who proved the conjecture and considered variants for $n\in [sk,sk+c_{s,k}]$ if $s$ is large enough compared to $k$. A recent manuscript by Guo and Lu considers non-trivial families with matching number at most $s$ in a similar range of parameters. In this short note, we are concerned with the case $s\ge 3$ fixed, $k$ tending to infinity and $n\in\{sk,sk+1\}$. For $n=sk$, we show the stability of the unique extremal construction of size $\binom{sk-1}{k}=\frac{s-1}{s}\binom{sk}{k}$ with respect to minimal degree. As a consequence we derive $\lim\limits_{k\rightarrow \infty}\frac{f(sk+1,k,s)}{\binom{sk+1}{k}}<\frac{s-1}{s}-\varepsilon_s$ for some positive constant $\varepsilon_s$ which depends only on $s$.


title: Ca substituion instead of Sr in La$_{0.58}$Sr$_{0.4}$Co$_{0.2}$Fe$_{0.8}$O$_{3-\delta}$ as a cathode electrode for IT-SOFCs

abstract: La$_{0.58}$Ca$_{0.4}$Co$_{0.2}$Fe$_{0.8}$O$_{3-\delta}$ (L58CCF) was synthesized and evaluated as a cathode electrode for intermediate temperature solid oxide fuel cells (IT-SOFC) based on the Y$_2$O$_3$-stabilized ZrO$_2$ (YSZ) electrolyte. The effect of sintering temperature on the L58CCF performance was investigated. The best Area specific resistances (ASRs) for the L58CCF sintered at 950 $^{\circ}$C were 1.218, 0.447, 0.228, 0.156, 0.099 $\Omega.cm^{2}$ at 600, 650, 700, 750, 800 $^{\circ}$C, respectively.


title: Cross-modal Diffusion Modelling for Super-resolved Spatial Transcriptomics

abstract: The recent advancement of spatial transcriptomics (ST) allows to characterize spatial gene expression within tissue for discovery research. However, current ST platforms suffer from low resolution, hindering in-depth understanding of spatial gene expression. Super-resolution approaches promise to enhance ST maps by integrating histology images with gene expressions of profiled tissue spots. However, current super-resolution methods are limited by restoration uncertainty and mode collapse. Although diffusion models have shown promise in capturing complex interactions between multi-modal conditions, it remains a challenge to integrate histology images and gene expression for super-resolved ST maps. This paper proposes a cross-modal conditional diffusion model for super-resolving ST maps with the guidance of histology images. Specifically, we design a multi-modal disentangling network with cross-modal adaptive modulation to utilize complementary information from histology images and spatial gene expression. Moreover, we propose a dynamic cross-attention modelling strategy to extract hierarchical cell-to-tissue information from histology images. Lastly, we propose a co-expression-based gene-correlation graph network to model the co-expression relationship of multiple genes. Experiments show that our method outperforms other state-of-the-art methods in ST super-resolution on three public datasets.


title: Quantifying seasonal hydrogen storage demands under cost and market uptake uncertainties in energy system transformation pathways

abstract: Climate neutrality paradigms put electricity systems at the core of a clean energy supply. At the same time, indirect electrification, with a potential uptake of hydrogen or derived fuel economy, plays a crucial role in decarbonising the energy supply and industrial processes. Besides energy markets coordinating the transition, climate and energy policy targets require fundamental changes and expansions in the energy transmission, import, distribution, and storage infrastructures. While existing studies identify relevant demands for hydrogen, critical decisions involve imports versus domestic fuel production and investments in new or repurposing existing pipeline and storage infrastructure. Linking the pan-European energy system planning model SCOPE SD with the multiperiod European gas market model IMAGINE, the case study analysis and its transformation pathway results indicate extensive network development of hydrogen infrastructure, including expansion beyond refurbished methane infrastructure. However, the ranges of future hydrogen storage costs and market uptake restrictions expose and quantify the uncertainty of its role in Europes transformation. The study finds that rapidly planning the construction of hydrogen storage and pipeline infrastructure is crucial to achieving the required capacity by 2050.


title: FineRec:Exploring Fine-grained Sequential Recommendation

abstract: Sequential recommendation is dedicated to offering items of interest for users based on their history behaviors. The attribute-opinion pairs, expressed by users in their reviews for items, provide the potentials to capture user preferences and item characteristics at a fine-grained level. To this end, we propose a novel framework FineRec that explores the attribute-opinion pairs of reviews to finely handle sequential recommendation. Specifically, we utilize a large language model to extract attribute-opinion pairs from reviews. For each attribute, a unique attribute-specific user-opinion-item graph is created, where corresponding opinions serve as the edges linking heterogeneous user and item nodes. To tackle the diversity of opinions, we devise a diversity-aware convolution operation to aggregate information within the graphs, enabling attribute-specific user and item representation learning. Ultimately, we present an interaction-driven fusion mechanism to integrate attribute-specific user/item representations across all attributes for generating recommendations. Extensive experiments conducted on several realworld datasets demonstrate the superiority of our FineRec over existing state-of-the-art methods. Further analysis also verifies the effectiveness of our fine-grained manner in handling the task.


title: Insights from the Gaussian Processes Method for the FRB-associated X-ray Burst of SGR 1935+2154

abstract: Gaussian processes method is employed to analyze the light curves of bursts detected by Insight-HXMT, NICER, and GECAM from SGR 1935+2154 between 2020 to 2022. It is found that a stochastically driven damped simple harmonic oscillator (SHO) is necessary to capture the characteristics of the X-ray bursts. Variability timescale of the X-ray bursts, corresponding to the broken frequencies in the SHO power spectral densities (PSDs), are extracted. In particular, a high broken frequency of 35 Hz where the index of the SHO PSD changes from -4 to -2 is constrained by the HXMT-HE burst associated with FRB 200428. It is suggested that the corresponding timescale of 0.03 s could be the retarding timescale of the system driven by some energy release, and the production of the HE photon should be quasi-simultaneous with the response. The other special event is a NICER burst with a retarding timescale of 1/39 Hz (0.02 s). In the normal X-ray bursts, no retarding timescale is constrained; a long relax/equilibrium timescale (corresponding to a broken frequency of 1-10 Hz where the index of the SHO PSD changing from -4/-2 to 0 in the SHO PSD) is obtained. The results indicate that the FRB-associated HXMT-HE X-ray burst could be produced immediately when the system is responding to the energy disturbance, far before the equilibrium state.


title: Non-extensive statistics in Au-Au collisions

abstract: Particle production yields measured in central Au-Au collision at RHIC are obtained with free Fermi and Bose gases and also with a replacement of these statistics by non-extensive statistics. For the latter calculation, a set of different parameters was used with values of the Tsallis parameter $q$ chosen between 1.01 and 1.25, with 1.16 generating the best agreement with experimental data, an indication that non-extensive statistics may be one of the underlying features in heavy ion-collisions.


title: Strengthening Community Resilience by Modeling Transportation and Electric Power Network Interdependencies

abstract: This study presents an agent-based model (ABM) developed to simulate the resilience of a community to hurricane-induced infrastructure disruptions, focusing on the interdependencies between electric power and transportation networks. In this ABM approach, agents represent the components of a system, where interactions within a system shape intra-dependency of a system and interactions among systems shape interdependencies. To study household resilience subject to a hurricane, a library of agents has been created including electric power network, transportation network, wind/flooding hazards, and household agents. The ABM is applied over the household and infrastructure data from a community (Zip code 33147) in Miami-Dade County, Florida. Interdependencies between the two networks are modeled in two ways, (i) representing the role of transportation in fuel delivery to power plants and restoration teams' access, (ii) impact of power outage on transportation network components. Restoring traffic signals quickly is crucial as their outage can slow down traffic and increase the chance of crashes. We simulate three restoration strategies: component based, distance based, and traffic lights based restoration. The model is validated against Hurricane Irma data, showing consistent behavior with varying hazard intensities. Scenario analyses explore the impact of restoration strategies, road accessibility, and wind speed intensities on power restoration. Results demonstrate that a traffic lights based restoration strategy efficiently prioritizes signal recovery without delaying household power restoration time. Restoration of power services will be faster if restoration teams do not need to wait due to inaccessible roads and fuel transportation to power plants is not delayed.


title: TRNet: Two-level Refinement Network leveraging Speech Enhancement for Noise Robust Speech Emotion Recognition

abstract: One persistent challenge in Speech Emotion Recognition (SER) is the ubiquitous environmental noise, which frequently results in diminished SER performance in practical use. In this paper, we introduce a Two-level Refinement Network, dubbed TRNet, to address this challenge. Specifically, a pre-trained speech enhancement module is employed for front-end noise reduction and noise level estimation. Later, we utilize clean speech spectrograms and their corresponding deep representations as reference signals to refine the spectrogram distortion and representation shift of enhanced speech during model training. Experimental results validate that the proposed TRNet substantially increases the system's robustness in both matched and unmatched noisy environments, without compromising its performance in clean environments.


title: Ring-a-Pose: A Ring for Continuous Hand Pose Tracking

abstract: We present Ring-a-Pose, a single untethered ring that tracks continuous 3D hand poses. Located in the center of the hand, the ring emits an inaudible acoustic signal that each hand pose reflects differently. Ring-a-Pose imposes minimal obtrusions on the hand, unlike multi-ring or glove systems. It is not affected by the choice of clothing that may cover wrist-worn systems. In a series of three user studies with a total of 30 participants, we evaluate Ring-a-Pose's performance on pose tracking and micro-finger gesture recognition. Without collecting any training data from a user, Ring-a-Pose tracks continuous hand poses with a joint error of 14.1mm. The joint error decreases to 10.3mm for fine-tuned user-dependent models. Ring-a-Pose recognizes 7-class micro-gestures with a 90.60% and 99.27% accuracy for user-independent and user-dependent models, respectively. Furthermore, the ring exhibits promising performance when worn on any finger. Ring-a-Pose enables the future of smart rings to track and recognize hand poses using relatively low-power acoustic sensing.


title: Spinor-valued Higgs fields

abstract: We investigate the geometry of holomorphic vector bundles $E$ over a Riemann surface $C$ together with a section of the endomorphism bundle tensored with $K^{1/2}$ -- a square root of the canonical bundle $K$. These parallel to some extent the various features of usual Higgs bundles, such as spectral curve constructions, but some features are radically different. We make essential use of the mod 2 index to distinguish two families of moduli spaces, and provide examples in low genus.


title: Non-vanishing of geodesic periods of automorphic forms

abstract: We prove that one hundred percent of closed geodesic periods of a Maa{\ss} form for the modular group are non-vanishing when ordered by length. We present applications to the non-vanishing of central values of Rankin--Selberg $L$-functions. Similar results for holomorphic forms for general Fuchsian groups of the first kind with a cusp are also obtained, as well as results towards normal distribution.


title: Private Agent-Based Modeling

abstract: The practical utility of agent-based models in decision-making relies on their capacity to accurately replicate populations while seamlessly integrating real-world data streams. Yet, the incorporation of such data poses significant challenges due to privacy concerns. To address this issue, we introduce a paradigm for private agent-based modeling wherein the simulation, calibration, and analysis of agent-based models can be achieved without centralizing the agents attributes or interactions. The key insight is to leverage techniques from secure multi-party computation to design protocols for decentralized computation in agent-based models. This ensures the confidentiality of the simulated agents without compromising on simulation accuracy. We showcase our protocols on a case study with an epidemiological simulation comprising over 150,000 agents. We believe this is a critical step towards deploying agent-based models to real-world applications.


title: Eye-tracking in Mixed Reality for Diagnosis of Neurodegenerative Diseases

abstract: Parkinson's disease ranks as the second most prevalent neurodegenerative disorder globally. This research aims to develop a system leveraging Mixed Reality capabilities for tracking and assessing eye movements. In this paper, we present a medical scenario and outline the development of an application designed to capture eye-tracking signals through Mixed Reality technology for the evaluation of neurodegenerative diseases. Additionally, we introduce a pipeline for extracting clinically relevant features from eye-gaze analysis, describing the capabilities of the proposed system from a medical perspective. The study involved a cohort of healthy control individuals and patients suffering from Parkinson's disease, showcasing the feasibility and potential of the proposed technology for non-intrusive monitoring of eye movement patterns for the diagnosis of neurodegenerative diseases. Clinical relevance - Developing a non-invasive biomarker for Parkinson's disease is urgently needed to accurately detect the disease's onset. This would allow for the timely introduction of neuroprotective treatment at the earliest stage and enable the continuous monitoring of intervention outcomes. The ability to detect subtle changes in eye movements allows for early diagnosis, offering a critical window for intervention before more pronounced symptoms emerge. Eye tracking provides objective and quantifiable biomarkers, ensuring reliable assessments of disease progression and cognitive function. The eye gaze analysis using Mixed Reality glasses is wireless, facilitating convenient assessments in both home and hospital settings. The approach offers the advantage of utilizing hardware that requires no additional specialized attachments, enabling examinations through personal eyewear.


title: A practical global existence and uniqueness result for stochastic differential equations on Riemannian manifolds of bounded geometry

abstract: In this paper, we establish a result for existence and uniqueness of stochastic differential equations on Riemannian manifolds, for regular inhomogeneous tensor coefficients with stochastic drift, under geometrical-only hypothesis on the manifold, so-called manifolds of bounded geometry, this hypothesis is consistent with the maximal regularity result for parabolic equations obtained by Herbert Amann. Furthermore, we provide a stochastic flow estimate for the solutions.