title: Non-Abelian braiding of Dirac fermionic modes using topological corner states in higher-order topological insulator

abstract: We numerically demonstrate that the topological corner states residing in the corners of higher-order topological insulator possess non-Abelian braiding properties. Such topological corner states are Dirac fermionic modes other than Majorana zero-modes. We claim that Dirac fermionic modes protected by nontrivial topology also support non-Abelian braiding. An analytical description on such non-Abelian braiding is conducted based on the vortex-induced Dirac-type fermionic modes. The braiding operator for Dirac fermionic modes is also analytically derivated and compared with the Majorana zero-modes. Experimentally, such non-Abelian braiding operation on Dirac fermionic modes is proposed to be testified through topological electric circuit.


title: Global existence and finite time blow-up for the heat flow of H-system with constant mean curvature

abstract: In this paper, we use the modified potential well method to study the long time behaviors of solutions to the heat flow of H-system in a bounded smooth domain of $R^2$. Global existence and finite time blowup of solutions are proved when the initial energy is in three cases. When the initial energy is low or critical, we not only give a threshold result for the global existence and blowup of solutions, but also obtain the decay rate of the $L^2$ norm for global solutions. When the initial energy is high, sufficient conditions for the global existence and blowup of solutions are also provided. We extend the recent results which were obtained in [12].


title: Self-force from conical singularity, without renormalization

abstract: We develop an approach to calculate the self-force on a charged particle held in place in a curved spacetime, in which the particle is attached to a massless string and the force is measured by the string's tension. The calculation is based on the Weyl class of static and axially symmetric spacetimes, and the presence of the string is manifested by a conical singularity; the tension is proportional to the angular deficit. A remarkable and appealing aspect of this approach is that the calculation of the self-force requires no renormalization of the particle's field. This is in contract with traditional methods, which incorporate a careful and elaborate subtraction of the singular part of the field. We implement the approach in a number of different situations. First, we examine the case of an electric charge in Schwarzschild spacetime, and recover the classic Smith-Will force in addition to a purely gravitational contribution to the self-force. Second, we turn to the case of electric and magnetic dipoles in Schwarzschild spacetime, and correct expressions for the self-force previously obtained in the literature. Third, we replace the electric charge by a scalar charge, and recover Wiseman's no-force result, which we generalize to a scalar dipole. And fourth, we calculate the force exerted on extended bodies such as Schwarzschild black holes and Janis-Newman-Winicour objects, which describe scalarized naked singularities.


title: Wolf-Rayet galaxies in SDSS-IV MaNGA. I. Catalog construction and sample properties

abstract: Wolf-Rayet (WR) galaxies are a rare population of galaxies that host living high-mass stars during their WR phase (i.e. WR stars) and are thus expected to provide interesting constraints on the stellar Initial Mass Function, massive star formation, stellar evolution models, etc. Spatially resolved spectroscopy should in principle provide a more efficient way of identifying WR galaxies than single-fiber surveys of galactic centers such as SDSS-I & II, as WR stars should be more preferentially found in discs. Using IFU data from the ongoing SDSS-IV MaNGA survey, we have performed a thorough search for WR galaxies. We first identify H II regions in each datacube and carry out full spectral fitting to the stacked spectra. We then visually inspect the residual spectrum of each H II region and identify WR regions that present a significant "blue bump" at 4600-4750 A. The resulting WR catalog includes 267 WR regions of ~500pc (radius) sizes, distributed in 90 galaxies from the current sample of MaNGA (MaNGA Product Launch 7). We find WR regions are exclusively found in galaxies that show bluest colors and highest star formation rates for their mass. Most WR galaxies have late-type morphologies and show relatively large asymmetry in their images, implying that WR regions are more preferentially found in interacting/merging galaxies. We estimate the stellar mass function of WR galaxies and the mass-dependent detection rate. The detection rate of WR galaxies is typically ~2%, with weak dependence on stellar mass. This detection rate is about 40 times higher than previous studies with SDSS single fiber data, and by a factor of 2 lower than the CALIFA-based WR catalog. We make comparisons with SDSS and CALIFA studies, and conclude that different detection rates can be explained mainly by three factors: spatial coverage, spectral signal-to-noise ratio, and redshift ranges of the parent sample.


title: RDF 1.1: Knowledge Representation and Data Integration Language for the Web

abstract: Resource Description Framework (RDF) can seen as a solution in today's landscape of knowledge representation research. An RDF language has symmetrical features because subjects and objects in triples can be interchangeably used. Moreover, the regularity and symmetry of the RDF language allow knowledge representation that is easily processed by machines, and because its structure is similar to natural languages, it is reasonably readable for people. RDF provides some useful features for generalized knowledge representation. Its distributed nature, due to its identifier grounding in IRIs, naturally scales to the size of the Web. However, its use is often hidden from view and is, therefore, one of the less well-known of the knowledge representation frameworks. Therefore, we summarise RDF v1.0 and v1.1 to broaden its audience within the knowledge representation community. This article reviews current approaches, tools, and applications for mapping from relational databases to RDF and from XML to RDF. We discuss RDF serializations, including formats with support for multiple graphs and we analyze RDF compression proposals. Finally, we present a summarized formal definition of RDF 1.1 that provides additional insights into the modeling of reification, blank nodes, and entailments.


title: Estimation of roughness measurement bias originating from background subtraction

abstract: When measuring the roughness of rough surfaces, the limited sizes of scanned areas lead to its systematic underestimation. Levelling by polynomials and other filtering used in real-world processing of atomic force microscopy data increases this bias considerably. Here a framework is developed providing explicit expressions for the bias of squared mean square roughness in the case of levelling by fitting a model background function using linear least squares. The framework is then applied to polynomial levelling, for both one-dimensional and two-dimensional data processing, and basic models of surface autocorrelation function, Gaussian and exponential. Several other common scenarios are covered as well, including median levelling, intermediate Gaussian--exponential autocorrelation model and frequency space filtering. Application of the results to other quantities, such as Rq, Sq, Ra and~Sa is discussed. The results are summarized in overview plots covering a range of autocorrelation functions and polynomial degrees, which allow graphical estimation of the bias.


title: Effective field theories

abstract: A pedagogical introduction to low-energy effective field theories. In some of them, heavy particles are "integrated out" (a typical example - the Heisenberg-Euler EFT); in some heavy particles remain but some of their degrees of freedom are "integrated out" (Bloch-Nordsieck EFT). A large part of these lectures is, technically, in the framework of QED. QCD examples, namely, decoupling of heavy flavors and HQET, are discussed only briefly. However, effective field theories of QCD are very similar to the QED case, there are just some small technical complications: more diagrams, color factors, etc. The method of regions provides an alternative view at low-energy effective theories; it is also briefly introduced.


title: Stability of Multi-Dimensional Switched Systems with an Application to Open Multi-Agent Systems

abstract: A multi-dimensional switched system or multi-mode multi-dimensional ($M^3D$) system extends the classic switched system by allowing different subsystem dimensions. The stability problem of the $M^3D$ system, whose state transitions at switching instants can be discontinuous due to the dimension-varying feature, is studied. The discontinuous state transition is formulated by an affine map that captures both the dimension variations and the state impulses, with no extra constraint imposed. In the presence of unstable subsystems, the general criteria featuring a series of Lyapunov-like conditions for the practical and asymptotic stability properties of the $M^3D$ system are provided under the proposed slow/fast transition-dependent average dwell time framework. Then, by considering linear subsystems, we propose a class of parametric multiple Lyapunov functions to verify the obtained Lyapunov-like stability conditions and explicitly reveal a connection between the practical/asymptotic stability property and the non-vanishing/vanishing property of the impulsive effects in the state transition process. Further, the obtained stability results for the $M^3D$ system are applied to the consensus problem of the open multi-agent system (MAS), whose network topology can be switching and size-varying due to the migrations of agents. It shows that through a proper transformation, the seeking of the (practical) consensus performance of the open MAS with disconnected digraphs boils down to that of the (practical) stability property of an $M^3D$ system with unstable subsystems.


title: Complex surfaces with mutually non-biholomorphic universal covers

abstract: It is known that the universal cover of compact Riemann surface is either the projective line, the complex plane or the unit disk. In this article we construct a very explicit family of complex surfaces that gives rise to uncountably many mutually non-biholomorphic universal covers. The slope of these surfaces, which are going to be total spaces of Kodaira fibrations, is also determined


title: Measurement of delayed fluorescence in N2+ with streak camera

abstract: Using a streak camera, we directly measure time- and space-resolved dynamics of N2+ emission from a self-seeded filament. We observe characteristic signatures of superfluorescence even under ambient conditions and show that the timing of the emitted light varies along the length of the filament. These effects must be taken into consideration for accurate modelling of light filaments in air, and can be exploited to engineer the temporal profile of light emission in air lasing.


title: Dynamical density and spin response of Fermi arcs and their consequences for Weyl semimetals

abstract: Weyl semimetals exhibit exotic Fermi-arc surface states, which strongly affect their electromagnetic properties. We derive analytical expressions for all components of the composite density-spin response tensor for the surfaces states of a Weyl-semimetal model obtained by closing the band gap in a topological insulating state and introducing a time-reversal-symmetry-breaking term. Based on the results, we discuss the electromagnetic susceptibilities, the current response, and other physical effects arising from the density-spin response. We find a magnetoelectric effect caused solely by the Fermi arcs. We also discuss the effect of electron-electron interactions within the random phase approximation and investigate the dispersion of surface plasmons formed by Fermi-arc states. Our work is useful for understanding the electromagnetic and optical properties of the Fermi arcs.


title: Topology in shallow-water waves: a violation of bulk-edge correspondence

