title: Magnonic frequency comb through nonlinear magnon-skyrmion scattering

abstract: An optical frequency comb consists of a set of discrete and equally spaced frequencies and has found wide applications in the synthesis over broad spectral frequencies of electromagnetic wave and precise optical frequency metrology. Despite the analogies between magnons and photons in many aspects, the analogue of optical frequency comb in magnonic system has not been reported. Here, we theoretically study the magnon-skyrmion interaction and find that magnonic frequency comb (MFC) can be generated above a threshold of driving amplitude, where the nonlinear scattering process involving three magnons prevails. The mode-spacing of the MFC is equal to the breathing-mode frequency of skyrmion and is thus tunable by either electric or magnetic means. The theoretical prediction is verified by micromagnetic simulations and the essential physics can be generalized to a large class of magnetic solitons. Our findings open a new pathway to observe the frequency comb structure in magnonic devices, that may inspire the study of fundamental nonlinear physics in spintronic platform in the future.


title: The complex behaviour of Galton rank order statistic

abstract: Galton's rank order statistic is one of the oldest statistical tools for two-sample comparisons. It is also a very natural index to measure departures from stochastic dominance. Yet, its asymptotic behaviour has been investigated only partially, under restrictive assumptions. This work provides a comprehensive {study} of this behaviour, based on the analysis of the so-called contact set (a modification of the set in which the quantile functions coincide). We show that a.s. convergence to the population counterpart holds if and only if {the} contact set has zero Lebesgue measure. When this set is finite we show that the asymptotic behaviour is determined by the local behaviour of a suitable reparameterization of the quantile functions in a neighbourhood of the contact points. Regular crossings result in standard rates and Gaussian limiting distributions, but higher order contacts (in the sense introduced in this work) or contacts at the extremes of the supports may result in different rates and non-Gaussian limits.


title: Quantum walks on a programmable two-dimensional 62-qubit superconducting processor

abstract: Quantum walks are the quantum mechanical analogue of classical random walks and an extremely powerful tool in quantum simulations, quantum search algorithms, and even for universal quantum computing. In our work, we have designed and fabricated an 8x8 two-dimensional square superconducting qubit array composed of 62 functional qubits. We used this device to demonstrate high fidelity single and two particle quantum walks. Furthermore, with the high programmability of the quantum processor, we implemented a Mach-Zehnder interferometer where the quantum walker coherently traverses in two paths before interfering and exiting. By tuning the disorders on the evolution paths, we observed interference fringes with single and double walkers. Our work is an essential milestone in the field, brings future larger scale quantum applications closer to realization on these noisy intermediate-scale quantum processors.


title: Incremental Beam Manipulation for Natural Language Generation

abstract: The performance of natural language generation systems has improved substantially with modern neural networks. At test time they typically employ beam search to avoid locally optimal but globally suboptimal predictions. However, due to model errors, a larger beam size can lead to deteriorating performance according to the evaluation metric. For this reason, it is common to rerank the output of beam search, but this relies on beam search to produce a good set of hypotheses, which limits the potential gains. Other alternatives to beam search require changes to the training of the model, which restricts their applicability compared to beam search. This paper proposes incremental beam manipulation, i.e. reranking the hypotheses in the beam during decoding instead of only at the end. This way, hypotheses that are unlikely to lead to a good final output are discarded, and in their place hypotheses that would have been ignored will be considered instead. Applying incremental beam manipulation leads to an improvement of 1.93 and 5.82 BLEU points over vanilla beam search for the test sets of the E2E and WebNLG challenges respectively. The proposed method also outperformed a strong reranker by 1.04 BLEU points on the E2E challenge, while being on par with it on the WebNLG dataset.


title: Synthetic observables for electron-capture supernovae and low-mass core collapse supernovae

abstract: Stars in the mass range from 8 to 10 solar masses are expected to produce one of two types of supernovae (SNe), either electron-capture supernovae (ECSNe) or core-collapse supernovae (CCSNe), depending on their previous evolution. Either of the associated progenitors retain extended and massive hydrogen-rich envelopes, the observables of these SNe are, therefore, expected to be similar. In this study we explore the differences in these two types of SNe. Specifically, we investigate three different progenitor models: a solar-metallicity ECSN progenitor with an initial mass of 8.8 solar masses, a zero-metallicity progenitor with 9.6 solar masses, and a solar-metallicity progenitor with 9 solar masses, carrying out radiative transfer simulations for these progenitors. We present the resulting light curves for these models. The models exhibit very low photospheric velocity variations of about 2000 km/s, therefore, this may serve as a convenient indicator of low-mass SNe. The ECSN has very unique light curves in broad bands, especially the U band, and does not resemble any currently observed SN. This ECSN progenitor being part of a binary will lose its envelope for which reason the light curve becomes short and undetectable. The SN from the 9.6 solar masses progenitor exhibits also quite an unusual light curve, explained by the absence of metals in the initial composition. The artificially iron polluted 9.6 solar masses model demonstrates light curves closer to normal SNe IIP. The SN from the 9 solar masses progenitor remains the best candidate for so-called low-luminosity SNe IIP like SN 1999br and SN 2005cs.


title: Exploring Scale-Measures of Data Sets

abstract: Measurement is a fundamental building block of numerous scientific models and their creation. This is in particular true for data driven science. Due to the high complexity and size of modern data sets, the necessity for the development of understandable and efficient scaling methods is at hand. A profound theory for scaling data is scale-measures, as developed in the field of formal concept analysis. Recent developments indicate that the set of all scale-measures for a given data set constitutes a lattice and does hence allow efficient exploring algorithms. In this work we study the properties of said lattice and propose a novel scale-measure exploration algorithm that is based on the well-known and proven attribute exploration approach. Our results motivate multiple applications in scale recommendation, most prominently (semi-)automatic scaling.


title: The VAR at Risk

abstract: I show that the structure of the firm is not neutral in respect to regulatory capital budgeted under rules which are based on the Value-at-Risk.


title: Dual theory of choice with multivariate risks

abstract: We propose a multivariate extension of Yaari's dual theory of choice under risk. We show that a decision maker with a preference relation on multidimensional prospects that preserves first order stochastic dominance and satisfies comonotonic independence behaves as if evaluating prospects using a weighted sum of quantiles. Both the notions of quantiles and of comonotonicity are extended to the multivariate framework using optimal transportation maps. Finally, risk averse decision makers are characterized within this framework and their local utility functions are derived. Applications to the measurement of multi-attribute inequality are also discussed.


title: Regenerating Soft Robots through Neural Cellular Automata

abstract: Morphological regeneration is an important feature that highlights the environmental adaptive capacity of biological systems. Lack of this regenerative capacity significantly limits the resilience of machines and the environments they can operate in. To aid in addressing this gap, we develop an approach for simulated soft robots to regrow parts of their morphology when being damaged. Although numerical simulations using soft robots have played an important role in their design, evolving soft robots with regenerative capabilities have so far received comparable little attention. Here we propose a model for soft robots that regenerate through a neural cellular automata. Importantly, this approach only relies on local cell information to regrow damaged components, opening interesting possibilities for physical regenerable soft robots in the future. Our approach allows simulated soft robots that are damaged to partially regenerate their original morphology through local cell interactions alone and regain some of their ability to locomote. These results take a step towards equipping artificial systems with regenerative capacities and could potentially allow for more robust operations in a variety of situations and environments. The code for the experiments in this paper is available at: \url{github.com/KazuyaHoribe/RegeneratingSoftRobots}.


title: Factor-augmented Smoothing Model for Functional Data

abstract: We propose modeling raw functional data as a mixture of a smooth function and a highdimensional factor component. The conventional approach to retrieving the smooth function from the raw data is through various smoothing techniques. However, the smoothing model is not adequate to recover the smooth curve or capture the data variation in some situations. These include cases where there is a large amount of measurement error, the smoothing basis functions are incorrectly identified, or the step jumps in the functional mean levels are neglected. To address these challenges, a factor-augmented smoothing model is proposed, and an iterative numerical estimation approach is implemented in practice. Including the factor model component in the proposed method solves the aforementioned problems since a few common factors often drive the variation that cannot be captured by the smoothing model. Asymptotic theorems are also established to demonstrate the effects of including factor structures on the smoothing results. Specifically, we show that the smoothing coefficients projected on the complement space of the factor loading matrix is asymptotically normal. As a byproduct of independent interest, an estimator for the population covariance matrix of the raw data is presented based on the proposed model. Extensive simulation studies illustrate that these factor adjustments are essential in improving estimation accuracy and avoiding the curse of dimensionality. The superiority of our model is also shown in modeling Canadian weather data and Australian temperature data.


title: Realisation of abelian varieties as automorphism groups

abstract: Let $A/F$ be an abelian variety over a field. Does there exist a smooth projective $F$-variety $X$, such that $A$ is isomorphic to the automorphism group scheme of $X/F$? We show that the answer is positive, if and only if $A$ has only finitely many automorphisms, over an algebraic closure of $F$. When $F=\mathbb C$, this result is due to Lombardo and Maffei. When $F$ is algebraically closed, it was obtained independently by Blanc and Brion.


title: Parallelware Tools: An Experimental Evaluation on POWER Systems

abstract: Static code analysis tools are designed to aid software developers to build better quality software in less time, by detecting defects early in the software development life cycle. Even the most experienced developer regularly introduces coding defects. Identifying, mitigating and resolving defects is an essential part of the software development process, but frequently defects can go undetected. One defect can lead to a minor malfunction or cause serious security and safety issues. This is magnified in the development of the complex parallel software required to exploit modern heterogeneous multicore hardware. Thus, there is an urgent need for new static code analysis tools to help in building better concurrent and parallel software. The paper reports preliminary results about the use of Appentra's Parallelware technology to address this problem from the following three perspectives: finding concurrency issues in the code, discovering new opportunities for parallelization in the code, and generating parallel-equivalent codes that enable tasks to run faster. The paper also presents experimental results using well-known scientific codes and POWER systems.


