title: Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory

abstract: In this paper, we make a substantial step towards an encoding of Cubical Type Theory (CTT) in the Dedukti logical framework. Type-checking CTT expressions features a decision procedure in a de Morgan algebra that so far could not be expressed by the rewrite rules of Dedukti. As an alternative, 2 Layer Type Theories are variants of Martin-L\"of Type Theory where all or part of the definitional equality can be represented in terms of a so-called external equality. We propose to split the encoding by giving an encoding of 2 Layer Type Theories (2LTT) in Dedukti, and a partial encoding of CTT in 2LTT.


title: Strongly summable Fibonacci Difference Geometric Sequences derfined by Orlicz functions

abstract: The purpose of this paper is to introduce the space of geometric sequences that are strongly summable with respect to an Orlicz function and the Fibonacci difference sequences.Also some topological properties and inclusion relations between the resulting geometric sequence spaces are discussed here.


title: Testing Quantum Contextuality of Binary Symplectic Polar Spaces on a Noisy Intermediate Scale Quantum Computer

abstract: The development of Noisy Intermediate Scale Quantum Computers (NISQC) provides for the Quantum Information community new tools to perform quantum experiences from an individual laptop. It facilitates interdisciplinary research in the sense that theoretical descriptions of properties of quantum physics can be translated to experiments easily implementable on a NISCQ. In this note I test large state-independent inequalities for quantum contextuality on finite geometric structures encoding the commutation relations of the generalized N-qubit Pauli group. The bounds predicted by Non-Contextual Hidden Variables theories are strongly violated in all conducted experiences.


title: Perverse sheaves with nilpotent singular support on the stack of coherent sheaves on an elliptic curve

abstract: We define a stratification of the moduli stack of coherent sheaves on an elliptic curve which allows us (1) to give an explicit description of the irreducible components of the global nilpotent cone of elliptic curves, (2) to establish an explicit bijection between the simple objects of the category of perverse sheaves defined by Schiffmann to categorify the elliptic Hall algebra (the so-called spherical Eisenstein sheaves) and the irreducible components of the global nilpotent cone and (3) to give an explicit description and parametrization of the perverse sheaves on the moduli stack of coherent sheaves on an elliptic curve having nilpotent singular support. Along the way, we find a combinatorial parametrization of the irreducible components of the semistable locus of the elliptic global nilpotent cone.


title: Analysis of skin lesion images with deep learning

abstract: Skin cancer is the most common cancer worldwide, with melanoma being the deadliest form. Dermoscopy is a skin imaging modality that has shown an improvement in the diagnosis of skin cancer compared to visual examination without support. We evaluate the current state of the art in the classification of dermoscopic images based on the ISIC-2019 Challenge for the classification of skin lesions and current literature. Various deep neural network architectures pre-trained on the ImageNet data set are adapted to a combined training data set comprised of publicly available dermoscopic and clinical images of skin lesions using transfer learning and model fine-tuning. The performance and applicability of these models for the detection of eight classes of skin lesions are examined. Real-time data augmentation, which uses random rotation, translation, shear, and zoom within specified bounds is used to increase the number of available training samples. Model predictions are multiplied by inverse class frequencies and normalized to better approximate actual probability distributions. Overall prediction accuracy is further increased by using the arithmetic mean of the predictions of several independently trained models. The best single model has been published as a web service.


title: The moments of the distance between two random points in a regular polygon

abstract: In this paper, we derive formulas for the analytical calculation of the moments of the distance between two uniformly and independently distributed random points in an $n$-sided regular polygon. A number of closed form expressions is provided, e.g. the expected distances for $n = 3,4,5,6,8,10,12$, where the results for $n = 5,8,10,12$ are new to the best of the author's knowledge. Applying results of Voss, remarkably short formulas for the second and the fourth moments are derived.


title: Some Weighted Estimates on Gaussian Measure Spaces

abstract: In this paper, we obtain the weighted boundedness for the local multi(sub)linear Hardy-Littlewood maximal operators and local multilinear fractional integral operators associated with the local Muckenhoupt weights on Gaussian measure spaces. We deal with these problems by introducing a new pointwise equivalent "radial" definitions of these local operators. Moreover using a similar approach, we also get the weighted boundedness for the local fractional maximal operators with rough kernel and local fractional integral operators with rough kernel on Gaussian measure spaces.


title: Property FW and wreath products of groups: a simple approach using Schreier graphs

abstract: The group property FW stands in-between the celebrated Kazdhan's property (T) and Serre's property FA. Among many characterizations, it might be defined, for finitely generated groups, as having all Schreier graphs one-ended. It follows from the work of Y. Cornulier that a finitely generated wreath product $G\wr_XH$ has property~FW if and only if both $G$ and $H$ have property FW and $X$ is finite. The aim of this paper is to give an elementary, direct and explicit proof of this fact using Schreier graphs.


title: Influence of grain sizes and composition on the contraction rates of planetary envelopes and on planetary migration

abstract: A crucial phase during planetary growth is the migration when the planetary core has been assembled, but the planet did not open a deep gap yet. During this phase the planet is subject to fast type-I migration, which is mostly directed inwards, and the planet can lose a significant fraction of its semi-major axis. The duration of this phase is set by how long the planetary envelope needs to contract until it reaches a mass similar to the mass of the planetary core, which is when runaway gas accretion can set in and the planet can open a deeper gap in the disc, transitioning into the slower type-II migration. This envelope contraction phase depends crucially on the planetary mass and on the opacity inside the planetary envelope. Here we study how different opacity prescriptions influence the envelope contraction time and how this in turn influences how far the planet migrates through the disc. We find within our simulations that the size distribution of the grains as well as the chemical composition of the grains crucially influences how far the planet migrates before it can reach the runaway gas accretion phase. Grain size distributions with larger grain sizes result in less inward migration of the growing planet, due to faster gas accretion enabled by more efficient cooling. In addition, we find that planets forming in water poor environments can contract their envelope faster and thus migrate less, implying that gas giants forming in water poor environments might be located further away from their central star compared to gas giants forming in water rich environments. Future studies of planet formation that aim to investigate the chemical composition of formed gas giants need to take these effects self consistently into account.


title: Hubbard models and state preparation in an optical Lieb lattice

abstract: Inspired by the growing interest in probing many-body phases in novel two-dimensional lattice geometries we investigate the properties of cold atoms as they could be observed in an optical Lieb lattice. We begin by computing Wannier functions localised at individual sites for a realistic experimental setup, and determining coefficients for a Hubbard-like model. Based on this, we show how experiments could probe the robustness of edge states in a Lieb lattice with diagonal boundary conditions to the effects of interactions and realise strongly correlated many-body phases in this geometry. We then generalise this to interacting particles in a half-filled 1D Lieb ladder, where excitations are dominated by flat band states. We show that for strong attractive interactions, pair correlations are enhanced even when there is strong mixing with the Dirac cone. These findings in 1D raise interesting questions about the phases in the full 2D Lieb lattice which we show can be explored in current experiments.


title: An Early Look at the Parler Online Social Network

abstract: Parler is as an "alternative" social network promoting itself as a service that allows to "speak freely and express yourself openly, without fear of being deplatformed for your views." Because of this promise, the platform become popular among users who were suspended on mainstream social networks for violating their terms of service, as well as those fearing censorship. In particular, the service was endorsed by several conservative public figures, encouraging people to migrate from traditional social networks. After the storming of the US Capitol on January 6, 2021, Parler has been progressively deplatformed, as its app was removed from Apple/Google Play stores and the website taken down by the hosting provider. This paper presents a dataset of 183M Parler posts made by 4M users between August 2018 and January 2021, as well as metadata from 13.25M user profiles. We also present a basic characterization of the dataset, which shows that the platform has witnessed large influxes of new users after being endorsed by popular figures, as well as a reaction to the 2020 US Presidential Election. We also show that discussion on the platform is dominated by conservative topics, President Trump, as well as conspiracy theories like QAnon.


title: Improved Exploiting Higher Order Smoothness in Derivative-free Optimization and Continuous Bandit

abstract: We consider $\beta$-smooth (satisfies the generalized Holder condition with parameter $\beta > 2$) stochastic convex optimization problem with zero-order one-point oracle. The best known result was arXiv:2006.07862: $\mathbb{E} \left[f(\overline{x}_N) - f(x^*)\right] = \tilde{\mathcal{O}} \left(\dfrac{n^{2}}{\gamma N^{\frac{\beta-1}{\beta}}} \right)$ in $\gamma$-strongly convex case, where $n$ is the dimension. In this paper we improve this bound: $\mathbb{E} \left[f(\overline{x}_N) - f(x^*)\right] = \tilde{\mathcal{O}} \left(\dfrac{n^{2-\frac{1}{\beta}}}{\gamma N^{\frac{\beta-1}{\beta}}} \right).$


title: Cross Domain Iterative Detection for Orthogonal Time Frequency Space Modulation

abstract: Recently proposed orthogonal time frequency space (OTFS) modulation has been considered as a promising candidate for accommodating various emerging communication and sensing applications in high-mobility environments. In this paper, we propose a novel cross domain iterative detection algorithm to enhance the error performance of OTFS modulation. Different from conventional OTFS detection methods, the proposed algorithm applies basic estimation/detection approaches to both the time domain and delay-Doppler (DD) domain and iteratively updates the extrinsic information from two domains with the unitary transformation. In doing so, the proposed algorithm exploits the time domain channel sparsity and the DD domain symbol constellation constraints. We evaluate the estimation/detection error variance in each domain for each iteration and derive the state evolution to investigate the detection error performance. We show that the performance gain due to iterations comes from the non-Gaussian constellation constraint in the DD domain. More importantly, we prove the proposed algorithm can indeed converge and, in the convergence, the proposed algorithm can achieve almost the same error performance as the maximum-likelihood sequence detection even in the presence of fractional Doppler shifts. Furthermore, the computational complexity associated with the domain transformation is low, thanks to the structure of the discrete Fourier transform (DFT) kernel. Simulation results are consistent with our analysis and demonstrate a significant performance improvement compared to conventional OTFS detection methods.