abstract: We study the two-dimensional rotating shallow-water model describing Earth's oceanic layers. It is formally analogue to a Schr\"odinger equation where the tools from topological insulators are relevant. Once regularized at small scale by an odd-viscous term, such a model has a well-defined bulk topological index. However, in presence of a sharp boundary, the number of edge modes depends on the boundary condition, showing an explicit violation of the bulk-edge correspondence. We study a continuous family of boundary conditions with a rich phase diagram, and explain the origin of this mismatch. Our approach relies on scattering theory and Levinson's theorem. The latter does not apply at infinite momentum because of the analytic structure of the scattering amplitude there, ultimately responsible for the violation.

categories: math-ph cond-mat.mes-hall math.MP physics.ao-ph physics.flu-dyn


title: From Drinking Philosophers to Asynchronous Path-Following Robots

abstract: In this paper, we consider the multi-robot path execution problem where a group of robots move on predefined paths from their initial to target positions while avoiding collisions and deadlocks in the face of asynchrony. We first show that this problem can be reformulated as a distributed resource allocation problem and, in particular, as an instance of the well-known Drinking Philosophers Problem (DrPP). By careful construction of the drinking sessions capturing shared resources, we show that any existing solutions to DrPP can be used to design robot control policies that are collectively collision and deadlock-free. We then propose modifications to an existing DrPP algorithm to allow more concurrent behavior, and provide conditions under which our method is deadlock-free. Our method does not require robots to know or to estimate the speed profiles of other robots and results in distributed control policies. We demonstrate the efficacy of our method on simulation examples, which show competitive performance against the state-of-the-art.


title: Optimal Randomized Group Testing Algorithm to Determine the Number of Defectives

abstract: We study the problem of determining exactly the number of defective items in an adaptive Group testing by using a minimum number of tests. We improve the existing algorithm and prove a lower bound that shows that the number of tests in our algorithm is optimal up to small additive terms.


title: Mobility-Aware Content Placement for Device-to-Device Caching Systems

abstract: User mobility has a large effect on optimal content placement in D2D caching networks. Since a typical user can communicate neighboring users who stay in the D2D communication area of the typical user, the optimal content placement should be changed according to the user mobility. Under consideration of randomness of incoming and outgoing users, we formulate an optimization problem to minimize the average data load of a BS. It is proved that minimization of the average data load of a BS can be transformed to maximization of a monotonic submodular function with a matroid constraint, for which a greedy algorithm can find near-optimal solutions. Moreover, when motions of neighboring users are rapid, the optimal content placement is derived in closed-form, aided by reasonable approximation and relaxation. In the high mobility regime, the optimal content placement is shown to cache partial amounts of the most popular contents.


title: Band nesting and exciton spectrum in monolayer MoS$_2$

abstract: We discuss here the effect of band nesting and topology on the spectrum of excitons in a single layer of MoS$_2$, a prototype transition metal dichalcogenide material. We solve for the single particle states using the ab initio based tight-binding model containing metal $d$ and sulfur $p$ orbitals. The metal orbitals contribution evolving from $K$ to $\Gamma$ points results in conduction-valence band nesting and a set of second minima at $Q$ points in the conduction band. There are three $Q$ minima for each $K$ valley. We accurately solve the Bethe-Salpeter equation including both $K$ and $Q$ points and obtain ground and excited exciton states. We determine the effects of the electron-hole single particle energies including band nesting, direct and exchange screened Coulomb electron-hole interactions and resulting topological magnetic moments on the exciton spectrum. The ability to control different contributions combined with accurate calculations of the ground and excited exciton states allows for the determination of the importance of different contributions and a comparison with effective mass and $k\cdot p$ massive Dirac fermion models.


title: New Laplacian comparison theorem and its applications to diffusion processes on Riemannian manifolds

abstract: Let $L=\Delta-\nabla\phi\cdot \nabla$ be a symmetric diffusion operator with an invariant measure $\mu({\rm} d x)=e^{-\phi(x)}{\mathfrak m}({\rm d} x)$ on a complete non-compact smooth Riemannian manifold $(M,g)$ with its volume element ${\mathfrak m}={\rm vol}_g$, and $\phi\in C^2(M)$ a potential function. In this paper, we prove a Laplacian comparison theorem on weighted complete Riemannian manifolds with ${\rm CD}(K, m)$-condition for $m\leq 1$ and a continuous function $K$. As consequences, we give the optimal conditions on $m$-Bakry-\'Emery Ricci tensor for $m\leq1$ such that the (weighted) Myers' theorem, Bishop-Gromov volume comparison theorem, Ambrose-Myers' theorem, and the Cheeger-Gromoll type splitting theorem, stochastic completeness and Feller property of $L$-diffusion processes hold on weighted complete Riemannian manifolds. Some of these results were well-studied for $m$-Bakry-\'Emery Ricci curvature for $m\geq n$ (\!\!\cite{Lot,Qian,XDLi05, WeiWylie}) or $m=1$ (\!\!\cite{Wylie:WarpedSplitting, WylieYeroshkin}). When $m<1$, our results are new in the literature.


title: Higher regularity estimates for the porous medium equation near the Heat equation

abstract: In this paper we investigate regularity aspects for solutions of the nonlinear parabolic equation $$ u_t= \Delta u^m, \quad m > 1 $$ usually called the porous medium equation. More precisely, we provide sharp regularity estimates for bounded nonnegative weak solutions along the free boundary $\partial\{u>0\}$, when the equation is universally close to the heat equation. As a consequence, local Lipschitz estimates are also established for this scenario.


title: Droplet impact of Newtonian fluids and blood on simple fabrics: effect of fabric pore size and underlying substrate

abstract: When a droplet impacts a fabric mesh at a sufficiently high impact velocity, it not only spreads over the fabric but also penetrate its pores. To determine the influence of this liquid penetration of the fabric on droplet spreading on thin fabric meshes, we measured the droplet spreading ratio on fabric with and without an underlying substrate using a high-speed camera. For fabrics without a substrate, the droplet spreading ratio is reduced as the fabric penetration by the liquid reduces the droplet volume spreading on top of the fabric. Using entropic lattice Boltzmann simulations, we find that the lower droplet spreading ratio on fabrics, both with and without a substrate, is due to an increase of viscous losses inside the droplet during spreading. Comparing droplet impact of blood with its Newtonian counterpart, we show that for spreading on fabrics, just like on smooth surfaces, blood can be approximated as a Newtonian fluid.


title: Weierstrass sections for parabolic adjoint action in type $A$

abstract: The notion of "Weierstrass Section", comes from Weierstrass canonical form for elliptic curves. In celebrated work [B. Kostant, Lie group representations on polynomial rings, Amer. J. Math. 85 (1963), 327-404] constructed such a section for the action of a semisimple Lie algebra on its dual using a principal s-triple. Actually it is enough to have an "adapted pair" and indeed the construction in [A. Joseph and D. Shafrir, Polynomiality of invariants, unimodularity and adapted pairs, Transform. Groups 15 (2010), no. 4, 851-882] works rather well for the coadjoint action of an algebraic, but not necessarily reductive Lie algebra. In the present work a Weierstrass section is constructed for the adjoint action of the derived algebra of a parabolic subalgebra on its nilradical in type $A$. The starting point is Richardson's theorem which implies the polynomiality of the invariant sub-algebra. Here adapted pairs seldom exist. A new construction is developed and this is mainly combinatorial based on joining boxes in the Young tableau associated to the "Richardson component". Indications are given for extending this construction in other types. The construction has relations to quivers [T. Brustle, L. Hille, Lutz, C.M. Ringel and G. Rohrle, The $\delta$-filtered modules without selfextensions for the Auslander algebra of $k[T]/Tn$. Algebr. Represent. Theory 2 (1999), no. 3, 295-312] and to hypersurface orbital varieties [A. Joseph and A. Melnikov, Quantization of hypersurface orbital varieties in $sl(n)$. The orbit method in geometry and physics (Marseille, 2000), 165-196, Progr. Math., 213].


title: Inter- and Intra-domain Knowledge Transfer for Related Tasks in Deep Character Recognition

abstract: Pre-training a deep neural network on the ImageNet dataset is a common practice for training deep learning models, and generally yields improved performance and faster training times. The technique of pre-training on one task and then retraining on a new one is called transfer learning. In this paper we analyse the effectiveness of using deep transfer learning for character recognition tasks. We perform three sets of experiments with varying levels of similarity between source and target tasks to investigate the behaviour of different types of knowledge transfer. We transfer both parameters and features and analyse their behaviour. Our results demonstrate that no significant advantage is gained by using a transfer learning approach over a traditional machine learning approach for our character recognition tasks. This suggests that using transfer learning does not necessarily presuppose a better performing model in all cases.


title: Continuous-Discrete Reinforcement Learning for Hybrid Control in Robotics

abstract: Many real-world control problems involve both discrete decision variables - such as the choice of control modes, gear switching or digital outputs - as well as continuous decision variables - such as velocity setpoints, control gains or analogue outputs. However, when defining the corresponding optimal control or reinforcement learning problem, it is commonly approximated with fully continuous or fully discrete action spaces. These simplifications aim at tailoring the problem to a particular algorithm or solver which may only support one type of action space. Alternatively, expert heuristics are used to remove discrete actions from an otherwise continuous space. In contrast, we propose to treat hybrid problems in their 'native' form by solving them with hybrid reinforcement learning, which optimizes for discrete and continuous actions simultaneously. In our experiments, we first demonstrate that the proposed approach efficiently solves such natively hybrid reinforcement learning problems. We then show, both in simulation and on robotic hardware, the benefits of removing possibly imperfect expert-designed heuristics. Lastly, hybrid reinforcement learning encourages us to rethink problem definitions. We propose reformulating control problems, e.g. by adding meta actions, to improve exploration or reduce mechanical wear and tear.


title: EMSx: a numerical benchmark for energy management systems

