title: Morris-Thorne Wormholes in $f(R,T)$ modified theory of gravity

abstract: We study static traversable wormholes obtained by Morris and Thorne in general relativity (GR) in the framework of a modified theory of gravity. The modified gravitational action $f(R,T)$ is a function of the Ricci scalar ($R$) and of the trace of the energy momentum tensor ($T$). For a modified gravity $f(R,T)=R+\alpha R^{2}+\lambda T$, where $\alpha$ and $\lambda$ are constants, we obtain wormhole solutions (WH) with normal matter for a relevant shape functions. The energy conditions are checked at the throat and away from the throat of the WH. The coupling parameters $\alpha $ and $\lambda$ in the gravitational action play an important role to accommodate the matter composition. For a given $\lambda$, WH solutions are found in the presence of exotic matter at the throat for $\alpha <0$. It is shown that WH exists in the modified gravity without exotic matter when $\alpha >0$. We consider two different shape functions to investigate the existence of WH in the presence of exotic or normal matter. A class of WH solutions exist with anisotropic fluid provided $\lambda \neq - 8 \pi$. In flat asymptotic regions on both sides of the throat with anisotropic source and $\lambda= - 8 \pi$, it does not permit WH as per no go theorem. As $\lambda \rightarrow 0$ in the gravitational action, all the energy conditions are obeyed with the hybrid shape function indicating existence of WH with normal matter.


title: Physical properties of Brightest Cluster Galaxies up to redshift 1.80 based on HST data

abstract: Brightest cluster galaxies (BCGs) have grown by accreting numerous smaller galaxies and can be used as tracers of cluster formation and evolution in the cosmic web. However, there is still a controversy on the main epoch of formation of BCGs, since some authors believe they have already formed before redshift z=2, while others still find them to evolve at more recent epochs. We aim to analyse the physical properties of a large sample of BCGs covering a wide redshift range up to z=1.8 and analysed in a homogeneous way, to see if their characteristics vary with redshift. As a first step, we also present a new tool to define for each cluster which galaxy is the BCG. For a sample of 137 clusters with HST images in the optical and/or infrared, we analyse the BCG properties by applying GALFIT with one or two Sersic components. For each BCG, we compute the Sersic index, effective radius, major axis position angle, surface brightness. We then search for correlations of these quantities with redshift. We find that BCGs follow the Kormendy relation (between the effective radius and the mean surface brightness), with a slope that remains constant with redshift, but with a variation with redshift of the ordinate at the origin. Although the trends are faint, we find that both the absolute magnitudes and effective radii tend to become respectively brighter and bigger with decreasing redshift. On the other hand, we find no significant correlation of the mean surface brightnesses or Sersic indices with redshift. The major axes of the cluster elongations and of the BCGs agree within 30 degrees for 73% of our clusters at redshift z <= 0.9. Our results agree with the BCGs being mainly formed before redshift z=2. The alignment of the major axes of BCGs with their clusters agree with the general idea that BCGs form at the same time as clusters by accreting matter along the filaments of the cosmic web.


title: Occluded Video Instance Segmentation: A Benchmark

abstract: Can our video understanding systems perceive objects when a heavy occlusion exists in a scene? To answer this question, we collect a large-scale dataset called OVIS for occluded video instance segmentation, that is, to simultaneously detect, segment, and track instances in occluded scenes. OVIS consists of 296k high-quality instance masks from 25 semantic categories, where object occlusions usually occur. While our human vision systems can understand those occluded instances by contextual reasoning and association, our experiments suggest that current video understanding systems cannot. On the OVIS dataset, the highest AP achieved by state-of-the-art algorithms is only 16.3, which reveals that we are still at a nascent stage for understanding objects, instances, and videos in a real-world scenario. We also present a simple plug-and-play module that performs temporal feature calibration to complement missing object cues caused by occlusion. Built upon MaskTrack R-CNN and SipMask, we obtain a remarkable AP improvement on the OVIS dataset. The OVIS dataset and project code are available at http://songbai.site/ovis .


title: Preliminary mission profile of Hera's Milani CubeSat

abstract: CubeSats offer a flexible and low-cost option to increase the scientific and technological return of small-body exploration missions. ESA's Hera mission, the European component of the Asteroid Impact and Deflection Assessment (AIDA) international collaboration, plans on deploying two CubeSats in the proximity of binary system 65803 Didymos, after arrival in 2027. In this work, we discuss the feasibility and preliminary mission profile of Hera's Milani CubeSat. The CubeSat mission is designed to achieve both scientific and technological objectives. We identify the design challenges and discuss design criteria to find suitable solutions in terms of mission analysis, operational trajectories, and Guidance, Navigation, & Control (GNC) design. We present initial trajectories and GNC baseline, as a result of trade-off analyses. We assess the feasibility of the Milani CubeSat mission and provide a preliminary solution to cover the operational mission profile of Milani in the close-proximity of Didymos system.


title: Pressure-induced 1T to 3R structural phase transition in metallic VSe2: X-ray diffraction and first-principles theory

abstract: We study pressure-induced structural evolution of vanadium diselenide (VSe2), a 1T polymorphic member of the transition metal di-chalcogenide (TMD) family using synchrotron-based powder X-ray diffraction (PXRD) and first-principles density functional theory (DFT). Our XRD results reveal anomalies at P ~4 GPa in c/a ratio, V-Se bond length and Se-V-Se bond angle signalling an isostructural transition. This is followed by a first order structural transition from 1T (space group P-3m1) phase to a 3R (space group R-3m) phase at P ~11 GPa due to sliding of adjacent Se-V-Se layers. We present various scenarios to understand the experimental results within DFT and find that the 1T to 3R transition can be captured only after inclusion of enthalpic correction associated with errors in cell volume with underestimated transition pressure. The abrupt increase in the Debye-Waller factors of Se atoms by a factor of ~4 and hence the anharmonic effects across the structural transition pressure are hitherto not reported so far and hint a possible way to understand the mismatch between the experimental and theoretical transition pressure values.


title: Intuitionism: an inspiration?

abstract: The paper is an introduction to intuitionistic mathematics.


title: Alternative method for matching post-Newtonian expansion to post-Minkowskian field

abstract: In 2002, Poujade and Blanchet succeeded in matching the post-Newtonian solution to the Einstein field equation to the post-Minkowskian field up to any arbitrary order as well as reproducing, in a different way, the results of the 1998 paper by Blanchet in which he showed how to match the post-Minkowskian series to the post-Newtonian expansion. Comparing these two papers, it might be asked whether it is possible to match the post-Newtonian field to the post-Minkowskian one by means of a method similar to the one used in the 1998 paper. The answer is affirmative, and in the present paper we provide this alternative method. Furthermore, detailed proofs of several properties and results stated in previous papers are given.


title: On Robustness of Neural Semantic Parsers

abstract: Semantic parsing maps natural language (NL) utterances into logical forms (LFs), which underpins many advanced NLP problems. Semantic parsers gain performance boosts with deep neural networks, but inherit vulnerabilities against adversarial examples. In this paper, we provide the empirical study on the robustness of semantic parsers in the presence of adversarial attacks. Formally, adversaries of semantic parsing are considered to be the perturbed utterance-LF pairs, whose utterances have exactly the same meanings as the original ones. A scalable methodology is proposed to construct robustness test sets based on existing benchmark corpora. Our results answered five research questions in measuring the sate-of-the-art parsers' performance on robustness test sets, and evaluating the effect of data augmentation.


title: Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)

abstract: Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance. Many of these systems, in domains such as healthcare , automotive and manufacturing, exhibit high degrees of autonomy and are safety critical. Establishing justified confidence in ML forms a core part of the safety case for these systems. In this document we introduce a methodology for the Assurance of Machine Learning for use in Autonomous Systems (AMLAS). AMLAS comprises a set of safety case patterns and a process for (1) systematically integrating safety assurance into the development of ML components and (2) for generating the evidence base for explicitly justifying the acceptable safety of these components when integrated into autonomous system applications.


title: Real-time detection of uncalibrated sensors using Neural Networks

abstract: Nowadays, sensors play a major role in several contexts like science, industry and daily life which benefit of their use. However, the retrieved information must be reliable. Anomalies in the behavior of sensors can give rise to critical consequences such as ruining a scientific project or jeopardizing the quality of the production in industrial production lines. One of the more subtle kind of anomalies are uncalibrations. An uncalibration is said to take place when the sensor is not adjusted or standardized by calibration according to a ground truth value. In this work, an online machine-learning based uncalibration detector for temperature, humidity and pressure sensors was developed. This solution integrates an Artificial Neural Network as main component which learns from the behavior of the sensors under calibrated conditions. Then, after trained and deployed, it detects uncalibrations once they take place. The obtained results show that the proposed solution is able to detect uncalibrations for deviation values of 0.25 degrees, 1% RH and 1.5 Pa, respectively. This solution can be adapted to different contexts by means of transfer learning, whose application allows for the addition of new sensors, the deployment into new environments and the retraining of the model with minimum amounts of data.


title: Nilpotent invariance of semi-topological K-theory of dg-algebras and the lattice conjecture

abstract: We show existence of a natural rational structure on periodic cyclic homology, conjectured by L. Katzarkov, M. Kontsevich, T. Pantev, for several classes of dg-categories, including proper connective $\mathbb{C}$-dg-algebras and dg-categories of local systems. The main ingredient is derived nilpotent invariance of A. Blanc's semi-topological K-theory, which we establish along the way.


title: A Lyapunov Theory for Finite-Sample Guarantees of Asynchronous Q-Learning and TD-Learning Variants

