title: Spatiotemporal linear stability of viscoelastic free shear flows: non-affine response regime

abstract: We provide a detailed comparison of the two-dimensional, temporal and the spatiotemporal linearized analyses of the viscoelastic free shear flows in the limit of low to moderate Reynolds number and Elasticity number obeying four different types of stress-strain constitutive equations: Oldroyd-B, Upper Convected Maxwell, Johnson-Segalman (JS) and linear Phan-Thien Tanner (PTT). The resulting fourth-order Orr-Sommerfeld Equation is transformed into a set of six auxiliary equations that are numerically integrated via the Compound Matrix Method. The temporal stability analysis suggest (a) elastic stabilization at higher values of elasticity number, (b) a non-monotonic instability pattern at low to intermediate values of elasticity number for the JS as well as the PTT model. To comprehend the effect of elasticity, Reynolds number and viscosity on the temporal stability curves of the PTT model, we consider a fourth parameter, the centerline shear rate, $\zeta_c$. The `JS behaviour' is recovered below a critical value of $\zeta_c$ and above this critical value the PTT base stresses (relative to the JS model) is attenuated thereby explaining the stabilizing influence of elasticity. The Briggs idea of analytic continuation is deployed to classify regions of temporal stability, absolute and convective instabilities, as well as evanescent modes, and the results are compared with previously conducted experiments for Newtonian as well as viscoelastic flows past a cylinder. The phase diagrams reveal the two familiar regions of inertial turbulence modified by elasticity and elastic turbulence as well as (a recently substantiated) region of elastoinertial turbulence and the unfamiliar temporally stable region for intermediate values of Reynolds and Elasticity number.


title: A coordination-free, convergent, and safe replicated tree

abstract: The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and availability, different clients should be able to update their replicas concurrently and without coordination. Such concurrent updates converge if the effects commute, but nonetheless, concurrent moves can lead to incorrect states and even data loss. Such a severe issue cannot be ignored; ultimately, only one of the conflicting moves may be allowed to take effect. However, as it is rare, a solution should be lightweight. Previous approaches would require preventative cross-replica coordination, or totally order move operations after-the-fact, requiring roll-back and compensation operations. In this paper, we present a novel replicated tree that supports coordination-free concurrent atomic moves, and provably maintains the tree invariant. Our analysis identifies cases where concurrent moves are inherently safe, and we devise a lightweight, coordination-free, rollback-free algorithm for the remaining cases, such that a maximal safe subset of moves takes effect. We present a detailed analysis of the concurrency issues with trees, justifying our replicated tree data structure. We provide mechanized proof that the data structure is convergent and maintains the tree invariant. Finally, we compare the response time and availability of our design against the literature.


title: Phonon-number resolution of voltage-biased mechanical oscillators with weakly-anharmonic superconducting circuits

abstract: Observing quantum phenomena in macroscopic objects, and the potential discovery of a fundamental limit in the applicability of quantum mechanics, has been a central topic of modern experimental physics. Highly coherent and heavy micro-mechanical oscillators controlled by superconducting circuits are a promising system for this task. Here, we focus in particular on the electrostatic coupling of motion to a weakly anharmonic circuit, namely the transmon qubit. In the case of a megahertz mechanical oscillator coupled to a gigahertz transmon, we explain the difficulties in bridging the large electro-mechanical frequency gap. To remedy this issue, we explore the requirements to reach phonon-number resolution in the resonant coupling of a megahertz transmon and a mechanical oscillator.


title: The monotone extended second order cone and mixed complementarity problems

abstract: In this paper, we study a new generalization of the Lorentz cone, called the Monotone Extended Second Order Cone (MESOC). We investigate basic properties of MESOC including computation of its Lyapunov rank and proving its reducibility. Moreover, we show that in an ambient space, a cylinder is an isotonic projection set with respect to MESOC. We also examine a Nonlinear Complementarity Problem on a cylinder, which is equivalent to a suitable Mixed Complementarity Problem and provide a computational example illustrating applicability of MESOC.


title: Semantic Models for the First-stage Retrieval: A Comprehensive Review

abstract: Multi-stage ranking pipelines have been a practical solution in modern search systems, where the first-stage retrieval is to return a subset of candidate documents, and latter stages attempt to re-rank those candidates. Unlike re-ranking stages going through quick technique shifts during past decades, the first-stage retrieval has long been dominated by classical term-based models. Unfortunately, these models suffer from the vocabulary mismatch problem, which may block re-ranking stages from relevant documents at the very beginning. Therefore, it has been a long-term desire to build semantic models for the first-stage retrieval that can achieve high recall efficiently. Recently, we have witnessed an explosive growth of research interests on the first-stage semantic retrieval models. We believe it is the right time to survey current status, learn from existing methods, and gain some insights for future development. In this paper, we describe the current landscape of the first-stage retrieval models under a unified framework to clarify the connection between classical term-based retrieval methods, early semantic retrieval methods and neural semantic retrieval methods. Moreover, we identify some open challenges and envision some future directions, with the hope of inspiring more researches on these important yet less investigated topics.


title: Geometrical Representation for Number-theoretic Transforms

abstract: This short note introduces a geometric representation for binary (or ternary) sequences. The proposed representation is linked to multivariate data plotting according to the radar chart. As an illustrative example, the binary Hamming transform recently proposed is geometrically interpreted. It is shown that codewords of standard Hamming code $\mathcal{H}(N=7,k=4,d=3)$ are invariant vectors under the Hamming transform. These invariant are eigenvectors of the binary Hamming transform. The images are always inscribed in a regular polygon of unity side, resembling triangular rose petals and/or ``thorns''. A geometric representation of the ternary Golay transform, based on the extended Golay $\mathcal{G}(N=12, k=6, d=6)$ code over $\operatorname{GF}(3)$ is also showed. This approach is offered as an alternative representation of finite-length sequences over finite prime fields.


title: Emergence of spatial transitions in urban congestion dynamics

abstract: The quantitative study of traffic dynamics is crucial to ensure the efficiency of urban transportation networks. The current work investigates the spatial properties of congestion, that is, we aim to characterize the city areas where traffic bottlenecks occur. The analysis of a large amount of real road networks in previous works showed that congestion points experience spatial abrupt transitions, namely they shift away from the city center as larger urban areas are incorporated. The fundamental ingredient behind this effect is the entanglement of central and arterial roads, embedded in separated geographical regions. In this paper we extend the analysis of the conditions yielding abrupt transitions of congestion location. First, we look into the more realistic situation in which arterial and central roads, rather than lying on sharply separated regions, present spatial overlap. It results that this affects the position of bottlenecks and introduces new possible congestion areas. Secondly, we pay particular attention to the role played by the edge distribution, proving that it allows to smooth the transitions profile, and so to control the congestion displacement. Finally, we show that the aforementioned phenomenology may be recovered also as a consequence of a discontinuity in the nodes density, in a domain with uniform connectivity. Our results provide useful insights for the design and optimization of urban road networks, and the management of the daily traffic.


title: Frequency power spectra of global quantities in magnetoconvection

abstract: We present the results of direct numerical simulations of power spectral densities for kinetic energy, convective entropy and heat flux for unsteady Rayleigh-B\'{e}nard magnetoconvection in the frequency space. For larger values of frequency, the power spectral densities for all the global quantities vary with frequency $f$ as $f^{-2}$. The scaling exponent is independent of Rayleigh number, Chandrasekhar's number and thermal Prandtl number.


title: Comparison Among Coaxial Microcalorimeter Models

abstract: Thermoelectric power sensors used as power transfer standards are promising devices for further enhancements of the microcalorimetric technique in the high frequency field. A coaxial microcalorimeter has been studied, based on thermoelectric power sensors, at Istituto Nazionale di Ricerca Metrologica (INRIM). In the literature, several models have been proposed, considering different calibration processes and error sources. Hereby we analyze these models in terms of total uncertainty for the 3.5 mm coaxial line case between 10 MHz and 26.5 GHz. Merits and limits of the models are highlighted.


title: Hodge modules and cobordism classes

abstract: We show that the cobordism class of a polarization of Hodge module defines a natural transformation from the Grothendieck group of Hodge modules to the cobordism group of self-dual bounded complexes with real coefficients and constructible cohomology sheaves in a compatible way with pushforward by proper morphisms. This implies a new proof of the well-definedness of the natural transformation from the Grothendieck group of varieties over a given variety to the above cobordism group (with real coefficients). As a corollary, we get a slight extension of a conjecture of Brasselet, Sch\"urmann and Yokura, showing that in the $\mathbb Q$-homologically isolated singularity case, the homology $L$-class which is the specialization of the Hirzebruch class coincides with the intersection complex $L$-class defined by Goresky, MacPherson, and others if and only if the sum of the reduced modified Euler-Hodge signatures of the stalks of the shifted intersection complex vanishes. Here Hodge signature uses a polarization of Hodge structure, and it does not seem easy to define it by a purely topological method.


title: Sharp Asymptotic Estimates for Expectations, Probabilities, and Mean First Passage Times in Stochastic Systems with Small Noise

abstract: Freidlin-Wentzell theory of large deviations can be used to compute the likelihood of extreme or rare events in stochastic dynamical systems via the solution of an optimization problem. The approach gives exponential estimates that often need to be refined via calculation of a prefactor. Here it is shown how to perform these computations in practice. Specifically, sharp asymptotic estimates are derived for expectations, probabilities, and mean first passage times in a form that is geared towards numerical purposes: they require solving well-posed matrix Riccati equations involving the minimizer of the Freidlin-Wentzell action as input, either forward or backward in time with appropriate initial or final conditions tailored to the estimate at hand. The usefulness of our approach is illustrated on several examples. In particular, invariant measure probabilities and mean first passage times are calculated in models involving stochastic partial differential equations of reaction-advection-diffusion type.

categories: cond-mat.stat-mech math.OC math.PR physics.flu-dyn


title: Machine-learning based methodologies for 3d x-ray measurement, characterization and optimization for buried structures in advanced ic packages

abstract: For over 40 years lithographic silicon scaling has driven circuit integration and performance improvement in the semiconductor industry. As silicon scaling slows down, the industry is increasingly dependent on IC package technologies to contribute to further circuit integration and performance improvements. This is a paradigm shift and requires the IC package industry to reduce the size and increase the density of internal interconnects on a scale which has never been done before. Traditional package characterization and process optimization relies on destructive techniques such as physical cross-sections and delayering to extract data from internal package features. These destructive techniques are not practical with today's advanced packages. In this paper we will demonstrate how data acquired non-destructively with a 3D X-ray microscope can be enhanced and optimized using machine learning, and can then be used to measure, characterize and optimize the design and production of buried interconnects in advanced IC packages. Test vehicles replicating 2.5D and HBM construction were designed and fabricated, and digital data was extracted from these test vehicles using 3D X-ray and machine learning techniques. The extracted digital data was used to characterize and optimize the design and production of the interconnects and demonstrates a superior alternative to destructive physical analysis. We report an mAP of 0.96 for 3D object detection, a dice score of 0.92 for 3D segmentation, and an average of 2.1um error for 3D metrology on the test dataset. This paper is the first part of a multi-part report.


title: Efficient numerical approximation of a non-regular Fokker--Planck equation associated with first-passage time distributions

abstract: In neuroscience, the distribution of a decision time is modelled by means of a one-dimensional Fokker--Planck equation with time-dependent boundaries and space-time-dependent drift. Efficient approximation of the solution to this equation is required, e.g., for model evaluation and parameter fitting. However, the prescribed boundary conditions lead to a strong singularity and thus to slow convergence of numerical approximations. In this article we demonstrate that the solution can be related to the solution of a parabolic PDE on a rectangular space-time domain with homogeneous initial and boundary conditions by transformation and subtraction of a known function. We verify that the solution of the new PDE is indeed more regular than the solution of the original PDE and proceed to discretize the new PDE using a space-time minimal residual method. We also demonstrate that the solution depends analytically on the parameters determining the boundaries as well as the drift. This justifies the use of a sparse tensor product interpolation method to approximate the PDE solution for various parameter ranges. The predicted convergence rates of the minimal residual method and that of the interpolation method are supported by numerical simulations.


title: Universal Weil module

abstract: The classical construction of the Weil representation, with complex coefficients, has long been expected to work for more general coefficient rings. This paper exhibits the minimal ring $\mathcal{A}$ for which this is possible, the integral closure of $\mathbb{Z}[\frac{1}{p}]$ in a cyclotomic field, and carries out the construction of the Weil representation over $\mathcal{A}$-algebras. As a leitmotif all along the work, most of the problems can actually be solved over the base ring $\mathcal{A}$ and transferred to any $\mathcal{A}$-algebra by scalar extension. The most striking fact is that all these Weil representations arise as the scalar extension of a single one with coefficients in $\mathcal{A}$. In this sense, the Weil module obtained is universal. Building upon this construction, we speculate and make predictions about an integral theta correspondence.


title: Robust Model Checking with Imprecise Markov Reward Models

abstract: In recent years probabilistic model checking has become an important area of research because of the diffusion of computational systems of stochastic nature. Despite its great success, standard probabilistic model checking suffers the limitation of requiring a sharp specification of the probabilities governing the model behaviour. The theory of imprecise probabilities offers a natural approach to overcome such limitation by a sensitivity analysis with respect to the values of these parameters. However, only extensions based on discrete-time imprecise Markov chains have been considered so far for such a robust approach to model checking. We present a further extension based on imprecise Markov reward models. In particular, we derive efficient algorithms to compute lower and upper bounds of the expected cumulative reward and probabilistic bounded rewards based on existing results for imprecise Markov chains. These ideas are tested on a real case study involving the spend-down costs of geriatric medicine departments.


title: Alternative Procedures in Realizing of the High Frequency Power Standards with Microcalorimeter and Thermoelectric Power Sensors

abstract: The paper describes the realization process of the high frequency power standard based on a twin broadband microcalorimeter designed for effective efficiency measurement of coaxial power sensors with indirect heating thermocouples. The presented procedures involve microcalorimeter measurement and calibration steps, parameters computation and systematic errors correction for both long-term and accelerated algorithms. Also, a new method for determining the key parameters of high frequency power standards is proposed.


title: Improved $K_{e3}$ radiative corrections sharpen the $K_{\mu 2}$--$K_{l3}$ discrepancy

abstract: The measurements of $V_{us}$ in leptonic $(K_{\mu 2})$ and semileptonic $(K_{l3})$ kaon decays exhibit a $3\sigma$ disagreement, which could originate either from physics beyond the Standard Model or some large unidentified Standard Model systematic effects. Clarifying this issue requires a careful examination of all existing Standard Model inputs. Making use of a newly-proposed computational framework and the most recent lattice QCD results, we perform a comprehensive re-analysis of the electroweak radiative corrections to the $K_{e3}$ decay rates that achieves an unprecedented level of precision of $10^{-4}$, which improves the current best results by almost an order of magnitude. No large systematic effects are found, which suggests that the electroweak radiative corrections should be removed from the ``list of culprits'' responsible for the $K_{\mu 2}$--$K_{l3}$ discrepancy.


title: A microstructural model of tendon failure

abstract: Collagen fibrils are the most important structural component of tendons. Their crimped structure and parallel arrangement within the tendon lead to a distinctive non-linear stress-strain curve when a tendon is stretched. Microstructural models can be used to relate microscale collagen fibril mechanics to macroscale tendon mechanics, allowing us to identify the mechanisms behind each feature present in the stress-strain curve. Most models in the literature focus on the elastic behaviour of the tendon, and there are few which model beyond the elastic limit without introducing phenomenological parameters. We develop a model, built upon a collagen recruitment approach, that only contains microstructural parameters. We split the stress in the fibrils into elastic and plastic parts, and assume that the fibril yield stretch and rupture stretch are each described by a distribution function, rather than being single-valued. By changing the shapes of the distributions and their regions of overlap, we can produce macroscale tendon stress-strain curves that generate the full range of features observed experimentally, including those that could not be explained using existing models. These features include second linear regions occurring after the tendon has yielded, and step-like failure behaviour present after the stress has peaked. When we compare with an existing model, we find that our model reduces the average root mean squared error from 4.15MPa to 1.61MPa, and the resulting parameter values are closer to those found experimentally. Since our model contains only parameters that have a direct physical interpretation, it can be used to predict how processes such as ageing, disease, and injury affect the mechanical behaviour of tendons, provided we can quantify the effects of these processes on the microstructure.


title: HANDS: A Multimodal Dataset for Modeling Towards Human Grasp Intent Inference in Prosthetic Hands

abstract: Upper limb and hand functionality is critical to many activities of daily living and the amputation of one can lead to significant functionality loss for individuals. From this perspective, advanced prosthetic hands of the future are anticipated to benefit from improved shared control between a robotic hand and its human user, but more importantly from the improved capability to infer human intent from multimodal sensor data to provide the robotic hand perception abilities regarding the operational context. Such multimodal sensor data may include various environment sensors including vision, as well as human physiology and behavior sensors including electromyography and inertial measurement units. A fusion methodology for environmental state and human intent estimation can combine these sources of evidence in order to help prosthetic hand motion planning and control. In this paper, we present a dataset of this type that was gathered with the anticipation of cameras being built into prosthetic hands, and computer vision methods will need to assess this hand-view visual evidence in order to estimate human intent. Specifically, paired images from human eye-view and hand-view of various objects placed at different orientations have been captured at the initial state of grasping trials, followed by paired video, EMG and IMU from the arm of the human during a grasp, lift, put-down, and retract style trial structure. For each trial, based on eye-view images of the scene showing the hand and object on a table, multiple humans were asked to sort in decreasing order of preference, five grasp types appropriate for the object in its given configuration relative to the hand. The potential utility of paired eye-view and hand-view images was illustrated by training a convolutional neural network to process hand-view images in order to predict eye-view labels assigned by humans.


title: Relationship-based Neural Baby Talk

abstract: Understanding interactions between objects in an image is an important element for generating captions. In this paper, we propose a relationship-based neural baby talk (R-NBT) model to comprehensively investigate several types of pairwise object interactions by encoding each image via three different relationship-based graph attention networks (GATs). We study three main relationships: \textit{spatial relationships} to explore geometric interactions, \textit{semantic relationships} to extract semantic interactions, and \textit{implicit relationships} to capture hidden information that could not be modelled explicitly as above. We construct three relationship graphs with the objects in an image as nodes, and the mutual relationships of pairwise objects as edges. By exploring features of neighbouring regions individually via GATs, we integrate different types of relationships into visual features of each node. Experiments on COCO dataset show that our proposed R-NBT model outperforms state-of-the-art models trained on COCO dataset in three image caption generation tasks.


abstract: We present a new approach ARLPCG: Adversarial Reinforcement Learning for Procedural Content Generation, which procedurally generates and tests previously unseen environments with an auxiliary input as a control variable. Training RL agents over novel environments is a notoriously difficult task. One popular approach is to procedurally generate different environments to increase the generalizability of the trained agents. ARLPCG instead deploys an adversarial model with one PCG RL agent (called Generator) and one solving RL agent (called Solver). The Generator receives a reward signal based on the Solver's performance, which encourages the environment design to be challenging but not impossible. To further drive diversity and control of the environment generation, we propose using auxiliary inputs for the Generator. The benefit is two-fold: Firstly, the Solver achieves better generalization through the Generator's generated challenges. Secondly, the trained Generator can be used as a creator of novel environments that, together with the Solver, can be shown to be solvable. We create two types of 3D environments to validate our model, representing two popular game genres: a third-person platformer and a racing game. In these cases, we shows that ARLPCG has a significantly better solve ratio, and that the auxiliary inputs renders the levels creation controllable to a certain degree. For a video compilation of the results please visit https://youtu.be/z7q2PtVsT0I.


title: Determination of spectroscopic parameters for 313 M dwarf stars from their APOGEE Data Release 16 H-band spectra

abstract: The scientific community's interest on the stellar parameters of M dwarfs has been increasing over the last few years, with potential applications ranging from galactic characterization to exoplanet detection. The main motivation for this work is to develop an alternative and objective method to derive stellar parameters for M dwarfs using the H-band spectra provided by the Apache Point Observatory Galactic Evolution Experiment (APOGEE). Synthetic spectra generated with \textit{iSpec}, \textit{Turbospectrum}, \textit{MARCS} models atmospheres and a custom made line list including over 1 000 000 water lines, are compared to APOGEE observations, and parameters are determined through $\chi^2$ minimization. Spectroscopic parameters ($T_\mathrm{eff}$, $[M/H]$, $\log g$, $v_{mic}$) are presented for a sample of 313 M dwarfs, obtained from their APOGEE H-band spectra. The generated synthetic spectra reproduce observed spectra to a high accuracy level. The impact of the spectra normalization on the results are analyzed as well. Our output parameters are compared with the ones obtained with APOGEE Stellar Parameter and Chemical Abundances Pipeline (ASPCAP) for the same stellar spectrum, and we find that the values agree within the expected uncertainties. Comparisons with other previous near-infrared and optical literature are also available, with median differences within our estimated uncertainties found in most cases. Possible reasons for these differences are explored. The full H-band line list, the line selection for the synthesis, and the synthesized spectra are available for download, as are the calculated stellar parameters.


title: Improvement of primary power standard through international comparison feedback

abstract: The high frequency primary power standard is univocally realized by means of a coaxial microcalorimeter, at least up to 40 GHz. The coaxial microcalorimeter is a broadband measurement system adjusted for effec-tive efficiency measurement of power sensors both of bolometric and thermoelectric type. The critical point in the power standard realization is in the determination of the calibration constant g of the microcalorimeter, a frequency dependent parameter that has huge impact on the accuracy as-sessment of the standard. The paper proposes a simple but powerful way for improving this accuracy by using the reference values provided by in-ternational key-comparisons which the microcalorimeter was involved in.


title: Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding

abstract: We study the problem of learning conditional average treatment effects (CATE) from high-dimensional, observational data with unobserved confounders. Unobserved confounders introduce ignorance -- a level of unidentifiability -- about an individual's response to treatment by inducing bias in CATE estimates. We present a new parametric interval estimator suited for high-dimensional data, that estimates a range of possible CATE values when given a predefined bound on the level of hidden confounding. Further, previous interval estimators do not account for ignorance about the CATE associated with samples that may be underrepresented in the original study, or samples that violate the overlap assumption. Our interval estimator also incorporates model uncertainty so that practitioners can be made aware of out-of-distribution data. We prove that our estimator converges to tight bounds on CATE when there may be unobserved confounding, and assess it using semi-synthetic, high-dimensional datasets.


title: Spatial- and Range- ISLR Trade-off in MIMO Radar via Waveform Correlation Optimization

abstract: This paper aims to design a set of transmitting waveforms in cognitive colocated Multi-Input Multi-Output (MIMO) radar systems considering the simultaneous minimization of spatial- and the range- Integrated Sidelobe Level Ratio (ISLR). The design problem is formulated as a bi-objective Pareto optimization under practical constraints on the waveforms, namely total transmit power, peak-to-average-power ratio (PAR), constant modulus, and discrete phase alphabet. A Coordinate Descent (CD) based approach is proposed, in which at every single variable update of the algorithm we obtain the solution of the uni-variable optimization problems. The novelty of the paper comes from deriving a flexible waveform design problem applicable for 4D imaging MIMO radars which is optimized directly over the different constraint sets. The simultaneous optimization leads to a trade-off between the two ISLRs and the simulation results illustrate significantly improved trade-off offered by the proposed methodologies.


title: A Case for 3D Integrated System Design for Neuromorphic Computing & AI Applications

abstract: Over the last decade, artificial intelligence has found many applications areas in the society. As AI solutions have become more sophistication and the use cases grew, they highlighted the need to address performance and energy efficiency challenges faced during the implementation process. To address these challenges, there has been growing interest in neuromorphic chips. Neuromorphic computing relies on non von Neumann architectures as well as novel devices, circuits and manufacturing technologies to mimic the human brain. Among such technologies, 3D integration is an important enabler for AI hardware and the continuation of the scaling laws. In this paper, we overview the unique opportunities 3D integration provides in neuromorphic chip design, discuss the emerging opportunities in next generation neuromorphic architectures and review the obstacles. Neuromorphic architectures, which relied on the brain for inspiration and emulation purposes, face grand challenges due to the limited understanding of the functionality and the architecture of the human brain. Yet, high-levels of investments are dedicated to develop neuromorphic chips. We argue that 3D integration not only provides strategic advantages to the cost-effective and flexible design of neuromorphic chips, it may provide design flexibility in incorporating advanced capabilities to further benefits the designs in the future.


title: Lyapunov Stability Analysis of a Mass-Spring system subject to Friction

abstract: This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically sticks to the ground. The objective consists of developing numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The proposed approach merges two intermediate results: The first one relies on the characterization of an attractor around the origin, to which converges the closed-loop trajectories. The second result assesses the regional asymptotic stability of the equilibrium point by estimating its basin of attraction. The main result relies on conditions allowing to ensure that the attractor issued from the first result is included in the basin of attraction of the origin computed from the second result. An illustrative example draws the interest of the approach.


title: Injecting Knowledge in Data-driven Vehicle Trajectory Predictors

abstract: Vehicle trajectory prediction tasks have been commonly tackled from two distinct perspectives: either with knowledge-driven methods or more recently with data-driven ones. On the one hand, we can explicitly implement domain-knowledge or physical priors such as anticipating that vehicles will follow the middle of the roads. While this perspective leads to feasible outputs, it has limited performance due to the difficulty to hand-craft complex interactions in urban environments. On the other hand, recent works use data-driven approaches which can learn complex interactions from the data leading to superior performance. However, generalization, \textit{i.e.}, having accurate predictions on unseen data, is an issue leading to unrealistic outputs. In this paper, we propose to learn a "Realistic Residual Block" (RRB), which effectively connects these two perspectives. Our RRB takes any off-the-shelf knowledge-driven model and finds the required residuals to add to the knowledge-aware trajectory. Our proposed method outputs realistic predictions by confining the residual range and taking into account its uncertainty. We also constrain our output with Model Predictive Control (MPC) to satisfy kinematic constraints. Using a publicly available dataset, we show that our method outperforms previous works in terms of accuracy and generalization to new scenes. We will release our code and data split here: https://github.com/vita-epfl/RRB.


title: \c{C}ukurova University Space Sciences and Solar Energy Research and Application Center (UZAYMER): I. Observing Conditions and Ongoing Projects

abstract: \c{C}ukurova University Space Sciences and Solar Energy Research and Application Center (UZAYMER) was founded in 1991. In this work, we present current research in the fields of astronomy, astrophysics and solar energy and the astronomical infrastructure of the center. In addition, the astrometrological status of UZAYMER was investigated using long-term (20 years) data from the AstroGIS database and moderate-term (7 years) measurements taken from the meteorological station. Astronomical extinction coefficients, seeing conditions and light pollution measurements of UZAYMER were also obtained. Furthermore, the observation limits were determined for the UZAYMER 50 cm telescope (UT50) and the observation efficiency was evaluated. UZAYMER has reached a level that can support both national and international scientific collaborations with its improved technical infrastructure and increased human resources. With its annual number of clear nights, favorable weather conditions and dark sky values, UZAYMER ranks 972 in Group A of the Suitability Index for Astronomical Sites (SIAS) among the 2141 observatories.


title: Generation of tubular and membranous shape textures with curvature functionals

abstract: Tubular and membranous shapes display a wide range of morphologies that are difficult to analyze within a common framework. By generalizing the classical Helfrich energy of biomembranes, we model them as solutions to a curvature optimization problem in which the principal curvatures may play asymmetric roles. We then give a novel phase-field formulation to approximate this geometric problem, and study its Gamma-limsup convergence. This results in an efficient GPU algorithm that we validate on well-known minimizers of the Willmore energy; the software for the implementation of our algorithm is freely available online. Exploring the space of parameters reveals that this comprehensive framework leads to a wide continuum of shape textures. This first step towards a unifying theory will have several implications, in biology for quantifying tubular shapes or designing bio-mimetic scaffolds, but also in computer graphics or architecture.


title: On Coaxial Microcalorimeter Calibration

abstract: Primary power standards in the microwave domain are realized using a calorimetric technique, usually identified with the used measurement system, i.e., the microcalorimeter. It is adjusted for measurement of power ratios with a relative accuracy that, after an appropriate system calibration, is of order of 10^-3, at least in the microwave domain (1 GHz-18 GHz). Hereby we describe the calibration process implemented at the Istituto Nazionale di Ricerca Metrologica (Italy) for realizing a coaxial power standard based on indirect heating thermocouples. Particular regard is devoted to describe the nearly ideal thermal load used for determining the microcalorimeter losses and their influence on the measurand accuracy.


title: Large deviations for generalized Gibbs ensembles of the classical Toda chain

abstract: We derive large deviations principles for the distribution of the empirical measure of the equilibrium measure for the Generalized Gibbs ensembles of the classical Toda chain introduced in [11]. We deduce its almost sure convergence and characterize its limit in terms of the limiting measure of Beta-ensembles. Our results apply to general smooth potentials.


title: Exploiting Spherical Projections To Generate Human-Like Wrist Pointing Movements

abstract: The mechanism behind the generation of human movements is of great interest in many fields (e.g. robotics and neuroscience) to improve therapies and technologies. Optimal Feedback Control (OFC) and Passive Motion Paradigm (PMP) are currently two leading theories capable of effectively producing human-like motions, but they require solving nonlinear inverse problems to find a solution. The main benefit of using PMP is the possibility of generating path-independent movements consistent with the stereotypical behaviour observed in humans, while the equivalent OFC formulation is path-dependent. Our results demonstrate how the path-independent behaviour observed for the wrist pointing task can be explained by spherical projections of the planar tasks. The combination of the projections with the fractal impedance controller eliminates the nonlinear inverse problem, which reduces the computational cost compared to previous methodologies. The motion exploits a recently proposed PMP architecture that replaces the nonlinear inverse optimisation with a nonlinear anisotropic stiffness impedance profile generated by the Fractal Impedance Controller, reducing the computational cost and not requiring a task-dependent optimisation.


title: On the Analysis and Design of High-Frequency Transformers for Dual and Triple Active Bridge Converters in More Electric Aircraft

abstract: DC-DC converters with galvanic isolation are a key element in the aircraft DC distribution system and Dual and Triple Active Bridge converters are one of the most interesting candidates in this application. The high-frequency transformer leakage inductances play a key role in the AC Link of these converters. This leakage inductances determine the power transfer capability of the converter and shape the AC link currents. The leakage inductance value is related to the distribution of the transformer windings and it changes with the RMS value of the AC link current. In this paper, first a high frequency transformer is designed for a Dual and Triple Active Bridge converter for the More Electric Aircraft DC power system. Then, an Ansys/Maxwell Finite Element analysis is performed on the leakage inductances of the transformer in three different winding configurations and in different AC link RMS current values. Finally, the transient performance of the design is validated by the Ansys/Maxwell Transient.


title: The Impact of Time Delay and Angiogenesis in a Tumor Model

abstract: We consider a free boundary tumor model under the presence of angiogenesis and time delays in the process of proliferation, in which the cell location is incorporated. It is assumed that the tumor attracts blood vessels at a rate proportional to $\alpha$, and a parameter $\mu$ is proportional to the `aggressiveness' of the tumor. In this paper, we first prove that there exists a unique radially symmetric stationary solution $\left(\sigma_{*}, p_{*}, R_{*}\right)$ for all positive $\alpha$, $\mu$. Then a threshold value $\mu_\ast$ is found such that the radially symmetric stationary solution is linearly stable if $\mu<\mu_\ast$ and linearly unstable if $\mu>\mu_\ast$. Our results indicate that the increase of the angiogenesis parameter $\alpha$ would result in the reduction of the threshold value $\mu_\ast$; adding the time delay would not alter the threshold value $\mu_\ast$, but result in a larger stationary tumor, and the larger the tumor aggressiveness parameter $\mu$ is, the greater impact of time delay would have on the size of the stationary tumor.