abstract: Inserting renewable energy in the electric grid in a decentralized manneris a key challenge of the energy transition. However, at local scale, both production and demand display erratic behavior, which makes it delicate to match them. It is the goal of Energy Management Systems (EMS) to achieve such balance at least cost. We present EMSx, a numerical benchmark for testing control algorithms for the management of electric microgrids equipped with a photovoltaic unit and an energy storage system. EMSx is made of three key components: the EMSx dataset, provided by Schneider Electric, contains a diverse pool of realistic microgrids with a rich collection of historical observations and forecasts; the EMSx mathematical framework is an explicit description of the assessment of electric microgrid control techniques and algorithms; the EMSx software EMSx.jl is a package, implemented in the Julia language, which enables to easily implement a microgrid controller and to test it. All components of the benchmark are publicly available, so that other researchers willing to test controllers on EMSx may reproduce experiments easily. Eventually, we showcase the results of standard microgrid control methods, including Model Predictive Control, Open Loop Feedback Control and Stochastic Dynamic Programming.


title: Stochastic control on networks: weak DPP, and verification theorem

abstract: The purpose of this article is to study a stochastic control problem on a junction, with control at the junction point. The problem of control is formulated in the weak sense, using a relaxed control, namely a control which takes values in the space of probability measures on a compact set. We prove first the compactness of the admissible rules and the dynamic programming principle (DPP). We complete this article by giving a verification Theorem for the value function of the problem, using some recent results on quasi linear non degenerate PDE posed on a junction, with non linear Neumann boundary condition at the junction point. An example is given, where the optimal control at the junction point is solution of a convex quadratic optimization problem with linear constraints.


title: Neutrino mass, leptogenesis and sterile neutrino dark matter in inverse seesaw framework

abstract: We study $S_{4}$ flavor symmetric inverse seesaw model which has the possibility of simultaneously addressing neutrino phenomenology, dark matter (DM) and baryon asymmetry of the universe (BAU) through leptogenesis. The model is the extension of the standard model by the addition of two right handed neutrinos and three sterile fermions leading to a keV scale sterile neutrino dark matter and two pairs of quasi-Dirac states. The CP violating decay of the lightest quasi- Dirac pair present in the model generates lepton asymmetry which then converts to baryon asymmetry of the universe. Thus this model can provide a simultaneous solution for non zero neutrino mass, dark matter content of the universes and the observed baryon asymmetry. The $S_{4}$ flavor symmetry in this model is augmented by additional $Z_{4}\times Z_{3}$ symmetry to constrain the Yukawa Lagrangian. A detailed numerical analysis has been carried out to obtain dark matter mass, DM-active mixing as well as BAU both for normal hierarchy as well as inverted hierarchy. We have tried to correlate the two cosmological observables and found a common parameter space satisfying the DM phenomenology and BAU. The parameter space of the model is further constrained from the latest cosmological bounds on the above mentioned observables.


title: An Approach Towards Intelligent Accident Detection, Location Tracking and Notification System

abstract: Advancement in transportation system has boosted speed of our lives. Meantime, road traffic accident is a major global health issue resulting huge loss of lives, properties and valuable time. It is considered as one of the reasons of highest rate of death nowadays. Accident creates catastrophic situation for victims, especially accident occurs in highways imposes great adverse impact on large numbers of victims. In this paper, we develop an intelligent accident detection, location tracking and notification system that detects an accident immediately when it takes place. Global Positioning System (GPS) device finds the exact location of accident. Global System for Mobile (GSM) module sends a notification message including the link of location in the google map to the nearest police control room and hospital so that they can visit the link, find out the shortest route of the accident spot and take initiatives to speed up the rescue process.


title: The Study of the Faraday Effect and the Faraday Rotation Ammeter, a Senior Project Thesis

abstract: The Faraday Rotation Ammeter (FRA) experiment takes advantage of the Faraday Effect in order to measure the current density in a given environment. The Faraday Effect explains a rotation of a polarized electric field as it propagates through a magnetic field. The FRA uses a polarized laser source that is coupled into fiber optic cable, then placed in the desired environment to measure the change of polarization angle caused by the magnetic field. The change in the angle of polarization can be used to then find the strength of the magnetic field and ultimately the level of current that created it. The Faraday Effect is amplified by the Verdet Constant, a material property that describes the number of degrees the angle of polarization rotates for a given medium. The device is intended to measure the current density seen in the Aurora. Estimated current values are expected to be around the lower micro-amps range (10-100mA/m^2) for that application. The main goals of the project were to simulate the Faraday Effect on the propagation of the linear polarized light wave, measure the Verdet Constant, re-build the previous design and determine what components of the design if improved or replaced with newer technology could provide the FRA the required sensitivity.


title: Deep Neural Network application: Higgs boson CP state mixing angle in H to tau tau decay and at LHC

abstract: The consecutive steps of cascade decay initiated by H to tau tau can be useful for the measurement of Higgs couplings and in particular of the Higgs boson parity. In the previous papers we have found, that multi-dimensional signatures of the tau^pm to pi^pm pi^0 nu and tau^pm to 3pi^pm nu decays can be used to distinguish between scalar and pseudoscalar Higgs state. The Machine Learning techniques (ML) of binary classification, offered break-through opportunities to manage such complex multidimensional signatures. The classification between two possible CP states: scalar and pseudoscalar, is now extended to the measurement of the hypothetical mixing angle of Higgs boson parity states. The functional dependence of H to tau tau matrix element on the mixing angle is predicted by theory. The potential to determine preferred mixing angle of the Higgs boson events sample including $\tau$-decays is studied using Deep Neural Network. The problem is adressed as classification or regression with the aim to determine the per-event: a) probability distribution (spin weight) of the mixing angle; b) parameters of the functional form of the spin weight; c) the most preferred mixing angle. Performance of methods are evaluated and compared. Numerical results are collected.


title: The Inspiring Universe

abstract: Humans like to find things out. They naturally ask questions and explore the world around them. One observes such behavior already in neonatal infants. Inspiration to further develop such exploratory behavior, the quest to understand and do so deeply, is stimulated by different things, depending on the environment in which one is born and grows up. We thus do not all have the same chances to be inspired. However, there is one exception. Throughout human history humans around the world have stood in awe of the wonders of the sky, the universe. This is a source of inspiration that unites us all. The above considerations and possibly other ones have led to the Universe Awareness (UNAWE) project, which focuses specifically on underprivileged children between the ages of four and ten. Universe Awareness (UNAWE) uses the beauty and grandeur of the Universe to encourage young children, particularly those from an underprivileged background, to have an interest in science and technology and foster their sense of global citizenship from the earliest age.


title: A Noxious Market for Personal Data

abstract: Many policymakers, academics and governments have advocated for exchangeable property rights over information as it presents a market solution to what could be considered a market failure. Particularly in jurisdictions such as Africa, Asia or South America, where weaker legal protections and fleeting regulatory enforcement leaves data subjects vulnerable or exploited regardless of the outcome. We argue that whether we could achieve this personal data economy in which individuals have ownership rights akin to property rights over their data should be approached with caution as a solution to ensuring individuals have agency over their data across different legal landscapes. We present an objection to the use of property rights, a market solution, due to the \textit{noxious} nature of personal data - which is founded on Satz and Sandel's objection to markets.


title: Sparsity-Driven Moving Target Detection in Distributed Multistatic FMCW Radars

abstract: We investigate the problem of sparse target detection from widely distributed multistatic \textit{Frequency Modulated Continuous Wave} (FMCW) radar systems (using chirp modulation). Unlike previous strategies (\emph{e.g.}, developed for FMCW or distributed multistatic radars), we propose a generic framework that scales well in terms of computational complexity for high-resolution space-velocity grid. Our approach assumes that \emph{(i)} the target signal is sparse in a discrete space-velocity domain, hence allowing for non-static target detection, and \emph{(ii)} the resulting multiple baseband radar signals share a common support. By simplifying the representation of the FMCW radar signals, we propose a versatile scheme balancing complexity and detection accuracy. In particular, we design a low-complexity, factorized alternative for the Matching Pursuit algorithm leveraging this simplified model, as well as an iterative methodology to compensate for the errors caused by the model simplifications. Extensive Monte-Carlo simulations of a K-band radar system show that our method achieves a fast estimation of moving target's parameters on dense grids, with controllable accuracy, and reaching state-of-the-art performances compared to previous sparsity-driven approaches.


title: Joint Robust Voicing Detection and Pitch Estimation Based on Residual Harmonics

abstract: This paper focuses on the problem of pitch tracking in noisy conditions. A method using harmonic information in the residual signal is presented. The proposed criterion is used both for pitch estimation, as well as for determining the voicing segments of speech. In the experiments, the method is compared to six state-of-the-art pitch trackers on the Keele and CSTR databases. The proposed technique is shown to be particularly robust to additive noise, leading to a significant improvement in adverse conditions.


title: Gravitational deflection of light and shadow cast by rotating Kalb-Ramond black holes

abstract: The nonminimal coupling of the nonzero vacuum expectation value of the self-interacting antisymmetric Kalb-Ramond field with gravity leads to a power-law hairy black hole having a parameter $s$, which encompasses the Reissner$-$Nordstrom black hole ($s=1$). We obtain the axially symmetric counterpart of this hairy solution, namely, the rotating Kalb-Ramond black hole, which encompasses, as special cases, Kerr ($s=0$) and Kerr-Newman ($s=1$) black holes. Interestingly, for a set of parameters ($M, a$, and $\Gamma$), there exists an extremal value of the Kalb-Ramond parameter ($s=s_{e}$), which corresponds to an extremal black hole with degenerate horizons, while for $s<s_{e}$, it describes a nonextremal black hole with Cauchy and event horizons, and no black hole for $s>s_{e}$. We find that the extremal value $s_e$ is also influenced by these parameters. The black hole shadow size decreases monotonically and the shape gets more distorted with an increasing $s$; in turn, shadows of rotating Kalb-Ramond black holes are smaller and more distorted than the corresponding Kerr black hole shadows. We investigate the effect of the Kalb-Ramond field on the rotating black hole spacetime geometry and analytically deduced corrections to the light deflection angle from the Kerr and Schwarzschild black hole values. The deflection angle for Sgr A* and the shadow caused by the supermassive black hole M87* are included and compared with analogous results of Kerr black holes. The inferred circularity deviation $\Delta C\leq 0.10$ for the M87* black hole merely constrains the Kalb-Ramond field parameter, whereas shadow angular diameter $\theta_d=42\pm 3\, \mu$as, within the $1\sigma$ region, places bounds $\Gamma\leq 0.09205$ for $s=1$ and $\Gamma\leq 0.02178$ for $s=3$.


