title: Crosstalk Attacks and Defence in a Shared Quantum Computing Environment

abstract: Quantum computing has the potential to provide solutions to problems that are intractable on classical computers, but the accuracy of the current generation of quantum computers suffer from the impact of noise or errors such as leakage, crosstalk, dephasing, and amplitude damping among others. As the access to quantum computers is almost exclusively in a shared environment through cloud-based services, it is possible that an adversary can exploit crosstalk noise to disrupt quantum computations on nearby qubits, even carefully designing quantum circuits to purposely lead to wrong answers. In this paper, we analyze the extent and characteristics of crosstalk noise through tomography conducted on IBM Quantum computers, leading to an enhanced crosstalk simulation model. Our results indicate that crosstalk noise is a significant source of errors on IBM quantum hardware, making crosstalk based attack a viable threat to quantum computing in a shared environment. Based on our crosstalk simulator benchmarked against IBM hardware, we assess the impact of crosstalk attacks and develop strategies for mitigating crosstalk effects. Through a systematic set of simulations, we assess the effectiveness of three crosstalk attack mitigation strategies, namely circuit separation, qubit allocation optimization via reinforcement learning, and the use of spectator qubits, and show that they all overcome crosstalk attacks with varying degrees of success and help to secure quantum computing in a shared platform.


title: Focal Modulation Networks for Interpretable Sound Classification

abstract: The increasing success of deep neural networks has raised concerns about their inherent black-box nature, posing challenges related to interpretability and trust. While there has been extensive exploration of interpretation techniques in vision and language, interpretability in the audio domain has received limited attention, primarily focusing on post-hoc explanations. This paper addresses the problem of interpretability by-design in the audio domain by utilizing the recently proposed attention-free focal modulation networks (FocalNets). We apply FocalNets to the task of environmental sound classification for the first time and evaluate their interpretability properties on the popular ESC-50 dataset. Our method outperforms a similarly sized vision transformer both in terms of accuracy and interpretability. Furthermore, it is competitive against PIQ, a method specifically designed for post-hoc interpretation in the audio domain.


title: Metasurface lens that is converging or diverging depending on transmission direction enables ultra-compact MEMS tunable reflective lens

abstract: A conventional refractive lens surface can act as a positive (converging) or negative (diverging) lens, but the same surface cannot act as both. We show that a geometric phase metasurface lens can have the unique property of acting both as a positive or negative lens upon transmission through its front or rear side, respectively. This offers certain freedom in compound lens design, where one combines focusing and defocusing operations. We utilize this property to make an ultra-compact, varifocal reflective lens, where a metasurface is placed in front of a novel long-stroke piezoelectric MEMS-micromirror. A large theoretical diopter tunability of 6330 m$^{-1}$ is enabled due to innovative thin-film piezoelectric MEMS design, offering 62 $\mu$m displacement at 40V and low power, along with rapid actuation in the kHz region. The achieved MEMS-displacement is an order of magnitude larger than previously reported out-of-plane mechanical metasurface actuation. Since both metasurface and micromirror are flat, the presented reflective lens can be assembled without need for a spacer. It is therefore well suited for wafer-level silicon fabrication at high volumes and low cost. A proof-of-concept implementation using a 1550nm NIR metalens is demonstrated, attaining on the order of 1121 m$^{-1}$ diopter change for a focal length shift of 270 $\mu$m caused by a 53 $\mu$m micromirror displacement.


title: Heterogeneous Solvent Dissipation Coupled with Particle Rearrangement in Shear Thinning Non-Brownian Suspensions

abstract: Dense non-Brownian suspensions exhibit significant shear thinning, although a comprehensive understanding of the full scope of this phenomenon remains elusive. This study numerically reveals intimate heterogenous coupled dynamics between many-body particle motions and solvent hydrodynamics in shear-thinning non-Brownian suspensions. We demonstrate the spatially correlated viscous dissipation and particle motions; they share the same characteristic length, which decreases with increasing shear rate. We further show that, at lower shear rates, significant particle density changes are induced against the incompressibility of the solvent, suggesting the cooperative creation and annihilation of gaps and flow channels. We discuss that hydrodynamic interactions may substantially restrict particle rearrangements even in highly dense suspensions, influencing the quantitative aspects of macroscopic rheology.


title: Quantification of the volume-fraction reduction of sheared fragile glass-forming liquids and its impact on rheology

abstract: This study determines the volume-fraction reduction of sheared fragile glass-forming liquids. We consider a group of hypothetical systems that consist of particles with anisotropic particle-size modulations yet have almost the same average particle configuration as actual systems under shear flow. Our molecular dynamics (MD) simulations demonstrate that one specific hypothetical system can reproduce the relaxation dynamics of an actual sheared system, and we identify the shear-flow effect on the particle size with anisotropic size-modulation of this specific system. Then, based on the determination of the particle size and the resultant volume fraction, we rationalize how slight decreases in the volume fraction significantly reduce the viscosity snf provide a nonlinear constitutive equation. Notably, the obtained rheological predictions, including the crossover shear rate from Newtonian to non-Newtonian behavior, can be expressed only in terms of experimental observables, showing a good agreement with the MD simulation results. Our perspective on the volume fraction under shear flow may provide new insights into the conventional concept of free-volume.


title: Exploring the Effects of Shared Autonomy on Cognitive Load and Trust in Human-Robot Interaction

abstract: Teleoperation is increasingly recognized as a viable solution for deploying robots in hazardous environments. Controlling a robot to perform a complex or demanding task may overload operators resulting in poor performance. To design a robot controller to assist the human in executing such challenging tasks, a comprehensive understanding of the interplay between the robot's autonomous behavior and the operator's internal state is essential. In this paper, we investigate the relationships between robot autonomy and both the human user's cognitive load and trust levels, and the potential existence of three-way interactions in the robot-assisted execution of the task. Our user study (N=24) results indicate that while autonomy level influences the teleoperator's perceived cognitive load and trust, there is no clear interaction between these factors. Instead, these elements appear to operate independently, thus highlighting the need to consider both cognitive load and trust as distinct but interrelated factors in varying the robot autonomy level in shared-control settings. This insight is crucial for the development of more effective and adaptable assistive robotic systems.


title: Compound Poisson distributions for random dynamical systems using probabilistic approximations

abstract: We obtain quenched hitting distributions to be compound Poissonian for a certain class of random dynamical systems. The theory is general and designed to accommodate non-uniformly expanding behavior and targets that do not overlap much with the region where uniformity breaks. Based on annealed and quenched polynomial decay of correlations, our quenched result adopts annealed Kac-type time-normalization and finds limits to be noise-independent. The technique involves a probabilistic blockapproximation where the quenched hit-counting function up to annealed Kac-normalized time is split into equally sized blocks which are mimicked by an independency of random variables distributed just like each of them. The theory is made operational due to a result that allows certain hitting quantities to be recovered from return quantities. Our application is to a class of random piecewise expanding one-dimensional systems, casting new light on the well-known deterministic dichotomy between periodic and aperiodic points, their usual extremal index formula EI=1-1/JT^p(x_0) , and recovering the PolyaAeppli case for general Bernoulli-driven systems, but distinct behavior otherwise. Future and on-going investigations aim to produce and accommodate examples of bonafide nonuniformly expanding random systems and targets approaching their neutral points.


title: Proton-CAT: a Novel Strategy for Enhanced Proton Therapy

abstract: We present a nitrogen-targeting-Proton-Carbon-Alpha-Therapy method, abbreviated as Proton-CAT, which partially converts protons into carbon-12 and $\alpha$ particles through nuclear reactions between protons and nitrogen-15. Monte Carlo simulations validated the effectiveness of the Proton-CAT, and the study specifically focused on the distribution of relative energy deposition. The results indicated that the presence of nitrogen-15 enhanced the maximum dose level of protons, resulting in more effective damage confined to tumor cells. Statistical analysis of secondary ions has shown that the Proton-CAT significantly increases the production efficiencies of carbon-12 and $\alpha$ particles. Furthermore, it has been revealed that elevating the nitrogen-15 concentration significantly boosts the dose of carbon and $\alpha$ particles within the tumor region. The present work would contribute to the future development of proton therapy.


title: Transmission Line Detection Based on Improved Hough Transform

abstract: To address the challenges of low detection accuracy and high false positive rates of transmission lines in UAV (Unmanned Aerial Vehicle) images, we explore the linear features and spatial distribution. We introduce an enhanced stochastic Hough transform technique tailored for detecting transmission lines in complex backgrounds. By employing the Hessian matrix for initial preprocessing of transmission lines, and utilizing boundary search and pixel row segmentation, our approach distinguishes transmission line areas from the background. We significantly reduce both false positives and missed detections, thereby improving the accuracy of transmission line identification. Experiments demonstrate that our method not only processes images more rapidly, but also yields superior detection results compared to conventional and random Hough transform methods.


title: Congruences for Siegel modular forms of nonquadratic nebentypus mod $p$

abstract: We prove that weights of two Siegel modular forms of nonquadratic nebentypus should satisfy some congruence relations if these modular forms are congruent to each other. Applying this result, we prove that there are no mod $p$ singular forms of nonquadratic nebentypus. Here we consider the case where the Fourier coefficients of the modular forms are algebraic integers, and we emphasize that $p$ is a rational prime. Moreover, we construct some examples of mod $\frak{p}$ singular forms of nonquadratic nebentypus using the Eisenstein series studied by Takemori.


title: Meshfree multiscale method with partially explicit time discretization

abstract: In this paper, a multiscale approach with partially explicit time discretization is proposed. The idea is to use a partially explicit time scheme, considering a filtration problem in a fractured medium, where the implicit scheme is used for nodes whose subdomains contain fractures, and the explicit scheme is used for all others. In this way, it is possible to use a time step that is independent of the diffusion coefficient for fractures. Numerical results demonstrating high accuracy of calculations are presented.