title: Risk Aware Optimization of Water Sensor Placement

abstract: Optimal sensor placement (SP) usually minimizes an impact measure, such as the amount of contaminated water or the number of inhabitants affected before detection. The common choice is to minimize the minimum detection time (MDT) averaged over a set of contamination events, with contaminant injected at a different location. Given a SP, propagation is simulated through a hydraulic software model of the network to obtain spatio-temporal concentrations and the average MDT. Searching for an optimal SP is NP-hard: even for mid-size networks, efficient search methods are required, among which evolutionary approaches are often used. A bi-objective formalization is proposed: minimizing the average MDT and its standard deviation, that is the risk to detect some contamination event too late than the average MDT. We propose a data structure (sort of spatio-temporal heatmap) collecting simulation outcomes for every SP and particularly suitable for evolutionary optimization. Indeed, the proposed data structure enabled a convergence analysis of a population-based algorithm, leading to the identification of indicators for detecting problem-specific converge issues which could be generalized to other similar problems. We used Pymoo, a recent Python framework flexible enough to incorporate our problem specific termination criterion. Results on a benchmark and a real-world network are presented.


title: From Hand-Perspective Visual Information to Grasp Type Probabilities: Deep Learning via Ranking Labels

abstract: Limb deficiency severely affects the daily lives of amputees and drives efforts to provide functional robotic prosthetic hands to compensate this deprivation. Convolutional neural network-based computer vision control of the prosthetic hand has received increased attention as a method to replace or complement physiological signals due to its reliability by training visual information to predict the hand gesture. Mounting a camera into the palm of a prosthetic hand is proved to be a promising approach to collect visual data. However, the grasp type labelled from the eye and hand perspective may differ as object shapes are not always symmetric. Thus, to represent this difference in a realistic way, we employed a dataset containing synchronous images from eye- and hand- view, where the hand-perspective images are used for training while the eye-view images are only for manual labelling. Electromyogram (EMG) activity and movement kinematics data from the upper arm are also collected for multi-modal information fusion in future work. Moreover, in order to include human-in-the-loop control and combine the computer vision with physiological signal inputs, instead of making absolute positive or negative predictions, we build a novel probabilistic classifier according to the Plackett-Luce model. To predict the probability distribution over grasps, we exploit the statistical model over label rankings to solve the permutation domain problems via a maximum likelihood estimation, utilizing the manually ranked lists of grasps as a new form of label. We indicate that the proposed model is applicable to the most popular and productive convolutional neural network frameworks.


