title: Homogeneous Sobolev global-in-time maximal regularity and related trace estimates

abstract: In this paper, we prove global-in-time $\dot{\mathrm{H}}^{\alpha,q}$-maximal regularity for a class of injective, but not invertible, sectorial operators on a UMD Banach space X , provided $q\in(1,+\infty) , $\alpha\in(-1+1/q,1/q)$. We also prove the corresponding trace estimate, so that the solution to the canonical abstract Cauchy problem is continuous with values in a not necessarily complete trace space.In order to put our result in perspective, we also provide a short review on L q-maximal regularity which includes some recent advances such as the revisited homogeneous operator and interpolation theory by Danchin, Hieber, Mucha and Tolksdorf. This theory will be used to build the appropriate trace space, from which we want to choose the initial data, and the solution of our abstract Cauchy problem to fall in.


title: The notion of role in conceptual modelling

abstract: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different approaches. We concentrate on how they cope with this issue in the knowledge engineering process. Secondly, we introduce several properties which can be used to analyse, characterise and define the notion of role. We evaluate and compare the works exposed previously following these dimensions. This analysis suggests some developments to better exploit the relationship between reasoning and domain knowledge. We present them in a last section.


title: The Walking Talking Stick: Understanding Automated Note-Taking in Walking Meetings

abstract: While walking meetings offer a healthy alternative to sit-down meetings, they also pose practical challenges. Taking notes is difficult while walking, which limits the potential of walking meetings. To address this, we designed the Walking Talking Stick -- a tangible device with integrated voice recording, transcription, and a physical highlighting button to facilitate note-taking during walking meetings. We investigated our system in a three-condition between-subjects user study with thirty pairs of participants ($N$=60) who conducted 15-minute outdoor walking meetings. Participants either used clip-on microphones, the prototype without the button, or the prototype with the highlighting button. We found that the tangible device increased task focus, and the physical highlighting button facilitated turn-taking and resulted in more useful notes. Our work demonstrates how interactive artifacts can incentivize users to hold meetings in motion and enhance conversation dynamics. We contribute insights for future systems which support conducting work tasks in mobile environments.


title: Can discrete information extraction prompts generalize across language models?

abstract: We study whether automatically-induced prompts that effectively extract information from a language model can also be used, out-of-the-box, to probe other language models for the same information. After confirming that discrete prompts induced with the AutoPrompt algorithm outperform manual and semi-manual prompts on the slot-filling task, we demonstrate a drop in performance for AutoPrompt prompts learned on a model and tested on another. We introduce a way to induce prompts by mixing language models at training time that results in prompts that generalize well across models. We conduct an extensive analysis of the induced prompts, finding that the more general prompts include a larger proportion of existing English words and have a less order-dependent and more uniform distribution of information across their component tokens. Our work provides preliminary evidence that it's possible to generate discrete prompts that can be induced once and used with a number of different models, and gives insights on the properties characterizing such prompts.


title: Hydrodynamic limit of the Schelling model with spontaneous Glauber and Kawasaki dynamics

abstract: In the present article we consider the Schelling model, an agent-based model describing a segregation dynamics when we have a cohabitation of two social groups. As for several social models, the behaviour of the Schelling model was analyzed along several directions, notably by exploiting theoretical physics tools and computer simulations. This approach led to conjecture a phase diagram in which either different social groups were segregated in two large clusters or they were mixed. In this article, we describe and analyze a perturbation of the Schelling model as a particle systems model by adding a Glauber and Kawasaki dynamics to the original Schelling dynamics. As far as the authors know, this is the first rigorous mathematical analysis of the perturbed Schelling model. We prove the existence of an hydrodynamic limit described by a reaction-diffusion equation with a discontinuous non-linear reaction term. The existence and uniqueness of the solution is non trivial and the analysis of the limit PDE is interesting in its own. Based on our results, we conjecture, as in other variations of this model, the existence of a phase diagram in which we have a mixed, a segregated and a metastable segregation phase. We also describe how this phase transition can be viewed as a transition between a relevant and irrelevant disorder regime in the model.


title: Motivic cohomology and algebraic $K$-theory of some surfaces over finite fields

abstract: We compute the algebraic $K$-theory of some classes of surfaces defined over finite fields. We achieve this by first calculating the motivic cohomology groups and then studying the motivic Atiyah-Hirzebruch spectral sequence. In an appendix, we slightly enlarge the class of surfaces for which Parshin's conjecture is known.


title: One-loop Lipatov vertex in QCD with higher $\epsilon$-accuracy

abstract: The effective Reggeon-Reggeon-gluon vertex, known as Lipatov vertex, is the key ingredient that allows to develop the BFKL approach in QCD. Within the next-to-leading logarithmic approximation, it is sufficient to know its one-loop corrections, in dimensional regularization ($D=4+2\epsilon$), up to the constant term in the $\epsilon$-expansion. In the next-to-next-to-leading approximation, however, the one-loop Lipatov vertex is needed up to the order $\epsilon^2$. In this paper we present the expression for this vertex in dimensional regularization up to the required accuracy.


title: Exponentially stable breather solutions in nonautonomous dissipative nonlinear Schr\"odinger lattices

abstract: We consider damped and forced discrete nonlinear Schr\"odinger equations on the lattice $\mathbb{Z}$. First we establish the existence of periodic and quasiperiodic breather solutions for periodic and quasiperiodic driving, respectively. Notably, quasiperiodic breathers cannot exist in the system without damping and driving. Afterwards the existence of a global uniform attractor for the dissipative dynamics of the system is shown. For strong dissipation we prove that the global uniform attractor has finite fractal dimension and consists of a single trajectory that is confined to a finite dimensional subspace of the infinite dimensional phase space, attracting any bounded set in phase space exponentially fast. Conclusively, for strong damping and periodic (quasiperiodic) forcing the single periodic (quasiperiodic) breather solution possesses a finite number of modes and is exponentially stable.


title: Exploring the hidden Universe: A novel phenomenological approach for recovering arbitrary gravitational-wave millilensing configurations

abstract: Since the first detection of gravitational waves in 2015, gravitational-wave astronomy has emerged as a rapidly advancing field that holds great potential for studying the cosmos, from probing the properties of black holes to testing the limits of our current understanding of gravity. One important aspect of gravitational-wave astronomy is the phenomenon of gravitational lensing, where massive intervening objects can bend and magnify gravitational waves, providing a unique way to probe the distribution of matter in the universe, as well as finding applications to fundamental physics, astrophysics, and cosmology. However, current models for gravitational-wave millilensing - a specific form of lensing where small-scale astrophysical objects can split a gravitational wave signal into multiple copies - are often limited to simple isolated lenses, which is not realistic for complex lensing scenarios. In this paper, we present a novel phenomenological approach to incorporate millilensing in data analysis in a model-independent fashion. Our approach enables the recovery of arbitrary lens configurations without the need for extensive computational lens modeling, making it a more accurate and computationally efficient tool for studying the distribution of matter in the universe using gravitational-wave signals. When gravitational-wave lensing observations become possible, our method can provide a powerful tool for studying complex lens configurations, including dark matter subhalos and MACHOs.


title: Attitudes and Latent Class Choice Models using Machine learning

abstract: Latent Class Choice Models (LCCM) are extensions of discrete choice models (DCMs) that capture unobserved heterogeneity in the choice process by segmenting the population based on the assumption of preference similarities. We present a method of efficiently incorporating attitudinal indicators in the specification of LCCM, by introducing Artificial Neural Networks (ANN) to formulate latent variables constructs. This formulation overcomes structural equations in its capability of exploring the relationship between the attitudinal indicators and the decision choice, given the Machine Learning (ML) flexibility and power in capturing unobserved and complex behavioural features, such as attitudes and beliefs. All of this while still maintaining the consistency of the theoretical assumptions presented in the Generalized Random Utility model and the interpretability of the estimated parameters. We test our proposed framework for estimating a Car-Sharing (CS) service subscription choice with stated preference data from Copenhagen, Denmark. The results show that our proposed approach provides a complete and realistic segmentation, which helps design better policies.


title: A novel dual-decomposition method for non-convex mixed integer quadratically constrained quadratic problems

abstract: We propose the novel p-branch-and-bound method for solving two-stage stochastic programming problems whose deterministic equivalents are represented by non-convex mixed-integer quadratically constrained quadratic programming (MIQCQP) models. The precision of the solution generated by the p-branch-and-bound method can be arbitrarily adjusted by altering the value of the precision factor p. The proposed method combines two key techniques. The first one, named p-Lagrangian decomposition, generates a mixed-integer relaxation of a dual problem with a separable structure for a primal non-convex MIQCQP problem. The second one is a version of the classical dual decomposition approach that is applied to solve the Lagrangian dual problem and ensures that integrality and non-anticipativity conditions are met once the optimal solution is obtained. This paper also presents a comparative analysis of the p-branch-and-bound method efficiency considering two alternative solution methods for the dual problems as a subroutine. These are the proximal bundle method and Frank-Wolfe progressive hedging. The latter algorithm relies on the interpolation of linearisation steps similar to those taken in the Frank-Wolfe method as an inner loop in the classic progressive hedging. The p-branch-and-bound method's efficiency was tested on randomly generated instances and demonstrated superior performance over commercial solver Gurobi.


title: Almost global existence for Kirchhoff equations around global solutions

abstract: It is well-known that the life span of solutions to Kirchhoff equations tends to infinity when initial data tend to zero. These results are usually referred to as almost global existence, at least in a neighborhood of the null solution. Here we extend this result by showing that the life span of solutions is lower semicontinuous, and in particular it tends to infinity whenever initial data tend to some limiting datum that originates a global solution. We also provide an estimate from below for the life span of solutions when initial data are close to some of the classes of data for which global existence is known, namely data with finitely many Fourier modes, analytic data and quasi-analytic data.


