title: Typical Worlds

abstract: Hugh Everett III presented pure wave mechanics, sometimes referred to as the many-worlds interpretation, as a solution to the quantum measurement problem. While pure wave mechanics is an objectively deterministic physical theory with no probabilities, Everett sought to show how the theory might be understood as making the standard quantum statistical predictions as appearances to observers who were themselves described by the theory. We will consider his argument and how it depends on a particular notion of branch typicality. We will also consider responses to Everett and the relationship between typicality and probability. The suggestion will be that pure wave mechanics requires a number of significant auxiliary assumptions in order to make anything like the standard quantum predictions.


title: Flow Rate Control in Smart District Heating Systems Using Deep Reinforcement Learning

abstract: At high latitudes, many cities adopt a centralized heating system to improve the energy generation efficiency and to reduce pollution. In multi-tier systems, so-called district heating, there are a few efficient approaches for the flow rate control during the heating process. In this paper, we describe the theoretical methods to solve this problem by deep reinforcement learning and propose a cloud-based heating control system for implementation. A real-world case study shows the effectiveness and practicability of the proposed system controlled by humans, and the simulated experiments for deep reinforcement learning show about 1985.01 gigajoules of heat quantity and 42276.45 tons of water are saved per hour compared with manual control.


title: Universal critical behavior in tensor models for four-dimensional quantum gravity

abstract: Four-dimensional random geometries can be generated by statistical models with rank-4 tensors as random variables. These are dual to discrete building blocks of random geometries. We discover a potential candidate for a continuum limit in such a model by employing background-independent coarse-graining techniques where the tensor size serves as a pre-geometric notion of scale. A fixed point candidate which features two relevant directions is found. The possible relevance of this result in view of universal results for quantum gravity and a potential connection to the asymptotic-safety program is discussed.


title: Echoes in brane worlds: ringing at a black hole--wormhole transition

abstract: Echoes are known as modifications of the usual quasinormal ringing of a black hole at late times because of the deviation of space-time from the initial black-hole geometry in a small region near its event horizon. We consider a class of brane-world model solutions of the Shiromizu-Maeda-Sasaki equations, which describe both black holes and wormholes and interpolate between them via a continuous parameter. In this way the brane-world scenario provides a natural model for wormholes mimicking the black hole behavior if the continuous parameter is chosen near the threshold with a black-hole solution. We show that in the vicinity of this threshold interpolating between black holes and wormholes, quasinormal ringing of the wormholes at the initial stage is indistinguishable from that of the black holes with nearby values of the above parameter, but at later times the signal is modified by intensive echoes. We notice that the black-hole mimickers that are wormholes near the threshold have the largest quality factor and are therefore the best oscillators among the considered examples.


title: Success of Machine Learning algorithms in Dynamical Mass Measurements of Galaxy Clusters

abstract: In recent years, machine learning (ML) algorithms have been successfully employed in Astronomy for analyzing and interpreting the data collected from various surveys. The need for new robust and efficient data analysis tools in Astronomy is imminently growing as we enter the new decade. Astronomical data sets are growing both in size and complexity at an exponential rate and ML methodologies can revolutionize our ability to interpret observations and provide new means of discovery. In this essay we focus on recent success of ML algorithms in predicting the dynamical mass of galaxy clusters. We discuss the results of the study performed by Ho et al. [1] and their implications, where it was found that ML algorithms outperform conventional statistical methods and can offer a robust and accurate tool for dynamical mass estimation.


title: A Variational-Sequential Graph Autoencoder for Neural Architecture Performance Prediction

abstract: In computer vision research, the process of automating architecture engineering, Neural Architecture Search (NAS), has gained substantial interest. In the past, NAS was hardly accessible to researchers without access to large-scale compute systems, due to very long compute times for the recurrent search and evaluation of new candidate architectures. The NAS-Bench-101 dataset facilitates a paradigm change towards classical methods such as supervised learning to evaluate neural architectures. In this paper, we propose a graph encoder built upon Graph Neural Networks (GNN). We demonstrate the effectiveness of the proposed encoder on NAS performance prediction for seen architecture types as well an unseen ones (i.e., zero shot prediction). We also provide a new variational-sequential graph autoencoder (VS-GAE) based on the proposed graph encoder. The VS-GAE is specialized on encoding and decoding graphs of varying length utilizing GNNs. Experiments on different sampling methods show that the embedding space learned by our VS-GAE increases the stability on the accuracy prediction task.


title: Searching for water ice in the coma of interstellar object 2I/Borisov

abstract: Interstellar Objects (ISO) passing through our Solar System offer a rare opportunity to probe the physical and chemical processes involved in solid body and planet formation in extrasolar systems. The main objective of our study is to search for diagnostic absorption features of water ice in the near infrared (NIR) spectrum of the second interstellar object 2I/2019 Q4 (Borisov) and compare its ice features to those of the Solar system icy objects. We observed 2I in the NIR on three separate occasions. The first observation was made on 2019 September 19 UT using the SpeX spectrograph at the 3-m IRTF and again on September 24 UT with the GNIRS spectrograph at the 8-m GEMINI telescope and the last observation was made on October 09 UT with IRTF. The spectra obtained from all three nights appear featureless. No absorption features associated with water ice are detected. Spectral modeling suggests that water grains, if present, comprise no more than 10% of the coma cross-section. The comet consistently exhibits a red D-type like spectrum with a spectral slope of about 6% per 100nm, which is similar to that of 1I/'Oumuamua and is comparable to Solar system comets.


title: A Fast Self-correcting $\pi$ Algorithm

abstract: We have rediscovered a simple algorithm to compute the mathematical constant \[ \pi=3.14159265\cdots. \] The algorithm had been known for a long time but it might not be recognized as a fast, practical algorithm. The time complexity of it can be proved to be \[ O(M(n)\log^2 n) \] bit operations for computing $\pi$ with error $O(2^{-n})$, where $M(n)$ is the time complexity to multiply two $n$-bit integers. We conjecture that the algorithm actually runs in \[ O(M(n)\log n). \] The algorithm is \emph{self-correcting} in the sense that, given an approximated value of $\pi$ as an input, it can compute a more accurate approximation of $\pi$ with cubic convergence.


title: CoSimLex: A Resource for Evaluating Graded Word Similarity in Context

abstract: State of the art natural language processing tools are built on context-dependent word embeddings, but no direct method for evaluating these representations currently exists. Standard tasks and datasets for intrinsic evaluation of embeddings are based on judgements of similarity, but ignore context; standard tasks for word sense disambiguation take account of context but do not provide continuous measures of meaning similarity. This paper describes an effort to build a new dataset, CoSimLex, intended to fill this gap. Building on the standard pairwise similarity task of SimLex-999, it provides context-dependent similarity measures; covers not only discrete differences in word sense but more subtle, graded changes in meaning; and covers not only a well-resourced language (English) but a number of less-resourced languages. We define the task and evaluation metrics, outline the dataset collection methodology, and describe the status of the dataset so far.


title: Non-quadratic transverse magnetoresistance of the nodal line Dirac semimetal InBi

abstract: The transverse magnetoresistance of a nodal line Dirac semi-metal InBi has been studied. It is found that the magnetoresistance is not quadratic. In the region of small magnetic fields $ B\lesssim 0.1$~T, it is characterized by high curvature, in the region of medium magnetic fields it is described by the sum of linear and quadratic contributions, and in the region of large magnetic fields $ B\gtrsim 1$~T, it approaches a quadratic law with a curvature several times smaller its zero field value. A phenomenological equation is proposed that allows to describe the entire dependence of the resistance on the magnetic field with an error not exceeding the measurement error of several percent.


title: Massive Wireless Energy Transfer: Enabling Sustainable IoT Towards 6G Era

abstract: Recent advances on wireless energy transfer (WET) make it a promising solution for powering future Internet of Things (IoT) devices enabled by the upcoming sixth generation (6G) era. The main architectures, challenges and techniques for efficient and scalable wireless powering are overviewed in this paper. Candidates enablers such as energy beamforming (EB), distributed antenna systems (DAS), advances on devices' hardware and programmable medium, new spectrum opportunities, resource scheduling and distributed ledger technology are outlined. Special emphasis is placed on discussing the suitability of channel state information (CSI)-limited/free strategies when powering simultaneously a massive number of devices. The benefits from combining DAS and EB, and from using average CSI whenever available, are numerically illustrated. The pros and cons of the state-of-the-art CSI-free WET techniques in ultra-low power setups are thoroughly revised, and some possible future enhancements are outlined. Finally, key research directions towards realizing WET-enabled massive IoT networks in the 6G era are identified and discussed in detail.


title: Potential Antimicrobial Activity of Marine Sponge Neopetrosia exigua

abstract: Neopetrosia exigua has received great attention in natural product chemistry. The diversity of N. exigua constituents has been demonstrated by the continued discovery of novel bioactive metabolites such as antimicrobial metabolites. In this study, in order to localise the active component of N. exigua biomass according to the polarity, a sequential gradient partition with different solvents (nhexane, carbon tetrachloride, dichloromethane, n-butanol, and water) was performed to obtain fractions containing metabolites distributed according to their polarity. The antimicrobial activities of N. exigua fractions were then evaluated using disc diffusion and microdilution methods (influence on the growth curve, Minimum Inhibitory Concentration (MIC) and Minimum Bactericidal Concentration (MBC)). The results showed that the active metabolites were present in n-hexane, CH2Cl2, nBuOH, and water fractions. n-hexane, CH2Cl2, and n-BuOH fractions were the most effective fractions. Among microbes tested, Staphylococcus aureus was the most susceptible microbe evaluated. The obtained results are considered sufficient for further study to isolate the compounds represent the antimicrobial activity.


title: Multiple criteria hierarchy process for sorting problems under uncertainty applied to the evaluation of the operational maturity of research institutions