title: Kondo effect and spin-orbit coupling in graphene quantum dots

abstract: The Kondo effect is a cornerstone in the study of strongly correlated fermions. The coherent exchange coupling of conduction electrons to local magnetic moments gives rise to a Kondo cloud that screens the impurity spin. Whereas complete Kondo screening has been explored widely, realizations of the underscreened scenario - where only some of several Kondo channels participate in the screening - remain rare. Here we report the observation of fully screened and underscreened Kondo effects in quantum dots in bilayer graphene. More generally, we introduce a unique platform for studying Kondo physics. In contrast to carbon nanotubes, whose curved surfaces give rise to strong spin-orbit coupling breaking the SU(4) symmetry of the electronic states relevant for the Kondo effect, we study a nominally flat carbon material with small spin-orbit coupling. Moreover, the unusual two-electron triplet ground state in bilayer graphene dots provides a route to exploring the underscreened spin-1 Kondo effect.


title: Magnetized Kerr-Newman-Taub-NUT spacetimes

abstract: We find a new class of exact solutions in the Einstein-Maxwell theory by employing the Ernst magnetization process to the Kerr-Newman-Taub-NUT spacetimes. We study the solutions and find that they are regular everywhere. We also find the quasilocal conserved quantities for the spacetimes, the corresponding Smarr formula and the first law of thermodynamics.