abstract: This paper develops an unified framework to study finite-sample convergence guarantees of a large class of value-based asynchronous reinforcement learning (RL) algorithms. We do this by first reformulating the RL algorithms as \textit{Markovian Stochastic Approximation} (SA) algorithms to solve fixed-point equations. We then develop a Lyapunov analysis and derive mean-square error bounds on the convergence of the Markovian SA. Based on this result, we establish finite-sample mean-square convergence bounds for asynchronous RL algorithms such as $Q$-learning, $n$-step TD, TD$(\lambda)$, and off-policy TD algorithms including V-trace. As a by-product, by analyzing the convergence bounds of $n$-step TD and TD$(\lambda)$, we provide theoretical insights into the bias-variance trade-off, i.e., efficiency of bootstrapping in RL. This was first posed as an open problem in (Sutton, 1999).


title: Dimensional reduction in cohomological Donaldson-Thomas theory

abstract: For oriented $-1$-shifted symplectic derived Artin stacks, Ben-Bassat-Brav-Bussi-Joyce introduced certain perverse sheaves on them which can be regarded as sheaf theoretic categorifications of the Donaldson-Thomas invariants. In this paper, we prove that the hypercohomology of the above perverse sheaf on the $-1$-shifted cotangent stack over a quasi-smooth derived Artin stack is isomorphic to the Borel-Moore homology of the base stack up to a certain shift of degree. This is a global version of the dimensional reduction theorem due to Davison. We give two applications of our main theorem. Firstly, we apply it to the study of the cohomological Donaldson-Thomas invariants for local surfaces. Secondly, regarding our main theorem as a version of Thom isomorphism theorem for dual obstruction cones, we propose a sheaf theoretic construction of the virtual fundamental classes for quasi-smooth derived Artin stacks.


title: Stochastic kinetic treatment of protein aggregation and the effects of macromolecular crowding

abstract: Investigation of protein self-assembly processes is important for the understanding of the growth processes of functional proteins as well as disease-causing amyloids. Inside cells, intrinsic molecular fluctuations are so high that they cast doubt on the validity of the deterministic rate equation approach. Furthermore, the protein environments inside cells are often crowded with other macromolecules, with volume fractions of the crowders as high as 40%. We study protein self-aggregation at the cellular level using Gillespie's stochastic algorithm and investigate the effects of macromolecular crowding using models built on scaled-particle and transition-state theories. The stochastic kinetic method can be formulated to provide information on the dominating aggregation mechanisms in a method called reaction frequency (or propensity) analysis. This method reveals that the change of scaling laws related to the lag time can be directly related to the change in the frequencies of reaction mechanisms. Further examination of the time evolution of the fibril mass and length quantities unveils that maximal fluctuations occur in the periods of rapid fibril growth and the fluctuations of both quantities can be sensitive functions of rate constants. The presence of crowders often amplifies the roles of primary and secondary nucleation and causes shifting in the relative importance of elongation, shrinking, fragmentation and coagulation of linear aggregates. Comparison of the results of stochastic simulations with those of rate equations gives us information on the convergence relation between them and how the roles of reaction mechanisms change as the system volume is varied.


title: Symmetric Sparse Boolean Matrix Factorization and Applications

abstract: In this work, we study a variant of nonnegative matrix factorization where we wish to find a symmetric factorization of a given input matrix into a sparse, Boolean matrix. Formally speaking, given $\mathbf{M}\in\mathbb{Z}^{m\times m}$, we want to find $\mathbf{W}\in\{0,1\}^{m\times r}$ such that $\| \mathbf{M} - \mathbf{W}\mathbf{W}^\top \|_0$ is minimized among all $\mathbf{W}$ for which each row is $k$-sparse. This question turns out to be closely related to a number of questions like recovering a hypergraph from its line graph, as well as reconstruction attacks for private neural network training. As this problem is hard in the worst-case, we study a natural average-case variant that arises in the context of these reconstruction attacks: $\mathbf{M} = \mathbf{W}\mathbf{W}^{\top}$ for $\mathbf{W}$ a random Boolean matrix with $k$-sparse rows, and the goal is to recover $\mathbf{W}$ up to column permutation. Equivalently, this can be thought of as recovering a uniformly random $k$-uniform hypergraph from its line graph. Our main result is a polynomial-time algorithm for this problem based on bootstrapping higher-order information about $\mathbf{W}$ and then decomposing an appropriate tensor. The key ingredient in our analysis, which may be of independent interest, is to show that such a matrix $\mathbf{W}$ has full column rank with high probability as soon as $m = \widetilde{\Omega}(r)$, which we do using tools from Littlewood-Offord theory and estimates for binary Krawtchouk polynomials.


title: Super-klust: Another Way of Piecewise Linear Classification

abstract: With our previous study, the Super-k algorithm, we have introduced a novel way of piecewise-linear classification. While working on the Super-k algorithm, we have found that there is a similar, and simpler way to explain for obtaining a piecewise-linear classifier based on Voronoi tessellations. Replacing the multidimensional voxelization and expectation-maximization stages of the algorithm with a distance-based clustering algorithm, preferably k-means, works as well as the prior approach. Since we are replacing the voxelization with the clustering, we have found it meaningful to name the modified algorithm, with respect to Super-k, as Supervised k Clusters or in short Super-klust. Similar to the Super-k algorithm, the Super-klust algorithm covers data with a labeled Voronoi tessellation, and uses resulting tessellation for classification. According to the experimental results, the Super-klust algorithm has similar performance characteristics with the Super-k algorithm.


title: Data Freshness in Mixed-Memory Intermittently-Powered Systems

abstract: Age of Information (AoI) is a key metric to understand data freshness in Internet of Things (IoT) devices. In this paper we analyse an intermittently-powered IoT sensor - with mixed-memory (volatile and non-volatile) architecture - that uses a Time-Dependent Checkpointing (TDC) scheme. We derive the average Peak Age of Information (PAoI) and average AoI of the system, and use these metrics to understand which device parameters most significantly influence performance. We go on to consider how the average PAoI of a mixed-memory system compares with entirely volatile or entirely non-volatile architecture, and also introduce an alternative TDC strategy to improve system resilience in unpredictable environmental conditions.


title: On the Gross order of vanishing conjecture for large vanishing orders

abstract: We prove the Gross order of vanishing conjecture in special cases where the vanishing order of the character in question can be arbitrarily large. In almost all previously known cases the vanishing order is zero or one. One major ingredient of our proofs is the equivalence of this conjecture to the Gross-Kuz'min conjecture. We present here a direct proof of this equivalence, using only the known validity of the Iwasawa Main Conjecture over totally real fields.


title: Simulation and evaluation of sustainable climate trajectories for aviation

abstract: In 2019, aviation was responsible for 2.6% of the world CO2 emissions as well as additional climate impacts such as contrails. Like all industrial sectors, the aviation sector must implement measures to reduce its climate impact. This paper focuses on the simulation and the evaluation of climatic scenarios for the aviation industry. For this purpose, a specific tool (CAST for "Climate and Aviation - Sustainable Trajectories") has been developed. This tool follows a methodology adapted to aviation using the concept of carbon budget and models of the main levers of action such as the level of air traffic, reduction of aircraft energy consumption or energy decarbonisation. These models are based on trend projections from historical data or assumptions from the literature. Several scenario analyses are performed in this paper using CAST and allow several conclusions to be drawn. For instance, the modelling of the scenarios based on the ATAG (Air Transport Action Group) commitments shows that aviation would consume between 2.9% and 3.5% of the world carbon budget to limit global warming to 2{\deg}C and between 6.5% and 8.1% for 1.5{\deg}C. Also, some illustrative scenarios are proposed. By allocating 2.6% of the carbon budget to aviation, it is shown that air transport is compatible with a +2{\deg}C trajectory when the annual growth rate of air traffic varies between -1.8% and +2.6%, depending on the considered technological improvements. However, in the case of a +1.5{\deg}C trajectory, the growth rate would have to be reduced drastically. Finally, analyses including non-CO2 effects compel to emphasize the implementation of specific strategies for mitigating contrails.


title: On the depth and reflexivity of tensor products

abstract: In this paper we study the depth of tensor products of homologically finite complexes over commutative Noetherian local rings. As an application of our main result, we determine new conditions under which nonzero tensor products of finitely generated modules over hypersurface rings can be reflexive only if both of their factors are reflexive. A result of Asgharzadeh shows that nonzero symbolic powers of prime ideals in a local ring cannot have finite projective dimension, unless the ring in question is a domain. We make use of this fact in the appendix and consider the reflexivity of tensor products of prime ideals over hypersurface rings.


title: On the Application of Intersection Theory to Feynman Integrals: The Univariate Case

abstract: This document is a contribution to the proceedings of the MathemAmplitudes 2019 conference held in December 2019 in Padova, Italy. A key step in modern high energy physics scattering amplitudes computation is to express the latter in terms of a minimal set of Feynman integrals using linear relations. In this work we present an innovative approach based on intersection theory, in order to achieve this decomposition. This allows for the direct computation of the reduction, projecting integrals appearing in the scattering amplitudes onto an integral basis in the same fashion as vectors may be projected onto a vector basis. Specifically, we will derive and discuss few identities between maximally cut Feynman integrals, showing their direct decomposition. This contribution will focus on the univariate part of the story, with the multivariate generalisation being discussed in a different contribution by Gasparotto and Mandal.


title: Policy Analysis using Synthetic Controls in Continuous-Time

abstract: Counterfactual estimation using synthetic controls is one of the most successful recent methodological developments in causal inference. Despite its popularity, the current description only considers time series aligned across units and synthetic controls expressed as linear combinations of observed control units. We propose a continuous-time alternative that models the latent counterfactual path explicitly using the formalism of controlled differential equations. This model is directly applicable to the general setting of irregularly-aligned multivariate time series and may be optimized in rich function spaces -- thereby improving on some limitations of existing approaches.


title: CTC-based Compression for Direct Speech Translation

