title: MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline

abstract: Large language models (LLMs) have seen considerable advancements in natural language understanding tasks, yet there remains a gap to bridge before attaining true artificial general intelligence, especially concerning shortcomings in mathematical reasoning capabilities. We postulate that the inherent nature of LLM training, which focuses on predicting probabilities of next token, presents challenges in effectively modeling mathematical reasoning that demands exact calculations, both from data-driven and theoretical standpoints. In this paper, we address this challenge by enriching the data landscape and introducing a novel math dataset, enhanced with a capability to utilize a Python code interpreter. This dataset is derived from GSM8K and MATH and has been further refined through a combination of GPT-4 annotations, human review, and self-training processes, where the errors in the original GSM8K training set have been fixed. Additionally, we propose a tentative, easily replicable protocol for the fine-tuning of math-specific LLMs, which has led to a significant improvement in the performance of a 7B-parameter LLM on the GSM8K and MATH datasets. We are committed to advancing the field of mathematical reasoning in LLMs and, to that end, we have made source code for data generation / training / inference, and the model checkpoints publicly available at \url{https://github.com/MARIO-Math-Reasoning/MARIO}. We hope this will facilitate further research and development within the community.


title: Reconfiguration of a parallel kinematic manipulator with 2T2R motions for avoiding singularities through minimizing actuator forces

abstract: This paper aims to develop an approach for the reconfiguration of a parallel kinematic manipulator (PKM) with four degrees of freedom (DoF) designed to tackle tasks of diagnosis and rehabilitation in an injured knee. The original layout of the 4-DoF manipulator presents Type-II singular configurations within its workspace. Thus, we proposed to reconfigure the manipulator to avoid such singularities (owing to the Forward Jacobian of the PKM) during typical rehabilitation trajectories. We achieve the reconfiguration of the PKM through a minimization problem where the design variables correspond to the anchoring points of the robot limbs on fixed and mobile platforms. The objective function relies on the minimization of the forces exerted by the actuators for a specific trajectory. The minimization problem considers constraint equations to avoid Type-II singularities, which guarantee the feasibility of the active generalized coordinates for a particular path. To evaluate the proposed conceptual strategy, we build a prototype where reconfiguration occurs by moving the position of the anchoring points to holes bored in the fixed and mobile platforms. Simulations and experiments of several study cases enable testing the strategy performance. The results show that the reconfiguration strategy allows obtaining trajectories having minimum actuation forces without Type-II singularities.


title: Mechatronic Design, Experimental Setup and Control Architecture Design of a Novel 4 DoF Parallel Manipulator

abstract: Although parallel manipulators (PMs) started with the introduction of architectures with 6 Degrees of Freedom (DoF), a vast number of applications require less than 6 DoF. Consequently, scholars have proposed architectures with 3 DoF and 4 DoF, but relatively few 4 DoF PMs have become prototypes, especially of the two rotation (2R) and two translation (2T) motion types. In this paper, we explain the mechatronics design, prototype and control architecture design of a 4 DoF PM with 2R2T motions. We chose to design a 4 DoF manipulator based on the motion needed to complete the tasks of lower limb rehabilitation. To the author's best knowledge, PMs between 3 and 6 DoF for rehabilitation of lower limbs have not been proposed to date. The developed architecture enhances the three minimum DoF required by adding a 4 DoF which allows combinations of normal or tangential efforts in the joints, or torque acting on the knee. We put forward the inverse and forward displacement equations, describe the prototype, perform the experimental setup, and develop the hardware and control architecture. The tracking accuracy experiments from the proposed controller show that the manipulator can accomplish the required application.


title: Local and global existence for the Ericksen-Leslie problem in unbounded domains

abstract: The work deals with the Ericksen-Leslie model for nematic liquid crystals on the whole space, the half-space and on exterior domains with smooth boundary. The crystal orientation is described by a unit vector that is a small perturbation of a fixed constant vector. We prove, through a combination of energy method with dispersive a priori estimates, a local existence and a global existence for small initial data by a contraction argument asking low regularity assumptions on the initial condition.


title: End-to-End Optimized Image Compression with the Frequency-Oriented Transform

abstract: Image compression constitutes a significant challenge amidst the era of information explosion. Recent studies employing deep learning methods have demonstrated the superior performance of learning-based image compression methods over traditional codecs. However, an inherent challenge associated with these methods lies in their lack of interpretability. Following an analysis of the varying degrees of compression degradation across different frequency bands, we propose the end-to-end optimized image compression model facilitated by the frequency-oriented transform. The proposed end-to-end image compression model consists of four components: spatial sampling, frequency-oriented transform, entropy estimation, and frequency-aware fusion. The frequency-oriented transform separates the original image signal into distinct frequency bands, aligning with the human-interpretable concept. Leveraging the non-overlapping hypothesis, the model enables scalable coding through the selective transmission of arbitrary frequency components. Extensive experiments are conducted to demonstrate that our model outperforms all traditional codecs including next-generation standard H.266/VVC on MS-SSIM metric. Moreover, visual analysis tasks (i.e., object detection and semantic segmentation) are conducted to verify the proposed compression method could preserve semantic fidelity besides signal-level precision.


title: Three classes of propagation rules for GRS and EGRS codes and their applications to EAQECCs

abstract: In this paper, we study the Hermitian hulls of (extended) generalized Reed-Solomon (GRS and EGRS) codes over finite fields. For a given class of (extended) GRS codes, by increasing the length, increasing the dimensions and increasing both the length and the dimensions, we obtain three new classes of (extended) GRS codes with Hermitian hulls of arbitrary dimensions. Furthermore, we obtain several new classes of $q^2$-ary maximum distance separable (MDS) codes with Hermitian hulls of arbitrary dimensions. And the dimension of these MDS codes can be taken from $1$ to $\frac{n}{2}$. By propagation rules, the parameters of the obtained code can be more flexible. As an application, a lot of new (MDS) entanglement-assisted quantum error correction codes (EAQECCs) can be constructed from previous known (extended) GRS codes. We derive three new propagation rules on (MDS) EAQECCs constructed from (extended) GRS codes. Finally, we present several new classes of (MDS) EAQECCs with flexible parameters. Notably, the distance parameters of our codes can range from $2$ to $\frac{n+2}{2}$.


title: On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials

abstract: Verifiable credentials are a digital analogue of physical credentials. Their authenticity and integrity are protected by means of cryptographic techniques, and they can be presented to verifiers to reveal attributes or even predicates about the attributes included in the credential. One way to preserve privacy during presentation consists in selectively disclosing the attributes in a credential. In this paper we present the most widespread cryptographic mechanisms used to enable selective disclosure of attributes identifying two categories: the ones based on hiding commitments - e.g., mdl ISO/IEC 18013-5 - and the ones based on non-interactive zero-knowledge proofs - e.g., BBS signatures. We also include a description of the cryptographic primitives used to design such cryptographic mechanisms. We describe the design of the cryptographic mechanisms and compare them by performing an analysis on their standard maturity in terms of standardization, cryptographic agility and quantum safety, then we compare the features that they support with main focus on the unlinkability of presentations, the ability to create predicate proofs and support for threshold credential issuance. Finally we perform an experimental evaluation based on the Rust open source implementations that we have considered most relevant. In particular we evaluate the size of credentials and presentations built using different cryptographic mechanisms and the time needed to generate and verify them. We also highlight some trade-offs that must be considered in the instantiation of the cryptographic mechanisms.


title: Matrix Completion with Hypergraphs:Sharp Thresholds and Efficient Algorithms

abstract: This paper considers the problem of completing a rating matrix based on sub-sampled matrix entries as well as observed social graphs and hypergraphs. We show that there exists a \emph{sharp threshold} on the sample probability for the task of exactly completing the rating matrix -- the task is achievable when the sample probability is above the threshold, and is impossible otherwise -- demonstrating a phase transition phenomenon. The threshold can be expressed as a function of the ``quality'' of hypergraphs, enabling us to \emph{quantify} the amount of reduction in sample probability due to the exploitation of hypergraphs. This also highlights the usefulness of hypergraphs in the matrix completion problem. En route to discovering the sharp threshold, we develop a computationally efficient matrix completion algorithm that effectively exploits the observed graphs and hypergraphs. Theoretical analyses show that our algorithm succeeds with high probability as long as the sample probability exceeds the aforementioned threshold, and this theoretical result is further validated by synthetic experiments. Moreover, our experiments on a real social network dataset (with both graphs and hypergraphs) show that our algorithm outperforms other state-of-the-art matrix completion algorithms.


title: A model for cosmological perturbations in affine gravity

abstract: In this paper, we present the cosmological perturbation formalism for theories within the framework of affine gravity. These theories are distinguished by their connection, devoid of any metric. Our approach involves segregating perturbations into symmetric and antisymmetric components (related to torsion), each further decomposed into irreducible elements, namely scalars, pseudoscalars, vectors, pseudovectors, 2-tensors, and 3-tensors. Finally, we have fully addressed the gauge freedom in this context.


title: Photonic Modes Prediction via Multi-Modal Diffusion Model

abstract: The concept of photonic modes is the cornerstone in optics and photonics, which can describe the propagation of the light. The Maxwell's equations play the role in calculating the mode field based on the structure information, while this process needs a great deal of computations, especially in the handle with a three-dimensional model. To overcome this obstacle, we introduce the Multi-Modal Diffusion model to predict the photonic modes in one certain structure. The Contrastive Language-Image Pre-training (CLIP) model is used to build the connections between photonic structures and the corresponding modes. Then we exemplify Stable Diffusion (SD) model to realize the function of optical fields generation from structure information. Our work introduces Multi-Modal deep learning to construct complex mapping between structural information and light field as high-dimensional vectors, and generates light field images based on this mapping.


title: Photon ring bounds of scalar hairy charged black holes

abstract: We study photon rings of constant scalar hairy black holes with mass $m$, charge $Q$, and scalar hair $S$ obtained from the Einstein-Maxwell-conformally coupled scalar theory. These black holes are classified as scalar hairy Reissner-Nordstr\"{o}m (SHRN) black hole, scalar hairy charged black hole with $S> -Q^2$, and mutated-RN black hole. The first two respect both dominant and strong energy conditions and have positive ADM mass and entropy, while the last does not respect two energy conditions and has negative ADM mass and entropy. We find that all of these black holes respect the lower bound ($r_\gamma\ge 1.2 r_+$) of photon rings. We obtain all real bounds of photon rings for these black holes and discuss physical and observational properties of real bounds. It is shown that the observationally favored region based on the shadow radius includes SHRN black hole, scalar hairy charged black hole, and mutated-RN black hole.


title: A new highly nonlinear equation modelling shallow-water waves with constant vorticity

abstract: In this paper we apply the approach of formal asymptotic expansions and perturbation theory to derive a new highly nonlinear shallow-water model from the full governing equations for two dimensional incompressible fluid with constant vorticity. This approximate model is generated by introduction of a larger scaling than the Camassa-Holm one, which is shown to be optimal in the sense that there are no non-local terms appearing in free surface equation. Moreover, we establish the local well-posedness of the Cauchy problem in Besov spaces, and give a blow-up criterion, which improve the previous corresponding results in Sobolev spaces.


title: IsamasRed: A Public Dataset Tracking Reddit Discussions on Israel-Hamas Conflict

abstract: The conflict between Israel and Palestinians significantly escalated after the October 7, 2023 Hamas attack, capturing global attention. To understand the public discourse on this conflict, we present a meticulously compiled dataset-IsamasRed-comprising nearly 400,000 conversations and over 8 million comments from Reddit, spanning from August 2023 to November 2023. We introduce an innovative keyword extraction framework leveraging a large language model to effectively identify pertinent keywords, ensuring a comprehensive data collection. Our initial analysis on the dataset, examining topics, controversy, emotional and moral language trends over time, highlights the emotionally charged and complex nature of the discourse. This dataset aims to enrich the understanding of online discussions, shedding light on the complex interplay between ideology, sentiment, and community engagement in digital spaces.


title: A monoid-theoretical approach to infinite direct-sum decompositions of modules

abstract: Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $\kappa$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $\kappa$-indexed direct sums, and study the resulting $\kappa$-monoid $V^{\kappa}(\mathcal C)$. The braiding-property and an equivalent universal property, allow us to show: if every module in $\mathcal C$ is a direct sum of modules generated by strictly fewer than $\lambda$ many elements, then all relations on $V^{\kappa}(\mathcal C)$ are induced by relations between direct sums indexed by sets of cardinality strictly less than $\lambda$. A theorem of Kaplansky states that every projective module is a direct sum of countably generated modules. We augment this, showing that also all relations between infinite direct sums of projective modules are induced from those between countable direct sums of countably generated projective modules. If every projective module over a ring $R$ is a direct sum of finitely generated projective modules, then the monoid of finitely generated projective modules $V(R)$ completely determines the $\kappa$-monoid $V^{\kappa}(R)$. Together with the realization result of Bergman and Dicks, this characterizes the $\kappa$-monoids appearing as $V^{\kappa}(R)$ for a hereditary ring. In general, the $\aleph_0$-monoid $V^{\aleph_0}(R)$ fully determines $V^{\kappa}(R)$. Herbera and P\v{r}\'ihoda's characterization of monoids of countably generated projective modules $V^*(R)$ over semilocal noetherian rings, yields a characterization of $V^{\kappa}(R)$ for these rings. We also characterize two-generated $\aleph_0$-monoids that appear as $V^{\aleph_0}(R)$ for hereditary rings $R$.


title: First-principles derivation of elastic interaction between Jahn-Teller centers in crystals via lattice Green's functions

abstract: Jahn-Teller (JT) systems with strong and intermediate vibronic coupling are described in terms of local JT active vibrational modes. In JT crystals, the elastic interaction of these modes at different JT centers plays a crucial role, for instance, in determining critical temperature of structural phase transitions. Despite their importance, the parameters of elastic interaction between JT centers have not been accessed yet by first-principles calculations. In this paper, we develop an effective Hamiltonian methodology for the thorough description of the elastic interactions in cooperative Jahn-Teller problems, which treats the interactions with both phonons and uniform strains. All the microscopic parameters, such as lattice Green's functions, elastic modulus, can be obtained or calculated based on first-principles the calculation. The method has been applied to a series of 5d1 double perovskites. Such effective Hamiltonian methodology can be, in general, used to investigate the APES of any type of the local distortions, such as impurities, defects, etc.


title: A Pillai-Catalan-type problem involving Fibonacci numbers

abstract: This paper addresses A Pillai-Catalan-type problem assosiated with Fibonacci numbers. Let $F_{n}$ be the Fibonacci numbers defined by the recurrence relation $F_{1}=1$, $F_{2}=1$ and $F_{n}=F_{n-1}+F_{n-2}$ for all $n\geq 3$. We will find all positive integer solution to the equation $3^{x}-F_{n}2^{y}=1$ using properties of Fibonacci numbers, linear forms of logarithms, and the Baker-Davenport reduction method.


title: Generative Multi-Modal Knowledge Retrieval with Large Language Models

abstract: Knowledge retrieval with multi-modal queries plays a crucial role in supporting knowledge-intensive multi-modal applications. However, existing methods face challenges in terms of their effectiveness and training efficiency, especially when it comes to training and integrating multiple retrievers to handle multi-modal queries. In this paper, we propose an innovative end-to-end generative framework for multi-modal knowledge retrieval. Our framework takes advantage of the fact that large language models (LLMs) can effectively serve as virtual knowledge bases, even when trained with limited data. We retrieve knowledge via a two-step process: 1) generating knowledge clues related to the queries, and 2) obtaining the relevant document by searching databases using the knowledge clue. In particular, we first introduce an object-aware prefix-tuning technique to guide multi-grained visual learning. Then, we align multi-grained visual features into the textual feature space of the LLM, employing the LLM to capture cross-modal interactions. Subsequently, we construct instruction data with a unified format for model training. Finally, we propose the knowledge-guided generation strategy to impose prior constraints in the decoding steps, thereby promoting the generation of distinctive knowledge clues. Through experiments conducted on three benchmarks, we demonstrate significant improvements ranging from 3.0% to 14.6% across all evaluation metrics when compared to strong baselines.