title: Mixing properties and entropy bounds of a family of Pisot random substitutions

abstract: We consider a two-parameter family of random substitutions and show certain combinatorial and topological properties they satisfy. We establish that they admit recognisable words at every level. As a consequence, we get that the subshifts they define are not topologically mixing. We then show that they satisfy a weaker mixing property using a numeration system arising from a sequence of lengths of inflated words. Moreover, we provide explicit bounds for the corresponding topological entropy in terms of the defining parameters $n$ and $p$.


title: Trends in risks of severe events and lengths of stay for COVID-19 hospitalisations in England over the pre-vaccination era: results from the Public Health England SARI-Watch surveillance scheme

abstract: Background: Trends in hospitalised case-fatality risk (HFR), risk of intensive care unit (ICU) admission and lengths of stay for patients hospitalised for COVID-19 in England over the pre-vaccination era are unknown. Methods: Data on hospital and ICU admissions with COVID-19 at 31 NHS trusts in England were collected by Public Health England's Severe Acute Respiratory Infections surveillance system and linked to death information. We applied parametric multi-state mixture models, accounting for censored outcomes and regressing risks and times between events on month of admission, geography, and baseline characteristics. Findings: 20,785 adults were admitted with COVID-19 in 2020. Between March and June/July/August estimated HFR reduced from 31.9% (95% confidence interval 30.3-33.5%) to 10.9% (9.4-12.7%), then rose steadily from 21.6% (18.4-25.5%) in September to 25.7% (23.0-29.2%) in December, with steeper increases among older patients, those with multi-morbidity and outside London/South of England. ICU admission risk reduced from 13.9% (12.8-15.2%) in March to 6.2% (5.3-7.1%) in May, rising to a high of 14.2% (11.1-17.2%) in September. Median length of stay in non-critical care increased during 2020, from 6.6 to 12.3 days for those dying, and from 6.1 to 9.3 days for those discharged. Interpretation: Initial improvements in patient outcomes, corresponding to developments in clinical practice, were not sustained throughout 2020, with HFR in December approaching the levels seen at the start of the pandemic, whilst median hospital stays have lengthened. The role of increased transmission, new variants, case-mix and hospital pressures in increasing COVID-19 severity requires urgent further investigation.


title: Equivalence Checking and Intersection of Deterministic Timed Finite State Machines

abstract: There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study deterministic timed finite state machines (TFSMs), i.e., finite state machines with a single clock, timed guards and timeouts which transduce timed input words into timed output words. We solve the problem of equivalence checking by defining a bisimulation from timed FSMs to untimed ones and viceversa. Moreover, we apply these bisimulation relations to build the intersection of two timed finite state machines by untiming them, intersecting them and transforming back to the timed intersection.


