title: ConceptPsy:A Benchmark Suite with Conceptual Comprehensiveness in Psychology

abstract: The critical field of psychology necessitates a comprehensive benchmark to enhance the evaluation and development of domain-specific Large Language Models (LLMs). Existing MMLU-type benchmarks, such as C-EVAL and CMMLU, include psychology-related subjects, but their limited number of questions and lack of systematic concept sampling strategies mean they cannot cover the concepts required in psychology. Consequently, despite their broad subject coverage, these benchmarks lack the necessary depth in the psychology domain, making them inadequate as psychology-specific evaluation suite. To address this issue, this paper presents ConceptPsy, designed to evaluate Chinese complex reasoning and knowledge abilities in psychology. ConceptPsy includes 12 core subjects and 1383 manually collected concepts. Specifically, we prompt GPT-4 to generate questions for each concept using carefully designed diverse prompts and hire professional psychologists to review these questions. To help to understand the fine-grained performances and enhance the weaknesses, we annotate each question with a chapter label and provide chapter-wise accuracy. Based on ConceptPsy, we evaluate a broad range of LLMs. We observe that, although some LLMs achieve similar accuracies on overall performances, they exhibit significant performance variations across different psychology concepts, even when they are models from the same series. We hope our work can facilitate the development of LLMs in the field of psychology.


title: Which Modality should I use -- Text, Motif, or Image? : Understanding Graphs with Large Language Models

abstract: Our research integrates graph data with Large Language Models (LLMs), which, despite their advancements in various fields using large text corpora, face limitations in encoding entire graphs due to context size constraints. This paper introduces a new approach to encoding a graph with diverse modalities, such as text, image, and motif, coupled with prompts to approximate a graph's global connectivity, thereby enhancing LLMs' efficiency in processing complex graph structures. The study also presents GraphTMI, a novel benchmark for evaluating LLMs in graph structure analysis, focusing on homophily, motif presence, and graph difficulty. Key findings indicate that the image modality, especially with vision-language models like GPT-4V, is superior to text in balancing token limits and preserving essential information and outperforms prior graph neural net (GNN) encoders. Furthermore, the research assesses how various factors affect the performance of each encoding modality and outlines the existing challenges and potential future developments for LLMs in graph understanding and reasoning tasks. All data will be publicly available upon acceptance.


title: Reconstruction of degenerate conductivity region for parabolic equations

abstract: We consider an inverse problem of reconstructing a degeneracy point in the diffusion coefficient in a one-dimensional parabolic equation by measuring the normal derivative on one side of the domain boundary. We analyze the sensitivity of the inverse problem to the initial data. We give sufficient conditions on the initial data for uniqueness and stability for the one-point measurement and show some examples of positive and negative results. On the other hand, we present more general uniqueness results, also for the identification of an initial data by measurements distributed over time. The proofs are based on an explicit form of the solution by means of Bessel functions of the first type. Finally, the theoretical results are supported by numerical experiments.


title: Characterizing Jordan embeddings between block upper-triangular subalgebras via preserving properties

abstract: We consider arbitrary block upper-triangular subalgebras $\mathcal{A} \subseteq M_n$ (i.e. subalgebras of $M_n$ which contain the algebra of upper-triangular matrices) and their Jordan embeddings. We first describe Jordan embeddings $\phi : \mathcal{A} \to M_n$ as maps of the form $$ \phi(X)=TXT^{-1} \qquad \mbox{or} \qquad \phi(X)=TX^tT^{-1}, $$ where $T\in M_n$ is an invertible matrix, and then we obtain a simple criteria of when one block upper-triangular subalgebra Jordan-embeds into another (and in that case we describe the form of such embeddings). As a main result, we characterize Jordan embeddings $\phi : \mathcal{A} \to M_n$ (when $n\geq 3$) as continuous injective maps which preserve commutativity and spectrum. We show by counterexamples that all these assumptions are indispensable (unless $\mathcal{A} = M_n$ when injectivity is superfluous).


title: Fuel Saving Effect and Performance of Velocity Control for Modern Combustion-Powered Scooters

abstract: This paper investigates the performance and fuel-saving effect of a velocity control algorithm on modern 50 cc scooters (Euro 5). The European Parliament has adopted major CO$_2$ emission reductions by 2030. But modern combustion- powered scooters are inefficiently restricted and emit unnecessary amounts of CO$_2$. Replacing the original restriction method with the system presented in this paper, the engine's operating point is being improved significantly. Therefore, a Throttle-by-Wire-System senses the rider's throttle command and manipulates the throttle valve. A redundant wheel speed sensor measures the precise vehicle velocity using the magneto-resistive principle. The entire system is managed by a central ECU, executing the actual velocity control, fail-safe functions, power supply and handling inputs/outputs. For velocity control, an adaptive PI-controller has been simulated, virtually tuned and implemented, limiting the max. velocity regulated by legal constraints (45 km/h). In this way, the environmentally harmful restrictors used today can be bypassed. By implementing a human-machine interface, including a virtual dashboard, the system is capable of interfacing with the rider. For evaluation purposes a measurement box has been developed, logging vehicle orientation, system/control variables and engine parameters. A Peugeot Kisbee 50 4T (Euro 5) is serving as test vehicle. Finally, the system has been evaluated regarding performance and fuel efficiency both through simulation and road testing. Fuel savings of 13.6 % in real-world test scenarios were achieved while maintaining vehicle performance.


title: A numerical method for solving elliptic equations on real closed algebraic curves and surfaces

abstract: There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability between finite element method and computer aided design (CAD) software. However, these approaches have difficulty when the domain has singularities since the solution at the singularity may be multivalued. This paper develops a novel numerical approach to solve elliptic PDEs on real, closed, connected, orientable, and almost smooth algebraic curves and surfaces. Our method integrates numerical algebraic geometry, differential geometry, and a finite difference scheme which is demonstrated on several examples.


title: Parallel and Sequential Resources Networks

abstract: A large number of real and abstract systems involve the transformation of some basic resource into respective products under the action of multiple processing agents, which can be understood as multiple-agent production systems (MAP). At each discrete time instant, for each agent, a fraction of the resources is assumed to be kept, forwarded to other agents, or converted into work with some efficiency. The present work describes a systematic study of nine basic MAP architectures subdivided into two main groups, namely parallel and sequential distribution of resources from a single respective source. Several types of interconnections among the involved processing agents are also considered. The resulting MAP architectures are studied in terms of the total amount of work, the dispersion of the resources (states) among the agents, and the transition times from the start of operation until the respective steady state. Several interesting results are obtained and discussed, including the observation that some of the parallel designs were able to yield maximum work and minimum state dispersion, achieved at the expense of the transition time and use of several interconnections between the source and the agents. The results obtained for the sequential designs indicate that relatively high performance can be obtained for some specific cases.


title: INTERVENOR: Prompting the Coding Ability of Large Language Models with the Interactive Chain of Repair

abstract: This paper introduces INTERVENOR (INTERactiVE chaiN Of Repair), a system designed to emulate the interactive code repair processes observed in humans, encompassing both code diagnosis and code repair. INTERVENOR prompts Large Language Models (LLMs) to play distinct roles during the code repair process, functioning as both a Code Learner and a Code Teacher. Specifically, the Code Learner is tasked with adhering to instructions to generate or repair code, while the Code Teacher is responsible for crafting a Chain-of-Repair (CoR) to serve as guidance for the Code Learner. During generating the CoR, the Code Teacher needs to check the generated codes from Code Learner and reassess how to address code bugs based on error feedback received from compilers. Experimental results demonstrate that INTERVENOR surpasses baseline models, exhibiting improvements of approximately 18% and 4.3% over GPT-3.5 in code generation and code translation tasks, respectively. Our further analyses show that CoR is effective to illuminate the reasons behind bugs and outline solution plans in natural language. With the feedback of code compilers, INTERVENOR can accurately identify syntax errors and assertion errors and provide precise instructions to repair codes. All data and codes are available at https://github.com/NEUIR/INTERVENOR


title: Carrollian conformal correlators and massless scattering amplitudes

abstract: The theory of particle scattering is concerned with transition amplitudes between states that belong to unitary representations of the Poincar\'e group. The latter acts as the isometry group of Minkowski spacetime $\mathbb{M}$, making natural the introduction of relativistic tensor fields encoding the particles of interest. Since the Poincar\'e group also acts as a group of conformal isometries of null infinity $\mathcal{I}$, massless particles can also be very naturally encoded into Carrollian conformal fields living on $\mathcal{I}$. In this work we classify the two- and three-point correlation functions such Carrollian conformal fields can have in any consistent quantum theory of massless particles and arbitrary dimension. We then show that bulk correlators of massless fields in $\mathbb{M}$ explicitly reduce to these Carrollian conformal correlators when evaluated on $\mathcal{I}$, although in the case of time-ordered bulk correlators this procedure appears singular at first sight. However we show that the Carrollian correlators of the descendant fields are perfectly regular and precisely carry the information about the corresponding S-matrix elements.


title: Five-Parton Scattering in QCD at Two Loops

abstract: We compute all helicity amplitudes for the scattering of five partons in two-loop QCD in all the relevant flavor configurations, retaining all contributing color structures. We employ tensor projection to obtain helicity amplitudes in the 't Hooft-Veltman scheme starting from a set of primitive amplitudes. Our analytic results are expressed in terms of massless pentagon functions, and are easy to evaluate numerically. These amplitudes provide important input to investigations of collinear-factorization breaking and to studies of the multi-Regge kinematics regime.


title: Efficient Device-Independent Quantum Key Distribution