title: Low Energy Neutrino and Mass Dark Matter Detection Using Freely Falling Atoms

abstract: We propose a new method to detect low-energy neutrinos and low-mass dark matter at or below the MeV scale, through their coherent scatterings from freely falling heavy atoms and the resulting kinematic shifts. We start with a simple calculation for illustration: for $10^7$ heavy atoms of a mass number around 100 with a small recoil energy of 1 meV, the corresponding velocities can reach $0.01, {\rm m/s}$ and produce significant kinematic shifts that can be detected. We then show that the proposed device should be able to probe vast low-energy regions of neutrinos from meV to MeV and can surpass previous limits on sub-MeV dark matter by several orders of magnitude. Such a proposal can be useful to (1) detect sub-MeV-scale dark matter: with $10^2$ atom guns shooting downwards, for example, CsI or lead clusters consisting of $10^{7}$ atoms with a frequency around $10^3$ Hz, it can already be sensitive to scattering cross-sections at the level of $10^{-33 (-34)}\rm{cm}^{2}$ for 1 (0.1) MeV dark matter and surpass current limits. Technological challenges include high-quality atom cluster production and injections. (2) Measure coherent neutrino-nuclei scatterings at the 0.1-1 MeV region for the first time: with $10^4$ atom guns shooting downwards CsI clusters consisting of $10^{11}$ atoms and a frequency of $10^{6}$ Hz. One can expect 10 events from MeV solar neutrinos to be observed per year. Furthermore, (3) this method can be extended to probe very low-energy neutrinos down to the eV-KeV region and may be able to detect the cosmic neutrino background, although it remains challenging.

categories: hep-ph astro-ph.HE cond-mat.mes-hall hep-ex physics.atom-ph


title: Backstepping Temporal Difference Learning

abstract: Off-policy learning ability is an important feature of reinforcement learning (RL) for practical applications. However, even one of the most elementary RL algorithms, temporal-difference (TD) learning, is known to suffer form divergence issue when the off-policy scheme is used together with linear function approximation. To overcome the divergent behavior, several off-policy TD-learning algorithms, including gradient-TD learning (GTD), and TD-learning with correction (TDC), have been developed until now. In this work, we provide a unified view of such algorithms from a purely control-theoretic perspective, and propose a new convergent algorithm. Our method relies on the backstepping technique, which is widely used in nonlinear control theory. Finally, convergence of the proposed algorithm is experimentally verified in environments where the standard TD-learning is known to be unstable.


title: All-microwave leakage reduction units for quantum error correction with superconducting transmon qubits

abstract: Minimizing leakage from computational states is a challenge when using many-level systems like superconducting quantum circuits as qubits. We realize and extend the quantum-hardware-efficient, all-microwave leakage reduction unit (LRU) for transmons in a circuit QED architecture proposed by Battistel et al. This LRU effectively reduces leakage in the second- and third-excited transmon states with up to $99\% $ efficacy in $220~\mathrm{ns}$, with minimum impact on the qubit subspace. As a first application in the context of quantum error correction, we demonstrate the ability of multiple simultaneous LRUs to reduce the error detection rate and to suppress leakage buildup within $1\%$ in data and ancilla qubits over 50 cycles of a weight-2 parity measurement.


title: Economic Dynamics of Agents

abstract: Post-pandemic world has thrown up several challenges, such as, high inflation, low growth, high debt, collapse of economies, political instability, job losses, lowering of income in addition to damages caused natural disasters, more convincing attributed to climate change, apart from existing inequalities. Efforts are being made to mitigate these challenges at various levels. To the best of the knowledge of the author, most of the prior researches have focussed on specific scenarios, use cases, inter-relationships between couple of sectors and more so on optimal policies, such as, impact of carbon tax on individuals, interaction between taxes and welfare, etc. However, not much effort have been made to understand the actual impact on individual agents due to diverse policy changes and how agents cope with changing economic dynamics. This paper considers progressive deteriorating conditions of increase in expense, degrading environmental utility, increase in taxation, decrease in welfare and lowering of income with recourse to inherited properties, credits and return on investments, and tries to understand how the agents cope with the changing situations using an agent based model with matrices related to savings, credits, assets. Results indicate that collapse of agents' economic conditions can be quite fast, sudden and drastic for all income groups in most cases.


title: Optimal polynomial feedback laws for finite horizon control problems

abstract: A learning technique for finite horizon optimal control problems and its approximation based on polynomials is analyzed. It allows to circumvent, in part, the curse dimensionality which is involved when the feedback law is constructed by using the Hamilton-Jacobi-Bellman (HJB) equation. The convergence of the method is analyzed, while paying special attention to avoid the use of a global Lipschitz condition on the nonlinearity which describes the control system. The practicality and efficiency of the method is illustrated by several examples. For two of them a direct approach based on the HJB equation would be unfeasible.


title: A Lie Group-Based Race Car Model for Systematic Trajectory Optimization on 3D Tracks

abstract: In this paper we derive the dynamic equations of a race-car model via Lie-group methods. Lie-group methods are nowadays quite familiar to computational dynamicists and roboticists, but their diffusion within the vehicle dynamics community is still limited. We try to bridge this gap by showing that this framework merges gracefully with the Articulated Body Algorithm (ABA) and enables a fresh and systematic formulation of the vehicle dynamics. A significant contribution is represented by a rigorous reconciliation of the ABA steps with the salient features of vehicle dynamics, such as road-tire interactions, aerodynamic forces and load transfers. The proposed approach lends itself both to the definition of direct simulation models and to the systematic assembly of vehicle dynamics equations required, in the form of equality constraints, in numerical optimal control problems. We put our approach on a test in the latter context which involves the solution of minimum lap-time problem (MLTP). More specifically, a MLTP for a race car on the N\"urburgring circuit is systematically set up with our approach. The equations are then discretized with the direct collocation method and solved within the CasADi optimization suite. Both the quality of the solution and the computational efficiency demonstrate the validity of the presented approach.


title: Towards Unbounded Machine Unlearning

abstract: Deep machine unlearning is the problem of `removing' from a trained neural network a subset of its training set. This problem is very timely and has many applications, including the key tasks of removing biases (RB), resolving confusion (RC) (caused by mislabelled data in trained models), as well as allowing users to exercise their `right to be forgotten' to protect User Privacy (UP). This paper is the first, to our knowledge, to study unlearning for different applications (RB, RC, UP), with the view that each has its own desiderata, definitions for `forgetting' and associated metrics for forget quality. For UP, we propose a novel adaptation of a strong Membership Inference Attack for unlearning. We also propose SCRUB, a novel unlearning algorithm, which is the only method that is consistently a top performer for forget quality across the different application-dependent metrics for RB, RC, and UP. At the same time, SCRUB is also consistently a top performer on metrics that measure model utility (i.e. accuracy on retained data and generalization), and is more efficient than previous work. The above are substantiated through a comprehensive empirical evaluation against previous state-of-the-art.


title: Ordinal measures of the set of finite multisets

abstract: Well-partial orders, and the ordinal invariants used to measure them, are relevant in set theory, program verification, proof theory and many other areas of computer science and mathematics. In this article we focus on one of the most common data structure in programming, the finite multiset of some wpo. There are two natural orders one can define on the set of finite multisets $M(X)$ of a partial order $X$: the multiset embedding and the multiset ordering, for which $M(X)$ remains a wpo when $X$ is. Though the maximal order type of these orders is already known, the other ordinal invariants remain mostly unknown. Our main contributions are expressions to compute compositionally the width of the multiset embedding and the height of the multiset ordering. Furthermore, we provide a new ordinal invariant useful for characterizing the width of the multiset ordering.


title: Crystals of relative displays and Calabi-Yau threefolds

abstract: Displays can be thought of as relative versions of Fontaine's notion of strongly divisible lattice from integral $p$-adic Hodge theory. In favourable circumstances, the crystalline cohomology of a smooth projective $R$-scheme $X$ is endowed with a display-structure coming from complexes associated with the relative de Rham-Witt complex $W\Omega_{X/R}^{\bullet}$ of [LZ04]. In this article, we use the crystal of relative displays of [GL21] to prove a Grothendieck-Messing type result for the deformation theory of Calabi-Yau threefolds.


title: Reducing the memory usage of Lattice-Boltzmann schemes with a DWT-based compression

abstract: This paper presents a new solution to address the challenge of increasing memory usage in high-performance computing simulations of Lattice-Bolzmann or Finite-Volume schemes.Our approach utilises a lossy compression scheme based on the Discrete Wavelet Transform (DWT) to achieve high compression ratios while preserving the accuracy of the simulation.Our evaluation on two different FV/LBM schemes demonstrates that the approach can reduce memory usage by several orders of magnitude.


title: GlocalFuse-Depth: Fusing Transformers and CNNs for All-day Self-supervised Monocular Depth Estimation

abstract: In recent years, self-supervised monocular depth estimation has drawn much attention since it frees of depth annotations and achieved remarkable results on standard benchmarks. However, most of existing methods only focus on either daytime or nighttime images, thus their performance degrades on the other domain because of the large domain shift between daytime and nighttime images. To address this problem, in this paper we propose a two-branch network named GlocalFuse-Depth for self-supervised depth estimation of all-day images. The daytime and nighttime image in input image pair are fed into the two branches: CNN branch and Transformer branch, respectively, where both fine-grained details and global dependency can be efficiently captured. Besides, a novel fusion module is proposed to fuse multi-dimensional features from the two branches. Extensive experiments demonstrate that GlocalFuse-Depth achieves state-of-the-art results for all-day images on the Oxford RobotCar dataset, which proves the superiority of our method.


title: Mental Health Coping Stories on Social Media: A Causal-Inference Study of Papageno Effect

