title: Spectral and Imaging Observations of a C2.3 White-Light Flare from the Advanced Space-Based Solar Observatory (ASO-S) and the Chinese H$\alpha$ Solar Explorer (CHASE)

abstract: Solar white-light flares are characterized by an enhancement in the optical continuum, which are usually large flares (say X- and M-class flares). Here we report a small C2.3 white-light flare (SOL2022-12-20T04:10) observed by the \emph{Advanced Space-based Solar Observatory} and the \emph{Chinese H$\alpha$ Solar Explorer}. This flare exhibits an increase of $\approx$6.4\% in the photospheric Fe \textsc{i} line at 6569.2\,\AA\ and {$\approx$3.2\%} in the nearby continuum. The continuum at 3600\,\AA\ also shows an enhancement of $\approx$4.7\%. The white-light brightening kernels are mainly located at the flare ribbons and co-spatial with nonthermal hard X-ray sources, which implies that the enhanced white-light emissions are related to nonthermal electron-beam heating. At the brightening kernels, the Fe \textsc{i} line displays an absorption profile that has a good Gaussian shape, with a redshift up to $\approx$1.7 km s$^{-1}$, while the H$\alpha$ line shows an emission profile though having a central reversal. The H$\alpha$ line profile also shows a red or blue asymmetry caused by plasma flows with a velocity of several to tens of km s$^{-1}$. It is interesting to find that the H$\alpha$ asymmetry is opposite at the conjugate footpoints. It is also found that the CHASE continuum increase seems to be related to the change of photospheric magnetic field. Our study provides comprehensive characteristics of a small white-light flare that help understand the energy release process of white-light flares.


title: Execution-free Program Repair

abstract: Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes much time, and validating a fix through tests does not guarantee its correctness. The novel idea in the Proof2Fix methodology and tool presented here is to rely instead on a program prover, without the need to run tests or to run the program at all. Results show that Proof2Fix finds and fixes significant historical bugs.


title: Overcoming LLM Challenges using RAG-Driven Precision in Coffee Leaf Disease Remediation

abstract: This research introduces an innovative AI-driven precision agriculture system, leveraging YOLOv8 for disease identification and Retrieval Augmented Generation (RAG) for context-aware diagnosis. Focused on addressing the challenges of diseases affecting the coffee production sector in Karnataka, The system integrates sophisticated object detection techniques with language models to address the inherent constraints associated with Large Language Models (LLMs). Our methodology not only tackles the issue of hallucinations in LLMs, but also introduces dynamic disease identification and remediation strategies. Real-time monitoring, collaborative dataset expansion, and organizational involvement ensure the system's adaptability in diverse agricultural settings. The effect of the suggested system extends beyond automation, aiming to secure food supplies, protect livelihoods, and promote eco-friendly farming practices. By facilitating precise disease identification, the system contributes to sustainable and environmentally conscious agriculture, reducing reliance on pesticides. Looking to the future, the project envisions continuous development in RAG-integrated object detection systems, emphasizing scalability, reliability, and usability. This research strives to be a beacon for positive change in agriculture, aligning with global efforts toward sustainable and technologically enhanced food production.


title: Imagine the Unseen: Occluded Pedestrian Detection via Adversarial Feature Completion

abstract: Pedestrian detection has significantly progressed in recent years, thanks to the development of DNNs. However, detection performance at occluded scenes is still far from satisfactory, as occlusion increases the intra-class variance of pedestrians, hindering the model from finding an accurate classification boundary between pedestrians and background clutters. From the perspective of reducing intra-class variance, we propose to complete features for occluded regions so as to align the features of pedestrians across different occlusion patterns. An important premise for feature completion is to locate occluded regions. From our analysis, channel features of different pedestrian proposals only show high correlation values at visible parts and thus feature correlations can be used to model occlusion patterns. In order to narrow down the gap between completed features and real fully visible ones, we propose an adversarial learning method, which completes occluded features with a generator such that they can hardly be distinguished by the discriminator from real fully visible features. We report experimental results on the CityPersons, Caltech and CrowdHuman datasets. On CityPersons, we show significant improvements over five different baseline detectors, especially on the heavy occlusion subset. Furthermore, we show that our proposed method FeatComp++ achieves state-of-the-art results on all the above three datasets without relying on extra cues.


title: Privacy-Enhanced Database Synthesis for Benchmark Publishing

abstract: Benchmarking is crucial for evaluating a DBMS, yet existing benchmarks often fail to reflect the varied nature of user workloads. As a result, there is increasing momentum toward creating databases that incorporate real-world user data to more accurately mirror business environments. However, privacy concerns deter users from directly sharing their data, underscoring the importance of creating synthesized databases for benchmarking that also prioritize privacy protection. Differential privacy has become a key method for safeguarding privacy when sharing data, but the focus has largely been on minimizing errors in aggregate queries or classification tasks, with less attention given to benchmarking factors like runtime performance. This paper delves into the creation of privacy-preserving databases specifically for benchmarking, aiming to produce a differentially private database whose query performance closely resembles that of the original data. Introducing PrivBench, an innovative synthesis framework, we support the generation of high-quality data that maintains privacy. PrivBench uses sum-product networks (SPNs) to partition and sample data, enhancing data representation while securing privacy. The framework allows users to adjust the detail of SPN partitions and privacy settings, crucial for customizing privacy levels. We validate our approach, which uses the Laplace and exponential mechanisms, in maintaining privacy. Our tests show that PrivBench effectively generates data that maintains privacy and excels in query performance, consistently reducing errors in query execution time, query cardinality, and KL divergence.


title: Generalising quantum imaginary time evolution to solve linear partial differential equations

abstract: The quantum imaginary time evolution (QITE) methodology was developed to overcome a critical issue as regards non-unitarity in the implementation of imaginary time evolution on a quantum computer. QITE has since been used to approximate ground states of various physical systems. In this paper, we demonstrate a practical application of QITE as a quantum numerical solver for linear partial differential equations. Our algorithm takes inspiration from QITE in that the quantum state follows the same normalised trajectory in both algorithms. However, it is our QITE methodology's ability to track the scale of the state vector over time that allows our algorithm to solve differential equations. We demonstrate our methodology with numerical simulations and use it to solve the heat equation in one and two dimensions using six and ten qubits, respectively.


title: Non-iterative Optimization of Trajectory and Radio Resource for Aerial Network

abstract: We address a joint trajectory planning, user association, resource allocation, and power control problem to maximize proportional fairness in the aerial IoT network, considering practical end-to-end quality-of-service (QoS) and communication schedules. Though the problem is rather ancient, apart from the fact that the previous approaches have never considered user- and time-specific QoS, we point out a prevalent mistake in coordinate optimization approaches adopted by the majority of the literature. Coordinate optimization approaches, which repetitively optimize radio resources for a fixed trajectory and vice versa, generally converge to local optima when all variables are differentiable. However, these methods often stagnate at a non-stationary point, significantly degrading the network utility in mixed-integer problems such as joint trajectory and radio resource optimization. We detour this problem by converting the formulated problem into the Markov decision process (MDP). Exploiting the beneficial characteristics of the MDP, we design a non-iterative framework that cooperatively optimizes trajectory and radio resources without initial trajectory choice. The proposed framework can incorporate various trajectory planning algorithms such as the genetic algorithm, tree search, and reinforcement learning. Extensive comparisons with diverse baselines verify that the proposed framework significantly outperforms the state-of-the-art method, nearly achieving the global optimum. Our implementation code is available at https://github.com/hslyu/dbspf.


title: On small-amplitude asymmetric water waves

abstract: We generalize the method used by M{\ae}hlen & Seth [17] used to prove the existence of small-amplitude asymmetric solutions to the capillary-gravity Whiham equation, so that it can be applied directly to a class of similar equations. The purpose is to prove or disprove the existence of asymmetric waves for the water wave problem or other model equations for water waves. Our main result in this paper is a theorem that gives both necessary and sufficient conditions for the existence of small-amplitude periodic asymmetry solutions for this class of equations. The result is then applied to an infinite depth capillary-gravity Whitham equation and an infinite depth capillary-gravity Babenko equation to show the nonexistence of small-amplitude waves for these equations. This example also highlights the similarities between these equations suggesting the potential existence of small-amplitude asymmetric waves for the finite depth capillary-gravity Babenko equation.


title: LOG-LIO2: A LiDAR-Inertial Odometry with Efficient Uncertainty Analysis

abstract: Uncertainty in LiDAR measurements, stemming from factors such as range sensing, is crucial for LIO (LiDAR-Inertial Odometry) systems as it affects the accurate weighting in the loss function. While recent LIO systems address uncertainty related to range sensing, the impact of incident angle on uncertainty is often overlooked by the community. Moreover, the existing uncertainty propagation methods suffer from computational inefficiency. This paper proposes a comprehensive point uncertainty model that accounts for both the uncertainties from LiDAR measurements and surface characteristics, along with an efficient local uncertainty analytical method for LiDAR-based state estimation problem. We employ a projection operator that separates the uncertainty into the ray direction and its orthogonal plane. Then, we derive incremental Jacobian matrices of eigenvalues and eigenvectors w.r.t. points, which enables a fast approximation of uncertainty propagation. This approach eliminates the requirement for redundant traversal of points, significantly reducing the time complexity of uncertainty propagation from $\mathcal{O} (n)$ to $\mathcal{O} (1)$ when a new point is added. Simulations and experiments on public datasets are conducted to validate the accuracy and efficiency of our formulations. The proposed methods have been integrated into a LIO system, which is available at https://github.com/tiev-tongji/LOG-LIO2.


title: The odd-even differences in stability peninsula for $106 \leqslant Z \leqslant 112$ region with the deformed relativistic Hartree-Bogoliubov theory in continuum