abstract: Device-independent quantum key distribution (DIQKD) is a key distribution scheme whose security is based on the laws of quantum physics but does not require any assumptions about the devices used in the protocol. The security of the existing entanglement-based DIQKD protocol relies on the Bell test. Here, we propose an efficient device-independent quantum key distribution (EDIQKD) protocol in which one participant prepares states and transmits them to another participant through a quantum channel to measure. In this prepare-and-measure protocol, the transmission process between participants is characterized according to the process tomography for security, ruling out any mimicry using the classical initial, transmission, and final state. Comparing the minimal number of bits of the raw key to guarantee security against collective attacks, the efficiency of the EDIQKD protocol is two orders of magnitude more than that of the DIQKD protocol for the reliable key of which quantum bit error rate is allowed up to 6.5\%. This advantage will enable participants to substantially conserve the entangled pair's demanded resources and the measurement. According to the highest detection efficiency in the recent most advanced photonic experiment, our protocol can be realized with a non-zero key rate and remains more efficient than usual DIQKD. Our protocol and its security analysis may offer helpful insight into identifying the typical prepare-and-measure quantum information tasks with the device-independent scenario.


title: A matroidal perspective on the tropical Prym variety

abstract: We associate a matroid $M(\widetilde{\Gamma}/\Gamma)$ to a harmonic double cover $\pi:\widetilde{\Gamma}\to \Gamma$ of metric graphs. The matroid $M(\widetilde{\Gamma}/\Gamma)$ is a geometric interpretation of Zaslavsky's signed graphic matroid. We show that the principalization $\mathrm{Prym}_p(\widetilde{\Gamma}/\Gamma)$ of the tropical Prym variety of the double cover can be reconstructed from $M(\widetilde{\Gamma}/\Gamma)$, equipped with certain additional decorations. We describe the simplification of the matroid $M(\widetilde{\Gamma}/\Gamma)$ and show that the Prym variety does not change under simplification.


title: Experimental distillation of tripartite quantum steering with an optimal local filtering operation

abstract: Multipartite Einstein-Podolsky-Rosen~(EPR) steering admits multipartite entanglement in the presence of uncharacterized verifiers, enabling practical applications in semi-device-independent protocols. Such applications generally require stronger steerability, while the unavoidable noise weakens steerability and consequently degrades the performance of quantum information processing. Here, we propose the local filtering operation that can maximally distill genuine tripartite EPR steering from $N$ copies of three-qubit generalized Greenberger-Horne-Zeilinger states, in the context of two semi-device-independent scenarios. The optimal filtering operation is determined by the maximization of assemblage fidelity. Analytical and numerical results indicate the advantage of proposed filtering operation when $N$ is finite and the steerability of initial assemblages is weak. Experimentally, a proof-of-principle demonstration of two-copy distillation is realized with optical system. The advantage of optimal local filtering operation is confirmed by the distilled assemblage in terms of higher assemblage fidelity with perfectly genuine tripartite steerable assemblages, as well as the greater violation of the inequality to witness genuine tripartite steerable assemblages. Our results benefit the distillation of multipartite EPR steering in practice, where the number of copies of initial assemblages is generally finite.


title: Experimental virtual distillation of entanglement and coherence

abstract: Noise is in general inevitable and detrimental to practical and useful quantum communication and computation. Under the resource theory framework, resource distillation serves as a generic tool to overcome the effect of noise. Yet, conventional resource distillation protocols generally require operations on multi-copies of resource states, and strong limitations exist that restrict their practical utilities. Recently, by relaxing the setting of resource distillation to only approximating the measurement statistics instead of the quantum state, a resource-frugal protocol, virtual resource distillation, is proposed, which allows more effective distillation of noisy resources. Here, we report its experimental implementation on a photonic quantum system for the distillation of quantum coherence (up to dimension 4) and bipartite entanglement. We show the virtual distillation of the maximal superposed state of dimension four from the state of dimension two, an impossible task in conventional coherence distillation. Furthermore, we demonstrate the virtual distillation of entanglement with operations acting only on a single copy of the noisy EPR pair and showcase the quantum teleportation task using the virtually distilled EPR pair with a significantly improved fidelity of the teleported state. These results illustrate the feasibility of the virtual resource distillation method and pave the way for accurate manipulation of quantum resources with noisy quantum hardware.


title: Unbiased and Multilevel Methods for a Class of Diffusions Partially Observed via Marked Point Processes

abstract: In this article we consider the filtering problem associated to partially observed diffusions, with observations following a marked point process. In the model, the data form a point process with observation times that have its intensity driven by a diffusion, with the associated marks also depending upon the diffusion process. We assume that one must resort to time-discretizing the diffusion process and develop particle and multilevel particle filters to recursively approximate the filter. In particular, we prove that our multilevel particle filter can achieve a mean square error (MSE) of $\mathcal{O}(\epsilon^2)$ ($\epsilon>0$ and arbitrary) with a cost of $\mathcal{O}(\epsilon^{-2.5})$ versus using a particle filter which has a cost of $\mathcal{O}(\epsilon^{-3})$ to achieve the same MSE. We then show how this methodology can be extended to give unbiased (that is with no time-discretization error) estimators of the filter, which are proved to have finite variance and with high-probability have finite cost. Finally, we extend our methodology to the problem of online static-parameter estimation.


title: Time-Transient Wireless RF Sensor with Differentiative Detecting Capability for Target Ionic Solution of Water and Dielectric Objects Introduced into Water

abstract: A novel wireless microstrip-based RF sensor designed for detecting changes in ionic content of water and the addition of solid contaminant objects is proposed and demonstrated. The sensor can be installed on the exterior wall of dielectric containers and customized according to the material of the container to enable wireless sensing. Its operation within the lower microwave frequency range (670-730 MHz) serves to minimize signal attenuation in water and streamlines circuitry design. The most significant feature of this sensor is its unique design, rendering it impervious to its surrounding environment. This not only shields it from environmental noise but also maximizes its sensitivity by efficiently utilizing incoming power for sensing purposes. The sensor exhibits remarkable sensitivity, capable of detecting solute concentrations as low as 0.003125 M in water. It can also detect the insertion of foreign solid objects into the container from the exterior wirelessly and distinguish them from liquids being added. As a proof-of-concept demonstration, the sensor in this study was optimized for a porcelain wall of 10-12 mm thickness. The sensor's small size and the materials used for its fabrication make it adaptable to a wide range of applications in industries such as food, pharmaceuticals, and bathroom fixtures. The aforementioned properties position the sensor as an ideal choice for various smart bathroom applications, where accurate and reliable water use monitoring is essential for efficient water conservation.


title: Measurements of the lightest hypernucleus ($\mathrm{^3_{\Lambda}H}$): progress and perspective

abstract: The hyperon-nucleon ($Y$-$N$) interaction is important for the description of the equation-of-state of high baryon density matter. Hypernuclei, the cluster object of nucleons and hyperons, serve as cornerstones of a full understanding of the $Y$-$N$ interaction. Recent measurements of the lightest known hypernucleus, the hypertriton's ($\mathrm{^3_{\Lambda}H}$) and anti-hypertriton's ($\mathrm{^3_{\bar{\Lambda}}\bar{H}}$) lifetime, mass and $\Lambda$ separation energy have attracted interests on the subject. Its cross section and collective flow parameters have also been measured in heavy-ion collisions, which have revealed new features on its production mechanism. In this article we summarise recent measurements of $\mathrm{^3_{\Lambda}H}$, focusing on the heavy-ion collisions. We will discuss their implications for the $\mathrm{^3_{\Lambda}H}$ properties and the constrains on the $Y$-$N$ interaction models.


title: Safety Aware Autonomous Path Planning Using Model Predictive Reinforcement Learning for Inland Waterways

abstract: In recent years, interest in autonomous shipping in urban waterways has increased significantly due to the trend of keeping cars and trucks out of city centers. Classical approaches such as Frenet frame based planning and potential field navigation often require tuning of many configuration parameters and sometimes even require a different configuration depending on the situation. In this paper, we propose a novel path planning approach based on reinforcement learning called Model Predictive Reinforcement Learning (MPRL). MPRL calculates a series of waypoints for the vessel to follow. The environment is represented as an occupancy grid map, allowing us to deal with any shape of waterway and any number and shape of obstacles. We demonstrate our approach on two scenarios and compare the resulting path with path planning using a Frenet frame and path planning based on a proximal policy optimization (PPO) agent. Our results show that MPRL outperforms both baselines in both test scenarios. The PPO based approach was not able to reach the goal in either scenario while the Frenet frame approach failed in the scenario consisting of a corner with obstacles. MPRL was able to safely (collision free) navigate to the goal in both of the test scenarios.


title: Cross-Layer Optimization for Statistical QoS Provision in C-RAN with Finite-Length Coding

abstract: The cloud radio access network (C-RAN) has become the foundational structure for various emerging communication paradigms, leveraging the flexible deployment of distributed access points (APs) and centralized task processing. In this paper, we propose a cross-layer optimization framework based on a practical finite-length coding communication system in C-RAN, aiming at maximizing bandwidth efficiency while providing statistical quality of service (QoS) for individual services. Based on the theoretical results from effective capacity and finite-length coding, we formulate a joint optimization problem involving modulation and coding schemes (MCS), retransmission count, initial bandwidth allocation and AP selection, which reflects the coordinated decision of parameters across the physical layer, data link layer and transport layer. To tackle such a mixed-integer nonlinear programming (MINLP) problem, we firstly decompose it into a transmission parameter decision (TPD) sub-problem and a user association (UA) sub-problem, which can be solved by a binary search-based algorithm and an auction-based algorithm respectively. Simulation results demonstrate that the proposed model can accurately capture the impact of QoS requirements and channel quality on the optimal transmission parameters. Furthermore, compared with fixed transmission parameter setting, the proposed algorithms achieve the bandwidth efficiency gain up to 27.87% under various traffic and channel scenarios.


title: On the self-overlap in vector spin glasses