title: Reasoning on Knowledge Graphs with Debate Dynamics

abstract: We propose a novel method for automatic reasoning on knowledge graphs based on debate dynamics. The main idea is to frame the task of triple classification as a debate game between two reinforcement learning agents which extract arguments -- paths in the knowledge graph -- with the goal to promote the fact being true (thesis) or the fact being false (antithesis), respectively. Based on these arguments, a binary classifier, called the judge, decides whether the fact is true or false. The two agents can be considered as sparse, adversarial feature generators that present interpretable evidence for either the thesis or the antithesis. In contrast to other black-box methods, the arguments allow users to get an understanding of the decision of the judge. Since the focus of this work is to create an explainable method that maintains a competitive predictive accuracy, we benchmark our method on the triple classification and link prediction task. Thereby, we find that our method outperforms several baselines on the benchmark datasets FB15k-237, WN18RR, and Hetionet. We also conduct a survey and find that the extracted arguments are informative for users.


title: Electronic states and magnetic response of MnBi2Te4 by scanning tunneling microscopy and spectroscopy

abstract: Exotic quantum phenomena have been demonstrated in recently discovered intrinsic magnetic topological insulator MnBi2Te4. At its two-dimensional limit, quantum anomalous Hall (QAH) effect and axion insulator state are observed in odd and even layers of MnBi2Te4, respectively. The measured band structures exhibit intriguing and complex properties. Here we employ low-temperature scanning tunneling microscopy to study its surface states and magnetic response. The quasiparticle interference patterns indicate that the electronic structures on the topmost layer of MnBi2Te4 is different from that of the expected out-of-plane A-type antiferromagnetic phase. The topological surface states may be embedded in deeper layers beneath the topmost surface. Such novel electronic structure presumably related to the modification of crystalline structure during sample cleaving and re-orientation of magnetic moment of Mn atoms near the surface. Mn dopants substituted at the Bi site on the second atomic layer are observed. The ratio of Mn/Bi substitutions is 5%. The electronic structures are fluctuating at atomic scale on the surface, which can affect the magnetism of MnBi2Te4. Our findings shed new lights on the magnetic property of MnBi2Te4 and thus the design of magnetic topological insulators.


title: The Offense-Defense Balance of Scientific Knowledge: Does Publishing AI Research Reduce Misuse?

abstract: There is growing concern over the potential misuse of artificial intelligence (AI) research. Publishing scientific research can facilitate misuse of the technology, but the research can also contribute to protections against misuse. This paper addresses the balance between these two effects. Our theoretical framework elucidates the factors governing whether the published research will be more useful for attackers or defenders, such as the possibility for adequate defensive measures, or the independent discovery of the knowledge outside of the scientific community. The balance will vary across scientific fields. However, we show that the existing conversation within AI has imported concepts and conclusions from prior debates within computer security over the disclosure of software vulnerabilities. While disclosure of software vulnerabilities often favours defence, this cannot be assumed for AI research. The AI research community should consider concepts and policies from a broad set of adjacent fields, and ultimately needs to craft policy well-suited to its particular challenges.


title: $4$-uniform BCT permutations from generalized butterfly structure

abstract: As a generalization of Dillon's APN permutation, butterfly structure and generalizations have been of great interest since they generate permutations with the best known differential and nonlinear properties over the field of size $2^{4k+2}$. Complementary to these results, we show in this paper that butterfly structure, more precisely the closed butterfly also yields permutations with the best boomerang uniformity, a new and important parameter related to boomerang-style attacks. This is the sixth known infinite family of permutations in the literature with the best known boomerang uniformity over such fields.


title: A review of the Dividend Discount Model: from deterministic to stochastic models

abstract: This chapter presents a review of the dividend discount models starting from the basic models (Williams 1938, Gordon and Shapiro 1956) to more recent and complex models (Ghezzi and Piccardi 2003, Barbu et al. 2017, D'Amico and De Blasis 2018) with a focus on the modelling of the dividend process rather than the discounting factor, that is assumed constant in most of the models. The Chapter starts with an introduction of the basic valuation model with some general aspects to consider when performing the computation. Then, Section 1.3 presents the Gordon growth model (Gordon 1962) with some of its extensions (Malkiel 1963, Fuller and Hsia 1984, Molodovsky et al. 1965, Brooks and Helms 1990, Barsky and De Long 1993), and reports some empirical evidence. Extended reviews of the Gordon stock valuation model and its extensions can be found in Kamstra (2003) and Damodaran (2012). In Section 1.4, the focus is directed to more recent advancements which make us of the Markov chain to model the dividend process (Hurley and Johnson 1994, Yao 1997, Hurley and Johnson 1998, Ghezzi and Piccardi 2003, Barbu et al. 2017, D'Amico and De Blasis 2018). The advantage of these models is the possibility to obtain a different valuation that depends on the state of the dividend series, allowing the model to be closer to reality. In addition, these models permit to obtain a measure of the risk of the single stock or a portfolio of stocks.


title: Brain-to-brain Wireless Communication and Technologies Beyond 5G

abstract: During the last few years, intensive research efforts are being done in the field of brain interfaces to extract neuro-information from the signals representing neuronal activities in the human brain. A recent development of these interfaces is capable of direct communication between animals' brains, enabling direct brain-to-brain communication. Although these results are new and the experimental scenario simple, the fast development in neuroscience, and information and communication technologies indicate the potential of new scenarios for wireless communications between brains. Depending of the specific kind of neuro-activity to be communicated, the brain-to-brain link shall follow strict requirements of high data rates, low-latency, and reliable communication. In this paper we highlight key beyond 5G technologies that potentially will support this promising approach.


title: Displacements

abstract: In this work we establish a theory of Calculus based on the new concept of displacement. We develop all the concepts and results necessary to go from the definition to differential equations, starting with topology and measure and moving on to differentiation and integration. We find interesting notions on the way, such as the integral with respect to a path of measures or the displacement derivative. We relate both of these two concepts by a Fundamental Theorem of Calculus. Finally, we develop the necessary framework in order to study displacement equations by relating them to Stieltjes differential equations.


title: Quick or cheap? Breaking points in dynamic markets

abstract: We examine two-sided markets where players arrive stochastically over time and are drawn from a continuum of types. The cost of matching a client and provider varies, so a social planner is faced with two contending objectives: a) to reduce players' waiting time before getting matched; and b) to form efficient pairs in order to reduce matching costs. We show that such markets are characterized by a quick-or-cheap dilemma: Under a large class of distributional assumptions, there is no 'free lunch', i.e., there exists no clearing schedule that is simultaneously optimal along both objectives. We further identify a unique breaking point signifying a stark reduction in matching cost contrasted by an increase in waiting time. Generalizing this model, we identify two regimes: one, where no free lunch exists; the other, where a window of opportunity opens to achieve a free lunch. Remarkably, greedy scheduling is never optimal in this setting.


title: Packing chromatic numbers of finite super subdivisions of graphs

abstract: The \textit{packing chromatic number} of a graph $G$, denoted by $% \chi_\rho(G)$, is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we present some general properties of packing chromatic numbers of \textit{finite super subdivisions} of graphs. We determine the packing chromatic numbers of the finite super subdivisions of complete graphs, cycles and \textit{neighborhood corona graphs} of a cycle and a path respectively of a complete graph and a path.


title: The Mobile AR Sensor Logger for Android and iOS Devices

abstract: In recent years, commodity mobile devices equipped with cameras and inertial measurement units (IMUs) have attracted much research and design effort for augmented reality (AR) and robotics applications. Based on such sensors, many commercial AR toolkits and public benchmark datasets have been made available to accelerate hatching and validating new ideas. To lower the difficulty and enhance the flexibility in accessing the rich raw data of typical AR sensors on mobile devices, this paper present the mobile AR sensor (MARS) logger for two of the most popular mobile operating systems, Android and iOS. The logger highlights the best possible synchronization between the camera and the IMU allowed by a mobile device, and efficient saving of images at about 30Hz, and recording the metadata relevant to AR applications. This logger has been tested on a relatively large spectrum of mobile devices, and the collected data has been used for analyzing the sensor characteristics. We see that this application will facilitate research and development related to AR and robotics, so it has been open sourced at https://github.com/OSUPCVLab/mobile-ar-sensor-logger.


title: A Voice Interactive Multilingual Student Support System using IBM Watson

abstract: Systems powered by artificial intelligence are being developed to be more user-friendly by communicating with users in a progressively human-like conversational way. Chatbots, also known as dialogue systems, interactive conversational agents, or virtual agents are an example of such systems used in a wide variety of applications ranging from customer support in the business domain to companionship in the healthcare sector. It is becoming increasingly important to develop chatbots that can best respond to the personalized needs of their users so that they can be as helpful to the user as possible in a real human way. This paper investigates and compares three popular existing chatbots API offerings and then propose and develop a voice interactive and multilingual chatbot that can effectively respond to users mood, tone, and language using IBM Watson Assistant, Tone Analyzer, and Language Translator. The chatbot was evaluated using a use case that was targeted at responding to users needs regarding exam stress based on university students survey data generated using Google Forms. The results of measuring the chatbot effectiveness at analyzing responses regarding exam stress indicate that the chatbot responding appropriately to the user queries regarding how they are feeling about exams 76.5%. The chatbot could also be adapted for use in other application areas such as student info-centers, government kiosks, and mental health support systems.


