title: From Trust to Disagreement: disentangling the interplay of Misinformation and Polarisation in the News Ecosystem

abstract: The increasing pervasiveness of fruitless disagreement poses a considerable risk to social cohesion and constructive public discourse. While polarised discussions can exhibit significant distrust in the news, it is still largely unclear whether disagreement is somehow linked to misinformation. In this work, we exploit the results of `Cartesio', an online experiment to rate the trustworthiness of Italian news articles annotated for reliability by expert evaluators. We developed a metric for disagreement that allows for correct comparisons between news with different mean trust values. Our findings indicate that, though misinformation receives lower trust ratings than accurate information, it does not appear to be more controversial. Additionally, we examined the relationship between these findings and Facebook user engagement with news articles. Our results show that disagreement correlates with an increased likelihood of commenting, probably linked to inconclusive and long discussions. The emerging scenario is one in which fighting disinformation seems ineffective in countering polarisation. Disagreement focuses more on the divergence of opinions, trust, and their effects on social cohesion. This study offers a foundation for unsupervised news item analysis independent of expert annotation. Incorporating similar principles into the design of news distribution platforms and social media systems can enhance online interactions and foster the development of a less divisive news ecosystem.


title: Twisting asymptotic symmetries and algebraically special vacuum solutions

abstract: In this paper, we study asymptotic symmetries and algebraically special exact solutions in the Newman-Penrose formalism. Removing the hypersurface orthogonal condition in the well studied Newman-Unti gauge, we obtain a generic asymptotic solution space which includes all possible origins of propagating degree of freedom. The asymptotic symmetry of the generalized system extends the Weyl-BMS symmetry by two independent local Lorentz transformations with non-trivial boundary charges, which reveals new boundary degrees of freedom. The generalized Newman-Unti gauge includes algebraically special condition in its most convenient form. Remarkably, the generic solutions satisfying the algebraically special condition truncate in the inverse power of radial expansions and the non-radial Newman-Penrose equations are explicitly solved at any order. Hence, we provide the most general algebraically special solution space and the derivation is self-contained in the Newman-Penrose formalism. The asymptotic symmetry with respect to the algebraically special condition is the standard Weyl-BMS symmetry and the symmetry parameters consist only the integration constant order. We present the Kerr solution and Taub-NUT solution in the generalized Newman-Unti gauge in a simple form.


title: NEUROSEC: FPGA-Based Neuromorphic Audio Security

abstract: Neuromorphic systems, inspired by the complexity and functionality of the human brain, have gained interest in academic and industrial attention due to their unparalleled potential across a wide range of applications. While their capabilities herald innovation, it is imperative to underscore that these computational paradigms, analogous to their traditional counterparts, are not impervious to security threats. Although the exploration of neuromorphic methodologies for image and video processing has been rigorously pursued, the realm of neuromorphic audio processing remains in its early stages. Our results highlight the robustness and precision of our FPGA-based neuromorphic system. Specifically, our system showcases a commendable balance between desired signal and background noise, efficient spike rate encoding, and unparalleled resilience against adversarial attacks such as FGSM and PGD. A standout feature of our framework is its detection rate of 94%, which, when compared to other methodologies, underscores its greater capability in identifying and mitigating threats within 5.39 dB, a commendable SNR ratio. Furthermore, neuromorphic computing and hardware security serve many sensor domains in mission-critical and privacy-preserving applications.


title: A feasibility study of a thorium fueled molten salt micro modular subcritical reactor using an electron accelerator

abstract: We present a design for a small subcritical molten salt thorium breeder reactor driven by an electron accelerator. Such a reactor could provide a safe and simple power source fuelled by thorium, without generating long-lived minor actinides. We use both Geant4 and MCNPX simulations to study the production of photons and photoneutrons, the criticality and the breeding in a simple conceptual design. We show that the concept is on the edge of viability.


title: Asymptotic Analysis and Uniqueness of blowup solutions of non-quantized singular mean field equations

abstract: For singular mean field equations defined on a compact Riemann surface, we prove the uniqueness of bubbling solutions as far as blowup points are either regular points or non-quantized singular sources. In particular the uniqueness result covers the most general case extending or improving all previous works of Bartolucci-Jevnikar-Lee-Yang \cite{bart-4,bart-4-2} and Wu-Zhang \cite{wu-zhang-ccm}. For example, unlike previous results, we drop the assumption of singular sources being critical points of a suitably defined Kirchoff-Routh type functional. Our argument is based on refined estimates, robust and flexible enough to be applied to a wide range of problems requiring a delicate blowup analysis. In particular we come up with a major simplification of previous uniqueness proofs.


title: The Dimension Strikes Back with Gradients: Generalization of Gradient Methods in Stochastic Convex Optimization

abstract: We study the generalization performance of gradient methods in the fundamental stochastic convex optimization setting, focusing on its dimension dependence. First, for full-batch gradient descent (GD) we give a construction of a learning problem in dimension $d=O(n^2)$, where the canonical version of GD (tuned for optimal performance of the empirical risk) trained with $n$ training examples converges, with constant probability, to an approximate empirical risk minimizer with $\Omega(1)$ population excess risk. Our bound translates to a lower bound of $\Omega (\sqrt{d})$ on the number of training examples required for standard GD to reach a non-trivial test error, answering an open question raised by Feldman (2016) and Amir, Koren, and Livni (2021b) and showing that a non-trivial dimension dependence is unavoidable. Furthermore, for standard one-pass stochastic gradient descent (SGD), we show that an application of the same construction technique provides a similar $\Omega(\sqrt{d})$ lower bound for the sample complexity of SGD to reach a non-trivial empirical error, despite achieving optimal test performance. This again provides an exponential improvement in the dimension dependence compared to previous work (Koren, Livni, Mansour, and Sherman, 2022), resolving an open question left therein.


title: Entropy numbers and box dimension of polynomials and holomorphic functions

abstract: We study entropy numbers and box dimension of (the image of) homogeneous polynomials and holomorphic functions between Banach spaces. First, we see that entropy numbers and box dimensions of subsets of Banach spaces are related. We show that the box dimension of the image of a ball under a homogeneous polynomial is finite if and only if it spans a finite-dimensional subspace, but this is not true for holomorphic functions. Furthermore, we relate the entropy numbers of a holomorphic function to those of the polynomials of its Taylor series expansion. As a consequence, if the box dimension of the image of a ball by a holomorphic function $f$ is finite, then the entropy numbers of the polynomials in the Taylor series expansion of $f$ at any point of the ball belong to $\ell_p$ for every $p>1$.


title: SEDAC: A CVAE-Based Data Augmentation Method for Security Bug Report Identification

abstract: Bug tracking systems store many bug reports, some of which are related to security. Identifying those security bug reports (SBRs) may help us predict some security-related bugs and solve security issues promptly so that the project can avoid threats and attacks. However, in the real world, the ratio of security bug reports is severely low; thus, directly training a prediction model with raw data may result in inaccurate results. Faced with the massive challenge of data imbalance, many researchers in the past have attempted to use text filtering or clustering methods to minimize the proportion of non-security bug reports (NSBRs) or apply oversampling methods to synthesize SBRs to make the dataset as balanced as possible. Nevertheless, there are still two challenges to those methods: 1) They ignore long-distance contextual information. 2) They fail to generate an utterly balanced dataset. To tackle these two challenges, we propose SEDAC, a new SBR identification method that generates similar bug report vectors to solve data imbalance problems and accurately detect security bug reports. Unlike previous studies, it first converts bug reports into individual bug report vectors with distilBERT, which are based on word2vec. Then, it trains a generative model through conditional variational auto-encoder (CVAE) to generate similar vectors with security labels, which makes the number of SBRs equal to NSBRs'. Finally, balanced data are used to train a security bug report classifier. To evaluate the effectiveness of our framework, we conduct it on 45,940 bug reports from Chromium and four Apache projects. The experimental results show that SEDAC outperforms all the baselines in g-measure with improvements of around 14.24%-50.10%.


title: Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL

abstract: We formally introduce IsaVODEs (Isabelle verification with Ordinary Differential Equations), a framework for the verification of cyber-physical systems. We describe the semantic foundations of the framework's formalisation in the Isabelle/HOL proof assistant. A user-friendly language specification based on a robust state model makes our framework flexible and adaptable to various engineering workflows. New additions to the framework increase both its expressivity and proof automation. Specifically, formalisations related to forward diamond correctness specifications, certification of unique solutions to ordinary differential equations (ODEs) as flows, and invariant reasoning for systems of ODEs contribute to the framework's scalability and usability. Various examples and an evaluation validate the effectiveness of our framework.


title: Electronic Structure and Transport in the Potential Luttinger Liquids CsNb$_3$Br$_7$S and RbNb$_3$Br$_7$S

abstract: The crystal structures of ANb$_3$Br$_7$S (A = Rb and Cs) have been refined by single crystal X-ray diffraction, and are found to form highly anisotropic materials based on chains of the triangular Nb$_3$ cluster core. The Nb$_3$ cluster core contains seven valence electrons, six of them being assigned to Nb-Nb bonds within the Nb$_3$ triangle and one unpaired d electron. The presence of this surplus electron gives rise to the formation of correlated electronic states. The connectivity in the structures is represented by one-dimensional [Nb$_3$Br$_7$S]$^-$ chains, containing a sulphur atom capping one face ($\mu_3$) of the triangular niobium cluster, which is believed to induce an important electronic feature. Several types of studies are undertaken to obtain deeper insight into the understanding of this unusual type of material: the crystal structure, morphology and elastic properties are analysed, as well the (photo-) electrical properties and NMR relaxation. Electronic structure (DFT) calculations are performed in order to understand the electronic structure and transport in these compounds, and, based on the experimental and theoretical results, we propose that the electronic interactions along the Nb chains are sufficiently one-dimensional to give rise to Luttinger liquid (rather than Fermi liquid) behaviour of the metallic electrons.


title: Backward wave optical parametric oscillation in a waveguide

abstract: A backward wave optical parametric oscillator (BWOPO) waveguide in periodically poled Rb-doped KTP is presented. The waveguide exhibits low loss (0.16 dB/cm) and has an oscillation threshold, almost 20 times lower than the corresponding bulk device. The backward wave has a narrow linewidth of 21 GHz at 1514.6 nm while the forward wave at 1688.7 nm has a spectrum replicating the pump. The unique spectral features of the BWOPO will unlock novel opportunities in low-power nonlinear integrated optics. A conversion efficiency of 8.4% was obtained limited by the emergence of backward stimulated polariton scattering.


title: Market Responses to Genuine Versus Strategic Generosity: An Empirical Examination of NFT Charity Fundraisers

abstract: Crypto donations now represent a significant fraction of charitable giving worldwide. Nonfungible token (NFT) charity fundraisers, which involve the sale of NFTs of artistic works with the proceeds donated to philanthropic causes, have emerged as a novel development in this space. A unique aspect of NFT charity fundraisers is the significant potential for donors to reap financial gains from the rising value of purchased NFTs. Questions may arise about the motivations of donors in these charity fundraisers, resulting in a negative social image. NFT charity fundraisers thus offer a unique opportunity to understand the economic consequences of a donor's social image. We investigate these effects in the context of a large NFT charity fundraiser. We identify the causal effect of purchasing an NFT within the charity fundraiser on a donor's later market outcomes by leveraging random variation in transaction processing times on the blockchain. Further, we demonstrate a clear pattern of heterogeneity, based on an individual's decision to relist (versus hold) the purchased charity NFTs (a sign of strategic generosity), and based on an individual's degree of social exposure within the NFT marketplace. We show that charity-NFT "relisters" experience significant penalties in the market, in terms of the prices they are able to command on other NFT listings, particularly among those who relist quickly and those who are more socially exposed. Our study underscores the growing importance of digital visibility and traceability, features that characterize crypto-philanthropy, and online philanthropy more broadly.


title: Annular Links from Thompson's Group $T$

abstract: In 2014 Jones showed how to associate links in the $3$-sphere to elements of Thompson's group $F$. We provide an analogue of this program for annular links and Thompson's group $T$. The main result is that any edge-signed graph embedded in the annulus is the Tait graph of an annular link built from an element of $T$. In analogy to the work of Aiello and Conti, we also show that the coefficients of certain unitary representations of $T$ recover the Jones polynomial of annular links.


title: Probing the Spin-Induced Quadrupole Moment of Massive Black Holes with the Inspiral of Binary Black Holes

abstract: One of the most important sources for the space-borne gravitational wave detectors such as TianQin and LISA, is the merger of massivie black hole binaries. Using the inspiral signals, we can probe the properties of the massive black holes, such as the spin-induced multipole moments. By verifying the relation among the mass, spin and quadrupole moment, the no-hair theoreom can be tested. In this work, we analysed the capability on probing the spin-induced quadrupole moment with the inspiral signal of massive black hole binaries using space-borne gravitational wave detectors. Using the Fisher information matrix, we find that the deviation of quadrupole moment can be constrained to the level of $10^{-1}$, and the events with higher mass-ratio will give a better constraint. We also find that the late inspiral part will dominate the result of parameter estimation. The result of Bayesian analysis shows that the capability will be improved by a few times due to the consideration of higher modes. We also calculate the Bayes factor, and the results indicate that the model of black hole and Boson star can be distinguished undoubtedly.


title: A concise proof of Commoner's theorem

abstract: The textbook proofs of Commoner's theorem characterizing liveness in free-choice Petri nets are given in contexts of technical notions and claims that make the proofs look a bit long. The aim of this note is to give a concise self-contained proof.


title: Resource-constrained stereo singing voice cancellation

abstract: We study the problem of stereo singing voice cancellation, a subtask of music source separation, whose goal is to estimate an instrumental background from a stereo mix. We explore how to achieve performance similar to large state-of-the-art source separation networks starting from a small, efficient model for real-time speech separation. Such a model is useful when memory and compute are limited and singing voice processing has to run with limited look-ahead. In practice, this is realised by adapting an existing mono model to handle stereo input. Improvements in quality are obtained by tuning model parameters and expanding the training set. Moreover, we highlight the benefits a stereo model brings by introducing a new metric which detects attenuation inconsistencies between channels. Our approach is evaluated using objective offline metrics and a large-scale MUSHRA trial, confirming the effectiveness of our techniques in stringent listening tests.


title: Beyond TreeSHAP: Efficient Computation of Any-Order Shapley Interactions for Tree Ensembles

abstract: While shallow decision trees may be interpretable, larger ensemble models like gradient-boosted trees, which often set the state of the art in machine learning problems involving tabular data, still remain black box models. As a remedy, the Shapley value (SV) is a well-known concept in explainable artificial intelligence (XAI) research for quantifying additive feature attributions of predictions. The model-specific TreeSHAP methodology solves the exponential complexity for retrieving exact SVs from tree-based models. Expanding beyond individual feature attribution, Shapley interactions reveal the impact of intricate feature interactions of any order. In this work, we present TreeSHAP-IQ, an efficient method to compute any-order additive Shapley interactions for predictions of tree-based models. TreeSHAP-IQ is supported by a mathematical framework that exploits polynomial arithmetic to compute the interaction scores in a single recursive traversal of the tree, akin to Linear TreeSHAP. We apply TreeSHAP-IQ on state-of-the-art tree ensembles and explore interactions on well-established benchmark datasets.


title: Spotting LLMs With Binoculars: Zero-Shot Detection of Machine-Generated Text

abstract: Detecting text generated by modern large language models is thought to be hard, as both LLMs and humans can exhibit a wide range of complex behaviors. However, we find that a score based on contrasting two closely related language models is highly accurate at separating human-generated and machine-generated text. Based on this mechanism, we propose a novel LLM detector that only requires simple calculations using a pair of pre-trained LLMs. The method, called Binoculars, achieves state-of-the-art accuracy without any training data. It is capable of spotting machine text from a range of modern LLMs without any model-specific modifications. We comprehensively evaluate Binoculars on a number of text sources and in varied situations. Over a wide range of document types, Binoculars detects over 90% of generated samples from ChatGPT (and other LLMs) at a false positive rate of 0.01%, despite not being trained on any ChatGPT data.


title: An Irredundant and Compressed Data Layout to Optimize Bandwidth Utilization of FPGA Accelerators

abstract: Memory bandwidth is known to be a performance bottleneck for FPGA accelerators, especially when they deal with large multi-dimensional data-sets. A large body of work focuses on reducing of off-chip transfers, but few authors try to improve the efficiency of transfers. This paper addresses the later issue by proposing (i) a compiler-based approach to accelerator's data layout to maximize contiguous access to off-chip memory, and (ii) data packing and runtime compression techniques that take advantage of this layout to further improve memory performance. We show that our approach can decrease the I/O cycles up to $7\times$ compared to un-optimized memory accesses.


title: Cross-lingual Transfer Learning for Javanese Dependency Parsing

abstract: While structure learning achieves remarkable performance in high-resource languages, the situation differs for under-represented languages due to the scarcity of annotated data. This study focuses on assessing the efficacy of transfer learning in enhancing dependency parsing for Javanese, a language spoken by 80 million individuals but characterized by limited representation in natural language processing. We utilized the Universal Dependencies dataset consisting of dependency treebanks from more than 100 languages, including Javanese. We propose two learning strategies to train the model: transfer learning (TL) and hierarchical transfer learning (HTL). While TL only uses a source language to pre-train the model, the HTL method uses a source language and an intermediate language in the learning process. The results show that our best model uses the HTL method, which improves performance with an increase of 10% for both UAS and LAS evaluations compared to the baseline model.


title: The time slot allocation problem in liberalised passenger railway markets: a multi-objective approach

abstract: The liberalisation of the European passenger railway markets through the European Directive EU 91/440/EEC states a new scenario where different Railway Undertakings compete with each other in a bidding process for time slots. The infrastructure resources are provided by the Infrastructure Manager, who analyses and assesses the bids received, allocating the resources to each Railway Undertaking. Time slot allocation is a fact that drastically influences the market equilibrium. In this paper, we address the time slot allocation problem within the context of a liberalized passenger railway market as a multi-objective model. The Infrastructure Manager is tasked with selecting a point from the Pareto front as the solution to the time slot allocation problem. We propose two criteria for making this selection: the first one allocates time slots to each company according to a set of priorities, while the second one introduces a criterion of fairness in the treatment of companies to incentive competition. The assessment of the impact of these rules on market equilibrium has been conducted on a liberalized high-speed corridor within the Spanish railway network.


title: DeepCERES: A Deep learning method for cerebellar lobule segmentation using ultra-high resolution multimodal MRI

abstract: This paper introduces a novel multimodal and high-resolution human brain cerebellum lobule segmentation method. Unlike current tools that operate at standard resolution ($1 \text{ mm}^{3}$) or using mono-modal data, the proposed method improves cerebellum lobule segmentation through the use of a multimodal and ultra-high resolution ($0.125 \text{ mm}^{3}$) training dataset. To develop the method, first, a database of semi-automatically labelled cerebellum lobules was created to train the proposed method with ultra-high resolution T1 and T2 MR images. Then, an ensemble of deep networks has been designed and developed, allowing the proposed method to excel in the complex cerebellum lobule segmentation task, improving precision while being memory efficient. Notably, our approach deviates from the traditional U-Net model by exploring alternative architectures. We have also integrated deep learning with classical machine learning methods incorporating a priori knowledge from multi-atlas segmentation, which improved precision and robustness. Finally, a new online pipeline, named DeepCERES, has been developed to make available the proposed method to the scientific community requiring as input only a single T1 MR image at standard resolution.


title: NLP-based Relation Extraction Methods in Requirements Engineering

abstract: In the context of requirements engineering, relation extraction is the task of documenting the traceability between requirements artefacts. When dealing with textual requirements (i.e., requirements expressed using natural language), relation extraction becomes a cognitively challenging task, especially in terms of ambiguity and required effort from domain-experts. Hence, in highly-adaptive, large-scale environments, effective and efficient automated relation extraction using natural language processing techniques becomes essential. In this chapter, we present a comprehensive overview of natural language-based relation extraction from text-based requirements. We initially describe the fundamentals of requirements relations based on the most relevant literature in the field, including the most common requirements relations types. The core of the chapter is composed by two main sections: (i) natural language techniques for the identification and categorization of requirements relations (i.e., syntactic vs. semantic techniques), and (ii) information extraction methods for the task of relation extraction (i.e., retrieval-based vs. machine learning-based methods). We complement this analysis with the state-of-the-art challenges and the envisioned future research directions. Overall, this chapter aims at providing a clear perspective on the theoretical and practical fundamentals in the field of natural language-based relation extraction.


title: Human Impression of Humanoid Robots Mirroring Social Cues

abstract: Mirroring non-verbal social cues such as affect or movement can enhance human-human and human-robot interactions in the real world. The robotic platforms and control methods also impact people's perception of human-robot interaction. However, limited studies have compared robot imitation across different platforms and control methods. Our research addresses this gap by conducting two experiments comparing people's perception of affective mirroring between the iCub and Pepper robots and movement mirroring between vision-based iCub control and Inertial Measurement Unit (IMU)-based iCub control. We discovered that the iCub robot was perceived as more humanlike than the Pepper robot when mirroring affect. A vision-based controlled iCub outperformed the IMU-based controlled one in the movement mirroring task. Our findings suggest that different robotic platforms impact people's perception of robots' mirroring during HRI. The control method also contributes to the robot's mirroring performance. Our work sheds light on the design and application of different humanoid robots in the real world.


title: Observations of magnetic reconnection in the deep solar atmosphere in the H-epsilon line

abstract: Magnetic reconnection in the deep solar atmosphere can give rise to enhanced emission in the Balmer hydrogen lines, a phenomenon known as Ellerman bombs (EBs). It is most common to observe EBs in the H-alpha and H-beta lines. High quality shorter wavelength Balmer line observations of EBs are rare but have the potential to provide the most highly resolved view on reconnection. We evaluate the H-epsilon 3970 A line as an EB diagnostic by analyzing high quality observations in different Balmer lines. Observations of different targets and viewing angles were acquired with the Swedish 1-m Solar Telescope. These observations sample EBs in different environments: active regions, quiet Sun, and the penumbra and moat of a sunspot. We employed an automated detection method for quiet Sun EBs based on k-means clustering. Ellerman bombs in the H-epsilon line show similar characteristics as in the longer wavelength Balmer lines: enhanced intensity as compared to the surroundings, rapid variability, and flame-like morphology. In a 24 min quiet Sun time series, we detected 1674 EBs in the H-epsilon line which is 1.7 times more than in H-beta. The quiet Sun EBs measured in H-epsilon are very similar as in H-beta: they have similar lifetimes, area, brightness, and spatial distribution. Most of the EBs detected in H-epsilon are closer to the limb than their H-beta counterparts. This can be explained by the H-epsilon line core EB emission being formed higher in the atmosphere than the H-beta EB wing emission. We conclude that the H-epsilon line is well suited for studying EBs and consequently probes the dynamics of magnetic reconnection in the solar atmosphere at the smallest scales. Our findings suggests that the deep atmosphere in the quiet Sun may host more than 750,000 reconnection events with EB signature at any time. That is significantly more than what was found in earlier H-beta observations.


title: Temporal Blind Spots in Large Language Models

abstract: Large language models (LLMs) have recently gained significant attention due to their unparalleled ability to perform various natural language processing tasks. These models, benefiting from their advanced natural language understanding capabilities, have demonstrated impressive zero-shot performance. However, the pre-training data utilized in LLMs is often confined to a specific corpus, resulting in inherent freshness and temporal scope limitations. Consequently, this raises concerns regarding the effectiveness of LLMs for tasks involving temporal intents. In this study, we aim to investigate the underlying limitations of general-purpose LLMs when deployed for tasks that require a temporal understanding. We pay particular attention to handling factual temporal knowledge through three popular temporal QA datasets. Specifically, we observe low performance on detailed questions about the past and, surprisingly, for rather new information. In manual and automatic testing, we find multiple temporal errors and characterize the conditions under which QA performance deteriorates. Our analysis contributes to understanding LLM limitations and offers valuable insights into developing future models that can better cater to the demands of temporally-oriented tasks. The code is available\footnote{https://github.com/jwallat/temporalblindspots}.


title: Collaborative Reinforcement Learning Based Unmanned Aerial Vehicle (UAV) Trajectory Design for 3D UAV Tracking

abstract: In this paper, the problem of using one active unmanned aerial vehicle (UAV) and four passive UAVs to localize a 3D target UAV in real time is investigated. In the considered model, each passive UAV receives reflection signals from the target UAV, which are initially transmitted by the active UAV. The received reflection signals allow each passive UAV to estimate the signal transmission distance which will be transmitted to a base station (BS) for the estimation of the position of the target UAV. Due to the movement of the target UAV, each active/passive UAV must optimize its trajectory to continuously localize the target UAV. Meanwhile, since the accuracy of the distance estimation depends on the signal-to-noise ratio of the transmission signals, the active UAV must optimize its transmit power. This problem is formulated as an optimization problem whose goal is to jointly optimize the transmit power of the active UAV and trajectories of both active and passive UAVs so as to maximize the target UAV positioning accuracy. To solve this problem, a Z function decomposition based reinforcement learning (ZD-RL) method is proposed. Compared to value function decomposition based RL (VD-RL), the proposed method can find the probability distribution of the sum of future rewards to accurately estimate the expected value of the sum of future rewards thus finding better transmit power of the active UAV and trajectories for both active and passive UAVs and improving target UAV positioning accuracy. Simulation results show that the proposed ZD-RL method can reduce the positioning errors by up to 39.4% and 64.6%, compared to VD-RL and independent deep RL methods, respectively.


title: Atomistic calculation of the f0 attempt frequency in Fe3O4 magnetite nanoparticles

abstract: The Arrhenius law predicts the transition time between equilibrium states in physical systems due to thermal activation, with broad applications in material science, magnetic hyperthermia and paleomagnetism where it is used to estimate the transition time and thermal stability of assemblies of magnetic nanoparticles. Magnetite is a material of great importance in paleomagnetic studies and magnetic hyperthermia but existing estimates of the attempt frequency $f_0$ vary by several orders of magnitude in the range $10^7-10^{13}$ Hz, leading to significant uncertainty in their relaxation rate. Here we present a dynamical method enabling full parameterization of the Arrhenius-N\'eel law using atomistic spin dynamics. We determine the temperature and volume dependence of the attempt frequency of magnetite nanoparticles with cubic anisotropy and find a value of $f_0 = 0.562 \pm 0.059$ GHz at room temperature. For particles with enhanced anisotropy we find a significant increase in the attempt frequency and a strong temperature dependence suggesting an important role of anisotropy. The method is applicable to a wide range of dynamical systems where different states can be clearly identified and enables robust estimates of domain state stabilities, with particular importance in the rapidly developing field of micromagnetic analysis of paleomagnetic recordings where samples can be numerically reconstructed to provide a better understanding of geomagnetic recording fidelity over geological time scales.


title: On the stability of hybrid polycycles

abstract: In this paper we provide the stability of generic polycycles of hybrid planar vector fields, extending previous known results in the literature.


title: Matching biomolecular structures by registration of point clouds

abstract: Motivation: Assessing the match between two biomolecular structures is at the heart of structural analyses such as superposition, alignment and docking. These tasks are typically solved with specialized structure-matching techniques implemented in software for protein structural alignment, rigid-body docking, or rigid fitting into cryo-EM maps. Results: We present a unifying framework to compare biomolecular structures by applying ideas from computer vision. The structures are represented as three-dimensional point clouds and compared by quantifying their overlap. We use the kernel correlation to measure point cloud overlap, and discuss local and global optimization strategies for maximizing the kernel correlation over the space of rigid transformations. We derive a majorization-minimization procedure that can be used to register two point clouds without establishing a point-to-point correspondence. We demonstrate that the majorization-minimization algorithms outperform the commonly used Iterative Closest Point registration algorithm. Furthermore, we discuss and benchmark a randomization strategy for globally optimizing the kernel correlation. We illustrate the approach on various 3D fitting problems such as the comparison of circularly permuted structures and rigid fitting of cryo-EM maps or bead models from small-angle scattering.


title: Evaluations of $ \sum_{k=1}^\infty \frac{x^k}{k^2\binom{3k}{k}}$ and related series

abstract: We perform polylogarithmic reductions for several classes of infinite sums motivated by Z.-W. Sun's related works in 2022--2023. For certain choices of parameters, these series can be expressed by cyclotomic multiple zeta values of levels $4$, $5$, $6$, $7$, $8$, $9$, $10$, and $12$. In particular, we obtain closed forms of the series $$\sum_{k=0}^\infty\frac{x_0^k}{(k+1)\binom{3k}k} \ \ \text{and}\ \ \sum_{k=1}^\infty\frac{x_0^k}{k^2\binom{3k}k}$$ for any $x_0\in(-27/4,27/4)$.


title: Temporal Aggregation for the Synthetic Control Method

abstract: The synthetic control method (SCM) is a popular approach for estimating the impact of a treatment on a single unit with panel data. Two challenges arise with higher frequency data (e.g., monthly versus yearly): (1) achieving excellent pre-treatment fit is typically more challenging; and (2) overfitting to noise is more likely. Aggregating data over time can mitigate these problems but can also destroy important signal. In this paper, we bound the bias for SCM with disaggregated and aggregated outcomes and give conditions under which aggregating tightens the bounds. We then propose finding weights that balance both disaggregated and aggregated series.


title: Consistency Based Unsupervised Self-training For ASR Personalisation

abstract: On-device Automatic Speech Recognition (ASR) models trained on speech data of a large population might underperform for individuals unseen during training. This is due to a domain shift between user data and the original training data, differed by user's speaking characteristics and environmental acoustic conditions. ASR personalisation is a solution that aims to exploit user data to improve model robustness. The majority of ASR personalisation methods assume labelled user data for supervision. Personalisation without any labelled data is challenging due to limited data size and poor quality of recorded audio samples. This work addresses unsupervised personalisation by developing a novel consistency based training method via pseudo-labelling. Our method achieves a relative Word Error Rate Reduction (WERR) of 17.3% on unlabelled training data and 8.1% on held-out data compared to a pre-trained model, and outperforms the current state-of-the art methods.


title: West-of-N: Synthetic Preference Generation for Improved Reward Modeling

abstract: The success of reinforcement learning from human feedback (RLHF) in language model alignment is strongly dependent on the quality of the underlying reward model. In this paper, we present a novel approach to improve reward model quality by generating synthetic preference data, thereby augmenting the training dataset with on-policy, high-quality preference pairs. Motivated by the promising results of Best-of-N sampling strategies in language model training, we extend their application to reward model training. This results in a self-training strategy to generate preference pairs by selecting the best and worst candidates in a pool of responses to a given query. Empirically, we find that this approach improves the performance of any reward model, with an effect comparable to the addition of a similar quantity of human preference data. This work opens up new avenues of research for improving RLHF for language model alignment, by offering synthetic preference generation as a solution to reward modeling challenges.


title: Revisiting Demonstration Selection Strategies in In-Context Learning

abstract: Large language models (LLMs) have shown an impressive ability to perform a wide range of tasks using in-context learning (ICL), where a few examples are used to describe a task to the model. However, the performance of ICL varies significantly with the choice of demonstrations, and it is still unclear why this happens or what factors will influence its choice. In this work, we first revisit the factors contributing to this variance from both data and model aspects, and find that the choice of demonstration is both data- and model-dependent. We further proposed a data- and model-dependent demonstration selection method, \textbf{TopK + ConE}, based on the assumption that \textit{the performance of a demonstration positively correlates with its contribution to the model's understanding of the test samples}, resulting in a simple and effective recipe for ICL. Empirically, our method yields consistent improvements in both language understanding and generation tasks with different model scales. Further analyses confirm that, besides the generality and stability under different circumstances, our method provides a unified explanation for the effectiveness of previous methods. Code will be released.


title: Unsupervised Learning of Graph from Recipes

abstract: Cooking recipes are one of the most readily available kinds of procedural text. They consist of natural language instructions that can be challenging to interpret. In this paper, we propose a model to identify relevant information from recipes and generate a graph to represent the sequence of actions in the recipe. In contrast with other approaches, we use an unsupervised approach. We iteratively learn the graph structure and the parameters of a $\mathsf{GNN}$ encoding the texts (text-to-graph) one sequence at a time while providing the supervision by decoding the graph into text (graph-to-text) and comparing the generated text to the input. We evaluate the approach by comparing the identified entities with annotated datasets, comparing the difference between the input and output texts, and comparing our generated graphs with those generated by state of the art methods.


title: Trainability of a quantum-classical machine in the NISQ era

abstract: Advancements in classical computing have significantly enhanced machine learning applications, yet inherent limitations persist in terms of energy, resource and speed. Quantum machine learning algorithms offer a promising avenue to overcome these limitations but bring along their own challenges. This experimental study explores the limits of trainability of a real experimental quantum classical hybrid system implementing supervised training protocols, in an ion trap platform. Challenges associated with ion trap-coupled classical processor are addressed, highlighting the robustness of the genetic algorithm as a classical optimizer in navigating complex optimization landscape inherent in binary classification problems with many local minima. Experimental results, focused on a binary classification problem, reveal the superior efficiency and accuracy of the genetic algorithm compared to gradient-based optimizers. We intricately discuss why gradient-based optimizers may not be suitable in the NISQ era through thorough analysis. These findings contribute insights into the performance of quantum-classical hybrid systems, emphasizing the significance of efficient training strategies and hardware considerations for practical quantum machine learning applications. This work not only advances the understanding of hybrid quantum-classical systems but also underscores the potential impact on real-world challenges through the convergence of quantum and classical computing paradigms operating without the aid of classical simulators.


title: Sch\"on complete intersections

abstract: A complete intersection $f_1=\cdots=f_k=0$ is sch\"on, if $f_1=\cdots=f_j=0$ defines a sch\"on subvariety of an algebraic torus for every $j\leqslant k$. This class includes nondegenerate complete intersections, critical loci of their coordinate projections, other simplest Thom--Boardman and multiple point strata of such projections, generalized Calabi--Yau complete intersections, equaltions of polynomial optimization, hyperplane arrangement complements, and many other interesting special varieties. We study their Euler characteristics, connectednes, Calabi--Yau-ness, tropicalizations, etc., extending (in part conjecturally) the respective classical results about nondegenerate complete intersections.


title: Quantum Eigensolver for General Matrices

abstract: The eigenvalue problem, a cornerstone in linear algebra, provides profound insights into studying matrix properties. Quantum algorithms addressing this problem have hitherto been constrained to special normal matrices assuming spectral decomposition, leaving the extension to general matrices an open challenge. In this work, we present a novel family of quantum algorithms tailored for solving the eigenvalue problem for general matrices, encompassing scenarios with complex eigenvalues or even defective matrices. Our approach begins by tackling the task of searching for an eigenvalue without additional constraints. For diagonalizable matrices, our algorithm has $\tilde O(\varepsilon^{-1})$ complexity with an error $\varepsilon$, achieving the nearly Heisenberg scaling. Subsequently, we study the identification of eigenvalues closest to a specified point or line, extending the results for ground energy and energy gap problems in Hermitian matrices. We achieve an accuracy scaling of $\tilde O(\varepsilon^{-2})$ for general diagonalizable matrices, further refining to $\tilde O(\varepsilon^{-1})$ under the condition of real eigenvalues or constant distance from the reference point. The algorithm's foundation lies in the synergy of three techniques: the relationship between eigenvalues of matrix $A$ and the minimum singular value of $A-\mu I$, quantum singular value threshold subroutine extended from quantum singular-value estimation, and problem-specific searching algorithms. Our algorithms find applications in diverse domains, including estimating the relaxation time of Markov chains, solving Liouvillian gaps in open quantum systems, and verifying PT-symmetry broken/unbroken phases. These applications underscore the significance of our quantum eigensolvers for problems across various disciplines.

categories: quant-ph cond-mat.mes-hall cs.DS cs.NA math.NA physics.comp-ph


title: Discrete symmetries tested at 10$^{-4}$ precision using linear polarization of photons from positronium annihilations

abstract: Discrete symmetries play an important role in particle physics with violation of CP connected to the matter-antimatter imbalance in the Universe. We report the most precise test of P, T and CP invariance in decays of ortho-positronium, performed with methodology involving polarization of photons from these decays. Positronium, the simplest bound state of an electron and positron, is of recent interest with discrepancies reported between measured hyperfine energy structure and theory at the level of $10^{-4}$ signaling a need for better understanding of the positronium system at this level. We test discrete symmetries using photon polarizations determined via Compton scattering in the dedicated J-PET tomograph on an event-by-event basis and without the need to control the spin of the positronium with an external magnetic field, in contrast to previous experiments. Our result is consistent with QED expectations at the level of 0.0007 and one standard deviation.


title: Monitoring the Future of Smart Contracts

abstract: Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and received. Smart contracts can invoke other smart contracts during the execution of transactions always initiated by external users. Once deployed, smart contracts cannot be modified, so techniques like runtime verification are very appealing for improving their reliability. However, the conventional model of computation of smart contracts is transactional: once operations commit, their effects are permanent and cannot be undone. In this paper, we proposed the concept of future monitors which allows monitors to remain waiting for future transactions to occur before committing or aborting. This is inspired by optimistic rollups, which are modern blockchain implementations that increase efficiency (and reduce cost) by delaying transaction effects. We exploit this delay to propose a model of computation that allows (bounded) future monitors. We show our monitors correct respect of legacy transactions, how they implement future bounded monitors and how they guarantee progress. We illustrate the use of future bounded monitors to implement correctly multi-transaction flash loans.


title: CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits

abstract: This paper shows that calculating $k$-CLIQUE on $n$ vertex graphs, requires the AND of at least $2^{n/4k}$ monotone, constant-depth, and polynomial-sized circuits, for sufficiently large values of $k$. The proof relies on a new, monotone, one-sided switching lemma, designed for cliques.


title: On the growth of resolvent of Toeplitz operators

abstract: We study the growth of the resolvent of a Toeplitz operator $T_b$, defined on the Hardy space, in terms of the distance to its spectrum $\sigma(T_b)$. We are primarily interested in the case when the symbol $b$ is a Laurent polynomial (\emph{i.e., } the matrix $T_b$ is banded). We show that for an arbitrary such symbol the growth of the resolvent is quadratic, and under certain additional assumption it is linear. We also prove the quadratic growth of the resolvent for a certain class of non-rational symbols.


title: The inverse problem for a class of implicit differential equations and the coisotropic embedding theorem

abstract: We carry on the approach used in [Sch] to provide a solution for the inverse problem of the calculus of variations for Maxwell equations in vacuum and we provide an abstract theory including all implicit differential equations that can be formulated in terms of vector fields over pre-symplectic manifolds.


title: An Empirical Study of In-context Learning in LLMs for Machine Translation

abstract: Recent interest has surged in employing Large Language Models (LLMs) for machine translation (MT) via in-context learning (ICL) (Vilar et al., 2023). Most prior studies primarily focus on optimizing translation quality, with limited attention to understanding the specific aspects of ICL that influence the said quality. To this end, we perform the first of its kind, an exhaustive study of in-context learning for machine translation. We first establish that ICL is primarily example-driven and not instruction-driven. Following this, we conduct an extensive exploration of various aspects of the examples to understand their influence on downstream performance. Our analysis includes factors such as quality and quantity of demonstrations, spatial proximity, and source versus target originality. Further, we also investigate challenging scenarios involving indirectness and misalignment of examples to understand the limits of ICL. While we establish the significance of the quality of the target distribution over the source distribution of demonstrations, we further observe that perturbations sometimes act as regularizers, resulting in performance improvements. Surprisingly, ICL does not necessitate examples from the same task, and a related task with the same target distribution proves sufficient. We hope that our study acts as a guiding resource for considerations in utilizing ICL for MT. Our code is available on https://github.com/PranjalChitale/in-context-mt-analysis.


title: SrCu(OH)$_3$Cl, an ideal isolated equilateral triangle spin $S$ = 1/2 model system

abstract: We have investigated the magnetic ground state properties of the quantum spin trimer compound strontium hydroxy copper chloride SrCu(OH)$_3$Cl using bulk magnetization, specific heat measurements, nuclear magnetic resonance (NMR), and electron spin resonance (ESR) spectroscopy. SrCu(OH)$_3$Cl consists of layers with isolated Cu$^{2+}$ triangles and hence provides an opportunity to understand the magnetic ground state of an isolated system of \textit{S} = 1/2 arranged on an equilateral triangle. Although magnetization measurements do not exhibit a phase transition to a long-range ordered state down to \textit{T} = 2 K, they reveal the characteristic behavior of isolated trimers with an exchange of $J = 154$~K. The Curie-Weiss behavior changes around 50--80~K, as is also seen in the NMR spin-lattice relaxation rate. In zero magnetic field, our specific heat data establish a second-order phase transition to an antiferromagnetic ground state below \textit{T}= 1.2 K. We have drawn a magnetic field-temperature ($H$-$T$) phase diagram based on the specific heat measurements. The ESR data show divergence of the linewidth at lower temperatures, which precedes the phase transition to an antiferromagnetic long-range ordered state with unconventional critical exponents. The temperature variation of the $g$-factor further confirms the antiferromagnetic phase transition and reflects the underlying magneto-crystalline anisotropy of the compound.


title: Engineered complete intersections: slightly degenerate Bernstein--Kouchnirenko--Khovanskii

abstract: Geometry of sparse systems of polynomial equations (i.e. the ones with prescribed monomials and generic coefficients) is well studied in terms of their Newton polytopes. The results of this study are colloquially known as the Bernstein--Kouchnirenko--Khovanskii toolkit, and unfortunately are not applicable to many important systems, whose coefficients slightly fail to be generic. This for instance happens if some of the equations are obtained from another one by taking partial derivatives or permuting the variables, or the equations are linear, realizing a non-trivial matroid, or in more advanced settings such as generalized Calabi--Yau complete intersections. Such interesting examples (as well as many others) turn out to belong to a natural class of ``systems of equations that are nondegenerate upon cancellations''. We extend to this class several classical and folklore results of the Bernstein--Kouchnirenko--Khovanskii toolkit, such as the ones regarding the number and regularity of solutions, their irreducibility, tropicalization and Calabi--Yau-ness.


title: Metrics matter, a Formal comment on Ward et al Plos-One 2016 paper : Is decoupling GDP growth from environmental impact possible?

abstract: The Ward et al. (2016) Plos-One paper is an important, heavily-cited paper in the decoupling literature. The authors present evidence of 1990-2015 growth in material and energy consumption and GDP at a world level, and for selected countries. They find only relative decoupling has occurred, leading to their central claim that future absolute decoupling is implausible. However, the authors have made two key errors in their collected data: GDP data is in current prices which includes inflation, and their global material use data is the total mass of fossil energy materials. Strictly, GDP data should be in constant prices to allow for its comparison over time, and material inputs to an economy should be the sum of mineral raw materials. Amending for these errors, we find much smaller levels of energy-GDP relative decoupling, and no materials-GDP decoupling at all at a global level. We check these new results by adding data for 1900-1990 to provide a longer time series, and find consistently low (and even no) levels of global relative decoupling of material use. The central claim for materials over the implausibility of future absolute decoupling therefore not only remains valid but is reinforced by the corrected datasets.


title: Effective Abelian Lattice Gauge Field Theories for scalar-matter-monopole interactions

abstract: We present a gauge and Lorentz invariant effective field theory model for the interaction of a charged scalar matter field with a magnetic monopole source, described by an external magnetic current. The quantum fluctuations of the monopole field are described effectively by a strongly-coupled ``dual'' $U_{\rm d}(1)$ gauge field, which is independent of the electromagnetic $U_{\rm em}(1)$ gauge field. The effective interactions of the charged matter with the monopole source are described by a gauge invariant mixed Chern-Simons-like (Pontryagin-density) term between the two $U(1)$ gauge fields. The latter interaction coupling is left free, and a Lattice study of the system is performed with the aim of determining the phase structure of this effective theory. Our study shows that, in the spontaneously-broken-symmetry phase, the monopole source triggers, via the mixed Chern-Simons term, which is non-trivial in its presence, the generation of a dynamical singular configuration (magnetic-monopole-like) for the respective gauge fields. The scalar field also behaves in the broken phase in a way similar to that of the scalar sector of the `t Hooft-Polyakov monopole.