abstract: We consider vector spin glass models with self-overlap correction. Since the limit of free energy is an infimum, we use arguments analogous to those for generic models to show the following: 1) the averaged self-overlap converges; 2) the self-overlap concentrates; 3) the infimum optimizes over paths whose right endpoints are the limit of self-overlap. Lastly, using these, we directly verify the equivalence between the variational formula obtained in [arXiv:2303.16284] and Panchenko's generalized Parisi formula in [Ann. Probab., 46(2):865-896].


title: The Software Genome Project: Venture to the Genomic Pathways of Open Source Software and Its Applications

abstract: With the boom in modern software development, open-source software has become an integral part of various industries, driving progress in computer science. However, the immense complexity and diversity of the open-source ecosystem also pose a series of challenges, including issues of quality, security, management, maintenance, compliance, and sustainability. Existing open-source governance approaches, while excelling in community building and collaboration, still face shortcomings in decentralized management, security, and maintenance. To address these challenges, inspired by the Human Genome Project, we treat the software source code as software DNA and propose the \textbf{Software Genome Project}, which is geared towards the secure monitoring and exploitation of open-source software. By identifying and labeling integrated and classified code features at a fine-grained level, and effectively identifying safeguards for functional implementations and non-functional requirements at different levels of granularity, Software Genome Project builds a complete set of software genome maps to help developers and managers gain a deeper understanding of software complexity and diversity. By dissecting and summarizing functional and undesirable genes, Software Genome Project helps facilitate targeted software remediation and optimization, provides valuable insight and understanding of the entire software ecosystem, and supports critical development tasks such as technology selection and open source governance. This project is expected to drive the evolution of software development towards more efficient, reliable, and sustainable software solutions.


title: Dynamic modeling of an alkaline electrolyzer plant for process simulation and optimization

abstract: We develop a mathematical model for dynamical simulation of an alkaline electrolyzer plant. We model each component of the system with mass and energy balances. Our modeling strategy consists of a rigorous and systematic formulation using differential algebraic equations (DAE), along with a thermodynamic library that evaluates thermophysical properties. We show steady state diagrams for the electrolyzer stack, and perform dynamic simulations. Dynamic modelling of an electrolyzer enables simulation and model-based optimization and control for optimal hydrogen production under varying operating conditions.


title: Leptogenesis and dark matter in minimal inverse seesaw using $A_4$ modular symmetry

abstract: In this paper we have studied neutrino masses and mixings by adding a scalar triplet $\eta$ to the particle content of minimal inverse seesaw. We have realised this extension of minimal inverse seesaw by implementing an isomorphic modular group $\Gamma(3)$ and a non-abelian discrete symmetry group $A_4$. We have also used $Z_3$ symmetry group to restrain certain interaction terms in the lagrangian of the model. We have studied baryon asymmetry of the universe, neutrinoless double-beta decay and dark matter in our work. In order to check the consistency of our model with various experimental constraints, we have therefore calculated effective mass, relic density and baryogenesis via leptogenesis. Interestingly, we have found our model quite compatible with the experimental bounds and is also successful in producing the neutrino masses and mixings in the 3$\sigma$ range.


title: On Error Bounds of Inequalities in Asplund Spaces

abstract: Error bounds are central objects in optimization theory and its applications. They were for a long time restricted only to the theory before becoming over the course of time a field of itself. This paper is devoted to the study of error bounds of a general inequality defined by a proper lower semicontinuous function on an Asplund space. Even though the results of the dual characterization on the error bounds of a general inequality (if one drops the convexity assumption) may not be valid, several necessary dual conditions are still obtained in terms of Fr\'echet/Mordukhovich subdifferentials of the concerned function at points in the solution set. Moreover, for an inequality defined by a composite-convex function that is to say by a function which is the composition of a convex function with a smooth mapping, such dual conditions also turn out to be sufficient to have the error bound property. Our work is an extension of results on dual characterizations of convex inequalities to the possibly non-convex case.


title: The efficacy of the sugar-free labels is reduced by the health-sweetness tradeoff

abstract: In the present study, we use an experimental setting to explore the effects of sugar-free labels on the willingness to pay for food products. In our experiment, participants placed bids for sugar-containing and analogous sugar-free products in a Becker-deGroot-Marschak auction to determine the willingness to pay. Additionally, they rated each product on the level of perceived healthiness, sweetness, tastiness and familiarity with the product. We then used structural equation modelling to estimate the direct, indirect and total effect of the label on the willingness to pay. The results suggest that sugar-free labels significantly increase the willingness to pay due to the perception of sugar-free products as healthier than sugar-containing ones. However, this positive effect is overridden by a significant decrease in perceived sweetness (and hence, tastiness) of products labelled as sugar-free compared to sugar-containing products. As in our sample, healthiness and tastiness are positively related, while healthiness and sweetness are related negatively, these results suggest that it is health-sweetness rather than health-tastiness tradeoff that decreases the efficiency of the sugar-free labelling in nudging consumers towards healthier options.


title: Probing cosmology via the clustering of critical points

abstract: Exclusion zones in the cross-correlations between critical points (peak-void, peak-wall, filament-wall, filament-void) of the density field define quasi-standard rulers that can be used to constrain dark matter and dark energy cosmological parameters. The average size of the exclusion zone is found to scale linearly with the typical distance between extrema. The latter changes as a function of the matter content of the universe in a predictable manner, but its comoving size remains essentially constant in the linear regime of structure growth on large scales, unless the incorrect cosmology is assumed in the redshift-distance relation. This can be used to constrain the dark energy parameters when considering a survey that scans a range of redshifts. The precision of the parameter estimation is assessed using a set of cosmological simulations, and is found to be a 4$\sigma$ detection of a change in matter content of 5%, or about 3.8$\sigma$ detection of 50% shift in the dark energy parameter using a full sky survey up to redshift 0.5.


title: LIO-EKF: High Frequency LiDAR-Inertial Odometry using Extended Kalman Filters