title: The associahedron as a holographic entanglement polytope

abstract: By employing the ${\rm AdS}_3/{\rm CFT}_2$ correspondence in this note we observe an analogy between the structures found in connection with the Arkani-Hamed-Bai-He-Yan (ABHY) associahedron used for understanding scattering amplitudes, and the one used for understanding space-time emerging from patterns of entanglement. The analogy suggests the natural interpretation for the associahedron as a holographic entanglement polytope associated to the ${\rm CFT}_2$ vacuum. Our observations hint at the possibility that the factorization properties of scattering amplitudes are connected to the notion of separability of space-time as used in the theory of holographic quantum entanglement.


title: Choosing points on cubic plane curves: rigidity and flexibility

abstract: Every smooth cubic plane curve has 9 flex points and 27 sextatic points. We study the following question asked by Farb: Is it true that the known algebraic structures give all the possible ways to continuously choose $n$ distinct points on every smooth cubic plane curve, for each given positive integer $n$? We give an affirmative answer to the question when $n=9$ and 18 (the smallest open cases), and a negative answer for infinitely many $n$'s.


title: On the Search for Equilibrium Points of Switched Affine Systems

abstract: One of the main aspects of switched affine systems that makes their stabilizability study intricate is the existence of (generally) infinitely many equilibrium points in the state space. Thus, prior to designing the switched control, the user must specify one of these equilibrium points to be the goal or reference. This can be a cumbersome task, especially if this goal is partially given or only defined as a set of constraints. To tackle this issue, in this paper we describe algorithms that can determine whether a given goal is an equilibrium point of the system and also jointly search for equilibrium points and design globally stabilizing switching functions.


title: WDR FACE: The First Database for Studying Face Detection in Wide Dynamic Range

abstract: Currently, face detection approaches focus on facial information by varying specific parameters including pose, occlusion, lighting, background, race, and gender. These studies only utilized the information obtained from low dynamic range images, however, face detection in wide dynamic range (WDR) scenes has received little attention. To our knowledge, there is no publicly available WDR database for face detection research. To facilitate and support future face detection research in the WDR field, we propose the first WDR database for face detection, called WDR FACE, which contains a total of 398 16-bit megapixel grayscale wide dynamic range images collected from 29 subjects. These WDR images (WDRIs) were taken in eight specific WDR scenes. The dynamic range of 90% images surpasses 60,000:1, and that of 70% images exceeds 65,000:1. Furthermore, we show the effect of different face detection procedures on the WDRIs in our database. This is done with 25 different tone mapping operators and five different face detectors. We provide preliminary experimental results of face detection on this unique WDR database.


title: Representativeness in Statistics, Politics, and Machine Learning

abstract: Representativeness is a foundational yet slippery concept. Though familiar at first blush, it lacks a single precise meaning. Instead, meanings range from typical or characteristic, to a proportionate match between sample and population, to a more general sense of accuracy, generalizability, coverage, or inclusiveness. Moreover, the concept has long been contested. In statistics, debates about the merits and methods of selecting a representative sample date back to the late 19th century; in politics, debates about the value of likeness as a logic of political representation are older still. Today, as the concept crops up in the study of fairness and accountability in machine learning, we need to carefully consider the term's meanings in order to communicate clearly and account for their normative implications. In this paper, we ask what representativeness means, how it is mobilized socially, and what values and ideals it communicates or confronts. We trace the concept's history in statistics and discuss normative tensions concerning its relationship to likeness, exclusion, authority, and aspiration. We draw on these analyses to think through how representativeness is used in FAccT debates, with emphasis on data, shift, participation, and power.


title: Energy cost study for controlling complex social networks with conformity behavior

abstract: In order to understand controlling a complex system, an estimation of the required effort needed to achieve control is vital. Previous works have addressed this issue by studying the scaling laws of energy cost in a general way with continuous-time linear dynamics. However, continuous-time linear dynamics is unable to capture conformity behavior, which is common in many complex social systems. Therefore, to understand controlling social systems with conformity, discrete-time modelling is used and the energy cost scaling laws are derived. The results are validated numerically with model and real networks. In addition, the energy costs needed for controlling systems with and without conformity are compared, and it was found that controlling networked systems with conformity features always requires less control energy. Finally, it is shown through simulations that heterogeneous scale-free networks are less controllable, requiring a higher number of minimum drivers. Since the conformity-based model relates to various complex systems, such as flocking, or evolutionary games, the results of this paper represent a step forward towards developing realistic control of complex social systems.


title: Performance and wake characteristics of tidal turbines in an infinitely large array

abstract: The efficiency of tidal-stream turbines in a large array depends on the balance between negative effects of turbine-wake interactions and positive effects of bypass-flow acceleration due to local blockage, both of which are functions of the layout of turbines. Here we investigate the hydrodynamics of turbines in an infinitely large array with aligned or staggered layouts for a range of streamwise and lateral turbine spacing. First, we present a theoretical analysis based on an extension of the Linear Momentum Actuator Disc Theory (LMADT) for perfectly aligned and staggered layouts, employing a hybrid inviscid-viscous approach to account for the local blockage effect within each turbine row and the viscous (turbulent) wake mixing behind each row in a coupled manner. We perform Large-Eddy Simulation (LES) of open-channel flow for 28 layouts of tidal turbines using an Actuator-Line Method with periodic boundary conditions. Both theoretical and LES results show that the efficiency of turbines (or the power of turbines for a given bulk velocity) in an aligned array decreases as we reduce the streamwise spacing, whereas that in a staggered array remains high and may even increase due to the positive local blockage effect (causing the local flow velocity upstream of each turbine to exceed the bulk velocity) if the lateral turbine spacing is sufficiently small. The LES results further reveal that the amplitude of wake meandering tends to decrease as we reduce the lateral spacing, which leads to a lower wake recovery rate in the near-wake region. These results will help to understand and improve the efficiency of tidal turbines in future large arrays, even though the performance of real tidal arrays may depend not only on turbine-to-turbine interactions but also on macro-scale interactions between the array and natural tidal currents, the latter of which are outside the scope of this study.


title: An overview of the Hamilton--Jacobi theory: the classical and geometrical approaches and some extensions and applications

abstract: This work is devoted to review the modern geometric description of the Lagrangian and Hamiltonian formalisms of the Hamilton--Jacobi theory. The relation with the "classical" Hamiltonian approach using canonical transformations is also analyzed. Furthermore, a more general framework for the theory is also briefly explained. It is also shown how, from this generic framework, the Lagrangian and Hamiltonian cases of the theory for dynamical systems are recovered, and how the model can be extended to other types of physical systems, such as higher-order dynamical systems and (first-order) classical field theories in their multisymplectic formulation.


title: A note on vanishing of equivariant differentiable cohomology of proper actions and application to CR-automorphism and conformal groups

abstract: We establish that for any proper action of a Lie group on a manifold the associated equivariant differentiable cohomology groups with coefficients in modules of $\mathcal{C}^\infty$-functions vanish in all degrees except than zero. Furthermore let $G$ be a Lie group of $CR$-automorphisms of a strictly pseudo-convex $CR$-manifold $M$. We associate to $G$ a canonical class in the first differential cohomology of $G$ with coefficients in the $\mathcal{C}^\infty$-functions on $M$. This class is non-zero if and only if $G$ is essential in the sense that there does not exist a $CR$-compatible strictly pseudo-convex pseudo-Hermitian structure on $M$ which is preserved by $G$. We prove that a closed Lie subgroup $G$ of $CR$-automorphisms acts properly on $M$ if and only if its canonical class vanishes. As a consequence of Schoen's theorem, it follows that for any strictly pseudo-convex $CR$-manifold $M$, there exists a compatible strictly pseudo-convex pseudo-Hermitian structure such that the CR-automorphism group for $M$ and the group of pseudo-Hermitian transformations coincide, except for two kinds of spherical $CR$-manifolds. Similar results hold for conformal Riemannian and K\"ahler manifolds.


title: Almost-Hermitian random matrices and bandlimited point processes

abstract: We study the distribution of eigenvalues of almost-Hermitian random matrices associated with the classical Gaussian and Laguerre unitary ensembles. In the almost-Hermitian setting, which was pioneered by Fyodorov, Khoruzhenko and Sommers in the case of GUE, the eigenvalues are not confined to the real axis, but instead have imaginary parts which vary within a narrow ``band'' about the real line, of height proportional to $\tfrac 1 N$, where $N$ denotes the size of the matrices. We study vertical cross-sections of the 1-point density as well as microscopic scaling limits, and we compare with other results which have appeared in the literature in recent years. Our approach uses Ward's equation and a property which we call ``cross-section convergence'', which relates the large-$N$ limit of the cross-sections of the density of eigenvalues with the equilibrium density for the corresponding Hermitian ensemble: the semi-circle law for GUE and the Marchenko-Pastur law for LUE. As an application of our approach, we prove the bulk universality of the almost-circular ensembles.


title: The optical design of the LiteBIRD Middle and High Frequency Telescope

abstract: LiteBIRD is a JAXA strategic L-class mission devoted to the measurement of polarization of the Cosmic Microwave Background, searching for the signature of primordial gravitational waves in the B-modes pattern of the polarization. The onboard instrumentation includes a Middle and High Frequency Telescope (MHFT), based on a pair of cryogenically cooled refractive telescopes covering, respectively, the 89-224 GHz and the 166-448 GHz bands. Given the high target sensitivity and the careful systematics control needed to achieve the scientific goals of the mission, optical modeling and characterization are performed with the aim to capture most of the physical effects potentially affecting the real performance of the two refractors. We describe the main features of the MHFT, its design drivers and the major challenges in system optimization and characterization. We provide the current status of the development of the optical system and we describe the current plan of activities related to optical performance simulation and validation.