title: Optimizing Blockchain Based Smart Grid Auctions: A Green Revolution

abstract: Traditional smart grid energy auctions cannot directly be integrated in blockchain due to its decentralized nature. Therefore, research works are being carried out to propose efficient decentralized auctions for energy trading. Since, blockchain is a novel paradigm which ensures trust, but it also comes up with a curse of high computation and communication complexity which eventually causes resource scarcity. Therefore, there is a need to develop and encourage development of greener and computational-friendly auctions to carry out decentralized energy trading. In this paper, we first provide a thorough motivation of decentralized auctions over traditional auctions. Afterwards, we provide in-depth design requirements that can be taken into consideration while developing such auctions. After that, we analyze technical works that have developed blockchain based energy auctions from green perspective. Finally, we summarize the article by providing challenges and possible future research directions of blockchain based energy auction from green viewpoint.


title: Human Values in Software Release Planning

abstract: Software products have become an integral part of human lives, and therefore need to account for human values such as privacy, fairness, and equality. Ignoring human values in software development leads to biases and violations of human values: racial biases in recidivism assessment and facial recognition software are well-known examples of such issues. One of the most critical steps in software development is Software Release Planning (SRP), where decisions are made about the presence or absence of the requirements (features) in the software. Such decisions are primarily guided by the economic value of the requirements, ignoring their impacts on a broader range of human values. That may result in ignoring (selecting) requirements that positively (negatively) impact human values, increasing the risk of value breaches in the software. To address this, we have proposed an Integer Programming approach to considering human values in software release planning. In this regard, an Integer Linear Programming (ILP) model has been proposed, that explicitly accounts for human values in finding an "optimal" subset of the requirements. The ILP model exploits the algebraic structure of fuzzy graphs to capture dependencies and conflicts among the values of the requirements.


title: One Size Does Not Fit All: Finding the Optimal Subword Sizes for FastText Models across Languages

abstract: Unsupervised representation learning of words from large multilingual corpora is useful for downstream tasks such as word sense disambiguation, semantic text similarity, and information retrieval. The representation precision of log-bilinear fastText models is mostly due to their use of subword information. In previous work, the optimization of fastText's subword sizes has not been fully explored, and non-English fastText models were trained using subword sizes optimized for English and German word analogy tasks. In our work, we find the optimal subword sizes on the English, German, Czech, Italian, Spanish, French, Hindi, Turkish, and Russian word analogy tasks. We then propose a simple n-gram coverage model and we show that it predicts better-than-default subword sizes on the Spanish, French, Hindi, Turkish, and Russian word analogy tasks. We show that the optimization of fastText's subword sizes matters and results in a 14% improvement on the Czech word analogy task. We also show that expensive parameter optimization can be replaced by a simple n-gram coverage model that consistently improves the accuracy of fastText models on the word analogy tasks by up to 3% compared to the default subword sizes, and that it is within 1% accuracy of the optimal subword sizes.


title: Temporal Cascade and Structural Modelling of EHRs for Granular Readmission Prediction

abstract: Predicting (1) when the next hospital admission occurs and (2) what will happen in the next admission about a patient by mining electronic health record (EHR) data can provide granular readmission predictions to assist clinical decision making. Recurrent neural network (RNN) and point process models are usually employed in modelling temporal sequential data. Simple RNN models assume that sequences of hospital visits follow strict causal dependencies between consecutive visits. However, in the real-world, a patient may have multiple co-existing chronic medical conditions, i.e., multimorbidity, which results in a cascade of visits where a non-immediate historical visit can be most influential to the next visit. Although a point process (e.g., Hawkes process) is able to model a cascade temporal relationship, it strongly relies on a prior generative process assumption. We propose a novel model, MEDCAS, to address these challenges. MEDCAS combines the strengths of RNN-based models and point processes by integrating point processes in modelling visit types and time gaps into an attention-based sequence-to-sequence learning model, which is able to capture the temporal cascade relationships. To supplement the patients with short visit sequences, a structural modelling technique with graph-based methods is used to construct the markers of the point process in MEDCAS. Extensive experiments on three real-world EHR datasets have been performed and the results demonstrate that \texttt{MEDCAS} outperforms state-of-the-art models in both tasks.


title: Nonlinear diffusion in transparent media

abstract: We consider a prototypical nonlinear parabolic equation whose flux has three distinguished features: it is nonlinear with respect to both the unknown and its gradient, it is homogeneous, and it depends only on the direction of the gradient. For such equation, we obtain existence and uniqueness of entropy solutions to the Dirichlet problem, the homogeneous Neumann problem, and the Cauchy problem. Qualitative properties of solutions, such as finite speed of propagation and the occurrence of waiting-time phenomena, with sharp bounds, are shown. We also discuss the formation of jump discontinuities both at the boundary of the solutions' support and in the bulk.


title: Lookup subnet based Spatial Graph Convolutional neural Network

abstract: Convolutional Neural Networks(CNNs) has achieved remarkable performance breakthrough in Euclidean structure data. Recently, aggregation-transformation based Graph Neural networks(GNNs) gradually produce a powerful performance on non-Euclidean data. In this paper, we propose a cross-correlation based graph convolution method allowing to naturally generalize CNNs to non-Euclidean domains and inherit the excellent natures of CNNs, such as local filters, parameter sharing, flexible receptive field, etc. Meanwhile, it leverages dynamically generated convolution kernel and cross-correlation operators to address the shortcomings of prior methods based on aggregation-transformation or their approximations. Our method has achieved or matched popular state-of-the-art results across three established graph benchmarks: the Cora, Citeseer, and Pubmed citation network datasets.


title: Mean-field control variate methods for kinetic equations with uncertainties and applications to socio-economic sciences

abstract: In this paper, we extend a recently introduced multi-fidelity control variate for the uncertainty quantification of the Boltzmann equation to the case of kinetic models arising in the study of multiagent systems. For these phenomena, where the effect of uncertainties is particularly evident, several models have been developed whose equilibrium states are typically unknown. In particular, we aim to develop efficient numerical methods based on solving the kinetic equations in the phase space by Direct Simulation Monte Carlo (DSMC) coupled to a Monte Carlo sampling in the random space. To this end, exploiting the knowledge of the corresponding mean-field approximation we develop novel mean-field Control Variate (MFCV) methods that are able to strongly reduce the variance of the standard Monte Carlo sampling method in the random space. We verify these observations with several numerical examples based on classical models , including wealth exchanges and opinion formation model for collective phenomena.

categories: math.NA cond-mat.stat-mech cs.NA nlin.AO


title: Lattice dynamics effects on finite-temperature stability of $R_{1-x}$Fe$_{x}$ ($R$ = Y, Ce, Nd, Sm, and Dy) alloys from first principles

abstract: We report the effects of lattice dynamics on thermodynamic stability of binary $R_{1-x}$Fe$_x$ $(0<x<1)$ compounds ($R$: rare-earth elements, Y, Ce, Nd, Sm, and Dy) at finite temperature predicted by first-principles calculation based on density functional theory (DFT). We first demonstrate that the thermodynamic stability of $R_{1-x}$Fe$_x$ $(0<x<1)$ alloys cannot be predicted accurately by the conventional approach, where only the static DFT energy at $T = 0$ K is used. This issue can be overcome by considering the entropy contribution, including electronic and vibrational free energies, and we obtained convex hull plots at finite temperatures that successfully explain the thermodynamic stability of various known compounds. Our systematic calculation indicates that vibrational entropy helps stabilize various $R_{1-x}$Fe$_x$ compounds with increasing temperature. In particular, experimentally reported $R_2$Fe$_{17}$ compounds are predicted to become thermodynamically stable above $\sim$800 K. We also show that thermodynamic stability is rare-earth dependent and discuss its origin. Besides the experimentally reported structures, the stability of two new monoclinic $R$Fe$_{12}$ structures found by Ishikawa \textit{et al.} [Phys. Rev. Mater.~\textbf{4}, 104408 (2020)] based on a genetic algorithm are investigated. These monoclinic phases are found to be dynamically stable and have larger magnetization than the ThMn$_{12}$-type $R$Fe$_{12}$. Although they are thermodynamically unstable, the formation energies decrease significantly with increasing temperature, indicating the possibility of synthesizing these compounds at high temperatures.


title: $p$-adic L-functions via local-global interpolation: the case of ${\rm GL}_2 \times {\rm GU}(1)$

abstract: Let $F$ be a totally real field and let $E/F$ be a CM quadratic extension. We construct a $p$-adic $L$-function attached to Hida families for the group ${\rm GL}_{2/F}\times {\rm Res}_{E/F}{\rm GL}_{1}$. It is characterised by an exact interpolation property for critical Rankin-Selberg $L$-values, at classical points corresponding to representations $\pi \boxtimes \chi$ with the weights of $\chi$ smaller than the weights of$\pi$. Our $p$-adic $L$-function agrees with previous results of Hida when $E/F$ splits above $p$ or $F=\mathbf{Q}$, and it is new otherwise. Exploring a method that should bear further fruits, we build it as a ratio of families of global and local Waldspurger zeta integrals, the latter constructed using the local Langlands correspondence in families. In an appendix of possibly independent recreational interest, we give a reality-TV-inspired proof of an identity concerning double factorials.


title: Why Do You Think It is a Black Hole?

