title: Linear and angular motion of self-diffusiophoretic Janus particles

abstract: We theoretically study the active motion of self-diffusiophoretic Janus particles (JPs) using the Onsager-Casimir reciprocal relations. The linear and angular velocity of a single JP are shown to respectively result from a coupling of electrochemical forces to the fluid flow fields induced by a force and torque on the JP. A model calculation is provided for half-capped JPs catalysing a chemical reaction of solutes at their surface, by reducing the continuity equations of the reacting solutes to Poisson equations for the corresponding electrochemical fields. We find that an anisotropic chemical activity alone is enough to give rise to active linear motion of a JP, whereas active rotation only occurs if the JP is not axisymmetric. In the absence of specific interactions with the solutes, the active linear velocity of the JP is shown to be related to the stoichiometrically weighted sum of the friction coefficients (or hydrodynamic radii) of the reacting solutes. Our reciprocal treatment further suggests that a specific interaction with the solutes is required to observe far-field diffusiophoretic interactions between JPs, which rely on an interfacial solute excess at the JP surface. Most notably, our approach applies beyond the boundary-layer approximation and accounts for both the diffusio- and electrophoretic nature of active motion.


title: Shapes of Uncertainty in Spectral Graph Theory

abstract: We present a flexible framework for uncertainty principles in spectral graph theory. In this framework, general filter functions modeling the spatial and spectral localization of a graph signal can be incorporated. It merges several existing uncertainty relations on graphs, among others the Landau-Pollak principle describing the joint admissibility region of two projection operators, and uncertainty relations based on spectral and spatial spreads. Using theoretical and computational aspects of the numerical range of matrices, we are able to characterize and illustrate the shapes of the uncertainty curves and to study the space-frequency localization of signals inside the admissibility regions.


title: Numerical study of the cryogenic cooling of amplifiers for high power lasers

abstract: The French collaborative Trio4CLF project aims to understand and control the cryogenic cooling of amplifiers for high power (~1 PetaWatt) and high repetition rate (1-10 Hertz) lasers. In such amplifiers, the fluid (low temperature gaseous helium) evacuates the thermal power absorbed by the solid amplifying plates. A precise knowledge of the heat exchange and of the turbulent fluid flow in the amplifier is requested to evaluate its impact on the laser beam quality. Large Eddy Simulations representative of the amplifier cooling are performed using TrioCFD, a code developed by the CEA. First, validation simulations are carried out for heated periodic channel flows, allowing comparisons with Direct Numerical Simulation results from the literature. They are conducted using conjugate heat transfer calculation between the fluid and the solid. The channel flow is turbulent, with a bulk Reynolds number (based and the bulk velocity and the total height of the channel) of about 14000. Large Eddy Simulation of a heated open turbulent cryogenic helium flow with developing thermal boundary layers is then presented.


title: Gluonic vertices and the gluon propagator in Landau gauge Yang-Mills theory

abstract: Correlation functions of Landau gauge Yang-Mills theory are calculated from their equations of motion. Solutions for the three- and four-gluon vertices and the role of two-loop diagrams in the gluon propagator equation are discussed.


title: Adversarial Representation Learning for Robust Patient-Independent Epileptic Seizure Detection

abstract: Objective: Epilepsy is a chronic neurological disorder characterized by the occurrence of spontaneous seizures, which affects about one percent of the world's population. Most of the current seizure detection approaches strongly rely on patient history records and thus fail in the patient-independent situation of detecting the new patients. To overcome such limitation, we propose a robust and explainable epileptic seizure detection model that effectively learns from seizure states while eliminates the inter-patient noises. Methods: A complex deep neural network model is proposed to learn the pure seizure-specific representation from the raw non-invasive electroencephalography (EEG) signals through adversarial training. Furthermore, to enhance the explainability, we develop an attention mechanism to automatically learn the importance of each EEG channels in the seizure diagnosis procedure. Results: The proposed approach is evaluated over the Temple University Hospital EEG (TUH EEG) database. The experimental results illustrate that our model outperforms the competitive state-of-the-art baselines with low latency. Moreover, the designed attention mechanism is demonstrated ables to provide fine-grained information for pathological analysis. Conclusion and significance: We propose an effective and efficient patient-independent diagnosis approach of epileptic seizure based on raw EEG signals without manually feature engineering, which is a step toward the development of large-scale deployment for real-life use.


title: Dynamic Complexity of Document Spanners

abstract: The present paper investigates the dynamic complexity of document spanners, a formal framework for information extraction introduced by Fagin, Kimelfeld, Reiss, and Vansummeren (JACM 2015). We first look at the class of regular spanners and prove that any regular spanner can be maintained in the dynamic complexity class DynPROP. This result follows from work done previously on the dynamic complexity of formal languages by Gelade, Marquardt, and Schwentick (TOCL 2012). To investigate core spanners we use SpLog, a concatenation logic that exactly captures core spanners. We show that the dynamic complexity class DynCQ, is more expressive than SpLog and therefore can maintain any core spanner. This result is then extended to show that DynFO can maintain any generalized core spanner and that DynFO is at least as powerful as SpLog with negation.


title: AI Modelling and Time-series Forecasting Systems for Trading Energy Flexibility in Distribution Grids

abstract: We demonstrate progress on the deployment of two sets of technologies to support distribution grid operators integrating high shares of renewable energy sources, based on a market for trading local energy flexibilities. An artificial-intelligence (AI) grid modelling tool, based on probabilistic graphs, predicts congestions and estimates the amount and location of energy flexibility required to avoid such events. A scalable time-series forecasting system delivers large numbers of short-term predictions of distributed energy demand and generation. We discuss the deployment of the technologies at three trial demonstration sites across Europe, in the context of a research project carried out in a consortium with energy utilities, technology providers and research institutions.


title: On the Poincare-Lelong equation in $\mathbb{C}^n$

abstract: In this paper, we prove the existence of (global) solutions of the Poincar\'e-Lelong equation $\partial\overline{\p}u=f$, where $f$ is a $d$-closed $(1,1)$ form and is in the weighted Hilbert space with Gaussian measure, i.e., $L^2_{(1,1)}(\mathbb{C}^n,e^{-|z|^2})$. The novelty of this paper is to apply a weighted $L^2$ version of Poincar\'e Lemma for $2$-forms, and then apply H\"{o}rmander's $L^2$ solutions for Cauchy-Riemann equations. In the both cases, the same weight $e^{-|z|^2}$ is used.


title: A right inverse of Cauchy-Riemann operator $\bar{\partial}^k+a$ in weighted Hilbert space $L^2(\mathbb{C},e^{-|z|^2})$

abstract: Using H\"{o}rmander $L^2$ method for Cauchy-Riemann equations from complex analysis, we study a simple differential operator $\bar{\partial}^k+a$ of any order (densely defined and closed) in weighted Hilbert space $L^2(\mathbb{C},e^{-|z|^2})$ and prove the existence of a right inverse that is bounded.


title: Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes and Stability Guarantees

abstract: Closing feedback loops fast and over long distances is key to emerging cyber-physical applications; for example, robot motion control and swarm coordination require update intervals of tens of milliseconds. Low-power wireless communication technology is preferred for its low cost, small form factor, and flexibility, especially if the devices support multi-hop communication. Thus far, however, feedback control over multi-hop low-power wireless networks has only been demonstrated for update intervals on the order of seconds. To fill this gap, this paper presents a wireless embedded system that supports dynamic mode changes and tames imperfections impairing control performance (e.g., jitter and message loss), and a control design that exploits the essential properties of this system to provably guarantee closed-loop stability for physical processes with linear time-invariant dynamics in the presence of mode changes. Using experiments on a cyber-physical testbed with 20 wireless devices and multiple cart-pole systems, we are the first to demonstrate and evaluate feedback control and coordination with mode changes over multi-hop networks for update intervals of 20 to 50 milliseconds.


title: Resilient Coordinated Movement of Connected Autonomous Vehicles

abstract: In this paper, we consider coordinated movement of a network of vehicles consisting of a bounded number of malicious agents, that is, vehicles must reach consensus in longitudinal position and a common predefined velocity. The motions of vehicles are modeled by double-integrator dynamics and communications over the network are asynchronous with delays. Each normal vehicle updates its states by utilizing the information it receives from vehicles in its vicinity. On the other hand, misbehaving vehicles make updates arbitrarily and might threaten the consensus within the network by intentionally changing their moving direction or broadcasting faulty information in their neighborhood. We propose an asynchronous updating strategy for normal vehicles, based on filtering extreme values received from neighboring vehicles, to save them from being misguided by malicious vehicles. We show that there exist topological constraints on the network in terms of graph robustness under which the vehicles resiliently achieve coordinated movement. Numerical simulations are provided to evaluate the results.


title: Detection of true Gaussian shaped pulses at high count rates

abstract: A new true Gaussian digital shaper of detector pulses is tested and compared to the standard trapezoidal shaper in terms of output count rate, amplitude resolution and biasing the output shaped pulses. The true Gaussian shaper allows for shaping detector pulses into a symmetrical form which width can be considerably less than their rise time. Standard trapezoidal shapers cannot provide such short pulses. Therefore, the dead time of the true Gaussian shaper can be considerably reduced in regards to that of trapezoidal shaper. The output count rate of the true Gaussian and trapezoidal pulses are compared in a wide range of input count rates. The maximal output count rate of the true Gaussian shaper has been found to exceed in several times the rate of the trapezoidal shapers. The true Gaussian shapers provide better resolution and biasing-free measurements of pulse amplitudes at high count rates. The tests have been performed by modeling output signals of silicon drift detector (SDD) VITUS H7 equipped with AXAS-D pre-amplifier developed by KETEK GmbH for measurements of soft X-ray spectra at high count rates.


title: Random walks and quasi-convexity in acylindrically hyperbolic groups

abstract: It is known that every infinite index quasi-convex subgroup $H$ of a non-elementary hyperbolic group $G$ is a free factor in a larger quasi-convex subgroup of $G$. We give a probabilistic generalization of this result. That is, we show that when $R$ is a subgroup generated by independent random walks in $G$, then $\langle H, R\rangle\cong H\ast R$ with probability going to one as the lengths of the random walks go to infinity and this subgroup is quasi-convex in $G$. Moreover, our results hold for a large class of groups acting on hyperbolic metric spaces and subgroups with quasi-convex orbits. In particular, when $G$ is the mapping class group of a surface and $H$ is a convex cocompact subgroup we show that $\langle H, R\rangle$ is convex cocompact and isomorphic to $ H\ast R$.