abstract: The predictive power of the deformed relativistic Hartree-Bogoliubov theory in continuum (DRHBc) with density functional PC-PK1 is demonstrated for superheavy region ($101 \leqslant Z \leqslant 120$) by comparing with available experimental and evaluated data in the AME2020. The DRHBc theory predicts 93 bound nuclei beyond the drip line $N = 258$ in the region of $106 \leqslant Z \leqslant 112$, which form a stability peninsula. The odd-even differences between odd-$N$ and even-$N$ nuclei are remarkable in the stability peninsula; the number of bound odd-$N$ nuclei is less than that of bound even-$N$ nuclei, and the one-neutron separation energy of an odd-$N$ nucleus is smaller than those of its neighboring even-$N$ nuclei due to the blocking effect. The deformation effect is indispensable for the reentrant stability beyond the drip line by significantly affecting the structure of single-particle levels around the Fermi energy. The interplay between deformation and pairing effects affects the position where the odd-$N$ nucleus becomes bound in the stability peninsula. By examining the deformation effect at different orders, it is found that quadrupole deformation makes leading contribution to the appearance of stability peninsula and the effects of hexadecapole and hexacontatetrapole deformations are nonnegligible.


title: Weak Convergence for Self-Normalized Partial Sum Processes in the Skorokhod M1 Topology with Applications to Regularly Varying Time Series

abstract: In this paper we study the weak convergence of self-normalized partial sum processes in the Skorokhod M1 topology for sequences of random variables which exhibit clustering of large values of the same sign. We show that for stationary regularly varying sequences with such properties, their corresponding properly centered self-normalized partial sums processes converge to a stable Levy process. The convergence is established in the space of cadlag functions endowed with Skorohod's M1 topology, which is more suitable especially for cases in which the standard J1 topology fails to induce weak convergence of joint stochastic functionals.


title: Data Scoping: Effectively Learning the Evolution of Generic Transport PDEs

abstract: Transport phenomena (e.g., fluid flows) are governed by time-dependent partial differential equations (PDEs) describing mass, momentum, and energy conservation, and are ubiquitous in many engineering applications. However, deep learning architectures are fundamentally incompatible with the simulation of these PDEs. This paper clearly articulates and then solves this incompatibility. The local-dependency of generic transport PDEs implies that it only involves local information to predict the physical properties at a location in the next time step. However, the deep learning architecture will inevitably increase the scope of information to make such predictions as the number of layers increases, which can cause sluggish convergence and compromise generalizability. This paper aims to solve this problem by proposing a distributed data scoping method with linear time complexity to strictly limit the scope of information to predict the local properties. The numerical experiments over multiple physics show that our data scoping method significantly accelerates training convergence and improves the generalizability of benchmark models on large-scale engineering simulations. Specifically, over the geometries not included in the training data for heat transferring simulation, it can increase the accuracy of Convolutional Neural Networks (CNNs) by 21.7 \% and that of Fourier Neural Operators (FNOs) by 38.5 \% on average.


title: Unsupervised identification of local atomic environment from atomistic potential descriptors

abstract: Analyzing local structures effectively is key to unraveling the origin of many physical phenomena. Unsupervised algorithms offer an effective way of handling systems in which order parameters are unknown or computationally expensive. By combining novel unsupervised algorithm (Pairwise Controlled Manifold Approximation Projection) with atomistic potential descriptors, we distinguish between various chemical environments with minimal computational overhead. In particular, we apply this method to silicon and water systems. The algorithm effectively distinguishes between solid structures and phases of silicon, including solid and liquid phases, and accurately identifies interstitial, monovacancy, and surface atoms in diamond structures. In the case of water, it is capable of identifying an ice nucleus in the liquid phase, demonstrating its applicability in nucleation studies.


title: Kahan-Hirota-Kimura maps preserving original cubic hamiltonians

abstract: In this work we investigate the set of cubic Hamiltonian vector fields for which their associated Kahan-Hirota-Kimura maps preserve the original Hamiltonian function. We analyze these fields in $\mathbb{R}^2$ and $\mathbb{R}^4$. We also study a family of fields in $\mathbb{R}^6$. Additionally, we explore several properties like the existence of additional first integrals of specific type, the possibility that the initial Hamiltonian vector field is a Lie symmetry of the corresponding map, or the symplecticity of the considered maps.


title: Reasoning About Group Polarization: From Semantic Games to Sequent Systems

abstract: Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning about group polarization using logical systems. In this work we consider the modal logic PNL that captures the notion of agents agreeing or disagreeing on a given topic. Our contribution involves enhancing PNL with advanced formal reasoning techniques, instead of relying on axiomatic systems for analyzing group polarization. To achieve this, we introduce a semantic game tailored for (hybrid) extensions of PNL. This game fosters dynamic reasoning about concrete network models, aligning with our goal of strengthening PNL's effectiveness in studying group polarization. We show how this semantic game leads to a provability game by systemically exploring the truth in all models. This leads to the first cut-free sequent systems for some variants of PNL. Using polarization of formulas, the proposed calculi can be modularly adapted to consider different frame properties of the underlying model.


title: Direct evidence for efficient carrier multiplication in the topological insulator Bi$_2$Se$_3$

abstract: Carrier multiplication (CM), where the absorption of a single photon results in the generation of several electron-hole pairs via impact ionization, plays a pivotal role in the quest for enhancing the performance of solar cells beyond the Shockley-Queisser limit. The combination of its narrow bandgap relative to the photon energy of visible light, along with its low phonon frequencies that hinder efficient energy dissipation into phonons, makes the topological insulator Bi$_2$Se$_3$ an optimal candidate material for efficient CM. Here we use time- and angle-resolved photoemission spectroscopy (trARPES) to trace the number of electron-hole pairs after photoexcitation of Bi$_2$Se$_3$ with visible pump pulses at $\hbar\omega=2$ eV. We find that both the number of electrons inside the conduction band as well as the number of holes inside the valence band keep increasing long after the pump pulse is gone, providing direct evidence for CM. We also analyze the transient band structure as well as the hot carrier dynamics inside the conduction band, providing a complete picture of the non-equilibrium carrier dynamics in photoexcited Bi$_2$Se$_3$ which can now serve as a basis for novel optoelectronic applications.


title: A Framework for the Systematic Assessment of Anomaly Detectors in Time-Sensitive Automotive Networks

abstract: Connected cars are susceptible to cyberattacks. Security and safety of future vehicles highly depend on a holistic protection of automotive components, of which the time-sensitive backbone network takes a significant role. These onboard Time-Sensitive Networks (TSNs) require monitoring for safety and -- as versatile platforms to host Network Anomaly Detection Systems (NADSs) -- for security. Still a thorough evaluation of anomaly detection methods in the context of hard real-time operations, automotive protocol stacks, and domain specific attack vectors is missing along with appropriate input datasets. In this paper, we present an assessment framework that allows for reproducible, comparable, and rapid evaluation of detection algorithms. It is based on a simulation toolchain, which contributes configurable topologies, traffic streams, anomalies, attacks, and detectors. We demonstrate the assessment of NADSs in a comprehensive in-vehicular network with its communication flows, on which we model traffic anomalies. We evaluate exemplary detection mechanisms and reveal how the detection performance is influenced by different combinations of TSN traffic flows and anomaly types. Our approach translates to other real-time Ethernet domains, such as industrial facilities, airplanes, and UAVs.


title: The effects of a minimal length on the Kerr metric and the Hawking temperature

abstract: A brief review of the pseudo complex General Relativity (pcGR) will be presented, with its consequences, as the accumulation of a dark energy around a mass and a generalized Machs principle. The main objective in this contribution is to determine the Hawking temperature and the Entropy for various limits: i) The pc-Schwarzschild case with no minimal length present, ii) the pc-Kerr metric without a minimal length and iii) the general case, the pc-Kerr metric with a minimal length present. The physical consequences of a minimal length will be discussed, a possible interpretation of a gravitational Schwinger effect and the appearance of negative temperature. For large masses a minimal length does not show any sensible effect, but only for very small masses, several orders of the Planck mass, where non-trivial effects emerge, important for the production of mini-black holes in the early universe. Our results are more general than being restricted to pcGR. Any other model which assumes a distribution of dark energy around a stellar body produces the same effects. In contrast to these models, pcGR demands the presence of a dark energy term.


title: Multi-modal Learnable Queries for Image Aesthetics Assessment

abstract: Image aesthetics assessment (IAA) is attracting wide interest with the prevalence of social media. The problem is challenging due to its subjective and ambiguous nature. Instead of directly extracting aesthetic features solely from the image, user comments associated with an image could potentially provide complementary knowledge that is useful for IAA. With existing large-scale pre-trained models demonstrating strong capabilities in extracting high-quality transferable visual and textual features, learnable queries are shown to be effective in extracting useful features from the pre-trained visual features. Therefore, in this paper, we propose MMLQ, which utilizes multi-modal learnable queries to extract aesthetics-related features from multi-modal pre-trained features. Extensive experimental results demonstrate that MMLQ achieves new state-of-the-art performance on multi-modal IAA, beating previous methods by 7.7% and 8.3% in terms of SRCC and PLCC, respectively.


title: Constrained Reinforcement Learning Under Model Mismatch

abstract: Existing studies on constrained reinforcement learning (RL) may obtain a well-performing policy in the training environment. However, when deployed in a real environment, it may easily violate constraints that were originally satisfied during training because there might be model mismatch between the training and real environments. To address the above challenge, we formulate the problem as constrained RL under model uncertainty, where the goal is to learn a good policy that optimizes the reward and at the same time satisfy the constraint under model mismatch. We develop a Robust Constrained Policy Optimization (RCPO) algorithm, which is the first algorithm that applies to large/continuous state space and has theoretical guarantees on worst-case reward improvement and constraint violation at each iteration during the training. We demonstrate the effectiveness of our algorithm on a set of RL tasks with constraints.


title: An Advanced Framework for Ultra-Realistic Simulation and Digital Twinning for Autonomous Vehicles