abstract: This paper analyzes the experiment presented in 2019 by the Event Horizon Telescope (EHT) Collaboration that unveiled the first image of the supermassive black hole at the center of galaxy M87. The very first question asked by the EHT Collaboration was: What is the compact object at the center of galaxy M87? Does it have a horizon? Is it a Kerr black hole? In order to answer these questions, the EHT Collaboration first endorsed the working hypothesis that the central object is a black hole described by the Kerr metric, i.e. a spinning Kerr black hole as predicted by classical general relativity. They chose this hypothesis based on previous research and observations of the galaxy M87. After having adopted the Kerr black hole hypothesis, the EHT Collaboration proceeded to test it. They confronted this hypothesis with the data collected in the 2017 EHT experiment. They then compared the Kerr rotating black hole hypothesis with alternative explanations and finally found that their hypothesis was consistent with the data. In this paper, I describe the complex methods used to test the spinning Kerr black hole hypothesis. I conclude this paper with a discussion of the implications of the findings presented here with respect to Hawking radiation.


title: The housing problem and revealed preference theory: duality and an application

abstract: This paper exhibits a duality between the theory of Revealed Preference of Afriat and the housing allocation problem of Shapley and Scarf. In particular, it is shown that Afriat's theorem can be interpreted as a second welfare theorem in the housing problem. Using this duality, the revealed preference problem is connected to an optimal assignment problem, and a geometrical characterization of the rationalizability of experiment data is given. This allows in turn to give new indices of rationalizability of the data, and to define weaker notions of rationalizability, in the spirit of Afriat's efficiency index.


title: Risk Sensitive Path Integral Control for Infinite Horizon Problem Formulations

abstract: Path Integral Control methods were developed for stochastic optimal control covering a wide class of finite horizon formulations with control affine nonlinear dynamics. Characteristic for this class is that the HJB equation is linear and consequently the value function can be expressed as a conditional expectation of the exponentially weighted cost-to-go evaluated over trajectories with uncontrolled system dynamics, hence the name. Subsequently it was shown that under the same assumptions Path Integral Control generalises to finite horizon risk sensitive stochastic optimal control problems. Here we study whether the HJB of infinite horizon formulations can be made linear as well. Our interest in infinite horizon formulations is motivated by the stationarity of the associated value function and their inherent dynamic stability seeking nature. Technically a stationary value function may ease the solution of the associated linear HJB. Second we argue this may offer an interesting starting point for off-linear Reinforcement Learning applications. We show formally that the discounted and average cost formulations are respectively intractable and tractable.


title: Jellyfish galaxy candidates in MACS J0717.5+3745 and thirty-nine other clusters of the DAFT/FADA and CLASH surveys

abstract: Galaxies in clusters undergo several phenomena such as ram pressure stripping and tidal interactions, that can trigger or quench their star formation and, in some cases, lead to galaxies acquiring unusual shapes and long tails. We searched for jellyfish galaxy candidates in a sample of 40 clusters from the DAFT/FADA and CLASH surveys covering the redshift range 0.2<z<0.9. In MACS J0717.5+3745 (MACS0717), our large spatial coverage and abundant sampling of spectroscopic redshifts allowed us to pursue a detailed analysis of jellyfish galaxy candidates in this cluster and its extended filament. We looked at the Hubble Space Telescope images of all the cluster galaxies (based on redshifts), and classified them as a function of their likeliness to be jellyfish galaxies, and give catalogues of jellyfish candidates with positions, redshifts, magnitudes, and projected distance to the respective cluster centre. We found 81 jellyfish candidates in the extended region around MACS0717, and 97 in 22 other clusters. Jellyfish galaxy candidates in MACS0717 tend to avoid the densest regions of the cluster, while this does not appear to be the case in the other clusters. For 79 galaxies in MACS0717 and 31 in other clusters, we computed the best stellar population fits with LePhare through the GAZPAR interface. We find that jellyfish candidates tend to be star forming objects, with blue colours, young ages, high star formation rates and specific star formation rates. In a SFR versus stellar mass diagram, jellyfish galaxy candidates appear to have somewhat larger SFRs than non-jellyfish star forming galaxies Based on several arguments, the jellyfish candidates identified in MACS0717 seem to have fallen rather recently into the cluster. A very rough estimate of the proportions of jellyfish galaxies in the studied clusters is about 10%.


title: The morphology of average solar flare time profiles from observations of the Sun's lower atmosphere

abstract: We study the decay phase of solar flares in several spectral bands using a method based on that successfully applied to white light flares observed on an M4 dwarf. We selected and processed 102 events detected in the Sun-as-a-star flux obtained with SDO/AIA images in the 1600~{\AA} and 304~{\AA} channels and 54 events detected in the 1700~{\AA} channel. The main criterion for the selection of time profiles was a slow, continuous flux decay without significant new bursts. The obtained averaged time profiles were fitted with analytical templates, using different time intervals, that consisted of a combination of two independent exponents or a broken power law. The average flare profile observed in the 1700~{\AA} channel decayed more slowly than the average flare profile observed on the M4 dwarf. As the 1700~{\AA} emission is associated with a similar temperature to that usually ascribed to M dwarf flares, this implies that the M dwarf flare emission comes from a more dense layer than solar flare emission in the 1700~{\AA} band. The cooling processes in solar flares were best described by the two exponents model, fitted over the intervals t1=[0, 0.5]$t_{1/2}$ and t2=[3, 10]$t_{1/2}$ where $t_{1/2}$ is time taken for the profile to decay to half the maximum value. The broken power law model provided a good fit to the first decay phase, as it was able to account for the impact of chromospheric plasma evaporation, but it did not successfully fit the second decay phase.


title: A Faster Algorithm for Finding Closest Pairs in Hamming Metric

abstract: We study the Closest Pair Problem in Hamming metric, which asks to find the pair with the smallest Hamming distance in a collection of binary vectors. We give a new randomized algorithm for the problem on uniformly random input outperforming previous approaches whenever the dimension of input points is small compared to the dataset size. For moderate to large dimensions, our algorithm matches the time complexity of the previously best-known locality sensitive hashing based algorithms. Technically our algorithm follows similar design principles as Dubiner (IEEE Trans. Inf. Theory 2010) and May-Ozerov (Eurocrypt 2015). Besides improving the time complexity in the aforementioned areas, we significantly simplify the analysis of these previous works. We give a modular analysis, which allows us to investigate the performance of the algorithm also on non-uniform input distributions. Furthermore, we give a proof of concept implementation of our algorithm which performs well in comparison to a quadratic search baseline. This is the first step towards answering an open question raised by May and Ozerov regarding the practicability of algorithms following these design principles.


title: Atomic-Scale Vibrational Mapping and Isotope Identification with Electron Beams

abstract: Transmission electron microscopy and spectroscopy currently enable the acquisition of spatially resolved spectral information from a specimen by focusing electron beams down to a sub-Angstrom spot and then analyzing the energy of the inelastically scattered electrons with few-meV energy resolution. This technique has recently been used to experimentally resolve vibrational modes in 2D materials emerging at mid-infrared frequencies. Here, based on first-principles theory, we demonstrate the possibility of identifying single isotope atom impurities in a nanostructure through the trace that they leave in the spectral and spatial characteristics of the vibrational modes. Specifically, we examine a hexagonal boron nitride molecule as an example of application, in which the presence of a single isotope impurity is revealed through dramatic changes in the electron spectra, as well as in the space-, energy-, and momentum-resolved inelastic electron signal. We compare these results with conventional far-field spectroscopy, showing that electron beams offer superior spatial resolution combined with the ability to probe the complete set of vibrational modes, including those that are optically dark. Our study is relevant for the atomic-scale characterization of vibrational modes in novel materials, including a detailed mapping of isotope distributions.


title: VSEGAN: Visual Speech Enhancement Generative Adversarial Network

abstract: Speech enhancement is an essential task of improving speech quality in noise scenario. Several state-of-the-art approaches have introduced visual information for speech enhancement,since the visual aspect of speech is essentially unaffected by acoustic environment. This paper proposes a novel frameworkthat involves visual information for speech enhancement, by in-corporating a Generative Adversarial Network (GAN). In par-ticular, the proposed visual speech enhancement GAN consistof two networks trained in adversarial manner, i) a generator that adopts multi-layer feature fusion convolution network to enhance input noisy speech, and ii) a discriminator that attemptsto minimize the discrepancy between the distributions of the clean speech signal and enhanced speech signal. Experiment re-sults demonstrated superior performance of the proposed modelagainst several state-of-the-art


title: A formalization of Dedekind domains and class groups of global fields

abstract: Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory. We formalized these structures and several fundamental properties, including number theoretic finiteness results for class groups, in the Lean prover as part of the mathlib mathematical library. This paper describes the formalization process, noting the idioms we found useful in our development and mathlib's decentralized collaboration processes involved in this project.


title: An Empirical Analysis of Implementing Enterprise Blockchain Protocols in Supply Chain Anti-Counterfeiting and Traceability

abstract: A variety of innovative software solutions, addressing product anti-counterfeiting and record provenance of the wider supply chain industry, have been implemented. However, these solutions have been developed with centralized system architecture which could be susceptible to malicious modifications on states of product records and various potential security attacks leading to system failure and downtime. Blockchain technology has been enabling decentralized trust with a network of distributed peer nodes to maintain consistent shared states via a decentralized consensus reached, with which an idea of developing decentralized and reliable solutions has been basing on. A Decentralized NFC-Enabled Anti-Counterfeiting System (dNAS) was therefore proposed and developed, decentralizing a legacy anti-counterfeiting system of supply chain industry utilizing enterprise blockchain protocols and enterprise consortium, to facilitate trustworthy data provenance retrieval, verification and management, as well as strengthening capability of product anti-counterfeiting and traceability in supply chain industry. The adoption of enterprise blockchain protocols and implementations has been surging in supply chain industry given its advantages in scalability, governance and compatibility with existing supply chain systems and networks, but development and adoption of decentralized solutions could also impose additional implications to supply chain integrity, in terms of security, privacy and confidentiality. In this research, an empirical analysis performed against decentralized solutions, including dNAS, summarizes the effectiveness, limitations and future opportunities of developing decentralized solutions built around existing enterprise blockchain protocols and implementations for supply chain anti-counterfeiting and traceability.