title: The Maximal Subgroups of the Exceptional Groups $F_4(q)$, $E_6(q)$ and ${}^2E_6(q)$ and Related Almost Simple Groups

abstract: This article produces a complete list of all maximal subgroups of the finite simple groups of type $F_4$, $E_6$ and twisted $E_6$ over all finite fields. Along the way, we determine the collection of Lie primitive almost simple subgroups of the corresponding algebraic groups. We give the stabilizers under the actions of outer automorphisms, from which one can obtain complete information about the maximal subgroups of all almost simple groups with socle one of these groups. We also provide a new maximal subgroup of ${}^2\!F_4(8)$, correcting the maximal subgroups for that group from the list of Malle. This provides the first new exceptional groups of Lie type to have their maximal subgroups enumerated for three decades. The techniques are a mixture of algebraic groups, representation theory, computational algebra, and use of the trilinear form on the $27$-dimensional minimal module for $E_6$. We provide a collection of auxiliary Magma files that prove the author's computational claims, yielding existence and the number of conjugacy classes of all maximal subgroups mentioned in the text.


title: Domain Adaptive Egocentric Person Re-identification

abstract: Person re-identification (re-ID) in first-person (egocentric) vision is a fairly new and unexplored problem. With the increase of wearable video recording devices, egocentric data becomes readily available, and person re-identification has the potential to benefit greatly from this. However, there is a significant lack of large scale structured egocentric datasets for person re-identification, due to the poor video quality and lack of individuals in most of the recorded content. Although a lot of research has been done in person re-identification based on fixed surveillance cameras, these do not directly benefit egocentric re-ID. Machine learning models trained on the publicly available large scale re-ID datasets cannot be applied to egocentric re-ID due to the dataset bias problem. The proposed algorithm makes use of neural style transfer (NST) that incorporates a variant of Convolutional Neural Network (CNN) to utilize the benefits of both fixed camera vision and first-person vision. NST generates images having features from both egocentric datasets and fixed camera datasets, that are fed through a VGG-16 network trained on a fixed-camera dataset for feature extraction. These extracted features are then used to re-identify individuals. The fixed camera dataset Market-1501 and the first-person dataset EGO Re-ID are applied for this work and the results are on par with the present re-identification models in the egocentric domain.


title: Impact of Semiconductor Band Tails and Band Filling on Photovoltaic Efficiency Limits

abstract: The theoretical maximum efficiency of a solar cell is typically characterized by a detailed balance of optical absorption and emission for a semiconductor in the limit of unity radiative efficiency and an ideal step-function response for the density of states and absorbance at the semiconductor band edges, known as the Shockley-Queisser limit. However, real materials have non-abrupt band edges, which are typically characterized by an exponential distribution of states, known as an Urbach tail. We develop here a modified detailed balance limit of solar cells with imperfect band edges, using optoelectronic reciprocity relations. We find that for semiconductors whose band edges are broader than the thermal energy, kT, there is an effective renormalized bandgap given by the quasi-Fermi level splitting within the solar cell. This renormalized bandgap creates a Stokes shift between the onset of the absorption and photoluminescence emission energies, which significantly reduces the maximum achievable efficiency. The abruptness of the band edge density of states therefore has important implications for the maximum achievable photovoltaic efficiency.


title: The Weakly-Labeled Rand Index

abstract: Synthetic Aperture Sonar (SAS) surveys produce imagery with large regions of transition between seabed types. Due to these regions, it is difficult to label and segment the imagery and, furthermore, challenging to score the image segmentations appropriately. While there are many approaches to quantify performance in standard crisp segmentation schemes, drawing hard boundaries in remote sensing imagery where gradients and regions of uncertainty exist is inappropriate. These cases warrant weak labels and an associated appropriate scoring approach. In this paper, a labeling approach and associated modified version of the Rand index for weakly-labeled data is introduced to address these issues. Results are evaluated with the new index and compared to traditional segmentation evaluation methods. Experimental results on a SAS data set containing must-link and cannot-link labels show that our Weakly-Labeled Rand index scores segmentations appropriately in reference to qualitative performance and is more suitable than traditional quantitative metrics for scoring weakly-labeled data.


title: Minimal Overhead ARQ Sharing Strategies for URLLC in Multi-Hop Networks

abstract: The problem of achieving ultra-reliable and low-latency communication (URLLC) in multi-terminal networks has gained traction in the recent past owing to new wireless applications in vehicular networks. In the context of multi-hop networks, which is a classic example for multi-party communication, recent studies have shown that automatic-repeat-request (ARQ) based decode-and-forward (DF) strategies are suitable for URLLC since the idea of distributing a given number of ARQs across the nodes provides fine control on the features of reliability and latency. Inspired by these developments, in this work, we propose a cooperative ARQ sharing strategy for URLLC in multi-hop networks. At the heart of the proposed scheme lies the idea that every node is given the knowledge of the number of ARQs allotted to its preceding node in addition to the ARQs allotted to itself. As a result, each node only needs to count the number of unsuccessful attempts of its preceding node, and then borrow the unused ARQs, thereby improving the reliability feature with no compromise in the latency constraint. Using packet-drop-probability (PDP) as the reliability metric for the proposed cooperative strategy, we formulate an optimization problem of minimizing the PDP subject to a sum constraint on the total number of ARQs allotted across all the nodes. Supported by theoretical analysis on the behavior of PDP, we present low-complexity algorithms to compute near-optimal ARQ distributions for our strategy, and show that our strategy outperforms the existing non-cooperative strategies.


title: Empirical comparison between autoencoders and traditional dimensionality reduction methods

abstract: In order to process efficiently ever-higher dimensional data such as images, sentences, or audio recordings, one needs to find a proper way to reduce the dimensionality of such data. In this regard, SVD-based methods including PCA and Isomap have been extensively used. Recently, a neural network alternative called autoencoder has been proposed and is often preferred for its higher flexibility. This work aims to show that PCA is still a relevant technique for dimensionality reduction in the context of classification. To this purpose, we evaluated the performance of PCA compared to Isomap, a deep autoencoder, and a variational autoencoder. Experiments were conducted on three commonly used image datasets: MNIST, Fashion-MNIST, and CIFAR-10. The four different dimensionality reduction techniques were separately employed on each dataset to project data into a low-dimensional space. Then a k-NN classifier was trained on each projection with a cross-validated random search over the number of neighbours. Interestingly, our experiments revealed that k-NN achieved comparable accuracy on PCA and both autoencoders' projections provided a big enough dimension. However, PCA computation time was two orders of magnitude faster than its neural network counterparts.


title: Data-driven sensitivity analysis in a total-reflection high-energy positron diffraction (TRHEPD) experiment of the Si$_4$O$_5$N$_3$ / 6H-SiC (0001)-($\sqrt{3} \times \sqrt{3}$) R30$^\circ$

abstract: The present article proposes a data analysis method for experimentally-derived measurements, which consists of an auto-optimization procedure and a sensitivity analysis. The method was applied to the results of a total-reflection high-energy positron diffraction (TRHEPD) experiment, a novel technique of determining surface structures or the position of the atoms near the material surface. This method solves numerically the partial differential equation in the fully-dynamical quantum diffraction theory with many trial surface structures. In the sensitivity analysis, we focused on the experimental uncertainties and the variation over individual fitting parameters, which was analyzed by solving the eigenvalue problem of the variance-covariance matrix. A modern massively parallel supercomputer was used to complete the analysis within a moderate computational time. The sensitivity analysis provides a basis for the choice of variables in the data analysis for practical reliability. The effectiveness of the present analysis method was demonstrated in the structure determination of a Si$_4$O$_5$N$_3$ / 6H-SiC(0001)-($\sqrt{3} \times \sqrt{3}$) R30$^\circ$ surface. Furthermore, this analysis method is applicable to many experiments other than TRHEPD.


title: Scale invariant robot behavior with fractals

abstract: Robots deployed at orders of magnitude different size scales, and that retain the same desired behavior at any of those scales, would greatly expand the environments in which the robots could operate. However it is currently not known whether such robots exist, and, if they do, how to design them. Since self similar structures in nature often exhibit self similar behavior at different scales, we hypothesize that there may exist robot designs that have the same property. Here we demonstrate that this is indeed the case for some, but not all, modular soft robots: there are robot designs that exhibit a desired behavior at a small size scale, and if copies of that robot are attached together to realize the same design at higher scales, those larger robots exhibit similar behavior. We show how to find such designs in simulation using an evolutionary algorithm. Further, when fractal attachment is not assumed and attachment geometries must thus be evolved along with the design of the base robot unit, scale invariant behavior is not achieved, demonstrating that structural self similarity, when combined with appropriate designs, is a useful path to realizing scale invariant robot behavior. We validate our findings by demonstrating successful transferal of self similar structure and behavior to pneumatically-controlled soft robots. Finally, we show that biobots can spontaneously exhibit self similar attachment geometries, thereby suggesting that self similar behavior via self similar structure may be realizable across a wide range of robot platforms in future.


title: On homomorphisms of $\pi_{1}(\mathbb P^1-\mathcal R)$ into compact semisimple groups

abstract: The aim of this paper is to give verifiable criteria for the existence of {\em irreducible} homomorphisms of $\pi_{1}(\mathbb P^1 - \mathcal R)$ into compact semisimple groups, for a finite subset $\mathcal R$ such that the conjugacy classes of the images of lassos around the marked points are fixed. By a theorem in \cite{bs}, this question reduces into one of giving verifiable criteria for the existence of stable $\mathcal G$-torsors on $\mathbb{P}^1_{\mathbb{C}}$, where $\mathcal{G} \to \mathbb{P}^1_\mathbb{C}$ is a a Bruhat-Tits group scheme.