title: Closing the Planning-Learning Loop with Application to Autonomous Driving

abstract: Real-time planning under uncertainty is critical for robots operating in complex dynamic environments. Consider, for example, an autonomous robot vehicle driving in dense, unregulated urban traffic of cars, motorcycles, buses, etc. The robot vehicle has to plan in both short and long terms, in order to interact with many traffic participants with uncertain intentions and drive effectively. Planning explicitly over a long time horizon, however, incurs prohibitive computational costs and is impractical under real-time constraints. To achieve real-time performance for large-scale planning, this work introduces a new algorithm Learning from Tree Search for Driving (LeTS-Drive), which integrates planning and learning in a closed loop, and applies it to autonomous driving in crowded urban traffic in simulation. Specifically, LeTS-Drive learns a policy and its value function from data provided by an online planner, which searches a sparsely-sampled belief tree; the online planner in turn uses the learned policy and value functions as heuristics to scale up its run-time performance for real-time robot control. These two steps are repeated to form a closed loop so that the planner and the learner inform each other and improve in synchrony. The algorithm learns on its own in a self-supervised manner, without human effort on explicit data labeling. Experimental results demonstrate that LeTS-Drive outperforms either planning or learning alone, as well as open-loop integration of planning and learning.


title: DAWIS, a Detection Algorithm with Wavelets for Intracluster light Studies

abstract: Large amounts of deep optical images will be available in the near future, allowing statistically significant studies of low surface brightness structures such as intracluster light (ICL) in galaxy clusters. The detection of these structures requires efficient algorithms dedicated to this task, where traditional methods suffer difficulties. We present our new Detection Algorithm with Wavelets for Intracluster light Studies (DAWIS), developed and optimised for the detection of low surface brightness sources in images, in particular (but not limited to) ICL. DAWIS follows a multiresolution vision based on wavelet representation to detect sources, embedded in an iterative procedure called synthesis-by-analysis approach to restore the complete unmasked light distribution of these sources with very good quality. The algorithm is built so sources can be classified based on criteria depending on the analysis goal; we display in this work the case of ICL detection and the measurement of ICL fractions. We test the efficiency of DAWIS on 270 mock images of galaxy clusters with various ICL profiles and compare its efficiency to more traditional ICL detection methods such as the surface brightness threshold method. We also run DAWIS on a real galaxy cluster image, and compare the output to results obtained with previous multiscale analysis algorithms. We find in simulations that in average DAWIS is able to disentangle galaxy light from ICL more efficiently, and to detect a greater quantity of ICL flux due to the way it handles sky background noise. We also show that the ICL fraction, a metric used on a regular basis to characterise ICL, is subject to several measurement biases both on galaxies and ICL fluxes. In the real galaxy cluster image, DAWIS detects a faint and extended source with an absolute magnitude two orders brighter than previous multiscale methods.


title: Amorphous Order & Non-linear Susceptibilities in Glassy Materials

abstract: We review 15 years of theoretical and experimental work on the non-linear response of glassy systems. We argue that an anomalous growth of the peak value of non-linear susceptibilities is a signature of growing "amorphous order" in the system, with spin-glasses as a case in point. Experimental results on supercooled liquids are fully compatible with the RFOT prediction of compact "glassites" of increasing volume as temperature is decreased, or as the system ages. We clarify why such a behaviour is hard to explain within purely kinetic theories of glass formation, despite recent claims to the contrary.


title: Physics and evolution of the most massive stars in 30 Dor. Mass loss, envelope inflation, and a variable upper stellar mass limit

abstract: The identification of stellar-mass black-hole mergers with up to 80 Msun as powerful sources of gravitational wave radiation led to increased interest in the physics of the most massive stars. The largest sample of possible progenitors of such objects, very massive stars (VMS) with masses up to 300 Msun, have been identified in the 30 Dor star-forming region in the Large Magellanic Cloud (LMC). The physics and evolution of VMS is highly uncertain, mainly due to their proximity to the Eddington limit. In this work we investigate the two most important effects that are thought to occur near the Eddington limit. Enhanced mass loss through optically thick winds, and the formation of radially inflated stellar envelopes. We compute evolutionary models for VMS at LMC metallicity and perform a population synthesis of the young stellar population in 30 Dor. We find that enhanced mass loss and envelope inflation have a dominant effect on the evolution of the most massive stars. While the observed mass-loss properties and the associated surface He-enrichment are well described by our new models, the observed O-star mass-loss rates are found to cover a much larger range than theoretically predicted, with particularly low mass-loss rates for the youngest objects. Also, the (rotational) surface enrichment in the O-star regime appears to be not well understood. The positions of the most massive stars in the Hertzsprung-Russell Diagram (HRD) are affected by mass loss and envelope inflation. For instance, the majority of luminous B-supergiants in 30 Dor, and the lack thereof at the highest luminosities, can be explained through the combination of envelope inflation and mass loss. Finally, we find that the upper limit for the inferred initial stellar masses in the greater 30 Dor region is significantly lower than in its central cluster R 136, implying a variable upper limit for the masses of stars.


title: Multiple Testing in Nonparametric Hidden Markov Models: An Empirical Bayes Approach

abstract: Given a nonparametric Hidden Markov Model (HMM) with two states, the question of constructing efficient multiple testing procedures is considered, treating one of the states as an unknown null hypothesis. A procedure is introduced, based on nonparametric empirical Bayes ideas, that controls the False Discovery Rate (FDR) at a user--specified level. Guarantees on power are also provided, in the form of a control of the true positive rate. One of the key steps in the construction requires supremum--norm convergence of preliminary estimators of the emission densities of the HMM. We provide the existence of such estimators, with convergence at the optimal minimax rate, for the case of a HMM with $J\ge 2$ states, which is of independent interest.


title: On information projections between multivariate elliptical and location-scale families

abstract: We study information projections with respect to statistical $f$-divergences between any two location-scale families. We consider a multivariate generalization of the location-scale families which includes the elliptical and the spherical subfamilies. By using the action of the multivariate location-scale group, we show how to reduce the calculation of $f$-divergences between any two location-scale densities to canonical settings involving standard densities, and derive thereof fast Monte Carlo estimators of $f$-divergences with good properties. Finally, we prove that the minimum $f$-divergence between a prescribed density of a location-scale family and another location-scale family is independent of the prescribed location-scale parameter. We interpret geometrically this property.


title: Privacy-Preserving Transactive Energy Management for IoT-aided Smart Homes via Blockchain

abstract: With the booming of smart grid, The ubiquitously deployed smart meters constitutes an energy internet of things. This paper develops a novel blockchain-based transactive energy management system for IoT-aided smart homes. We consider a holistic set of options for smart homes to participate in transactive energy. Smart homes can interact with the grid to perform vertical transactions, e.g., feeding in extra solar energy to the grid and providing demand response service to alleviate the grid load. Smart homes can also interact with peer users to perform horizontal transactions, e.g., peer-to-peer energy trading. However, conventional transactive energy management method suffers from the drawbacks of low efficiency, privacy leakage, and single-point failure. To address these challenges, we develop a privacy-preserving distributed algorithm that enables users to optimally manage their energy usages in parallel via the smart contract on the blockchain. Further, we design an efficient blockchain system tailored for IoT devices and develop the smart contract to support the holistic transactive energy management system. Finally, we evaluate the feasibility and performance of the blockchain-based transactive energy management system through extensive simulations and experiments. The results show that the blockchain-based transactive energy management system is feasible on practical IoT devices and reduces the overall cost by 25%.


title: Model Generalization on COVID-19 Fake News Detection

abstract: Amid the pandemic COVID-19, the world is facing unprecedented infodemic with the proliferation of both fake and real information. Considering the problematic consequences that the COVID-19 fake-news have brought, the scientific community has put effort to tackle it. To contribute to this fight against the infodemic, we aim to achieve a robust model for the COVID-19 fake-news detection task proposed at CONSTRAINT 2021 (FakeNews-19) by taking two separate approaches: 1) fine-tuning transformers based language models with robust loss functions and 2) removing harmful training instances through influence calculation. We further evaluate the robustness of our models by evaluating on different COVID-19 misinformation test set (Tweets-19) to understand model generalization ability. With the first approach, we achieve 98.13% for weighted F1 score (W-F1) for the shared task, whereas 38.18% W-F1 on the Tweets-19 highest. On the contrary, by performing influence data cleansing, our model with 99% cleansing percentage can achieve 54.33% W-F1 score on Tweets-19 with a trade-off. By evaluating our models on two COVID-19 fake-news test sets, we suggest the importance of model generalization ability in this task to step forward to tackle the COVID-19 fake-news problem in online social media platforms.


title: The Semantic Adjacency Criterion in Time Intervals Mining

abstract: Frequent temporal patterns discovered in time-interval-based multivariate data, although syntactically correct, might be non-transparent: For some pattern instances, there might exist intervals for the same entity that contradict the pattern's usual meaning. We conjecture that non-transparent patterns are also less useful as classification or prediction features. We propose a new pruning constraint during a frequent temporal-pattern discovery process, the Semantic Adjacency Criterion [SAC], which exploits domain knowledge to filter out patterns that contain potentially semantically contradictory components. We have defined three SAC versions, and tested their effect in three medical domains. We embedded these criteria in a frequent-temporal-pattern discovery framework. Previously, we had informally presented the SAC principle and showed that using it to prune patterns enhances the repeatability of their discovery in the same clinical domain. Here, we define formally the semantics of three SAC variations, and compare the use of the set of pruned patterns to the use of the complete set of discovered patterns, as features for classification and prediction tasks in three different medical domains. We induced four classifiers for each task, using four machine-learning methods: Random Forests, Naive Bayes, SVM, and Logistic Regression. The features were frequent temporal patterns discovered in each data set. SAC-based temporal pattern-discovery reduced by up to 97% the number of discovered patterns and by up to 98% the discovery runtime. But the classification and prediction performance of the reduced SAC-based pattern-based features set, was as good as when using the complete set. Using SAC can significantly reduce the number of discovered frequent interval-based temporal patterns, and the corresponding computational effort, without losing classification or prediction performance.