abstract: Odometry estimation is crucial for every autonomous system requiring navigation in an unknown environment. In modern mobile robots, 3D LiDAR-inertial systems are often used for this task. By fusing LiDAR scans and IMU measurements, these systems can reduce the accumulated drift caused by sequentially registering individual LiDAR scans and provide a robust pose estimate. Although effective, LiDAR-inertial odometry systems require proper parameter tuning to be deployed. In this paper, we propose LIO-EKF, a tightly-coupled LiDAR-inertial odometry system based on point-to-point registration and the classical extended Kalman filter scheme. We propose an adaptive data association that considers the relative pose uncertainty, the map discretization errors, and the LiDAR noise. In this way, we can substantially reduce the parameters to tune for a given type of environment. The experimental evaluation suggests that the proposed system performs on par with the state-of-the-art LiDAR-inertial odometry pipelines but is significantly faster in computing the odometry. The source code of our implementation is publicly available (https://github.com/YibinWu/LIO-EKF).


title: Near-Field Velocity Sensing and Predictive Beamforming

abstract: The novel concept of near-field velocity sensing is proposed. In contrast to far-field velocity sensing, near-field velocity sensing enables the simultaneous estimation of both radial and transverse velocities of a moving target. A maximum-likelihood-based method is proposed for jointly estimating the radial and transverse velocities from the echo signals. Assisted by near-field velocity sensing, a predictive beamforming framework is proposed for a moving communication user, which requires no channel estimation but achieves seamless data transmission. Finally, numerical examples validate the proposed approaches.


title: Language Generation from Brain Recordings

abstract: Generating human language through non-invasive brain-computer interfaces (BCIs) has the potential to unlock many applications, such as serving disabled patients and improving communication. Currently, however, generating language via BCIs has been previously successful only within a classification setup for selecting pre-generated sentence continuation candidates with the most likely cortical semantic representation. Inspired by recent research that revealed associations between the brain and the large computational language models, we propose a generative language BCI that utilizes the capacity of a large language model (LLM) jointly with a semantic brain decoder to directly generate language from functional magnetic resonance imaging (fMRI) input. The proposed model can generate coherent language sequences aligned with the semantic content of visual or auditory language stimuli perceived, without prior knowledge of any pre-generated candidates. We compare the language generated from the presented model with a random control, pre-generated language selection approach, and a standard LLM, which generates common coherent text solely based on the next word likelihood according to statistical language training data. The proposed model is found to generate language that is more aligned with semantic stimulus in response to which brain input is sampled. Our findings demonstrate the potential and feasibility of employing BCIs in direct language generation.


title: Rovibrational (de-)excitation of H$_{2}$ by He revisited

abstract: Collisional (de-)excitation of H$_{2}$ by helium plays an important role in the thermal balance and chemistry of various astrophysical environments, making accurate rate coefficients essential for the interpretation of observations of the interstellar medium. Our goal is to utilize a state-of-the-art potential energy surface (PES) to provide comprehensive state-to-state rate coefficients for He-induced transitions among rovibrational levels of H$_{2}$. We perform quantum scattering calculations for the H$_{2}$-He system and provide state-to-state rate coefficients for 1 089 transitions between rovibrational levels of H$_{2}$ with internal energies up to 15 000 cm$^{-1}$ for temperatures ranging from 20 to 8 000 K. Our results show good agreement with previous calculations for pure rotational transitions between low-lying rotational levels, but we find significant discrepancies for rovibrational processes involving highly-excited rotational and vibrational states. We attribute these differences to two key factors: the broader range of intramolecular distances covered by ab initio points, and the superior accuracy of the PES, resulting from the utilization of the state-of-the-art quantum chemistry methods, compared to the previous lower-level calculations. Radiative transfer calculations performed with the new collisional data indicate that the population of rotational levels in excited vibrational states experiences significant modifications, highlighting the critical need for this updated dataset in models of high-temperature astrophysical environments.


title: On some elusive aspects of databases hindering AI based discovery: A case study on superconducting materials

abstract: It stands to reason that the amount and the quality of big data is of key importance for setting up accurate AI-driven models. Nonetheless, we believe there are still critical roadblocks in the inherent generation of databases, that are often underestimated and poorly discussed in the literature. In our view, such issues can seriously hinder the AI-based discovery process, even when high quality, sufficiently large and highly reputable data sources are available. Here, considering superconducting and thermoelectric materials as two representative case studies, we specifically discuss three aspects, namely intrinsically biased sample selection, possible hidden variables, disparate data age. Importantly, to our knowledge, we suggest and test a first strategy capable of detecting and quantifying the presence of the intrinsic data bias.


title: On the study of inclusive semileptonic decays of $B_s$-meson from lattice QCD

abstract: In this contribution we describe a recent study focused on the lattice calculation of inclusive decay rates of heavy mesons. We show how the inclusive calculation can be achieved starting from four-point lattice correlation functions normalised appropriately. The correlators used in this project come from gauge ensembles provided by the JLQCD and ETM collaborations. An essential point of this method is the extraction of spectral densities from lattice correlators which is obtained using two of the most recent approaches in the literature. Our results are in remarkable agreement with analytical predictions from the operator-product expansion. This study represents the first step towards a full lattice QCD study of heavy mesons inclusive semileptonic decays.


title: Reconstruction of inhomogeneous turbulence based on stochastic Fourier-type integrals. Part I: Modeling and analysis

abstract: In this article, we develop and analyze a Gaussian random field model for the reconstruction of inhomogeneous turbulence from characteristic flow quantities provided by $k$-$\varepsilon$ simulations. The model is based on stochastic integrals that combine moving average and Fourier-type representations in time and space, respectively, where both the time integration kernel and the spatial energy spectrum depend on the macroscopically varying characteristic quantities. The structure of the model is derived from standard spectral representations of homogeneous fields by means of a two scale approach in combination with specific stochastic integral transformations. Our approach allows for a rigorous analytical verification of the desired statistical properties and is accessible to numerical simulation. The constructed inhomogeneous field is shown to satisfy the characteristic $k$-$\varepsilon$ flow properties and the condition of incompressibility in an asymptotic sense. Moreover, a novel inhomogeneous ergodicity result establishes the approximation of local characteristic values by means of local averages in time and space.


title: Anomalous dimension of the heavy-light quark current in HQET up to four loops

abstract: The anomalous dimension of the heavy-light quark current in HQET is calculated up to four loops. The N$^3$LL perturbative correction to $f_B/f_D$ is obtained.


title: Noise-independent Route towards the Genesis of a COMPACT Ansatz for Molecular Energetics: a Dynamic Approach

abstract: Recent advances in quantum information and quantum science have inspired the development of various compact dynamic structured ans\"{a}tze that are expected to be realizable in the Noisy Intermediate-Scale Quantum (NISQ) devices. However, such ans\"{a}tze construction strategies hitherto developed involve considerable measurements, and thus they deviate significantly in NISQ platform from their ideal structures. Therefore, it is imperative that the usage of quantum resources must be minimized while retaining the expressivity and dynamical structure of the ansatz that can adapt itself depending on the degree of correlation. We propose a novel ansatz construction strategy based on the \textit{ab-initio} many-body perturbation theory that requires \textit{no} pre-circuit measurement and thus it remains structurally unaffected by any hardware noise. The accuracy and quantum complexity associated with the ansatz are solely dictated by a pre-defined perturbative order as desired and hence are tunable. Furthermore, the underlying perturbative structure of the ansatz construction pipeline enables us to decompose any high-rank excitation that appears in higher perturbative orders into the product of various low-rank operators, and it thus keeps the execution gate-depth to its minimum. With a number of challenging applications on strongly correlated systems, we demonstrate that our ansatz performs significantly better, both in terms of accuracy, parameter count and circuit depth, in comparison to the allied unitary coupled cluster based ans\"{a}tze.


title: Thermalization rate of polaritons in strongly-coupled molecular systems

abstract: Polariton thermalization is a key process in achieving light-matter Bose--Einstein condensation, spanning from solid-state semiconductor microcavities at cryogenic temperatures to surface plasmon nanocavities with molecules at room temperature. Originated from the matter component of polariton states, the microscopic mechanisms of thermalization are closely tied to specific material properties. In this work, we investigate polariton thermalization in strongly-coupled molecular systems. We develop a microscopic theory addressing polariton thermalization through electron-phonon interactions (known as exciton-vibration coupling) with low-energy molecular vibrations. This theory presents a simple analytical method to calculate the temperature-dependent polariton thermalization rate, utilizing experimentally accessible spectral properties of bare molecules, such as the Stokes shift and temperature-dependent linewidth of photoluminescence, in conjunction with well-known parameters of optical cavities. Our findings demonstrate qualitative agreement with recent experimental reports of nonequilibrium polariton condensation in both ground and excited states, and explain the thermalization bottleneck effect observed at low temperatures. This study showcases the significance of vibrational degrees of freedom in polariton condensation and offers practical guidance for future experiments, including the selection of suitable material systems and cavity designs.


title: A $\delta$-free approach to quantization of transmission lines connected to lumped circuits

abstract: The quantization of systems composed of transmission lines connected to lumped circuits poses significant challenges, arising from the interplay between continuous and discrete degrees of freedom. A widely adopted strategy, based on the pioneering work of Yurke and Denker, entails representing the lumped circuit contributions using Lagrangian densities that incorporate Dirac $\delta$-functions. However, this approach introduces complications, as highlighted in the recent literature, including divergent momentum densities, necessitating the use of regularization techniques. In this work, we introduce a $\delta$-free Lagrangian formulation for a transmission line coupled to a lumped circuit without the need for a discretization of the transmission line or mode expansions. This is achieved by explicitly enforcing boundary conditions at the line ends in the principle of least action. In this framework, the quantization and the derivation of the Heisenberg equations of the network are straightforward. We apply our approach to an analytically solvable network consisting of a semi-infinite transmission line capacitively coupled to a LC circuit.


title: Dynamics of Acoustically Levitated Ice Impacts on Smooth and Textured Surfaces: Effects of Surface Roughness, Elasticity, and Structure

abstract: Through acoustically levitated ice formation and subsequent release onto a controlled area, this study introduces a third class of ice-countering system beyond de- and anti-icing: ice-impacting. By subjecting stainless steel 316 (SS), epoxy resin-coated (ER), and laser-textured (LT) surfaces with known surface roughness, hardness, and structural characteristics to 40 ice droplet impacts each, the effect on surface properties and their effect on solid-solid interfacial impact dynamics, in turn, was examined using a novel analysis framework based on fundamental conservation laws. For the velocities experienced in this study, the impacts did not affect the surface properties; they were consistent after each impact. Elasticity was the most significant factor in droplet behavior: the ER surface exhibited rebounding for 78% of impacts (important for moving surfaces). Surface roughness also played a role, particularly for droplets with rotational motion, as immobilization occurred for 66% of impacts on the rougher LT surface. However, the nanostructures on that textured surface resulted in droplet redirection perpendicular to the surface directionality (critical for stationary surfaces). In contrast, the other surfaces saw no change or no consistent change in rebound angle. Elasticity also affected momentum retention, where the ER surface had a translational restitution coefficient of 0.32 compared to 0.17 for the two stainless steel surfaces. Surface roughness was the predominant aspect of energy retention: the LT surface had a translational-to-rotational energy transfer coefficient of 0.07 (0.23 for the smoother surfaces), resulting in an overall energy retention coefficient of 0.09 compared to 0.28 for the SS and ER surfaces on average.


title: Spectrum of Hatano-Nelson model with strictly ergodic potentials

abstract: We provide a precise formula for the spectrum of the Hatano-Nelson model with strictly ergodic potentials in terms of its Lyapunov exponent. As applications, one clearly observes the real-complex spectrum transition. Moreover, if the Lyapunov exponent is continuous, the spectrum of the Hatano-Nelson model in $\ell^{2}(\mathbb{Z})$ can be approximated by the spectrum of its finite-interval truncation with periodic boundary conditions. Both of these results are strikingly different from the Hatano-Nelson model with random potentials \cite{Dav01A, Dav01, Dav02}.


title: Meridional Circulations of the Solar Magnetic Fields of Different Strength

abstract: The meridional circulation of the solar magnetic fields in Solar Cycles 21-24 was considered. Data from both ground-based and space observatories were used. Three types of time-latitude distributions of photospheric magnetic fields and their meridional circulations were identified depending on the magnetic field intensity. (i) low-strength magnetic fields. They were distributed evenly across latitude and weakly depended on the magnetic fields of active regions and their cycle variation; (ii) medium-strength magnetic fields. For these fields a wave-like, pole-to-pole, antiphase meridional circulation with a period of approximately 22 years was revealed. The velocities of meridional flows were slower at the minima of solar activity, when they were at high latitudes in the opposite hemispheres, and maximal at the solar maxima, when the positive- and negative-polarity waves crossed the equator. The meridional circulation of these fields reflects the solar global magnetic field dynamics and determines the solar polar field reversal; (iii) high-strength (active region) magnetic fields. They were distributed symmetrically in the Northern and Southern hemispheres. Magnetic fields of both leading and following sunspot polarity migrated from high to low latitudes. The meridional-flow velocities of high-strength magnetic fields were higher at the rising and maxima phases than at the minima. Some of the high-latitude active region magnetic fields were captured by the second type meridional circulation flows and transported along with them to the appropriate pole. But the magnetic fields of active regions are not the main ones in the solar polar field reversal. The results indicate that high-strength magnetic fields were not the main source of weak ones.


title: Simple proofs of certain inequalities with logarithmic coefficients of univalent functions

abstract: In this paper we give simple proofs for the bounds (some of them sharp) of the difference of the moduli of the second and the first logarithmic coefficient for the general class of univalent functions and for the class of convex univalent functions.


title: Selection of Distinct Morphologies to Divide & Conquer Gigapixel Pathology Images

abstract: Whole slide images (WSIs) are massive digital pathology files illustrating intricate tissue structures. Selecting a small, representative subset of patches from each WSI is essential yet challenging. Therefore, following the "Divide & Conquer" approach becomes essential to facilitate WSI analysis including the classification and the WSI matching in computational pathology. To this end, we propose a novel method termed "Selection of Distinct Morphologies" (SDM) to choose a subset of WSI patches. The aim is to encompass all inherent morphological variations within a given WSI while simultaneously minimizing the number of selected patches to represent these variations, ensuring a compact yet comprehensive set of patches. This systematically curated patch set forms what we term a "montage". We assess the representativeness of the SDM montage across various public and private histopathology datasets. This is conducted by using the leave-one-out WSI search and matching evaluation method, comparing it with the state-of-the-art Yottixel's mosaic. SDM demonstrates remarkable efficacy across all datasets during its evaluation. Furthermore, SDM eliminates the necessity for empirical parameterization, a crucial aspect of Yottixel's mosaic, by inherently optimizing the selection process to capture the distinct morphological features within the WSI.


title: The separating Noether number of the direct sum of several copies of a cyclic group

abstract: The exact value of the separating Noether number of some finite abelian groups is determined, including the direct sums of cyclic groups of the same order.


title: Capacitated Network Bargaining Games: Stability and Structure

abstract: Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a stable outcome) via capacity-reduction and edge-removal operations, without decreasing the total value that the players can get. Furthermore, for general weighted instances, we show that computing a minimum amount of vertex-capacity to reduce to make an instance stable is a polynomial-time solvable problem. We then exploit this to give approximation results for the NP-hard problem of stabilizing a graph via edge-removal operations. Our work extends and generalizes previous results in the literature that dealt with a unit-capacity version of the problem, using several new arguments. In particular, while previous results mainly used combinatorial techniques, we here rely on polyhedral arguments and, more specifically, on the notion of circuits of a polytope.