title: Photoproduction of the $\Lambda$(1520) hyperon with a 9 GeV photon beam at GlueX

abstract: The GlueX experiment is located at the Thomas Jefferson National Accelerator Facility (JLab) in Newport News, VA, USA. It features a hermetic 4$\pi$ detector with excellent tracking and calorimetry capabilities. Its 9 GeV linearly polarized photon beam is produced from the 12 GeV electron beam, delivered by JLab's Continuous Electron Beam Accelerator Facility (CEBAF), via bremsstrahlung on a thin diamond and is incident on a LH2 target. GlueX recently finished its first data taking period and published first results. The main goal of GlueX is to measure gluonic excitations of mesons. These so-called hybrid or exotic mesons are predicted by Quantum Chromodynamics (QCD) but haven't been experimentally confirmed yet. They can have quantum numbers not accessible by ordinary quark-antiquark pairs which helps in identifying them using partial wave analysis techniques. The search for exotic mesons requires a very good understanding of photoproduction processes in a wide range of final states, one of them being $pK^{+}K^{-}$ which contains many meson and baryon reactions. The $\Lambda$(1520) is a prominent hyperon resonance in this final state and is the subject of this presentation. This talk will give an introduction to the GlueX experiment and show preliminary results for the photoproduction of the $\Lambda$(1520) hyperon. The measurement of important observables like the photon beam asymmetry and spin-density matrix elements will be discussed and an outlook to possible measurements of further hyperon states in the $pK^{+}K^{-}$ final state will be given.


title: A new kind of Hermitian matrices for digraphs

abstract: In an earlier work, the author together with Guo [Hermitian adjacency matrix of digraphs and mixed graphs, J. Graph Theory 85 (2017) 217-248] introduced the Hermitian adjacency matrix of directed (and partially directed) graphs. However, it appears that a more natural Hermitian matrix exists, and it is the purpose of this note to bring this new Hermitian matrix to the attention of researchers in algebraic graph theory.


title: A Taxonomic Review of Adaptive Random Testing: Current Status, Classifications, and Issues

abstract: Random testing (RT) is a black-box software testing technique that tests programs by generating random test inputs. It is a widely used technique for software quality assurance, but there has been much debate by practitioners concerning its failure-detection effectiveness. RT is argued to be possibly less effective by some researchers as it does not utilize any information about the program under test. Efforts to mainly improve the failure-detection capability of RT, have led to the proposition of Adaptive Random Testing (ART). ART takes advantage of the location information of previous non-fault-detecting test cases to enhance effectiveness as compared to RT. The approach has gained popularity and has a large number of theoretical studies and methods that employ different notions. In this review, our goal is to provide an overview of existing ART studies. We classify all ART studies and assess existing ART methods for numeric programs with a focus on their motivation, strategy, and findings. The study also discusses several worthy avenues related to ART. The review uses 109 ART papers in several journals, workshops, and conference proceedings. The results of the review show that significant research efforts have been made towards the field of ART, however further empirical studies are still required to make the technique applicable in different test scenarios in order to impact on the industry.


title: High degree of chaos synchronization of a single pair of transverse modes with different polarizations in vector lasers subjected to self-mixing modulation

abstract: Synchronization of chaos among a single pair of transverse modes featuring intermode dynamical non-independence, resulting from cross-saturation of modal population inversions and coherent modal field coupling, is explored in a thin-slice solid-state laser with coupled orthogonally polarized transverse modes operating in quasi-locked states. The chaotic signals that are created in one of the pairing modes (sender) by self-mixing modulations are shown to be transferred solely to the partner mode (receiver) among all the other modal fields with different polarizations. The experimental results are reproduced in a simulation of a model equation of coupled laser modes subjected to self-mixing modulations.


title: Application of Fuzzy Clustering for Text Data Dimensionality Reduction

abstract: Large textual corpora are often represented by the document-term frequency matrix whose elements are the frequency of terms; however, this matrix has two problems: sparsity and high dimensionality. Four dimension reduction strategies are used to address these problems. Of the four strategies, unsupervised feature transformation (UFT) is a popular and efficient strategy to map the terms to a new basis in the document-term frequency matrix. Although several UFT-based methods have been developed, fuzzy clustering has not been considered for dimensionality reduction. This research explores fuzzy clustering as a new UFT-based approach to create a lower-dimensional representation of documents. Performance of fuzzy clustering with and without using global term weighting methods is shown to exceed principal component analysis and singular value decomposition. This study also explores the effect of applying different fuzzifier values on fuzzy clustering for dimensionality reduction purpose.


title: Einstein's cluster mimicking compact star in the teleparallel equivalent of general relativity

abstract: We present a physically plausible solution representing Einstein's cluster mimicking the behaviors of compact star in the context of teleparallel equivalent of general relativity. The Teleparallel gravity (TEGR) is an alternative formulation of gravity which uses tetrads as the dynamical variables. We focus on two particularly interesting scenarios. First, we develop the Einstein clusters in TEGR field equations using effective energy-momentum tensor for diagonal as well as off-diagonal tetrad. We then study the clusters in modified $f(T)-$gravity for anisotropic fluid distribution. Based on these two theories, we further study the solution without net electric charge and then for charged solution. For charge parameter $k \rightarrow 0$, the charged solution reduces to neutral one. Our calculations show that when charge increases, the stiffness of the EoS also increases. This is due to increase in adiabatic index and sound speed approaching speed of light. When the charge increase beyond a certain limit ($0\le k \le 1.3 \times 10^{-5}$ and $0\le k \le 1 \times 10^{-6}$), the compactness parameter crosses the Buchdahl limit i.e. $2M/R>8/9$ and the solution start violating the causality condition. We test the Tolman-Oppenheimer-Volkoff (TOV) limit for such compact objects. We analyze the static stability criterion of the Einstein clusters for both charged and uncharged case, and the stability of such compact objects is enhanced by the presence some net electric charge. Finally, we compare our solution for pure general relativity. As a result, we concluded that the Einstein cluster solution do exist in pure GR, however, physically unfit to mimic compact stars. We have also extend our findings by assuming the diagonal or off-diagonal tetrad and specific case of $f(T)$. In such models, Einstein's cluster solutions do exist however can't mimic the properties of a compact star.


title: Constant-roll inflation in scalar-tensor gravity

abstract: We generalize the notion of constant-roll inflation earlier introduced in General Relativity (GR) and $f(R)$ gravity to inflationary models in more general scalar-tensor gravity. A number of novel exact analytic solutions for a FLRW spatially flat cosmological background is found for this case. All forms of the scalar field potential and its coupling to gravity producing the exact de Sitter solution, while the scalar field is varying, are presented. In the particular cases of induced gravity and GR with a non-minimally coupled scalar field, all constant-roll inflationary solutions are found. In the former case they represent power-law inflation, while in the latter case the solution is novel and more complicated. Comparison of scalar perturbations generated during such inflation in induced gravity with observational data shows that the constant-roll parameter should be small, similar to constant-roll inflation in GR and $f(R)$ gravity. Then the solution reduces to the standard slow-roll one with small corrections.


title: An Experimental Test of the Trajectory Predictions of Bohmian Quantum Mechanics

abstract: We propose an experimental time-of-flight test of the photon "trajectory" predictions of the Bohmian version of quantum mechanics. The photon trajectories in free space, as predicted by Bohmian mechanics, deviate from expected straight-line paths, bending and turning corners in the presence of quantum interference. We propose an experiment using two such corner-turns that should, in principle, allow these hypothetical Bohmian photons to arrive at a timing detector earlier than conventional photons traveling on the straight-line paths predicted by standard quantum mechanics.


title: Normal Doppler frequency shift in negative refractive-index systems

abstract: Besides the well-known negative refraction, a negative refractive-index material can exhibit another two hallmark features, which are the inverse Doppler effect and backward Cherenkov radiation. The former is known as the motion-induced frequency shift that is contrary to the normal Doppler effect, and the latter refers to the Cherenkov radiation whose cone direction is opposite to the source's motion. Here we combine these two features and discuss the Doppler effect inside the backward Cherenkov cone. We reveal that the Doppler effect is not always inversed but can be normal in negative refractive-index systems. A previously un-reported phenomenon of normal Doppler frequency shift is proposed in a regime inside the backward Cherenkov cone, when the source's velocity is two times faster than the phase velocity of light. A realistic metal-insulator-metal structure, which supports metal plasmons with an effective negative refractive index, is adopted to demonstrate the potential realization of this phenomenon.


title: First principles coupled cluster theory of the electronic spectrum of the transition metal dichalcogenides

abstract: The electronic properties of two-dimensional transition metal dichalcogenides (2D TMDs) have attracted much attention during the last decade. We show how a diagrammatic ab initio coupled cluster singles and doubles (CCSD) treatment paired with a careful thermodynamic limit extrapolation in two dimensions can be used to obtain converged bandgaps for monolayer materials in the MoS2 family. We find general agreement between CCSD and previously reported GW simulations in terms of the band structure, but predict slightly higher band gap values and effective hole masses compared to previous reports. We also investigate the ability of CCSD to describe trion states, finding reasonable qualitative structure, but poor excitation energies due to the lack of screening of three-particle excitations in the effective Hamiltonian. Our study provides an independent high-level benchmark of the role of many-body effects in 2D TMDs and showcases the potential strengths and weaknesses of diagrammatic coupled cluster approaches for realistic materials.


title: Waveform of gravitational waves in the general parity-violating gravities