title: List-aware Reranking-Truncation Joint Model for Search and Retrieval-augmented Generation

abstract: The results of information retrieval (IR) are usually presented in the form of a ranked list of candidate documents, such as web search for humans and retrieval-augmented generation for large language models (LLMs). List-aware retrieval aims to capture the list-level contextual features to return a better list, mainly including reranking and truncation. Reranking finely re-scores the documents in the list. Truncation dynamically determines the cut-off point of the ranked list to achieve the trade-off between overall relevance and avoiding misinformation from irrelevant documents. Previous studies treat them as two separate tasks and model them separately. However, the separation is not optimal. First, it is hard to share the contextual information of the ranking list between the two tasks. Second, the separate pipeline usually meets the error accumulation problem, where the small error from the reranking stage can largely affect the truncation stage. To solve these problems, we propose a Reranking-Truncation joint model (GenRT) that can perform the two tasks concurrently. GenRT integrates reranking and truncation via generative paradigm based on encoder-decoder architecture. We also design the novel loss functions for joint optimization to make the model learn both tasks. Sharing parameters by the joint model is conducive to making full use of the common modeling information of the two tasks. Besides, the two tasks are performed concurrently and co-optimized to solve the error accumulation problem between separate stages. Experiments on public learning-to-rank benchmarks and open-domain Q\&A tasks show that our method achieves SOTA performance on both reranking and truncation tasks for web search and retrieval-augmented LLMs.


title: Charmonium states in a coupled-channel model

abstract: We systematically investigate the mass spectrum and two-body open-charm strong decays of charmonium states in a coupled-channel model where the $^3P_0$ quark-antiquark pair creation mechanism is employed. The results of masses, mass shifts, proportions of the $c\bar{c}$ component, and open-charm decay widths are provided. The $S$-$D$ wave mixing angles and di-electric decay widths for vector mesons are also presented. Based on our results, we find that the $\psi(3770)$, $\psi(4040)$, $\psi(4160)$, $\psi(4360)$, and $\psi(4415)$ can be assigned as the $1^3D_1$-, $3^3S_1$-, $2^3D_1$-, $4^3S_1$-, and $3^3D_1$-dominated charmonium states, respectively. The $\psi_3(3842)$ is a good candidate of the $\psi_3(1D)$ charmonium state. The calculated mass and strong decay width of $\chi_{c1}(2P)$ with significant continuum contribution ($\sim$57\%) favor the charmonium interpretation for the mysterious $\chi_{c1}(3872)$. When considering the large uncertainty in the observed decay width, the possibility to assign the $\chi_{c0}(3860)$ as the $\chi_{c0}(2P)$ charmonium state cannot be ruled out. One may describe well the properties of $\chi_{c2}(3930)$ with the $\chi_{c2}(2P)$ charmonium. The predictions on properties of other $c\bar{c}$ states can be tested by future experiments.


title: Multiple Neuronal Specializations Elicited By Socially Driven Recognition Of Food Odors

abstract: This study investigates the dynamics of non-spatial specializations in hippocampal place cells during exposure to novel environments. Hippocampal place cells, known for their role in spatial mapping, exhibit multi-modal responses to sensory cues. The research focuses on understanding how these cells adapt their specialization in response to novel stimuli, specifically examining non-spatial determinants such as odors and social interactions. Using a social-driven food odor recognition model in mice, the study records CA1 hippocampal neuron activity through miniscope imaging. The experimental design involves demonstrations of novel odors to mice, followed by observation sessions with food options. The analysis employs deep neural network tools for behavior tracking and the custom-developed INTENS software package for identifying neural specializations. Results indicate multiple specializations, particularly those related to odor, with differences observed between training and testing sessions. The findings suggest a temporal aspect to the formation of these specializations in novel conditions, necessitating further investigation for precise tracking.


title: Chiral perturbative solution for the type-I seesaw mechanism in next-to-leading order

abstract: In this letter, we perform chiral perturbative diagonalization of the type-I seesaw mechanism by hierarchical singular values $\lambda_{i}$ of the Dirac mass matrix $m_{D}$ up to the next-to-leading order (NLO). Since the mass matrix of right-handed neutrinos $M_{R}$ has parity symmetries under $\lambda_{i} \leftrightarrow - \lambda_{i}$, the singular values $M_{i}$ and mixing angles of diagonalization of $M_{R}$ are written by only even and odd orders of $\lambda_{i}$ respectively. We confirm this fact by specific perturbative expansions of the third- and the fourth-order by $\lambda_{i}$. As a result, as long as the chiral perturbation theory is valid, the NLO contributions are generally suppressed by $O(\lambda_{i}^{2} / \labmda_{j}^{2}) \lesssim 1\%$ compared to the leading-order expressions that have sufficient accuracies.


title: Intent Profiling and Translation Through Emergent Communication

abstract: To effectively express and satisfy network application requirements, intent-based network management has emerged as a promising solution. In intent-based methods, users and applications express their intent in a high-level abstract language to the network. Although this abstraction simplifies network operation, it induces many challenges to efficiently express applications' intents and map them to different network capabilities. Therefore, in this work, we propose an AI-based framework for intent profiling and translation. We consider a scenario where applications interacting with the network express their needs for network services in their domain language. The machine-to-machine communication (i.e., between applications and the network) is complex since it requires networks to learn how to understand the domain languages of each application, which is neither practical nor scalable. Instead, a framework based on emergent communication is proposed for intent profiling, in which applications express their abstract quality-of-experience (QoE) intents to the network through emergent communication messages. Subsequently, the network learns how to interpret these communication messages and map them to network capabilities (i.e., slices) to guarantee the requested Quality-of-Service (QoS). Simulation results show that the proposed method outperforms self-learning slicing and other baselines, and achieves a performance close to the perfect knowledge baseline.


title: Learning from Teaching Regularization: Generalizable Correlations Should be Easy to Imitate

abstract: Generalization remains a central challenge in machine learning. In this work, we propose Learning from Teaching (LoT), a novel regularization technique for deep neural networks to enhance generalization. Inspired by the human ability to capture concise and abstract patterns, we hypothesize that generalizable correlations are expected to be easier to teach. LoT operationalizes this concept to improve the generalization of the main model with auxiliary student learners. The student learners are trained by the main model and improve the main model to capture more generalizable and teachable correlations by providing feedback. Our experimental results across several domains, including Computer Vision, Natural Language Processing, and Reinforcement Learning, demonstrate that the introduction of LoT brings significant benefits compared to merely training models on the original training data. It suggests the effectiveness of LoT in identifying generalizable information without falling into the swamp of complex patterns in data, making LoT a valuable addition to the current machine learning frameworks.


title: On existence of traveling wave of an HBV infection dynamics model: A novel approach

abstract: In this work, a hepatitis B virus infection dynamics model is proposed including the spatial dependence of viruses. The existence of traveling waves for the proposed model is established through the application of the celebrated Gersgorin theorem. The procedure followed to establish the existence of a traveling wave solution is innovative and probably the first attempt of this particular approach. The elasticity of basic reproduction number with respect to some model parameters are also shown. Furthermore, the effects of spatial diffusivity of the viruses on infection are studied, and it is noticed that due to the diffusion, viruses spread rapidly throughout the liver.


title: TensoSDF: Roughness-aware Tensorial Representation for Robust Geometry and Material Reconstruction

abstract: Reconstructing objects with realistic materials from multi-view images is problematic, since it is highly ill-posed. Although the neural reconstruction approaches have exhibited impressive reconstruction ability, they are designed for objects with specific materials (e.g., diffuse or specular materials). To this end, we propose a novel framework for robust geometry and material reconstruction, where the geometry is expressed with the implicit signed distance field (SDF) encoded by a tensorial representation, namely TensoSDF. At the core of our method is the roughness-aware incorporation of the radiance and reflectance fields, which enables a robust reconstruction of objects with arbitrary reflective materials. Furthermore, the tensorial representation enhances geometry details in the reconstructed surface and reduces the training time. Finally, we estimate the materials using an explicit mesh for efficient intersection computation and an implicit SDF for accurate representation. Consequently, our method can achieve more robust geometry reconstruction, outperform the previous works in terms of relighting quality, and reduce 50% training times and 70% inference time.


title: Contrastive Diffuser: Planning Towards High Return States via Contrastive Learning