title: AGN jet-inflated bubbles as possible origin of odd radio circles

abstract: Odd radio circles (ORCs) are newly discovered extragalactic radio objects with unknown origin. In this work, we carry out three-dimensional cosmic-ray (CR) magnetohydrodynamic simulations using the FLASH code and predict the radio morphology of end-on active galactic nucleus (AGN) jet-inflated bubbles considering hadronic emission. We find that powerful and long-duration CR proton (CRp)-dominated jets can create bubbles with similar sizes ($\sim 300-600$ kpc) and radio morphology (circular and edge-brightened) to the observed ORCs in low-mass ($M_{\rm vir}\sim 8\times 10^{12} - 8\times 10^{13}~M_\odot$) halos. Given the same amount of input jet energy, longer-duration (thus lower-power) jets tend to create larger bubbles since high-power jets generate strong shocks that carry away a significant portion of the jet energy. The edge-brightened feature of the observed ORCs is naturally reproduced due to efficient hadronic collisions at the interface between the bubbles and the ambient medium. We further discuss the radio luminosity, X-ray detectability, and the possible origin of such strong AGN jets in the context of galaxy evolution. We conclude that end-on CR-dominated AGN bubbles could be a plausible scenario for the formation of ORCs.


title: Freiman's $(3k-4)$-like results for subset and subsequence sums

abstract: For a nonempty finite set $A$ of integers, let $S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\}$ be the set of all nonempty subset sums of $A$. In 1995, Nathanson determined the minimum cardinality of $S(A)$ in terms of $|A|$ and described the structure of $A$ for which $|S(A)|$ is the minimum. He asked to characterize the underlying set $A$ if $|S(A)|$ is a small increment to its minimum size. Problems of such nature are inspired by the well-known Freiman's $3k-4$ theorem. In this paper, some results in the direction of Freiman's $3k-4$ theorem for the set of subset sums $S(A)$ are proved. Such results are also extended to the set of subsequence sums $S(\mathbb{A}) = \left\{ \sum_{b\in \mathbb{B}} b: \emptyset \not= \mathbb{B} \subseteq \mathbb{A} \right\}$ of sequence $\mathbb{A}$, where the notation $\mathbb{B} \subseteq \mathbb{A} $, is used for $\mathbb{B}$ is a subsequence of $\mathbb{A}$. The results are further generalized to a generalization of subset and subsequence sums. The main idea of the proofs of the results is to write the set of subset sums $S(A)$ and the set of subsequence sums $S(\mathbb{A})$ in terms of the $h$-fold sumset $hA$ and the $h$-fold restricted sumset $h^\wedge A$. Such representation also gives other proof of some of the results of Nathanson and Mistri et al.


title: Transcending the Limit of Local Window: Advanced Super-Resolution Transformer with Adaptive Token Dictionary