abstract: Despite the availability of qualified research personnel, up-to-date research facilities and experience in developing applied research and innovation, many worldwide research institutions face difficulties when managing contracted Research and Development (R&D) projects due to expectations from Industry (private sector). Such difficulties have motivated funding agents to create evaluation processes to check whether the operational procedures of funded research institutions are sufficient to provide timely answers to demand for innovation from industry and also to identify aspects that require quality improvement in research development. For this purpose, several multiple criteria decision-making approaches can be applied. Among the available multiple criteria approaches, sorting methods are one prominent tool to evaluate the operational capacity. However, the first difficulty in applying multiple criteria sorting methods is the need to hierarchically structure multiple criteria in order to represent the intended decision process. Additional challenges include the elicitation of the preference information and the definition of criteria evaluation, since these are frequently affected by some imprecision. In this paper, a new sorting method is proposed to deal with all of those critical points simultaneously. To consider multiple levels for the decision criteria, the FlowSort method is extended to account for hierarchical criteria. To deal with imprecise data, the FlowSort is integrated with fuzzy approaches. To yield solutions that consider fluctuations from imprecise weights, the Stochastic Multicriteria Acceptability Analysis is used. Finally, the proposed method is applied to the evaluation of research institutions, classifying them according to their operational maturity for development of applied research.


title: On the Outage Probability of Vehicular Communications at Intersections Over Nakagami-m Fading Channels

abstract: In this paper, we study vehicular communications (VCs) at intersections, in the presence of interference over Nakagami-m fading channels. The interference are originated from vehicles located on two perpendicular roads. We derive the outage probability, and closed forms are obtained. The outage probability is derived when the destination is on the road (vehicle, cyclist, pedestrian) or outside the road (base station, road side unit). We compare the performance of line of sight (LOS) scenarios and non-line of sight (NLOS) scenarios, and show that NLOS scenarios offer better performance than LOS scenarios. We also compare intersection scenarios with highway scenarios, and show that the performance of intersection scenarios are worst than highway scenarios as the destination moves toward the intersection. Finally, we investigate the performance of VCs in a realistic scenario involving several lanes. All the analytical results are validated by Monte-Carlo simulations.


title: Delineating the properties of neutron star matter in cold, dense QCD

abstract: The properties of dense QCD matter are delineated through the construction of equations of state which should be consistent with the low and high density limits of QCD, nuclear laboratory experiments, and the neutron star observations. These constraints, together with the causality condition of the sound velocity, are used to develop the picture of hadron-quark continuity in which hadronic matter continuously transforms into quark matter (modulo small 1st order phase transitions). The resultant unified equation of state at zero temperature and $\beta$-equilibrium, which we call Quark-Hadron-Crossover (QHC19), is consistent with the measured properties of neutron stars as well as the microphysics known for the hadron phenomenology. In particular to $\sim 10n_0$ ($n_0$: saturation density) the gluons remain as non-perturbative as in vacuum and the strangeness can be as abundant as up- and down-quarks at the core of two-solar mass neutron stars. Within our modeling the maximum mass is found less than $\simeq 2.35$ times solar mass and the baryon density at the core ranges in $\sim 5$-8$n_0$.


title: Smooth quotients of complex tori by finite groups (with an appendix by Stephen Griffeth)

abstract: Let $A$ be a complex torus and $G$ a finite group acting on $A$ without translations such that $A/G$ is smooth. Consider the subgroup $F\leq G$ generated by elements that have at least one fixed point. We prove that there exists a point $x\in A$ fixed by the whole group $F$ and that the quotient $A/G$ is a fibration of products of projective spaces over an \'etale quotient of a complex torus (the \'etale quotient being Galois with group $G/F$). In particular, when $G=F$, we may assume that $G$ fixes the origin. This is related to previous work by the authors, where the case of actions on abelian varieties fixing the origin was treated. Here, we generalize these results to complex tori and use them to reduce the problem of classifying smooth quotients of complex tori to the case of \'etale quotients. An ingredient of the proof of our fixed-point theorem is a result proving that in every irreducible complex reflection group there is an element which is not contained in any proper reflection subgroup and that Coxeter elements have this property for well-generated groups. This result is proved by Stephen Griffeth in an appendix.


title: Efficient and Robust Reinforcement Learning with Uncertainty-based Value Expansion

abstract: By integrating dynamics models into model-free reinforcement learning (RL) methods, model-based value expansion (MVE) algorithms have shown a significant advantage in sample efficiency as well as value estimation. However, these methods suffer from higher function approximation errors than model-free methods in stochastic environments due to a lack of modeling the environmental randomness. As a result, their performance lags behind the best model-free algorithms in some challenging scenarios. In this paper, we propose a novel Hybrid-RL method that builds on MVE, namely the Risk Averse Value Expansion (RAVE). With imaginative rollouts generated by an ensemble of probabilistic dynamics models, we further introduce the aversion of risks by seeking the lower confidence bound of the estimation. Experiments on a range of challenging environments show that by modeling the uncertainty completely, RAVE substantially enhances the robustness of previous model-based methods, and yields state-of-the-art performance. With this technique, our solution gets the first place in NeurIPS 2019: Learn to Move.


title: Galois action on the principal block and cyclic Sylow subgroups

abstract: We characterize finite groups having a cyclic Sylow p-subgroup in terms of the action of a specific Galois automorphism on the principal p-block for p=2,3. We show that the analog statement for blocks with arbitrary defect group would follow from the blockwise McKay-Navarro conjecture.


title: Diffraction tomography with a deep image prior

abstract: We present a tomographic imaging technique, termed Deep Prior Diffraction Tomography (DP-DT), to reconstruct the 3D refractive index (RI) of thick biological samples at high resolution from a sequence of low-resolution images collected under angularly varying illumination. DP-DT processes the multi-angle data using a phase retrieval algorithm that is extended by a deep image prior (DIP), which reparameterizes the 3D sample reconstruction with an untrained, deep generative 3D convolutional neural network (CNN). We show that DP-DT effectively addresses the missing cone problem, which otherwise degrades the resolution and quality of standard 3D reconstruction algorithms. As DP-DT does not require pre-captured data or pre-training, it is not biased towards any particular dataset. Hence, it is a general technique that can be applied to a wide variety of 3D samples, including scenarios in which large datasets for supervised training would be infeasible or expensive. We applied DP-DT to obtain 3D RI maps of bead phantoms and complex biological specimens, both in simulation and experiment, and show that DP-DT produces higher-quality results than standard regularization techniques. We further demonstrate the generality of DP-DT, using two different scattering models, the first Born and multi-slice models. Our results point to the potential benefits of DP-DT for other 3D imaging modalities, including X-ray computed tomography, magnetic resonance imaging, and electron microscopy.


title: On product minimal Lagrangian submanifolds in complex space forms

abstract: In this paper we consider minimal Lagrangian submanifolds in $n$-dimensional complex space forms. More precisely, we study such submanifolds which, endowed with the induced metrics, write as a Riemannian product of two Riemannian manifolds, each having constant sectional curvature. As the main result, we give a complete classification of these submanifolds.


title: Spectroscopic evidence for electron-boson coupling in electron-doped Sr$_2$IrO$_4$

abstract: The pseudogap, d-wave superconductivity and electron-boson coupling are three intertwined key ingredients in the phase diagram of the cuprates. Sr$_2$IrO$_4$ is a 5d-electron counterpart of the cuprates in which both the pseudogap and a d-wave instability have been observed. Here, we report spectroscopic evidence for the presence of the third key player in electron-doped Sr$_2$IrO$_4$: electron-boson coupling. A kink in nodal dispersion is observed with an energy scale of ~50 meV. The strength of the kink changes with doping, but the energy scale remains the same. These results provide the first noncuprate platform for exploring the relationship between the pseudogap, d-wave instability and electron-boson coupling in doped Mott insulators.


title: An Efficient Approach for Using Expectation Maximization Algorithm in Capsule Networks

abstract: Capsule Networks (CapsNets) are brand-new architectures that have shown ground-breaking results in certain areas of Computer Vision (CV). In 2017, Hinton and his team introduced CapsNets with routing-by-agreement in "Sabour et al" and in a more recent paper "Matrix Capsules with EM Routing" they proposed a more complete architecture with Expectation-Maximization (EM) algorithm. Unlike the traditional convolutional neural networks (CNNs), this architecture is able to preserve the pose of the objects in the picture. Due to this characteristic, it has been able to beat the previous state-of-theart results on the smallNORB dataset, which includes samples with various view points. Also, this architecture is more robust to white box adversarial attacks. However, CapsNets have two major drawbacks. They can't perform as well as CNNs on complex datasets and, they need a huge amount of time for training. We try to mitigate these shortcomings by finding optimum settings of EM routing iterations for training CapsNets. Unlike the past studies, we use un-equal numbers of EM routing iterations for different stages of the CapsNet. For our research, we use three datasets: Yale face dataset, Belgium Traffic Sign dataset, and Fashion-MNIST dataset.


title: Calculated solar-neutrino capture rate for a radiochemical 205 Tl-based solar-neutrino detector

abstract: Radiochemical experiments for low-energy solar-neutrino detection have been making headlines by exploiting the isotopes \iso{Cl}{37} and \iso{Ga}{71}. Such a very low-threshold measurement of this type can also be performed using \iso{Tl}{205}, which has been considered for decades for this purpose. A unique feature of this detector nucleus is the integration is the solar-neutrino flux over millions of years owing to its long-living daughter \iso{Pb}{205}. In this study we have calculated for the first time the cross section for the charged-current solar-neutrino scattering off \iso{Tl}{205}. Taking into account the solar-model-predicted neutrino fluxes and the electron-neutrino survival probabilities, a solar-neutrino capture rate of 62.2 $\pm 8.6$ SNU is determined, a value significantly smaller than in previous estimates.


title: State preparation based on quantum phase estimation