abstract: The performance of offline reinforcement learning (RL) is sensitive to the proportion of high-return trajectories in the offline dataset. However, in many simulation environments and real-world scenarios, there are large ratios of low-return trajectories rather than high-return trajectories, which makes learning an efficient policy challenging. In this paper, we propose a method called Contrastive Diffuser (CDiffuser) to make full use of low-return trajectories and improve the performance of offline RL algorithms. Specifically, CDiffuser groups the states of trajectories in the offline dataset into high-return states and low-return states and treats them as positive and negative samples correspondingly. Then, it designs a contrastive mechanism to pull the trajectory of an agent toward high-return states and push them away from low-return states. Through the contrast mechanism, trajectories with low returns can serve as negative examples for policy learning, guiding the agent to avoid areas associated with low returns and achieve better performance. Experiments on 14 commonly used D4RL benchmarks demonstrate the effectiveness of our proposed method. Our code is publicly available at \url{https://anonymous.4open.science/r/CDiffuser}.


title: Series ridge regression for spatial data on $\mathbb{R}^d$

abstract: This paper develops a general asymptotic theory of series estimators for spatial data collected at irregularly spaced locations within a sampling region $R_n \subset \mathbb{R}^d$. We employ a stochastic sampling design that can flexibly generate irregularly spaced sampling sites, encompassing both pure increasing and mixed increasing domain frameworks. Specifically, we focus on a spatial trend regression model and a nonparametric regression model with spatially dependent covariates. For these models, we investigate $L^2$-penalized series estimation of the trend and regression functions. We establish uniform and $L^2$ convergence rates and multivariate central limit theorems for general series estimators as main results. Additionally, we show that spline and wavelet series estimators achieve optimal uniform and $L^2$ convergence rates and propose methods for constructing confidence intervals for these estimators. Finally, we demonstrate that our dependence structure conditions on the underlying spatial processes include a broad class of random fields, including L\'evy-driven continuous autoregressive and moving average random fields.


title: Accelerating Matroid Optimization through Fast Imprecise Oracles

abstract: Querying complex models for precise information (e.g. traffic models, database systems, large ML models) often entails intense computations and results in long response times. Thus, weaker models which give imprecise results quickly can be advantageous, provided inaccuracies can be resolved using few queries to a stronger model. In the fundamental problem of computing a maximum-weight basis of a matroid, a well-known generalization of many combinatorial optimization problems, algorithms have access to a clean oracle to query matroid information. We additionally equip algorithms with a fast but dirty oracle modelling an unknown, potentially different matroid. We design and analyze practical algorithms which only use few clean queries w.r.t. the quality of the dirty oracle, while maintaining robustness against arbitrarily poor dirty matroids, approaching the performance of classic algorithms for the given problem. Notably, we prove that our algorithms are, in many respects, best-possible. Further, we outline extensions to other matroid oracle types, non-free dirty oracles and other matroid problems.


title: Instant square lattice structured illumination microscopy: an optimal strategy towards photon-saving and real-time super-resolution observation

abstract: Over the past decade, structured illumination microscopy (SIM) has found its niche in super-resolution (SR) microscopy due to its fast imaging speed and low excitation intensity. However, due to the significantly higher light dose compared to wide-field microscopy and the time-consuming post-processing procedures, long-term, real-time, super-resolution observation of living cells is still out of reach for most SIM setups, which inevitably limits its routine use by cell biologists. Here, we describe square lattice SIM (SL-SIM) for long-duration live cell imaging by using the square lattice optical field as illumination, which allows continuous super-resolved observation over long periods of time. In addition, by extending the previous joint spatial-frequency reconstruction concept to SL-SIM, a high-speed reconstruction strategy is validated in the GPU environment, whose reconstruction time is even shorter than image acquisition time, thus enabling real-time observation. We have demonstrated the potential of SL-SIM on various biological applications, ranging from microtubule cytoskeleton dynamics to the interactions of mitochondrial cristae and DNAs in COS7 cells. The inherent lower light dose and user-friendly workflow of the SL-SIM could help make long-duration, real-time and super-resolved observations accessible to biological laboratories.


title: Boundary control of generalized Korteweg-de Vries-Burgers-Huxley equation: Well-Posedness, Stabilization and Numerical Studies

abstract: A boundary control problem for the following generalized Korteweg-de Vries-Burgers-Huxley equation: $$u_t=\nu u_{xx}-\mu u_{xxx}-\alpha u^{\delta}u_x+\beta u(1-u^{\delta})(u^{\delta}-\gamma), \ x\in[0,1], \ t>0,$$ where $\nu,\mu,\alpha,\beta>0,$ $\delta\in[1,\infty)$, $\gamma\in(0,1)$ subject to Neumann boundary conditions is considered in this work. We first establish the well-posedness of the Neumann boundary value problem by an application of monotonicity arguments, the Hartman-Stampacchia theorem, the Minty-Browder theorem, and the Crandall-Liggett theorem. The additional difficulties caused by the third order linear term is successfully handled by proving a proper version of the Minty-Browder theorem. By using suitable feedback boundary controls, we demonstrate $\mathrm{L}^2$- and $\mathrm{H}^1$-stability properties of the closed-loop system for sufficiently large $\nu>0$. The analytical conclusions from this work are supported and validated by numerical investigations.


title: Realizing and detecting Stiefel-Whitney insulators in an optical Raman lattice

abstract: We propose a feasible scheme to realize a four-band Stiefel-Whitney insultor (SWI) with spin-orbit coupled ultracold atoms in an optical Raman lattice. Four selected spin states are coupled by carefully designed Raman lasers, to generate the desired spin-orbit interactions with spacetime inversion symmetry. We map out a phase diagram with respect to the experimental parameters, where a large topological phase region exists. We further present two distinct detection methods to resolve the non-abelian band topology, in both equilibrium and dynamical ways. The detection relies on the spin textures extracted from the time-of-flight imaging, showing the tomographic signatures in the ground states and long-time averaged patterns on certain submanifold via a bulk-surface duality. Our work paves a realistic way to explore novel real topology with quantum matters.


title: Detection of extragalactic anomalous microwave emission in NGC 2903 using KVN single-dish observations

abstract: We present the results of the single-dish observations using the Korean VLBI Network to search for anomalous microwave emission (AME) in nearby galaxies. The targets were selected from MApping the dense moLecular gAs in the sTrongest stAr-formiNg Galaxies (MALATANG), a legacy survey project of the James Clerk Maxwell Telescope. The MALATANG galaxies are good representatives of local galaxies with enhanced nuclear activity associated with star formation and/or AGN, providing IR-bright galaxy samples; thus, they are good candidates for AME hosts. Combining with the ancillary data, we investigated the radio-IR spectral energy distribution (SED), while searching for the AME signals in five galaxies. The AME in NGC 2903 was well detected at a significant confidence level, whereas that in NGC 2146 and M82 was marginal. NGC 1068 and Arp 299 indicated no significant hints, and we provided the upper limits for the AME. The best-fit SED exhibited local peaks of the AME components at higher frequencies and with stronger peak fluxes than those in the previous studies. This suggested the origin of AME being denser environments such as molecular clouds or photodissociation regions rather than warm neutral/ionized medium as commonly suggested by previous studies. Further, our AME-detected targets were observed to exhibit higher specific star-formation rates than the other extragalactic AME hosts. Furthermore, AME favored starburst galaxies among our sample rather than AGN hosts. Consequently, this might imply that AGNs are excessively harsh environments for tiny dust to survive.


title: Chiral switching of many-body steady states in a dissipative Rydberg gas

abstract: Dissipative Rydberg gases are an outstanding platform for the investigation of many-body quantum open systems. Despite the wealth of existing studies, the non-equilibrium dynamics of dissipative Rydberg gases are rarely examined or harnessed from the perspective of non-Hermitian physics, which is but intrinsic to open systems. Here we report the experimental observation of a chiral switching between many-body steady states in a dissipative thermal Rydberg vapor, where the interplay of many-body effects and non-Hermiticity plays a key role. Specifically, as the parameters are adiabatically varied around a closed contour, depending on the chirality of the parameter modulation, the Rydberg vapor can change between two collective steady states with distinct Rydberg excitations and optical transmissions. Adopting a mean-field description, we reveal that both the existence of the bistable steady states and chiral dynamics derive from an exceptional structure in the parameter space, where multiple steady states of the many-body Liouvillian superoperator coalesce. We demonstrate that both the exceptional structure and the resulting state-switching dynamics are tunable through microwave dressing and temperature variations, confirming their reliance on the many-body dissipative nature of the Rydberg vapor.


title: Dramatic rebrightening of the type-changing stripped-envelope supernova SN 2023aew

abstract: Multi-peaked supernovae with precursors, dramatic light-curve rebrightenings, and spectral transformation are rare, but are being discovered in increasing numbers by modern night-sky transient surveys like the Zwicky Transient Facility (ZTF). Here, we present the observations and analysis of SN 2023aew, which showed a dramatic increase in brightness following an initial luminous (-17.4 mag) and long (~100 days) unusual first peak (possibly precursor). SN 2023aew was classified as a Type IIb supernova during the first peak but changed its type to resemble a stripped-envelope supernova (SESN) after the marked rebrightening. We present comparisons of SN 2023aew's spectral evolution with SESN subtypes and argue that it is similar to SNe Ibc during its main peak. P-Cygni Balmer lines are present during the first peak, but vanish during the second peak's photospheric phase, before H$\alpha$ resurfaces again during the nebular phase. The nebular lines ([O I], [Ca II], Mg I], H$\alpha$) exhibit a double-peaked structure which hints towards a clumpy or non-spherical ejecta. We analyze the second peak in the light curve of SN 2023aew and find it to be broader than normal SESNe as well as requiring a very high $^{56}$Ni mass to power the peak luminosity. We discuss the possible origins of SN 2023aew including an eruption scenario where a part of the envelope is ejected during the first peak which also powers the second peak of the light curve through SN-CSM interaction.


title: Dual Knowledge Distillation for Efficient Sound Event Detection

abstract: Sound event detection (SED) is essential for recognizing specific sounds and their temporal locations within acoustic signals. This becomes challenging particularly for on-device applications, where computational resources are limited. To address this issue, we introduce a novel framework referred to as dual knowledge distillation for developing efficient SED systems in this work. Our proposed dual knowledge distillation commences with temporal-averaging knowledge distillation (TAKD), utilizing a mean student model derived from the temporal averaging of the student model's parameters. This allows the student model to indirectly learn from a pre-trained teacher model, ensuring a stable knowledge distillation. Subsequently, we introduce embedding-enhanced feature distillation (EEFD), which involves incorporating an embedding distillation layer within the student model to bolster contextual learning. On DCASE 2023 Task 4A public evaluation dataset, our proposed SED system with dual knowledge distillation having merely one-third of the baseline model's parameters, demonstrates superior performance in terms of PSDS1 and PSDS2. This highlights the importance of proposed dual knowledge distillation for compact SED systems, which can be ideal for edge devices.


title: From Partial to Strictly Incremental Constituent Parsing

abstract: We study incremental constituent parsers to assess their capacity to output trees based on prefix representations alone. Guided by strictly left-to-right generative language models and tree-decoding modules, we build parsers that adhere to a strong definition of incrementality across languages. This builds upon work that asserted incrementality, but that mostly only enforced it on either the encoder or the decoder. Finally, we conduct an analysis against non-incremental and partially incremental models.


