title: Regularized tapered sample covariance matrix

abstract: Covariance matrix tapers have a long history in signal processing and related fields. Examples of applications include autoregressive models (promoting a banded structure) or beamforming (widening the spectral null width associated with an interferer). In this paper, the focus is on high-dimensional setting where the dimension $p$ is high, while the data aspect ratio $n/p$ is low. We propose an estimator called Tabasco (TApered or BAnded Shrinkage COvariance matrix) that shrinks the tapered sample covariance matrix towards a scaled identity matrix. We derive optimal and estimated (data adaptive) regularization parameters that are designed to minimize the mean squared error (MSE) between the proposed shrinkage estimator and the true covariance matrix. These parameters are derived under the general assumption that the data is sampled from an unspecified elliptically symmetric distribution with finite 4th order moments (both real- and complex-valued cases are addressed). Simulation studies show that the proposed Tabasco outperforms all competing tapering covariance matrix estimators in diverse setups. A space-time adaptive processing (STAP) application also illustrates the benefit of the proposed estimator in a practical signal processing setup.


title: Balanced pairs and recollements in extriangulated categories with negative first extensions

abstract: A notion of balanced pairs in an extriangulated category with a negative first extension is defined in this article. We prove that there exists a bijective correspondence between balanced pairs and proper classes $\xi$ with enough $\xi$-projectives and enough $\xi$-injectives. It can be regarded as a simultaneous generalization of Fu-Hu-Zhang-Zhu and Wang-Li-Huang. Besides, we show that if $(\mathcal A ,\mathcal B,\mathcal C)$ is a recollement of extriangulated categories, then balanced pairs in $\mathcal B$ can induce balanced pairs in $\mathcal A$ and $\mathcal C$ under natural assumptions. As a application, this result gengralizes a result by Fu-Hu-Yao in abelian categories. Moreover, it highlights a new phenomena when it applied to triangulated categories.


title: Theory of Mind Based Assistive Communication in Complex Human Robot Cooperation

abstract: When cooperating with a human, a robot should not only care about its environment and task but also develop an understanding of the partner's reasoning. To support its human partner in complex tasks, the robot can share information that it knows. However simply communicating everything will annoy and distract humans since they might already be aware of and not all information is relevant in the current situation. The questions when and what type of information the human needs, are addressed through the concept of Theory of Mind based Communication which selects information sharing actions based on evaluation of relevance and an estimation of human beliefs. We integrate this into a communication assistant to support humans in a cooperative setting and evaluate performance benefits. We designed a human robot Sushi making task that is challenging for the human and generates different situations where humans are unaware and communication could be beneficial. We evaluate the influence of the human centric communication concept on performance with a user study. Compared to the condition without information exchange, assisted participants can recover from unawareness much earlier. The approach respects the costs of communication and balances interruptions better than other approaches. By providing information adapted to specific situations, the robot does not instruct but enable the human to make good decision.


abstract: Graph neural networks (GNNs) have been successfully applied to learning representation on graphs in many relational tasks. Recently, researchers study neural architecture search (NAS) to reduce the dependence of human expertise and explore better GNN architectures, but they over-emphasize entity features and ignore latent relation information concealed in the edges. To solve this problem, we incorporate edge features into graph search space and propose Edge-featured Graph Neural Architecture Search to find the optimal GNN architecture. Specifically, we design rich entity and edge updating operations to learn high-order representations, which convey more generic message passing mechanisms. Moreover, the architecture topology in our search space allows to explore complex feature dependence of both entities and edges, which can be efficiently optimized by differentiable search strategy. Experiments at three graph tasks on six datasets show EGNAS can search better GNNs with higher performance than current state-of-the-art human-designed and searched-based GNNs.


title: A corrected strategy for proving no finite variable axiomatisation exists for RRA

abstract: We show that if for all finite $c$ there is a pair of non-isomorphic finite digraphs satisfying some additional conditions, one of which is that they cannot be distinguished in a certain $c$-colour node colouring game, then there can be no axiomatisation of the class of representable relation algebras in any first-order theory of arbitrary quantifier-depth using only finitely many variables. This corrects the proposed strategy of Hirsch and Hodkinson, \emph{Relation algebras by games}, North-Holland (2002), Problem 1. However, even for $c=2$, no pair of non-isomorphic graphs indistinguishable in the game is currently known.


title: Optimal output feedback control of a class of linear systems with quasi-colored control-dependent multiplicative noise

abstract: This paper addresses the mean-square optimal control problem for \a class of discrete-time linear systems with a quasi-colored control-dependent multiplicative noise via output feedback. The noise under study is novel and shown to have advantage on modeling a class of network phenomena such as random transmission delays. The optimal output feedback controller is designed using an optimal mean-square state feedback gain and two observer gains, which are determined by the mean-square stabilizing solution to a modified algebraic Riccati equation (MARE), provided that the plant is minimum-phase and left-invertible. A necessary and sufficient condition for the existence of the stabilizing solution to the MARE is explicitly presented. It shows that the separation principle holds in a certain sense for the optimal control design of the work. The result is also applied to the optimal control problems in networked systems with random transmission delays and analog erasure channels, respectively.


title: CAM-loss: Towards Learning Spatially Discriminative Feature Representations

abstract: The backbone of traditional CNN classifier is generally considered as a feature extractor, followed by a linear layer which performs the classification. We propose a novel loss function, termed as CAM-loss, to constrain the embedded feature maps with the class activation maps (CAMs) which indicate the spatially discriminative regions of an image for particular categories. CAM-loss drives the backbone to express the features of target category and suppress the features of non-target categories or background, so as to obtain more discriminative feature representations. It can be simply applied in any CNN architecture with neglectable additional parameters and calculations. Experimental results show that CAM-loss is applicable to a variety of network structures and can be combined with mainstream regularization methods to improve the performance of image classification. The strong generalization ability of CAM-loss is validated in the transfer learning and few shot learning tasks. Based on CAM-loss, we also propose a novel CAAM-CAM matching knowledge distillation method. This method directly uses the CAM generated by the teacher network to supervise the CAAM generated by the student network, which effectively improves the accuracy and convergence rate of the student network.


title: The Grothendieck property from an ordered point of view

abstract: In this note, we consider several notions related to the Grothendieck property. Among them, we introduce the notion "unbounded Grothendieck property" in a Banach lattice as an unbounded version of the known Grothedieck property in the Banach space theory. Beside other results, surprisingly, we show that spaces with the unbounded Grothendieck property are exactly the reflexive Banach lattices.


title: Lyapunov spectrum scaling for classical many-body dynamics close to integrability

abstract: We propose a novel framework to characterize the thermalization of many-body dynamical systems close to integrable limits using the scaling properties of the full Lyapunov spectrum. We use a classical unitary map model to investigate macroscopic weakly nonintegrable dynamics beyond the limits set by the KAM regime. We perform our analysis in two fundamentally distinct long-range and short-range integrable limits which stem from the type of nonintegrable perturbations. Long-range limits result in a single parameter scaling of the Lyapunov spectrum, with the inverse largest Lyapunov exponent being the only diverging control parameter and the rescaled spectrum approaching an analytical function. Short-range limits result in a dramatic slowing down of thermalization which manifests through the rescaled Lyapunov spectrum approaching a non-analytic function. An additional diverging length scale controls the exponential suppression of all Lyapunov exponents relative to the largest one.

categories: nlin.CD cond-mat.other cond-mat.stat-mech physics.comp-ph


title: A Survey of Practical Formal Methods for Security

abstract: In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such systems with strong guarantees of resiliency against cyber attacks. One way to achieve this level of assurance is using formal verification, which provides proofs of system compliance with desired cyber security properties. The use of Formal Methods (FM) in aspects of cyber security and safety-critical systems are reviewed in this article. We split FM into the three main classes: theorem proving, model checking and lightweight FM. To allow the different uses of FM to be compared, we define a common set of terms. We further develop categories based on the type of computing system FM are applied in. Solutions in each class and category are presented, discussed, compared and summarised. We describe historical highlights and developments and present a state-of-the-art review in the area of FM in cyber security. This review is presented from the point of view of FM practitioners and researchers, commenting on the trends in each of the classes and categories. This is achieved by considering all types of FM, several types of security and safety critical systems and by structuring the taxonomy accordingly. The article hence provides a comprehensive overview of FM and techniques available to system designers of security-critical systems, simplifying the process of choosing the right tool for the task. The article concludes by summarising the discussion of the review, focusing on best practices, challenges, general future trends and directions of research within this field.


title: $\mathcal{O}$-operators on Lie $\infty$-algebras with respect to Lie $\infty$-actions

abstract: We define $\mathcal{O}$-operators on a Lie $\infty$-algebra $E$ with respect to an action of $E$ on another Lie $\infty$-algebra and we characterize them as Maurer-Cartan elements of a certain Lie $\infty$-algebra obtained by Voronov's higher derived brackets construction. The Lie $\infty$-algebra that controls the deformation of $\mathcal{O}$-operators with respect to a fixed action is determined.


title: Superconductivity in hole-doped germanium point contacts

abstract: We have observed superconductivity in heavy p-doped Ge by measuring of differential resistance dV/dI(V) of Ge - PtIr point contacts. The superconducting (SC) features disappear above 6 K or above 1 T, what can be taken as the critical temperature and the critical magnetic field, respectively. The observed dV/dI(V) spectrum with Andreev reflection like features was fitted within one-gap Blonder-Tinkham-Klapwijk model. The extracted SC gap demonstrates Bardeen-Cooper-Schrieffer-like behavior with 2 Delta/kBTc = 10+/-1 ratio, which is much higher that expected for conventional superconductors. Magnetic field suppresses Andreev reflection features, but the SC gap moderately decreases in magnetic field similarly as it was observed previously for the type-II superconductors, including nickel borocarbide and iron-based superconductors. Curiously, we have not yet observed superconductivity in n-doped Ge with a similar dopant concentration.