title: Shear Layers and Plugs in the Capillary Flow of Wormlike Micellar Gels

abstract: Wormlike micellar solutions formed by long-chained zwitterionic surfactants show gel-like rheology at room temperature and have recently been found to exhibit other complex and interesting rheological features. We study the dynamics of these wormlike micellar gels in a pipe-flow scenario using optical coherence tomography-based velocimetry and report the existence of plug flows with strong wall slip and non-parabolic velocity profiles for different surfactant concentrations and imposed flow rates. We rationalize these results as features of a developing transient flow of a viscoelastic solution in space and time and show that these shear layers indicate a flow induced heterogeneity. Our experiments shed light on the transient fluid dynamics of wormlike micelles in simple geometries and highlight the complexity of flows involving wormlike micellar gels and similar soft matter systems in canonical flows.


title: LearnedWMP: Workload Memory Prediction Using Distribution of Query Templates

abstract: In a modern DBMS, working memory is frequently the limiting factor when processing in-memory analytic query operations such as joins, sorting, and aggregation. Existing resource estimation approaches for a DBMS estimate the resource consumption of a query by computing an estimate of each individual database operator in the query execution plan. Such an approach is slow and error-prone as it relies upon simplifying assumptions, such as uniformity and independence of the underlying data. Additionally, the existing approach focuses on individual queries separately and does not factor in other queries in the workload that may be executed concurrently. In this research, we are interested in query performance optimization under concurrent execution of a batch of queries (a workload). Specifically, we focus on predicting the memory demand for a workload rather than providing separate estimates for each query within it. We introduce the problem of workload memory prediction and formalize it as a distribution regression problem. We propose Learned Workload Memory Prediction (LearnedWMP) to improve and simplify estimating the working memory demands of workloads. Through a comprehensive experimental evaluation, we show that LearnedWMP reduces the memory estimation error of the state-of-the-practice method by up to 47.6%. Compared to an alternative single-query model, during training and inferencing, the LearnedWMP model and its variants were 3x to 10x faster. Moreover, LearnedWMP-based models were at least 50% smaller in most cases. Overall, the results demonstrate the advantages of the LearnedWMP approach and its potential for a broader impact on query performance optimization.