title: A Learning-based Stochastic Driving Model for Autonomous Vehicle Testing

abstract: In the simulation-based testing and evaluation of autonomous vehicles (AVs), how background vehicles (BVs) drive directly influences the AV's driving behavior and further impacts the testing result. Existing simulation platforms use either pre-determined trajectories or deterministic driving models to model the BVs' behaviors. However, pre-determined BV trajectories can not react to the AV's maneuvers, and deterministic models are different from real human drivers due to the lack of stochastic components and errors. Both methods lead to unrealistic traffic scenarios. This paper presents a learning-based stochastic driving model that meets the unique needs of AV testing, i.e. interactive and human-like. The model is built based on the long-short-term-memory (LSTM) architecture. By incorporating the concept of quantile-regression to the loss function of the model, the stochastic behaviors are reproduced without any prior assumption of human drivers. The model is trained with the large-scale naturalistic driving data (NDD) from the Safety Pilot Model Deployment(SPMD) project and then compared with a stochastic intelligent driving model (IDM). Analysis of individual trajectories shows that the proposed model can reproduce more similar trajectories to human drivers than IDM. To validate the ability of the proposed model in generating a naturalistic driving environment, traffic simulation experiments are implemented. The results show that the traffic flow parameters such as speed, range, and headway distribution match closely with the NDD, which is of significant importance for AV testing and evaluation.


title: Long time-series NDVI reconstruction in cloud-prone regions via spatio-temporal tensor completion

abstract: The applications of Normalized Difference Vegetation Index (NDVI) time-series data are inevitably hampered by cloud-induced gaps and noise. Although numerous reconstruction methods have been developed, they have not effectively addressed the issues associated with large gaps in the time series over cloudy and rainy regions, due to the insufficient utilization of the spatial and temporal correlations. In this paper, an adaptive Spatio-Temporal Tensor Completion method (termed ST-Tensor) method is proposed to reconstruct long-term NDVI time series in cloud-prone regions, by making full use of the multi-dimensional spatio-temporal information simultaneously. For this purpose, a highly-correlated tensor is built by considering the correlations among the spatial neighbors, inter-annual variations, and periodic characteristics, in order to reconstruct the missing information via an adaptive-weighted low-rank tensor completion model. An iterative l1 trend filtering method is then implemented to eliminate the residual temporal noise. This new method was tested using MODIS 16-day composite NDVI products from 2001 to 2018 obtained in the region of Mainland Southeast Asia, where the rainy climate commonly induces large gaps and noise in the data. The qualitative and quantitative results indicate that the ST-Tensor method is more effective than the five previous methods in addressing the different missing data problems, especially the temporally continuous gaps and spatio-temporally continuous gaps. It is also shown that the ST-Tensor method performs better than the other methods in tracking NDVI seasonal trajectories, and is therefore a superior option for generating high-quality long-term NDVI time series for cloud-prone regions.


title: Sinking microplastics in the water column: simulations in the Mediterranean Sea

abstract: We study the vertical dispersion and distribution of negatively buoyant rigid microplastics within a realistic circulation model of the Mediterranean sea. We first propose an equation describing their idealized dynamics. In that framework, we evaluate the importance of some relevant physical effects: inertia, Coriolis force, small-scale turbulence and variable seawater density, and bound the relative error of simplifying the dynamics to a constant sinking velocity added to a large-scale velocity field. We then calculate the amount and vertical distribution of microplastic particles on the water column of the open ocean if their release from the sea surface is continuous at rates compatible with observations in the Mediterranean. The vertical distribution is found to be almost uniform with depth for the majority of our parameter range. Transient distributions from flash releases reveal a non-Gaussian character of the dispersion and various diffusion laws, both normal and anomalous. The origin of these behaviors is explored in terms of horizontal and vertical flow organization.


title: Linear complexity of some sequences derived from hyperelliptic curves of genus 2

abstract: For a given hyperelliptic curve $C$ over a finite field with Jacobian $J_C$, we consider the hyperelliptic analogue of the congruential generator defined by $W_n=W_{n-1}+D$ for $n\geq 1$ and $D,W_0\in J_C$. We show that curves of genus 2 produce sequences with large linear complexity.


title: Mixing time for the asymmetric simple exclusion process in a random environment

abstract: We consider the simple exclusion process in the integer segment $ [1, N]$ with $k\le N/2$ particles and spatially inhomogenous jumping rates. A particle at site $x\in [ 1, N]$ jumps to site $x-1$ (if $x\ge 2$) at rate $1-\omega_x$ and to site $x+1$ (if $x \le N-1$) at rate $\omega_x$ if the target site is not occupied. The sequence $\omega=(\omega_x)_{ x \in \mathbb{Z}}$ is chosen by IID sampling from a probability law whose support is bounded away from zero and one (in other words the random environment satisfies the uniform ellipticity condition). We further assume $\mathbb{E}[ \log \rho_1 ]<0$ where $\rho_1:= (1-\omega_1)/\omega_1$, which implies that our particles have a tendency to move to the right. We prove that the mixing time of the exclusion process in this setup grows like a power of $N$. More precisely, for the exclusion process with $N^{\beta+o(1)}$ particles where $\beta\in [0,1)$, we have in the large $N$ asymptotic $$ N^{\max\left(1,\frac {1}{\lambda}, \beta+ \frac 1 {2\lambda}\right)+o(1)} \le t_{\mathrm{Mix}}^{N,k} \le N^{C+o(1)}$$ where $\lambda>0$ is such that $\mathbb{E}[\rho_1^{\lambda}]=1$ ($\lambda=\infty$ if the equation has no positive root) and $C$ is a constant which depends on the distribution of $\omega$. We conjecture that our lower bound is sharp up to sub-polynomial correction.


title: Molecular nature of $P_{cs} (4459)$ and its heavy quark spin partners

abstract: Inspired by the observation of the $P_{cs} (4459)$ state by LHCb recently, we reexamine the results of the interaction of the $J/\psi \Lambda$ channel with its coupled channels, exploiting the coupled channel unitary approach combined with heavy quark spin and local hidden gauge symmetries. By tuning the only free parameter, we find a pole of $(4459.07+i6.89)$ MeV below the $\bar D^* \Xi_c$ threshold, which was consistent well with the mass and width of the $P_{cs} (4459)$ state. Thus, we assume the $P_{cs} (4459)$ state to be a $\bar D^* \Xi_c$ bound state with the uncertainties on its degeneracy with $J^P = \frac{1}{2}^-$ and $J^P = \frac{3}{2}^-$. For the degeneracy, it would have two-poles structure, like $P_c (4450)$ before. There is another pole in the $J^P = \frac{1}{2}^-$ sector, $(4310.53+i8.23)$ MeV, corresponding to a deep bound state of $\bar D \Xi_c$. Furthermore, the previously predicted loose bound states of $\bar D \Xi'_c$, $\bar D^* \Xi'_c$, $\bar D^* \Xi^*_c$ with $J=1/2,~I=0$ and $\bar D^* \Xi'_c$, $\bar D \Xi^*_c$, $\bar D^* \Xi_c^*$ with $J=3/2,~I=0$ may exist as either bound states or unbound virtual states. We hope that future experiments can search for the $\bar D^{(*)} \Xi_c$ molecular states in their dominant decay channels of $\bar D^{(*)}_s \Lambda_c$, also in the $J/\psi \Lambda$ and $\eta_c \Lambda$ channels to reveal their different nature.


title: Minimizing the alphabet size in codes with restricted error sets

abstract: This paper focuses on error-correcting codes that can handle a predefined set of specific error patterns. The need for such codes arises in many settings of practical interest, including wireless communication and flash memory systems. In many such settings, a smaller field size is achievable than that offered by MDS and other standard codes. We establish a connection between the minimum alphabet size for this generalized setting and the combinatorial properties of a hypergraph that represents the prespecified collection of error patterns. We also show a connection between error and erasure correcting codes in this specialized setting. This allows us to establish bounds on the minimum alphabet size and show an advantage of non-linear codes over linear codes in a generalized setting. We also consider a variation of the problem which allows a small probability of decoding error and relate it to an approximate version of hypergraph coloring.


title: Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks

abstract: Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multi-agent systems under a set of signal temporal logic tasks. In particular, the satisfaction of each of these signal temporal logic tasks depends on the behavior of a distinct set of agents. Instead of abstracting the agent dynamics and the temporal logic tasks into a discrete domain and solving the problem therein or using optimization-based methods, we derive collaborative feedback control laws. These control laws are based on a decentralized control barrier function condition that results in discontinuous control laws, as opposed to a centralized condition resembling the single-agent case. The benefits of our approach are inherent robustness properties typically present in feedback control as well as satisfaction guarantees for continuous-time multi-agent systems. More specifically, time-varying control barrier functions are used that account for the semantics of the signal temporal logic tasks at hand. For a certain fragment of signal temporal logic tasks, we further propose a systematic way to construct such control barrier functions. Finally, we show the efficacy and robustness of our framework in an experiment including a group of three omnidirectional robots.


title: Strategyproof Facility Location Mechanisms on Discrete Trees

abstract: We address the problem of strategyproof (SP) facility location mechanisms on discrete trees. Our main result is a full characterization of onto and SP mechanisms. In particular, we prove that when a single agent significantly affects the outcome, the trajectory of the facility is almost contained in the trajectory of the agent, and both move in the same direction along the common edges. We show tight relations of our characterization to previous results on discrete lines and on continuous trees. We then derive further implications of the main result for infinite discrete lines.


title: CKConv: Continuous Kernel Convolution For Sequential Data