title: Evolutionary Map of the Universe (EMU):Compact radio sources in the SCORPIO field towards the Galactic plane

abstract: We present observations of a region of the Galactic plane taken during the Early Science Program of the Australian Square Kilometre Array Pathfinder (ASKAP). In this context, we observed the SCORPIO field at 912 MHz with an uncompleted array consisting of 15 commissioned antennas. The resulting map covers a square region of ~40 deg^2, centred on (l, b)=(343.5{\deg}, 0.75{\deg}), with a synthesized beam of 24"x21" and a background rms noise of 150-200 {\mu}Jy/beam, increasing to 500-600 {\mu}Jy/beam close to the Galactic plane. A total of 3963 radio sources were detected and characterized in the field using the CAESAR source finder. We obtained differential source counts in agreement with previously published data after correction for source extraction and characterization uncertainties, estimated from simulated data. The ASKAP positional and flux density scale accuracy were also investigated through comparison with previous surveys (MGPS, NVSS) and additional observations of the SCORPIO field, carried out with ATCA at 2.1 GHz and 10" spatial resolution. These allowed us to obtain a measurement of the spectral index for a subset of the catalogued sources and an estimated fraction of (at least) 8% of resolved sources in the reported catalogue. We cross-matched our catalogued sources with different astronomical databases to search for possible counterparts, finding ~150 associations to known Galactic objects. Finally, we explored a multiparametric approach for classifying previously unreported Galactic sources based on their radio-infrared colors.

categories: astro-ph.GA astro-ph.IM astro-ph.SR stat.ML


title: Understanding the Quality of Container Security Vulnerability Detection Tools

abstract: Virtualization enables information and communications technology industry to better manage computing resources. In this regard, improvements in virtualization approaches together with the need for consistent runtime environment, lower overhead and smaller package size has led to the growing adoption of containers. This is a technology, which packages an application, its dependencies and Operating System (OS) to run as an isolated unit. However, the pressing concern with the use of containers is its susceptibility to security attacks. Consequently, a number of container scanning tools are available for detecting container security vulnerabilities. Therefore, in this study, we investigate the quality of existing container scanning tools by proposing two metrics that reflects coverage and accuracy. We analyze 59 popular public container images for Java applications hosted on DockerHub using different container scanning tools (such as Clair, Anchore, and Microscanner). Our findings show that existing container scanning approach does not detect application package vulnerabilities. Furthermore, existing tools do not have high accuracy, since 34% vulnerabilities are being missed by the best performing tool. Finally, we also demonstrate quality of Docker images for Java applications hosted on DockerHub by assessing complete vulnerability landscape i.e., number of vulnerabilities detected in images.


title: Transverse $J$-holomorphic curves in nearly K\"ahler $\mathbb{CP}^3$

abstract: $J$-holomorphic curves in nearly K\"ahler $\mathbb{CP}^3$ are related to minimal surfaces in $S^4$ as well as associative submanifolds in $\Lambda^2_-(S^4)$. We introduce the class of transverse $J$-holomorphic curves and establish a Bonnet-type theorem for them. We classify flat tori in $S^4$ and construct moment-type maps from $\mathbb{CP}^3$ to relate them to the theory of $\mathrm{U}(1)$-invariant minimal surfaces on $S^4$.


title: Rigidity estimates for isometric and conformal maps from $\mathbb{S}^{n-1}$ to $\mathbb{R}^n$