abstract: Simulation is a fundamental tool in developing autonomous vehicles, enabling rigorous testing without the logistical and safety challenges associated with real-world trials. As autonomous vehicle technologies evolve and public safety demands increase, advanced, realistic simulation frameworks are critical. Current testing paradigms employ a mix of general-purpose and specialized simulators, such as CARLA and IVRESS, to achieve high-fidelity results. However, these tools often struggle with compatibility due to differing platform, hardware, and software requirements, severely hampering their combined effectiveness. This paper introduces BlueICE, an advanced framework for ultra-realistic simulation and digital twinning, to address these challenges. BlueICE's innovative architecture allows for the decoupling of computing platforms, hardware, and software dependencies while offering researchers customizable testing environments to meet diverse fidelity needs. Key features include containerization to ensure compatibility across different systems, a unified communication bridge for seamless integration of various simulation tools, and synchronized orchestration of input and output across simulators. This framework facilitates the development of sophisticated digital twins for autonomous vehicle testing and sets a new standard in simulation accuracy and flexibility. The paper further explores the application of BlueICE in two distinct case studies: the ICAT indoor testbed and the STAR campus outdoor testbed at the University of Delaware. These case studies demonstrate BlueICE's capability to create sophisticated digital twins for autonomous vehicle testing and underline its potential as a standardized testbed for future autonomous driving technologies.


title: Decentralization of Ethereum's Builder Market

abstract: Blockchains protect an ecosystem worth more than $500bn with their strong security properties derived from the principle of decentralization. Is today's blockchain really decentralized? In this paper, we empirically studied one of the least decentralized parts of Ethereum -- the most used blockchain system in practice -- and shed light on the decentralization issue from a new perspective. To avoid centralization caused by Maximal Extractable Value (MEV), Ethereum adopts a novel mechanism that produces blocks through a builder market. After two years in operation, however, the builder market has evolved to a highly centralized one with three builders producing more than 90% of blocks. Why does the builder market centralize, given that it is permissionless and anyone can join? Moreover, what are the security implications of a centralized builder market to MEV-Boost auctions? Through a rigorous empirical study of the builder market's core mechanism, MEV-Boost auctions, we answered these two questions using a large-scale auction dataset we curated since 2022. Unlike previous works that focus on who wins the auctions, we focus on why they win, to shed light on the {openness, competitiveness, and efficiency} of MEV-Boost auctions. Our findings also help identify directions for improving the decentralization of builder markets.


title: High-precision prediction for multi-scale processes at the LHC

abstract: Comparisons of higher-order predictions within the Standard Model of Particle Physics (SM) to data are central to high-energy collider experiments like the Large Hadron Collider (LHC). Processes with multiple kinematic scales, such as multi-jet and prompt photon production, provide a unique possibility for probing Quantum Chromodynamics (QCD). These processes directly test perturbative QCD and can be used to extract fundamental parameters like the strong coupling constant and to search for BSM physics. Recent developments enabled lifting three-jet, photon plus two-jet, photon-pair plus jet, and three-photon cross-sections to QCD's next-to-next-to-leading order (NNLO). This contribution presents phenomenological results at NNLO QCD for three-jet and photon plus two-jet production.


title: On Nanowire Morphological Instability and Pinch-Off by Surface Electromigration

abstract: Surface diffusion and surface electromigration may lead to a morphological instability of thin solid films and nanowires. In this paper two nonlinear analyzes of a morphological instability are developed for a single-crystal cylindrical nanowire that is subjected to the axial current. These treatments extend the conventional linear stability analyzes without surface electromigration, that manifest a Rayleigh-Plateau instability. A weakly nonlinear analysis is done slightly above the Rayleigh-Plateau (longwave) instability threshold. It results in a one-dimensional Sivashinsky amplitude equation that describes a blow-up of a surface perturbation amplitude in a finite time. This is a signature of a formation of an axisymmetric spike singularity of a cylinder radius, which leads to a wire pinch-off and separation into a disjoint segments. The scaling analysis of the amplitude spike singularity is performed, and the time-and-electric field-dependent dimensions of the spike are characterized. A weakly nonlinear multi-scale analysis is done at the arbitrary distance above a longwave or a shortwave instability threshold. The time-and-electric field-dependent Fourier amplitudes of the major instability modes are derived and characterized.

categories: cond-mat.mtrl-sci cond-mat.mes-hall math-ph math.MP physics.app-ph


title: How much entanglement is needed for quantum error correction?

abstract: It is commonly believed that logical states of quantum error-correcting codes have to be highly entangled such that codes capable of correcting more errors require more entanglement to encode a qubit. Here we show that this belief may or may not be true depending on a particular code. To this end, we characterize a tradeoff between the code distance $d$ quantifying the number of correctable errors, and geometric entanglement of logical states quantifying their maximal overlap with product states or more general "topologically trivial" states. The maximum overlap is shown to be exponentially small in $d$ for three families of codes: (1) low-density parity check (LDPC) codes with commuting check operators, (2) stabilizer codes, and (3) codes with a constant encoding rate. Equivalently, the geometric entanglement of any logical state of these codes grows at least linearly with $d$. On the opposite side, we also show that this distance-entanglement tradeoff does not hold in general. For any constant $d$ and $k$ (number of logical qubits), we show there exists a family of codes such that the geometric entanglement of some logical states approaches zero in the limit of large code length.


title: NeRF in Robotics: A Survey

abstract: Meticulous 3D environment representations have been a longstanding goal in computer vision and robotics fields. The recent emergence of neural implicit representations has introduced radical innovation to this field as implicit representations enable numerous capabilities. Among these, the Neural Radiance Field (NeRF) has sparked a trend because of the huge representational advantages, such as simplified mathematical models, compact environment storage, and continuous scene representations. Apart from computer vision, NeRF has also shown tremendous potential in the field of robotics. Thus, we create this survey to provide a comprehensive understanding of NeRF in the field of robotics. By exploring the advantages and limitations of NeRF, as well as its current applications and future potential, we hope to shed light on this promising area of research. Our survey is divided into two main sections: \textit{The Application of NeRF in Robotics} and \textit{The Advance of NeRF in Robotics}, from the perspective of how NeRF enters the field of robotics. In the first section, we introduce and analyze some works that have been or could be used in the field of robotics from the perception and interaction perspectives. In the second section, we show some works related to improving NeRF's own properties, which are essential for deploying NeRF in the field of robotics. In the discussion section of the review, we summarize the existing challenges and provide some valuable future research directions for reference.


title: Nutation: separating the spin from its magnetic moment

abstract: For nearly 90 years, precession and relaxation processes have been thought to dominate magnetization dynamics. Only recently has it been considered that, on short time scales, an inertia-driven magnetization dynamics should become relevant, leading to additional nutation of the magnetization vector. Here, we trigger magnetic nutation via a sudden excitation of a thin Ni80Fe20 (Permalloy) film with an ultrashort optical pulse, that leads to an abrupt tilting of the effective field acting on the magnetic moments, separating the dynamics of the magnetization from that of its angular momentum. We investigate the resulting magnetization dynamics in the inertial regime experimentally by the time-resolved magneto optical Kerr effect. We find a characteristic oscillation in the Kerr signal in the range of about 0.1 THz superimposed on the precessional oscillations with GHz frequencies. By comparison with atomistic spin dynamics simulations, we demonstrate that this observation cannot be explained by the well-known Landau-Lifshitz-Gilbert equation of motion but can be attributed to inertial contributions leading to nutation of the magnetization vector around its angular momentum. Hence, an optical and non-resonant excitation of inertial magnetization dynamics can trigger and control different magnetic processes, ranging from demagnetization via nutation to precession in a single device. These findings will have profound implications for the understanding of ultrafast spin dynamics and magnetization switching.


title: Nontopological Electromagnetic Hedgehogs

abstract: We study classical localised configurations - solitons - in a theory of self-interacting complex Proca field with the global $U(1)$ symmetry. We focus on spherically-symmetric solitons near the nonrelativistic limit, which are supported by the quartic interactions of the neutral Proca field. Such solitons can source the radial electric (magnetic) field if one introduces a parity-even (parity-odd) coupling of the Proca field to the electromagnetic field tensor. We discuss the conditions of existence of such nontopological ''electromagnetic hedgehogs'' and their properties.


title: Quantification of vaccine waning as a challenge effect

abstract: Knowing whether vaccine protection wanes over time is important for health policy and drug development. However, quantifying waning effects is difficult. A simple contrast of vaccine efficacy at two different times compares different populations of individuals: those who were uninfected at the first time versus those who remain uninfected until the second time. Thus, the contrast of vaccine efficacy at early and late times can not be interpreted as a causal effect. We propose to quantify vaccine waning using the challenge effect, which is a contrast of outcomes under controlled exposures to the infectious agent following vaccination. We identify sharp bounds on the challenge effect under non-parametric assumptions that are broadly applicable in vaccine trials using routinely collected data. We demonstrate that the challenge effect can differ substantially from the conventional vaccine efficacy due to depletion of susceptible individuals from the risk set over time. Finally, we apply the methods to derive bounds on the waning of the BNT162b2 COVID-19 vaccine using data from a placebo-controlled randomized trial. Our estimates of the challenge effect suggest waning protection after 2 months beyond administration of the second vaccine dose.


title: Multi-view Action Recognition via Directed Gromov-Wasserstein Discrepancy

abstract: Action recognition has become one of the popular research topics in computer vision. There are various methods based on Convolutional Networks and self-attention mechanisms as Transformers to solve both spatial and temporal dimensions problems of action recognition tasks that achieve competitive performances. However, these methods lack a guarantee of the correctness of the action subject that the models give attention to, i.e., how to ensure an action recognition model focuses on the proper action subject to make a reasonable action prediction. In this paper, we propose a multi-view attention consistency method that computes the similarity between two attentions from two different views of the action videos using Directed Gromov-Wasserstein Discrepancy. Furthermore, our approach applies the idea of Neural Radiance Field to implicitly render the features from novel views when training on single-view datasets. Therefore, the contributions in this work are three-fold. Firstly, we introduce the multi-view attention consistency to solve the problem of reasonable prediction in action recognition. Secondly, we define a new metric for multi-view consistent attention using Directed Gromov-Wasserstein Discrepancy. Thirdly, we built an action recognition model based on Video Transformers and Neural Radiance Fields. Compared to the recent action recognition methods, the proposed approach achieves state-of-the-art results on three large-scale datasets, i.e., Jester, Something-Something V2, and Kinetics-400.