title: Ground and Excited States from Ensemble Variational Principles

abstract: The extension of the Rayleigh-Ritz variational principle to ensemble states $\rho_{\mathbf{w}}\equiv\sum_k w_k |\Psi_k\rangle \langle\Psi_k|$ with fixed weights $w_k$ lies ultimately at the heart of several recent methodological developments for targeting excitation energies by variational means. Prominent examples are density and density matrix functional theory, Monte Carlo sampling, state-average complete active space self-consistent field methods and variational quantum eigensolvers. In order to provide a sound basis for all these methods and to improve their current implementations, we prove the validity of the underlying critical hypothesis: Whenever the ensemble energy is well-converged, the same holds true for the ensemble state $\rho_{\mathbf{w}}$ as well as the individual eigenstates $|\Psi_k\rangle$ and eigenenergies $E_k$. To be more specific, we derive linear bounds $d_-\Delta{E}_{\mathbf{w}} \leq \Delta Q \leq d_+ \Delta\Delta{E}_{\mathbf{w}}$ on the errors $\Delta Q $ of these sought-after quantities. A subsequent analytical analysis and numerical illustration proves the tightness of our universal inequalities. Our results and particularly the explicit form of $d_{\pm}\equiv d_{\pm}^{(Q)}(\mathbf{w},\mathbf{E})$ provide valuable insights into the optimal choice of the auxiliary weights $w_k$ in practical applications.