abstract: State preparation is a process encoding the classical data into the quantum systems. Based on quantum phase estimation, we propose the specific quantum circuits for a deterministic state preparation algorithm and a probabilistic state preparation algorithm. To discuss the gate complexity in these algorithms, we decompose the diagonal unitary operators included in the phase estimation algorithms into the basic gates. Thus, we associate the state preparation problem with the decomposition problem of the diagonal unitary operators. We analyse the fidelities in the two algorithms and discuss the success probability in the probabilistic algorithm. In this case, we explain that the efficient decomposition of the corresponding diagonal unitary operators is the sufficient condition for state preparation problems.


title: Ionization energy of atoms in photonic crystals

abstract: The periodic changes in physical and chemical properties of the chemical elements is caused by the periodic change of the ionization energies. The ionization energy of each element is constant and this manifests itself in the periodic table. However, we show that the ionization energies can be dramatically changed, when atoms are placed in a photonic crystal consisting of materials with a highly tunable refractive index and voids. The tunability of these materials gives rise to the tunability of the ionization energies over a wide range. This allows one to come beyond the limitations put on by the periodic table on physical and chemical processes, and can open up new horizons in synthesizing exceptional chemical compounds that could be used in pharmaceutical and other medical-related activities.


title: Holographic thermalisation of strongly-coupled systems

abstract: The thermalisation of a strongly-coupled plasma is studied through the AdS/CFT correspondence. The system starts behaving as in viscous hydrodynamics shortly after the end of the perturbation. Local and nonlocal probes are used to characterise the process towards equilibrium.


title: Ultrafast Tracking of Exciton and Charge Carrier Transport in Optoelectronic Materials on the Nanometer Scale

abstract: We present a novel optical transient absorption and reflection microscope based on a diffraction-limited pump pulse in combination with a wide-field probe pulse, for the spatio-temporal investigation of ultrafast population transport in thin films. The microscope achieves a temporal resolution down to 12 fs and simultaneously provides sub-10 nm spatial accuracy. We demonstrate the capabilities of the microscope by revealing an ultrafast excited-state exciton population transport of up to 32 nm in a thin film of pentacene and by tracking the carrier motion in p-doped silicon. The use of few-cycle optical excitation pulses enables impulsive stimulated Raman micro-spectroscopy, which is used for in-situ verification of the chemical identity in the 100 - 2000 cm-1 spectral window. Our methodology bridges the gap between optical microscopy and spectroscopy allowing for the study of ultrafast transport properties down to the nanometer length scale.


title: Crossing Reduction of Sankey Diagram with Barycentre Ordering via Markov Chain

abstract: Sankey diagram is popular for analyzing primary flows in network data. However, the growing complexity of data and hence crossings in the diagram begin to reduce its readability. In this work, we studied the NP-hard weighted crossing reduction problem of the Sankey diagram with both the common parallel form and the circular form. We expect to obtain an ordering of entities that reduces weighted crossings of links. We proposed a two-staged heuristic method based on the idea of barycentre ordering and used Markov chain to formulate the recursive process of obtaining such ordering. In the experiments, our method achieved 300.89 weighted crossings, compared with the optimum 278.68 from an integer linear programming method. Also, we obtained much less weighted crossings (87.855) than the state-of-art heuristic method (146.77). We also conducted a robust test which provided evidence that our method performed consistently against the change of complexity in the dataset.


title: INAF Trieste Astronomical Observatory Information Technology Framework

abstract: INAF Trieste Astronomical Observatory (OATs) has a long tradition in information technology applied to Astronomical and Astrophysical use cases, particularly for what regards computing for data reduction, analysis and simulations; data and archives management; space missions data processing; design and software development for ground-based instruments. The ensemble of these activities, in the last years, pushed the need to acquire new computing resources and technologies and to deep competences in theirs management. In this paper we describe INAF-OATs computing centre technological stuff, our involvement in different EU Projects both in the path of building of EOSC, the European Open Science Cloud; in the design and prototyping of new Exascale supercomputers in Europe and the main research activities carried on using our computing centre.


title: Large fluctuations in multi-scale modeling for rest erythropoiesis

abstract: Erythropoiesis is a mechanism for the production of red blood cells by cellular differentiation. It is based on amplification steps due to an interplay between renewal and differentiation in the successive cell compartments from stem cells to red blood cells. We will study this mechanism with a stochastic point of view to explain unexpected fluctuations on the red blood cell numbers, as surprisingly observed by biologists and medical doctors in a rest erythropoiesis. We consider three compartments: stem cells, progenitors and red blood cells. The dynamics of each cell type is characterized by its division rate and by the renewal and differentiation probabilities at each division event. We model the global population dynamics by a three-dimensional stochastic decomposable branching process. We show that the amplification mechanism is given by the inverse of the small difference between the differentiation and renewal probabilities. Introducing a parameter $K$ which scales simultaneously the size of the first component, the differentiation and renewal probabilities and the red blood cell death rate, we describe the asymptotic behavior of the process for large $K$. We show that each compartment has its own size scale and its own time scale. Focussing on the third component, we prove that the red blood cell population size, conveniently renormalized (in time and size), is expanded in an usual way inducing large fluctuations. The proofs are based on a fine study of the different scales involved in the model and on the use of different convergence and average techniques in the proofs.


title: Long-time Asymptotic Behavior of the Fifth-order Modified KdV Equation in Low Regularity Spaces

abstract: Based on the nonlinear steepest descent method of Deift and Zhou for oscillatory Riemann--Hilbert problems and the Dbar approach, the long-time asymptotic behavior of solutions to the fifth-order modified Korteweg-de Vries equation on the line is studied in the case of initial conditions that belong to some weighted Sobolev spaces. Using techniques in Fourier analysis and the idea of $I$-method, we give its global well-posedness in lower regularity Sobolev spaces, and then obtain the asymptotic behavior in these spaces with weights.


title: Spectroscopic characterization of nine binary star systems as well as HIP107136 and HIP107533

abstract: We present the results of our 2nd radial velocity monitoring campaign, carried out with the \'Echelle spectrograph FLECHAS at the University Observatory Jena in the course of the Gro{\ss}schwabhausen binary survey between December 2016 and June 2018. The aim of this project is to obtain precise radial velocity measurements for spectroscopic binary stars in order to redetermine, verify, improve and constrain their Keplerian orbital solutions. In this paper we describe the observations, data reduction and analysis and present the results of this project. In total, we have taken 721 RV measurements of 11 stars and derived well determined orbital solutions for 9 systems (7 single-, and 2 double-lined spectroscopic binaries) with periods in the range between 2 and 70 days. In addition, we could rule out the orbital solutions for the previously classified spectroscopic binary systems HIP107136 and HIP107533, whose radial velocities are found to be constant on the km/s-level over a span of time of more than 500 days. In the case of HIP2225 a significant change of its systematic velocity is detected between our individual observing epochs, indicating the presence of an additional companion, which is located on a wider orbit in this system.


title: Reconfigurable Intelligent Surfaces: Bridging the gap between scattering and reflection

abstract: In this work we address the distance dependence of reconfigurable intelligent surfaces (RIS). As differentiating factor to other works in the literature, we focus on the array near-field, what allows us to comprehend and expose the promising potential of RIS. The latter mostly implies an interplay between the physical size of the RIS and the size of the Fresnel zones at the RIS location, highlighting the major role of the phase. To be specific, the point-like (or zero-dimensional) conventional scattering characterization results in the well-known dependence with the fourth power of the distance. On the contrary, the characterization of its near-field region exposes a reflective behavior following a dependence with the second and third power of distance, respectively, for a two-dimensional (planar) and one-dimensional (linear) RIS. Furthermore, a smart RIS implementing an optimized phase control can result in a power exponent of four that, paradoxically, outperforms free-space propagation when operated in its near-field vicinity. All these features have a major impact on the practical applicability of the RIS concept. As one contribution of this work, the article concludes by presenting a complete signal characterization for a wireless link in the presence of RIS on all such regions of operation.


title: Severity Detection Tool for Patients with Infectious Disease

abstract: Hand, foot and mouth disease (HFMD) and tetanus are serious infectious diseases in low and middle income countries. Tetanus in particular has a high mortality rate and its treatment is resource-demanding. Furthermore, HFMD often affects a large number of infants and young children. As a result, its treatment consumes enormous healthcare resources, especially when outbreaks occur. Autonomic nervous system dysfunction (ANSD) is the main cause of death for both HFMD and tetanus patients. However, early detection of ANSD is a difficult and challenging problem. In this paper, we aim to provide a proof-of-principle to detect the ANSD level automatically by applying machine learning techniques to physiological patient data, such as electrocardiogram (ECG) and photoplethysmogram (PPG) waveforms, which can be collected using low-cost wearable sensors. Efficient features are extracted that encode variations in the waveforms in the time and frequency domains. A support vector machine is employed to classify the ANSD levels. The proposed approach is validated on multiple datasets of HFMD and tetanus patients in Vietnam. Results show that encouraging performance is achieved in classifying ANSD levels. Moreover, the proposed features are simple, more generalisable and outperformed the standard heart rate variability (HRV) analysis. The proposed approach would facilitate both the diagnosis and treatment of infectious diseases in low and middle income countries, and thereby improve overall patient care.


title: Normal mode decomposition and dispersive and nonlinear mixing in stratified fluids