abstract: Conventional neural architectures for sequential data present important limitations. Recurrent networks suffer from exploding and vanishing gradients, small effective memory horizons, and must be trained sequentially. Convolutional networks are unable to handle sequences of unknown size and their memory horizon must be defined a priori. In this work, we show that all these problems can be solved by formulating convolutional kernels in CNNs as continuous functions. The resulting Continuous Kernel Convolution (CKConv) allows us to model arbitrarily long sequences in a parallel manner, within a single operation, and without relying on any form of recurrence. We show that Continuous Kernel Convolutional Networks (CKCNNs) obtain state-of-the-art results in multiple datasets, e.g., permuted MNIST, and, thanks to their continuous nature, are able to handle non-uniformly sampled datasets and irregularly-sampled data natively. CKCNNs match or perform better than neural ODEs designed for these purposes in a faster and simpler manner.


title: Insurance Business and Sustainable Development

abstract: In this study, we will discuss recent developments in risk management of the global financial and insurance business with respect to sustainable development. So far climate change aspects have been the dominant aspect in managing sustainability risks and opportunities, accompanied by the development of several legislative initiatives triggered by supervisory authorities. However, a sole concentration on these aspects misses out other important economic and social facets of sustainable development goals formulated by the UN. Such aspects have very recently come into the focus of the European Committee concerning the Solvency II project for the European insurance industry. Clearly the new legislative expectations can be better handled by larger insurance companies and holdings than by small- and medium-sized mutual insurance companies which are numerous in central Europe, due to their historic development starting in the late medieval ages and early modern times. We therefore also concentrate on strategies within the risk management of such small- and medium-sized enterprises that can be achieved without much effort, in particular those that are not directly related to climate change.


title: On polynomials in spectral projections of spin operators

abstract: We show that the operator norm of an arbitrary bivariate polynomial, evaluated on certain spectral projections of spin operators, converges to the maximal value in the semiclassical limit. We contrast this limiting behavior with that of the polynomial when evaluated on random pairs of projections. The discrepancy is a consequence of a type of Slepian spectral concentration phenomenon, which we prove in some cases.


title: Moishezon morphisms

abstract: We try to understand which morphisms of complex analytic spaces come from algebraic geometry. We start with a series of conjectures, and then give some partial solutions.


title: Distances to Galactic X-ray Binaries with Gaia DR2

abstract: Precise and accurate measurements of distances to Galactic X-ray binaries (XRBs) reduce uncertainties in the determination of XRB physical parameters. We have cross-matched the XRB catalogues of Liu et al. (2006, 2007) to the results of Gaia Data Release 2. We identify 86 X-ray binaries with a Gaia candidate counterpart, of which 32 are low-mass X-ray binaries (LMXBs) and 54 are high-mass X-ray binaries (HMXBs). Distances to Gaia candidate counterparts are, on average, consistent with those measured by Hipparcos and radio parallaxes. When compared to distances measured by Gaia candidate counterparts, distances measured using Type I X-ray bursts are systematically larger, suggesting that these bursts reach only 50% of the Eddington limit. However, these results are strongly dependent on the prior assumptions used for estimating distance from the Gaia parallax measurements. Comparing positions of Gaia candidate counterparts for XRBs in our sample to positions of spiral arms in the Milky Way, we find that HMXBs exhibit mild preference for being closer to spiral arms; LMXBs exhibit mild preference for being closer to inter-arm regions. LMXBs do not exhibit any preference for leading or trailing their closest spiral arm. HMXBs exhibit a mild preference for trailing their closest spiral arm. The lack of a strong correlation between HMXBs and spiral arms may be explained by star formation occurring closer to the midpoint of the arms, or a time delay between star formation and HMXB formation manifesting as a spatial separation between HMXBs and the spiral arm where they formed.


title: Optimal control of a quasilinear parabolic equation and its time discretization

abstract: In this paper we discuss the optimal control of a quasilinear parabolic state equation. Its form is leaned on the kind of problems arising for example when controlling the anisotropic Allen-Cahn equation as a model for crystal growth. Motivated by this application we consider the state equation as a result of a gradient flow of an energy functional. The quasilinear term is strongly monotone and obeys a certain growth condition and the lower order term is non-monotone. The state equation is discretized implicitly in time with piecewise constant functions. The existence of the control-to-state operator and its Lipschitz-continuity is shown for the time discretized as well as for the time continuous problem. Latter is based on the convergence proof of the discretized solutions. Finally we present for both the existence of global minimizers. Also convergence of a subsequence of time discrete optimal controls to a global minimizer of the time continuous problem can be shown. Our results hold in arbitrary space dimensions.


title: A Deep Collocation Method for the Bending Analysis of Kirchhoff Plate

abstract: In this paper, a deep collocation method (DCM) for thin plate bending problems is proposed. This method takes advantage of computational graphs and backpropagation algorithms involved in deep learning. Besides, the proposed DCM is based on a feedforward deep neural network (DNN) and differs from most previous applications of deep learning for mechanical problems. First, batches of randomly distributed collocation points are initially generated inside the domain and along the boundaries. A loss function is built with the aim that the governing partial differential equations (PDEs) of Kirchhoff plate bending problems, and the boundary/initial conditions are minimised at those collocation points. A combination of optimizers is adopted in the backpropagation process to minimize the loss function so as to obtain the optimal hyperparameters. In Kirchhoff plate bending problems, the C1 continuity requirement poses significant difficulties in traditional mesh-based methods. This can be solved by the proposed DCM, which uses a deep neural network to approximate the continuous transversal deflection, and is proved to be suitable to the bending analysis of Kirchhoff plate of various geometries.


title: Optimised one-class classification performance

abstract: We provide a thorough treatment of one-class classification with hyperparameter optimisation for five data descriptors: Support Vector Machine (SVM), Nearest Neighbour Distance (NND), Localised Nearest Neighbour Distance (LNND), Local Outlier Factor (LOF) and Average Localised Proximity (ALP). The hyperparameters of SVM and LOF have to be optimised through cross-validation, while NND, LNND and ALP allow an efficient form of leave-one-out validation and the reuse of a single nearest-neighbour query. We experimentally evaluate the effect of hyperparameter optimisation with 246 classification problems drawn from 50 datasets. From a selection of optimisation algorithms, the recent Malherbe-Powell proposal optimises the hyperparameters of all data descriptors most efficiently. We calculate the increase in test AUROC and the amount of overfitting as a function of the number of hyperparameter evaluations. After 50 evaluations, ALP and SVM significantly outperform LOF, NND and LNND, and LOF and NND outperform LNND. The performance of ALP and SVM is comparable, but ALP can be optimised more efficiently so constitutes a good default choice. Alternatively, using validation AUROC as a selection criterion between ALP or SVM gives the best overall result, and NND is the least computationally demanding option. We thus end up with a clear trade-off between three choices, allowing practitioners to make an informed decision.


title: Holographic tensor network models and quantum error correction: A topical review

abstract: Recent progress in studies of holographic dualities, originally motivated by insights from string theory, has led to a confluence with concepts and techniques from quantum information theory. A particularly successful approach has involved capturing holographic properties by means of tensor networks which not only give rise to physically meaningful correlations of holographic boundary states, but also reproduce and refine features of quantum error correction in holography. This topical review provides an overview over recent successful realizations of such models. It does so by building on an introduction of the theoretical foundations of AdS/CFT and necessary quantum information concepts, many of which have themselves developed into independent, rapidly evolving research fields.


title: Electricity-gas integrated energy system optimal operation in typical scenario of coal district considering hydrogen heavy trucks

abstract: The coal industry contributes significantly to the social economy, but the emission of greenhouse gases puts huge pressure on the environment in the process of mining, transportation, and power generation. In the integrated energy system (IES), the current research about the power-to-gas (P2G) technology mainly focuses on the injection of hydrogen generated from renewable energy electrolyzed water into natural gas pipelines, which may cause hydrogen embrittlement of the pipeline and cannot be repaired. In this paper, sufficient hydrogen energy can be produced through P2G technology and coal-to-hydrogen (C2H) of coal gasification, considering the scenario of coal district is rich in coal and renewable energy. In order to transport the mined coal to the destination, hydrogen heavy trucks have a broad space for development, which can absorb hydrogen energy in time and avoid potentially dangerous hydrogen injection into pipelines and relatively expensive hydrogen storage. An optimized scheduling model of electric-gas IES is proposed based on second-order cone programming (SOCP). In the model proposed above, the closed industrial loop (including coal mining, hydrogen production, truck transportation of coal, and integrated energy systems) has been innovatively studied, to consume renewable energy and coordinate multi-energy. Finally, an electric-gas IES study case constructed by IEEE 30-node power system and Belgium 24-node natural gas network was used to analyze and verify the economy, low carbon, and effectiveness of the proposed mechanism.


title: Hex implies Y

abstract: We give a simple and short proof of the fact that the board game of Y cannot end in a draw. Our proof, based on the analogous result for the game of Hex (the so-called 'Hex Theorem'), is purely topological and does not depend on the shape of the board. We also include a simplified version of Gale's proof of Hex Theorem.


title: The climate impact of ICT: A review of estimates, trends and regulations

abstract: In this report, we examine the available evidence regarding ICT's current and projected climate impacts. We examine peer-reviewed studies which estimate ICT's current share of global greenhouse gas (GHG) emissions to be 1.8-2.8% of global GHG emissions. Our findings indicate that published estimates all underestimate the carbon footprint of ICT, possibly by as much as 25%, by failing to account for all of ICT's supply chains and full lifecycle (i.e. emissions scopes 1, 2 and fully inclusive 3). Adjusting for truncation of supply chain pathways, we estimate that ICT's share of emissions could actually be as high as 2.1-3.9%. There are pronounced differences between available projections of ICT's future emissions. These projections are dependent on underlying assumptions that are sometimes, but not always, made explicit - and we explore these in the report. Whatever assumptions analysts take, they agree that ICT will not reduce its emissions without a major concerted effort involving broad political and industrial action. We provide three reasons to believe ICT emissions are going to increase barring a targeted intervention, and we note that in light of these, it seems risky to assume that ICT will, by default, assist in the attainment of climate targets. Based on our analysis, we find that not all carbon pledges in the ICT sector are ambitious enough to meet climate targets. We explore the underdevelopment of mechanisms for enforcing sector-wide compliance, and contend that without a global carbon constraint, a new regulatory framework is required to keep the ICT sector's carbon footprint in alignment with the Paris Agreement. We further contend that a global carbon constraint should be viewed as a significant opportunity for the ICT sector, as efficiencies within and enabled by ICT would be even greater enablers of productivity and utility than they are today.


