title: Uncovering Interpretable Internal States of Merging Tasks at Highway On-Ramps for Autonomous Driving Decision-Making

abstract: Humans make daily routine decisions based on their internal states in intricate interaction scenarios. This paper presents a probabilistically reconstructive learning approach to identify the internal states of multi-vehicle sequential interactions when merging at highway on-ramps. We treated the merging task's sequential decision as a dynamic, stochastic process and then integrated the internal states into an HMM-GMR model, a probabilistic combination of an extended Gaussian mixture regression (GMR) and hidden Markov models (HMM). We also developed a variant expectation-maximum (EM) algorithm to estimate the model parameters and verified it based on a real-world data set. Experiment results reveal that three interpretable internal states can semantically describe the interactive merge procedure at highway on-ramps. This finding provides a basis to develop an efficient model-based decision-making algorithm for autonomous vehicles (AVs) in a partially observable environment.


title: When symmetries are enough: collapsing the bounded width hierarchy for infinite-domain CSPs

abstract: We prove that relational structures admitting specific polymorphisms (namely, canonical pseudo-WNU operations of all arities $n \geq 3$) have low relational width. This implies a collapse of the bounded width hierarchy for numerous classes of infinite-domain CSPs studied in the literature. Moreover, we obtain a characterization of bounded width for first-order reducts of unary structures and a characterization of MMSNP sentences that are equivalent to a Datalog program, answering a question posed by Bienvenu, ten Cate, Lutz, and Wolter. In particular, the bounded width hierarchy collapses in those cases as well. Our results extend the scope of theorems of Barto and Kozik characterizing bounded width for finite structures, and show the applicability of infinite-domain CSPs to other fields.


title: Angular-Dependent Dynamic Response and Magnetization Reversal in Fibonacci-Distorted, Kagome Artificial Spin Ice

abstract: We have measured the angular dependence of ferromagnetic resonance (FMR) spectra for Fibonacci-distorted, Kagome artificial spin ice (ASI). The number of strong modes in the FMR spectra depend on the orientation of the applied DC magnetic field. In addition, discontinuities observed in the FMR field-frequency dispersion curves also depend on DC field orientation, and signal a multi-step DC magnetization reversal, which is caused by the reduced energy degeneracy of Fibonacci-distorted vertices. The results suggest the orientation of applied magnetic field and severity of Fibonacci distortion constitute control variables for FMR modes and multi-step reversal in future magnonic devices and magnetic switching systems.


title: Low-depth Quantum State Preparation

abstract: A crucial subroutine in quantum computing is to load the classical data of $N$ complex numbers into the amplitude of a superposed $n=\lceil \log_2N\rceil$-qubit state. It has been proven that any algorithm universally implementing this subroutine would need at least $\mathcal O(N)$ constant weight operations. However, the proof assumes that only $n$ qubits are used, whereas the circuit depth could be reduced by extending the space and allowing ancillary qubits. Here we investigate this space-time tradeoff in quantum state preparation with classical data. We propose quantum algorithms with $\mathcal O(n^2)$ circuit depth to encode any $N$ complex numbers using only single-, two-qubit gates and local measurements with ancillary qubits. Different variances of the algorithm are proposed with different space and runtime. In particular, we present a scheme with $\mathcal O(N^2)$ ancillary qubits, $\mathcal O(n^2)$ circuit depth, and $\mathcal O(n^2)$ average runtime, which exponentially improves the conventional bound. While the algorithm requires more ancillary qubits, it consists of quantum circuit blocks that only simultaneously act on a constant number of qubits and at most $\mathcal O(n)$ qubits are entangled. We also prove a fundamental lower bound $\mit\Omega(n)$ for the minimum circuit depth and runtime with arbitrary number of ancillary qubits, aligning with our scheme with $\mathcal O(n^2)$. The algorithms are expected to have wide applications in both near-term and universal quantum computing.


title: Full state approximation by Galerkin projection reduced order models for stochastic and bilinear systems

abstract: In this paper, the problem of full state approximation by model reduction is studied for stochastic and bilinear systems. Our proposed approach relies on identifying the dominant subspaces based on the reachability Gramian of a system. Once the desired subspace is computed, the reduced order model is then obtained by a Galerkin projection. We prove that, in the stochastic case, this approach either preserves mean square asymptotic stability or leads to reduced models whose minimal realization is mean square asymptotically stable. This stability preservation guarantees the existence of the reduced system reachability Gramian which is the basis for the full state error bounds that we derive. This error bound depends on the neglected eigenvalues of the reachability Gramian and hence shows that these values are a good indicator for the expected error in the dimension reduction procedure. Subsequently, we establish the stability preservation result and the error bound for a full state approximation to bilinear systems in a similar manner. These latter results are based on a recently proved link between stochastic and bilinear systems. We conclude the paper by numerical experiments using a benchmark problem. We compare this approach with balanced truncation and show that it performs well in reproducing the full state of the system. \end{abstract}


title: On the foundations and extremal structure of the holographic entropy cone

abstract: The holographic entropy cone (HEC) is a polyhedral cone first introduced in the study of a class of quantum entropy inequalities. It admits a graph-theoretic description in terms of minimum cuts in weighted graphs, a characterization which naturally generalizes the cut function for complete graphs. Unfortunately, no complete facet or extreme-ray representation of the HEC is known. In this work, starting from a purely graph-theoretic perspective, we develop a theoretical and computational foundation for the HEC. The paper is self-contained, giving new proofs of known results and proving several new results as well. These are also used to develop two systematic approaches for finding the facets and extreme rays of the HEC, which we illustrate by recomputing the HEC on $5$ terminals and improving its graph description. We also report on some partial results for $6$ terminals. Some interesting open problems are stated throughout.


title: The corruptive force of AI-generated advice

abstract: Artificial Intelligence (AI) is increasingly becoming a trusted advisor in people's lives. A new concern arises if AI persuades people to break ethical rules for profit. Employing a large-scale behavioural experiment (N = 1,572), we test whether AI-generated advice can corrupt people. We further test whether transparency about AI presence, a commonly proposed policy, mitigates potential harm of AI-generated advice. Using the Natural Language Processing algorithm, GPT-2, we generated honesty-promoting and dishonesty-promoting advice. Participants read one type of advice before engaging in a task in which they could lie for profit. Testing human behaviour in interaction with actual AI outputs, we provide first behavioural insights into the role of AI as an advisor. Results reveal that AI-generated advice corrupts people, even when they know the source of the advice. In fact, AI's corrupting force is as strong as humans'.


title: CHARET: Character-centered Approach to Emotion Tracking in Stories

abstract: Autonomous agents that can engage in social interactions witha human is the ultimate goal of a myriad of applications. A keychallenge in the design of these applications is to define the socialbehavior of the agent, which requires extensive content creation.In this research, we explore how we can leverage current state-of-the-art tools to make inferences about the emotional state ofa character in a story as events unfold, in a coherent way. Wepropose a character role-labelling approach to emotion tracking thataccounts for the semantics of emotions. We show that by identifyingactors and objects of events and considering the emotional stateof the characters, we can achieve better performance in this task,when compared to end-to-end approaches.


title: Piezoelectric beam with magnetic effect, time-varying delay and time-varying weights

abstract: The main result of this work is to obtain the exponential decay of the solutions of a piezoelectric beam model with magnetic effect and delay term. The dampings are inserted into the equation of longitudinal displacement. The terms of damping, whose weight associated with them varies over time, are of the friction type, and one of them has delay. This work will also address the issue of existence and uniqueness of solution for the model.


title: Crowdsourcing Parallel Corpus for English-Oromo Neural Machine Translation using Community Engagement Platform

abstract: Even though Afaan Oromo is the most widely spoken language in the Cushitic family by more than fifty million people in the Horn and East Africa, it is surprisingly resource-scarce from a technological point of view. The increasing amount of various useful documents written in English language brings to investigate the machine that can translate those documents and make it easily accessible for local language. The paper deals with implementing a translation of English to Afaan Oromo and vice versa using Neural Machine Translation. But the implementation is not very well explored due to the limited amount and diversity of the corpus. However, using a bilingual corpus of just over 40k sentence pairs we have collected, this study showed a promising result. About a quarter of this corpus is collected via Community Engagement Platform (CEP) that was implemented to enrich the parallel corpus through crowdsourcing translations.


title: Controlling Domain-Wall Nucleation in Ta/CoFeB/MgO Nanomagnets via Local Ga+ Ion Irradiation

abstract: Comprehensive control of the domain wall nucleation process is crucial for spin-based emerging technologies ranging from random-access and storage-class memories over domain-wall logic concepts to nanomagnetic logic. In this work, focused Ga+ ion-irradiation is investigated as an effective means to control domain-wall nucleation in Ta/CoFeB/MgO nanostructures. We show that analogously to He+ irradiation, it is not only possible to reduce the perpendicular magnetic anisotropy but also to increase it significantly, enabling new, bidirectional manipulation schemes. First, the irradiation effects are assessed on film level, sketching an overview of the dose-dependent changes in the magnetic energy landscape. Subsequent time-domain nucleation characteristics of irradiated nanostructures reveal substantial increases in the anisotropy fields but surprisingly small effects on the measured energy barriers, indicating shrinking nucleation volumes. Spatial control of the domain wall nucleation point is achieved by employing focused irradiation of pre-irradiated magnets, with the diameter of the introduced circular defect controlling the coercivity. Special attention is given to the nucleation mechanisms, changing from a Stoner-Wohlfarth particle's coherent rotation to depinning from an anisotropy gradient. Dynamic micromagnetic simulations and related measurements are used in addition to model and analyze this depinning-dominated magnetization reversal.