abstract: Motivated by the analysis of the propagation of internal waves in a stratified ocean, we consider in this article the incompressible Euler equations with variable density in a flat strip, and we study the evolution of perturbations of the hydrostatic equilibrium corresponding to a stable vertical strati-fication of the density. We show the local well-posedness of the equations in this configuration and provide a detailed study of their linear approximation. Performing a modal decomposition according to a Sturm-Liouville problem associated to the background stratification, we show that the linear approximation can be described by a series of dispersive perturbations of linear wave equations. When the so called Brunt-Vais{\"a}l{\"a} frequency is not constant, we show that these equations are coupled, hereby exhibiting a phenomenon of dispersive mixing. We then consider more specifically shallow water configurations (when the horizontal scale is much larger than the depth); under the Boussinesq approximation (i.e. neglecting the density variations in the momentum equation), we provide a well-posedness theorem for which we are able to control the existence time in terms of the relevant physical scales. We can then extend the modal decomposition to the nonlinear case and exhibit a non-linear mixing of different nature than the dispersive mixing mentioned above. Finally, we discuss some perspectives such as the sharp stratification limit that is expected to converge towards two-fluids systems.


title: Gravitational effect on the advancing and receding angle of a 2D Cassie-Baxter droplet on a textured surface

abstract: Advancing and receding angles are physical quantities frequently measured to characterize the wetting properties of a rough surface. Thermodynamically, the advancing and receding angles are often interpreted as the maximum and minimum contact angles that can be formed by a droplet without losing its stability. Despite intensive research on wetting of rough surfaces, the gravitational effect on these angles has been overlooked because most studies have considered droplets smaller than the capillary length. In this study, however, by combining theoretical and numerical modeling, we show that the shape of a droplet smaller than the capillary length can be substantially modified by gravity under advancing and receding conditions. First, based on the Laplace pressure equation, we predict the shape of a two-dimensional Cassie-Baxter droplet on a textured surface with gravity at each pinning point. Then the stability of the droplet is tested by examining the interference between the liquid surface and neighboring pillars as well as analyzing the free energy change upon depinning. Interestingly, it turns out that the apparent contact angles under advancing and receding conditions are not affected by gravity, while the overall shape of a droplet and the position of the pinning point is affected by gravity. In addition, the advancing and receding of the droplet with continuously increasing or decreasing volume is analyzed, and it is showed that the gravitational effect plays a key role on the movement of the droplet tip. Finally, the theoretical predictions were validated against line-tension based front tracking modeling that seamlessly captures the attachment and detachment between the liquid surface and the solid substrate.


title: A simple proof of the transcendence of the trigonometric functions

abstract: In this note, we give a simple proof that the values of the trigonometric functions at any nonzero rational number are transcendental numbers.


title: Capturing Complex Behaviour in Josephson Travelling Wave Parametric Amplifiers

abstract: We present an analysis of wave-mixing in recently developed Josephson Travelling Wave Parametric Amplifiers (JTWPAs). Circuit simulations performed using WRspice show the full behaviour of the JTWPA allowing propagation of all tones. The Coupled Mode Equations (CMEs) containing only pump, signal, and idler propagation are shown to be insufficient to completely capture complex mixing behaviour in the JTWPA. Extension of the CMEs through additional state vectors in the analytic solutions allows closer agreement with WRspice. We consider an ordered framework for the systematic inclusion of extended eigenmodes and make a qualitative comparison with WRspice at each step. The agreement between the two methods validates both approaches and provides insight into the operation of the JTWPA. We show that care should be taken when using the CMEs and propose that WRspice should be used as a design tool for non-linear superconducting circuits such as the JTWPA.


title: Stochastic comparisons for stochastic heat equation

abstract: We establish the stochastic comparison principles, including moment comparison principle as a special case, for solutions to the following nonlinear stochastic heat equation on $\mathbb{R}^d$ \[ \left(\frac{\partial }{\partial t} -\frac{1}{2}\Delta \right) u(t,x) = \rho(u(t,x)) \:\dot{M}(t,x), \] where $\dot{M}$ is a spatially homogeneous Gaussian noise that is white in time and colored in space, and $\rho$ is a Lipschitz continuous function that vanishes at zero. These results are obtained for rough initial data and under Dalang's condition, namely, $\int_{\mathbb{R}^d}(1+|\xi|^2)^{-1}\hat{f}(\text{d} \xi)<\infty$, where $\hat{f}$ is the spectral measure of the noise. We establish the comparison principles by comparing either the diffusion coefficient $\rho$ or the correlation function of the noise $f$. As corollaries, we obtain Slepian's inequality for SPDEs and SDEs.


title: Anharmonicity and Ultra-Low Thermal Conductivity in Lead-Free Halide Double Perovskites

abstract: The lead-free halide double perovskite class of materials offers a promising venue for resolving issues related to toxicity of Pb and long-term stability of the lead-containing halide perovskites. We present a first-principles study of the lattice vibrations in Cs$_2$AgBiBr$_6$ , the prototypical compound in this class, and show that the lattice dynamics of Cs$_2$AgBiBr$_6$ is highly anharmonic, largely in regards to tilting of AgBr$_6$ and BiBr$_6$ octahedra. Using an energy and temperature dependent phonon spectral function, we then show how the experimentally observed cubic-to-tetragonal phase transformation is caused by the collapse of a soft phonon branch. We finally reveal that the softness and anharmonicity of Cs$_2$AgBiBr$_6$ yield an ultra-low thermal conductivity, unexpected of high symmetry cubic structures.


title: Tracing the Dynamical Mass in Galaxy Disks Using HI Velocity Dispersion and its Implications for the Dark Matter Distribution in Galaxies

abstract: We present a method to derive the dynamical mass of face-on galaxy disks using their neutral hydrogen (HI) velocity dispersion. We have applied the method to nearby, gas rich galaxies that have extended HI gas disks and have low inclinations. The galaxy sample includes 4 large disk galaxies; NGC628, NGC6496, NGC3184, NGC4214 and 3 dwarf galaxies DDO46, DDO63 and DDO187. We have used archival data from the THINGS and LITTLE THINGS surveys to derive the HI gas distributions and SPITZER mid-infrared images to determine the stellar disk mass distributions. We examine the disk dynamical and baryonic mass ratios in the extreme outer disks where there is HI gas but no visible stellar disk. We find that for the large galaxies the disk dynamical and Hi gas mass surface densities are comparable in the outer disks. But in the smaller dwarf galaxies, for which the total HI gas mass dominates the baryonic mass i.e. M(HI)>M(stars), the disk dynamical mass is much larger than the baryonic mass. For these galaxies there must either be a very low luminosity stellar disk which provides the vertical support for the HI gas disk or there is halo dark matter associated with their disks, which is possible if the halo has an oblate shape so that the inner part of the dark matter halo is concentrated around the disk. Our results are important for explaining the equilibrium of HI disks in the absence of stellar disks, and is especially important for gas rich, dwarf galaxies that appear to have significant dark matter masses associated with their disks.


title: An adaptive upper bound on the Ramsey numbers $R(3,\dots,3)$

abstract: Since 2002, the best known upper bound on the Ramsey numbers R n (3) = R(3,. .. , 3) is R n (3) $\le$ n!(e -- 1/6) + 1 for all n $\ge$ 4. It is based on the current estimate R 4 (3) $\le$ 62. We show here how any closing-in on R 4 (3) yields an improved upper bound on R n (3) for all n $\ge$ 4. For instance, with our present adaptive bound, the conjectured value R 4 (3) = 51 implies R n (3) $\le$ n!(e -- 5/8) + 1 for all n $\ge$ 4.


title: Kinetic modelling of carrier cooling in lead halide perovskite materials

abstract: The relaxation of high-energy "hot" carriers in semiconductors is known to involve the redistribution of energy between (i) hot and cold carriers and (ii) hot carriers and phonons. Over the past few years, these two processes have been identified in lead-halide perovskites (LHPs) using ultrafast pump-probe experiments, but the interplay between these processes is not fully understood. Here we present a comprehensive kinetic model to elucidate the individual effects of the hot and cold carriers in bulk and nanocrystal $CsPbBr_{3}$ films obtained from "pump-push-probe" measurements. In accordance with our previous work, we observe that the cooling dynamics in the materials decelerate as the number of hot carriers increases, which we explain through a "hot-phonon bottleneck" mechanism. On the other hand, as the number of cold carriers increases, we observe an acceleration of the cooling kinetics in the samples. We describe the interplay of these opposing effects using our model, and by using series of natural approximations, reduce this model to a simple form containing terms for the carrier-carrier and carrier-phonon interactions. The model can be instrumental for evaluating the details of carrier cooling and electron-phonon couplings in a broad range of LHP optoelectronic materials.


title: Optical pulse doublet resulting from the nonlinear splitting of a super-Gaussian pulse

abstract: We experimentally demonstrate the generation of a temporal pulse doublet from the propagation of an initial super-Gaussian waveform in a nonlinear focusing medium. The picosecond structures are characterized both in amplitude and phase and their close-to-Gaussian Fourier-transform limited shape is found in excellent agreement with numerical simulations. This nonlinear fiber-based single-stage reshaping scheme is energy efficient, can sustain GHz repetition rates and temporal compression factors around 10 are demonstrated.


title: Quantum voting and its physical interpretation

abstract: Voting is a game with a no-go theorem. New proofs of Arrow's impossibility theorem are given based on quantum information theory. We show that the Arrowian dictator is equivalent to the perfect cloning circuit. We present \textit{Gedankenexperiment} of voting and Bell-like inequalities of voting. We provide the thermodynamic interpretation of voting with Landauer's principle.


title: Feeding the zombies: Synthesizing brain volumes using a 3D progressive growing GAN

abstract: Deep learning requires large datasets for training (convolutional) networks with millions of parameters. In neuroimaging, there are few open datasets with more than 100 subjects, which makes it difficult to, for example, train a classifier to discriminate controls from diseased persons. Generative adversarial networks (GANs) can be used to synthesize data, but virtually all research is focused on 2D images. In medical imaging, and especially in neuroimaging, most datasets are 3D or 4D. Here we therefore present preliminary results showing that a 3D progressive growing GAN can be used to synthesize MR brain volumes.


title: Unequal time correlators of stochastic scalar fields in de Sitter space

abstract: The quantum fluctuations of a test scalar field on superhorizon scale in de Sitter spacetime can be described by an effective one-dimensional stochastic theory corresponding to a particular class of nonequilibrium dynamical systems known as the model A. Using the formulation of the latter in terms of a supersymmetric field theory, we compute various unequal-time correlators at large (superhorizon) time separations and compare with existing quantum field theory computation. This includes perturbative calculations, pushed here up to three-loop order, and a nonperturbative $1/N$ expansion at next-to-leading order. Exploiting the supersymmetry of the stochastic theory, we also derive a spectral representation of the field correlators and a fluctuation-dissipation relation for the infrared modes of the scalar field in de Sitter spacetime.


title: On homotopy types of diffeological cell complexes

abstract: We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the D-topology, every smooth cell complex is a topological cell complex (cf. Proposition 2). It is paracompact and Hausdorff if it is countable (cf. Proposition 8). (2) Every continuous map between gathered cell complexes is continuously homotopic to a smooth map (cf. Theorem 5). (3) Any topological cell complex is continuously homotopy equivalent to a gathered (hence smooth) cell complex (cf. Theorem 6). (4) Every D-open cover of a smooth countable cell complex has a subordinate partition of unity by smooth functions (cf. Theorem 9).


title: Inverse scattering for the one-dimensional Helmholtz equation with piecewise constant wave speed

abstract: This paper analyzes inverse scattering for the one-dimensional Helmholtz equation in the case where the wave speed is piecewise constant. Scattering data recorded for an arbitrarily small interval of frequencies is shown to determine the wave speed uniquely, and a direct reconstruction algorithm is presented. The algorithm is exact provided data is recorded for a sufficiently wide range of frequencies and the jump points of the wave speed are equally spaced with respect to travel time. Numerical examples show that the algorithm works also in the general case of arbitrary wave speed (either with jumps or continuously varying etc.) giving progressively more accurate approximations as the range of recorded frequencies increases. A key underlying theoretical insight is to associate scattering data to compositions of automorphisms of the unit disk, which are in turn related to orthogonal polynomials on the unit circle. The algorithm exploits the three-term recurrence of orthogonal polynomials to reduce the required computation.


title: Parting with Illusions about Deep Active Learning

abstract: Active learning aims to reduce the high labeling cost involved in training machine learning models on large datasets by efficiently labeling only the most informative samples. Recently, deep active learning has shown success on various tasks. However, the conventional evaluation scheme used for deep active learning is below par. Current methods disregard some apparent parallel work in the closely related fields. Active learning methods are quite sensitive w.r.t. changes in the training procedure like data augmentation. They improve by a large-margin when integrated with semi-supervised learning, but barely perform better than the random baseline. We re-implement various latest active learning approaches for image classification and evaluate them under more realistic settings. We further validate our findings for semantic segmentation. Based on our observations, we realistically assess the current state of the field and propose a more suitable evaluation protocol.


title: Jason-RS, a Collaboration between Agents and an IoT Platform

abstract: In this article we start from the observation that REST services are the most used as tools of interoperability and orchestration in the Internet of Things (IoT). But REST does not make it possible to inject artificial intelligence into connected objects, ie it cannot allow autonomy and decision-making by the objects themselves. To define an intelligence to a connected object, one can use a Beleive Desire Intention agent (BDI an intelligent agent that adopts human behavior) such as Jason Agentspeak. But Jason AgentSpeak does not guarantee orchestration or choreography between connected objects. There are platforms for service orchestration and choreography in IoT, still the interconnection with artificial intelligence needs to be built. In this article, we propose a new approach called Jason-RS. It is a result of pairing Jason BDI agent with the web service technologies to exploit the agent capacity as a service, Jason-RS turn in Java SE and it does not need any middleware. The architecture that we propose allows to create the link between Artificial Intelligence and Services choreography to reduce human intervention in the service choreography. In order to validate the proposed approach, we have interconnected the Iot BeC 3 platform and the REST agent (Jason-RS). The decision-making faculty offered by Jason-RS is derived from the information sent by the objects according to the different methods of REST (GET, POST, PUT, and DELETE) that Jason-RS offers. As a result, the objects feed the inter-agent collaborations and decision-making inside the agent. Finally, we show that Jason-RS allows the Web of Objects to power complex systems such as an artificial intelligence responsible for processing data. This performance is promising.


title: Prelog Chow groups of self-products of degenerations of cubic threefolds

abstract: It is unknown whether smooth cubic threefolds have an (integral Chow-theoretic) decomposition of the diagonal, or whether they are stably rational or not in general. As a first step towards making progress on these questions, we compute the (saturated numerical) prelog Chow group of the self-product of a certain degeneration of cubic threefolds.


title: Breaking the Limits of Redundancy Systems Analysis

abstract: Redundancy mechanisms such as triple modular redundancy protect safety-critical components by replication and thus improve systems fault tolerance. However, the gained fault tolerance comes along with costs to be invested, e.g., increasing execution time, energy consumption, or packaging size, for which constraints have to be obeyed during system design. This turns the question of finding suitable combinations of components to be protected into a challenging task as the number of possible protection combinations grows exponentially in the number of components. We propose family-based approaches to tackle the combinatorial blowup in redundancy systems modeling and analysis phases. Based on systems designed in SIMULINK we show how to obtain models that include all possible protection combinations and present a tool chain that, given a probabilistic error model, generates discrete Markov chain families. Using symbolic techniques that enable concise family representation and analysis, we show how SIMULINK models of realistic size can be protected and analyzed with a single family-based analysis run while a one-by-one analysis of each protection combination would clearly exceed any realistic time constraints.


title: Effective quantum dynamics on the M\"obius strip

abstract: The Laplace-Beltrami operator in the curved M\"obius strip is investigated in the limit when the width of the strip tends to zero. By establishing a norm-resolvent convergence, it is shown that spectral properties of the operator are approximated well by an unconventional flat model whose spectrum can be computed explicitly in terms of Mathieu functions. Contrary to the traditional flat M\"obius strip, our effective model contains a geometric potential. A comparison of the three models is made and analytical results are accompanied by numerical computations.

categories: math-ph math.DG math.MP math.SP quant-ph


title: $L^\infty$ bounds for numerical solutions of noncoercive convection-diffusion equations

abstract: In this work, we apply an iterative energy method \`a la de Giorgi in order to establish $L^{\infty}$ bounds for numerical solutions of noncoercive convection-diffusion equations with mixed Dirichlet-Neumann boundary conditions.


title: Robust cycloid crossover driven by anisotropy in the skyrmion host GaV$_\mathbf{4}$S$_\mathbf{8}$

abstract: We report on the anomalous magnetization dynamics of the cycloidally-modulated spin textures under the influence of uniaxial anisotropy in multiferroic $\mathrm{GaV_4S_8}$. The temperature and field dependence of the linear ac susceptibility [$\chi_{1\omega}^{\prime}(T,H)$], ac magnetic loss [$\chi_{1\omega}^{\prime\prime}(T,H)$], and nonlinear ac magnetic response [$M_{3\omega}(T,H)$] are examined across the magnetic phase diagram in the frequency range $f = 10-10000$ Hz. According to recent theory, skyrmion vortices under axial crystal symmetry are confined along specific orientations, resulting in enhanced robustness against oblique magnetic fields and altered spin dynamics. We characterize the magnetic response of each spin texture and find that the dynamic rigidity of the N\'eel skyrmion lattice appears enhanced compared to Bloch-type skyrmions in cubic systems, even in the multidomain state. Anomalous $M_{3\omega}$ and strong dissipation emerge over the same phase regime where strong variations in the cycloid pitch were observed on lowering temperature in recent small-angle neutron scattering experiments [White et al., Phys. Rev. B 97, 020401(R) (2018)]. Here, we show that strong anisotropy also drives an extended crossover of the zero-field cycloid texture in $\mathrm{GaV_4S_8}$. The frequency dependence of these dynamic signatures is consistent with that of a robust anharmonic spin texture exhibiting a correlated domain arrangement. The results underpin the essential role of magnetic anisotropy in enhancing the rigidity of topological spin textures for diverse applications.


title: Defining relations for quantum symmetric pair coideals of Kac-Moody type

abstract: Classical symmetric pairs consist of a symmetrizable Kac-Moody algebra $\mathfrak{g}$, together with its subalgebra of fixed points under an involutive automorphism of the second kind. Quantum group analogs of this construction, known as quantum symmetric pairs, replace the fixed point Lie subalgebras by one-sided coideal subalgebras of the quantized enveloping algebra $U_q(\mathfrak{g})$. We provide a complete presentation by generators and relations for these quantum symmetric pair coideal subalgebras. These relations are of inhomogeneous $q$-Serre type and are valid without restrictions on the generalized Cartan matrix. We draw special attention to the split case, where the quantum symmetric pair coideal subalgebras are generalized $q$-Onsager algebras.


title: Relativistic ocean $r$-modes during type-I X-ray bursts

abstract: Accreting neutron stars (NS) can exhibit high frequency modulations in their lightcurves during thermonuclear X-ray bursts, known as burst oscillations. These frequencies can be offset from the NS spin frequency by several Hz (where known independently) and can drift by 1-3 Hz. One plausible explanation is that a wave is present in the bursting ocean, the rotating frame frequency of which is the offset. The frequency of the wave should decrease (in the rotating frame) as the burst cools hence explaining the drift. A strong candidate is a buoyant $r$-mode. To date, models that calculated the frequency of this mode taking into account the radial structure neglected relativistic effects and predicted rotating frame frequencies of $\sim$ 4 Hz and frequency drifts of > 5 Hz; too large to be consistent with observations. We present a calculation that includes frame-dragging and gravitational redshift that reduces the rotating frame frequency by up to 30 % and frequency drift by up to 20 %. Updating previous models for the ocean cooling in the aftermath of the burst to a model more representative of detailed calculations of thermonuclear X-ray bursts reduces the frequency of the mode still further. This model, combined with relativistic effects, can reduce the rotating frequency of the mode to $\sim$ 2 Hz and frequency drift to $\sim$ 2 Hz, which is closer to the observed values.


title: Application of Mathematical Epidemiology to crop vector-borne diseases. The cassava mosaic virus disease case

abstract: In this chapter, an application of Mathematical Epidemiology to crop vector-borne diseases is presented to investigate the interactions between crops, vectors, and virus. The main illustrative example is the cassava mosaic disease (CMD). The CMD virus has two routes of infection: through vectors and also through infected crops. In the field, the main tool to control CMD spreading is roguing. The presented biological model is sufficiently generic and the same methodology can be adapted to other crops or crop vector-borne diseases. After an introduction where a brief history of crop diseases and useful information on Cassava and CMD is given, we develop and study a compartmental temporal model, taking into account the crop growth and the vector dynamics. A brief qualitative analysis of the model is provided,i.e., existence and uniqueness of a solution,existence of a disease-free equilibrium and existence of an endemic equilibrium. We also provide conditions for local (global) asymptotic stability and show that a Hopf Bifurcation may occur, for instance, when diseased plants are removed. Numerical simulations are provided to illustrate all possible behaviors. Finally, we discuss the theoretical and numerical outputs in terms of crop protection.


title: A wavelet-adaptive method for multiscale simulation of turbulent flows in flying insects

abstract: We present a wavelet-based adaptive method for computing 3D multiscale flows in complex, time-dependent geometries, implemented on massively parallel computers. While our focus is on simulations of flapping insects, it can be used for other flow problems, including turbulence, as well. The incompressible fluid is modeled with an artificial compressibility approach in order to avoid solving elliptical problems. No-slip and in/outflow boundary conditions are imposed using volume penalization. The governing equations are discretized on a locally uniform Cartesian grid with centered finite differences, and integrated in time with a Runge--Kutta scheme, both of 4th order. The domain is partitioned into cubic blocks with equidistant grids with different resolution and, for each block, biorthogonal interpolating wavelets are used as refinement indicators and prediction operators. Thresholding the wavelet coefficients allows to generate dynamically evolving grids, and an adaption strategy tracks the solution in both space and scale. Blocks are distributed among MPI processes and the global topology of the grid is encoded using a tree-like data structure. Analyzing the different physical and numerical parameters allows balancing their individual error contributions and thus ensures optimal convergence while minimizing computational effort. Different validation tests score accuracy and performance of our new open source code, WABBIT (Wavelet Adaptive Block-Based solver for Interactions with Turbulence), on massively parallel computers using fully adaptive grids. Flow simulations of flapping insects demonstrate its applicability to complex, bio-inspired problems.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: FlauBERT: Unsupervised Language Model Pre-training for French

abstract: Language models have become a key step to achieve state-of-the art results in many different Natural Language Processing (NLP) tasks. Leveraging the huge amount of unlabeled texts nowadays available, they provide an efficient way to pre-train continuous word representations that can be fine-tuned for a downstream task, along with their contextualization at the sentence level. This has been widely demonstrated for English using contextualized representations (Dai and Le, 2015; Peters et al., 2018; Howard and Ruder, 2018; Radford et al., 2018; Devlin et al., 2019; Yang et al., 2019b). In this paper, we introduce and share FlauBERT, a model learned on a very large and heterogeneous French corpus. Models of different sizes are trained using the new CNRS (French National Centre for Scientific Research) Jean Zay supercomputer. We apply our French language models to diverse NLP tasks (text classification, paraphrasing, natural language inference, parsing, word sense disambiguation) and show that most of the time they outperform other pre-training approaches. Different versions of FlauBERT as well as a unified evaluation protocol for the downstream tasks, called FLUE (French Language Understanding Evaluation), are shared to the research community for further reproducible experiments in French NLP.


title: Tailored elastic surface to body wave Umklapp conversion

abstract: Elastic waves guided along surfaces dominate applications in geophysics, ultrasonic inspection, mechanical vibration, and surface acoustic wave devices; precise manipulation of surface Rayleigh waves and their coupling with polarized body waves presents a challenge that offers to unlock the flexibility in wave transport required for efficient energy harvesting and vibration mitigation devices. We design elastic metasurfaces, consisting of a graded array of rod resonators attached to an elastic substrate that, together with critical insight from Umklapp scattering in phonon-electron systems, allow us to leverage the transfer of crystal momentum; we mode-convert Rayleigh surface waves into bulk waves that form tunable beams. Experiments, theory and simulation verify that these tailored Umklapp mechanisms play a key role in coupling surface Rayleigh waves to reversed bulk shear and compressional waves independently, thereby creating passive self-phased arrays allowing for tunable redirection and wave focusing within the bulk medium.


title: Mechanism for nonlocal information flow from black holes

abstract: We show that quantum nonequilibrium (or deviations from the Born rule) can propagate nonlocally across space. Such phenomena are allowed in the de Broglie-Bohm pilot-wave formulation of quantum mechanics. We show that an entangled state can act as a channel whereby quantum nonequilibrium can be transferred nonlocally from one region to another without any classical interaction. This suggests a novel mechanism whereby information can escape from behind the classical event horizon of an evaporating black hole.


title: Mutual Information in Community Detection with Covariate Information and Correlated Networks

abstract: We study the problem of community detection when there is covariate information about the node labels and one observes multiple correlated networks. We provide an asymptotic upper bound on the per-node mutual information as well as a heuristic analysis of a multivariate performance measure called the MMSE matrix. These results show that the combined effects of seemingly very different types of information can be characterized explicitly in terms of formulas involving low-dimensional estimation problems in additive Gaussian noise. Our analysis is supported by numerical simulations.


title: Intertwining relations for diffusions in manifolds and applications to functional inequalities

abstract: We prove intertwining relations by twisted gradients for Markov semi-groups. These relations are applied to Brascamp-Lieb type inequalities and spectral gap results. It generalizes the results of [1] from the Euclidean space to Riemannian manifolds and to non symmetric twisted operators.


title: Mapping flows on sparse networks with missing links

abstract: Unreliable network data can cause community-detection methods to overfit and highlight spurious structures with misleading information about the organization and function of complex systems. Here we show how to detect significant flow-based communities in sparse networks with missing links using the map equation. Since the map equation builds on Shannon entropy estimation, it assumes complete data such that analyzing undersampled networks can lead to overfitting. To overcome this problem, we incorporate a Bayesian approach with assumptions about network uncertainties into the map equation framework. Results in both synthetic and real-world networks show that the Bayesian estimate of the map equation provides a principled approach to revealing significant structures in undersampled networks.


title: Non-isometric hyperbolic 3-orbifolds with the same topological type and volume

abstract: We construct pairs of non-isometric hyperbolic 3-orbifolds with the same topological type and volume. Topologically these orbifolds are mapping tori of pseudo-Anosov maps of the surface of genus 2, with singular locus a fibred (hyperbolic) link with five components.


title: Chaotic Delone sets

abstract: We present a definition of chaotic Delone set, and establish the genericity of chaos in the space of $(\epsilon,\delta)$-Delone sets for $\epsilon\geq \delta$. We also present a hyperbolic analogue of the cut-and-project method that naturally produces examples of chaotic Delone sets.


title: The Comptonising medium of the neutron star in 4U 1636-53 through its lower kilohertz Quasi-Periodic Oscillations

abstract: Inverse Compton scattering dominates the high energy part of the spectra of neutron star (NS) low mass X-ray binaries (LMXBs). It has been proposed that inverse Compton scattering also drives the radiative properties of kilohertz quasi periodic oscillations (kHz QPOs). In this work, we construct a model that predicts the energy dependence of the rms amplitude and time lag of the kHz QPOs. Using this model, we fit the rms amplitude and time lag energy spectra of the lower kHz QPO in the NS LMXB 4U 1636-53 over 11 frequency intervals of the QPO and report three important findings: (i) A medium that extends 1-8 km above the NS surface is required to fit the data; this medium can be sustained by the balance between gravity and radiation pressure, without forcing any equilibrium condition. (ii) We predict a time delay between the oscillating NS temperature, due to feedback, and the oscillating electron temperature of the medium which, with the help of phase resolved spectroscopy, can be used as a probe of the geometry and the feedback mechanism. (iii) We show that the observed variability as a function of QPO frequency is mainly driven by the oscillating electron temperature of the medium. This provides strong evidence that the Comptonising medium in LMXBs significantly affects, if not completely drives, the radiative properties of the lower kHz QPOs regardless of the nature of the dynamical mechanism that produces the QPO frequencies.


title: DGEMM performance is data-dependent

abstract: The DGEMM function is a widely used implementation of the matrix product. While the asymptotic complexity of the algorithm only depends on the sizes of the matrices, we show that the performance is significantly impacted by the matrices content. Our experiments show that this may be due to bit flips in the CPU causing an energy consumption overhead.


title: Spinning and excited black holes in Einstein-scalar-Gauss-Bonnet theory

abstract: We construct rotating black holes in Einstein-scalar-Gauss-Bonnet theory with a quadratic coupling function. We map the domain of existence of the rotating fundamental solutions, we construct radially excited rotating black holes (including their existence lines), and we show that there are angularly excited rotating black holes. The bifurcation points of the radially and angularly excited solutions branching out of the Schwarzschild solution follow a regular pattern.


title: On the difference between the volatility swap strike and the zero vanna implied volatility

abstract: In this paper, Malliavin calculus is applied to arrive at exact formulas for the difference between the volatility swap strike and the zero vanna implied volatility for volatilities driven by fractional noise. To the best of our knowledge, our estimate is the first to derive the rigorous relationship between the zero vanna implied volatility and the volatility swap strike. In particular, we will see that the zero vanna implied volatility is a better approximation for the volatility swap strike than the ATMI.


title: AugFPN: Improving Multi-scale Feature Learning for Object Detection

abstract: Current state-of-the-art detectors typically exploit feature pyramid to detect objects at different scales. Among them, FPN is one of the representative works that build a feature pyramid by multi-scale features summation. However, the design defects behind prevent the multi-scale features from being fully exploited. In this paper, we begin by first analyzing the design defects of feature pyramid in FPN, and then introduce a new feature pyramid architecture named AugFPN to address these problems. Specifically, AugFPN consists of three components: Consistent Supervision, Residual Feature Augmentation, and Soft RoI Selection. AugFPN narrows the semantic gaps between features of different scales before feature fusion through Consistent Supervision. In feature fusion, ratio-invariant context information is extracted by Residual Feature Augmentation to reduce the information loss of feature map at the highest pyramid level. Finally, Soft RoI Selection is employed to learn a better RoI feature adaptively after feature fusion. By replacing FPN with AugFPN in Faster R-CNN, our models achieve 2.3 and 1.6 points higher Average Precision (AP) when using ResNet50 and MobileNet-v2 as backbone respectively. Furthermore, AugFPN improves RetinaNet by 1.6 points AP and FCOS by 0.9 points AP when using ResNet50 as backbone. Codes will be made available.


title: On analytic functions in an ordered field with an infinite rank valuation

abstract: Let K be the scalar field of the first orthomodular (or Form Hilbert) space, described by H. Keller in 1980. It has a non-Archimedean order, an infinite rank valuation compatible with the order as well as an explicitly defined ultrametric, all of which induce the same topology. We study analytic functions defined on valued field K, and we will establish an invertibility local theorem for these functions as an application of Banach fixed point theorem.


title: On James Hyde's example of non-orderable subgroup of $\mathrm{Homeo}(D,\partial D)$

abstract: In [Ann. Math. 190 (2019), 657-661], James Hyde presented the first example of non-left-orderable, finitely generated subgroup of $\mathrm{Homeo}(D,\partial D)$, the group of homeomorphisms of the disk fixing the boundary. This implies that the group $\mathrm{Homeo}(D,\partial D)$ itself is not left-orderable. We revisit the construction, and present a slightly different proof of purely dynamical flavor, avoiding direct references to properties of left-orders. Our approach allows to solve the analogue problem for actions on the circle.


title: Representation type of Borel-Schur algebras

abstract: In our previous work arXiv:1306.1770, we found all Borel-Schur algebra of finite representation type. In the present article, we determine which Borel-Schur algebras of infinite representation type are tame, and which are wild.


title: New Trend in Quantization Methods

abstract: This paper is a slightly reduced and concise version of a course given at Geonet2019 school on New Trends in Mathematical Methods for Physics at IMSP in Rep. of Benin, May 2019. The notes are intended to provide the reader with an introduction of a more recent procedure of quantization that is a generalization of the coherent states quantization procedure, highlighting the link between symplectic geometry and classical mechanics. The topic and the goal of the Geonet2019 school motivated the choice of the title of the course as New Trend in Quantization Methods. It is also a coincidence of a current research interest in integral quantization.


title: Search for strongly lensed counterpart images of binary black hole mergers in the first two LIGO observing runs

abstract: Strong gravitational lensing can produce multiple images of the same gravitational-wave signal, each arriving at different times and with different magnification. Previous work has explored if lensed pairs exist among the known high-significance events and found no evidence of this. However, the possibility remains that weaker counterparts of these events are present in the data, unrecovered by previous searches. We conduct a targeted search specifically looking for sub-threshold lensed images of known binary black hole (BBH) observations. We recover candidates matching three of the additional events first reported by Venumadhav et al. (2019), but find no evidence for additional BBH events. We also find no evidence that any of the Venumadhav et al. observations are lensed counterparts. We demonstrate how this type of counterpart search can constrain hypotheses about the overall source and lens populations and we rule out at very high confidence the extreme hypothesis that all heavy BBH detections are in fact lensed systems at high redshift with intrinsic masses < 15Msun.


title: Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space

abstract: The Massively Parallel Computation (MPC) model is an emerging model which distills core aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is distributed over many machines with limited space. Recent work has focused on the regime in which machines have sublinear (in $n$, the number of nodes in the input graph) memory, with randomized algorithms presented for fundamental graph problems of Maximal Matching and Maximal Independent Set. However, there have been no prior corresponding \emph{deterministic} algorithms. A major challenge underlying the sublinear space setting is that the local space of each machine might be too small to store all the edges incident to a single node. This poses a considerable obstacle compared to the classical models in which each node is assumed to know and have easy access to its incident edges. To overcome this barrier we introduce a new \emph{graph sparsification technique} that \emph{deterministically} computes a low-degree subgraph with additional desired properties. Using this framework to derandomize the well-known randomized algorithm of Luby [SICOMP'86], we obtain $O(\log \Delta+\log\log n)$-round \emph{deterministic} MPC algorithms for solving the fundamental problems of \emph{Maximal Matching} and \emph{Maximal Independent Set} with $O(n^{\epsilon})$ space on each machine for any constant $\epsilon > 0$. Based on the recent work of Ghaffari et al. [FOCS'18], this additive $O(\log\log n)$ factor is \emph{conditionally} essential. These algorithms can also be shown to run in $O(\log \Delta)$ rounds in the closely related model of \congc, improving upon the state-of-the-art bound of $O(\log^2 \Delta)$ rounds by Censor-Hillel et al. [DISC'17].


title: Detecting and Correcting Adversarial Images Using Image Processing Operations

abstract: Deep neural networks (DNNs) have achieved excellent performance on several tasks and have been widely applied in both academia and industry. However, DNNs are vulnerable to adversarial machine learning attacks, in which noise is added to the input to change the network output. We have devised an image-processing-based method to detect adversarial images based on our observation that adversarial noise is reduced after applying these operations while the normal images almost remain unaffected. In addition to detection, this method can be used to restore the adversarial images' original labels, which is crucial to restoring the normal functionalities of DNN-based systems. Testing using an adversarial machine learning database we created for generating several types of attack using images from the ImageNet Large Scale Visual Recognition Challenge database demonstrated the efficiency of our proposed method for both detection and correction.


title: Climate bistability of Earth-like exoplanets

abstract: Before about 500 million years ago, most probably our planet experienced temporary snowball conditions, with continental and sea ices covering a large fraction of its surface. This points to a potential bistability of Earth's climate, that can have at least two different (statistical) equilibrium states for the same external forcing (i.e., solar radiation). Here we explore the probability of finding bistable climates in earth-like exoplanets, and consider the properties of planetary climates obtained by varying the semi-major orbital axis (thus, received stellar radiation), eccentricity and obliquity, and atmospheric pressure. To this goal, we use the Earth-like planet surface temperature model (ESTM), an extension of 1D Energy Balance Models developed to provide a numerically efficient climate estimator for parameter sensitivity studies and long climatic simulations. After verifying that the ESTM is able to reproduce Earth climate bistability, we identify the range of parameter space where climate bistability is detected. An intriguing result of the present work is that the planetary conditions that support climate bistability are remarkably similar to those required for the sustainance of complex, multicellular life on the planetary surface. The interpretation of this result deserves further investigation, given its relevance for the potential distribution of life in exoplanetary systems.


title: Fine-grained Classification of Rowing teams

abstract: Fine-grained classification tasks such as identifying different breeds of dog are quite challenging as visual differences between categories is quite small and can be easily overwhelmed by external factors such as object pose, lighting, etc. This work focuses on the specific case of classifying rowing teams from various associations. Currently, the photos are taken at rowing competitions and are manually classified by a small set of members, in what is a painstaking process. To alleviate this, Deep learning models can be utilised as a faster method to classify the images. Recent studies show that localising the manually defined parts, and modelling based on these parts, improves on vanilla convolution models, so this work also investigates the detection of clothing attributes. The networks were trained and tested on a partially labelled data set mainly consisting of rowers from multiple associations. This paper resulted in the classification of up to ten rowing associations by using deep learning networks the smaller VGG network achieved 90.1\% accuracy whereas ResNet was limited to 87.20\%. Adding attention to the ResNet resulted into a drop of performance as only 78.10\% was achieved.


title: Critical transition in fast-rotating turbulence within highly elongated domains

abstract: We study rapidly rotating turbulent flows in a highly elongated domain using an asymptotic expansion at simultaneously low Rossby number $Ro\ll 1$ and large domain height compared to the energy injection scale, $h=H/\ell_{in}\gg 1$. We solve the resulting equations using an extensive set of direct numerical simulations for different parameter regimes. As the parameter $\lambda = (h Ro)^{-1}$ is increased beyond a threshold $\lambda_c$, a transition is observed from a state without an inverse energy cascade to a state with an inverse energy cascade. } For large Reynolds number and large horizontal box size, we provide evidence for criticality of the transition in terms of the large-scale energy dissipation rate.


title: Energy of the $^{229}$Th Nuclear Clock Isomer Determined by Absolute $\gamma$-ray Energy Difference

abstract: The low-lying isomeric state of $^{229}$Th provides unique opportunities for high-resolution laser spectroscopy of the atomic nucleus. We determine the energy of this isomeric state by taking the absolute energy difference between the excitation energy required to populate the 29.2-keV state from the ground-state and the energy emitted in its decay to the isomeric excited state. A transition-edge sensor microcalorimeter was used to measure the absolute energy of the 29.2-keV $\gamma$-ray. Together with the cross-band transition energy (29.2 keV$\to$ground) and the branching ratio of the 29.2-keV state measured in a recent study, the isomer energy was determined to be 8.30$\pm$0.92 eV. Our result is in agreement with latest measurements based on different experimental techniques, which further confirms that the isomeric state of $^{229}$Th is in the laser-accessible vacuum ultraviolet range.


title: Multimodal Self-Supervised Learning for Medical Image Analysis

abstract: Self-supervised learning approaches leverage unlabeled samples to acquire generic knowledge about different concepts, hence allowing for annotation-efficient downstream task learning. In this paper, we propose a novel self-supervised method that leverages multiple imaging modalities. We introduce the multimodal puzzle task, which facilitates rich representation learning from multiple image modalities. The learned representations allow for subsequent fine-tuning on different downstream tasks. To achieve that, we learn a modality-agnostic feature embedding by confusing image modalities at the data-level. Together with the Sinkhorn operator, with which we formulate the puzzle solving optimization as permutation matrix inference instead of classification, they allow for efficient solving of multimodal puzzles with varying levels of complexity. In addition, we also propose to utilize cross-modal generation techniques for multimodal data augmentation used for training self-supervised tasks. In other words, we exploit synthetic images for self-supervised pretraining, instead of downstream tasks directly, in order to circumvent quality issues associated with synthetic images, while improving data-efficiency and representations quality. Our experimental results, which assess the gains in downstream performance and data-efficiency, show that solving our multimodal puzzles yields better semantic representations, compared to treating each modality independently. Our results also highlight the benefits of exploiting synthetic images for self-supervised pretraining. We showcase our approach on four downstream tasks: Brain tumor segmentation and survival days prediction using four MRI modalities, Prostate segmentation using two MRI modalities, and Liver segmentation using unregistered CT and MRI modalities. We outperform many previous solutions, and achieve results competitive to state-of-the-art.


title: NNLO QED contribution to the $\mu e\to \mu e$ elastic scattering

abstract: We present the current status of the Next-to-Next-to-Leading Order QED contribution to the $\mu e$-scattering. Particular focus is given to the techniques involved to tackle the virtual amplitude and their automatic implementation. Renormalization of the amplitude will be also discuss in details.


title: Low energy core collapse supernovae in the frame of the jittering jets explosion mechanism

abstract: We relate the pre-explosion binding energy of the ejecta of core-collapse supernovae (CCSNe) of stars with masses in the lower range of CCSNe and the location of the convection zones in the pre-collapse core of these stars, to explosion properties in the frame of the jittering jets explosion mechanism. Our main conclusion is that in the frame of the jittering jets explosion mechanism the remnant of a pulsar in these low energy CCSNe has some significance, in that the launching of jets by the newly born neutron star (NS) spins-up the NS and create a pulsar. We crudely estimated the period of the pulsars to be tens of milliseconds in these cases. The convective zones seed perturbations that lead to accretion of stochastic angular momentum that in turn is assumed to launch jittering jets in this explosion mechanism. We calculate the binding energy and the location of the convective zones with the stellar evolution code \textsc{mesa}. For the lowest stellar masses, we study, $M_{\rm ZAMS} \simeq 8.5-11 M_\odot$, the binding energy above the convective zones is low, and so is the expected explosion energy in the jittering jets explosion mechanism that works in a negative feedback cycle. The expected mass of the NS remnant is $M_{\rm NS} \approx 1.25M_\odot-1.6M_\odot$, even for these low energy CCSNe.


title: The exponential tail of inflationary fluctuations: consequences for primordial black holes

abstract: The curvature perturbations produced during an early era of inflation are known to have quasi-Gaussian distribution functions close to their maximum, where they are well constrained by measurements of the cosmic microwave background anisotropies and of the large-scale structures. In contrast, the tails of these distributions are poorly known, although this part is the relevant one for rare, extreme objects such as primordial black holes. We show that these tails are highly non-Gaussian, and cannot be described with standard non-Gaussian expansions, that are designed to approximate the distributions close to their maximum only. Using the stochastic-$\delta N$ formalism, we develop a generic framework to compute the tails, which are found to have an exponential, rather than Gaussian, decay. These exponential tails are inevitable, and do not require any non-minimal feature as they simply result from the quantum diffusion of the inflaton field along its potential. We apply our formalism to a few relevant single-field, slow-roll inflationary potentials, where our analytical treatment is confirmed by comparison with numerical results. We discuss the implications for the expected abundance of primordial black holes in these models, and highlight that it can differ from standard results by several orders of magnitude. In particular, we find that potentials with an inflection point overproduce primordial black holes, unless slow roll is violated.


title: Generalized attenuated ray transforms and their integral angular moments

abstract: In this article generalized attenuated ray transforms (ART) and integral angular moments are investigated. Starting from the Radon transform, the attenuated ray transform and the longitudinal ray transform, we derive the concept of ART-operators of order $k$ over functions defined on the phase space and depending on time. The ART-operators are generalized for complex-valued absorption coefficient as well as weight functions of polynomial and exponential type. Connections between ART operators of various orders are established by means of the application of the linear part of a transport equation. These connections lead to inhomogeneous differential equations of order $(k+1)$ for the ART of order $k$. Uniqueness theorems for the corresponding boundary-value and initial boundary-value problems are proved. Properties of integral angular moments of order $p$ are considered and connections between the moments of different orders are deduced. A close connection of the considered operators with mathematical models for tomography, physical optics and integral geometry allows to treat the inversion of ART of order $k$ as an inverse problem of determining the right-hand side of a corresponding differential equation.


title: Sampling theory for spatial field sensing: Application to electro- and magnetoencephalography

abstract: We present a theoretical framework for analyzing spatial sampling of fields in three-dimensional space. The framework bridges Shannon's sampling and information theory to Bayesian probabilistic inference and experimental design. Based on the theory, we present an approach for optimal sampling on curved surfaces and analyze spatial sampling of EEG as well as that of on- and off-scalp MEG. Our spatial-frequency analysis of simulated measurements shows that the available spatial degrees of freedom in the electric potential are limited by the smoothing due to head tissues, while those in the magnetic field are limited by the measurement distance. On-scalp MEG would generally benefit from three times more samples than EEG or off-scalp MEG. Assuming uniform whole-head sampling and similar signal-to-noise ratios, on-scalp MEG has the highest total information content among these modalities. If the number of spatial samples is small, nonuniform sampling can be beneficial.


title: Equation of motion for a bound system of charged particles

abstract: We consider a bound system of charged particles moving in an external electromagnetic field, including leading relativistic corrections. The difference from the point particle with a magnetic moment comes from the presence of polarizabilities. Due to the lack of separation of the total momentum from the internal degrees of freedom, the notion of polarizability of the bound state immersed in the continuum spectrum of the global motion is nontrivial. We introduce a bound-continuum perturbation theory and obtain a complete formula for the equation of motion for a polarizable bound system, such as atom, ion, or the nucleus. This formula may find applications when high precision is sought and small effects due polarizabilities are important.


title: Refinement strategies for polygonal meshes applied to adaptive VEM discretization

abstract: In the discretization of differential problems on complex geometrical domains, discretization methods based on polygonal and polyhedral elements are powerful tools. Adaptive mesh refinement for such kind of problems is very useful as well and states new issues, here tackled, concerning good quality mesh elements and reliability of the simulations. In this paper we numerically investigate optimality with respect to the number of degrees of freedom of the numerical solutions obtained by the different refinement strategies proposed. A geometrically complex geophysical problem is used as test problem for several general purpose and problem dependent refinement strategies.


title: U-Net with spatial pyramid pooling for drusen segmentation in optical coherence tomography

abstract: The presence of drusen is the main hallmark of early/intermediate age-related macular degeneration (AMD). Therefore, automated drusen segmentation is an important step in image-guided management of AMD. There are two common approaches to drusen segmentation. In the first, the drusen are segmented directly as a binary classification task. In the second approach, the surrounding retinal layers (outer boundary retinal pigment epithelium (OBRPE) and Bruch's membrane (BM)) are segmented and the remaining space between these two layers is extracted as drusen. In this work, we extend the standard U-Net architecture with spatial pyramid pooling components to introduce global feature context. We apply the model to the task of segmenting drusen together with BM and OBRPE. The proposed network was trained and evaluated on a longitudinal OCT dataset of 425 scans from 38 patients with early/intermediate AMD. This preliminary study showed that the proposed network consistently outperformed the standard U-net model.


title: Training Deep SLAM on Single Frames

abstract: Learning-based visual odometry and SLAM methods demonstrate a steady improvement over past years. However, collecting ground truth poses to train these methods is difficult and expensive. This could be resolved by training in an unsupervised mode, but there is still a large gap between performance of unsupervised and supervised methods. In this work, we focus on generating synthetic data for deep learning-based visual odometry and SLAM methods that take optical flow as an input. We produce training data in a form of optical flow that corresponds to arbitrary camera movement between a real frame and a virtual frame. For synthesizing data we use depth maps either produced by a depth sensor or estimated from stereo pair. We train visual odometry model on synthetic data and do not use ground truth poses hence this model can be considered unsupervised. Also it can be classified as monocular as we do not use depth maps on inference. We also propose a simple way to convert any visual odometry model into a SLAM method based on frame matching and graph optimization. We demonstrate that both the synthetically-trained visual odometry model and the proposed SLAM method build upon this model yields state-of-the-art results among unsupervised methods on KITTI dataset and shows promising results on a challenging EuRoC dataset.


title: On the resolution of the sensitivity conjecture

abstract: The Sensitivity Conjecture is a long-standing problem in theoretical computer science that seeks to fit the sensitivity of a Boolean function into a unified framework formed by the other complexity measures of Boolean functions, such as block sensitivity and certificate complexity. After more than thirty years of attacks on this Conjecture, Hao Huang (2019) gave a very succinct proof of the Conjecture. In this survey, we explore the ideas that inspired the proof of this Conjecture by an exposition of four papers that had the most impact on the Conjecture. We also discuss progress on further research directions that the Conjecture leads us to.


title: UCT-ADP Progressive Bias Algorithm for Solving Gomoku

abstract: We combine Adaptive Dynamic Programming (ADP), a reinforcement learning method and UCB applied to trees (UCT) algorithm with a more powerful heuristic function based on Progressive Bias method and two pruning strategies for a traditional board game Gomoku. For the Adaptive Dynamic Programming part, we train a shallow forward neural network to give a quick evaluation of Gomoku board situations. UCT is a general approach in MCTS as a tree policy. Our framework use UCT to balance the exploration and exploitation of Gomoku game trees while we also apply powerful pruning strategies and heuristic function to re-select the available 2-adjacent grids of the state and use ADP instead of simulation to give estimated values of expanded nodes. Experiment result shows that this method can eliminate the search depth defect of the simulation process and converge to the correct value faster than single UCT. This approach can be applied to design new Gomoku AI and solve other Gomoku-like board game.