abstract: The Papageno effect concerns how media can play a positive role in preventing and mitigating suicidal ideation and behaviors. With the increasing ubiquity and widespread use of social media, individuals often express and share lived experiences and struggles with mental health. However, there is a gap in our understanding about the existence and effectiveness of the Papageno effect in social media, which we study in this paper. In particular, we adopt a causal-inference framework to examine the impact of exposure to mental health coping stories on individuals on Twitter. We obtain a Twitter dataset with $\sim$2M posts by $\sim$10K individuals. We consider engaging with coping stories as the Treatment intervention, and adopt a stratified propensity score approach to find matched cohorts of Treatment and Control individuals. We measure the psychosocial shifts in affective, behavioral, and cognitive outcomes in longitudinal Twitter data before and after engaging with the coping stories. Our findings reveal that, engaging with coping stories leads to decreased stress and depression, and improved expressive writing, diversity, and interactivity. Our work discusses the practical and platform design implications in supporting mental wellbeing.


title: InOR-Net: Incremental 3D Object Recognition Network for Point Cloud Representation

abstract: 3D object recognition has successfully become an appealing research topic in the real-world. However, most existing recognition models unreasonably assume that the categories of 3D objects cannot change over time in the real-world. This unrealistic assumption may result in significant performance degradation for them to learn new classes of 3D objects consecutively, due to the catastrophic forgetting on old learned classes. Moreover, they cannot explore which 3D geometric characteristics are essential to alleviate the catastrophic forgetting on old classes of 3D objects. To tackle the above challenges, we develop a novel Incremental 3D Object Recognition Network (i.e., InOR-Net), which could recognize new classes of 3D objects continuously via overcoming the catastrophic forgetting on old classes. Specifically, a category-guided geometric reasoning is proposed to reason local geometric structures with distinctive 3D characteristics of each class by leveraging intrinsic category information. We then propose a novel critic-induced geometric attention mechanism to distinguish which 3D geometric characteristics within each class are beneficial to overcome the catastrophic forgetting on old classes of 3D objects, while preventing the negative influence of useless 3D characteristics. In addition, a dual adaptive fairness compensations strategy is designed to overcome the forgetting brought by class imbalance, by compensating biased weights and predictions of the classifier. Comparison experiments verify the state-of-the-art performance of the proposed InOR-Net model on several public point cloud datasets.


title: 90% F1 Score in Relational Triple Extraction: Is it Real ?

abstract: Extracting relational triples from text is a crucial task for constructing knowledge bases. Recent advancements in joint entity and relation extraction models have demonstrated remarkable F1 scores ($\ge 90\%$) in accurately extracting relational triples from free text. However, these models have been evaluated under restrictive experimental settings and unrealistic datasets. They overlook sentences with zero triples (zero-cardinality), thereby simplifying the task. In this paper, we present a benchmark study of state-of-the-art joint entity and relation extraction models under a more realistic setting. We include sentences that lack any triples in our experiments, providing a comprehensive evaluation. Our findings reveal a significant decline (approximately 10-15\% in one dataset and 6-14\% in another dataset) in the models' F1 scores within this realistic experimental setup. Furthermore, we propose a two-step modeling approach that utilizes a simple BERT-based classifier. This approach leads to overall performance improvement in these models within the realistic experimental setting.


title: Multiple Resource Allocation in Multi-Tenant Edge Computing via Sub-modular Optimization

abstract: Edge Computing (EC) allows users to access computing resources at the network frontier, which paves the way for deploying delay-sensitive applications such as Mobile Augmented Reality (MAR). Under the EC paradigm, MAR users connect to the EC server, open sessions and send continuously frames to be processed. The EC server sends back virtual information to enhance the human perception of the world by merging it with the real environment. Resource allocation arises as a critical challenge when several MAR Service Providers (SPs) compete for limited resources at the edge of the network. In this paper, we consider EC in a multi-tenant environment where the resource owner, i.e., the Network Operator (NO), virtualizes the resources and lets SPs run their services using the allocated slice of resources. Indeed, for MAR applications, we focus on two specific resources: CPU and RAM, deployed in some edge node, e.g., a central office. We study the decision of the NO about how to partition these resources among several SPs. We model the arrival and service dynamics of users belonging to different SPs using Erlang queuing model and show that under perfect information, the interaction between the NO and SPs can be formulated as a sub-modular maximization problem under multiple Knapsack constraints. To solve the problem, we use an approximation algorithm, guaranteeing a bounded gap with respect to the optimal theoretical solution. Our numerical results show that the proposed algorithm outperforms baseline proportional allocation in terms of the number of sessions accommodated at the edge for each SP.


title: Isospin symmetry of $\omega$ meson in the soft-wall model of holographic QCD at finite temperature

abstract: Coupling constants of $\rho$- and $\omega$- meson-nucleon are related with each other by isospin relation. In present work, it is aimed at studying the violation (if it exists) of isospin symmetry of the $\omega$-meson and to study the temperature dependence of $\omega$-meson-nucleon-delta and $\omega$-meson-delta coupling constants using the soft-wall model of holographic QCD. Firstly, the coupling constants are obtained by applying the profile functions of the vector and fermion fields to the model at a finite temperature. The interaction Lagrangian is written, including the minimum and magnetic interactions of vector and fermion fields which is defined in the bulk of the 5-dimensional AdS space-time. Secondly, the temperature dependence of the coupling constants $g_{\omega N N}(T)$, $g_{\omega \Delta \Delta}(T)$ and $g_{\omega N \Delta}(T)$ has been plotted. Comparing $g_{\omega N N}(T)$ with the coupling constant $g_{\rho NN}(T)$, it obtained that the isospin symmetry of the omega meson is not violated at the finite temperature. It is also observed that the coupling constants of the $\omega$ vector meson with baryons decreases with increasing temperature, and this coupling constant becomes zero near the Hawking phase transition temperature.


title: Statistical stability of interval maps with critical points and singularities

abstract: We prove strong statistical stability of a large class of one-dimensional maps which may have an arbitrary finite number of discontinuities and of non-degenerate critical points and/or singular points with infinite derivative, and satisfy some expansivity and bounded recurrence conditions. This generalizes known results for maps with critical points and bounded derivatives and in particular proves statistical stability of Lorenz-like maps with critical points and singularities studied in [S. Luzzatto and W. Tucker. Non-uniformly expanding dynamics in maps with singularities and criticalities. Inst. Hautes Etudes Sci. Publ. Math., (89):179-226, 1999]. We introduce a natural metric on the space of maps with discontinuities which does not seem to have been used in the literature before.


abstract: Partial label learning (PLL) is a typical weakly supervised learning problem in which each instance is associated with a candidate label set, and among which only one is true. However, the assumption that the ground-truth label is always among the candidate label set would be unrealistic, as the reliability of the candidate label sets in real-world applications cannot be guaranteed by annotators. Therefore, a generalized PLL named Unreliable Partial Label Learning (UPLL) is proposed, in which the true label may not be in the candidate label set. Due to the challenges posed by unreliable labeling, previous PLL methods will experience a marked decline in performance when applied to UPLL. To address the issue, we propose a two-stage framework named Unreliable Partial Label Learning with Recursive Separation (UPLLRS). In the first stage, the self-adaptive recursive separation strategy is proposed to separate the training set into a reliable subset and an unreliable subset. In the second stage, a disambiguation strategy is employed to progressively identify the ground-truth labels in the reliable subset. Simultaneously, semi-supervised learning methods are adopted to extract valuable information from the unreliable subset. Our method demonstrates state-of-the-art performance as evidenced by experimental results, particularly in situations of high unreliability. Code and supplementary materials are available at https://github.com/dhiyu/UPLLRS.


title: Accuracy Tests of the Envelope Theory

abstract: The envelope theory is an easy-to-use approximation method to obtain eigensolutions for some quantum many-body systems, in particular in the domain of hadronic physics. Even if the solutions are reliable and an improvement procedure exists, the method can lack accuracy for some systems. In a previous work, two hypotheses were proposed to explain the low precision: the presence of a divergence in the potential or the lack of a variational character for peculiar interactions. In the present work, different systems are studied to test these hypotheses. These tests show that the presence of a divergence does indeed cause less accurate results, while the lack of a variational character reduces the impact of the improvement procedure.


title: Efficient Generator of Mathematical Expressions for Symbolic Regression

abstract: We propose an approach to symbolic regression based on a novel variational autoencoder for generating hierarchical structures, HVAE. It combines simple atomic units with shared weights to recursively encode and decode the individual nodes in the hierarchy. Encoding is performed bottom-up and decoding top-down. We empirically show that HVAE can be trained efficiently with small corpora of mathematical expressions and can accurately encode expressions into a smooth low-dimensional latent space. The latter can be efficiently explored with various optimization methods to address the task of symbolic regression. Indeed, random search through the latent space of HVAE performs better than random search through expressions generated by manually crafted probabilistic grammars for mathematical expressions. Finally, EDHiE system for symbolic regression, which applies an evolutionary algorithm to the latent space of HVAE, reconstructs equations from a standard symbolic regression benchmark better than a state-of-the-art system based on a similar combination of deep learning and evolutionary algorithms.\v{z}


title: A Riemann-Roch formula for singular reductions by circle actions

abstract: We compute a Riemann-Roch formula for the invariant Riemann-Roch number of a quantizable Hamiltonian $S^1$-manifold $(M,\omega,\mathcal{J})$ in terms of the geometry of its symplectic quotient, allowing $0$ to be a singular value of the moment map $\mathcal{J}:M\to\mathbb{R}$. The formula involves a new explicit local invariant of the singularities. Our approach relies on a complete singular stationary phase expansion of the associated Witten integral.


title: Field evidence for the initiation of isolated aeolian sand patches