title: The rotation-tunneling spectrum of 3-hydroxypropenal and confirmation of its detection toward IRAS 16293$-$2422 B

abstract: 3-Hydroxypropenal (HOCHCHCHO) is the lower energy tautomer of malonaldehyde which displays a complex rotation-tunneling spectrum. It was detected tentatively toward the solar-type protostar IRAS 16293$-$2422 B with ALMA in the framework of the Protostellar Interferometric Line Survey (PILS). Several transitions, however, had large residuals, preventing not only their detection, but also the excitation temperature of the species from being determined unambiguously. We want to extend the existing rotational line list of 3-hydroxypropenal to shed more light on the recent observational results and to facilitate additional radio astronomical searches for this molecule. We analyzed the rotation-tunneling spectrum of 3-hydroxypropenal in the frequency regions between 150 and 330 GHz and between 400 and 660 GHz. Transitions were searched for in the PILS observations of IRAS 16293$-$2422. Local thermodynamic equilibrium (LTE) models were carried out and compared to the observations to constrain the excitation temperature. Additional transitions were searched for in other ALMA archival data of the same source to confirm the presence of 3-hydroxypropenal. More than 11500 transitions were assigned in the course of our investigation with quantum numbers $2 \le J \le 100$, $K_a \le 59$, and $K_c \le 97$, resulting in a greatly improved set of spectroscopic parameters. The comparison between the LTE models and the observations yields an excitation temperature of 125 K with a column density $N = 1.0 \times 10^{15}$ cm$^{-2}$ for this species. We identified seven additional lines of 3-hydroxypropenal that show a good agreement with the model in the ALMA archive data. The calculated rotation-tunneling spectrum of 3-hydroxypropenal has sufficient accuracy for radio astronomical searches. The detection of 3-hydroxypropenal toward IRAS 16293$-$2422 B is now secure.


title: Sensitivity Sampling for $k$-Means: Worst Case and Stability Optimal Coreset Bounds

abstract: Coresets are arguably the most popular compression paradigm for center-based clustering objectives such as $k$-means. Given a point set $P$, a coreset $\Omega$ is a small, weighted summary that preserves the cost of all candidate solutions $S$ up to a $(1\pm \varepsilon)$ factor. For $k$-means in $d$-dimensional Euclidean space the cost for solution $S$ is $\sum_{p\in P}\min_{s\in S}\|p-s\|^2$. A very popular method for coreset construction, both in theory and practice, is Sensitivity Sampling, where points are sampled in proportion to their importance. We show that Sensitivity Sampling yields optimal coresets of size $\tilde{O}(k/\varepsilon^2\min(\sqrt{k},\varepsilon^{-2}))$ for worst-case instances. Uniquely among all known coreset algorithms, for well-clusterable data sets with $\Omega(1)$ cost stability, Sensitivity Sampling gives coresets of size $\tilde{O}(k/\varepsilon^2)$, improving over the worst-case lower bound. Notably, Sensitivity Sampling does not have to know the cost stability in order to exploit it: It is appropriately sensitive to the clusterability of the data set while being oblivious to it. We also show that any coreset for stable instances consisting of only input points must have size $\Omega(k/\varepsilon^2)$. Our results for Sensitivity Sampling also extend to the $k$-median problem, and more general metric spaces.


title: Improved source classification and performance analysis using Gaia DR3

abstract: The Discrete Source Classifier (DSC) provides probabilistic classification of sources in Gaia Data Release 3 using a Bayesian framework and a global prior. The DSC Combmod classifier in GDR3 achieved for the extragalactic classes (quasars and galaxies) a high completeness of 92%, but a low purity of 22% due to contamination from the far larger star class. However, these single metrics mask significant variation in performance with magnitude and sky position. Furthermore, a better combination of the individual classifiers is possible. Here we compute two-dimensional representations of the completeness and the purity as function of Galactic latitude and source brightness, and also exclude the Magellanic Clouds where stellar contamination significantly reduces the purity. Reevaluated on a cleaner validation set and without introducing changes to the published GDR3 DSC probabilities themselves, we achieve for Combmod average 2D completenesses of 92% and 95% and average 2D purities of 55% and 89% for the quasar and galaxy classes, respectively. Since the relative proportions of extragalactic objects to stars in Gaia is expected to vary significantly with brightness and latitude, we introduce a new prior as a continuous function of brightness and latitude, and compute new class probabilities. This variable prior only improves the performance by a few percentage points, mostly at the faint end. Significant improvement, however, is obtained by a new additive combination of Specmod and Allosmod. This classifier, Combmod-$\alpha$, achieves average 2D completenesses of 82% and 93% and average 2D purities of 79% and 93% for the quasar and galaxy classes, respectively, when using the global prior. Thus, we achieve a significant improvement in purity for a small loss of completeness. The improvement is most significant for faint quasars where the purity rises from 20% to 62%.


title: Dynamic opinion updating with endogenous networks

abstract: Polarization is a well-documented phenomenon across a wide range of social issues. However, prevailing theories often compartmentalize the examination of herding behavior and opinion convergence within different contexts. In this study, we delve into the micro-foundations of how individuals strategically select reference groups, offering insight into a dynamic process where both individual opinions and the network evolve simultaneously. We base our model on two parameters: people's direct benefit from connections and their adaptability in adjusting their opinions. Our research highlights which conditions impede the network from achieving complete connectivity, resulting in enduring polarization. Notably, our model also reveals that polarization can transiently emerge during the transition towards consensus. We explore the connection between these scenarios and a critical network metric: the initial diameter, under specific conditions related to the initial distribution of opinions.


title: Strategies for Rare Population Detection and Sampling: A Methodological Approach in Liguria

abstract: Economic policy sciences are constantly investigating the quality of well-being of broad sections of the population in order to describe the current interdependence between unequal living conditions, low levels of education and a lack of integration into society. Such studies are often carried out in the form of surveys, e.g. as part of the EU-SILC program. If the survey is designed at national or international level, the results of the study are often used as a reference by a broad range of public institutions. However, the sampling strategy per se may not capture enough information to provide an accurate representation of all population strata. Problems might arise from rare, or hard-to-sample, populations and the conclusion of the study may be compromised or unrealistic. We propose here a two-phase methodology to identify rare, poorly sampled populations and then resample the hard-to-sample strata. We focused our attention on the 2019 EU-SILC section concerning the Italian region of Liguria. Methods based on dispersion indices or deep learning were used to detect rare populations. A multi-frame survey was proposed as the sampling design. The results showed that factors such as citizenship, material deprivation and large families are still fundamental characteristics that are difficult to capture.


title: Conditioned stochastic stability of equilibrium states on uniformly expanding repellers

abstract: We propose a notion of conditioned stochastic stability of invariant measures on repellers: we consider whether quasi-ergodic measures of absorbing Markov processes, generated by random perturbations of the deterministic dynamics and conditioned upon survival in a neighbourhood of a repeller, converge to an invariant measure in the zero-noise limit. Under suitable choices of the random perturbation, we find that equilibrium states on uniformly expanding repellers are conditioned stochastically stable. In the process, we establish a rigorous foundation for the existence of ``natural measures'', which were proposed by Kantz and Grassberger in 1984 to aid the understanding of chaotic transients.


title: Metric Dimension and Geodetic Set Parameterized by Vertex Cover

abstract: For a graph $G$, a subset $S\subseteq V(G)$ is called a resolving set of $G$ if, for any two vertices $u,v\in V(G)$, there exists a vertex $w\in S$ such that $d(w,u)\neq d(w,v)$. The Metric Dimension problem takes as input a graph $G$ on $n$ vertices and a positive integer $k$, and asks whether there exists a resolving set of size at most $k$. In another metric-based graph problem, Geodetic Set, the input is a graph $G$ and an integer $k$, and the objective is to determine whether there exists a subset $S\subseteq V(G)$ of size at most $k$ such that, for any vertex $u \in V(G)$, there are two vertices $s_1, s_2 \in S$ such that $u$ lies on a shortest path from $s_1$ to $s_2$. These two classical problems turn out to be intractable with respect to the natural parameter, i.e., the solution size, as well as most structural parameters, including the feedback vertex set number and pathwidth. Some of the very few existing tractable results state that they are both FPT with respect to the vertex cover number $vc$. More precisely, we observe that both problems admit an FPT algorithm running in time $2^{\mathcal{O}(vc^2)}\cdot n^{\mathcal{O}(1)}$, and a kernelization algorithm that outputs a kernel with $2^{\mathcal{O}(vc)}$ vertices. We prove that unless the Exponential Time Hypothesis fails, Metric Dimension and Geodetic Set, even on graphs of bounded diameter, neither admit an FPT algorithm running in time $2^{o(vc^2)}\cdot n^{\mathcal(1)}$, nor a kernelization algorithm that reduces the solution size and outputs a kernel with $2^{o(vc)}$ vertices. The versatility of our technique enables us to apply it to both these problems. We only know of one other problem in the literature that admits such a tight lower bound. Similarly, the list of known problems with exponential lower bounds on the number of vertices in kernelized instances is very short.


title: The Power of Question Translation Training in Multilingual Reasoning: Broadened Scope and Deepened Insights