title: Cryptocurrency Solutions to Enable Micro-payments in Consumer IoT

abstract: The successful amalgamation of cryptocurrency and consumer Internet of Things (IoT) devices can pave the way for novel applications in machine-to-machine economy. However, the lack of scalability and heavy resource requirements of initial blockchain designs hinders the integration as they prioritized decentralization and security. Numerous solutions have been proposed since the emergence of Bitcoin to achieve this goal. However, none of them seem to dominate and thus it is unclear how consumer devices will be adopting these approaches. Therefore, in this paper, we critically review the existing integration approaches and cryptocurrency designs that strive to enable micro-payments among consumer devices. We identify and discuss solutions under three main categories; direct integration, payment channel network and new cryptocurrency design. The first approach utilizes a full node to interact with the payment system. Offline channel payment is suggested as a second layer solution to solve the scalability issue and enable instant payment with low fee. New designs converge to semi-centralized scheme and focuson lightweight consensus protocol that does not require highcomputation power which might mean loosening the initial designchoices in favor of scalability. We evaluate the pros and cons ofeach of these approaches and then point out future researchchallenges. Our goal is to help researchers and practitioners tobetter focus their efforts to facilitate micro-payment adoptions.


title: The #ETH is False, #k-SAT is in Sub-Exponential Time

abstract: We orchestrate a randomized algorithm for #$k$-SAT which counts the exact number of satisfying assignments in $2^{o(n)}$ time. The existence of such algorithm signifies that the #ETH is hereby refuted, and so are $\oplus$ETH, ETH, #SETH, $\oplus$SETH and SETH.


title: Safety Case Templates for Autonomous Systems

abstract: This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the development of safety requirements, hazard analysis, a safety monitor architecture for an autonomous system including at least one ML element, a component with ML and the adaptation and change of the system over time. The report also presents generic templates for argument defeaters and evidence confidence that can be used to strengthen, review, and adapt the templates as necessary. This report is made available to get feedback on the approach and on the templates. This work was sponsored by the UK Dstl under the R-cloud framework.


title: Unperturbed inverse kinematics nucleon knockout measurements with a 48 GeV/c carbon beam

abstract: From superconductors to atomic nuclei, strongly-interacting many-body systems are ubiquitous in nature. Measuring the microscopic structure of such systems is a formidable challenge, often met by particle knockout scattering experiments. While such measurements are fundamental for mapping the structure of atomic nuclei, their interpretation is often challenged by quantum mechanical initial- and final-state interactions (ISI/FSI) of the incoming and scattered particles. Here we overcome this fundamental limitation by measuring the quasi-free scattering of 48 GeV/c 12C ions from hydrogen. The distribution of single protons is studied by detecting two protons at large angles in coincidence with an intact 11B nucleus. The 11B detection is shown to select the transparent part of the reaction and exclude the otherwise large ISI/FSI that would break the 11B apart. By further detecting residual 10B and 10Be nuclei, we also identified short-range correlated (SRC) nucleon-nucleon pairs, and provide direct experimental evidence for the separation of the pair wave-function from that of the residual many-body nuclear system. All measured reactions are well described by theoretical calculations that do not contain ISI/FSI distortions. Our results thus showcase a new ability to study the short-distance structure of short-lived radioactive atomic nuclei at the forthcoming FAIR and FRIB facilities. These studies will be pivotal for developing a ground-breaking microscopic understanding of the structure and properties of nuclei far from stability and the formation of visible matter in the universe.


title: Formalising a Turing-Complete Choreographic Language in Coq

abstract: Theory of choreographic languages typically includes a number of complex results that are proved by structural induction. The high number of cases and the subtle details in some of them lead to long reviewing processes, and occasionally to errors being found in published proofs. In this work, we take a published proof of Turing completeness of a choreographic language and formalise it in Coq. Our development includes formalising the choreographic language and its basic properties, Kleene's theory of partial recursive functions, the encoding of these functions as choreographies, and proving this encoding correct. With this effort, we show that theorem proving can be a very useful tool in the field of choreographic languages: besides the added degree of confidence that we get from a mechanised proof, the formalisation process led us to a significant simplification of the underlying theory. Our results offer a foundation for the future formal development of choreographic languages.


title: Large $N$ limit of the $O(N)$ linear sigma model in 3D

abstract: In this paper we study the large N limit of the $O(N)$-invariant linear sigma model, which is a vector-valued generalization of the $\Phi^4$ quantum field theory, on the three dimensional torus. We study the problem via its stochastic quantization, which yields a coupled system of N interacting SPDEs. We prove tightness of the invariant measures in the large N limit. For large enough mass or small enough coupling constant, they converge to the (massive) Gaussian free field at a rate of order $1/\sqrt N$ with respect to the Wasserstein distance. We also obtain tightness results for certain $O(N)$ invariant observables. These generalize some of the results in \cite{SSZZ20} from two dimensions to three dimensions. The proof leverages the method recently developed by \cite{GH18} and combines many new techniques such as uniform in $N$ estimates on perturbative objects as well as the solutions.


title: Learning Monocular Depth in Dynamic Scenes via Instance-Aware Projection Consistency

abstract: We present an end-to-end joint training framework that explicitly models 6-DoF motion of multiple dynamic objects, ego-motion and depth in a monocular camera setup without supervision. Our technical contributions are three-fold. First, we highlight the fundamental difference between inverse and forward projection while modeling the individual motion of each rigid object, and propose a geometrically correct projection pipeline using a neural forward projection module. Second, we design a unified instance-aware photometric and geometric consistency loss that holistically imposes self-supervisory signals for every background and object region. Lastly, we introduce a general-purpose auto-annotation scheme using any off-the-shelf instance segmentation and optical flow models to produce video instance segmentation maps that will be utilized as input to our training pipeline. These proposed elements are validated in a detailed ablation study. Through extensive experiments conducted on the KITTI and Cityscapes dataset, our framework is shown to outperform the state-of-the-art depth and motion estimation methods. Our code, dataset, and models are available at https://github.com/SeokjuLee/Insta-DM .


title: All-electron full-potential implementation of real-time TDDFT in exciting

abstract: Linearized augmented planewaves combined with local-orbitals (LAPW+lo) are arguably the most precise basis set to represent Kohn-Sham states. When employed within real-time time-dependent density functional theory (RT-TDDFT), they promise ultimate precision achievable for exploring the evolution of electronic excitations. In this work, we present an implementation of RT-TDDFT in the full-potential LAPW+lo code exciting. We benchmark our results against those obtained by linear-response TDDFT with exciting and by RT-TDDFT calculations with the Octopus code, finding a satisfactory level of agreement. To illustrate possible applications of our implementation, we have chosen three examples: the dynamic behavior of excitations in MoS$_2$ induced by a laser pulse, the third harmonic generation in silicon, and a pump-probe experiment in diamond.


title: Universal Approximation Theorems of Fully Connected Binarized Neural Networks

abstract: Neural networks (NNs) are known for their high predictive accuracy in complex learning problems. Beside practical advantages, NNs also indicate favourable theoretical properties such as universal approximation (UA) theorems. Binarized Neural Networks (BNNs) significantly reduce time and memory demands by restricting the weight and activation domains to two values. Despite the practical advantages, theoretical guarantees based on UA theorems of BNNs are rather sparse in the literature. We close this gap by providing UA theorems for fully connected BNNs under the following scenarios: (1) for binarized inputs, UA can be constructively achieved under one hidden layer; (2) for inputs with real numbers, UA can not be achieved under one hidden layer but can be constructively achieved under two hidden layers for Lipschitz-continuous functions. Our results indicate that fully connected BNNs can approximate functions universally, under certain conditions.


title: Optimal Trajectories of a UAV Base Station Using Hamilton-Jacobi Equations

abstract: We consider the problem of optimizing the trajectory of an Unmanned Aerial Vehicle (UAV). Assuming a traffic intensity map of users to be served, the UAV must travel from a given initial location to a final position within a given duration and serves the traffic on its way. The problem consists in finding the optimal trajectory that minimizes a certain cost depending on the velocity and on the amount of served traffic. We formulate the problem using the framework of Lagrangian mechanics. We derive closed-form formulas for the optimal trajectory when the traffic intensity is quadratic (single-phase) using Hamilton-Jacobi equations. When the traffic intensity is bi-phase, i.e. made of two quadratics, we provide necessary conditions of optimality that allow us to propose a gradient-based algorithm and a new algorithm based on the linear control properties of the quadratic model. These two solutions are of very low complexity because they rely on fast convergence numerical schemes and closed form formulas. These two approaches return a trajectory satisfying the necessary conditions of optimality. At last, we propose a data processing procedure based on a modified K-means algorithm to derive a bi-phase model and an optimal trajectory simulation from real traffic data.


title: Noisy multistate voter model for flocking in finite dimensions

