title: Multiprocessing for the Particle Tracking Model MODPATH

abstract: Particle tracking has several important applications for solute transport studies in aquifer systems. Travel time distribution at observation points, particle coordinates in time and streamlines are some practical results providing information of expected transport patterns and interaction with boundary conditions. However, flow model complexity and simultaneous displacement of multiple particle groups leads to rapid increase of computational requirements. MODPATH is a particle tracking engine for MODFLOW models and source code displays potential for parallel processing of particles. This article addresses the implementation of this feature with the OpenMP library. Two synthetic aquifer applications are employed for performance tests on a desktop computer with increasing number of particles. Speed up analysis shows that dynamic thread scheduling is preferable for highly heterogeneous flows, providing processing adaptivity to the presence of slow particles. In simulations writing particles position in time, thread exclusive output files lead to higher speed up factors. Results show that above a threshold number of particles, simulation runtimes become independent of flow model grid complexity and are controlled by the large number of particles, then parallel processing reduces simulation runtimes for the particle tracking model MODPATH.


title: Towards Ranking Schemas by Focus

abstract: The main goal of this paper is to evaluate knowledge base schemas, modeled as a set of entity types, each such type being associated with a set of properties, according to their focus. We intuitively model the notion of focus as ''the state or quality of being relevant in storing and retrieving information''. This definition of focus is adapted from the notion of ''categorization purpose'', as first defined in cognitive psychology, thus giving us a high level of understandability on the side of users. In turn, this notion is formalized based on a set of knowledge metrics that, for any given focus, rank knowledge base schemas according to their quality. We apply the proposed methodology to more than 200 state-of-the-art knowledge base schemas. The experimental results show the utility of our approach


title: The 3-adic representations arising from elliptic curves over $\mathbb{Q}_3$ with potential good reduction

abstract: We give a complete classification of all the potentially crystalline 3-adic representations of the absolute Galois group of $\mathbb{Q}_3$ that are isomorphic to the Tate module of an elliptic curve defined over $\mathbb{Q}_3$. These representations are described in terms of their associated filtered $(\varphi, \mathrm{Gal}(K/\mathbb{Q}_3))$-modules. The most interesting cases occur when the potential good reduction is wild.


title: Brain subtle anomaly detection based on auto-encoders latent space analysis : application to de novo parkinson patients

abstract: Neural network-based anomaly detection remains challenging in clinical applications with little or no supervised information and subtle anomalies such as hardly visible brain lesions. Among unsupervised methods, patch-based auto-encoders with their efficient representation power provided by their latent space, have shown good results for visible lesion detection. However, the commonly used reconstruction error criterion may limit their performance when facing less obvious lesions. In this work, we design two alternative detection criteria. They are derived from multivariate analysis and can more directly capture information from latent space representations. Their performance compares favorably with two additional supervised learning methods, on a difficult de novo Parkinson Disease (PD) classification task.


title: Leveraging Video Coding Knowledge for Deep Video Enhancement

abstract: Recent advancements in deep learning techniques have significantly improved the quality of compressed videos. However, previous approaches have not fully exploited the motion characteristics of compressed videos, such as the drastic change in motion between video contents and the hierarchical coding structure of the compressed video. This study proposes a novel framework that leverages the low-delay configuration of video compression to enhance the existing state-of-the-art method, BasicVSR++. We incorporate a context-adaptive video fusion method to enhance the final quality of compressed videos. The proposed approach has been evaluated in the NTIRE22 challenge, a benchmark for video restoration and enhancement, and achieved improvements in both quantitative metrics and visual quality compared to the previous method.


title: Software principles and concepts applied in the implementation of cyber-physical systems for real-time advanced process control

abstract: Cyber-physical systems (CPSs) for real-time advanced process control (RT-APC) are a class of control systems using network communication to control industrial processes. In this paper, we use simple examples to describe the software principles and concepts used in the implementation of such systems. The key software principles are 1) shared data in the form of a database, files, or shared memory, 2) timers and threads for concurrent periodic execution of tasks, and 3) network communication between the control system and the process, and communication between the control system and the internet, e.g., the cloud to enable remote monitoring and commands. We show how to implement such systems for Linux operating systems applying the C programming language and we also comment on the implementation using the Python programming language. Finally, we present a complete simulation experiment using a real-time simulator.


title: LSR: A Light-Weight Super-Resolution Method

abstract: A light-weight super-resolution (LSR) method from a single image targeting mobile applications is proposed in this work. LSR predicts the residual image between the interpolated low-resolution (ILR) and high-resolution (HR) images using a self-supervised framework. To lower the computational complexity, LSR does not adopt the end-to-end optimization deep networks. It consists of three modules: 1) generation of a pool of rich and diversified representations in the neighborhood of a target pixel via unsupervised learning, 2) selecting a subset from the representation pool that is most relevant to the underlying super-resolution task automatically via supervised learning, 3) predicting the residual of the target pixel via regression. LSR has low computational complexity and reasonable model size so that it can be implemented on mobile/edge platforms conveniently. Besides, it offers better visual quality than classical exemplar-based methods in terms of PSNR/SSIM measures.


title: The Complexity of Recognizing Geometric Hypergraphs

abstract: As set systems, hypergraphs are omnipresent and have various representations ranging from Euler and Venn diagrams to contact representations. In a geometric representation of a hypergraph $H=(V,E)$, each vertex $v\in V$ is associated with a point $p_v\in \mathbb{R}^d$ and each hyperedge $e\in E$ is associated with a connected set $s_e\subset \mathbb{R}^d$ such that $\{p_v\mid v\in V\}\cap s_e=\{p_v\mid v\in e\}$ for all $e\in E$. We say that a given hypergraph $H$ is representable by some (infinite) family $F$ of sets in $\mathbb{R}^d$, if there exist $P\subset \mathbb{R}^d$ and $S \subseteq F$ such that $(P,S)$ is a geometric representation of $H$. For a family F, we define RECOGNITION(F) as the problem to determine if a given hypergraph is representable by F. It is known that the RECOGNITION problem is $\exists\mathbb{R}$-hard for halfspaces in $\mathbb{R}^d$. We study the families of translates of balls and ellipsoids in $\mathbb{R}^d$, as well as of other convex sets, and show that their RECOGNITION problems are also $\exists\mathbb{R}$-complete. This means that these recognition problems are equivalent to deciding whether a multivariate system of polynomial equations with integer coefficients has a real solution.


title: Spatial-Frequency Attention for Image Denoising

abstract: The recently developed transformer networks have achieved impressive performance in image denoising by exploiting the self-attention (SA) in images. However, the existing methods mostly use a relatively small window to compute SA due to the quadratic complexity of it, which limits the model's ability to model long-term image information. In this paper, we propose the spatial-frequency attention network (SFANet) to enhance the network's ability in exploiting long-range dependency. For spatial attention module (SAM), we adopt dilated SA to model long-range dependency. In the frequency attention module (FAM), we exploit more global information by using Fast Fourier Transform (FFT) by designing a window-based frequency channel attention (WFCA) block to effectively model deep frequency features and their dependencies. To make our module applicable to images of different sizes and keep the model consistency between training and inference, we apply window-based FFT with a set of fixed window sizes. In addition, channel attention is computed on both real and imaginary parts of the Fourier spectrum, which further improves restoration performance. The proposed WFCA block can effectively model image long-range dependency with acceptable complexity. Experiments on multiple denoising benchmarks demonstrate the leading performance of SFANet network.


title: The geometrical meaning of the Weitzenb\"ock connection

abstract: In the current literature, there are many discussions about the local Lorentz invariance of modified teleparallel gravity. This symmetry is obviously violated in the classical "pure tetrad" formulation of the theory, while it gets restored in the "fully covariant" approach. My claim is that, despite many heated discussions, the two formulations are just equivalent. And the purpose of this note is to argue that the local Lorentz invariance is not natural for the modified teleparallel theories at all, making the pure tetrad approach more fundamentally justified.


title: In-place fast polynomial modular remainder