title: Ab initio property characterisation of thousands of previously unknown 2D materials

abstract: We perform extensive density functional theory (DFT) calculations to determine the stability and elementary properties of 4249 previously unexplored monolayer crystals. The monolayers comprise the most stable subset (energy within 0.1 eV/atom of the convex hull) of a larger portfolio of two-dimensional (2D) materials recently discovered using a deep generative model and systematic lattice decoration schemes. The relaxed 2D structures are run through the basic property workflow of the Computational 2D Materials Database (C2DB) to evaluate the dynamical stability and obtain the stiffness tensor, piezoelectric tensor, deformation potentials, Born and Bader charges, electronic band structure, effective masses, plasma frequency, Fermi surface, projected density of states, magnetic moments, magnetic exchange couplings, magnetic anisotropy, topological indices, optical- and infrared polarisability. We provide statistical overviews of the property data and highlight a few specific examples of interesting materials. Our work exposes previously unknown parts of the 2D chemical space and provides a basis for the discovery of 2D materials with specific properties. All data is available in the C2DB.


title: A gluing operation for dimer quivers

abstract: In this article we introduce a gluing operation on dimer models. This allows us to construct dimer quivers on arbitrary surfaces. We study how the associated dimer and boundary algebras behave under the gluing and how to determine them from the gluing components. We also use this operation to construct homogeneous dimer quivers on annuli.


title: A tale of two pairs: on the origin of the pseudogap end point in the high-T$_{c}$ cuprate superconductors

abstract: There are two seemingly unrelated puzzles about the cuprate superconductors. The first puzzle concerns the strong non-BCS behavior around $x_{c}$, the end point of the superconducting dome on the overdoped side, where the cuparte is believed to be well described by the fermi liquid theory. This is the most evident in the observed $\rho_{s}(0)-T_{c}$ scaling and the large amount of uncondensed optical spectral weight at low energy. The second puzzle concerns the remarkable robustness of the d-wave pairing against the inevitable disorder effect in such a doped system, which is also totally unexpected from the conventional BCS picture. Here we show that these two puzzles are deeply connected to the origin of a third puzzle about the cuprate superconductors, namely, the mysterious quantum critical behavior observed around $x^{*}$, the so-called pseudogap end point. Through a systematic variational optimization of the disordered 2D $t-J$ model from the resonating valence bond(RVB) perspective, we find that the d-wave pairing in this model is remarkably more robust against the disorder effect than that in a conventional d-wave BCS superconductor. We find that such remarkable robustness can be attributed to the spin-charge separation mechanism in the RVB picture, through which the d-wave RVB pairing of the charge neutral spinons becomes essentially immune to the impurity potential except for the secondary effect related to the modulation of the local doping level by the disorder. We propose that there exists a Mott transition at $x^{*}$, where the RVB pairing in the underdoped regime is transmuted into the increasingly more BCS-like pairing for $x>x^{*}$, whose increasing fragility against the disorder effect leads to the non-BCS behavior and the ultimate suppression of superconductivity around $x_{c}$.


title: Moment propagation of a Vlasov-Poisson system for ions flow in the quasi-neutral regime

abstract: In light of recent work in the global well-posedness of solutions for an ionic Vlasov-Poisson system, as demonstrated by Griffin-Pickering and Iacobelli, the current work focuses on the moment propagation of the corresponding system in quasi-neutral regime. Such moment propagation result relies on an estimate of $Q_*(t)=|V(t;0,x,v)-V(0;0,x,v)|$, where $V(s;t,x,v)$ represents the solution of the characteristic ordinary differential equation associated with the Vlasov-Poisson system.


title: Ab initio Investigation of Thermal Transport in Insulators: Unveiling the Roles of Phonon Renormalization and Higher-Order Anharmonicity

abstract: The occurrence of thermal transport phenomena is widespread, exerting a pivotal influence on the functionality of diverse electronic and thermo-electric energy-conversion devices. The traditional first-principles theory governing the thermal and thermodynamic characteristics of insulators relies on the perturbative treatment of interatomic potential and ad-hoc displacement of atoms within supercells. However, the limitations of these approaches for highly anharmonic and weakly bonded materials, along with discrepancies arising from not considering explicit finite temperature effects, highlight the necessity for a well-defined quasiparticle approach to the lattice vibrations. To address these limitations, we present a comprehensive numerical framework in this study, designed to compute the thermal and thermodynamic characteristics of crystalline semiconductors and insulators. The self-consistent phonon renormalization method we have devised reveals phonons as quasiparticles, diverging from their conventional characterization as bare normal modes of lattice vibration. The extension of the renormalization impact to interatomic force constants (IFCs) of third and fourth orders is also integrated and demonstrated. For the comprehensive physical insights, we employed an iterative solution of the Peierls-Boltzmann transport equation (PBTE) to determine thermal conductivity and carry out Helmholtz free energy calculations, encompassing anharmonicity effects up to the fourth order. In this study, we utilize our numerical framework to showcase its applicability through an examination of phonon dispersion, phonon linewidth, anharmonic phonon scattering, and temperature-dependent lattice thermal conductivity in both highly anharmonic materials (NaCl and AgI) and weakly anharmonic materials (cBN and 3C-SiC).


title: Artificial-intelligence-based surrogate solution of dissipative quantum dynamics: physics-informed reconstruction of the universal propagator

abstract: The accurate (or even approximate) solution of the equations that govern the dynamics of dissipative quantum systems remains a challenging task for quantum science. While several algorithms have been designed to solve those equations with different degrees of flexibility, they rely mainly on highly expensive iterative schemes. Most recently, deep neural networks have been used for quantum dynamics but current architectures are highly dependent on the physics of the particular system and usually limited to population dynamics. Here we introduce an artificial-intelligence-based surrogate model that solves dissipative quantum dynamics by parameterizing quantum propagators as Fourier neural operators, which we train using both dataset and physics-informed loss functions. Compared with conventional algorithms, our quantum neural propagator avoids time-consuming iterations and provides a universal super-operator that can be used to evolve any initial quantum state for arbitrarily long times. To illustrate the wide applicability of the approach, we employ our quantum neural propagator to compute population dynamics and time-correlation functions of the Fenna-Matthews-Olson complex.


title: Geometrically thick equilibrium tori around a Schwarzschild black hole in swirling universes

abstract: We study geometrically thick non-self gravitating equilibrium tori orbiting a Schwarzschild black hole immersed in swirling universes. This solution is axially symmetric and non-asymptotically flat, and its north and south hemispheres spin in opposite directions. Due to repulsive effects arising from the swirl of the background spacetime, the equilibrium torus exists only in the case with the small swirling parameter. With the increase of the swirling parameter, the disk structure becomes small and the excretion of matter near the black hole becomes strong. Moreover, the odd $Z_2$ symmetry of spacetimes originating from the swirling parameter yields that the orientation of closed equipotential surfaces deviates away from the horizontal axis and the corresponding disk does not longer possess the symmetry with respect to the equatorial plane. These significant features could help to further understand the equilibrium tori and geometrically thick accretion disks around black holes in swirling universes.


title: Stable and Robust Deep Learning By Hyperbolic Tangent Exponential Linear Unit (TeLU)

abstract: In this paper, we introduce the Hyperbolic Tangent Exponential Linear Unit (TeLU), a novel neural network activation function, represented as $f(x) = x{\cdot}tanh(e^x)$. TeLU is designed to overcome the limitations of conventional activation functions like ReLU, GELU, and Mish by addressing the vanishing and, to an extent, the exploding gradient problems. Our theoretical analysis and empirical assessments reveal that TeLU outperforms existing activation functions in stability and robustness, effectively adjusting activation outputs' mean towards zero for enhanced training stability and convergence. Extensive evaluations against popular activation functions (ReLU, GELU, SiLU, Mish, Logish, Smish) across advanced architectures, including Resnet-50, demonstrate TeLU's lower variance and superior performance, even under hyperparameter conditions optimized for other functions. In large-scale tests with challenging datasets like CIFAR-10, CIFAR-100, and TinyImageNet, encompassing 860 scenarios, TeLU consistently showcased its effectiveness, positioning itself as a potential new standard for neural network activation functions, boosting stability and performance in diverse deep learning applications.


title: Rethinking Optimization and Architecture for Tiny Language Models

abstract: The power of large language models (LLMs) has been demonstrated through numerous data and computing resources. However, the application of language models on mobile devices is facing huge challenge on the computation and memory costs, that is, tiny language models with high performance are urgently required. Limited by the highly complex training process, there are many details for optimizing language models that are seldom studied carefully. In this study, based on a tiny language model with 1B parameters, we carefully design a series of empirical study to analyze the effect of each component. Three perspectives are mainly discussed, \ie, neural architecture, parameter initialization, and optimization strategy. Several design formulas are empirically proved especially effective for tiny language models, including tokenizer compression, architecture tweaking, parameter inheritance and multiple-round training. Then we train PanGu-$\pi$-1B Pro and PanGu-$\pi$-1.5B Pro on 1.6T multilingual corpora, following the established formulas. Experimental results demonstrate the improved optimization and architecture yield a notable average improvement of 8.87 on benchmark evaluation sets for PanGu-$\pi$-1B Pro. Besides, PanGu-$\pi$-1.5B Pro surpasses a range of SOTA models with larger model sizes, validating its superior performance. The code is available at https://github.com/YuchuanTian/RethinkTinyLM.


title: Neural networks for differential games