abstract: Previous studies demonstrated that a dynamic phone-informed compression of the input audio is beneficial for speech translation (ST). However, they required a dedicated model for phone recognition and did not test this solution for direct ST, in which a single model translates the input audio into the target language without intermediate representations. In this work, we propose the first method able to perform a dynamic compression of the input indirect ST models. In particular, we exploit the Connectionist Temporal Classification (CTC) to compress the input sequence according to its phonetic characteristics. Our experiments demonstrate that our solution brings a 1.3-1.5 BLEU improvement over a strong baseline on two language pairs (English-Italian and English-German), contextually reducing the memory footprint by more than 10%.


title: Exploiting Raw Images for Real-Scene Super-Resolution

abstract: Super-resolution is a fundamental problem in computer vision which aims to overcome the spatial limitation of camera sensors. While significant progress has been made in single image super-resolution, most algorithms only perform well on synthetic data, which limits their applications in real scenarios. In this paper, we study the problem of real-scene single image super-resolution to bridge the gap between synthetic data and real captured images. We focus on two issues of existing super-resolution algorithms: lack of realistic training data and insufficient utilization of visual information obtained from cameras. To address the first issue, we propose a method to generate more realistic training data by mimicking the imaging process of digital cameras. For the second issue, we develop a two-branch convolutional neural network to exploit the radiance information originally-recorded in raw images. In addition, we propose a dense channel-attention block for better image restoration as well as a learning-based guided filter network for effective color correction. Our model is able to generalize to different cameras without deliberately training on images from specific camera types. Extensive experiments demonstrate that the proposed algorithm can recover fine details and clear structures, and achieve high-quality results for single image super-resolution in real scenes.


title: Iterated Kalman Methodology For Inverse Problems

abstract: This paper is focused on the optimization approach to the solution of inverse problems. We introduce a stochastic dynamical system in which the parameter-to-data map is embedded, with the goal of employing techniques from nonlinear Kalman filtering to estimate the parameter given the data. The extended Kalman filter (which we refer to as ExKI in the context of inverse problems) can be effective for some inverse problems approached this way, but is impractical when the forward map is not readily differentiable and is given as a black box, and also for high dimensional parameter spaces because of the need to propagate large covariance matrices. Application of ensemble Kalman filters, for example use of the ensemble Kalman inversion (EKI) algorithm, has emerged as a useful tool which overcomes both of these issues: it is derivative free and works with a low-rank covariance approximation formed from the ensemble. In this paper, we work with the ExKI, EKI, and a variant on EKI which we term unscented Kalman inversion (UKI). The paper contains two main contributions. Firstly, we identify a novel stochastic dynamical system in which the parameter-to-data map is embedded. We present theory in the linear case to show exponential convergence of the mean of the filtering distribution to the solution of a regularized least squares problem. This is in contrast to previous work in which the EKI has been employed where the dynamical system used leads to algebraic convergence to an unregularized problem. Secondly, we show that the application of the UKI to this novel stochastic dynamical system yields improved inversion results, in comparison with the application of EKI to the same novel stochastic dynamical system.


title: Origin of Enhanced Electromechanical Coupling in (Yb,Al)N Nitride Alloys

abstract: Our experiments demonstrate that alloying the cubic-phase YbN into the wurtzite-phase AlN results in clear mechanical softening and enhanced electromechanical coupling of AlN. First-principle calculations reproduce experimental results well, and predict a maximum 270% increase in electromechanical coupling coefficient caused by (1) an enhanced piezoelectric response induced by the local strain of Yb ions and (2) a structural flexibility of the (Yb,Al)N alloy. Extensive calculations suggest that the substitutional neighbor Yb-Yb pairs in wurtzite AlN are energetically stable along $c$ axis, and avoid forming on the basal plane of wurtzite structure due to the repulsion between them, which explains that (Yb,Al)N films with high Yb concentrations are difficult to fabricate in our sputtering experiments. Moreover, the neighbor Yb-Yb pair interactions also promote structural flexibility of (Yb,Al)N, and are considered a cause for mechanical softening of (Yb,Al)N.


title: Size Matters