abstract: We study a model for the collective behavior of self-propelled particles subject to pairwise copying interactions and noise. Particles move at a constant speed $v$ on a two--dimensional space and, in a single step of the dynamics, each particle adopts the direction of motion of a randomly chosen neighboring particle, with the addition of a perturbation of amplitude $\eta$ (noise). We investigate how the global level of particles' alignment (order) is affected by their motion and the noise amplitude $\eta$. In the static case scenario $v=0$ where particles are fixed at the sites of a square lattice and interact with their first neighbors, we find that for any noise $\eta_c>0$ the system reaches a steady state of complete disorder in the thermodynamic limit, while for $\eta=0$ full order is eventually achieved for a system with any number of particles $N$. Therefore, the model displays a transition at zero noise when particles are static, and thus there are no ordered steady states for a finite noise ($\eta>0$). We show that the finite-size transition noise vanishes with $N$ as $\eta_c^{1D} \sim N^{-1}$ and $\eta_c^{2D} \sim \left(N \ln N \right)^{-1/2}$ in one and two--dimensional lattices, respectively, which is linked to known results on the behavior of a type of noisy voter model for catalytic reactions. When particles are allowed to move in the space at a finite speed $v>0$, an ordered phase emerges, characterized by a fraction of particles moving in a similar direction. The system exhibits an order-disorder phase transition at a noise amplitude $\eta_c>0$ that is proportional to $v$, and that scales approximately as $\eta_c \sim v \, (-\ln v)^{-1/2}$ for $v \ll 1$. These results show that the motion of particles is able to sustain a state of global order in a system with voter-like interactions.


title: Spherical Bessel functions

abstract: We examine indefinite integral involving of arbitrary power $x$, multiplied by three spherical Bessel functions of the first kind $j_{h},j_{k}$, and $j_{l}$ with integer order $h,k,l \geq 0$ and an exponential. Then we add some conditions for smooth calculation in considering the general and elementary exact evaluation. Thus, by measuring their equivalents, we can verify their accuracy


title: Modelagem para o Problema de Entrega de Refei\c{c}\~oes em Rio Claro-SP

abstract: Vehicle Routing Problems are problems in which a set of customers is visited by a set of vehicles. In this work, we model a multiobjective benchmark on a 2D map based on a realistic routing problem of food deliveries by motorcycles in the city of Rio Claro-SP. The generated map of Rio Claro presents 1566 streets with manually extracted coordinates and modeled through polygonal chains. We generate a total of 23 instances containing 2 to 7 deposits and up to 2000 delivery points. This work is an extension of \cite{2020zeni} in which the authors model the problem of mail delivery by postmen in the city of Artur Nogueira. The research of Zeni et al. has one deposit, while in this work we have multiple deposits. In Zeni et al., the city of Artur Nogueira was modeled, with 537 streets. In this work, a map of Rio Claro is modeled, with 1566 streets.


title: Deep Autoencoder-based Fuzzy C-Means for Topic Detection

abstract: Topic detection is a process for determining topics from a collection of textual data. One of the topic detection methods is a clustering-based method, which assumes that the centroids are topics. The clustering method has the advantage that it can process data with negative representations. Therefore, the clustering method allows a combination with a broader representation learning method. In this paper, we adopt deep learning for topic detection by using a deep autoencoder and fuzzy c-means called deep autoencoder-based fuzzy c-means (DFCM). The encoder of the autoencoder performs a lower-dimensional representation learning. Fuzzy c-means groups the lower-dimensional representation to identify the centroids. The autoencoder's decoder transforms back the centroids into the original representation to be interpreted as the topics. Our simulation shows that DFCM improves the coherence score of eigenspace-based fuzzy c-means (EFCM) and is comparable to the leading standard methods, i.e., nonnegative matrix factorization (NMF) or latent Dirichlet allocation (LDA).


title: Big Data Analytics Applying the Fusion Approach of Multicriteria Decision Making with Deep Learning Algorithms

abstract: Data is evolving with the rapid progress of population and communication for various types of devices such as networks, cloud computing, Internet of Things (IoT), actuators, and sensors. The increment of data and communication content goes with the equivalence of velocity, speed, size, and value to provide the useful and meaningful knowledge that helps to solve the future challenging tasks and latest issues. Besides, multicriteria based decision making is one of the key issues to solve for various issues related to the alternative effects in big data analysis. It tends to find a solution based on the latest machine learning techniques that include algorithms like decision making and deep learning mechanism based on multicriteria in providing insights to big data. On the other hand, the derivations are made for it to go with the approximations to increase the duality of runtime and improve the entire system's potentiality and efficacy. In essence, several fields, including business, agriculture, information technology, and computer science, use deep learning and multicriteria-based decision-making problems. This paper aims to provide various applications that involve the concepts of deep learning techniques and exploiting the multicriteria approaches for issues that are facing in big data analytics by proposing new studies with the fusion approaches of data-driven techniques.


title: Autodidactic Neurosurgeon: Collaborative Deep Inference for Mobile Edge Intelligence via Online Learning

abstract: Recent breakthroughs in deep learning (DL) have led to the emergence of many intelligent mobile applications and services, but in the meanwhile also pose unprecedented computing challenges on resource-constrained mobile devices. This paper builds a collaborative deep inference system between a resource-constrained mobile device and a powerful edge server, aiming at joining the power of both on-device processing and computation offloading. The basic idea of this system is to partition a deep neural network (DNN) into a front-end part running on the mobile device and a back-end part running on the edge server, with the key challenge being how to locate the optimal partition point to minimize the end-to-end inference delay. Unlike existing efforts on DNN partitioning that rely heavily on a dedicated offline profiling stage to search for the optimal partition point, our system has a built-in online learning module, called Autodidactic Neurosurgeon (ANS), to automatically learn the optimal partition point on-the-fly. Therefore, ANS is able to closely follow the changes of the system environment by generating new knowledge for adaptive decision making. The core of ANS is a novel contextual bandit learning algorithm, called $\mu$LinUCB, which not only has provable theoretical learning performance guarantee but also is ultra-lightweight for easy real-world implementation. We implement our system on a video stream object detection testbed to validate the design of ANS and evaluate its performance. The experiments show that ANS significantly outperforms state-of-the-art benchmarks in terms of tracking system changes and reducing the end-to-end inference delay.


title: Improving Reinforcement Learning with Human Assistance: An Argument for Human Subject Studies with HIPPO Gym

abstract: Reinforcement learning (RL) is a popular machine learning paradigm for game playing, robotics control, and other sequential decision tasks. However, RL agents often have long learning times with high data requirements because they begin by acting randomly. In order to better learn in complex tasks, this article argues that an external teacher can often significantly help the RL agent learn. OpenAI Gym is a common framework for RL research, including a large number of standard environments and agents, making RL research significantly more accessible. This article introduces our new open-source RL framework, the Human Input Parsing Platform for Openai Gym (HIPPO Gym), and the design decisions that went into its creation. The goal of this platform is to facilitate human-RL research, again lowering the bar so that more researchers can quickly investigate different ways that human teachers could assist RL agents, including learning from demonstrations, learning from feedback, or curriculum learning.


title: Low Bit-Rate Wideband Speech Coding: A Deep Generative Model based Approach

abstract: Traditional low bit-rate speech coding approach only handles narrowband speech at 8kHz, which limits further improvements in speech quality. Motivated by recent successful exploration of deep learning methods for image and speech compression, this paper presents a new approach through vector quantization (VQ) of mel-frequency cepstral coefficients (MFCCs) and using a deep generative model called WaveGlow to provide efficient and high-quality speech coding. The coding feature is sorely an 80-dimension MFCCs vector for 16kHz wideband speech, then speech coding at the bit-rate throughout 1000-2000 bit/s could be scalably implemented by applying different VQ schemes for MFCCs vector. This new deep generative network based codec works fast as the WaveGlow model abandons the sample-by-sample autoregressive mechanism. We evaluated this new approach over the multi-speaker TIMIT corpus, and experimental results demonstrate that it provides better speech quality compared with the state-of-the-art classic MELPe codec at lower bit-rate.


title: Exact Solutions of the Cubic-Quintic Duffing Equation Using Leaf Functions

abstract: The exact solutions of both the cubic Duffing equation and cubic-quintic Duffing equation are presented by using only leaf functions. In previous studies, exact solutions of the cubic Duffing equation have been proposed using functions that integrate leaf functions in the phase of trigonometric functions. Because they are not simple, the procedures for transforming the exact solutions are complicated and not convenient. The first derivative of the leaf function can be derived as the root. This derivative can be factored. These factors or multiplications of factors are exact solutions to the Duffing equation. Some of these exact solutions are of the same type as the cubic Duffing equation reported in previously. Some of these exact solutions satisfy the exact solutions of the cubic--quintic Duffing equations with high nonlinearity. In this study, the relationship between the parameters of these exact solutions and the coefficients of the terms of the Duffing equation is clarified. We numerically analyze these exact solutions, plot the waveform, and discuss the periodicity and amplitude of the waveform.


title: Asymptotically Exact and Fast Gaussian Copula Models for Imputation of Mixed Data Types

abstract: Missing values with mixed data types is a common problem in a large number of machine learning applications such as processing of surveys and in different medical applications. Recently, Gaussian copula models have been suggested as a means of performing imputation of missing values using a probabilistic framework. While the present Gaussian copula models have shown to yield state of the art performance, they have two limitations: they are based on an approximation that is fast but may be imprecise and they do not support unordered multinomial variables. We address the first limitation using direct and arbitrarily precise approximations both for model estimation and imputation by using randomized quasi-Monte Carlo procedures. The method we provide has lower errors for the estimated model parameters and the imputed values, compared to previously proposed methods. We also extend the previous Gaussian copula models to include unordered multinomial variables in addition to the present support of ordinal, binary, and continuous variables.


title: Exact surface energy and helical spinons in the XXZ spin chain with arbitrary non-diagonal boundary fields