categories: quant-ph math-ph math.MP physics.chem-ph


title: Magic Can Enhance the Quantum Capacity of Channels

abstract: We investigate the role of magic in the quantum capacity of channels. We consider the quantum channel of the recently proposed discrete beam splitter with the fixed environment state. We find that if the fixed environment state is a stabilizer state, then the quantum capacity is zero. Moreover, we find that the quantum capacity is nonzero for some magic states, and the quantum capacity increases linearly with respect to the number of single-qudit magic states in the environment. These results suggest that magic can increase the quantum capacity of channels, which sheds new insight into the role of stabilizer and magic states in quantum communication.


title: Geometric Phase of a Transmon in a Dissipative Quantum Circuit

abstract: Superconducting circuits reveal themselves as promising physical devices with multiple uses. Within those uses, the fundamental concept of the geometric phase accumulated by the state of a system shows up recurrently, as, for example, in the construction of geometric gates. Given this framework, we study the geometric phases acquired by a paradigmatic setup: a transmon coupled to a superconductor resonating cavity. We do so both for the case in which the evolution is unitary and when it is subjected to dissipative effects. These models offer a comprehensive quantum description of an anharmonic system interacting with a single mode of the electromagnetic field within a perfect or dissipative cavity, respectively. In the dissipative model, the non-unitary effects arise from dephasing, relaxation, and decay of the transmon coupled to its environment. Our approach enables a comparison of the geometric phases obtained in these models, leading to a thorough understanding of the corrections introduced by the presence of the environment.