abstract: As an extension of our previous work [J.Qiao, T.Zhu, W.Zhao & A.Wang, arXiv:1909.03815], in this article, we calculate the effects of parity violation on gravitational-wave (GW) waveforms during their propagation in the most general parity-violating gravities, including Chern-Simons modified gravity, ghost-free scalar-tensor gravity, symmetric teleparallel equivalence of GR theory, Ho\v{r}ava-Lifshitz gravity and so on. For this purpose, we consider the GWs generated by the coalescence of compact binaries and concentrate on the imprints of the parity violation in the propagation of GWs. With a unified description of GW in the theories of parity-violating gravity, we study the effects of velocity and amplitude birefringence on the GW waveforms. Decomposing the GWs into the circular polarization modes, the two birefringence effects exactly correspond to the modifications in phase and amplitude of GW waveforms respectively. We find that, for each circular polarization mode, the amplitude, phase and velocity of GW can be modified by both the parity-violating terms and parity-conserving terms in gravity. Therefore, in order to test the parity symmetry in gravity, we should compare the difference between two circular polarization modes, rather than measuring an individual mode. Combining two circular modes, we obtain the GW waveforms in the Fourier domain, and obtain the deviations from those in General Relativity. The GW waveforms derived in this paper are also applicable to the theories of parity-conserving gravity, which have the modified dispersion relations (e.g. massive gravity, double special relativity theory, extra-dimensional theories, etc), or/and have the modified friction terms (e.g. nonlocal gravity, gravitational theory with time-dependent Planck mass, etc).


title: BlendSM-DDM: BLockchain-ENabled Secure Microservices for Decentralized Data Marketplaces

abstract: To promote the benefits of the Internet of Things (IoT) in smart communities and smart cities, a real-time data marketplace middleware platform, called the Intelligent IoT Integrator (I3), has been recently proposed. While facilitating the easy exchanges of real-time IoT data streams between device owners and third-party applications through the marketplace, I3 is presently a monolithic, centralized platform for a single community. Although the service oriented architecture (SOA) has been widely adopted in the IoT and cyber-physical systems (CPS), it is difficult for a monolithic architecture to provide scalable, inter-operable and extensible services for large numbers of distributed IoT devices and different application vendors. Traditional security solutions rely on a centralized authority, which can be a performance bottleneck or susceptible to a single point of failure. Inspired by containerized microservices and blockchain technology, this paper proposed a BLockchain-ENabled Secure Microservices for Decentralized Data Marketplaces (BlendSM-DDM). Within a permissioned blockchain network, a microservices based security mechanism is introduced to secure data exchange and payment among participants in the marketplace. BlendSM-DDM is able to offer a decentralized, scalable and auditable data exchanges for the data marketplace.


title: CM Method and Expansion of Numbers

abstract: We show that an iterative method for computing the center of mass (CM) of q units of mass, placed on a unit interval [0, 1] along the x- axis, give rise to a simple procedure for expanding rational numbers less than unity in powers of r/s < 1, with r, s, integers larger than 0. The method is then extended to all numbers, real or complex, though the procedure for none rational numbers is more time consuming. We also show how our method provides a natural way to generalize Jacobsthal numbers. Moreover, the method provides a way to generate infinitely many sequences of numbers, of which many play an important rule in mathematical sciences and engineering, to name few, Jacobsthal sequence, Fibonacci sequence, and Pell sequence.


title: Deriving the Dark Matter-Dark Energy Interaction Term in the Continuity Equation from the Boltzmann Equation

abstract: Dark energy and dark matter are two of the biggest mysteries of modern cosmology, and our understanding of their fundamental nature is incomplete. Many parameterizations of couplings between the two in the continuity equation have been studied in the literature, and observational data from the growth of perturbations can constrain these parameterizations. Assuming standard general relativity with a simple Yukawa-type coupling between dark energy and dark matter fields in the Lagrangian, we use the Boltzmann equation to analytically express and calculate the interaction kernel $Q$ in the continuity equation and compare it to that of a typical parametrization. We arrive at a comparably very small result, as expected. Since the interaction is a function of the dark matter mass, other observational data sets can be used to constrain the mass. This calculation can be modified to account for other couplings of the dark energy and dark matter fields. This calculation required obtaining a distribution function for dark energy that leads to an equation of state parameter that is negative, which neither Bose-Einstein nor Fermi-Dirac statistics can supply, and this is the main result of this paper. Treating dark energy as a quantum scalar field, we use adiabatic subtraction to obtain a finite analytic approximation for its distribution function that assumes the FLRW metric and nothing more.


title: The torsion in the cohomology of wild elliptic fibers

abstract: Given an elliptic fibration $f \colon X \to S$ over the spectrum of a complete discrete valuation ring with algebraically closed residue field, we use a Hochschild--Serre spectral sequence to express the torsion in $R^1f_\ast \mathscr{O}_X$ as the first group cohomology $H^1(G,H^0(S^\prime, \mathscr{O}_{S^\prime}))$. Here, $G$ is the Galois group of the maximal extension $K^\prime / K$ such that the normalization of $X \times_S S^\prime$ induces an \'etale covering of $X$, where $S^\prime$ is the normalization of $S$ in $K^\prime$. The case where $S$ is a Dedekind scheme is easily reduced to the local case. Moreover, we generalize to higher-dimensional fibrations.


title: Code-switching Language Modeling With Bilingual Word Embeddings: A Case Study for Egyptian Arabic-English

abstract: Code-switching (CS) is a widespread phenomenon among bilingual and multilingual societies. The lack of CS resources hinders the performance of many NLP tasks. In this work, we explore the potential use of bilingual word embeddings for code-switching (CS) language modeling (LM) in the low resource Egyptian Arabic-English language. We evaluate different state-of-the-art bilingual word embeddings approaches that require cross-lingual resources at different levels and propose an innovative but simple approach that jointly learns bilingual word representations without the use of any parallel data, relying only on monolingual and a small amount of CS data. While all representations improve CS LM, ours performs the best and improves perplexity 33.5% relative over the baseline.


title: Recurrent Independent Mechanisms

abstract: Learning modular structures which reflect the dynamics of the environment can lead to better generalization and robustness to changes which only affect a few of the underlying causes. We propose Recurrent Independent Mechanisms (RIMs), a new recurrent architecture in which multiple groups of recurrent cells operate with nearly independent transition dynamics, communicate only sparingly through the bottleneck of attention, and are only updated at time steps where they are most relevant. We show that this leads to specialization amongst the RIMs, which in turn allows for dramatically improved generalization on tasks where some factors of variation differ systematically between training and evaluation.


title: Moderate averaged deviations for a multi-scale system with jumps and memory

abstract: This work studies a two-time-scale functional system given by two jump-diffusions under the scale separation by a small parameter $\varepsilon \rightarrow 0$. The coefficients of the equations that govern the dynamics of the system depend on the segment process of the slow variable (responsible for capturing delay effects on the slow component) and on the state of the fast variable. We derive a moderate deviations principle for the slow component of the system in the small noise limit using the weak convergence approach. The rate function is written in terms of the averaged dynamics associated to the multi-scale system. The core of the proof of the moderate deviations principle is the establishment of an averaging principle for the controlled processes associated to the slow variable in the framework of the weak convergence approach. The controlled version of the averaging principle for jump multi-scale diffusions relies on the classical Khasminkii's technique.


title: Instanton bundles on the Segre threefold with Picard number three

abstract: We study instanton bundles $E$ on $\mathbb{P}^1\times \mathbb{P}^1 \times \mathbb{P}^1$. We construct two different monads which are the analog of the monads for instanton bundles on $\mathbb P^3$ and on the flag threefold $F(0,1,2)$. We characterize the Gieseker semistable cases and we prove the existence of $\mu$-stable instanton bundles generically trivial on the lines for any possible $c_2(E)$. We also study the locus of jumping lines.


title: $IP^\star$ set in product space of countable adequate commutative partial semigroups

abstract: A partial semigroup is a set with restricted binary operation. In this work we will extend a result due to V. Bergelson and N. Hindman concerning the rich structure presented in the product space of semigroups to partial semigroup. An $IP^{\star}$ set in a semigroup is a set that intersect every set of the form $\left\{ FS(x_{n})_{n=1}^{\infty}:x_{n}\in S\right\} $. V. Bergelson and N. Hindman proved that if $S_{1},S_{2},\ldots,S_{l}$ are finite collection of commutative semigroup, then under certain condition, an $IP^{\star}$ set in $S_{1}\times S_{2}\times\ldots\times S_{l}$ contains cartesian products of arbitrarily large finite substructures of the form $FS\left(x_{1,n}\right)_{n=1}^{\infty}\times FS\left(x_{2,n}\right)_{n=1}^{\infty}\times\ldots\times FS\left(x_{l,n}\right)_{n=1}^{\infty}$. In this work we will extend this result to countable adequate commutative partial semigroup.


title: The boundedness of the Hilbert transformation from one rearrangement invariant Banach space into another and applications

abstract: In this paper, we study the boundedness of the Hilbert transformation in Lorentz function spaces, thereby complementing classical results of Boyd. We also characterize the optimal range of a triangular truncation operator in Schatten-Lorentz ideals. These results further entail sharp commutator estimates and applications to operator Lipschitz functions in Schatten-Lorentz ideals.


title: A new sieve for restricted multiset counting

abstract: The Li--Wan sieve is extended to multisets when the underlying set is symmetric. The main ingredient of the proof is the Mobius inversion formula on the poset of partitions of $\{1,2,\dots,k\}$ ordered by refinement. As illustrative applications, we investigate the problems of partitions over finite fields and zero-sum multisets over the additive group $\mathbb{Z}/n\mathbb{Z}$. .


title: Static and rotating white dwarfs at finite temperatures

abstract: Static and uniformly rotating, cold and hot white dwarfs are investigated both in Newtonian gravity and general theory of relativity, employing the well-known Chandrasekhar equation of state. The mass-radius, mass-central density, radius-central density etc relations of stable white dwarfs with $\mu=A/Z=2$ and $\mu=56/26$ (where $A$ is the average atomic weight and $Z$ is the atomic charge) are constructed for different temperatures. It is shown that near the maximum mass the mass of hot rotating white dwarfs is slightly less than for cold rotating white dwarfs, though for static white dwarfs the situation is opposite.


title: Restyling Data: Application to Unsupervised Domain Adaptation

