title: $\delta$-$r$-Hyperideals and $\phi$-$\delta$-$r$-Hyperideals of Commutative Krasner Hyperrings

abstract: In this paper, our purpose is to define the expansion of $r$-hyperideals and extend this concept to $\phi$-$\delta$-$r$-hyperideal. Let $\Re$ be a commutative Krasner hyperring with nonzero identity. Given an expansion $\delta$ of hyperideals, a proper hyperideal $N$ of $\Re$ is called $\delta $-$r$-hyperideal if $a\cdot b\in N$ with $ann(a)=0$ implies that $b\in \delta(N)$, for all $a,b\in\Re$. Therefore, given an expansion $\delta$ of hyperideals and a hyperideal reduction $\phi$, a proper hyperideal $N$ of $\Re$ is called $\phi$-$\delta$-$r$-hyperideal if $a\cdot b\in N-\phi(N)$ with $ann(a)=0$ implies that $b\in\delta(N)$, for all $a,b\in\Re$. We investigate some of their properties and give some examples.


title: New result in NG-Groups

abstract: We investigate and present a new result in NG groups that consisting of consisting of non-bijective transformations cannot be subset of symmetric groups. In this paper, we revive the concepts of NG groups. Moreover, we introduce the definition of regular NG and inverse NG the new concept as new results in these groups. Hover, some properties are studied.


title: Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq

abstract: The logic of bunched implications (BI) is a substructural logic that forms the backbone of separation logic, the much studied logic for reasoning about heap-manipulating programs. Although the proof theory and metatheory of BI are mathematically involved, the formalization of important metatheoretical results is still incipient. In this paper we present a self-contained formalized, in the Coq proof assistant, proof of a central metatheoretical property of BI: cut elimination for its sequent calculus. The presented proof is *semantic*, in the sense that is obtained by interpreting sequents in a particular "universal" model. This results in a more modular and elegant proof than a standard Gentzen-style cut elimination argument, which can be subtle and error-prone in manual proofs for BI. In particular, our semantic approach avoids unnecessary inversions on proof derivations, or the uses of cut reductions and the multi-cut rule. Besides modular, our approach is also robust: we demonstrate how our method scales, with minor modifications, to (i) an extension of BI with an arbitrary set of \emph{simple structural rules}, and (ii) an extension with an S4-like $\Box$ modality.


title: Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups

abstract: In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a finite quasigroup. \par Further, we propose a binary operation using arithmetic of finite fields to construct quasigroups of order $p^r$. We develop the criteria under which these quasigroups have desirable cryptographic properties, viz. polynomially completeness and possessing no proper subquasigroups. Then a practical method is given to construct cryptographically suitable quasigroups. We also illustrate these methods by some academic examples and implement all proposed algorithms in the computer algebra system {\sc{Singular}}.


title: N-sociable Heronian Triangles

abstract: A Heronian triangle is a triangle that has integer side lengths and integer area. Praton and Shalqini [1] define amicable Heronian triangles to be two Heronian triangles where the area of one equals the perimeter of the other, and vice versa; analogous to the concept of amicable numbers. In this paper, we generalize this notion to n-sociable Heronian triangles and characterize them for each n.


title: Scattering Signatures of Invasion Percolation

abstract: Motivated by recent experiments, we investigate the scattering properties of percolation clusters generated by numerical simulations on a three dimensional cubic lattice. Individual clusters of given size are shown to present a fractal structure up to a scale of order their extent, even far away from the percolation threshold $p_c$. The influence of inter-cluster correlations on the structure factor of assemblies of clusters selected by an invasion phenomenon is studied in detail. For invasion from bulk germs, we show that the scattering properties are determined by three length scales, the correlation length $\xi$, the average distance between germs $d_g$, and the spatial scale probed by scattering, set by the inverse of the scattering wavevector $Q$. At small scales, we find that the fractal structure of individual clusters is retained, the structure factor decaying as $Q^{-d_f}$. At large scales, the structure factor tends to a limit, set by the smaller of $\xi$ and $d_g$, both below and above $p_c$. We propose approximate expressions reproducing the simulated structure factor for arbitrary $\xi$, $d_g$, and $Q$, and illustrate how they can be used to avoid to resort to costly numerical simulations. For invasion from surfaces, we find that, at $p_c$, the structure factor behaves as $Q^{-d_f}$ at all $Q$, i.e. the fractal structure is retained at arbitrarily large scales. Results away from $p_c$ are compared to the case of bulk germs. Our results can be applied to discuss light or neutrons scattering experiments on percolating systems. This is illustrated in the context of evaporation from porous materials.


title: A Validation Tool for Designing Reinforcement Learning Environments

abstract: Reinforcement learning (RL) has gained increasing attraction in the academia and tech industry with launches to a variety of impactful applications and products. Although research is being actively conducted on many fronts (e.g., offline RL, performance, etc.), many RL practitioners face a challenge that has been largely ignored: determine whether a designed Markov Decision Process (MDP) is valid and meaningful. This study proposes a heuristic-based feature analysis method to validate whether an MDP is well formulated. We believe an MDP suitable for applying RL should contain a set of state features that are both sensitive to actions and predictive in rewards. We tested our method in constructed environments showing that our approach can identify certain invalid environment formulations. As far as we know, performing validity analysis for RL problem formulation is a novel direction. We envision that our tool will serve as a motivational example to help practitioners apply RL in real-world problems more easily.


title: A category-theoretic approach to modeling John Cage's Silent piece