abstract: Bridging the significant gap between large language model's English and non-English performance presents a great challenge. While some previous studies attempt to mitigate this gap with translated training data, the recently proposed question alignment approach leverages the model's English expertise to improve multilingual performance with minimum usage of expensive, error-prone translation. In this paper, we explore how broadly this method can be applied by examining its effects in reasoning with executable code and reasoning with common sense. We also explore how to apply this approach efficiently to extremely large language models using proxy-tuning. Experiment results on multilingual reasoning benchmarks mGSM, mSVAMP and xCSQA demonstrate that the question alignment approach can be used to boost multilingual performance across diverse reasoning scenarios, model families, and sizes. For instance, when applied to the LLaMA2 models, our method brings an average accuracy improvements of 12.2% on mGSM even with the 70B model. To understand the mechanism of its success, we analyze representation space, chain-of-thought and translation data scales, which reveals how question translation training strengthens language alignment within LLMs and shapes their working patterns.


title: Improved weak convergence for the long time simulation of Mean-field Langevin equations

abstract: We study the weak convergence behaviour of the Leimkuhler--Matthews method, a non-Markovian Euler-type scheme with the same computational cost as the Euler scheme, for the approximation of the stationary distribution of a one-dimensional McKean--Vlasov Stochastic Differential Equation (MV-SDE). The particular class under study is known as mean-field (overdamped) Langevin equations (MFL). We provide weak and strong error results for the scheme in both finite and infinite time. We work under a strong convexity assumption. Based on a careful analysis of the variation processes and the Kolmogorov backward equation for the particle system associated with the MV-SDE, we show that the method attains a higher-order approximation accuracy in the long-time limit (of weak order convergence rate $3/2$) than the standard Euler method (of weak order $1$). While we use an interacting particle system (IPS) to approximate the MV-SDE, we show the convergence rate is independent of the dimension of the IPS and this includes establishing uniform-in-time decay estimates for moments of the IPS, the Kolmogorov backward equation and their derivatives. The theoretical findings are supported by numerical tests.


title: Burning Hamming graphs

abstract: The Hamming graph $H(n,q)$ is defined on the vertex set $[q]^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon \cite{Alon} proved that the burning number of $H(n,2)$ is $\lceil\frac n2\rceil+1$. In this note we show that the burning number of $H(n,q)$ is $(1-\frac 1q)n+O(\sqrt{n\log n})$ for fixed $q\geq 2$ and $n\to\infty$.


title: GRBoondi: A code for evolving Generalized Proca theories on arbitrary backgrounds

abstract: While numerical simulations offer unparalleled precision and robustness in studying complex physical systems, their execution is often hindered by complexity, costliness, and time consumption due to the intricate equations involved. This challenge is already encountered in General Relativity, where non-flat spacetimes exacerbate the computational burden. This complexity is further intensified when dealing with additional degrees of freedom. To address this challenge head-on, we introduce GRBoondi, a groundbreaking fixed-background numerical relativity code designed to provide a unified interface for numerically solving Generalized Proca theories. GRBoondi grants users the ability to make arbitrary modifications to the Proca equations of motion on any background, providing a robust and versatile tool for exploring diverse classes of Generalized Proca theories. This letter serves as part of the submission of GRBoondi to the Journal of Open Source Software. For access to the code, please visit https://github.com/ShaunFell/GRBoondi.git.


title: Position Paper: Beyond Robustness Against Single Attack Types

abstract: Current research on defending against adversarial examples focuses primarily on achieving robustness against a single attack type such as $\ell_2$ or $\ell_{\infty}$-bounded attacks. However, the space of possible perturbations is much larger and currently cannot be modeled by a single attack type. The discrepancy between the focus of current defenses and the space of attacks of interest calls to question the practicality of existing defenses and the reliability of their evaluation. In this position paper, we argue that the research community should look beyond single attack robustness, and we draw attention to three potential directions involving robustness against multiple attacks: simultaneous multiattack robustness, unforeseen attack robustness, and a newly defined problem setting which we call continual adaptive robustness. We provide a unified framework which rigorously defines these problem settings, synthesize existing research in these fields, and outline open directions. We hope that our position paper inspires more research in simultaneous multiattack, unforeseen attack, and continual adaptive robustness.


title: Community-Invariant Graph Contrastive Learning

abstract: Graph augmentation has received great attention in recent years for graph contrastive learning (GCL) to learn well-generalized node/graph representations. However, mainstream GCL methods often favor randomly disrupting graphs for augmentation, which shows limited generalization and inevitably leads to the corruption of high-level graph information, i.e., the graph community. Moreover, current knowledge-based graph augmentation methods can only focus on either topology or node features, causing the model to lack robustness against various types of noise. To address these limitations, this research investigated the role of the graph community in graph augmentation and figured out its crucial advantage for learnable graph augmentation. Based on our observations, we propose a community-invariant GCL framework to maintain graph community structure during learnable graph augmentation. By maximizing the spectral changes, this framework unifies the constraints of both topology and feature augmentation, enhancing the model's robustness. Empirical evidence on 21 benchmark datasets demonstrates the exclusive merits of our framework. Code is released on Github (https://github.com/ShiyinTan/CI-GCL.git).


title: High harmonic generation from electrons moving on topological spin textures

abstract: High harmonic generation (HHG) is a striking phenomenon, which reflects the ultrafast dynamics of electrons. Recently, it has been demonstrated that HHG can be used to reconstruct not only the energy band structure but also the geometric structure characterized by the Berry curvature. Here, we numerically investigate HHG arising from electrons coupled with a topological spin texture in a spin scalar chiral state where time reversal symmetry is broken. In this system, a sign change in scalar chirality alters the sign of the Berry curvature while keeping the energy band structure unchanged, allowing us to discuss purely geometrical effects on HHG. Notably, we found that, when the optical frequency is significantly lower than the energy gap, the sign of scalar chirality largely affects the longitudinal response parallel to the optical field rather than the transverse response. Our analysis suggests that this can be attributed to interband currents induced by the recombination of electron-hole pairs whose real-space trajectories are modulated by the anomalous velocity term.


title: Using Waste Factor to Optimize Energy Efficiency in Multiple-Input Single-Output (MISO) and Multiple-Input Multiple-Output (MIMO) Systems

abstract: This paper introduces Waste Factor (W) and Waste Figure (WF) to assess power efficiency in any multiple-input multiple-output (MIMO) or single-input multiple-output (SIMO) or multiple-input single-output (MISO) cascaded communication system. This paper builds upon the new theory of Waste Factor, which systematically models added wasted power in any cascade for parallel systems such as MISO, SIMO, and MIMO systems, which are prevalent in current wireless networks. Here, we also show the advantage of W compared to conventional metrics for quantifying and analyzing energy efficiency. This work explores the utility of W in assessing energy efficiency in communication channels, within Radio Access Networks (RANs).


title: Sparse multi-view hand-object reconstruction for unseen environments

abstract: Recent works in hand-object reconstruction mainly focus on the single-view and dense multi-view settings. On the one hand, single-view methods can leverage learned shape priors to generalise to unseen objects but are prone to inaccuracies due to occlusions. On the other hand, dense multi-view methods are very accurate but cannot easily adapt to unseen objects without further data collection. In contrast, sparse multi-view methods can take advantage of the additional views to tackle occlusion, while keeping the computational cost low compared to dense multi-view methods. In this paper, we consider the problem of hand-object reconstruction with unseen objects in the sparse multi-view setting. Given multiple RGB images of the hand and object captured at the same time, our model SVHO combines the predictions from each view into a unified reconstruction without optimisation across views. We train our model on a synthetic hand-object dataset and evaluate directly on a real world recorded hand-object dataset with unseen objects. We show that while reconstruction of unseen hands and objects from RGB is challenging, additional views can help improve the reconstruction quality.


abstract: Understanding user enjoyment is crucial in human-robot interaction (HRI), as it can impact interaction quality and influence user acceptance and long-term engagement with robots, particularly in the context of conversations with social robots. However, current assessment methods rely solely on self-reported questionnaires, failing to capture interaction dynamics. This work introduces the Human-Robot Interaction Conversational User Enjoyment Scale (HRI CUES), a novel scale for assessing user enjoyment from an external perspective during conversations with a robot. Developed through rigorous evaluations and discussions of three annotators with relevant expertise, the scale provides a structured framework for assessing enjoyment in each conversation exchange (turn) alongside overall interaction levels. It aims to complement self-reported enjoyment from users and holds the potential for autonomously identifying user enjoyment in real-time HRI. The scale was validated on 25 older adults' open-domain dialogue with a companion robot that was powered by a large language model for conversations, corresponding to 174 minutes of data, showing moderate to good alignment. Additionally, the study offers insights into understanding the nuances and challenges of assessing user enjoyment in robot interactions, and provides guidelines on applying the scale to other domains.


title: Neural-Parareal: Dynamically Training Neural Operators as Coarse Solvers for Time-Parallelisation of Fusion MHD Simulations

abstract: The fusion research facility ITER is currently being assembled to demonstrate that fusion can be used for industrial energy production, while several other programmes across the world are also moving forward, such as EU-DEMO, CFETR, SPARC and STEP. The high engineering complexity of a tokamak makes it an extremely challenging device to optimise, and test-based optimisation would be too slow and too costly. Instead, digital design and optimisation must be favored, which requires strongly-coupled suites of High-Performance Computing calculations. In this context, having surrogate models to provide quick estimates with uncertainty quantification is essential to explore and optimise new design options. Furthermore, these surrogates can in turn be used to accelerate simulations in the first place. This is the case of Parareal, a time-parallelisation method that can speed-up large HPC simulations, where the coarse-solver can be replaced by a surrogate. A novel framework, Neural-Parareal, is developed to integrate the training of neural operators dynamically as more data becomes available. For a given input-parameter domain, as more simulations are being run with Parareal, the large amount of data generated by the algorithm is used to train new surrogate models to be used as coarse-solvers for future Parareal simulations, leading to progressively more accurate coarse-solvers, and thus higher speed-up. It is found that such neural network surrogates can be much more effective than traditional coarse-solver in providing a speed-up with Parareal. This study is a demonstration of the convergence of HPC and AI which simply has to become common practice in the world of digital engineering design.


title: Improving Subject-Driven Image Synthesis with Subject-Agnostic Guidance