abstract: Single Image Super-Resolution is a classic computer vision problem that involves estimating high-resolution (HR) images from low-resolution (LR) ones. Although deep neural networks (DNNs), especially Transformers for super-resolution, have seen significant advancements in recent years, challenges still remain, particularly in limited receptive field caused by window-based self-attention. To address these issues, we introduce a group of auxiliary Adaptive Token Dictionary to SR Transformer and establish an ATD-SR method. The introduced token dictionary could learn prior information from training data and adapt the learned prior to specific testing image through an adaptive refinement step. The refinement strategy could not only provide global information to all input tokens but also group image tokens into categories. Based on category partitions, we further propose a category-based self-attention mechanism designed to leverage distant but similar tokens for enhancing input features. The experimental results show that our method achieves the best performance on various single image super-resolution benchmarks.


title: ModelNet-O: A Large-Scale Synthetic Dataset for Occlusion-Aware Point Cloud Classification

abstract: Recently, 3D point cloud classification has made significant progress with the help of many datasets. However, these datasets do not reflect the incomplete nature of real-world point clouds caused by occlusion, which limits the practical application of current methods. To bridge this gap, we propose ModelNet-O, a large-scale synthetic dataset of 123,041 samples that emulate real-world point clouds with self-occlusion caused by scanning from monocular cameras. ModelNet-O is 10 times larger than existing datasets and offers more challenging cases to evaluate the robustness of existing methods. Our observation on ModelNet-O reveals that well-designed sparse structures can preserve structural information of point clouds under occlusion, motivating us to propose a robust point cloud processing method that leverages a critical point sampling (CPS) strategy in a multi-level manner. We term our method PointMLS. Through extensive experiments, we demonstrate that our PointMLS achieves state-of-the-art results on ModelNet-O and competitive results on regular datasets, and it is robust and effective. More experiments also demonstrate the robustness and effectiveness of PointMLS.


title: A convex combination based primal-dual algorithm with linesearch for general convex-concave saddle point problems

abstract: Using convex combination and linesearch techniques, we introduce a novel primal-dual algorithm for solving structured convex-concave saddle point problems with a generic smooth nonbilinear coupling term. Our adaptive linesearch strategy works under specific local smoothness conditions, allowing for potentially larger stepsizes. For an important class of structured convex optimization problems, the proposed algorithm reduces to a fully adaptive proximal gradient algorithm without linesearch, thereby representing an advancement over the golden ratio algorithm delineated in [Y. Malitsky, Math. Program. 2020]. We establish global pointwise and ergodic sublinear convergence rate of the algorithm measured by the primal-dual gap function in the general case. When the coupling term is linear in the dual variable, we measure the convergence rate by function value residual and constraint violation of an equivalent constrained optimization problem. Furthermore, an accelerated algorithm achieving the faster O(1/N^2) ergodic convergence rate is presented for the strongly convex case, where N denotes the iteration number. Our numerical experiments on quadratically constrained quadratic programming and sparse logistic regression problems indicate the new algorithm is significantly faster than the comparison algorithms.


title: Human vs. LMMs: Exploring the Discrepancy in Emoji Interpretation and Usage in Digital Communication

abstract: Leveraging Large Multimodal Models (LMMs) to simulate human behaviors when processing multimodal information, especially in the context of social media, has garnered immense interest due to its broad potential and far-reaching implications. Emojis, as one of the most unique aspects of digital communication, are pivotal in enriching and often clarifying the emotional and tonal dimensions. Yet, there is a notable gap in understanding how these advanced models, such as GPT-4V, interpret and employ emojis in the nuanced context of online interaction. This study intends to bridge this gap by examining the behavior of GPT-4V in replicating human-like use of emojis. The findings reveal a discernible discrepancy between human and GPT-4V behaviors, likely due to the subjective nature of human interpretation and the limitations of GPT-4V's English-centric training, suggesting cultural biases and inadequate representation of non-English cultures.


title: Ship Detection in SAR Images with Human-in-the-Loop

abstract: Synthetic aperture radar (SAR) has been extensively utilized in maritime domains due to its all-weather, all-day monitoring capabilities, particularly exhibiting significant value in ship detection. In recent years, deep learning methods have increasingly been utilized for refined ship detection. However, learning-based methods exhibit poor generalization when confronted with new scenarios and data, necessitating expert intervention for continuous annotation. Currently, the degree of automation in human-machine collaboration within this field, especially in annotating new data, is not high, leading to labor- and computation-intensive model iteration and updates. Addressing these issues, a ship detection framework in SAR images with human-in-the-loop (HitL) is proposed. Incorporating the concept of HitL, tailored active learning strategies are designed for SAR ship detection tasks to present valuable samples to users, and an interactive human-machine interface (HMI) is established to efficiently collect user feedback. Consequently, user input is utilized in each interaction round to enhance model performance. Employing the proposed framework, an annotated ship database of SAR images is constructed, and the iteration experiments conducted during the construction demonstrates the efficiency of the method, providing new perspectives and approaches for research in this domain.


title: Canonical reduced words and signed descent length enumeration in Coxeter groups

abstract: Reifegerste and independently, Petersen and Tenner studied a statistic $\mathrm{drops}()$ on permutations in $\mathfrak{S}_n$. Two other studied statistics on $\mathfrak{S}_n$ are $\mathrm{depth}$ and $\mathrm{exc}$. Using descents in ${\it canonical\ reduced\ words}$ of elements in $\mathfrak{S}_n$, we give an involution $f_A: \mathfrak{S}_n \mapsto \mathfrak{S}_n$ that leads to a neat formula for the signed trivariate enumerator of $\mathrm{drops},\mathrm{depth}, \mathrm{exc}$ in $\mathfrak{S}_n$. This gives a simple formula for the signed univariate drops enumerator in $\mathfrak{S}_n$. For the type-B Coxeter group $\mathfrak{B}_n$ as well, using similar techniques, we show analogous results. For the type D Coxeter group, we again get analogous results, but our proof is inductive. Under the famous Foata-Zeilberger bijection $\phi_{FZ}$ which takes permutations to restricted Laguerre histories, we show that permutations $\pi$ and $f_A(\pi)$ map to the same Motzkin path, but have different history components. Using the Foata-Zeilberger bijection, we also get a continued fraction for the generating function enumerating the pair of statistics $\mathrm{drops}$ and $\mathrm{MAD}$. Graham and Diaconis determined the mean and the variance of the Spearman metric of disarray $D(\pi)$ when one samples $\pi$ from $\mathfrak{S}_n$ at random. As an application of our results, we get the mean and variance of the statistic $\mathrm{drops}(\pi)$ when we sample $\pi$ from $\mathcal{A}_n$ at random.


title: On exterior powers of reflection representations, II

abstract: Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,\rho)$ of $W$ is called a reflection representation of $(W,S)$ if $\rho(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.


title: Towards Efficient and Certified Recovery from Poisoning Attacks in Federated Learning

abstract: Federated learning (FL) is vulnerable to poisoning attacks, where malicious clients manipulate their updates to affect the global model. Although various methods exist for detecting those clients in FL, identifying malicious clients requires sufficient model updates, and hence by the time malicious clients are detected, FL models have been already poisoned. Thus, a method is needed to recover an accurate global model after malicious clients are identified. Current recovery methods rely on (i) all historical information from participating FL clients and (ii) the initial model unaffected by the malicious clients, leading to a high demand for storage and computational resources. In this paper, we show that highly effective recovery can still be achieved based on (i) selective historical information rather than all historical information and (ii) a historical model that has not been significantly affected by malicious clients rather than the initial model. In this scenario, while maintaining comparable recovery performance, we can accelerate the recovery speed and decrease memory consumption. Following this concept, we introduce Crab, an efficient and certified recovery method, which relies on selective information storage and adaptive model rollback. Theoretically, we demonstrate that the difference between the global model recovered by Crab and the one recovered by train-from-scratch can be bounded under certain assumptions. Our empirical evaluation, conducted across three datasets over multiple machine learning models, and a variety of untargeted and targeted poisoning attacks reveals that Crab is both accurate and efficient, and consistently outperforms previous approaches in terms of both recovery speed and memory consumption.


title: LLM-Guided Multi-View Hypergraph Learning for Human-Centric Explainable Recommendation

abstract: As personalized recommendation systems become vital in the age of information overload, traditional methods relying solely on historical user interactions often fail to fully capture the multifaceted nature of human interests. To enable more human-centric modeling of user preferences, this work proposes a novel explainable recommendation framework, i.e., LLMHG, synergizing the reasoning capabilities of large language models (LLMs) and the structural advantages of hypergraph neural networks. By effectively profiling and interpreting the nuances of individual user interests, our framework pioneers enhancements to recommendation systems with increased explainability. We validate that explicitly accounting for the intricacies of human preferences allows our human-centric and explainable LLMHG approach to consistently outperform conventional models across diverse real-world datasets. The proposed plug-and-play enhancement framework delivers immediate gains in recommendation performance while offering a pathway to apply advanced LLMs for better capturing the complexity of human interests across machine learning applications.


title: Simultaneous Coherent and Displacement Compounding for 2D Noninvasive Carotid Strain Imaging: a Proof of Principle Study

abstract: Arteriosclerosis results from lipid buildup in artery walls, leading to plaque formation, and is a leading cause of death. Plaque rupture can cause blood clots that might lead to a stroke. Distinguishing plaque types is a challenge, but ultrasound elastography can help by assessing plaque composition based on strain values. Since the artery has a circular structure, an accurate axial and lateral displacement strategy is needed to derive the radial and circumferential strains. A high precision lateral displacement is challenging due to the lack of phase information in the lateral direction of the beamformed RF data. Previously, our group has developed a compounding technique in which the lateral displacement is estimated using tri-angulation of the axial displacement estimated from transmitting and beamforming ultrasound beams at +-20 degree. However, its applicability to in vivo is challenging due to the imaging noise and the low contrast of the arterial wall, caused by a single plane wave transmission. In this paper, we combine our displacement compounding with coherent compounding. Instead of transmitting a single plane wave, multiple plane waves are transmitted at certain angles with respect to the angle of the beamforming grids, and then the backscattered wavefronts are beamformed and coherently compounded on the center of the transmit beams (-20, +20 and 0 degree). ...


title: Monoidal Extended Stone Duality

abstract: Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental for proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions, subsuming various incarnations of classical extended Stone and Priestley duality as a special case. Guided by these categorical foundations, we investigate residuation algebras, which are algebraic models of language derivatives, and show the subcategory of derivation algebras to be dually equivalent to the category of profinite ordered monoids, restricting to a duality between boolean residuation algebras and profinite monoids. We further extend this duality to capture relational morphisms of profinite ordered monoids, which dualize to natural morphisms of residuation algebras.


title: Spoofing Detection in the Physical Layer with Graph Neural Networks

abstract: In a spoofing attack, a malicious actor impersonates a legitimate user to access or manipulate data without authorization. The vulnerability of cryptographic security mechanisms to compromised user credentials motivates spoofing attack detection in the physical layer, which traditionally relied on channel features, such as the received signal strength (RSS) measured by spatially distributed receivers or access points. However, existing methods cannot effectively cope with the dynamic nature of channels, which change over time as a result of user mobility and other factors. To address this limitation, this work builds upon the intuition that the temporal pattern of changes in RSS features can be used to detect the presence of concurrent transmissions from multiple (possibly changing) locations, which in turn indicates the existence of an attack. Since a localization-based approach would require costly data collection and would suffer from low spatial resolution due to multipath, the proposed algorithm employs a deep neural network to construct a graph embedding of a sequence of RSS features that reflects changes in the propagation conditions. A graph neural network then classifies these embeddings to detect spoofing attacks. The effectiveness and robustness of the proposed scheme are corroborated by experiments with real-data.


title: Towards Causal Relationship in Indefinite Data: Baseline Model and New Datasets

abstract: Integrating deep learning and causal discovery has encouraged us to spot that learning causal structures and representations in dialogue and video is full of challenges. We defined These data forms as "Indefinite Data", characterized by multi-structure data and multi-value representations. Unlike existing adaptable data forms, Indefinite Data still faces gaps in datasets and methods. To address the dataset gap, we release two high-quality datasets - Causalogue and Causaction, containing text dialogue samples and video action samples with causal annotations respectively. Moreover, the method gap arises from the coexistence of multi-structure data and multi-value representations, breaking the assumptions of all current methods and rendering them infeasible on Indefinite Data. To this end, we propose a probabilistic framework as a baseline, incorporating three designed highlights for this gap: 1) establishing Causation Condition of representations using the independence of noise terms under non-fixed causal structures, 2) treating causal strength as a latent variable and measuring the reconstruction loss in the correlation space, and 3) estimating the effects of latent confounders. These highpoints make the probabilistic model capable of overcoming challenges brought by the coexistence of multi-structure data and multi-value representations and pave the way for the extension of latent confounders. Comprehensive experiments have evaluated baseline results of causal structures, causal representations, and confounding disentanglement.