abstract: We study deterministic optimal control problems for differential games with finite horizon. We propose new approximations of the strategies in feedback form, and show error estimates and a convergence result of the value in some weak sense for one of the formulations. This result applies in particular to neural networks approximations. This work follows some ideas introduced in Bokanowski, Prost and Warin (PDEA, 2023) for deterministic optimal control problems, yet with a simplified approach for the error estimates, which allows to consider a global optimization scheme instead of a time-marching scheme. We also give a new approximation result between the continuous and the semi-discrete optimal control value in the game setting, improving the classical convergence order under some assumptions on the dynamical system. Numerical examples are performed on elementary academic problems related to backward reachability, with exact analytic solutions given, as well as a two-player game in presence of state constraints. We use stochastic gradient type algorithms in order to deal with the min-max problem.


title: On the shape derivative of polygonal inclusions in the conductivity problem

abstract: We consider the conductivity problem for a homogeneous body with an inclusion of a different, but known, conductivity. Our interest concerns the associated shape derivative, i.e., the derivative of the corresponding electrostatic potential with respect to the shape of the inclusion. For a smooth inclusion it is known that the shape derivative is the solution of a specific inhomogeneous transmission problem. We show that this characterization of the shape derivative is also valid when the inclusion is a polygonal domain, but due to singularities at the vertices of the polygon, the shape derivative fails to belong to $H^1$ in this case.


title: Convolutional restricted Boltzmann machine (CRBM) correlated variational wave function for the Hubbard model on a square lattice: Mott metal-insulator transition

abstract: We use a convolutional restricted Boltzmann machine (CRBM) neural network to construct a variational wave function (WF) for the Hubbard model on a square lattice and study it using the variational Monte Carlo (VMC) method. In the wave function, the CRBM acts as a correlation factor to a mean-field BCS state. The number of variational parameters in the WF does not grow automatically with the lattice size and it is computationally much more efficient compared to other neural network based WFs. We find that in the intermediate to strong coupling regime of the model at half-filling, the wave function outperforms even the highly accurate long range backflow-Jastrow correlated wave function. Using the WF, we study the ground state of the half-filled model as a function of onsite Coulomb repulsion $U$. We consider two cases for the next-nearest-neighbor hopping parameter, e.g., $t'=0$ as well as a frustrated model case with $t'\neq 0$. By examining several quantities, e.g., double occupancy, charge gap, momentum distribution, and spin-spin correlations, we find that the weekly correlated phase in both cases is paramagnetic metallic (PM). As $U$ is increased, the system undergoes a first-order Mott transition to an insulating state at a critical $U_c$, the value of which depends upon $t'$. The Mott state in both cases is spin gapped with long range antiferromagnetic (AF) order. Remarkably, the AF order emerges spontaneously from the wave function which does not have any explicitly broken symmetry in it. Apart from some quantitative differences in the results for the two values of $t'$, we find some interesting qualitative differences in the way the Mott transition takes place in the two cases.


title: A Learning-Based Caching Mechanism for Edge Content Delivery

abstract: With the advent of 5G networks and the rise of the Internet of Things (IoT), Content Delivery Networks (CDNs) are increasingly extending into the network edge. This shift introduces unique challenges, particularly due to the limited cache storage and the diverse request patterns at the edge. These edge environments can host traffic classes characterized by varied object-size distributions and object-access patterns. Such complexity makes it difficult for traditional caching strategies, which often rely on metrics like request frequency or time intervals, to be effective. Despite these complexities, the optimization of edge caching is crucial. Improved byte hit rates at the edge not only alleviate the load on the network backbone but also minimize operational costs and expedite content delivery to end-users. In this paper, we introduce HR-Cache, a comprehensive learning-based caching framework grounded in the principles of Hazard Rate (HR) ordering, a rule originally formulated to compute an upper bound on cache performance. HR-Cache leverages this rule to guide future object eviction decisions. It employs a lightweight machine learning model to learn from caching decisions made based on HR ordering, subsequently predicting the "cache-friendliness" of incoming requests. Objects deemed "cache-averse" are placed into cache as priority candidates for eviction. Through extensive experimentation, we demonstrate that HR-Cache not only consistently enhances byte hit rates compared to existing state-of-the-art methods but also achieves this with minimal prediction overhead. Our experimental results, using three real-world traces and one synthetic trace, indicate that HR-Cache consistently achieves 2.2-14.6% greater WAN traffic savings than LRU. It outperforms not only heuristic caching strategies but also the state-of-the-art learning-based algorithm.


title: Wavelet characterizations of the Sobolev wavefront set: bandlimited wavelets and compactly supported wavelets

abstract: We consider the problem of characterizing the Sobolev wavefront set of a tempered distribution $u\in\mathcal{S}'(\mathbb{R}^{d})$ in terms of its continuous wavelet transform, with the latter being defined with respect to a suitably chosen dilation group $H\subset{\rm GL}(\mathbb{R}^{d})$. We derive necessary and sufficient criteria for elements of the Sobolev wavefront set, formulated in terms of the decay behaviour of a given generalized continuous wavelet transform. It turns out that the characterization of directed smoothness of finite order can be performed in the two important cases: (1) bandlimited wavelets, and (2) wavelets with finitely many vanishing moments (e.g.~compactly supported wavelets). The main results of this paper are based on a number of fairly technical conditions on the dilation group. In order to demonstrate their wide applicability, we exhibit a large class of generalized shearlet groups in arbitrary dimensions fulfilling all required conditions, and give estimates of the involved constants.


title: Joint Attention-Guided Feature Fusion Network for Saliency Detection of Surface Defects

abstract: Surface defect inspection plays an important role in the process of industrial manufacture and production. Though Convolutional Neural Network (CNN) based defect inspection methods have made huge leaps, they still confront a lot of challenges such as defect scale variation, complex background, low contrast, and so on. To address these issues, we propose a joint attention-guided feature fusion network (JAFFNet) for saliency detection of surface defects based on the encoder-decoder network. JAFFNet mainly incorporates a joint attention-guided feature fusion (JAFF) module into decoding stages to adaptively fuse low-level and high-level features. The JAFF module learns to emphasize defect features and suppress background noise during feature fusion, which is beneficial for detecting low-contrast defects. In addition, JAFFNet introduces a dense receptive field (DRF) module following the encoder to capture features with rich context information, which helps detect defects of different scales. The JAFF module mainly utilizes a learned joint channel-spatial attention map provided by high-level semantic features to guide feature fusion. The attention map makes the model pay more attention to defect features. The DRF module utilizes a sequence of multi-receptive-field (MRF) units with each taking as inputs all the preceding MRF feature maps and the original input. The obtained DRF features capture rich context information with a large range of receptive fields. Extensive experiments conducted on SD-saliency-900, Magnetic tile, and DAGM 2007 indicate that our method achieves promising performance in comparison with other state-of-the-art methods. Meanwhile, our method reaches a real-time defect detection speed of 66 FPS.


title: A Comprehensive Numerical Approach to Coil Placement in Cerebral Aneurysms: Mathematical Modeling and In Silico Occlusion Classification

abstract: Endovascular coil embolization is one of the primary treatment techniques for cerebral aneurysms. Although it is a well established and minimally invasive method, it bears the risk of sub-optimal coil placement which can lead to incomplete occlusion of the aneurysm possibly causing recurrence. One of the key features of coils is that they have an imprinted natural shape supporting the fixation within the aneurysm. For the spatial discretization our mathematical coil model is based on the Discrete Elastic Rod model which results in a dimension-reduced 1D system of differential equations. We include bending and twisting responses to account for the coils natural curvature. Collisions between coil segments and the aneurysm-wall are handled by an efficient contact algorithm that relies on an octree based collision detection. The numerical solution of the model is obtained by a symplectic semi-implicit Euler time stepping method. Our model can be easily incorporated into blood flow simulations of embolized aneurysms. In order to differentiate optimal from sub-optimal placements, we employ a suitable in silico Raymond-Roy type occlusion classification and measure the local packing density in the aneurysm at its neck, wall-region and core. We investigate the impact of uncertainties in the coil parameters and embolization procedure. To this end, we vary the position and the angle of insertion of the microcatheter, and approximate the local packing density distributions by evaluating sample statistics.


title: Thermal x-ray studies of neutron stars and the equation of state

abstract: The understanding of neutron star equation of state hinges on a comprehensive analysis of multi-messenger, multi-wavelength data. The recent scrutiny of PSR J0030+0451 data by NICER introduces complexities, unveiling a tension with another X-ray observation of the central compact object in HESS J1731-347, specifically concerning the mass-radius constraint of low-mass neutron stars. This tension persists when integrating NICER's updated data with LIGO/Virgo's gravitational-wave data from the GW170817 binary neutron star merger. Despite attempts to reconcile these disparate observations, the current combined data still can not distinguish different types of neutron stars -- whether they are pure neutron stars or hybrid stars. Bayesian inference indicates only modest changes in the posterior ranges of parameters related to the nuclear matter and deconfinement phase transition. This ongoing exploration underscores the intricate challenges in precisely characterizing neutron stars. It also points out that it is possible to probe the equation of state at different density regimes from future more accurate radii of neutron stars with various masses.


title: Extreme Two-View Geometry From Object Poses with Diffusion Models

abstract: Human has an incredible ability to effortlessly perceive the viewpoint difference between two images containing the same object, even when the viewpoint change is astonishingly vast with no co-visible regions in the images. This remarkable skill, however, has proven to be a challenge for existing camera pose estimation methods, which often fail when faced with large viewpoint differences due to the lack of overlapping local features for matching. In this paper, we aim to effectively harness the power of object priors to accurately determine two-view geometry in the face of extreme viewpoint changes. In our method, we first mathematically transform the relative camera pose estimation problem to an object pose estimation problem. Then, to estimate the object pose, we utilize the object priors learned from a diffusion model Zero123 to synthesize novel-view images of the object. The novel-view images are matched to determine the object pose and thus the two-view camera pose. In experiments, our method has demonstrated extraordinary robustness and resilience to large viewpoint changes, consistently estimating two-view poses with exceptional generalization ability across both synthetic and real-world datasets. Code will be available at https://github.com/scy639/Extreme-Two-View-Geometry-From-Object-Poses-with-Diffusion-Models.