abstract: Sand patches are one of the precursors to early-stage protodunes and occur widely in both desert and coastal aeolian environments. Here we show field evidence of a mechanism to explain the initiation of sand patches on non-erodible surfaces, such as desert gravels and moist beaches. Changes in sand transport dynamics, directly associated with the height of the saltation layer and variable transport law, observed at the boundary between non-erodible and erodible surfaces lead to sand deposition on the erodible surface. This explains how sand patches can form on surfaces with limited sand availability where linear stability of dune theory does not apply. This new mechanism is supported by field observations that evidence both the change in transport rate over different surfaces and in-situ patch formation that leads to modification of transport dynamics at the surface boundary.


title: Magnetic Breakdown and Chiral Magnetic Effect at Weyl-Semimetal Tunnel Junctions

abstract: We investigate magnetotransport across an interface between two Weyl semimetals whose Weyl nodes project onto different interface momenta. Such an interface generically hosts Fermi arcs that connect Weyl nodes of identical chirality in different Weyl semimetals (homochiral connectivity) -- in contrast to surface Fermi arcs that connect opposite-chirality Weyl nodes within the same Weyl semimetal (heterochiral connectivity). We show that electron transport along the arcs with homochiral connectivity, in the presence of a longitudinal magnetic field, leads to a universal longitudinal magnetoconductance of $e^2/h$ per magnetic flux quantum. Furthermore, a weak tunnel coupling can result in a close encounter of two homochiral-connectivity Fermi arcs, enabling magnetic breakdown. Above the breakdown field the interface Fermi arc connectivity is effectively heterochiral, leading to a saturation of the conductance.


title: Directional density-based clustering

abstract: Density-based clustering methodology has been widely considered in the statistical literature for classifying Euclidean observations. However, this approach has not been contemplated for directional data yet. In this work, directional density-based clustering methodology is fully established for the unit hypersphere by solving the computational problems associated to high dimensional spaces. We also provide a circular and spherical exploratory tool for studying the effect of the smoothing parameter when kernel density estimation methods are considered. An extensive simulation study shows the performance of the resulting classification procedure for the circle and for the sphere. The methodology is also applied to analyse an exoplanets dataset.


title: Dependence of Phoretic Propulsion of Sub-Micron Urease Motors on the Fraction of the Particle Covered by Catalyst

abstract: Micro/Nano motors are micro to nano-sized particles and systems that are capable of motion in fluidic systems. Their motion can be a result of many mechanisms, one of the most well-known of which is electrolyte diffusiophoresis, in which asymmetric production of charged ions across the surface of the particle leads to phoresis. The focus of this work is to construct Urease motors with careful control of their Janus balance, i.e., to control the percentage of surface covered with the enzyme and study the effect of this asymmetry on the propulsion velocity of the particles. In that regard, we were successful in constructing particles with varied coating percentages. The observation made was that as the percentage coating approaches 50%, the propulsion velocity of the particle increases steadily. The trend may reverse at lower catalytic cap heights after reaching a certain threshold of enzyme activity and per cent coverage. However, the method used had limitations in constructing motors with lower catalytic cap heights. We aim to shed light on the design principles of efficient urease-driven phoretic motors, which could have significant implications for the development of next-generation nanoscale devices.


title: A Survey on Semi-Supervised Semantic Segmentation

abstract: Semantic segmentation is one of the most challenging tasks in computer vision. However, in many applications, a frequent obstacle is the lack of labeled images, due to the high cost of pixel-level labeling. In this scenario, it makes sense to approach the problem from a semi-supervised point of view, where both labeled and unlabeled images are exploited. In recent years this line of research has gained much interest and many approaches have been published in this direction. Therefore, the main objective of this study is to provide an overview of the current state of the art in semi-supervised semantic segmentation, offering an updated taxonomy of all existing methods to date. This is complemented by an experimentation with a variety of models representing all the categories of the taxonomy on the most widely used becnhmark datasets in the literature, and a final discussion on the results obtained, the challenges and the most promising lines of future research.


title: Multidimensional Stable Driven McKean-Vlasov SDEs with Distributional Interaction Kernel: Critical Thresholds and Related Models

abstract: In this work we continue to investigate well-posedness for stable driven McKean-Vlasov SDEs with distributional interaction kernel following the approach introduced in [8]. We specifically focus on the impact of the Besov smoothness of the initial condition and quantify how it affects the corresponding density estimates for the SDE. In particular, we manage to attain some critical thresholds allowing to revisit/address in a stable noise setting some concrete physical and biological models.


title: First-order photon condensation in magnetic cavities: A two-leg ladder model

abstract: We consider a model of free fermions in a ladder geometry coupled to a nonuniform cavity mode via Peierls substitution. Since the cavity mode generates a magnetic field, no-go theorems on spontaneous photon condensation do not apply, and we indeed observe a phase transition to a photon condensed phase characterized by finite circulating currents, alternatively referred to as the equilibrium superradiant phase. We consider both square and triangular ladder geometries, and characterize the transition by studying the energy structure of the system, light-matter entanglement, the properties of the photon mode, and chiral currents. The transition is of first order and corresponds to a sudden change in the fermionic band structure as well as the number of its Fermi points. Thanks to the quasi-one dimensional geometry we scrutinize the accuracy of (mean field) cavity-matter decoupling against large scale density-matrix renormalization group simulations. We find that light-matter entanglement is essential for capturing corrections to matter properties at finite sizes and for the description of the correct photon state. The latter remains Gaussian in the the thermodynamic limit both in the normal and photon condensed phases.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Variation Enhanced Attacks Against RRAM-based Neuromorphic Computing System

abstract: The RRAM-based neuromorphic computing system has amassed explosive interests for its superior data processing capability and energy efficiency than traditional architectures, and thus being widely used in many data-centric applications. The reliability and security issues of the NCS therefore become an essential problem. In this paper, we systematically investigated the adversarial threats to the RRAM-based NCS and observed that the RRAM hardware feature can be leveraged to strengthen the attack effect, which has not been granted sufficient attention by previous algorithmic attack methods. Thus, we proposed two types of hardware-aware attack methods with respect to different attack scenarios and objectives. The first is adversarial attack, VADER, which perturbs the input samples to mislead the prediction of neural networks. The second is fault injection attack, EFI, which perturbs the network parameter space such that a specified sample will be classified to a target label, while maintaining the prediction accuracy on other samples. Both attack methods leverage the RRAM properties to improve the performance compared with the conventional attack methods. Experimental results show that our hardware-aware attack methods can achieve nearly 100% attack success rate with extremely low operational cost, while maintaining the attack stealthiness.


title: U-statistics of local sample moments under weak dependence

abstract: In this paper, we study the asymptotic distribution of some U-statistics whose entries are functions of empirical moments computed from non-overlapping consecutive blocks of an underlying weakly dependent process. The length of these blocks converges to infinity, and thus we consider U-statistics of triangular arrays. We establish asymptotic normality of such U-statistics. The results can be used to construct tests for changes of higher order moments.


title: WW-FL: Secure and Private Large-Scale Federated Learning

abstract: Federated learning (FL) is an efficient approach for large-scale distributed machine learning that promises data privacy by keeping training data on client devices. However, recent research has uncovered vulnerabilities in FL, impacting both security and privacy through poisoning attacks and the potential disclosure of sensitive information in individual model updates as well as the aggregated global model. This paper explores the inadequacies of existing FL protection measures when applied independently, and the challenges of creating effective compositions. Addressing these issues, we propose WW-FL, an innovative framework that combines secure multi-party computation (MPC) with hierarchical FL to guarantee data and global model privacy. One notable feature of WW-FL is its capability to prevent malicious clients from directly poisoning model parameters, confining them to less destructive data poisoning attacks. We furthermore provide a PyTorch-based FL implementation integrated with Meta's CrypTen MPC framework to systematically measure the performance and robustness of WW-FL. Our extensive evaluation demonstrates that WW-FL is a promising solution for secure and private large-scale federated learning.


title: The battery capacity of energy-storing quantum systems

abstract: The quantum battery capacity is introduced in this letter as a figure of merit that expresses the potential of a quantum system to store and supply energy. It is defined as the difference between the highest and the lowest energy that can be reached by means of the unitary evolution of the system. This function is closely connected to the ergotropy, but it does not depend on the temporary level of energy of the system. The capacity of a quantum battery can be directly linked with the entropy of the battery state, as well as with measures of coherence and entanglement.


title: Revealing production networks from firm growth dynamics

abstract: We study the correlation structure of firm growth rates. We show that most firms are correlated because of their exposure to a common factor but that firms linked through the supply chain exhibit a stronger correlation on average than firms that are not. Removing this common factor significantly reduces the average correlation between two firms with no relationship in the supply chain while maintaining a significant correlation between two firms that are linked. We then investigate if this observation can be used to reconstruct the topology of a supply chain network using Gaussian Markov Models.


title: General Rotation Invariance Learning for Point Clouds via Weight-Feature Alignment

abstract: Compared to 2D images, 3D point clouds are much more sensitive to rotations. We expect the point features describing certain patterns to keep invariant to the rotation transformation. There are many recent SOTA works dedicated to rotation-invariant learning for 3D point clouds. However, current rotation-invariant methods lack generalizability on the point clouds in the open scenes due to the reliance on the global distribution, \ie the global scene and backgrounds. Considering that the output activation is a function of the pattern and its orientation, we need to eliminate the effect of the orientation.In this paper, inspired by the idea that the network weights can be considered a set of points distributed in the same 3D space as the input points, we propose Weight-Feature Alignment (WFA) to construct a local Invariant Reference Frame (IRF) via aligning the features with the principal axes of the network weights. Our WFA algorithm provides a general solution for the point clouds of all scenes. WFA ensures the model achieves the target that the response activity is a necessary and sufficient condition of the pattern matching degree. Practically, we perform experiments on the point clouds of both single objects and open large-range scenes. The results suggest that our method almost bridges the gap between rotation invariance learning and normal methods.


title: A Sidecar Separator Can Convert a Single-Talker Speech Recognition System to a Multi-Talker One