abstract: Machine learning is driven by data, yet while their availability is constantly increasing, training data require laborious, time consuming and error-prone labelling or ground truth acquisition, which in some cases is very difficult or even impossible. Recent works have resorted to synthetic data generation, but the inferior performance of models trained on synthetic data when applied to the real world, introduced the challenge of unsupervised domain adaptation. In this work we investigate an unsupervised domain adaptation technique that descends from another perspective, in order to avoid the complexity of adversarial training and cycle consistencies. We exploit the recent advances in photorealistic style transfer and take a fully data driven approach. While this concept is already implicitly formulated within the intricate objectives of domain adaptation GANs, we take an explicit approach and apply it directly as data pre-processing. The resulting technique is scalable, efficient and easy to implement, offers competitive performance to the complex state-of-the-art alternatives and can open up new pathways for domain adaptation.


title: Saturations of Subalgebras, SAGBI Bases, and U-invariants

abstract: Given a polynomial ring $P$ over a field $K$, an element $g \in P$, and a $K$-subalgebra $S$ of $P$, we deal with the problem of saturating $S$ with respect to $g$, i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$. In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is finitely generated. Then we consider the more interesting case when $S$ is graded. In particular, if $S$ is graded by a positive matrix $W$ and $g$ is an indeterminate, we show that if we choose a term ordering $\sigma$ of $g$-DegRev type compatible with $W$, then the two operations of computing a $\sigma$-SAGBI basis of $S$ and saturating $S$ with respect to $g$ commute. This fact opens the doors to nice algorithms for the computation of $Sat_g(S)$. In particular, under special assumptions on the grading one can use the truncation of a $\sigma$-SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some $U$-invariants, classically called semi-invariants, even in the case that $K$ is not the field of complex numbers.


title: On the Bruhat-Tits stratification for GU(2,2) type Rapoport-Zink space: unramified case

abstract: In this note we study the supersingular locus of the GU(2,2) Shimura variety modulo a prime which is unramified in the imaginary quadratic extension. The supersingular locus of this Shimura variety can be related to the basic Rapoport-Zink space whose special fibre is described by the Bruhat-Tits stratification. The description for this supersingular locus in the case where the prime is inert in imaginary quadratic field is already known to Howard and Pappas by exploiting the exceptional isomorphism. Our method is more direct without using the exceptional isomorphism.


title: Direct Healthy Life Expectancy Estimates from Life Tables with a Sullivan Extension. Bridging the Gap Between HALE and Eurostat Estimates

abstract: The analytic derivation of a more general model of survival-mortality and the estimation of a parameter bx related to the Healthy Life Years Lost (HLYL) is followed with the formulation of a computer program providing results similar to those of the World Health Organization for the Healthy Life Expectancy (HALE) and the corresponding HLYL estimates. This program is an extension of the classical life table including more columns to estimate the cumulative mortality, the average mortality, the person life years lost and finally the HLYL parameter bx. Evenmore, a further extension of the Excel program based on the Sullivan method provides estimates of the Healthy Life Expectancy at every year of the lifespan for five different types of estimates that are the Direct, WHO, Eurostat, Equal and Other. Estimates for several countries are presented. It is also presented a methodology and a program to bridge the gap between the World Health Organization (HALE) and Eurostat (HLE) healthy life expectancy estimates. The latest version of this program (SKI-6) appear in the Demographics2020 website.


title: Faster saddle-point optimization for solving large-scale Markov decision processes

abstract: We consider the problem of computing optimal policies in average-reward Markov decision processes. This classical problem can be formulated as a linear program directly amenable to saddle-point optimization methods, albeit with a number of variables that is linear in the number of states. To address this issue, recent work has considered a linearly relaxed version of the resulting saddle-point problem. Our work aims at achieving a better understanding of this relaxed optimization problem by characterizing the conditions necessary for convergence to the optimal policy, and designing an optimization algorithm enjoying fast convergence rates that are independent of the size of the state space. Notably, our characterization points out some potential issues with previous work.


title: Interval Garside Structures Related to the Affine Artin Groups of Type $\tilde{A}$

abstract: Garside theory emerged from the study of Artin groups and their generalizations. Finite-type Artin groups admit two types of interval Garside structures corresponding to their standard and dual presentations. Concerning affine Artin groups, Digne established interval Garside structures for two families of these groups by using their dual presentations. Recently, McCammond established that none of the remaining dual presentations (except for one additional case) correspond to interval Garside structures. In this paper, shifting attention from dual presentations to other nice presentations for the affine Artin group of type $\tilde{A}$ discovered by Shi and Corran--Lee--Lee, I will construct interval Garside structures related to this group. This construction is the first successful attempt to establish interval Garside structures not related to the dual presentations in the case of affine Artin groups.


title: Quantum dot thermometry at ultra-low temperature in a dilution refrigerator with a $^4$He immersion cell

abstract: Experiments performed at a temperature of a few millikelvin require effective thermalization schemes, low-pass filtering of the measurement lines and low-noise electronics. Here, we report on the modifications to a commercial dilution refrigerator with a base temperature of 3.5 mK that enable us to lower the electron temperature to 6.7 mK measured from the Coulomb peak width of a quantum dot gate-defined in an [Al]GaAs heteostructure. We present the design and implementation of a liquid $^4$He immersion cell tight against superleaks, implement an innovative wiring technology and develop optimized transport measurement procedures.


title: $B_{(s)} \to \eta_c(P,V)$ decays and effects of the next-to-leading order contributions in the perturbative QCD approach

abstract: By employing the perturbative QCD (PQCD) factorization approach, we studied the sixteen $B/B_s \to \eta_c (\pi, K, \eta^{(\prime)},\rho,K^*,\omega,\phi)$ decays with the inclusion of the currently known next-to-leading order (NLO) contributions. We found the following main points: (a) for the five measured $B \to \eta_c (K,K^*)$ and $B_s\to \eta_c\phi$ decays, the NLO contributions can provide $ (80-180)\%$ enhancements to the leading order (LO) PQCD predictions of their branching ratios, which play an important role to help us to interpret the data; (b) for the seven ratios $R_{1,\cdots,7}$ of the branching ratios defined among the properly selected pair of the considered decay modes, the PQCD predictions for the values of $R_{3,4,5}$ agree well with those currently available measurements from BaBar and Belle Collaboration; (c) for $B^0 \to \eta_c K_S^0$ decay, the PQCD predictions for both the direct and mixing induced CP asymmetries do agree very well with the measured values within errors; and (d) the PQCD predictions for ratios $R_{1,2}$ and $R_{6,7}$ also agree with the general expectations and will be tested by the future experiments.


title: Module categories over affine supergroup schemes

abstract: Let $k$ be an algebraically closed field of characteristic $0$ or $p>2$. Let $\mathcal{G}$ be an affine supergroup scheme over $k$. We classify the indecomposable exact module categories over the tensor category ${\rm sCoh}_{\rm f}(\mathcal{G})$ of (coherent sheaves of) finite dimensional $\mathcal{O}(\mathcal{G})$-supermodules in terms of $(\mathcal{H},\Psi)$-equivariant coherent sheaves on $\mathcal{G}$. We deduce from it the classification of indecomposable {\em geometrical} module categories over $\sRep(\mathcal{G})$. When $\mathcal{G}$ is finite, this yields the classification of {\em all} indecomposable exact module categories over the finite tensor category $\sRep(\mathcal{G})$. In particular, we obtain a classification of twists for the supergroup algebra $k\mathcal{G}$ of a finite supergroup scheme $\mathcal{G}$, and then combine it with \cite[Corollary 4.1]{EG3} to classify finite dimensional triangular Hopf algebras with the Chevalley property over $k$.


title: Monitoring transition: expected night sky brightness trends in different photometric bands

abstract: Several light pollution indicators are commonly used to monitor the effects of the transition from outdoor lighting systems based on traditional gas-discharge lamps to solid-state light sources. In this work we analyze a subset of these indicators, including the artificial zenithal night sky brightness in the visual photopic and scotopic bands, the brightness in the specific photometric band of the widely used Sky Quality Meter (SQM), and the top-of-atmosphere radiance detected by the VIIRS-DNB radiometer onboard the satellite Suomi-NPP. Using a single-scattering approximation in a layered atmosphere we quantitatively show that, depending on the transition scenarios, these indicators may show different, even opposite behaviors. This is mainly due to the combined effects of the changes in the sources' spectra and angular radiation patterns, the wavelength-dependent atmospheric propagation processes and the differences in the detector spectral sensitivity bands. It is suggested that the possible presence of this differential behavior should be taken into account when evaluating light pollution indicator datasets for assessing the outcomes of public policy decisions regarding the upgrading of outdoor lighting systems.


title: Determination of transport coefficients by coronal seismology of flare-induced slow-mode waves: Numerical parametric study of 1D loop model

abstract: Recent studies of a flaring loop oscillation event on 2013 December 28 observed by the Atmospheric Imaging Assembly (AIA) of the Solar Dynamics Observatory (SDO) have revealed the suppression of thermal conduction and significant enhancement of compressive viscosity in hot ($\sim$10 MK) plasma. In this study we aim at developing a new coronal seismology method for determining the transport coefficients based on a parametric study of wave properties using a 1D nonlinear MHD loop model in combination with the linear theory. The simulations suggest a two-step scheme: we first determine the effective thermal conduction coefficient from the observed phase shift between temperature and density perturbations as this physical parameter is insensitive to the unknown viscosity; then from the loop model with the obtained thermal conduction coefficient, we determine the effective viscosity coefficient from the observed decay time using the parametric modeling. With this new seismology technique we are able to quantify the suppression of thermal conductivity by a factor of about 3 and the enhancement of viscosity coefficient by a factor of 10 in the studied flaring loop. Using the loop model with these refined transport coefficients, we study the excitation of slow magnetoacoustic waves by launching a flow pulse from one footpoint. The simulation can self-consistently produce the fundamental standing wave on a timescale in agreement with the observation.


title: Layerwise Relevance Visualization in Convolutional Text Graph Classifiers

abstract: Representations in the hidden layers of Deep Neural Networks (DNN) are often hard to interpret since it is difficult to project them into an interpretable domain. Graph Convolutional Networks (GCN) allow this projection, but existing explainability methods do not exploit this fact, i.e. do not focus their explanations on intermediate states. In this work, we present a novel method that traces and visualizes features that contribute to a classification decision in the visible and hidden layers of a GCN. Our method exposes hidden cross-layer dynamics in the input graph structure. We experimentally demonstrate that it yields meaningful layerwise explanations for a GCN sentence classifier.