abstract: In subject-driven text-to-image synthesis, the synthesis process tends to be heavily influenced by the reference images provided by users, often overlooking crucial attributes detailed in the text prompt. In this work, we propose Subject-Agnostic Guidance (SAG), a simple yet effective solution to remedy the problem. We show that through constructing a subject-agnostic condition and applying our proposed dual classifier-free guidance, one could obtain outputs consistent with both the given subject and input text prompts. We validate the efficacy of our approach through both optimization-based and encoder-based methods. Additionally, we demonstrate its applicability in second-order customization methods, where an encoder-based model is fine-tuned with DreamBooth. Our approach is conceptually simple and requires only minimal code modifications, but leads to substantial quality improvements, as evidenced by our evaluations and user studies.


title: Schwarz-Pick type inequalities from an operator theoretical point of view

abstract: We use (versions of) the von Neumann inequality for Hilbert space contractions to prove several Schwarz-Pick inequalities. Specifically, we derive an alternate proof for a multi-point Schwarz-Pick inequality by Beardon and Minda, along with a generalized version for operators. Connections with model spaces and Peschl's invariant derivatives are established. Finally, Schwarz-Pick inequalities for analytic functions on polydisks and for higher order derivatives are discussed. An enhanced version of the Schwarz-Pick lemma, using the notion of distinguished variety, is obtained for the bidisk.


title: Propagation measurements and channel models in Indoor Environment at 6.75 GHz FR1(C) and 16.95 GHz FR3 Upper-mid band Spectrum for 5G and 6G

abstract: New spectrum allocations in the 4--8 GHz FR1(C) and 7--24 GHz FR3 mid-band frequency spectrum are being considered for 5G/6G cellular deployments. This paper presents results from the world's first comprehensive indoor hotspot (InH) propagation measurement campaign at 6.75 GHz and 16.95 GHz in the NYU WIRELESS Research Center using a 1 GHz wideband channel sounder system over distances from 11 to 97 m in line-of-sight (LOS) and non-LOS (NLOS). Analysis of directional and omnidirectional path loss (PL) using the close-in free space 1 m reference distance model shows a familiar waveguiding effect in LOS with an omnidirectional path loss exponent (PLE) of 1.40 at 6.75 GHz and 1.32 at 16.95 GHz. Compared to mmWave frequencies, the directional NLOS PLEs are lower at FR3 and FR1(C), while omnidirectional NLOS PLEs are similar, suggesting better propagation distances at lower frequencies for links with omnidirectional antennas at both ends of the links, but also, importantly, showing that higher gain antennas will offer better coverage at higher frequencies when antenna apertures are kept same over all frequencies. Comparison of the omnidirectional and directional RMS delay spread (DS) at FR1(C) and FR3 with mmWave frequencies indicates a clear decrease with increasing frequency. The mean spatial lobe and omnidirectional RMS angular spread (AS) is found to be wider at 6.75 GHz compared to 16.95 GHz indicating more multipath components are found in the azimuthal spatial domain at lower frequencies.


title: GAIA: A General AI Assistant for Intelligent Accelerator Operations

abstract: Large-scale machines like particle accelerators are usually run by a team of experienced operators. In case of a particle accelerator, these operators possess suitable background knowledge on both accelerator physics and the technology comprising the machine. Due to the complexity of the machine, particular subsystems of the machine are taken care of by experts, who the operators can turn to. In this work the reasoning and action (ReAct) prompting paradigm is used to couple an open-weights large language model (LLM) with a high-level machine control system framework and other tools, e.g. the electronic logbook or machine design documentation. By doing so, a multi-expert retrieval augmented generation (RAG) system is implemented, which assists operators in knowledge retrieval tasks, interacts with the machine directly if needed, or writes high level control system scripts. This consolidation of expert knowledge and machine interaction can simplify and speed up machine operation tasks for both new and experienced human operators.


title: Investigations on Lorentzian Spin-foams and Semiclassical Space-times

abstract: This thesis is developed in the context of the spin-foam approach to quantum gravity; all results are concerned with the Lorentzian theory and with semiclassical methods. A correspondence is given between Majorana 2-spinors and time-like hypersurfaces in Minkowski 3-space based on complexified quaternions. It is shown that the former suggest a symplectic structure on the spinor phase space which, together with an area-matching constraint, yields a symplectomorphism to $T^*\mathrm{SU}(1,1)$. A complete 3-dimensional Lorentzian spin-foam amplitude for both space- and time-like triangles is proposed. It is shown to asymptote to Regge theory in the semiclassical regime. The asymptotic limit of the 4-dimensional Conrady-Hnybida model for general polytopes is scrutinized. Minkowski's theorem on convex polyhedra is generalized to Lorentzian signature, and new boundary states for time-like polygons are introduced. It is found that the semiclassical amplitude for such polygons is insufficiently constrained. A method for the asymptotic evaluation of integrals subject to external parameters is discussed. The method is developed in detail for the special problem of spin-foam gluing constraints away from their dominant critical points. A relation to the gluing constraints of effective spin-foams is suggested.


title: Haptic-Based Bilateral Teleoperation of Aerial Manipulator for Extracting Wedged Object with Compensation of Human Reaction Time

abstract: Bilateral teleoperation of an aerial manipulator facilitates the execution of industrial missions thanks to the combination of the aerial platform's maneuverability and the ability to conduct complex tasks with human supervision. Heretofore, research on such operations has focused on flying without any physical interaction or exerting a pushing force on a contact surface that does not involve abrupt changes in the interaction force. In this paper, we propose a human reaction time compensating haptic-based bilateral teleoperation strategy for an aerial manipulator extracting a wedged object from a static structure (i.e., plug-pulling), which incurs an abrupt decrease in the interaction force and causes additional difficulty for an aerial platform. A haptic device composed of a 4-degree-of-freedom robotic arm and a gripper is made for the teleoperation of aerial wedged object-extracting tasks, and a haptic-based teleoperation method to execute the aerial manipulator by the haptic device is introduced. We detect the extraction of the object by the estimation of the external force exerted on the aerial manipulator and generate reference trajectories for both the aerial manipulator and the haptic device after the extraction. As an example of the extraction of a wedged object, we conduct comparative plug-pulling experiments with a quadrotor-based aerial manipulator. The results validate that the proposed bilateral teleoperation method reduces the overshoot in the aerial manipulator's position and ensures fast recovery to its initial position after extracting the wedged object.


title: Wideband Penetration Loss through Building Materials and Partitions at 6.75 GHz in FR1(C) and 16.95 GHz in the FR3 Upper Mid-band spectrum

abstract: The 4--8 GHz FR1(C) and 7--24 GHz upper mid-band FR3 spectrum are promising new 6G spectrum allocations being considered by the International Telecommunications Union (ITU) and major governments around the world. There is an urgent need to understand the propagation behavior and radio coverage, outage, and material penetration for the global mobile wireless industry in both indoor and outdoor environments in these emerging frequency bands. This work presents measurements and models that describe the penetration loss in co-polarized and cross-polarized antenna configurations, exhibited by common materials found inside buildings and on building perimeters, including concrete, low-emissivity glass, wood, doors, drywall, and whiteboard at 6.75 GHz and 16.95 GHz. Measurement results show consistent lower penetration loss at 6.75 GHz compared to 16.95 GHz for all ten materials measured for co and cross-polarized antennas at incidence. For instance, the low-emissivity glass wall presents 33.7 dB loss at 6.75 GHz, while presenting 42.3 dB loss at 16.95 GHz. Penetration loss at these frequencies is contrasted with measurements at sub-6 GHz, mmWave and sub-THz frequencies along with 3GPP material penetration loss models. The results provide critical knowledge for future 5G and 6G cellular system deployments as well as refinements for the 3GPP material penetration models.


title: Information propagation in Gaussian processes on multilayer networks

abstract: Complex systems with multiple processes evolving on different temporal scales are naturally described by multilayer networks, where each layer represents a different timescale. In this work, we show how the multilayer structure shapes the generation and propagation of information between layers. We derive a general decomposition of the multilayer probability for continuous stochastic processes described by Fokker-Planck operators. In particular, we focus on Gaussian processes, for which this solution can be obtained analytically. By explicitly computing the mutual information between the layers, we derive the fundamental principles that govern how information is propagated by the topology of the multilayer network. In particular, we unravel how edges between nodes in different layers affect their functional couplings. We find that interactions from fast to slow layers alone do not generate information, leaving the layers statistically independent even if they affect their dynamical evolution. On the other hand, interactions from slow to fast nodes lead to non-zero mutual information, which can then be propagated along specific paths of interactions between layers. We employ our results to study the interplay between information and instability, identifying the critical layers that drive information when pushed to the edge of stability. Our work generalizes previous results obtained in the context of discrete stochastic processes, allowing us to understand how the multilayer nature of complex systems affects their functional structure.


title: Spectral decomposition of hypergraph automorphism compatible matrices

abstract: This study explores the relationship between hypergraph automorphisms and the spectral properties of matrices associated with hypergraphs. For an automorphism $f$, an \( f \)-compatible matrices capture aspects of the symmetry, represented by \( f \), within the hypergraph. First, we explore rotation, a specific kind of automorphism and find that the spectrum of any matrix compatible with a rotation can be decomposed into the spectra of smaller matrices associated with that rotation. We show that the spectrum of any \(f\)-compatible matrix can be decomposed into the spectra of smaller matrices associated with the component rotations comprising \( f \). Further, we study a hypergraph symmetry termed unit-automorphism, which induces bijections on the hyperedges, though not necessarily on the vertex set. We show that unit automorphisms also lead to the spectral decomposition of compatible matrices.


title: Dynamic Online Ensembles of Basis Expansions