title: Energy-aware Trajectory Optimization for UAV-mounted RIS and Full-duplex Relay

abstract: In the evolving landscape of sixth-generation (6G) wireless networks, unmanned aerial vehicles (UAVs) have emerged as transformative tools for dynamic and adaptive connectivity. However, dynamically adjusting their position to offer favorable communication channels introduces operational challenges in terms of energy consumption, especially when integrating advanced communication technologies like reconfigurable intelligent surfaces (RISs) and full-duplex relays (FDRs). To this end, by recognizing the pivotal role of UAV mobility, the paper introduces an energy-aware trajectory design for UAV-mounted RISs and UAV-mounted FDRs using the decode and forward (DF) protocol, aiming to maximize the network minimum rate and enhance user fairness, while taking into consideration the available on-board energy. Specifically, this work highlights their distinct energy consumption characteristics and their associated integration challenges by developing appropriate energy consumption models for both UAV-mounted RISs and FDRs that capture the intricate relationship between key factors such as weight, and their operational characteristics. Furthermore, a joint time-division multiple access (TDMA) user scheduling-UAV trajectory optimization problem is formulated, considering the power dynamics of both systems, while assuring that the UAV energy is not depleted mid-air. Finally, simulation results underscore the importance of energy considerations in determining the optimal trajectory and scheduling and provide insights into the performance comparison of UAV-mounted RISs and FDRs in UAV-assisted wireless networks.