title: Supplement to a Shimura's theorem on Eisenstein series

abstract: Shimura studied the analytic properties of the non-holomorphic Siegel Eisenstein series and derived a residue formula. Herein, we provide a refinement of his result for several types of Eisenstein series.


title: Detection of Glottal Closure Instants from Speech Signals: a Quantitative Review

abstract: The pseudo-periodicity of voiced speech can be exploited in several speech processing applications. This requires however that the precise locations of the Glottal Closure Instants (GCIs) are available. The focus of this paper is the evaluation of automatic methods for the detection of GCIs directly from the speech waveform. Five state-of-the-art GCI detection algorithms are compared using six different databases with contemporaneous electroglottographic recordings as ground truth, and containing many hours of speech by multiple speakers. The five techniques compared are the Hilbert Envelope-based detection (HE), the Zero Frequency Resonator-based method (ZFR), the Dynamic Programming Phase Slope Algorithm (DYPSA), the Speech Event Detection using the Residual Excitation And a Mean-based Signal (SEDREAMS) and the Yet Another GCI Algorithm (YAGA). The efficacy of these methods is first evaluated on clean speech, both in terms of reliabililty and accuracy. Their robustness to additive noise and to reverberation is also assessed. A further contribution of the paper is the evaluation of their performance on a concrete application of speech processing: the causal-anticausal decomposition of speech. It is shown that for clean speech, SEDREAMS and YAGA are the best performing techniques, both in terms of identification rate and accuracy. ZFR and SEDREAMS also show a superior robustness to additive noise and reverberation.


title: The Algebraic Theory of Fractional Jumps

abstract: In this paper we start by briefly surveying the theory of Fractional Jumps and transitive projective maps. Then, we give an efficient construction of a fractional jump of a projective map and we extend the compound generator construction for the Inversive Congruential Generator to Fractional jump sequences. In addition, we provide new results on the absolute jump index, on projectively primitive polynomials, and on the explicit description of fractional jump generators.


title: On the equation $ab(ab-1)-na=\Delta^2$

abstract: Let $n$ be a positive integer. We study the diophantine equation $ab(ab-1)-na=\Delta^2$, where $a,b$ are positive integers. We also show that if a system of two congruences is soluble, then an equation which is a translation of Erd\H{o}s-Straus conjecture is soluble.


title: Decades of Jurimetrics

abstract: Jurimetrics: decades of history, decades to-be auspicious. A Brazilian point of view on the trajectory of this forgotten concept in the quantitative approach of the law, with code and examples in free software.


title: Cop number of graphs without long holes

abstract: A hole in a graph is an induced cycle of length at least 4. We give a simple winning strategy for t-3 cops to capture a robber in the game of cops and robbers played in a graph that does not contain a hole of length at least t. This strengthens a theorem of Joret-Kaminski-Theis, who proved that t-2 cops have a winning strategy in such graphs. As a consequence of our bound, we also give an inequality relating the cop number and the Dilworth number of a graph.


title: Growth and inequalities in a physicist's view

abstract: It is still common wisdom amongst economists, politicians and lay people that economic growth is a necessity of our social systems, at least to avoid distributional conflicts. This paper challenges such belief moving from a purely physical theoretical perspective. It formally considers the constraints imposed by a finite environment on the prospect of continuous growth, including the dynamics of costs. As costs grow faster than production it is easy to deduce a final unavoidable global collapse. Then, analyzing and discussing the evolution of the unequal share of wealth under the premises of growth and competition, it is shown that the increase of inequalities is a necessary consequence of the premises.


title: Thresholds of descending algorithms in inference problems

abstract: We review recent works on analyzing the dynamics of gradient-based algorithms in a prototypical statistical inference problem. Using methods and insights from the physics of glassy systems, these works showed how to understand quantitatively and qualitatively the performance of gradient-based algorithms. Here we review the key results and their interpretation in non-technical terms accessible to a wide audience of physicists in the context of related works.


title: A derivation of Griffith functionals from discrete finite-difference models

abstract: We analyze a finite-difference approximation of a functional of Ambrosio-Tortorelli type in brittle fracture, in the discrete-to-continuum limit. In a suitable regime between the competing scales, namely if the discretization step $\delta$ is smaller than the ellipticity parameter $\varepsilon$, we show the $\Gamma$-convergence of the model to the Griffith functional, containing only a term enforcing Dirichlet boundary conditions and no $L^p$ fidelity term. Restricting to two dimensions, we also address the case in which a (linearized) constraint of non-interpenetration of matter is added in the limit functional, in the spirit of a recent work by Chambolle, Conti and Francfort.


title: Joint 3D Maneuver and Power Adaptation for Secure UAV Communication with CoMP Reception

abstract: This paper studies a secrecy unmanned aerial vehicle (UAV) communication system with coordinated multi-point (CoMP) reception, in which one UAV sends confidential messages to a set of cooperative ground receivers (GRs), in the presence of several suspicious eavesdroppers. In particular, we consider two types of eavesdroppers that are non-colluding and colluding, respectively. Under this setup, we exploit the UAV's maneuver in three dimensional (3D) space together with transmit power adaptation for optimizing the secrecy communication performance. First, we consider the quasi-stationary UAV scenario, where we jointly optimize the UAV's 3D placement and transmit power control to maximize the secrecy rate. Under both non-colluding and colluding eavesdroppers, we obtain the optimal solutions to the joint 3D placement and transmit power control problems in well structures. Next, we consider the mobile UAV scenario, where we jointly optimize the UAV's 3D trajectory and transmit power allocation to maximize the average secrecy rate during the whole communication period. To deal with the difficult joint 3D trajectory and transmit power allocation problems, we present alternating-optimization-based approaches to obtain high-quality solutions. Finally, we provide numerical results to validate the performance of our proposed designs. It is shown that due to the consideration of CoMP reception, our proposed design with 3D maneuver significantly outperforms the conventional design with two dimensional (2D) (horizontal) maneuver only, by exploiting the additional degrees of freedom in altitudes. It is also shown that the non-colluding and colluding eavesdroppers lead to distinct 3D UAV maneuver behaviors.


title: Collatz polynomials: an introduction with bounds on their zeros

abstract: The Collatz Conjecture (also known as the 3x+1 Problem) proposes that the following algorithm will, after a certain number of iterations, always yield the number 1: given a natural number, multiply by three and add one if the number is odd, halve the resulting number, then repeat. In this article, for each $N$ for which the Collatz Conjecture holds we define the $N^{th}$ Collatz polynomial to be the monic polynomial with constant term $N$ and $k^{th}$ term (for $k > 1$) the $k^{th}$ iterate of $N$ under the Collatz function. In particular, we bound the moduli of the roots of these polynomials, prove theorems on when they have rational integer roots, and suggest further applications and avenues of research.


title: Reject Illegal Inputs with Generative Classifier Derived from Any Discriminative Classifier

abstract: Generative classifiers have been shown promising to detect illegal inputs including adversarial examples and out-of-distribution samples. Supervised Deep Infomax~(SDIM) is a scalable end-to-end framework to learn generative classifiers. In this paper, we propose a modification of SDIM termed SDIM-\emph{logit}. Instead of training generative classifier from scratch, SDIM-\emph{logit} first takes as input the logits produced any given discriminative classifier, and generate logit representations; then a generative classifier is derived by imposing statistical constraints on logit representations. SDIM-\emph{logit} could inherit the performance of the discriminative classifier without loss. SDIM-\emph{logit} incurs a negligible number of additional parameters, and can be efficiently trained with base classifiers fixed. We perform \emph{classification with rejection}, where test samples whose class conditionals are smaller than pre-chosen thresholds will be rejected without predictions. Experiments on illegal inputs, including adversarial examples, samples with common corruptions, and out-of-distribution~(OOD) samples show that allowed to reject a portion of test samples, SDIM-\emph{logit} significantly improves the performance on the left test sets.


title: Publishing computational research -- A review of infrastructures for reproducible and transparent scholarly communication

abstract: The trend toward open science increases the pressure on authors to provide access to the source code and data they used to compute the results reported in their scientific papers. Since sharing materials reproducibly is challenging, several projects have developed solutions to support the release of executable analyses alongside articles. We reviewed 11 applications that can assist researchers in adhering to reproducibility principles. The applications were found through a literature search and interactions with the reproducible research community. An application was included in our analysis if it was actively maintained at the time the data for this paper was collected, supports the publication of executable code and data, is connected to the scholarly publication process. By investigating the software documentation and published articles, we compared the applications across 19 criteria, e.g. features that support authors in creating and readers in studying executable papers. From the 11 applications, eight allow publishers to self-host the system for free, whereas three provide paid services. Authors can submit an executable analysis using Jupyter Notebooks or R Markdown documents (10 applications support these formats). All approaches provide features to assist readers in studying the materials, e.g., one-click reproducible results or tools for manipulating the analysis parameters. Six applications allow for modifying materials after publication. The applications support authors to publish reproducible research predominantly with literate programming. Concerning readers, most applications provide user interfaces to inspect and manipulate the computational analysis.


title: Classically Emulated Digital Quantum Simulation of the Schwinger Model with Topological Term via Adiabatic State Preparation

abstract: We perform a digital quantum simulation of a gauge theory with a topological term in Minkowski spacetime, which is practically inaccessible by standard lattice Monte Carlo simulations. We focus on $1+1$ dimensional quantum electrodynamics with the $\theta$-term known as the Schwinger model. We construct the true vacuum state of a lattice Schwinger model using adiabatic state preparation which, in turn, allows us to compute an expectation value of the fermion mass operator with respect to the vacuum. Upon taking a continuum limit we find that our result in massless case agrees with the known exact result. In massive case, we find an agreement with mass perturbation theory in small mass regime and deviations in large mass regime. We estimate computational costs required to take a reasonable continuum limit. Our results imply that digital quantum simulation is already useful tool to explore non-perturbative aspects of gauge theories with real time and topological terms.