abstract: Practical Bayesian learning often requires (1) online inference, (2) dynamic models, and (3) ensembling over multiple different models. Recent advances have shown how to use random feature approximations to achieve scalable, online ensembling of Gaussian processes with desirable theoretical properties and fruitful applications. One key to these methods' success is the inclusion of a random walk on the model parameters, which makes models dynamic. We show that these methods can be generalized easily to any basis expansion model and that using alternative basis expansions, such as Hilbert space Gaussian processes, often results in better performance. To simplify the process of choosing a specific basis expansion, our method's generality also allows the ensembling of several entirely different models, for example, a Gaussian process and polynomial regression. Finally, we propose a novel method to ensemble static and dynamic models together.


title: Completing the Node-Averaged Complexity Landscape of LCLs on Trees

abstract: The node-averaged complexity of a problem captures the number of rounds nodes of a graph have to spend on average to solve the problem in the LOCAL model. A challenging line of research with regards to this new complexity measure is to understand the complexity landscape of locally checkable labelings (LCLs) on families of bounded-degree graphs. Particularly interesting in this context is the family of bounded-degree trees as there, for the worst-case complexity, we know a complete characterization of the possible complexities and structures of LCL problems. A first step for the node-averaged complexity case has been achieved recently [DISC '23], where the authors in particular showed that in bounded-degree trees, there is a large complexity gap: There are no LCL problems with a deterministic node-averaged complexity between $\omega(\log^* n)$ and $n^{o(1)}$. For randomized algorithms, they even showed that the node-averaged complexity is either $O(1)$ or $n^{\Omega(1)}$. In this work we fill in the remaining gaps and give a complete description of the node-averaged complexity landscape of LCLs on bounded-degree trees. Our contributions are threefold. - On bounded-degree trees, there is no LCL with a node-averaged complexity between $\omega(1)$ and $(\log^*n)^{o(1)}$. - For any constants $0<r_1 < r_2 \leq 1$ and $\varepsilon>0$, there exists a constant $c$ and an LCL problem with node-averaged complexity between $\Omega((\log^* n)^c)$ and $O((\log^* n)^{c+\varepsilon})$. - For any constants $0<\alpha\leq 1/2$ and $\varepsilon>0$, there exists an LCL problem with node-averaged complexity $\Theta(n^x)$ for some $x\in [\alpha, \alpha+\varepsilon]$.


title: Supersymmetric Expansion Algorithm and complete analytical solution for the Hulth\'en and anharmonic potentials

abstract: An algorithm for providing analytical solutions to Schr\"{o}dinger's equation with non-exactly solvable potentials is elaborated. It represents a symbiosis between the logarithmic expansion method and the techniques of the superymmetric quantum mechanics as extended toward non shape invariant potentials. The complete solution to a given Hamiltonian $H_{0}$ is obtained from the nodeless states of the Hamiltonian $H_{0}$ and of a set of supersymmetric partners $H_{1}, H_{2},..., H_{r}$. The nodeless states (dubbed "edge" states) are unique and in general can be ground or excited states. They are solved using the logarithmic expansion which yields an infinite systems of coupled first order hierarchical differential equations, converted later into algebraic equations with recurrence relations which can be solved order by order. We formulate the aforementioned scheme, termed to as "Supersymmetric Expansion Algorithm'' step by step and apply it to obtain for the first time the complete analytical solutions of the three dimensional Hulth\'en--, and the one-dimensional anharmonic oscillator potentials.


title: Sub-uniformity of harmonic mean p-values

abstract: We obtain several inequalities on the generalized means of dependent p-values. In particular, the weighted harmonic mean of p-values is strictly sub-uniform under several dependence assumptions of p-values, including independence, weak negative association, the class of extremal mixture copulas, and some Clayton copulas. Sub-uniformity of the harmonic mean of p-values has an important implication in multiple hypothesis testing: It is statistically invalid to merge p-values using the harmonic mean unless a proper threshold or multiplier adjustment is used, and this invalidity applies across all significance levels. The required multiplier adjustment on the harmonic mean explodes as the number of p-values increases, and hence there does not exist a constant multiplier that works for any number of p-values, even under independence.


title: Possible Value Analysis based on Symbolic Lattice

abstract: We propose a new static program analysis called program behavior analysis. The analysis aims to calculate possible symbolic expressions for every variable at each program point. We design a new lattice, transfer function, and widening operator to accommodate the analysis. Furthermore, we extend the analysis to interprocedural.


title: Pseudodifferential operators on time-frequency invariant Banach spaces and applications to Gabor Frames

abstract: Starting from the study of pseudodifferential operators with completely periodic symbols, we obtain results of continuity and invertibility of a class of Gabor operators on time-frequency invariant Banach spaces. As an applications we find sufficient conditions for the existence of Gabor frames on the space of square integrable functions, associated to a general lattice.


title: k-resolved ultrafast light-induced band renormalization in monolayer WS$_2$ on graphene

abstract: Understanding and controlling the electronic properties of two-dimensional materials is crucial for their potential applications in nano- and optoelectronics. Monolayer transition metal dichalcogenides such as WS$_2$ have garnered significant interest due to their strong light-matter interaction and extreme sensitivity of the band structure to the presence of photogenerated electron-hole pairs. In this study, we investigate the transient electronic structure of monolayer WS$_2$ on a graphene substrate after resonant excitation of the A-exciton using time- and angle-resolved photoemission spectroscopy. We observe a pronounced band structure renormalization including a substantial reduction of the transient band gap that is in good quantitative agreement with our {\it ab initio} theory that reveals the importance of both intrinsic WS$_2$ and extrinsic substrate contributions to the transient band structure of monolayer WS$_2$. Our findings not only deepen the fundamental understanding of band structure dynamics in two-dimensional materials but also offer valuable insights for the development of novel electronic and optoelectronic devices based on monolayer TMDs and their heterostructures with graphene.


title: Statistical algorithms for low-frequency diffusion data: A PDE approach

abstract: We consider the problem of making nonparametric inference in multi-dimensional diffusion models from low-frequency data. Statistical analysis in this setting is notoriously challenging due to the intractability of the likelihood and its gradient, and computational methods have thus far largely resorted to expensive simulation-based techniques. In this article, we propose a new computational approach which is motivated by PDE theory and is built around the characterisation of the transition densities as solutions of the associated heat (Fokker-Planck) equation. Employing optimal regularity results from the theory of parabolic PDEs, we prove a novel characterisation for the gradient of the likelihood. Using these developments, for the nonlinear inverse problem of recovering the diffusivity (in divergence form models), we then show that the numerical evaluation of the likelihood and its gradient can be reduced to standard elliptic eigenvalue problems, solvable by powerful finite element methods. This enables the efficient implementation of a large class of statistical algorithms, including (i) preconditioned Crank-Nicolson and Langevin-type methods for posterior sampling, and (ii) gradient-based descent optimisation schemes to compute maximum likelihood and maximum-a-posteriori estimates. We showcase the effectiveness of these methods via extensive simulation studies in a nonparametric Bayesian model with Gaussian process priors. Interestingly, the optimisation schemes provided satisfactory numerical recovery while exhibiting rapid convergence towards stationary points despite the problem nonlinearity; thus our approach may lead to significant computational speed-ups. The reproducible code is available online at https://github.com/MattGiord/LF-Diffusion.

categories: stat.ME cs.NA math.NA math.ST stat.CO stat.TH


title: ATOM: Attention Mixer for Efficient Dataset Distillation

abstract: Recent works in dataset distillation seek to minimize training expenses by generating a condensed synthetic dataset that encapsulates the information present in a larger real dataset. These approaches ultimately aim to attain test accuracy levels akin to those achieved by models trained on the entirety of the original dataset. Previous studies in feature and distribution matching have achieved significant results without incurring the costs of bi-level optimization in the distillation process. Despite their convincing efficiency, many of these methods suffer from marginal downstream performance improvements, limited distillation of contextual information, and subpar cross-architecture generalization. To address these challenges in dataset distillation, we propose the ATtentiOn Mixer (ATOM) module to efficiently distill large datasets using a mixture of channel and spatial-wise attention in the feature matching process. Spatial-wise attention helps guide the learning process based on consistent localization of classes in their respective images, allowing for distillation from a broader receptive field. Meanwhile, channel-wise attention captures the contextual information associated with the class itself, thus making the synthetic image more informative for training. By integrating both types of attention, our ATOM module demonstrates superior performance across various computer vision datasets, including CIFAR10/100 and TinyImagenet. Notably, our method significantly improves performance in scenarios with a low number of images per class, thereby enhancing its potential. Furthermore, we maintain the improvement in cross-architectures and applications such as neural architecture search.


title: A geometric characterization of known maximum scattered linear sets of $\mathrm{PG}(1,q^n)$

abstract: An $\mathbb{F}_q$- linear set $L=L_U$ of $\Lambda=\mathrm{PG}(V, \mathbb{F}_{q^n}) \cong \mathrm{PG}(r-1,q^n)$ is a set of points defined by non-zero vectors of an $\mathbb{F}_q$-subspace $U$ of $V$. The integer $\dim_{\mathbb{F}_q} U$ is called the rank of $L$. In [G. Lunardon, O. Polverino: Translation ovoids of orthogonal polar spaces. Forum Math. 16 (2004)], it was proven that any $\mathbb{F}_q$-linear set $L$ of $\Lambda$ of rank $u$ such that $\langle L \rangle=\Lambda$ is either a canonical subgeometry of $\Lambda$ or there are a $(u-r-1)$-dimensional subspace $\Gamma$ of $\mathrm{PG}(u-1,q^n) \supset \Lambda$ disjoint from $\Lambda$ and a canonical subgeometry $\Sigma \cong \mathrm{PG}(u-1,q)$ disjoint from $\Gamma$ such that $L$ is the projection of $\Sigma$ from $\Gamma$ onto $\Lambda$. The subspace $\Gamma$ is called the vertex of the projection. In this article, we will show a method to reconstruct the vertex $\Gamma$ for a peculiar class of linear sets of rank $u = n(r - 1)$ in $\mathrm{PG}(r - 1, q^n)$ called evasive linear sets. Also, we will use this result to characterize some families of linear sets of the projective line $\mathrm{PG}(1,q^n)$ introduced from 2018 onward, by means of certain properties of their projection vertices, as done in [B. Csajb\'{o}k, C. Zanella: On scattered linear sets of pseudoregulus type in $\mathrm{PG}(1, q^t)$, Finite Fields Appl. 41 (2016)] and in [C. Zanella, F. Zullo: Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1, q^n)$. Discrete Math. 343(5) (2020)].


title: Skolemisation for Intuitionistic Linear Logic

abstract: Focusing is a known technique for reducing the number of proofs while preserving derivability. Skolemisation is another technique designed to improve proof search, which reduces the number of back-tracking steps by representing dependencies on the term level and instantiate witness terms during unification at the axioms or fail with an occurs-check otherwise. Skolemisation for classical logic is well understood, but a practical skolemisation procedure for focused intuitionistic linear logic has been elusive so far. In this paper we present a focused variant of first-order intuitionistic linear logic together with a sound and complete skolemisation procedure.


title: Topics in the Study of the Pragmatic Functions of Phonetic Reduction in Dialog

abstract: Reduced articulatory precision is common in speech, but for dialog its acoustic properties and pragmatic functions have been little studied. We here try to remedy this gap. This technical report contains content that was omitted from the journal article (Ward et al. 2024, submitted). Specifically, we here report 1) lessons learned about annotating for perceived reduction, 2) the finding that, unlike in read speech, the correlates of reduction in dialog include high pitch, wide pitch range, and intensity, and 3) a baseline model for predicting reduction in dialog, using simple acoustic/prosodic features, that achieves correlations with human perceptions of 0.24 for English, and 0.17 for Spanish. We also provide examples of additional possible pragmatic functions of reduction in English, and various discussion, observations and speculations