abstract: Although automatic speech recognition (ASR) can perform well in common non-overlapping environments, sustaining performance in multi-talker overlapping speech recognition remains challenging. Recent research revealed that ASR model's encoder captures different levels of information with different layers -- the lower layers tend to have more acoustic information, and the upper layers more linguistic. This inspires us to develop a Sidecar separator to empower a well-trained ASR model for multi-talker scenarios by separating the mixed speech embedding between two suitable layers. We experimented with a wav2vec 2.0-based ASR model with a Sidecar mounted. By freezing the parameters of the original model and training only the Sidecar (8.7 M, 8.4% of all parameters), the proposed approach outperforms the previous state-of-the-art by a large margin for the 2-speaker mixed LibriMix dataset, reaching a word error rate (WER) of 10.36%; and obtains comparable results (7.56%) for LibriSpeechMix dataset when limited training.


title: Condensed-phase molecular representation to link structure and thermodynamics in molecular dynamics

abstract: Molecular design requires systematic and broadly applicable methods to extract structure-property relationships. The focus of this study is on learning thermodynamic properties from molecular-liquid simulations. The methodology relies on an atomic representation originally developed for electronic properties: the Spectrum of London and Axilrod-Teller-Muto representation (SLATM). SLATM's expansion in one-, two-, and three-body interactions makes it amenable to probing structural ordering in molecular liquids. We show that such representation encodes enough critical information to permit the learning of thermodynamic properties via linear methods. We demonstrate our approach on the preferential insertion of small solute molecules toward cardiolipin membranes and monitor selectivity against a similar lipid. Our analysis reveals simple, interpretable relationships between two- and three-body interactions and selectivity, identifies key interactions to build optimal prototypical solutes, and charts a two-dimensional projection that displays clearly separated basins. The methodology is generally applicable to a variety of thermodynamic properties.


title: Topological Bogoliubov quasiparticles from Bose-Einstein condensate in a flat band system

abstract: For bosons with flat energy dispersion, condensation can occur in different symmetry sectors. Here, we consider bosons in a Kagome lattice with $\pi$-flux hopping, which in the presence of mean-field interactions exhibit degenerate condensates in the $\Gamma$- and the $K$-point. We analyze the excitation above both condensates and find strikingly different properties: For the $K$-point condensate, the Bogoliubov-de Gennes (BdG) Hamiltonian has broken particle-hole symmetry (PHS) and exhibits a topologically trivial quasiparticle band structure. However, band flatness plays a key role in breaking the time reversal symmetry (TRS) of the BdG Hamiltonian for a $\Gamma$-point condensate. Consequently, its quasiparticle band structure exhibits non-trivial topology, characterized by non-zero Chern numbers and the presence of edge states. Although quantum fluctuations energetically favor the $K$-point condensate, the interesting properties of the $\Gamma$-point condensate become relevant for anisotropic hopping. The topological properties of the $\Gamma$-point condensate get even richer in the presence of extended Bose-Hubbard interactions. We find a topological phase transition into a topological condensate characterized by high Chern number and also comment on the realization and detection of such excitations.


title: Fair $k$-Center: a Coreset Approach in Low Dimensions

abstract: Center-based clustering techniques are fundamental in some areas of machine learning such as data summarization. Generic $k$-center algorithms can produce biased cluster representatives so there has been a recent interest in fair $k$-center clustering. Our main theoretical contributions are two new $(3+\epsilon)$-approximation algorithms for solving the fair $k$-center problem in (1) the dynamic incremental, i.e., one-pass streaming, model and (2) the MapReduce model. Our dynamic incremental algorithm is the first such algorithm for this problem (previous streaming algorithms required two passes) and our MapReduce one improves upon the previous approximation factor of $(17+\epsilon).$ Both algorithms work by maintaining a small coreset to represent the full point set and their analysis requires that the underlying metric has finite-doubling dimension. We also provide related heuristics for higher dimensional data and experimental results that compare the performance of our algorithms to existing ones.


title: Seiberg-Witten differentials on the Hitchin base

abstract: In this note we describe explicitly, in terms of Lie theory and cameral data, the covariant (Gauss--Manin) derivative of the Seiberg--Witten differential defined on the weight-one variation of Hodge structures that exists on a Zariski open subset of the base of the Hitchin fibration. Dedicated to Tony Pantev on the occasion of his 60th birthday.


title: ByzSecAgg: A Byzantine-Resistant Secure Aggregation Scheme for Federated Learning Based on Coded Computing and Vector Commitment

abstract: In this paper, we propose ByzSecAgg, an efficient secure aggregation scheme for federated learning that is protected against Byzantine attacks and privacy leakages. Processing individual updates to manage adversarial behavior, while preserving privacy of data against colluding nodes, requires some sort of secure secret sharing. However, the communication load for secret sharing of long vectors of updates can be very high. ByzSecAgg solves this problem by partitioning local updates into smaller sub-vectors and sharing them using ramp secret sharing. However, this sharing method does not admit bi-linear computations, such as pairwise distance calculations, needed by outlier-detection algorithms. To overcome this issue, each user runs another round of ramp sharing, with different embedding of data in the sharing polynomial. This technique, motivated by ideas from coded computing, enables secure computation of pairwise distance. In addition, to maintain the integrity and privacy of the local update, ByzSecAgg also uses a vector commitment method, in which the commitment size remains constant (i.e. does not increase with the length of the local update), while simultaneously allowing verification of the secret sharing process. In terms of communication loads, ByzSecAgg significantly outperforms the state-of-the-art scheme, known as BREA.


title: Exact Renormalization Group in Large $N$

abstract: We apply the exact renormalization group formalism to compute the effective action and potential of the four dimensional O$(N)$ linear sigma model in large $N$. With a finite momentum cutoff in place, the model is well defined. In the naive continuum limit where the cutoff is taken to infinity, the effective action suffers from a tachyon, and the effective potential is unbounded from below and develops a negative imaginary part. These problems disappear once a small enough cutoff is restored. The effective potential of the naive continuum limit, obtained by analytic continuation, is given explicitly in terms of the Lambert $W$ function.


title: TA-MoE: Topology-Aware Large Scale Mixture-of-Expert Training

abstract: Sparsely gated Mixture-of-Expert (MoE) has demonstrated its effectiveness in scaling up deep neural networks to an extreme scale. Despite that numerous efforts have been made to improve the performance of MoE from the model design or system optimization perspective, existing MoE dispatch patterns are still not able to fully exploit the underlying heterogeneous network environments. In this paper, we propose TA-MoE, a topology-aware routing strategy for large-scale MoE trainging, from a model-system co-design perspective, which can dynamically adjust the MoE dispatch pattern according to the network topology. Based on communication modeling, we abstract the dispatch problem into an optimization objective and obtain the approximate dispatch pattern under different topologies. On top of that, we design a topology-aware auxiliary loss, which can adaptively route the data to fit in the underlying topology without sacrificing the model accuracy. Experiments show that TA-MoE can substantially outperform its counterparts on various hardware and model configurations, with roughly 1.01x-1.61x, 1.01x-4.77x, 1.25x-1.54x improvements over the popular DeepSpeed-MoE, FastMoE and FasterMoE.


title: Goal oriented indicators for food systems based on FAIR data

abstract: Throughout the food supply chain, between production, transportation, packaging, and green employment, a plethora of indicators cover the environmental footprint and resource use. By defining and tracking the more inefficient practices of the food supply chain and their effects, we can better understand how to improve agricultural performance, track nutrition values, and focus on the reduction of a major risk to the environment while contributing to food security. Our aim is to propose a framework for a food supply chain, devoted to the vision of zero waste and zero emissions, and at the same time, fulfilling the broad commitment on inclusive green economy within the climate action. To set the groundwork for a smart city solution which achieves this vision, main indicators and evaluation frameworks are introduced, followed by the drill down into most crucial problems, both globally and locally, in a case study in north Italy. Methane is on the rise in the climate agenda, and specifically in Italy emission mitigation is difficult to achieve in the farming sector. Accordingly, going from the generic frameworks towards a federation deployment, we provide the reasoning for a cost-effective use case in the domain of food, to create a valuable digital twin. A Bayesian approach to assess use cases and select preferred scenarios is proposed, realizing the potential of the digital twin flexibility with FAIR data, while understanding and acting to achieve environmental and social goals, i.e., coping uncertainties, and combining green employment and food security. The proposed framework can be adjusted to organizational, financial, and political considerations in different locations worldwide, rethinking the value of information in the context of FAIR data in digital twins.


title: On subspace concentration for dual curvature measures

abstract: We study subspace concentration of dual curvature measures of convex bodies $K$ satisfying $\gamma (-K)\subseteq K$ for some $\gamma \in (0,1]$. We present upper bounds on the subspace concentration depending on $\gamma$, which, in particular, retrieves the known results in the symmetric setting. The proof is based on a unified approach to prove necessary subspace concentration conditions via the divergence theorem.


title: Electrons surf phason waves in moir\'e bilayers

abstract: We investigate the effect of thermal fluctuations on the atomic and electronic structure of a twisted MoSe$_{2}$/WSe$_{2}$ heterobilayer using a combination of classical molecular dynamics and \textit{ab-initio} density functional theory calculations. Our calculations reveal that thermally excited phason modes give rise to an almost rigid motion of the moir\'e lattice. Electrons and holes in low-energy states are localized in specific stacking regions of the moir\'e unit cell and follow the thermal motion of these regions. In other words, charge carriers surf phason waves that are excited at finite temperatures. Small displacements at the atomic scale are amplified at the moir\'e scale, which gives rise to significant surfing speeds. We also show that such surfing survives in the presence of a substrate and disorder. This effect has potential implications for the design of charge and exciton transport devices based on moir\'e materials.


title: Interactive Face Video Coding: A Generative Compression Framework