title: Improving Collaborative Metric Learning with Efficient Negative Sampling

abstract: Distance metric learning based on triplet loss has been applied with success in a wide range of applications such as face recognition, image retrieval, speaker change detection and recently recommendation with the CML model. However, as we show in this article, CML requires large batches to work reasonably well because of a too simplistic uniform negative sampling strategy for selecting triplets. Due to memory limitations, this makes it difficult to scale in high-dimensional scenarios. To alleviate this problem, we propose here a 2-stage negative sampling strategy which finds triplets that are highly informative for learning. Our strategy allows CML to work effectively in terms of accuracy and popularity bias, even when the batch size is an order of magnitude smaller than what would be needed with the default uniform sampling. We demonstrate the suitability of the proposed strategy for recommendation and exhibit consistent positive results across various datasets.


title: On Constant Distance Spacing Policies for Cooperative Adaptive Cruise Control

abstract: Cooperative Adaptive Cruise Control (CACC) systems are considered as key potential enablers to improve driving safety and traffic efficiency. They allow for automated vehicle following using wireless communication in addition to onboard sensors. To achieve string stability in CACC platoons, constant time headway (CTH) spacing policies have prevailed in research; namely, vehicle interspacing grows with the speed. While constant distance headway (CDH) spacing policies provide superior potential to increase traffic capacity than CTH, a major drawback is a smaller safety margin at high velocities and string stability cannot be achieved using a one-vehicle look-ahead communication. The hypothesis of this work is to apply CDH only in few driving situations, when traffic throughput is of highest importance and safety requirements can be met due to comparably low velocities. As the most relevant situations where CDH could be applied, we identify starting platoons at signalized intersections. In this paper, we illustrate this idea. Specifically, we compare CTH with CDH regarding its potential to increase the capacity of traffic lights. Starting with the elementary situation of single traffic lights we expand our scope to whole traffic networks including several thousand vehicles in simulation. Using real world data to calibrate and validate vehicle dynamics simulation and traffic simulation, the study discusses the most relevant working parameters of CDH, CTH, and the traffic system in which both are applied.


title: Sensor-Augmented Neural Adaptive Bitrate Video Streaming on UAVs

abstract: Recent advances in unmanned aerial vehicle (UAV) technology have revolutionized a broad class of civil and military applications. However, the designs of wireless technologies that enable real-time streaming of high-definition video between UAVs and ground clients present a conundrum. Most existing adaptive bitrate (ABR) algorithms are not optimized for the air-to-ground links, which usually fluctuate dramatically due to the dynamic flight states of the UAV. In this paper, we present SA-ABR, a new sensor-augmented system that generates ABR video streaming algorithms with the assistance of various kinds of inherent sensor data that are used to pilot UAVs. By incorporating the inherent sensor data with network observations, SA-ABR trains a deep reinforcement learning (DRL) model to extract salient features from the flight state information and automatically learn an ABR algorithm to adapt to the varying UAV channel capacity through the training process. SA-ABR does not rely on any assumptions or models about UAV's flight states or the environment, but instead, it makes decisions by exploiting temporal properties of past throughput through the long short-term memory (LSTM) to adapt itself to a wide range of highly dynamic environments. We have implemented SA-ABR in a commercial UAV and evaluated it in the wild. We compare SA-ABR with a variety of existing state-of-the-art ABR algorithms, and the results show that our system outperforms the best known existing ABR algorithm by 21.4% in terms of the average quality of experience (QoE) reward.


title: Time-consistent decisions and rational expectation equilibrium existence in DSGE models

abstract: Under some initial conditions, it is shown that time consistency requirements prevent rational expectation equilibrium (REE) existence for dynamic stochastic general equilibrium models induced by consumer heterogeneity, in contrast to static models. However, one can consider REE-prohibiting initial conditions as limits of other initial conditions. The REE existence issue then is overcome by using a limit of economies. This shows that significant care must be taken of when dealing with rational expectation equilibria.


title: A new magnetic monopole inspired by Berry's phase

abstract: A new static and azimuthally symmetric magnetic monopolelike object, which looks like a Dirac monopole when seen from far away but smoothly changes to a dipole near the monopole position and vanishes at the origin, is discussed. This monopolelike object is inspired by an analysis of an exactly solvable model of Berry's phase in the parameter space. A salient feature of the monopolelike potential ${\cal A}_{k}(r,\theta)$ with a magnetic charge $e_{M}$ is that the Dirac string is naturally described by the potential ${\cal A}_{k}(r,\theta)$, and the origin of the Dirac string and the geometrical center of the monopole are displaced in the coordinate space. The smooth topology change from a monopole to a dipole takes place if the Dirac string, when coupled to the electron, becomes unobservable by satisfying the Dirac quantization condition. The electric charge is then quantized even if the monopole changes to a dipole near the origin. In the transitional region from a monopole to a dipole, a half-monopole with a magnetic charge $e_{M}/2$ appears.


title: A semi-discrete numerical method for convolution-type unidirectional wave equations

abstract: Numerical approximation of a general class of nonlinear unidirectional wave equations with a convolution-type nonlocality in space is considered. A semi-discrete numerical method based on both a uniform space discretization and the discrete convolution operator is introduced to solve the Cauchy problem. The method is proved to be uniformly convergent as the mesh size goes to zero. The order of convergence for the discretization error is linear or quadratic depending on the smoothness of the convolution kernel. The discrete problem defined on the whole spatial domain is then truncated to a finite domain. Restricting the problem to a finite domain introduces a localization error and it is proved that this localization error stays below a given threshold if the finite domain is large enough. For two particular kernel functions, the numerical examples concerning solitary wave solutions illustrate the expected accuracy of the method. Our class of nonlocal wave equations includes the Benjamin-Bona-Mahony equation as a special case and the present work is inspired by the previous work of Bona, Pritchard and Scott on numerical solution of the Benjamin-Bona-Mahony equation.


title: Protocol design for energy efficient OLT transmitter in TWDM-PON guaranteeing SLA of up-stream and down-stream traffic

abstract: Environmental and economic concerns promote research on designing energy-efficient Time and Wavelength Division Multiplexed Ethernet Passive Optical Network (TWDM-EPON), which is the future extension to TDM-EPON. In TDM-EPON, a plethora of research is already present to achieve energy savings at Optical Network Units (ONUs) which can easily be applied for TWDM-EPON ONUs. However, TWDM-EPON provides an additional opportunity for saving energy at the Optical Line Terminal (OLT). All existing protocols have primarily been designed for saving energy at the OLT receivers. The protocols to save energy at the OLT receives depends only on the Up-Stream(US) traffic scheduling while its transmitter counterpart depends on both US and Down-Stream (DS) scheduling since the OLT transmits GATE message along with DS traffic. The US and DS scheduling have a basic difference. The MAC protocol doesn't allow scheduling of US traffic of an ONU after its REPORT arrival at multiple disjoint time slots. However, this restriction is absent for DS traffic and hence, the grant-size of an ONU can be partitioned and every part can be scheduled at different times. In this paper, we propose a method for saving energy at the OLT transmitters in TWDM-EPON while satisfying the SLAs. This includes a heuristic algorithm to partition the DS grant and schedule them. Through extensive simulations, we demonstrate that the proposed method provides a significant improvement in energy efficiency as compared to existing protocols (up to 45%).


title: LHC Highlights and Prospects

abstract: These lectures were presented at the 2019 CERN Latin-American School of High Energy Physics. They were centered on the experimental methods used in hadron colliders to advance our understanding in the field of high energy particle physics. From accelerators, to particle detector technologies, object identification and data analyses techniques, the lectures did not attempt to provide a comprehensive, in-depth technical background, but rather focused on an overview of experimental techniques that enabled our advances in supporting and challenging the predictions of the standard model. This document includes a selection of the material presented in the lectures, focusing on how advances in detector technologies and object identification enabled the development of increasingly sophisticated data analysis techniques. This writeup also includes an outlook to the future LHC program and beyond.


title: Fundamental Limits of Spectrum Sharing for NOMA-Based Cooperative Relaying Under a Peak Interference Constraint

abstract: Non-orthogonal multiple access (NOMA) and spectrum sharing (SS) are two emerging multiple access technologies for efficient spectrum utilization in future wireless communications standards. In this paper, we present the performance analysis of a NOMA-based cooperative relaying system (CRS) in an underlay spectrum sharing scenario, considering a peak interference constraint (PIC), where the peak interference inflicted by the secondary (unlicensed) network on the primary-user (licensed) receiver (PU-Rx) should be less than a predetermined threshold. In the proposed system the relay and the secondary-user receiver (SU-Rx) are equipped with multiple receive antennas and apply selection combining (SC), where the antenna with highest instantaneous signal-to-noise ratio (SNR) is selected, and maximal-ratio combining (MRC), for signal reception. Closed-form expressions are derived for the average achievable rate and outage probabilities for SS-based CRS-NOMA. These results show that for large values of peak interference power, the SS-based CRS-NOMA outperforms the CRS with conventional orthogonal multiple access (OMA) in terms of spectral efficiency. The effect of the interference channel on the system performance is also discussed, and in particular, it is shown that the interference channel between the secondary-user transmitter (SU-Tx) and the PU-Rx has a more severe effect on the average achievable rate as compared to that between the relay and the PU-Rx. A close agreement between the analytical and numerical results confirm the correctness of our rate and outage analysis.


title: Stratified structure of the observable algebra of Hamiltonian lattice gauge theory

abstract: We consider Kaehler quantized models whose underlying classical phase space has a stratified structure induced from the Hamiltonian action of a compact Lie group. We show how to implement the classical stratification on the level of the C*-algebra of observables and discuss the relation to the costratification (in the sense of Huebschmann) of the physical Hilbert space. Our analysis is based on the T-procedure as developed by Grundling and Hurst. We apply the general theory to Yang-Mills theory on a finite lattice, where the stratification is given by the classical gauge orbit types.


title: Automatic techniques for cochlear implant CT image analysis