title: WGAN with an Infinitely Wide Generator Has No Spurious Stationary Points

abstract: Generative adversarial networks (GAN) are a widely used class of deep generative models, but their minimax training dynamics are not understood very well. In this work, we show that GANs with a 2-layer infinite-width generator and a 2-layer finite-width discriminator trained with stochastic gradient ascent-descent have no spurious stationary points. We then show that when the width of the generator is finite but wide, there are no spurious stationary points within a ball whose radius becomes arbitrarily large (to cover the entire parameter space) as the width goes to infinity.


title: High-Dimensional Gaussian Process Inference with Derivatives

abstract: Although it is widely known that Gaussian processes can be conditioned on observations of the gradient, this functionality is of limited use due to the prohibitive computational cost of $\mathcal{O}(N^3 D^3)$ in data points $N$ and dimension $D$. The dilemma of gradient observations is that a single one of them comes at the same cost as $D$ independent function evaluations, so the latter are often preferred. Careful scrutiny reveals, however, that derivative observations give rise to highly structured kernel Gram matrices for very general classes of kernels (inter alia, stationary kernels). We show that in the low-data regime $N<D$, the Gram matrix can be decomposed in a manner that reduces the cost of inference to $\mathcal{O}(N^2D + (N^2)^3)$ (i.e., linear in the number of dimensions) and, in special cases, to $\mathcal{O}(N^2D + N^3)$. This reduction in complexity opens up new use-cases for inference with gradients especially in the high-dimensional regime, where the information-to-cost ratio of gradient observations significantly increases. We demonstrate this potential in a variety of tasks relevant for machine learning, such as optimization and Hamiltonian Monte Carlo with predictive gradients.


title: Outlier removal for isogeometric spectral approximation with the optimally-blended quadratures

abstract: It is well-known that outliers appear in the high-frequency region in the approximate spectrum of isogeometric analysis of the second-order elliptic operator. Recently, the outliers have been eliminated by a boundary penalty technique. The essential idea is to impose extra conditions arising from the differential equation at the domain boundary. In this paper, we extend the idea to remove outliers in the superconvergent approximate spectrum of isogeometric analysis with optimally-blended quadrature rules. We show numerically that the eigenvalue errors are of superconvergence rate $h^{2p+2}$ and the overall spectrum is outlier-free. The condition number and stiffness of the resulting algebraic system are reduced significantly. Various numerical examples demonstrate the performance of the proposed method.


title: Biases in parameter estimation from overlapping gravitational-wave signals in the third generation detector era

abstract: In the past few years, the detection of gravitational waves from compact binary coalescences with the Advanced LIGO and Advanced Virgo detectors has become routine. Future observatories will detect even larger numbers of gravitational-wave signals, which will also spend a longer time in the detectors' sensitive band. This will eventually lead to overlapping signals, especially in the case of Einstein Telescope (ET) and Cosmic Explorer (CE). Using realistic distributions for the merger rate as a function of redshift as well as for component masses in binary neutron star and binary black hole coalescences, we map out how often signal overlaps of various types will occur in an ET-CE network over the course of a year. We find that a binary neutron star signal will typically have tens of overlapping binary black hole and binary neutron star signals. Moreover, it will happen up to tens of thousands of times per year that two signals will have their end times within seconds of each other. In order to understand to what extent this would lead to measurement biases with current parameter estimation methodology, we perform injection studies with overlapping signals from binary black hole and/or binary neutron star coalescences. Varying the signal-to-noise ratios, the durations of overlap, and the kinds of overlapping signals, we find that in most scenarios the intrinsic parameters can be recovered with negligible bias. However, biases do occur for a short binary black hole or a quieter binary neutron star signal overlapping with a long and louder binary neutron star event when the merger times are sufficiently close. Hence our studies show where improvements are required to ensure reliable estimation of source parameters for all detected compact binary signals as we go from second-generation to third-generation detectors.


title: Data-driven Analysis for Understanding Team Sports Behaviors

abstract: Understanding the principles of real-world biological multi-agent behaviors is a current challenge in various scientific and engineering fields. The rules regarding the real-world biological multi-agent behaviors such as team sports are often largely unknown due to their inherently higher-order interactions, cognition, and body dynamics. Estimation of the rules from data, i.e., data-driven approaches such as machine learning, provides an effective way for the analysis of such behaviors. Although most data-driven models have non-linear structures and high prediction performances, it is sometimes hard to interpret them. This survey focuses on data-driven analysis for quantitative understanding of invasion team sports behaviors such as basketball and football, and introduces two main approaches for understanding such multi-agent behaviors: (1) extracting easily interpretable features or rules from data and (2) generating and controlling behaviors in visually-understandable ways. The first approach involves the visualization of learned representations and the extraction of mathematical structures behind the behaviors. The second approach can be used to test hypotheses by simulating and controlling future and counterfactual behaviors. Lastly, the potential practical applications of extracted rules, features, and generated behaviors are discussed. These approaches can contribute to a better understanding of multi-agent behaviors in the real world.


title: Motives of moduli spaces of rank 3 vector bundles and Higgs bundles on a curve

abstract: We prove formulas for the rational Chow motives of moduli spaces of semistable vector bundles and Higgs bundles of rank 3 and coprime degree on a smooth projective curve. Our approach involves identifying criteria to lift identities in (a completion of) the Grothendieck group of effective Chow motives to isomorphisms in the category of Chow motives. For the Higgs moduli space, we use motivic Bialynicki-Birula decompositions associated to a scaling action with variation of stability and wall-crossing for moduli spaces of rank 2 pairs, which occur in the fixed locus of this action.


title: Proper p-harmonic functions and harmonic morphisms on the classical non-compact semi-Riemannian Lie groups

abstract: We apply the method of eigenfamilies to construct new explicit complex-valued p-harmonic functions on the non-compact classical Lie groups, equipped with their natural semi-Riemannian metrics. We then employ this same approach to manufacture explicit complex-valued harmonic morphisms on these groups.


title: Player-Centered AI for Automatic Game Personalization: Open Problems

abstract: Computer games represent an ideal research domain for the next generation of personalized digital applications. This paper presents a player-centered framework of AI for game personalization, complementary to the commonly used system-centered approaches. Built on the Structure of Actions theory, the paper maps out the current landscape of game personalization research and identifies eight open problems that need further investigation. These problems require deep collaboration between technological advancement and player experience design.


title: Transition region adaptive conduction (TRAC) in multidimensional magnetohydrodynamic simulations

abstract: In solar physics, a severe numerical challenge for modern simulations is properly representing a transition region between the million-degree hot corona and a much cooler plasma of about 10000 K (e.g., the upper chromosphere or a prominence). In previous 1D hydrodynamic simulations, the transition region adaptive conduction (TRAC) method has been proven to capture aspects better that are related to mass evaporation and energy exchange. We aim to extend this method to fully multidimensional magnetohydrodynamic (MHD) settings, as required for any realistic application in the solar atmosphere. Because modern MHD simulation tools efficiently exploit parallel supercomputers and can handle automated grid refinement, we design strategies for any-dimensional block grid-adaptive MHD simulations. We propose two different strategies and demonstrate their working with our open-source MPI-AMRVAC code. We benchmark both strategies on 2D prominence formation based on the evaporation--condensation scenario, where chromospheric plasma is evaporated through the transition region and then is collected and ultimately condenses in the corona. A field-line-based TRACL method and a block-based TRACB method are introduced and compared in block grid-adaptive 2D MHD simulations. Both methods yield similar results and are shown to satisfactorily correct the underestimated chromospheric evaporation, which comes from a poor spatial resolution in the transition region. Because fully resolving the transition region in multidimensional MHD settings is virtually impossible, TRACB or TRACL methods will be needed in any 2D or 3D simulations involving transition region physics.


title: Revealing the phase space structure of Hamiltonian systems using the action

abstract: In this work, we analyse the properties of the Maupertuis' action as a tool to reveal the phase space structure for Hamiltonian systems. We construct a scalar field with the action's values along the trajectories in the phase space. The different behaviour of the trajectories around important phase space objects like unstable periodic orbits, their stable and unstable manifolds, and KAM islands generate characteristic patterns on the scalar field constructed with the action. Using these different patterns is possible to identify the skeleton of the phase space and understand the dynamics. Also, we present a simple argument based on the conservation of the energy and the behaviour of the trajectories to understand the values of their actions. In order to show how this tool reveals the phase space structures and its effectiveness, we compare the scalar field constructed with the actions with Poincare maps for the same set of initial conditions in the phase space of an open Hamiltonian system with 2 degrees of freedom.


title: Optimal quadrature formulas for computing of Fourier integrals in a Hilbert space

abstract: In the present paper the optimal quadrature formulas in the sense of Sard are constructed for numerical integration of the integral $\int_a^b e^{2\pi i\omega x}\varphi(x)d x$ with $\omega\in \mathbb{R}$ in the Hilbert space $W_2^{(2,1)}[a,b]$ of complex-valued functions. Furthermore, the explicit expressions for coefficients of the constructed optimal quadrature formulas are obtained. At the end of the paper some numerical results are presented.


title: Topological defect states in elastic phononic plates

abstract: Topological defects (including disclinations and dislocations) which commonly exist in various materials have shown an amazing ability to produce excellent mechanical and physical properties of matters. In this paper, disclinations and dislocations are firstly introduced into the valley-polarized elastic phononic plate. Deformation of the lattice yields the interface expressing as the topologically protected wave guiding, due to the valley-polarized phase transition of phononic crystals (PnCs) across the interface. Then, disclinations are introduced into the Wannier-type elastic phononic plate. The deformation of the lattice yielded by disclinations produces a pentagonal core with the local five-fold symmetry. The topological bound states are well localized around the boundaries of the pentagonal cores with and without the hollow regions. The topological interface state and the topological bound state immunize against the finite sizes and the moderate disturbances of plates, essentially differing from the trivial defect states. The discovery of topological defect states unveils a new horizon in topological mechanics and physics, and it provides a novel platform to implement large-scale elastic devices with robust topological waveguides and resonators.