abstract: In this paper, we propose a novel framework for Interactive Face Video Coding (IFVC), which allows humans to interact with the intrinsic visual representations instead of the signals. The proposed solution enjoys several distinct advantages, including ultra-compact representation, low delay interaction, and vivid expression and headpose animation. In particular, we propose the Internal Dimension Increase (IDI) based representation, greatly enhancing the fidelity and flexibility in rendering the appearance while maintaining reasonable representation cost. By leveraging strong statistical regularities, the visual signals can be effectively projected into controllable semantics in the three dimensional space (e.g., mouth motion, eye blinking, head rotation and head translation), which are compressed and transmitted. The editable bitstream, which naturally supports the interactivity at the semantic level, can synthesize the face frames via the strong inference ability of the deep generative model. Experimental results have demonstrated the performance superiority and application prospects of our proposed IFVC scheme. In particular, the proposed scheme not only outperforms the state-of-the-art video coding standard Versatile Video Coding (VVC) and the latest generative compression schemes in terms of rate-distortion performance for face videos, but also enables the interactive coding without introducing additional manipulation processes. Furthermore, the proposed framework is expected to shed lights on the future design of the digital human communication in the metaverse.


title: Two-Tier Multi-Rate Slotted ALOHA for OWC/RF-Based IoT Networks

abstract: We consider a massive Internet of Things (IoT) scenario where indoor IoT devices access the network via optical wireless communication (OWC) IoT systems that relay data via a backhaul radio frequency (RF) low-power wide-area network (LP WAN). We propose a novel two-tier multi-rate Slotted ALOHA (SA) system model to design and analyse such hybrid OWC/RF networks. For a particular hybrid OWC/RF setup, we present an in-depth numerical investigation that provides insights into the proposed two-tier multi-rate hybrid OWC/RF SA system design.


title: Free-Form Variational Inference for Gaussian Process State-Space Models

abstract: Gaussian process state-space models (GPSSMs) provide a principled and flexible approach to modeling the dynamics of a latent state, which is observed at discrete-time points via a likelihood model. However, inference in GPSSMs is computationally and statistically challenging due to the large number of latent variables in the model and the strong temporal dependencies between them. In this paper, we propose a new method for inference in Bayesian GPSSMs, which overcomes the drawbacks of previous approaches, namely over-simplified assumptions, and high computational requirements. Our method is based on free-form variational inference via stochastic gradient Hamiltonian Monte Carlo within the inducing-variable formalism. Furthermore, by exploiting our proposed variational distribution, we provide a collapsed extension of our method where the inducing variables are marginalized analytically. We also showcase results when combining our framework with particle MCMC methods. We show that, on six real-world datasets, our approach can learn transition dynamics and latent states more accurately than competing methods.


title: Unsupervised OmniMVS: Efficient Omnidirectional Depth Inference via Establishing Pseudo-Stereo Supervision

abstract: Omnidirectional multi-view stereo (MVS) vision is attractive for its ultra-wide field-of-view (FoV), enabling machines to perceive 360{\deg} 3D surroundings. However, the existing solutions require expensive dense depth labels for supervision, making them impractical in real-world applications. In this paper, we propose the first unsupervised omnidirectional MVS framework based on multiple fisheye images. To this end, we project all images to a virtual view center and composite two panoramic images with spherical geometry from two pairs of back-to-back fisheye images. The two 360{\deg} images formulate a stereo pair with a special pose, and the photometric consistency is leveraged to establish the unsupervised constraint, which we term "Pseudo-Stereo Supervision". In addition, we propose Un-OmniMVS, an efficient unsupervised omnidirectional MVS network, to facilitate the inference speed with two efficient components. First, a novel feature extractor with frequency attention is proposed to simultaneously capture the non-local Fourier features and local spatial features, explicitly facilitating the feature representation. Then, a variance-based light cost volume is put forward to reduce the computational complexity. Experiments exhibit that the performance of our unsupervised solution is competitive to that of the state-of-the-art (SoTA) supervised methods with better generalization in real-world data.


title: Prompt Stealing Attacks Against Text-to-Image Generation Models

abstract: Text-to-Image generation models have revolutionized the artwork design process and enabled anyone to create high-quality images by entering text descriptions called prompts. Creating a high-quality prompt that consists of a subject and several modifiers can be time-consuming and costly. In consequence, a trend of trading high-quality prompts on specialized marketplaces has emerged. In this paper, we perform the first study on understanding the threat of a novel attack, namely prompt stealing attack, which aims to steal prompts from generated images by text-to-image generation models. Successful prompt stealing attacks directly violate the intellectual property of prompt engineers and jeopardize the business model of prompt marketplaces. We first perform a systematic analysis on a dataset collected by ourselves and show that a successful prompt stealing attack should consider a prompt's subject as well as its modifiers. Based on this observation, we propose a simple yet effective prompt stealing attack, PromptStealer. It consists of two modules: a subject generator trained to infer the subject and a modifier detector for identifying the modifiers within the generated image. Experimental results demonstrate that PromptStealer is superior over three baseline methods, both quantitatively and qualitatively. We also make some initial attempts to defend PromptStealer. In general, our study uncovers a new attack vector within the ecosystem established by the popular text-to-image generation models. We hope our results can contribute to understanding and mitigating this emerging threat.


title: A novel energy-bounded Boussinesq model and a well balanced and stable numerical discretisation

abstract: In this work, a novel Boussinesq system is put forward. The system is naturally nonlinearly entropy/energy-stable, and is designed for problems with sharply varying bathymetric features. The system is flexible and allows tuning of the dispersive parameters to the relevant wavenumber range of the problem at hand. We present a few such parameter sets, including one that tracks the dispersive relation of the underlying Euler equations up to a nondimensional wavenumber of about $30$. In the one-dimensional case, we design a stable finite-volume scheme and demonstrate its robustness and accuracy in a suite of test problems including Dingemans's wave experiment. We generalise the system to the two-dimensional case and sketch how the numerical scheme can be straightforwardly generalised.


title: Type Ia supernovae in NS+He star systems and the isolated mildly recycled pulsars

abstract: Type Ia supernovae (SNe Ia) are successful cosmological distance indicators and important element factories in the chemical evolution of galaxies. They are generally thought to originate from thermonuclear explosions of carbon-oxygen white dwarfs in close binaries. However, the observed diversity among SNe Ia implies that they have different progenitor models. In this article, we performed the long-term evolution of NS+He star binaries with different initial He star masses ($M_{\rm He}^{\rm i}$) and orbital periods ($P_{\rm orb}^{\rm i}$) for the first time, in which the He star companions can explode as SNe Ia eventually. Our simulations indicate that after the He stars develop highly degenerate oxygen-neon (ONe) cores with masses near the Chandrasekhar limit, explosive oxygen burning can be triggered due to the convective Urca process. According to these calculations, we obtained an initial parameter space for the production of SNe Ia in the $\rm log\,$$P^{\rm i}_{\rm orb}-M^{\rm i}_{\rm He}$ plane. Meanwhile, we found that isolated mildly recycled pulsars can be formed after He stars explode as SNe Ia in NS+He star binaries, in which the isolated pulsars have minimum spin periods ($P_{\rm spin}^{\rm min}$) of $\sim 30-110\rm\,ms$ and final orbital velocities of $\sim \rm 60-360\,km\,s^{-1}$, corresponding to initial orbital periods of $0.07-10\rm\,d$. Our work suggests that the NS+He star channel may contribute to the formation of isolated mildly recycled pulsars with velocity $\rm \lesssim 360\,km\,s^{-1}$ in observations, and such isolated pulsars should locate in the region of pulsars with massive WD companions in the $P_{\rm spin}-\dot P_{\rm spin}$ diagram.


title: An application-oriented scheduler

abstract: We consider a multi-agent system where agents compete for the access to the radio resource. By combining some application-level parameters, such as the resilience, with a knowledge of the radio environment, we propose a new way of modeling the scheduling problem as an optimization problem. We design accordingly a low-complexity solver. The performance are compared with state-of-the-art schedulers via simulations. The numerical results show that this application-oriented scheduler performs better than standard schedulers. As a result, it offers more space for the selection of the application-level parameters to reach any arbitrary performance.


title: NHtapDB: Native HTAP Databases

abstract: Native database (1) provides a near-data machine learning framework to facilitate generating real-time business insight, and predefined change thresholds will trigger online training and deployment of new models, and (2) offers a mixed-format store to guarantee the performance of HTAP workloads, especially the hybrid workloads that consist of OLAP queries in-between online transactions. We make rigorous test plans for native database with an enhanced state-of-the-art HTAP benchmark.


title: An ASR-free Fluency Scoring Approach with Self-Supervised Learning

abstract: A typical fluency scoring system generally relies on an automatic speech recognition (ASR) system to obtain time stamps in input speech for either the subsequent calculation of fluency-related features or directly modeling speech fluency with an end-to-end approach. This paper describes a novel ASR-free approach for automatic fluency assessment using self-supervised learning (SSL). Specifically, wav2vec2.0 is used to extract frame-level speech features, followed by K-means clustering to assign a pseudo label (cluster index) to each frame. A BLSTM-based model is trained to predict an utterance-level fluency score from frame-level SSL features and the corresponding cluster indexes. Neither speech transcription nor time stamp information is required in the proposed system. It is ASR-free and can potentially avoid the ASR errors effect in practice. Experimental results carried out on non-native English databases show that the proposed approach significantly improves the performance in the "open response" scenario as compared to previous methods and matches the recently reported performance in the "read aloud" scenario.


title: Magnetic frame-dragging correction to the electromagnetic solution of a compact neutron star