title: On-Time Delivery in Crowdshipping Systems: An Agent-Based Approach Using Streaming Data

abstract: In parcel delivery, the "last mile" from the parcel hub to the customer is costly, especially for time-sensitive delivery tasks that have to be completed within hours after arrival. Recently, crowdshipping has attracted increased attention as a new alternative to traditional delivery modes. In crowdshipping, private citizens ("the crowd") perform short detours in their daily lives to contribute to parcel delivery in exchange for small incentives. However, achieving desirable crowd behavior is challenging as the crowd is highly dynamic and consists of autonomous, self-interested individuals. Leveraging crowdshipping for time-sensitive deliveries remains an open challenge. In this paper, we present an agent-based approach to on-time parcel delivery with crowds. Our system performs data stream processing on the couriers' smartphone sensor data to predict delivery delays. Whenever a delay is predicted, the system attempts to forge an agreement for transferring the parcel from the current deliverer to a more promising courier nearby. Our experiments show that through accurate delay predictions and purposeful task transfers many delays can be prevented that would occur without our approach.


title: Weak second-order quantum state diffusion unraveling of the Lindblad master equation

abstract: Abstract Simulating mixed-state evolution in open quantum systems is crucial for various chemical physics, quantum optics, and computer science applications. These simulations typically follow the Lindblad master equation dynamics. An alternative approach known as quantum state diffusion unraveling is based on the trajectories of pure states generated by random wave functions, which evolve according to a nonlinear It\^o-Schr\"odinger equation (ISE). This study introduces weak first- and second-order solvers for the ISE based on directly applying the It\^o-Taylor expansion with exact derivatives in the interaction picture. We tested the method on free and driven Morse oscillators coupled to a thermal environment and found that both orders allowed practical estimation with a few dozen iterations. The variance was relatively small compared to the linear unraveling and did not grow with time. The second-order solver delivers much higher accuracy and stability with bigger time steps than the first-order scheme, with a small additional workload. However, the second-order algorithm has quadratic complexity with the number of Lindblad operators as opposed to the linear complexity of the first-order algorithm.


title: Differentiation of integral Mittag-Leffler and integral Wright functions with respect to parameters

abstract: Derivatives with respect to the parameters of the integral Mittag-Leffler function and the integral Wright function, recently introduced by us, are calculated. These derivatives can be expressed in the form of infinite sums of quotients of the digamma and gamma functions. In some particular cases, these infinite sums are calculated in closed-form with the help of MATHEMATICA. However, parameter differentiation reduction formulas are explicitly derived in order to check some of the results given by MATHEMATICA, as well as to provide many other new results. In addition, we present these infinite sums graphically for particular values of the parameters. Finally, new results for parameter derivatives of the Mittag-Leffler and Wright functions are reported in the Appendices.


title: Constrained Multi-Tildes: Derived Term and Position Automata

abstract: Multi-tildes are regular operators that were introduced to enhance the factorization power of regular expressions, allowing us to add the empty word in several factors of a catenation product of languages. In addition to multi-bars, which dually remove the empty word, they allow representing any acyclic automaton by a linear-sized expression, whereas the lower bound is exponential in the classic case. In this paper, we extend multi-tildes from disjunctive combinations to any Boolean combination, allowing us to exponentially enhance the factorization power of tildes expressions. Moreover, we show how to convert these expressions into finite automata and give a Haskell implementation of them using advanced techniques of functional programming.


title: A quantitative version of the Steinhaus theorem

abstract: The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball and in some cases, relate it to natural geometric properties of $\partial A$. We also study the process $K_n =\frac{1}{2}(K_{n-1} - K_{n-1})$ when $K_0$ is a compact subset of $\mathbb{R}^d$ and determine various aspects of its convergence to $Conv(K_1)$, the convex hull of $K_1$. We discuss some connections with convex geometry, Weyl tube formula and the Kakeya needle problem. \noindent {\it Keywords: Measure theory, Steinhaus theorem, Convex geometry, Weyl tube formula.} \noindent 2020 {\it Mathematics Subject Classification:} Primary: 28A75, 52A27. Secondary: 52A30, 53A07.


title: Extracting Formulae in Many-Valued Logic from Deep Neural Networks

abstract: We propose a new perspective on deep ReLU networks, namely as circuit counterparts of Lukasiewicz infinite-valued logic -- a many-valued (MV) generalization of Boolean logic. An algorithm for extracting formulae in MV logic from deep ReLU networks is presented. As the algorithm applies to networks with general, in particular also real-valued, weights, it can be used to extract logical formulae from deep ReLU networks trained on data.


title: Improved accuracy of continuum surface flux models for metal additive manufacturing melt pool simulations

abstract: Computational modeling of the melt pool dynamics in laser-based powder bed fusion metal additive manufacturing PBF-LB/M promises to shed light on fundamental defect generation mechanisms. These processes are typically accompanied by rapid evaporation so that the evaporation-induced recoil pressure and cooling arise as major driving forces for fluid dynamics and temperature evolution. The magnitude of these interface fluxes depends exponentially on the melt pool surface temperature, which, therefore, has to be predicted with high accuracy. The present work utilizes a diffuse interface model based on a continuum surface flux (CSF) description on the interfaces to study dimensionally reduced thermal two-phase problems representing PBF-LB/M in a finite element framework. It is demonstrated that the extreme temperature gradients combined with the high ratios of material properties between metal and ambient gas lead to significant errors in the interface temperatures and fluxes when classical CSF approaches, along with typical interface thicknesses and discretizations, are applied. A novel parameter-scaled CSF approach is proposed, which is constructed to yield a smoother temperature rate in the diffuse interface region, significantly increasing the solution accuracy. The interface thickness required to predict the temperature field with a given level of accuracy is less restrictive by at least one order of magnitude for the proposed parameter-scaled CSF approach compared to classical CSF, drastically reducing computational costs. Finally, we showcase the general applicability of the parameter-scaled CSF to a three-dimensional simulation of stationary laser melting of PBF-LB/M considering the fully coupled thermo-hydrodynamic multi-phase problem, including phase change.


title: Envelopes of Horospheres and Weingarten Surfaces in Hyperbolic 3-Space