title: Lectures on Symmetric Tensor Categories

abstract: This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature.


title: Clark representation formula for the solution to equation with interaction

abstract: In this paper Clark-Ocone representation for solution to measure-valued equation with interaction is studied. It is proven that the integrand is absolutely continuous with respect to Lebesgue measure.


title: Iterative Program Synthesis for Adaptable Social Navigation

abstract: Robot social navigation is influenced by human preferences and environment-specific scenarios such as elevators and doors, thus necessitating end-user adaptability. State-of-the-art approaches to social navigation fall into two categories: model-based social constraints and learning-based approaches. While effective, these approaches have fundamental limitations -- model-based approaches require constraint and parameter tuning to adapt to preferences and new scenarios, while learning-based approaches require reward functions, significant training data, and are hard to adapt to new social scenarios or new domains with limited demonstrations. In this work, we propose Iterative Dimension Informed Program Synthesis (IDIPS) to address these limitations by learning and adapting social navigation in the form of human-readable symbolic programs. IDIPS works by combining program synthesis, parameter optimization, predicate repair, and iterative human demonstration to learn and adapt model-free action selection policies from orders of magnitude less data than learning-based approaches. We introduce a novel predicate repair technique that can accommodate previously unseen social scenarios or preferences by growing existing policies. We present experimental results showing that IDIPS: 1) synthesizes effective policies that model user preference, 2) can adapt existing policies to changing preferences, 3) can extend policies to handle novel social scenarios such as locked doors, and 4) generates policies that can be transferred from simulation to real-world robots with minimal effort.


title: The Early Years of Quantum Monte Carlo: the Ground State

abstract: The history of the development of Monte Carlo methods to solve the many-body problem in quantum mechanics is presented. The survey starts with the early attempts with the first available computers just after the war and extends until the years 80s with the celebrated calculation of the electron gas by Ceperley and Alder. Usage is made of an interview of David Ceperley by the author.


title: Thermoelectric Sensors as Microcalorimeter Load

abstract: Thermoelectric power sensors can now be used as transfer standards, instead of bolometers, in the microcalorimeter technique. This alternative has the technical advantages to be less sensitive to absolute temperature and not downward frequency limited. At INRiM the high frequency power standards are now based on coaxial thermocouples from dc to 34 GHz. Modified commercial thermocouple mounts in 7 mm and 3.5 mm coaxial line are used to realize the national power standard with an accuracy ranging from 0.03 % to 1 % in the mentioned frequency range.


title: On Generalized Carmichael Numbers

abstract: Given an integer $k$, define $C_k$ as the set of integers $n > \max(k,0)$ such that $a^{n-k+1} \equiv a \pmod{n}$ holds for all integers $a$. We establish various multiplicative properties of the elements in $C_k$ and give a sufficient condition for the infinitude of $C_k$. Moreover, we prove that there are finitely many elements in $C_k$ with one and two prime factors if and only if $k>0$ and $k$ is prime. In addition, if all but two prime factors of $n \in C_k$ are fixed, then there are finitely many elements in $C_k$, excluding certain infinite families of $n$. We also give conjectures about the growth rate of $C_k$ with numerical evidence. We explore a similar question when both $a$ and $k$ are fixed and prove that for fixed integers $a \geq 2$ and $k$, there are infinitely many integers $n$ such that $a^{n-k} \equiv 1 \pmod{n}$ if and only if $(k,a) \neq (0,2)$ by building off the work of Kiss and Phong. Finally, we discuss the multiplicative properties of positive integers $n$ such that Carmichael function $\lambda(n)$ divides $n-k$.


title: The Early Years of Quantum Monte Carlo (2): Finite Temperature Simulations

abstract: In this article we present the second part of our historical survey on quantum Monte Carlo methods. IWe focus on the simulations performed at a finite temperature and based on the path-integral formulation of quantum mechanics. We introduce the method and insist on the central role played by the description of the transition to superfluidity for Helium 4.


title: Data-driven Cloud Clustering via a Rotationally Invariant Autoencoder

abstract: Advanced satellite-born remote sensing instruments produce high-resolution multi-spectral data for much of the globe at a daily cadence. These datasets open up the possibility of improved understanding of cloud dynamics and feedback, which remain the biggest source of uncertainty in global climate model projections. As a step towards answering these questions, we describe an automated rotation-invariant cloud clustering (RICC) method that leverages deep learning autoencoder technology to organize cloud imagery within large datasets in an unsupervised fashion, free from assumptions about predefined classes. We describe both the design and implementation of this method and its evaluation, which uses a sequence of testing protocols to determine whether the resulting clusters: (1) are physically reasonable, (i.e., embody scientifically relevant distinctions); (2) capture information on spatial distributions, such as textures; (3) are cohesive and separable in latent space; and (4) are rotationally invariant, (i.e., insensitive to the orientation of an image). Results obtained when these evaluation protocols are applied to RICC outputs suggest that the resultant novel cloud clusters capture meaningful aspects of cloud physics, are appropriately spatially coherent, and are invariant to orientations of input images. Our results support the possibility of using an unsupervised data-driven approach for automated clustering and pattern discovery in cloud imagery.


title: Lipschitz Normalization for Self-Attention Layers with Application to Graph Neural Networks

abstract: Attention based neural networks are state of the art in a large range of applications. However, their performance tends to degrade when the number of layers increases. In this work, we show that enforcing Lipschitz continuity by normalizing the attention scores can significantly improve the performance of deep attention models. First, we show that, for deep graph attention networks (GAT), gradient explosion appears during training, leading to poor performance of gradient-based training algorithms. To address this issue, we derive a theoretical analysis of the Lipschitz continuity of attention modules and introduce LipschitzNorm, a simple and parameter-free normalization for self-attention mechanisms that enforces the model to be Lipschitz continuous. We then apply LipschitzNorm to GAT and Graph Transformers and show that their performance is substantially improved in the deep setting (10 to 30 layers). More specifically, we show that a deep GAT model with LipschitzNorm achieves state of the art results for node label prediction tasks that exhibit long-range dependencies, while showing consistent improvements over their unnormalized counterparts in benchmark node classification tasks.


title: Gel'fand-Yaglom type equations for calculating fluctuations around Instantons in stochastic systems

abstract: In recent years, instanton calculus has successfully been employed to estimate tail probabilities of rare events in various stochastic dynamical systems. Without further corrections, however, these estimates can only capture the exponential scaling. In this paper, we derive a general, closed form expression for the leading prefactor contribution of the fluctuations around the instanton trajectory for the computation of probability density functions of general observables. The key technique is applying the Gel'fand-Yaglom recursive evaluation method to the suitably discretized Gaussian path integral of the fluctuations, in order to obtain matrix evolution equations that yield the fluctuation determinant. We demonstrate agreement between these predictions and direct sampling for examples motivated from turbulence theory.


title: The numerical factorization of polynomials

abstract: Polynomial factorization in conventional sense is an ill-posed problem due to its discontinuity with respect to coefficient perturbations, making it a challenge for numerical computation using empirical data. As a regularization, this paper formulates the notion of numerical factorization based on the geometry of polynomial spaces and the stratification of factorization manifolds. Furthermore, this paper establishes the existence, uniqueness, Lipschitz continuity, condition number, and convergence of the numerical factorization to the underlying exact factorization, leading to a robust and efficient algorithm with a MATLAB implementation capable of accurate polynomial factorizations using floating point arithmetic even if the coefficients are perturbed.


title: Design and implementation of Energy Efficient Lightweight Encryption (EELWE) algorithm for medical applications

abstract: Proportional to the growth in the usage of Human Sensor Networks (HSN), the volume of the data exchange between Sensor devices is increasing at a rapid pace. In this paper, we have proposed an Energy Efficient Lightweight Encryption (EELWE) algorithm for providing the confidentiality of data at the sensor level, particularly suitable for resource-constrained environments. Results obtained have proved that an EELWE consumes less energy relative to present lightweight ciphers and it supports multiple block sizes of 32-bit, 48-bit, and 64-bit.


title: Quasimodular forms and modular differential equations which are not apparent at cusps: I

abstract: In this paper, we explore a two-way connection between quasimodular forms of depth $1$ and a class of second-order modular differential equations with regular singularities on the upper half-plane and the cusps. Here we consider the cases $\Gamma=\Gamma_0^+(N)$ generated by $\Gamma_0(N)$ and the Atkin-Lehner involutions for $N=1,2,3$ ($\Gamma_0^+(1)=\mathrm{SL}(2,\mathbb Z)$). Firstly, we note that a quasimodular form of depth $1$, after divided by some modular form with the same weight, is a solution of a modular differential equation. Our main results are the converse of the above statement for the groups $\Gamma_0^+(N)$, $N=1,2,3$.


title: Active-set identification with complexity guarantees of an almost cyclic 2-coordinate descent method with Armijo line search

abstract: In this paper, it is established finite active-set identification of an almost cyclic 2-coordinate descent method for problems with one linear coupling constraint and simple bounds. First, general active-set identification results are stated for non-convex objective functions. Then, under convexity and a quadratic growth condition (satisfied by any strongly convex function), complexity results on the number of iterations required to identify the active set are given. In our analysis, a simple Armijo line search is used to compute the stepsize, thus not requiring exact minimizations or additional information.


title: Modeling the UV/optical continuum time-lags in AGN