title: Nonlinearity-induced symmetry breaking in a system of two parametrically driven Kerr-Duffing oscillators

abstract: We study the classical dynamics of a system comprising a pair of Kerr-Duffing nonlinear oscillators, which are coupled through a nonlinear interaction and subjected to a parametric drive. Using the rotating wave approximation (RWA), we analyze the steady-state solutions for the amplitudes of the two oscillators. For the case of almost identical oscillators, we investigate separately the cases in which only one oscillator is parametrically driven and in which both oscillators are simultaneously driven. In the latter regime, we demonstrate that even when the parametric drives acting on the two oscillators are identical, the system can transition from a stable symmetric solution to a broken-symmetry solution as the detuning is varied.


title: Benchmarking Quantum Annealers with Near-Optimal Minor-Embedded Instances

abstract: Benchmarking Quantum Process Units (QPU) at an application level usually requires considering the whole programming stack of the quantum computer. One critical task is the minor-embedding (resp. transpilation) step, which involves space-time overheads for annealing-based (resp. gate-based) quantum computers. This paper establishes a new protocol to generate graph instances with their associated near-optimal minor-embedding mappings to D-Wave Quantum Annealers (QA). This set of favorable mappings is used to generate a wide diversity of optimization problem instances. We use this method to benchmark QA on large instances of unconstrained and constrained optimization problems and compare the performance of the QPU with efficient classical solvers. The benchmark aims to evaluate and quantify the key characteristics of instances that could benefit from the use of a quantum computer. In this context, existing QA seem best suited for unconstrained problems on instances with densities less than $10\%$. For constrained problems, the penalty terms used to encode the hard constraints restrict the performance of QA and suggest that these QPU will be less efficient on these problems of comparable size.


title: Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

abstract: Natural language explanations have become a proxy for evaluating explainable and multi-step Natural Language Inference (NLI) models. However, assessing the validity of explanations for NLI is challenging as it typically involves the crowd-sourcing of apposite datasets, a process that is time-consuming and prone to logical errors. To address existing limitations, this paper investigates the verification and refinement of natural language explanations through the integration of Large Language Models (LLMs) and Theorem Provers (TPs). Specifically, we present a neuro-symbolic framework, named Explanation-Refiner, that augments a TP with LLMs to generate and formalise explanatory sentences and suggest potential inference strategies for NLI. In turn, the TP is employed to provide formal guarantees on the logical validity of the explanations and to generate feedback for subsequent improvements. We demonstrate how Explanation-Refiner can be jointly used to evaluate explanatory reasoning, autoformalisation, and error correction mechanisms of state-of-the-art LLMs as well as to automatically enhance the quality of human-annotated explanations of variable complexity in different domains.


title: Arrows of time in bouncing cosmologies

abstract: Different approaches to quantum gravity, such as loop quantum cosmology and group field theory, predict the resolution of the initial cosmological singularity via a 'bounce': a regular spacetime region that connects the expanding branch of the universe to a contracting branch. The cosmological arrow of time, which by definition points in the direction of cosmic expansion, is reversed at the bounce. Nonetheless, it is still possible to discriminate between the two branches by considering different arrows, as defined for instance by the growth of perturbations. After reviewing general aspects of the time arrow problem in cosmology, we examine the properties of different arrows of time in bouncing cosmologies, focusing on the loop quantum cosmology bounce as a case study. We also present a new exact solution to the effective Friedmann equations of loop quantum cosmology with pressureless dust and a cosmological constant, which is a simplified version of the $\Lambda$CDM bounce scenario, where these issues can be examined in detail.


title: High-frequency tails in spectral densities

abstract: Recent developments in numerically exact quantum dynamics methods have brought the dream of calculating the dynamics of chemically complex open systems closer to reality. Path-integral-based methods, hierarchical equations of motion (HEOM) and quantum analog simulators all require the spectral density of the environment to describe its effect on the system. Here we find that the rate of slow population relaxation is sensitive to the precise functional form used to describe the spectral density peaks. This finding highlights yet another challenge to obtaining accurate spectral densities. In the context of quantum information science, we give a simple recipe to adjust the results of analog simulation for this difference assuming both the simulator and the target spectral densities are known.


title: Benchmarking DFT-based excited-state methods for intermolecular charge-transfer excitations

abstract: Intermolecular charge-transfer is a highly important process in biology and energy-conversion applications where generated charges need to be transported over several moieties. However, its theoretical description is challenging since the high accuracy required to describe these excited states must be accessible for calculations on large molecular systems. In this benchmark study, we identify reliable low-scaling computational methods for this task. Our reference results were obtained from highly accurate wavefunction calculations that restrict the size of the benchmark systems. However, the density-functional theory based methods that we identify as accurate can be applied to much larger systems. Since targeting charge-transfer states requires the unambiguous classification of an excited state, we first analyze several charge-transfer descriptors for their reliability concerning intermolecular charge-transfer and single out DCT as an optimal choice for our purposes. In general, best results are obtained for orbital-optimized methods - and among those, IMOM proved to be the most numerically stable variant - but optimally-tuned range-separated hybrid functionals combined with rather small basis sets proved to yield surprisingly good results. This makes these fast calculations attractive for high-throughput screening applications.


title: On degenerate perturbation theory for the Floquet-Hilbert space

abstract: We consider construction of effective Hamiltonians for periodically driven interacting systems in the case of resonant driving. The standard high-frequency expansion is not expected to converge due to the resonant creation of collective excitations, and one option is to resort to the application of degenerate perturbation theory (DPT) in the extended Floquet-Hilbert space. We propose an extension of DPT whereby the degenerate subspace includes not only the degenerate levels of interest but rather all the states of the system. The resulting approach, which we call extended DPT (EDPT), is shown to resemble a high-frequency expansion, provided the quasienergy matrix is constructed such that each $m$th diagonal block contains energies reduced to the $m$th Floquet zone. The proposed theory is applied to a driven Bose-Hubbard model and is shown to yield more accurate quasienergy spectra than the conventional DPT. The computational complexity of EDPT is intermediate between DPT and the numerically exact approach, thus providing a practical compromise between accuracy and efficiency.


title: MUSE observations of small-scale heating events

abstract: Constraining the processes that drive coronal heating from observations is a difficult task due to the complexity of the solar atmosphere. As upcoming missions such as MUSE will provide coronal observations with unprecedented spatial and temporal resolution, numerical simulations are becoming increasingly realistic. Despite the availability of synthetic observations from numerical models, line-of-sight effects and the complexity of the magnetic topology in a realistic setup still complicate the prediction of signatures for specific heating processes. 3D MHD simulations have shown that a significant part of the Poynting flux injected into the solar atmosphere is carried by small-scale motions, such as vortices driven by rotational flows inside intergranular lanes. MHD waves excited by these vortices have been suggested to play an important role in the energy transfer between different atmospheric layers. Using synthetic spectroscopic data generated from a coronal loop model incorporating realistic driving by magnetoconvection, we study whether signatures of energy transport by vortices and eventual dissipation can be identified with future missions such as MUSE.


title: Anti-seizure medication tapering is associated with delta band power reduction in a dose, region and time-dependent manner

abstract: Anti-seizure medications (ASMs) are the primary treatment for epilepsy, yet medication tapering effects have not been investigated in a dose, region, and time-dependent manner, despite their potential impact on research and clinical practice. We examined over 3000 hours of intracranial EEG recordings in 32 subjects during long-term monitoring, of which 22 underwent concurrent ASM tapering. We estimated ASM plasma levels based on known pharmaco-kinetics of all the major ASM types. We found an overall decrease in the power of delta band activity around the period of maximum medication withdrawal in most (80%) subjects, independent of their epilepsy type or medication combination. The degree of withdrawal correlated positively with the magnitude of delta power decrease. This dose-dependent effect was strongly seen across all recorded cortical regions during daytime; but not in sub-cortical regions, or during night time. We found no evidence of differential effect in seizure onset, spiking, or pathological brain regions. The finding of decreased delta band power during ASM tapering agrees with previous literature. Our observed dose-dependent effect indicates that monitoring ASM levels in cortical regions may be feasible for applications such as medication reminder systems, or closed-loop ASM delivery systems. ASMs are also used in other neurological and psychiatric conditions, making our findings relevant to a general neuroscience and neurology audience.