title: Local regularity for concave homogeneous complex degenerate elliptic equations comparable to the Monge-Amp\`ere equation

abstract: In this paper, we establish a local regularity result for $W^{2,p}_{\mathrm{loc}}$ solutions to complex degenerate nonlinear elliptic equations $F(D^2_{\mathbb{C}} u)=f$ when they are comparable to the Monge-Amp\`ere equation. Notably, we apply our result to the so-called $k$-Monge-Amp\`ere equation.


title: A categorification of the Cartan-Eilenberg formula

abstract: We prove a categorification of the stable elements formula of Cartan and Eilenberg. Our formula expresses the derived category and the stable module category of a group as a bilimit of the corresponding categories for the $p$-subgroups.


title: Weight-preserving bijections between integer partitions and a class of alternating sign trapezoids

abstract: We construct weight-preserving bijections between column strict shifted plane partitions with one row and alternating sign trapezoids with exactly one column in the left half that sums to $1$. Amongst other things, they relate the number of $-1$s in the alternating sign trapezoids to certain elements in the column strict shifted plane partitions that generalise the notion of special parts in descending plane partitions. The advantage of these bijections is that they include configurations with $-1$s, which is a feature that many of the bijections in the realm of alternating sign arrays lack.


title: Gaussian distributions on Riemannian symmetric spaces in the large N limit

abstract: We consider Gaussian distributions on certain Riemannian symmetric spaces. In contrast to the Euclidean case, it is challenging to compute the normalization factors of such distributions, which we refer to as partition functions. In some cases, such as the space of Hermitian positive definite matrices or hyperbolic space, it is possible to compute them exactly using techniques from random matrix theory. However, in most cases which are important to applications, such as the space of symmetric positive definite (SPD) matrices or the Siegel domain, this is only possible numerically. Moreover, when we consider, for instance, high-dimensional SPD matrices, the known algorithms for computing partition functions can become exceedingly slow. Motivated by notions from theoretical physics, we will discuss how to approximate the partition functions in the large $N$ limit: an approximation that gets increasingly better as the dimension of the underlying symmetric space (more precisely, its rank) gets larger. We will give formulas for leading order terms in the case of SPD matrices and related spaces. Furthermore, we will characterize the large $N$ limit of the Siegel domain through a singular integral equation arising as a saddle-point equation.


title: Patterning enhanced tetragonality in BiFeO3 thin films with effective negative pressure by helium implantation

abstract: Helium implantation in epitaxial thin films is a way to control the out-of-plane deformation independently from the in-plane strain controlled by epitaxy. In particular, implantation by means of a helium microscope allows for local implantation and patterning down to the nanometer resolution, which is of interest for device applications. We present here a study of bismuth ferrite (BiFeO3) films where strain was patterned locally by helium implantation. Our combined Raman, XRD and TEM study shows that the implantation causes an elongation of the BiFeO3 unit cell and ultimately a transition towards the so-called super-tetragonal polymorph via states with mixed phases. In addition, TEM reveals the onset of amorphization at a threshold dose that does not seem to impede the overall increase in tetragonality. The phase transition from the R-like to T-like BiFeO3 appears as first-order in character, with regions of phase coexistence and abrupt changes in lattice parameters.


title: Maximum Principle and principal eigenvalue in unbounded domains under general boundary conditions

abstract: This paper investigates the link between the Maximum Principle and the sign of the (generalized) principal eigenvalue for elliptic operators in unbounded domains. Our approach covers the cases of Dirichlet, Neumann, and (indefinite) Robin boundary conditions and treat them in a unified way. For a certain class of elliptic operators (including the class of selfadjoint operators), we establish that the positivity of the principal eigenvalue is a necessary and sufficient condition for the validity of the Maximum Principle. If the principal eigenvalue is zero, no general answer holds; instead, under a natural condition on the domain's size at infinity, we show that the operator satisfies what we call the Critical Maximum Principle. We also address the question of the simplicity of the principal eigenvalue, and a series of counterexamples is proposed to disprove some possible misconceptions. Our main results are new even for the more classical cases of Dirichlet boundary conditions and selfadjoint operators.


title: Certifiably Robust Variational Autoencoders

abstract: We introduce an approach for training Variational Autoencoders (VAEs) that are certifiably robust to adversarial attack. Specifically, we first derive actionable bounds on the minimal size of an input perturbation required to change a VAE's reconstruction by more than an allowed amount, with these bounds depending on certain key parameters such as the Lipschitz constants of the encoder and decoder. We then show how these parameters can be controlled, thereby providing a mechanism to ensure \textit{a priori} that a VAE will attain a desired level of robustness. Moreover, we extend this to a complete practical approach for training such VAEs to ensure our criteria are met. Critically, our method allows one to specify a desired level of robustness \emph{upfront} and then train a VAE that is guaranteed to achieve this robustness. We further demonstrate that these Lipschitz--constrained VAEs are more robust to attack than standard VAEs in practice.


title: Bounds for the extremal eigenvalues of gain Laplacian matrices

abstract: A complex unit gain graph ($\mathbb{T}$-gain graph), $\Phi = (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $\Phi$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs. The adjacency matrix of $\Phi$, denoted by $ \mathbf{A}(\Phi)$ is defined canonically. The gain Laplacian for $\Phi$ is defined as $\mathbf{L}(\Phi) = \mathbf{D}(\Phi) - \mathbf{A}(\Phi)$, where $\mathbf{D}(\Phi)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $\Phi$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(\Phi)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(\Phi)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erd\H{o}s-Re\'yni graphs. Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds.


title: Stirling number and periodic points

abstract: We introduce the notion of almost realizability, an arithmetic generalization of realizability for integer sequences, which is the property of counting periodic points for some map. We characterize the intersection between the set of Stirling sequences (of both the first and the second kind) and the set of almost realizable sequences.


title: Higher-Order Space-Time Continuous Galerkin Methods for the Wave Equation

abstract: We consider a space-time variational formulation of the second-order wave equation, where integration by parts is also applied with respect to the time variable. Conforming tensor-product finite element discretisations with piecewise polynomials of this space-time variational formulation require a CFL condition to ensure stability. To overcome this restriction in the case of piecewise multilinear, continuous ansatz and test functions, a stabilisation is well-known, which leads to an unconditionally stable space-time finite element method. In this work, we generalise this stabilisation idea from the lowest-order case to the higher-order case, i.e. to an arbitrary polynomial degree. We give numerical examples for a one-dimensional spatial domain, where the unconditional stability and optimal convergence rates in space-time norms are illustrated.


title: Antiferromagnetic Skyrmion Crystals in the Rashba Hund's Model on Triangular Lattice

abstract: Motivated by the importance of antiferromagnetic skyrmions as building blocks of next-generation data storage and processing devices, we report theoretical and computational analysis of a model for a spin-orbit coupled correlated magnet on a triangular lattice. We find that two distinct antiferromagnetic skyrmion crystal (AF-SkX) states can be stabilized at low temperatures in the presence of external magnetic field. The results are obtained via Monte Carlo simulations on an effective magnetic model derived from the microscopic electronic Hamiltonian consisting of Rashba spin-orbit coupling, as well as the Hund's rule coupling of electrons to large classical spins. The two AF-SkX phases are understood to originate from a classical spin liquid state that exists at low but finite temperatures. These AF-SkX states can be easily distinguished from each other in experiments as they are characterized by peaks at distinct momenta in the spin structure factor which is directly measured in neutron scattering experiments. We also discuss examples of materials where the model as well as the two AF-SkX states can be realized.


title: STruD: Truss Decomposition of Simplicial Complexes

abstract: A simplicial complex is a generalization of a graph: a collection of n-ary relationships (instead of binary as the edges of a graph), named simplices. In this paper, we develop a new tool to study the structure of simplicial complexes: we generalize the graph notion of truss decomposition to complexes, and show that this more powerful representation gives rise to different properties compared to the graph-based one. This power, however, comes with important computational challenges derived from the combinatorial explosion caused by the downward closure property of complexes. Drawing upon ideas from itemset mining and similarity search, we design a memory-aware algorithm, dubbed STruD, which is able to efficiently compute the truss decomposition of a simplicial complex. STruD adapts its behavior to the amount of available memory by storing intermediate data in a compact way. We then devise a variant that computes directly the n simplices of maximum trussness. By applying STruD to several datasets, we prove its scalability, and provide an analysis of their structure. Finally, we show that the truss decomposition can be seen as a filtration, and as such it can be used to study the persistent homology of a dataset, a method for computing topological features at different spatial resolutions, prominent in Topological Data Analysis.


title: Thermal evolution of relativistic hyperonic compact stars with calibrated equations of state

abstract: A set of unified relativistic mean-field equations of state for hyperonic compact stars recently built in [M. Fortin, Ad. R. Raduta, S. Avancini, and C. Providencia, Phys. Rev. D {\bf 101}, 034017 (2020)] is used to study the thermal evolution of non-magnetized and non-rotating spherically-symmetric isolated and accreting neutron stars under different hypothesis concerning proton $S$-wave superfluidity. These equations of state have been obtained in the following way: the slope of the symmetry energy is in agreement with experimental data; the coupling constants of $\Lambda$ and $\Xi$-hyperons are determined from experimental hypernuclear data; uncertainties in the nucleon-$\Sigma$ interaction potential are accounted for; current constraints on the lower bound of the maximum neutron star mass are satisfied. Within the considered set of equations of state, the presence of hyperons is essential for the description of the cooling/heating curves. One of the conclusions we reach is that the criterion of best agreement with observational data leads to different equations of states and proton $S$-wave superfluidity gaps when applied separately for isolated neutron stars and accreting neutron stars in quiescence. This means that at least in one situation the traditional simulation framework that we employ is not complete and/or the equations of state are inappropriate. Another result is that, considering equations of state which do not allow for nucleonic dUrca or allow for it only in very massive NS, the low luminosity of SAX J1808 requires a repulsive $\Sigma$-hyperon potential in symmetric nuclear matter in the range $U_\Sigma^{(N)}\approx 10-30$ MeV. This range of values for $U_\Sigma^{(N)} $ is also supported by the criterion of best agreement with all available data from INS and XRT.


title: A stochastic SIR model for the analysis of the COVID-19 Italian epidemic

abstract: We propose a stochastic SIR model, specified as a system of stochastic differential equations, to analyse the data of the Italian COVID-19 epidemic, taking also into account the under-detection of infected and recovered individuals in the population. We find that a correct assessment of the amount of under-detection is important to obtain reliable estimates of the critical model parameters. Moreover, a single SIR model over the whole epidemic period is unable to correctly describe the behaviour of the pandemic. Then, the adaptation of the model in every time-interval between relevant government decrees that implement contagion mitigation measures, provides short-term predictions and a continuously updated assessment of the basic reproduction number.


title: Learning Accurate Decision Trees with Bandit Feedback via Quantized Gradient Descent

abstract: Decision trees provide a rich family of highly non-linear but efficient models, due to which they continue to be the go-to family of predictive models by practitioners across domains. But learning trees is challenging due to their discrete decision boundaries. The state-of-the-art (SOTA) techniques resort to (a) learning \textit{soft} trees thereby losing logarithmic inference time; or (b) using methods tailored to specific supervised learning settings, requiring access to labeled examples and loss function. In this work, by leveraging techniques like overparameterization and straight-through estimators, we propose a unified method that enables accurate end-to-end gradient based tree training and can be deployed in a variety of settings like offline supervised learning and online learning with bandit feedback. Using extensive validation on standard benchmarks, we demonstrate that our method provides best of both worlds, i.e., it is competitive to, and in some cases more accurate than methods designed \textit{specifically} for the supervised settings; and in bandit settings, where most existing tree learning techniques are not applicable, our models are still accurate and significantly outperform the applicable SOTA methods.


title: $L^{\infty}$-truncation of closed differential forms

abstract: In this paper, we prove that for each closed differential form $u \in L^1(\mathbb{R}^N,(\mathbb{R}^N)^{\ast} \wedge ... \wedge (\mathbb{R}^N)^{\ast})$, which is almost in $L^{\infty}$ in the sense that \[ \int_{\{y \in \mathbb{R}^N \colon \vert u(y) \vert \geq L \}} \vert u(y) \vert dy < \varepsilon \] for some $L>0$ and a small $\varepsilon >0$, we may find a closed differential form $v$, such that $\Vert u - v \Vert_{L^1}$ is again small, and $v$ is, in addition, in $L^{\infty}$ with a bound on its $L^{\infty}$ norm depending only on $N$ and $L$. In particular, the set $\{ v \neq u\}$ has measure at most $C \varepsilon$. We then look at applications of this theorem. We are able to prove that the $\mathcal{A}$-$p$-quasiconvex hull of a set does not depend on $p$. Furthermore, we can prove a classification theorem for $\mathcal{A}$-$\infty$-Young measures.


title: Exploring the radial evolution of Interplanetary Coronal Mass Ejections using EUHFORIA

abstract: Coronal Mass Ejections (CMEs) are large-scale eruptions from the Sun into interplanetary space. Despite being major space weather drivers, our knowledge of the CME properties in the inner heliosphere remains constrained by the scarcity of observations at distances other than 1 au. Furthermore, most CMEs are observed in situ by single spacecraft, requiring numerical models to complement the sparse observations available. We aim to assess the ability of the linear force-free spheromak CME model in EUHFORIA to describe the radial evolution of interplanetary CMEs, yielding new context for observational studies. We model one well-studied CME, and investigate its radial evolution by placing virtual spacecraft along the Sun-Earth line in the simulation domain. To directly compare observational and modelling results, we characterise the interplanetary CME signatures between 0.2 and 1.9 au from modelled time series, exploiting techniques traditionally employed to analyse real in situ data. Results show that the modelled radial evolution of the mean solar wind and CME values is consistent with observational and theoretical expectations. The CME expands as a consequence of the decaying pressure in the surrounding wind: the expansion is rapid within 0.4 au, and moderate at larger distances. The early rapid expansion could not explain the overestimated CME radial size in our simulation, suggesting this is an intrinsic limitation of the spheromak geometry used. The magnetic field profile indicates a relaxation of the CME during propagation, while ageing is most probably not a substantial source of magnetic asymmetry beyond 0.4 au. We also report a CME wake that is significantly shorter than suggested by observations. Overall, EUHFORIA provides a consistent description of the radial evolution of solar wind and CMEs; nevertheless, improvements are required to better reproduce the CME radial extension.


title: Asymptotic normality of degree counts in a general preferential attachment model

abstract: We consider the preferential attachment model. This is a growing random graph such that at each step a new vertex is added and forms $m$ connections. The neighbors of the new vertex are chosen at random with probability proportional to their degree. It is well known that the proportion of nodes with a given degree at step $n$ converges to a constant as $n\rightarrow\infty$. The goal of this paper is to investigate the asymptotic distribution of the fluctuations around this limiting value. We prove a central limit theorem for the joint distribution of all degree counts. In particular, we give an explicit expression for the asymptotic covariance. This expression is rather complex, so we compute it numerically for various parameter choices. We also use numerical simulations to argue that the convergence is quite fast. The proof relies on the careful construction of an appropriate martingale.


title: Large coverage fluctuations in Google Scholar: a case study

abstract: Unlike other academic bibliographic databases, Google Scholar intentionally operates in a way that does not maintain coverage stability: documents that stop being available to Google Scholar's crawlers are removed from the system. This can also affect Google Scholar's citation graph (citation counts can decrease). Furthermore, because Google Scholar is not transparent about its coverage, the only way to directly observe coverage loss is through regular monitorization of Google Scholar data. Because of this, few studies have empirically documented this phenomenon. This study analyses a large decrease in coverage of documents in the field of Astronomy and Astrophysics that took place in 2019 and its subsequent recovery, using longitudinal data from previous analyses and a new dataset extracted in 2020. Documents from most of the larger publishers in the field disappeared from Google Scholar despite continuing to be available on the Web, which suggests an error on Google Scholar's side. Disappeared documents did not reappear until the following index-wide update, many months after the problem was discovered. The slowness with which Google Scholar is currently able to resolve indexing errors is a clear limitation of the platform both for literature search and bibliometric use cases.


title: Transfer Learning for Future Wireless Networks: A Comprehensive Survey

abstract: With outstanding features, Machine Learning (ML) has been the backbone of numerous applications in wireless networks. However, the conventional ML approaches have been facing many challenges in practical implementation, such as the lack of labeled data, the constantly changing wireless environments, the long training process, and the limited capacity of wireless devices. These challenges, if not addressed, will impede the effectiveness and applicability of ML in future wireless networks. To address these problems, Transfer Learning (TL) has recently emerged to be a very promising solution. The core idea of TL is to leverage and synthesize distilled knowledge from similar tasks as well as from valuable experiences accumulated from the past to facilitate the learning of new problems. Doing so, TL techniques can reduce the dependence on labeled data, improve the learning speed, and enhance the ML methods' robustness to different wireless environments. This article aims to provide a comprehensive survey on applications of TL in wireless networks. Particularly, we first provide an overview of TL including formal definitions, classification, and various types of TL techniques. We then discuss diverse TL approaches proposed to address emerging issues in wireless networks. The issues include spectrum management, localization, signal recognition, security, human activity recognition and caching, which are all important to next-generation networks such as 5G and beyond. Finally, we highlight important challenges, open issues, and future research directions of TL in future wireless networks.


title: A recurrence relation for elliptic divisibility sequences

abstract: In literature, there are two different definitions of elliptic divisibility sequences. The first one says that a sequence of integers $\{h_n\}_{n\geq 0}$ is an elliptic divisibility sequence if it verifies the recurrence relation $h_{m+n}h_{m-n}h_{r}^2=h_{m+r}h_{m-r}h_{n}^2-h_{n+r}h_{n-r}h_{m}^2$ for every natural number $m\geq n\geq r$. The second definition says that a sequence of integers $\{\beta_n\}_{n\geq 0}$ is an elliptic divisibility sequence if it is the sequence of the square roots (chosen with an appropriate sign) of the denominators of the abscissas of the iterates of a point on a rational elliptic curve. It is well-known that the two sequences are not equivalent. Hence, given a sequence of the denominators $\{\beta_n\}_{n\geq 0}$, in general does not hold $\beta_{m+n}\beta_{m-n}\beta_{r}^2=\beta_{m+r}\beta_{m-r}\beta_{n}^2-\beta_{n+r}\beta_{n-r}\beta_{m}^2$ for $m\geq n\geq r$. We will prove that the recurrence relation above holds for $\{\beta_n\}_{n\geq 0}$ under some conditions on the indexes $m$, $n$, and $r$.


title: Machine Learning Model Development from a Software Engineering Perspective: A Systematic Literature Review

abstract: Data scientists often develop machine learning models to solve a variety of problems in the industry and academy but not without facing several challenges in terms of Model Development. The problems regarding Machine Learning Development involves the fact that such professionals do not realize that they usually perform ad-hoc practices that could be improved by the adoption of activities presented in the Software Engineering Development Lifecycle. Of course, since machine learning systems are different from traditional Software systems, some differences in their respective development processes are to be expected. In this context, this paper is an effort to investigate the challenges and practices that emerge during the development of ML models from the software engineering perspective by focusing on understanding how software developers could benefit from applying or adapting the traditional software engineering process to the Machine Learning workflow.


title: User Embedding based Neighborhood Aggregation Method for Inductive Recommendation

abstract: We consider the problem of learning latent features (aka embedding) for users and items in a recommendation setting. Given only a user-item interaction graph, the goal is to recommend items for each user. Traditional approaches employ matrix factorization-based collaborative filtering methods. Recent methods using graph convolutional networks (e.g., LightGCN) achieve state-of-the-art performance. They learn both user and item embedding. One major drawback of most existing methods is that they are not inductive; they do not generalize for users and items unseen during training. Besides, existing network models are quite complex, difficult to train and scale. Motivated by LightGCN, we propose a graph convolutional network modeling approach for collaborative filtering CF-GCN. We solely learn user embedding and derive item embedding using light variant CF-LGCN-U performing neighborhood aggregation, making it scalable due to reduced model complexity. CF-LGCN-U models naturally possess the inductive capability for new items, and we propose a simple solution to generalize for new users. We show how the proposed models are related to LightGCN. As a by-product, we suggest a simple solution to make LightGCN inductive. We perform comprehensive experiments on several benchmark datasets and demonstrate the capabilities of the proposed approach. Experimental results show that similar or better generalization performance is achievable than the state of the art methods in both transductive and inductive settings.


title: The Edge-Distinguishing Chromatic Number of Petal Graphs, Chorded Cycles, and Spider Graphs

abstract: The edge-distinguishing chromatic number (EDCN) of a graph $G$ is the minimum positive integer $k$ such that there exists a vertex coloring $c:V(G)\to\{1,2,\dotsc,k\}$ whose induced edge labels $\{c(u),c(v)\}$ are distinct for all edges $uv$. Previous work has determined the EDCN of paths, cycles, and spider graphs with three legs. In this paper, we determine the EDCN of petal graphs with two petals and a loop, cycles with one chord, and spider graphs with four legs. These are achieved by graph embedding into looped complete graphs.


title: The variable-step L1 scheme preserving a compatible energy law for time-fractional Allen-Cahn equation

abstract: In this work, we revisit the adaptive L1 time-stepping scheme for solving the time-fractional Allen-Cahn equation in the Caputo's form. The L1 implicit scheme is shown to preserve a variational energy dissipation law on arbitrary nonuniform time meshes by using the recent discrete analysis tools, i.e., the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Then the discrete embedding techniques and the fractional Gr\"onwall inequality were applied to establish an $L^2$ norm error estimate on nonuniform time meshes. An adaptive time-stepping strategy according to the dynamical feature of the system is presented to capture the multi-scale behaviors and to improve the computational performance.


title: IR quantum gravity solves naturally cosmic acceleration and its coincidence problem

abstract: The novel idea is that the undergoing accelerated expansion of the universe happens due to infrared quantum gravity modifications at intermediate astrophysical scales of galaxies or galaxy clusters, within the framework of Asymptotically Safe gravity. The reason is that structures of matter are associated with a scale-dependent positive cosmological constant of quantum origin. In this context, no extra unproven energy scales or fine-tuning are used. Furthermore, this model was confronted with the most recent observational data from a variety of probes, and with the aid of Bayesian analysis, the most probable values of the free parameters were extracted. Finally, the model proved to be statistically equivalent with $\Lambda$CDM, and thus being able to resolve naturally the concept of dark energy and its associated cosmic coincidence problem.


title: Efficient Bayesian reduced rank regression using Langevin Monte Carlo approach

abstract: The problem of Bayesian reduced rank regression is considered in this paper. We propose, for the first time, to use Langevin Monte Carlo method in this problem. A spectral scaled Student prior distrbution is used to exploit the underlying low-rank structure of the coefficient matrix. We show that our algorithms are significantly faster than the Gibbs sampler in high-dimensional setting. Simulation results show that our proposed algorithms for Bayesian reduced rank regression are comparable to the state-of-the-art method where the rank is chosen by cross validation.


title: Stochastic gel-shatter cycles in coalescence-fragmentation models

abstract: We describe a new phenomenon in models of coalescence and fragmentation, that of gel-shatter cycles. These are dynamical, unforced, stochastic cycles in which slow, approximately deterministic coalescence up to and beyond gelation is followed by abrupt random shattering. We describe their appearance in simulations of stochastic models with multiplicative kernels for coalescence and spontaneous fragmentation into monomers (`shattering'). The regime in which such cycles occur is characterized by a cyclicity order parameter, and we provide a simple scaling argument which describes both this regime and those which border it.