categories: hep-lat cond-mat.str-el hep-ph hep-th quant-ph


title: Reparo: Publicly Verifiable Layer to Repair Blockchains

abstract: Although blockchains aim for immutability as their core feature, several instances have exposed the harms with perfect immutability. The permanence of illicit content inserted in Bitcoin poses a challenge to law enforcement agencies like Interpol, and millions of dollars are lost in buggy smart contracts in Ethereum. A line of research then spawned on Redactable blockchains with the aim of solving the problem of redacting illicit contents from both permissioned and permissionless blockchains. However, all the existing proposals follow the build-new-chain approach for redactions, and cannot be integrated with existing systems like Bitcoin and Ethereum. We present Reparo, a generic protocol that acts as a publicly verifiable layer on top of any blockchain to perform repairs, ranging from fixing buggy contracts to removing illicit contents from the chain. Reparo facilitates additional functionalities for blockchains while maintaining the same provable security guarantee; thus, Reparo can be integrated with existing blockchains and start performing repairs on the pre-existent data. Any system user may propose a repair and a deliberation process ensues resulting in a decision that complies with the repair policy of the chain and is publicly verifiable. Our Reparo layer can be easily tailored to different consensus requirements, does not require heavy cryptographic machinery and can, therefore, be efficiently instantiated in any permission-ed or -less setting. We demonstrate it by giving efficient instantiations of Reparo on top of Ethereum (with PoS and PoW), Bitcoin, and Cardano. Moreover, we evaluate Reparo with Ethereum mainnet and show that the cost of fixing several prominent smart contract bugs is almost negligible. For instance, the cost of repairing the prominent Parity Multisig wallet bug with Reparo is as low as 0.000000018% of the Ethers that can be retrieved after the fix.


title: Using CNNs For Users Segmentation In Video See-Through Augmented Virtuality

abstract: In this paper, we present preliminary results on the use of deep learning techniques to integrate the users self-body and other participants into a head-mounted video see-through augmented virtuality scenario. It has been previously shown that seeing users bodies in such simulations may improve the feeling of both self and social presence in the virtual environment, as well as user performance. We propose to use a convolutional neural network for real time semantic segmentation of users bodies in the stereoscopic RGB video streams acquired from the perspective of the user. We describe design issues as well as implementation details of the system and demonstrate the feasibility of using such neural networks for merging users bodies in an augmented virtuality simulation.


title: Index theorem for inhomogeneous hypoelliptic differential operators

abstract: We prove an index theorem for inhomogeneous differential operators satisfying the Rockland condition (hence hypoelliptic). This theorem extends an index theorem for contact manifolds by Van-Erp.


title: Graded monomial identities and almost non-degenerate gradings on matrices

abstract: Let $F$ be a field of characteristic zero, $G$ be a group and $R$ be the algebra $M_n(F)$ with a $G$-grading. Bahturin and Drensky proved that if $R$ is an elementary and the neutral component is commutative then the graded identities of $R$ follow from three basic types of identities and monomial identities of length $\geq 2$ bounded by a function $f(n)$ of $n$. In this paper we prove the best upper bound is $f(n)=n$, more generally we prove that all the graded monomial identities of an elementary $G$-grading on $M_n(F)$ follow from those of degree at most $n$. We also study gradings which satisfy no monomial identities but the trivial ones, which we call almost non-degenerate gradings. The description of non-degenerate elementary gradings on matrix algebras is reduced to the description of non-degenerate elementary gradings on matrix algebras that have commutative neutral component. We provide necessary conditions so that the grading on $R$ is almost non-degenerate and we apply the results on monomial identities to describe all almost non-degenerate $\mathbb{Z}$-gradings on $M_n(F)$ for $n\leq 5$.


title: The Initial Value Problem for Singular SPDEs via Rough Paths

abstract: In this contribution we develop a solution theory for singular quasilinear stochastic partial differential equations subject to an initial condition. We obtain our solution theory as a perturbation of the rough path approach developed to handle the space-time periodic problem by Otto and Weber (2019). As in their work, we assume that the forcing is of class $C^{\alpha -2}$ for $\alpha \in (\frac{2}{3},1)$ and space-time periodic and, additionally, that the initial condition is of class $C^{\alpha}$ and periodic. We contribute to the analytic aspects of the theory. Indeed, we show that we can enforce the initial condition via correcting the previously obtained space-time periodic solution with an initial boundary layer which may be handled in a completely deterministic manner. Uniqueness is obtained in the class of solutions which are corrected in this way by an initial boundary layer. Moreover, stability of the solutions with respect to perturbations of the data is established.


title: Dataset of Video Game Development Problems

abstract: Different from traditional software development, there is little information about the software-engineering process and techniques in video-game development. One popular way to share knowledge among the video-game developers' community is the publishing of postmortems, which are documents summarizing what happened during the video-game development project. However, these documents are written without formal structure and often providing disparate information. Through this paper, we provide developers and researchers with grounded dataset describing software-engineering problems in video-game development extracted from postmortems. We created the dataset using an iterative method through which we manually coded more than 200 postmortems spanning 20 years (1998 to 2018) and extracted 1,035 problems related to software engineering while maintaining traceability links to the postmortems. We grouped the problems in 20 different types. This dataset is useful to understand the problems faced by developers during video-game development, providing researchers and practitioners a starting point to study video-game development in the context of software engineering.


title: The Effect of Treatment-Related Deaths and "Sticky" Diagnoses on Recorded Prostate Cancer Mortality

abstract: Background: Although recorded cancer mortality should include both deaths from cancer and deaths from cancer treatment, there is evidence suggesting that the measure may be incomplete. To investigate the completeness of recorded prostate cancer mortality, we compared other-cause (non-prostate cancer) mortality in men found and not found to have prostate cancer following a needle biopsy. Methods: We linked Medicare claims data to SEER data to analyze survival in the population of men aged 65+ enrolled in Medicare who resided in a SEER area and received a needle biopsy in 1993-2001. We compared other-cause mortality in men found to have prostate cancer (n=53,462) to that in men not found to have prostate cancer (n=103,659). Results: The age-race adjusted other-cause mortality rate was 471 per 10,000 person-years in men found to have prostate cancer vs. 468 per 10,000 in men not found to have prostate cancer (RR = 1.01;95% CI:0.98-1.03). The effect was modified, however, by age. The RR declined in a stepwise fashion from 1.08 (95% CI:1.03-1.14) in men age 65-69 to 0.89 (95% CI:0.83-0.95) in men age 85 and older. If the excess (or deficit) in other-cause mortality were added to the recorded prostate cancer mortality, prostate cancer mortality would rise 23% in the youngest age group (from 90 to 111 per 10,000) and would fall 30% in the oldest age group (from 551 to 388 per 10,000). Conclusion: Although recorded prostate cancer mortality appears to be an accurate measure overall, it systematically underestimates the mortality associated with prostate cancer diagnosis and treatment in younger men and overestimates it in the very old. We surmise that in younger men treatment-related deaths are incompletely captured in recorded prostate cancer mortality, while in older men the diagnosis "sticks"-- once diagnosed, they are more likely to be said to have died from the disease.


title: Privacy for Rescue: A New Testimony Why Privacy is Vulnerable In Deep Models

abstract: The huge computation demand of deep learning models and limited computation resources on the edge devices calls for the cooperation between edge device and cloud service by splitting the deep models into two halves. However, transferring the intermediates results from the partial models between edge device and cloud service makes the user privacy vulnerable since the attacker can intercept the intermediate results and extract privacy information from them. Existing research works rely on metrics that are either impractical or insufficient to measure the effectiveness of privacy protection methods in the above scenario, especially from the aspect of a single user. In this paper, we first present a formal definition of the privacy protection problem in the edge-cloud system running DNN models. Then, we analyze the-state-of-the-art methods and point out the drawbacks of their methods, especially the evaluation metrics such as the Mutual Information (MI). In addition, we perform several experiments to demonstrate that although existing methods perform well under MI, they are not effective enough to protect the privacy of a single user. To address the drawbacks of the evaluation metrics, we propose two new metrics that are more accurate to measure the effectiveness of privacy protection methods. Finally, we highlight several potential research directions to encourage future efforts addressing the privacy protection problem.


title: Gap Probabilities in the Laguerre Unitary Ensemble and Discrete Painlev\'e Equations

abstract: In this paper we study a certain recurrence relation, that can be used to generate ladder operators for the Laguerre Unitary ensemble, from the point of view of Sakai's geometric theory of Painlev\'e equations. On one hand, this gives us one more detailed example of the appearance of discrete Painlev\'e equations in the theory of orthogonal polynomials. On the other hand, it serves as a good illustration of the effectiveness of a recently proposed procedure on how to reduce such recurrences to some canonical discrete Painlev\'e equations.


title: The magneto-optics in quantum wires comprised of vertically stacked quantum dots: A calling for the magnetoplasmon qubits

abstract: A deeper sense of advantages over the planar quantum dots and the foreseen applications in the single-electron devices and quantum computation have given vertically stacked quantum dots (VSQD) a width of interest. Here, we embark on the collective excitations in a quantum wire made-up of vertically stacked, self-assembled InAs/GaAs quantum dots in the presence of an applied magnetic field in the symmetric gauge. We compute and illustrate the influence of an applied magnetic field on the behavior characteristics of the density of states, Fermi energy, and collective (magnetoplasmon) excitations [obtained within the framework of random-phase approximation (RPA)]. The Fermi energy is observed to oscillate as a function of the Bloch vector. Remarkably, the intersubband single-particle continuum splits into two with a collective excitation propagating within the gap. This is attributed to the (orbital) quantum number owing to the applied magnetic field. Strikingly, the alteration in the well- and barrier-widths can enable us to customize the excitation spectrum in the desired energy range. These findings demonstrate, for the very first time, the viability and importance of studying the VSQD subjected to an applied magnetic field. The technological promise that emerges is the route to devices exploiting magnetoplasmon qubits as the potential option in designing quantum gates for the quantum communication networks.