title: A Comparative Study of Nonlinear MPC and Differential-Flatness-Based Control for Quadrotor Agile Flight

abstract: Accurate trajectory tracking control for quadrotors is essential for safe navigation in cluttered environments. However, this is challenging in agile flights due to nonlinear dynamics, complex aerodynamic effects, and actuation constraints. In this article, we empirically compare two state-of-the-art control frameworks: the nonlinear-model-predictive controller (NMPC) and the differential-flatness-based controller (DFBC), by tracking a wide variety of agile trajectories at speeds up to 20 m/s (i.e.,72 km/h). The comparisons are performed in both simulation and real-world environments to systematically evaluate both methods from the aspect of tracking accuracy, robustness, and computational efficiency. We show the superiority of NMPC in tracking dynamically infeasible trajectories, at the cost of higher computation time and risk of numerical convergence issues. For both methods, we also quantitatively study the effect of adding an inner-loop controller using the incremental nonlinear dynamic inversion (INDI) method, and the effect of adding an aerodynamic drag model. Our real-world experiments, performed in one of the world's largest motion capture systems, demonstrate more than 78% tracking error reduction of both NMPC and DFBC, indicating the necessity of using an inner-loop controller and aerodynamic drag model for agile trajectory tracking.


title: Validated research assessment based on highly cited researchers

abstract: Bibliometrics provides accurate, cheap and simple descriptions of research systems and should lay the foundations for research policy. However, disconnections between bibliometric knowledge and research policy frequently misguide the research policy in many countries. A way of correcting these disconnections might come from the use of simple indicators of research performance. One such simple indicator is the number of highly cited researchers, which can be used under the assumption that a research system that produces and employs many highly cited researchers will be more successful than others with fewer of them. Here, we validate the use of the number of highly cited researchers (Ioannidis et al. 2020; PLoS Biol 18(10): e3000918) for research assessment at the country level and determine a country ranking of research success. We also demonstrate that the number of highly cited researchers reported by Clarivate Analytics is also an indicator of the research success of countries. The formal difference between the numbers of highly cited researchers according to Ionannidis et al. and Clarivate Analytics is that evaluations based on these two lists of highly cited researchers are approximately equivalent to evaluations based on the top 5% and 0.05% of highly cited papers, respectively. Moreover, the Clarivate Analytics indicator is flawed in some countries.


title: Selecting the physical solution via $\eta$-$\eta'$ mixing

abstract: Based on $\eta$-$\eta'$ mixing analysis, we propose a novel method to extract the physical solutions for the hadronic properties of the $Y(4230)$ resonance from the experimental data. Experimentally, multiple solutions have been reported in the decays of $Y(4230) \to \eta J/\psi$ and $Y(4230) \to \eta' J/\psi$. Utilizing our method, we determine a unique solution for the process $Y(4230) \to \eta' J/\psi$. Likewise, two solutions for the process $Y(4230) \to \eta J/\psi$ are preferred among the originally reported three solutions under the assumption that $Y(4230)$ dose not take an $s\bar{s}$ component.


title: The full Low-carbon Expansion Generation Optimization (LEGO) model