title: KS-Lottery: Finding Certified Lottery Tickets for Multilingual Language Models

abstract: The lottery ticket hypothesis posits the existence of ``winning tickets'' within a randomly initialized neural network. Do winning tickets exist for LLMs in fine-tuning scenarios? How can we find such winning tickets? In this paper, we propose KS-Lottery, a method to identify a small subset of LLM parameters highly effective in multilingual fine-tuning. Our key idea is to use Kolmogorov-Smirnov Test to analyze the distribution shift of parameters before and after fine-tuning. We further theoretically prove that KS-Lottery can find the certified winning tickets in the embedding layer, fine-tuning on the found parameters is guaranteed to perform as well as full fine-tuning. Comparing KS-Lottery with other parameter-efficient tuning algorithms on translation tasks, the experimental results show that KS-Lottery finds a much smaller set of parameters for fine-tuning while achieving the comparable performance as full fine-tuning LLM. Surprisingly, we find that fine-tuning 18 tokens' embedding of LLaMA suffices to reach the fine-tuning translation performance~\footnote{https://github.com/CONE-MT/KS-Lottery.}.


title: Redistribution with Needs

abstract: We take an axiomatic approach to study redistribution problems when agents report income and needs. We formalize axioms reflecting ethical and operational principles such as additivity, impartiality and individual rationality. Different combinations of those axioms characterize three focal rules (laissez faire, full redistribution, and need-adjusted full redistribution) as well as compromises among them. We also uncover the structure of those compromises exploring the Lorenz dominance criterion as well as majority voting. Our analysis provides an axiomatic justification for a linear income tax system. We conclude our analysis resorting to Eurostat's Household Budget Survey from where we illustrate the different redistribution patterns accounting for needs across European countries.


title: Large Language Model Distilling Medication Recommendation Model

abstract: The recommendation of medication is a vital aspect of intelligent healthcare systems, as it involves prescribing the most suitable drugs based on a patient's specific health needs. Unfortunately, many sophisticated models currently in use tend to overlook the nuanced semantics of medical data, while only relying heavily on identities. Furthermore, these models face significant challenges in handling cases involving patients who are visiting the hospital for the first time, as they lack prior prescription histories to draw upon. To tackle these issues, we harness the powerful semantic comprehension and input-agnostic characteristics of Large Language Models (LLMs). Our research aims to transform existing medication recommendation methodologies using LLMs. In this paper, we introduce a novel approach called Large Language Model Distilling Medication Recommendation (LEADER). We begin by creating appropriate prompt templates that enable LLMs to suggest medications effectively. However, the straightforward integration of LLMs into recommender systems leads to an out-of-corpus issue specific to drugs. We handle it by adapting the LLMs with a novel output layer and a refined tuning loss function. Although LLM-based models exhibit remarkable capabilities, they are plagued by high computational costs during inference, which is impractical for the healthcare sector. To mitigate this, we have developed a feature-level knowledge distillation technique, which transfers the LLM's proficiency to a more compact model. Extensive experiments conducted on two real-world datasets, MIMIC-III and MIMIC-IV, demonstrate that our proposed model not only delivers effective results but also is efficient. To ease the reproducibility of our experiments, we release the implementation code online.


title: Time-velocity decay of solutions to the non-cutoff Boltzmann equation in the whole space

abstract: In this paper, we consider the perturbed solutions with polynomial tail in large velocities for the non-cutoff Boltzmann equation near global Maxwellians in the whole space. The global in time existence is proved in the weighted Sobolev spaces and the almost optimal time decay is obtained in Fourier transform based low-regularity spaces. The result shows a time-velocity decay structure of solutions that can be decomposed into two parts. One part allows the slow polynomial tail in large velocities, carries the initial data and enjoys the exponential or arbitrarily large polynomial time decay. The other part, with zero initial data, is dominated by the non-negative definite symmetric dissipation and has the exponential velocity decay but only the slow polynomial time decay.


title: Graph-enhanced Large Language Models in Asynchronous Plan Reasoning

abstract: Planning is a fundamental property of human intelligence. Reasoning about asynchronous plans is challenging since it requires sequential and parallel planning to optimize time costs. Can large language models (LLMs) succeed at this task? Here, we present the first large-scale study investigating this question. We find that a representative set of closed and open-source LLMs, including GPT-4 and LLaMA-2, behave poorly when not supplied with illustrations about the task-solving process in our benchmark AsyncHow. We propose a novel technique called Plan Like a Graph (PLaG) that combines graphs with natural language prompts and achieves state-of-the-art results. We show that although PLaG can boost model performance, LLMs still suffer from drastic degradation when task complexity increases, highlighting the limits of utilizing LLMs for simulating digital devices. We see our study as an exciting step towards using LLMs as efficient autonomous agents. Our code and data are available at https://github.com/fangru-lin/graph-llm-asynchow-plan.


title: Uncertainty Quantification of Phase Transition Problems with an Injection Boundary

abstract: We develop an enthalpy-based modeling and computational framework to quantify uncertainty in Stefan problems with an injection boundary. Inspired by airfoil icing studies, we consider a system featuring an injection boundary inducing domain changes and a free boundary separating phases, resulting in two types of moving boundaries. Our proposed enthalpy-based formulation seamlessly integrates thermal diffusion across the domain with energy fluxes at the boundaries, addressing a modified injection condition for boundary movement. Uncertainty then stems from random variations in the injection boundary. The primary focus of our Uncertainty Quantification (UQ) centers on investigating the effects of uncertainty on free boundary propagation. Through mapping to a reference domain, we derive an enthalpy-based numerical scheme tailored to the transformed coordinate system, facilitating a simple and efficient simulation. Numerical and UQ studies in one and two dimensions validate the proposed model and the extended enthalpy method. They offer intriguing insights into ice accretion and other multiphysics processes involving phase transitions.


title: Are Sounds Sound for Phylogenetic Reconstruction?

abstract: In traditional studies on language evolution, scholars often emphasize the importance of sound laws and sound correspondences for phylogenetic inference of language family trees. However, to date, computational approaches have typically not taken this potential into account. Most computational studies still rely on lexical cognates as major data source for phylogenetic reconstruction in linguistics, although there do exist a few studies in which authors praise the benefits of comparing words at the level of sound sequences. Building on (a) ten diverse datasets from different language families, and (b) state-of-the-art methods for automated cognate and sound correspondence detection, we test, for the first time, the performance of sound-based versus cognate-based approaches to phylogenetic reconstruction. Our results show that phylogenies reconstructed from lexical cognates are topologically closer, by approximately one third with respect to the generalized quartet distance on average, to the gold standard phylogenies than phylogenies reconstructed from sound correspondences.


title: A Hybrid Finite-Difference-Particle Method for Chemotaxis Models

abstract: Chemotaxis systems play a crucial role in modeling the dynamics of bacterial and cellular behaviors, including propagation, aggregation, and pattern formation, all under the influence of chemical signals. One notable characteristic of these systems is their ability to simulate concentration phenomena, where cell density undergoes rapid growth near specific concentration points or along certain curves. Such growth can result in singular, spiky structures and lead to finite-time blowups. Our investigation focuses on the dynamics of the Patlak-Keller-Segel chemotaxis system and its two-species extensions. In the latter case, different species may exhibit distinct chemotactic sensitivities, giving rise to very different rates of cell density growth. Such a situation may be extremely challenging for numerical methods as they may fail to accurately capture the blowup of the slower-growing species mainly due to excessive numerical dissipation. In this paper, we propose a hybrid finite-difference-particle (FDP) method, in which a particle method is used to solve the chemotaxis equation(s), while finite difference schemes are employed to solve the chemoattractant equation. Thanks to the low-dissipation nature of the particle method, the proposed hybrid scheme is particularly adept at capturing the blowup behaviors in both one- and two-species cases. The proposed hybrid FDP methods are tested on a series of challenging examples, and the obtained numerical results demonstrate that our hybrid method can provide sharp resolution of the singular structures even with a relatively small number of particles. Moreover, in the two-species case, our method adeptly captures the blowing-up solution for the component with lower chemotactic sensitivity, a feature not observed in other works.


title: Wigner Analysis of Fourier Integral Operators with symbols in the Shubin classes

abstract: We study the decay properties of Wigner kernels for Fourier integral operators of types I and II. The symbol spaces that allow a nice decay of these kernels are the Shubin classes $\Gamma^m(\mathbb{R^{2d}})$, with negative order $m$. The phases considered are the so-called tame ones, which appear in the Schr\"odinger propagators. The related canonical transformations are allowed to be nonlinear. It is the nonlinearity of these transformations that are the main obstacles for nice kernel localizations when symbols are taken in the H\"ormander's class $S^{0}_{0,0}(\mathbb{R^{2d}})$. Here we prove that Shubin classes overcome this problem and allow a nice kernel localization, which improves with the decreasing of the order $m$.


title: Orientation-dependent Josephson effect in spin-singlet superconductor/altermagnet/spin-triplet superconductor junctions

abstract: We study the Josephson effect in the spin-singlet superconductor/altermagnet/spin-triplet superconductor junctions using the Green's function method. The current-phase difference relationships in the junctions strongly depend on the orientation of altermagnet and the types of the Cooper pairs. For the orientation angle equal to odd multiples of $\pi/4$, the current-phase difference relationships are of the $\sin{2\phi}$ type, which are irrespective of the pairing wave functions in superconductors. For the other orientation angles, the emergence of the lowest order current becomes possible and its form, $\sin\phi$ or $\cos\phi$, depends on the pairing wave functions in superconductors. The $\phi_{0}$ phase and the $0$-$\pi$ transition can be realized in our junctions due to the appearance of the lowest order current. The selection rules for the lowest order current are presented. The symmetric relations satisfied by the current-phase difference relationships are analyzed through considering the transformations of the junctions under the mirror reflection, the time-reversal and the spin rotation operations. Our results not only provide a method to detect the intrinsic spin-triplet superconductivity but also possess application values in the design of the field-free quantum devices.