abstract: Thermal reverberation in accretion discs of active galactic nuclei is thought to be the reason of the continuum UV/optical time lags seen in these sources. Recently, we studied thermal reverberation of a standard Novikov-Thorne accretion disc illuminated by an X-ray point-like source, and we derived an analytic prescription for the time lags as function of wavelength. In this work, we use this analytic function to fit the time-lags spectra of seven Seyferts, that have been intensively monitored, in many wave-bands, in the last few years. We find that thermal reverberation can explain the observed UV/optical time lags in all these sources. Contrary to previous claims, the magnitude of the observed UV/optical time-lags is exactly as expected in the case of a standard accretion disc in the lamp-post geometry, given the black hole mass and the accretion rate estimates for the objects we study. We derive estimates of the disc accretion rates and corona height for a non-spinning and a maximally spinning black hole scenarios. We also find that the modelling of the continuum optical/UV time-lags can be used to estimate the black hole spin, when combined with additional information. We also find that the model under-predicts the observed X-ray to UV time-lags, but this difference is probably due to the broad X-ray auto-correlation function of these sources.


title: Deep learning, machine vision in agriculture in 2021

abstract: Over the past decade, unprecedented progress in the development of neural networks influenced dozens of different industries, including weed recognition in the agro-industrial sector. The use of neural networks in agro-industrial activity in the task of recognizing cultivated crops is a new direction. The absence of any standards significantly complicates the understanding of the real situation of the use of the neural network in the agricultural sector. The manuscript presents the complete analysis of researches over the past 10 years on the use of neural networks for the classification and tracking of weeds due to neural networks. In particular, the analysis of the results of using various neural network algorithms for the task of classification and tracking was presented. As a result, we presented the recommendation for the use of neural networks in the tasks of recognizing a cultivated object and weeds. Using this standard can significantly improve the quality of research on this topic and simplify the analysis and understanding of any paper.


title: Remote Creation of Quantum Coherence via Indefinite Causal Order

abstract: Quantum coherence is a prime resource in quantum computing and quantum communication. Quantum coherence of an arbitrary qubit state can be created at a remote location using maximally entangled state, local operation and classical communication. However, if there is a noisy channel acting on one side of the shared resource, then, it is not possible to create perfect quantum coherence remotely. Here, we present a method for the creation of quantum coherence at a remote location via the use of entangled state and indefinite causal order. We show this specifically for the superposition of two completely depolarizing channels, two partially depolarizing channels and one completely depolarizing channel along with a unitary operator. We find that when the indefinite causal order of channels act on one-half of the entangled pair, then the shared state looses entanglement, but can retain non-zero quantum discord. This finding may have some interesting applications on its own where discord can be consumed as a resource. Our results suggest that the indefinite causal order along with a tiny amount of quantum discord can act as a resource in creating non-zero quantum coherence in the absence of entanglement.


title: Near-infrared Brightening around the Periastron Passages of the Gamma-ray Binary PSR B1259$-$63 /LS 2883

abstract: The binary of the pulsar PSRB1259$-$63 and the Be star LS 2883 has been observed at the 2010 and 2014 periastron passages in the near-infrared (NIR) bands using the IRSF/SIRIUS and SIRPOL. The light curves in the J-,H-, and Ks-bands are almost identical in these periastron passages. A flare starts no later than 10 days before periastron and the maximum brightening of about 0.1 magnitude is observed 12--17 days after periastron. The rising part of the light curve is steeper and reaches a peak slightly earlier in the Ks-band than in the other bands, thus a characteristic track appears on the NIR color-magnitude diagram. The time lag between the NIR light curves indicates that the variation in the Be circumstellar disk first occurs in an outer region. We propose that the initial rapid contraction followed by the gradual expansion of the disk is evoked by the rapidly changing tidal torque around periastron and the resultant change of the optically thick area causes the observed NIR light curves.


title: Derivation of the nonlocal collision term in the relativistic Boltzmann equation for massive spin-1/2 particles from quantum field theory

abstract: We derive the Boltzmann equation and the collision kernel for massive spin-1/2 particles, using the Wigner-function formalism and employing an expansion in powers of $\hbar$. The phase space is enlarged to include a variable related to the spin degrees of freedom. This allows to reduce the transport equations of the independent components of the Wigner function to one scalar equation. To next-to-leading order in $\hbar$, we find that the collision kernel contains both local and nonlocal terms. We show that off-shell contributions cancel in the Boltzmann equation. Our framework can be used to study spin-polarization phenomena induced by vorticity as recently observed in heavy-ion collisions and in condensed-matter systems.


title: Effective action in elliptic and hyperbolic spacetimes

abstract: The full one-loop (scalar) effective action is computed for both hyperbolic and elliptic spacetimes.


title: On Asymptotic Log-Optimal Buy-and-Hold Strategy

abstract: In this paper, we consider a frequency-based portfolio optimization problem with $m \geq 2$ assets when the expected logarithmic growth (ELG) rate of wealth is used as the performance metric. With the aid of the notion called dominant asset, it is known that the optimal ELG level is achieved by investing all available funds on that asset. However, such an "all-in" strategy is arguably too risky to implement in practice. Motivated by this issue, we study the case where the portfolio weights are chosen in a rather ad-hoc manner and a buy-and-hold strategy is subsequently used. Then we show that, if the underlying portfolio contains a dominant asset, buy and hold on that specific asset is asymptotically log-optimal with a sublinear rate of convergence. This result also extends to the scenario where a trader either does not have a probabilistic model for the returns or does not trust a model obtained from historical data. To be more specific, we show that if a market contains a dominant asset, buy and hold a market portfolio involving nonzero weights for each asset is asymptotically log-optimal. Additionally, this paper also includes a conjecture regarding the property called high-frequency maximality. That is, in the absence of transaction costs, high-frequency rebalancing is unbeatable in the ELG sense. Support for the conjecture, involving a lemma for a weak version of the conjecture, is provided. This conjecture, if true, enables us to improve the log-optimality result obtained previously. Finally, a result that indicates a way regarding an issue about when should one to rebalance their portfolio if needed, is also provided. Examples, some involving simulations with historical data, are also provided along the way to illustrate the~theory.


title: Automatically Selecting Striking Images for Social Cards

abstract: To allow previewing a web page, social media platforms have developed social cards: visualizations consisting of vital information about the underlying resource. At a minimum, social cards often include features such as the web resource's title, text summary, striking image, and domain name. News and scholarly articles on the web are frequently subject to social card creation when being shared on social media. However, we noticed that not all web resources offer sufficient metadata elements to enable appealing social cards. For example, the COVID-19 emergency has made it clear that scholarly articles, in particular, are at an aesthetic disadvantage in social media platforms when compared to their often more flashy disinformation rivals. Also, social cards are often not generated correctly for archived web resources, including pages that lack or predate standards for specifying striking images. With these observations, we are motivated to quantify the levels of inclusion of required metadata in web resources, its evolution over time for archived resources, and create and evaluate an algorithm to automatically select a striking image for social cards. We find that more than 40% of archived news articles sampled from the NEWSROOM dataset and 22% of scholarly articles sampled from the PubMed Central dataset fail to supply striking images. We demonstrate that we can automatically predict the striking image with a Precision@1 of 0.83 for news articles from NEWSROOM and 0.78 for scholarly articles from the open access journal PLOS ONE.


title: A generalization of Hall's theorem on hypercenter

abstract: Let $ \sigma$ be a partition of the set of all primes and $\mathfrak{F}$ be a hereditary formation. We described all formations $\mathfrak{F}$ for which the $\mathfrak{F}$-hypercenter and the intersection of weak $K$-$\mathfrak{F}$-subnormalizers of all Sylow subgroups coincide in every group. In particular the formation of all $\sigma$-nilpotent groups has this property. With the help of our results we solve a particular case of L.A.~Shemetkov's problem about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter. As corollaries we obtained P. Hall's and R. Baer's classical results about the hypercenter. We proved that the non-$\sigma$-nilpotent graph of a group is connected and its diameter is at most 3.


title: Socio-Technical Root Cause Analysis of Cyber-enabled Theft of the U.S. Intellectual Property -- The Case of APT41

abstract: Increased connectivity has made us all more vulnerable. Cyberspace, besides all its benefits, spawned more devices to hack and more opportunities to commit cybercrime. Criminals have found it lucrative to target both individuals and businesses, by holding or stealing their assets via different types of cyber attacks. The cyber-enabled theft of Intellectual Property (IP), as one of the most important and critical intangible assets of nations, organizations and individuals, by foreign countries has been a devastating challenge of the United States (U.S.) in the past decades. In this study, we conduct a socio-technical root cause analysis to investigate one of the recent cases of IP theft by employing a holistic approach. It concludes with a list of root causes and some corrective actions to stop the impact and prevent the recurrence of the problem in the future. Building upon the findings of this study, the U.S. requires a detailed revision of IP strategies bringing the whole socio-technical regulatory system into focus and strengthen IP rights protection considering China's indigenous innovation policies. It is critical that businesses and other organizations take steps to reduce their exposure to cyber attacks. It is particularly important to train employees on how to spot potential threats, and to institute policies that encourage workers to report potential security failures so that action can be taken quickly. Finally, we discuss how cyber ranges can provide an efficient and safe platform for dealing with such challenges. The results of this study can be expanded to other countries in order to protect their IP rights and deter or prevent and respond to future incidents.


title: Stochasticity helps to navigate rough landscapes: comparing gradient-descent-based algorithms in the phase retrieval problem