title: Measures on the Spectra of Algebraic Integers

abstract: Given a real number beta > 1, the spectrum of beta is a well studied dynamical object. In this article we show the existence of a certain measure on the spectrum of beta related to the distribution of random polynomials in beta, and discuss the local structure of this measure. We also make links with the question of the Hausdorff dimension of the corresponding Bernoulli Convolution


title: Transmitter Selection for Secrecy in a Frequency Selective Fading Channel with Unreliable Backhaul

abstract: In this paper, a communication network using single carrier with cyclic prefix modulation over frequency selective channels is considered, where an access point provides connectivity to a legitimate destination through multiple transmitters with unreliable backhaul links in the presence of an eavesdropper. A sub-optimal and an optimal transmitter selection scheme are proposed to improve the secrecy of the system, depending on whether the active backhaul channel knowledge is available a priori or not. The secrecy outage probability (SOP) and its asymptotic limit are presented in closed-form. This provides some insights regarding how knowledge of the active backhaul links affects the secrecy performance of the network. Our results show that the optimal transmitter selection scheme obtains a larger benefit than the sub-optimal scheme from the knowledge of the active backhaul links, resulting in a significantly improved system performance; however, the sub-optimal transmitter selection scheme can reduce the complexity and feedback overhead.


title: Time localization of energy in disordered time-modulated systems