abstract: Neutron stars are usually modelled as spherical, rotating perfect conductors with a predominant intrinsic dipolar magnetic field anchored to their stellar crust. Due to their compactness, General Relativity corrections must be accounted for in Maxwell's equations, leading to modified interior and exterior electromagnetic solutions. We present analytical solutions for slowly-rotating magnetised neutron stars taking into account the magnetic frame-dragging correction. For typical compactness values, i.e. $R_s \sim 0.5 [R_*]$, we show that the new terms lead to a percent order correction in the magnetic field orientation and strength compared to the case with no magnetic frame-dragging correction. Also, we obtain a self-consistent redistribution of the surface azimuthal current. We verify the validity of the derived solution through two-dimensional particle-in-cell simulations of an isolated neutron star. Defining the azimuthal electric and magnetic field amplitudes during the transient phase as observables, we prove that the magnetic frame-dragging correction reduces the transient wave amplitude, as expected from the analytical solution. We show that simulations are more accurate and stable when we include all first-order terms. The increased accuracy at lower spatiotemporal resolutions translates into a reduction in simulation runtimes.


title: Nystr\"om $M$-Hilbert-Schmidt Independence Criterion

abstract: Kernel techniques are among the most popular and powerful approaches of data science. Among the key features that make kernels ubiquitous are (i) the number of domains they have been designed for, (ii) the Hilbert structure of the function class associated to kernels facilitating their statistical analysis, and (iii) their ability to represent probability distributions without loss of information. These properties give rise to the immense success of Hilbert-Schmidt independence criterion (HSIC) which is able to capture joint independence of random variables under mild conditions, and permits closed-form estimators with quadratic computational complexity (w.r.t. the sample size). In order to alleviate the quadratic computational bottleneck in large-scale applications, multiple HSIC approximations have been proposed, however these estimators are restricted to $M=2$ random variables, do not extend naturally to the $M\ge 2$ case, and lack theoretical guarantees. In this work, we propose an alternative Nystr\"om-based HSIC estimator which handles the $M\ge 2$ case, prove its consistency, and demonstrate its applicability in multiple contexts, including synthetic examples, dependency testing of media annotations, and causal discovery.


title: An algorithm for DC segmentation of AC power systems to mitigate electromechanical oscillations

abstract: In the last decades, various events have shown that electromechanical oscillations are a major concern for large interconnected Alternative Current (AC) power systems. DC segmentation - a method that consist in turning large AC grids into a set of asynchronous AC clusters linked by Direct Current (DC) links - is a promising solution to mitigate this and other issues. However, no systematic segmentation procedure for a given AC power system exists so far. This paper aims at filling this gap and proposes an algorithm for DC segmentation for a given AC power system to mitigate electromechanical oscillations. In this proposal, DC segmentation is implemented with High Voltage Direct Current links based on Voltage Source Converters (VSC-HVDC). The algorithm uses small-signal stability techniques and the concept of dominant inter-area oscillation paths to stop the main inter-area mode of the power system. The algorithm will be explained using a six-generator test system and it will then be used on the Nordic 44 test system. The proposed algorithm for DC segmentation has been validated by means of non-linear time-domain simulation and small-signal stability analysis (SSSA).


title: Dynamic Optimization for Monoclonal Antibody Production

abstract: This paper presents a dynamic optimization numerical case study for Monoclonal Antibody (mAb) production. The fermentation is conducted in a continuous perfusion reactor. We represent the existing model in terms of a general modeling methodology well-suited for simulation and optimization. The model consists of six ordinary differential equations (ODEs) for the non-constant volume and the five components in the reactor. We extend the model with a glucose inhibition term to make the model feasible for optimization case studies. We formulate an optimization problem in terms of an optimal control problem (OCP) and consider four different setups for optimization. Compared to the base case, the optimal operation of the perfusion reactor increases the mAb yield with 44% when samples are taken from the reactor and with 52% without sampling. Additionally, our results show that multiple optimal feeding trajectories exist and that full glucose utilization can be forced without loss of mAb formation.


title: Mysterious and Manipulative Black Boxes: A Qualitative Analysis of Perceptions on Recommender Systems

abstract: Recommender systems are used to provide relevant suggestions on various matters. Although these systems are a classical research topic, knowledge is still limited regarding the public opinion about these systems. Public opinion is also important because the systems are known to cause various problems. To this end, this paper presents a qualitative analysis of the perceptions of ordinary citizens, civil society groups, businesses, and others on recommender systems in Europe. The dataset examined is based on the answers submitted to a consultation about the Digital Services Act (DSA) recently enacted in the European Union (EU). Therefore, not only does the paper contribute to the pressing question about regulating new technologies and online platforms, but it also reveals insights about the policy-making of the DSA. According to the qualitative results, Europeans have generally negative opinions about recommender systems and the quality of their recommendations. The systems are widely seen to violate privacy and other fundamental rights. According to many Europeans, these also cause various societal problems, including even threats to democracy. Furthermore, existing regulations in the EU are commonly seen to have failed due to a lack of proper enforcement. Numerous suggestions were made by the respondents to the consultation for improving the situation, but only a few of these ended up to the DSA.


title: CISum: Learning Cross-modality Interaction to Enhance Multimodal Semantic Coverage for Multimodal Summarization

abstract: Multimodal summarization (MS) aims to generate a summary from multimodal input. Previous works mainly focus on textual semantic coverage metrics such as ROUGE, which considers the visual content as supplemental data. Therefore, the summary is ineffective to cover the semantics of different modalities. This paper proposes a multi-task cross-modality learning framework (CISum) to improve multimodal semantic coverage by learning the cross-modality interaction in the multimodal article. To obtain the visual semantics, we translate images into visual descriptions based on the correlation with text content. Then, the visual description and text content are fused to generate the textual summary to capture the semantics of the multimodal content, and the most relevant image is selected as the visual summary. Furthermore, we design an automatic multimodal semantics coverage metric to evaluate the performance. Experimental results show that CISum outperforms baselines in multimodal semantics coverage metrics while maintaining the excellent performance of ROUGE and BLEU.


title: G\"{o}del-type solutions within the $f(R,Q,P)$ gravity

abstract: In this work, we scrutinize the consistency of spacetime homogeneous G\"{o}del-type metrics within $f(R,Q,P)$ theories of gravity for well-motivated matter sources. As it is well known, such geometries allow for causality violation. We provide general conditions to engender completely causal solutions in a manner completely different from general relativity. We take some specific models, for instance, $f(R,Q,P)=R -\dfrac{\mu^{4n+2}}{\left(a R^2+b Q+c P\right)^n}$, to illustrate the general results. Notably, we also find an unusual completely causal vacuum solution in the presence of a non-trivial cosmological constant which corresponds to the case $m^2=4\omega^2$.


title: Optimizing the magnon-phonon cooperativity in planar geometries

abstract: Optimizing the cooperativity between two distinct particles is an important feature of quantum information processing. Of particular interest is the coupling between spin and phonon, which allows for integrated long range communication between gates operating at GHz frequency. Using local light scattering, we show that, in magnetic planar geometries, this attribute can be tuned by adjusting the orientation and strength of an external magnetic field. The coupling strength is enhanced by about a factor of 2 for the out-of-plane magnetized geometry where the Kittel mode is coupled to circularly polarized phonons, compared to the in-plane one where it couples to linearly polarized phonons. We also show that the overlap between magnon and phonon is maximized by matching the Kittel frequency with an acoustic resonance that satisfies the half-wave plate condition across the magnetic film thickness. Taking the frequency dependence of the damping into account, a maximum cooperativity of about 6 is reached in garnets for the normal configuration near 5.5 GHz.


title: The Finsler spacetime condition for (\alpha,\beta)-metrics and their isometries

abstract: For the general class of pseudo-Finsler spaces with $(\alpha,\beta)$-metrics, we establish necessary and sufficient conditions such that these admit a Finsler spacetime structure. This means that the fundamental tensor has Lorentzian signature on a conic subbundle of the tangent bundle and thus the existence of a cone of future pointing timelike vectors is ensured. The identified $(\alpha,\beta)$-Finsler spacetimes are candidates for applications in gravitational physics. Moreover, we completely determine the relation between the isometries of an $(\alpha,\beta)$-metric and the isometries of the underlying pseudo-Riemannian metric $a$; in particular, we list all $(\alpha,\beta)$-metrics which admit isometries that are not isometries of $a$.


title: SkillRec: A Data-Driven Approach to Job Skill Recommendation for Career Insights

abstract: Understanding the skill sets and knowledge required for any career is of utmost importance, but it is increasingly challenging in today's dynamic world with rapid changes in terms of the tools and techniques used. Thus, it is especially important to be able to accurately identify the required skill sets for any job for better career insights and development. In this paper, we propose and develop the Skill Recommendation (SkillRec) system for recommending the relevant job skills required for a given job based on the job title. SkillRec collects and identify the skill set required for a job based on the job descriptions published by companies hiring for these roles. In addition to the data collection and pre-processing capabilities, SkillRec also utilises word/sentence embedding techniques for job title representation, alongside a feed-forward neural network for job skill recommendation based on the job title representation. Based on our preliminary experiments on a dataset of 6,000 job titles and descriptions, SkillRec shows a promising performance in terms of accuracy and F1-score.


title: A Text Mining Analysis of Data Protection Politics: The Case of Plenary Sessions of the European Parliament

abstract: Data protection laws and policies have been studied extensively in recent years, but little is known about the parliamentary politics of data protection. This imitation applies even to the European Union (EU) that has taken the global lead in data protection and privacy regulation. For patching this notable gap in existing research, this paper explores the data protection questions raised by the Members of the European Parliament (MEPs) in the Parliament's plenary sessions and the answers given to these by the European Commission. Over a thousand of such questions and answers are covered in a period from 1995 to early 2023. Given computational analysis based on text mining, the results indicate that (a) data protection has been actively debated in the Parliament during the past twenty years. No noticeable longitudinal trends are present; the debates have been relatively constant. As could be expected, (b) the specific data protection laws in the EU have frequently been referenced in these debates, which (c) do not seem to align along conventional political dimensions such as the left-right axis. Furthermore, (d) numerous distinct data protection topics have been debated by the parliamentarians, indicating that data protection politics in the EU go well-beyond the recently enacted regulations.


