title: Multi-Mixed Fractional Brownian Motions and Orstein-Uhlenbeck Processes

abstract: We study the so-called multi-mixed fractional Brownian motions (mmfBm) and multi-mixed fractional Ornstein--Ulhenbeck (mmfOU) processes. These processes are constructed by mixing by superimposing (infinitely many) independent fractional Brownian motions (fBm) and fractional Ornstein--Uhlenbeck processes (fOU), respectively. We prove their existence as $L^2$ processes and study their path properties, viz. long-range and short-range dependence, H\"older continuity, $p$-variation, and conditional full support.


title: Blockchain Based Accounts Payable Platform for Goods Trade

abstract: Goods trade is a supply chain transaction that involves shippers buying goods from suppliers and carriers providing goods transportation. Shippers are issued invoices from suppliers and carriers. Shippers carry out goods receiving and invoice processing before payment processing of bills for suppliers and carriers, where invoice processing includes tasks like processing claims and adjusting the bill payments. Goods receiving involves verification of received goods by the Shipper's receiving team. Invoice processing is carried out by the Shipper's accounts payable team, which in turn is verified by the accounts receivable teams of suppliers and carriers. This paper presents a blockchain-based accounts payable system that generates claims for the deficiency in the goods received and accordingly adjusts the payment in the bills for suppliers and carriers. Primary motivations for these supply chain organizations to adopt blockchain-based accounts payable systems are to eliminate the process redundancies (accounts payable vs. accounts receivable), to reduce the number of disputes among the transacting participants, and to accelerate the accounts payable processes via optimizations in the claims generation and blockchain-based dispute reconciliation.


title: Construction of approximate $C^1$ bases for isogeometric analysis on two-patch domains

abstract: In this paper, we develop and study approximately smooth basis constructions for isogeometric analysis over two-patch domains. One key element of isogeometric analysis is that it allows high order smoothness within one patch. However, for representing complex geometries, a multi-patch construction is needed. In this case, a $C^0$-smooth basis is easy to obtain, whereas $C^1$-smooth isogeometric functions require a special construction. Such spaces are of interest when solving numerically fourth-order PDE problems, such as the biharmonic equation and the Kirchhoff-Love plate or shell formulation, using an isogeometric Galerkin method. With the construction of so-called analysis-suitable $G^1$ (in short, AS-$G^1$) parametrizations, as introduced in (Collin, Sangalli, Takacs; CAGD, 2016), it is possible to construct $C^1$ isogeometric spaces which possess optimal approximation properties. These geometries need to satisfy certain constraints along the interfaces and additionally require that the regularity $r$ and degree $p$ of the underlying spline space satisfy $1 \leq r \leq p-2$. The problem is that most complex geometries are not AS-$G^1$ geometries. Therefore, we define basis functions for isogeometric spaces by enforcing approximate $C^1$ conditions following the basis construction from (Kapl, Sangalli, Takacs; CAGD, 2017). For this reason, the defined function spaces are not exactly $C^1$ but only approximately. We study the convergence behavior and define function spaces that converge optimally under $h$-refinement, by locally introducing functions of higher polynomial degree and lower regularity. The convergence rate is optimal in several numerical tests performed on domains with non-trivial interfaces. While an extension to more general multi-patch domains is possible, we restrict ourselves to the two-patch case and focus on the construction over a single interface.


title: Theory of Evolutionary Spectra for Heteroskedasticity and Autocorrelation Robust Inference in Possibly Misspecified and Nonstationary Models

abstract: We develop a theory of evolutionary spectra for heteroskedasticity and autocorrelation robust (HAR) inference when the data may not satisfy second-order stationarity. Nonstationarity is a common feature of economic time series which may arise either from parameter variation or model misspecification. In such a context, the theories that support HAR inference are either not applicable or do not provide accurate approximations. HAR tests standardized by existing long-run variance estimators then may display size distortions and little or no power. This issue can be more severe for methods that use long bandwidths (i.e., fixed-b HAR tests). We introduce a class of nonstationary processes that have a time-varying spectral representation which evolves continuously except at a finite number of time points. We present an extension of the classical heteroskedasticity and autocorrelation consistent (HAC) estimators that applies two smoothing procedures. One is over the lagged autocovariances, akin to classical HAC estimators, and the other is over time. The latter element is important to flexibly account for nonstationarity. We name them double kernel HAC (DK-HAC) estimators. We show the consistency of the estimators and obtain an optimal DK-HAC estimator under the mean squared error (MSE) criterion. Overall, HAR tests standardized by the proposed DK-HAC estimators are competitive with fixed-b HAR tests, when the latter work well, with regards to size control even when there is strong dependence. Notably, in those empirically relevant situations in which previous HAR tests are undersized and have little or no power, the DK-HAC estimator leads to tests that have good size and power.


title: Analysing Wideband Absorbance Immittance in Normal and Ears with Otitis Media with Effusion Using Machine Learning

abstract: Wideband Absorbance Immittance (WAI) has been available for more than a decade, however its clinical use still faces the challenges of limited understanding and poor interpretation of WAI results. This study aimed to develop Machine Learning (ML) tools to identify the WAI absorbance characteristics across different frequency-pressure regions in the normal middle ear and ears with otitis media with effusion (OME) to enable diagnosis of middle ear conditions automatically. Data analysis including pre-processing of the WAI data, statistical analysis and classification model development, together with key regions extraction from the 2D frequency-pressure WAI images are conducted in this study. Our experimental results show that ML tools appear to hold great potential for the automated diagnosis of middle ear diseases from WAI data. The identified key regions in the WAI provide guidance to practitioners to better understand and interpret WAI data and offer the prospect of quick and accurate diagnostic decisions.


title: Tripartite Entanglement and Quantum Correlation

abstract: We provide an analytical tripartite-study from the generalized $R$-matrix. It provides the upper bound of the maximum violation of Mermin's inequality. For a generic 2-qubit pure state, the concurrence or $R$-matrix characterizes the maximum violation of Bell's inequality. Therefore, people expect that the maximum violation should be proper to quantify Quantum Entanglement. The $R$-matrix gives the maximum violation of Bell's inequality. For a general 3-qubit state, we have five invariant entanglement quantities up to local unitary transformations. We show that the five invariant quantities describe the correlation in the generalized $R$-matrix. The violation of Mermin's inequality is not a proper diagnosis due to the non-monotonic behavior. We then classify 3-qubit quantum states. Each classification quantifies Quantum Entanglement by the total concurrence. In the end, we relate the experiment correlators to Quantum Entanglement.

categories: quant-ph cond-mat.mes-hall cond-mat.str-el hep-th


title: Motion-blurred Video Interpolation and Extrapolation

abstract: Abrupt motion of camera or objects in a scene result in a blurry video, and therefore recovering high quality video requires two types of enhancements: visual enhancement and temporal upsampling. A broad range of research attempted to recover clean frames from blurred image sequences or temporally upsample frames by interpolation, yet there are very limited studies handling both problems jointly. In this work, we present a novel framework for deblurring, interpolating and extrapolating sharp frames from a motion-blurred video in an end-to-end manner. We design our framework by first learning the pixel-level motion that caused the blur from the given inputs via optical flow estimation and then predict multiple clean frames by warping the decoded features with the estimated flows. To ensure temporal coherence across predicted frames and address potential temporal ambiguity, we propose a simple, yet effective flow-based rule. The effectiveness and favorability of our approach are highlighted through extensive qualitative and quantitative evaluations on motion-blurred datasets from high speed videos.


title: On the representation theory of the vertex algebra $L_{-5/2}(sl(4))$

abstract: We study the representation theory of non-admissible simple affine vertex algebra $L_{-5/2} (sl(4))$. We determine an explicit formula for the singular vector of conformal weight four in the universal affine vertex algebra $V^{-5/2} (sl(4))$, and show that it generates the maximal ideal in $V^{-5/2} (sl(4))$. We classify irreducible $L_{-5/2} (sl(4))$--modules in the category ${\mathcal O}$, and determine the fusion rules between irreducible modules in the category of ordinary modules $KL_{-5/2}$. It turns out that this fusion algebra is isomorphic to the fusion algebra of $KL_{-1}$. We also prove that $KL_{-5/2}$ is a semi-simple, rigid braided tensor category. In our proofs we use the notion of collapsing level for the affine $\mathcal{W}$--algebra, and the properties of conformal embedding $gl(4) \hookrightarrow sl(5)$ at level $k=-5/2$ from arXiv:1509.06512. We show that $k=-5/2$ is a collapsing level with respect to the subregular nilpotent element $f_{subreg}$, meaning that the simple quotient of the affine $\mathcal{W}$--algebra $W^{-5/2}(sl(4), f_{subreg})$ is isomorphic to the Heisenberg vertex algebra $M_J(1)$. We prove certain results on vanishing and non-vanishing of cohomology for the quantum Hamiltonian reduction functor $H_{f_{subreg}}$. It turns out that the properties of $H_{f_{subreg}}$ are more subtle than in the case of minimal reducition.


title: Bernstein's inequality and holonomicity for certain singular rings

abstract: In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations.


title: Learning-based Adaptive Control using Contraction Theory

abstract: Adaptive control is subject to stability and performance issues when a learned model is used to enhance its performance. This paper thus presents a deep learning-based adaptive control framework for nonlinear systems with multiplicatively-separable parametrization, called adaptive Neural Contraction Metric (aNCM). The aNCM approximates real-time optimization for computing a differential Lyapunov function and a corresponding stabilizing adaptive control law by using a Deep Neural Network (DNN). The use of DNNs permits real-time implementation of the control law and broad applicability to a variety of nonlinear systems with parametric and nonparametric uncertainties. We show using contraction theory that the aNCM ensures exponential boundedness of the distance between the target and controlled trajectories in the presence of parametric uncertainties of the model, learning errors caused by aNCM approximation, and external disturbances. Its superiority to the existing robust and adaptive control methods is demonstrated using a cart-pole balancing model.