abstract: We derive a schema of John Cage's meta-work the Silent piece from his compositions 4'33'', 0'00''(4'33'' No. 2), and One3, using the mathematics of category theory within Spivak and Kent's (2012) framework of ontological logs for knowledge representation. A category presentation A of a database that describes an instance of 4'33'' from its premiere in 1952 is translated via two functors into the category presentations B (0'00'') and C (One3). A pushout of B and C along A allows for the presentation of the category S (the meta-work the Silent piece), and a discussion of the category's S-specification and fiber order. Finally, we derive a semantics from the fiber in order to reason on persistent spatio-temporal structures of Cage's Silent piece.


title: Non trivial zeros of the Zeta function using the differential equations

abstract: We define the generalized Riemann Zeta function on the critical strip. Using the differential equations, we prove in particular, that for every $\tau\in \mathbb{R}$ there exists at most one point $r\in (0,1)$ such that $\Im\Big((r+i\tau)^{-1}(1+r+i\tau)^{-1}\zeta(r+i\tau) \Big)=0$.


title: Use of Bayesian Optimization to Understand the Structure of Nuclei

abstract: Monte Carlo simulations are widely used in nuclear physics to model experimental systems. In cases where there are significant unknown quantities, such as energies of states, an iterative process of simulating and fitting is often required to describe experimental data. We describe a Bayesian approach to fitting experimental data, designed for data from a $^{12}$Be(d,p) reaction measurement, using simulations made with GEANT4. Q-values from the $^{12}$C(d,p) reaction to well-known states in $^{13}$C are compared with simulations using BayesOpt. The energies of the states were not included in the simulation to reproduce the situation for $^{13}$Be where the states are poorly known. Both cases had low statistics and significant resolution broadening owing to large proton energy losses in the solid deuterium target. Excitation energies of the lowest three excited states in $^{13}$C were extracted to better than 90 keV, paving a way for extracting information on $^{13}$Be.


title: Pestov identities and X-ray tomography on manifolds of low regularity

abstract: We prove that the geodesic X-ray transform is injective on scalar functions and (solenoidally) on one-forms on simple Riemannian manifolds $(M,g)$ with $g \in C^{1,1}$. In addition to a proof, we produce a redefinition of simplicity that is compatible with rough geometry. This $C^{1,1}$-regularity is optimal on the H\"older scale. The bulk of the article is devoted to setting up a calculus of differential and curvature operators on the unit sphere bundle atop this non-smooth structure.


title: Tracing out the Berry curvature dipole and multipoles in second harmonic Hall responses of time-reversal symmetric insulators

abstract: Various nonlinear characteristics of solid states, such as the circular photogalvanic effect of time-reversal symmetric insulators, the quantized photogalvanic effect of Weyl semimetals, and the nonlinear Hall effect of time-reversal symmetric metals, have been associated with the Berry curvature dipole (BCD). Here, we explore the question of whether the Berry curvature dipole and multipoles of time-reversal symmetric insulators can be traced in the nonlinear optical responses. We performed real-time time-dependent density functional theory calculations and examined the second harmonic generation susceptibility tensors. The two-band term of the susceptibility tensor is sharply proportional to the interband BCD, dominating over the Hall response once the cancellation effect of the multiple reflection symmetries is lifted. We suggest that the nonlinear Hall component of the second-harmonic spectra of insulators can also be utilized as an effective tool to extract the band structure geometry through Berry curvature dipole and possibly multipoles.


title: Connection between water's dynamical and structural properties: insights from ab initio simulations

abstract: Among all fluids, water has always been of special concern for scientists from a broad variety of research fields due to its rich behavior. In particular, some questions remain unanswered nowadays concerning the temperature dependence of bulk and interfacial transport properties of supercooled and liquid water, e.g. regarding the fundamentals of the violation of the Stokes-Einstein relation in the supercooled regime or the subtle relation between structure and dynamical properties. Here we investigated the temperature dependence of the bulk transport properties from ab initio molecular dynamics based on density functional theory, down to the supercooled regime. We determined from a selection of functionals, that SCAN better describes the experimental viscosity and self-diffusion coefficient, although we found disagreements at the lowest temperatures. For a limited set of temperatures, we also explored the role of nuclear quantum effects on water dynamics using ab initio molecular dynamics that has been accelerated via a recently introduced machine learning approach. We then investigated the molecular mechanisms underlying the different functionals performance and assessed the validity of the Stokes-Einstein relation. We also explored the connection between structural properties and the transport coefficients, verifying the validity of the excess entropy scaling relations for all the functionals. These results pave the way to predict the transport coefficients from the radial distribution function, helping to develop better functionals. On this line, they indicate the importance of describing the long-range features of the radial distribution function.


title: Representations of Some Associative Pseudoalgebras

abstract: In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.


title: Conformational ensembles of intrinsically disordered proteins and flexible multidomain proteins

abstract: Intrinsically disordered proteins (IDPs) and multidomain proteins with flexible linkers show a high level of structural heterogeneity and are best described by ensembles consisting of multiple conformations with associated thermodynamic weights. Determining conformational ensembles usually involves integration of biophysical experiments and computational models. In this review, we discuss current approaches to determining conformational ensembles of IDPs and multidomain proteins, including the choice of biophysical experiments, computational models used to sample protein conformations, models to calculate experimental observables from protein structure, and methods to refine ensembles against experimental data. We also provide examples of recent applications of integrative conformational ensemble determination to study IDPs and multidomain proteins and suggest future directions for research in the field.


title: Improving Productivity through Corporate Hackathons: A Multiple Case Study of Two Large-scale Agile Organizations

abstract: Software development companies organize hackathons to encourage innovation. Despite many benefits of hackathons, in large-scale agile organizations where many teams work together, stopping the ongoing work results in a significant decrease in the immediate output. Motivated by the need to understand whether and how to run hackathons, we investigated how the practice affects productivity on the individual and organizational levels. By mapping the benefits and challenges to an established productivity framework, we found that hackathons improve developers' satisfaction and well-being, strengthen the company culture, improve performance (as many ideas are tested), increase activity (as the ideas are developed quickly), and improve communication and collaboration (because the social network is strengthened). Addressing managerial concerns, we found that hackathons also increase efficiency and flow because people learn to complete work and make progress quickly, and they build new competence. Finally, with respect to virtual hackathons we found that developers work more in isolation because tasks are split between team members resulting in less collaboration. This means that some important, expected hackathon values in virtual contexts require extra effort and cannot be taken for granted.


title: Sensitivity Analysis of Domain Decomposition method for 4D Variational Data Assimilation (DD-4DVAR DA)

abstract: We prove consistence, convergence and stability of the Domain Decomposition in space and time method of 4DVAR Data Assimilation problem. We introduce the condition number of the problem and validate the theoretical analysis through numerical results


title: Smarandache Ruled Surfaces According to Bishop Frame in E3

abstract: This paper introduces new ruled surfaces according to Bishop frame by referring to the main idea of Smarandache geometry. The fundamental forms and the corresponding curvatures are provided to put forth some characteristics of each surface. Finally, an example is given to illustrate the constructed surfaces.


title: Global convergence of ResNets: From finite to infinite width using linear parameterization

abstract: Overparametrization is a key factor in the absence of convexity to explain global convergence of gradient descent (GD) for neural networks. Beside the well studied lazy regime, infinite width (mean field) analysis has been developed for shallow networks, using on convex optimization technics. To bridge the gap between the lazy and mean field regimes, we study Residual Networks (ResNets) in which the residual block has linear parametrization while still being nonlinear. Such ResNets admit both infinite depth and width limits, encoding residual blocks in a Reproducing Kernel Hilbert Space (RKHS). In this limit, we prove a local Polyak-Lojasiewicz inequality. Thus, every critical point is a global minimizer and a local convergence result of GD holds, retrieving the lazy regime. In contrast with other mean-field studies, it applies to both parametric and non-parametric cases under an expressivity condition on the residuals. Our analysis leads to a practical and quantified recipe: starting from a universal RKHS, Random Fourier Features are applied to obtain a finite dimensional parameterization satisfying with high-probability our expressivity condition.


title: How stickiness can speed up diffusion in confined systems

abstract: The paradigmatic model for heterogeneous media used in diffusion studies is built from reflecting obstacles and surfaces. It is well known that the crowding effect produced by these reflecting surfaces slows the dispersion of Brownian tracers. Here, using a general adsorption desorption model with surface diffusion, we show analytically that making surfaces or obstacles attractive can accelerate dispersion. In particular, we show that this enhancement of diffusion can exist even when the surface diffusion constant is smaller than that in the bulk. Even more remarkably, this enhancement effect occurs when the effective diffusion constant, when restricted to surfaces only, is lower than the effective diffusivity with purely reflecting boundaries. We give analytical formulas for this intriguing effect in periodic arrays of spheres as well as undulating micro-channels. Our results are confirmed by numerical calculations and Monte Carlo simulations.


title: Error Diagnosis of Deep Monocular Depth Estimation Models

abstract: Estimating depth from a monocular image is an ill-posed problem: when the camera projects a 3D scene onto a 2D plane, depth information is inherently and permanently lost. Nevertheless, recent work has shown impressive results in estimating 3D structure from 2D images using deep learning. In this paper, we put on an introspective hat and analyze state-of-the-art monocular depth estimation models in indoor scenes to understand these models' limitations and error patterns. To address errors in depth estimation, we introduce a novel Depth Error Detection Network (DEDN) that spatially identifies erroneous depth predictions in the monocular depth estimation models. By experimenting with multiple state-of-the-art monocular indoor depth estimation models on multiple datasets, we show that our proposed depth error detection network can identify a significant number of errors in the predicted depth maps. Our module is flexible and can be readily plugged into any monocular depth prediction network to help diagnose its results. Additionally, we propose a simple yet effective Depth Error Correction Network (DECN) that iteratively corrects errors based on our initial error diagnosis.


title: An Embarrassingly Pragmatic Introduction to Vision-based Autonomous Robots

abstract: Autonomous robots are currently one of the most popular Artificial Intelligence problems, having experienced significant advances in the last decade, from Self-driving cars and humanoids to delivery robots and drones. Part of the problem is to get a robot to emulate the perception of human beings, our sense of sight, replacing the eyes with cameras and the brain with mathematical models such as Neural Networks. Developing an AI able to drive a car without human intervention and a small robot to deliver packages in the city may seem like different problems, nevertheless from the point of view of perception and vision, both problems have several similarities. The main solutions we currently find focus on the environment perception through visual information using Computer Vision techniques, Machine Learning, and various algorithms to make the robot understand the environment or scene, move, adapt its trajectory and perform its tasks (maintenance, exploration, etc.) without the need for human intervention. In this work, we develop a small-scale autonomous vehicle from scratch, capable of understanding the scene using only visual information, navigating through industrial environments, detecting people and obstacles, or performing simple maintenance tasks. We review the state-of-the-art of fundamental problems and demonstrate that many methods employed at small-scale are similar to the ones employed in real Self-driving cars from companies like Tesla or Lyft. Finally, we discuss the current state of Robotics and autonomous driving and the technological and ethical limitations that we can find in this field.


title: New Post-AGB star models as tools to understand AGB evolution and nucleosynthesis

abstract: We study a sample of post-AGB stars in the Galaxy, with known surface chemical composition and s-process enrichment. The recent determination of the luminosities of these sources, based on Gaia parallaxes, allows for the fist time a deep investigation of Galactic post-AGB stars, with the possibility of characterising the individual objects in terms of mass, chemical composition and age of the progenitors. To this aim we used available evolutionary sequences of AGB stars, extended to the post-AGB phase, complemented by new models, specifically calculated for the present study. The combined knowledge of the surface carbon and of the luminosity proves the most valuable indicator of the previous history of the star, particularly for what regards the efficiency of the various mechanisms able to alter the surface chemical composition and the growth of the core mass. This kind of analysis allows dissecting different classes of stars, such as low-mass objects, that evolved as M-type stars for the whole AGB lifetime, carbon stars, massive AGB stars that experienced hot bottom burning. The potentialities of this approach to shed new light on still debated issues related to the AGB evolution are also commented.


title: Rapid manufacturing of color-based hemispherical soft tactile fingertips

abstract: Tactile sensing can provide access to information about the contact (i.e. slippage, surface feature, friction), which is out of reach of vision but crucial for manipulation. To access this information, a dense measurement of the deformation of soft fingertips is necessary. Recently, tactile sensors that rely on a camera looking at a deformable membrane have demonstrated that a dense measurement of the contact is possible. However, their manufacturing can be time-consuming and labor-intensive. Here, we show a new design method that uses multi-color additive manufacturing and silicone casting to efficiently manufacture soft marker-based tactile sensors that are able to capture with high-resolution the three-dimensional deformation field at the interface. Each marker is composed of two superimposed color filters. The subtractive color mixing encodes the normal deformation of the membrane, and the lateral deformation is found by centroid detection. With this manufacturing method, we can reach a density of 400 markers on a 21 mm radius hemisphere, allowing for regular and dense measurement of the deformation. We calibrated and validated the approach by finding the curvature of objects with a threefold increase in accuracy as compared to previous implementations. The results demonstrate a simple yet effective approach to manufacturing artificial fingertips for capturing a rich image of the tactile interaction at the location of contact.


title: From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats

abstract: The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$. We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them.


title: First Lattice QCD Study of Proton Twist-3 GPDs

abstract: We present first results on selected twist-3 quark GPDs using the quasi-distribution method. This approach relates lattice QCD data and light-cone distribution functions using Large Momentum Effective Theory (LaMET). We calculate quark-antiquark correlators of boosted nucleons coupled to non-local operators with vector and axial Dirac structure, which is transverse to the momentum boost. We use three values of the momentum boost, namely 0.83, 1.25, 1.67 GeV. The GPDs are defined in the symmetric (Breit) frame, which we implement here with 4-vector momentum transfer squared of 0, 0.69 and 1.39 GeV 2 , all at zero skewness. The calculation is performed using one ensemble of two degenerate light, a strange and a charm quark ($N_f$ = 2 + 1 + 1) of maximally twisted mass fermions with a clover term, corresponding to a pion mass of 260 MeV.


title: Spaces of Besov-Sobolev type and a problem on nonlinear approximation

abstract: We study fractional variants of the quasi-norms introduced by Brezis, Van Schaftingen, and Yung in the study of the Sobolev space $\dot W^{1,p}$. The resulting spaces are identified as a special class of real interpolation spaces of Sobolev-Slobodecki\u{\i} spaces. We establish the equivalence between Fourier analytic definitions and definitions via difference operators acting on measurable functions. We prove various new results on embeddings and non-embeddings, and give applications to harmonic and caloric extensions. For suitable wavelet bases we obtain a characterization of the approximation spaces for best $n$-term approximation from a wavelet basis via smoothness conditions on the function; this extends a classical result by DeVore, Jawerth and Popov.


title: Catalytic Gaussian thermal operations

abstract: We examine the problem of state transformations in the framework of Gaussian thermal resource theory in the presence of catalysts. To this end, we introduce an expedient parametrisation of covariance matrices in terms of principal mode temperatures and asymmetries, and consider both weak and strong catalytic scenarios. We show that strong catalysts (where final correlations with the system are forbidden) are useless for the single mode case, in that they do not expand the set of states reachable from a given initial state through Gaussian thermal operations. We then go on to prove that weak catalysts (where final correlations with the system are allowed) are instead capable of reaching more final system states, and determine exact conditions for state transformations of a single-mode in their presence. Next, we derive necessary conditions for Gaussian thermal state transformations holding for any number of modes, for strong catalysts and approximate transformations, and for weak catalysts with and without the addition of a thermal bath. We discuss the implications of these results for devices operating with Gaussian elements.


title: Quantum integrability of a massive anisotropic SU(N) fermionic model

abstract: We consider a general anisotropic massive SU(N) fermionic model, and investigate its quantum integrability. In particular, by regularizing singular operator products, we derive a system of equations resulting in the S-matrix and find some non-trivial solutions. We illustrate our findings on the example of a SU(3) model, and show that the Yang-Baxter equation is satisfied in the massless limit for all coupling constants, while in the massive case the solutions are parameterized in terms of the exceptional solutions to the eight-vertex model.


title: Flickering around the outburst cycle in Kepler dwarf novae

abstract: Taking advantage of the unparallel quantity and quality of high cadence Kepler light curves of several dwarf novae, the strength of the flickering and the high frequency spectral index of their power spectra are investigated as a function of magnitude around the outburst cycle of these systems. Previous work suggesting that the flickering strength (on a magnitude scale) is practically constant above a given brightness threshold and only rises at fainter magnitudes is confirmed for most of the investigated systems. As a new feature, a hysteresis in the flickering strength is seen in the sense that at the same magnitude level flickering is stronger during decline from outburst than during the rise. A similar hysteresis is also seen in the spectral index. In both cases, it can qualitatively be explained under plausible assumptions within the DIM model for dwarf nova outbursts.


title: On the density regime probed by HCN emission

abstract: HCN J$\, =\,$1$\, -\,$0 emission is commonly used as a dense gas tracer, thought to mainly arise from gas with densities $\mathrm{\sim 10^4\ -\ 10^5\ cm^{-3}}$. This has made it a popular tracer in star formation studies. However, there is increasing evidence from observational surveys of `resolved' molecular clouds that HCN can trace more diffuse gas. We investigate the relationship between gas density and HCN emission through post-processing of high resolution magnetohydrodynamical simulations of cloud-cloud collisions. We find that HCN emission traces gas with a mean volumetric density of $\mathrm{\sim 3 \times 10^3\ cm^{-3}}$ and a median visual extinction of $\mathrm{\sim 5\ mag}$. We therefore predict a characteristic density that is an order of magnitude less than the "standard" characteristic density of $\mathrm{n \sim 3 \times 10^4\ cm^{-3}}$. Indeed, we find in some cases that there is clear HCN emission from the cloud even though there is no gas denser than this standard critical density. We derive luminosity-to-mass conversion factors for the amount of gas at $A_{\rm V} > 8$ or at densities $n > 2.85 \times 10^{3} \: {\rm cm^{-3}}$ or $n > 3 \times 10^{4} \: {\rm cm^{-3}}$, finding values of $\alpha_{\rm HCN} = 6.79, 8.62$ and $27.98 \: {\rm M_{\odot}} ({\rm K \, km \, s^{-1} \, pc^{2}})$, respectively. In some cases, the luminosity to mass conversion factor predicted mass in regions where in actuality there contains no mass.


title: Optimization and uncertainty quantification model for time-continuous geothermal energy extraction undergoing re-injection

abstract: Geothermal field modeling is often associated with uncertainties related to the subsurface static properties and the dynamics of fluid flow and heat transfer. Uncertainty quantification using simulations is a useful tool to design optimum field-development and to guide decision-making. The optimization process includes assessments of multiple time-dependent flow mechanisms, which are functions of operational parameters subject to subsurface uncertainties. This process requires careful determination of the parameter ranges, dependencies, and their probabilistic distribution functions. This study presents a new approach to assess time-dependent predictions of thermal recovery and produced-enthalpy rates, including uncertainty quantification and optimization. We use time-continuous and multi-objective uncertainty quantification for geothermal recovery, undergoing a water re-injection scheme. The ranges of operational and uncertainty parameters are determined from a collected database, including 135 geothermal fields worldwide. The uncertainty calculation is conducted non-intrusively, based on a workflow that couples low-fidelity models with Monte Carlo analysis. Full-physics reservoir simulations are used to construct and verify the low-fidelity models. The sampling process is performed with Design of Experiments, enhanced with space-filling, and combined with analysis of covariance to capture parameter dependencies. The predicted thermal recovery and produced-enthalpy rates are then evaluated as functions of the significant uncertainty parameters based on dimensionless groups. The workflow is applied for various geothermal fields to assess their optimum well-spacing in their well configuration. This approach offers an efficient and robust workflow for time-continuous uncertainty quantification and global sensitivity analysis applied for geothermal field modeling and optimization.


title: Combined Dissipative and Hamiltonian Confinement of Cat Qubits

abstract: Quantum error correction with biased-noise qubits can drastically reduce the hardware overhead for universal and fault-tolerant quantum computation. Cat qubits are a promising realization of biased-noise qubits as they feature an exponential error bias inherited from their non-local encoding in the phase space of a quantum harmonic oscillator. To confine the state of an oscillator to the cat qubit manifold, two main approaches have been considered so far: a Kerr-based Hamiltonian confinement with high gate performances, and a dissipative confinement with robust protection against a broad range of noise mechanisms. We introduce a new combined dissipative and Hamiltonian confinement scheme based on two-photon dissipation together with a Two-Photon Exchange (TPE) Hamiltonian. The TPE Hamiltonian is similar to Kerr nonlinearity, but unlike the Kerr it only induces a bounded distinction between even- and odd-photon eigenstates, a highly beneficial feature for protecting the cat qubits with dissipative mechanisms. Using this combined confinement scheme, we demonstrate fast and bias-preserving gates with drastically improved performance compared to dissipative or Hamiltonian schemes. In addition, this combined scheme can be implemented experimentally with only minor modifications of existing dissipative cat qubit experiments.


title: Hybrid stars from a constrained equation of state

abstract: We determine, within a meta-model, the properties of the nuclear matter equation of state (EoS) that allow for a phase transition to deconfinement matter. It is shown that the properties that define the isoscalar channel are the ones that are affected, in particular, a phase transition implies much larger values of the skewness and kurtosis. The effect of multi-quark interaction channels in the description of the quark phase in hybrid stars is also studied. NS properties, such as the mass and radius of the quark core, show an interplay dependence between the 8-quark vector and the 4-quark isovector-vector interactions. We show that low mass NS, $M\sim 1.4 M_\odot$, may already contain a quark core, and satisfy all existing NS observational constraints. We discuss the strangeness content of the quark core and its influence on the speed of sound.


title: PACMAN: PAC-style bounds accounting for the Mismatch between Accuracy and Negative log-loss

abstract: The ultimate performance of machine learning algorithms for classification tasks is usually measured in terms of the empirical error probability (or accuracy) based on a testing dataset. Whereas, these algorithms are optimized through the minimization of a typically different--more convenient--loss function based on a training set. For classification tasks, this loss function is often the negative log-loss that leads to the well-known cross-entropy risk which is typically better behaved (from a numerical perspective) than the error probability. Conventional studies on the generalization error do not usually take into account the underlying mismatch between losses at training and testing phases. In this work, we introduce an analysis based on point-wise PAC approach over the generalization gap considering the mismatch of testing based on the accuracy metric and training on the negative log-loss. We label this analysis PACMAN. Building on the fact that the mentioned mismatch can be written as a likelihood ratio, concentration inequalities can be used to provide some insights for the generalization problem in terms of some point-wise PAC bounds depending on some meaningful information-theoretic quantities. An analysis of the obtained bounds and a comparison with available results in the literature are also provided.


title: TechRank: A Network-Centrality Approach for Informed Cybersecurity-Investment

abstract: The cybersecurity technological landscape is a complex ecosystem in which entities -- such as companies and technologies -- influence each other in a non-trivial manner. Measuring the influence between entities is a tenet for informed technological investments in critical infrastructure. To study the mutual influence of companies and technologies from the cybersecurity field, we consider a bi-partite graph that links both sets of entities. Each node in this graph is weighted by applying a recursive algorithm based on the method of reflection. This endeavor helps to measure the impact of an entity on the cybersecurity market. Our results help researchers measure more precisely the magnitude of influence of each entity, and allows decision-makers to devise more informed investment strategies, according to their portfolio preferences. Finally, a research agenda is suggested, with the aim of allowing tailor-made investments by arbitrarily calibrating specific features of both types of entities.


title: Combining Design Thinking and Software Requirements Engineering to create Human-centered Software-intensive Systems

abstract: Effective Requirements Engineering is a crucial activity in softwareintensive development projects. The human-centric working mode of Design Thinking is considered a powerful way to complement such activities when designing innovative systems. Research has already made great strides to illustrate the benefits of using Design Thinking for Requirements Engineering. However, it has remained mostly unclear how to actually realize a combination of both. In this chapter, we contribute an artifact-based model that integrates Design Thinking and Requirements Engineering for innovative software-intensive systems. Drawing from our research and project experiences, we suggest three strategies for tailoring and integrating Design Thinking and Requirements Engineering with complementary synergies.


title: Reduction of Hyperelliptic Curves in Characteristic $\not=2$

abstract: Let $K$ be the quotient field of a discrete valuation ring $R$ with residue characteristic $\not=2$, and let $C$ be a hyperelliptic curve over $K$. We assume that all geometric branch points of the double covering $C\twoheadrightarrow{\mathbb P}^1_K$ are rational and mark both $C$ and ${\mathbb P}^1_K$ with these branch points. After possibly replacing $R$ by a ramified extension of degree $2$, we give a direct construction for the stable model of $C$ as a marked curve over $R$. We deduce that the closed fiber of this stable model is determined completely by the closed fiber of the stable model of the marked ${\mathbb P}^1_K$. In particular, the dual graph and other information for the former can be read off directly from the corresponding information for the latter.


title: Determination of the symmetry energy from the neutron star equation of state

abstract: We analyze the uncertainties introduced in the determination of the neutron star matter proton fraction, in a range of densities close to the saturation density, if the cold $\beta$-equilibrium neutron star matter equation of state (EoS) is known. In particular, we discuss the effect of neglecting the muon contribution and of considering that the energy density of nuclear matter is well described by taking only terms until second order in the proton-neutron asymmetry. It is shown that two types of uncertainties may be associated with the extraction of the symmetry energy from the $\beta$-equilibrium equation of state: an overestimation if terms above the parabolic approximation on the asymmetry parameter are neglected, or an underestimation if the muon contribution is not considered. The effect of the uncertainty on the symmetric nuclear matter EoS on the determination of the proton fraction is discussed. It could be shown that the neutron star mass-radius curve is sensitive to the parabolic approximation on the asymmetry parameter.


title: SIC-POVMs from Stark units: Prime dimensions n^2+3

abstract: We propose a recipe for constructing a SIC fiducial vector in complex Hilbert space of dimension of the form $d=n^2+3$, focussing on prime dimensions $d=p$. Such structures are shown to exist in thirteen prime dimensions of this kind, the highest being $p=19603$. The real quadratic base field $K$ (in the standard SIC terminology) attached to such dimensions has fundamental units $u_K$ of norm $-1$. Let $\mathbb{Z}_K$ denote the ring of integers of $K$, then $p\mathbb{Z}_K$ splits into two ideals $\mathfrak{p}$ and $\mathfrak{p}'$. The initial entry of the fiducial is the square $\xi^2$ of a geometric scaling factor $\xi$, which lies in one of the fields $K(\sqrt{u_K})$. Strikingly, the other $p-1$ entries of the fiducial vector are each the product of $\xi$ and the square root of a Stark unit. These Stark units are obtained via the Stark conjectures from the value at $s=0$ of the first derivatives of partial $L$ functions attached to the characters of the ray class group of $\mathbb{Z}_K$ with modulus $\mathfrak{p}\infty_1$, where $\infty_1$ is one of the real places of $K$.


title: An Improved Fractional-Order Active Disturbance Rejection Control: Performance Analysis and Experiment Verification

abstract: This paper presents an improved active disturbance rejection control scheme (IFO-ADRC) with an improved fractional-order extended state observer (IFO-ESO). The structural information of the system is utilized in IFO-ESO rather than buried as in the typical fractional-order extended state observer (FO-ESO) and help significantly improve the performance of IFO-ESO and closed-loop system. Compared with the integer-order active disturbance rejection controller (IO-ADRC), the auxiliary tracking controller of IFO-ADRC has a simpler form and fewer parameters need to be tuned. Frequency-domain analysis shows that IFO-ESO has better performance over the larger frequency band than FO-ESO, and time-domain simulation shows that IFO-ADRC has better transient performance and is more robust against the parameter variations than traditional fractional-order active disturbance rejection controller (FO-ADRC) and IO-ADRC. The IFO-ADRC is applied to permanent magnet synchronous motor (PMSM) servo control system and demonstrates its capability in the real-world application.


title: Using Machine Learning to Find New Density Functionals

abstract: Machine learning has now become an integral part of research and innovation. The field of machine learning density functional theory has continuously expanded over the years while making several noticeable advances. We briefly discuss the status of this field and point out some current and future challenges. We also talk about how state-of-the-art science and technology tools can help overcome these challenges. This draft is a part of the "Roadmap on Machine Learning in Electronic Structure" to be published in Electronic Structure (EST).


title: Shennong: a Python toolbox for audio speech features extraction

abstract: We introduce Shennong, a Python toolbox and command-line utility for speech features extraction. It implements a wide range of well-established state of art algorithms including spectro-temporal filters such as Mel-Frequency Cepstral Filterbanks or Predictive Linear Filters, pre-trained neural networks, pitch estimators as well as speaker normalization methods and post-processing algorithms. Shennong is an open source, easy-to-use, reliable and extensible framework. The use of Python makes the integration to others speech modeling and machine learning tools easy. It aims to replace or complement several heterogeneous software, such as Kaldi or Praat. After describing the Shennong software architecture, its core components and implemented algorithms, this paper illustrates its use on three applications: a comparison of speech features performances on a phones discrimination task, an analysis of a Vocal Tract Length Normalization model as a function of the speech duration used for training and a comparison of pitch estimation algorithms under various noise conditions.


title: Suppression of extreme events and chaos in a velocity-dependent potential system with time-delay feedback

abstract: The foremost aim of this study is to investigate the influence of time-delayed feedback on extreme events in a non-polynomial system with velocity dependent potential. To begin, we investigate the effect of this feedback on extreme events for four different values of the external forcing parameter. Among these four values, in the absence of time-delayed feedback, for two values, the system does not exhibit extreme events and for the other two values, the system exhibits extreme events. On the introduction of time-delayed feedback and varying the feedback strength, we found that extreme events get suppressed as well as get induced. When the feedback is positive, suppression occurs for a larger parameter region whereas in the case of negative feedback it is restricted to the limited parameter region. We confirm our results through Lyapunov exponents, probability density function of peaks, $d_{max}$ plot and two parameter probability plot. Finally, we analyze the changes in the overall dynamics of this system under the influence of time-delayed feedback. We notice that complete suppression of chaos occurs in the considered system for higher values of the time-delayed feedback.


title: Weak approximation for homogeneous spaces over some two-dimensional geometric global fields

abstract: In this article, we study obstructions to weak approximation for connected linear groups and homogeneous spaces with connected or abelian stabilizers over finite extensions of $\mathbb C((x,y))$ or function fields of curves over $\mathbb C((t))$. We show that for connected linear groups, the usual Brauer-Manin obstruction works as in the case of tori. However, this Brauer-Manin obstruction is not enough for homogeneous spaces, as shown by the examples we give. We then construct an obstruction using torsors under quasi-trivial tori that explains the failure of weak-approximation.


title: Universal computation using localized limit-cycle attractors in neural networks

abstract: Neural networks are dynamical systems that compute with their dynamics. One example is the Hopfield model, forming an associative memory which stores patterns as global attractors of the network dynamics. From studies of dynamical networks it is well known that localized attractors also exist. Yet, they have not been used in computing paradigms. Here we show that interacting localized attractors in threshold networks can result in universal computation. We develop a rewiring algorithm that builds universal Boolean gates in a biologically inspired two-dimensional threshold network with randomly placed and connected nodes using collision-based computing. We aim at demonstrating the computational capabilities and the ability to control local limit cycle attractors in such networks by creating simple Boolean gates by means of these local activations. The gates use glider guns, i.e., localized activity that periodically generates "gliders" of activity that propagate through space. Several such gliders are made to collide, and the result of their interaction is used as the output of a Boolean gate. We show that these gates can be used to build a universal computer.

categories: cs.ET cond-mat.dis-nn cs.NE nlin.AO nlin.CD


title: Collaborative Learning over Wireless Networks: An Introductory Overview

abstract: In this chapter, we will mainly focus on collaborative training across wireless devices. Training a ML model is equivalent to solving an optimization problem, and many distributed optimization algorithms have been developed over the last decades. These distributed ML algorithms provide data locality; that is, a joint model can be trained collaboratively while the data available at each participating device remains local. This addresses, to some extend, the privacy concern. They also provide computational scalability as they allow exploiting computational resources distributed across many edge devices. However, in practice, this does not directly lead to a linear gain in the overall learning speed with the number of devices. This is partly due to the communication bottleneck limiting the overall computation speed. Additionally, wireless devices are highly heterogeneous in their computational capabilities, and both their computation speed and communication rate can be highly time-varying due to physical factors. Therefore, distributed learning algorithms, particularly those to be implemented at the wireless network edge, must be carefully designed taking into account the impact of time-varying communication network as well as the heterogeneous and stochastic computation capabilities of devices.


title: Solar Active-Sterile Neutrino Conversion with Atomic Effects at Dark Matter Direct Detection Experiments

abstract: The recent XENON1T excess can be explained by the solar active-sterile neutrino conversion with bound electrons via light mediator. Nevertheless, the atomic effects are usually omitted in the solar neutrino explanations. We systematically establish a second quantization formalism for both bound and ionized electrons to account for the atomic effects. This formalism is of great generality to incorporate various interactions for both neutrino and dark matter scatterings. Our calculation shows that the change in the cross section due to atomic effects can have important impact on the differential cross section. It is necessary to include atomic effects in the low-energy electron recoil signal at dark matter direct detection experiments even for energetic solar neutrinos. With the best-fit values to the XENON1T data, we also project the event rate at PandaX-4T, XENONnT, and LZ experiments.


title: Global Attention Mechanism: Retain Information to Enhance Channel-Spatial Interactions

abstract: A variety of attention mechanisms have been studied to improve the performance of various computer vision tasks. However, the prior methods overlooked the significance of retaining the information on both channel and spatial aspects to enhance the cross-dimension interactions. Therefore, we propose a global attention mechanism that boosts the performance of deep neural networks by reducing information reduction and magnifying the global interactive representations. We introduce 3D-permutation with multilayer-perceptron for channel attention alongside a convolutional spatial attention submodule. The evaluation of the proposed mechanism for the image classification task on CIFAR-100 and ImageNet-1K indicates that our method stably outperforms several recent attention mechanisms with both ResNet and lightweight MobileNet.


title: On the variational method for Euclidean quantum fields in infinite volume

abstract: We investigate the infinite volume limit of the variational description of Euclidean quantum fields introduced in a previous work. Focussing on two dimensional theories for simplicity, we prove in details how to use the variational approach to obtain tightness of $\varphi^4_2$ without cutoffs and a corresponding large deviation principle for any infinite volume limit. Any infinite volume measure is described via a forward--backwards stochastic differential equation in weak form (wFBSDE). Similar considerations apply to more general $P (\varphi)_2$ theories. We consider also the $\exp (\beta \varphi)_2$ model for $\beta^2 < 8 \pi$ (the so called full $L^1$ regime) and prove uniqueness of the infinite volume limit and a variational characterization of the unique infinite volume measure. The corresponding characterization for $P (\varphi)_2$ theories is lacking due to the difficulty of studying the stability of the wFBSDE against local perturbations.


title: D*+: A Risk Aware Platform Agnostic Heterogeneous Path Planner

abstract: This article establishes the novel D$^*_+$, a risk-aware and platform-agnostic heterogeneous global path planner for robotic navigation in complex environments. The proposed planner addresses a fundamental bottleneck of occupancy-based path planners related to their dependency on accurate and dense maps. More specifically, their performance is highly affected by poorly reconstructed or sparse areas (e.g. holes in the walls or ceilings) leading to faulty generated paths outside the physical boundaries of the 3-dimensional space. As it will be presented, D$^*_+$ addresses this challenge with three novel contributions, integrated into one solution, namely: a) the proximity risk, b) the modeling of the unknown space, and c) the map updates. By adding a risk layer to spaces that are closer to the occupied ones, some holes are filled, and thus the problematic short-cutting through them to the final goal is prevented. The novel established D$^*_+$ also provides safety marginals to the walls and other obstacles, a property that results in paths that do not cut the corners that could potentially disrupt the platform operation. D$^*_+$ has also the capability to model the unknown space as risk-free areas that should keep the paths inside, e.g in a tunnel environment, and thus heavily reducing the risk of larger shortcuts through openings in the walls. D$^*_+$ is also introducing a dynamic map handling capability that continuously updates with the latest information acquired during the map building process, allowing the planner to use constant map growth and resolve cases of planning over outdated sparser map reconstructions...


title: Identification of Hip and Knee Joint Impedance During the Swing Phase of Walking

abstract: Knowledge on joint impedance during walking in various conditions is relevant for clinical decision-making and the development of robotic gait trainers, leg prostheses, leg orthotics and wearable exoskeletons. Whereas ankle impedance during walking has been experimentally assessed, knee and hip joint impedance during walking have not been identified yet. Here we developed and evaluated a lower limb perturbator to identify hip, knee and ankle joint impedance during treadmill walking. The lower limb perturbator (LOPER) consists of an actuator connected to the thigh via rods. The LOPER allows to apply force perturbations to a free-hanging leg, while standing on the contralateral leg, with a bandwidth of up to 39 Hz. While walking in minimal impedance mode, the interaction forces between LOPER and the thigh were low (<5 N) and the effect on the walking pattern was smaller than the within-subject variability during normal walking. Using a non-linear multibody dynamical model of swing leg dynamics, the hip, knee and ankle joint impedance were estimated at three time points during the swing phase for nine subjects walking at a speed of 0.5 m/s. The identified model was well able to predict the experimental responses for the hip and knee, since the mean variance accounted (VAF) for was 99% and 96%, respectively. The ankle lacked a consistent response and the mean VAF of the model fit was only 77%, and therefore the estimated ankle impedance was not reliable. The averaged across-subjects stiffness varied between the three time points within 34-66 and 0-3.5 Nm/rad for the hip and knee joint respectively. The damping varied between 1.9-4.6 and 0.02-0.14 Nms/rad for hip and knee respectively. The developed LOPER has a negligible effect on the unperturbed walking pattern and allows to identify hip and knee impedance during the swing phase.


title: On exterior differential systems involving differentials of H\"{o}lder functions

abstract: We study the validity of an extension of Frobenius theorem on integral manifolds for some classes of Pfaff-type systems of partial differential equations involving multidimensional "rough" signals, i.e. "differentials" of given H\"older continuous functions interpreted in a suitable way, similarly to Young Differential Equations in Rough Paths theory. This can be seen as a tool to study solvability of exterior differential systems involving rough differential forms, i.e. the forms involving weak (distributional) derivatives of highly irregular (e.g. H\"older continuous) functions; the solutions (integral manifolds) being also some very weakly regular geometric structures.


title: An Interface between Legacy and Modern Mobile Devices for Digital Identity

abstract: In developing regions a substantial number of users rely on legacy and ultra-low-cost mobile devices. Unfortunately, many of these devices are not equipped to run the standard authentication or identity apps that are available for smartphones. Increasingly, apps that display Quick Response (QR) codes are being used to communicate personal credentials (e.g., Covid-19 vaccination certificates). This paper describes a novel interface for QR code credentials that is compatible with legacy mobile devices. Our solution, which we have released under open source licensing, allows Web Application Enabled legacy mobile devices to load and display standard QR codes. This technique makes modern identity platforms available to previously excluded and economically disadvantaged populations.


title: An Annotation-based Approach for Finding Bugs in Neural Network Programs

abstract: As neural networks are increasingly included as core components of safety-critical systems, developing effective testing techniques specialized for them becomes crucial. The bulk of the research has focused on testing neural-network models; but these models are defined by writing programs, and there is growing evidence that these neural-network programs often have bugs too. This paper presents aNNoTest: an approach to generating test inputs for neural-network programs. A fundamental challenge is that the dynamically-typed languages (e.g., Python) commonly used to program neural networks cannot express detailed constraints about valid function inputs (e.g., matrices with certain dimensions). Without knowing these constraints, automated test-case generation is prone to producing invalid inputs, which trigger spurious failures and are useless for identifying real bugs. To address this problem, we introduce a simple annotation language tailored for concisely expressing valid function inputs in neural-network programs. aNNoTest takes as input an annotated program, and uses property-based testing to generate random inputs that satisfy the validity constraints. In the paper, we also outline guidelines that simplify writing aNNoTest annotations. We evaluated aNNoTest on 19 neural-network programs from Islam et al's survey., which we manually annotated following our guidelines -- producing 6 annotations per tested function on average. aNNoTest automatically generated test inputs that revealed 94 bugs, including 63 bugs that the survey reported for these projects. These results suggest that aNNoTest can be a valuable approach to finding widespread bugs in real-world neural-network programs.


title: Model-based scenario analysis for effective site-specific weed control on grassland sites

abstract: The site-specific management of weeds in grassland is often challenging because different weed control strategies have different trade-offs regarding the required resources and treatment efficiency. So, the question arises whether a wide tractor-based system with section control or a small agricultural robot has a higher weed control performance for a given infestation scenario. For example, a small autonomous robot moving from one weed to the next might have much shorter travel distances (and thus lower energy and time costs) than a tractor-mounted system if the locations of the weeds are relatively isolated across the field. However, if the plants are highly concentrated in small areas so-called clusters, the increased width of the tractor-mounted implement could be beneficial because of shorter travel distances and greater working width. An additional challenge is the fact that there is no complete knowledge of the weed locations. Weeds may not have been detected, for example, due to their growth stage, occlusion by other objects, or misclassification. Weed control strategies must therefore also be evaluated with regard to this issue. Thus, in addition to the driving distance, other metrics are also of interest, such as the number of plants that were actually controlled or the size of the total treatment area. We performed this investigation for the treatment of the toxic Colchicum autumnale, which had been detected in drone images of extensive grassland sites. In addition to real data, we generated and analyzed simulated weed locations using mathematical models of stochastic geometry. These offer the possibility to simulate very different spatial distributions of toxic plant locations. Different treatment strategies were then virtually tested on this data using Monte Carlo simulations and their performance was statistically evaluated.


title: Two-dimensional Ferroelectric Ga2O3 Bilayers with Unusual Strain-engineered Interlayer Interactions

abstract: Two-dimensional (2D) van der Waals (vdW) materials and their bilayers have stimulated enormous interests in fundamental researches and technological applications. Recently, a group of 2D vdW III2-VI3 materials with out-of-plane ferroelectricity have attracted substantial attentions. In this work, the structural, electronic and optical properties of 2D ferroelectric Ga2O3 bilayer system are systematically studied using ab-initio computational method. Intrinsic dipoles of the two freestanding monolayers lead to three distinct dipole models (one ferroelectric and two antiferroelectric models). The stable stacking configurations of ferroelectric and antiferroelectric dipole models can be transferred with polarization reversal transition of the monolayers without additional operation. Interlayer perturbation effects combined with biaxial-strain engineering lead to high tunablility of the electronic and optical properties of the bilayer systems. Surprisingly, the results reveal a phase transition from vdW to ionic interlayer interaction induced by in-plane biaxial tensile strain. Detailed analyses suggest a transition mechanism based on the ionic bonding nature of the Ga2O3 system, involving interlayer rearrangement of anions to compensate the symmetry breaking of the heavily distorted ionic folding configurations. These insights can open new prospects for future experimental synthesis, characterization and application of 2D Ga2O3 atomic-thin layered systems.


title: Stackless Ray-Object Intersections Using Approximate Minimum Weight Triangulations: Results in 2D That Outperform Roped KD-Trees (And Massively Outperform BVHs)

abstract: The kd-tree and Bounding Volume Hierarchy (BVH) are well-known data structures for computing ray-object intersections. Less known is the Constrained Convex Space Partitioning (CCSP), which partitions space and makes the geometric primitives exactly overlap with the boundaries of its cells. Consequently, it is robust against ill-fitting cells that plague methods with axis-aligned cells (kd-tree, BVH) and it permits an efficient, stackless traversal. Within computer graphics, CCSPs have received some attention in both 2D and 3D, but their construction methods were never directly aimed at minimizing their traversal cost -- even having fundamentally opposing goals for Delaunay-type methods. Instead, for an isotropic and translation-invariant ray distribution the traversal cost is minimized by minimizing the weight: the total boundary size of all cells in the structure. We study the 2D case using triangulations as CCSPs and minimize their total edge length using a simulated annealing process that allows for topological changes and varying vertex count. Standard Delaunay-based triangulation techniques show total edge lengths ranging from 10% higher to twice as high as our optimized triangulations for a variety of scenes, with a similar difference in traversal cost when using the triangulations for ray tracing. Compared to a roped kd-tree, our triangulations require less traversal steps for all scenes that we tested and they are robust against the kd-tree's pathological behaviour when geometry becomes misaligned with the world axes. Moreover, the stackless traversal strongly outperforms a BVH, which always requires a top-down descent in the hierarchy. In fact, we show several scenes where the number of traversal operations for our triangulations decreases(!) as the number of geometric primitives $N$ increases, in contrast to the increasing $\log N$ behaviour of a BVH.


title: Sensitivity Analysis of Stochastic Constraint and Variational Systems via Generalized Differentiation

abstract: This paper conducts sensitivity analysis of random constraint and variational systems related to stochastic optimization and variational inequalities. We establish efficient conditions for well-posedness, in the sense of robust Lipschitzian stability and/or metric regularity, of such systems by employing and developing coderivative characterizations of well-posedness properties for random multifunctions and efficiently evaluating coderivatives of special classes of random integral set-valued mappings that naturally emerge in stochastic programming and stochastic variational inequalities.


title: On torque computation in electric machine simulation by harmonic mortar methods

abstract: The use of trigonometric polynomials as Lagrange multipliers in the harmonic mortar method enables an efficient and elegant treatment of relative motion in the stator-rotor coupling of electric machine simulation. Explicit formulas for the torque computation are derived by energetic considerations, and their realization by harmonic mortar finite element and isogemetric analysis discretizations is discussed. Numerical tests are presented to illustrate the theoretical results and demonstrate the potential of harmonic mortar methods for the evaluation of torque ripples.


title: On the link between nuclear star cluster and globular cluster system mass, nucleation fraction and environment

abstract: We present a simple model for the host mass dependence of the galaxy nucleation fraction ($f_{nuc}$), the galaxy's nuclear star cluster (NSC) mass and the mass in its surviving globular clusters ($M_{GC,obs}$). Considering the mass and orbital evolution of a GC in a galaxy potential, we define a critical mass limit ($M_{GC,lim}$) above which a GC can simultaneously in-spiral to the galaxy centre due to dynamical friction and survive tidal dissolution, to build up the NSC. The analytic expression for this threshold mass allows us to model the nucleation fraction for populations of galaxies. We find that the slope and curvature of the initial galaxy size-mass relation is the most important factor (with the shape of the GC mass function a secondary effect) setting the fraction of galaxies that are nucleated at a given mass. The well defined skew-normal $f_{nuc} - M_{gal}$ observations in galaxy cluster populations are naturally reproduced in these models, provided there is an inflection in the {initial} size-mass relation at $M_{gal} \sim 10^{9.5} {\rm M_{\odot}}$. Our analytic model also predicts limits to the $M_{gal} - M_{GC,tot}$ and $M_{gal} - M_{NSC}$ relations which bound the scatter of the observational data. Moreoever, we illustrate how these scaling relations and $f_{nuc}$ vary if the star cluster formation efficiency, GC mass function, galaxy environment or galaxy size-mass relation are altered. Two key predictions of our model are: 1) galaxies with NSC masses greater than their GC system masses are more compact at fixed stellar mass, and 2) the fraction of nucleated galaxies at fixed galaxy mass is higher in denser environments. That a single model framework can reproduce both the NSC and GC scaling relations provides strong evidence that GC in-spiral is an important mechanism for NSC formation.


title: Linearity and indiscreteness of amalgamated products of hyperbolic groups

abstract: We discuss the linearity and discreteness of amalgamated products of linear word-hyperbolic groups. In particular, we prove that the double of an Anosov group along a maximal cyclic subgroup is always linear, and we construct examples of such groups which do not admit any discrete and faithful representation in rank 1. We also build new examples of non-linear word-hyperbolic groups, elaborating on a previous work of Canary--Stover--Tsouvalas.


title: Paradigms of Computational Agency

abstract: Agent-based models have emerged as a promising paradigm for addressing ever increasing complexity of information systems. In its initial days in the 1990s when object-oriented modeling was at its peak, an agent was treated as a special kind of "object" that had a persistent state and its own independent thread of execution. Since then, agent-based models have diversified enormously to even open new conceptual insights about the nature of systems in general. This paper presents a perspective on the disparate ways in which our understanding of agency, as well as computational models of agency have evolved. Advances in hardware like GPUs, that brought neural networks back to life, may also similarly infuse new life into agent-based models, as well as pave the way for advancements in research on Artificial General Intelligence (AGI).


title: GPU-accelerated image alignment for object detection in industrial applications

abstract: This research proposes a practical method for detecting featureless objects by using image alignment approach with a robust similarity measure in industrial applications. This similarity measure is robust against occlusion, illumination changes and background clutter. The performance of the proposed GPU (Graphics Processing Unit) accelerated algorithm is deemed successful in experiments of comparison between both CPU and GPU implementations


title: Towards autonomous artificial agents with an active self: modeling sense of control in situated action

abstract: In this paper we present a computational modeling account of an active self in artificial agents. In particular we focus on how an agent can be equipped with a sense of control and how it arises in autonomous situated action and, in turn, influences action control. We argue that this requires laying out an embodied cognitive model that combines bottom-up processes (sensorimotor learning and fine-grained adaptation of control) with top-down processes (cognitive processes for strategy selection and decision-making). We present such a conceptual computational architecture based on principles of predictive processing and free energy minimization. Using this general model, we describe how a sense of control can form across the levels of a control hierarchy and how this can support action control in an unpredictable environment. We present an implementation of this model as well as first evaluations in a simulated task scenario, in which an autonomous agent has to cope with un-/predictable situations and experiences corresponding sense of control. We explore different model parameter settings that lead to different ways of combining low-level and high-level action control. The results show the importance of appropriately weighting information in situations where the need for low/high-level action control varies and they demonstrate how the sense of control can facilitate this.


title: Quantum limits to polarization measurement of classical light

abstract: Polarization of light is one of the fundamental concepts in optics. There are many ways to measure and characterise this feature of light but at the fundamental level it is quantum mechanics that imposes ultimate limits to such measurements. Here, I calculate the quantum limit to a precision of a polarization measurement of classical coherent light. This is a multiparameter estimation problem with a crucial feature of noncommuting optimal observables corresponding to each parameter which prohibits them to be measured at the same time. I explicitly minimize the quantum Holevo-Cramer-Rao bound which tackles this issue and show that it can be locally saturated by two types of conventional receivers.


title: Solving degree, last fall degree, and related invariants

abstract: In this paper we study and relate several invariants connected to the solving degree of a polynomial system. This provides a rigorous framework for estimating the complexity of solving a system of polynomial equations via Groebner bases methods. Our main results include a connection between the solving degree and the last fall degree and one between the degree of regularity and the Castelnuovo-Mumford regularity.


title: Tolerances on posets

abstract: The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may overlap and hence in general the set of all blocks of a tolerance cannot be converted into a quotient algebra in the same way as in the case of congruences. However, G. Cz\'edli showed that lattices can be factorized by means of tolerances in a natural way, and J. Grygiel and S. Radelecki proved some variant of an Isomorphism Theorem for tolerances on lattices. The aim of the present paper is to extend the concept of a tolerance on a lattice to posets in such a way that results similar to those obtained for tolerances on lattices can be derived.


title: Student Representations of Computation in the Physics Community

abstract: Undergraduate physics education has greatly benefited from the introduction of computational activities. However, despite the benefits computation has delivered, we still lack a complete understanding of the computationally integrated learning experience from the student perspective. In particular, we are interested in investigating how students develop expert-like perceptions of computation as a practice within the professional physics community. To investigate this aspect of student development, we employ the Communities of Practice framework, which describes how students navigate through a professional community by appropriating the community's practices and goals as personally important. We introduce the construct of a COP-Model as a student's internal representation of a professional community that they develop as they navigate that community. We used this construct to formulate a set of research questions and semistructured interview protocols to explore how five physics students represent the use of computation in their mental models of the global physics community. We foreground these representations in the local academic community established by their instructors in three concurrent computationally integrated physics courses. We find that these students saw computation as a normal and valuable part of physics practice, identified benefits of using computation in alignment with the physics community, struggle with confidence with regards to computation, and demonstrate some expectations for computational proficiency that are misaligned with the physics community. We establish these themes with interview excerpts and discuss implications for instruction and future research.


title: A Legendre spectral viscosity (LSV) method applied to shock capturing for high-order flux-reconstruction schemes

abstract: A novel approach to shock capturing for high-order flux reconstruction schemes is derived based on the mathematical formalism of the filtered governing equations. While the latter perspective is only typically used for turbulence modeling in the context of Large-Eddy Simulations (LES), the novel Legendre Spectral Viscosity (LSV) sub-filter scale (SFS) closure model is capable of performing simulations in the presence of shock-discontinuities. The LSV method exploits the set of hierarchical basis functions formed by the Legendre polynomials to extract the information on the energy content near the resolution limit and estimate the overall magnitude of the required SFS dissipative terms, resulting in a scheme that dynamically activates only in cells where nonlinear behavior is important. Additionally, the modulation of such terms in the Legendre spectral space allows for the concentration of the dissipative action at small scales. The proposed method is tested in canonical shock-dominated flow setups in both one and two dimensions. These include the 1D Burgers' problem, a 1D shock tube, a 1D shock-entropy wave interaction, a 2D inviscid shock-vortex interaction and a 2D double Mach reflection. Results showcase a high-degree of resolution power, achieving accurate results with a small number of degrees of freedom, and robustness, being able to capture shocks associated with the Burgers' equation and the 1D shock tube within a single cell with orders 120 and higher.


title: Validation design I: construction of validation designs via kernel herding

abstract: We construct validation designs $Z_m$ aimed at estimating the integrated squared prediction error of a given design $X_n$. Our approach is based on the minimization of a maximum mean discrepancy for a particular kernel, conditional on $X_n$, so that sequences of nested validation designs can be constructed incrementally by kernel herding. Numerical experiments show that key features for a good validation design are its space-filling properties, in order to fill the holes left by $X_n$ and properly explore the whole design space, and the suitable weighting of its points, since evaluations far from $X_n$ tend to overestimate the global error. A dedicated weighting method, based on a particular kernel, is proposed. Numerical simulations with random functions show the superiority the method over more traditional validation based on random designs, low-discrepancy sequences, or leave-one-out cross validation.


title: Four-loop scattering amplitudes through the loop-tree duality

abstract: A general outlook is presented on the study of multiloop topologies appearing for the first time at four loops. A unified description and representation of this family is provided, the so-called N$^4$MLT universal topology. Based on the Loop-Tree Duality framework, we discuss the dual opening of this family and expose the relevance of a causal representation. We explore an alternative procedure for the search of causal singular configurations of selected N$^4$MLT Feynman diagrams through the application of a modified Grover's quantum algorithm.


title: Discrete neural representations for explainable anomaly detection

abstract: The aim of this work is to detect and automatically generate high-level explanations of anomalous events in video. Understanding the cause of an anomalous event is crucial as the required response is dependant on its nature and severity. Recent works typically use object or action classifier to detect and provide labels for anomalous events. However, this constrains detection systems to a finite set of known classes and prevents generalisation to unknown objects or behaviours. Here we show how to robustly detect anomalies without the use of object or action classifiers yet still recover the high level reason behind the event. We make the following contributions: (1) a method using saliency maps to decouple the explanation of anomalous events from object and action classifiers, (2) show how to improve the quality of saliency maps using a novel neural architecture for learning discrete representations of video by predicting future frames and (3) beat the state-of-the-art anomaly explanation methods by 60\% on a subset of the public benchmark X-MAN dataset.


title: Global Classical Solutions to the Compressible Navier-Stokes Equations with Slip Boundary Conditions in 3D Exterior Domains

abstract: We are concerned with the global existence of classical solutions to the barotropic compressible Navier-Stokes equations with slip boundary condition in a three-dimensional (3D) exterior domain. We demonstrate that the classical solutions exists globally in time provided that the initial total energy is suitably small. It is worth noting that the initial density is allowed to have large oscillations and contain vacuum states. For our purpose, some new techniques and methods are adopted to obtain necessary a priori estimates, especially the estimates on the boundary. Moveover, we also give the large-time behavior of the classical solutions what we have gotten.


title: Unified Multimodal Pre-training and Prompt-based Tuning for Vision-Language Understanding and Generation

abstract: Most existing vision-language pre-training methods focus on understanding tasks and use BERT-like objectives (masked language modeling and image-text matching) during pretraining. Although they perform well in many understanding downstream tasks, e.g., visual question answering, image-text retrieval and visual entailment, they do not possess the ability to generate. To tackle this problem, we propose Unified multimodal pre-training for both Vision-Language understanding and generation (UniVL). The proposed UniVL is capable of handling both understanding tasks and generative tasks. We augment existing pretraining paradigms that only use random masks with causal masks, i.e., triangular masks that mask out future tokens, such that the pre-trained models can have autoregressive generation abilities by design. We formulate several previous understanding tasks as a text generation task and propose to use prompt-based method for fine-tuning on different downstream tasks. Our experiments show that there is a trade-off between understanding tasks and generation tasks while using the same model, and a feasible way to improve both tasks is to use more data. Our UniVL framework attains comparable performance to recent vision-language pre-training methods on both understanding tasks and generation tasks. Moreover, we demostrate that prompt-based finetuning is more data-efficient - it outperforms discriminative methods in few-shot scenarios.


title: Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models

abstract: Deep learning (DL) models, especially those large-scale and high-performance ones, can be very costly to train, demanding a great amount of data and computational resources. Unauthorized reproduction of DL models can lead to copyright infringement and cause huge economic losses to model owners. Existing copyright protection techniques are mostly based on watermarking, which embeds an owner-specified watermark into the model. While being able to provide exact ownership verification, these techniques are 1) invasive, as they need to tamper with the training process, which may affect the utility or introduce new security risks; 2) prone to adaptive attacks that attempt to remove the watermark; and 3) not robust to the emerging model extraction attacks. Latest fingerprinting work, though being non-invasive, also falls short when facing the diverse and ever-growing attack scenarios. In this paper, we propose a novel testing framework for DL copyright protection: DEEPJUDGE. DEEPJUDGE quantitatively tests the similarities between two DL models: a victim model and a suspect model. It leverages a diverse set of testing metrics and test case generation methods to produce a chain of supporting evidence to help determine whether a suspect model is a copy of the victim model. Advantages of DEEPJUDGE include: 1) non-invasive, as it works directly on the model and does not tamper with the training process; 2) efficient, as it only needs a small set of test cases and a quick scan of models; 3) flexible, as it can easily incorporate new metrics or generation methods to obtain more confident judgement; and 4) fairly robust to model extraction and adaptive attacks. We verify the effectiveness of DEEPJUDGE under typical copyright infringement scenarios, including model finetuning, pruning and extraction, via extensive experiments on both image and speech datasets with a variety of model architectures.


title: Unified field theoretical approach to deep and recurrent neuronal networks

abstract: Understanding capabilities and limitations of different network architectures is of fundamental importance to machine learning. Bayesian inference on Gaussian processes has proven to be a viable approach for studying recurrent and deep networks in the limit of infinite layer width, $n\to\infty$. Here we present a unified and systematic derivation of the mean-field theory for both architectures that starts from first principles by employing established methods from statistical physics of disordered systems. The theory elucidates that while the mean-field equations are different with regard to their temporal structure, they yet yield identical Gaussian kernels when readouts are taken at a single time point or layer, respectively. Bayesian inference applied to classification then predicts identical performance and capabilities for the two architectures. Numerically, we find that convergence towards the mean-field theory is typically slower for recurrent networks than for deep networks and the convergence speed depends non-trivially on the parameters of the weight prior as well as the depth or number of time steps, respectively. Our method exposes that Gaussian processes are but the lowest order of a systematic expansion in $1/n$ and we compute next-to-leading-order corrections which turn out to be architecture-specific. The formalism thus paves the way to investigate the fundamental differences between recurrent and deep architectures at finite widths $n$.


title: Universal Early Coarsening of Quenched Bose Gases

abstract: We investigate the early coarsening dynamics of an atomic Bose gas quenched into a superfluid phase. Using a two-step quench protocol, we effectively control the cooling rates, $r_1$ and $r_2$, during and after passing through the critical region, respectively, and measure the number of quantum vortices spontaneously created in the system. The latter cooling rate $r_2$ regulates the temperature during the condensate growth, consequently controlling the early coarsening dynamics in the defect formation. We find that the defect number shows a scaling behavior with $r_2$ regardless of the initial cooling rate $r_1$, indicating universal coarsening dynamics in the early stage of condensate growth. Our results demonstrate that early coarsening not only reduces the defect density but also affects its scaling with the quench rate, which is beyond the Kibble-Zurek mechanism.


title: Transient absorption, femtosecond dynamics, vibrational coherence and molecular modelling of the photoisomerization of N-salicylidene-o-aminophenol in solution

abstract: This article presents a study of the excited state relaxation dynamics of N-salycylidene-o-aminophenol (SOAP) in ethanol solution. Femtosecond transient absorption (TA) spectroscopy and theoretical calculations are used in combination to establish the mechanism of the excited state relaxation and type of molecular species involved in the accompanying phototransformations. TA spectra show that upon photoexcitation two SOAP tautomers (E-enol and Z-keto) interconvert by ESIPT. The molecule can subsequently isomerize to the E-keto form of SOAP. An intriguing observation is that the TA spectra of this compound in ethanol show modulations of the signal at the stimulated emission spectral range. It is found that these modulations are due to the coherence of the excited ensemble of molecules whose evolution over time represents a moving wave packet. After Fourier transform of the modulations, two characteristic frequencies are identified. These frequencies are referred to the corresponding vibrational modes of the excited state and their nature is elucidated by DFT quantum chemical calculations. The obtained experimental and theoretical data reveal the nature of vibronic coupling between the ground and excited state and the type of molecular vibrations involved in the molecular dynamics along the potential surface of the first excited state at the initial moment right after excitation. These vibrations characterize the starting point in the excited state dynamics of the molecule toward Z-E isomerization of the keto form of SOAP. The study provides a comprehensive picture of the dynamic processes taking place upon photoexcitation of the compound, which might enable control over the various relaxation channels.


title: Singleton-type bounds for list-decoding and list-recovery, and related results

abstract: List-decoding and list-recovery are important generalizations of unique decoding that received considerable attention over the years. However, the optimal trade-off among list-decoding (resp. list-recovery) radius, list size, and the code rate are not fully understood in both problems. This paper takes a step towards this direction when the list size is a given constant and the alphabet size is large (as a function of the code length). We prove a new Singleton-type upper bound for list-decodable codes, which improves upon the previously known bound by roughly a factor of $1/L$, where $L$ is the list size. We also prove a Singleton-type upper bound for list-recoverable codes, which is to the best of our knowledge, the first such bound for list-recovery. We apply these results to obtain new lower bounds that are optimal up to a multiplicative constant on the list size for list-decodable and list-recoverable codes with rates approaching capacity. Moreover, we show that list-decodable \emph{nonlinear} codes can strictly outperform list-decodable linear codes. More precisely, we show that there is a gap for a wide range of parameters, which grows fast with the alphabet size, between the size of the largest list-decodable nonlinear code and the size of the largest list-decodable linear codes. This is achieved by a novel connection between list-decoding and the notion of sparse hypergraphs in extremal combinatorics. We remark that such a gap is not known to exist in the problem of unique decoding. Lastly, we show that list-decodability or recoverability of codes implies in some sense good unique decodability.


title: A Review of Indoor Millimeter Wave Device-based Localization and Device-free Sensing Technologies and Applications

abstract: The commercial availability of low-cost millimeter wave (mmWave) communication and radar devices is starting to improve the penetration of such technologies in consumer markets, paving the way for large-scale and dense deployments in fifth-generation (5G)-and-beyond as well as 6G networks. At the same time, pervasive mmWave access will enable device localization and device-free sensing with unprecedented accuracy, especially with respect to sub-6 GHz commercial-grade devices. This paper surveys the state of the art in device-based localization and device-free sensing using mmWave communication and radar devices, with a focus on indoor deployments. We first overview key concepts about mmWave signal propagation and system design. Then, we provide a detailed account of approaches and algorithms for localization and sensing enabled by mmWaves. We consider several dimensions in our analysis, including the main objectives, techniques, and performance of each work, whether each research reached some degree of implementation, and which hardware platforms were used for this purpose. We conclude by discussing that better algorithms for consumer-grade devices, data fusion methods for dense deployments, as well as an educated application of machine learning methods are promising, relevant and timely research directions.


title: The spacecraft wake: Interference with electric field observations and a possibility to detect cold ions

abstract: Wakes behind spacecraft caused by supersonic drifting positive ions are common in plasmas and disturb in situ measurements. We review the impact of wakes on observations by the Electric Field and Wave double-probe instruments on the Cluster satellites. In the solar wind, the equivalent spacecraft charging is small compared to the ion drift energy and the wake effects are caused by the spacecraft body and can be compensated for. We present statistics of the direction, width, and electrostatic potential of wakes, and we compare with an analytical model. In the low-density magnetospheric lobes, the equivalent positive spacecraft charging is large compared to the ion drift energy and an enhanced wake forms. In this case observations of the geophysical electric field with the double-probe technique becomes extremely challenging. Rather, the wake can be used to estimate the flux of cold (eV) positive ions. For an intermediate range of parameters, when the equivalent charging of the spacecraft is similar to the drift energy of the ions, also the charged wire booms of a double-probe instrument must be taken into account. We discuss an example of these effects from the MMS spacecraft near the magnetopause. We find that many observed wake characteristics provide information that can be used for scientific studies. An important example is the enhanced wakes used to estimate the outflow of ionospheric origin in the magnetospheric lobes to about ${10}^{26}$ cold (eV) ions/s, constituting a large fraction of the mass outflow from planet Earth.


title: Decoherence in open quantum systems: influence of the intrinsic bath dynamics

abstract: The non-Markovian master equation for open quantum systems is obtained by generalization of the standard Zwanzig-Nakajima (ZN) projection technique. To this end, a coupled chain of equations for the reduced density matrices of the bath $\varrho_{B}(t)$ and of the system $\varrho_{S}(t)$ are written. Formal solution of the equation for $\varrho_{B}(t)$ in the 2-nd approximation in interaction yields a specific extra term, related to the intrinsic bath dynamics. This term is nonlinear in the reduced density matrix $\varrho_{S}(t)$, and vanishes in the Markovian limit. To verify the consistence and robustness of our approach, we apply the generalized ZN projection scheme to a simple dephasing model. We study the obtained kinetic equation both in the Markovian approximation and beyond it (for the term related to the intrinsic bath dynamics) and compare the results with the exact ones.


title: Automated tabulation of clinical trial results: A joint entity and relation extraction approach with transformer-based language representations

abstract: Evidence-based medicine, the practice in which healthcare professionals refer to the best available evidence when making decisions, forms the foundation of modern healthcare. However, it relies on labour-intensive systematic reviews, where domain specialists must aggregate and extract information from thousands of publications, primarily of randomised controlled trial (RCT) results, into evidence tables. This paper investigates automating evidence table generation by decomposing the problem across two language processing tasks: \textit{named entity recognition}, which identifies key entities within text, such as drug names, and \textit{relation extraction}, which maps their relationships for separating them into ordered tuples. We focus on the automatic tabulation of sentences from published RCT abstracts that report the results of the study outcomes. Two deep neural net models were developed as part of a joint extraction pipeline, using the principles of transfer learning and transformer-based language representations. To train and test these models, a new gold-standard corpus was developed, comprising almost 600 result sentences from six disease areas. This approach demonstrated significant advantages, with our system performing well across multiple natural language processing tasks and disease areas, as well as in generalising to disease domains unseen during training. Furthermore, we show these results were achievable through training our models on as few as 200 example sentences. The final system is a proof of concept that the generation of evidence tables can be semi-automated, representing a step towards fully automating systematic reviews.