abstract: Fully convolutional neural networks can process input of arbitrary size by applying a combination of downsampling and pooling. However, we find that fully convolutional image classifiers are not agnostic to the input size but rather show significant differences in performance: presenting the same image at different scales can result in different outcomes. A closer look reveals that there is no simple relationship between input size and model performance (no `bigger is better'), but that each each network has a preferred input size, for which it shows best results. We investigate this phenomenon by applying different methods, including spectral analysis of layer activations and probe classifiers, showing that there are characteristic features depending on the network architecture. From this we find that the size of discriminatory features is critically influencing how the inference process is distributed among the layers.


title: The Min-Max Complexity of Distributed Stochastic Convex Optimization with Intermittent Communication

abstract: We resolve the min-max complexity of distributed stochastic convex optimization (up to a log factor) in the intermittent communication setting, where $M$ machines work in parallel over the course of $R$ rounds of communication to optimize the objective, and during each round of communication, each machine may sequentially compute $K$ stochastic gradient estimates. We present a novel lower bound with a matching upper bound that establishes an optimal algorithm.


title: Boundary Idempotents and $2$-precluster-tilting categories

abstract: The homological theory of Auslander-Platzeck-Todorov on idempotent ideals laid much of the groundwork for higher Auslander-Reiten theory, providing the key technical lemmas for both higher Auslander correspondence as well as the construction of higher Nakayama algebras, among other results. Given a finite-dimensional algebra $A$ and idempotent $e$, we expand on a criterion of Jasso-K\"ulshammer in order to determine a correspondence between the $2$-precluster-tilting subcategories of $\mathrm{mod}(A)$ and $\mathrm{mod}(A/\langle e\rangle)$. This is then applied in the context of generalising dimer algebras on surfaces with boundary idempotent.


title: Approximately Solving Mean Field Games via Entropy-Regularized Deep Reinforcement Learning

abstract: The recent mean field game (MFG) formalism facilitates otherwise intractable computation of approximate Nash equilibria in many-agent settings. In this paper, we consider discrete-time finite MFGs subject to finite-horizon objectives. We show that all discrete-time finite MFGs with non-constant fixed point operators fail to be contractive as typically assumed in existing MFG literature, barring convergence via fixed point iteration. Instead, we incorporate entropy-regularization and Boltzmann policies into the fixed point iteration. As a result, we obtain provable convergence to approximate fixed points where existing methods fail, and reach the original goal of approximate Nash equilibria. All proposed methods are evaluated with respect to their exploitability, on both instructive examples with tractable exact solutions and high-dimensional problems where exact methods become intractable. In high-dimensional scenarios, we apply established deep reinforcement learning methods and empirically combine fictitious play with our approximations.


title: U-LanD: Uncertainty-Driven Video Landmark Detection

abstract: This paper presents U-LanD, a framework for joint detection of key frames and landmarks in videos. We tackle a specifically challenging problem, where training labels are noisy and highly sparse. U-LanD builds upon a pivotal observation: a deep Bayesian landmark detector solely trained on key video frames, has significantly lower predictive uncertainty on those frames vs. other frames in videos. We use this observation as an unsupervised signal to automatically recognize key frames on which we detect landmarks. As a test-bed for our framework, we use ultrasound imaging videos of the heart, where sparse and noisy clinical labels are only available for a single frame in each video. Using data from 4,493 patients, we demonstrate that U-LanD can exceedingly outperform the state-of-the-art non-Bayesian counterpart by a noticeable absolute margin of 42% in R2 score, with almost no overhead imposed on the model size. Our approach is generic and can be potentially applied to other challenging data with noisy and sparse training labels.


title: Games on Endogenous Networks

abstract: We study network games in which players choose both the partners with whom they associate and an action level (e.g., effort) that creates spillovers for those partners. We introduce a framework and two solution concepts, extending standard approaches for analyzing each choice in isolation: Nash equilibrium in actions and pairwise stability in links. Our main results show that, under suitable order conditions on incentives, stable networks take simple forms. The first condition concerns whether links create positive or negative payoff spillovers. The second concerns whether actions are strategic complements to links, or strategic substitutes. Together, these conditions yield a taxonomy of the relationship between network structure and economic primitives organized around two network architectures: ordered overlapping cliques and nested split graphs. We apply our model to understand the consequences of competition for status, to microfound matching models that assume clique formation, and to interpret empirical findings that highlight unintended consequences of group design.


title: Phase transition gravitational waves from pseudo-Nambu-Goldstone dark matter and two Higgs doublets

abstract: We investigate the potential stochastic gravitational waves from first-order electroweak phase transitions in a model with pseudo-Nambu-Goldstone dark matter and two Higgs doublets. The dark matter candidate can naturally evade direct detection bounds, and can achieve the observed relic abundance via the thermal mechanism. Three scalar fields in the model obtain vacuum expectation values, related to phase transitions at the early Universe. We search for the parameter points that can cause first-order phase transitions, taking into account the existed experimental constraints. The resulting gravitational wave spectra are further evaluated. Some parameter points are found to induce strong gravitational wave signals, which have the opportunity to be detected in future space-based interferometer experiments LISA, Taiji, and TianQin.


title: In Situ Thermometry of Fermionic Cold-Atom Quantum Wires

abstract: We study ensembles of fermionic cold-atom quantum wires with tunable transverse mode population and single-wire resolution. From in situ density profiles, we determine the temperature of the atomic wires in the weakly interacting limit and reconstruct the underlying potential landscape. By varying atom number and temperature, we control the occupation of the transverse modes and study the 1D-3D crossover. In the 1D limit, we observe an increase of the reduced temperature $T/T_{F}$ at nearly constant entropy per particle $S/N k_{B}$. The ability to probe individual atomic wires in situ paves the way to quantitatively study equilibrium and transport properties of strongly interacting 1D Fermi gases.


title: Development and Simulation-based Testing of a 5G-Connected Intersection AEB System

abstract: In Europe, 20% of road crashes occur at intersections. In recent years, evolving communication technologies are making V2V and V2I faster and more reliable; with such advancements, these crashes, as well as their economic cost, can be partially reduced. In this work, we concentrate on straight path intersection collisions. Connectivity-based algorithms relying on 5G technology and smart sensors are presented and compared to a commercial radar AEB logic in order to evaluate performances and effectiveness in collision avoidance or mitigation. The aforementioned novel safety systems are tested in a blind intersection and low adherence scenario. The first algorithm proposed is obtained by incorporating connectivity information to the original control scheme, while the second algorithm proposed is a novel control logic fully capable of utilizing also adherence estimation provided by smart sensors. Test results show an improvement in terms of safety for both the architecture and high prospects for future developments.


title: On a problem of CHirka

abstract: We observe that a slight adjustment of a method of Caffarelli, Li, and Nirenberg yields that plurisubharmonic functions extend across subharmonic singularities as long as the singularities form a closed set of measure zero. This solves a problem posed by Chirka.


title: Solution of the Kac--Bernstein functional equation on Abelian groups in the class of positive functions

abstract: The general form of the solutions of the Kac--Bernstein functional equation $$ f(x+y)g(x-y)=f(x)f(y)g(x)g(-y), \ x, y\in X, $$ on an arbitrary Abelian group $X$ in the class of positive functions is obtained. We also study the solutions of this equation in the class of complex-valued functions that do not vanish and satisfy the Hermitian condition.


title: FEDZIP: A Compression Framework for Communication-Efficient Federated Learning

abstract: Federated Learning marks a turning point in the implementation of decentralized machine learning (especially deep learning) for wireless devices by protecting users' privacy and safeguarding raw data from third-party access. It assigns the learning process independently to each client. First, clients locally train a machine learning model based on local data. Next, clients transfer local updates of model weights and biases (training data) to a server. Then, the server aggregates updates (received from clients) to create a global learning model. However, the continuous transfer between clients and the server increases communication costs and is inefficient from a resource utilization perspective due to the large number of parameters (weights and biases) used by deep learning models. The cost of communication becomes a greater concern when the number of contributing clients and communication rounds increases. In this work, we propose a novel framework, FedZip, that significantly decreases the size of updates while transferring weights from the deep learning model between clients and their servers. FedZip implements Top-z sparsification, uses quantization with clustering, and implements compression with three different encoding methods. FedZip outperforms state-of-the-art compression frameworks and reaches compression rates up to 1085x, and preserves up to 99% of bandwidth and 99% of energy for clients during communication.


title: First Saturation Correction in High Energy Proton-Nucleus Collisions: I. Time evolution of classical Yang-Mills fields beyond leading order

abstract: In high energy proton-nucleus collisions, the single- and double-inclusive soft gluon productions at the leading order have been calculated and phenomenologically studied in various approaches for many years. These studies do not take into account the saturation and multiple rescatterings in the field of the proton. The first saturation correction to these leading order results (the terms that are enhanced by the combination $\alpha_s^2 \mu^2$, where $\mu^2$ is the proton's color charge squared per unit transverse area) has not been completely derived despite recent attempts using a diagrammatic approach. This paper is the first in a series of papers towards analytically completing the first saturation correction to physical observables in high energy proton-nucleus collisions. Our approach is to analytically solve the classical Yang-Mills equations in the dilute-dense regime using the Color Glass Condensate effective theory and compute physical observables constructed from classical gluon fields. In the current paper, the Yang-Mills equations are solved perturbatively in the field of the dilute object (the proton). Next-to-leading order and next-to-next-to-leading order analytic solutions are explicitly constructed. A systematic way to obtain all higher order analytic solutions is outlined


title: Probing the Pomeron spin structure with Coulomb-nuclear interference

abstract: Polarized pp elastic scattering at small angles in the Coulomb-nuclear interference (CNI) region offers a unique opportunity to study the spin structure of the Pomeron. Electromagnetic effects in elastic amplitude can be equivalently treated either as Coulomb corrections to the hadronic amplitude (Coulomb phase), or as absorption corrections to the Coulomb scattering amplitude. We perform the first calculation of the Coulomb phase for the spin-flip amplitude and found it significantly exceeding the widely used non-flip Coulomb phase. The alternative description in terms of absorption corrections, though equivalent, turned out to be a more adequate approach for the Coulomb corrected spin-flip amplitude. Inspired by the recent high statistics measurements of single-spin asymmetry in the fixed-target HJET experiment at the BNL, we also performed a Regge analysis of data, aiming at disentangling the Pomeron contribution. However, in spite of an exceptional accuracy of the data, they do not allow to single out the Pomeron term, which strongly correlates with the major sub-leading Reggeons. A stable solution can be accessed only by making additional ad hoc assumptions, e.g. assuming the Pomeron to be a simple Regge pole, or fixing some unknown parameters. Otherwise, in addition to the STAR data at $\sqrt{s}=$200 GeV new measurements, say at 100 GeV or 500 GeV, could become decisive.


title: Role of Defect Induced Interfacial States in Molecular Sensing: Ultrahigh- Sensitive Region for Molecular Interaction

abstract: The defect induced interfacial states are created in an atomically thin two-dimensional molybdenum disulfide channel by underlying a narrow pattern of a graphene layer in a field effect transistor. Nondestructive method for the generation of charge-state allowed a highly sensitive molecular interaction with the sensitivity of nearly three-order of magnitude at room temperature. The presence of interfacial states in the channel lead to a conductance fluctuation and its magnitude is modulated using the nitrogen dioxide gas molecules in the subthreshold region. The study provides a systematic approach to establish a correlation between modulated conductance fluctuation and the molecular concentration upto parts-per-billion. First-principles density functional theory further explains the role of unique interfacial configuration on conductance fluctuation. Therefore, our study demonstrates an experimental approach to induce charge-state for the modulation of carrier concentration and exploits the role of defect induced interfacial states in atomically thin interfaces for the molecular interaction.


title: Optimal allocation of finite sampling capacity in accumulator models of multi-alternative decision making

abstract: When facing many options, we narrow down our focus to very few of them. Although behaviors like this can be a sign of heuristics, they can actually be optimal under limited cognitive resources. Here we study the problem of how to optimally allocate limited sampling time to multiple options, modelled as accumulators of noisy evidence, to determine the most profitable one. We show that the effective sampling capacity of an agent increases with both available time and the discriminability of the options, and optimal policies undergo a sharp transition as a function of it. For small capacity, it is best to allocate time evenly to exactly five options and to ignore all the others, regardless of the prior distribution of rewards. For large capacities, the optimal number of sampled accumulators grows sub-linearly, closely following a power law for a wide variety of priors. We find that allocating equal times to the sampled accumulators is better than using uneven time allocations. Our work highlights that multi-alternative decisions are endowed with breadth-depth tradeoffs, demonstrates how their optimal solutions depend on the amount of limited resources and the variability of the environment, and shows that narrowing down to a handful of options is always optimal for small capacities.


title: An Abstract Factorization Theorem and Some Applications

abstract: We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular, we obtain a generalization, from cancellative to Dedekind-finite (commutative or non-commutative) monoids, of a classical theorem on "atomic factorizations" that traces back to the work of P.M. Cohn in the 1960s; recover a theorem of D.D. Anderson and S. Valdes-Leon on "irreducible factorizations" in commutative rings; improve on a theorem of A.A. Antoniou and the author that characterizes atomicity in certain "monoids of sets" naturally arising from additive number theory and arithmetic combinatorics; and give a monoid-theoretic proof that every module of finite uniform dimension over a (commutative or non-commutative) ring $R$ is a direct sum of finitely many indecomposable modules (this is in fact a special case of a more general decomposition theorem for the objects of certain categories with finite products, where the indecomposable $R$-modules are characterized as the atoms of a suitable "monoid of modules").


title: Dynamic modeling of mortality via mixtures of skewed distribution functions

abstract: There has been growing interest on forecasting mortality. In this article, we propose a novel dynamic Bayesian approach for modeling and forecasting the age-at-death distribution, focusing on a three-components mixture of a Dirac mass, a Gaussian distribution and a Skew-Normal distribution. According to the specified model, the age-at-death distribution is characterized via seven parameters corresponding to the main aspects of infant, adult and old-age mortality. The proposed approach focuses on coherent modeling of multiple countries, and following a Bayesian approach to inference we allow to borrow information across populations and to shrink parameters towards a common mean level, implicitly penalizing diverging scenarios. Dynamic modeling across years is induced trough an hierarchical dynamic prior distribution that allows to characterize the temporal evolution of each mortality component and to forecast the age-at-death distribution. Empirical results on multiple countries indicate that the proposed approach outperforms popular methods for forecasting mortality, providing interpretable insights on the evolution of mortality.


title: On the causality properties in non-local gravity theories

abstract: It is well known that non-local theories of gravity have been a flourish arena of studies for many reasons, for instance, the UV incompleteness of General Relativity (GR). In this paper we check the consistency of ST-homogeneous G\"{o}del-type metrics within the non-local gravity framework. The non-local models considered here are ghost-free but not necessarily renormalizable since we focus on the classical solutions of the field equations. Furthermore, the non-locality is displayed in the action through transcendental entire functions of the d'Alembert operator $\Box$ that are mathematically represented by a power series of the $\Box$-operator. We find two exactly solutions for the field equations correspondent to the degenerate ($\omega=0$) and hyperbolic ($m^{2}=4\omega^2$) classes of ST-homogeneous G\"{o}del-type metrics.


title: Non-orderability of random triangular groups by using random 3CNF formulas

abstract: We show that a random group $\Gamma$ in the triangular binomial model $\Gamma(n, p)$ is a.a.s. not left-orderable for $p\in(cn^{-2}, n^{-3/2-\varepsilon})$, where $c, \varepsilon$ are any constants satisfying $\varepsilon>0$, ${c>(1/8)\log_{4/3}{2}\approx 0.3012}$. We also prove that if $p\geq (1+\varepsilon)(\log n)n^{-2}$ for any fixed $\varepsilon>0$, then a random $\Gamma\in \Gamma(n,p)$ has a.a.s. no non-trivial left-orderable quotients. We proceed by constructing 3CNF formulas, which encode necessary conditions for left-orderability and then proving their unsatisfiability a.a.s.


title: Shocks and quark-meson scatterings at large density

abstract: We discuss the phase structure of the two-flavour quark-meson model including quantum, thermal, density and critical fluctuations with the functional renormalisation group. This study combines two technical advances in the literature, that are also chiefly important for the quantitative access of the phase boundary of QCD at large density or baryon chemical potential. Specifically we allow for the formation and propagation of shocks as well as a fully self-consistent computation of the order parameter potential for chiral symmetry breaking.


title: Experimental demonstration of superresolution of partially coherent light sources using parity sorting

abstract: Analyses based on quantum metrology have shown that the ability to localize the positions of two incoherent point sources can be significantly enhanced through the use of mode sorting. Here we theoretically and experimentally investigate the effect of partial coherence on the sub-diffraction limit localization of two sources based on parity sorting. With the prior information of a negative and real-valued degree of coherence, higher Fisher information is obtained than that for the incoherent case. Our results pave the way to clarifying the role of coherence in quantum limited metrology.


title: Model-based multi-parameter mapping

abstract: Quantitative MR imaging is increasingly favoured for its richer information content and standardised measures. However, computing quantitative parameter maps, such as those encoding longitudinal relaxation rate (R1), apparent transverse relaxation rate (R2*) or magnetisation-transfer saturation (MTsat), involves inverting a highly non-linear function. Many methods for deriving parameter maps assume perfect measurements and do not consider how noise is propagated through the estimation procedure, resulting in needlessly noisy maps. Instead, we propose a probabilistic generative (forward) model of the entire dataset, which is formulated and inverted to jointly recover (log) parameter maps with a well-defined probabilistic interpretation (e.g., maximum likelihood or maximum a posteriori). The second order optimisation we propose for model fitting achieves rapid and stable convergence thanks to a novel approximate Hessian. We demonstrate the utility of our flexible framework in the context of recovering more accurate maps from data acquired using the popular multi-parameter mapping protocol. We also show how to incorporate a joint total variation prior to further decrease the noise in the maps, noting that the probabilistic formulation allows the uncertainty on the recovered parameter maps to be estimated. Our implementation uses a PyTorch backend and benefits from GPU acceleration. It is available at https://github.com/balbasty/nitorch.


title: SU(5) unification of two triplet seesaw and leptogenesis with dark matter and vacuum stability

abstract: We investigate unification prospects of two heavy scalar triplet extension of the standard model where, in the absence of any right-handed neutrino (RHN), type-II seesaw accounts for current oscillation data with hierarchical neutrino masses consistent with cosmological bounds and the lighter triplet decay explains baryon asymmetry of the Universe via leptogenesis. We note that the absence of RHNs in the fundamental fermion representations of SU(5) delineates its outstanding position compared to SO(10) (or $E_6$). In addition, SU(5) needs smaller scalar representations ${15}_{H1}\oplus {15}_{H2}$ compared to much larger representations ${126}_{H1}\oplus {126}_{H2} \subset $ SO(10) (or ${351}^{\prime}_{H1}\oplus {351}^{\prime}_{H2} \subset E_6$). We show how precision gauge coupling unification is achieved through SU(5) with the predictions of different sets of two heavy triplet masses which, besides being compatible with type-II seesaw, are also consistent with unflavoured or $\tau -$ flavoured leptogenesis. In addition to an intermediate mass colour octet fermion, completion of precision gauge coupling unification is found to require essentially the presence of the well known weak triplet fermion $\Sigma (3,0,1)$ in its mass range $M_{\Sigma}\simeq {\cal O}(500-3000)$ GeV out of which the dominant dark matter (DM) resonance mass $M_{\Sigma}\ge 2.4$ TeV is known to account for the observed cosmological relic density. The deficiency in relic density for lighter $\Sigma$ solutions is compensated by an additional scalar singlet DM. A GUT ansatz is noted to ensure vacuum stability of the SM scalar potential for all types of unification solutions realised in this work. We discuss proton lifetime estimations for $p\to e^+\pi^0$ compatible with the present Hyper-Kamiokande bound as a function of an unknown mixing parameter in the model.


title: Structure-preserving Gaussian Process Dynamics

abstract: Most physical processes posses structural properties such as constant energies, volumes, and other invariants over time. When learning models of such dynamical systems, it is critical to respect these invariants to ensure accurate predictions and physically meaningful behavior. Strikingly, state-of-the-art methods in Gaussian process (GP) dynamics model learning are not addressing this issue. On the other hand, classical numerical integrators are specifically designed to preserve these crucial properties through time. We propose to combine the advantages of GPs as function approximators with structure preserving numerical integrators for dynamical systems, such as Runge-Kutta methods. These integrators assume access to the ground truth dynamics and require evaluations of intermediate and future time steps that are unknown in a learning-based scenario. This makes direct inference of the GP dynamics, with embedded numerical scheme, intractable. Our key technical contribution is the evaluation of the implicitly defined Runge-Kutta transition probability. In a nutshell, we introduce an implicit layer for GP regression, which is embedded into a variational inference-based model learning scheme.


title: The structure of the superconducting high-pressure phase of Sc$_3$CoC$_4$

abstract: We investigate pressure-induced structural changes to the Peierls-type distorted low-temperature phase of the low-dimensional Sc$_3$CoC$_4$ as a possible origin of its pressure-enhanced superconductivity. By means of cryogenic high-pressure x-ray diffraction experiments we could reveal subtle, but significant structural differences between the low-temperature phase at ambient and elevated pressures. We could thus establish the structure of the superconducting phase of the title compound which interestingly still shows the main features of the Peierls-type distorted low-temperature phase. This indicates that in contrast to other low-dimensional materials a suppression of periodic structural distortions is no prerequisite for superconducitivity in the transition metal carbide.


title: Comet 21P/Giacobini-Zinner: Water Production Activity over 20 Years with SOHO/SWAN

abstract: In 1985 Comet 21P/Giacobini-Zinner was the first comet visited by a spacecraft, the International Cometary Explorer (ICE) satellite, several months before the armada of Halley spacecraft had their encounters in 1986. ICE was originally the ISEE-3 satellite, designed for magnetospheric measurements near the Earth, and was diverted via a lunar gravity assist to pass through the plasma tail of the comet. The comet has been observed by the all-sky hydrogen Lyman-alpha Solar Wind Anisotropies (SWAN) camera on the SOlar and Heliospheric Observatory satellite during its last four apparitions in 1998, 2005, 2012 and 2018. This paper compares water production rates calculated from the hydrogen images from the 1998 and 2005 results, published by Combi et al. (2011), with new observations from 2012 and 2018. Unlike some comets that have faded over time, except for 2 outbursts seen in the 2012 results, the activity levels for Comet 21P have not changed consistently over time. A power-law fit to the pre-perihelion water production rate vs. heliocentric distance for all four apparitions gives a result of 3.75x10^28 x r^-0.28+/-0.4, and that for the post-perihelion production rate, discounting 2012 data dominated by outbursts, gives 4.15 x 10^28 x r^-10.2+/-0.9. The production rates are in s^-1 and heliocentric distances are in AU.


title: The Macroeconomic Impacts of Entitlements

abstract: The worries expressed by Alan Greenspan that the long run economic growth of the United States will fade away due to increasing burden of entitlements motivated us to empirically investigate the impact of entitlements of key macroeconomic variables. To examine this contemporary issue, we estimate a vector error-correction model is used to analyze the impact of entitlements on the price level, real output, and the long-term interest rate. The results show that a shock to entitlements leads to decrease in output and lends support to the assertion made by Alan Greenspan. Several robustness checks are conducted and the results of the model qualitatively remains unchanged.


title: Extraction of the proton mass radius from the vector meson photoproductions near thresholds

abstract: We present an analysis of the proton mass radius by studying the $t$-dependence of the differential cross sections of the vector meson photoproductions near the thresholds. At low energy, the photoproduction of a quarkonium off the proton is connected to the scalar gravitational form factor of the proton, which is sensitive to the proton mass distribution from the QCD trace anomaly. Under an assumption of the scalar form factor of dipole form, the proton mass radius is extracted via the near-threshold photoproduction data of J/$\psi$, $\phi$ and $\omega$ vector mesons. The average value of the proton mass radius is estimated to be $\sqrt{\left<R_{\rm m}^2\right>} = 0.67\pm0.03$ fm, with the dipole cutoff $m_{\rm s}=1.01\pm0.04$ GeV.


title: Towards Multi-agent Reinforcement Learning for Wireless Network Protocol Synthesis

abstract: This paper proposes a multi-agent reinforcement learning based medium access framework for wireless networks. The access problem is formulated as a Markov Decision Process (MDP), and solved using reinforcement learning with every network node acting as a distributed learning agent. The solution components are developed step by step, starting from a single-node access scenario in which a node agent incrementally learns to control MAC layer packet loads for reining in self-collisions. The strategy is then scaled up for multi-node fully-connected scenarios by using more elaborate reward structures. It also demonstrates preliminary feasibility for more general partially connected topologies. It is shown that by learning to adjust MAC layer transmission probabilities, the protocol is not only able to attain theoretical maximum throughput at an optimal load, but unlike classical approaches, it can also retain that maximum throughput at higher loading conditions. Additionally, the mechanism is agnostic to heterogeneous loading while preserving that feature. It is also shown that access priorities of the protocol across nodes can be parametrically adjusted. Finally, it is also shown that the online learning feature of reinforcement learning is able to make the protocol adapt to time-varying loading conditions.


title: Bayesian analysis of population health data

abstract: The analysis of population-wide datasets can provide insight on the health status of large populations so that public health officials can make data-driven decisions. The analysis of such datasets often requires highly parameterized models with different types of fixed and randoms effects to account for risk factors, spatial and temporal variations, multilevel effects and other sources on uncertainty. To illustrate the potential of Bayesian hierarchical models, a dataset of about 500 000 inhabitants released by the Polish National Health Fund containing information about ischemic stroke incidence for a 2-year period is analyzed using different types of models. Spatial logistic regression and survival models are considered for analyzing the individual probabilities of stroke and the times to the occurrence of an ischemic stroke event. Demographic and socioeconomic variables as well as drug prescription information are available at an individual level. Spatial variation is considered by means of region-level random effects.


title: Anti-palindromic compositions

abstract: A palindromic composition of $n$ is a composition of $n$ which can be read the same way forwards and backwards. In this paper we define an anti-palindromic composition of $n$ to be a composition of $n$ which has no mirror symmetry amongst its parts. We then give a surprising connection between the number of anti-palindromic compositions of $n$ and the so-called tribonacci sequence, a generalization of the Fibonacci sequence. We conclude by defining a new q-analogue of the Fibonacci sequence, which is related to certain equivalence classes of anti-palindromic compositions


title: First principles model for voids decorated by transmutation solutes: Short-range order effects and application to neutron irradiated tungsten

abstract: Understanding how properties of materials change due to nuclear transmutations is a major challenge for the design of structural components for a fusion power plant. In this study, by combining a first-principles matrix Hamiltonian approach with thermodynamic integration we investigate quasi-steady state configurations of multi-component alloys, containing defects, over a broad range of temperature and composition. The model enables simulating transmutation-induced segregation effects in materials, including tungsten where the phenomenon is strongly pronounced. Finite-temperature analysis shows that voids are decorated by Re and Os, but there is no decoration by tantalum (Ta). The difference between the elements is correlated with the sign of the short range order (SRO) parameter between impurity and vacancy species, in agreement with Atom Probe Tomography (APT) observations of irradiated W-Re, W-Os, W-Ta alloys in the solid solution limit. Statistical analyses of Re and Os impurities in vacancy-rich tungsten show that the SRO effects involving the two solutes are highly sensitive to the background concentration the species. In quaternary W-Re-Os-Vac alloys containing 1.5% Re and 0.1% Os, the SRO Re-Os parameter is negative at 1200K, driving the formation of concentrated Re and Os precipitates. Comparison with experimental Transmission Electron Microscopy (TEM) and APT data on W samples irradiated at the High Flux Reactor (HFR) shows that the model explains the origin of anomalous segregation of transmutation products (Re,Os) to vacancy clusters and voids in the high temperature limit pertinent to the operating conditions of a fusion power plant.


title: Statistical privacy-preserving message dissemination for peer-to-peer networks

abstract: Concerns for the privacy of communication is widely discussed in research and overall society. For the public financial infrastructure of blockchains, this discussion encompasses the privacy of transaction data and its broadcasting throughout the network. To tackle this problem, we transform a discrete-time protocol for contact networks over infinite trees into a computer network protocol for peer-to-peer networks. Peer-to-peer networks are modeled as organically growing graphs. We show that the distribution of shortest paths in such a network can be modeled using a normal distribution $\mathcal{N}(\mu,\sigma^2).$ We determine statistical estimators for $\mu,\sigma$ via multivariate models. The model behaves logarithmic over the number of nodes n and proportional to an inverse exponential over the number of added edges k. These results facilitate the computation of optimal forwarding probabilities during the dissemination phase for optimal privacy in a limited information environment.


title: Divergence of an integral of a process with small ball estimate

abstract: The paper contains sufficient conditions on the function $f$ and the stochastic process $X$ that supply the rate of divergence of the integral functional $\int_0^Tf(X_t)^2dt$ at the rate $T^{1-\epsilon}$ as $T\to\infty$ for every $\epsilon>0$. These conditions include so called small ball estimates which are discussed in detail. Statistical applications are provided.


title: Phase space holography with no strings attached

abstract: This note discusses the Wigner function representation from the standpoint of establishing a holography-like correspondence between the descriptions of a generic quantum system in the phase space ('bulk') picture versus its spacetime ('boundary') counterpart. Under certain circumstances the former might reduce to the classical dynamics of a local metric-like variable while the latter takes on the form of some bosonized collective field hydrodynamics. This generic pseudo-holographic duality neither relies on any particular symmetry of the system in question, nor does it require any connection to an underlying 'string theory', as in the various 'ad hoc' scenarios of applied holography.


title: Topological models for stable motivic invariants of regular number rings

abstract: For an infinity of number rings we express stable motivic invariants in terms of topological data determined by the complex numbers, the real numbers, and finite fields. We use this to extend Morel's identification of the endomorphism ring of the motivic sphere with the Grothendieck-Witt ring of quadratic forms to deeper base schemes.


title: Analytic torsion on manifolds with fibred boundary metrics

abstract: In this paper, we construct the renormalized analytic torsion in the setup of manifold endowed with fibred boundary metrics. The method of construction is to determine the asymptotic of heat kernel, both in short time regime and long time regime and apply these asymptotics together with renormalization to determine the renormalized zeta function and the determinant of Hodge Laplacian.


title: AlphaCrystal: Contact map based crystal structure prediction using deep learning

abstract: Crystal structure prediction is one of the major unsolved problems in materials science. Traditionally, this problem is formulated as a global optimization problem for which global search algorithms are combined with first principle free energy calculations to predict the ground-state crystal structure given only a material composition or a chemical system. These ab initio algorithms usually cannot exploit a large amount of implicit physicochemical rules or geometric constraints (deep knowledge) of atom configurations embodied in a large number of known crystal structures. Inspired by the deep learning enabled breakthrough in protein structure prediction, herein we propose AlphaCrystal, a crystal structure prediction algorithm that combines a deep residual neural network model that learns deep knowledge to guide predicting the atomic contact map of a target crystal material followed by reconstructing its 3D crystal structure using genetic algorithms. Based on the experiments of a selected set of benchmark crystal materials, we show that our AlphaCrystal algorithm can predict structures close to the ground truth structures. It can also speed up the crystal structure prediction process by predicting and exploiting the predicted contact map so that it has the potential to handle relatively large systems. We believe that our deep learning based ab initio crystal structure prediction method that learns from existing material structures can be used to scale up current crystal structure prediction practice. To our knowledge, AlphaCrystal is the first neural network based algorithm for crystal structure contact map prediction and the first method for directly reconstructing crystal structures from materials composition, which can be further optimized by DFT calculations.


title: Depth separation beyond radial functions

abstract: High-dimensional depth separation results for neural networks show that certain functions can be efficiently approximated by two-hidden-layer networks but not by one-hidden-layer ones in high-dimensions $d$. Existing results of this type mainly focus on functions with an underlying radial or one-dimensional structure, which are usually not encountered in practice. The first contribution of this paper is to extend such results to a more general class of functions, namely functions with piece-wise oscillatory structure, by building on the proof strategy of (Eldan and Shamir, 2016). We complement these results by showing that, if the domain radius and the rate of oscillation of the objective function are constant, then approximation by one-hidden-layer networks holds at a $\mathrm{poly}(d)$ rate for any fixed error threshold. A common theme in the proofs of depth-separation results is the fact that one-hidden-layer networks fail to approximate high-energy functions whose Fourier representation is spread in the domain. On the other hand, existing approximation results of a function by one-hidden-layer neural networks rely on the function having a sparse Fourier representation. The choice of the domain also represents a source of gaps between upper and lower approximation bounds. Focusing on a fixed approximation domain, namely the sphere $\mathbb{S}^{d-1}$ in dimension $d$, we provide a characterisation of both functions which are efficiently approximable by one-hidden-layer networks and of functions which are provably not, in terms of their Fourier expansion.


title: Bosonic data hiding: power of linear vs non-linear optics

abstract: We show that the positivity of the Wigner function of Gaussian states and measurements provides an elegant way to bound the discriminating power of "linear optics", which we formalise as Gaussian measurement operations augmented by classical (feed-forward) communication (GOCC). This allows us to reproduce and generalise the result of Takeoka and Sasaki [PRA 78:022320, 2008], which tightly characterises the GOCC norm distance of coherent states, separating it from the optimal distinguishability according to Helstrom's theorem. Furthermore, invoking ideas from classical and quantum Shannon theory we show that there are states, each a probabilistic mixture of multi-mode coherent states, which are exponentially reliably discriminated in principle, but appear exponentially close judging from the output of GOCC measurements. In analogy to LOCC data hiding, which shows an irreversibility in the preparation and discrimination of states by the restricted class of local operations and classical communication (LOCC), we call the present effect GOCC data hiding. We also present general bounds in the opposite direction, guaranteeing a minimum of distinguishability under measurements with positive Wigner function, for any bounded-energy states that are Helstrom distinguishable. We conjecture that a similar bound holds for GOCC measurements.


title: Adversarial Tracking Control via Strongly Adaptive Online Learning with Memory

abstract: We consider the problem of tracking an adversarial state sequence in a linear dynamical system subject to adversarial disturbances and loss functions, generalizing earlier settings in the literature. To this end, we develop three techniques, each of independent interest. First, we propose a comparator-adaptive algorithm for online linear optimization with movement cost. Without tuning, it nearly matches the performance of the optimally tuned gradient descent in hindsight. Next, considering a related problem called online learning with memory, we construct a novel strongly adaptive algorithm that uses our first contribution as a building block. Finally, we present the first reduction from adversarial tracking control to strongly adaptive online learning with memory. Summarizing these individual techniques, we obtain an adversarial tracking controller with a strong performance guarantee even when the reference trajectory has a large range of movement.


title: D2D-Aided Multi-Antenna Multicasting under Generalized CSIT

abstract: Multicasting, where a base station (BS) wishes to convey the same message to several user equipments (UEs), represents a common yet highly challenging wireless scenario. In fact, guaranteeing decodability by the whole UE population proves to be a major performance bottleneck since the UEs in poor channel conditions ultimately determine the achievable rate. To overcome this issue, two-phase cooperative multicasting schemes, which use conventional multicasting in a first phase and leverage device-to-device (D2D) communications in a second phase to effectively spread the message, have been extensively studied. However, most works are limited either to the simple case of single-antenna BS or to a specific channel state information at the transmitter (CSIT) setup. This paper proposes a general two-phase framework that is applicable to the cases of perfect, statistical, and topological CSIT in the presence of multiple antennas at the BS. The proposed method exploits the precoding capabilities at the BS, which enable targeting specific UEs that can effectively serve as D2D relays towards the remaining UEs, and maximize the multicast rate under some outage constraint. Numerical results show that our schemes bring substantial gains over traditional single-phase multicasting and overcome the worst-UE bottleneck behavior in all the considered CSIT configurations.


title: OPAM: Online Purchasing-behavior Analysis using Machine learning

abstract: Customer purchasing behavior analysis plays a key role in developing insightful communication strategies between online vendors and their customers. To support the recent increase in online shopping trends, in this work, we present a customer purchasing behavior analysis system using supervised, unsupervised and semi-supervised learning methods. The proposed system analyzes session and user-journey level purchasing behaviors to identify customer categories/clusters that can be useful for targeted consumer insights at scale. We observe higher sensitivity to the design of online shopping portals for session-level purchasing prediction with accuracy/recall in range 91-98%/73-99%, respectively. The user-journey level analysis demonstrates five unique user clusters, wherein 'New Shoppers' are most predictable and 'Impulsive Shoppers' are most unique with low viewing and high carting behaviors for purchases. Further, cluster transformation metrics and partial label learning demonstrates the robustness of each user cluster to new/unlabelled events. Thus, customer clusters can aid strategic targeted nudge models.


title: Sub-Linear Point Counting for Variable Separated Curves over Prime Power Rings

abstract: Let $k,p\in \mathbb{N}$ with $p$ prime and let $f\in\mathbb{Z}[x_1,x_2]$ be a bivariate polynomial with degree $d$ and all coefficients of absolute value at most $p^k$. Suppose also that $f$ is variable separated, i.e., $f=g_1+g_2$ for $g_i\in\mathbb{Z}[x_i]$. We give the first algorithm, with complexity sub-linear in $p$, to count the number of roots of $f$ over $\mathbb{Z}$ mod $p^k$ for arbitrary $k$: Our Las Vegas randomized algorithm works in time $(dk\log p)^{O(1)}\sqrt{p}$, and admits a quantum version for smooth curves working in time $(d\log p)^{O(1)}k$. Save for some subtleties concerning non-isolated singularities, our techniques generalize to counting roots of polynomials in $\mathbb{Z}[x_1,\ldots,x_n]$ over $\mathbb{Z}$ mod $p^k$. Our techniques are a first step toward efficient point counting for varieties over Galois rings (which is relevant to error correcting codes over higher-dimensional varieties), and also imply new speed-ups for computing Igusa zeta functions of curves. The latter zeta functions are fundamental in arithmetic geometry.


title: Instantons to the people: the power of one-form symmetries

abstract: We show that the non-perturbative dynamics of $\mathcal{N}=2$ super Yang-Mills theories in a self-dual $\Omega$-background and with an arbitrary simple gauge group is fully determined by studying renormalization group equations of vevs of surface operators generating one-form symmetries. The corresponding system of equations is a {\it non-autonomous} Toda chain, the time being the RG scale. We obtain new recurrence relations which provide a systematic algorithm computing multi-instanton corrections from the tree-level one-loop prepotential as the asymptotic boundary condition of the RGE. We exemplify by computing the $E_6$ and $G_2$ cases up to two-instantons.


title: Geometric and algebraic aspects of spectrality in order unit spaces: a comparison

abstract: Two approaches to spectral theory of order unit spaces are compared: the spectral duality of Alfsen and Shultz and the spectral compression bases due to Foulis. While the former approach uses the geometric properties of an order unit space in duality with a base norm space, the latter notion is purely algebraic. It is shown that the Foulis approach is strictly more general and contains the Alfsen-Shultz approach as a special case. This is demonstrated on two types of examples: the JB-algebras which are Foulis spectral if and only if they are Rickart, and the centrally symmetric state spaces, which may be Foulis spectral while not necessarily Alfsen-Shultz spectral.


title: A statistical analysis of death rates in Italy for the years 2015-2020 and a comparison with the casualties reported for the COVID-19 pandemic

abstract: We analyze the data about casualties in Italy in the period 01/01/2015 to 30/09/2020 released by the Italian National Institute of Statistics (ISTAT). The data exhibit a clear sinusoidal behavior, whose fit allows for a robust subtraction of the baseline trend of casualties in Italy, with a surplus of mortality in correspondence to the flu epidemics in winter and to the hottest periods in summer. While these peaks are symmetric in shape, the peak in coincidence with the COVID-19 pandemics is asymmetric and more pronounced. We fit the former with a Gaussian function and the latter with a Gompertz function, in order to quantify number of casualties, the duration and the position of all causes of excess deaths. The overall quality of the fit to the data turns out to be very good. We discuss the trend of casualties in Italy by different classes of ages and for the different genders. We finally compare the data-subtracted casualties as reported by ISTAT with those reported by the Italian Department for Civil Protection (DPC) relative to the deaths directly attributed to COVID-19, and we discuss the differences.


title: Coalescence Instability in Chromospheric Partially Ionised Plasmas

abstract: Fast magnetic reconnection plays a fundamental role in driving explosive dynamics and heating in the solar chromosphere. The reconnection time scale of traditional models is shortened at the onset of the coalescence instability, which forms a turbulent reconnecting current sheet through plasmoid interaction. In this work we aim to investigate the role of partial ionisation on the development of fast reconnection through the study of the coalescence instability of plasmoids. Unlike the processes occurring in fully ionised coronal plasmas, relatively little is known about how fast reconnection develops in partially ionised plasmas of the chromosphere. We present 2.5D numerical simulations of coalescing plasmoids in a single fluid magnetohydrodynamic (MHD) model, and a two-fluid model of a partially ionised plasma (PIP). We find that in the PIP model, which has the same total density as the MHD model but an initial plasma density two orders of magnitude smaller, plasmoid coalescence is faster than the MHD case, following the faster thinning of the current sheet and secondary plasmoid dynamics. Secondary plasmoids form in the PIP model where the effective Lundquist number $S = 7.8 \cdot 10^3$, but are absent from the MHD case where $S = 9.7 \cdot 10^3$: these are responsible for a more violent reconnection. Secondary plasmoids also form in linearly stable conditions as a consequence of the non-linear dynamics of the neutrals in the inflow. In the light of these results we can affirm that two-fluid effects play a major role on the processes occurring in the solar chromosphere.


title: Supporting Real Demands in Software Engineering with a Four Steps Project-Based Learning Approach

abstract: Project-based learning (PBL) is a student-centered and learn-by-doing approach that organizes learning around projects. While entrepreneurship and PBL in SE education are thrilling research topics, there seems to be very little work focusing on the pros and cons of involving external stakeholders to support real demands in software engineering education. Working on real projects also supports students to acquire leadership skills, such as communication, project management, and teamwork. This paper describes a case study integrating students from different Software Engineering programs and involving external stakeholders, underpinned by PBL concepts. We present how this study was designed and implemented in a large institution, in four steps, summarized as follows: (I) requirements gathering and design; (II) information system development and implementation; (III) integration tests and deployment process; (IV) support and maintenance activities. The study had the participation of 59 students from a professional technical course in step one, working in teams, and 10 undergraduate students from a Bachelor's program in Information Systems in the following steps, working in pairs. Overall, the feedback from stakeholders and students exceeded expectations, although it increased the workload of teachers. We were able to distill a new set of lessons learned, and we expect that at least some of them will be useful for anyone implementing a similar course. As a consequence of this study, we plan to institutionally formalize the PBL course improvement process by defining specific outcomes and measurements.


title: Topological Aspects of Antiferromagnets

abstract: The long fascination antiferromagnetic materials have exerted on the scientific community over about a century has been entirely renewed recently with the discovery of several unexpected phenomena including various classes of anomalous spin and charge Hall effects and unconventional magnonic transport, but also homochiral magnetic entities such as skyrmions. With these breakthroughs, antiferromagnets standout as a rich playground for the investigation of novel topological behaviors, and as promising candidate materials for disruptive low-power microelectronic applications. Remarkably, the newly discovered phenomena are all related to the topology of the magnetic, electronic or magnonic ground state of the antiferromagnets. This review exposes how non-trivial topology emerges at different levels in antiferromagnets and explores the novel mechanisms that have been discovered recently. We also discuss how novel classes of quantum magnets could enrich the currently expanding field of antiferromagnetic spintronics and how spin transport can in turn favor a better understanding of exotic quantum excitations.


title: Stronger Separation of Analog Neuron Hierarchy by Deterministic Context-Free Languages

abstract: We analyze the computational power of discrete-time recurrent neural networks (NNs) with the saturated-linear activation function within the Chomsky hierarchy. This model restricted to integer weights coincides with binary-state NNs with the Heaviside activation function, which are equivalent to finite automata (Chomsky level 3) recognizing regular languages (REG), while rational weights make this model Turing-complete even for three analog-state units (Chomsky level 0). For the intermediate model $\alpha$ANN of a binary-state NN that is extended with $\alpha\geq 0$ extra analog-state neurons with rational weights, we have established the analog neuron hierarchy 0ANNs $\subset$ 1ANNs $\subset$ 2ANNs $\subseteq$ 3ANNs. The separation 1ANNs $\subsetneqq$ 2ANNs has been witnessed by the non-regular deterministic context-free language (DCFL) $L_\#=\{0^n1^n\mid n\geq 1\}$ which cannot be recognized by any 1ANN even with real weights, while any DCFL (Chomsky level 2) is accepted by a 2ANN with rational weights. In this paper, we strengthen this separation by showing that any non-regular DCFL cannot be recognized by 1ANNs with real weights, which means (DCFLs $\setminus$ REG) $\subset$ (2ANNs $\setminus$ 1ANNs), implying 1ANNs $\cap$ DCFLs = 0ANNs. For this purpose, we have shown that $L_\#$ is the simplest non-regular DCFL by reducing $L_\#$ to any language in this class, which is by itself an interesting achievement in computability theory.


title: ${\rm SL}_*$ over local and ad\`ele rings: $*$-euclideanity and Bruhat generators

abstract: Let $(R,*)$ be a ring with involution and let $A = {\rm M}(n,R)$ be the matrix ring endowed with the $*$-transpose involution. We study ${\rm SL}_*(2,A)$ and the question of Bruhat generation over commutative and non-commutative local and ad\`elic rings $R$. An important tool is the property of a ring being $*$-Euclidean. In this regard, we introduce the notion of a $*$-local ring $R$, prove that $A$ is $*$-Euclidean and explore reduction modulo the Jacobson radical for such rings. Globally, we provide an affirmative answer to the question wether a commutative ad\`elic ring $R$ leads towards the ring $A$ being $*$-Euclidean; while the non-commutative ad\`elic quaternions are such that $A$ is $*$-Euclidean and ${\rm SL}_*$ is generated by its Bruhat elements if and only if the characteristic is $2$.


title: An offline-online strategy for multiscale problems with random defects

abstract: In this paper, we propose an offline-online strategy based on the Localized Orthogonal Decomposition (LOD) method for elliptic multiscale problems with randomly perturbed diffusion coefficient. We consider a periodic deterministic coefficient with local defects that occur with probability $p$. The offline phase pre-computes entries to global LOD stiffness matrices on a single reference element (exploiting the periodicity) for a selection of defect configurations. Given a sample of the perturbed diffusion the corresponding LOD stiffness matrix is then computed by taking linear combinations of the pre-computed entries, in the online phase. Our computable error estimates show that this yields a good coarse-scale approximation of the solution for small $p$, which is illustrated by extensive numerical experiments. This makes the proposed technique attractive already for moderate sample sizes in a Monte Carlo simulation.


title: Adaptive Random Bandwidth for Inference in CAViaR Models

abstract: This paper investigates the size performance of Wald tests for CAViaR models (Engle and Manganelli, 2004). We find that the usual estimation strategy on test statistics yields inaccuracies. Indeed, we show that existing density estimation methods cannot adapt to the time-variation in the conditional probability densities of CAViaR models. Consequently, we develop a method called adaptive random bandwidth which can approximate time-varying conditional probability densities robustly for inference testing on CAViaR models based on the asymptotic normality of the model parameter estimator. This proposed method also avoids the problem of choosing an optimal bandwidth in estimating probability densities, and can be extended to multivariate quantile regressions straightforward.


title: Precision cosmology made more precise

abstract: So far, the standard attitude to solve the Friedmann equations in the simultaneous presence of radiation $R$, matter $M$ and cosmological constant ${\Lambda}$ is to find solutions $R_R (t)$, $R_M (t)$ and $R_{\Lambda} (t)$ separately for each individual component alone, and next to join them together, thereby obtaining a piecewise solution $R_{\rm pw} (t)$. We instead find the exact and analytic solution $R (t)$ of the same equations in flat space. Moreover, we quantify the error made when $R_{\rm pw} (t)$ is used in place of $R (t)$.


title: Multi-wavelength observations of the Galactic X-ray binaries IGR J20155+3827 and Swift J1713.4-4219

abstract: In recent years, thanks to the continuous surveys performed by INTEGRAL and Swift satellites, our knowledge of the hard X-ray/soft gamma-ray sky has greatly improved. As a result it is now populated with about 2000 sources, both Galactic and extra-galactic, mainly discovered by IBIS and BAT instruments. Many different follow-up campaigns have been successfully performed by using a multi-wavelength approach, shedding light on the nature of a number of these new hard X-ray sources. However, a fraction are still of a unidentified nature. This is mainly due to the lack of lower energy observations, which usually deliver a better constrained position for the sources, and the unavailability of the key observational properties, needed to obtain a proper physical characterization. Here we report on the classification of two poorly studied Galactic X-ray transients IGR J20155+3827 and Swift J1713.4-4219, for which the combination of new and/or archival X-ray and Optical/NIR observations have allowed us to pinpoint their nature. In particular, thanks to XMM\Newton archival data together with new optical spectroscopic and archival Optical/NIR photometric observations, we have been able to classify IGR J20155+3827 as a distant HMXB. The new INTEGRAL and Swift data collected during the 2019 X-ray outburst of Swift J1713.4-4219, in combination with the archival optical/NIR observations, suggest a LMXB classification for this source.


title: Ambient Backscatter-Assisted Wireless-Powered Relaying

abstract: Internet-of-Things (IoT) is featured with low-power communications among a massive number of ubiquitously-deployed and energy-constrained electronics, e.g., sensors and actuators. To cope with the demand, wireless-powered cooperative relaying emerges as a promising communication paradigm to extend data transmission coverage and solve energy scarcity for the IoT devices. In this paper, we propose a novel hybrid relaying strategy by combining wireless-powered communication and ambient backscattering functions to improve applicability and performance of data transfer. In particular, the hybrid relay can harvest energy from radio frequency (RF) signals and use the energy for active transmission. Alternatively, the hybrid relay can choose to perform ambient backscattering of incident RF signals for passive transmission. To efficiently utilize the ambient RF resource, we design mode selection protocols to coordinate between the active and passive relaying in circumstances with and without instantaneous channel gain. With different mode selection protocols, we characterize the success probability and ergodic capacity of a dual-hop relaying system with the hybrid relay in the field of randomly located ambient transmitters. The analytical and the numerical results demonstrate the effectiveness of the mode selection protocols in adapting the hybrid relaying into the network environment and reveal the impacts of system parameters on the performance gain of the hybrid relaying. As applications of our analytical framework which is computationally tractable, we formulate optimization problems based on the derived expressions to optimize the system parameters with different objectives. The optimal solutions exhibit a tradeoff between the maximum energy efficiency and target success probability.


title: SPEAK WITH YOUR HANDS Using Continuous Hand Gestures to control Articulatory Speech Synthesizer

abstract: This work presents our advancements in controlling an articulatory speech synthesis engine, \textit{viz.}, Pink Trombone, with hand gestures. Our interface translates continuous finger movements and wrist flexion into continuous speech using vocal tract area-function based articulatory speech synthesis. We use Cyberglove II with 18 sensors to capture the kinematic information of the wrist and the individual fingers, in order to control a virtual tongue. The coordinates and the bending values of the sensors are then utilized to fit a spline tongue model that smoothens out the noisy values and outliers. Considering the upper palate as fixed and the spline model as the dynamically moving lower surface (tongue) of the vocal tract, we compute 1D area functional values that are fed to the Pink Trombone, generating continuous speech sounds. Therefore, by learning to manipulate one's wrist and fingers, one can learn to produce speech sounds just through one's hands, without the need for using the vocal tract.


title: A Hierarchical Multi-Robot Mapping Architecture Subject to Communication Constraints

abstract: Multi-robot systems are an efficient method to explore and map an unknown environment. The simulataneous localization and mapping (SLAM) algorithm is common for single robot systems, however multiple robots can share respective map data in order to merge a larger global map. This thesis contributes to the multi-robot mapping problem by considering cases in which robots have communication range limitations. The architecture coordinates a team of robots and the central server to explore an unknown environment by exploiting a hierarchical choice structure. The coordination algorithms ensure that the hierarchy of robots choose frontier points that provide maximum information gain, while maintaining viable communication amongst themselves and the central computer through an ad-hoc relay network. In addition, the robots employ a backup choice algorithm in cases when no valid frontier points remain by arranging the communication relay network as a fireline back to the source. This work contributes a scalable, efficient, and robust architecture towards hybrid multi-robot mapping systems that take into account communication range limitations. The architecture is tested in a simulation environment using various maps.


title: Particle-resolved topological defects of smectic colloidal liquid crystals in extreme confinement

abstract: Confined samples of liquid crystals are characterized by a variety of topological defects and can be exposed to external constraints such as extreme confinements with nontrivial topology. Here we explore the intrinsic structure of smectic colloidal layers dictated by the interplay between entropy and an imposed external topology. Considering an annular confinement as a basic example, a plethora of competing states is found with nontrivial defect structures ranging from laminar states to multiple smectic domains and arrays of edge dislocations which we refer to as Shubnikov states in formal analogy to the characteristic of type-II superconductors. Our particle-resolved results, gained by a combination of real-space microscopy of thermal colloidal rods and fundamental-measure-based density functional theory of hard anisotropic bodies, agree on a quantitative level.


title: A New Design of Cache-aided Multiuser Private Information Retrieval with Uncoded Prefetching

abstract: In the problem of cache-aided multiuser private information retrieval (MuPIR), a set of $K_{\rm u}$ cache-equipped users wish to privately download a set of messages from $N$ distributed databases each holding a library of $K$ messages. The system works in two phases: {\it cache placement (prefetching) phase} in which the users fill up their cache memory, and {\it private delivery phase} in which the users' demands are revealed and they download an answer from each database so that the their desired messages can be recovered while each individual database learns nothing about the identities of the requested messages. The goal is to design the placement and the private delivery phases such that the \emph{load}, which is defined as the total number of downloaded bits normalized by the message size, is minimized given any user memory size. This paper considers the MuPIR problem with two messages, arbitrary number of users and databases where uncoded prefetching is assumed, i.e., the users directly copy some bits from the library as their cached contents. We propose a novel MuPIR scheme inspired by the Maddah-Ali and Niesen (MAN) coded caching scheme. The proposed scheme achieves lower load than any existing schemes, especially the product design (PD), and is shown to be optimal within a factor of $8$ in general and exactly optimal at very high or low memory regime.