title: Pulsation Phases and Mode Identification of Tidally Excited Oscillations in Fourteen Kepler Heartbeat Stars

abstract: Tidally excited oscillations (TEOs) in Heartbeat Stars (HBSs) are an essential probe of the internal properties of the systems, but their potential has yet to be fully exploited. Based on the orbital parameters of TEO candidates from our previous works, we identify the pulsation phases and amplitudes of TEOs in fourteen Kepler HBSs. Most pulsation phases of most systems can be explained by the dominant being $l=2$, $m=0$, or $\pm2$ spherical harmonic, assuming that the spin and orbital axes are aligned, and the pulsations are adiabatic and standing waves. The largest deviation ($>6\sigma$) occurs in KIC 8459354, which can be explained by the spin-orbit misalignment, and KIC 5877364 has a similar scenario. For KIC 11122789, almost half of the harmonics show large deviations; we cautiously suggest that these harmonics may not be considered TEO candidates. A similar scenario also exists in KIC 6290740. This phases and mode identification approach can also be used inversely to verify the TEO candidates derived by the Fourier analysis. Furthermore, the harmonics with large deviations ($>2\sigma$) in KIC 4377638, KIC 5090937, and KIC 11403032 can be expected to be travelling waves rather than standing waves. In addition, we also suggest that the apsidal motion could cause large deviations in TEO phases from theoretical values.


title: Fundamental Theorems of Calculus and Zinbiel Algebras

abstract: Derivations are linear operators which satisfy the Leibniz rule, while integrations are linear operators which satisfy the Rota-Baxter rule. In this paper, we introduce the notion of an FTC-pair, which consists of an algebra and module with a derivation and integration between them which together satisfy analogues of the two Fundamental Theorems of Calculus. In the special case of when an algebra is seen as a module over itself, we show that this sort of FTC-pair is precisely the same thing as an integro-differential algebra. We provide various constructions of FTC-pairs, as well as numerous examples of FTC-pairs including some based on polynomials, smooth functions, Hurwitz series, and shuffle algebras. Moreover, it is well known that integrations are closely related to Zinbiel algebras. The main result of this paper is that the category of FTC-pairs is equivalent to the category of Zinbiel algebras.


title: Privacy Preserving Adaptive Experiment Design

abstract: Adaptive experiment is widely adopted to estimate conditional average treatment effect (CATE) in clinical trials and many other scenarios. While the primary goal in experiment is to maximize estimation accuracy, due to the imperative of social welfare, it's also crucial to provide treatment with superior outcomes to patients, which is measured by regret in contextual bandit framework. These two objectives often lead to contrast optimal allocation mechanism. Furthermore, privacy concerns arise in clinical scenarios containing sensitive data like patients health records. Therefore, it's essential for the treatment allocation mechanism to incorporate robust privacy protection measures. In this paper, we investigate the tradeoff between loss of social welfare and statistical power in contextual bandit experiment. We propose a matched upper and lower bound for the multi-objective optimization problem, and then adopt the concept of Pareto optimality to mathematically characterize the optimality condition. Furthermore, we propose differentially private algorithms which still matches the lower bound, showing that privacy is "almost free". Additionally, we derive the asymptotic normality of the estimator, which is essential in statistical inference and hypothesis testing.


title: Efficient and Mathematically Robust Operations for Certified Neural Networks Inference

abstract: In recent years, machine learning (ML) and neural networks (NNs) have gained widespread use and attention across various domains, particularly in transportation for achieving autonomy, including the emergence of flying taxis for urban air mobility (UAM). However, concerns about certification have come up, compelling the development of standardized processes encompassing the entire ML and NN pipeline. This paper delves into the inference stage and the requisite hardware, highlighting the challenges associated with IEEE 754 floating-point arithmetic and proposing alternative number representations. By evaluating diverse summation and dot product algorithms, we aim to mitigate issues related to non-associativity. Additionally, our exploration of fixed-point arithmetic reveals its advantages over floating-point methods, demonstrating significant hardware efficiencies. Employing an empirical approach, we ascertain the optimal bit-width necessary to attain an acceptable level of accuracy, considering the inherent complexity of bit-width optimization.


title: Analytic auxiliary mass flow to compute master integrals in singular kinematics

abstract: The computation of master integrals from their differential equations requires boundary values to be supplied by an independent method. These boundary values are often desired at singular kinematical points. We demonstrate how the auxiliary mass flow technique can be extended to compute the expansion coefficients of master integrals in a singular limit in an analytical manner, thereby providing these boundary conditions. To illustrate the application of the method, we re-compute the phase space integrals relevant to initial-final antenna functions at NNLO, now including higher-order terms in their $\epsilon$-expansion in view of their application in third-order QCD corrections.


title: Core-periphery Detection Based on Masked Bayesian Non-negative Matrix Factorization

abstract: Core-periphery structure is an essential mesoscale feature in complex networks. Previous researches mostly focus on discriminative approaches while in this work, we propose a generative model called masked Bayesian non-negative matrix factorization. We build the model using two pair affiliation matrices to indicate core-periphery pair associations and using a mask matrix to highlight connections to core nodes. We propose an approach to infer the model parameters, and prove the convergence of variables with our approach. Besides the abilities as traditional approaches, it is able to identify core scores with overlapping core-periphery pairs. We verify the effectiveness of our method using randomly generated networks and real-world networks. Experimental results demonstrate that the proposed method outperforms traditional approaches.


title: MCRPL: A Pretrain, Prompt & Fine-tune Paradigm for Non-overlapping Many-to-one Cross-domain Recommendation

abstract: Cross-domain Recommendation (CR) is the task that tends to improve the recommendations in the sparse target domain by leveraging the information from other rich domains. Existing methods of cross-domain recommendation mainly focus on overlapping scenarios by assuming users are totally or partially overlapped, which are taken as bridges to connect different domains. However, this assumption does not always hold since it is illegal to leak users' identity information to other domains. Conducting Non-overlapping MCR (NMCR) is challenging since 1) The absence of overlapping information prevents us from directly aligning different domains, and this situation may get worse in the MCR scenario. 2) The distribution between source and target domains makes it difficult for us to learn common information across domains. To overcome the above challenges, we focus on NMCR, and devise MCRPL as our solution. To address Challenge 1, we first learn shared domain-agnostic and domain-dependent prompts, and pre-train them in the pre-training stage. To address Challenge 2, we further update the domain-dependent prompts with other parameters kept fixed to transfer the domain knowledge to the target domain. We conduct experiments on five real-world domains, and the results show the advance of our MCRPL method compared with several recent SOTA baselines.