abstract: We investigate both linear and nonlinear stability aspects of rigid motions (resp. M\"obius transformations) of $\mathbb{S}^{n-1}$ among Sobolev maps from $\mathbb{S}^{n-1}$ into $\mathbb{R}^n$. Unlike similar in flavour results for maps defined on domains of $\mathbb{R}^n$ and mapping into $\mathbb{R}^n$, not only an isometric (resp. conformal) deficit is necessary in this more flexible setting, but also a deficit measuring the distortion of $\mathbb{S}^{n-1}$ under the maps in consideration. The latter is defined as an associated isoperimetric type of deficit. We mostly focus on the case $n=3$, where we also explain why the estimates are optimal in their corresponding settings. In the isometric case the estimate holds true also when $n=2$ and generalizes in dimensions $n\geq 4$ as well, if one requires apriori boundedness in a certain higher Sobolev norm. We also obtain linear stability estimates for both cases in all dimensions. These can be regarded as Korn-type inequalities for the combination of the quadratic form associated with the isometric (resp. conformal) deficit on $\mathbb{S}^{n-1}$ and the isoperimetric one.


title: On-the-fly Reduced Order Modeling of Passive and Reactive Species via Time-Dependent Manifolds

abstract: One of the principal barriers in developing accurate and tractable predictive models in turbulent flows with a large number of species is to track every species by solving a separate transport equation, which can be computationally impracticable. In this paper, we present an on-the-fly reduced order modeling of reactive as well as passive transport equations to reduce the computational cost. The presented approach seeks a low-rank decomposition of the species to three time-dependent components: (i) a set of orthonormal spatial modes, (ii) a low-rank factorization of the instantaneous species correlation matrix, and (iii) a set of orthonormal species modes, which represent a low-dimensional time-dependent manifold. Our approach bypasses the need to solve the full-dimensional species to generate high-fidelity data - as it is commonly performed in data-driven dimension reduction techniques such as the principle component analysis. Instead, the low-rank components are directly extracted from the species transport equation. The evolution equations for the three components are obtained from optimality conditions of a variational principle. The time-dependence of the three components enables an on-the-fly adaptation of the low-rank decomposition to transient changes in the species. Several demonstration cases of reduced order modeling of passive and reactive transport equations are presented.


title: Spherical Transformer: Adapting Spherical Signal to CNNs

abstract: Convolutional neural networks (CNNs) have been widely used in various vision tasks, e.g. image classification, semantic segmentation, etc. Unfortunately, standard 2D CNNs are not well suited for spherical signals such as panorama images or spherical projections, as the sphere is an unstructured grid. In this paper, we present Spherical Transformer which can transform spherical signals into vectors that can be directly processed by standard CNNs such that many well-designed CNNs architectures can be reused across tasks and datasets by pretraining. To this end, the proposed method first uses local structured sampling methods such as HEALPix to construct a transformer grid by using the information of spherical points and its adjacent points, and then transforms the spherical signals to the vectors through the grid. By building the Spherical Transformer module, we can use multiple CNN architectures directly. We evaluate our approach on the tasks of spherical MNIST recognition, 3D object classification and omnidirectional image semantic segmentation. For 3D object classification, we further propose a rendering-based projection method to improve the performance and a rotational-equivariant model to improve the anti-rotation ability. Experimental results on three tasks show that our approach achieves superior performance over state-of-the-art methods.


title: Block Gibbs samplers for logistic mixed models: convergence properties and a comparison with full Gibbs samplers

abstract: The logistic linear mixed model (LLMM) is one of the most widely used statistical models. Generally, Markov chain Monte Carlo algorithms are used to explore the posterior densities associated with the Bayesian LLMMs. Polson, Scott and Windle's (2013) Polya-Gamma data augmentation (DA) technique can be used to construct full Gibbs (FG) samplers for the LLMMs. Here, we develop efficient block Gibbs (BG) samplers for Bayesian LLMMs using the Polya-Gamma DA method. We compare the FG and BG samplers in the context of a real data example, as the correlation between the fixed effects and the random effects changes as well as when the dimensions of the design matrices vary. These numerical examples demonstrate superior performance of the BG samplers over the FG samplers. We also derive conditions guaranteeing geometric ergodicity of the BG Markov chain when the popular improper uniform prior is assigned on the regression coefficients, and proper or improper priors are placed on the variance parameters of the random effects. This theoretical result has important practical implications as it justifies the use of asymptotically valid Monte Carlo standard errors for Markov chain based estimates of the posterior quantities.


title: Deep Neural Networks to Recover Unknown Physical Parameters from Oscillating Time Series

abstract: Deep neural networks (DNNs) are widely used in pattern-recognition tasks for which a human comprehensible, quantitative description of the data-generating process, e.g., in the form of equations, cannot be achieved. While doing so, DNNs often produce an abstract (entangled and non-interpretable) representation of the data-generating process. This is one of the reasons why DNNs are not extensively used in physics-signal processing: physicists generally require their analyses to yield quantitative information about the studied systems. In this article we use DNNs to disentangle components of oscillating time series, and recover meaningful information. We show that, because DNNs can find useful abstract feature representations, they can be used when prior knowledge about the signal-generating process exists, but is not complete, as it is particularly the case in "new-physics" searches. To this aim, we train our DNN on synthetic oscillating time series to perform two tasks: a regression of the signal latent parameters and signal denoising by an Autoencoder-like architecture. We show that the regression and denoising performance is similar to those of least-square curve fittings (LS-fit) with true latent parameters' initial guesses, in spite of the DNN needing no initial guesses at all. We then explore applications in which we believe our architecture could prove useful for time-series processing in physics, when prior knowledge is incomplete. As an example, we employ DNNs as a tool to inform LS-fits when initial guesses are unknown. We show that the regression can be performed on some latent parameters, while ignoring the existence of others. Because the Autoencoder needs no prior information about the physical model, the remaining unknown latent parameters can still be captured, thus making use of partial prior knowledge, while leaving space for data exploration and discoveries.


title: A generating function approach to Markov chains undergoing binomial catastrophes

abstract: In a Markov chain population model subject to catastrophes, random immigration events (birth), promoting growth, are in balance with the effect of binomial catastrophes that cause recurrent mass removal (death). Using a generating function approach, we study two versions of such population models when the binomial catastrophic events are of a slightly different random nature. In both cases, we describe the subtle balance between the two birth and death conflicting effects.


title: Diffusiophoresis driven colloidal manipulation and shortcuts to adiabaticity

abstract: While compressing a colloidal state by optical means alone has been previously achieved through a specific time-dependence of the trap stiffness, realizing quickly the reverse transformation stumbles upon the necessity of a transiently expulsive trap. To circumvent this difficulty, we propose to drive the colloids by a combination of optical trapping and diffusiophoretic forces, both time-dependent. Forcing via diffusiophoresis is enforced by controlling the salt concentration at the boundary of the domain where the colloids are confined. The method takes advantage of the separation of time scales between salt and colloidal dynamics, and realizes a fast decompression in an optical trap that remains confining at all times. We thereby obtain a so-called shortcut to adiabaticity protocol where colloidal dynamics, enslaved to salt dynamics, can nevertheless be controlled as desired.


title: Scaling features of two special Markov chains involving total disasters

abstract: Catastrophe Markov chain population models have received a lot of attention in the recent past. We herewith consider two special cases of such models involving total disasters, both in discrete and in continuous-time. Depending on the parameters range, the two models can show up a recurrence/transience transition and, in the critical case, a positive/null recurrence transition. The collapse transition probabilities are chosen in such a way that the models are exactly solvable and, in case of positive recurrence, intimately related to the extended Sibuya and Pareto-Zipf distributions whose divisibility and self-decomposability properties are shown relevant. The study includes: existence and shape of the invariant measure, time-reversal, return time to the origin, contact probability at the origin, extinction probability, height and length of the excursions, a renewal approach to the fraction of time spent in the catastrophic state, scale function, first time to collapse and first-passage times, divisibility properties.


title: Predicting polarizabilities of silicon clusters using local chemical environments

abstract: Calculating polarizabilities of large clusters with first-principles techniques is challenging because of the unfavorable scaling of computational cost with cluster size. To address this challenge, we demonstrate that polarizabilities of large hydrogenated silicon clusters containing thousands of atoms can be efficiently calculated with machine learning methods. Specifically, we construct machine learning models based on the smooth overlap of atomic positions (SOAP) descriptor and train the models using a database of calculated random-phase approximation polarizabilities for clusters containing up to 110 silicon atoms. We first demonstrate the ability of the machine learning models to fit the data and then assess their ability to predict cluster polarizabilities using k-fold cross validation. Finally, we study the machine learning predictions for clusters that are too large for explicit first-principles calculations and find that they accurately describe the dependence of the polarizabilities on the ratio of hydrogen to silicon atoms and also predict a bulk limit that is in good agreement with previous studies.


title: Phenomenological assessment of proton mechanical properties from deeply virtual Compton scattering

abstract: A unique feature of generalised parton distributions is their relation to the QCD energy-momentum tensor. In particular, they provide access to the mechanical properties of the proton i.e. the distributions of pressure and shear stress induced by its quark and gluon structure. In principle the pressure distribution can be experimentally determined in a model-independent way from a dispersive analysis of deeply virtual Compton scattering data through the measurement of the subtraction constant. In practice the kinematic coverage and accuracy of existing experimental data make this endeavour a challenge. Elaborating on recent global fits of deeply virtual Compton scattering measurements using artificial neural networks, our analysis presents the current knowledge on this subtraction constant and assesses the impact of the most frequent systematic assumptions made in this field of research. This study will pave the way for future works when more precise data will become available, e.g. obtained in the foreseen electron-ion colliders EIC and EIcC.


title: Large Deviations for SDE driven by Heavy-tailed L\'evy Processes

abstract: We obtain sample-path large deviations for a class of one-dimensional stochastic differential equations with bounded drifts and heavy-tailed L\'evy processes. These heavy-tailed L\'evy processes do not satisfy the exponential integrability condition, which is a common restriction on the L\'evy processes in existing large deviations contents. We further prove that the solution processes satisfy a weak large deviation principle with a discrete rate function and logarithmic speed. We also show that they do not satisfy the full large deviation principle.


title: Measurement of quarkonium production in ALICE

abstract: ALICE is designated to study the quark-gluon plasma (QGP), a state of matter where, due to high temperature and density, quarks and gluons are deconfined. One of the probes used to investigate this state of matter is quarkonium states, bound states of either a charm and anti-charm quark pair (charmonia) or a bottom and anti-bottom quark pair (bottomonia). The presence of the QGP is expected to modify the quarkonium production yields in a very specific way due to a balance between medium-induced suppression, and a recombination mechanism or a hadronization mechanism. To understand the the properties of the QGP in nucleus-nucleus collisions, it is essential to measure the quarkonium differential yields in proton-proton collisions, as it provides a reference and allows the investigation of quarkonium production mechanisms, as well as in proton-nucleus collisions to understand the cold nuclear matter effects that appear. In this contribution, the latest results for quarkonium production measured with the ALICE detector in pp collisions at different collision energies are reported. The measurements of the nuclear modification factor and anisotropic flow in Pb-Pb collisions at $\sqrt{ s_{NN}} = 5.02$ TeV and in p-Pb at $\sqrt{ s_{NN}}=8 .16$ TeV at mid- and forward rapidity are also reported. All measurements are compared to various theoretical predictions.


title: Remarks on Static Three-Quark Potentials, String Breaking and Gauge/String Duality

abstract: Making use of the gauge/string duality, it is possible to study some aspects of the string breaking phenomenon in the three quark system. Our results point out that the string breaking distance is not universal and depends on quark geometry. The estimates of the ratio of the string breaking distance in the three quark system to that in the quark-antiquark system would range approximately from $\frac{2}{3}$ to $1$. In addition, it is shown that there are special geometries which allow more than one breaking distance.


title: Existence results for a generalized mean field equation on a closed Riemann surface

abstract: Let $\Sigma$ be a closed Riemann surface, $h$ a positive smooth function on $\Sigma$, $\rho$ and $\alpha$ real numbers. In this paper, we study a generalized mean field equation \begin{align*} -\Delta u=\rho\left(\dfrac{he^u}{\int_\Sigma he^u}-\dfrac{1}{\mathrm{Area}\left(\Sigma\right)}\right)+\alpha\left(u-\fint_{\Sigma}u\right), \end{align*} where $\Delta$ denotes the Laplace-Beltrami operator. We first derive a uniform bound for solutions when $\rho\in (8k\pi, 8(k+1)\pi)$ for some non-negative integer number $k\in \mathbb{N}$ and $\alpha\notin\mathrm{Spec}\left(-\Delta\right)\setminus\set{0}$. Then we obtain existence results for $\alpha<\lambda_1\left(\Sigma\right)$ by using the Leray-Schauder degree theory and the minimax method, where $\lambda_1\left(\Sigma\right)$ is the first positive eigenvalue for $-\Delta$.


title: Area bound for surfaces in generic gravitational field

abstract: We define an attractive gravity probe surface (AGPS) as a compact 2-surface $S_\alpha$ with positive mean curvature $k$ satisfying $r^a D_a k / k^2 \ge \alpha$ (for a constant $\alpha>-1/2$) in the local inverse mean curvature flow, where $r^a D_a k$ is the derivative of $k$ in the outward unit normal direction. For asymptotically flat spaces, any AGPS is proved to satisfy the areal inequality $A_\alpha \le 4\pi [ ( 3+4\alpha)/(1+2\alpha) ]^2(Gm)^2$, where $A_{\alpha}$ is the area of $S_\alpha$ and $m$ is the Arnowitt-Deser-Misner (ADM) mass. Equality is realized when the space is isometric to the $t=$constant hypersurface of the Schwarzschild spacetime and $S_\alpha$ is an $r=\mathrm{constant}$ surface with $r^a D_a k / k^2 = \alpha$. We adapt the two methods of the inverse mean curvature flow and the conformal flow. Therefore, our result is applicable to the case where $S_\alpha$ has multiple components. For anti-de Sitter (AdS) spaces, a similar inequality is derived, but the proof is performed only by using the inverse mean curvature flow. We also discuss the cases with asymptotically locally AdS spaces.


title: Face-based Volume-of-Fluid interface positioning in arbitrary polyhedra

abstract: We introduce a fast and robust algorithm for finding a plane $\Gamma$ with given normal $\vec{n}_\Gamma$, which truncates an arbitrary polyhedron $\mathcal{P}$ such that the remaining sub-polyhedron admits a given volume $\alpha|\mathcal{P}|$. In the literature, this is commonly referred to as Volume-of-Fluid (VoF) interface positioning problem. The novelty of our work is twofold: firstly, by recursive application of the Gaussian divergence theorem, the volume of a truncated polyhedron can be computed at high efficiency, based on summation over quantities associated to the faces of the polyhedron. One obtains a very convenient piecewise parametrization (within so-called brackets) in terms of the signed distance s to the plane $\Gamma$. As an implication, one can restrain from the costly necessity to establish topological connectivity, rendering the present approach most suitable for the application to unstructured computational meshes. Secondly, in the vicinity of the truncation position s, the volume can be expressed exactly, i.e. in terms of a cubic polynomial of the normal distance to the PLIC plane. The local knowledge of derivatives enables to construct a root-finding algorithm that pairs bracketing and higher-order approximation. The performance is assessed by conducting an extensive set of numerical experiments, considering convex and non-convex polyhedra of genus (i.e., number of holes) zero and one in combination with carefully selected volume fractions $\alpha$ (including $\alpha\approx0$ and $\alpha\approx1$) and normal orientations $\vec{n}_\Gamma$. For all configurations we obtain a significant reduction of the number of (computationally costly) truncations required for the positioning: on average, our algorithm requires between one and two polyhedron truncations to find the position of the plane $\Gamma$, outperforming existing methods.


title: Two lives: Compositions of unimodular rows

abstract: The paper lays the foundation for the study of unimodular rows using Spin groups. We show that elementary orbits of unimodular rows (of any length $n\geq 3$) are equivalent to elementary Spin orbits on the unit sphere. (This bijection is true over all commutative rings). In the special case $n=3$, we get an interpretation of the Vaserstein symbol using Spin groups. In addition, we introduce a new composition law that operates on certain subspaces of the underlying quadratic space (using the multiplication in composition algebras). In particular, the special case of split-quaternions leads to the composition of unimodular rows (discovered by L. Vaserstein and later generalized by W. van der Kallen). Strikingly, with this approach, we now see the possibility of new orbit structures not only for unimodular rows (using octonion multiplication) but also for more general quadratic spaces.


title: Best-response dynamics in directed network games

abstract: We study public goods games played on networks with possibly non-reciprocal relationships between players. Examples for this type of interactions include one-sided relationships, mutual but unequal relationships, and parasitism. It is well known that many simple learning processes converge to a Nash equilibrium if interactions are reciprocal, but this is not true in general for directed networks. However, by a simple tool of rescaling the strategy space, we generalize the convergence result for a class of directed networks and show that it is characterized by transitive weight matrices. Additionally, we show convergence in a second class of networks; those rescalable into networks with weak externalities. We characterize the latter class by the spectral properties of the absolute value of the network's weight matrix and show that it includes all directed acyclic networks.


title: Deep Interactive Bayesian Reinforcement Learning via Meta-Learning

abstract: Agents that interact with other agents often do not know a priori what the other agents' strategies are, but have to maximise their own online return while interacting with and learning about others. The optimal adaptive behaviour under uncertainty over the other agents' strategies w.r.t. some prior can in principle be computed using the Interactive Bayesian Reinforcement Learning framework. Unfortunately, doing so is intractable in most settings, and existing approximation methods are restricted to small tasks. To overcome this, we propose to meta-learn approximate belief inference and Bayes-optimal behaviour for a given prior. To model beliefs over other agents, we combine sequential and hierarchical Variational Auto-Encoders, and meta-train this inference model alongside the policy. We show empirically that our approach outperforms existing methods that use a model-free approach, sample from the approximate posterior, maintain memory-free models of others, or do not fully utilise the known structure of the environment.


title: Shadows and negative precession in non-Kerr spacetime

abstract: It is now known that the shadow is not only the property of a black hole, it can also be cast by other compact objects like naked singularities. However, there exist some novel features of the shadow of the naked singularities which are elaborately discussed in some recent articles. In the earlier literature, it is also shown that a naked singularity may admit negative precession of bound timelike orbits which cannot be seen in Schwarzschild and Kerr black hole spacetimes. This distinguishable behavior of timelike bound orbit in the presence of the naked singularity along with the novel features of the shadow may be useful to distinguish between a black hole and a naked singularity observationally. However, in this paper, it is shown that deformed Kerr spacetime can allow negative precession of bound timelike orbits when the central singularity of that spacetime is naked. We also show that negative precession and shadow both can exist simultaneously in deformed Kerr naked singularity spacetime. Therefore, any observational evidence of negative precession of bound orbits, along with the central shadow may indicate the presence of a deformed Kerr naked singularity.


title: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

abstract: We introduce a model of register automata over infinite trees with extrema constraints. Such an automaton can store elements of a linearly ordered domain in its registers, and can compare those values to the suprema and infima of register values in subtrees. We show that the emptiness problem for these automata is decidable. As an application, we prove decidability of the countable satisfiability problem for two-variable logic in the presence of a tree order, a linear order, and arbitrary atoms that are MSO definable from the tree order. As a consequence, the satisfiability problem for two-variable logic with arbitrary predicates, two of them interpreted by linear orders, is decidable.


title: A Reinforcement Learning Based Encoder-Decoder Framework for Learning Stock Trading Rules

abstract: A wide variety of deep reinforcement learning (DRL) models have recently been proposed to learn profitable investment strategies. The rules learned by these models outperform the previous strategies specially in high frequency trading environments. However, it is shown that the quality of the extracted features from a long-term sequence of raw prices of the instruments greatly affects the performance of the trading rules learned by these models. Employing a neural encoder-decoder structure to extract informative features from complex input time-series has proved very effective in other popular tasks like neural machine translation and video captioning in which the models face a similar problem. The encoder-decoder framework extracts highly informative features from a long sequence of prices along with learning how to generate outputs based on the extracted features. In this paper, a novel end-to-end model based on the neural encoder-decoder framework combined with DRL is proposed to learn single instrument trading strategies from a long sequence of raw prices of the instrument. The proposed model consists of an encoder which is a neural structure responsible for learning informative features from the input sequence, and a decoder which is a DRL model responsible for learning profitable strategies based on the features extracted by the encoder. The parameters of the encoder and the decoder structures are learned jointly, which enables the encoder to extract features fitted to the task of the decoder DRL. In addition, the effects of different structures for the encoder and various forms of the input sequences on the performance of the learned strategies are investigated. Experimental results showed that the proposed model outperforms other state-of-the-art models in highly dynamic environments.


title: The importance of categorization of nanomaterials for environmental risk assessment

abstract: Nanotechnology is a so-called key-emerging technology that opens a new world of technological innovation. The novelty of engineered nanomaterials (ENMs) raises concern over their possible adverse effect to man and the environment. Thereupon, risk assessors are challenged with ever decreasing times-to-market of nano-enabled products. Combined with the perception that it is impossible to extensively test all new nanoforms, there is growing awareness that alternative assessment approaches need to be developed and validated to enable efficient and transparent risk assessment of ENMs. Associated with this awareness, there is the need to use existing data on similar ENMs as efficiently as possible, which highlights the need of developing alternative approaches to fate and hazard assessment like predictive modelling, grouping of ENMs, and read across of data towards similar ENMs. In this contribution, an overview is given of the current state of the art with regard to categorization of ENMs and the perspectives for implementation in future risk assessment. It is concluded that the qualitative approaches to grouping and categorization that have already been developed are to be substantiated, and additional quantification of the current sets of rules-of-thumb based approaches is a key priority for the near future. Most of all, the key question of what actually drives the fate and effects of (complex) particles is yet to be answered in enough detail, with a key role foreseen for the surface reactivity of particles as modulated by the chemical composition of the inner and outer core of particles. When it comes to environmental categorization of ENMs we currently are in a descriptive rather than in a predictive mode.


title: A Perspective on the Grouping and Categorization of Nanomaterials

abstract: The development of science-based categorization strategies for regulatory purposes is not a simple task. It requires understanding the needs and capacity of a wide variety of stakeholders and should consider the potential risks and unintended consequences. For an evolving science area, such as nanotechnologies, the overall uncertainties of designing an effective categorization scheme can be significant. Future nanomaterials may be far more complex and may integrate far different functionalities than modern nanomaterials. There is much that has been learned from our experience with legacy nanomaterials and particulate substances in general. Most of the modern nanomaterials are not new nor dramatically different from parent or existing chemical substances, however there are some nuances. Applying these learnings to define reasonable science-based categories that consider how different emerging nanomaterials might be from existing known substances (while integrating sound concepts as they develop) would be a pragmatic and flexible path forward. However, there are many barriers down this road including a need for improvement and updates to chemical classification systems to improve hazard and risk communications, while promoting transparency and consistency.


title: Categorization of Next Generation Nanomaterials: International Cooperation on the Categorization of Nanomaterials in the Regulatory Chemical Context

abstract: Categorization approaches have been effectively applied to chemicals, and many have tried to apply variations of these approaches to nanomaterials. Given the added complexities of nanomaterials, this has been challenging. International cooperation on categorization approaches has been made, primarily through the Organization for Economic Cooperation and Development. Progress has been limited given the complexities of nanomaterials, especially given the need to consider not only the intrinsic properties of the materials but also properties dependent on the system into which it is introduced. Consideration must also be given to the different purposes and contexts, in particular regulatory contexts, to which the categorization schemes would be applied. More progress can be anticipated by focusing on areas of overlap among countries such as physicochemical properties.


title: The Nature of Complexity in the Biology of the Engineered Nanoscale Using Categorization as a Tool for Intelligent Development

abstract: Throughout the evolution of biological species on Earth, cells and organs have developed many complex structures and processes to ensure their interactions with individual chemical molecules (small and macromolecular) and nanoscale objects result in no harm. These evolutionary mechanisms complicate our attempts to use modern nanoscale science to develop effective and efficient treatments for disease or other biological dysfunctions. Here we describe the complexity of biology on the nanoscale and the implications for the success of recently-discovered nanoscience, which has resulted in an almost infinite number of potential nanomaterials of unknown efficacy. We discuss how tools to categorize nanomaterials on the basis of structure, properties and interactions can provide insights on promising directions.


title: Mixed-Integer Approaches to Constrained Optimum Communication Spanning Tree Problem

abstract: Several novel mixed-integer linear and bilinear formulations are proposed for the optimum communication spanning tree problem. They implement the distance-based approach: graph distances are directly modeled by continuous, integral, or binary variables, and interconnection between distance variables is established using the recursive Bellman-type conditions or using matrix equations from algebraic graph theory. These non-linear relations are used either directly giving rise to the bilinear formulations, or, through the big-M reformulation, resulting in the linear programs. A branch-and-bound framework of Gurobi 9.0 optimization software is employed to compare performance of the novel formulations on the example of an optimum requirement spanning tree problem with additional vertex degree constraints. Several real-world requirements matrices from transportation industry are used to generate a number of examples of different size, and computational experiments show the superiority of the two novel linear distance-based formulations over the the traditional multicommodity flow model.


title: Tailoring the anomalous Hall effect of SrRuO$_3$ thin films by strain: a first principles study

abstract: Motivated by the recently observed unconventional Hall effect in ultra-thin films of ferromagnetic SrRuO$_3$ (SRO) we investigate the effect of strain-induced oxygen octahedral distortion in the electronic structure and anomalous Hall response of the SRO ultra-thin films by virtue of density functional theory calculations. Our findings reveal that the ferromagnetic SRO films grown on SrTiO$_3$ (in-plane strain of $-$0.47$\%$) have an orthorhombic (both tilting and rotation) distorted structure and with an increasing amount of substrate-induced compressive strain the octahedral tilting angle is found to be suppressed gradually, with SRO films grown on NdGaO$_3$ (in-plane strain of $-$1.7$\%$) stabilized in the tetragonal distorted structure (with zero tilting). Our Berry curvature calculations predict a positive value of the anomalous Hall conductivity of $+$76\,S/cm at $-$1.7$\%$ strain, whereas it is found to be negative ($-$156\,S/cm) at $-$0.47$\%$ strain. We attribute the found behavior of the anomalous Hall effect to the nodal point dynamics in the electronic structure arising in response to tailoring the oxygen octahedral distortion driven by the substrate-induced strain. We also calculate strain-mediated anomalous Hall conductivity as a function of reduced magnetization obtained by scaling down the magnitude of the exchange field inside Ru atoms finding good qualitative agreement with experimental observations, which indicates a strong impact of longitudinal thermal fluctuations of Ru spin moments on the anomalous Hall effect in this system.


title: Effectiveness of the Bendixson-Dulac theorem

abstract: We illustrate with several new applications the power and elegance of the Bendixson Dulac theorem to obtain upper bounds of the number of limit cycles for several families of planar vector fields. In some cases we propose to use a function related with the curvature of the orbits of the vector field as a Dulac function. We get some general results for Lienard type equations and for rigid planar systems. We also present a remarkable phenomenon: for each integer m greater than one, we provide a simple one parametric differential system for which we prove that it has limit cycles only for the values of the parameter in a subset of an interval that decreases exponentially when m grows. One of the strengths of the results presented in this work is that although they are obtained with simple calculations, that can be easily checked by hand, they improve and extend previous studies. Another one is that, for certain systems, it is possible to reduce the question of the number of limit cycles to the study of the shape of a planar curve and the sign of an associated function in one or two variables.


title: Fast marginal likelihood estimation of penalties for group-adaptive elastic net

abstract: Nowadays, clinical research routinely uses omics data, such as gene expression, for predicting clinical outcomes or selecting markers. Additionally, so-called co-data are often available, providing complementary information on the covariates, like p-values from previously published studies or groups of genes corresponding to pathways. Elastic net penalisation is widely used for prediction and covariate selection. Group-adaptive elastic net penalisation learns from co-data to improve the prediction and covariate selection, by penalising important groups of covariates less than other groups. Existing methods are, however, computationally expensive. Here we present a fast method for marginal likelihood estimation of group-adaptive elastic net penalties for generalised linear models. We first derive a low-dimensional representation of the Taylor approximation of the marginal likelihood and its first derivative for group-adaptive ridge penalties, to efficiently estimate these penalties. Then we show by using asymptotic normality of the linear predictors that the marginal likelihood for elastic net models may be approximated well by the marginal likelihood for ridge models. The ridge group penalties are then transformed to elastic net group penalties by using the variance function. The method allows for overlapping groups and unpenalised variables. We demonstrate the method in a model-based simulation study and an application to cancer genomics. The method substantially decreases computation time and outperforms or matches other methods by learning from co-data.


title: Herschel and Odin observations of H2O, CO, CH, CH+, and NII in the barred spiral galaxy NGC 1365. Bar-induced activity in the outer and inner circumnuclear tori

abstract: The Odin satellite is now into its twentieth year of operation, much surpassing its design life of two years. One of its major pursuits was the search for and study of H2O in the Solar System and the Milky Way galaxy. Herschel has observed the central region of NGC 1365 in two positions, and both its SPIRE and PACS observations are available in the Herschel Science Archive. Herschel PACS images have been produced of the 70 and 160 micron infrared emission from the whole galaxy, and also of the cold dust distribution as obtained from the ratio of the 160 to 70 micron images. The Herschel SPIRE observations have been used to produce maps of the 557 GHz o-H2O, 752 GHz p-H2O, 691 GHz CO(6-5), 1037 GHz CO(9-8), 537 GHz CH, 835 GHz CH+, and the 1461 GHz NII lines; however, these observations have no effective velocity resolution. Odin has recently observed the 557 GHz o-H2O ground state line in the central region with high (5 km/s) spectral resolution. The emission and absorption of H2O at 557 GHz, with a velocity resolution of 5 km/s, has been marginally detected in NGC 1365 with Odin. The H2O is predominantly located in a shocked 15" (1.3 kpc) region near some central compact radio sources and hot-spot HII regions, close to the northeast component of the molecular torus surrounding the nucleus. An analysis of the H2O line intensities and velocities indicates that a shock-region is located here. This is corroborated by a statistical image deconvolution of our SEST CO(3-2) observations, yielding 5" resolution, and a study of our VLA HI absorption observations. Additionally, an enticing 20" HI ridge is found to extend south-southeast from the nucleus, coinciding in position with the southern edge of an OIII outflow cone, emanating from the nucleus. The molecular chemistry of the shocked central region is analyzed with special emphasis on the CO, H2O and CH, CH+ results.


title: Quantum $W_{1+\infty}$ subalgebras of BCD type and symmetric polynomials

abstract: The infinite affine Lie algebras of type ABCD, also called $\widehat{\mathfrak{gl}}(\infty)$, $\widehat{\mathfrak{o}}(\infty)$, $\widehat{\mathfrak{sp}}(\infty)$, are equivalent to subalgebras of the quantum $W_{1+\infty}$ algebras. They have well-known representations on the Fock space of either a Dirac fermion ($\hat A_\infty$), a Majorana fermion ($\hat B_\infty$ and $\hat D_\infty$) or a symplectic boson ($\hat C_\infty$). Explicit formulas for the action of the quantum $W_{1+\infty}$ subalgebras on the Fock states are proposed for each representation. These formulas are the equivalent of the \textit{vertical presentation} of the quantum toroidal $\mathfrak{gl}(1)$ algebra Fock representation. They provide an alternative to the fermionic and bosonic expressions of the \textit{horizontal presentation}. Furthermore, these algebras are known to have a deep connection with symmetric polynomials. The action of the quantum $W_{1+\infty}$ generators leads to the derivation of Pieri-like rules and q-difference equations for these polynomials. In the specific case of $\hat B_\infty$, a q-difference equation is obtained for $Q$-Schur polynomials indexed by strict partitions.


title: Characteristics of Equilibrated Nonlinear Oscillator Systems

abstract: During the evolution of coupled nonlinear oscillators on a lattice, with dynamics dictated by the discrete nonlinear Schr\"odinger equation (DNLSE systems), two quantities are conserved: system energy (Hamiltonian) and system density (number of particles). If the number of system oscillators is large enough, a significant portion of the array can be considered to be an "open system", in intimate energy and density contact with a "bath" - the rest of the array. Thus, as indicated in previous works, the grand canonical formulation can be exploited in order to determine equilibrium statistical properties of thermalized DNLSE systems. In this work, given the values of the two conserved quantities, we have calculated the necessary values of the two Lagrange parameters (typically designated $\beta,\mu$) associated with the grand canonical partition function in two different ways. One is numerical and the other is analytic, based on a published approximate entropy expression. In addition we have accessed a purposely-derived approximate PDF expression of site-densities. Applying these mathematical tools we have generated maps of temperatures, chemical potentials, and field correlations for DNLSE systems over the entire thermalization zone of the DNLSE phase diagram, subjected to all system-nonlinearity levels. The end result is a rather complete picture, characterizing equilibrated large DNLSE systems.


title: Geomagnetic semblance and dipolar-multipolar transition in top-heavy double-diffusive geodynamo models

abstract: Convection in the liquid outer core of the Earth is driven by thermal and chemical perturbations. The main purpose of this study is to examine the impact of double-diffusive convection on magnetic field generation by means of 3D global geodynamo models, in the so-called "top-heavy" regime of double-diffusive convection, when both thermal and compositional background gradients are destabilizing. Using a linear eigensolver, we begin by confirming that, compared to the standard single-diffusive configuration, the onset of convection is facilitated by the addition of a second buoyancy source. We next carry out a systematic parameter survey by performing $79$ numerical dynamo simulations. We show that a good agreement between simulated magnetic fields and the geomagnetic field can be attained for any partitioning of the convective input power between its thermal and chemical components. On the contrary, the transition between dipole-dominated and multipolar dynamos is found to strongly depend on the nature of the buoyancy forcing. Classical parameters expected to govern this transition, such as the local Rossby number or the degree of equatorial symmetry of the flow, fail to capture the dipole breakdown. A scale-dependent analysis of the force balance instead reveals that the transition occurs when the ratio of inertial to Lorentz forces at the dominant length scale reaches $0.5$, regardless of the partitioning of the buoyancy power. The ratio of integrated kinetic to magnetic energy $E_k/E_m$ provides a reasonable proxy of this force ratio. Given that $E_k/E_m \ll 1$ in the Earth's core, the geodynamo is expected to operate far from the dipole-multipole transition. It hence appears that the occurrence of geomagnetic reversals is unlikely related to dramatic and punctual changes of the amplitude of inertial forces in the Earth's core, and that another mechanism must be sought.


title: FPGA prototyping of synchronized chaotic map for UAV secure communication

abstract: We propose a design that uses the principle of chaos for UAV secure communication. A UAV identified as an aerial base station communicates with a ground base station over an RF channel. The communication units have dynamics based on the logistic map. The map is chaotic in the appropriate parameter space. Its states are non-periodic, broadband, and noise-like in the frequency domain. They are useful for spreading information during transmission, making it difficult for an eavesdropper to recover the modulated message since state prediction is ultimately impossible. To retrieve it, we propose a variable feedback controller. It asymptotically stabilizes the error dynamics when the information source is off. During transmission, the controller synchronizes the units such that the error contains signatures of the information signal. Therefore, the information signal is retrievable by a suitable detection mechanism. Security depends on the confidentiality of the map, the variable feedback controller, including its scale factor and bounded feedback gain, and the designer`s choice of invertible function for use in the scrambling and descrambling process. Also, the method is less prone to jamming attacks and multipath effects as the broadband spectrum can be used to randomly select RF channels. It uses only a few simple algorithms, including a correlation summation and a detection mechanism. The algorithms collect subsamples of the received signal sequences and averages over each subsample length. The method requires minimal programming efforts and low hardware resource utilization. It is energy-efficient, which is a vital consideration for any UAV security model. Moreover, we realize a prototype of the communication system on field-programmable gate arrays. We presented a digital design of the secure communication system involving the transmission of bitstreams between the ABS and GBS.


title: A lateral nanoflow assay reveals nanoplastic fluorescence heterogeneity

abstract: Plastic nanoparticles present technological opportunities and environmental concerns, but measurement challenges impede product development and hazard assessment. To meet these challenges, we advance a lateral nanoflow assay that integrates complex nanofluidic replicas, optical localization microscopy, and novel statistical analyses. We apply our sample-in-answer-out system to measure polystyrene nanoparticles that sorb and carry hydrophobic fluorophores. An elegant scaling of surface forces automates advection and dominates diffusion to drive the analytical separation of colloidal nanoparticles by their steric diameters. Reference nanoparticles, with a mean of 99 nm and a standard deviation of 8.4 nm, test the unknown limits of silicone replicas to function as separation matrices. New calibrations correct aberrations from microscope and device, improving the accuracy of reducing single micrographs to joint histograms of steric diameter and fluorescence intensity. A dimensional model approaches the information limit of the system to discriminate size exclusion from surface adsorption, yielding errors of the mean ranging from 0.2 nm to 2.3 nm and errors of the standard deviation ranging from 2.2 nm to 4.2 nm. A hierarchical model accounts for metrological, optical, and dimensional variability to reveal a fundamental structure-property relationship. Intensity scales with diameter to the power of 3.6 +/- 0.5 at 95 % coverage, confounding basic concepts of surface adsorption or volume absorption. Distributions of fluorescivity - the product of the number density, absorption cross section, and quantum yield of an ensemble of fluorophores - are ultrabroad and asymmetric, limiting any inference from fluorescence intensity. This surprising characterization of common nanoplastics resets expectations for optimizing products, applying standards, and understanding byproducts.


title: Transient Stability Analysis of Power Grids with Admissible and Maximal Robust Positively Invariant Sets

abstract: The energy transition is causing many stability-related challenges for power systems. Transient stability refers to the ability of a power grid's bus angles to retain synchronism after the occurrence of a major fault. In this paper a set-based approach is presented to assess the transient stability of power systems. The approach is based on the theory of barriers, to obtain an exact description of the boundaries of admissible sets and maximal robust positively invariant sets, respectively. We decompose a power system into generator and load components, replace couplings with bounded disturbances and obtain the sets for each component separately. From this we deduce transient stability properties for the entire system. We demonstrate the results of our approach through an example of one machine connected to one load and a multi-machine system.


title: Diffusion Fails to Make a Stink

abstract: In this work we consider the question of whether a simple diffusive model can explain the scent tracking behaviours found in nature. For this behaviour to occur, both the concentration of a scent and its gradient must be above some threshold. Applying these conditions to the solutions of various diffusion equations, we find that a purely diffusive model cannot simultaneously satisfy the tracking conditions when parameters are in the experimentally observed range. This demonstrates the necessity of modelling odor dispersal with full fluid dynamics, where non-linear phenomena such as turbulence play a critical role.


title: How many years can a tiny unbalanced parenthesis go unnoticed on a widely accessed Internet document, older than the World Wide Web itself ?

abstract: We conducted an investigation to find when a mistake was introduced in a widely accessed Internet document, namely the RFC index. With great surprise, we discovered that a it may go unnoticed for a very long period, namely more that twenty-six years. This raises some questions to what does it mean to have open access and the meaning of Linus' laws that "given enough eyeballs, all bugs are shallow"


title: Variational Embeddings for Community Detection and Node Representation

abstract: In this paper, we study how to simultaneously learn two highly correlated tasks of graph analysis, i.e., community detection and node representation learning. We propose an efficient generative model called VECoDeR for jointly learning Variational Embeddings for Community Detection and node Representation. VECoDeR assumes that every node can be a member of one or more communities. The node embeddings are learned in such a way that connected nodes are not only "closer" to each other but also share similar community assignments. A joint learning framework leverages community-aware node embeddings for better community detection. We demonstrate on several graph datasets that VECoDeR effectively out-performs many competitive baselines on all three tasks i.e. node classification, overlapping community detection and non-overlapping community detection. We also show that VECoDeR is computationally efficient and has quite robust performance with varying hyperparameters.


title: Convolution inequalities for Besov and Triebel--Lizorkin spaces, and applications to convolution semigroups

abstract: We establish convolution inequalities for Besov spaces $B_{p,q}^s$ and Triebel--Lizorkin spaces $F_{p,q}^s$. As an application, we study the mapping properties of convolution semigroups, considered as operators on the function spaces $A_{p,q}^s$, $A \in \{B,F\}$. Our results apply to a wide class of convolution semigroups including the Gau{\ss}--Weierstra{\ss} semigroup, stable semigroups and heat kernels for higher-order powers of the Laplacian $(-\Delta)^m$, and we can derive various caloric smoothing estimates.


title: On Interfacing the Brain with Quantum Computers: An Approach to Listen to the Logic of the Mind

abstract: This chapter presents a quantum computing-based approach to study and harness neuronal correlates of mental activity for the development of Brain-Computer Interface (BCI) systems. It introduces the notion of a logic of the mind, where neurophysiological data are encoded as logical expressions representing mental activity. Effective logical expressions are likely to be extensive, involving dozens of variables. Large expressions require considerable computational power to be processed. This is problematic for BCI applications because they require fast reaction times to execute sequences of commands. Quantum computers hold much promise in terms of processing speed for some problems, including those involving logical expressions. Hence, we propose to use quantum computers to process the logic of the mind. The chapter begins with an introduction to BCI and the electroencephalogram, which is the neurophysiological signal that is normally used in BCI. Then, it briefly discusses how the EEG corresponds to mental states, followed by an introduction to the logic of the mind. After that, there is an overview of quantum computing, focusing on the basics deemed necessary to understand how it processes logical expressions. An example of a BCI system is presented. In a nutshell, the system reads the EEG and builds logical expressions, which are sent to a quantum computer to solve them. In turn, the system converts the results into sounds by means of a bespoke synthesiser. Essentially, the BCI here is a musical instrument controlled by the mind of the player. Our BCI is a proof-of-concept aimed at demonstrating how quantum computing may support the development of sophisticated BCI systems. The remaining of the chapter is devoted to technical and practical considerations on the limitations of current quantum computing hardware technology and scalability of the system.


title: The Value of Information and Efficient Switching in Channel Selection

abstract: We consider a collection of statistically identical two-state continuous time Markov chains (channels). A controller continuously selects a channel with the view of maximizing infinite horizon average reward. A switching cost is paid upon channel changes. We consider two cases: full observation (all channels observed simultaneously) and partial observation (only the current channel observed). We analyze the difference in performance between these cases for various policies. For the partial observation case with two channels, or an infinite number of channels, we explicitly characterize an optimal threshold for two sensible policies which we name "call-gapping" and "cool-off". Our results present a qualitative view on the interaction of the number of channels, the available information, and the switching costs.


title: A Comprehensive Survey of 6G Wireless Communications

abstract: While fifth-generation (5G) communications are being rolled out worldwide, sixth-generation (6G) communications have attracted much attention from both the industry and the academia. Compared with 5G, 6G will have a wider frequency band, higher transmission rate, spectrum efficiency, greater connection capacity, shorter delay, broader coverage, and more robust anti-interference capability to satisfy various network requirements. This survey presents an insightful understanding of 6G wireless communications by introducing requirements, features, critical technologies, challenges, and applications. First, we give an overview of 6G from perspectives of technologies, security and privacy, and applications. Subsequently, we introduce various 6G technologies and their existing challenges in detail, e.g., artificial intelligence (AI), intelligent surfaces, THz, space-air-ground-sea integrated network, cell-free massive MIMO, etc. Because of these technologies, 6G is expected to outperform existing wireless communication systems regarding the transmission rate, latency, global coverage, etc. Next, we discuss security and privacy techniques that can be applied to protect data in 6G. Since edge devices are expected to gain popularity soon, the vast amount of generated data and frequent data exchange make the leakage of data easily. Finally, we predict real-world applications built on the technologies and features of 6G; for example, smart healthcare, smart city, and smart manufacturing will be implemented by taking advantage of AI.


title: The Ant on a Rubber Rope Paradox

abstract: We clarify and generalize the ant on a rubber rope paradox, which is a mathematical puzzle with a solution that appears counterintuitive. In this paper, we show that the ant can still reach the end of the rope even if we consider the step length of the ant and stretching length of the rubber rope as random variables.