abstract: We consider the simultaneously fast and in-place computation of the Euclidean polynomial modular remainder $R(X) $\not\equiv$ A(X) \mod B(X)$ with $A$ and $B$ of respective degrees $n$ and $m $\le$ n$. But fast algorithms for this usually come at the expense of (potentially large) extra temporary space. To remain in-place a further issue is to avoid the storage of the whole quotient $Q(X)$ such that $A=BQ+R$. If the multiplication of two polynomials of degree $k$ can be performed with $M(k)$ operations and $O(k)$ extra space, and if it is allowed to use the input space of $A$ or $B$ for intermediate computations, but putting $A$ and $B$ back to their initial states after the completion of the remainder computation, we here propose an in-place algorithm (that is with its extra required space reduced to $O(1)$ only) using at most $O(n/m M(m)\log(m)$ arithmetic operations, if $\M(m)$ is quasi-linear, or $O(n/m M(m)}$ otherwise. We also propose variants that compute -- still in-place and with the same kind of complexity bounds -- the over-place remainder $A(X) $\not\equiv$ A(X) \mod B(X)$, the accumulated remainder $R(X) += A(X) \mod B(X)$ and the accumulated modular multiplication $R(X) += A(X)C(X) \mod B(X)$. To achieve this, we develop techniques for Toeplitz matrix operations which output is also part of the input. Fast and in-place accumulating versions are obtained for the latter, and thus for convolutions, and then used for polynomial remaindering. This is realized via further reductions to accumulated polynomial multiplication, for which fast in-place algorithms have recently been developed.


title: General Monogamy and polygamy properties of quantum systems

abstract: Monogamy and Polygamy are important properties of entanglement, which characterize the entanglement distribution of multipartite systems. We study general monogamy and polygamy relations based on the $\alpha$th $(0\leq\alpha\leq \gamma)$ power of entanglement measures and the $\beta$th $(\beta\geq \delta)$ power of assisted entanglement measures, respectively. We illustrate that these monogamy and polygamy relations are tighter than the inequalities in the article [Quantum Inf Process 19, 101], so that the entanglement distribution can be more precisely described for entanglement states that satisfy stronger constraints. For specific entanglement measures such as concurrence and the convex-roof extended negativity, by applying these relations, one can yield the corresponding monogamous and polygamous inequalities, which take the existing ones in the articles [Quantum Inf Process 18, 23] and [Quantum Inf Process 18, 105] as special cases. More details are presented in the examples.


title: The Role of Pre-training Data in Transfer Learning

abstract: The transfer learning paradigm of model pre-training and subsequent fine-tuning produces high-accuracy models. While most studies recommend scaling the pre-training size to benefit most from transfer learning, a question remains: what data and method should be used for pre-training? We investigate the impact of pre-training data distribution on the few-shot and full fine-tuning performance using 3 pre-training methods (supervised, contrastive language-image and image-image), 7 pre-training datasets, and 9 downstream datasets. Through extensive controlled experiments, we find that the choice of the pre-training data source is essential for the few-shot transfer, but its role decreases as more data is made available for fine-tuning. Additionally, we explore the role of data curation and examine the trade-offs between label noise and the size of the pre-training dataset. We find that using 2000X more pre-training data from LAION can match the performance of supervised ImageNet pre-training. Furthermore, we investigate the effect of pre-training methods, comparing language-image contrastive vs. image-image contrastive, and find that the latter leads to better downstream accuracy


title: The Online Observation Quality System Software Architecture for the ASTRI Mini-Array Project

abstract: The ASTRI Mini-Array is an international collaboration led by the Italian National Institute for Astrophysics. This project aims to construct and operate an array of nine Imaging Atmospheric Cherenkov Telescopes to study gamma-ray sources at very high energy (TeV) and perform stellar intensity interferometry observations. We describe the software architecture and the technologies used to implement the Online Observation Quality System (OOQS) for the ASTRI Mini-Array project. The OOQS aims to execute data quality checks on the data acquired in real-time by the Cherenkov cameras and intensity interferometry instruments, and provides feedback to both the Central Control System and the Operator about abnormal conditions detected. The OOQS can notify other sub-systems, triggering their reaction to promptly correct anomalies. The results from the data quality analyses (e.g. camera plots, histograms, tables, and more) are stored in the Quality Archive for further investigation and they are summarised in reports available to the Operator. Once the OOQS results are stored, the operator can visualize them using the Human Machine Interface. The OOQS is designed to manage the high data rate generated by the instruments (up to 4.5 GB/s) and received from the Array Data Acquisition System through the Kafka service. The data are serialized and deserialized during the transmission using the Avro framework. The Slurm workload scheduler executes the analyses exploiting key features such as parallel analyses and scalability.


title: On n-Hausdorff homogeneous and n-Urysohn homogeneous spaces

abstract: In this paper we study $n$-Hausdorff homogeneous and $n$-Urysohn homogeneous spaces. We give some upper bounds for the cardinality of these kind of spaces and give examples. Additionally we show that for every $n>2$, there is no $n$-Hausdorff 2-homogeneous space. Finally, for any $n$-Hausdorff space we construct an $n$-Hausdorff homogeneous extension which is the union of countably many $n$-H-closed spaces.


title: Contracting edges to destroy a pattern: A complexity study

abstract: Given a graph G and an integer k, the objective of the $\Pi$-Contraction problem is to check whether there exists at most k edges in G such that contracting them in G results in a graph satisfying the property $\Pi$. We investigate the problem where $\Pi$ is `H-free' (without any induced copies of H). It is trivial that H-free Contraction is polynomial-time solvable if H is a complete graph of at most two vertices. We prove that, in all other cases, the problem is NP-complete. We then investigate the fixed-parameter tractability of these problems. We prove that whenever H is a tree, except for seven trees, H-free Contraction is W[2]-hard. This result along with the known results leaves behind three unknown cases among trees.


title: Exceptional real Lie algebras $\mathfrak{f}_4$ and $\mathfrak{e}_6$ via contactifications

abstract: In Cartan's PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra $\mathfrak{f}_4$. Cartan's formula is written in the standard Cartesian coordinates in $\mathbb{R}^{15}$. In the present paper we explain how to find analogous formula for the flat models of any bracket generating distribution $\mathcal D$ whose symbol algebra $\mathfrak{n}({\mathcal D})$ is constant and 2-step graded, $\mathfrak{n}({\mathcal D})=\mathfrak{n}_{-2}\oplus\mathfrak{n}_{-1}$. The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations $(\rho,\mathfrak{n}_{-1})$ and $(\tau,\mathfrak{n}_{-2})$ of a Lie algebra $\mathfrak{n}_{00}$ contained in the $0$th order Tanaka prolongation $\mathfrak{n}_0$ of $\mathfrak{n}({\mathcal D})$. Numerous examples are provided, with particular emphasis on the distributions with symmetries being real forms of simple exceptional Lie algebras $\mathfrak{f}_4$ and $\mathfrak{e}_6$.


title: Floating calculation in Mesopotamia

abstract: Sophisticated computation methods were developed 4000 years ago in Mesopotamia in the context of scribal schools. The basics of the computation can be detected in clay tablets written by young students educated in these scribal schools. At first glance, the mathematical exercises contained in school tablets seem to be very simple and quite familiar, and therefore, they have little attracted the attention of historians of mathematics. Yet if we look more closely at these modest writings, their simplicity proves deceptive. The feeling of familiarity primarily results from a projection on to the past of thought patterns ingrained from our own early learning. Careful observation of school tablets reveals subtle differences between ancient and modern notions of number, quantity, measurement unit, order, divisibility, algorithm, etc. In fact, we find a completely original mathematical world with rules of its own. This article explores the computation practices developed in scholarly milieus in the light of the mathematical basics that was taught in elementary education.


title: DeepSeq: Deep Sequential Circuit Learning

abstract: Circuit representation learning is a promising research direction in the electronic design automation (EDA) field. With sufficient data for pre-training, the learned general yet effective representation can help to solve multiple downstream EDA tasks by fine-tuning it on a small set of task-related data. However, existing solutions only target combinational circuits, significantly limiting their applications. In this work, we propose DeepSeq, a novel representation learning framework for sequential netlists. Specifically, we introduce a dedicated graph neural network (GNN) with a customized propagation scheme to exploit the temporal correlations between gates in sequential circuits. To ensure effective learning, we propose to use a multi-task training objective with two sets of strongly related supervision: logic probability and transition probability at each node. A novel dual attention aggregation mechanism is introduced to facilitate learning both tasks efficiently. Experimental results on various benchmark circuits show that DeepSeq outperforms other GNN models for sequential circuit learning. We evaluate the generalization capability of DeepSeq on a downstream power estimation task. After fine-tuning, DeepSeq can accurately estimate power across various circuits under different workloads.


title: Intel Stratix 10 FPGA design for track reconstruction for the ATLAS experiment at the HL-LHC

abstract: The fast reconstruction of charged particle tracks with high efficiency and track quality is an essential part of the online data selection for the ATLAS experiment at the High-Luminosity LHC. Dedicated custom designed hardware boards and software simulations have been developed to assess the feasibility of a Hardware Tracking Trigger (HTT) system. The Pattern Recognition Mezzanine (PRM), as part of the HTT system, has been designed to recognize track candidates in silicon detectors with Associative Memory ASICs and to select and reconstruct tracks using linearized algorithms implemented in an Intel Stratix 10 MX FPGA. The highly parallelized FPGA design makes extensive use of the integrated High-Bandwidth-Memory. In this paper, the FPGA design for the PRM board is presented. Its functionalities have been verified in both simulations and hardware tests on an Intel Stratix 10 MX development kit.


title: A Prototypical Semantic Decoupling Method via Joint Contrastive Learning for Few-Shot Name Entity Recognition

abstract: Few-shot named entity recognition (NER) aims at identifying named entities based on only few labeled instances. Most existing prototype-based sequence labeling models tend to memorize entity mentions which would be easily confused by close prototypes. In this paper, we proposed a Prototypical Semantic Decoupling method via joint Contrastive learning (PSDC) for few-shot NER. Specifically, we decouple class-specific prototypes and contextual semantic prototypes by two masking strategies to lead the model to focus on two different semantic information for inference. Besides, we further introduce joint contrastive learning objectives to better integrate two kinds of decoupling information and prevent semantic collapse. Experimental results on two few-shot NER benchmarks demonstrate that PSDC consistently outperforms the previous SOTA methods in terms of overall performance. Extensive analysis further validates the effectiveness and generalization of PSDC.


title: Parametric dependence between random vectors via copula-based divergence measures

abstract: This article proposes copula-based dependence quantification between multiple groups of random variables of possibly different sizes via the family of $Phi$-divergences. An axiomatic framework for this purpose is provided, after which we focus on the absolutely continuous setting assuming copula densities exist. We consider parametric and semi-parametric frameworks, discuss estimation procedures, and report on asymptotic properties of the proposed estimators. In particular, we first concentrate on a Gaussian copula approach yielding explicit and attractive dependence coefficients for specific choices of $Phi$, which are more amenable for estimation. Next, general parametric copula families are considered, with special attention to nested Archimedean copulas, being a natural choice for dependence modelling of random vectors. The results are illustrated by means of examples. Simulations and a real-world application on financial data are provided as well.


title: Simulation of dislocation slip and twin propagation in Mg through coupling crystal plasticity and phase field models

abstract: A numerical strategy to simulate plastic deformation in Mg alloys including dislocation slip and twin propagation is presented. Dislocation slip is included through a crystal plasticity model which is solved using the finite element method while twin propagation is taken into account by means of a phase field model which is solved using a fast Fourier transform algorithm. The coupled crystal plasticity and phase field equations were solved using different discretizations of the simulation domain using the same time step for both of them. The numerical strategy was used to simulate the deformation in compression of a Mg micro-pillar along the $[10\bar{1}0]$ direction. The stress-strain curve predicted by the model as well as the dominant deformation mechanisms were in agreement with the experimental data in the literature and demonstrate the viability of the strategy to take explicitly into account twin propagation during the simulation of plastic deformation of Mg alloys. Finally, an example of slip/twin interaction in polycrystals was simulated to show the capabilities of the model.


title: Evaluation of Lidar-based 3D SLAM algorithms in SubT environment

abstract: Autonomous navigation of robots in harsh and GPS denied subterranean (SubT) environments with lack of natural or poor illumination is a challenging task that fosters the development of algorithms for pose estimation and mapping. Inspired by the need for real-life deployment of autonomous robots in such environments, this article presents an experimental comparative study of 3D SLAM algorithms. The study focuses on state-of-the-art Lidar SLAM algorithms with open-source implementation that are i) lidar-only like BLAM, LOAM, A-LOAM, ISC-LOAM and hdl graph slam, or ii) lidar-inertial like LeGO-LOAM, Cartographer, LIO-mapping and LIO-SAM. The evaluation of the methods is performed based on a dataset collected from the Boston Dynamics Spot robot equipped with 3D lidar Velodyne Puck Lite and IMU Vectornav VN-100, during a mission in an underground tunnel. In the evaluation process poses and 3D tunnel reconstructions from SLAM algorithms are compared against each other to find methods with most solid performance in terms of pose accuracy and map quality.


title: 2D Smagorinsky type large eddy models as limits of stochastic PDEs

abstract: We prove that a version of Smagorinsky Large Eddy model for a 2D fluid in vorticity form is the scaling limit of suitable stochastic models for large scales, where the influence of small turbulent eddies is modeled by a transport type noise.


title: Establishing the MAGIC data legacy: adopting standardised data formats and open-source analysis tools

abstract: The standardisation of gamma-ray astronomical data emerged in recent years as a necessity for the future generation of gamma-ray observatories. Nevertheless, adopting a common format for gamma-ray instruments can already benefit the current generation of gamma-ray instruments. As the end of their operations approaches, it provides a natural solution for the production of their data legacy. Additionally it eases data combination for multi-instrument analyses, thus enhancing the potential for scientific discovery with the wealth of data so far gathered. In this contribution, we present for the first time the effort to adapt the data of the MAGIC telescopes to the standardised format proposed by the Data Formats for Gamma-ray Astronomy initiative. We validate the data conversion by analysing the standardised data with the open-source software Gammapy and comparing the results obtained against those produced with the MAGIC proprietary software, MARS. For both samples chosen (Crab Nebula and Mrk421 observation), for all the scientific products extracted (spectra and light curves), we observe good agreement between the results of the two software.


title: ResQPASS: an algorithm for bounded variable linear least squares with asymptotic Krylov convergence

abstract: We present the Residual Quadratic Programming Active-Set Subspace (ResQPASS) method that solves large-scale linear least-squares problems with bound constraints on the variables. The problem is solved by creating a series of small problems of increasing size by projecting on the basis of residuals. Each projected problem is solved by the active-set method for convex quadratic programming, warm-started with a working set and solution of the previous problem. The method coincides with conjugate gradients (CG) or, equivalently, LSQR applied to the normal equations when none of the constraints is active. When only a few constraints are active the method converges, after a few initial iterations, like the CG and LSQR. An analysis links the convergence to an asymptotic Krylov subspace. We also present an efficient implementation where QR factorizations of the projected are updated over the inner iterations and Cholesky over the outer iterations.


title: Evidence of Hexadecapole Deformation in Uranium-238 at the Relativistic Heavy Ion Collider

abstract: There is strong evidence of the failure of hydrodynamic simulations of the quark-gluon plasma (QGP) to reproduce data on the elliptic flow of particles in relativistic collisions of $^{238}$U nuclei at the BNL Relativistic Heavy Ion Collider (RHIC). We demonstrate that this failure is caused by an inappropriate implementation of well-deformed ions, such as $^{238}$U, in the hydrodynamic framework. Past studies have identified the deformation of the nuclear surface with that of the nuclear volume, though these are different concepts. In particular, a volume quadrupole moment can be generated by both a surface hexadecapole and a surface quadrupole moment. This feature was so far neglected in the modeling of heavy-ion collisions, and is particularly relevant for nuclei like $^{238}$U, which is both quadrupole- and hexadecapole-deformed. With rigorous input from Skyrme density functional calculations, we show that correcting for such effects in the implementation of nuclear deformations in hydrodynamic simulations restores agreement with BNL RHIC data. This brings consistency to the results of nuclear experiments across energy scales, and demonstrates the impact of the hexadecapole deformation of $^{238}$U on high-energy collisions.


title: Constraints on fundamental physical constants from bio-friendly viscosity and diffusion

abstract: The problem of understanding fundamental physical constants was discussed in particle physics, astronomy and cosmology. Here, I show that a new insight comes from condensed matter physics and liquid physics in particular: fundamental constants have a bio-friendly window constrained by bio-friendly viscosity and diffusion setting the motion in essential life processes in and across cells. I also show that bounds on viscosity, diffusion and the fundamental velocity gradient in a biochemical machine can all be varied while keeping the fine-structure constant and the proton-to-electron mass ratio intact, with no implication for the production of heavy nuclei in stars. This leads to a conjecture of multiple tuning and an evolutionary mechanism.

categories: cond-mat.soft cond-mat.stat-mech hep-ph hep-th


title: Orca: A Few-shot Benchmark for Chinese Conversational Machine Reading Comprehension

abstract: The conversational machine reading comprehension (CMRC) task aims to answer questions in conversations, which has been a hot research topic in recent years because of its wide applications. However, existing CMRC benchmarks in which each conversation is assigned a static passage are inconsistent with real scenarios. Thus, model's comprehension ability towards real scenarios are hard to evaluate reasonably. To this end, we propose the first Chinese CMRC benchmark Orca and further provide zero-shot/few-shot settings to evaluate model's generalization ability towards diverse domains. We collect 831 hot-topic driven conversations with 4,742 turns in total. Each turn of a conversation is assigned with a response-related passage, aiming to evaluate model's comprehension ability more reasonably. The topics of conversations are collected from social media platform and cover 33 domains, trying to be consistent with real scenarios. Importantly, answers in Orca are all well-annotated natural responses rather than the specific spans or short phrase in previous datasets. Besides, we implement three strong baselines to tackle the challenge in Orca. The results indicate the great challenge of our CMRC benchmark. Our datatset and checkpoints are available at https://github.com/nuochenpku/Orca.


title: Computation of a possible Tunguska's strewn field

abstract: On June 30, 1908, at about 0h 14.5m UTC, the Tunguska Event (TE) occurred, most likely caused by the fall of a small stony asteroid of about 50-80 meters in diameter over the basin of the Tunguska River (Central Siberia). This paper will establish whether stony macroscopic fragments could have survived the TCB's airburst (Tunguska Cosmic Body) and where they might have fallen. For this purpose, we have implemented a fall model to describe the mass ablation, pancake expansion, airburst and fragments's dark flight. In our scenario, the fragments have a higher mean strength than the main body due to Weibull's law. The results, for a TCB with a kinetic energy of 15 Mt, atmospheric speed in the range of 11-20 km/s, trajectory inclination of $35^\circ$ and average strength in the range of 3-70 MPa, tell us that for a macroscopic fragment with a mean strength between 14-85 MPa would be possible to survive the high pressure and temperature airburst to reach the ground. The falling speed of the fragments is in the range of 0.8-0.5 km/s, favouring their burial in the permafrost. The range of mean strength values for the TCB's macroscopic fragment appears physically plausible if we consider the falls of Carancas in 2007, with an estimated strength in the range of 20-40 MPa. So our possible strewn field, computed for a typical fall speed of $10 \pm 3 $ km/s, is located about 11 km northwest from the epicentre, with an area of about $140~\textrm{km}^2$. Finally, Cheko Lake, which by some authors is considered an impact crater, falls about 3.5 km outside the strewn fields at 3 sigma level and it is unlikely that it could be a real impact crater: only if the TCB's trajectory had an azimuth in the range $150^\circ - 180^\circ$ would be in the strewn field area, but this is not consistent with the most likely trajectory azimuth.


title: Deformations of corank $1$ frontals

abstract: We develop a Thom-Mather theory of frontals analogous to Ishikawa's theory of deformations of Legendrian singularities but at the frontal level, avoiding the use of the contact setting. In particular, we define concepts like frontal stability, versality of frontal unfoldings or frontal codimension. We prove several characterizations of stability, including a frontal Mather-Gaffney criterion, and of versality. We then define the method of reduction with which we show how to construct frontal versal unfoldings of plane curves and show how to construct stable unfoldings of corank 1 frontals with isolated instability which are not necessarily versal. We prove a frontal version of Mond's conjecture in dimension 1. Finally, we classify stable frontal multigerms and give a complete classification of corank 1 stable frontals from $\mathbb C^3$ to $\mathbb C^4$.


title: Evolution of topological states in magnetic materials by symmetry-breaking

abstract: The magnetism-controllable band topology renders magnetic topological materials as one of the most promising candidates for next-generation electronic devices. Here we first construct three datasets allowing ascertaining the evolutions of topological states (with all enforced band crossings identified) using symmetry-indicators in the 1651 magnetic space groups. We then perform high-throughput investigations based on 1267 stoichiometric magnetic materials ever-experimentally synthesized and the three datasets to reveal a hierarchy of topological states by symmetry-breaking, along all ergodic and continuous paths of symmetry-breaking (preserving the translation symmetry) from the parent magnetic space group to the trivial group. The results are expected to aid experimentalists in selecting feasible and appropriate means to tune topological states towards realistic applications in new paradigm of memory device by topological state switching.


title: Evanescent Gels: Competition Between Sticker Dynamics and Single Chain Relaxation

abstract: Solutions of polymer chains are modelled using non-equilibrium Brownian dynamics simulations, with physically associative beads which form reversible crosslinks to establish a system-spanning physical gel network. Rheological properties such as the zero-shear-rate viscosity and relaxation modulus are investigated systematically as functions of polymer concentration and the binding energy between associative sites. It is shown that a system-spanning network can form regardless of binding energy at sufficiently high concentration. However, the contribution to the stress sustained by this physical network can decay faster than other relaxation processes, even single chain relaxations. If the polymer relaxation time scales overlap with short-lived associations, the mechanical response of a gel becomes ``evanescent'', decaying before it can be rheologically observed, even though the network is instantaneously mechanically rigid. In our simulations, the concentration of elastically active chains and the dynamic modulii are computed independently. This makes it possible to combine structural and rheological information to identify the concentration at which the sol-gel transition occurs as a function of binding energy. Further, it is shown that the competition of scales between the sticker dissociation time and the single-polymer relaxation time determines if the gel is in the evanescent regime.


title: Off-resonant Dicke Quantum Battery: Charging by Virtual Photons

abstract: We investigate a Dicke quantum battery in the dispersive regime, where the photons trapped into a resonant cavity are way more energetic with respect to the two-level systems embedded into it. Under such off-resonant conditions, even an empty cavity can lead to the charging of the quantum battery through a proper modulation of the matter-radiation coupling. This counterintuitive behaviour has its roots in the effective interaction between two-level systems mediated by virtual photons emerging from the fluctuations of the quantum electromagnetic field. In order to properly characterize it, we address relevant figures of merit such as the stored energy, the time required to reach the maximum charging, and the averaged charging power. Moreover, the possibility of efficiently extracting energy in various ranges of parameters is discussed. The scaling of stored energy and power as a function of the number $N$ of two-level systems and for different values of the matter-radiation coupling is also discussed showing, in the strong coupling regime, performances in line with what reported for the Dicke quantum battery in the resonant regime.


title: Evaluation of Automatically Constructed Word Meaning Explanations

abstract: Preparing exact and comprehensive word meaning explanations is one of the key steps in the process of monolingual dictionary writing. In standard methodology, the explanations need an expert lexicographer who spends a substantial amount of time checking the consistency between the descriptive text and corpus evidence. In the following text, we present a new tool that derives explanations automatically based on collective information from very large corpora, particularly on word sketches. We also propose a quantitative evaluation of the constructed explanations, concentrating on explanations of nouns. The methodology is to a certain extent language independent; however, the presented verification is limited to Czech and English. We show that the presented approach allows to create explanations that contain data useful for understanding the word meaning in approximately 90% of cases. However, in many cases, the result requires post-editing to remove redundant information.


title: Infrared polarisation study of Lynds 1340: A case of RNO 8

abstract: This paper describes the polarisation study of a Lynds cloud, LDN 1340, $\alpha$ = 2h32m & $\delta$ = $73^{\circ} 00^\prime$ corresponding to galactic coordinates of $\ell=$ 130$^{\circ}$.07 $b=$ 11$^{\circ}$.6, with emphasis on the RNO 8 area. The cloud has been observed using the 1.2 m telescope at Mt.Abu Infrared Observatory, in the infrared wavelength band using the Near-Infrared Camera, Spectrograph & Polarimeter (NICSPol) instrument. The polarimetric observations were used to map the magnetic field geometry around the region. We combined our measurements with archival data from the 2MASS and WISE surveys. The Gaia EDR3 & DR3 data for the same region were used for distance, proper motion, and other astrophysical information. The analysis of the data reveals areas with ordered polarisation vectors in the region of RNO 8. The position angle measurements reveal polarisation due to dichroic extinction which is consistent with the Galactic magnetic field. The magnetic field strength was calculated for the RNO 8 region using the Chandrashekhar-Fermi method and the value estimated is $\sim$ 42$\mu$G.


title: Nonreciprocal slow or fast light in anti-$\mathcal{PT}$-symmetric optomechanics

abstract: Non-Hermitian systems with anti-parity-time ($\mathcal{APT}$) symmetry have revealed rich physics beyond conventional systems. Here, we study optomechanics in an $\mathcal{APT}$-symmetric spinning resonator and show that, by tuning the rotating speed to approach the exceptional point (EP) or the non-Hermitian spectral degeneracy, nonreciprocal light transmission with a high isolation ratio can be realized. Accompanying this process, nonreciprocal group delay or advance is also identified in the vicinity of EP. Our work sheds new light on manipulating laser propagation with optomechanical EP devices and, in a broader view, can be extended to explore a wide range of $\mathcal{APT}$-symmetric effects, such as $\mathcal{APT}$-symmetric phonon lasers, $\mathcal{APT}$-symmetric topological effects, and $\mathcal{APT}$-symmetric force sensing or accelerator.


title: Quantum Simulation of non-Born-Oppenheimer dynamics in molecular systems by path integrals

abstract: A numerical algorithm based on the probabilistic path integral approach for solving Schroedinger equation has been devised to treat molecular systems without Born-Oppenheimer approximation in the non relativistic limit at zero temperature as an alternative to conventional Variational and perturbation methods. Using high quality variational trial functions and path integral method based on Generalized Feynman-Kac method, we have been able to calculate the non-Born-Oppenheimer energy for hydrogen molecule for the sigma state and hydrogen molecular ion. Combining these values and the value for ionization potential for atomic hydrogen, dissociation energy and ionization potential for hydrogen molecule have been determined to be 36 113.672(3) cm inverse and 124.446.066(10) cm inverse.respectively. Our results favorably compare with other theoretical and experimental results and thus show the promise of being a nonperturbative alternative for testing fundamental physical theories.


title: Estimation of continuous environments by robot swarms: Correlated networks and decision-making

abstract: Collective decision-making is an essential capability of large-scale multi-robot systems to establish autonomy on the swarm level. A large portion of literature on collective decision-making in swarm robotics focuses on discrete decisions selecting from a limited number of options. Here we assign a decentralized robot system with the task of exploring an unbounded environment, finding consensus on the mean of a measurable environmental feature, and aggregating at areas where that value is measured (e.g., a contour line). A unique quality of this task is a causal loop between the robots' dynamic network topology and their decision-making. For example, the network's mean node degree influences time to convergence while the currently agreed-on mean value influences the swarm's aggregation location, hence, also the network structure as well as the precision error. We propose a control algorithm and study it in real-world robot swarm experiments in different environments. We show that our approach is effective and achieves higher precision than a control experiment. We anticipate applications, for example, in containing pollution with surface vehicles.


title: A Peter-Weyl theorem for compact group bundles and the geometric representation of relatively ergodic compact extensions

abstract: We establish that a relatively ergodic extension of arbitrary measure-preserving dynamical systems has relative discrete spectrum if and only if it is isomorphic to a generalized skew-product by a bundle of compact homogeneous spaces. This result is motivated by Furstenberg-Zimmer and Host-Kra structure theories for uncountable group actions, and extends previous results due to Mackey, Zimmer, Ellis, Austin, and the second author and Tao. Our innovations are threefold: (i) a Peter-Weyl-type representation theory for compact group bundles, (ii) a geometric description of extensions with relative discrete spectrum in topological dynamics, and (iii) a translation of the ergodic theoretical problem into topological dynamics.


title: Curriculum Based Multi-Task Learning for Parkinson's Disease Detection

abstract: There is great interest in developing radiological classifiers for diagnosis, staging, and predictive modeling in progressive diseases such as Parkinson's disease (PD), a neurodegenerative disease that is difficult to detect in its early stages. Here we leverage severity-based meta-data on the stages of disease to define a curriculum for training a deep convolutional neural network (CNN). Typically, deep learning networks are trained by randomly selecting samples in each mini-batch. By contrast, curriculum learning is a training strategy that aims to boost classifier performance by starting with examples that are easier to classify. Here we define a curriculum to progressively increase the difficulty of the training data corresponding to the Hoehn and Yahr (H&Y) staging system for PD (total N=1,012; 653 PD patients, 359 controls; age range: 20.0-84.9 years). Even with our multi-task setting using pre-trained CNNs and transfer learning, PD classification based on T1-weighted (T1-w) MRI was challenging (ROC AUC: 0.59-0.65), but curriculum training boosted performance (by 3.9%) compared to our baseline model. Future work with multimodal imaging may further boost performance.


title: An overview of HMI off-disk flare observations

abstract: Context: White-light continuum observations of solar flares often have coronal counterparts, including the classical ``white-light prominence'' (WLP) phenomenon. Aims: Coronal emissions by flares, seen in white-light continuum, have only rarely been reported previously. We seek to use modern data to understand the morphology of WLP events. Methods: We have identified a set of 14 examples of WLP detected by the HMI (Heliospheric and Magnetic Imager) experiment on board SDO (the Solar Dynamics Observatory satellite), using a new on-line catalogue covering 2011-2017. These invariably accompanied white-light flares (WLF) emission from the lower atmosphere by flares near the limb, as identified by hard X-ray images from RHESSI (the Reuven Ramaty High Energy Spectroscopic Imager). HMI provides full Stokes information, and we have used the linear polarisations (Q~and~U) to distinguish Thomson scattering from cool material. Results: The event morphologies fit roughly into three categories: Ejection, Loop, and Spike, but many events show multiple phenomena. Conclusions: The coronal white-light continuum, observed by HMI analogously to the observations made by a coronagraph, detects many examples of coronal emission and dynamics. Using the Stokes linear polarisation, we estimate the masses of hot coronal plasma in 11 of the 14 events and find them to be similar to typical CME masses, but not exceeding 10$^{15}$\,g. We note that the HMI observations do not occult the bright solar disk and were not designed for coronal observations, resulting in relatively low signal-to-noise ratios. We therefore believe that future such observations with better optimisation will be even more fruitful.


title: Squeezed light from an oscillator measured at the rate of oscillation

abstract: Continuous measurements of the position of an oscillator become projective on position eigenstates when the measurements are made faster than the coherent evolution. We evidence an effect of this transition on a spin oscillator within an ensemble of $2\times10^{10}$ room-temperature atoms by observing correlations between the quadratures of the meter light field. These correlations squeeze the fluctuations of the light quadratures below the vacuum level. When the measurement is slower than the oscillation, we generate 11.5 dB and detect 8.5 dB of squeezing in a tunable band that is a fraction of the resonance frequency. When the measurement is as fast as the oscillation, we detect 4.7 dB of squeezing that spans more than one decade of frequencies below the resonance. Our results demonstrate a new regime of continuous quantum measurements on material oscillators, and set a new benchmark for the performance of a linear quantum sensor.


title: Spin Hall effects in the sky

abstract: In many areas of physics, the propagation of wave packets carrying intrinsic angular momentum is generally influenced by spin-orbit interactions. This is the main mechanism behind spin Hall effects, which result in wave packets following spin-dependent trajectories. Spin Hall effects have been observed in several experiments for electrons in condensed matter systems and for light propagating in inhomogeneous optical media. Similar effects have also been predicted for wave packets propagating in inhomogeneous gravitational fields. We give a brief introduction to gravitational spin Hall effects, emphasizing the analogies with the spin Hall effect of light in optics. Furthermore, we review the most promising astrophysical avenues that could lead to experimental observations of the gravitational spin Hall effect.


title: Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System

abstract: Recently proposed systems aim at achieving privacy using locality-sensitive hashing. We show how these approaches fail by presenting attacks against two such systems: Google's FLoC proposal for privacy-preserving targeted advertising and the MinHash Hierarchy, a system for processing mobile users' traffic behavior in a privacy-preserving way. Our attacks refute the pre-image resistance, anonymity, and privacy guarantees claimed for these systems. In the case of FLoC, we show how to deanonymize users using Sybil attacks and to reconstruct 10% or more of the browsing history for 30% of its users using Generative Adversarial Networks. We achieve this only analyzing the hashes used by FLoC. For MinHash, we precisely identify the movement of a subset of individuals and, on average, we can limit users' movement to just 10% of the possible geographic area, again using just the hashes. In addition, we refute their differential privacy claims.


title: Deterministic and stochastic coarsening control in optically-addressed spatial light modulators subject to optical feedback

abstract: Phase separation accompanied by further domain growth and coarsening is a phenomenon common to a broad variety of dynamical systems. In this connection, controlling such processes represents a relevant interdisciplinary problem. Using methods of numerical modelling, we demonstrate two approaches for the coarsening control in bistable systems based on the example of a spatially-extended model describing an optically-addressed spatial light modulator with two color illumination subject to optical feedback. The first method implies varying system parameters such that the system evolves as the pitchfork or saddle-node normal forms. The second method leverages noise whose intensity is used as an additional system parameter. Both, deterministic and stochastic schemes allow to control the direction and speed of the fronts separating spatial domains. The considered stochastic control represents a particular case of the noise-sustained front propagation in bistable systems and involves the properties of the optical system under study. In contrast, the proposed deterministic control technique can be applied to bistable systems of different nature.


title: Maximum mass and radius of strange stars in Finch-Skea geometry in dimensions $D\geq4$

abstract: In this article, we demonstrated a stellar model for compact star in presence of strange matter embedded in $D\ge4$ dimensional space-time defind by Finch-Skea metric. To study the relevant physical properties of the interior matter, we consider the equation of state $(henceforth~EOS)$ as proposed in MIT bag model given by $p=\frac{1}{3}(\rho-4B)$, where $B$ is termed as bag constant. The Mass-Radius relationships in four and higher dimensions are determined using the range of values of surface density through the relation $\rho_{s}=4B$ for which bulk strange matter may be a viable issue for compact objects. Here we choose the range of $B$ such that stable strange matter may exist at zero external pressure relative to neutron. We note that a maximum value of the stellar radius is exist when $B$ is fixed at a given allowed value for which metric functions considered here to be real. This is the maximum allowed radius $(b_{max})$ in this model which depends on surface density of a strange star. In four dimensions the compactness of a star is found to be greater than 0.33. In case of higher dimensions ($D>4$), we observed different values of compactness. Causality conditions are satisfied interior to the star upto maximum allowed radius $(b_{max})$ for which metric function is real. The validity of energy conditions, surface red-shift and other parameters of the stellar configuration are studied and found new results. Stability of the system is also studied.


title: Predicting the Performance of a Computing System with Deep Networks

abstract: Predicting the performance and energy consumption of computing hardware is critical for many modern applications. This will inform procurement decisions, deployment decisions, and autonomic scaling. Existing approaches to understanding the performance of hardware largely focus around benchmarking -- leveraging standardised workloads which seek to be representative of an end-user's needs. Two key challenges are present; benchmark workloads may not be representative of an end-user's workload, and benchmark scores are not easily obtained for all hardware. Within this paper, we demonstrate the potential to build Deep Learning models to predict benchmark scores for unseen hardware. We undertake our evaluation with the openly available SPEC 2017 benchmark results. We evaluate three different networks, one fully-connected network along with two Convolutional Neural Networks (one bespoke and one ResNet inspired) and demonstrate impressive $R^2$ scores of 0.96, 0.98 and 0.94 respectively.


title: Quantum speed limits for an open system in contact with a thermal bath

abstract: We prove fundamental rigorous bounds on the speed of quantum evolution for a quantum system coupled to a thermal bath. The bounds are formulated in terms of expectation values of few-body observables derived from the system-bath Hamiltonian. They do not rely on the Markov approximation and, as a consequence, are applicable beyond the limit of weak system-bath coupling.


title: Proof of a Conjecture on Online Ramsey Numbers of Paths

abstract: For two graphs $G_1$ and $G_2$, the online Ramsey number $\tilde{r}(G_1,G_2)$ is the smallest number of edges that Builder draws on an infinite empty graph to guarantee that there is either a red copy of $G_1$ or a blue copy of $G_2$, under the condition that Builder draws one edge in each round and Painter immediately colors it red or blue. For online Ramsey numbers of paths, Cyman, Dzido, Lapinskas, and Lo conjectured that $\tilde{r}(P_4, P_{\ell+1}) = \lceil(7\ell+2)/5\rceil$ for all $\ell \ge 3$ [Electron. J. Combin. 22 (2015) #P1.15]. We verify the conjecture in this paper.


title: On the Connection between Greedy Algorithms and Imperfect Rationality

abstract: The design of algorithms or protocols that are able to align the goals of the planner with the selfish interests of the agents involved in these protocols is of paramount importance in almost every decentralized setting (such as, computer networks, markets, etc.) as shown by the rich literature in Mechanism Design. Recently, huge interest has been devoted to the design of mechanisms for imperfectly rational agents, i.e., mechanisms for which agents are able to easily grasp that there is no action different from following the protocol that would satisfy their interests better. This work has culminated in the definition of Obviously Strategyproof (OSP) Mechanisms, that have been shown to capture the incentives of agents without contingent reasoning skills. Without an understanding of the algorithmic nature of OSP mechanisms, it is hard to assess how well these mechanisms can satisfy the goals of the planner. For the case of binary allocation problems and agents whose private type is a single number, recent work has shown that a generalization of greedy completely characterizes OSP. In this work, we strengthen the connection between greedy and OSP by providing a characterization of OSP mechanisms for all optimization problems involving these single-parameter agents. Specifically, we prove that OSP mechanisms must essentially work as follows: they either greedily look for agents with ``better'' types and allocate them larger outcomes; or reverse greedily look for agents with ``worse'' types and allocate them smaller outcomes; or, finally, split the domain of agents in ``good'' and ``bad'' types, and subsequently proceed in a reverse greedy fashion for the former and greedily for the latter. We further demonstrate how to use this characterization to give bounds on the approximation guarantee of OSP mechanisms for the well known scheduling related machines problem.


title: Stability of singular limit cycles for Abel equations revisited

abstract: A criterion is obtained for the semi-stability of the isolated singular positive closed solutions, i.e., singular positive limit cycles, of the Abel equation $x'=A(t)x^3+B(t)x^2$, where $A,B$ are smooth functions with two zeros in the interval $[0,T]$ and where these singular positive limit cycles satisfy certain conditions, which allows an upper bound on the number of limit cycles of the Abel equation to be obtained. The criterion is illustrated by obtaining an upper bound of two positive limit cycles for the family $A(t)=t(t-t_A)$, $B(t)=(t-t_B)(t-1)$, $t\in[0,1]$. In the linear trigonometric case, i.e., when $A(t)=a_0+a_1\sin t +a_2\cos t$, $B(t)=b_0+b_1\sin t+b_2 \cos t$, an upper bound of two limit cycles is also obtained for $a_0,b_0$ sufficiently small and in the region where two positive limit cycles bifurcate from the origin.


title: All-order Coulomb corrections to Delbr\"uck scattering above the pair production threshold

abstract: We report calculations of Delbr\"uck scattering that include all-order Coulomb corrections for photon energies above the threshold of electron-positron pair creation. Our approach is based on the application of the Dirac-Coulomb Green function and accounts for the interaction between the virtual electron-positron pair and the nucleus to all orders in the nuclear binding strength parameter $\alpha Z$. Practical calculations are performed for the scattering of 2.754 MeV photons off plutonium atoms. We find that including the Coulomb corrections enhances the scattering cross section by up to 50% in this case. The obtained results resolve the long-standing discrepancy between experimental data and theoretical predictions and demonstrate that an accurate treatment of the Coulomb corrections is crucial for the interpretation of existing and guidance of future Delbr\"uck scattering experiments on heavy atoms.


title: 3-Coloring in Time O(1.3217^n)

abstract: We propose a new algorithm for 3-coloring that runs in time O(1.3217^n). For this algorithm, we make use of the time O(1.3289^n) algorithm for 3-coloring by Beigel and Eppstein. They described a structure in all graphs, whose vertices could be colored relatively easily. In this paper, we improve upon this structure and present new ways to determine how the involved vertices reduce the runtime of the algorithm.


title: Real and virtual photons within basis light-front quantization

abstract: We compute the structure function, transverse momentum dependent parton distributions (TMDs), and generalized parton distributions (GPDs) for the physical photon from the light-front quantum electrodynamics (QED) Hamiltonian, determined for its constituent bare photon and electron-positron Fock components within the Basis Light-Front Quantization framework. After performing nonperturbative renormalization, we obtain a good quality description of the perturbative QED properties of the photon, as well as good agreement with the experimental data for the photon's structure function. We also investigate the TMDs and GPDs of the space-like and the time-like virtual photon by incorporating a nonzero photon mass.


title: A Tale of Tail Covariances (and Diversified Tails)

abstract: This paper deals with tail diversification in financial time series through the concept of statistical independence by way of differential entropy and mutual information. By using moments as contrast functions to isolate the tails of the return distributions, we recover the tail covariance matrix, a specific two-dimensional slice of the mixed moment tensor, as a key driver of tail diversification. We further explore the links between the moment contrast approach and the original entropy formulation, and show an example of in- and out-of-sample diversification on a broad stock universe.


title: String attractors of some simple-Parry automatic sequences

abstract: Firstly studied by Kempa and Prezza in 2018 as the cement of text compression algorithms, string attractors have become a compelling object of theoretical research within the community of combinatorics on words. In this context, they have been studied for several families of finite and infinite words. In this paper, we obtain string attractors of prefixes of particular infinite words generalizing k-bonacci words (including the famous Fibonacci word) and related to simple Parry numbers. In fact, our description involves the numeration systems classically derived from the considered morphisms. This extends our previous work published in the international conference WORDS 2023.


title: Analyzing the speed of sound in neutron star with machine learning

abstract: In this work we have analyzed the variation of speed of sound and trace anomaly inside a neutron star using neural network. We construct family of agnostic equation of state by maintaining thermodynamic stability, speed of sound bound with constraints from recent observation of neutron stars. The data of mass and radius serves an input for the neural network and we obtain speed of sound as an output. The speed of sound shows non-monotonic behaviour and the trained data predicts softer equation of state. The neural network predicts stiff equation of state at the centre of intermediate mass stars and massive stars have relatively softer equation of state at their centre. The trace anomaly shows a non-monotonic behaviour for the untrained data however, when we train our data; with neural network the trace anomaly shows monotonic behaviour and the condition of $\Delta \ge 0$ is maintained.


title: Locally Homogeneous Holomorphic Geometric Structures on Projective Varieties

abstract: For any smooth projective variety with holomorphic locally homogeneous structure modelled on a homogeneous algebraic variety, we determine all the subvarieties of it which develop to the model.


title: PACCART: Reinforcing Trust in Multiuser Privacy Agreement Systems

abstract: Collaborative systems, such as Online Social Networks and the Internet of Things, enable users to share privacy sensitive content. Content in these systems is often co-owned by multiple users with different privacy expectations, leading to possible multiuser privacy conflicts. In order to resolve these conflicts, various agreement mechanisms have been designed and agents that could participate in such mechanisms have been proposed. However, research shows that users hesitate to use software tools for managing their privacy. To remedy this, we argue that users should be supported by trustworthy agents that adhere to the following criteria: (i) concealment of privacy preferences, such that only necessary information is shared with others, (ii) equity of treatment, such that different kinds of users are supported equally, (iii) collaboration of users, such that a group of users can support each other in agreement and (iv) explainability of actions, such that users know why certain information about them was shared to reach a decision. Accordingly, this paper proposes PACCART, an open-source agent that satisfies these criteria. Our experiments over simulations and user study indicate that PACCART increases user trust significantly.


title: Geometric phases, Everett's many-worlds interpretation of quantum mechanics, and wormholes

abstract: We present how the formalism of geometric phases in adiabatic quantum dynamics provides geometric realisations permitting to ``embody'' the Everett's many-worlds interpretation of quantum mechanics, including interferences between the worlds needed for the probability changes and the decoherence processes needed to solve the preferred basis problem. We show also that this geometric realisation is intimately related to quantum gravity (especially to matrix models), showing that the many-world interpretation can be consistent with quantum gravity. The concept of wormhole borrowed to general relativity is central in this geometric realisation. It appears not only as an image by analogy to help the interpretations, but also as a true physical model of quantum wormhole in quantum gravity, the two ones being consistent which each other.


title: Duration-aware pause insertion using pre-trained language model for multi-speaker text-to-speech

abstract: Pause insertion, also known as phrase break prediction and phrasing, is an essential part of TTS systems because proper pauses with natural duration significantly enhance the rhythm and intelligibility of synthetic speech. However, conventional phrasing models ignore various speakers' different styles of inserting silent pauses, which can degrade the performance of the model trained on a multi-speaker speech corpus. To this end, we propose more powerful pause insertion frameworks based on a pre-trained language model. Our approach uses bidirectional encoder representations from transformers (BERT) pre-trained on a large-scale text corpus, injecting speaker embedding to capture various speaker characteristics. We also leverage duration-aware pause insertion for more natural multi-speaker TTS. We develop and evaluate two types of models. The first improves conventional phrasing models on the position prediction of respiratory pauses (RPs), i.e., silent pauses at word transitions without punctuation. It performs speaker-conditioned RP prediction considering contextual information and is used to demonstrate the effect of speaker information on the prediction. The second model is further designed for phoneme-based TTS models and performs duration-aware pause insertion, predicting both RPs and punctuation-indicated pauses (PIPs) that are categorized by duration. The evaluation results show that our models improve the precision and recall of pause insertion and the rhythm of synthetic speech.


title: Equilibrium Bandits: Learning Optimal Equilibria of Unknown Dynamics

abstract: Consider a decision-maker that can pick one out of $K$ actions to control an unknown system, for $T$ turns. The actions are interpreted as different configurations or policies. Holding the same action fixed, the system asymptotically converges to a unique equilibrium, as a function of this action. The dynamics of the system are unknown to the decision-maker, which can only observe a noisy reward at the end of every turn. The decision-maker wants to maximize its accumulated reward over the $T$ turns. Learning what equilibria are better results in higher rewards, but waiting for the system to converge to equilibrium costs valuable time. Existing bandit algorithms, either stochastic or adversarial, achieve linear (trivial) regret for this problem. We present a novel algorithm, termed Upper Equilibrium Concentration Bound (UECB), that knows to switch an action quickly if it is not worth it to wait until the equilibrium is reached. This is enabled by employing convergence bounds to determine how far the system is from equilibrium. We prove that UECB achieves a regret of $\mathcal{O}(\log(T)+\tau_c\log(\tau_c)+\tau_c\log\log(T))$ for this equilibrium bandit problem where $\tau_c$ is the worst case approximate convergence time to equilibrium. We then show that both epidemic control and game control are special cases of equilibrium bandits, where $\tau_c\log \tau_c$ typically dominates the regret. We then test UECB numerically for both of these applications.


title: Symmetrization of Localized Molecular Orbitals

abstract: We present a novel algorithm for (i) detecting approximate symmetries inherently present among spatially localized molecular orbitals and (ii) enforcing these in numerically exact manners by means of unitary optimization techniques. The vast potential of our algorithm to compress a full set of molecular orbitals into only a minimal set of symmetry-unique orbitals is demonstrated, starting from localized bases of either Pipek-Mezey or Foster-Boys orbitals. Comparisons of results based on either of these two localization procedures indicate that Foster-Boys molecular orbitals can be spanned by a smaller number of symmetry-unique orbitals on average, making these outstanding candidates for the exploitation of general, (non-)Abelian point-group symmetries in a range of local correlation methods. As an illustration of said compressibility, our algorithm is capable of identifying a mere 14 symmetry-unique orbitals for the buckminsterfullerene in the highly symmetric $I_h$ molecular point group, corresponding to only $1.7\%$ of its total 840 molecular orbitals in a standard double-$\zeta$ basis set. The present work thus marks an important advancement in the exploitation of point-group symmetry within local correlation methods, for which the appropriate adaption of symmetry uniqueness among orbitals has the potential to yield unprecedented speed-ups.


title: Deimos: A Grammar of Dynamic Embodied Immersive Visualisation Morphs and Transitions

abstract: We present Deimos, a grammar for specifying dynamic embodied immersive visualisation morphs and transitions. A morph is a collection of animated transitions that are dynamically applied to immersive visualisations at runtime and is conceptually modelled as a state machine. It is comprised of state, transition, and signal specifications. States in a morph are used to generate animation keyframes, with transitions connecting two states together. A transition is controlled by signals, which are composable data streams that can be used to enable embodied interaction techniques. Morphs allow immersive representations of data to transform and change shape through user interaction, facilitating the embodied cognition process. We demonstrate the expressivity of Deimos in an example gallery and evaluate its usability in an expert user study of six immersive analytics researchers. Participants found the grammar to be powerful and expressive, and showed interest in drawing upon Deimos' concepts and ideas in their own research.


title: A rational measure of irrationality

abstract: All possible types of deterministic choice behavior are classified by their degree of irrationality. This classification is performed in three steps: (1) select a benchmark of rationality, for which this degree is zero; (2) endow the set of choices with a metric to measure deviations from rationality; and (3) compute the distance of any choice behavior from the selected benchmark. The natural candidate for step 1 is the family of all rationalizable behaviors. A possible candidate for step 2 is a suitable variation of the metric described by Klamler (2008), which displays a sharp discerning power among different types of choice behaviors. In step 3 we use this new metric to establish the minimum distance of any choice behavior from the benchmark of rationality. Finally we describe a measure of stochastic irrationality, which employs the random utility model as a benchmark of rationality, and the Block-Marschak polynomials to measure deviations from it.


title: Functors on relational structures which admit both left and right adjoints

abstract: This paper describes several cases of adjunction in the homomorphism preorder of relational structures. We say that two functors $\Lambda$ and $\Gamma$ between thin categories of relational structures are adjoint if for all structures $\mathbf A$ and $\mathbf B$, we have that $\Lambda(\mathbf A)$ maps homomorphically to $\mathbf B$ if and only if $\mathbf A$ maps homomorphically to $\Gamma(\mathbf B)$. If this is the case, $\Lambda$ is called the left adjoint to $\Gamma$ and $\Gamma$ the right adjoint to $\Lambda$. In 2015, Foniok and Tardif described some functors on the category of digraphs that allow both left and right adjoints. The main contribution of Foniok and Tardif is a construction of right adjoints to some of the functors identified as right adjoints by Pultr in 1970. We generalise results of Foniok and Tardif to arbitrary relational structures, and coincidently, we also provide more right adjoints on digraphs, and since these constructions are connected to finite duality, we also provide a new construction of duals to trees. Our results are inspired by an application in promise constraint satisfaction -- it has been shown that such functors can be used as efficient reductions between these problems.


title: Robust High-Dimensional Time-Varying Coefficient Estimation

abstract: In this paper, we develop a novel high-dimensional coefficient estimation procedure based on high-frequency data. Unlike usual high-dimensional regression procedure such as LASSO, we additionally handle the heavy-tailedness of high-frequency observations as well as time variations of coefficient processes. Specifically, we employ Huber loss and truncation scheme to handle heavy-tailed observations, while $\ell_{1}$-regularization is adopted to overcome the curse of dimensionality. To account for the time-varying coefficient, we estimate local coefficients which are biased due to the $\ell_{1}$-regularization. Thus, when estimating integrated coefficients, we propose a debiasing scheme to enjoy the law of large number property and employ a thresholding scheme to further accommodate the sparsity of the coefficients. We call this Robust thrEsholding Debiased LASSO (RED-LASSO) estimator. We show that the RED-LASSO estimator can achieve a near-optimal convergence rate. In the empirical study, we apply the RED-LASSO procedure to the high-dimensional integrated coefficient estimation using high-frequency trading data.


title: Thermal-induced Local Imbalance in Repulsive Binary Bose Mixtures

abstract: We study repulsive two-component Bose mixtures with equal populations and confined in a finite-size box through path-integral Monte Carlo simulations. For different values of the $s$-wave scattering length of the interspecies potential, we calculate the local population imbalance in a region of fixed volume inside the box at different temperatures. We find two different behaviors: for phase-separated states at $T=0$, thermal effects induce a diffusion process which reduces the local imbalance whereas, for miscible states at $T=0$, a maximum in the local population imbalance appears at a certain temperature, below the critical one. We show that this intriguing behavior is strongly related to the bunching effect associated with the Bose-Einstein statistics of the particles in the mixture and to an unexpected behavior of the cross pair distribution function not reported before.


title: Littlewood's principles in reverse real analysis

abstract: If local forms of Littlewood's three principles are stated as axioms for an ordered field, then each principle is equivalent to the completeness axiom.


title: Using Auxiliary Tasks In Multimodal Fusion Of Wav2vec 2.0 And BERT For Multimodal Emotion Recognition

abstract: The lack of data and the difficulty of multimodal fusion have always been challenges for multimodal emotion recognition (MER). In this paper, we propose to use pretrained models as upstream network, wav2vec 2.0 for audio modality and BERT for text modality, and finetune them in downstream task of MER to cope with the lack of data. For the difficulty of multimodal fusion, we use a K-layer multi-head attention mechanism as a downstream fusion module. Starting from the MER task itself, we design two auxiliary tasks to alleviate the insufficient fusion between modalities and guide the network to capture and align emotion-related features. Compared to the previous state-of-the-art models, we achieve a better performance by 78.42% Weighted Accuracy (WA) and 79.71% Unweighted Accuracy (UA) on the IEMOCAP dataset.


title: Topology hierarchy of transition metal dichalcogenides built from quantum spin Hall layers

abstract: The evolution of the physical properties of two-dimensional material from monolayer limit to the bulk reveals unique consequences from dimension confinement and provides a distinct tuning knob for applications. Monolayer 1T'-phase transition metal dichalcogenides (1T'-TMDs) with ubiquitous quantum spin Hall (QSH) states are ideal two-dimensional building blocks of various three-dimensional topological phases. However, the stacking geometry was previously limited to the bulk 1T'-WTe2 type. Here, we introduce the novel 2M-TMDs consisting of translationally stacked 1T'-monolayers as promising material platforms with tunable inverted bandgaps and interlayer coupling. By performing advanced polarization-dependent angle-resolved photoemission spectroscopy as well as first-principles calculations on the electronic structure of 2M-TMDs, we revealed a topology hierarchy: 2M-WSe2, MoS2, and MoSe2 are weak topological insulators (WTIs), whereas 2M-WS2 is a strong topological insulator (STI). Further demonstration of topological phase transitions by tunning interlayer distance indicates that band inversion amplitude and interlayer coupling jointly determine different topological states in 2M-TMDs. We propose that 2M-TMDs are parent compounds of various exotic phases including topological superconductors and promise great application potentials in quantum electronics due to their flexibility in patterning with two-dimensional materials.


title: HESS J1809$-$193: a halo of escaped electrons around a pulsar wind nebula?

abstract: Context. HESS J1809$-$193 is an unassociated very-high-energy $\gamma$-ray source located on the Galactic plane. While it has been connected to the nebula of the energetic pulsar PSR J1809$-$1917, supernova remnants and molecular clouds present in the vicinity also constitute possible associations. Recently, the detection of $\gamma$-ray emission up to energies of $\sim$100 TeV with the HAWC observatory has led to renewed interest in HESS J1809$-$193. Aims. We aim to understand the origin of the $\gamma$-ray emission of HESS J1809$-$193. Methods. We analysed 93.2 h of data taken on HESS J1809$-$193 above 0.27 TeV with the High Energy Stereoscopic System (H.E.S.S.), using a multi-component, three-dimensional likelihood analysis. In addition, we provide a new analysis of 12.5 yr of Fermi-LAT data above 1 GeV within the region of HESS J1809$-$193. The obtained results are interpreted in a time-dependent modelling framework. Results. For the first time, we were able to resolve the emission detected with H.E.S.S. into two components: an extended component that exhibits a spectral cut-off at $\sim$13 TeV, and a compact component that is located close to PSR J1809$-$1917 and shows no clear spectral cut-off. The Fermi-LAT analysis also revealed extended $\gamma$-ray emission, on scales similar to that of the extended H.E.S.S. component. Conclusions. Our modelling indicates that based on its spectrum and spatial extent, the extended H.E.S.S. component is likely caused by inverse Compton emission from old electrons that form a halo around the pulsar wind nebula. The compact component could be connected to either the pulsar wind nebula or the supernova remnant and molecular clouds. Due to its comparatively steep spectrum, modelling the Fermi-LAT emission together with the H.E.S.S. components is not straightforward. (abridged)


title: Strain-induced interlayer magnetic coupling spike of two-dimensional van der Waals material Fe$_5$GeTe$_2$

abstract: A stronger interlayer magnetic coupling (ILMC) can open up new opportunities in spintronics devices for Fe$_5$GeTe$_2$ (F5GT), a demonstrated two-dimensional (2D) van der Waals (vdW) material with high Currie temperature. Here we observe an extraordinary ILMC spike in F5GT, jumping from 1.15 to 12.79 meV/f.u, by applying a 3% in-plane strain. This spike is mainly ascribed to a significant increase in the magnetic moment of the Fe5 ion. Moreover, the applied in-plane strain can also significantly enhance the magnetic anisotropy energy (MAE) of the system, triggering the transition between the in/off-plane configurations in multi-layer F5GT.


title: Exceptional biases in counting primes over functions fields

abstract: We study how often exceptional configurations of irreducible polynomials over finite fields occur in the context of prime number races and Chebyshev's bias. In particular, we show that three types of biases, which we call "complete bias", "lower order bias" and "reversed bias", occur with probability going to zero among the family of all squarefree monic polynomials of a given degree in $\mathbb{F}_q[x]$ as $q$, a power of a fixed prime, goes to infinity. The bounds given improve on a previous result of Kowalski, who studied a similar question along particular $1$-parameter families of reducible polynomials. The tools used are the large sieve for Frobenius developed by Kowalski, an improvement of it due to Perret-Gentil and considerations from the theory of linear recurrence sequences and arithmetic geometry.


title: Correlated Noise and Critical Dimensions

abstract: In equilibrium, the Mermin-Wagner theorem prohibits the continuous symmetry breaking for all dimensions $d\leq 2$. In this work, we discuss that this limitation can be circumvented in non-equilibrium systems driven by the spatio-temporally long-range anticorrelated noise. We first compute the lower and upper critical dimensions of the $O(n)$ model driven by the spatio-temporally correlated noise by means of the dimensional analysis. Next, we consider the spherical model, which corresponds to the large $n$ limit of the $O(n)$ model and allows us to compute the critical dimensions and critical exponents, analytically. Both results suggest that the critical dimensions increase when the noise is positively correlated in space and time, and decrease when anticorrelated. We also report that the spherical model with the correlated noise shows the hyperuniformity and giant number fluctuation even well above the critical point.


title: Determining the b-chromatic number of subdivision-vertex neighbourhood coronas

abstract: Let $G$ and $H$ be two graphs, each one of them being a path, a cycle or a star. In this paper, we determine the $b$-chromatic number of every subdivision-vertex neighbourhood corona $G\boxdot H$ or $G\boxdot K_n$, where $K_n$ is the complete graph of order $n$. It is also established for those graphs $K_n\boxdot G$ having $m$-degree not greater than $n+2$. All the proofs are accompanied by illustrative examples.


title: Contrastive Video Question Answering via Video Graph Transformer

abstract: We propose to perform video question answering (VideoQA) in a Contrastive manner via a Video Graph Transformer model (CoVGT). CoVGT's uniqueness and superiority are three-fold: 1) It proposes a dynamic graph transformer module which encodes video by explicitly capturing the visual objects, their relations and dynamics, for complex spatio-temporal reasoning. 2) It designs separate video and text transformers for contrastive learning between the video and text to perform QA, instead of multi-modal transformer for answer classification. Fine-grained video-text communication is done by additional cross-modal interaction modules. 3) It is optimized by the joint fully- and self-supervised contrastive objectives between the correct and incorrect answers, as well as the relevant and irrelevant questions respectively. With superior video encoding and QA solution, we show that CoVGT can achieve much better performances than previous arts on video reasoning tasks. Its performances even surpass those models that are pretrained with millions of external data. We further show that CoVGT can also benefit from cross-modal pretraining, yet with orders of magnitude smaller data. The results demonstrate the effectiveness and superiority of CoVGT, and additionally reveal its potential for more data-efficient pretraining. We hope our success can advance VideoQA beyond coarse recognition/description towards fine-grained relation reasoning of video contents. Our code is available at https://github.com/doc-doc/CoVGT.


title: Universality of Osmotic Equation of State in Star Polymer Solutions

abstract: We experimentally measure the osmotic pressures of linear polymers and three-, four-, and eight-arm star polymers in a good solvent via membrane osmometry. These results reveal that the osmotic equations of state in the star polymer solutions are universally described by the same scaling function that describes linear polymer solutions. This universality is achieved by canceling increasing overlap concentrations and decreasing osmotic pressure, owing to the increased arm number. We further clarify the molar mass and arm number dependencies of the gyration radius and interpenetration factor, ensuring universality in star polymer solutions.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph


title: Ultra-short sums of trace functions

abstract: We generalize results of Duke, Garcia, Hyde, Lutz and others on the distribution of sums of roots of unity related to Gaussian periods to obtain equidistribution of similar sums over zeros of arbitrary integral polynomials. We also interpret these results in terms of trace functions, and generalize them to higher rank trace functions.


title: Questioning the $H_0$ tension via the look-back time

abstract: The Hubble tension is investigated taking into account the cosmological look-back time. Specifically, considering a single equation, widely used in standard cosmology, it is possible to recover both values of the Hubble constant $H_0$ reported by the SH0ES and Planck collaborations: the former is obtained through cosmological ladder methods (e.g. Cepheids, Supernovae Type IA) and the latter through measurements of the Cosmic Microwave Background. Also, other values obtained in the literature are achieved with the same approach. We conclude that the Hubble tension can be removed if the look-back time is correctly referred to the redshift where the measurement is performed.


title: Adaptive VEM for variable data: convergence and optimality

abstract: We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori error estimators upon increasing the stabilization parameter. Our AVEM concatenates two modules, GALERKIN and DATA. The former deals with piecewise constant data and is shown in [8] to be a contraction between consecutive iterates. The latter approximates general data by piecewise constants to a desired accuracy. AVEM is shown to be convergent and quasi-optimal, in terms of error decay versus degrees of freedom, for solutions and data belonging to appropriate approximation classes. Numerical experiments illustrate the interplay between these two modules and provide computational evidence of optimality.


title: Three-particle distribution in B meson and charm-quark loops in FCNC B decays

abstract: We discuss a nonfactorizable (NF) contribution of a charm loop to the FCNC $B$-decay amplitude given through the three-particle Bethe-Salpeter amplitude (3BS) of the $B$-meson. This 3BS contains one heavy-quark field and two light fields (a light quark and a gluon). Our discussion is aimed at clarifying properties of the $B$-meson 3BS necessary to describe properly charm-loop contributions to the amplitudes of FCNC $B$-decays. We demonstrate that the dominant contribution of nonfactorizable charm to FCNC $B$-decay amplitude is given in the heavy-quark limit by a convolution of some hard kernel and the $B$-meson 3BS in a "double-collinear" light cone (LC) configuration: one of the light degrees of freedom $\phi(x)$, $x^2=0$, lies on the $(+)$-direction of the LC, whereas another light degree of freedom $\phi'(x')$, $x'^2=0$ lies on the $(-)$-direction. We show the emergence of new constraints on the distribution amplitudes which parametrize the 3BS in this double-collinear configuration.


title: Formation-of-Arrays Antenna Technology for High-Throughput Mobile Non-Terrestrial Networks

abstract: Effective integration of terrestrial and non-terrestrial segments is one of the key research avenues in the design of current and future wireless communication networks. To this aim, modern communication-satellite constellations intend to attain sufficiently high throughput in terms of bit rate per unit area on the ground by rather aggressive patterns of spatial frequency reuse. This goal calls for on-board narrow-beam antennas, whose size turns out to be in many cases incompatible with the size/mass and accommodation constraints of the hosting satellite. This paper investigates the attainable performance of large distributed arrays of antennas implemented as the ensemble of a few to many simpler sub-antennas of smaller sizes, carried by one (small) satellite each. The sub-antennas can in their turn be implemented like (regular) 2D arrays of simple radiating elements, realizing an overall (distributed) antenna architecture that we call "Formation of Arrays" (FoA). The satellites that implement this radiating architecture need to be relatively close to each other and constitute a formation of flying objects, to be coordinated and controlled as a whole. In this paper, we develop a theoretical analysis of an FoA antenna, and we show how to take advantage of this new technology to improve network throughput in a multi-beam S-band mobile communication network with low-earth or geostationary orbiting satellites directly providing 5G-like communication services to hand-held user terminals.


title: Positivity-hardness results on Markov decision processes

abstract: This paper investigates a series of optimization problems for one-counter Markov decision processes (MDPs) and integer-weighted MDPs with finite state space. Specifically, it considers problems addressing termination probabilities and expected termination times for one-counter MDPs, as well as satisfaction probabilities of energy objectives, conditional and partial expectations, satisfaction probabilities of constraints on the total accumulated weight, the computation of quantiles for the accumulated weight, and the conditional value-at-risk for accumulated weights for integer-weighted MDPs. Although algorithmic results are available for some special instances, the decidability status of the decision versions of these problems is unknown in general. The paper demonstrates that these optimization problems are inherently mathematically difficult by providing polynomial-time reductions from the Positivity problem for linear recurrence sequences. This problem is a well-known number-theoretic problem whose decidability status has been open for decades and it is known that decidability of the Positivity problem would have far-reaching consequences in analytic number theory. So, the reductions presented in the paper show that an algorithmic solution to any of the investigated problems is not possible without a major breakthrough in analytic number theory. The reductions rely on the construction of MDP-gadgets that encode the initial values and linear recurrence relations of linear recurrence sequences. These gadgets can flexibly be adjusted to prove the various Positivity-hardness results.


title: Criticality-Enhanced Quantum Sensing in the Anisotropic Quantum Rabi Model

abstract: Quantum systems that undergo quantum phase transitions exhibit divergent susceptibility and can be exploited as probes to estimate physical parameters. We generalize the dynamic framework for criticality-enhanced quantum sensing by the quantum Rabi model (QRM) to its anisotropic counterpart and derive the correspondingly analytical expressions for the quantum Fisher information (QFI). We find that the contributions of the rotating-wave and counterrotating-wave interaction terms are symmetric at the limit of the infinite ratio of qubit frequency to field frequency, with the QFI reaching a maximum for the isotropic quantum Rabi model. At finite frequency scaling, we analytically derive the inverted variance of higher-order correction and find that it is more affected by the rotating-wave coupling than by the counterrotating-wave coupling.


title: A study of carbon-rich post-AGB stars in the Milky Way to understand the production of carbonaceous dust from evolved stars

abstract: The goal of this study is to reconstruct the evolution and the dust formation processes during the final AGB phases of a sample of carbon-rich, post-AGB Galactic stars, with particular attention to the determination of the past mass-loss history. We study the IR excess of sources classified as single stars by means of dust formation modelling where dust grains form and grow in a static wind and expand from the surface of the star. The method is applied to various evolutionary stages of the final AGB phase of stars with different masses and metallicities. The detailed analysis of the SED of the sources investigated, which included the derivation of the luminosities and the dust properties, is used to infer information on mass loss, efficiency of dust formation, and wind dynamics. We confirm previous results that most of the investigated sources descend from low-mass(M<1.5Msun) progenitors that reached the C-star stage. Metal-poor carbon stars are characterised by higher IR excesses with respect to their more metal-rich counterparts of similar luminosity due to a higher surface carbon-to-oxygen excess. This work confirms previous conclusions that more luminous stars descending from higher-mass progenitors are generally more opaque due to shorter evolutionary timescales that place the dust shell closer to the central object. We also find that the mass-loss rate at the tip of the AGB phase of metal-rich low-mass carbon stars is approximately 1-1.5x10^-5Msun/yr, whereas in the metal-poor domain M~4-5x10^-5Msun/yr is required. These results indicate the need for an upwards revision of the theoretical mass-loss rates of low-mass carbon stars in the available literature, which in turn require a revised determination of carbon dust yields by AGB stars.


title: A Comparative Analysis Of Latent Regressor Losses For Singing Voice Conversion

abstract: Previous research has shown that established techniques for spoken voice conversion (VC) do not perform as well when applied to singing voice conversion (SVC). We propose an alternative loss component in a loss function that is otherwise well-established among VC tasks, which has been shown to improve our model's SVC performance. We first trained a singer identity embedding (SIE) network on mel-spectrograms of singer recordings to produce singer-specific variance encodings using contrastive learning. We subsequently trained a well-known autoencoder framework (AutoVC) conditioned on these SIEs, and measured differences in SVC performance when using different latent regressor loss components. We found that using this loss w.r.t. SIEs leads to better performance than w.r.t. bottleneck embeddings, where converted audio is more natural and specific towards target singers. The inclusion of this loss component has the advantage of explicitly forcing the network to reconstruct with timbral similarity, and also negates the effect of poor disentanglement in AutoVC's bottleneck embeddings. We demonstrate peculiar diversity between computational and human evaluations on singer-converted audio clips, which highlights the necessity of both. We also propose a pitch-matching mechanism between source and target singers to ensure these evaluations are not influenced by differences in pitch register.


title: On the generators of Nil $K$-groups

abstract: In this article, we study higher Nil $K$-groups via binary complexes. More particularly, we exhibit an explicit form of generators of higher Nil $K$-groups in terms of binary complexes.