title: Multi-scale fMRI time series analysis for understanding neurodegeneration in MCI

abstract: In this study, we present a technique that spans multi-scale views (global scale -- meaning brain network-level and local scale -- examining each individual ROI that constitutes the network) applied to resting-state fMRI volumes. Deep learning based classification is utilized in understanding neurodegeneration. The novelty of the proposed approach lies in utilizing two extreme scales of analysis. One branch considers the entire network within graph-analysis framework. Concurrently, the second branch scrutinizes each ROI within a network independently, focusing on evolution of dynamics. For each subject, graph-based approach employs partial correlation to profile the subject in a single graph where each ROI is a node, providing insights into differences in levels of participation. In contrast, non-linear analysis employs recurrence plots to profile a subject as a multichannel 2D image, revealing distinctions in underlying dynamics. The proposed approach is employed for classification of a cohort of 50 healthy control (HC) and 50 Mild Cognitive Impairment (MCI), sourced from ADNI dataset. Results point to: (1) reduced activity in ROIs such as PCC in MCI (2) greater activity in occipital in MCI, which is not seen in HC (3) when analysed for dynamics, all ROIs in MCI show greater predictability in time-series.


title: State estimation of urban air pollution with statistical, physical, and super-learning graph models

abstract: We consider the problem of real-time reconstruction of urban air pollution maps. The task is challenging due to the heterogeneous sources of available data, the scarcity of direct measurements, the presence of noise, and the large surfaces that need to be considered. In this work, we introduce different reconstruction methods based on posing the problem on city graphs. Our strategies can be classified as fully data-driven, physics-driven, or hybrid, and we combine them with super-learning models. The performance of the methods is tested in the case of the inner city of Paris, France.


title: Promising regimes for the observation of topological degeneracy in spin chains

abstract: Both the Haldane spin chain and a topologically dimerized chain feature topologically protected edge states that are expected to be robust against some kind of noise. To elucidate whether it might be feasible to create such edge states in dimerized chains in a controlled manner in solid states environments, e.g. as spin chains on surfaces, as has already been successfully achieved with the Haldane chain, we investigate their robustness with respect to long-range coupling, anisotropies and finite chain length. The theoretical investigation is based on an alternating Heisenberg spin chain with spin-1/2, which is investigated using exact diagonalization. We find that dimerized chains and Haldane chains have robustness against long-range coupling and anisotropies. In particular, dimerized spin chains are significantly more robust than Haldane chains


title: Interconnected Renormalization of Hubbard Bands and Green's Function Zeros in Mott Insulators Induced by Strong Magnetic Fluctuations

abstract: We analyze the role of spatial electronic correlations and, in particular, of the magnetic fluctuations in Mott insulators. A half-filled Hubbard model is solved at large strength of the repulsion U on a two-dimensional square lattice using an advanced diagrammatic non-perturbative approach capable of going beyond Hartree-Fock and single-site dynamical mean-field theories. We show that at high temperatures the magnetic fluctuations are weak, and the electronic self-energy of the system is mainly local and is well reproduced by the atomic (Hubbard-I) approximation. Lowering the temperature toward the low-temperature magnetically ordered phase, the non-locality of the self-energy becomes crucial in determining the momentum-dispersion of the Hubbard bands and the Green's function zeros. We therefore establish a precise link between Luttinger surface, non-local correlations and spectral properties of the Hubbard bands.


title: Approximate packing of independent transversals in locally sparse graphs

abstract: Consider a multipartite graph $G$ with maximum degree at most $n-o(n)$, parts $V_1,\ldots,V_k$ have size $|V_i|=n$, and every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that $G$ contains $n-o(n)$ pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, K\"uhn, and Osthus.


title: Intersectional Two-sided Fairness in Recommendation

abstract: Fairness of recommender systems (RS) has attracted increasing attention recently. Based on the involved stakeholders, the fairness of RS can be divided into user fairness, item fairness, and two-sided fairness which considers both user and item fairness simultaneously. However, we argue that the intersectional two-sided unfairness may still exist even if the RS is two-sided fair, which is observed and shown by empirical studies on real-world data in this paper, and has not been well-studied previously. To mitigate this problem, we propose a novel approach called Intersectional Two-sided Fairness Recommendation (ITFR). Our method utilizes a sharpness-aware loss to perceive disadvantaged groups, and then uses collaborative loss balance to develop consistent distinguishing abilities for different intersectional groups. Additionally, predicted score normalization is leveraged to align positive predicted scores to fairly treat positives in different intersectional groups. Extensive experiments and analyses on three public datasets show that our proposed approach effectively alleviates the intersectional two-sided unfairness and consistently outperforms previous state-of-the-art methods.


title: Bayes-Optimal Fair Classification with Linear Disparity Constraints via Pre-, In-, and Post-processing

abstract: Machine learning algorithms may have disparate impacts on protected groups. To address this, we develop methods for Bayes-optimal fair classification, aiming to minimize classification error subject to given group fairness constraints. We introduce the notion of \emph{linear disparity measures}, which are linear functions of a probabilistic classifier; and \emph{bilinear disparity measures}, which are also linear in the group-wise regression functions. We show that several popular disparity measures -- the deviations from demographic parity, equality of opportunity, and predictive equality -- are bilinear. We find the form of Bayes-optimal fair classifiers under a single linear disparity measure, by uncovering a connection with the Neyman-Pearson lemma. For bilinear disparity measures, Bayes-optimal fair classifiers become group-wise thresholding rules. Our approach can also handle multiple fairness constraints (such as equalized odds), and the common scenario when the protected attribute cannot be used at the prediction phase. Leveraging our theoretical results, we design methods that learn fair Bayes-optimal classifiers under bilinear disparity constraints. Our methods cover three popular approaches to fairness-aware classification, via pre-processing (Fair Up- and Down-Sampling), in-processing (Fair Cost-Sensitive Classification) and post-processing (a Fair Plug-In Rule). Our methods control disparity directly while achieving near-optimal fairness-accuracy tradeoffs. We show empirically that our methods compare favorably to existing algorithms.


title: Investigating the influence of particle size and shape on froth flotation based benefication of lithium-rich minerals in slags

abstract: The demand for lithium, as well as other critical resources, needed for electrochemical energy storage is expected to grow significantly in the future. Slags obtained from pyrometallurgical recycling represent a promising resource of valuable materials, among them lithium and rare earth elements found in artificial minerals particulate phases. This study investigates the flotation separation of engineered artificial minerals (EnAMs) in slags, such as lithium aluminate and gehlenite as valuable and gangue phases, respectively. Flotation experiments are carried out in a Partridge-Smith cell using oleic acid (OA) as a benchmark surfactant. Particle characterization is performed using SEM-based Mineral Liberation Analysis (MLA), which provides particle discrete information. From this information, bivariate Tromp functions based on non-parametric kernel density estimation are computed to characterize the separation behavior with respect to particle descriptors. This approach enables investigating the influence of particle size and shape on separation behavior of EnAMs. Furthermore, these results allow for the optimization of flotation experiments for enriching Li-bearing EnAMs.


title: Striking the right tone: toward a self-consistent framework for measuring black hole ringdowns

abstract: The ringdown portion of a binary black hole merger consists of a sum of modes, each containing an infinite number of tones that are exponentially damped sinusoids. In principle, these can be measured as gravitational-waves with observatories like LIGO/Virgo/KAGRA, however in practice it is unclear how many tones can be meaningfully resolved. We investigate the consistency and resolvability of the overtones of the quadrupolar $\ell = m = 2$ mode by starting at late times when the gravitational waveform is expected to be well-approximated by the $\ell m n = 220$ tone alone. We present a Bayesian inference framework to measure the tones in numerical relativity data. We measure tones at different start times, checking for consistency: we classify a tone as stably recovered if and only if the 95\% credible intervals for amplitude and phase at time $t$ overlap with the credible intervals at all subsequent times. We test a set of tones including the first four overtones of the fundamental mode and the 320 tone and find that the 220 and 221 tones can be measured consistently with the inclusion of additional overtones. The 222 tone measurements can be stabilised when we include the 223 tone, but only in a narrow time window, after which it is too weak to measure. The 223 tone recovery appears to be unstable, and does not become stable with the introduction of the 224 tone. We find that $N=3$ tones can be stably recovered simultaneously. However, when analysing $N \geq 4$ tones, the amplitude of one tone is consistent with zero. Thus, within our framework, one can identify only $N=3$ tones with non-zero amplitude that are simultaneously stable.


title: Revisiting VAE for Unsupervised Time Series Anomaly Detection: A Frequency Perspective

abstract: Time series Anomaly Detection (AD) plays a crucial role for web systems. Various web systems rely on time series data to monitor and identify anomalies in real time, as well as to initiate diagnosis and remediation procedures. Variational Autoencoders (VAEs) have gained popularity in recent decades due to their superior de-noising capabilities, which are useful for anomaly detection. However, our study reveals that VAE-based methods face challenges in capturing long-periodic heterogeneous patterns and detailed short-periodic trends simultaneously. To address these challenges, we propose Frequency-enhanced Conditional Variational Autoencoder (FCVAE), a novel unsupervised AD method for univariate time series. To ensure an accurate AD, FCVAE exploits an innovative approach to concurrently integrate both the global and local frequency features into the condition of Conditional Variational Autoencoder (CVAE) to significantly increase the accuracy of reconstructing the normal data. Together with a carefully designed "target attention" mechanism, our approach allows the model to pick the most useful information from the frequency domain for better short-periodic trend construction. Our FCVAE has been evaluated on public datasets and a large-scale cloud system, and the results demonstrate that it outperforms state-of-the-art methods. This confirms the practical applicability of our approach in addressing the limitations of current VAE-based anomaly detection models.