abstract: Wave localization induced by spatial disorder is ubiquitous in physics. Here, we study the temporal analog of such phenomenon on water waves. Our time disordered media consists in a collection of temporal interfaces achieved through electrostriction between water surface and an electrode. The wave field observed is the result of the interferences between reflected and refracted waves on the interfaces. Although no eigenmode can be associated to the wave field, several common features between space and time emerge. The waves grow exponentially depending on the noise level in agreement with a 2D matrix evolution model such as in the spatial case. The relative position of the momentum-gap appearing in the time modulated systems plays a central role in the wave field evolution. When tuning the excitation to compensate for the damping, transient waves, localized in time, appear on the liquid surface. They result from a particular history of the multiples interferences produced by a specific sequence of time boundaries.


title: Entanglement Dynamics From Random Product States: Deviation From Maximal Entanglement

abstract: We study the entanglement dynamics of quantum many-body systems and prove the following: (I) For any geometrically local Hamiltonian on a lattice, starting from a random product state the entanglement entropy is bounded away from the maximum entropy at all times with high probability. (II) In a spin-glass model with random all-to-all interactions, starting from any product state the average entanglement entropy is bounded away from the maximum entropy at all times. We also extend these results to any unitary evolution with charge conservation and to the Sachdev-Ye-Kitaev model. Our results highlight the difference between the entanglement generated by (chaotic) Hamiltonian dynamics and that of random states, for the latter is nearly maximal.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Interlacing and Friedlander-type inequalities for spectral minimal partitions of metric graphs

abstract: We prove interlacing inequalities between spectral minimal energies of metric graphs built on Dirichlet and standard Laplacian eigenvalues, as recently introduced in [Kennedy et al, arXiv:2005.01126]. These inequalities, which involve the first Betti number and the number of degree one vertices of the graph, recall both interlacing and other inequalities for the Laplacian eigenvalues of the whole graph, as well as estimates on the difference between the number of nodal and Neumann domains of the whole graph eigenfunctions. To this end we study carefully the principle of cutting a graph, in particular quantifying the size of a cut as a perturbation of the original graph via the notion of its rank. As a corollary we obtain an inequality between these energies and the actual Dirichlet and standard Laplacian eigenvalues, valid for all compact graphs, which complements a version for tree graphs of Friedlander's inequalities between Dirichlet and Neumann eigenvalues of a domain. In some cases this results in better Laplacian eigenvalue estimates than those obtained previously via more direct methods.


title: On Riemannian Stochastic Approximation Schemes with Fixed Step-Size

abstract: This paper studies fixed step-size stochastic approximation (SA) schemes, including stochastic gradient schemes, in a Riemannian framework. It is motivated by several applications, where geodesics can be computed explicitly, and their use accelerates crude Euclidean methods. A fixed step-size scheme defines a family of time-homogeneous Markov chains, parametrized by the step-size. Here, using this formulation, non-asymptotic performance bounds are derived, under Lyapunov conditions. Then, for any step-size, the corresponding Markov chain is proved to admit a unique stationary distribution, and to be geometrically ergodic. This result gives rise to a family of stationary distributions indexed by the step-size, which is further shown to converge to a Dirac measure, concentrated at the solution of the problem at hand, as the step-size goes to 0. Finally, the asymptotic rate of this convergence is established, through an asymptotic expansion of the bias, and a central limit theorem.


title: Testing properties of signed graphs