title: High-dimensional envy-free partitions

abstract: A vast array of envy-free results have been found for the subdivision of one-dimensional resources, such as the interval $[0,1]$. The goal is to divide the space into $n$ pieces and distribute them among $n$ observers such that each receives their favorite pieces. We study high-dimensional versions of these results. We prove that several spaces of convex partitions of $\mathbb{R}^d$ allow for envy-free division among any $n$ observers. We also prove the existence of convex partitions of $\mathbb{R}^d$ which allow for envy-free divisions among several groups of $n$ observers simultaneously.


title: Fino-Vezzoni conjecture on Lie algebras with abelian ideals of codimension two

abstract: In this paper, we confirm the Fino-Vezzoni Conjecture for unimodular Lie algebras which contain abelian ideals of codimension two, a natural generalization to the class of almost abelian Lie algebras. This provides new evidence towards the validity of the conjecture on a very special type of $3$-step solvmanifolds.


title: Ricci curvature bounded below and uniform rectifiability

abstract: We prove that Ahlfors-regular RCD spaces are uniformly rectifiable. The same is shown for Ahlfors regular boundaries of non-collapsed RCD spaces. As an application we deduce a type of quantitative differentiation for Lipschitz functions on these spaces.


title: JADES: Carbon enrichment 350 Myr after the Big Bang in a gas-rich galaxy

abstract: Finding the emergence of the first generation of metals in the early Universe, and identifying their origin, are some of the most important goals of modern astrophysics. We present deep JWST/NIRSpec spectroscopy of GS-z12, a galaxy at z=12.5, in which we report the detection of C III]${\lambda}{\lambda}$1907,1909 nebular emission. This is the most distant detection of a metal transition and the most distant redshift determination via emission lines. In addition, we report tentative detections of [O II]${\lambda}{\lambda}$3726,3729 and [Ne III]${\lambda}$3869, and possibly O III]${\lambda}{\lambda}$1661,1666. By using the accurate redshift from C III], we can model the Ly${\alpha}$ drop to reliably measure an absorbing column density of hydrogen of $N_{HI} \approx 10^{22}$ cm$^{-2}$ - too high for an IGM origin and implying abundant ISM in GS-z12 or CGM around it. We infer a lower limit for the neutral gas mass of about $10^7$ MSun which, compared with a stellar mass of $\approx4 \times 10^7$ MSun inferred from the continuum fitting, implies a gas fraction higher than about 0.1-0.5. We derive a solar or even super-solar carbon-to-oxygen ratio, tentatively [C/O]>0.15. This is higher than the C/O measured in galaxies discovered by JWST at z=6-9, and higher than the C/O arising from Type-II supernovae enrichment, while AGB stars cannot contribute to carbon enrichment at these early epochs and low metallicities. Such a high C/O in a galaxy observed 350 Myr after the Big Bang may be explained by the yields of extremely metal poor stars, and may even be the heritage of the first generation of supernovae from Population III progenitors.


title: Self-similar shock dynamics satisfying the inviscid Burgers equation in planar, cylindrical and spherical problems

abstract: The solution of self-similar shock dynamics satisfying the inviscid Burgers equation are provided in closed form for planar, cylindrical and spherical problems. The approach follows Lee's method for obtaining self-similar solutions for the Euler equations describing compressible fluid dynamics. Closed form solutions are provided for the two types of self-similar solutions: of the first kind, where the shock dynamics are constrained by integral relations, and the second kind, constrained by the internal requirement of the regularity of solutions along limiting characteristics. The solutions obtained illustrate simply the theoretical underpinning of Taylor-Sedov blast waves (self-similarity of the first kind) and Guderley implosion problems (self-similarity of the second kind).


title: DNA-Correcting Codes in DNA Storage Systems

abstract: In [1], the authors proposed a new model of DNA storage system that integrates all three steps of retrieval and introduced the concept of DNA-correcting codes, which guarantees that the output of the storage system can be decoded to the original data. They also gave necessary and sufficient conditions for DNA-correcting codes when the data part is free of errors. In this paper, we generalize their results to the general case.


title: Functional upper limits

abstract: Upper limits and confidence intervals are a convenient way to present experimental results. With modern experiments producing more and more data, it is often necessary to reduce the volume of the results. A common approach is to take a maximum over a set of upper limits, which yields an upper limit valid for the entire set. This, however, can be very inefficient. In this paper we introduce functional upper limits and confidence intervals that allow to summarize results much more efficiently. An application to upper limits in all-sky continuous gravitational wave searches is worked out, with a method of deriving upper limits using linear programming.


title: A multiplicity result for a double perturbed Schr\"odinger-Bopp-Podolsky-Proca system

abstract: In this paper we will prove a multiplicity result for a double perturbed Schr\"odinger-Bopp- Podolsky-Proca system on a compact 3-dimensional Riemannian manifold without boundary. We will prove, using the Lusternik-Schnirelmann Category, that the number of solutions of the system depends on the topological properties of the manifold.


title: Visualizing acoustic levitation using COMSOL Multiphysics

abstract: We present a new virtual laboratory developed with COMSOL Multiphysics for the simulation of an acoustic levitator. Our computer application simulates the acoustic pressure field and its interaction with a set of particles. Students can interact with the system by having the possibility of changing the frequency and distance parameters between transducers in real-time. We have also developed and shared for free use the 3D printing design files for the construction of necessary components for the acoustic levitator and the instructions for its experimental implementation. The experimental results, along with the virtual laboratory, provide the students with useful tools to understand and interpret the acoustic phenomenon involved.


title: Students' difficulties in understanding the basic principles of relativity after standard instruction

abstract: Theory of Relativity (Special and General) is one of the most influential theories of the 20th century and has changed the way we view the world. It is part of many undergraduate curriculums and it is often suggested that it should be integrated into an upper secondary curriculum. Special Theory of Relativity combines time and space whereas General Theory of Relativity describes gravity as a geometric property of spacetime. As it describes abstract phenomena, students encounter several difficulties understanding its basic principles and consequences. In this paper, we present the research that we conducted in order to detect the aforementioned difficulties. This research constitutes a part of a more general study concerning the integration of Special and General Relativity into an upper secondary and undergraduate curriculum. The sample consisted of 45 non-major physics undergraduate students. The purpose of our study was to determine and categorize the difficulties students face when they study the principles of the Theory of Relativity and its consequences. The results of our research indicate that student face many obstacles when trying to interpret phenomena described by the Relativity and confuse Special and General Relativity principles. These results dictate us to create an educational approach that tackle the difficulties found.


title: Physics Opportunities at a Beam Dump Facility at PIP-II at Fermilab and Beyond

abstract: The Fermilab Proton-Improvement-Plan-II (PIP-II) is being implemented in order to support the precision neutrino oscillation measurements at the Deep Underground Neutrino Experiment, the U.S. flagship neutrino experiment. The PIP-II LINAC is presently under construction and is expected to provide 800~MeV protons with 2~mA current. This white paper summarizes the outcome of the first workshop on May 10 through 13, 2023, to exploit this capability for new physics opportunities in the kinematic regime that are unavailable to other facilities, in particular a potential beam dump facility implemented at the end of the LINAC. Various new physics opportunities have been discussed in a wide range of kinematic regime, from eV scale to keV and MeV. We also emphasize that the timely establishment of the beam dump facility at Fermilab is essential to exploit these new physics opportunities.


title: Improving ResBos for the precision needs of the LHC

abstract: The resummation calculation (ResBos) is a widely used tool for the simulation of single vector boson production at colliders. In this work, we develop a significant improvement over the ResBos code by increasing the accuracy from NNLL+NLO to N${}^3$LL+NNLO and release the ResBos v2.0 code. Furthermore, we propose a new non-perturbative function that includes information about the rapidity of the system (IFY). The IFY functional form was fitted to data from fixed target experiments, the Tevatron, and the LHC. We find that the non-perturbative function has mild rapidity dependence based on the results of the fit. Finally, we investigate the effects that this increased precision has on the measurement of the $W$ boson by CDF and impacts on future LHC measurements.