title: Experimental Analysis of Type II Singularities and Assembly Change Points in a 3UPS+RPU Parallel Robot

abstract: Parallel robots (PRs) have singular configurations where the robot gains at least one degree of freedom and loses control. Theoretically, such singularity occurs when the Forward Jacobian-matrix determinant becomes zero (Type II). However, actual PRs could lose control owing to Type II singularities for determinant values near zero, but not zero, because manufacturing tolerances introduce errors that are complex to model due to their low repeatability. Thus, using an actual 3UPS+RPU PR, this paper presents three contributions: i) a proximity detection index for Type II singularities based on the angle between two Output Twist Screws. The index can identify which kinematic chains contribute to the singularity. ii) an experimental benchmark to study Type II singularities. iii) PR configurations where the proposed index is zero and the Forward Jacobian determinant is not. In this last configuration, the findings show that the actual robot is unable to handle external actions applied to the PR.


title: L-series of Eisenstein series vanishing at critical values

abstract: Using the relations between rational functions and Eisenstein series, as well as the inferences for cotangent sums and period polynomials, we work out a precise description for Eisenstein series whose $L$-series vanish at certain critical values. This is possible for small weights compared to the level of the Eisenstein series. For large weights we give a partial result and determine subspaces with simultaneous vanishing properties.


title: Characterizing the Gamma-ray Emission Properties of the Globular Cluster M5 with the Fermi-LAT

abstract: We analyzed the globular cluster M5 (NGC 5904) using 15 years of gamma-ray data from the Fermi Large Area Telescope (LAT). Using rotation ephemerides generated from Arecibo and FAST radio telescope observations, we searched for gamma-ray pulsations from the seven millisecond pulsars (MSPs) identified in M5. We detected no significant pulsations from any of the individual pulsars. Also, we searched for possible variations of the gamma-ray emission as a function of orbital phase for all the six MSPs in binary systems, but did not detect any significant modulations. The gamma-ray emission from the direction of M5 is well described by an exponentially cutoff power-law spectral model, although other models cannot be excluded. The phase-averaged emission is consistent with being steady on a time scale of a few months. We estimate the number of MSPs in M5 to be between 1 and 10, using the gamma-ray conversion efficiencies for well-characterized gamma-ray MSPs in the Third Fermi Large Area Telescope Catalog of Gamma-ray Pulsars, suggesting that the sample of known MSPs in M5 is (nearly) complete, even if it is not currently possible to rule out a diffuse component of the observed gamma rays from the cluster.


title: Multi-scale 2D Temporal Map Diffusion Models for Natural Language Video Localization

abstract: Natural Language Video Localization (NLVL), grounding phrases from natural language descriptions to corresponding video segments, is a complex yet critical task in video understanding. Despite ongoing advancements, many existing solutions lack the capability to globally capture temporal dynamics of the video data. In this study, we present a novel approach to NLVL that aims to address this issue. Our method involves the direct generation of a global 2D temporal map via a conditional denoising diffusion process, based on the input video and language query. The main challenges are the inherent sparsity and discontinuity of a 2D temporal map in devising the diffusion decoder. To address these challenges, we introduce a multi-scale technique and develop an innovative diffusion decoder. Our approach effectively encapsulates the interaction between the query and video data across various time scales. Experiments on the Charades and DiDeMo datasets underscore the potency of our design.


title: Enhancing Wind Speed and Wind Power Forecasting Using Shape-Wise Feature Engineering: A Novel Approach for Improved Accuracy and Robustness

abstract: Accurate prediction of wind speed and power is vital for enhancing the efficiency of wind energy systems. Numerous solutions have been implemented to date, demonstrating their potential to improve forecasting. Among these, deep learning is perceived as a revolutionary approach in the field. However, despite their effectiveness, the noise present in the collected data remains a significant challenge. This noise has the potential to diminish the performance of these algorithms, leading to inaccurate predictions. In response to this, this study explores a novel feature engineering approach. This approach involves altering the data input shape in both Convolutional Neural Network-Long Short-Term Memory (CNN-LSTM) and Autoregressive models for various forecasting horizons. The results reveal substantial enhancements in model resilience against noise resulting from step increases in data. The approach could achieve an impressive 83% accuracy in predicting unseen data up to the 24th steps. Furthermore, this method consistently provides high accuracy for short, mid, and long-term forecasts, outperforming the performance of individual models. These findings pave the way for further research on noise reduction strategies at different forecasting horizons through shape-wise feature engineering.


title: Detection of the neutral iron line from the supernova remnant W49B with Suzaku

abstract: Recent studies of supernova remnants (SNRs) have revealed that some SNRs exhibit a neutral iron line emission at 6.4 keV. This line has been proposed to originate from the interaction of high-energy particles formed in the SNR shell with the surrounding cold matter. We searched for the neutral iron line emission in the SNR W49B. Significant detection of the 6.4 keV line is found in the northwest region, close to the molecular cloud interacting with the SNR shell. In addition, an excess emission at 8-9 keV, in which K_gamma, K_delta, and K_epsilon lines of He-like iron exist, is also significantly found in the region where the radio shell is not bright. We discuss the origin of the 6.4 keV line and the excess emission at 8-9 keV.


title: Spin Waves in Ferrimagnets near the Angular Magnetization Compensation Temperature: A Micromagnetic Study

abstract: Spin wave propagation along a ferrimagnetic strip with out-of-plane magnetization is studied by means of micromagnetic simulations. The ferrimagnetic material is considered as formed by two antiferromagnetically coupled sublattices. Two critical temperatures can be defined for such systems: that of magnetization compensation and that of angular momentum compensation, both different due to distinct Land\'e factors for each sub-lattice. Spin waves in the strip are excited by a spin current injected at one of its edges. The obtained dispersion diagrams show exchange-dominated forward volume spin waves. For a given excitation frequency, N\'eel vector describes highly eccentric orbits, the eccentricity depending on temperature, whose semi-major axis are oriented differently at distinct locations on the FiM strip.


title: Interpreting Node Embedding Distances Through $n$-order Proximity Neighbourhoods

abstract: In the field of node representation learning the task of interpreting latent dimensions has become a prominent, well-studied research topic. The contribution of this work focuses on appraising the interpretability of another rarely-exploited feature of node embeddings increasingly utilised in recommendation and consumption diversity studies: inter-node embedded distances. Introducing a new method to measure how understandable the distances between nodes are, our work assesses how well the proximity weights derived from a network before embedding relate to the node closeness measurements after embedding. Testing several classical node embedding models, our findings reach a conclusion familiar to practitioners albeit rarely cited in literature - the matrix factorisation model SVD is the most interpretable through 1, 2 and even higher-order proximities.


title: Far- versus Near-Field RIS Modeling and Beam Design

abstract: In this chapter, we investigate the mathematical foundation of the modeling and design of reconfigurable intelligent surfaces (RIS) in both the far- and near-field regimes. More specifically, we first present RIS-assisted wireless channel models for the far- and near-field regimes, discussing relevant phenomena, such as line-of-sight (LOS) and non-LOS links, rich and poor scattering, channel correlation, and array manifold. Subsequently, we introduce two general approaches for the RIS reflective beam design, namely optimization-based and analytical, which offer different degrees of design flexibility and computational complexity. Furthermore, we provide a comprehensive set of simulation results for the performance evaluation of the studied RIS beam designs and the investigation of the impact of the system parameters.


title: Phase-free Dynamic Movement Primitives Applied to Kinesthetic Guidance in Robotic Co-manipulation Tasks

abstract: Whenever a robotic task needs to be defined and adapted based on a reference motion, Dynamic Movement Primitives (DMP) represent a standard and efficient method for encoding it. The nominal trajectory is typically obtained through a Programming by Demonstration (PbD) approach, where the robot is taught a specific task through kinesthetic guidance. Subsequently, the motion is reproduced by the manipulator in terms of both geometric path and timing law. The basic approach for modifying the duration of the execution involves adjusting a time constant characterizing the model. On the contrary, the goal of this paper is to achieve a complete decoupling between the geometric information of the task and the timing law governing the execution, thanks to a new spatial sampling algorithm. This leads to a new DMP concept called Geometric DMP (GDMP), which exhibits the property of being phase-free since the phase variable is no longer constrained to the demonstration timing law. GDMP open up to a variety of applications, including task duration optimization subject to velocity and acceleration constraints and human-in-the-loop applications in co-manipulation tasks. With reference to the latter application, a co-manipulation activity where the robot assists the humans in reproducing simple rehabilitation tasks is considered in this paper as a case study. A custom phase law is designed and the system passivity and stability analyses are carried out. The conclusions drawn through the system stability analysis are validated by the proposed experimental results.


title: Euclid: Improving the efficiency of weak lensing shear bias calibration. Pixel noise cancellation and the response method on trial

abstract: To obtain an accurate cosmological inference from upcoming weak lensing surveys such as the one conducted by Euclid, the shear measurement requires calibration using galaxy image simulations. We study the efficiency of different noise cancellation methods that aim at reducing the simulation volume required to reach a given precision in the shear measurement. Explicitly, we compared fit methods with different noise cancellations and a method based on responses. We used GalSim to simulate galaxies both on a grid and at random positions in larger scenes. Placing the galaxies at random positions requires their detection, which we performed with SExtractor. On the grid, we neglected the detection step and, therefore, the potential detection bias arising from it. The shear of the simulated images was measured with the fast moment-based method KSB, for which we note deviations from purely linear shear measurement biases. For the estimation of uncertainties, we used bootstrapping as an empirical method. We find that each method we studied on top of shape noise cancellation can further increase the efficiency of calibration simulations. The improvement depends on the considered shear amplitude range and the type of simulations (grid-based or random positions). The response method on a grid for small shears provides the biggest improvement. In the more realistic case of randomly positioned galaxies, we still find an improvement factor of 70 for small shears using the response method. Alternatively, the runtime can be lowered by a factor of 7 already using pixel noise cancellation on top of shape noise cancellation. Furthermore, we demonstrate that the efficiency of shape noise cancellation can be enhanced in the presence of blending if entire scenes are rotated instead of individual galaxies.