abstract: In graph property testing the task is to distinguish whether a graph satisfies a given property or is "far" from having that property, preferably with a sublinear query and time complexity. In this work we initiate the study of property testing in signed graphs, where every edge has either a positive or a negative sign. We show that there exist sublinear algorithms for testing three key properties of signed graphs: balance (or 2-clusterability), clusterability and signed triangle freeness. We consider both the dense graph model, where we can query the (signed) adjacency matrix of a signed graph, and the bounded-degree model, where we can query for the neighbors of a node and the sign of the connecting edge. Our algorithms use a variety of tools from graph property testing, as well as reductions from one setting to the other. Our main technical contribution is a sublinear algorithm for testing clusterability in the bounded-degree model. This contrasts with the property of k-clusterability which is not testable with a sublinear number of queries. The tester builds on the seminal work of Goldreich and Ron for testing bipartiteness.


title: Jovian Auroral Radio Source Occultation Modeling and Application to the JUICE Science Mission Planning

abstract: Occultations of the Jovian low frequency radio emissions by the Galilean moons have been observed by the PWS instrument of the Galileo spacecraft. We show that the ExPRES (Exoplanetary and Planetary Radio Emission Simulator) code accurately models the temporal occurrence of the occultations in the whole spectral range observed by Galileo/PWS. This validates of the ExPRES code. The method can be applied for preparing the JUICE moon flyby science operation planning. Occultations of the Jovian low frequency radio emissions by the Galilean moons have been observed by the PWS (Plasma Wave Science) instrument of the Galileo spacecraft. We show that the ExPRES (Exoplanetary and Planetary Radio Emission Simulator) code accurately models the temporal occurrence of the occultations in the whole spectral range observed by Galileo/PWS. This validates of the ExPRES code. In addition to supporting the analysis of the science observations, the method can be applied for preparing the JUICE moon flyby science operation planning.


title: A Reference Model for IoT Embodied Agents Controlled by Neural Networks

abstract: Embodied agents is a term used to denote intelligent agents, which are a component of devices belonging to the Internet of Things (IoT) domain. Each agent is provided with sensors and actuators to interact with the environment, and with a 'controller' that usually contains an artificial neural network (ANN). In previous publications, we introduced three software approaches to design, implement and test IoT embodied agents. In this paper, we propose a reference model based on statecharts that offers abstractions tailored to the development of IoT applications. The model represents embodied agents that are controlled by neural networks. Our model includes the ANN training process, represented as a reconfiguration step such as changing agent features or neural net connections. Our contributions include the identification of the main characteristics of IoT embodied agents, a reference model specification based on statecharts, and an illustrative application of the model to support autonomous street lights. The proposal aims to support the design and implementation of IoT applications by providing high-level design abstractions and models, thus enabling the designer to have a uniform approach to conceiving, designing and explaining such applications.


title: Extreme matter compression caused by radiation cooling effect in gigabar shock wave driven by laser-accelerated fast electrons

abstract: Heating a solid with laser-accelerated fast electrons is unique way for a laboratory experiment to generate a plane powerful shock wave with a pressure of several hundred or even thousands of Mbar. Behind the front of such a powerful shock wave, dense plasma is heated to a temperature of several keV. Then, a high rate of radiation energy loss occurs even in low-$Z$ plasmas. The effect of strong compression of matter due to radiation cooling in a gigabar shock wave driven by fast electrons is found in computational and theoretical researches. It is shown that the effect of radiation cooling leads to the compression of matter in the peripheral region of shock wave to a density several times larger than the density at its front. Heating a solid by a petawatt flux of laser-accelerated fast electrons allows one to surpass the gigabar pressure level of a plane shock wave, which is the maximum level for the impact of laser-accelerated pellets. Higher pressure about 100 Gbar can be achieved under laboratory conditions only when a spherical target is imploded under the action of a terawatt laser pulse.


title: Existence and regularity of optimal shapes for spectral functionals with Robin boundary conditions

abstract: We establish the existence and find some qualitative properties of open sets that minimize functionals of the form $ F(\lambda_1(\Omega;\beta),\dots,\lambda_k(\Omega;\beta))$ under measure constraint on $\Omega$, where $\lambda_i(\Omega;\beta)$ designates the $i$-th eigenvalue of the Laplace operator on $\Omega$ with Robin boundary conditions of parameter $\beta>0$. Moreover, we show that minimizers of $\lambda_k(\Omega;\beta)$ for $k\geq 2$ verify the conjecture $\lambda_k(\Omega;\beta)=\lambda_{k-1}(\Omega;\beta)$ in dimension three and more.


title: Kinetic SIR equations and particle limits

abstract: We present and analyze two simple $N$-particle particle systems for the spread of an infection, respectively with binary and with multi-body interactions. We establish a convergence result, as $N \to \infty$, to a set of kinetic equations, providing a mathematical justification of related numerical schemes. We analyze rigorously the time asymptotics of these equations, and compare the models numerically.


title: A Note on Multi-Oriented Graph Complexes and Deformation Quantization of Lie Bialgebroids

abstract: Universal solutions to deformation quantization problems can be conveniently classified by the cohomology of suitable graph complexes. In particular, the deformation quantizations of (finite-dimensional) Poisson manifolds and Lie bialgebras are characterised by an action of the Grothendieck-Teichm\"uller group via one-colored directed and oriented graphs, respectively. In this note, we study the action of multi-oriented graph complexes on Lie bialgebroids and their "quasi" generalisations. Using results due to T. Willwacher and M. Zivkovi\'c on the cohomology of (multi)-oriented graphs, we show that the action of the Grothendieck-Teichm\"uller group on Lie bialgebras and quasi-Lie bialgebras can be generalised to quasi-Lie bialgebroids via graphs with two colors, one of them being oriented. However, this action generically fails to preserve the subspace of Lie bialgebroids. By resorting to graphs with two oriented colors, we instead show the existence of an obstruction to the quantization of a generic Lie bialgebroid in the guise of a new $\mathsf{Lie}_\infty$-algebra structure non-trivially deforming the "big bracket" for Lie bialgebroids. This exotic $\mathsf{Lie}_\infty$-structure can be interpreted as the equivalent in $d=3$ of the Kontsevich-Shoikhet obstruction to the quantization of infinite-dimensional Poisson manifolds (in $d=2$). We discuss the implications of these results with respect to a conjecture due to P. Xu regarding the existence of a quantization map for Lie bialgebroids.


title: Fast End-to-End Speech Recognition via Non-Autoregressive Models and Cross-Modal Knowledge Transferring from BERT

abstract: Attention-based encoder-decoder (AED) models have achieved promising performance in speech recognition. However, because the decoder predicts text tokens (such as characters or words) in an autoregressive manner, it is difficult for an AED model to predict all tokens in parallel. This makes the inference speed relatively slow. We believe that because the encoder already captures the whole speech utterance, which has the token-level relationship implicitly, we can predict a token without explicitly autoregressive language modeling. When the prediction of a token does not rely on other tokens, the parallel prediction of all tokens in the sequence is realizable. Based on this idea, we propose a non-autoregressive speech recognition model called LASO (Listen Attentively, and Spell Once). The model consists of an encoder, a decoder, and a position dependent summarizer (PDS). The three modules are based on basic attention blocks. The encoder extracts high-level representations from the speech. The PDS uses positional encodings corresponding to tokens to convert the acoustic representations into token-level representations. The decoder further captures token-level relationships with the self-attention mechanism. At last, the probability distribution on the vocabulary is computed for each token position. Therefore, speech recognition is re-formulated as a position-wise classification problem. Further, we propose a cross-modal transfer learning method to refine semantics from a large-scale pre-trained language model BERT for improving the performance.


title: Measure estimation on manifolds: an optimal transport approach

abstract: Assume that we observe i.i.d.~points lying close to some unknown $d$-dimensional $\mathcal{C}^k$ submanifold $M$ in a possibly high-dimensional space. We study the problem of reconstructing the probability distribution generating the sample. After remarking that this problem is degenerate for a large class of standard losses ($L_p$, Hellinger, total variation, etc.), we focus on the Wasserstein loss, for which we build an estimator, based on kernel density estimation, whose rate of convergence depends on $d$ and the regularity $s\leq k-1$ of the underlying density, but not on the ambient dimension. In particular, we show that the estimator is minimax and matches previous rates in the literature in the case where the manifold $M$ is a $d$-dimensional cube. The related problem of the estimation of the volume measure of $M$ for the Wasserstein loss is also considered, for which a minimax estimator is exhibited.


title: A computer assisted proof of the symmetries of least energy nodal solutions on squares

abstract: In this article, we prove that the least energy nodal solutions to Lane-Emden equation $-{\Delta}u = |u|^{p-2}u$ with zero Dirichlet boundary conditions on a square are odd with respect to one diagonal and even with respect to the other one when $p$ is close to 2. We also show that this symmetry breaks on rectangles close to squares.


title: Long-Lived Particles at Future Colliders

abstract: Long-lived particles have significant enough lifetimes as to, when produced in collisions, leave a distinct signature in the detectors. Driven by increasingly higher energies, trigger and reconstruction algorithms at particle colliders are optimized for increasingly heavier particles, which in turn, tend to be short-lived. This makes searches for long-lived particles difficult, usually requiring dedicated methods and sometimes dedicated hardware top spot them. However, taking upon the challenge brings enormous potential, since new, long-lived particles feature in a variety of promising new physics models that could answer most of the open questions of the standard model, such as: neutrino masses, Dark Matter, or the matter-antimatter unbalance in the Universe. Currently, the international high energy physics community is planning future facilities post-LHC, and various particle colliders have been proposed. Crucial physics cases connected to long-lived particles will be accessible then, and in this presentation, three interesting examples are highlighted: Heavy Neutral Leptons, Hidden Sectors connected to Dark Matter, and exotic Higgs boson decays. This is followed by a small review of the preliminary studies assuming different future colliders, exploiting the complementary advantages that different colliding particles and accelerator types provide.