title: Computing persistent homology by spanning trees and critical simplices

abstract: Topological data analysis can extract effective information from higher-dimensional data. Its mathematical basis is persistent homology. The persistent homology can calculate topological features at different spatiotemporal scales of the dataset; that is, establishing the integrated taxonomic relation among points, lines and simplices. Here, the simplicial network composed of all-order simplices in a simplicial complex is essential. Because the sequence of nested simplicial subnetworks can be regarded as a discrete Morse function from the simplicial network to real values, a method based on the concept of critical simplices can be developed by searching all-order spanning trees. Employing this new method, not only the Morse function values with the theoretical minimum number of critical simplices can be obtained, but also the Betti numbers and composition of all-order cavities in the simplicial network can be calculated quickly. Finally, this method is used to analyze some examples and compared with other methods, showing its effectiveness and feasibility.


title: The Continuous-Time Joint Replenishment Problem: $\epsilon$-Optimal Policies via Pairwise Alignment

abstract: The main contribution of this paper resides in developing a new algorithmic approach for addressing the continuous-time joint replenishment problem, termed $\Psi$-pairwise alignment. The latter mechanism, through which we synchronize multiple Economic Order Quantity models, allows us to devise a purely-combinatorial algorithm for efficiently approximating optimal policies within any degree of accuracy. As a result, our work constitutes the first quantitative improvement over power-of-$2$ policies, which have been state-of-the-art in this context since the mid-80's. Moreover, in light of recent intractability results, by proposing an efficient polynomial-time approximation scheme (EPTAS) for the joint replenishment problem, we resolve the long-standing open question regarding the computational complexity of this classical setting.


title: Recent Trends in Cross-Border Data Access by Law Enforcement Agencies

abstract: Access to online data has long been important for law enforcement agencies in their collection of electronic evidence and investigation of crimes. These activities have also long involved cross-border investigations and international cooperation between agencies and jurisdictions. However, technological advances such as cloud computing have complicated the investigations and cooperation arrangements. Therefore, several new laws have been passed and proposed both in the United States and the European Union for facilitating cross-border crime investigations in the context of cloud computing. These new laws and proposals have also brought many new legal challenges and controversies regarding extraterritoriality, data protection, privacy, and surveillance. With these challenges in mind and with a focus on Europe, this paper reviews the recent trends and policy initiatives for cross-border data access by law enforcement agencies.


title: Characterisation of the HollandPTC R&D proton beamline for physics and radiobiology studies

abstract: HollandPTC is an independent outpatient center for proton therapy, scientific research, and education. Patients with different types of cancer are treated with Intensity Modulated Proton Therapy (IMPT). In addition, the HollandPTC R&D consortium conducts scientific research into the added value and improvements of proton therapy. To this end, HollandPTC created clinical and pre-clinical research facilities including a versatile R&D proton beamline for various types of biologically and technologically oriented research. In this work, we present the characterization of the R&D proton beam line of HollandPTC. Its pencil beam mimics the one used for clinical IMPT, with energy ranging from 70 up to 240 MeV, which has been characterized in terms of shape, size, and intensity. For experiments that need a uniform field in depth and lateral directions, a dual ring passive scattering system has been designed, built, and characterized. With this system, field sizes between 2x2 cm2 and 20x20 cm2 with 98% uniformity are produced with dose rates ranging from 0.5 Gy/min up to 9 Gy/min. The unique and customized support of the dual ring system allows switching between a pencil beam and a large field in a very simple and fast way, making the HollandPTC R&D proton beam able to support a wide range of different applications.


title: Reflections on the Data Governance Act

abstract: The European Union (EU) has been pursuing a new strategy under the umbrella label of digital sovereignty. Data is an important element in this strategy. To this end, a specific Data Governance Act was enacted in 2022. This new regulation builds upon two ideas: reuse of data held by public sector bodies and voluntary sharing of data under the label of data altruism. This short commentary reviews the main content of the new regulation. Based on the review, a few points are also raised about potential challenges.


title: Generalization capabilities of conditional GAN for turbulent flow under changes of geometry

abstract: Turbulent flow consists of structures with a wide range of spatial and temporal scales which are hard to resolve numerically. Classical numerical methods as the Large Eddy Simulation (LES) are able to capture fine details of turbulent structures but come at high computational cost. Applying generative adversarial networks (GAN) for the synthetic modeling of turbulence is a mathematically well-founded approach to overcome this issue. In this work, we investigate the generalization capabilites of GAN-based synthetic turbulence generators when geometrical changes occur in the flow configuration (e.g. aerodynamic geometric optimization of structures such as airfoils). As training data, we use the flow around a low-pressure turbine (LPT) stator with periodic wake impact obtained from highly resolved LES. To simulate the flow around a LPT stator, we use the conditional deep convolutional GAN framework pix2pixHD conditioned on the position of a rotating wake in front of the stator. For the generalization experiments we exclude images of wake positions located at certain regions from the training data and use the unseen data for testing. We show the abilities and limits of generalization for the conditional GAN by extending the regions of the extracted wake positions successively. Finally, we evaluate the statistical properties of the synthesized flow field by comparison with the corresponding LES results.


title: Multidimensional Stein method and quantitative asymptotic independence

abstract: If $\mathbb{Y}$ is a random vector in $\mathbb{R}^{d}$, we denote by $P_{\mathbb{Y}}$ its probability distribution. Consider a random variable $X$ and a $d$-dimensional random vector $\mathbb{Y}$. Inspired by \cite{Pi}, we develop a multidimensional Stein-Malliavin calculus which allows to measure the Wasserstein distance between the law $P_{ (X, \mathbb{Y})}$ and the probability distribution $P_{Z}\otimes P_{\mathbb{Y}}$, where $Z$ is a Gaussian random variable. That is, we give estimates, in terms of the Malliavin operators, for the distance between the law of the random vector $(X, \mathbb{Y})$ and the law of the vector $(Z, \mathbb{Y})$, where $Z$ is Gaussian and independent of $\mathbb{Y}$. Then we focus on the particular case of random vectors in Wiener chaos and we give an asymptotic version of this result. In this situation, this variant of the Stein-Malliavin calculus has strong and unexpected consequences. Let $(X_{k}, k\geq 1)$ be a sequence of random variables in the $p$th Wiener chaos ($p\geq 2$), which converges in law, as $k\to \infty$, to the Gaussian distribution $N(0, \sigma^2)$. Also consider $(\mathbb{Y}_{k}, k\geq 1)$ a $d$-dimensional random sequence converging in $L^{2}(\Omega)$, as $k\to \infty$, to an arbitrary random vector $\mathbb{U}$ in $\mathbb{R}^{d}$ and assume that the two sequences are asymptotically uncorrelated. We prove that, under very light assumptions on $\mathbb{Y}_{k}$, we have the joint convergence of $(X_{k}, \mathbb{Y}_{k}), k\geq 1)$ to $(Z, \mathbb{U})$ where $Z\sim N(0, \sigma ^{2})$ is indeendent of $\mathbb{U}$. These assumptions are automatically satisfied when the components of the vector $\mathbb{Y}_{k}$ belong to a finite sum of Wiener chaoses or when $\mathbb{Y}_{k}=Y$ for every $k\geq 1$, where $\mathbb{Y}$ belongs to the Sobolev-Malliavin space $\mathbb{D}^{1,2}$.


title: Query Performance Prediction for Neural IR: Are We There Yet?

abstract: Evaluation in Information Retrieval relies on post-hoc empirical procedures, which are time-consuming and expensive operations. To alleviate this, Query Performance Prediction (QPP) models have been developed to estimate the performance of a system without the need for human-made relevance judgements. Such models, usually relying on lexical features from queries and corpora, have been applied to traditional sparse IR methods - with various degrees of success. With the advent of neural IR and large Pre-trained Language Models, the retrieval paradigm has significantly shifted towards more semantic signals. In this work, we study and analyze to what extent current QPP models can predict the performance of such systems. Our experiments consider seven traditional bag-of-words and seven BERT-based IR approaches, as well as nineteen state-of-the-art QPPs evaluated on two collections, Deep Learning '19 and Robust '04. Our findings show that QPPs perform statistically significantly worse on neural IR systems. In settings where semantic signals are prominent (e.g., passage retrieval), their performance on neural models drops by as much as 10% compared to bag-of-words approaches. On top of that, in lexical-oriented scenarios, QPPs fail to predict performance for neural IR systems on those queries where they differ from traditional approaches the most.


title: Experimental demonstration of quantum cooling engine powered by entangled measurement

abstract: Traditional refrigeration is driven either by external force or an information-feedback mechanism. Surprisingly, the quantum measurement and collapse, which are generally detrimental, can also be used to power a cooling engine even without requiring any feedback mechanism. In this work, we experimentally demonstrate quantum measurement cooling (QMC) powered by entangled measurement by using a novel linear optical simulator. In the simulator, different thermodynamic processes can be simulated by adjusting the energy-level spacing of working substance and the temperature of thermal bath. We show experimentally that, without prior knowledge about the measurement to be made, QMC remains likely to occur. We also demonstrate that QMC is robust against measurement noise. Those experimental results show that quantum measurement is not always detrimental but can be a valuable thermodynamic resource.


title: SpecXAI -- Spectral interpretability of Deep Learning Models

abstract: Deep learning is becoming increasingly adopted in business and industry due to its ability to transform large quantities of data into high-performing models. These models, however, are generally regarded as black boxes, which, in spite of their performance, could prevent their use. In this context, the field of eXplainable AI attempts to develop techniques that temper the impenetrable nature of the models and promote a level of understanding of their behavior. Here we present our contribution to XAI methods in the form of a framework that we term SpecXAI, which is based on the spectral characterization of the entire network. We show how this framework can be used to not only understand the network but also manipulate it into a linear interpretable symbolic representation.