title: Waves in strong centrifugal filed: dissipative gas

abstract: In the fast rotating gas (with the velocity typical for Iguassu gas centrifuge) three families of linear waves exist with different polarizations and law of dispersion. The energy of the waves is basically concentrated at the axis of rotation in the rarefied region. Therefore these waves decay on the distance comparable with the wavelength. There is only one type of waves propagating strictly along the axis of rotation with the law of dispersion similar to ordinary acoustic waves. These waves are interested for the physics of gas centrifuges. The energy density of these waves concentrates at the wall of the rotor. These waves have weak damping due to the molecular viscosity and heat conductivity. The damping coefficient is determined for this type of waves by numerical calculations. Analytical approximations for the damping coefficient is defined as well. At the parameters typical for the Iguassu centrifuge the damping is defined by interaction of the waves with the rotor wall.


title: Adapt/Exchange decisions or generic choices: Does framing influence how people integrate qualitatively different risks?

abstract: In complex systems, decision makers often have to consider qualitatively different risks when choosing between options. Do their strategies of integrating these risks depend on the framing of problem contents? In the present study, participants were either instructed that they were choosing between two ways of solving a complex problem, or between two generic options. The former was framed as a modular plant scenario that required choices between modifying parameter settings in a current module (Adapt) and replacing the module by another one (Exchange). The risk was higher for Adapt to harm the product and for Exchange to harm the plant. These risks were presented as probabilities, and participants were either told that the consequences of both risks were equally severe (content-same group), or that harming the plant was much worse (content-different group). A third group made decisions based on the same probabilities, but received a generic task framing (no-content group). We expected framing to affect risk integration, leading the content-same group to make different choices than the no-content group. Contrary to this hypothesis, these two groups were strikingly similar in their decision outcomes and strategies, but clearly differed from the content-different group. These findings question whether ecological validity can be enhanced merely by framing a task in terms of real-world problem contents.


title: Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification

abstract: Two-dimensional Delaunay triangulation is a fundamental aspect of computational geometry. This paper presents a novel algorithm that is specifically designed to ensure the correctness of 2D Delaunay triangulation, namely the Polygonal Sequence-driven Triangulation Validator (PSTV). Our research highlights the paramount importance of proper triangulation and the often overlooked, yet profound, impact of rounding errors in numerical computations on the precision of triangulation. The primary objective of the PSTV algorithm is to identify these computational errors and ensure the accuracy of the triangulation output. In addition to validating the correctness of triangulation, this study underscores the significance of the Delaunay property for the quality of finite element methods. Effective strategies are proposed to verify this property for a triangulation and correct it when necessary. While acknowledging the difficulty of rectifying complex triangulation errors such as overlapping triangles, these strategies provide valuable insights on identifying the locations of these errors and remedying them. The unique feature of the PSTV algorithm lies in its adoption of floating-point filters in place of interval arithmetic, striking an effective balance between computational efficiency and precision. This research sets a vital precedent for error reduction and precision enhancement in computational geometry.


title: Random Systems of Holomorphic Sections of a Sequence of Line bundles on Compact K\"{a}hler Manifolds

abstract: This paper primarily provides an equidistribution result of zeros of systems of random holomorphic sections associated with a sequence of positive Hermitian holomorphic line bundles on a compact K\"{a}hler manifold $X$ by using variance estimate and expected distribution of random zero currents of integration in any codimension $k$. The probability measures taken into consideration in this paper are only subject to a moment condition that is sufficiently general to include a wide range of the measures commonly encountered in the literature. In particular, we also give equidistribution results for several known measures such as Gaussian, Fubini-Study measures, area measure of spheres, probability measures whose distributions have bounded densities with logarithmically decaying tails and locally moderate measures among others.


title: Quenched Static force from generalized Wilson loops with gradient flow

abstract: We compute the static force on the lattice in the quenched case directly through generalized Wilson loops. We modify the Wilson loop by inserting an $E$-field component on one of the temporal Wilson lines. However, chromo-field components prevent us from performing the continuum limit properly, hence, we use gradient flow to renormalize the field insertion. As a result, we obtain continuum results and compare them to perturbative expression to extract $\Lambda_0$, and we predict the value $\sqrt{8t_0} \Lambda_{\overline{\textrm{MS}}}^{n_f=0} =0.629^{+22}_{-26}$. This work serves as preparation for similar operators with field insertions required in nonrelativistic effective field theories.


title: Optimizing $k$ in $k$NN Graphs with Graph Learning Perspective

abstract: In this paper, we propose a method, based on graph signal processing, to optimize the choice of $k$ in $k$-nearest neighbor graphs ($k$NNGs). $k$NN is one of the most popular approaches and is widely used in machine learning and signal processing. The parameter $k$ represents the number of neighbors that are connected to the target node; however, its appropriate selection is still a challenging problem. Therefore, most $k$NNGs use ad hoc selection methods for $k$. In the proposed method, we assume that a different $k$ can be chosen for each node. We formulate a discrete optimization problem to seek the best $k$ with a constraint on the sum of distances of the connected nodes. The optimal $k$ values are efficiently obtained without solving a complex optimization. Furthermore, we reveal that the proposed method is closely related to existing graph learning methods. In experiments on real datasets, we demonstrate that the $k$NNGs obtained with our method are sparse and can determine an appropriate variable number of edges per node. We validate the effectiveness of the proposed method for point cloud denoising, comparing our denoising performance with achievable graph construction methods that can be scaled to typical point cloud sizes (e.g., thousands of nodes).


title: Near-zero-field microwave-free magnetometry with nitrogen-vacancy centers in nanodiamonds

abstract: We study the fluorescence of nanodiamond ensembles as a function of static external magnetic field and observe characteristic dip features close to the zero field with potential for magnetometry applications. We analyze the dependence of the features width and contrast of the feature on the size of the diamond (in the range 30 nm to 3 um) and on the strength of a bias magnetic field applied transversely to the field being scanned. We also perform optically detected magnetic resonance (ODMR) measurements to quantify the strain splitting of the zero-field ODMR resonance across various nanodiamond sizes and compare it with the width and contrast measurements of the zero-field fluorescence features for both nanodiamonds and bulk samples. The observed properties provide compelling evidence of cross-relaxation effects in the NV system occurring close to zero magnetic fields. Finally, the potential of this technique for use in practical magnetometry is discussed.


title: Bayesian Modeling of Demographic Data in Many Subpopulations

abstract: Analyzing age-specific mortality, fertility, and migration in subpopulations is a crucial task in demography, with significant policy relevance. In practice, such analysis is challenging when studying numerous subpopulations, due to small sample sizes and demographic heterogeneity. To address this issue, a Bayesian model for the joint analysis of many, potentially small, demographic subgroups is proposed. The model combines three common assumptions about demographic processes in a unified probabilistic framework. The approach provides robust estimates of the demographic process in each subpopulation, allows testing for heterogeneity between subpopulations, and can be used to assess the impact of covariates on the demographic process. This makes the model suitable for probabilistic projection exercises and scenario analysis. An in-depth analysis of age-specific immigration flows to Austria, disaggregated by sex and 155 countries of origin, is used to illustrate the framework. Comparative analysis shows that the model outperforms commonly used benchmark frameworks in both in-sample imputation and out-of-sample prediction exercises.


title: Purity and almost strict purity of Anderson t-modules

abstract: We study the relations between the notion of purity of a t -module introduced by Anderson and that of almost strict purity for a t -module introduced by Namoijam and Papanikolas (concept already mentioned by G.Anderson and D.Goss).


title: Graph-based Algorithms for Linear Computation Coding

abstract: We revisit existing linear computation coding (LCC) algorithms, and introduce a new framework that measures the computational cost of computing multidimensional linear functions, not only in terms of the number of additions, but also with respect to their suitability for parallel processing. Utilizing directed acyclic graphs, which correspond to signal flow graphs in hardware, we propose a novel LCC algorithm that controls the trade-off between the total number of operations and their parallel executability. Numerical evaluations show that the proposed algorithm, constrained to a fully parallel structure, outperforms existing schemes.


title: Prospects for the Belle II experiment to further elucidate the KM mechanism and beyond

abstract: We present prospects for the Belle II experiment to further elucidate the KM mechanism and beyond. Recent measurements of the CKM parameter, and the radiative and electroweak penguin decays are also reported.


title: A techno-economic model for avoiding conflicts of interest between owners of offshore wind farms and maintenance suppliers

abstract: Currently, wind energy is one of the most important sources of renewable energy. Offshore locations for wind turbines are increasingly exploited because of their numerous advantages. However, offshore wind farms require high investment in maintenance service. Due to its complexity and special requirements, maintenance service is usually outsourced by wind farm owners. In this paper, we propose a novel approach to determine, quantify, and reduce the possible conflicts of interest between owners and maintenance suppliers. We created a complete techno-economic model to address this problem from an impartial point of view. An iterative process was developed to obtain statistical results that can help stakeholders negotiate the terms of the contract, in which the availability of the wind farm is the reference parameter by which to determine penalisations and incentives. Moreover, a multi-objective programming problem was addressed that maximises the profits of both parties without losing the alignment of their interests. The main scientific contribution of this paper is the maintenance analysis of offshore wind farms from two perspectives: that of the owner and the maintenance supplier. This analysis evaluates the conflicts of interest of both parties. In addition, we demonstrate that proper adjustment of some parameters, such as penalisation, incentives, and resources, and adequate control of availability can help reduce this conflict of interests.