abstract: This paper introduces the full Low-carbon Expansion Generation Optimization (LEGO) model available on Github (https://github.com/wogrin/LEGO). LEGO is a mixed-integer quadratically constrained optimization problem and has been designed to be a multi-purpose tool, like a Swiss army knife, that can be employed to study many different aspects of the energy sector. Ranging from short-term unit commitment to long-term generation and transmission expansion planning. The underlying modeling philosophies are: modularity and flexibility. Its unique temporal structure allows LEGO to function with either chronological hourly data, or all kinds of representative periods. LEGO is also composed of thematic modules that can be added or removed from the model easily via data options depending on the scope of the study. Those modules include: unit commitment constraints; DC- or AC-OPF formulations; battery degradation; rate of change of frequency inertia constraints; demand-side management; or the hydrogen sector. LEGO also provides a plethora of model outputs (both primal and dual), which is the basis for both technical but also economic analyses. To our knowledge, there is no model that combines all of these capabilities, which we hereby make freely available to the scientific community.


title: Instance-wise or Class-wise? A Tale of Neighbor Shapley for Concept-based Explanation

abstract: Deep neural networks have demonstrated remarkable performance in many data-driven and prediction-oriented applications, and sometimes even perform better than humans. However, their most significant drawback is the lack of interpretability, which makes them less attractive in many real-world applications. When relating to the moral problem or the environmental factors that are uncertain such as crime judgment, financial analysis, and medical diagnosis, it is essential to mine the evidence for the model's prediction (interpret model knowledge) to convince humans. Thus, investigating how to interpret model knowledge is of paramount importance for both academic research and real applications.


title: Weighted $p$-radial Distributions on Euclidean and Matrix $p$-balls with Applications to Large Deviations

abstract: A probabilistic representation for a class of weighted $p$-radial distributions, based on mixtures of a weighted cone probability measure and a weighted uniform distribution on the Euclidean $\ell_p^n$-ball, is derived. Large deviation principles for the empirical measure of the coordinates of random vectors on the $\ell_p^n$-ball with distribution from this weighted measure class are discussed. The class of $p$-radial distributions is extended to $p$-balls in classical matrix spaces, both for self-adjoint and non-self-adjoint matrices. The eigenvalue distribution of a self-adjoint random matrix, chosen in the matrix $p$-ball according to such a distribution, is determined. Similarly, the singular value distribution is identified in the non-self-adjoint case. Again, large deviation principles for the empirical spectral measures for the eigenvalues and the singular values are presented as an application.


title: The lattice of clones of self-dual operations collapsed

abstract: There are continuum many clones on a three-element set even if they are considered up to \emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \emph{self-dual operations}, i.e., operations that preserve the relation $\{(0,1),(1,2),(2,0)\}$. However, there are only countably many such clones when considered up to equivalence with respect to \emph{minor-preserving maps} instead of clone homomorphisms. We give a full description of the set of clones of self-dual operations, ordered by the existence of minor-preserving maps. Our result can also be phrased as a statement about structures on a three-element set, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure $\mathfrak A$ to the polymorphism clone of a finite structure $\mathfrak B$ if and only if there is a primitive positive construction of $\mathfrak B$ in $\mathfrak A$.


title: Sample Noise Impact on Active Learning

abstract: This work explores the effect of noisy sample selection in active learning strategies. We show on both synthetic problems and real-life use-cases that knowledge of the sample noise can significantly improve the performance of active learning strategies. Building on prior work, we propose a robust sampler, Incremental Weighted K-Means that brings significant improvement on the synthetic tasks but only a marginal uplift on real-life ones. We hope that the questions raised in this paper are of interest to the community and could open new paths for active learning research.


title: Half a cubic hectometer mooring array of 3000 temperature sensors in the deep sea

abstract: The redistribution of matter in the deep-sea depends on water-flow currents and turbulent exchange, for which breaking internal waves are an important source. As internal waves and turbulence are essentially three-dimensional 3D, their dynamical development should ideally be studied in a volume of seawater. However, this is seldom done in the ocean where 1D-observations along a single vertical line are already difficult. We present the design, construction and successful deployment of a half-cubic-hectometer (480,000 m3) 3D-T mooring array holding 2925 high-resolution temperature sensors to study weakly density-stratified waters of the 2500-m deep Western Mediterranean. The stand-alone array samples temperature at a rate of 0.5 Hz, with precision <0.5 mK, noise level <0.1 mK and expected endurance of 3 years. The independent sensors are synchronized inductively every 4 h to a single standard clock. The array consists of 45 vertical lines 125 m long, at 9.5 m horizontally from their nearest neighbor. Each line is held under tension of 1.3 kN by a buoyancy element that is released chemically one week after deployment. All fold-up lines are attached to a grid of cables that is tensioned in a 70 m diameter ring of steel tubes. The array is build-up in harbor-waters, with air filling the steel tubes for floatation. The flat-form array is towed to the mooring site under favorable sea-state conditions. By opening valves in the steel tubes, the array is sunk and its free-fall is controlled by a custom-made drag-parachute reducing the average sinking speed to 1.3 m s-1 and providing smooth horizontal landing on the flat seafloor.


title: Joint Management and Analysis of Textual Documents and Tabular Data within the AUDAL Data Lake

abstract: In 2010, the concept of data lake emerged as an alternative to data warehouses for big data management. Data lakes follow a schema-on-read approach to provide rich and flexible analyses. However, although trendy in both the industry and academia, the concept of data lake is still maturing, and there are still few methodological approaches to data lake design. Thus, we introduce a new approach to design a data lake and propose an extensive metadata system to activate richer features than those usually supported in data lake approaches. We implement our approach in the AUDAL data lake, where we jointly exploit both textual documents and tabular data, in contrast with structured and/or semi-structured data typically processed in data lakes from the literature. Furthermore, we also innovate by leveraging metadata to activate both data retrieval and content analysis, including Text-OLAP and SQL querying. Finally, we show the feasibility of our approach using a real-word use case on the one hand, and a benchmark on the other hand.


title: M{\o}ller operators and Hadamard states for Dirac fields with MIT boundary conditions

abstract: The aim of this paper is to prove the existence of Hadamard states for Dirac fields coupled with MIT boundary conditions on any globally hyperbolic manifold with timelike boundary. This is achieved by introducing a geometric M{\o}ller operator which implements a unitary isomorphism between the spaces of $L^2$ -initial data of particular symmetric systems we call weakly-hyperbolic and which are coupled with admissible boundary conditions. In particular, we show that for Dirac fields with MIT boundary conditions, this isomorphism can be lifted to a $*$-isomorphism between the algebras of Dirac fields and that any Hadamard state can be pulled back along this $*$-isomorphism preserving the singular structure of its two-point distribution.


title: Deep Learning for Fitness

abstract: We present Fitness tutor, an application for maintaining correct posture during workout exercises or doing yoga. Current work on fitness focuses on suggesting food supplements, accessing workouts, workout wearables does a great job in improving the fitness. Meanwhile, the current situation is making difficult to monitor workouts by trainee. Inspired by healthcare innovations like robotic surgery, we design a novel application Fitness tutor which can guide the workouts using pose estimation. Pose estimation can be deployed on the reference image for gathering data and guide the user with the data. This allow Fitness tutor to guide the workouts (both exercise and yoga) in remote conditions with a single reference posture as image. We use posenet model in tensorflow with p5js for developing skeleton. Fitness tutor is an application of pose estimation model in bringing a realtime teaching experience in fitness. Our experiments shows that it can leverage potential of pose estimation models by providing guidance in realtime.


title: A Bayesian Approach to (Online) Transfer Learning: Theory and Algorithms

abstract: Transfer learning is a machine learning paradigm where knowledge from one problem is utilized to solve a new but related problem. While conceivable that knowledge from one task could be useful for solving a related task, if not executed properly, transfer learning algorithms can impair the learning performance instead of improving it -- commonly known as negative transfer. In this paper, we study transfer learning from a Bayesian perspective, where a parametric statistical model is used. Specifically, we study three variants of transfer learning problems, instantaneous, online, and time-variant transfer learning. For each problem, we define an appropriate objective function, and provide either exact expressions or upper bounds on the learning performance using information-theoretic quantities, which allow simple and explicit characterizations when the sample size becomes large. Furthermore, examples show that the derived bounds are accurate even for small sample sizes. The obtained bounds give valuable insights into the effect of prior knowledge for transfer learning, at least with respect to our Bayesian formulation of the transfer learning problem. In particular, we formally characterize the conditions under which negative transfer occurs. Lastly, we devise two (online) transfer learning algorithms that are amenable to practical implementations, one of which does not require the parametric assumption. We demonstrate the effectiveness of our algorithms with real data sets, focusing primarily on when the source and target data have strong similarities.


title: Open Data Ecosystems -- an empirical investigation into an emerging industry collaboration concept

abstract: Software systems are increasingly depending on data, particularly with the rising use of machine learning, and developers are looking for new sources of data. Open Data Ecosystems (ODE) is an emerging concept for data sharing under public licenses in software ecosystems, similar to Open Source Software (OSS). It has certain similarities to Open Government Data (OGD), where public agencies share data for innovation and transparency. We aimed to explore open data ecosystems involving commercial actors. Thus, we organized five focus groups with 27 practitioners from 22 companies, public organizations, and research institutes. Based on the outcomes, we surveyed three cases of emerging ODE practice to further understand the concepts and to validate the initial findings. The main outcome is an initial conceptual model of ODEs' value, intrinsics, governance, and evolution, and propositions for practice and further research. We found that ODE must be value driven. Regarding the intrinsics of data, we found their type, meta-data, and legal frameworks influential for their openness. We also found the characteristics of ecosystem initiation, organization, data acquisition and openness be differentiating, which we advise research and practice to take into consideration.


title: Enabling Reproducible Analysis of Complex Workflows on the Edge-to-Cloud Continuum

abstract: Distributed digital infrastructures for computation and analytics are now evolving towards an interconnected ecosystem allowing complex applications to be executed from IoT Edge devices to the HPC Cloud (aka the Computing Continuum, the Digital Continuum, or the Transcontinuum). Understanding end-to-end performance in such a complex continuum is challenging. This breaks down to reconciling many, typically contradicting application requirements and constraints with low-level infrastructure design choices. One important challenge is to accurately reproduce relevant behaviors of a given application workflow and representative settings of the physical infrastructure underlying this complex continuum. We introduce a rigorous methodology for such a process and validate it through E2Clab. It is the first platform to support the complete experimental cycle across the Computing Continuum: deployment, analysis, optimization. Preliminary results with real-life use cases show that E2Clab allows one to understand and improve performance, by correlating it to the parameter settings, the resource usage and the specifics of the underlying infrastructure.


title: Multi-party Semi-quantum Secret Sharing Protocol based on Measure-flip and Reflect Operations

abstract: Semi-quantum secret sharing (SQSS) protocols serve as fundamental frameworks in quantum secure multi-party computations, offering the advantage of not requiring all users to possess intricate quantum devices. However, the current landscape of SQSS protocols predominantly caters to bipartite scenarios, rendering them inadequate for practical multi-party secret sharing requirements. Addressing this gap, this paper proposes a novel SQSS protocol based on multi-particle GHZ states. In this protocol, the quantum user distributes predetermined secret information to multiple classical users with limited quantum capabilities, necessitating collaborative efforts among all classical users to reconstruct the correct secret information. By utilizing measure-flip and reflect operations, the transmitted multi-particle GHZ states can all contribute keys, thereby improving the utilization of transmitted particles. Security analysis shows that the protocol's resilience against prevalent external and internal threats. Additionally, employing IBM Qiskit, we conduct quantum circuit simulations to validate the protocol's accuracy and feasibility. Compared with similar studies, the proposed protocol has advantages in terms of protocol scalability, qubit efficiency, and shared message types.


title: Segmentation of turbulent computational fluid dynamics simulations with unsupervised ensemble learning

abstract: Computer vision and machine learning tools offer an exciting new way for automatically analyzing and categorizing information from complex computer simulations. Here we design an ensemble machine learning framework that can independently and robustly categorize and dissect simulation data output contents of turbulent flow patterns into distinct structure catalogues. The segmentation is performed using an unsupervised clustering algorithm, which segments physical structures by grouping together similar pixels in simulation images. The accuracy and robustness of the resulting segment region boundaries are enhanced by combining information from multiple simultaneously-evaluated clustering operations. The stacking of object segmentation evaluations is performed using image mask combination operations. This statistically-combined ensemble (SCE) of different cluster masks allows us to construct cluster reliability metrics for each pixel and for the associated segments without any prior user input. By comparing the similarity of different cluster occurrences in the ensemble, we can also assess the optimal number of clusters needed to describe the data. Furthermore, by relying on ensemble-averaged spatial segment region boundaries, the SCE method enables reconstruction of more accurate and robust region of interest (ROI) boundaries for the different image data clusters. We apply the SCE algorithm to 2-dimensional simulation data snapshots of magnetically-dominated fully-kinetic turbulent plasma flows where accurate ROI boundaries are needed for geometrical measurements of intermittent flow structures known as current sheets.

categories: cs.CV astro-ph.HE cs.LG physics.plasm-ph


title: On some sums involving the integral part function

abstract: Denote by $\tau$ k (n), $\omega$(n) and $\mu$ 2 (n) the number of representations of n as product of k natural numbers, the number of distinct prime factors of n and the characteristic function of the square-free integers, respectively. Let [t] be the integral part of real number t. For f = $\omega$, 2 $\omega$ , $\mu$ 2 , $\tau$ k , we prove that n x f x n = x d 1 f (d) d(d + 1) + O $\epsilon$ (x $\theta$ f +$\epsilon$) for x $\rightarrow$ $\infty$, where $\theta$ $\omega$ = 53 110 , $\theta$ 2 $\omega$ = 9 19 , $\theta$ $\mu$2 = 2 5 , $\theta$ $\tau$ k = 5k--1 10k--1 and $\epsilon$ > 0 is an arbitrarily small positive number. These improve the corresponding results of Bordell{\`e}s.


title: A Multi-Sensor Interface to Improve the Learning Experience in Arc Welding Training Tasks

abstract: This paper presents the development of a multi-sensor user interface to facilitate the instruction of arc welding tasks. Traditional methods to acquire hand-eye coordination skills are typically conducted through one-to-one instruction where trainees must wear protective helmets and conduct several tests. This approach is inefficient as the harmful light emitted from the electric arc impedes the close monitoring of the process; Practitioners can only observe a small bright spot. To tackle these problems, recent training approaches have leveraged virtual reality to safely simulate the process and visualize the geometry of the workpieces. However, the synthetic nature of these types of simulation platforms reduces their effectiveness as they fail to comprise actual welding interactions with the environment, which hinders the trainees' learning process. To provide users with a real welding experience, we have developed a new multi-sensor extended reality platform for arc welding training. Our system is composed of: (1) An HDR camera, monitoring the real welding spot in real-time; (2) A depth sensor, capturing the 3D geometry of the scene; and (3) A head-mounted VR display, visualizing the process safely. Our innovative platform provides users with a "bot trainer", virtual cues of the seam geometry, automatic spot tracking, and performance scores. To validate the platform's feasibility, we conduct extensive experiments with several welding training tasks. We show that compared with the traditional training practice and recent virtual reality approaches, our automated multi-sensor method achieves better performances in terms of accuracy, learning curve, and effectiveness.


title: First-post-Newtonian generation of gravitational waves in Einstein-Cartan theory

abstract: In this paper we investigate the gravitational-wave generation problem at the first post-Newtonian order in the context of Einstein-Cartan theory by exploiting the Blanchet-Damour formalism. The quantum intrinsic spin carried by slowly moving, weakly stressed, weakly self-gravitating sources is described geometrically by means of the torsion tensor. We obtain the expression of the source multipole moments with the required accuracy. The analysis of the physical meaning of the lowest-order non-radiative moments and of the asymptotic gravitational waveform is also performed. Eventually, we draw our conclusions and estimate the order of magnitude of the spin contributions in the gravitational-wave signal.


title: On a huge family of non-schurian Schur rings

abstract: In his famous monograph on permutation groups, H.~Wielandt gives an example of a Schur ring over an elementary abelian group of order $p^2$ ($p>3$ is a prime), which is non-schurian, that is, it is the transitivity module of no permutation group. Generalizing this example, we construct a huge family of non-schurian Schur rings over elementary abelian groups of even rank.


title: Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly

abstract: This paper explores the use of relational symbolic execution to counter timing side channels in WebAssembly programs. We design and implement Vivienne, an open-source tool to automatically analyze WebAssembly cryptographic libraries for constant-time violations. Our approach features various optimizations that leverage the structure of WebAssembly and automated theorem provers, including support for loops via relational invariants. We evaluate Vivienne on 57 real-world cryptographic implementations, including a previously unverified implementation of the HACL* library in WebAssembly. The results indicate that Vivienne is a practical solution for constant-time analysis of cryptographic libraries in WebAssembly.


title: Free wreath products with amalgamation

abstract: We define and study a notion of free wreath product with amalgamation for compact quantum groups. These objects were already introduced in the case of duals of discrete groups under the name "free wreath products of pairs" in a previous work of ours. We give several equivalent descriptions and use them to establish properties like residual finiteness, the Haagerup property or a smash product decomposition.


title: Bayesian evaluation of residual production cross sections in proton induced spallation reactions

abstract: The Bayesian neural network (BNN) method is used to construct a predictive model for fragment prediction of proton induced spallation reactions with the guidance of a simplified EPAX formula. Compared to the experimental data, it is found that the BNN + sEPAX model can reasonably extrapolate with less information compared with BNN method. The BNN + sEPAX method provides a new approach to predict the energy-dependent residual cross sections produced in proton-induced spallation reactions from tens of MeV/u up to several GeV/u.


title: A stochastic thermalization of the Discrete Nonlinear Schr\"odinger Equation

abstract: We introduce a mass conserving stochastic perturbation of the discrete nonlinear Schr\"odinger equation that models the action of a heat bath at a given temperature. We prove that the corresponding canonical Gibbs distribution is the unique invariant measure. In the one-dimensional cubic focusing case on the torus, we prove that in the limit for large time, continuous approximation, and low temperature, the solution converges to the steady wave of the continuous equation that minimizes the energy for a given mass.

categories: math-ph cond-mat.stat-mech math.AP math.MP math.PR


title: Topological theory of inversion-breaking charge-density-wave monolayer 1\textit{T}-TiSe$_2$

abstract: A charge density wave (CDW) of a nonzero ordering vector $\mathbf{q}$ couple electronic states at $\mathbf{k}$ and $\mathbf{k}+\mathbf{q}$ statically, giving rise to a reduced Brillouin zone (RBZ) due to the band folding effect. Its structure, in terms of an irreducible representation of the little group of $\mathbf{q}$, would change the symmetry of the system and electronic structure accompanying possible change of band inversion, offering a chance of the topological phase transition. Monolayer 1\textit{T}-TiSe$_2$ is investigated for it shows an unconventional CDW phase having a triple-$q$ $M_1^-$ structure. Moreover, the coupling between the triple-$q$ component of the $M_1^-$ CDW will inevitably produce a small $M_1^+$ CDW. The CDW yields a band inversion in 1\textit{T}-TiSe$_2$ but different types of CDW can affect the electronic structure and system topology differently. The impact of CDW of different types was studied by utilizing a symmetrization-antisymmetrization technique to extract the $M_1^-$ and $M_1^+$ CDW contributions in the DFT-based tight-binding model and study their effects. The results are consistent with the parity consideration, improving understanding of topology for a CDW system with and without parity.


title: Spherical gravitational waves and quasi-spherical waves scattered from black string in massive gravity

abstract: Spherical gravitational wave is strictly forbidden in vacuum space in frame of general relativity by the Birkhoff theorem. We prove that spherical gravitational waves do exist in non-linear massive gravity, and find the exact solution. Further more, we find exact gravitational wave solution with a singular string by meticulous studies of familiar equation, in which the horizon becomes non-compact. We analyze the properties of the congruence of graviton rays of these wave solution. We clarify subtle points of dispersion relation, velocity and mass of graviton in massive gravity with linear perturbations. We find that the graviton ray can be null in massive gravity by considering full back reaction of the massive gravitational waves to the metric. We demonstrate that massive gravity has deep and fundamental discrepancy from general relativity, for whatever a tiny mass of the graviton.


title: Finding Colorful Paths in Temporal Graphs

abstract: The problem of finding paths in temporal graphs has been recently considered due to its many applications. In this paper we consider a variant of the problem that, given a vertex-colored temporal graph, asks for a path whose vertices have distinct colors and include the maximum number of colors. We study the approximation complexity of the problem and we provide an inapproximability lower bound. Then we present a heuristic for the problem and an experimental evaluation of our heuristic, both on synthetic and real-world graphs.


title: Extremal structure in ultrapowers of Banach spaces

abstract: Given a bounded convex subset $C$ of a Banach space $X$ and a free ultrafilter $\mathcal U$, we study which points $(x_i)_\mathcal U$ are extreme points of the ultrapower $C_\mathcal U$ in $X_\mathcal U$. In general, we obtain that when $\{x_i\}$ is made of extreme points (respectively denting points, strongly exposed points) and they satisfy some kind of uniformity, then $(x_i)_\mathcal U$ is an extreme point (respectively denting point, strongly exposed point) of $C_\mathcal U$. We also show that every extreme point of $C_{\mathcal U}$ is strongly extreme, and that every point exposed by a functional in $(X^*)_{\mathcal U}$ is strongly exposed, provided that $\mathcal U$ is a countably incomplete ultrafilter. Finally, we analyse the extremal structure of $C_\mathcal U$ in the case that $C$ is a super weakly compact or uniformly convex set.


title: Topographic VAEs learn Equivariant Capsules

abstract: In this work we seek to bridge the concepts of topographic organization and equivariance in neural networks. To accomplish this, we introduce the Topographic VAE: a novel method for efficiently training deep generative models with topographically organized latent variables. We show that such a model indeed learns to organize its activations according to salient characteristics such as digit class, width, and style on MNIST. Furthermore, through topographic organization over time (i.e. temporal coherence), we demonstrate how predefined latent space transformation operators can be encouraged for observed transformed input sequences -- a primitive form of unsupervised learned equivariance. We demonstrate that this model successfully learns sets of approximately equivariant features (i.e. "capsules") directly from sequences and achieves higher likelihood on correspondingly transforming test sequences. Equivariance is verified quantitatively by measuring the approximate commutativity of the inference network and the sequence transformations. Finally, we demonstrate approximate equivariance to complex transformations, expanding upon the capabilities of existing group equivariant neural networks.


title: Proper abelian subcategories of triangulated categories and their tilting theory

abstract: In the theory of triangulated categories, we propose to replace hearts of $t$-structures by proper abelian subcategories, which may be plentiful even when hearts are not. For instance, this happens in negative cluster categories. In support of our proposal, we show that proper abelian subcategories with a few vanishing negative self extensions permit a tilting theory which is a direct generalisation of Happel-Reiten-Smal{\o} tilting of hearts.


title: Language Modeling, Lexical Translation, Reordering: The Training Process of NMT through the Lens of Classical SMT

abstract: Differently from the traditional statistical MT that decomposes the translation task into distinct separately learned components, neural machine translation uses a single neural network to model the entire translation process. Despite neural machine translation being de-facto standard, it is still not clear how NMT models acquire different competences over the course of training, and how this mirrors the different models in traditional SMT. In this work, we look at the competences related to three core SMT components and find that during training, NMT first focuses on learning target-side language modeling, then improves translation quality approaching word-by-word translation, and finally learns more complicated reordering patterns. We show that this behavior holds for several models and language pairs. Additionally, we explain how such an understanding of the training process can be useful in practice and, as an example, show how it can be used to improve vanilla non-autoregressive neural machine translation by guiding teacher model selection.


title: Occlusion-Invariant Rotation-Equivariant Semi-Supervised Depth Based Cross-View Gait Pose Estimation

abstract: Accurate estimation of three-dimensional human skeletons from depth images can provide important metrics for healthcare applications, especially for biomechanical gait analysis. However, there exist inherent problems associated with depth images captured from a single view. The collected data is greatly affected by occlusions where only partial surface data can be recorded. Furthermore, depth images of human body exhibit heterogeneous characteristics with viewpoint changes, and the estimated poses under local coordinate systems are expected to go through equivariant rotations. Most existing pose estimation models are sensitive to both issues. To address this, we propose a novel approach for cross-view generalization with an occlusion-invariant semi-supervised learning framework built upon a novel rotation-equivariant backbone. Our model was trained with real-world data from a single view and unlabelled synthetic data from multiple views. It can generalize well on the real-world data from all the other unseen views. Our approach has shown superior performance on gait analysis on our ICL-Gait dataset compared to other state-of-the-arts and it can produce more convincing keypoints on ITOP dataset, than its provided "ground truth".


title: Scalar induced gravitational waves review

abstract: We provide a review on the state-of-the-art of gravitational waves induced by primordial fluctuations, so-called induced gravitational waves. We present the intuitive physics behind induced gravitational waves and we revisit and unify the general analytical formulation. We then present general formulas in a compact form, ready to be applied. This review places emphasis on the open possibility that the primordial universe experienced a different expansion history than the often assumed radiation dominated cosmology. We hope that anyone interested in the topic will become aware of current advances in the cosmology of induced gravitational waves, as well as becoming familiar with the calculations behind.


title: Robust spin-transfer torque and magnetoresistance in non-collinear antiferromagnetic junctions

abstract: Ferromagnetic spin-valves and tunneling junctions are crucial for spintronics applications and are one of the most fundamental spintronics devices. Motivated by the potential unique advantages of antiferromagnets for spintronics, we theoretically study here junctions built out of non-collinear antiferromagnets. We demonstrate a large and robust magnetoresistance and spin-transfer torque capable of ultrafast switching between parallel and anti-parallel states of the junction. In addition, we show that the non-collinear order results in a spin-transfer torque that is in several key aspects different from the spin-transfer torque in ferromagnetic junctions.


title: Level attraction and idler resonance in a strongly driven Josephson cavity

abstract: Nonlinear Josephson circuits play a crucial role in the growing landscape of quantum information and technologies. The typical circuits studied in this field consist of qubits, whose anharmonicity is much larger than their linewidth, and also of parametric amplifiers, which are engineered with linewidths of tens of MHz or more. The regime of small anharmonicity but also narrow linewidth, corresponding to the dynamics of a high-$Q$ Duffing oscillator, has not been extensively explored using Josephson cavities. Here, we use two-tone spectroscopy to study the susceptibility of a strongly driven high-$Q$ Josephson microwave cavity. Under blue-detuned driving, we observe a shift of the cavity susceptibility, analogous to the AC Stark effect in atomic physics. When applying a strong red-detuned drive, we observe the appearance of an additional idler mode above the bifurcation threshold with net external gain. Strong driving of the circuit leads to the appearance of two exceptional points and a level attraction between the quasi-modes of the driven cavity. Our results provide insights on the physics of driven nonlinear Josephson resonators and form a starting point for exploring topological physics in strongly-driven Kerr oscillators.


title: CX-ToM: Counterfactual Explanations with Theory-of-Mind for Enhancing Human Trust in Image Recognition Models

abstract: We propose CX-ToM, short for counterfactual explanations with theory-of mind, a new explainable AI (XAI) framework for explaining decisions made by a deep convolutional neural network (CNN). In contrast to the current methods in XAI that generate explanations as a single shot response, we pose explanation as an iterative communication process, i.e. dialog, between the machine and human user. More concretely, our CX-ToM framework generates sequence of explanations in a dialog by mediating the differences between the minds of machine and human user. To do this, we use Theory of Mind (ToM) which helps us in explicitly modeling human's intention, machine's mind as inferred by the human as well as human's mind as inferred by the machine. Moreover, most state-of-the-art XAI frameworks provide attention (or heat map) based explanations. In our work, we show that these attention based explanations are not sufficient for increasing human trust in the underlying CNN model. In CX-ToM, we instead use counterfactual explanations called fault-lines which we define as follows: given an input image I for which a CNN classification model M predicts class c_pred, a fault-line identifies the minimal semantic-level features (e.g., stripes on zebra, pointed ears of dog), referred to as explainable concepts, that need to be added to or deleted from I in order to alter the classification category of I by M to another specified class c_alt. We argue that, due to the iterative, conceptual and counterfactual nature of CX-ToM explanations, our framework is practical and more natural for both expert and non-expert users to understand the internal workings of complex deep learning models. Extensive quantitative and qualitative experiments verify our hypotheses, demonstrating that our CX-ToM significantly outperforms the state-of-the-art explainable AI models.


title: A shallow dark matter halo in Ultra Diffuse Galaxy AGC 242019: are UDGs structurally similar to low surface brightness galaxies?

abstract: A central question regarding Ultra Diffuse Galaxies (UDGs) is whether they are a separate category to Low Surface Brightness (LSB) galaxies, or just their natural continuation towards low stellar masses. In this letter, we show that the rotation curve of the gas rich UDG AGC 242019 is well fit by a dark matter halo with inner slope that asymptotes to -0.54, and that such fit provides a concentration parameter that matches theoretical expectations. This finding, together with previously works in which shallow inner profiles are derived for UDGs, shows that the structural properties of these galaxies are like other observed LSBs. UDGs show slowly rising rotation curves and this favours formation scenarios in which internal processes, such as SNae driven gas outflows, are acting to modify UDGs profiles.


title: Deep Learning Approach for Hyperspectral Image Demosaicking, Spectral Correction and High-resolution RGB Reconstruction

abstract: Hyperspectral imaging is one of the most promising techniques for intraoperative tissue characterisation. Snapshot mosaic cameras, which can capture hyperspectral data in a single exposure, have the potential to make a real-time hyperspectral imaging system for surgical decision-making possible. However, optimal exploitation of the captured data requires solving an ill-posed demosaicking problem and applying additional spectral corrections to recover spatial and spectral information of the image. In this work, we propose a deep learning-based image demosaicking algorithm for snapshot hyperspectral images using supervised learning methods. Due to the lack of publicly available medical images acquired with snapshot mosaic cameras, a synthetic image generation approach is proposed to simulate snapshot images from existing medical image datasets captured by high-resolution, but slow, hyperspectral imaging devices. Image reconstruction is achieved using convolutional neural networks for hyperspectral image super-resolution, followed by cross-talk and leakage correction using a sensor-specific calibration matrix. The resulting demosaicked images are evaluated both quantitatively and qualitatively, showing clear improvements in image quality compared to a baseline demosaicking method using linear interpolation. Moreover, the fast processing time of~45\,ms of our algorithm to obtain super-resolved RGB or oxygenation saturation maps per image frame for a state-of-the-art snapshot mosaic camera demonstrates the potential for its seamless integration into real-time surgical hyperspectral imaging applications.


title: End-to-end 100-TOPS/W Inference With Analog In-Memory Computing: Are We There Yet?

abstract: In-Memory Acceleration (IMA) promises major efficiency improvements in deep neural network (DNN) inference, but challenges remain in the integration of IMA within a digital system. We propose a heterogeneous architecture coupling 8 RISC-V cores with an IMA in a shared-memory cluster, analyzing the benefits and trade-offs of in-memory computing on the realistic use case of a MobileNetV2 bottleneck layer. We explore several IMA integration strategies, analyzing performance, area, and energy efficiency. We show that while pointwise layers achieve significant speed-ups over software implementation, on depthwise layer the inability to efficiently map parameters on the accelerator leads to a significant trade-off between throughput and area. We propose a hybrid solution where pointwise convolutions are executed on IMA while depthwise on the cluster cores, achieving a speed-up of 3x over SW execution while saving 50% of area when compared to an all-in IMA solution with similar performance.


title: Quantum superposition of spacetimes obeys Einstein's Equivalence Principle

abstract: We challenge the view that there is a basic conflict between the fundamental principles of Quantum Theory and General Relativity, and in particular the fact that a superposition of massive bodies would lead to a violation of the Equivalence Principle. It has been argued that this violation implies that such a superposition must inevitably spontaneously collapse (like in the Di\'osi-Penrose model). We identify the origin of such an assertion in the impossibility of finding a local, classical reference frame in which Einstein's Equivalence Principle would hold. In contrast, we argue that the formulation of the Equivalence Principle can be generalised so that it holds for reference frames that are associated to quantum systems in a superposition of spacetimes. The core of this new formulation is the introduction of a quantum diffeomorphism to such Quantum Reference Frames (QRFs). This procedure reconciles the principle of linear superposition in Quantum Theory with the principle of general covariance and the Equivalence Principle of General Relativity. Hence, it is not necessary to invoke a gravity-induced spontaneous state reduction when a massive body is prepared in a spatial superposition.


title: An efficient plasma-surface interaction surrogate model for sputtering processes based on autoencoder neural networks

abstract: Simulations of thin film sputter deposition require the separation of the plasma and material transport in the gas-phase from the growth/sputtering processes at the bounding surfaces. Interface models based on analytic expressions or look-up tables inherently restrict this complex interaction to a bare minimum. A machine learning model has recently been shown to overcome this remedy for Ar ions bombarding a Ti-Al composite target. However, the chosen network structure (i.e., a multilayer perceptron) provides approximately 4 million degrees of freedom, which bears the risk of overfitting the relevant dynamics and complicating the model to an unreliable extend. This work proposes a conceptually more sophisticated but parameterwise simplified regression artificial neural network for an extended scenario, considering a variable instead of a single fixed Ti-Al stoichiometry. A convolutional $\beta$-variational autoencoder is trained to reduce the high-dimensional energy-angular distribution of sputtered particles to a latent space representation of only two components. In addition to a primary decoder which is trained to reconstruct the input energy-angular distribution, a secondary decoder is employed to reconstruct the mean energy of incident Ar ions as well as the present Ti-Al composition. The mutual latent space is hence conditioned on these quantities. The trained primary decoder of the variational autoencoder network is subsequently transferred to a regression network, for which only the mapping to the particular latent space has to be learned. While obtaining a competitive performance, the number of degrees of freedom is drastically reduced to 15,111 and 486 parameters for the primary decoder and the remaining regression network, respectively. The underlying methodology is general and can easily be extended to more complex physical descriptions with a minimal amount of data required.


title: Secrecy Performance of {\alpha}-{\kappa}-{\mu} Shadowed Fading Channel

abstract: In this paper, the physical layer security aspects of a wireless framework over {\alpha}-\k{appa}-{\mu} shadowed (AKMS) fading channel are examined by acquiring closed-form novel expressions of average secrecy capacity, secure outage probability (SOP), and strictly positive secrecy capacity. The lower bound of SOP is derived along with the asymptotic expression of SOP at the high signal-to-noise ratio regime in order to achieve secrecy diversity gain. Capitalizing on these expressions, the consequences due to the simultaneous occurrence of fading and shadowing are quantified. Finally, Monte-Carlo simulations are demonstrated to assess the correctness of the expressions.


title: Automatic Foot Ulcer Segmentation Using an Ensemble of Convolutional Neural Networks

abstract: Foot ulcer is a common complication of diabetes mellitus and, associated with substantial morbidity and mortality, remains a major risk factor for lower leg amputations. Extracting accurate morphological features from foot wounds is crucial for appropriate treatment. Although visual inspection by a medical professional is the common approach for diagnosis, this is subjective and error-prone, and computer-aided approaches thus provide an interesting alternative. Deep learning-based methods, and in particular convolutional neural networks (CNNs), have shown excellent performance for various tasks in medical image analysis including medical image segmentation. In this paper, we propose an ensemble approach based on two encoder-decoder-based CNN models, namely LinkNet and U-Net, to perform foot ulcer segmentation. To deal with a limited number of available training samples, we use pre-trained weights (EfficientNetB1 for the LinkNet model and EfficientNetB2 for the U-Net model) and perform further pre-training using the Medetec dataset while also applying a number of morphological-based and colour-based augmentation techniques. To boost the segmentation performance, we incorporate five-fold cross-validation, test time augmentation and result fusion. Applied on the publicly available chronic wound dataset and the MICCAI 2021 Foot Ulcer Segmentation (FUSeg) Challenge, our method achieves state-of-the-art performance with data-based Dice scores of 92.07% and 88.80%, respectively, and is the top ranked method in the FUSeg challenge leaderboard. The Dockerised guidelines, inference codes and saved trained models are publicly available at https://github.com/masih4/Foot_Ulcer_Segmentation.


title: Formation of infinite loops for an interacting bosonic loop soup

abstract: We compute the limiting measure for the Feynman loop representation of the Bose gas for a non mean-field energy. As predicted in previous works, for high densities the limiting measure gives positive weight to random interlacements, indicating the quantum Bose--Einstein condensation. We prove that in many cases there is a shift in the critical density compared to the free/mean-field case, and that in these cases the density of the random interlacements has a jump-discontinuity at the critical point.


title: Experimental validation of active control of low-order aberrations with a Zernike sensor through a Lyot coronagraph

abstract: Future large segmented space telescopes and their coronagraphic instruments are expected to provide the resolution and sensitivity to observe Earth-like planets with a 10^10 contrast ratio at less than 100 mas from their host star. Advanced coronagraphs and wavefront control methods will enable the generation of high-contrast dark holes in the image of an observed star. However, drifts in the optical path of the system will lead to pointing errors and other critical low-order aberrations that will prevent maintenance of this contrast. To measure and correct for these errors, we explore the use of a Zernike wavefront sensor (ZWFS) in the starlight rejected and filtered by the focal plane mask of a Lyot-type coronagraph. In our previous work, the analytical phase reconstruction formalism of the ZWFS was adapted for a filtered beam. We now explore strategies to actively compensate for these drifts in a segmented pupil setup on the High-contrast imager for Complex Aperture Telescopes (HiCAT). This contribution presents laboratory results from closed-loop compensation of bench internal turbulence as well as known introduced aberrations using phase conjugation and interaction matrix approaches. We also study the contrast recovery in the image plane dark hole when using a closed loop based on the ZWFS.


title: An Exploratory Study on Utilising the Web of Linked Data for Product Data Mining

abstract: The Linked Open Data practice has led to a significant growth of structured data on the Web in the last decade. Such structured data describe real-world entities in a machine-readable way, and have created an unprecedented opportunity for research in the field of Natural Language Processing. However, there is a lack of studies on how such data can be used, for what kind of tasks, and to what extent they can be useful for these tasks. This work focuses on the e-commerce domain to explore methods of utilising such structured data to create language resources that may be used for product classification and linking. We process billions of structured data points in the form of RDF n-quads, to create multi-million words of product-related corpora that are later used in three different ways for creating of language resources: training word embedding models, continued pre-training of BERT-like language models, and training Machine Translation models that are used as a proxy to generate product-related keywords. Our evaluation on an extensive set of benchmarks shows word embeddings to be the most reliable and consistent method to improve the accuracy on both tasks (with up to 6.9 percentage points in macro-average F1 on some datasets). The other two methods however, are not as useful. Our analysis shows that this could be due to a number of reasons, including the biased domain representation in the structured data and lack of vocabulary coverage. We share our datasets and discuss how our lessons learned could be taken forward to inform future research in this direction.


title: Lee-Yang theory of criticality in interacting quantum many-body systems

abstract: Quantum phase transitions are a ubiquitous many-body phenomenon that occurs in a wide range of physical systems, including superconductors, quantum spin liquids, and topological materials. However, investigations of quantum critical systems also represent one of the most challenging problems in physics, since highly correlated many-body systems rarely allow for an analytic and tractable description. Here we present a Lee-Yang theory of quantum phase transitions including a method to determine quantum critical points which readily can be implemented within the tensor network formalism and even in realistic experimental setups. We apply our method to a quantum Ising chain and the anisotropic quantum Heisenberg model and show how the critical behavior can be predicted by calculating or measuring the high cumulants of properly defined operators. Our approach provides a powerful formalism to analyze quantum phase transitions using tensor networks, and it paves the way for systematic investigations of quantum criticality in two-dimensional systems.


title: Frequency-Severity Experience Rating based on Latent Markovian Risk Profiles

abstract: Bonus-Malus Systems traditionally consider a customer's number of claims irrespective of their sizes, even though these components are dependent in practice. We propose a novel joint experience rating approach based on latent Markovian risk profiles to allow for a positive or negative individual frequency-severity dependence. The latent profiles evolve over time in a Hidden Markov Model to capture updates in a customer's claims experience, making claim counts and sizes conditionally independent. We show that the resulting risk premia lead to a dynamic, claims experience-weighted mixture of standard credibility premia. The proposed approach is applied to a Dutch automobile insurance portfolio and identifies customer risk profiles with distinctive claiming behavior. These profiles, in turn, enable us to better distinguish between customer risks.


title: A Molecular Dynamics Study on CO$_2$ Diffusion Coefficient in Saline Water Under a Wide Range of Temperatures, Pressures, and Salinity Concentrations: Implications to CO2 Geological Storage

abstract: Carbon dioxide (CO$_2$) sequestration in saline aquifers has been introduced as one of the most practical, long-term, and safe solutions to tackle a growing threat originating from the emission of CO$_2$. Successfully executing and planning the process necessitates a comprehensive understanding of CO$_2$ transport properties -- particularly the diffusion coefficient, influencing the behavior of CO$_2$ dissolution in water/brine regarding the shape of viscous fingers, the onset of instabilities, etc. In this research, Molecular Dynamics (MD) simulation was employed to compute the CO$_2$ diffusion coefficient in various NaCl saline water concentrations under the broad spectrum of temperatures and pressures to acquire a data-set. The NaCl concentration increase gives rise to a decrease in the CO$_2$ diffusion coefficient, by which the reduction is most notably at higher temperatures. In addition, the rise in the CO$_2$ diffusion at elevated temperatures can be explained by the cation's hydration shell size reduction with temperature increment due to intensifying repulsive forces among water molecules. A new precise correlation is proposed for estimating CO$_2$ diffusion coefficients. Regarding the pressure variation effects, no tangible changes are observed with pressure increase. Furthermore, the variability of the CO$_2$ diffusion coefficient in the presence of other salts, namely MgCl2, CaCl2, KCl, and Na2SO4, were computed separately. Comparing the influence of various salts, CaCl2 and KCl have the highest and lowest effect on the CO$_2$ diffusion coefficient, respectively. Finally, a set of direct numerical simulations was conducted to study the impact of the CO$_2$ diffusion coefficient on the CO$_2$ dissolution process. The results shed light on the importance of CO$_2$ diffusion coefficient changes under the saline water condition in predicting dissolution process behavior and further calculations.


title: Commensurate-incommensurate transition in the chiral Ashkin-Teller model

abstract: We investigate the classical chiral Ashkin-Teller model on a square lattice with the corner transfer matrix renormalisation group (CTMRG) algorithm. We show that the melting of the period-4 phase in the presence of a chiral perturbation takes different forms depending on the coefficient of the four-spin term in the Ashkin-Teller model. Close to the clock limit of two decoupled Ising models, the system undergoes a two-step commensurate-incommensurate transition as soon as the chirality is introduced, with an intermediate critical floating phase bounded by a Kosterlitz-Thouless transition at high temperature and a Pokrovsky-Talapov transition at low temperature. By contrast, close to the four-states Potts model, we argue for the existence of a unique commensurate-incommensurate transition that belongs to the chiral universality class, and for the presence of a Lifshitz point where the ordered, disordered and floating phases meet. Finally, we map the whole phase diagram, which turns out to be in qualitative agreement with the 40 year old prediction by Huse and Fisher.


title: On the inertial range bounds of K-41 like Magnetohydrodynamics turbulence

abstract: The spectral slope of Magnetohydrodynamic (MHD) turbulence varies depending on the spectral theory considered; $ -3/2 $ is the spectral slope in Kraichnan-Iroshnikov-Dobrowolny (KID) theory, $ -5/3 $ in Marsch-Matthaeus-Zhou's and Goldreich-Sridhar theories also called Kolmogorov-like (K-41 like) MHD theory, combination of the $-5/3$ and $-3/2$ scales in Biskamp and so on. A rigorous mathematical proof to any of these spectral theories is of great scientific interest. Motivated by the 2012 work of A. Biryuk and W. Craig [Physica D 241(2012) 426-438], we establish inertial range bounds for K-41 like phenomenon in MHD turbulent flow through a mathematical rigour; a range of wave numbers in which the spectral slope of MHD turbulence is proportional to $-5/3$ is established and the upper and lower bounds of this range are explicitly formulated. We also have shown that the Leray weak solution of the standard MHD model is bonded in the Fourier space, the spectral energy of the system is bounded and its average over time decreases in time.


title: Event-Based Communication in Distributed Q-Learning

abstract: We present an approach to reduce the communication of information needed on a Distributed Q-Learning system inspired by Event Triggered Control (ETC) techniques. We consider a baseline scenario of a distributed Q-learning problem on a Markov Decision Process (MDP). Following an event-based approach, N agents explore the MDP and communicate experiences to a central learner only when necessary, which performs updates of the actor Q functions. We design an Event Based distributed Q learning system (EBd-Q), and derive convergence guarantees with respect to a vanilla Q-learning algorithm. We present experimental results showing that event-based communication results in a substantial reduction of data transmission rates in such distributed systems. Additionally, we discuss what effects (desired and undesired) these event-based approaches have on the learning processes studied, and how they can be applied to more complex multi-agent systems.


title: Order Cancellation Law in a Semigroup of Closed Convex Sets

abstract: In this paper generalize Robinson's version of an order cancellation law for subsets of vector spaces in which we cancel by unbounded sets. We introduce the notion of weakly narrow sets in normed spaces, study their properties and prove the order cancellation law where the canceled set is weakly narrow. Also we prove the order cancellation law for closed convex subsets of topological vector space where the canceled set has bounded Hausdorff-like distance from its recession cone. We topologically embed the semigroup of closed convex sets sharing a recession cone having bounded Hausdorff-like distance from it into a topological vector space. This result extends Bielawski and Tabor's generalization of Radstrom theorem.


title: Building Interpretable Models for Business Process Prediction using Shared and Specialised Attention Mechanisms

abstract: In this paper, we address the "black-box" problem in predictive process analytics by building interpretable models that are capable to inform both what and why is a prediction. Predictive process analytics is a newly emerged discipline dedicated to providing business process intelligence in modern organisations. It uses event logs, which capture process execution traces in the form of multi-dimensional sequence data, as the key input to train predictive models. These predictive models, often built upon deep learning techniques, can be used to make predictions about the future states of business process execution. We apply attention mechanism to achieve model interpretability. We propose i) two types of attentions: event attention to capture the impact of specific process events on a prediction, and attribute attention to reveal which attribute(s) of an event influenced the prediction; and ii) two attention mechanisms: shared attention mechanism and specialised attention mechanism to reflect different design decisions in when to construct attribute attention on individual input features (specialised) or using the concatenated feature tensor of all input feature vectors (shared). These lead to two distinct attention-based models, and both are interpretable models that incorporate interpretability directly into the structure of a process predictive model. We conduct experimental evaluation of the proposed models using real-life dataset, and comparative analysis between the models for accuracy and interpretability, and draw insights from the evaluation and analysis results.


title: Growth and characterization of high-quality single-crystalline SnTe retaining cubic symmetry down to the lowest temperature studied

abstract: SnTe, an archetypical topological crystalline insulator, often shows a transition from a highly symmetric cubic phase to a rhombohedral structure at low temperatures. In order to achieve the highly symmetric cubic phase at low temperatures suitable for quantum behaviour, we have employed the modified Bridgman method to grow a high-quality single-crystalline sample of SnTe. Analysis of the crystal structure using Laue diffraction and rocking curve measurements show a very high degree of single crystallinity of the sample. Resistivity and the specific heat data do not show the signature of structural transition down to the lowest temperature studied. The magnetic susceptibility shows diamagnetic behaviour. All these properties manifest the behaviour of a typical bulk semiconductor with conducting surface states as expected in a topological material. Detailed powder x-ray diffraction measurements show cubic structure in the whole temperature range studied.


title: Derived universal Massey products

abstract: We define an obstruction to the formality of a differential graded algebra over a graded operad defined over a commutative ground ring. This obstruction lives in the derived operadic cohomology of the algebra. Moreover, it determines all operadic Massey products induced on the homology algebra, hence the name of derived universal Massey product.


title: The QCD Equation of State in Small Systems

abstract: We present first results on finite system size corrections to the equation of state, trace anomaly, and speed of sound for two model systems: 1) free, massless scalar theory and 2) quenched QCD with periodic boundary conditions (PBC). We further present work-in-progress results for quenched QCD with Dirichlet boundary conditions.


title: Tracing the Mott-Hubbard transition in one-dimensional Hubbard models without Umklapp scattering

abstract: We apply the density-matrix renormalization group (DMRG) method to a one-dimensional Hubbard model that lacks Umklapp scattering and thus provides an ideal case to study the Mott-Hubbard transition analytically and numerically. The model has a linear dispersion and displays a metal-to-insulator transition when the Hubbard interaction~$U$ equals the band width, $U_{\rm c}=W$, where the single-particle gap opens linearly, $\Delta(U\geq W)=U-W$. The simple nature of the elementary excitations permits to determine numerically with high accuracy the critical interaction strength and the gap function in the thermodynamic limit. The jump discontinuity of the momentum distribution $n_k$ at the Fermi wave number $k_{\rm F}=0$ cannot be used to locate accurately $U_{\rm c}$ from finite-size systems. However, the slope of $n_k$ at the band edges, $k_{\rm B}=\pm \pi$, reveals the formation of a single-particle bound state which can be used to determine $U_{\rm c}$ reliably from $n_k$ using accurate finite-size data.


title: On a decomposition of $p$-adic Coxeter orbits

abstract: We analyze the geometry of some $p$-adic Deligne--Lusztig spaces $X_w(b)$ introduced in [Iva21] attached to an unramified reductive group ${\bf G}$ over a non-archimedean local field. We prove that when ${\bf G}$ is classical, $b$ basic and $w$ Coxeter, $X_w(b)$ decomposes as a disjoint union of translates of a certain integral $p$-adic Deligne--Lusztig space. Along the way we extend some observations of DeBacker and Reeder on rational conjugacy classes of unramified tori to the case of extended pure inner forms, and prove a loop version of Frobenius-twisted Steinberg's cross section.


title: Novel split quality measures for stratified multilabel Cross Validation with application to large and sparse gene ontology datasets

abstract: Multilabel learning is an important topic in machine learning research. Evaluating models in multilabel settings requires specific cross validation methods designed for multilabel data. In this article, we show that the most widely used cross validation split quality measures do not behave adequately with multilabel data that has strong class imbalance. We present improved measures and an algorithm, optisplit, for optimising cross validations splits. We present an extensive comparison of various types of cross validation methods in which we show that optisplit produces more even cross validation splits than the existing methods and that it is fast enough to be used on big Gene Ontology (GO) datasets.


title: System size and energy dependence of resonance production in ALICE

abstract: Hadronic resonances, thanks to their relatively short lifetimes, can be used to probe the properties of the hadronic phase in ultrarelativistic heavy-ion collisions. In particular their lifetimes are exploited to investigate the interplay between particle rescattering and regeneration after hadronization. In this contribution we present recent results on $\rho(770)^0$, $K^{*}$(892), $\phi$(1020), $\Sigma$(1385)$^{\pm}$, $\Xi(1530)^{0}$ and $\Lambda(1520)$ production in pp, p$-$Pb, Pb$-$Pb and Xe$-$Xe collisions at LHC energies.


title: Rotobreathers in a chain of coupled elastic rotators

abstract: Rotobreathers in the chain of coupled linearly elastic rotators are analyzed. Each rotator is a particle connected by a massless elastic rod with a frictionless pivot; it has two degrees of freedom, length and angle of rotation. The rods of the rotators and the elastic bonds between the nearest rotators are linearly elastic, and the nonlinearity of the system is of a purely geometric nature. It is shown that long-lived rotobreathers can exist if the stiffness of the rods is high enough to create a relatively wide gap in the phonon spectrum of the chain. The frequency of angular rotation of the rotobreather cannot be above the optical band of the phonon spectrum and is in the spectrum gap. Generally speaking, the rotation of the rotobreather is accompanied by radial oscillations, however, one can choose such initial conditions so that the radial oscillations are minimal. Some parameters of rotobreathers with minimal radial vibrations are presented on the basis of numerical simulations. The results obtained qualitatively describe the behavior of physical systems with coupled rotators.


title: Application of robust control for CSR formalization and stakeholders interest

abstract: In this paper, we propose a new definition of sustainability that includes dynamics and equity. We propose a theoretical framework that allows finding a fair equilibrium and sustainable strategies for all stakeholders. The goal is to propose a strategy such that in the long run the attributes get close to an equilibrium point which is Pareto-optimal for the stakeholders. In order to calculate a strategy, we model stakeholders and actors as dynamical systems in state-space form. Furthermore, we use robust control and linear matrix inequalities (LMIs) to calculate the desired feedback strategy. We use several simulation scenarios to show the effectiveness of our proposed framework.


title: Smooth Surfaces via Nets of Geodesics

abstract: The goal of this study is to provide a method for computing the following: Given a network of curves in 3d (satisfying a condition at the intersection points), compute efficiently a smooth surface such that the curves are geodesics on it. This work can serve as a base for engineers who wish to implement computations of such surfaces in Computer Aided Design (CAD) software or other applications. The motivation for this study was the following hypothesis and observation together with the desire to improve CAD interfaces. The hypothesis and observation is that artists draw projections of geodesics to illustrate 3d objects: for example projections of nets of curves can be seen in drawings of Rembrandt. In addition, this observation is supported by research in cognitive sciences: in a seminal work by the late David Knill he suggested that the human visual system incorporates a geodesic constraint in the processing of reflected contours.


title: Multifunctorial Inverse $K$-Theory

abstract: We show that Mandell's inverse $K$-theory functor is a categorically-enriched non-symmetric multifunctor. In particular, it preserves algebraic structures parametrized by non-symmetric operads. As applications, we describe how ring categories arise as the images of inverse $K$-theory.


title: Beam-Plasma Dynamics in Finite-Length, Collisionless Inhomogeneous Systems

abstract: This study investigates the streaming instability triggered by ion motion in a plasma system that is finite in length, collisionless, and inhomogeneous. Employing numerical simulations using Particle-In-Cell (PIC) techniques and kinetic equations, the study examines how inhomogeneity emerges from integrating a cold ion beam with a background plasma within a confined system. The findings suggest that steady ion flow can modify ion sound waves through acoustic reflections from system boundaries, leading to instability. Such phenomena are known to be a hydrodynamic effect. However, there are also signatures of the beam-driven ion sound instability where kinetic resonances play a pivotal role. The main objective is to understand the impact of a finite-length system on beam-plasma instability and to identify the wave modes supported in such configurations.


title: Wavelet methods in partial differential equations on spheres

abstract: We propose a method of solving partial differential equations on the $n$-dimen\-sional unit sphere with methods based on the continuous wavelet transform derived from approximate identities.


title: Relating the Partial Dependence Plot and Permutation Feature Importance to the Data Generating Process

abstract: Scientists and practitioners increasingly rely on machine learning to model data and draw conclusions. Compared to statistical modeling approaches, machine learning makes fewer explicit assumptions about data structures, such as linearity. However, their model parameters usually cannot be easily related to the data generating process. To learn about the modeled relationships, partial dependence (PD) plots and permutation feature importance (PFI) are often used as interpretation methods. However, PD and PFI lack a theory that relates them to the data generating process. We formalize PD and PFI as statistical estimators of ground truth estimands rooted in the data generating process. We show that PD and PFI estimates deviate from this ground truth due to statistical biases, model variance and Monte Carlo approximation errors. To account for model variance in PD and PFI estimation, we propose the learner-PD and the learner-PFI based on model refits, and propose corrected variance and confidence interval estimators.


title: A multi-frequency sampling method for the inverse source problems with sparse measurements

abstract: We consider the inverse source problems with multi-frequency sparse near field measurements. In contrast to the existing near field operator based on the integral over the space variable, a multi-frequency near field operator is introduced based on the integral over the frequency variable. A factorization of this multi-frequency near field operator is further given and analysed. Motivated by such a factorization, we introduce a multi-frequency sampling method to reconstruct the source support. Its theoretical foundation is then derived from the properties of the factorized operators and a properly chosen point spread function. Numerical examples are provided to illustrate the multi-frequency sampling method with sparse near field measurements. Finally we briefly discuss how to extend the near field case to the far field case.


title: Chekanov torus and Gelfand--Zeitlin torus in $S^2 \times S^2$

abstract: The Chekanov torus was the first known \emph{exotic} torus, a monotone Lagrangian torus that is not Hamiltonian isotopic to the standard monotone Lagrangian torus. We explore the relationship between the Chekanov torus in $S^2 \times S^2$ and a monotone Lagrangian torus which had been introduced before Chekanov's construction \cite{Chekanov}. We prove that the monotone Lagrangian torus fiber in a certain Gelfand--Zeitlin system is Hamiltonian isotopic to the Chekanov torus in $S^2 \times S^2$.


title: Deliberative Democracy with Dilutive Voting Power Sharing

abstract: We present a deliberation model where a group of individuals with heterogeneous preferences iteratively forms expert committees whose members are tasked with the updating of an exogenously given status quo change proposal. Every individual holds some initial voting power that is represented by a finite amount of indivisible units with some underlying value. Iterations happen in three stages. In the first stage, everyone decides which units to keep for themselves and where to distribute the rest. With every ownership mutation, a unit's underlying value diminishes by some exogenously given amount. In the second stage, the deliberative committee is formed by the individuals with the most accumulated voting power. These experts can author corrections to the proposal which are proportional to their accumulated power. In the third stage, if an individual outside of the committee disagrees with a correction, she can vote against it with their remaining voting power. A correction is discarded if more than half of the total voting power outside of the committee is against it. If either the committee or the proposal remain unchanged for two consecutive iterations, the process stops. We show that this will happen in finite time.


title: Measuring higher-order photon correlations of faint quantum light: a short review

abstract: Normalized correlation functions provide expedient means for determining the photon-number properties of light. These higher-order moments, also called the normalized factorial moments of photon number, can be utilized both in the fast state classification and in-depth state characterization. Further, non-classicality criteria have been derived based on their properties. Luckily, the measurement of the normalized higher-order moments is often loss-independent making their observation with lossy optical setups and imperfect detectors experimentally appealing. The normalized higher-order moments can for example be extracted from the photon-number distribution measured with a true photon-number-resolving detector or accessed directly via manifold coincidence counting in the spirit of the Hanbury Brown and Twiss experiment. Alternatively, they can be inferred via homodyne detection. Here, we provide an overview of different kind of state classification and characterization tasks that take use of normalized higher-order moments and consider different aspects in measuring them with free-traveling light.


title: Metastable quantum entrainment

abstract: Quantum van der Pol oscillators are driven-dissipative systems displaying quantum synchronization phenomena. When forced by a squeezed drive, the frequency adjusts to half of the forcing displaying multiple preferred phases. Here we analyze the physical origin of this entrained response, establishing a connection with metastability in open quantum systems. We report a dynamical regime characterized by a huge separation of time scales, in which a dynamical mode displays a lifetime that can be orders of magnitude larger than the rest. In this regime, the long-time dynamics is captured by an incoherent process between two metastable states, which correspond to the preferred phases of the synchronized oscillator. In fact, we show that quantum entrainment is here characterized by fluctuations driving an incoherent process between two metastable phases, which ultimately limits its temporal coherence when moving into the quantum regime. Finally, we discuss connections with the phenomena of dissipative phase transitions and transient synchronization in open quantum systems.


title: Continuous Tasks and the Chromatic Simplicial Approximation Theorem

abstract: The celebrated 1999 Asynchronous Computability Theorem (ACT) of Herlihy and Shavit characterized the distributed tasks that are wait-free solvable, and thus uncovered a deep connection with algebraic topology. We present a novel interpretation of this theorem, through the notion of continuous task, defined by an input/output specification that is a continuous function. To do so, we introduce a chromatic version of a foundational result for algebraic topology: the simplicial approximation theorem. In addition to providing a different proof of the ACT, the notion of continuous task seems interesting in itself. Indeed, besides the fact that certain distributed problems are naturally specified by continuous functions, continuous tasks have an expressive power that also allows to specify the density of desired outputs for each combination of possible inputs,for example.


title: The LSPE-Strip beams

abstract: In this paper we describe the design and characterization of the optical system of LSPE/Strip, a coherent polarimeter array that will observe the microwave sky from the Teide Observatory in Tenerife in two frequency bands centred at 43 and 95 GHz through a dual-reflector crossed-Dragone telescope of 1.5 m aperture. In general, optical systems composed by a telescopefeed array assembly have non-idealities that might limit their ability to perform high-precision measurements. It is thus necessary to understand, characterize and properly control these systematic effects. For this reason, we performed electromagnetic simulations to characterize angular resolution, sidelobes, main beam symmetry, polarization purity and feedhorns orientation. The results presented in this paper will be an essential input for further optical studies and for the LSPE/Strip data analysis. Ultimately, they will be used to assess the impact of optical systematic effects on the scientific results.


title: Style Transfer based Coronary Artery Segmentation in X-ray Angiogram

abstract: X-ray coronary angiography (XCA) is a principal approach employed for identifying coronary disorders. Deep learning-based networks have recently shown tremendous promise in the diagnosis of coronary disorder from XCA scans. A deep learning-based edge adaptive instance normalization style transfer technique for segmenting the coronary arteries, is presented in this paper. The proposed technique combines adaptive instance normalization style transfer with the dense extreme inception network and convolution block attention module to get the best artery segmentation performance. We tested the proposed method on two publicly available XCA datasets, and achieved a segmentation accuracy of 0.9658 and Dice coefficient of 0.71. We believe that the proposed method shows that the prediction can be completed in the fastest time with training on the natural images, and can be reliably used to diagnose and detect coronary disorders.


title: Early Detection of Retinopathy of Prematurity stage using Deep Learning approach

abstract: Retinopathy of Prematurity (ROP) is a fibrovascular proliferative disorder, which affects the developing peripheral retinal vasculature of premature infants. Early detection of ROP is possible in stage 1 and stage 2 characterized by demarcation line and ridge with width, which separates vascularised retina and the peripheral retina. To detect demarcation line/ ridge from neonatal retinal images is a complex task because of low contrast images. In this paper we focus on detection of ridge, the important landmark in ROP diagnosis, using Convolutional Neural Network(CNN). Our contribution is to use a CNN-based model Mask R-CNN for demarcation line/ridge detection allowing clinicians to detect ROP stage 2 better. The proposed system applies a pre-processing step of image enhancement to overcome poor image quality. In this study we use labelled neonatal images and we explore the use of CNN to localize ridge in these images. We used a dataset of 220 images of 45 babies from the KIDROP project. The system was trained on 175 retinal images with ground truth segmentation of ridge region. The system was tested on 45 images and reached detection accuracy of 0.88, showing that deep learning detection with pre-processing by image normalization allows robust detection of ROP in early stages.


title: The Impact of Algorithmic Risk Assessments on Human Predictions and its Analysis via Crowdsourcing Studies

abstract: As algorithmic risk assessment instruments (RAIs) are increasingly adopted to assist decision makers, their predictive performance and potential to promote inequity have come under scrutiny. However, while most studies examine these tools in isolation, researchers have come to recognize that assessing their impact requires understanding the behavior of their human interactants. In this paper, building off of several recent crowdsourcing works focused on criminal justice, we conduct a vignette study in which laypersons are tasked with predicting future re-arrests. Our key findings are as follows: (1) Participants often predict that an offender will be rearrested even when they deem the likelihood of re-arrest to be well below 50%; (2) Participants do not anchor on the RAI's predictions; (3) The time spent on the survey varies widely across participants and most cases are assessed in less than 10 seconds; (4) Judicial decisions, unlike participants' predictions, depend in part on factors that are orthogonal to the likelihood of re-arrest. These results highlight the influence of several crucial but often overlooked design decisions and concerns around generalizability when constructing crowdsourcing studies to analyze the impacts of RAIs.