abstract: We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are shown to be closely connected to conformal mappings of domains in S^2 into the unit disk and provide Riemannian interpretations for some conformal invariants associated to such mappings. This paper was originally written in 1984, before I learned to use TeX, and was typed by one of the secretaries in the Princeton Math Department. It was more or less, my first original work after my dissertation. For some reason, I was not able to get this paper published in a timely manner. The results and perspective in this paper have proved to be useful to a variety of people, some of whom asked me to render the article into TeX and post it to the arXiv. I had been seriously thinking about doing this, when Martin Bridgemen sent me a transcription of my original article into TeX. I am extremely grateful to him for the effort he has put into this project. The paper is now formatted in a more or less modern AMS-article style, but for lots of additional punctuation, a few corrections and some minor stylistic changes, the content has been largely reproduced as it originally was. Remarks about the 'state-of-the-art' in hyperbolic geometry are obviously way out of date, as there has been enormous progress in many aspects of this still rich subject.


title: Dynamic control of active droplets using light-responsive chiral liquid crystal environment

abstract: Microscopic active droplets are of interest since they can be used to transport matter from one point to another. The challenge is to control the trajectory. In this work, we demonstrate an approach to control the direction of active droplet propulsion by a photoresponsive cholesteric liquid crystal environment. The active droplet represents a water dispersion of bacterial B. subtilis microswimmers. When placed in a cholesteric, a surfactant-stabilized active droplet distorts the local director field, producing a point defect-hedgehog, which breaks the fore-aft symmetry. The chaotic motion of the bacteria inside the droplet is rectified into directional motion by the asymmetric director field outside the droplet. When the pitch of the cholesteric is altered by visible light irradiation, the asymmetry axis and thus the droplet trajectory realign along a new direction. Droplets realign counterclockwise on exposure to light of 535 nm, and clockwise on exposure to light of 450 nm, as dictated by the photoinduced change in the handedness of the cholesteric. The strategy allows for a non-contact dynamic control of active droplets trajectories and demonstrates the advantage of orientationally ordered media in control of active matter over their isotropic counterparts.


title: The Curious Case of Nonverbal Abstract Reasoning with Multi-Modal Large Language Models

abstract: While large language models (LLMs) are still being adopted to new domains and utilized in novel applications, we are experiencing an influx of the new generation of foundation models, namely multi-modal large language models (MLLMs). These models integrate verbal and visual information, opening new possibilities to demonstrate more complex reasoning abilities at the intersection of the two modalities. However, despite the revolutionizing prospect of MLLMs, our understanding of their reasoning abilities is limited. In this study, we assess the nonverbal abstract reasoning abilities of open-source and closed-source MLLMs using variations of Raven's Progressive Matrices. Our experiments expose the difficulty of solving such problems while showcasing the immense gap between open-source and closed-source models. We also reveal critical shortcomings with individual visual and textual modules, subjecting the models to low-performance ceilings. Finally, to improve MLLMs' performance, we experiment with various methods, such as Chain-of-Thought prompting, resulting in a significant (up to 100%) boost in performance.


title: Measures of the Capital Network of the U.S. Economy

abstract: About two million U.S. corporations and partnerships are linked to each other and human investors by about 15 million owner-subsidiary links. Comparable social networks such as corporate board memberships and socially-built systems such as the network of Internet links are "small worlds," meaning a network with a small diameter and link densities with a power-law distribution, but these properties had not yet been measured for the business entity network. This article shows that both inbound links and outbound links display a power-law distribution with a coefficient of concentration estimable to within a generally narrow confidence interval, overall, for subnetworks including only business entities, only for the great connected component of the network, and in subnetworks with edges associated with certain industries, for all years 2009-2021. In contrast to other networks with power-law distributed link densities, the network is mostly a tree, and has a diameter an order of magnitude larger than a small-world network with the same link distribution. The regularity of the power-law distribution indicates that its coefficient can be used as a new, well-defined macroeconomic metric for the concentration of capital flows in an economy. Economists might use it as a new measure of market concentration which is more comprehensive than measures based only on the few biggest firms. Comparing capital link concentrations across countries would facilitate modeling the relationship between business network characteristics and other macroeconomic indicators.


title: Temperature as Joules per Bit

abstract: Boltzmann's constant reflects a historical misunderstanding of the concept of entropy, whose informational nature is obfuscated when expressed in J/K. We suggest that the development of temperature and energy, historically prior to that of entropy, does not amount to their logical priority: Temperature should be defined in terms of entropy, not vice versa. Following the precepts of information theory, entropy is measured in bits, and coincides with information capacity at thermodynamic equilibrium. Consequently, not only is the temperature of an equilibrated system expressed in J/bit, but it acquires an operational meaning: It is the cost in energy to increase its information capacity by 1 bit. Our proposal also supports the notion of available capacity, analogous to free energy. Finally, it simplifies Landauer's cost and clarifies that it is a cost of displacement, not of erasure.


title: Centralization in Block Building and Proposer-Builder Separation

abstract: The goal of this paper is to rigorously interrogate conventional wisdom about centralization in block-building (due to, e.g., MEV and private order flow) and the outsourcing of block-building by validators to specialists (i.e., proposer-builder separation): 1. Does heterogeneity in skills and knowledge across block producers inevitably lead to centralization? 2. Does proposer-builder separation eliminate heterogeneity and preserve decentralization among proposers? This paper develops mathematical models and results that offer answers to these questions: 1. In a game-theoretic model with endogenous staking, heterogeneous block producer rewards, and staking costs, we quantify the extent to which heterogeneous rewards lead to concentration in the equilibrium staking distribution. 2. In a stochastic model in which heterogeneous block producers repeatedly reinvest rewards into staking, we quantify, as a function of the block producer heterogeneity, the rate at which stake concentrates on the most sophisticated block producers. 3. In a model with heterogeneous proposers and specialized builders, we quantify, as a function of the competitiveness of the builder ecosystem, the extent to which proposer-builder separation reduces the heterogeneity in rewards across different proposers. Our models and results take advantage of connections to contest design, P\'olya urn processes, and auction theory.


title: Improving genetic algorithms performance via deterministic population shrinkage

abstract: Despite the intuition that the same population size is not needed throughout the run of an Evolutionary Algorithm (EA), most EAs use a fixed population size. This paper presents an empirical study on the possible benefits of a Simple Variable Population Sizing (SVPS) scheme on the performance of Genetic Algorithms (GAs). It consists in decreasing the population for a GA run following a predetermined schedule, configured by a speed and a severity parameter. The method uses as initial population size an estimation of the minimum size needed to supply enough building blocks, using a fixed-size selectorecombinative GA converging within some confidence interval toward good solutions for a particular problem. Following this methodology, a scalability analysis is conducted on deceptive, quasi-deceptive, and non-deceptive trap functions in order to assess whether SVPS-GA improves performances compared to a fixed-size GA under different problem instances and difficulty levels. Results show several combinations of speed-severity where SVPS-GA preserves the solution quality while improving performances, by reducing the number of evaluations needed for success.


title: Awakening of A Blazar at Redshift 2.7 Temporally Coincident with Arrival of Cospatial Neutrino Event IceCube-201221A

abstract: We report on multiwavelength studies of a blazar NVSS J171822+423948, which is identified as the low-energy counterpart of 4FGL J1718.5+4237, the unique $\gamma$-ray source known to be cospatial with the IceCube neutrino event IC-201221A. After a 12-year long quiescent period undetected by Fermi-LAT, $\gamma$-ray activities with a tenfold flux increase emerge soon (a few tens of days) after arrival of the neutrino. Associated optical flares in the ZTF $g$, $r$, and $i$ bands are observed together with elevated WISE infrared fluxes. Synchronized variations suggest that both the $\gamma$-ray emission and the neutrino event are connected to the blazar. Furthermore, the optical spectrum reveals emission lines at a redshift $z$ = 2.68 $\pm$ 0.01. Thus, it is the first candidate for a neutrino-emitting blazar at the redshift above 2. Discussions of theoretical constraints of neutrino production and comparisons with other candidates are presented.


title: Hybrid resonant metasurfaces with configurable structural colors

abstract: Metasurfaces play a key role in functionalizing light at the nanoscale. Existing dielectric metasurfaces, however, are often limited to geometric primitives and their usage in emergent hybrid metasurfaces is hampered as confinement of light occurs only in their interior. Taking inspiration from biophotonic systems in nature, we introduce a new class of hybrid metasurfaces, which combine ordered and disordered elements. While the ordered phase relies on non-reciprocal meta-atoms - whose breaking of the out-of-plane symmetry enables the confinement of visible light in air, the disordered phase exploits global plasmonic network modes and their ability to localize energy at nanometric scales. By generating configurable structural colors with extra-ordinary resolution, we demonstrate that coupling of these elements provides a new dimension in the design space. We showcase that control of the local light-matter interaction enables the creation of intricate, customizable optical patterns, which open new avenues for information encoding and high-security features.


title: A game theoretic model of preventive demographic measures

abstract: The article constructs a game-theoretic model of preventive measures for the antagonistic game with nature, that is such a model in which two participants take part, one of which is a regulating body (government) that makes legislative decisions depending on the emerging external and internal conditions affecting the course of the demographic process, the second participant - internal and external conditions of the environment (nature). An example of such a game is given and the optimal strategy for the government is calculated.


title: CodeTailor: LLM-Powered Personalized Parsons Puzzles for Engaging Support While Learning Programming

abstract: Learning to program can be challenging, and providing high-quality and timely support at scale is hard. Generative AI and its products, like ChatGPT, can create a solution for most intro-level programming problems. However, students might use these tools to just generate code for them, resulting in reduced engagement and limited learning. In this paper, we present CodeTailor, a system that leverages a large language model (LLM) to provide personalized help to students while still encouraging cognitive engagement. CodeTailor provides a personalized Parsons puzzle to support struggling students. In a Parsons puzzle, students place mixed-up code blocks in the correct order to solve a problem. A technical evaluation with previous incorrect student code snippets demonstrated that CodeTailor could deliver high-quality (correct, personalized, and concise) Parsons puzzles based on their incorrect code. We conducted a within-subjects study with 18 novice programmers. Participants perceived CodeTailor as more engaging than just receiving an LLM-generated solution (the baseline condition). In addition, participants applied more supported elements from the scaffolded practice to the posttest when using CodeTailor than baseline. Overall, most participants preferred using CodeTailor versus just receiving the LLM-generated code for learning. Qualitative observations and interviews also provided evidence for the benefits of CodeTailor, including thinking more about solution construction, fostering continuity in learning, promoting reflection, and boosting confidence. We suggest future design ideas to facilitate active learning opportunities with generative AI techniques.