abstract: The goals of this dissertation are to fully automate the image processing techniques needed in the post-operative stage of IGCIP and to perform a thorough analysis of (a) the robustness of the automatic image processing techniques used in IGCIP and (b) assess the sensitivity of the IGCIP process as a whole to individual components. The automatic methods that have been developed include the automatic localization of both closely- and distantly-spaced CI electrode arrays in post-implantation CTs and the automatic selection of electrode configurations based on the stimulation patterns. Together with the existing automatic techniques developed for IGCIP, the proposed automatic methods enable an end-to-end IGCIP process that takes pre- and post-implantation CT images as input and produces a patient-customized electrode configuration as output.


title: Applicability and Interpretability of Hierarchical Agglomerative Clustering With or Without Contiguity Constraints

abstract: Hierarchical Agglomerative Classification (HAC) with Ward's linkage has been widely used since its introduction in Ward (1963). The present article reviews the different extensions of the method to various input data and the constrained framework, while providing applicability conditions. In addition, various versions of the graphical representation of the results as a dendrogram are also presented and their properties are clarified. While some of these results can sometimes be found in an heteroclite literature, we clarify and complete them all using a uniform background. In particular, this study reveals an important distinction between a consistency property of the dendrogram and the absence of crossover within it. Finally, a simulation study shows that the constrained version of HAC can sometimes provide more relevant results than its unconstrained version despite the fact that the latter optimizes the objective criterion on a reduced set of solutions at each step. Overall, the article provides comprehensive recommandations for the use of HAC and constrained HAC depending on the input data as well as for the representation of the results.


title: Understanding Semantics from Speech Through Pre-training

abstract: End-to-end Spoken Language Understanding (SLU) is proposed to infer the semantic meaning directly from audio features without intermediate text representation. Although the acoustic model component of an end-to-end SLU system can be pre-trained with Automatic Speech Recognition (ASR) targets, the SLU component can only learn semantic features from limited task-specific training data. In this paper, for the first time we propose to do large-scale unsupervised pre-training for the SLU component of an end-to-end SLU system, so that the SLU component may preserve semantic features from massive unlabeled audio data. As the output of the acoustic model component, i.e. phoneme posterior sequences, has much different characteristic from text sequences, we propose a novel pre-training model called BERT-PLM, which stands for Bidirectional Encoder Representations from Transformers through Permutation Language Modeling. BERT-PLM trains the SLU component on unlabeled data through a regression objective equivalent to the partial permutation language modeling objective, while leverages full bi-directional context information with BERT networks. The experiment results show that our approach out-perform the state-of-the-art end-to-end systems with over 12.5% error reduction.


title: Scalable Fair Division for 'At Most One' Preferences

abstract: Allocating multiple scarce items across a set of individuals is an important practical problem. In the case of divisible goods and additive preferences a convex program can be used to find the solution that maximizes Nash welfare (MNW). The MNW solution is equivalent to finding the equilibrium of a market economy (aka. the competitive equilibrium from equal incomes, CEEI) and thus has good properties such as Pareto optimality, envy-freeness, and incentive compatibility in the large. Unfortunately, this equivalence (and nice properties) breaks down for general preference classes. Motivated by real world problems such as course allocation and recommender systems we study the case of additive `at most one' (AMO) preferences - individuals want at most 1 of each item and lotteries are allowed. We show that in this case the MNW solution is still a convex program and importantly is a CEEI solution when the instance gets large but has a `low rank' structure. Thus a polynomial time algorithm can be used to scale CEEI (which is in general PPAD-hard) for AMO preferences. We examine whether the properties guaranteed in the limit hold approximately in finite samples using several real datasets.


title: ABC: Proof-of-Stake without Consensus

abstract: We introduce a new permissionless blockchain architecture called ABC. ABC is completely asynchronous, and does rely on neither randomness nor proof-of-work. ABC can be parallelized, and transactions have finality within one round trip of communication. However, ABC satisfies only a relaxed form of consensus by introducing a weaker termination property. Without full consensus, ABC cannot support certain applications, in particular ABC cannot support general smart contracts. However, many important applications do not need general smart contracts, and ABC is a better solution for these applications. In particular, ABC can implement the functionality of a cryptocurrency like Bitcoin, replacing Bitcoin's energy-hungry proof-of-work with a proof-of-stake validation.


title: On structure constants of Iwahori-Hecke algebras for Kac-Moody groups

abstract: We consider the Iwahori-Hecke algebra associated to an almost split Kac-Moody group $G$ (affine or not) over a nonarchimedean local field $K$. It has a canonical double-coset basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ indexed by a sub-semigroup $W^+$ of the affine Weyl group $W$. The multiplication is given by structure constants $a^ {\mathbf u}_{\mathbf w,\mathbf v}\in N=Z_{\geq0}$ : $T_{\mathbf w}*T_{\mathbf v}=\sum_{\mathbf u\in P_{\mathbf w,\mathbf v}} a^ {\mathbf u}_{\mathbf w,\mathbf v} T_{\mathbf u}$. A conjecture, by Bravermann, Kazhdan, Patnaik, Gaussent and the authors, tells that $a^ {\mathbf u}_{\mathbf w,\mathbf v}$ is a polynomial, with coefficients in $N$, in the parameters $q_{i}-1,q'_{i}-1$ of $G$ over $K$. We prove this conjecture when $\mathbf w$ and $\mathbf v$ are spherical or, more generally, when they are said generic: this includes all cases of $\mathbf w,\mathbf v\in W^+$ if $G$ is of affine or strictly hyperbolic type. In the split affine case (where $q_i=q'_i=q$, $\forall i$) we get a universal Iwahori-Hecke algebra with the same basis $(T_{\mathbf w})_{\mathbf w\in W^+}$ over a polynomial ring $Z[Q]$; it specializes to our Iwahori-Hecke algebra when one sets $Q=q$.


title: Antimagic orientations of graphs with given independence number

abstract: Given a digraph $D$ with $m$ arcs and a bijection $\tau: A(D)\rightarrow \{1, 2, \ldots, m\}$, we say $(D, \tau)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and no two vertices in $D$ have the same vertex-sum under $\tau$, where the vertex-sum of a vertex $u$ in $D$ under $\tau$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, M\"{u}tze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs, biregular bipartite graphs, and graphs with large maximum degree. In this paper, we establish more evidence for the aforementioned conjecture by studying antimagic orientations of graphs $G$ with independence number at least $|V(G)|/2$ or at most four. We obtain several results. The method we develop in this paper may shed some light on attacking the aforementioned conjecture.


title: Vacuum polarization corrections to the $n=2$ and $n=3$ levels in muonic $^4$He

abstract: The $n=2$ and $n=3$ levels for muonic Helium are calculated using a potential that includes all one-loop and recoil effects. Electronic vacuum polarization corrections are calculated using an extension of Kinoshita and Nio method. For $n=2$, the results are $2p_{1/2}-2s_{1/2}=1375.05\pm 1.4$ meV and $2p_{3/2}-2s_{1/2}=1521.65\pm 1.4$ meV, essentially in agreement with the latest summary of the current calculations. The $n=3$ results are summarized in tabular form and give $3p_{1/2}-3s_{1/2}=394.76\pm 0.43$ meV and $3d_{3/2}-3p_{3/2}=111.40$ meV.


title: Multiple Mertens evaluations

abstract: The Mertens' first theorem gives us the following asymptotic formula \begin{equation*} \sum_{\substack{p\leq x\\ p~prime}}\frac{lnp}{p}=lnx+O(1), \end{equation*} and the Mertens' second theorem indicates that there exists a constant $B\approx 0.261$, named the Mertens constant, such that \begin{equation*} \sum_{\substack{p\leq x\\ p~prime}}\frac{1}{p}=ln(lnx)+B+O\left(\frac{1}{lnx}\right). \end{equation*} In this paper, by using the Abel summation formula and Dirichlet's hyperbola method, we extend them to multiple cases.


title: Quantum Hall Effect Measurement of Spin-Orbit Coupling Strengths in Ultraclean Bilayer Graphene/WSe2 Heterostructures

abstract: We study proximity-induced spin-orbit coupling (SOC) in bilayer graphene/few-layer WSe2 heterostructure devices. Contact mode atomic force microscopy (AFM) cleaning yields ultra-clean interfaces and high-mobility devices. In a perpendicular magnetic field, we measure the quantum Hall effect to determine the Landau level structure in the presence of out-of-plane Ising and in-plane Rashba SOC. A distinct Landau level crossing pattern emerges when tuning the charge density and displacement field independently with dual gates, originating from a layer-selective SOC proximity effect. Analyzing the Landau level crossings and measured inter-Landau level energy gaps yields the proximity induced SOC energy scale. The Ising SOC is ~ 2.2 meV, 100 times higher than the intrinsic SOC in graphene, while its sign is consistent with theories predicting a dependence of SOC on interlayer twist angle. The Rashba SOC is ~15 meV. Finally, we infer the magnetic field dependence of the inter-Landau level Coulomb interactions. These ultraclean bilayer graphene/WSe2 heterostructures provide a high mobility system with the potential to realize novel topological electronic states and manipulate spins in nanostructures.


title: Strang splitting schemes for N-level Bloch models

abstract: We extend to the N-level Bloch model the splitting scheme which use exact numerical solutions of sub-equations. These exact solutions involve matrix exponentials which we want to avoid to calculate at each time step. We use Newton interpolation to reduce the computational cost. The resulting scheme is nonstandard and preserves all qualitative properties of the Bloch equations. We show numerical simulations to compare this approach with a few other schemes.


title: An Eulerian model for sea spray transport and evaporation

abstract: Reliable estimates of the fluxes of momentum, heat, and moisture at the air-sea interface are essential for accurate long term climate projections, as well as the prediction of short term weather events such as tropical cyclones. In recent years, it has been suggested that these estimates need to incorporate an accurate description of the transport of sea spray within the atmospheric boundary layer and the drop-induced fluxes of moisture, momentum, and heat, so that the resulting effects on the atmospheric flow can be evaluated. In this paper we propose a model based on a theoretical and mathematical framework inspired from kinetic gas theory. This approach reconciles the Lagrangian nature of the spray transport with the Eulerian description of the atmosphere. In turn, this enables a relatively straightforward inclusion of the spray fluxes and the resulting spray effects on the atmospheric flow. A comprehensive dimensional analysis has led us to identify the spray effects that are most likely to influence the temperature, moisture, and speed of the airflow. We also provide an example application to illustrate the capabilities of the model in specific environmental conditions. Finally, suggestions for future work are offered.