title: Uncertainty-Based Out-of-Distribution Classification in Deep Reinforcement Learning

abstract: Robustness to out-of-distribution (OOD) data is an important goal in building reliable machine learning systems. Especially in autonomous systems, wrong predictions for OOD inputs can cause safety critical situations. As a first step towards a solution, we consider the problem of detecting such data in a value-based deep reinforcement learning (RL) setting. Modelling this problem as a one-class classification problem, we propose a framework for uncertainty-based OOD classification: UBOOD. It is based on the effect that an agent's epistemic uncertainty is reduced for situations encountered during training (in-distribution), and thus lower than for unencountered (OOD) situations. Being agnostic towards the approach used for estimating epistemic uncertainty, combinations with different uncertainty estimation methods, e.g. approximate Bayesian inference methods or ensembling techniques are possible. We further present a first viable solution for calculating a dynamic classification threshold, based on the uncertainty distribution of the training data. Evaluation shows that the framework produces reliable classification results when combined with ensemble-based estimators, while the combination with concrete dropout-based estimators fails to reliably detect OOD situations. In summary, UBOOD presents a viable approach for OOD classification in deep RL settings by leveraging the epistemic uncertainty of the agent's value function.


title: The Excitation Spectrum of the Bose Gas in the Gross-Pitaevskii Regime

abstract: We consider a gas of interacting bosons trapped in a box of side length one in the Gross-Pitaevskii limit. We review the proof of the validity of Bogoliubov's prediction for the ground state energy and the low-energy excitation spectrum. This note is based on joint work with C. Brennecke, S. Cenatiempo and B. Schlein.


title: Localized operations on T-equivariant oriented cohomology of projective homogeneous varieties

abstract: In the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute them using equivariant Schubert calculus techniques. This generalizes an approach suggested by Garibaldi-Petrov-Semenov for Steenrod operations. We also show that operations on the theories of additive type commute with classical push-pull operators up to a twist.


title: On the Interactive Capacity of Finite-State Protocols

abstract: The interactive capacity of a noisy channel is the highest possible rate at which arbitrary interactive protocols can be simulated reliably over the channel. Determining the interactive capacity is notoriously difficult, and the best known lower bounds are far below the associated Shannon capacity, which serves as a trivial (and also generally the best known) upper bound. This paper considers the more restricted setup of simulating finite-state protocols. It is shown that all two-state protocols, as well as rich families of arbitrary finite-state protocols, can be simulated at the Shannon capacity, establishing the interactive capacity for those families of protocols.


title: Coordinate-space solver for finite-temperature Hartree-Fock-Bogoliubov calculation using the shifted Krylov method

abstract: In order to study structure of proto-neutron stars and those in subsequent cooling stages, it is of great interest to calculate inhomogeneous hot and cold nuclear matter in a variety of phases. The finite-temperature Hartree-Fock-Bogoliubov (FT-HFB) theory is a primary choice for this purpose, however, its numerical calculation for superfluid (superconducting) many-fermion systems in three dimensions requires enormous computational costs. To study a variety of phases in the crust of hot and cold neutron stars, we propose an efficient method to perform the FT-HFB calculation with the three-dimensional (3D) coordinate-space representation. Recently, an efficient method based on the contour integral of Green's function with the shifted conjugate-orthogonal conjugate-gradient method has been proposed [Phys. Rev. C 95, 044302 (2017)]. We extend the method to the finite temperature, using the shifted conjugate-orthogonal conjugate-residual method. We benchmark the 3D coordinate-space solver of the FT-HFB calculation for hot isolated nuclei and fcc phase in the inner crust of neutron stars at finite temperature. The computational performance of the present method is demonstrated. Different critical temperatures of the quadrupole and the octupole deformations are confirmed for $^{146}$Ba. The robustness of the shape coexistence feature in $^{184}$Hg is examined. For the neutron-star crust, the deformed neutron-rich Se nuclei embedded in the sea of superfluid low-density neutrons appear in the fcc phase at the nucleon density of 0.045 fm$^{-3}$ and the temperature of $k_B T=200$ keV. The efficiency of the developed solver is demonstrated for nuclei and inhomogeneous nuclear matter at finite temperature. It may provide a standard tool for nuclear physics, especially for the structure of the hot and cold neutron-star matters.


title: EEG based Continuous Speech Recognition using Transformers

abstract: In this paper we investigate continuous speech recognition using electroencephalography (EEG) features using recently introduced end-to-end transformer based automatic speech recognition (ASR) model. Our results demonstrate that transformer based model demonstrate faster training compared to recurrent neural network (RNN) based sequence-to-sequence EEG models and better performance during inference time for smaller test set vocabulary but as we increase the vocabulary size, the performance of the RNN based models were better than transformer based model on a limited English vocabulary.


title: Wireless communication between two magnetic tunnel junctions acting as oscillator and diode

abstract: Magnetic tunnel junctions are nanoscale spintronic devices with microwave generation and detection capabilities. Here we use the rectification effect called "spin-diode" in a magnetic tunnel junction to wirelessly detect the microwave emission of another junction in the auto-oscillatory regime. We show that the rectified spin-diode voltage measured at the receiving junction end can be reconstructed from the independently measured auto-oscillation and spin diode spectra in each junction. Finally we adapt the auto-oscillator model to the case of spin-torque oscillator and spin-torque diode and we show that accurately reproduces the experimentally observed features. These results will be useful to design circuits and chips based on spintronic nanodevices communicating through microwaves.


title: Joint Goal and Strategy Inference across Heterogeneous Demonstrators via Reward Network Distillation

abstract: Reinforcement learning (RL) has achieved tremendous success as a general framework for learning how to make decisions. However, this success relies on the interactive hand-tuning of a reward function by RL experts. On the other hand, inverse reinforcement learning (IRL) seeks to learn a reward function from readily-obtained human demonstrations. Yet, IRL suffers from two major limitations: 1) reward ambiguity - there are an infinite number of possible reward functions that could explain an expert's demonstration and 2) heterogeneity - human experts adopt varying strategies and preferences, which makes learning from multiple demonstrators difficult due to the common assumption that demonstrators seeks to maximize the same reward. In this work, we propose a method to jointly infer a task goal and humans' strategic preferences via network distillation. This approach enables us to distill a robust task reward (addressing reward ambiguity) and to model each strategy's objective (handling heterogeneity). We demonstrate our algorithm can better recover task reward and strategy rewards and imitate the strategies in two simulated tasks and a real-world table tennis task.


title: An Ultra-wideband Battery-less Positioning System for Space Applications

abstract: An ultra-wide bandwidth (UWB) remote-powered positioning system for potential use in tracking floating objects inside space stations is presented. It makes use of battery-less tags that are powered-up and addressed through wireless power transfer in the UHF band and embed an energy efficient pulse generator in the 3-5 GHz UWB band. The system has been mounted on the ESA Mars Rover prototype to demonstrate its functionality and performance. Experimental results show the feasibility of centimeter-level localization accuracy at distances larger than 10 meters, with the capability of determining the position of multiple tags using a 2W-ERP power source in the UHF RFID frequency band.


title: Constant Mean Curvature Surfaces in Homology Classes

abstract: We show the existence of constant mean curvature surfaces in the homology classes of closed 3-manifolds.


title: AGN feedback in the FR II galaxy 3C 220.1

abstract: We present results from a deep (174 ks) Chandra observation of the FR-II radio galaxy 3C 220.1, the central brightest cluster galaxy (BCG) of a $kT \sim$ 4 keV cluster at $z=0.61$. The temperature of the hot cluster medium drops from $\sim5.9$ keV to $\sim3.9$ keV at $\sim$ 35 kpc radius, while the temperature at smaller radii may be substantially lower. The central active galactic nucleus (AGN) outshines the whole cluster in X-rays, with a bolometric luminosity of $2.0\times10^{46}$ erg s$^{-1}$ ($\sim10$% of the Eddington rate). The system shows a pair of potential X-ray cavities $\sim35$ kpc east and west of the nucleus. The cavity power is estimated within the range of $1.0\times10^{44}$ erg s$^{-1}$ and $1.7\times10^{45}$ erg s$^{-1}$, from different methods. The X-ray enhancements in the radio lobes could be due to inverse Compton emission, with a total 2-10 keV luminosity of $\sim8.0\times10^{42}$ erg s$^{-1}$. We compare 3C 220.1 with other cluster BCGs, including Cygnus A, as there are few BCGs in rich clusters hosting an FR-II galaxy. We also summarize the jet power of FR-II galaxies from different methods. The comparison suggests that the cavity power of FR-II galaxies likely under-estimates the jet power. The properties of 3C 220.1 suggest that it is at the transition stage from quasar-mode feedback to radio-mode feedback.


title: Stable discretisations of high-order discontinuous Galerkin methods on equidistant and scattered points

abstract: In this work, we propose and investigate stable high-order collocation-type discretisations of the discontinuous Galerkin method on equidistant and scattered collocation points. We do so by incorporating the concept of discrete least squares into the discontinuous Galerkin framework. Discrete least squares approximations allow us to construct stable and high-order accurate approximations on arbitrary collocation points, while discrete least squares quadrature rules allow us their stable and exact numerical integration. Both methods are computed efficiently by using bases of discrete orthogonal polynomials. Thus, the proposed discretisation generalises known classes of discretisations of the discontinuous Galerkin method, such as the discontinuous Galerkin collocation spectral element method. We are able to prove conservation and linear $L^2$-stability of the proposed discretisations. Finally, numerical tests investigate their accuracy and demonstrate their extension to nonlinear conservation laws, systems, longtime simulations, and a variable coefficient problem in two space dimensions.