title: Approaches to biological species delimitation based on genetic and spatial dissimilarity

abstract: The delimitation of biological species, i.e., deciding which individuals belong to the same species and whether and how many different species are represented in a data set, is key to the conservation of biodiversity. Much existing work uses only genetic data for species delimitation, often employing some kind of cluster analysis. This can be misleading, because geographically distant groups of individuals can be genetically quite different even if they belong to the same species. We investigate the problem of testing whether two potentially separated groups of individuals can belong to a single species or not based on genetic and spatial data. Existing methods such as the partial Mantel test and jackknife-based distance-distance regression are considered. New approaches, i.e., an adaptation of a mixed effects model, a bootstrap approach, and a jackknife version of partial Mantel, are proposed. All these methods address the issue that distance data violate the independence assumption for standard inference regarding correlation and regression; a standard linear regression is also considered. The approaches are compared on simulated meta-populations generated with SLiM and GSpace - two software packages that can simulate spatially-explicit genetic data at an individual level. Simulations show that the new jackknife version of the partial Mantel test provides a good compromise between power and respecting the nominal type I error rate. Mixed-effects models have larger power than jackknife-based methods, but tend to display type I error rates slightly above the significance level. An application on brassy ringlets concludes the paper.


title: Machine-learning structural reconstructions for accelerated point defect calculations

abstract: Defects dictate the properties of many functional materials. To understand the behaviour of defects and their impact on physical properties, it is necessary to identify the most stable defect geometries. However, global structure searching is computationally challenging for high-throughput defect studies or materials with complex defect landscapes, like alloys or disordered solids. Here, we tackle this limitation by harnessing a machine-learning surrogate model to qualitatively explore the defect structural landscape. By learning defect motifs in a family of related metal chalcogenide and mixed anion crystals, the model successfully predicts favourable reconstructions for unseen defects in unseen compositions for 90% of cases, thereby reducing the number of first-principles calculations by 73%. Using CdSe$_x$Te$_{1-x}$ alloys as an exemplar, we train a model on the end member compositions and apply it to find the stable geometries of all inequivalent vacancies for a range of mixing concentrations, thus enabling more accurate and faster defect studies for configurational complex systems.


title: Growth of products of subsets in finite simple groups

abstract: We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB| \geq |A||B|^{1-\epsilon}$ where $\epsilon>0$ can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, Shalev.


title: Out-of-Distribution Detection & Applications With Ablated Learned Temperature Energy

abstract: As deep neural networks become adopted in high-stakes domains, it is crucial to be able to identify when inference inputs are Out-of-Distribution (OOD) so that users can be alerted of likely drops in performance and calibration despite high confidence. Among many others, existing methods use the following two scores to do so without training on any apriori OOD examples: a learned temperature and an energy score. In this paper we introduce Ablated Learned Temperature Energy (or "AbeT" for short), a method which combines these prior methods in novel ways with effective modifications. Due to these contributions, AbeT lowers the False Positive Rate at $95\%$ True Positive Rate (FPR@95) by $35.39\%$ in classification (averaged across all ID and OOD datasets measured) compared to state of the art without training networks in multiple stages or requiring hyperparameters or test-time backward passes. We additionally provide empirical insights as to how our model learns to distinguish between In-Distribution (ID) and OOD samples while only being explicitly trained on ID samples via exposure to misclassified ID examples at training time. Lastly, we show the efficacy of our method in identifying predicted bounding boxes and pixels corresponding to OOD objects in object detection and semantic segmentation, respectively - with an AUROC increase of $5.15\%$ in object detection and both a decrease in FPR@95 of $41.48\%$ and an increase in AUPRC of $34.20\%$ on average in semantic segmentation compared to previous state of the art.


title: Time-Resolved Imaging Reveals Transiently Chaotic Spin-Orbit-Torque-Driven Dynamics Under Controlled Conditions

abstract: Spin-orbit torques (SOTs) act as efficient drivers for nanoscale magnetic systems, such as in magnetic tunnel junctions, nano-oscillators and racetrack geometries. In particular, in combination with materials exhibiting high Dzyaloshinskii--Moriya interaction, SOTs are considered to result in well-controlled deterministic magnetisation dynamics and are, therefore, used as robust drives to move and create magnetic skyrmions. In contrast to these expectations, we here find unpredictable, transiently chaotic dynamics induced by SOT at an artificial anisotropy-engineered defect in a magnetic racetrack. Based on these controlled conditions, we directly observe the nanoscale dynamics with holography-based, time-resolved x-ray imaging. In concert with micromagnetic simulations, we disclose a regime of violent picosecond fluctuations, including topological instabilities that, remarkably, result in deterministic final configurations. In addition, our images expose previously unseen skyrmion shedding and highlight the potential of transiently chaotic pathways for topological switching. Our approach offers new perspectives for the investigation and application of highly non-linear SOT dynamics in spintronics materials.


title: NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

abstract: We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis. At the core of the solver lies a seamless integration of neural and symbolic approaches to solving the reactive synthesis problem. To ensure soundness, the neural engine is coupled with model checkers verifying the predictions of the underlying neural models. The open-source implementation of NeuroSynt provides an integration framework for reactive synthesis in which new neural and state-of-the-art symbolic approaches can be seamlessly integrated. Extensive experiments demonstrate its efficacy in handling challenging specifications, enhancing the state-of-the-art reactive synthesis solvers, with NeuroSynt contributing novel solves in the current SYNTCOMP benchmarks.


title: Evaluation of QCNN-LSTM for Disability Forecasting in Multiple Sclerosis Using Sequential Multisequence MRI

abstract: Introduction Quantum Convolutional Neural Network (QCNN)-Long Short-Term Memory (LSTM) models were studied to provide sequential relationships for each timepoint in MRIs of patients with Multiple Sclerosis (MS). In this pilot study, we compared three QCNN-LSTM models for binary classification of MS disability benchmarked against classical neural network architectures. Our hypothesis is that quantum models will provide competitive performance. Methods Matrix Product State (MPS), reverse Multistate Entanglement Renormalization Ansatz (MERA), and Tree-Tensor Network (TTN) circuits were paired with LSTM layer to process near-annual MRI data of patients diagnosed with MS. These were benchmarked against a Visual Geometry Group (VGG)-LSTM and a Video Vision Transformer (ViViT). Predicted logits were measured against ground truth labels of each patient's Extended Disability Severity Score (EDSS) using binary cross-entropy loss. Training/validation/holdout testing was partitioned using 5-fold cross validation with a total split of 60:20:20. Levene's test of variance was used to measure statistical difference and Student's t-test for paired model differences in mean. Results The MPS-LSTM, reverse MERA-LSTM, and TTN-LSTM had holdout testing ROC-AUC of 0.70, 0.77, and 0.81, respectively (p-value 0.915). VGG16-LSTM and ViViT performed similarly with ROC-AUC of 0.73 and 0.77, respectively (p-value 0.631). Overall variance and mean were not statistically significant (p-value 0.713), however, time to train was significantly faster for the QCNN-LSTMs (39.4 sec per fold vs. 224 and 218, respectively, p-value <0.001). Conclusion QCNN-LSTM models perform competitively to their classical counterparts with greater efficiency in train time. Clinically, these can add value in terms of efficiency to time-dependent deep learning prediction of disease progression based upon medical imaging.


title: VRMN-bD: A Multi-modal Natural Behavior Dataset of Immersive Human Fear Responses in VR Stand-up Interactive Games

abstract: Understanding and recognizing emotions are important and challenging issues in the metaverse era. Understanding, identifying, and predicting fear, which is one of the fundamental human emotions, in virtual reality (VR) environments plays an essential role in immersive game development, scene development, and next-generation virtual human-computer interaction applications. In this article, we used VR horror games as a medium to analyze fear emotions by collecting multi-modal data (posture, audio, and physiological signals) from 23 players. We used an LSTM-based model to predict fear with accuracies of 65.31% and 90.47% under 6-level classification (no fear and five different levels of fear) and 2-level classification (no fear and fear), respectively. We constructed a multi-modal natural behavior dataset of immersive human fear responses (VRMN-bD) and compared it with existing relevant advanced datasets. The results show that our dataset has fewer limitations in terms of collection method, data scale and audience scope. We are unique and advanced in targeting multi-modal datasets of fear and behavior in VR stand-up interactive environments. Moreover, we discussed the implications of this work for communities and applications. The dataset and pre-trained model are available at https://github.com/KindOPSTAR/VRMN-bD.


title: The Early Universe as an Open Quantum System: Complexity and Decoherence

abstract: In this work, we extend previous results, demonstrating how complexity in an open quantum system can identify decoherence between two fields, even in the presence of an accelerating background. Using the curved-space Caldeira-Leggett two-field model in de Sitter as our toy model, we discover a distinctive feature in the growth of complexity of purification, providing an alternative diagnostic for studying decoherence when the adiabatic perturbation is coupled to a heavy field. This paper initiates a new pathway to explore the features of quantum complexity in an accelerating background, thereby expanding our understanding of the evolution of primordial cosmological perturbations in the early universe.