title: Charge carrier injection electroluminescence with CO functionalized tips on single molecular emitters

abstract: We investigate electroluminescence of single molecular emitters on NaCl on Ag(111) and Au(111) with submolecular resolution in a low-temperature scanning probe microscope with tunneling current, atomic force and light detection capabilities. Role of the tip state is studied in the photon maps of a prototypical emitter, zinc phthalocyanine (ZnPc), using metal and CO-metal tips. CO-functionalization is found to have a dramatic impact on the resolution and contrast of the photon maps due to the localized overlap of the p-orbitals on the tip with the molecular orbitals of the emitter. The possibility of using the same CO-functionalized tip for tip-enhanced photon detection and high resolution atomic force is demonstrated. We study the electroluminescence of ZnPc, induced by charge carrier injection at sufficiently high bias voltages. We propose that the distinct level alignment of the ZnPc frontier orbital with the Au(111) and Ag(111) Fermi levels governs the primary excitation mechanisms as the injection of electrons and holes from the tip into the molecule, respectively. These findings put forward the importance of the tip status in the photon maps and contribute to a better understanding of the photophysics of organic molecules on surfaces.


title: Nonnegative forms with sublevel sets of minimal volume

abstract: We show that the Euclidean ball has the smallest volume among sublevel sets of nonnegative forms of bounded Bombieri norm as well as among sublevel sets of sum of squares forms whose Gram matrix has bounded Frobenius or nuclear (or, more generally, p-Schatten) norm. These volume-minimizing properties of the Euclidean ball with respect to its representation (as a sublevel set of a form of fixed even degree) complement its numerous intrinsic geometric properties. We also provide a probabilistic interpretation of the results.


title: Adaptive linear second-order energy stable schemes for time-fractional Allen-Cahn equation with volume constraint

abstract: A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-preserving and unconditionally energy stable on arbitrary nonuniform time meshes. The accelerated algorithm and adaptive time strategy are employed in numerical implement. Numerical results show that the proposed algorithms are computationally efficient in multi-scale simulations, and appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing the fast dynamics away initial time.


title: Deep Radiative Cooling Passive Dew Collection

abstract: We show how to overcome almost every major limitation in passive dew collection including: parasitic heating, parasitic evaporation, uncontrolled wind conditions, and performing dew collection 24 hours per day at nearly arbitrary relative humidity. We incorporate an ideal selective emitter in a simple thermal-equilibrium dew collection model that relies on an important physical insight -- that the roles of the radiative emitter and dew collector should be decoupled to achieve optimal dew harvesting. Previous models of passive dew collection strongly coupled those roles leading to nonideal theoretical limits. Our model necessitates deep radiative cooling (i.e., radiative cooling very far below ambient temperature) and that all forms of conductive and convective heating of the emitter have been eliminated. We further propose and tested a passive, self-regulating, gravity-fed airflow design that eliminates uncontrollable wind conditions or externally-driven airflow systems. Under somewhat realistic atmospheric scenarios, the theory predicts in excess of 80 grams/m$^2$/hour and 1.5 L/m$^2$/day which greatly exceeds the current theoretical limits of 0.7 L/m$^2$/day. We discuss how this can be further improved. We tested the validity of the equilibrium model and the gravity-fed airflow using a laboratory experiment that replicated the radiative emitter/dew collector system with the hot and cold side of a well-calibrated thermo-electric cooler. These ideas not only point to improved dew collection yields, but that dew can be collected 24 hours per day even at low relative humidity.


title: Hierarchy of double-time correlations