title: Connecting microscopic and mesoscopic mechanics in model structural glasses

abstract: We present a novel formalism to characterize elastic heterogeneities in amorphous solids. In particular, we derive high-order strain-energy expansions for pairwise energies under athermal quasistatic dynamics. We then use the presented formalism to study the statistical properties of pairwise expansion coefficients and their link with the statistics of soft, quasilocalized modes, for a wide range of formation histories in both two- and three-dimensional systems. We further exploit the presented framework to access local yield stress maps by performing a non-linear stress-strain expansion within a cavity embedded in a frozen matrix. We show that our "bond micromechanics" compare well with the original "frozen matrix" method, with the caveat of overestimating large stress activations. We additionally show how local yield rules can be used as input for a scalar elasto-plastic model (EPM) to predict the stress response of materials ranging from ductile to brittle. Finally, we highlight some of the limits of simple mesoscale models in capturing the aging dynamics of post-yielding systems. Intriguingly, we observe subdiffusive and diffusive shearband growths for particle-based simulations and EPMs, respectively.


title: Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

abstract: Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.


title: DSR-Diff: Depth Map Super-Resolution with Diffusion Model

abstract: Color-guided depth map super-resolution (CDSR) improve the spatial resolution of a low-quality depth map with the corresponding high-quality color map, benefiting various applications such as 3D reconstruction, virtual reality, and augmented reality. While conventional CDSR methods typically rely on convolutional neural networks or transformers, diffusion models (DMs) have demonstrated notable effectiveness in high-level vision tasks. In this work, we present a novel CDSR paradigm that utilizes a diffusion model within the latent space to generate guidance for depth map super-resolution. The proposed method comprises a guidance generation network (GGN), a depth map super-resolution network (DSRN), and a guidance recovery network (GRN). The GGN is specifically designed to generate the guidance while managing its compactness. Additionally, we integrate a simple but effective feature fusion module and a transformer-style feature extraction module into the DSRN, enabling it to leverage guided priors in the extraction, fusion, and reconstruction of multi-model images. Taking into account both accuracy and efficiency, our proposed method has shown superior performance in extensive experiments when compared to state-of-the-art methods. Our codes will be made available at https://github.com/shiyuan7/DSR-Diff.


title: Unveiling plasma energization and energy transport in the Earth Magnetospheric System: the need for future coordinated multiscale observations

abstract: Energetic plasma is everywhere in the Universe. The terrestrial Magnetospheric System is a key case where direct measures of plasma energization and energy transport can be made in situ at high resolution. Despite the large amount of available observations, we still do not fully understand how plasma energization and energy transport work. Key physical processes driving much plasma energization and energy transport occur where plasma on fluid scales couple to the smaller ion kinetic scales. These scales (1 RE) are strongly related to the larger mesoscales (several RE) at which large-scale plasma energization and energy transport structures form. All these scales and processes need to be resolved experimentally, however existing multi-point in situ observations do not have a sufficient number of measurement points. New multiscale observations simultaneously covering scales from mesoscales to ion kinetic scales are needed. The implementation of these observations requires a strong international collaboration in the coming years between the major space agencies. The Plasma Observatory is a mission concept tailored to resolve scale coupling in plasma energization and energy transport at fluid and ion scales. It targets the two ESA-led Medium Mission themes Magnetospheric Systems and Plasma Cross-scale Coupling of the ESA Voyage 2050 report and is currently under evaluation as a candidate for the ESA M7 mission. MagCon (Magnetospheric Constellation) is a mission concept being studied by NASA aiming at studying the flow of mass, momentum, and energy through the Earth magnetosphere at mesoscales. Coordination between Plasma Observatory and MagCon missions would allow us for the first time to simultaneously cover from mesoscales to ion kinetic scales leading to a paradigm shift in the understanding of the Earth Magnetospheric System.


title: Revisiting the evidence for precession in GW200129 with machine learning noise mitigation

abstract: GW200129 is claimed to be the first-ever observation of the spin-disk orbital precession detected with gravitational waves (GWs) from an individual binary system. However, this claim warrants a cautious evaluation because the GW event coincided with a broadband noise disturbance in LIGO Livingston caused by the 45 MHz electro-optic modulator system. In this paper, we present a state-of-the-art neural network that is able to model and mitigate the broadband noise from the LIGO Livingston interferometer. We also demonstrate that our neural network mitigates the noise better than the algorithm used by the LIGO-Virgo-KAGRA collaboration. Finally, we re-analyse GW200129 with the improved data quality and show that the evidence for precession is still observed.


title: Fast multiplication by two's complement addition of numbers represented as a set of polynomial radix 2 indexes, stored as an integer list for massively parallel computation

abstract: We demonstrate a multiplication method based on numbers represented as set of polynomial radix 2 indices stored as an integer list. The 'polynomial integer index multiplication' method is a set of algorithms implemented in python code. We demonstrate the method to be faster than both the Number Theoretic Transform (NTT) and Karatsuba for multiplication within a certain bit range. Also implemented in python code for comparison purposes with the polynomial radix 2 integer method. We demonstrate that it is possible to express any integer or real number as a list of integer indices, representing a finite series in base two. The finite series of integer index representation of a number can then be stored and distributed across multiple CPUs / GPUs. We show that operations of addition and multiplication can be applied as two's complement additions operating on the index integer representations and can be fully distributed across a given CPU / GPU architecture. We demonstrate fully distributed arithmetic operations such that the 'polynomial integer index multiplication' method overcomes the current limitation of parallel multiplication methods. Ie, the need to share common core memory and common disk for the calculation of results and intermediate results.


title: Branch-and-Price for the Stochastic TSP with Generalized Latency

abstract: Motivated by the tactical planning level of demand adaptive public transportation systems, we present the stochastic symmetric traveling salesman problem with generalized latency (STSP-GL), a stochastic extension to the symmetric traveling salesman problem with generalized latency (TSP-GL). The STSP-GL aims to choose a subset of nodes of an undirected graph and determines a Hamiltonian tour amongst those nodes, minimizing an objective function that is a weighted combination of route design and passenger routing costs. These nodes are selected to ensure that a predefined percentage of uncertain passenger demand is served with a given probability. We formulate the STSP-GL as a stochastic program and propose a branch-and-price algorithm for solving its deterministic equivalent. We also develop a local search approach with which we improve the performance of the B&P approach. We assess the efficiency of the proposed methods on a set of instances from the literature. We demonstrate that the proposed methods outperform a known benchmark, improving upper bounds by up to 85% and lower bounds by up to 55%. Finally, we show that solutions of the stochastic model are both more cost-effective and robust than those of the deterministic model.


title: Finite type invariants in low degrees and the Johnson filtration

abstract: We study the behaviour of the Casson invariant $\lambda$, its square, and Othsuki's second invariant $\lambda_2$ as functions on the Johnson subgroup of the mapping class group. We show that since $\lambda$ and $d_2 = \lambda_2 - 18 \lambda^2$ are invariants that are morphisms on respectively the second and the third level of the Johnson filtration they never vanish on any level of this filtration. In contrast we prove that the invariant $\lambda_2-18\lambda^2 +3\lambda$ vanishes on the fifth level of the Johnson filtration, $\mathcal{M}_{g,1}(5)$, and as a consequence we prove that, for instance, the Poincar\'e homology sphere does not admit any Heegaard splitting with gluing map an element in $\mathcal{M}_{g,1}(5)$. Finally we determine a surgery formula for Othsuki's second invariant $\lambda_2$.


title: Formation of a massive lenticular galaxy under the tidal interaction with a group of dwarf galaxies

abstract: Based on the atomic-hydrogen (HI) observations using the Five-hundred-meter Aperture Spherical radio Telescope (FAST), we present a detailed study of the gas-rich massive S0 galaxy NGC 1023 in a nearby galaxy group. The presence of an HI extended warped disk in NGC 1023 indicates that this S0 galaxy originated from a spiral galaxy. The data also suggest that NGC 1023 is interacting with four dwarf galaxies. In particular, one of the largest dwarf galaxies has fallen into the gas disk of NGC 1023, forming a rare bright-dark galaxy pair with a large gas clump. This clump shows the signature of a galaxy but has no optical counterpart, implying that it is a newly formed starless galaxy. Our results firstly suggest that a massive S0 galaxy in a galaxy group can form via the morphological transformation from a spiral under the joint action of multiple tidal interactions.


title: Formation of supermassive nuclei of Black holes in the early\\[8pt] Universe by the mechanism of scalar-gravitational instability. II. The evolution of localized spherical perturbations

abstract: Based on the previously formulated theory of spherical perturbations in the cosmological medium of self-gravitating scalarly charged fermions with the Higgs scalar interaction and the similarity properties of such models, the formation of supermassive Black Hole Seeds (SSBH) in the early Universe is studied. Using numerical simulation of the process, it is shown that the mass of SSBH during the evolution process reaches a limiting value, after which it begins to slowly fall. The possible influence of nonlinearity on this process is discussed.


title: Extension theorem for simultaneous q-difference equations and some its consequences

abstract: Given a set $T \subset (0, +\infty)$, intervals $I\subset (0, +\infty)$ and $J\subset {\mathbb R}$, as well as functions $g_t:I\times J\rightarrow J$ with $t$'s running through the set \[ T^{\ast}:=T \cup \big\{t^{-1}\colon t \in T\big\}\cup\{1\} \] we study the simultaneous $q$-difference equations \[ \varphi(tx)=g_t\left(x,\varphi(x)\right), \qquad t \in T^{\ast}, \] postulated for $x \in I\cap t^{-1}I$; here the unknown function $\varphi$ is assumed to map $I$ into $J$. We prove an Extension theorem stating that if $\varphi$ is continuous [analytic] on a nontrivial subinterval of $I$, then $\varphi$ is continuous [analytic] provided $g_t, t \in T^{\ast}$, are continuous [analytic]. The crucial assumption of the Extension theorem is formulated with the help of the so-called limit ratio $R_T$ which is a uniquely determined number from $[1,+\infty]$, characterising some density property of the set $T^{\ast}$. As an application of the Extension theorem we find the form of all continuous on a subinterval of $I$ solutions $\varphi:I \rightarrow {\mathbb R}$ of the simultaneous equations \[ \varphi(tx)=\varphi(x)+c(t)x^p, \qquad t\in T, \] where $c:T \rightarrow {\mathbb R}$ is an arbitrary function, $p$ is a given real number and $\sup I > R_T \inf I$.