title: Sub-kpc scale gas density histogram of the Galactic molecular gas: a new statistical method to characterise galactic-scale gas structures

abstract: To understand physical properties of the interstellar medium (ISM) on various scales, we investigate it at parsec resolution on the kiloparsec scale. Here, we report on the sub-kpc scale Gas Density Histogram (GDH) of the Milky Way. The GDH is a density probability distribution function (PDF) of the gas volume density. Using this method, we are free from an identification of individual molecular clouds and their spatial structures. We use survey data of $^{12}$CO and $^{13}$CO ($J$=1-0) emission in the Galactic plane ($l = 10^{\circ}$-$50^{\circ}$) obtained as a part of the FOREST Unbiased Galactic plane Imaging survey with the Nobeyama 45m telescope (FUGIN). We make a GDH for every channel map of $2^{\circ} \times 2^{\circ}$ area, including the blank sky component, and without setting cloud boundaries. This is a different approach from previous works for molecular clouds. The GDH fits well to a single or double log-normal distribution, which we name the low-density log-normal (L-LN) and high-density log-normal (H-LN) components, respectively. The multi-log-normal components suggest that the L-LN and H-LN components originate from two different stages of structure formation in the ISM. Moreover, we find that both the volume ratios of H-LN components to total ($f_{\mathrm{H}}$) and the width of the L-LN along the gas density axis ($\sigma_{\rm{L}}$) show coherent structure in the Galactic-plane longitude-velocity diagram. It is possible that these GDH parameters are related to strong galactic shocks and other weak shocks in the Milky Way.


title: Higgs Precision Analysis of the Full LHC Run 1 and Run 2 Data

abstract: We perform global fits of the Higgs boson couplings to the full Higgs datasets collected at the LHC with the integrated luminosities per experiment of approximately 5/fb at 7 TeV, 20/fb at 8 TeV, and up to 139/fb at 13 TeV. Our combined analysis based on the experimental signal strengths used in this work and the theoretical ones elaborated for our analysis reliably reproduce the results in the literature. We reveal that the LHC Higgs precision data are no longer best described by the SM Higgs boson taking account of extensive and comprehensive CP-conserving and CP-violating scenarios found in several well-motivated models beyond the SM. Especially, in most of the fits considered in this work, we observe that the best-fitted values of the normalized Yukawa couplings are about $2\sigma$ below the corresponding SM ones with the $1\sigma$ errors of 3-5%. On the other hand, the gauge-Higgs couplings are consistent with the SM with the $1\sigma$ errors of 2-3%. Incidentally, the reduced Yukawa couplings help to explain the excess of the $H\to Z\gamma$ signal strength of $2.2\pm 0.7$ recently reported by the ATLAS and CMS collaborations.


title: Evading Data Contamination Detection for Language Models is (too) Easy

abstract: Large language models are widespread, with their performance on benchmarks frequently guiding user preferences for one model over another. However, the vast amount of data these models are trained on can inadvertently lead to contamination with public benchmarks, thus compromising performance measurements. While recently developed contamination detection methods try to address this issue, they overlook the possibility of deliberate contamination by malicious model providers aiming to evade detection. We argue that this setting is of crucial importance as it casts doubt on the reliability of public benchmarks. To more rigorously study this issue, we propose a categorization of both model providers and contamination detection methods. This reveals vulnerabilities in existing methods that we exploit with EAL, a simple yet effective contamination technique that significantly inflates benchmark performance while completely evading current detection methods.


title: FAIR-USE4OS: Guidelines for Creating Impactful Open-Source Software

abstract: This paper extends the FAIR (Findable, Accessible, Interoperable, Reusable) guidelines to provide criteria for assessing if software conforms to best practices in open source. By adding 'USE' (User-Centered, Sustainable, Equitable), software development can adhere to open source best practice by incorporating user-input early on, ensuring front-end designs are accessible to all possible stakeholders, and planning long-term sustainability alongside software design. The FAIR-USE4OS guidelines will allow funders and researchers to more effectively evaluate and plan open source software projects. There is good evidence of funders increasingly mandating that all funded research software is open source; however, even under the FAIR guidelines, this could simply mean software released on public repositories with a Zenodo DOI. By creating FAIR-USE software, best practice can be demonstrated from the very beginning of the design process and the software has the greatest chance of success by being impactful.


title: GWAI: Harnessing Artificial Intelligence for Enhancing Gravitational Wave Data Analysis

abstract: Gravitational wave (GW) astronomy has opened new frontiers in understanding the cosmos, while the integration of artificial intelligence (AI) in science promises to revolutionize data analysis methodologies. However, a significant gap exists, as there is currently no dedicated platform that enables scientists to develop, test, and evaluate AI algorithms efficiently. To address this gap, we introduce GWAI, a pioneering AI-centered software platform designed for gravitational wave data analysis. GWAI contains a three-layered architecture that emphasizes simplicity, modularity, and flexibility, covering the entire analysis pipeline. GWAI aims to accelerate scientific discoveries, bridging the gap between advanced AI techniques and astrophysical research.


title: SynthVision -- Harnessing Minimal Input for Maximal Output in Computer Vision Models using Synthetic Image data

abstract: Rapid development of disease detection computer vision models is vital in response to urgent medical crises like epidemics or events of bioterrorism. However, traditional data gathering methods are too slow for these scenarios necessitating innovative approaches to generate reliable models quickly from minimal data. We demonstrate our new approach by building a comprehensive computer vision model for detecting Human Papilloma Virus Genital warts using only synthetic data. In our study, we employed a two phase experimental design using diffusion models. In the first phase diffusion models were utilized to generate a large number of diverse synthetic images from 10 HPV guide images explicitly focusing on accurately depicting genital warts. The second phase involved the training and testing vision model using this synthetic dataset. This method aimed to assess the effectiveness of diffusion models in rapidly generating high quality training data and the subsequent impact on the vision model performance in medical image recognition. The study findings revealed significant insights into the performance of the vision model trained on synthetic images generated through diffusion models. The vision model showed exceptional performance in accurately identifying cases of genital warts. It achieved an accuracy rate of 96% underscoring its effectiveness in medical image classification. For HPV cases the model demonstrated a high precision of 99% and a recall of 94%. In normal cases the precision was 95% with an impressive recall of 99%. These metrics indicate the model capability to correctly identify true positive cases and minimize false positives. The model achieved an F1 Score of 96% for HPV cases and 97% for normal cases. The high F1 Score across both categories highlights the balanced nature of the model precision and recall ensuring reliability and robustness in its predictions.


title: PowerGraph: A power grid benchmark dataset for graph neural networks

abstract: Power grids are critical infrastructures of paramount importance to modern society and, therefore, engineered to operate under diverse conditions and failures. The ongoing energy transition poses new challenges for the decision-makers and system operators. Therefore, we must develop grid analysis algorithms to ensure reliable operations. These key tools include power flow analysis and system security analysis, both needed for effective operational and strategic planning. The literature review shows a growing trend of machine learning (ML) models that perform these analyses effectively. In particular, Graph Neural Networks (GNNs) stand out in such applications because of the graph-based structure of power grids. However, there is a lack of publicly available graph datasets for training and benchmarking ML models in electrical power grid applications. First, we present PowerGraph, which comprises GNN-tailored datasets for i) power flows, ii) optimal power flows, and iii) cascading failure analyses of power grids. Second, we provide ground-truth explanations for the cascading failure analysis. Finally, we perform a complete benchmarking of GNN methods for node-level and graph-level tasks and explainability. Overall, PowerGraph is a multifaceted GNN dataset for diverse tasks that includes power flow and fault scenarios with real-world explanations, providing a valuable resource for developing improved GNN models for node-level, graph-level tasks and explainability methods in power system modeling. The dataset is available at https://figshare.com/articles/dataset/PowerGraph/22820534 and the code at https://github.com/PowerGraph-Datasets.


title: Shaping High-Order Diffraction-Free Beams Through Continuous Superposition of Bessel Beams

abstract: Recognized for their non-diffracting properties, Bessel beams can be conveniently combined to generate the so-called Frozen Waves, which are monochromatic beams endowed with topological charge and whose longitudinal intensity pattern can be shaped according to a previously chosen function. Continuous superposition of Bessel beams is specially suitable for micrometer-scale domains, being highly relevant for applications in optical tweezers, particle trapping and atom guidance. Previous studies have successfully constructed micrometer Frozen Wave solutions with null topological charge; nevertheless, some challenges persist in obtaining exact solutions when dealing with higher topological charge values (i.e., higher-order micrometer Frozen Waves). Typically, a topological charge raising operator is used to elevate the order; however, such solutions face significant issues when the orders become excessively high. In this paper, based in continuous superposition of higher order Bessel beams, we develop a novel analytic and exact solution for higher-order micrometer Frozen Waves, so obtaining a method for modeling the intensity of beams with arbitrary topological charge within micrometer spatial domains. We also investigate the behavior of the electric field's longitudinal component in such highly non-paraxial regimes through a vectorial treatment.


title: On the Completeness of Interpolation Algorithms

abstract: Craig interpolation is a fundamental property of classical and non-classic logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an interpolation algorithm is of profound importance. Motivated by this question, we initiate the study of completeness properties of interpolation algorithms. An interpolation algorithm $\mathcal{I}$ is \emph{complete} if, for every semantically possible interpolant $C$ of an implication $A \to B$, there is a proof $P$ of $A \to B$ such that $C$ is logically equivalent to $\mathcal{I}(P)$. We establish incompleteness and different kinds of completeness results for several standard algorithms for resolution and the sequent calculus for propositional, modal, and first-order logic.