title: Capabilities of bisector analysis of the Si I 10827 A line for estimating line-of-sight velocities in the quiet Sun

abstract: We examine the capabilities of a fast and simple method to infer line-of-sight (LOS) velocities from observations of the photospheric Si I 10827 A line. This spectral line is routinely observed together with the chromospheric He I 10830 A triplet as it helps to constrain the atmospheric parameters. We study the accuracy of bisector analysis and a line core fit of Si I 10827 A. We employ synthetic profiles starting from the Bifrost enhanced network simulation. The profiles are computed solving the radiative transfer equation, including non-local thermodynamic equilibrium effects on the determination of the atomic level populations of Si I. We found a good correlation between the inferred velocities from bisectors taken at different line profile intensities and the original simulation velocity at given optical depths. This good correlation means that we can associate bisectors taken at different line-profile percentages with atmospheric layers that linearly increase as we scan lower spectral line intensities. We also determined that a fit to the line-core intensity is robust and reliable, providing information about atmospheric layers that are above those accessible through bisectors. Therefore, by combining both methods on the Si I 10827 A line, we can seamlessly trace the quiet-Sun LOS velocity stratification from the deep photosphere to higher layers until around $\log \tau = -3.5$ in a fast and straightforward way. This method is ideal for generating quick-look reference images for future missions like the Daniel K. Inoue Solar Telescope and the European Solar Telescope, for example.


title: Exponentially Convergent Algorithm Design for Constrained Distributed Optimization via Non-smooth Approach

abstract: We consider minimizing a sum of non-smooth objective functions with set constraints in a distributed manner. As to this problem, we propose a distributed algorithm with an exponential convergence rate for the first time. By the exact penalty method, we reformulate the problem equivalently as a standard distributed one without consensus constraints. Then we design a distributed projected subgradient algorithm with the help of differential inclusions. Furthermore, we show that the algorithm converges to the optimal solution exponentially for strongly convex objective functions.


title: Treadmilling stability of a one-dimensional actin growth model

abstract: Actin growth is a fundamental biophysical process and it is, at the same time, a prototypical example of diffusion-mediated surface growth. We formulate a coupled chemo-mechanical, one-dimensional growth model encompassing both material accretion and ablation. A solid bar composed of bound actin monomers is fixed at one end and connected to an elastic device at the other. This spring-like device could, for example, be the cantilever tip of an atomic force microscope. The compressive force applied by the spring on the bar increases as the solid grows and affects the rate of growth. The mechanical behaviour of the bar, the diffusion of free actin monomers in a surrounding solvent and the kinetic growth laws at the accreting/ablating ends are accounted for. The constitutive response of actin is modeled by a convex but otherwise arbitrary elastic strain energy density function. Treadmilling solutions, characterized by a constant length of the continuously evolving body, are investigated. Existence and stability results are condensed in the form of simple formulas and their physical implications are discussed.


title: Longitudinal magnetization dynamics in the quantum Ising ring: A Pfaffian method based on correspondence between momentum space and real space

abstract: As perhaps the most studied paradigm for a quantum phase transition, the periodic quantum Ising chain is exactly solvable via the Jordan-Wigner transformation followed by a Fourier transform that diagonalizes the model in the momentum space of spinless fermions. Although the above procedures are well-known, there remain some subtle points to be clarified regarding the correspondence between the real-space and momentum-space representations of the quantum Ising ring, especially those related to fermion parities. In this work, we establish the relationship between the two fully aligned ferromagnetic states in real space and the two degenerate momentum-space ground states of the classical Ising ring, with the former being a special case of the factorized ground states of the more general XYZ model on the frustration-free hypersurface. Based on this observation, we then provide a Pfaffian formula for calculating real-time dynamics of the parity-breaking longitudinal magnetization with the system initially prepared in one of the two ferromagnetic states and under translationally invariant drivings. The formalism is shown to be applicable to systems with the help of online programs for the numerical computation of the Pfaffian, thus providing an efficient method to numerically study, for example, the emergence of discrete time crystals in related systems.


title: Nonlinear parabolic stochastic evolution equations in critical spaces Part I. Stochastic maximal regularity and local existence

abstract: In this paper we develop a new approach to nonlinear stochastic partial differential equations with Gaussian noise. Our aim is to provide an abstract framework which is applicable to a large class of SPDEs and includes many important cases of nonlinear parabolic problems which are of quasi- or semilinear type. This first part is on local existence and well-posedness. A second part in preparation is on blow-up criteria and regularization. Our theory is formulated in an $L^p$-setting, and because of this we can deal with nonlinearities in a very efficient way. Applications to several concrete problems and their quasilinear variants are given. This includes Burger's equation, the Allen-Cahn equation, the Cahn-Hilliard equation, reaction-diffusion equations, and the porous media equation. The interplay of the nonlinearities and the critical spaces of initial data leads to new results and insights for these SPDEs. The proofs are based on recent developments in maximal regularity theory for the linearized problem for deterministic and stochastic evolution equations. In particular, our theory can be seen as a stochastic version of the theory of critical spaces due to Pr\"uss-Simonett-Wilke (2018). Sharp weighted time-regularity allow us to deal with rough initial values and obtain instantaneous regularization results. The abstract well-posedness results are obtained by a combination of several sophisticated splitting and truncation arguments.


title: On Echo Chains in Landau damping: Self-similar Solutions and Gevrey 3 as a Linear Stability Threshold

abstract: We show that the linearized Vlasov-Poisson equations around self-similar non-homogeneous states near zero contain the full plasma echo mechanism, yielding Gevrey 3 as a critical stability class. Moreover, here Landau damping may persist despite blow-up: We construct a critical Gevrey regularity class in which the force field converges in $L^2$. Thus, on the one hand, the physical phenomenon of Landau damping holds. On the other hand, the density diverges to infinity in Sobolev regularity. Hence, ``strong damping'' cannot hold.


title: Piecewise Polyhedral Formulations for a Multilinear Term

abstract: In this paper, we present a mixed-integer linear programming (MILP) formulation of a piecewise, polyhedral relaxation (PPR) of a multilinear term using its convex hull representation. Based on the solution of the PPR, we also present a MILP formulation whose solutions are feasible for nonconvex, multilinear equations. We then present computational results showing the effectiveness of proposed formulations on instances of standard benchmarks of nonlinear programs (NLPs) with multilinear terms and compare the proposed formulation with a traditional formulation that is built by recursively relaxing bilinear groupings of multilinear terms.


title: Key-dependent Security of Stream Ciphers

abstract: The control of the cryptography is more than ever a recurrent issue. As the current international regulation does not apply in the signatory countries, the concept of enforcing backdoors in encryption system is reborn with more strength. This paper deals with a particular class of stream cipher backdoors. This class, under a different form, has been widely used by the industry in the 80s and 90s in the context of the export control rules imposed by the US to the Western countries. We propose here a new system -- called BSEA-2, with a 128-bit secret key -- which is a seemingly minor modification of BSEA-1, a system proposed in \cite{filiol_bsea1}. BSEA-2 illustrates, in a simple and didactic~\textemdash~it has been also designed for a MSc cryptanalysis course~\textemdash~but efficient way the concept of key-dependent cryptographic security. The aim is to keep control on encryption means that a country/provider could provide to another country/client for which the secret key are also provided. With such systems, changing the key class results in downgrading the cryptographic security.


title: On the probability flow in the Stock market I: The Black-Scholes case

abstract: It is known that the probability is not a conserved quantity in the stock market, given the fact that it corresponds to an open system. In this paper we analyze the flow of probability in this system by expressing the ideal Black-Scholes equation in the Hamiltonian form. We then analyze how the non-conservation of probability affects the stability of the prices of the Stocks. Finally, we find the conditions under which the probability might be conserved in the market, challenging in this way the non-Hermitian nature of the Black-Scholes Hamiltonian.


title: Production Method of Millimeter-Wave Absorber with 3D-Printed Mold

abstract: We established a production method of a good millimeter-wave absorber by using a 3D-printed mold. The mold has a periodic pyramid shape, and an absorptive material is filled into the mold. This shape reduces the surface reflection. The 3D-printed mold is made from a transparent material in the millimeter-wave range. Therefore, unmolding is not necessary. A significant benefit of this production method is easy prototyping with various shapes and various absorptive materials. We produced a test model and used a two-component epoxy encapsulant as the absorptive material. The test model achieved a low reflectance: $\sim 1\%$ at 100 GHz. The absorber is sometimes maintained at a low temperature condition for cases in which superconducting detectors are used. Therefore, cryogenic performance is required in terms of a mechanical strength for the thermal cycles, an adhesive strength, and a sufficient thermal conductivity. We confirmed the test-model strength by immersing the model into a liquid-nitrogen bath.


title: A study of topological structures on equi-continuous mappings

abstract: Function space topologies are developed for EC(Y,Z), the class of equi-continuous mappings from a topological space Y to a uniform space Z. Properties such as splittingness, admissibility etc. are defined for such spaces. The net theoretic investigations are carried out to provide characterizations of splittingness and admissibility of function spaces on EC(Y,Z). The open-entourage topology and point-transitive-entourage topology are shown to be admissible and splitting respectively. Dual topologies are defined. A topology on EC(Y,Z) is found to be admissible (resp. splitting) if and only if its dual is so.


title: On the Distribution of an Arbitrary Subset of the Eigenvalues for some Finite Dimensional Random Matrices

abstract: We present some new results on the joint distribution of an arbitrary subset of the ordered eigenvalues of complex Wishart, double Wishart, and Gaussian hermitian random matrices of finite dimensions, using a tensor pseudo-determinant operator. Specifically, we derive compact expressions for the joint probability distribution function of the eigenvalues and the expectation of functions of the eigenvalues, including joint moments, for the case of both ordered and unordered eigenvalues.