title: Super-resolved Lasso

abstract: Super-resolution of pointwise sources is of utmost importance in various areas of imaging sciences. Specific instances of this problem arise in single molecule fluorescence, spike sorting in neuroscience, astrophysical imaging, radar imaging, and nuclear resonance imaging. In all these applications, the Lasso method (also known as Basis Pursuit or \( \ell^1 \)-regularization) is the de facto baseline method for recovering sparse vectors from low-resolution measurements. This approach requires discretization of the domain, which leads to quantization artifacts and consequently, an overestimation of the number of sources. While grid-less methods, such as Prony-type methods or non-convex optimization over the source position, can mitigate this, the Lasso remains a strong baseline due to its versatility and simplicity. In this work, we introduce a simple extension of the Lasso, termed ``super-resolved Lasso" (SR-Lasso). Inspired by the Continuous Basis Pursuit (C-BP) method, our approach introduces an extra parameter to account for the shift of the sources between grid locations. Our method is more comprehensive than C-BP, accommodating both arbitrary real-valued or complex-valued sources. Furthermore, it can be solved similarly to the Lasso as it boils down to solving a group-Lasso problem. A notable advantage of SR-Lasso is its theoretical properties, akin to grid-less methods. Given a separation condition on the sources and a restriction on the shift magnitude outside the grid, SR-Lasso precisely estimates the correct number of sources.


title: Mutating etcd Towards Edge Suitability

abstract: In the edge environment servers are no longer being co-located away from clients, instead they are being co-located with clients away from other servers, focusing on reliable and performant operation. Orchestration platforms, such as Kubernetes, are a key system being transitioned to the edge but they remain unsuited to the environment, stemming primarily from their critical key-value stores. In this work we derive requirements from the edge environment showing that, fundamentally, the design of distributed key-value datastores, such as etcd, is unsuited to meet them. Using these requirements, we explore the design space for distributed key-value datastores and implement two successive mutations of etcd for different points: mergeable-etcd and dismerge, trading linearizability for causal consistency based on CRDTs. mergeable-etcd retains the linear revision history but encounters inherent shortcomings, whilst dismerge embraces the causal model. Both stores are local-first, maintaining reliable performance under network partitions and variability, drastically surpassing etcd's performance, whilst maintaining competitive performance in reliable settings.


title: A Framework for Monitoring and Retraining Language Models in Real-World Applications

abstract: In the Machine Learning (ML) model development lifecycle, training candidate models using an offline holdout dataset and identifying the best model for the given task is only the first step. After the deployment of the selected model, continuous model monitoring and model retraining is required in many real-world applications. There are multiple reasons for retraining, including data or concept drift, which may be reflected on the model performance as monitored by an appropriate metric. Another motivation for retraining is the acquisition of increasing amounts of data over time, which may be used to retrain and improve the model performance even in the absence of drifts. We examine the impact of various retraining decision points on crucial factors, such as model performance and resource utilization, in the context of Multilabel Classification models. We explain our key decision points and propose a reference framework for designing an effective model retraining strategy.


title: Unconventional Rashba spin splitting, double SU(2) spin symmetry, and pure Dirac fermion system in PtSe$_2$ nanoribbons

abstract: 2D materials can host interesting physics and have important applications in various fields. Recent experiment shows that monolayer PtSe$_2$ nanoflakes with neutral zigzag edges are stable. Here, we study semiconducting PtSe$_2$ nanoribbons with the stable edges through first-principles investigation, and find relativistic energy dispersion and large unconventional Rashba spin splitting in the low-energy bands (even $N$) which originates from the nanoribbon edges. Furthermore, there exists SU(2) spin symmetry in both of the conduction and valence bands for each edge, which implies spin-conserving carrier transport or persistent spin helix (in the spin xy plane). When the inter-edge interaction becomes weak, a nearly-perfect Dirac fermion system can be achieved through combining the valence and conduction bands. Thus we realize unconventional Rashba splitting with double SU(2) spin symmetry and a pure Dirac fermion system in condensed matter physics.


title: The Communication GSC System with Energy Harvesting Nodes aided by Opportunistic Routing

abstract: In this paper, a cooperative communication network based on energy-harvesting (EH) decode-and-forward (DF) relays is proposed. For relay nodes, there is harvest-storage-use (HSU) structure in this system. And energy can be obtained from the surrounding environment through energy buffering. In order to improve the performance of the communication system, the opportunistic routing algorithm and the generalized selection combining (GSC) algorithm are adopted in this communication system. In addition, from discrete-time continuous-state space Markov chain model (DCSMC), a theoretical expression of the energy limiting distribution stored in infinite buffers is derived. Through using the probability distribution and state transition matrix, the theoretical expressions of system outage probability, throughput and time cost of per packet are obtained. Through the simulation verification, the theoretical results are in good agreement with the simulation results.


title: Heuristic Learning for Co-Design Scheme of Optimal Sequential Attack

abstract: This paper considers a novel co-design problem of the optimal \textit{sequential} attack, whose attack strategy changes with the time series, and in which the \textit{sequential} attack selection strategy and \textit{sequential} attack signal are simultaneously designed. Different from the existing attack design works that separately focus on attack subsets or attack signals, the joint design of the attack strategy poses a huge challenge due to the deep coupling relation between the \textit{sequential} attack selection strategy and \textit{sequential} attack signal. In this manuscript, we decompose the sequential co-design problem into two equivalent sub-problems. Specifically, we first derive an analytical closed-form expression between the optimal attack signal and the sequential attack selection strategy. Furthermore, we prove the finite-time inverse convergence of the critical parameters in the injected optimal attack signal by discrete-time Lyapunov analysis, which enables the efficient off-line design of the attack signal and saves computing resources. Finally, we exploit its relationship to design a heuristic two-stage learning-based joint attack algorithm (HTL-JA), which can accelerate realization of the attack target compared to the one-stage proximal-policy-optimization-based (PPO) algorithm. Extensive simulations are conducted to show the effectiveness of the injected optimal sequential attack.


title: Echo Chambers within the Russo-Ukrainian War: The Role of Bipartisan Users

abstract: The ongoing Russia-Ukraine war has been extensively discussed on social media. One commonly observed problem in such discussions is the emergence of echo chambers, where users are rarely exposed to opinions outside their worldview. Prior literature on this topic has assumed that such users hold a single consistent view. However, recent work has revealed that complex topics (such as the war) often trigger bipartisanship among certain people. With this in mind, we study the presence of echo chambers on Twitter related to the Russo-Ukrainian war. We measure their presence and identify an important subset of bipartisan users who vary their opinions during the invasion. We explore the role they play in the communications graph and identify features that distinguish them from remaining users. We conclude by discussing their importance and how they can improve the quality of discourse surrounding the war.


title: Semi-parametric Benchmark Dose Analysis with Monotone Additive Models

abstract: Benchmark dose analysis aims to estimate the level of exposure to a toxin that results in a clinically-significant adverse outcome and quantifies uncertainty using the lower limit of a confidence interval for this level. We develop a novel framework for benchmark dose analysis based on monotone additive dose-response models. We first introduce a flexible approach for fitting monotone additive models via penalized B-splines and Laplace-approximate marginal likelihood. A reflective Newton method is then developed that employs de Boor's algorithm for computing splines and their derivatives for efficient estimation of the benchmark dose. Finally, we develop and assess three approaches for calculating benchmark dose lower limits: a naive one based on asymptotic normality of the estimator, one based on an approximate pivot, and one using a Bayesian parametric bootstrap. The latter approaches improve upon the naive method in terms of accuracy and are guaranteed to return a positive lower limit; the approach based on an approximate pivot is typically an order of magnitude faster than the bootstrap, although they are both practically feasible to compute. We apply the new methods to make inferences about the level of prenatal alcohol exposure associated with clinically significant cognitive defects in children using data from an NIH-funded longitudinal study. Software to reproduce the results in this paper is available at https://github.com/awstringer1/bmd-paper-code.


title: Constraining f(R) gravity with cross-correlation of galaxies and cosmic microwave background lensing

abstract: We look for signatures of the Hu-Sawicki f(R) modified gravity theory, proposed to explain the observed accelerated expansion of the universe; in observations of the galaxy distribution, the cosmic microwave background (CMB), and gravitational lensing of the CMB. We study constraints obtained by using observations of only the CMB primary anisotropies, before adding the galaxy power spectrum and its cross-correlation with CMB lensing. We show that cross-correlation of the galaxy distribution with lensing measurements is crucial to breaking parameter degeneracies, placing tighter constraints on the model. In particular, we set a strong upper limit on $\log{\lvert f_{R_0}\lvert }<-4.61$ at 95% confidence level. This means that while the model may explain the accelerated expansion, its impact on large-scale structure closely resembles General Relativity. Studies of this kind with future data sets will probe smaller potential deviations from General Relativity.


title: Radiative Corrections to Aid the Direct Detection of the Higgsino-like Neutralino Dark Matter: Spin-Independent Interactions