abstract: In this paper we investigate how gradient-based algorithms such as gradient descent, (multi-pass) stochastic gradient descent, its persistent variant, and the Langevin algorithm navigate non-convex loss-landscapes and which of them is able to reach the best generalization error at limited sample complexity. We consider the loss landscape of the high-dimensional phase retrieval problem as a prototypical highly non-convex example. We observe that for phase retrieval the stochastic variants of gradient descent are able to reach perfect generalization for regions of control parameters where the gradient descent algorithm is not. We apply dynamical mean-field theory from statistical physics to characterize analytically the full trajectories of these algorithms in their continuous-time limit, with a warm start, and for large system sizes. We further unveil several intriguing properties of the landscape and the algorithms such as that the gradient descent can obtain better generalization properties from less informed initializations.

categories: cond-mat.dis-nn cs.LG math.ST stat.ML stat.TH


title: A novel, structure-preserving, second-order-in-time relaxation scheme for Schr\"odinger-Poisson systems

abstract: We introduce a new structure preserving, second order in time relaxation-type scheme for approximating solutions of the Schr\"odinger-Poisson system. More specifically, we use the Crank-Nicolson scheme as a time stepping mechanism, whilst the nonlinearity is handled by means of a relaxation approach in the spirit of \cite{Besse, KK} for the nonlinear Schr\"odinger equation. For the spatial discretisation we use the standard conforming finite element scheme. The resulting scheme is explicit with respect to the nonlinearity, i.e. it requires the solution of a linear system for each time-step, and satisfies discrete versions of the system's mass conservation and energy balance laws for constant meshes. The scheme is seen to be second order in time. We conclude by presenting some numerical experiments, including an example from cosmology and an example with variable time-steps which demonstrate the effectiveness and robustness of the new scheme.


title: Bipartite secret sharing and staircases

abstract: Bipartite secret sharing schemes have a bipartite access structure in which the set of participants is divided into two parts and all participants in the same part play an equivalent role. Such a bipartite scheme can be described by a \emph{staircase}: the collection of its minimal points. The complexity of a scheme is the maximal share size relative to the secret size; and the $\kappa$-complexity of an access structure is the best lower bound provided by the entropy method. An access structure is $\kappa$-ideal if it has $\kappa$-complexity 1. Motivated by the abundance of open problems in this area, the main results can be summarized as follows. First, a new characterization of $\kappa$-ideal multipartite access structures is given which offers a straightforward and simple approach to describe ideal bipartite and tripartite access structures. Second, the $\kappa$-complexity is determined for a range of bipartite access structures, including those determined by two points, staircases with equal widths and heights, and staircases with all heights 1. Third, matching linear schemes are presented for some non-ideal cases, including staircases where all heights are 1 and all widths are equal. Finally, finding the Shannon complexity of a bipartite access structure can be considered as a discrete submodular optimization problem. An interesting and intriguing continuous version is defined which might give further insight to the large-scale behavior of these optimization problems.


title: Global ill-posedness for a dense set of initial data to the Isentropic system of gas dynamics

abstract: In dimension $n=2$ and $3$, we show that for any initial datum belonging to a dense subset of the energy space, there exist infinitely many global-in-time admissible weak solutions to the isentropic Euler system whenever $1<\gamma\leq 1+\frac2n$. This result can be regarded as a compressible counterpart of the one obtained by Szekelyhidi--Wiedemann (ARMA, 2012) for incompressible flows. Similarly to the incompressible result, the admissibility condition is defined in its integral form. Our result is based on a generalization of a key step of the convex integration procedure. This generalization allows, even in the compressible case, to convex integrate any smooth positive Reynolds stress. A large family of subsolutions can then be considered. These subsolutions can be generated, for instance, via regularization of any weak inviscid limit of an associated compressible Navier--Stokes system with degenerate viscosities.


title: Perspective on Coupled Colloidal Quantum Dot Molecules

abstract: Electronic coupling and hence hybridization of atoms serve as the basis for the rich properties of the endless library of naturally occurring molecules. Colloidal quantum dots (CQDs) manifesting quantum strong confinement, possess atomic like characteristics with s and p electronic levels, which popularized the notion of CQDs as artificial atoms. Continuing this analogy, when two atoms are close enough to form a molecule so that their orbitals start overlapping, the orbitals' energies start to split into bonding and anti-bonding states made out of hybridized orbitals. The same concept is also applicable for two fused core-shell nanocrystals in close proximity. Their band-edge states, which dictate the emitted photon energy, start to hybridize changing their electronic and optical properties. Thus, an exciting direction of artificial molecules emerges leading to a multitude of possibilities for creating a library of new hybrid nanostructures with novel optoelectronic properties with relevance towards diverse applications including quantum technologies. In a model fused core-shell homodimer molecule, the hybridization energy is strongly correlated with the extent of structural continuity, the delocalization of the exciton wavefunction, and the barrier thickness as calculated numerically. The hybridization impacts the emitted photon statistics manifesting a faster radiative decay rate, photon bunching effect, and modified Auger recombination pathway compared to the monomer artificial atoms. Future perspectives for the nanocrystals chemistry paradigm are highlighted.


title: Generalizing trial evidence to target populations in non-nested designs: Applications to AIDS clinical trials

abstract: Comparative effectiveness evidence from randomized trials may not be directly generalizable to a target population of substantive interest when, as in most cases, trial participants are not randomly sampled from the target population. Motivated by the need to generalize evidence from two trials conducted in the AIDS Clinical Trials Group (ACTG), we consider weighting, regression and doubly robust estimators to estimate the causal effects of HIV interventions in a specified population of people living with HIV in the USA. We focus on a non-nested trial design and discuss strategies for both point and variance estimation of the target population average treatment effect. Specifically in the generalizability context, we demonstrate both analytically and empirically that estimating the known propensity score in trials does not increase the variance for each of the weighting, regression and doubly robust estimators. We apply these methods to generalize the average treatment effects from two ACTG trials to specified target populations and operationalize key practical considerations. Finally, we report on a simulation study that investigates the finite-sample operating characteristics of the generalizability estimators and their sandwich variance estimators.


title: Wobbling double sine-Gordon kinks

abstract: We study the collision of a kink and an antikink in the double sine-Gordon model with and without the excited vibrational mode. In the latter case, we find that there is a limited range of the parameters where the resonance windows exist, despite the existence of a vibrational mode. Still, when the vibrational mode is initially excited, its energy can turn into translational energy after the collision. This creates one-bounce as well as a rich structure of higher-bounce resonance windows that depend on the wobbling phase being in or out of phase at the collision and the wobbling amplitude being sufficiently large. When the vibrational mode is excited, the modified structure of one-bounce windows is observed in the whole range of the model's parameters, and the resonant interval with higher-bounce windows gradually increases with the wobbling amplitude. We estimated the center of the one-bounce windows using a simple analytical approximation for the wobbling evolution. The kinks' final wobbling frequency is Lorentz contracted, which is simply derived from our equations. We also report that the maximum energy density value always has a smooth behavior in the resonance windows.


title: Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing

abstract: World models learn behaviors in a latent imagination space to enhance the sample-efficiency of deep reinforcement learning (RL) algorithms. While learning world models for high-dimensional observations (e.g., pixel inputs) has become practicable on standard RL benchmarks and some games, their effectiveness in real-world robotics applications has not been explored. In this paper, we investigate how such agents generalize to real-world autonomous vehicle control tasks, where advanced model-free deep RL algorithms fail. In particular, we set up a series of time-lap tasks for an F1TENTH racing robot, equipped with a high-dimensional LiDAR sensor, on a set of test tracks with a gradual increase in their complexity. In this continuous-control setting, we show that model-based agents capable of learning in imagination substantially outperform model-free agents with respect to performance, sample efficiency, successful task completion, and generalization. Moreover, we show that the generalization ability of model-based agents strongly depends on the choice of their observation model. We provide extensive empirical evidence for the effectiveness of world models provided with long enough memory horizons in sim2real tasks.


title: A Crash Course on Reinforcement Learning

abstract: The emerging field of Reinforcement Learning (RL) has led to impressive results in varied domains like strategy games, robotics, etc. This handout aims to give a simple introduction to RL from control perspective and discuss three possible approaches to solve an RL problem: Policy Gradient, Policy Iteration, and Model-building. Dynamical systems might have discrete action-space like cartpole where two possible actions are +1 and -1 or continuous action space like linear Gaussian systems. Our discussion covers both cases.


title: On faithful quasi-permutation representations of $VZ$-groups and Camina $p$-groups

abstract: For a finite group $G$, we denote by $\mu(G)$ and $c(G),$ the minimal degree of faithful permutation representation of $G$ and the minimal degree of faithful representation of $G$ by quasi-permutation matrices over the complex field $\mathbb{C}$. In this paper we examine $c(G)$ for $VZ$-groups and Camina $p$-groups.


title: Autonomous object harvesting using synchronized optoelectronic microrobots

abstract: Optoelectronic tweezer-driven microrobots (OETdMs) are a versatile micromanipulation technology based on the use of light induced dielectrophoresis to move small dielectric structures (microrobots) across a photoconductive substrate. The microrobots in turn can be used to exert forces on secondary objects and carry out a wide range of micromanipulation operations, including collecting, transporting and depositing microscopic cargos. In contrast to alternative (direct) micromanipulation techniques, OETdMs are relatively gentle, making them particularly well suited to interacting with sensitive objects such as biological cells. However, at present such systems are used exclusively under manual control by a human operator. This limits the capacity for simultaneous control of multiple microrobots, reducing both experimental throughput and the possibility of cooperative multi-robot operations. In this article, we describe an approach to automated targeting and path planning to enable open-loop control of multiple microrobots. We demonstrate the performance of the method in practice, using microrobots to simultaneously collect, transport and deposit silica microspheres. Using computational simulations based on real microscopic image data, we investigate the capacity of microrobots to collect target cells from within a dissociated tissue culture. Our results indicate the feasibility of using OETdMs to autonomously carry out micromanipulation tasks within complex, unstructured environments.