abstract: An analytic method is proposed to compute the surface energy and elementary excitations of the XXZ spin chain with generic non-diagonal boundary fields. For the gapped case, in some boundary parameter regimes the contributions of the two boundary fields to the surface energy are non-additive. Such a correlation effect between the two boundaries also depends on the parity of the site number $N$ even in the thermodynamic limit $N\to\infty$. For the gapless case, contributions of the two boundary fields to the surface energy are additive due to the absence of long-range correlation in the bulk. Although the $U(1)$ symmetry of the system is broken, exact spinon-like excitations, which obviously do not carry spin-$\frac12$, are observed. The present method provides an universal procedure to deal with quantum integrable systems either with or without $U(1)$ symmetry.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: The 2021 Quantum Materials Roadmap

abstract: In recent years, the notion of Quantum Materials has emerged as a powerful unifying concept across diverse fields of science and engineering, from condensed-matter and cold atom physics to materials science and quantum computing. Beyond traditional quantum materials such as unconventional superconductors, heavy fermions, and multiferroics, the field has significantly expanded to encompass topological quantum matter, two-dimensional materials and their van der Waals heterostructures, Moire materials, Floquet time crystals, as well as materials and devices for quantum computation with Majorana fermions. In this Roadmap collection we aim to capture a snapshot of the most recent developments in the field, and to identify outstanding challenges and emerging opportunities. The format of the Roadmap, whereby experts in each discipline share their viewpoint and articulate their vision for quantum materials, reflects the dynamic and multifaceted nature of this research area, and is meant to encourage exchanges and discussions across traditional disciplinary boundaries. It is our hope that this collective vision will contribute to sparking new fascinating questions and activities at the intersection of materials science, condensed matter physics, device engineering, and quantum information, and to shaping a clearer landscape of quantum materials science as a new frontier of interdisciplinary scientific inquiry.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con quant-ph


title: Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs

abstract: The emergence of Machine Learning (ML) as a powerful technique has been helping nearly all fields of business to increase operational efficiency or to develop new value propositions. Besides the challenges of deploying and maintaining ML models, picking the right edge device (e.g., GPGPUs) to run these models (e.g., CNN with the massive computational process) is one of the most pressing challenges faced by organizations today. As the cost of renting (on Cloud) or purchasing an edge device is directly connected to the cost of final products or services, choosing the most efficient device is essential. However, this decision making requires deep knowledge about performance and power consumption of the ML models running on edge devices that must be identified at the early stage of ML workflow. In this paper, we present a novel ML-based approach that provides ML engineers with the early estimation of both power consumption and performance of CUDA-based CNNs on GPGPUs. The proposed approach empowers ML engineers to pick the most efficient GPGPU for a given CNN model at the early stage of development.


title: Construction of networks by associating with submanifolds of almost Hermitian manifolds

abstract: The idea that data lies on a non-linear space has brought up the concept of manifold learning as a part of machine learning.


title: Theoretical and Experimental Investigation into the flight of an X-Zylo

abstract: Flying Gyroscopes are fascinating flight objects, which, due to gyroscopic stabilization, can achieve surprisingly long flight distances when thrown with rapid spin. The most common example hereby is a traditional Frisbee disc. This paper focuses on a similar object called X-Zylo, that shows a remarkable straight flight despite its simple geometry. The main aim of the present study is to investigate the flight behavior of the X-Zylo and to build a reliable groundwork for further quantitative parameter studies on ring wing configurations. To achieve this goal, a six degree of freedom model to predict the flight trajectory was developed. The trajectory computation uses interpolated high-fidelity CFD simulation data to calculate the acting moments and forces on the object during flight. A launch contraption was built to be able to validate the theory systematically and reproducible in experiments without human factors involved in the launch. Despite the complexity of the flight, the theoretical simulations match the real world data qualitatively, however quantitative differences still prevail. The investigation shows that the deviation between theory and experiment mostly stems from uncertainties in the CFD data as well as the optical recording of the experimental data. Despite the methods outperforming those of prior studies, advancements still have to be made in those areas in order to obtain better quantitative accordance between theory and experiment.


title: Analytic Methods for Differential Algebraic Equations

abstract: We introduce methods for deriving analytic solutions from differential-algebraic systems of equations (DAEs), as well as methods for deriving governing equations for analytic characterization which is currently limited to very small systems as it is carried out by hand. Analytic solutions to the system and analytic characterization through governing equations provide insights into the behaviors of DAEs as well as the parametric regions of operation for each potential behavior. For each system (DAEs), and choice of dependent variable, there is a corresponding governing equation which is univariate ODE or PDE that is typically higher order than the constitutive equations of the system. We first introduce a direct formulation for representing systems of linear DAEs. Unlike state space formulations, our formulation follows very directly from the system of constitutive equations without the need for introducing state variables or singular matrices. Using this formulation for the system of constitutive equations (DAEs), we develop methods for deriving analytic expressions for the full solution (complementary and particular) for all dependent variables of systems that consist of constant coefficient ordinary-DAEs and special cases of partial-DAEs. We also develop methods for deriving the governing equation for a chosen dependent variable for the constant coefficient ordinary-DAEs and partial-DAEs as well as special cases of variable coefficient DAEs. The methods can be automated with symbolic coding environments thereby allowing for dealing with systems of any size while retaining analytic nature. This is relevant for interpretable modeling, analytic characterization and estimation, and engineering design in which the objective is to tune parameter values to achieve specific behavior. Such insights cannot directly be obtained using numerical simulations.


title: A step toward a reinforcement learning de novo genome assembler

abstract: De novo genome assembly is a relevant but computationally complex task in genomics. Although de novo assemblers have been used successfully in several genomics projects, there is still no 'best assembler', and the choice and setup of assemblers still rely on bioinformatics experts. Thus, as with other computationally complex problems, machine learning may emerge as an alternative (or complementary) way for developing more accurate and automated assemblers. Reinforcement learning has proven promising for solving complex activities without supervision - such games - and there is a pressing need to understand the limits of this approach to 'real' problems, such as the DFA problem. This study aimed to shed light on the application of machine learning, using reinforcement learning (RL), in genome assembly. We expanded upon the sole previous approach found in the literature to solve this problem by carefully exploring the learning aspects of the proposed intelligent agent, which uses the Q-learning algorithm, and we provided insights for the next steps of automated genome assembly development. We improved the reward system and optimized the exploration of the state space based on pruning and in collaboration with evolutionary computing. We tested the new approaches on 23 new larger environments, which are all available on the internet. Our results suggest consistent performance progress; however, we also found limitations, especially concerning the high dimensionality of state and action spaces. Finally, we discuss paths for achieving efficient and automated genome assembly in real scenarios considering successful RL applications - including deep reinforcement learning.


title: Collatz mapping on $\mathbb{Z}/10\mathbb{Z}$

abstract: We introduce the \emph{Collatz conjecture} and its history. Some definition that this conjecture has, will be expressed and with these we try to explain some good lemma to justify the main properties of the \emph{Collatz conjecture}. With these lemmas a situation made to go through to write some mainly properties of Collatz graph on $\mathbb{Z}/10\mathbb{Z}$. Then with something provided it will go to draw the graph on $\mathbb{Z}/10\mathbb{Z}$.


title: CMC hypersurfaces with bounded Morse index

abstract: We develop a bubble-compactness theory for embedded CMC hypersurfaces with bounded index and area inside closed Riemannian manifolds in low dimensions. In particular we show that convergence always occurs with multiplicity one, which implies that the minimal blow-ups (bubbles) are all catenoids. We also provide bounds on the area of separating CMC surfaces of bounded (Morse) index and use this, together with the previous results, to bound their genus.


title: The formation history of the Milky Way disc with high-resolution cosmological simulations

abstract: We analyse from an observational perspective the formation history and kinematics of a Milky Way-like galaxy from a high-resolution zoom-in cosmological simulation that we compare to those of our Galaxy as seen by Gaia DR2 to better understand the origin and evolution of the Galactic thin and thick discs. The cosmological simulation was carried out with the GADGET-3 TreePM+SPH code using the MUlti Phase Particle Integrator (MUPPI) model. We disentangle the complex overlapping of stellar generations that rises from the top-down and inside-out formation of the galactic disc. We investigate cosmological signatures in the phase-space of mono-age populations and highlight features stemming from past and recent dynamical perturbations. In the simulation, we identify a satellite with a stellar mass of $1.2 \times 10^9$ M$_\odot$, i.e. stellar mass ratio $\Delta \sim 5.5$ per cent at the time, accreted at $z \sim 1.6$, which resembles the major merger Gaia-Sausage-Enceladus that produced the Galactic thick disc, i.e. $\Delta \sim 6$ per cent. We found at $z \sim 0.5-0.4$ two merging satellites with a stellar mass of $8.8 \times 10^8$ M$_\odot$ and $5.1 \times 10^8$ M$_\odot$ that are associated to a strong starburst in the Star Formation History, which appears fairly similar to that recently found in the Solar Neighbourhood. Our findings highlight that detailed studies of coeval stellar populations kinematics, which are made available by current and future Gaia data releases and in synergy with simulations, are fundamental to unravel the formation and evolution of the Milky Way discs.


title: Typicality and entropy of processes on infinite trees

abstract: Consider a uniformly sampled random $d$-regular graph on $n$ vertices. If $d$ is fixed and $n$ goes to $\infty$ then we can relate typical (large probability) properties of such random graph to a family of invariant random processes (called "typical" processes) on the infinite $d$-regular tree $T_d$. This correspondence between ergodic theory on $T_d$ and random regular graphs is already proven to be fruitful in both directions. This paper continues the investigation of typical processes with a special emphasis on entropy. We study a natural notion of micro-state entropy for invariant processes on $T_d$. It serves as a quantitative refinement of the notion of typicality and is tightly connected to the asymptotic free energy in statistical physics. Using entropy inequalities, we provide new sufficient conditions for typicality for edge Markov processes. We also extend these notions and results to processes on unimodular Galton-Watson random trees.