abstract: The hierarchy of correlations is an analytical approximation method which allows us to study non-equilibrium phenomena in strongly interacting quantum many-body systems on lattices in higher dimensions. So far, this method was restricted to equal-time correlators $\langle\hat A_\mu(t)\hat B_\nu(t)\rangle$. In this work, we generalize this method to double-time correlators $\langle\hat A_\mu(t)\hat B_\nu(t')\rangle$, which allows us to study effective light cones and Green functions and to incorporate finite initial temperatures.


title: Deep Mangoes: from fruit detection to cultivar identification in colour images of mango trees

abstract: This paper presents results on the detection and identification mango fruits from colour images of trees. We evaluate the behaviour and the performances of the Faster R-CNN network to determine whether it is robust enough to "detect and classify" fruits under particularly heterogeneous conditions in terms of plant cultivars, plantation scheme, and visual information acquisition contexts. The network is trained to distinguish the 'Kent', 'Keitt', and "Boucodiekhal" mango cultivars from 3,000 representative labelled fruit annotations. The validation set composed of about 7,000 annotations was then tested with a confidence threshold of 0.7 and a Non-Maximal-Suppression threshold of 0.25. With a F1-score of 0.90, the Faster R-CNN is well suitable to the simple fruit detection in tiles of 500x500 pixels. We then combine a multi-tiling approach with a Jaccard matrix to merge the different parts of objects detected several times, and thus report the detections made at the tile scale to the native 6,000x4,000 pixel size images. Nonetheless with a F1-score of 0.56, the cultivar identification Faster R-CNN network presents some limitations for simultaneously detecting the mango fruits and identifying their respective cultivars. Despite the proven errors in fruit detection, the cultivar identification rates of the detected mango fruits are in the order of 80%. The ideal solution could combine a Mask R-CNN for the image pre-segmentation of trees and a double-stream Faster R-CNN for detecting the mango fruits and identifying their respective cultivar to provide predictions more relevant to users' expectations.


title: Structure constants for Chern classes of Schubert cells

abstract: A formula for the structure constants of the multiplication of Schubert classes is obtained in arXiv:1909.05283. In this note, we prove analogous formulae for the Chern--Schwartz--MacPherson (CSM) classes and Segre--Schwartz--MacPherson (SSM) classes of Schubert cells in the flag variety. By the equivalence between the CSM classes and the stable basis elements for the cotangent bundle of the flag variety, a formula for the structure constants for the latter is also deduced.


title: Data Interpretation Support in Rescue Operations: Application for French Firefighters

abstract: This work aims at developing a system that supports French firefighters in data interpretation during rescue operations. An application ontology is proposed based on existing crisis management ones and operational expertise collection. After that, a knowledge-based system will be developed and integrated in firefighters' environment. Our first studies are shown in this paper.


title: Tensor Norm, Cubic Power and Gelfand Limit

abstract: We establish two inequalities for the nuclear norm and the spectral norm of tensor products. The first inequality indicates that the nuclear norm of the square matrix is a matrix norm. We extend the concept of matrix norm to tensor norm. We show that the $1$-norm, the Frobenius norm and the nuclear norm of tensors are tensor norms, but the infinity norm and the spectral norm of tensors are not tensor norms. We introduce the cubic power for a general third order tensor, and show that a Gelfand formula holds for a general third order tensor. In that formula, for any norm, a common spectral radius-like limit exists for that third order tensor. We call such a limit the Gelfand limit. The Gelfand limit is zero if the third order tensor is nilpotent, and is one or zero if the third order tensor is idempotent. The Gelfand limit is not greater than any tensor norm of that third order tensor, and the cubic power of that third order tensor tends to zero as the power increases to infinity if and only if the Gelfand limit is less than one. The cubic power and the Gelfand limit can be extended to any higher odd order tensors.


title: Bound on the maximal function associated to the law of the iterated logarithms for Bernoulli random fields

abstract: We provide a sufficient condition for the bounded law of the iterated logarithms for strictly stationary random fields expressable as a functional of i.i.d. random fields when the summation is done on rectangles. The study is done via the control of the moments of an appropriated maximal function. Applications to functionals of linear random fields, functions of a Gaussian linear random field and Volterra process are given.


title: Numerical simulation of Feller's diffusion equation

abstract: This article is devoted to Feller's diffusion equation which arises naturally in probabilities and physics (e.g. wave turbulence theory). If discretized naively, this equation may represent serious numerical difficulties since the diffusion coefficient is practically unbounded and most of its solutions are weakly divergent at the origin. In order to overcome these difficulties we reformulate this equation using some ideas from the Lagrangian fluid mechanics. This allows us to obtain a numerical scheme with a rather generous stability condition. Finally, the algorithm admits an elegant implementation and the corresponding Matlab code is provided with this article under an open source license.


title: Reorientation of large-scale circulation of turbulent Rayleigh-B\'enard convection in a cubic cell

abstract: We present a direct numerical simulation on the dynamics of large-scale circulation (LSC) of turbulent Rayleigh-B\'enard convection of air (Pr = 0.7) contained in a cubic cell for Rayleigh number range 2X10^6 < Ra < 10^9 . The strength and orientation of LSC are quantified by the amplitude and phase of the first Fourier mode of the vertical velocity. The plane containing LSC is generally aligned along one of the diagonals of the box accompanied by a four-roll structure in the other. However, an abnormal single-roll state with substructures is noted at the face planes for low Ra. In addition to the primary roll, two secondary corner-roll structures are also observed in the LSC plane which grow in size and destabilize the LSC resulting in partial and complete reversals. In addition to previously reported rotation-led reorientations, we also observe cessation events which are rare in cubic cells. The distribution of turbulent kinetic energy shows that the energy is primarily extracted from the non-LSC plane and fed to the LSC plane by the transport mechanism. We observe that the corner-rolls reduce in size and the substructures diminish at higher Ra, which leads to the reduction in the occurrence of reorientations of LSC.


title: Forecast for FAST: from Galaxies Survey to Intensity Mapping

abstract: The Five-Hundred-Meter Aperture Spherical Radio Telescope(FAST) is the largest single-dish radio telescope in the world. In this paper, we make forecast on the FAST HI large scale structure survey by mock observations. We consider a drift scan survey with the L-band 19 beam receiver, which may be commensal with the pulsar search and Galactic HI survey. We also consider surveys at lower frequency, either using the current single feed wide band receiver, or a future multi-beam phased array feed (PAF) in the UHF band. We estimate the number density of detected HI galaxies and the measurement error in positions, the precision of the surveys are evaluated using both Fisher matrix and simulated observations. The measurement error in the HI galaxy power spectrum is estimated, and we find that the error is relatively large even at moderate redshifts, as the number of positively detected galaxies drops drastically with increasing redshift. However, good cosmological measurement could be obtained with the intensity mapping technique where the large scale HI distribution is measured without resolving individual galaxies. The figure of merit (FoM) for the dark energy equation of state with different observation times are estimated, we find that with the existing L-band multi-beam receiver, a good measurement of low redshift large scale structure can be obtained, which complements the existing optical surveys. With a PAF in the UHF band, the constraint can be much stronger, reaching the level of a dark energy task force (DETF) stage IV experiment.


title: Strict deformation quantization of the state space of $M_k(\mathbb{C})$ with applications to the Curie-Weiss model

abstract: Increasing tensor powers of the $k\times k$ matrices $M_k({\mathbb{C}})$ are known to give rise to a continuous bundle of $C^*$-algebras over $I=\{0\}\cup 1/\mathbb{N}\subset[0,1]$ with fibers $A_{1/N}=M_k({\mathbb{C}})^{\otimes N}$ and $A_0=C(X_k)$, where $X_k=S(M_k({\mathbb{C}}))$, the state space of $M_k({\mathbb{C}})$, which is canonically a compact Poisson manifold (with stratified boundary). Our first result is the existence of a strict deformation quantization of $X_k$ \`{a} la Rieffel, defined by perfectly natural quantization maps $Q_{1/N}: \tilde{A}_0\rightarrow A_{1/N}$ (where $\tilde{A}_0$ is an equally natural dense Poisson subalgebra of $A_0$). We apply this quantization formalism to the Curie--Weiss model (an exemplary quantum spin with long-range forces) in the parameter domain where its $\mathbb{Z}_2$ symmetry is spontaneously broken in the thermodynamic limit $N\raw\infty$. If this limit is taken with respect to the macroscopic observables of the model (as opposed to the quasi-local observables), it yields a classical theory with phase space $X_2\cong B^3$ (i.e\ the unit three-ball in $\R^3$). Our quantization map then enables us to take the classical limit of the sequence of (unique) algebraic vector states induced by the ground state eigenvectors $\Psi_N^{(0)}$ of this model as $N\raw\infty$, in which the sequence converges to a probability measure $\mu$ on the associated classical phase space $X_2$. This measure is a symmetric convex sum of two Dirac measures related by the underlying $\Z_2$-symmetry of the model, and as such the classical limit exhibits spontaneous symmetry breaking, too. Our proof of convergence is heavily based on Perelomov-style coherent spin states and at some stage it relies on (quite strong) numerical evidence. Hence the proof is not completely analytic, but somewhat hybrid.


title: Microchain: A Hybrid Consensus Mechanism for Lightweight Distributed Ledger for IoT

abstract: A blockchain and smart contract enabled security mechanism for IoT applications has been reported recently for urban, financial, and network services. However, due to the power-intensive and a low-throughput consensus mechanism in existing blockchain, like Bitcoin and Ethereum, there are still challenges in integrating blockchain technology into resource-constrained IoT platforms. In this paper, Microchain, based on a hybrid Proof-of-Credit (PoC)-Voting-based Chain Finality (VCF) consensus protocol, is proposed to provide a secure, scalable and lightweight distributed ledger for IoT systems. By using a bias-resistant randomness protocol and a cryptographic sortition algorithm, a random subset of nodes are selected as a final committee to perform the consensus protocol. The hybrid consensus mechanism relies on PoC, a pure Proof of stake (PoS) protocol, to determine whether or not a participant is qualified to propose a block, given a fair initial distribution of the credit assignment. The voting-based chain finality protocol is responsible for finalizing a history of blocks by resolving conflicting checkpoint and selecting a unique chain. A proof-of-conception prototype is implemented and tested on a physical network environment. The experimental results verify that the Micorchain is able to offer a partially decentralized, scalable and lightweight distributed ledger protocol for IoT applications.


title: The Erez-Rosen solution versus the Hartle-Thorne solution

abstract: In this work, we investigate the correspondence between the Erez-Rosen and Hartle-Thorne solutions. We explicitly show how to establish the relationship and find the coordinate transformations between the two metrics. For this purpose the two metrics must have the same approximation and describe the gravitational field of static objects. Since both the Erez-Rosen and the Hartle-Thorne solutions are particular solutions of a more general solution, the Zipoy-Voorhees transformation is applied to the exact Erez-Rosen metric in order to obtain a generalized solution in terms of the Zipoy-Voorhees parameter $\delta=1+sq$. The Geroch-Hansen multipole moments of the generalized Erez-Rosen metric are calculated to find the definition of the total mass and quadrupole moment in terms of the mass $m$, quadrupole $q$ and Zipoy-Voorhees $\delta$ parameters. The coordinate transformations between the metrics are found in the approximation of $\sim$q. It is shown that the Zipoy-Voorhees parameter is equal to $\delta=1-q$ with $s=-1$. This result is in agreement with previous results in the literature.


title: One-dimensional gap solitons in quintic and cubic-quintic Fractional nonlinear Schr\"{o}dinger equations with a periodically modulated linear potential

abstract: Competing nonlinearities, such as the cubic (Kerr) and quintic nonlinear terms whose strengths are of opposite signs (the coefficients in front of the nonlinearities), exist in various physical media (in particular, in optical and matter-wave media). A benign competition between self-focusing cubic and self-defocusing quintic nonlinear nonlinearities (known as cubic-quintic model) plays an important role in creating and stabilizing the self-trapping of D-dimensional localized structures, in the contexts of standard nonlinear Schr\"{o}dinger equation. We incorporate an external periodic potential (linear lattice) into this model and extend it to the space-fractional scenario that begins to surface in very recent years---the nonlinear fractional Schr\"{o}dinger equation (NLFSE), therefore obtaining the cubic-quintic or the purely quintic NLFSE, and investigate the propagation and stability properties of self-trapped modes therein. Two types of one-dimensional localized gap modes are found, including the fundamental and dipole-mode gap solitons. Employing the techniques based on the linear-stability analysis and direct numerical simulations, we get the stability regions of all the localized modes; and particularly, the anti-Vakhitov-Kolokolov criterion applies for the stable portions of soliton families generated in the frameworks of quintic-only nonlinearity and competing cubic-quintic nonlinear terms.


title: Self-trapped spatially localized states in combined linear-nonlinear periodic potentials

abstract: We analyze the existence and stability of two kinds of self-trapped spatially localized gap modes, gap solitons and truncated nonlinear Bloch waves, in one-and two-dimensional optical or matter-wave media with self-focusing nonlinearity, supported by a combination of linear and nonlinear periodic lattice potentials. The former is found to be stable once placed inside a single well of the nonlinear lattice, it is unstable otherwise. Contrary to the case with constant self-focusing nonlinearity, where the latter solution is always unstable, here, we demonstrate that it nevertheless can be stabilized by the nonlinear lattice since the model under consideration combines the unique properties of both the linear and nonlinear lattices. The practical possibilities for experimental realization of the predicted solutions are also discussed.


title: Kruger 60 as a home system for 2I/Borisov -- a case study

abstract: For the second discovered interstellar comet 2I/Borisov we searched for a candidate for its home system. We will never be sure which star or stellar system does this comet come from but obtaining a very small relative velocity and a promisingly small miss-distance, when tracing the motion of 2I/Borisov back in time in its movement through the space, makes an encountered body a good candidate for a source of this comet. In our long-standing project on studying Oort spike comets dynamics, we recently updated a list of potential stellar perturbers of cometary motion. This list was checked against a past, close and slow encounter with 2I/Borisov. Only one object from among 647 stars or stellar systems in our list, a double star Kruger 60, appeared as a potential candidate for the origin of this comet. However, a detailed analysis of this system's radial velocity uncertainty influence on our result showed, that the probability that Kruger 60 is a home system of 2I/Borisov is small. Finally, the usage of a new, unpublished systemic radial velocity of Kruger 60 system practically ruled out this possibility.


title: Long colimits of topological groups II: Free groups and vector spaces

abstract: Topological properties of the free topological group and the free abelian topological group on a space have been thoroughly studied since the 1940s. In this paper, we study the free topological $\mathbb{R}$-vector space $V(X)$ on $X$. We show that $V(X)$ is a quotient of the free abelian topological group on $[-1,1]\times X$, and use this to prove topological vector space analogues of existing results for free topological groups on pseudocompact spaces. As an application, we show that certain families of subspaces of $V(X)$ satisfy the so-called $\textit{algebraic colimit property}$ defined in the authors' previous work.


title: A quantum description for charged fermions in strong gravitational field

abstract: The falling charge puzzle in gravitational field is well known due to the discussions of radiation. The puzzle lies in the heart of linking the electromagnetism and gravity. Up to date few discussions have fully taken account of quantum effect of a falling charged-fermion in strong gravitational field from the first principle. Based on the hypothesis that 4-dimension conformal symmetry may underly its dynamics, in this paper we try to establish a quantum equation for the falling process. The resultant equation provides a manner accounting for the strong CP violation at the beginning of the Big Bang. Moreover, it turns out that the equation for left-handed fermions breaks the conformal symmetry and has a tensor-like eigen value. A proposed experiment for testing the predictions is also suggested.


title: Efficiently Reusing Old Models Across Languages via Transfer Learning

abstract: Recent progress in neural machine translation is directed towards larger neural networks trained on an increasing amount of hardware resources. As a result, NMT models are costly to train, both financially, due to the electricity and hardware cost, and environmentally, due to the carbon footprint. It is especially true in transfer learning for its additional cost of training the "parent" model before transferring knowledge and training the desired "child" model. In this paper, we propose a simple method of re-using an already trained model for different language pairs where there is no need for modifications in model architecture. Our approach does not need a separate parent model for each investigated language pair, as it is typical in NMT transfer learning. To show the applicability of our method, we recycle a Transformer model trained by different researchers and use it to seed models for different language pairs. We achieve better translation quality and shorter convergence times than when training from random initialization.