title: Observation of $\psi(3686) \to \Omega^- K^+ \bar{\Xi}^0 $+c.c

abstract: Using $(27.12 \pm 0.14) \times 10^{8}$ $\psi(3686)$ events collected with the BESIII detector at BEPCII, the decay of $\psi(3686) \to \Omega^- K^+ \bar{\Xi}^0 +c.c.$ is observed for the first time. The branching fraction of this decay is measured to be $\mathcal{B}_{\psi(3686) \to \Omega^- K^+ \bar{\Xi}^0 +c.c.}=(2.78 \pm 0.40 \pm 0.18 ) \times 10^{-6}$, where the first uncertainty is statistical and the second is systematic. Possible baryon excited states are searched for in this decay, but no evident intermediate state is observed with the current sample size.


title: Cellular automaton ontology, bits, qubits, and the Dirac equation

abstract: Cornerstones of the Cellular Automaton Interpretation of Quantum Mechanics are its ontological states that evolve by permutations, in this way never creating would-be quantum mechanical superposition states. We review and illustrate this with a classical Ising spin chain. It is shown that it can be related to the Weyl equation in the continuum limit. Yet, the model of discrete spins or bits unavoidably becomes a model of qubits by generating superpositions, if only slightly deformed. We study modifications of its signal velocity which, however, do not relate to mass terms. To incorporate the latter, we consider the Dirac equation in 1+1 dimensions and sketch an underlying discrete deterministic "necklace of necklaces" automaton that qualifies as ontological.


title: Probing black hole in Starobinsky-Bel-Robinson gravity with thermodynamical analysis, effective force and gravitational weak lensing

abstract: In this work, we investigate the effects of plasma and the coupling parameter $\beta>0$, on the thermodynamic properties and weak gravitational lensing by the Schwarzschild-like black hole in the Starobinsky-Bel-Robinson gravity (SBRG). We observe that the horizon radius and the corrected entropy of the Schwarzschild-like black hole in the SBRG are not much sensitive to the parameter $\beta$. On contrary the energy emission rate of the Schwarzschild-like black hole in the SBRG is sensitive to the parameter $\beta$ and decreases with increase in the values of the parameter $\beta$. We see that the Schwarzschild-like black hoe in the SBRG is stable as the thermodynamicl temperature is positive for different values of the parameter $\beta$. Moreover we observe that the deflection angle of photon beam by the black hole in uniform plasma, nonuniform self-interacting scalar plasma and non-singular isothermal gas sphere reduces with the parameter $\beta$, against the impact parameter $b$. We see that the deflection angle enhances with increase in the concentration of the plasma fields for all the three types of plasma media. Further we find that the magnification of the image due to lensing increases in a higher concentration of plasma field. It is interesting to notice that the image magnification in uniform plasma is much higher as compared to the one in nonuniform plasma field. We compare our results with those for the Schwarzschild black hole of General Relativity. Further, effective force is also calculated for the current analysis.


title: A Generative Adversarial Attack for Multilingual Text Classifiers

abstract: Current adversarial attack algorithms, where an adversary changes a text to fool a victim model, have been repeatedly shown to be effective against text classifiers. These attacks, however, generally assume that the victim model is monolingual and cannot be used to target multilingual victim models, a significant limitation given the increased use of these models. For this reason, in this work we propose an approach to fine-tune a multilingual paraphrase model with an adversarial objective so that it becomes able to generate effective adversarial examples against multilingual classifiers. The training objective incorporates a set of pre-trained models to ensure text quality and language consistency of the generated text. In addition, all the models are suitably connected to the generator by vocabulary-mapping matrices, allowing for full end-to-end differentiability of the overall training pipeline. The experimental validation over two multilingual datasets and five languages has shown the effectiveness of the proposed approach compared to existing baselines, particularly in terms of query efficiency. We also provide a detailed analysis of the generated attacks and discuss limitations and opportunities for future research.


title: Multitask Learning in Minimally Invasive Surgical Vision: A Review

abstract: Minimally invasive surgery (MIS) has revolutionized many procedures and led to reduced recovery time and risk of patient injury. However, MIS poses additional complexity and burden on surgical teams. Data-driven surgical vision algorithms are thought to be key building blocks in the development of future MIS systems with improved autonomy. Recent advancements in machine learning and computer vision have led to successful applications in analyzing videos obtained from MIS with the promise of alleviating challenges in MIS videos. Surgical scene and action understanding encompasses multiple related tasks that, when solved individually, can be memory-intensive, inefficient, and fail to capture task relationships. Multitask learning (MTL), a learning paradigm that leverages information from multiple related tasks to improve performance and aid generalization, is wellsuited for fine-grained and high-level understanding of MIS data. This review provides an overview of the current state-of-the-art MTL systems that leverage videos obtained from MIS. Beyond listing published approaches, we discuss the benefits and limitations of these MTL systems. Moreover, this manuscript presents an analysis of the literature for various application fields of MTL in MIS, including those with large models, highlighting notable trends, new directions of research, and developments.


title: Population inversion and ultrafast terahertz nonlinearity of transient Dirac fermions in Cd$_3$As$_2$

abstract: Harmonic generation provides an efficient tool for the study of ultrafast nonlinear dynamics. We report on time-resolved optical-pump terahertz-harmonic-generation spectroscopic investigation of ultrafast nonlinearity in a prototypical three-dimensional Dirac semimetal Cd$_3$As$_2$. A transient population inversion characterized by excessive nonthermal Dirac electrons and holes is found to be very sensitive and responsive to a periodic terahertz drive, leading to very efficient terahertz third-harmonic generation. Based on the Boltzmann transport theory, we analyze the terahertz field-driven kinetics of the transient Dirac fermions that is responsible for the observed strong terahertz nonlinearity.


title: Time, Simultaneity, and Causality in Wireless Networks with Sensing and Communications

abstract: Wireless systems beyond 5G evolve towards embracing both sensing and communication, resulting in increased convergence of the digital and the physical world. The existence of fused digital-physical realms raises critical questions regarding temporal ordering, causality, and the synchronization of events. This paper addresses the temporal challenges arising from the fact that the wireless infrastructure becomes an entity with multisensory perception. With the growing reliance on real-time interactions and applications such as digital twins, extended reality, and the metaverse, the need for accurate timestamping and temporal forensics becomes crucial. The paper introduces a model that incorporates Temporal Windows of Integration (TWI) to emulate human multisensory perception and discusses the implications for setting timing constraints in real-time applications and enabling temporal forensics. The analysis explores trade-offs, probabilities, and bounds for simultaneity and causality violation in the context of wireless systems evolving towards perceptive networks. This work underscores the significance of timestamping in the evolving wireless landscape, provide insights into system-level implications, and points out new research avenues for systems that combine sensing and communications.


title: Ultrafast Excited-State Energy Transfer in Phenylene Ethynylene Dendrimer: Quantum Dynamics with Tensor Network Method

abstract: Photo-induced excited-state energy transfer (EET) processes play an important role in the solar energy conversions. The phenylene ethynylene (PE) dendrimers display great potential in improving the efficiency of solar cells, because of their excellent photo-harvesting and exciton-transport properties. In this work, we investigated the intramolecular EET dynamics in a dendrimer composed of two linear PE units (2-ring and 3-ring) using the full quantum dynamics based on the tensor network method. We first constructed a diabatic model Hamiltonian based on the electronic structure calculations. Using this diabatic vibronic coupling model, we tried to obtain the main features of the EET dynamics in terms of the several diabatic models with different numbers of vibrational modes (from 4 modes to 129 modes) and to explore the corresponding vibronic coupling interactions. The results show that the EET in the current PE dendrimer is an ultrafast process. Four modes with A' symmetry play dominant roles in the dynamics, other 86 modes with A' symmetry can damp the electronic coherence, and the modes of A" symmetry do not show the significant influence on the EET process. Overall, the first-order intrastate vibronic coupling terms show the dominant roles in the EET dynamics, while the second-order intrastate vibronic coupling terms give the visible impact here by damping the electronic coherence and slowing down the overall EET process. This work provides a valuable understanding of the physical insight in the EET dynamics of PE dendrimers.


title: Fast Kernel Summation in High Dimensions via Slicing and Fourier Transforms

abstract: Kernel-based methods are heavily used in machine learning. However, they suffer from $O(N^2)$ complexity in the number $N$ of considered data points. In this paper, we propose an approximation procedure, which reduces this complexity to $O(N)$. Our approach is based on two ideas. First, we prove that any radial kernel with analytic basis function can be represented as sliced version of some one-dimensional kernel and derive an analytic formula for the one-dimensional counterpart. It turns out that the relation between one- and $d$-dimensional kernels is given by a generalized Riemann-Liouville fractional integral. Hence, we can reduce the $d$-dimensional kernel summation to a one-dimensional setting. Second, for solving these one-dimensional problems efficiently, we apply fast Fourier summations on non-equispaced data, a sorting algorithm or a combination of both. Due to its practical importance we pay special attention to the Gaussian kernel, where we show a dimension-independent error bound and represent its one-dimensional counterpart via a closed-form Fourier transform. We provide a run time comparison and error estimate of our fast kernel summations.


title: Probabilistically Robust Watermarking of Neural Networks