abstract: The lightest neutralino ($\tilde{\chi}_1^0$) is a good Dark Matter (DM) candidate in the R-parity conserving Minimal Supersymmetric Standard Model (MSSM). In this work, we consider the light higgsino-like neutralino as the Lightest Stable Particle (LSP), thanks to rather small higgsino mass parameter $\mu$. We then estimate the prominent radiative corrections to the neutralino-neutralino-Higgs boson vertices. We show that for higgsino-like $\tilde{\chi}_1^0$, these corrections can significantly influence the spin-independent direct detection cross-section, even contributing close to 100\% in certain regions of the parameter space. These corrections, therefore, play an important role in deducing constraints on the mass of the higgsino-like lightest neutralino DM, and thus the $\mu$ parameter.


title: Confronting electroweak MSSM through one-loop renormalized neutralino-Higgs interactions for dark matter direct detection and muon $(g-2)$

abstract: We compute the next-to-leading order (NLO) corrections to the vertices where a pair of the lightest neutralino couples to CP-even (light or heavy) Higgs scalars. In particular, the lightest neutralino is assumed to be a dominantly Bino-like mixed state, composed of Bino and Higgsino or Bino, Wino, and Higgsino. After computing all the three-point functions in the electroweak MSSM, we detail the contributions from the counterterms that arise in renormalizing these vertices in one-loop order. The amendment of the renormalized vertices impacts the spin-independent direct detection cross-sections of the scattering of nucleons with dark matter. We perform a comprehensive numerical scan over the parameter space where all the points satisfy the present B-physics constraints and accommodate the muon's anomalous magnetic moment. Finally, we exemplify a few benchmark points, which indulge the present searches of supersymmetric particles. After including the renormalized one-loop vertices, the spin-independent DM-nucleon cross-sections may be enhanced up to $20\%$ compared to its tree-level results. Finally, with the NLO cross-section, we use the recent LUX-ZEPLIN (LZ) results on the neutralino-nucleon scattering to display the relative rise in the lowest allowed band of the Higgsino mass parameter in the $M_1-\mu$ plane of the electroweak MSSM.


title: RED-DOT: Multimodal Fact-checking via Relevant Evidence Detection

abstract: Online misinformation is often multimodal in nature, i.e., it is caused by misleading associations between texts and accompanying images. To support the fact-checking process, researchers have been recently developing automatic multimodal methods that gather and analyze external information, evidence, related to the image-text pairs under examination. However, prior works assumed all external information collected from the web to be relevant. In this study, we introduce a "Relevant Evidence Detection" (RED) module to discern whether each piece of evidence is relevant, to support or refute the claim. Specifically, we develop the "Relevant Evidence Detection Directed Transformer" (RED-DOT) and explore multiple architectural variants (e.g., single or dual-stage) and mechanisms (e.g., "guided attention"). Extensive ablation and comparative experiments demonstrate that RED-DOT achieves significant improvements over the state-of-the-art (SotA) on the VERITE benchmark by up to 33.7%. Furthermore, our evidence re-ranking and element-wise modality fusion led to RED-DOT surpassing the SotA on NewsCLIPings+ by up to 3% without the need for numerous evidence or multiple backbone encoders. We release our code at: https://github.com/stevejpapad/relevant-evidence-detection


title: On the Weisfeiler algorithm of depth-$1$ stabilization

abstract: An origin of the multidimensional Weisfeiler-Leman algorithm goes back to a refinement procedure of deep stabilization, introduced by B. Weisfeiler in a paper included in the collective monograph ``On construction and identification of graphs"(1976). This procedure is recursive and the recursion starts from an algorithm of depth-$1$ stabilization, which has never been discussed in the literature. A goal of the present paper is to show that a simplified algorithm of the depth-$1$ stabilization has the same power as the $3$-dimensional Weisfeiler-Leman algorithm. It is proved that the class of coherent configurations obtained at the output of this simplified algorithm coincides with the class introduced earlier by the third author. As an application we also prove that if there exist at least two nonisomorphic projective planes of order $q$, then the Weisfeiler-Leman dimension of the incidence graph of any projective plane of order $q$ is at least $4$.


title: Ghost Value Augmentation for $k$-Edge-Connectivity

abstract: We give a poly-time algorithm for the $k$-edge-connected spanning subgraph ($k$-ECSS) problem that returns a solution of cost no greater than the cheapest $(k+10)$-ECSS on the same graph. Our approach enhances the iterative relaxation framework with a new ingredient, which we call ghost values, that allows for high sparsity in intermediate problems. Our guarantees improve upon the best-known approximation factor of $2$ for $k$-ECSS whenever the optimal value of $(k+10)$-ECSS is close to that of $k$-ECSS. This is a property that holds for the closely related problem $k$-edge-connected spanning multi-subgraph ($k$-ECSM), which is identical to $k$-ECSS except edges can be selected multiple times at the same cost. As a consequence, we obtain a $\left(1+O\left(\frac{1}{k}\right)\right)$-approximation algorithm for $k$-ECSM, which resolves a conjecture of Pritchard and improves upon a recent $\left(1+O\left(\frac{1}{\sqrt{k}}\right)\right)$-approximation algorithm of Karlin, Klein, Oveis Gharan, and Zhang. Moreover, we present a matching lower bound for $k$-ECSM, showing that our approximation ratio is tight up to the constant factor in $O\left(\frac{1}{k}\right)$, unless $P=NP$.


title: Harnessing Transformers: A Leap Forward in Lung Cancer Image Detection

abstract: This paper discusses the role of Transfer Learning (TL) and transformers in cancer detection based on image analysis. With the enormous evolution of cancer patients, the identification of cancer cells in a patient's body has emerged as a trend in the field of Artificial Intelligence (AI). This process involves analyzing medical images, such as Computed Tomography (CT) scans and Magnetic Resonance Imaging (MRIs), to identify abnormal growths that may help in cancer detection. Many techniques and methods have been realized to improve the quality and performance of cancer classification and detection, such as TL, which allows the transfer of knowledge from one task to another with the same task or domain. TL englobes many methods, particularly those used in image analysis, such as transformers and Convolutional Neural Network (CNN) models trained on the ImageNet dataset. This paper analyzes and criticizes each method of TL based on image analysis and compares the results of each method, showing that transformers have achieved the best results with an accuracy of 97.41% for colon cancer detection and 94.71% for Histopathological Lung cancer. Future directions for cancer detection based on image analysis are also discussed.


title: The Unruh vacuum and the in-vacuum in the Reissner-Nordstr\"om spacetime

abstract: The Unruh vacuum is widely used as quantum state to describe black hole evaporation since near the horizon it reproduces the physical state of a quantum field, the so called in-vacuum, in the case the black hole is formed by gravitational collapse. We examine the relation between these two quantum states in the background spacetime of a Reissner-Nordstr\"om black hole (both extremal and not) highlighting similarities and striking differences.


title: A Physics-Informed Neural Network approach for compartmental epidemiological models

abstract: Compartmental models provide simple and efficient tools to analyze the relevant transmission processes during an outbreak, to produce short-term forecasts or transmission scenarios, and to assess the impact of vaccination campaigns. However, their calibration is not straightforward, since many factors contribute to the rapid change of the transmission dynamics during an epidemic. For example, there might be changes in the individual awareness, the imposition of non-pharmacological interventions and the emergence of new variants. As a consequence, model parameters such as the transmission rate are doomed to change in time, making their assessment more challenging. Here, we propose to use Physics-Informed Neural Networks (PINNs) to track the temporal changes in the model parameters and provide an estimate of the model state variables. PINNs recently gained attention in many engineering applications thanks to their ability to consider both the information from data (typically uncertain) and the governing equations of the system. The ability of PINNs to identify unknown model parameters makes them particularly suitable to solve ill-posed inverse problems, such as those arising in the application of epidemiological models. Here, we develop a reduced-split approach for the implementation of PINNs to estimate the temporal changes in the state variables and transmission rate of an epidemic based on the SIR model equation and infectious data. The main idea is to split the training first on the epidemiological data, and then on the residual of the system equations. The proposed method is applied to five synthetic test cases and two real scenarios reproducing the first months of the COVID-19 Italian pandemic. Our results show that the split implementation of PINNs outperforms the standard approach in terms of accuracy (up to one order of magnitude) and computational times (speed up of 20%).


title: An Attention-Based Denoising Framework for Personality Detection in Social Media Texts

abstract: In social media networks, users produce a large amount of text content anytime, providing researchers with a valuable approach to digging for personality-related information. Personality detection based on user-generated texts is a universal method that can be used to build user portraits. The presence of noise in social media texts hinders personality detection. However, previous studies have not fully addressed this challenge. Inspired by the scanning reading technique, we propose an attention-based information extraction mechanism (AIEM) for long texts, which is applied to quickly locate valuable pieces of information, and focus more attention on the deep semantics of key pieces. Then, we provide a novel attention-based denoising framework (ADF) for personality detection tasks and achieve state-of-the-art performance on two commonly used datasets. Notably, we obtain an average accuracy improvement of 10.2% on the gold standard Twitter-Myers-Briggs Type Indicator (Twitter-MBTI) dataset. We made our code publicly available on GitHub. We shed light on how AIEM works to magnify personality-related signals.


title: Orbit injection of planet-crossing asteroids

abstract: Solar system Centaurs originate in transneptunian space from where planet orbit crossing events inject their orbits inside the giant planets' domain. Here, we examine this injection process in the three-body problem by studying the orbital evolution of transneptunian asteroids located at Neptune's collision singularity as a function of the Tisserand invariant, T. Two injection modes are found, one for T>0.1, or equivalently prograde inclinations far from the planet, where unstable motion dominates injection, and another for T<= 0.1, or equivalently polar and retrograde inclinations far from the planet, where stable motion dominates injection. The injection modes are independent of the initial semi-major axis and the dynamical time at the collision singularity. The simulations uncovered a region in the polar corridor where the dynamical time exceeds the solar system's age suggesting the possibility of long-lived primordial polar transneptunian reservoirs that supply Centaurs to the giant planets' domain.