title: Ultrafast dynamics of electronic structure in InN thin film

abstract: Simultaneous measurements of transient transmission and reflectivity were performed in the unintentionally doped InN film to reveal ultrafast optical bleaching and its recovery behavior under intense laser irradiation. The optical bleaching is attributed to Pauli blocking due to the occupation of photoexcited electrons at the probing energy level. The time constant for the transition from the excitation state to the conduction band edge is $\sim$260 fs. The interplay between band filling and band gap renormalization caused by electron-hole and electron-electron interactions gives rise to complex spectral characteristics of transient reflectivity, from which the time constants of photoexcited electron-hole direct recombination and band edge recombination are extracted as $\sim$60 fs and 250$\sim$400 fs, respectively. Our results also reveal that the electron-electron interaction suppresses band edge recombination, and mitigates the recovery process. Our experiments highlight the controllability of the band structure of semiconductors by intense laser irradiation.


title: Seeing by haptic glance: reinforcement learning-based 3D object Recognition

abstract: Human is able to conduct 3D recognition by a limited number of haptic contacts between the target object and his/her fingers without seeing the object. This capability is defined as `haptic glance' in cognitive neuroscience. Most of the existing 3D recognition models were developed based on dense 3D data. Nonetheless, in many real-life use cases, where robots are used to collect 3D data by haptic exploration, only a limited number of 3D points could be collected. In this study, we thus focus on solving the intractable problem of how to obtain cognitively representative 3D key-points of a target object with limited interactions between the robot and the object. A novel reinforcement learning based framework is proposed, where the haptic exploration procedure (the agent iteratively predicts the next position for the robot to explore) is optimized simultaneously with the objective 3D recognition with actively collected 3D points. As the model is rewarded only when the 3D object is accurately recognized, it is driven to find the sparse yet efficient haptic-perceptual 3D representation of the object. Experimental results show that our proposed model outperforms the state of the art models.


title: Longitudinal shock waves in a class of semi-infinite stretch-limited elastic strings

abstract: In this paper, we initiate the study of wave propagation in a recently proposed mathematical model for stretch-limited elastic strings. We consider the longitudinal motion of a simple class of uniform, semi-infinite, stretch-limited strings under no external force with finite end held fixed and prescribed tension at the infinite end. We study a class of motions such that the string has one inextensible segment, where the local stretch is maximized, and one extensible segment. The equations of motion reduce to a simple and novel shock front problem in one spatial variable for which we prove existence and uniqueness of local-in-time solutions for appropriate initial data. We then prove the orbital asymptotic stability of an explicit two-parameter family of piece-wise constant stretched motions. If the prescribed tension at the infinite end is increasing in time, our results provide an open set of initial data launching motions resulting in the string becoming fully inextensible and tension blowing up in finite time.


title: UserReg: A Simple but Strong Model for Rating Prediction

abstract: Collaborative filtering (CF) has achieved great success in the field of recommender systems. In recent years, many novel CF models, particularly those based on deep learning or graph techniques, have been proposed for a variety of recommendation tasks, such as rating prediction and item ranking. These newly published models usually demonstrate their performance in comparison to baselines or existing models in terms of accuracy improvements. However, others have pointed out that many newly proposed models are not as strong as expected and are outperformed by very simple baselines. This paper proposes a simple linear model based on Matrix Factorization (MF), called UserReg, which regularizes users' latent representations with explicit feedback information for rating prediction. We compare the effectiveness of UserReg with three linear CF models that are widely-used as baselines, and with a set of recently proposed complex models that are based on deep learning or graph techniques. Experimental results show that UserReg achieves overall better performance than the fine-tuned baselines considered and is highly competitive when compared with other recently proposed models. We conclude that UserReg can be used as a strong baseline for future CF research.


title: Insight-HXMT observations of jet-like corona in a black hole X-ray binary MAXI J1820+070

abstract: A black hole X-ray binary produces hard X-ray radiation from its corona and disk when the accreting matter heats up. During an outburst, the disk and corona co-evolves with each other. However, such an evolution is still unclear in both its geometry and dynamics. Here we report the unusual decrease of the reflection fraction in MAXI J1820+070, which is the ratio of the coronal intensity illuminating the disk to the coronal intensity reaching the observer, as the corona is observed to contrast during the decay phase. We postulate a jet-like corona model, in which the corona can be understood as a standing shock where the material flowing through. In this dynamical scenario, the decrease of the reflection fraction is a signature of the corona's bulk velocity. Our findings suggest that as the corona is observed to get closer to the black hole, the coronal material might be outflowing faster.


title: Assessment of the Performance of DFT Functionals Using Off-Diagonal Hypervirial Relationships

abstract: Off-diagonal hypervirial relationships, combined with quantum mechanical sum rules of charge-current conservation, offer a way for testing electronic excited-state transition energies and moments, which does not need any external reference. A number of fundamental relations were recast into absolute deviations from zero, which have been used to assess the performance of some popular DFT functionals. Extended TD-DFT calculations have been carried out for a pool of molecules chosen to the purpose, adopting a large basis set to ensure high quality results. A general agreement with previous benchmarks is observed.


title: Some Aspects of the Theory of Heavy Ion Collisions

abstract: We review the theoretical aspects relevant in the description of high energy heavy ion collisions, with an emphasis on the learnings about the underlying QCD phenomena that have emerged from these collisions.


title: Characterization of anomalous diffusion classical statistics powered by deep learning (CONDOR)

abstract: Diffusion processes are important in several physical, chemical, biological and human phenomena. Examples include molecular encounters in reactions, cellular signalling, the foraging of animals, the spread of diseases, as well as trends in financial markets and climate records. Deviations from Brownian diffusion, known as anomalous diffusion, can often be observed in these processes, when the growth of the mean square displacement in time is not linear. An ever-increasing number of methods has thus appeared to characterize anomalous diffusion trajectories based on classical statistics or machine learning approaches. Yet, characterization of anomalous diffusion remains challenging to date as testified by the launch of the Anomalous Diffusion (AnDi) Challenge in March 2020 to assess and compare new and pre-existing methods on three different aspects of the problem: the inference of the anomalous diffusion exponent, the classification of the diffusion model, and the segmentation of trajectories. Here, we introduce a novel method (CONDOR) which combines feature engineering based on classical statistics with supervised deep learning to efficiently identify the underlying anomalous diffusion model with high accuracy and infer its exponent with a small mean absolute error in single 1D, 2D and 3D trajectories corrupted by localization noise. Finally, we extend our method to the segmentation of trajectories where the diffusion model and/or its anomalous exponent vary in time.


title: A generalized quadratic loss for SVM and Deep Neural Networks

abstract: We consider some supervised binary classification tasks and a regression task, whereas SVM and Deep Learning, at present, exhibit the best generalization performances. We extend the work [3] on a generalized quadratic loss for learning problems that examines pattern correlations in order to concentrate the learning problem into input space regions where patterns are more densely distributed. From a shallow methods point of view (e.g.: SVM), since the following mathematical derivation of problem (9) in [3] is incorrect, we restart from problem (8) in [3] and we try to solve it with one procedure that iterates over the dual variables until the primal and dual objective functions converge. In addition we propose another algorithm that tries to solve the classification problem directly from the primal problem formulation. We make also use of Multiple Kernel Learning to improve generalization performances. Moreover, we introduce for the first time a custom loss that takes in consideration pattern correlation for a shallow and a Deep Learning task. We propose some pattern selection criteria and the results on 4 UCI data-sets for the SVM method. We also report the results on a larger binary classification data-set based on Twitter, again drawn from UCI, combined with shallow Learning Neural Networks, with and without the generalized quadratic loss. At last, we test our loss with a Deep Neural Network within a larger regression task taken from UCI. We compare the results of our optimizers with the well known solver SVMlight and with Keras Multi-Layers Neural Networks with standard losses and with a parameterized generalized quadratic loss, and we obtain comparable results.


title: Fully Differential Higgs Boson Production to Third Order in QCD

abstract: We present fully differential predictions for the production cross section of a Higgs boson via the gluon fusion mechanism at next-to-next-to-next-to leading order (N$^3$LO) in QCD perturbation theory. To perform our calculation we apply the Projection-to-Born method for the first time to the calculation of the non-factorising production of a colorless final state at the LHC at N$^3$LO. We predict differential distributions for the two photon final state produced by the decay of the Higgs boson and apply fiducial cuts on the photon rapidities and momenta. The N$^3$LO corrections to these differential distributions have complex features and are in part larger than the inclusive N$^3$LO corrections to the production cross section. Overall, we observe that the inclusion of the N$^3$LO QCD corrections significantly reduces the perturbative uncertainties and leads to a stabilisation of the perturbative expansion.


title: On the identification of the nonlinearity parameter in the Westervelt equation from boundary measurements

abstract: We consider an undetermined coefficient inverse problem for a non-\\linear partial differential equation occurring in high intensity ultrasound propagation as used in acoustic tomography. In particular, we investigate the recovery of the nonlinearity coefficient commonly labeled as $B/A$ in the literature which is part of a space dependent coefficient $\kappa$ in the Westervelt equation governing nonlinear acoustics. Corresponding to the typical measurement setup, the overposed data consists of time trace measurements on some zero or one dimensional set $\Sigma$ representing the receiving transducer array. After an analysis of the map from $\kappa$ to the overposed data, we show injectivity of its linearisation and use this as motivation for several iterative schemes to recover $\kappa$. Numerical simulations will also be shown to illustrate the efficiency of the methods.


title: On the Core of a Low Dimensional Set-Valued Mapping

abstract: Let ${\mathfrak M}=({\mathcal M},\rho)$ be a metric space and let $X$ be a Banach space. Let $F$ be a set-valued mapping from ${\mathcal M}$ into the family ${\mathcal K}_m(X)$ of all compact convex subsets of $X$ of dimension at most $m$. The main result in our recent joint paper with Charles Fefferman (which is referred to as a "Finiteness Principle for Lipschitz selections") provides efficient conditions for the existence of a Lipschitz selection of $F$, i.e., a Lipschitz mapping $f:{\mathcal M}\to X$ such that $f(x)\in F(x)$ for every $x\in{\mathcal M}$. We give new alternative proofs of this result in two special cases. When $m=2$ we prove it for $X={\bf R}^{2}$, and when $m=1$ we prove it for all choices of $X$. Both of these proofs make use of a simple reiteration formula for the "core" of a set-valued mapping $F$, i.e., for a mapping $G:{\mathcal M}\to{\mathcal K}_m(X)$ which is Lipschitz with respect to the Hausdorff distance, and such that $G(x)\subset F(x)$ for all $x\in{\mathcal M}$.


title: Application of Quantitative Systems Pharmacology to guide the optimal dosing of COVID-19 vaccines

abstract: Optimal use and distribution of Covid-19 vaccines involves adjustments of dosing. Due to the rapidly-evolving pandemic, such adjustments often need to be introduced before full efficacy data are available. As demonstrated in other areas of drug development, quantitative systems pharmacology (QSP) is well placed to guide such extrapolation in a rational and timely manner. Here we propose for the first time how QSP can be applied real time in the context of COVID-19 vaccine development.


title: Colored Kimia Path24 Dataset: Configurations and Benchmarks with Deep Embeddings

abstract: The Kimia Path24 dataset has been introduced as a classification and retrieval dataset for digital pathology. Although it provides multi-class data, the color information has been neglected in the process of extracting patches. The staining information plays a major role in the recognition of tissue patterns. To address this drawback, we introduce the color version of Kimia Path24 by recreating sample patches from all 24 scans to propose Kimia Path24C. We run extensive experiments to determine the best configuration for selected patches. To provide preliminary results for setting a benchmark for the new dataset, we utilize VGG16, InceptionV3 and DenseNet-121 model as feature extractors. Then, we use these feature vectors to retrieve test patches. The accuracy of image retrieval using DenseNet was 95.92% while the highest accuracy using InceptionV3 and VGG16 reached 92.45% and 92%, respectively. We also experimented with "deep barcodes" and established that with a small loss in accuracy (e.g., 93.43% for binarized features for DenseNet instead of 95.92% when the features themselves are used), the search operations can be significantly accelerated.


title: Goal-oriented adaptive sampling under random field modelling of response probability distributions

abstract: In the study of natural and artificial complex systems, responses that are not completely determined by the considered decision variables are commonly modelled probabilistically, resulting in response distributions varying across decision space. We consider cases where the spatial variation of these response distributions does not only concern their mean and/or variance but also other features including for instance shape or uni-modality versus multi-modality. Our contributions build upon a non-parametric Bayesian approach to modelling the thereby induced fields of probability distributions, and in particular to a spatial extension of the logistic Gaussian model. The considered models deliver probabilistic predictions of response distributions at candidate points, allowing for instance to perform (approximate) posterior simulations of probability density functions, to jointly predict multiple moments and other functionals of target distributions, as well as to quantify the impact of collecting new samples on the state of knowledge of the distribution field of interest. In particular, we introduce adaptive sampling strategies leveraging the potential of the considered random distribution field models to guide system evaluations in a goal-oriented way, with a view towards parsimoniously addressing calibration and related problems from non-linear (stochastic) inversion and global optimisation.


title: Emission of Spin-correlated Matter-wave Jets from Spinor Bose-Einstein Condensates

abstract: We report the observation of matter-wave jet emission in a strongly ferromagnetic spinor Bose-Einstein condensate of $^7$Li atoms. Directional atomic beams with $|{F=1,m_F=1}\rangle$ and $|{F=1,m_F=-1}\rangle$ spin states are generated from $|{F=1,m_F=0}\rangle$ state condensates, or vice versa. This results from collective spin-mixing scattering events, where spontaneously produced pairs of atoms with opposite momentum facilitates additional spin-mixing collisions as they pass through the condensates. The matter-wave jets of different spin states ($|{F=1,m_F=\pm1}\rangle$) can be a macroscopic Einstein-Podolsky-Rosen state with spacelike separation. Its spin-momentum correlations are studied by using the angular correlation function for each spin state. Rotating the spin axis, the inter-spin and intra-spin momentum correlation peaks display a high contrast oscillation, indicating collective coherence of the atomic ensembles. We provide numerical calculations that describe the experimental results at a quantitative level and can identify its entanglement after 100~ms of a long time-of-flight.


title: A proof of concept study for machine learning application to stenosis detection

abstract: This proof of concept (PoC) assesses the ability of machine learning (ML) classifiers to predict the presence of a stenosis in a three vessel arterial system consisting of the abdominal aorta bifurcating into the two common iliacs. A virtual patient database (VPD) is created using one-dimensional pulse wave propagation model of haemodynamics. Four different machine learning (ML) methods are used to train and test a series of classifiers -- both binary and multiclass -- to distinguish between healthy and unhealthy virtual patients (VPs) using different combinations of pressure and flow-rate measurements. It is found that the ML classifiers achieve specificities larger than 80% and sensitivities ranging from 50-75%. The most balanced classifier also achieves an area under the receiver operative characteristic curve of 0.75, outperforming approximately 20 methods used in clinical practice, and thus placing the method as moderately accurate. Other important observations from this study are that: i) few measurements can provide similar classification accuracies compared to the case when more/all the measurements are used; ii) some measurements are more informative than others for classification; and iii) a modification of standard methods can result in detection of not only the presence of stenosis, but also the stenosed vessel.


title: Learning image quality assessment by reinforcing task amenable data selection

abstract: In this paper, we consider a type of image quality assessment as a task-specific measurement, which can be used to select images that are more amenable to a given target task, such as image classification or segmentation. We propose to train simultaneously two neural networks for image selection and a target task using reinforcement learning. A controller network learns an image selection policy by maximising an accumulated reward based on the target task performance on the controller-selected validation set, whilst the target task predictor is optimised using the training set. The trained controller is therefore able to reject those images that lead to poor accuracy in the target task. In this work, we show that the controller-predicted image quality can be significantly different from the task-specific image quality labels that are manually defined by humans. Furthermore, we demonstrate that it is possible to learn effective image quality assessment without using a ``clean'' validation set, thereby avoiding the requirement for human labelling of images with respect to their amenability for the task. Using $6712$, labelled and segmented, clinical ultrasound images from $259$ patients, experimental results on holdout data show that the proposed image quality assessment achieved a mean classification accuracy of $0.94\pm0.01$ and a mean segmentation Dice of $0.89\pm0.02$, by discarding $5\%$ and $15\%$ of the acquired images, respectively. The significantly improved performance was observed for both tested tasks, compared with the respective $0.90\pm0.01$ and $0.82\pm0.02$ from networks without considering task amenability. This enables image quality feedback during real-time ultrasound acquisition among many other medical imaging applications.


title: Understanding the input-output relationship of neural networks in the time series forecasting radon levels at Canfranc Underground Laboratory

abstract: Underground physics experiments such as dark matter direct detection need to keep control of the background contribution. Hosting these experiments in underground facilities helps to minimize certain background sources such as the cosmic rays. One of the largest remaining background sources is the radon emanated from the rocks enclosing the research facility. The radon particles could be deposited inside the detectors when they are opened to perform the maintenance operations. Therefore, forecasting the radon levels is a crucial task in an attempt to schedule the maintenance operations when radon level is minimum. In the past, deep learning models have been implemented to forecast the radon time series at the Canfranc Underground Laboratory (LSC), in Spain, with satisfactory results. When forecasting time series, the past values of the time series are taken as input variables. The present work focuses on understanding the relative contribution of these input variables to the predictions generated by neural networks. The results allow us to understand how the predictions of the time series depend on the input variables. These results may be used to build better predictors in the future.

categories: physics.comp-ph cs.LG physics.data-an physics.geo-ph


title: On the Philosophical, Cognitive and Mathematical Foundations of Symbiotic Autonomous Systems (SAS)

abstract: Symbiotic Autonomous Systems (SAS) are advanced intelligent and cognitive systems exhibiting autonomous collective intelligence enabled by coherent symbiosis of human-machine interactions in hybrid societies. Basic research in the emerging field of SAS has triggered advanced general AI technologies functioning without human intervention or hybrid symbiotic systems synergizing humans and intelligent machines into coherent cognitive systems. This work presents a theoretical framework of SAS underpinned by the latest advances in intelligence, cognition, computer, and system sciences. SAS are characterized by the composition of autonomous and symbiotic systems that adopt bio-brain-social-inspired and heterogeneously synergized structures and autonomous behaviors. This paper explores their cognitive and mathematical foundations. The challenge to seamless human-machine interactions in a hybrid environment is addressed. SAS-based collective intelligence is explored in order to augment human capability by autonomous machine intelligence towards the next generation of general AI, autonomous computers, and trustworthy mission-critical intelligent systems. Emerging paradigms and engineering applications of SAS are elaborated via an autonomous knowledge learning system that symbiotically works between humans and cognitive robots.


title: Casimir-Lifshitz forces and plasmons in a structure of two dielectric rods: Green's function method of electrodynamics

abstract: A new model for calculating the Casimir-Lifshitz force per unit length for two dielectric rods is proposed, based on the Green function method of classical electrodynamics and the Lorentz model for permittivity.