abstract: As deep learning (DL) models are widely and effectively used in Machine Learning as a Service (MLaaS) platforms, there is a rapidly growing interest in DL watermarking techniques that can be used to confirm the ownership of a particular model. Unfortunately, these methods usually produce watermarks susceptible to model stealing attacks. In our research, we introduce a novel trigger set-based watermarking approach that demonstrates resilience against functionality stealing attacks, particularly those involving extraction and distillation. Our approach does not require additional model training and can be applied to any model architecture. The key idea of our method is to compute the trigger set, which is transferable between the source model and the set of proxy models with a high probability. In our experimental study, we show that if the probability of the set being transferable is reasonably high, it can be effectively used for ownership verification of the stolen model. We evaluate our method on multiple benchmarks and show that our approach outperforms current state-of-the-art watermarking techniques in all considered experimental setups.


title: Exploiting Symmetries in Optimal Quantum Circuit Design

abstract: A physical limitation in quantum circuit design is the fact that gates in a quantum system can only act on qubits that are physically adjacent in the architecture. To overcome this problem, SWAP gates need to be inserted to make the circuit physically realizable. The nearest neighbour compliance problem (NNCP) asks for an optimal embedding of qubits in a given architecture such that the total number of SWAP gates to be inserted is minimized. In this paper we study the NNCP on general quantum architectures. Building upon an existing linear programming formulation, we show how the model can be reduced by exploiting the symmetries of the graph underlying the formulation. The resulting model is equivalent to a generalized network flow problem and follows from an in-depth analysis of the automorphism group of specific Cayley graphs. As a byproduct of our approach, we show that the NNCP is polynomial time solvable for several classes of symmetric quantum architectures. Numerical tests on various architectures indicate that the reduction in the number of variables and constraints is on average at least 90%. In particular, NNCP instances on the star architecture can be solved for quantum circuits up to 100 qubits and more than 1000 quantum gates within a very short computation time. These results are far beyond the computational capacity when solving the instances without the exploitation of symmetries.


title: Multi-Technique Sequential Information Consistency For Dynamic Visual Place Recognition In Changing Environments

abstract: Visual place recognition (VPR) is an essential component of robot navigation and localization systems that allows them to identify a place using only image data. VPR is challenging due to the significant changes in a place's appearance driven by different daily illumination, seasonal weather variations and diverse viewpoints. Currently, no single VPR technique excels in every environmental condition, each exhibiting unique benefits and shortcomings, and therefore combining multiple techniques can achieve more reliable VPR performance. Present multi-method approaches either rely on online ground-truth information, which is often not available, or on brute-force technique combination, potentially lowering performance with high variance technique sets. Addressing these shortcomings, we propose a VPR system dubbed Multi-Sequential Information Consistency (MuSIC) which leverages sequential information to select the most cohesive technique on an online per-frame basis. For each technique in a set, MuSIC computes their respective sequential consistencies by analysing the frame-to-frame continuity of their top match candidates, which are then directly compared to select the optimal technique for the current query image. The use of sequential information to select between VPR methods results in an overall VPR performance increase across different benchmark datasets, while avoiding the need for extra ground-truth of the runtime environment.


title: Towards a Transpiler for C/C++ to Safer Rust

abstract: Rust is a multi-paradigm programming language developed by Mozilla that focuses on performance and safety. Rust code is arguably known best for its speed and memory safety, a property essential while developing embedded systems. Thus, it becomes one of the alternatives when developing operating systems for embedded devices. How to convert an existing C++ code base to Rust is also gaining greater attention. In this work, we focus on the process of transpiling C++ code to a Rust codebase in a robust and safe manner. The manual transpilation process is carried out to understand the different constructs of the Rust language and how they correspond to C++ constructs. Based on the learning from the manual transpilation, a transpilation table is created to aid in future transpilation efforts and to develop an automated transpiler. We also studied the existing automated transpilers and identified the problems and inefficiencies they involved. The results of the transpilation process were closely monitored and evaluated, showing improved memory safety without compromising performance and reliability of the resulting codebase. The study concludes with a comprehensive analysis of the findings, an evaluation of the implications for future research, and recommendations for the same in this area.


title: Disorder-Induced Delocalization in Magic-Angle Twisted Bilayer Graphene

abstract: Flat bands in moir\'e systems are exciting new playgrounds for the generation and study of exotic many-body physics phenomena in low-dimensional materials. Such physics is attributed to the vanishing kinetic energy and strong spatial localization of the flat-band states. Here we use numerical simulations to examine the electronic transport properties of such flat bands in magic-angle twisted bilayer graphene in the presence of disorder. We find that while a conventional downscaling of the mean free path with increasing disorder strength occurs at higher energies, in the flat bands the mean free path can actually increase with increasing disorder strength.This phenomenon is also captured by the disorder-dependent quantum metric, which is directly linked to the ground state localization.This disorder-induced delocalization suggests that weak disorder may have a strong impact on the exotic physics of magic-angle bilayer graphene and other related moir\'e systems.


title: Optimal Design of Spur Gears using Particle Swarm Optimization

abstract: Optimizing the design of spur gears, regarding their mass or failure reduction, leads to reduced costs. The proposed work is aimed at using Particle Swarm Optimization (PSO) to solve single and multiple-objective optimization problems concerning spur gears. Pinion, number of teeth, the module, the face width, and the profile shift coefficients of both the pinion and wheel. Mass, gear loss factor, specific sliding, contact ratio, and safety factors are variables considered for the formulation of the objective function. The results show that those variables are reduced when compared to the results of the literature. Mass reduction, for instance, was possible to be achieved due to the reduction of the gear module and face width, increasing the number of teeth to achieve the required working center distance of the gear.


title: Ranking Heterogeneous Search Result Pages using the Interactive Probability Ranking Principle

abstract: The Probability Ranking Principle (PRP) ranks search results based on their expected utility derived solely from document contents, often overlooking the nuances of presentation and user interaction. However, with the evolution of Search Engine Result Pages (SERPs), now comprising a variety of result cards, the manner in which these results are presented is pivotal in influencing user engagement and satisfaction. This shift prompts the question: How does the PRP and its user-centric counterpart, the Interactive Probability Ranking Principle (iPRP), compare in the context of these heterogeneous SERPs? Our study draws a comparison between the PRP and the iPRP, revealing significant differences in their output. The iPRP, accounting for item-specific costs and interaction probabilities to determine the ``Expected Perceived Utility" (EPU), yields different result orderings compared to the PRP. We evaluate the effect of the EPU on the ordering of results by observing changes in the ranking within a heterogeneous SERP compared to the traditional ``ten blue links''. We find that changing the presentation affects the ranking of items according to the (iPRP) by up to 48\% (with respect to DCG, TBG and RBO) in ad-hoc search tasks on the TREC WaPo Collection. This work suggests that the iPRP should be employed when ranking heterogeneous SERPs to provide a user-centric ranking that adapts the ordering based on the presentation and user engagement.


title: An Explainable Proxy Model for Multiabel Audio Segmentation

abstract: Audio signal segmentation is a key task for automatic audio indexing. It consists of detecting the boundaries of class-homogeneous segments in the signal. In many applications, explainable AI is a vital process for transparency of decision-making with machine learning. In this paper, we propose an explainable multilabel segmentation model that solves speech activity (SAD), music (MD), noise (ND), and overlapped speech detection (OSD) simultaneously. This proxy uses the non-negative matrix factorization (NMF) to map the embedding used for the segmentation to the frequency domain. Experiments conducted on two datasets show similar performances as the pre-trained black box model while showing strong explainability features. Specifically, the frequency bins used for the decision can be easily identified at both the segment level (local explanations) and global level (class prototypes).


title: Spontaneous collapse models lead to the emergence of classicality of the Universe

abstract: Assuming that Quantum Mechanics is universal and that it can be applied over all scales, then the Universe is allowed to be in a quantum superposition of states, where each of them can correspond to a different space-time geometry. How can one then describe the emergence of the classical, well-defined geometry that we observe? Considering that the decoherence-driven quantum-to-classical transition relies on external physical entities, this process cannot account for the emergence of the classical behaviour of the Universe. Here, we show how models of spontaneous collapse of the wavefunction can offer a viable mechanism for explaining such an emergence. We apply it to a simple General Relativity dynamical model for gravity and a perfect fluid. We show that, by starting from a general quantum superposition of different geometries, the collapse dynamics leads to a single geometry, thus providing a possible mechanism for the quantum-to-classical transition of the Universe. Similarly, when applying our dynamics to the physically-equivalent Parametrised Unimodular gravity model, we obtain a collapse on the basis of the cosmological constant, where eventually one precise value is selected, thus providing also a viable explanation for the cosmological constant problem. Our formalism can be easily applied to other quantum cosmological models where we can choose a well-defined clock variable.


title: Unified understanding of the breakdown of thermal mixing dynamic nuclear polarization: the role of temperature and radical concentration

abstract: We reveal an interplay between temperature and radical concentration necessary to establish thermal mixing (TM) as an efficient dynamic nuclear polarization (DNP) mechanism. We conducted DNP experiments by hyperpolarizing widely used DNP samples, i.e., sodium pyruvate-1-$^{13}$C in water/glycerol mixtures at varying nitroxide radical (TEMPOL) concentrations and microwave irradiation frequencies, measuring proton and carbon-13 spin temperatures. Using a cryogen consumption-free prototype-DNP apparatus, we could probe cryogenic temperatures between 1.5 and 6.5 K, i.e., below and above the boiling point of liquid helium. We identify two mechanisms for the breakdown of TM: (i) Anderson type of quantum localization for low radical concentration, or (ii) quantum Zeno localization occurring at high temperature. This observation allowed us to reconcile the recent diverging observations regarding the relevance of TM as a DNP mechanism by proposing a unifying picture and, consequently, to find a trade-off between radical concentration and electron relaxation times, which offers a pathway to improve experimental DNP performance based on TM.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech physics.chem-ph