title: First direct identification of the barlens vertical structure in galaxy models

abstract: Applying spectral dynamics methods to one typical $N$-body model with a barlens, we dissect the modelled bar into separate components supported by completely different types of orbits. We identify at least four components: a narrow elongated bar, a boxy bar, and two components contributing to the barlens. We analyse the vertical structure of all components that make up the thick part of the bar, which has a boxy/peanut shape (B/P bulge). We show that the `peanut' shape is mainly due to the orbits that assemble the boxy part of the face-on bar. We associate the X-shape with the narrow and elongated bar. The wider part of the barlens with square-like isophotes contributes to the boxy shape of the B/P bulge when we observe the galaxy edge-on. However, the part of the barlens with rounded isophotes in the face-on view is a rather flat structure in the vertical direction without any significant off-centre protrusions. Thus, for the first time, we demonstrate that the rounded face-on barlens cannot be entirely associated with the B/P bulge.


title: A convex approach to optimum design of experiments with correlated observations

abstract: Optimal design of experiments for correlated processes is an increasingly relevant and active research topic. Present methods have restricted possibilities to judge their quality. To fill this gap, we complement the virtual noise approach by a convex formulation leading to an equivalence theorem comparable to the uncorrelated case and to an algorithm giving an upper performance bound against which alternative design methods can be judged. Moreover, a method for generating exact designs follows naturally. We exclusively consider estimation problems on a finite design space with a fixed number of elements. A comparison on some classical examples from the literature as well as a real application is provided.


title: Non-parametric estimation of a Langevin model driven by correlated noise

abstract: Langevin models are frequently used to model various stochastic processes in different fields of natural and social sciences. They are adapted to measured data by estimation techniques such as maximum likelihood estimation, Markov chain Monte Carlo methods, or the non-parametric direct estimation method introduced by Friedrich et al. The latter has the distinction of being very effective in the context of large data sets. Due to their $\delta$-correlated noise, standard Langevin models are limited to Markovian dynamics. A non-Markovian Langevin model can be formulated by introducing a hidden component that realizes correlated noise. For the estimation of such a partially observed diffusion a different version of the direct estimation method was introduced by Lehle et al. However, this procedure includes the limitation that the correlation length of the noise component is small compared to that of the measured component. In this work we propose another version of the direct estimation method that does not include this restriction. Via this method it is possible to deal with large data sets of a wider range of examples in an effective way. We discuss the abilities of the proposed procedure using several synthetic examples.


title: Nodal superconducting gap in LiFeP revealed by NMR: contrast with LiFeAs

abstract: Identifying the uniqueness of FeP-based superconductors may shed new lights on the mechanism of superconductivity in iron-pnictides. Here, we report nuclear magnetic resonance(NMR) studies on LiFeP and LiFeAs which have the same crystal structure but different pnictogen atoms. The NMR spectrum is sensitive to inhomogeneous magnetic fields in the vortex state and can provide the information on the superconducting pairing symmetry through the temperature dependence of London penetration depth $\lambda_L$. We find that $\lambda_L$ saturates below $T \sim 0.2$ $T_c$ in LiFeAs, where $T_c$ is the superconducting transition temperature, indicating nodeless superconducting gaps. Furthermore, by using a two-gaps model, we simulate the temperature dependence of $\lambda_L$ and obtain the superconducting gaps of LiFeAs, as $\Delta_1 = 1.2$ $k_B T_c$ and $\Delta_2 = 2.8$ $k_B T_c$, in agreement with previous result from spin-lattice relaxation. For LiFeP, in contrast, the London penetration depth $\lambda_L$ does not show any saturation down to $T \sim 0.03 $ $T_c$, indicating nodes in the superconducting energy gap function. Finally, we demonstrate that the strong spin fluctuations with diffusive characteristics exist in LiFeP, as in some cuprate high temperature superconductors.


title: Clusterplot: High-dimensional Cluster Visualization

abstract: We present Clusterplot, a multi-class high-dimensional data visualization tool designed to visualize cluster-level information offering an intuitive understanding of the cluster inter-relations. Our unique plots leverage 2D blobs devised to convey the geometrical and topological characteristics of clusters within the high-dimensional data, and their pairwise relations, such that general inter-cluster behavior is easily interpretable in the plot. Class identity supervision is utilized to drive the measuring of relations among clusters in high-dimension, particularly, proximity and overlap, which are then reflected spatially through the 2D blobs. We demonstrate the strength of our clusterplots and their ability to deliver a clear and intuitive informative exploration experience for high-dimensional clusters characterized by complex structure and significant overlap.


title: Speech Emotion Recognition using Semantic Information

abstract: Speech emotion recognition is a crucial problem manifesting in a multitude of applications such as human computer interaction and education. Although several advancements have been made in the recent years, especially with the advent of Deep Neural Networks (DNN), most of the studies in the literature fail to consider the semantic information in the speech signal. In this paper, we propose a novel framework that can capture both the semantic and the paralinguistic information in the signal. In particular, our framework is comprised of a semantic feature extractor, that captures the semantic information, and a paralinguistic feature extractor, that captures the paralinguistic information. Both semantic and paraliguistic features are then combined to a unified representation using a novel attention mechanism. The unified feature vector is passed through a LSTM to capture the temporal dynamics in the signal, before the final prediction. To validate the effectiveness of our framework, we use the popular SEWA dataset of the AVEC challenge series and compare with the three winning papers. Our model provides state-of-the-art results in the valence and liking dimensions.


title: A sharp centro-affine isospectral inequality of Szeg\"{o}--Weinberger type and the $L^p$-Minkowski problem

abstract: We establish a sharp upper-bound for the first non-zero even eigenvalue (corresponding to an even eigenfunction) of the Hilbert-Brunn-Minkowski operator associated to a strongly convex $C^2$-smooth origin-symmetric convex body $K$ in $\mathbb{R}^n$. Our isospectral inequality is centro-affine invariant, attaining equality if and only if $K$ is a (centered) ellipsoid; this is reminiscent of the (non affine invariant) classical Szeg\"{o}--Weinberger isospectral inequality for the Neumann Laplacian. The new upper-bound complements the conjectural lower-bound, which has been shown to be equivalent to the log-Brunn-Minkowski inequality and is intimately related to the uniqueness question in the even log-Minkowski problem. As applications, we obtain new strong non-uniqueness results in the even $L^p$-Minkowski problem in the subcritical range $-n < p < 0$, as well as new rigidity results for the critical exponent $p=-n$ and supercritical regime $p < -n$. In particular, we show that any $K$ as above which is not an ellipsoid is a witness to non-uniqueness in the even $L^p$-Minkowski problem for all $p \in (-n,p_K)$ and some $p_K \in (-n,0)$, and that $K$ can be chosen so that $p_K$ is arbitrarily close to $0$.


title: On groups of units of special and one-relator inverse monoids

abstract: We investigate the groups of units of one-relator and special inverse monoids. These are inverse monoids which are defined by presentations where all the defining relations are of the form $r=1$. We develop new approaches for finding presentations for the group of units of a special inverse monoid, and apply these methods to give conditions under which the group admits a presentation with the same number of defining relations as the monoid. In particular our results give sufficient conditions for the group of units of a one-relator inverse monoid to be a one-relator group. When these conditions are satisfied these results give inverse semigroup theoretic analogues of classical results of Adjan for one-relator monoids, and Makanin for special monoids. In contrast, we show that in general these classical results do not hold for one-relator and special inverse monoids. In particular, we show that there exists a one-relator special inverse monoid whose group of units is not a one-relator group (with respect to any generating set), and we show that there exists a finitely presented special inverse monoid whose group of units is not finitely presented.


title: Optical Flow Estimation from a Single Motion-blurred Image

abstract: In most of computer vision applications, motion blur is regarded as an undesirable artifact. However, it has been shown that motion blur in an image may have practical interests in fundamental computer vision problems. In this work, we propose a novel framework to estimate optical flow from a single motion-blurred image in an end-to-end manner. We design our network with transformer networks to learn globally and locally varying motions from encoded features of a motion-blurred input, and decode left and right frame features without explicit frame supervision. A flow estimator network is then used to estimate optical flow from the decoded features in a coarse-to-fine manner. We qualitatively and quantitatively evaluate our model through a large set of experiments on synthetic and real motion-blur datasets. We also provide in-depth analysis of our model in connection with related approaches to highlight the effectiveness and favorability of our approach. Furthermore, we showcase the applicability of the flow estimated by our method on deblurring and moving object segmentation tasks.


title: MOGAN: Morphologic-structure-aware Generative Learning from a Single Image

abstract: In most interactive image generation tasks, given regions of interest (ROI) by users, the generated results are expected to have adequate diversities in appearance while maintaining correct and reasonable structures in original images. Such tasks become more challenging if only limited data is available. Recently proposed generative models complete training based on only one image. They pay much attention to the monolithic feature of the sample while ignoring the actual semantic information of different objects inside the sample. As a result, for ROI-based generation tasks, they may produce inappropriate samples with excessive randomicity and without maintaining the related objects' correct structures. To address this issue, this work introduces a MOrphologic-structure-aware Generative Adversarial Network named MOGAN that produces random samples with diverse appearances and reliable structures based on only one image. For training for ROI, we propose to utilize the data coming from the original image being augmented and bring in a novel module to transform such augmented data into knowledge containing both structures and appearances, thus enhancing the model's comprehension of the sample. To learn the rest areas other than ROI, we employ binary masks to ensure the generation isolated from ROI. Finally, we set parallel and hierarchical branches of the mentioned learning process. Compared with other single image GAN schemes, our approach focuses on internal features including the maintenance of rational structures and variation on appearance. Experiments confirm a better capacity of our model on ROI-based image generation tasks than its competitive peers.


title: Non-local Probes of Entanglement in the Scale Invariant Gravity

abstract: In this paper, we study the generic action for the scale-invariant theory of gravity and then by making use of the holographic methods, we compute some specific holographic measures of entanglement. Precisely, we calculate the entanglement entropy, mutual and tripartite information and show that the mutual information is always positive while the tripartite information becomes negative. This indeed recovers the monogamy property of mutual information in this context.


title: A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications

abstract: Inspection of power line infrastructures must be periodically conducted by electric companies in order to ensure reliable electric power distribution. Research efforts are focused on automating the power line inspection process by looking for strategies that satisfy different requirements expressed in terms of potential damage and faults detection. This problem comes up with the need of safe planning and control techniques for autonomous robots to perform visual inspection tasks. Such an application becomes even more interesting and of critical importance when considering a multi-robot extension. In this paper, we propose to compute feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications. The planner allows to formulate rather complex missions avoiding obstacles and forbidden areas along the path. Simulations results achieved in MATLAB show the effectiveness of the proposed approach leading the way to experimental tests on the hardware.


title: SpectralDefense: Detecting Adversarial Attacks on CNNs in the Fourier Domain

abstract: Despite the success of convolutional neural networks (CNNs) in many computer vision and image analysis tasks, they remain vulnerable against so-called adversarial attacks: Small, crafted perturbations in the input images can lead to false predictions. A possible defense is to detect adversarial examples. In this work, we show how analysis in the Fourier domain of input images and feature maps can be used to distinguish benign test samples from adversarial images. We propose two novel detection methods: Our first method employs the magnitude spectrum of the input images to detect an adversarial attack. This simple and robust classifier can successfully detect adversarial perturbations of three commonly used attack methods. The second method builds upon the first and additionally extracts the phase of Fourier coefficients of feature-maps at different layers of the network. With this extension, we are able to improve adversarial detection rates compared to state-of-the-art detectors on five different attack methods.


title: Characterization of commutative algebras embedded into the algebra of smooth operators

abstract: The paper deal with the noncommutative Fr\'echet ${}^*$-algebra $\mathcal{L}(s',s)$ of the so-called smooth operators, i.e. linear and continuous operators acting from the space $s'$ of slowly increasing sequences to the Fr\'echet space $s$ of rapidly decreasing sequences. By a canonical identification, this algebra of smooth operators can be also seen as the algebra of the rapidly decreasing matrices. We give a full description of closed commutative ${}^*$-subalgebras of this algebra and we show that every closed subspace of $s$ with basis is isomorphic (as a Fr\'echet space) to some closed commutative ${}^*$-subalgebra of $\mathcal{L}(s',s)$. As a consequence, we give some equivalent formulation of the long-standing Quasi-equivalence Conjecture for closed subspaces of $s$.


title: Ultrafast Processes in Isomeric Pyrene-N-methylacetamides: Formation of Hydrogen Bond Induced Static Excimers with Varied Coupling Strength

abstract: Pyrene based molecules are inclined to form excimers through self-association upon photoexcitation. In this work, the pyrene core is functionalized with N-methylacetamide group at the position 1 or 2, to develop pyren-1-methylacetamide (PyMA1) and pyren-2-methylacetamide (PyMA2), respectively. Upon photoexcitation, PyMA1 and PyMA2, at 1.0mM, in toluene, have formed predominantly static excimers. The steady state spectroscopic studies have showed that the excitonic coupling of PyMA1 dimers are much stronger in solution than its isomeric counterpart, PyMA2. The transient absorption (TA) measurements over fs-ps regime (fs-TA) showed that the formation of static excimers with the strongly-coupled pre-associated dimers, in PyMA1, happens in approx. 560fs, whereas, the excimers for the weakly-coupled pre-associated dimers in PyMA2 have formed in much slower time scale (approx. 65ps). The introduction of methylacetamide group at the position 1 or 2 on pyrene ring, was believed to have allowed forming hydrogen bonded excimers with different degrees of excitonic coupling.


title: Small flux superpotential in F-theory compactifications

abstract: We investigate whether a class of models describing F-theory compactifications admits a specific type of flux vacua with an exponentially small vacuum expectation value of the superpotential, by generalizing a method recently developed in Type IIB flux compactifications. First we clarify that a restricted choice of $G_4$-flux components reduces a general flux superpotential into a simple form, which promotes the existence of supersymmetric vacua with one flat direction at the perturbative level. Then we utilize the techniques of mirror symmetry to determine one-instanton corrections to the potential and investigate in detail the vacuum solutions of a particular model.


title: Bose-Einstein condensation in Ho\v{r}ava-Lifshitz theory

abstract: In this paper we study the corrections emergent from a Ho\v{r}ava-Lifshitz extension of the complex scalar sector to the Bose-Einstein condensation and to the thermodynamics parameters. We initially discussed some features of the model to only then compute the corrections to the Bose-Einstein condensation. The calculations were done by computing the generating functional, from which we extract the thermodynamics parameters. We also obtained the Lifshitz scaling correction for the critical temperature $T_c$ that sets the Bose-Einstein Condensation.


title: The random force in molecular dynamics with electronic friction

abstract: The Langevin equation includes a random force to maintain equilibrium and prevent friction from bringing motion to a standstill; but for ballistic motion, the random force is often neglected. Here, we use the Langevin equation for molecular dynamics simulations of 2.76 eV H-atoms experiencing electronic friction in collisions with 300 K metals, where a random force arises from thermal electron-hole pairs. Simulations without the random force fail dramatically to reproduce experiment, although the incidence energy is much larger than $k_\text{B}T$. We analyze the Ornstein-Uhlenbeck process to show that this is a general property of ballistic particles experiencing friction under the influence of thermal fluctuations.


title: Data-driven distributionally robust MPC for constrained stochastic systems

abstract: In this paper we introduce a novel approach to distributionally robust optimal control that supports online learning of the ambiguity set, while guaranteeing recursive feasibility. We introduce conic representable risk, which is useful to derive tractable reformulations of distributionally robust optimization problems. Specifically, to illustrate the techniques introduced, we utilize risk measures constructed based on data-driven ambiguity sets, constraining the second moment of the random disturbance. In the optimal control setting, such moment-based risk measures lead to tractable optimal controllers when combined with affine disturbance feedback. Assumptions on the constraints are given that guarantee recursive feasibility. The resulting control scheme acts as a robust controller when little data is available and converges to the certainty equivalent controller when a large sample count implies high confidence in the estimated second moment. This is illustrated in a numerical experiment.


title: Studying the low-entropy Mott transition of bosons in a three-dimensional optical lattice by measuring the full momentum-space density

abstract: We report on a combined experimental and theoretical study of the low-entropy Mott transition for interacting bosons trapped in a three-dimensional (3D) cubic lattice -- namely, the interaction-induced superfluid-to-normal phase transition in the vicinity of the zero-temperature Mott transition. Our analysis relies on the measurement of the 3D momentum distribution, which allows us to extract the momentum-space density $\rho({\bf k}={\bf 0})$ at the center of the Brillouin zone. Upon varying the ratio between the interaction $U$ and the tunnelling energy $J$ across the superfluid transition, we observe that $\rho({\bf k}={\bf 0})$ exhibits a sharp transition at a value of $U/J$ consistent with the bulk prediction from quantum Monte Carlo. In addition, the variation of $\rho({\bf k}={\bf 0})$ with $U/J$ exhibits a critical behavior consistent with the expected 3D XY universality class. Our results show that the tomographic reconstruction of the momentum distribution of ultracold bosons can reveal traits of the critical behavior of the superfluid transition even in an inhomogeneous trapped system.


title: Characterizing mid-circuit measurements on a superconducting qubit using gate set tomography

abstract: Measurements that occur within the internal layers of a quantum circuit -- mid-circuit measurements -- are an important quantum computing primitive, most notably for quantum error correction. Mid-circuit measurements have both classical and quantum outputs, so they can be subject to error modes that do not exist for measurements that terminate quantum circuits. Here we show how to characterize mid-circuit measurements, modelled by quantum instruments, using a technique that we call quantum instrument linear gate set tomography (QILGST). We then apply this technique to characterize a dispersive measurement on a superconducting transmon qubit within a multiqubit system. By varying the delay time between the measurement pulse and subsequent gates, we explore the impact of residual cavity photon population on measurement error. QILGST can resolve different error modes and quantify the total error from a measurement; in our experiment, for delay times above 1000 ns we measured a total error rate (i.e., half diamond distance) of $\epsilon_{\diamond} = 8.1 \pm 1.4 \%$, a readout fidelity of $97.0 \pm 0.3\%$, and output quantum state fidelities of $96.7 \pm 0.6\%$ and $93.7 \pm 0.7\%$ when measuring $0$ and $1$, respectively.


title: Topological Luttinger semimetallic phase accompanied with surface states realized in silicon

abstract: By means of systematically first-principles calculations and model analysis, a complete phase diagram of the body-centered silicon(BC8-Si) via lattice constant a and internal atomic coordinate x is explored, which demonstrates that BC8-Si is a topological Luttinger semimetal(LSM) accompanied with topologically nontrivial surface states, and the electronic properties of BC8-Si can be further tuned to a normal insulator or topological Dirac semimetal by very tiny changing of a and x. These results successfully explain the contradictory transport reports of BC8-Si. More importantly, the topological surface states in the LSM phase fill in the gap between the topological matters and silicon, which provide an opportunity to integrate the topological quantum devices and silicon chips together.


title: Perceptual Image Restoration with High-Quality Priori and Degradation Learning

abstract: Perceptual image restoration seeks for high-fidelity images that most likely degrade to given images. For better visual quality, previous work proposed to search for solutions within the natural image manifold, by exploiting the latent space of a generative model. However, the quality of generated images are only guaranteed when latent embedding lies close to the prior distribution. In this work, we propose to restrict the feasible region within the prior manifold. This is accomplished with a non-parametric metric for two distributions: the Maximum Mean Discrepancy (MMD). Moreover, we model the degradation process directly as a conditional distribution. We show that our model performs well in measuring the similarity between restored and degraded images. Instead of optimizing the long criticized pixel-wise distance over degraded images, we rely on such model to find visual pleasing images with high probability. Our simultaneous restoration and enhancement framework generalizes well to real-world complicated degradation types. The experimental results on perceptual quality and no-reference image quality assessment (NR-IQA) demonstrate the superior performance of our method.


title: Reinforcement Learning Trajectory Generation and Control for Aggressive Perching on Vertical Walls with Quadrotors

abstract: Micro aerial vehicles are widely being researched and employed due to their relative low operation costs and high flexibility in various applications. We study the under-actuated quadrotor perching problem, designing a trajectory planner and controller which generates feasible trajectories and drives quadrotors to desired state in state space. This paper proposes a trajectory generating and tracking method for quadrotor perching that takes the advantages of reinforcement learning controller and traditional controller. The trained low-level reinforcement learning controller would manipulate quadrotor toward the perching point in simulation environment. Once the simulated quadrotor has successfully perched, the relative trajectory information in simulation will be sent to tracking controller on real quadrotor and start the actual perching task. Generating feasible trajectories via the trained reinforcement learning controller requires less time, and the traditional trajectory tracking controller could easily be modified to control the quadrotor and mathematically analysis its stability and robustness. We show that this approach permits the control structure of trajectories and controllers enabling such aggressive maneuvers perching on vertical surfaces with high precision.


title: The Transformer Network for the Traveling Salesman Problem

abstract: The Traveling Salesman Problem (TSP) is the most popular and most studied combinatorial problem, starting with von Neumann in 1951. It has driven the discovery of several optimization techniques such as cutting planes, branch-and-bound, local search, Lagrangian relaxation, and simulated annealing. The last five years have seen the emergence of promising techniques where (graph) neural networks have been capable to learn new combinatorial algorithms. The main question is whether deep learning can learn better heuristics from data, i.e. replacing human-engineered heuristics? This is appealing because developing algorithms to tackle efficiently NP-hard problems may require years of research, and many industry problems are combinatorial by nature. In this work, we propose to adapt the recent successful Transformer architecture originally developed for natural language processing to the combinatorial TSP. Training is done by reinforcement learning, hence without TSP training solutions, and decoding uses beam search. We report improved performances over recent learned heuristics with an optimal gap of 0.004% for TSP50 and 0.39% for TSP100.


title: ECM modeling and performance tuning of SpMV and Lattice QCD on A64FX

abstract: The A64FX CPU is arguably the most powerful Arm-based processor design to date. Although it is a traditional cache-based multicore processor, its peak performance and memory bandwidth rival accelerator devices. A good understanding of its performance features is of paramount importance for developers who wish to leverage its full potential. We present an architectural analysis of the A64FX used in the Fujitsu FX1000 supercomputer at a level of detail that allows for the construction of Execution-Cache-Memory (ECM) performance models for steady-state loops. In the process we identify architectural peculiarities that point to viable generic optimization strategies. After validating the model using simple streaming loops we apply the insight gained to sparse matrix-vector multiplication (SpMV) and the domain wall (DW) kernel from quantum chromodynamics (QCD). For SpMV we show why the CRS matrix storage format is not a good practical choice on this architecture and how the SELL-C-sigma format can achieve bandwidth saturation. For the DW kernel we provide a cache-reuse analysis and show how an appropriate choice of data layout for complex arrays can realize memory-bandwidth saturation in this case as well. A comparison with state-of-the-art high-end Intel Cascade Lake AP and Nvidia V100 systems puts the capabilities of the A64FX into perspective. We also explore the potential for power optimizations using the tuning knobs provided by the Fugaku system, achieving energy savings of about 31% for SpMV and 18% for DW.


title: Lost in Pruning: The Effects of Pruning Neural Networks beyond Test Accuracy

abstract: Neural network pruning is a popular technique used to reduce the inference costs of modern, potentially overparameterized, networks. Starting from a pre-trained network, the process is as follows: remove redundant parameters, retrain, and repeat while maintaining the same test accuracy. The result is a model that is a fraction of the size of the original with comparable predictive performance (test accuracy). Here, we reassess and evaluate whether the use of test accuracy alone in the terminating condition is sufficient to ensure that the resulting model performs well across a wide spectrum of "harder" metrics such as generalization to out-of-distribution data and resilience to noise. Across evaluations on varying architectures and data sets, we find that pruned networks effectively approximate the unpruned model, however, the prune ratio at which pruned networks achieve commensurate performance varies significantly across tasks. These results call into question the extent of \emph{genuine} overparameterization in deep learning and raise concerns about the practicability of deploying pruned networks, specifically in the context of safety-critical systems, unless they are widely evaluated beyond test accuracy to reliably predict their performance. Our code is available at https://github.com/lucaslie/torchprune.


title: A Theory of Localized Excitations in Supercooled Liquids

abstract: A new connection between structure and dynamics in glass-forming liquids is presented. We show how the origin of spatially localized excitations, as defined by dynamical facilitation (DF) theory, can be understood from a structure-based framework. This framework is constructed by associating excitation events in DF theory to hopping events between energy minima in the potential energy landscape (PEL). By reducing the PEL to an equal energy well picture and applying a harmonic approximation, we develop a field theory to describe elastic fluctuations about inherent states, which are energy minimizing configurations of the PEL. We model an excitation as a shear transformation zone (STZ) inducing a localized pure shear deformation onto an inherent state. We connect STZs to T1 transition events that break the elastic bonds holding the local structure of an inherent state. A formula for the excitation energy barrier, denoted as $J_\sigma$, is obtained as a function of inherent-state elastic moduli and radial distribution function. The energy barrier from the current theory is compared to one predicted by the DF theory where good agreement is found in various two-dimensional continuous poly-disperse atomistic models of glass formers. These results strengthen the role of structure and elasticity in driving glassy dynamics through the creation and relaxation of localized excitations.


title: Maximal characterisation of local Hardy spaces on locally doubling manifolds

abstract: We prove a radial maximal function characterisation of the local atomic Hardy space h^1(M) on a Riemannian manifold M with positive injectivity radius and Ricci curvature bounded from below. As a consequence, we show that an integrable function belongs to h^1(M) if and only if either its local heat maximal function or its local Poisson maximal function are integrable. A key ingredient is a decomposition of H\"older cut-offs in terms of an appropriate class of approximations of the identity, which we obtain on arbitrary Ahlfors-regular metric measure spaces and generalises a previous result of A. Uchiyama.


title: On Harmonicity and Differential Equations of a Bertrand Curve

abstract: In the present paper, we give new Frenet formulas for the Bertrand partner curve by taking the advantage of relations between curvatures and a curve itself. Then making use of these formulas we write the differential equations and sufficient conditions of harmonicity of the Bertrand partner curve in terms of the main curve. Finally, we exemplify our assertions on the curve helix to see how the formulas we developed work.


title: Implementation of quantum stochastic walks for function approximation, two-dimensional data classification, and sequence classification

abstract: We study a quantum stochastic neural network (QSNN) based on quantum stochastic walks on a graph, and use gradient descent to update the network parameters. We apply a toy model of QSNN with a few neurons to the problems of function approximation, two-dimensional data classification, and sequence classification. A simple QSNN with five neurons is trained to determine whether a sequence of words is a sentence or not, and we find that a QSNN can reduce the number of training steps. A QSNN with 11 neurons shows a quantum advantage in improving the accuracy of recognizing new types of inputs like verses. Moreover, with our toy model, we find the coherent QSNN is more robust against both label noise and device noise, compared with the decoherent QSNN. These results show that quantum stochastic walks may be a useful resource to implement a quantum neural network.


title: Congruence Properties of Indices of Triangular Numbers Multiple of Other Triangular Numbers

abstract: It is known that, for any positive non-square integer multiplier $k$, there is an infinity of multiples of triangular numbers which are triangular numbers. We analyze the congruence properties of the indices $\xi$ of triangular numbers that are multiples of other triangular numbers. We show that the remainders in the congruence relations of $\xi$ modulo k come always in pairs whose sum always equal $\left(k-1\right)$, always include 0 and $\left(k-1\right)$, and only 0 and $\left(k-1\right)$ if $k$ is prime, or an odd power of a prime, or an even square plus one or an odd square minus one or minus two. If the multiplier $k$ is twice the triangular number of $n$, the set of remainders includes also $n$ and $\left(n^{2}-1\right)$ and if $k$ has integer factors, the set of remainders include multiples of a factor following certain rules. Finally, algebraic expressions are found for remainders in function of $k$ and its factors. Several exceptions are noticed and superseding rules exist between various rules and expressions of remainders. This approach allows to eliminate in numerical searches those $\left(k-\upsilon\right)$ values of $\xi_{i}$ that are known not to provide solutions, where $\upsilon$ is the even number of remainders. The gain is typically in the order of $k/\upsilon$, with $\upsilon\ll k$ for large values of $k$.


title: FAtiMA Toolkit -- Toward an effective and accessible tool for the development of intelligent virtual agents and social robots

abstract: More than a decade has passed since the development of FearNot!, an application designed to help children deal with bullying through role-playing with virtual characters. It was also the application that led to the creation of FAtiMA, an affective agent architecture for creating autonomous characters that can evoke empathic responses. In this paper, we describe FAtiMA Toolkit, a collection of open-source tools that is designed to help researchers, game developers and roboticists incorporate a computational model of emotion and decision-making in their work. The toolkit was developed with the goal of making FAtiMA more accessible, easier to incorporate into different projects and more flexible in its capabilities for human-agent interaction, based upon the experience gathered over the years across different virtual environments and human-robot interaction scenarios. As a result, this work makes several different contributions to the field of Agent-Based Architectures. More precisely, FAtiMA Toolkit's library based design allows developers to easily integrate it with other frameworks, its meta-cognitive model affords different internal reasoners and affective components and its explicit dialogue structure gives control to the author even within highly complex scenarios. To demonstrate the use of FAtiMA Toolkit, several different use cases where the toolkit was successfully applied are described and discussed.


title: Chemical tuning of spin clock transitions in molecular monomers based on nuclear spin-free Ni(II)

abstract: We report the existence of a sizeable quantum tunnelling splitting between the two lowest electronic spin levels of mononuclear Ni complexes. The level anti-crossing, or magnetic clock transition, associated with this gap has been directly monitored by heat capacity experiments. The comparison of these results with those obtained for a Co derivative, for which tunnelling is forbidden by symmetry, shows that the clock transition leads to an effective suppression of intermolecular spin-spin interactions. In addition, we show that the quantum tunnelling splitting admits a chemical tuning via the modification of the ligand shell that determines the crystal field and the magnetic anisotropy. These properties are crucial to realize model spin qubits that combine the necessary resilience against decoherence, a proper interfacing with other qubits and with the control circuitry and the ability to initialize them by cooling.


title: Multi-Agent Deep Reinforcement Learning for Request Dispatching in Distributed-Controller Software-Defined Networking

abstract: Recently, distributed controller architectures have been quickly gaining popularity in Software-Defined Networking (SDN). However, the use of distributed controllers introduces a new and important Request Dispatching (RD) problem with the goal for every SDN switch to properly dispatch their requests among all controllers so as to optimize network performance. This goal can be fulfilled by designing an RD policy to guide distribution of requests at each switch. In this paper, we propose a Multi-Agent Deep Reinforcement Learning (MA-DRL) approach to automatically design RD policies with high adaptability and performance. This is achieved through a new problem formulation in the form of a Multi-Agent Markov Decision Process (MA-MDP), a new adaptive RD policy design and a new MA-DRL algorithm called MA-PPO. Extensive simulation studies show that our MA-DRL technique can effectively train RD policies to significantly outperform man-made policies, model-based policies, as well as RD policies learned via single-agent DRL algorithms.


title: End-to-End Mispronunciation Detection and Diagnosis From Raw Waveforms

abstract: Mispronunciation detection and diagnosis (MDD) is designed to identify pronunciation errors and provide instructive feedback to guide non-native language learners, which is a core component in computer-assisted pronunciation training (CAPT) systems. However, MDD often suffers from the data-sparsity problem due to that collecting non-native data and the associated annotations is time-consuming and labor-intensive. To address this issue, we explore a fully end-to-end (E2E) neural model for MDD, which processes learners' speech directly based on raw waveforms. Compared to conventional hand-crafted acoustic features, raw waveforms retain more acoustic phenomena and potentially can help neural networks discover better and more customized representations. To this end, our MDD model adopts a co-called SincNet module to take input a raw waveform and covert it to a suitable vector representation sequence. SincNet employs the cardinal sine (sinc) function to implement learnable bandpass filters, drawing inspiration from the convolutional neural network (CNN). By comparison to CNN, SincNet has fewer parameters and is more amenable to human interpretation. Extensive experiments are conducted on the L2-ARCTIC dataset, which is a publicly-available non-native English speech corpus compiled for research on CAPT. We find that the sinc filters of SincNet can be adapted quickly for non-native language learners of different nationalities. Furthermore, our model can achieve comparable mispronunciation detection performance in relation to state-of-the-art E2E MDD models that take input the standard handcrafted acoustic features. Besides that, our model also provides considerable improvements on phone error rate (PER) and diagnosis accuracy.


title: CoTr: Efficiently Bridging CNN and Transformer for 3D Medical Image Segmentation

abstract: Convolutional neural networks (CNNs) have been the de facto standard for nowadays 3D medical image segmentation. The convolutional operations used in these networks, however, inevitably have limitations in modeling the long-range dependency due to their inductive bias of locality and weight sharing. Although Transformer was born to address this issue, it suffers from extreme computational and spatial complexities in processing high-resolution 3D feature maps. In this paper, we propose a novel framework that efficiently bridges a {\bf Co}nvolutional neural network and a {\bf Tr}ansformer {\bf (CoTr)} for accurate 3D medical image segmentation. Under this framework, the CNN is constructed to extract feature representations and an efficient deformable Transformer (DeTrans) is built to model the long-range dependency on the extracted feature maps. Different from the vanilla Transformer which treats all image positions equally, our DeTrans pays attention only to a small set of key positions by introducing the deformable self-attention mechanism. Thus, the computational and spatial complexities of DeTrans have been greatly reduced, making it possible to process the multi-scale and high-resolution feature maps, which are usually of paramount importance for image segmentation. We conduct an extensive evaluation on the Multi-Atlas Labeling Beyond the Cranial Vault (BCV) dataset that covers 11 major human organs. The results indicate that our CoTr leads to a substantial performance improvement over other CNN-based, transformer-based, and hybrid methods on the 3D multi-organ segmentation task. Code is available at \def\UrlFont{\rm\small\ttfamily} \url{https://github.com/YtongXie/CoTr}


title: Comparing multi-field primordial feature models with the Planck data

abstract: In this paper, we use a complete model of classical primordial standard clocks as an example to develop a methodology of directly comparing numerical predictions from complicated multi-field feature models with the Planck data, including the Planck 2018 Plik unbinned likelihood and the statistically most powerful CamSpec 2020 likelihood for temperature and polarization data. As this two-field inflationary model offers a plethora of primordial feature spectra that represent combinations of sharp and resonance feature signals non-trivially distributed over extended cosmological scales, its data comparison has not been satisfactorily addressed by previous attempts using analytical templates. The method of this paper, consisting of numerical prediction, effective parameter construction and nested sampling data comparison, allows us to efficiently explore every possible spectra from the model. We classify the resulting feature candidates in three different frequency ranges. We use the Bayesian evidences to assess the statistical significance of the candidates over the baseline model, taking into account the effect of additional parameters and the look-elsewhere effect. Although none of the candidates is statistically significant, the methodology of this paper can be used to facilitate the future model-building and data-screening process of primordial features, and the candidates can be subjected to further tests with data from the upcoming cosmic microwave background polarization observations and galaxy surveys.


title: Adaptive Sparse Array Beamformer Design by Regularized Complementary Antenna Switching

abstract: In this work, we propose a novel strategy of adaptive sparse array beamformer design, referred to as regularized complementary antenna switching (RCAS), to swiftly adapt both array configuration and excitation weights in accordance to the dynamic environment for enhancing interference suppression. In order to achieve an implementable design of array reconfiguration, the RCAS is conducted in the framework of regularized antenna switching, whereby the full array aperture is collectively divided into separate groups and only one antenna in each group is switched on to connect with the processing channel. A set of deterministic complementary sparse arrays with good quiescent beampatterns is first designed by RCAS and full array data is collected by switching among them while maintaining resilient interference suppression. Subsequently, adaptive sparse array tailored for the specific environment is calculated and reconfigured based on the information extracted from the full array data. The RCAS is devised as an exclusive cardinality-constrained optimization, which is reformulated by introducing an auxiliary variable combined with a piece-wise linear function to approximate the $l_0$-norm function. A regularization formulation is proposed to solve the problem iteratively and eliminate the requirement of feasible initial search point. A rigorous theoretical analysis is conducted, which proves that the proposed algorithm is essentially an equivalent transformation of the original cardinality-constrained optimization. Simulation results validate the effectiveness of the proposed RCAS strategy.


title: Modeling Multi-Label Action Dependencies for Temporal Action Localization

abstract: Real-world videos contain many complex actions with inherent relationships between action classes. In this work, we propose an attention-based architecture that models these action relationships for the task of temporal action localization in untrimmed videos. As opposed to previous works that leverage video-level co-occurrence of actions, we distinguish the relationships between actions that occur at the same time-step and actions that occur at different time-steps (i.e. those which precede or follow each other). We define these distinct relationships as action dependencies. We propose to improve action localization performance by modeling these action dependencies in a novel attention-based Multi-Label Action Dependency (MLAD)layer. The MLAD layer consists of two branches: a Co-occurrence Dependency Branch and a Temporal Dependency Branch to model co-occurrence action dependencies and temporal action dependencies, respectively. We observe that existing metrics used for multi-label classification do not explicitly measure how well action dependencies are modeled, therefore, we propose novel metrics that consider both co-occurrence and temporal dependencies between action classes. Through empirical evaluation and extensive analysis, we show improved performance over state-of-the-art methods on multi-label action localization benchmarks(MultiTHUMOS and Charades) in terms of f-mAP and our proposed metric.


title: The alternating central extension of the $q$-Onsager algebra

abstract: The $q$-Onsager algebra $O_q$ is presented by two generators $W_0$, $W_1$ and two relations, called the $q$-Dolan/Grady relations. Recently Baseilhac and Koizumi introduced a current algebra $\mathcal A_q$ for $O_q$. Soon afterwards, Baseilhac and Shigechi gave a presentation of $\mathcal A_q$ by generators and relations. We show that these generators give a PBW basis for $\mathcal A_q$. Using this PBW basis, we show that the algebra $\mathcal A_q$ is isomorphic to $O_q \otimes \mathbb F \lbrack z_1, z_2, \ldots \rbrack$, where $\mathbb F$ is the ground field and $\lbrace z_n \rbrace_{n=1}^\infty $ are mutually commuting indeterminates. Recall the positive part $U^+_q$ of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. Our results show that $O_q$ is related to $\mathcal A_q$ in the same way that $U^+_q$ is related to the alternating central extension of $U^+_q$. For this reason, we propose to call $\mathcal A_q$ the alternating central extension of $O_q$.


title: Short-lived electron excitations in $\rm FeTe_{1-x}Se_x$ as revealed by microwave absorption

abstract: The $\rm Fe_{1+y}Te_{1-x}Se_x$\ single crystals with the various Se/Te ratios were studied by the microwave absorption and direct current resistivity measurements. The comparison of the microwave absorption data and the resistivity versus temperature made it possible to separate the contributions of two types of spin fluctuations. One of them is due to the anisotropic magnetic (nematic) fluctuations. It is observed over the wide temperature range from 30K to 150 or 200K. In FeSe it has the maximum close to the structural transition temperature. Another MWA anomaly is located in the narrow temperature range above the superconducting transition. It is likely due to the antiferromagnetic fluctuations. Annealing of a sample at the temperature around 300 C in the oxygen atmosphere made it possible to exclude the effect of excess iron on the observed anomalies.


title: Investigating the Projected Phase Space of Gaussian and Non-Gaussian Clusters

abstract: By way of the projected phase-space (PPS), we investigate the relation between galaxy properties and cluster environment in a subsample of groups from the Yang Catalog. The sample is split according to the gaussianity of the velocity distribution in the group into gaussian (G) and non-gaussian (NG). Our sample is limited to massive clusters with $\rm M_{200} \geq 10^{14} M_{\odot}$ and $\rm 0.03\leq z \leq 0.1$. NG clusters are more massive, less concentrated and have an excess of faint galaxies compared to G clusters. NG clusters show mixed distributions of galaxy properties in the PPS compared to the G case. Using the relation between infall time and locus on the PPS, we find that, on average, NG clusters accreted $\rm \sim 10^{11}\,M_{\odot}$ more stellar mass in the last $\sim 5$ Gyr than G clusters. The relation between galaxy properties and infall time is significantly different for galaxies in G and NG systems. The more mixed distribution in the PPS of NG clusters translates into shallower relations with infall time. Faint galaxies whose first crossing of the cluster virial radius happened 2-4 Gyr ago in NG clusters are older and more metal-rich than in G systems. All these results suggest that NG clusters experience a higher accretion of pre-processed galaxies, which characterizes G and NG clusters as different environments to study galaxy evolution.


title: Cognitive-Driven Optimization of Sparse Array Transceiver for MIMO Radar Beamforming

abstract: Cognitive multiple-input multiple-output (MIMO) radar is capable of adjusting system parameters adaptively by sensing and learning in complex dynamic environment. Beamforming performance of MIMO radar is guided by both beamforming weight coefficients and the transceiver configuration. We propose a cognitive-driven MIMO array design where both the beamforming weights and the transceiver configuration are adaptively and concurrently optimized under different environmental conditions. The perception-action cycle involves data collection of full virtual array, covariance reconstruction and joint design of the transmit and receive arrays by antenna selection.The optimal transceiver array design is realized by promoting two-dimensional group sparsity via iteratively minimizing reweighted mixed L21-norm, with constraints imposed on transceiver antenna spacing for proper transmit/receive isolation. Simulations are provided to demonstrate the "perception-action" capability of the proposed cognitive sparse MIMO array in achieving enhanced beamforming and anti-jamming in dynamic target and interference environment.


title: Wanted Dead or Alive : Epistemic logic for impure simplicial complexes

abstract: We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent synchronous distributed systems under uncertainty over which processes are still active (are alive) and which processes have failed or crashed (are dead). Our work generalizes the logic of knowledge for pure simplicial complexes, where all processes are alive, by Goubault et al. In our semantics, given a designated face in a complex, a formula can only be true or false there if it is defined. The following are undefined: dead processes cannot know or be ignorant of any proposition, and live processes cannot know or be ignorant of factual propositions involving processes they know to be dead. The semantics are therefore three-valued, with undefined as the third value. We propose an axiomatization that is a version of the modal logic S5. We also show that impure simplicial complexes correspond to certain Kripke models where agents' accessibility relations are equivalence relations on a subset of the domain only. This work extends a WoLLIC 21 conference publication with the same title.


title: Quantifying quantum coherence in polariton condensates

abstract: We theoretically and experimentally investigate quantum features of an interacting light-matter system from a multidisciplinary perspective, unifying approaches from semiconductor physics, quantum optics, and quantum information science. To this end, we quantify the amount of quantum coherence that results from the quantum superposition of Fock states, constituting a measure of the resourcefulness of the produced state for modern quantum protocols. As an archetypal example of a hybrid light-matter interface, we study a polariton condensate and implement a numerical model to predict its properties. Our simulation is confirmed by our proof-of-concept experiment in which we measure and analyze the phase-space distributions of the emitted light. Specifically, we drive a polariton microcavity across the condensation threshold and observe the transition from an incoherent thermal state to a coherent state in the emission, thus confirming the build-up of quantum coherence in the condensate itself.


title: The star catalogue of Wilhelm IV, Landgraf von Hessen-Kassel: Accuracy of the catalogue and of the measurements

abstract: We analyse a manuscript star catalogue by Wilhem IV, Landgraf von Hessen-Kassel, from 1586. From measurements of altitudes and of angles between stars, given in the catalogue, we find that the measurement accuracy averages 26 arcsec for eight fundamental stars, compared to 49 arcsec of the measurements by Brahe. The computation in converting altitudes to declinations and angles between stars to celestial position is very accurate, with errors negligible with respect to the measurement errors. Due to an offset in the position of the vernal equinox the positional error of the catalogue is slightly worse than that of Brahe's catalogue, but when correction is made for the offset -- which was known to 17th century astronomers -- the catalogue is more accurate than that of Brahe by a factor two. We provide machine-readable Tables of the catalogue.


title: Computing Subset Feedback Vertex Set via Leafage

abstract: A typical example that behaves computationally different in subclasses of chordal graphs is the \textsc{Subset Feedback Vertex Set} (SFVS) problem: given a vertex-weighted graph $G=(V,E)$ and a set $S\subseteq V$, the \textsc{Subset Feedback Vertex Set} (SFVS) problem asks for a vertex set of minimum weight that intersects all cycles containing a vertex of $S$. SFVS is known to be polynomial-time solvable on interval graphs, whereas SFVS remains \NP-complete on split graphs and, consequently, on chordal graphs. Towards a better understanding of the complexity of SFVS on subclasses of chordal graphs, we exploit structural properties of a tree model in order to cope with the hardness of SFVS. Here we consider variants of the \emph{leafage} that measures the minimum number of leaves in a tree model. We show that SFVS can be solved in polynomial time for every chordal graph with bounded leafage. In particular, given a chordal graph on $n$ vertices with leafage $\ell$, we provide an algorithm for SFVS with running time $n^{O(\ell)}$. We complement our result by showing that SFVS is \W[1]-hard parameterized by $\ell$. Pushing further our positive result, it is natural to consider a slight generalization of leafage, the \emph{vertex leafage}, which measures the smallest number among the maximum number of leaves of all subtrees in a tree model. However, we show that it is unlikely to obtain a similar result, as we prove that SFVS remains \NP-complete on undirected path graphs, i.e., graphs having vertex leafage at most two. Moreover, we strengthen previously-known polynomial-time algorithm for SFVS on rooted path graphs that form a proper subclass of undirected path graphs and graphs of mim-width one.


title: A Survey on Graph Structure Learning: Progress and Opportunities

abstract: Graphs are widely used to describe real-world objects and their interactions. Graph Neural Networks (GNNs) as a de facto model for analyzing graphstructured data, are highly sensitive to the quality of the given graph structures. Therefore, noisy or incomplete graphs often lead to unsatisfactory representations and prevent us from fully understanding the mechanism underlying the system. In pursuit of an optimal graph structure for downstream tasks, recent studies have sparked an effort around the central theme of Graph Structure Learning (GSL), which aims to jointly learn an optimized graph structure and corresponding graph representations. In the presented survey, we broadly review recent progress in GSL methods. Specifically, we first formulate a general pipeline of GSL and review state-of-the-art methods classified by the way of modeling graph structures, followed by applications of GSL across domains. Finally, we point out some issues in current studies and discuss future directions.


title: Variational cohomology and topological solitons in Yang-Mills-Chern-Simons theories

abstract: In cohomological formulations of the calculus of variations obstructions to the existence of (global) solutions of the Euler--Lagrange equations can arise in principle. It seems, however, quite common to assume that such obstructions always vanish, at least in the cases of interest in theoretical physics. This is not so: for Yang--Mills--Chern--Simons theories in odd dimensions $> 5$ we find a non trivial obstruction which leads to a quite strong non existence theorem for topological solitons/instantons. Applied to holographic QCD this reveals then a possible mathematical inconsistency. For solitons in the important Sakai--Sugimoto model this inconsistency takes the form that their $\mathfrak{u}_1$-component cannot decay sufficiently fast to ``extend to infinity'' like the $\mathfrak{su}_n$--component.


title: Mobile Touchless Fingerprint Recognition: Implementation, Performance and Usability Aspects

abstract: This work presents an automated touchless fingerprint recognition system for smartphones. We provide a comprehensive description of the entire recognition pipeline and discuss important requirements for a fully automated capturing system. Also, our implementation is made publicly available for research purposes. During a database acquisition, a total number of 1,360 touchless and touch-based samples of 29 subjects are captured in two different environmental situations. Experiments on the acquired database show a comparable performance of our touchless scheme and the touch-based baseline scheme under constrained environmental influences. A comparative usability study on both capturing device types indicates that the majority of subjects prefer the touchless capturing method. Based on our experimental results we analyze the impact of the current COVID-19 pandemic on fingerprint recognition systems. Finally, implementation aspects of touchless fingerprint recognition are summarized.


title: Testing the models of X-ray driven photoevaporation with accreting stars in the Orion Nebula Cluster

abstract: Recent works highlight the importance of stellar X-rays on the evolution of the circumstellar disks of young stellar objects, especially for disk photoevaporation. A signature of this process may be seen in the so far tentatively observed dependence of stellar accretion rates on X-ray luminosities. According to models of X-ray driven photoevaporation, stars with higher X-ray luminosities should show lower accretion rates, on average, in a sample with similar masses and ages. To this aim, we have analyzed X-ray properties of young stars in the Orion Nebula Cluster determined with Chandra during the COUP observation as well as accretion data obtained from the photometric catalog of the HST Treasury Program. With these data, we have performed a statistical analysis of the relation between X-ray activity and accretion rates using partial linear regression analysis. The initial anticorrelation found with a sample of 332 young stars is considerably weaker compared to previous studies. However, excluding flaring activity or limiting the X-ray luminosity to the soft band (0.5 - 2.0 keV) leads to a stronger anticorrelation, which is statistically more significant. Furthermore, we have found a weak positive correlation between the higher component of the plasma temperature gained in the X-ray spectral fitting and the accretion rates, indicating that the hardness of the X-ray spectra may influence the accretion process. There is evidence for a weak anticorrelation, as predicted by theoretical models, suggesting that X-ray photoevaporation modulates the accretion rate through the inner disk at late stages of disk evolution, leading to a phase of photoevaporation-starved accretion.


title: Fatigue and Collapse of Cyclically Bent Strip of Amorphous Solid

abstract: Fatigue caused by cyclic bending of a piece of material, resulting in its mechanical failure, is a phenomenon that had been studied for ages by engineers and physicists alike. In this Letter we study such fatigue in a strip of athermal amorphous solid. On the basis of atomistic simulations we conclude that the crucial quantity to focus on is the {\em accumulated damage}. Although this quantity exhibits large sample-to-sample fluctuations, its dependence on the loading determines the statistics of the number of cycles to failure. Thus we can provide a scaling theory for the W\"ohler plots of mean number of cycles for failure as a function of the loading amplitude.


title: Exploring the tilted accretion disc of AQ Men with TESS

abstract: AQ Men is a nova-like variable which is presumed to have a tilted, precessing accretion disc. Grazing eclipses in this system have been speculated to be useful in exploring the geometry of its accretion disc. In this work we analysed TESS observations of AQ Men, which provide the best light curve of this object thus far. We show that the depths of the eclipses are changing with the orientation of the accretion disc, which means that they can serve as a direct test of the tilted accretion disc models. The precession period of the accretion disc is increasing during the TESS observations. However, it is still shorter than the period determined in the previous studies. The amplitude of the variability related to the precession of the accretion disc varies, and so does the shape of this variability. Moreover, we have detected a positive superhump that was previously unseen in AQ Men. Interestingly, the positive superhump has a strongly non-sinusoidal shape, which is not expected for a nova-like variable.


title: New SU UMa-type star ZTF18abdlzhd in the Zwicky Transient Facility data

abstract: We carried out a search for unknown dwarf novae in a public data release of the Zwicky Transient Facility survey and suspected that the object ZTF18abdlzhd is a SU UMa-type star. Performed multicolor CCD observations permit us to follow its fading from an outburst in August and an entire superoutburst in October 2020. The duration of the superoutburst is 13 days. We detected superhumps with period P = 0.06918(3) d that are characteristic of UGSU type stars.


title: An Internet of Things Service Roadmap

abstract: We propose a roadmap for leveraging the tremendous opportunities the Internet of Things (IoT) has to offer. We argue that the combination of the recent advances in service computing and IoT technology provide a unique framework for innovations not yet envisaged, as well as the emergence of yet-to-be-developed IoT applications. This roadmap covers: emerging novel IoT services, articulation of major research directions, and suggestion of a roadmap to guide the IoT and service computing community to address key IoT service challenges.


title: The RECIPE Approach to Challenges in Deeply Heterogeneous High Performance Systems

abstract: RECIPE (REliable power and time-ConstraInts-aware Predictive management of heterogeneous Exascale systems) is a recently started project funded within the H2020 FETHPC programme, which is expressly targeted at exploring new High-Performance Computing (HPC) technologies. RECIPE aims at introducing a hierarchical runtime resource management infrastructure to optimize energy efficiency and minimize the occurrence of thermal hotspots, while enforcing the time constraints imposed by the applications and ensuring reliability for both time-critical and throughput-oriented computation that run on deeply heterogeneous accelerator-based systems. This paper presents a detailed overview of RECIPE, identifying the fundamental challenges as well as the key innovations addressed by the project. In particular, the need for predictive reliability approaches to maximize hardware lifetime and guarantee application performance is identified as the key concern for RECIPE, and is addressed via hierarchical resource management of the heterogeneous architectural components of the system, driven by estimates of the application latency and hardware reliability obtained respectively through timing analysis and modelling thermal properties, mean-time-to-failure of subsystems. We show the impact of prediction accuracy on the overheads imposed by the checkpointing policy, as well as a possible application to a weather forecasting use case.


title: Factor-Based Imputation of Missing Values and Covariances in Panel Data of Large Dimensions

abstract: Economists are blessed with a wealth of data for analysis, but more often than not, values in some entries of the data matrix are missing. Various methods have been proposed to handle missing observations in a few variables. We exploit the factor structure in panel data of large dimensions. Our \textsc{tall-project} algorithm first estimates the factors from a \textsc{tall} block in which data for all rows are observed, and projections of variable specific length are then used to estimate the factor loadings. A missing value is imputed as the estimated common component which we show is consistent and asymptotically normal without further iteration. Implications for using imputed data in factor augmented regressions are then discussed. To compensate for the downward bias in covariance matrices created by an omitted noise when the data point is not observed, we overlay the imputed data with re-sampled idiosyncratic residuals many times and use the average of the covariances to estimate the parameters of interest. Simulations show that the procedures have desirable finite sample properties.


title: PointGuard: Provably Robust 3D Point Cloud Classification

abstract: 3D point cloud classification has many safety-critical applications such as autonomous driving and robotic grasping. However, several studies showed that it is vulnerable to adversarial attacks. In particular, an attacker can make a classifier predict an incorrect label for a 3D point cloud via carefully modifying, adding, and/or deleting a small number of its points. Randomized smoothing is state-of-the-art technique to build certifiably robust 2D image classifiers. However, when applied to 3D point cloud classification, randomized smoothing can only certify robustness against adversarially modified points. In this work, we propose PointGuard, the first defense that has provable robustness guarantees against adversarially modified, added, and/or deleted points. Specifically, given a 3D point cloud and an arbitrary point cloud classifier, our PointGuard first creates multiple subsampled point clouds, each of which contains a random subset of the points in the original point cloud; then our PointGuard predicts the label of the original point cloud as the majority vote among the labels of the subsampled point clouds predicted by the point cloud classifier. Our first major theoretical contribution is that we show PointGuard provably predicts the same label for a 3D point cloud when the number of adversarially modified, added, and/or deleted points is bounded. Our second major theoretical contribution is that we prove the tightness of our derived bound when no assumptions on the point cloud classifier are made. Moreover, we design an efficient algorithm to compute our certified robustness guarantees. We also empirically evaluate PointGuard on ModelNet40 and ScanNet benchmark datasets.


title: Spectral Vector Beams for High-Speed Spectroscopic Measurements

abstract: Structured light harnessing multiple degrees of freedom has become a powerful approach to use complex states of light in fundamental studies and applications. Here, we investigate the light field of an ultrafast laser beam with a wavelength-depended polarization state, a beam we term spectral vector beam. We demonstrate a simple technique to generate and tune such structured beams and demonstrate their spectroscopic capabilities. By only measuring the polarization state using fast photodetectors, it is possible to track pulse-to-pulse changes in the frequency spectrum caused by, e.g. narrowband transmission or absorption. In our experiments, we reach read-out rates of around 6 MHz, which is limited by our technical ability to modulate the spectrum and can in principle reach GHz read-out rates. In simulations we extend the spectral range to more than 1000 nm by using a supercontinuum light source, thereby paving the way to various applications requiring high-speed spectroscopic measurements.


title: Detecting Spurious Correlations with Sanity Tests for Artificial Intelligence Guided Radiology Systems

abstract: Artificial intelligence (AI) has been successful at solving numerous problems in machine perception. In radiology, AI systems are rapidly evolving and show progress in guiding treatment decisions, diagnosing, localizing disease on medical images, and improving radiologists' efficiency. A critical component to deploying AI in radiology is to gain confidence in a developed system's efficacy and safety. The current gold standard approach is to conduct an analytical validation of performance on a generalization dataset from one or more institutions, followed by a clinical validation study of the system's efficacy during deployment. Clinical validation studies are time-consuming, and best practices dictate limited re-use of analytical validation data, so it is ideal to know ahead of time if a system is likely to fail analytical or clinical validation. In this paper, we describe a series of sanity tests to identify when a system performs well on development data for the wrong reasons. We illustrate the sanity tests' value by designing a deep learning system to classify pancreatic cancer seen in computed tomography scans.


title: A Neural Text-to-Speech Model Utilizing Broadcast Data Mixed with Background Music

abstract: Recently, it has become easier to obtain speech data from various media such as the internet or YouTube, but directly utilizing them to train a neural text-to-speech (TTS) model is difficult. The proportion of clean speech is insufficient and the remainder includes background music. Even with the global style token (GST). Therefore, we propose the following method to successfully train an end-to-end TTS model with limited broadcast data. First, the background music is removed from the speech by introducing a music filter. Second, the GST-TTS model with an auxiliary quality classifier is trained with the filtered speech and a small amount of clean speech. In particular, the quality classifier makes the embedding vector of the GST layer focus on representing the speech quality (filtered or clean) of the input speech. The experimental results verified that the proposed method synthesized much more high-quality speech than conventional methods.


title: Exclusive rare Higgs decays into lepton pair and light mesons

abstract: Exclusive rare Higgs decays into lepton pair plus one light hadron, such as $h\to \rho^0(\omega)\ell\bar{\ell}$, $h\to \pi^0\ell\bar{\ell}$, $h\to \pi^+ (K^+)\ell^-\bar{\nu}_\ell$, and $h\to \rho^+(K^{*+})\ell^-\bar{\nu}_\ell$, have been explored in the standard model. Decay amplitudes are dominantly from the Higgs couplings to gauge bosons and to charged leptons, and their branching ratios are predicted in the range of $10^{-8}\sim 10^{-5}$. We have also analyzed the differential dilepton invariant mass and angular distributions of $h\to \rho^0 \ell^+\ell^-$ decays. It will be challenging to search for these rare processes. Nevertheless, experimental studies of them, in particular, $h\to \rho^0\ell^+\ell^-$ with $\ell=e,\mu$, might be interesting both to help deepen our understanding of the standard model and to probe new physics beyond the standard model in the future high-precision experiments.


title: Ultralow thermal conductivity in two-dimensional MoO$_3$

abstract: Monolayer molybdenum trioxide (MoO$_3$) is an emerging two-dimensional (2D) material with high electrical conductivity. Using first-principles calculations and a Boltzmann transport theoretical framework, we predict record low room-temperature phonon thermal conductivity ($\kappa_p$) of 1.57 W/mK and 1.26 W/mK along the principal in-plane directions of MoO$_3$ monolayer. The behavior is attributed to the combination of soft flexural and in-plane acoustic modes, which are coupled through the finite layer thickness, and to the strong bonding anharmonicity, which gives rise to significant 3- and 4-phonon scattering events. These insights suggest new indicators for guiding the search of 2D materials with low $\kappa_p$. Our result motivates experimental $\kappa_p$ measurements in MoO$_3$, and its applications as a thermoelectric and thermally protective material.


title: On symplectic automorphisms of elliptic surfaces acting on $\mathrm{CH}_0$

abstract: Let $S$ be a complex smooth projective surface of Kodaira dimension one. We show that the group $\mathrm{Aut}_s(S)$ of symplectic automorphisms acts trivially on the Albanese kernel $\mathrm{CH}_0(S)_\mathrm{alb}$ of the $0$-th Chow group $\mathrm{CH}_0(S)$, unless possibly if the geometric genus and the irregularity satisfy $p_g(S)=q(S)\in\{1,2\}$. In the exceptional cases, the image of the homomorphism $\mathrm{Aut}_s(S)\rightarrow \mathrm{Aut}(\mathrm{CH}_0(S)_\mathrm{alb})$ has order at most 3. Our arguments actually take care of the group $\mathrm{Aut}_f(S)$ of fibration-preserving automorphisms of elliptic surfaces $f\colon S\rightarrow B$. We prove that, if $\sigma\in\mathrm{Aut}_f(S)$ induces the trivial action on $H^{i,0}(S)$ for $i>0$, then it induces the trivial action on $\mathrm{CH}_0(S)_\mathrm{alb}$. As a by-product we obtain that if $S$ is an elliptic K3 surface, then $\mathrm{Aut}_f(S)\cap \mathrm{Aut}_s(S)$ acts trivially on $\mathrm{CH}_0(S)_\mathrm{alb}$.


title: Graphs with disjoint 2-dominating sets

abstract: A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G\setminus D$ has a neighbor in $D$, while $D$ is a 2-dominating set of $G$ if every vertex belonging to $V_G\setminus D$ is joined by at least two edges with a vertex or vertices in $D$. A graph $G$ is a $(2,2)$-dominated graph if it has a pair $(D,D')$ of disjoint $2$-dominating sets of vertices of $G$. In this paper we present two characterizations of minimal $(2,2)$-dominated graphs.


title: An Open-Source Low-Cost Mobile Robot System with an RGB-D Camera and Efficient Real-Time Navigation Algorithm

abstract: Currently, mobile robots are developing rapidly and are finding numerous applications in the industry. However, several problems remain related to their practical use, such as the need for expensive hardware and high power consumption levels. In this study, we build a low-cost indoor mobile robot platform that does not include a LiDAR or a GPU. Then, we design an autonomous navigation architecture that guarantees real-time performance on our platform with an RGB-D camera and a low-end off-the-shelf single board computer. The overall system includes SLAM, global path planning, ground segmentation, and motion planning. The proposed ground segmentation approach extracts a traversability map from raw depth images for the safe driving of low-body mobile robots. We apply both rule-based and learning-based navigation policies using the traversability map. Running sensor data processing and other autonomous driving components simultaneously, our navigation policies perform rapidly at a refresh rate of 18 Hz for control command, whereas other systems have slower refresh rates. Our methods show better performances than current state-of-the-art navigation approaches within limited computation resources as shown in 3D simulation tests. In addition, we demonstrate the applicability of our mobile robot system through successful autonomous driving in an indoor environment.


title: Self-supervised deep convolutional neural network for chest X-ray classification

abstract: Chest radiography is a relatively cheap, widely available medical procedure that conveys key information for making diagnostic decisions. Chest X-rays are almost always used in the diagnosis of respiratory diseases such as pneumonia or the recent COVID-19. In this paper, we propose a self-supervised deep neural network that is pretrained on an unlabeled chest X-ray dataset. The learned representations are transferred to downstream task - the classification of respiratory diseases. The results obtained on four public datasets show that our approach yields competitive results without requiring large amounts of labeled training data.


title: Origin of the different electronic structure of Rh- and Ru-doped Sr2IrO4

abstract: One way to induce insulator to metal transitions in the spin-orbit Mott insulator Sr2IrO4 is to substitute iridium with transition metals (Ru, Rh). However, this creates intriguing inhomogeneous metallic states, which cannot be described by a simple doping effect. We detail the electronic structure of the Ru-doped case with angle-resolved photoemission and show that, contrary to Rh, it cannot be connected to the undoped case by a rigid shift. We further identify bands below $E_F$ coexisting with the metallic ones that we assign to non-bonding Ir sites. We rationalize the differences between Rh and Ru by a different hybridization with oxygen, which mediates the coupling to Ir and sensitively affects the effective doping. We argue that the spin-orbit coupling does not control neither the charge transfer nor the transition threshold.


title: Neuromechanics-based Deep Reinforcement Learning of Neurostimulation Control in FES cycling

abstract: Functional Electrical Stimulation (FES) can restore motion to a paralysed person's muscles. Yet, control stimulating many muscles to restore the practical function of entire limbs is an unsolved problem. Current neurostimulation engineering still relies on 20th Century control approaches and correspondingly shows only modest results that require daily tinkering to operate at all. Here, we present our state of the art Deep Reinforcement Learning (RL) developed for real time adaptive neurostimulation of paralysed legs for FES cycling. Core to our approach is the integration of a personalised neuromechanical component into our reinforcement learning framework that allows us to train the model efficiently without demanding extended training sessions with the patient and working out of the box. Our neuromechanical component includes merges musculoskeletal models of muscle and or tendon function and a multistate model of muscle fatigue, to render the neurostimulation responsive to a paraplegic's cyclist instantaneous muscle capacity. Our RL approach outperforms PID and Fuzzy Logic controllers in accuracy and performance. Crucially, our system learned to stimulate a cyclist's legs from ramping up speed at the start to maintaining a high cadence in steady state racing as the muscles fatigue. A part of our RL neurostimulation system has been successfully deployed at the Cybathlon 2020 bionic Olympics in the FES discipline with our paraplegic cyclist winning the Silver medal among 9 competing teams.


title: Monotonicity of the over-rotation intervals for bimodal maps

abstract: We show that the connectedness of the set of parameters for which the over-rotation interval of a bimodal interval map is constant. In other words, the over-rotation interval is a monotone function of a bimodal interval map.


title: Sub-pixel face landmarks using heatmaps and a bag of tricks

abstract: Accurate face landmark localization is an essential part of face recognition, reconstruction and morphing. To accurately localize face landmarks, we present our heatmap regression approach. Each model consists of a MobileNetV2 backbone followed by several upscaling layers, with different tricks to optimize both performance and inference cost. We use five na\"ive face landmarks from a publicly available face detector to position and align the face instead of using the bounding box like traditional methods. Moreover, we show by adding random rotation, displacement and scaling -- after alignment -- that the model is more sensitive to the face position than orientation. We also show that it is possible to reduce the upscaling complexity by using a mixture of deconvolution and pixel-shuffle layers without impeding localization performance. We present our state-of-the-art face landmark localization model (ranking second on The 2nd Grand Challenge of 106-Point Facial Landmark Localization validation set). Finally, we test the effect on face recognition using these landmarks, using a publicly available model and benchmarks.


title: BM3D vs 2-Layer ONN

abstract: Despite their recent success on image denoising, the need for deep and complex architectures still hinders the practical usage of CNNs. Older but computationally more efficient methods such as BM3D remain a popular choice, especially in resource-constrained scenarios. In this study, we aim to find out whether compact neural networks can learn to produce competitive results as compared to BM3D for AWGN image denoising. To this end, we configure networks with only two hidden layers and employ different neuron models and layer widths for comparing the performance with BM3D across different AWGN noise levels. Our results conclusively show that the recently proposed self-organized variant of operational neural networks based on a generative neuron model (Self-ONNs) is not only a better choice as compared to CNNs, but also provide competitive results as compared to BM3D and even significantly surpass it for high noise levels.


title: 21cm signal predictions at Cosmic Dawn and Reionization with coupled radiative-hydrodynamics

abstract: The process of heating and reionization of the Universe at high redshift links small scale structures/galaxy formation and large scale inter-galactic medium properties. Even if the first one is difficult to observe, an observation window is opening on the second one, with the promising development of current and future radio telescopes. They will permit to observe the 21cm brightness temperature global signal and fluctuations. The need of large scale simulations is therefore strong to understand the properties of the IGM that will be observed. But at the same time the urge to resolve the structures responsible of those process is important. We introduce in this study, a coupled hydro-radiative transfer simulations of the Cosmic Dawn and Reionization with a simple sub-grid star formation process developed and calibrated on the state of the art simulation CoDaII. This scheme permits to follow consistently dark matter, hydrodynamics and radiative transfer evolution's on large scales, while the sub-grid models bridges to the galaxy formation scale. We process the simulation to produce 21cm signal as close as possible to the observations.