title: Configurational forces and nonlinear structural dynamics

abstract: Configurational, or Eshelby-like, forces are shown to strongly influence the nonlinear dynamics of an elastic rod constrained with a frictionless sliding sleeve at one end and with an attached mass at the other end. The configurational force, generated at the sliding sleeve constraint and proportional to the square of the bending moment realized there, has been so far investigated only under quasi-static setting and is now confirmed (through a variational argument) to be present within a dynamic framework. The deep influence of configurational forces on the dynamics is shown both theoretically (through the development of a dynamic nonlinear model in which the rod is treated as a nonlinear spring, obeying the Euler elastica, with negligible inertia) and experimentally (through a specifically designed experimental set-up). During the nonlinear dynamics, the elastic rod may slip alternatively in and out from the sliding sleeve, becoming a sort of nonlinear oscillator displaying a motion eventually ending with the rod completely injected into or completely ejected from the sleeve. The present results may find applications in the dynamics of compliant and extensible devices, for instance, to guide the movement of a retractable and flexible robot arm.


title: Transitionless phonon assisted photon-qubit quantum state transfer in a hybrid optomechanical system

abstract: Quantum state transfer is crucial for quantum information processing and quantum computation. Here, we propose a hybrid optomechanical system capable of coupling a qubit, an optical mode and a mechanical oscillator. The displacement of the mechanical oscillator,due to radiation pressure, induces spatial variation in the cavity field, which in turn couples the qubit with phonon mode. This allows state transfer between the cavity mode and the qubit without an actual interaction between them. We present a scheme for the transitionless quantum state transfer based on the transitionless quantum driving algorithm allowing us to achieve perfect state transfer.


title: Evaporative cooling to a Rydberg crystal close to its ground state

abstract: We theoretically show how to obtain a long one-dimensional crystal near its quantum ground state. We rely on an evaporative cooling scheme applicable to many-body systems with nonzero-ranged interactions. Despite the absence of periodic potentials, the final state is a crystal which exhibits long-range spatial order. We describe the scheme thermodynamically, applying the truncated Boltzmann distribution to the collective excitations of the chain, and show that it leads to a novel quasi-equilibrium many-body state. For longer chains, comprising about 1000 atoms, we emphasize the quasi-universality of the evaporation curve. Such exceptionally long 1D crystals are only accessible deep in the quantum regime. We perform our analysis on the example of an initially thermal chain of circular Rydberg atoms confined to a one-dimensional (1D) geometry. Our scheme may be applied to other quantum systems with long-ranged interactions such as polar molecules.


title: Testing Non-minimally Coupled BEC Dark Matter with Gravitational Waves

abstract: We study the phenomenology associated to non-minimally coupled dark matter. In particular, we consider the model where the non-minimal coupling arises from the formation of relativistic Bose-Einstein condensates in high density regions of dark matter [1]. This non-minimal coupling is of Horndeski type and leads to a local modification of the speed of gravity with respect to the speed of light. Therefore we can constrain the model by using the joint detection of GW170817 and GRB170817A. We show that the constraints obtained in this way are quite tight, if the dark matter field oscillates freely, whereas they are substantially weakened, if the oscillations are damped by the non-minimal coupling.


title: Random Linear Network Coding on Programmable Switches

abstract: By extending the traditional store-and-forward mechanism, network coding has the capability to improve a network's throughput, robustness, and security. Given the fundamentally different packet processing required by this new paradigm and the inflexibility of hardware, existing solutions are based on software. As a result, they have limited performance and scalability, creating a barrier to its wide-spread adoption. By leveraging the recent advances in programmable networking hardware, in this paper we propose a random linear network coding data plane written in P4, as a first step towards a production-level platform. Our solution includes the ability to combine the payload of multiple packets and of executing the required Galois field operations, and shows promise to be practical even under the strict memory and processing constraints of switching hardware.


title: Improvement for Color Glass Condensate factorization: single hadron production in pA collisions at next-to-leading order

abstract: High order calculation at semi-hard scale is very important, but a satisfactory calculation framework is still missing. We propose a systematic method to regularize rapidity divergences in the CGC factorization, which makes higher order calculation rigorous and straight forward. By applying this method to single hadron production in pA collision, we find the kinematic constraint effect introduced by hand in previous works comes out automatically, but with different values. The difference is crucial for our next-to-leading order (NLO) result to have a smaller theoretical uncertainty comparing with LO result, which makes high order calculation in CGC factorization to be useful. As a byproduct, the negativity problem found in literature can also be overcome in our framework by a proper choosing of factorization scale.


title: GDL today: Reaching a viable alternative to IDL

abstract: We report at the ADASS XXVII session the progresses made by GDL, the free clone of the proprietary IDL software. We argue that GDL can replace IDL for everyday use.


title: An element-wise approach for simulating transcranial MRI-guided focused ultrasound thermal ablation

abstract: This work explored an element-wise approach to model transcranial MRI-guided focused ultrasound (TcMRgFUS) thermal ablation, a noninvasive approach to neurosurgery. Each element of the phased array transducer was simulated individually and could be simultaneously loaded into computer memory, allowing for rapid calculation of the pressure field for different phase offsets used for beam steering and aberration correction. We simulated the pressure distribution for 431 sonications in 32 patients, applied the phase and magnitude values used during treatment, and estimated the resulting temperature rise. We systematically varied the relationship between CT-derived skull density and the acoustic attenuation and sound speed to obtain the best agreement between the predictions and MR temperature imaging (MRTI). The optimization was validated with simulations of 396 sonications from 40 additional treatments. After optimization, the predicted and measured heating agreed well (R2: 0.74 patients 1-32; 0.71 patients 33-72). The dimensions and obliquity of the heating in the simulated temperature maps correlated well with the MRTI (R2: 0.62, 0.74 respectively), but the measured heating was more spatially diffuse. The energy needed to achieve ablation varied by an order of magnitude (3.3-36.1 kJ). While this element-wise approach requires more computation time up front, it can be performed in parallel. It allows for rapid calculation of the three-dimensional heating at the focus for different phase and magnitude values on the array. We also show how this approach can be used to optimize the relationship between CT-derived skull density and acoustic properties. While the relationships found here need further validation in a larger patient population, these results demonstrate the promise of this approach to model TcMRgFUS.


title: LSMI-Sinkhorn: Semi-supervised Mutual Information Estimation with Optimal Transport

abstract: Estimating mutual information is an important statistics and machine learning problem. To estimate the mutual information from data, a common practice is preparing a set of paired samples $\{(\mathbf{x}_i,\mathbf{y}_i)\}_{i=1}^n \stackrel{\mathrm{i.i.d.}}{\sim} p(\mathbf{x},\mathbf{y})$. However, in many situations, it is difficult to obtain a large number of data pairs. To address this problem, we propose the semi-supervised Squared-loss Mutual Information (SMI) estimation method using a small number of paired samples and the available unpaired ones. We first represent SMI through the density ratio function, where the expectation is approximated by the samples from marginals and its assignment parameters. The objective is formulated using the optimal transport problem and quadratic programming. Then, we introduce the Least-Squares Mutual Information with Sinkhorn (LSMI-Sinkhorn) algorithm for efficient optimization. Through experiments, we first demonstrate that the proposed method can estimate the SMI without a large number of paired samples. Then, we show the effectiveness of the proposed LSMI-Sinkhorn algorithm on various types of machine learning problems such as image matching and photo album summarization. Code can be found at https://github.com/csyanbin/LSMI-Sinkhorn.


title: Coherent manipulation of a molecular Ln-based nuclear qudit coupled to an electron qubit

abstract: We demonstrate that the [Yb(trensal)] molecule is a prototypical coupled electronic qubit-nuclear qudit system. The combination of noise-resilient nuclear degrees of freedom and large reduction of nutation time induced by electron-nuclear mixing enables coherent manipulation of this qudit by radio-frequency pulses. Moreover, the multi-level structure of the qudit is exploited to encode and operate a qubit with embedded basic quantum error correction.


title: Novel approach to binary dynamics: application to the fifth post-Newtonian level

abstract: We introduce a new methodology for deriving the conservative dynamics of gravitationally interacting binary systems. Our approach combines, in a novel way, several theoretical formalisms: post-Newtonian, post-Minkowskian, multipolar-post-Minkowskian, gravitational self-force, and effective one-body. We apply our method to the derivation of the fifth post-Newtonian dynamics. By restricting our results to the third post-Minkowskian level, we give the first independent confirmation of the recent result of Bern {\it et al.} [Phys.\ Rev.\ Lett.\ {\bf 122}, 201603 (2019)]. We also offer checks for future fourth post-Minkowskian calculations. Our technique can, in principle, be extended to higher orders of perturbation theory.


title: Vector-valued Generalised Ornstein-Uhlenbeck Processes

abstract: Generalisations of the Ornstein-Uhlenbeck process defined through Langevin equation $dU_t = - \Theta U_t dt + dG_t,$ such as fractional Ornstein-Uhlenbeck processes, have recently received a lot of attention in the literature. In particular, estimation of the unknown parameter $\Theta$ is widely studied under Gaussian stationary increment noise $G$. Langevin equation is well-known for its connections to physics. In addition to that, motivation for studying Langevin equation with a general noise $G$ stems from the fact that the equation characterises all univariate stationary processes. Most of the literature on the topic focuses on the one-dimensional case with Gaussian noise $G$. In this article, we consider estimation of the unknown model parameter in the multidimensional version of the Langevin equation, where the parameter $\Theta$ is a matrix and $G$ is a general, not necessarily Gaussian, vector-valued process with stationary increments. Based on algebraic Riccati equations, we construct an estimator for the matrix $\Theta$. Moreover, we prove the consistency of the estimator and derive its limiting distribution under natural assumptions. In addition, to motivate our work, we prove that the Langevin equation characterises all stationary processes in a multidimensional setting as well.


title: Parabolic equations with dynamic boundary conditions and drift terms

abstract: The aim of this paper is to study the wellposedness and $L^2$-regularity, firstly for a linear heat equation with dynamic boundary conditions by using the approach of sesquilinear forms, and secondly for its backward adjoint equation using the Galerkin approximation and the extension semigroup to a negative Sobolev space.


title: Approximating fixed points of enriched nonexpansive mappings by Krasnoselskij iteration in Hilbert spaces

abstract: Using the technique of enrichment of contractive type mappings by Krasnoselskij averaging, presented here for the first time, we introduce and study the class of {\it enriched nonexpansive mappings} in Hilbert spaces. In order to approximate the fixed points of enriched nonexpansive mappings we use the Krasnoselskij iteration for which we prove strong and weak convergence theorems. Examples to illustrate the richness of the new class of contractive mappings are also given. Our results in this paper extend some classical convergence theorems established by Browder and Petryshyn in [Browder, F. E., Petryshyn, W. V., {\it Construction of fixed points of nonlinear mappings in Hilbert space}, J. Math. Anal. Appl. {\bf 20} (1967), 197--228.] from the case of nonexpansive mappings to that of enriched nonexpansive mappings, thus including many other important related results from literature as particular cases.


title: Fixed point theorems for Kannan type mappings with applications to split feasibility and variational inequality problems

abstract: The aim of this paper in to introduce a large class of mappings, called {\it enriched Kannan mappings}, that includes all Kannan mappings and some nonexpansive mappings. We study the set of fixed points and prove a convergence theorem for Kransnoselskij iteration used to approximate fixed points of enriched Kannan mappings in Banach spaces. We then extend further these mappings to the class of enriched Bianchini mappings. Examples to illustrate the effectiveness of our results are also given. As applications of our main fixed point theorems, we present two Kransnoselskij projection type algorithms for solving split feasibility problems and variational inequality problems in the class of enriched Kannan mappings and enriched Bianchini mappings, respectively.


title: A Private and Unlinkable Message Exchange Using a Public bulletin board in Opportunistic Networks

abstract: We plan to simulate a private and unlinkable exchange of messages by using a Public bulletin board and Mix networks in Opportunistic networks. This Opportunistic network uses a secure and privacy-friendly asynchronous unidirectional message transmission protocol. By using this protocol, we create a Public bulletin board in a network that makes individuals send or receive events unlinkable to one another . With the design of a Public bulletin board in an Opportunistic network, the clients can use the benefits of this Public bulletin board in a safe environment. When this Opportunistic network uses the protocol, it can guarantee an unlinkable communication based on the Mix networks. The protocol can work with the Public bulletin board exclusively with acceptable performance. Also, this simulation can be used for hiding metadata in the bidirectional message exchange in some messengers such as WhatsApp. As we know, one of the main goals of a messenger like WhatsApp is to protect the social graph. By using this protocol, a messenger can protect social graph and a central Public bulletin board.


title: Minimizers of Generalized Willmore Functionals

abstract: We introduce a notion of generalized Willmore functionals motivated by the Hawking energy of General Relativity and bending energies of membranes. An example of a bending energy is discussed in detail. Using results of Y. Chen and J. Li, we present a compactness result for branched, immersed, haunted, stratified surface with bounded area and Willmore energy. This allows us to prove the existence of area constrained minimizers for generalized Willmore functionals in the class of haunted, branched, immersed bubble trees by direct minimization. Here a haunted, stratified surfaces are introduced, in order to account for bubbling and vanishing components along the minimization process. Similarly, we obtain the existence of area and volume constrained, minimal, closed membranes for the discussed bending energy. Moreover, we argue that the regularity results of A. Mondino and T. Rivi\`ere for Willmore surfaces can be carried over to the setting of generalized Willmore surfaces. In particular, this means that critical points of a generalized Willmore functional are smooth away from finitely many points.


title: Approximating fixed points of enriched contractions in Banach spaces

abstract: We introduce a large class of mappings, called enriched contractions, which includes, amongst many other contractive type mappings, the Picard-Banach contractions and some nonexpansive mappings. We show that any enriched contraction has a unique fixed point and that this fixed point can be approximated by means of an appropriate Kransnoselskij iterative scheme. Several important results in fixed point theory are shown to be corollaries or consequences of the main results in this paper. We also study the fixed points of local enriched contractions, asymptotic enriched contractions and Maia type enriched contractions. Examples to illustrate the generality of our new concepts and the corresponding fixed point theorems are also given.


title: Quantum Brascamp-Lieb Dualities

abstract: Brascamp-Lieb inequalities are entropy inequalities which have a dual formulation as generalized Young inequalities. In this work, we introduce a fully quantum version of this duality, relating quantum relative entropy inequalities to matrix exponential inequalities of Young type. We demonstrate this novel duality by means of examples from quantum information theory -- including entropic uncertainty relations, strong data-processing inequalities, super-additivity inequalities, and many more. As an application we find novel uncertainty relations for Gaussian quantum operations that can be interpreted as quantum duals of the well-known family of `geometric' Brascamp-Lieb inequalities.


title: Training High-Performance and Large-Scale Deep Neural Networks with Full 8-bit Integers

abstract: Deep neural network (DNN) quantization converting floating-point (FP) data in the network to integers (INT) is an effective way to shrink the model size for memory saving and simplify the operations for compute acceleration. Recently, researches on DNN quantization develop from inference to training, laying a foundation for the online training on accelerators. However, existing schemes leaving batch normalization (BN) untouched during training are mostly incomplete quantization that still adopts high precision FP in some parts of the data paths. Currently, there is no solution that can use only low bit-width INT data during the whole training process of large-scale DNNs with acceptable accuracy. In this work, through decomposing all the computation steps in DNNs and fusing three special quantization functions to satisfy the different precision requirements, we propose a unified complete quantization framework termed as ``WAGEUBN'' to quantize DNNs involving all data paths including W (Weights), A (Activation), G (Gradient), E (Error), U (Update), and BN. Moreover, the Momentum optimizer is also quantized to realize a completely quantized framework. Experiments on ResNet18/34/50 models demonstrate that WAGEUBN can achieve competitive accuracy on the ImageNet dataset. For the first time, the study of quantization in large-scale DNNs is advanced to the full 8-bit INT level. In this way, all the operations in the training and inference can be bit-wise operations, pushing towards faster processing speed, decreased memory cost, and higher energy efficiency. Our throughout quantization framework has great potential for future efficient portable devices with online learning ability.


title: NimbRo Robots Winning RoboCup 2018 Humanoid AdultSize Soccer Competitions

abstract: Over the past few years, the Humanoid League rules have changed towards more realistic and challenging game environments, which encourage teams to advance their robot soccer performances. In this paper, we present the software and hardware designs that led our team NimbRo to win the competitions in the AdultSize league -- including the soccer tournament, the drop-in games, and the technical challenges at RoboCup 2018 in Montreal. Altogether, this resulted in NimbRo winning the Best Humanoid Award. In particular, we describe our deep-learning approaches for visual perception and our new fully 3D printed robot NimbRo-OP2X.


title: Ab initio phonon transport across grain boundaries in graphene using machine learning based on small dataset

abstract: Establishing the structure-property relationship for grain boundaries (GBs) is critical for developing next generation functional materials, but has been severely hampered due to its extremely large configurational space. Atomistic simulations with low computational cost and high predictive power are strongly desirable, but the conventional simulations using empirical interatomic potentials and density functional theory suffer from the lack of predictive power and high computational cost, respectively. A machine learning interatomic potential (MLIP) recently emerged but often requires an extensive size of the training dataset, making it a less feasible approach. Here we demonstrate that an MLIP trained with a rationally designed small training dataset can predict thermal transport across GBs in graphene with ab initio accuracy at an affordable computational cost. In particular, we employed a rational approach based on the structural unit model to find a small set of GBs that can represent the entire configurational space and thus can serve as a cost-effective training dataset for the MLIP. Only 5 GBs were found to be enough to represent the entire configurational space of graphene GBs. Using the atomistic Green's function approach and the MLIP, we revealed that the structure-thermal resistance relation in graphene does not follow the common understanding that large dislocation density causes larger thermal resistance. In fact, thermal resistance is nearly independent of dislocation density at room temperature and is higher when the dislocation density is small at sub-room temperature. We explain this intriguing behavior with the buckling near a GB causing a strong scattering of flexural phonon modes.


title: Machine-Learning-Driven New Geologic Discoveries at Mars Rover Landing Sites: Jezero and NE Syrtis

abstract: A hierarchical Bayesian classifier is trained at pixel scale with spectral data from the CRISM (Compact Reconnaissance Imaging Spectrometer for Mars) imagery. Its utility in detecting rare phases is demonstrated with new geologic discoveries near the Mars-2020 rover landing site. Akaganeite is found in sediments on the Jezero crater floor and in fluvial deposits at NE Syrtis. Jarosite and silica are found on the Jezero crater floor while chlorite-smectite and Al phyllosilicates are found in the Jezero crater walls. These detections point to a multi-stage, multi-chemistry history of water in Jezero crater and the surrounding region and provide new information for guiding the Mars-2020 rover's landed exploration. In particular, the akaganeite, silica, and jarosite in the floor deposits suggest either a later episode of salty, Fe-rich waters that post-date Jezero delta or groundwater alteration of portions of the Jezero sedimentary sequence.


title: Concentration of Small Hawking Type Surfaces

abstract: We investigate the Hawking energy of small surfaces in space times without symmetry assumptions by introducing the notion of Hawking type functionals. In particular, we find that Hawking type functionals are generalized Willmore functionals which allows us to find area constrained, minimizing, immersed, haunted bubble trees. These bubble trees are smooth spheres provided their area is small enough. Following a similar analysis of the Willmore functional conducted by T. Lamm and J. Metzger we characterize the concentration points of area constrained, critical surfaces for Hawking type functionals and the Hawking energy. Moreover, we determine their expansion on small surfaces.


title: Strongly correlated materials from a numerical renormalization group perspective: How the Fermi-liquid state of Sr$_2$RuO$_4$ emerges

abstract: The crossover from fluctuating atomic constituents to a collective state as one lowers temperature or energy is at the heart of the dynamical mean-field theory description of the solid state. We demonstrate that the numerical renormalization group is a viable tool to monitor this crossover in a real-materials setting. The renormalization group flow from high to arbitrarily small energy scales clearly reveals the emergence of the Fermi-liquid state of Sr$_2$RuO$_4$. We find a two-stage screening process, where orbital fluctuations are screened at much higher energies than spin fluctuations, and Fermi-liquid behavior, concomitant with spin coherence, below a temperature of 25 K. By computing real-frequency correlation functions, we directly observe this spin--orbital scale separation and show that the van Hove singularity drives strong orbital differentiation. We extract quasiparticle interaction parameters from the low-energy spectrum and find an effective attraction in the spin-triplet sector.


title: Initial and final state temperatures of antiproton emission sources in high energy collisions

abstract: The momentum or transverse momentum spectra of antiprotons produced at mid-rapidity in proton-helium ($p$+He), gold-gold (Au+Au), deuton-gold ($d$+Au), and lead-lead (Pb+Pb) collisions over an energy range from a few GeV to a few TeV are analyzed by the Erlang distribution, the inverse power-law (the Hagedorn function), and the blast-wave fit, or the superposition of two-component step function. The excitation functions of parameters such as the mean transverse momentum, initial state temperature, kinetic freeze-out temperature, and transverse flow velocity increase (slightly) from a few GeV to a few TeV and from peripheral to central collisions. At high energy and in central collisions, large collision energy is deposited in the system, which results in high degrees of excitation and expansion.


title: Data-driven simulation for general purpose multibody dynamics using deep neural networks

abstract: In this paper, a machine learning-based simulation framework of general-purpose multibody dynamics is introduced. The aim of the framework is to generate a well-trained meta-model of multibody dynamics (MBD) systems. To this end, deep neural network (DNN) is employed to the framework so as to construct data-based meta-model representing multibody systems. Constructing well-defined training data set with time variable is essential to get accurate and reliable motion data such as displacement, velocity, acceleration, and forces. As a result of the introduced approach, the meta-model provides motion estimation of system dynamics without solving the analytical equations of motion. The performance of the proposed DNN meta-modeling was evaluated to represent several MBD systems.


title: Rewarding Coreference Resolvers for Being Consistent with World Knowledge

abstract: Unresolved coreference is a bottleneck for relation extraction, and high-quality coreference resolvers may produce an output that makes it a lot easier to extract knowledge triples. We show how to improve coreference resolvers by forwarding their input to a relation extraction system and reward the resolvers for producing triples that are found in knowledge bases. Since relation extraction systems can rely on different forms of supervision and be biased in different ways, we obtain the best performance, improving over the state of the art, using multi-task reinforcement learning.


title: Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version)

abstract: Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a business process model in relation to event data that was logged during the execution of the business process. There exist different categories of conformance measures. Recall, also called fitness, is concerned with quantifying how much of the behavior that was observed in the event log fits the process model. Precision is concerned with quantifying how much behavior a process model allows for that was never observed in the event log. Generalization is concerned with quantifying how well a process model generalizes to behavior that is possible in the business process but was never observed in the event log. Many recall, precision, and generalization measures have been developed throughout the years, but they are often defined in an ad-hoc manner without formally defining the desired properties up front. To address these problems, we formulate 21 conformance propositions and we use these propositions to evaluate current and existing conformance measures. The goal is to trigger a discussion by clearly formulating the challenges and requirements (rather than proposing new measures). Additionally, this paper serves as an overview of the conformance checking measures that are available in the process mining area.


title: Developing Peer Instruction questions for quantitative problems for an upper-division astronomy course

abstract: Decades of research show that students learn more in classes that utilize active learning than they do in traditional, lecture-only classes. Active learning also reduces the achievement gaps that are often present between various demographic groups. Given these well-established results, instructors of upper-division astronomy courses may decide to search the astronomy education research literature in hopes of finding some guidance on common student difficulties, as well as research-validated and research-based active learning curricula. But their search will be in vain. The current literature on upper-division astronomy is essentially non-existent. This is a shame,since many upper-division astronomy students will experience conceptual and problem-solving difficulties with the quantitative problems they encounter. These difficulties may exist even if students have a strong background in mathematics. In this paper, I examine one quantitative problem that is representative of those that upper-division astronomy students are expected to solve. I list many of the subtle pieces of information that students need to understand in order to advance toward a solution and I describe how such a list can be used to generate Peer Instruction (PI) questions. I also provide guidelines for instructors who wish to develop and implement their own PI questions. These PI questions can be used to increase the amount of active learning that occurs in an upper-division astronomy course. They help develop students' understandings of symbolic, mathematical representations and they help improve students' problem-solving skills.


title: Numerical study of Wigner negativity in one-dimensional steady-state resonance fluorescence

abstract: In a numerical study, we investigate the steady-state generation of nonclassical states of light from a coherently driven two-level atom in a one-dimensional waveguide. Specifically, we look for states with a negative Wigner function, since such nonclassical states are a resource for quantum information processing applications, including quantum computing. We find that a waveguide terminated by a mirror at the position of the atom can provide Wigner-negative states, while an infinite waveguide yields strictly positive Wigner functions. Moreover, our investigation reveals a connection between the purity of a quantum state and its Wigner negativity. We also analyze the effects of decoherence on the negativity of a state.


title: Modelling transport provision in a polycentric mega city region

abstract: The aim of this paper is to present a model of interaction between transport and land use which aims at endogenously integrates the provision of transportation infrastructure and its effects on land use, with a long term perspective (Lowry, 1964, Wegener, 2004, Levinson, 2011, Bretagnolle, 2014, Mimeur et al., 2015). LUTECIA (Land Use, Transport, Evaluation of Cooperation, Infrastructure provision and Agglomeration effects) model puts emphasis on multiscale processes of urban growth, in the context of the emergence of Mega-City Regions (MCR, Hall & Pain, 2006). It allows us, in this exploratory phase, to characterize via simulation the conditions of development of polycentric metropolises. Nevertheless, we argue that such approaches are all the more necessary that we are in a period of multiple transitions that classical modelling tools have difficulty to capture.


title: Defect physics in $Yb^{3+}$-doped $CaF_2$ from first-principles calculation

abstract: Calcium fluoride has been widely used for light up-/down-conversion luminescence by accommodating lanthanide ions as sensitizers or activators. Especially, Yb-doped \ce{CaF2} exhibits unique defect physics, causing various effects on the luminescence. This makes it vital for high efficiency of devices to control the defect-clustering, but theoretically principal guidelines for this are rarely provided. Here we perform the first-principles study on defect physics in Yb-doped \ce{CaF2} to reveal the thermodynamic transition levels and formation energies of possible defects. We suggest that the fluorine rich growth condition can play a key role in enhancing the luminescence efficiency by facilitating the Yb-clustering and suppressing the defect quenchers in bulk. Detailed energetics of defect aggregation not only well explains the experimentally favored Yb-clustering but also presents $n$- or $p$-type doping method for the cluster control.


title: FraudJudger: Real-World Data Oriented Fraud Detection on Digital Payment Platforms

abstract: Automated fraud behaviors detection on electronic payment platforms is a tough problem. Fraud users often exploit the vulnerability of payment platforms and the carelessness of users to defraud money, steal passwords, do money laundering, etc, which causes enormous losses to digital payment platforms and users. There are many challenges for fraud detection in practice. Traditional fraud detection methods require a large-scale manually labeled dataset, which is hard to obtain in reality. Manually labeled data cost tremendous human efforts. Besides, the continuous and rapid evolution of fraud users makes it hard to find new fraud patterns based on existing detection rules. In our work, we propose a real-world data oriented detection paradigm which can detect fraud users and upgrade its detection ability automatically. Based on the new paradigm, we design a novel fraud detection model, FraudJudger, to analyze users behaviors on digital payment platforms and detect fraud users with fewer labeled data in training. FraudJudger can learn the latent representations of users from unlabeled data with the help of Adversarial Autoencoder (AAE). Furthermore, FraudJudger can find new fraud patterns from unknown users by cluster analysis. Our experiment is based on a real-world electronic payment dataset. Comparing with other well-known fraud detection methods, FraudJudger can achieve better detection performance with only 10% labeled data.


title: Reading Comprehension Ability Test-A Turing Test for Reading Comprehension

abstract: Reading comprehension is an important ability of human intelligence. Literacy and numeracy are two most essential foundation for people to succeed at study, at work and in life. Reading comprehension ability is a core component of literacy. In most of the education systems, developing reading comprehension ability is compulsory in the curriculum from year one to year 12. It is an indispensable ability in the dissemination of knowledge. With the emerging artificial intelligence, computers start to be able to read and understand like people in some context. They can even read better than human beings for some tasks, but have little clue in other tasks. It will be very beneficial if we can identify the levels of machine comprehension ability, which will direct us on the further improvement. Turing test is a well-known test of the difference between computer intelligence and human intelligence. In order to be able to compare the difference between people reading and machines reading, we proposed a test called (reading) Comprehension Ability Test (CAT).CAT is similar to Turing test, passing of which means we cannot differentiate people from algorithms in term of their comprehension ability. CAT has multiple levels showing the different abilities in reading comprehension, from identifying basic facts, performing inference, to understanding the intent and sentiment.


title: On ultrametric $1$-median selection

abstract: Consider the problem of finding a point in an ultrametric space with the minimum average distance to all points. We give this problem a Monte Carlo $O((\log^2(1/\epsilon))/\epsilon^3)$-time $(1+\epsilon)$-approximation algorithm for all $\epsilon>0$.


title: Polaritonic Coupled-Cluster Theory

abstract: We develop coupled-cluster theory for systems of electrons strongly coupled to photons, providing a promising theoretical tool in polaritonic chemistry with a perspective of application to all types of fermion-boson coupled systems. We show benchmark results for model molecular Hamiltonians coupled to cavity photons. By comparing to full configuration interaction results for various ground-state properties and optical spectra, we demonstrate that our method captures all key features present in the exact reference, including Rabi splittings and multi-photon processes. Further, a path on how to incorporate our bosonic extension of coupled-cluster theory into existing quantum chemistry programs is given.


title: Elastic interior transmission eigenvalues and their computation via the method of fundamental solutions

abstract: A stabilized version of the fundamental solution method to catch ill-conditioning effects is investigated with focus on the computation of complex-valued elastic interior transmission eigenvalues in two dimensions for homogeneous and isotropic media without voids. Its algorithm can be implemented very shortly and adopts to many similar PDE-based eigenproblems as long as the underlying fundamental solution function can be easily generated. We develop a corroborative approximation analysis which also implicates new basic results for transmission eigenfunctions and present some numerical examples which together prove successful feasibility of our eigenvalue recovery approach.


title: Predictive Claim Scores for Dynamic Multi-Product Risk Classification in Insurance

abstract: It has become standard practice in the non-life insurance industry to employ Generalized Linear Models (GLMs) for insurance pricing. However, these GLMs traditionally work only with a priori characteristics of policyholders, while nowadays we increasingly have a posteriori information of individual customers available, sometimes even across multiple product categories. In this paper, we therefore consider a dynamic claim score to capture this a posteriori information over several product lines. More specifically, we extend the Bonus-Malus-panel model of Boucher and Inoussa (2014) and Boucher and Pigeon (2018) to include claim scores from other product categories and to allow for non-linear effects of these scores. The application of the resulting multi-product framework to a Dutch property and casualty insurance portfolio shows that the claims experience of individual customers can have a significant impact on the risk classification and that it can be very profitable to account for it.


title: Computational Screening of Current Collectors for Enabling Anode-free Lithium Metal Batteries

abstract: Lithium metal cells are key towards achieving high specific energy and energy density for electrification of transportation and aviation. Anode-free cells are the limiting case of lithium metal cells involving no excess lithium and the highest possible specific energy. In addition, anode-free cells are easier, cheaper and safer as they avoid handling and manufacturing of lithium metal foils. Issues related to dendrite growth and poor cycling are magnified in anode-free cells due to lack of excess lithium. Electrolyte and current collector surface play a crucial role in affecting the cycling performance of anode-free cells. In this work, we have computationally screened for candidate current collectors that can nucleate lithium effectively and allow uniform growth. These are determined by the free energy of lithium adsorption and lithium surface diffusion barrier on candidate current collectors. Using density functional theory calculations, we show that Li-alloys possess ideal characteristics for Li nucleation and growth. These can lead to vastly improved specific energy compared to current transition metal current collectors.


title: Tunneling of Massive Vector Particles under the Influence of Quantum Gravity

abstract: This paper is devoted to investigate charged vector particles tunneling via horizons of a pair of accelerating rotating charged NUT black hole under the influence of quantum gravitational effects. For this purpose, we use the modified Proca equation incorporating generalized uncertainty principle. Using the WKB approximation to the field equation, we obtain a modified tunneling rate and the corresponding corrected Hawking temperature for this black hole. Moreover, we analyze the graphical behavior of corrected Hawking temperature $T'_{H}$ with respect to the event horizon for the given black hole. By considering quantum gravitational effects on Hawking temperatures, we discuss the stability analysis of this black hole. For a pair of black holes, the temperature $T'_{H}$ increases with the increase in rotation parameters $a$ and $\omega$, correction parameter $\beta$, black hole acceleration $\alpha$ and arbitrary parameter $k$ and decreases with the increase in electric $e$ and magnetic charges $g$.


title: Utilizing Temporal Information in Deep Convolutional Network for Efficient Soccer Ball Detection and Tracking

abstract: Soccer ball detection is identified as one of the critical challenges in the RoboCup competition. It requires an efficient vision system capable of handling the task of detection with high precision and recall and providing robust and low inference time. In this work, we present a novel convolutional neural network (CNN) approach to detect the soccer ball in an image sequence. In contrast to the existing methods where only the current frame or an image is used for the detection, we make use of the history of frames. Using history allows to efficiently track the ball in situations where the ball disappears or gets partially occluded in some of the frames. Our approach exploits spatio-temporal correlation and detects the ball based on the trajectory of its movements. We present our results with three convolutional methods, namely temporal convolutional networks (TCN), ConvLSTM, and ConvGRU. We first solve the detection task for an image using fully convolutional encoder-decoder architecture, and later, we use it as an input to our temporal models and jointly learn the detection task in sequences of images. We evaluate all our experiments on a novel dataset prepared as a part of this work. Furthermore, we present empirical results to support the effectiveness of using the history of the ball in challenging scenarios.


title: Linking Zonal Winds and Gravity: The Relative Importance of Dynamic Self Gravity

abstract: Recent precise measurements at Jupiter's and Saturn's gravity fields constrain the properties of the zonal flows in the outer envelopes of these planets. A simplified dynamic equation, sometimes called the thermal wind or thermo-gravitational wind equation, establishes a link between zonal flows and the related buoyancy perturbation, which in turn can be exploited to yield the dynamic gravity perturbation. Whether or not the action of the dynamic gravity perturbation needs to be explicitly included in this equation, an effect we call the Dynamic Self Gravity (DSG), has been a matter of intense debate. We show that, under reasonable assumptions, the equation can be solved (semi) analytically. This allows us to quantify the impact of the DSG on each gravity harmonic, practically independent of the zonal flow or the details of the planetary interior model. The impact decreases with growing spherical harmonic degree l. For degrees l=2 to about l=4, the DSG is a first order effect and should be taken into account in any attempt of inverting gravity measurements for zonal flow properties. For degrees of about l=5 to roughly l=10, the relative impact of DSG is about 10% and thus seems worthwhile to include, in particular since this comes at little extra costs with the method presented here. For yet higher degrees, is seems questionable whether gravity measurements or interior models will ever reach the required precision equivalent of the DSG impact of only a few percent of less.


title: A Low-Memory Time-Efficient Implementation of Outermorphisms for Higher-Dimensional Geometric Algebras

abstract: From the beginning of David Hestenes rediscovery of geometric algebra in the 1960s, outermorphisms have been a cornerstone in the mathematical development of GA. Many important mathematical formulations in GA can be expressed as outermorphisms such as versor products, linear projection operators, and mapping between related coordinate frames. Over the last two decades, GA-based mathematical models and software implementations have been developed in many fields of science and engineering. As such, efficient implementations of outermorphisms are of significant importance within this context. This work attempts to shed some light on the problem of optimizing software implementations of outermorphisms for practical prototyping applications using geometric algebra. The approach we propose here for implementing outermorphisms requires orders of magnitude less memory compared to other common approaches, while being comparable in time performance, especially for high-dimensional geometric algebras.


title: Long-lifetime coherence in a quantum emitter induced by a metasurface

abstract: An anisotropic quantum vacuum (AQV) has been predicted to induce quantum interferences during the spontaneous emission process in an atomic $V$-transition [G. S. Agarwal, Phys. Rev. Lett. 84, 5500 (2000)]. Nevertheless, the finite lifetime of the excited states is expected to strongly limit the observability of this phenomenon. In this paper, we predict that an AQV can induce a long-lifetime coherence in an atomic $\Lambda$-transition from the process of spontaneous emission, which has an additional advantage of removing the need for coherent laser excitation. We also carry out two metasurface designs and compare their respective efficiencies for creating an AQV over remote distances. The detection of this coherence induced by a metasurface, in addition to being yet another vindication of quantum electrodynamics, could pave the way towards the remote distance control of coherent coupling between quantum emitters, which is a key requirement to produce entanglement in quantum technology applications.


title: Semantic-Aware Scene Recognition

abstract: Scene recognition is currently one of the top-challenging research fields in computer vision. This may be due to the ambiguity between classes: images of several scene classes may share similar objects, which causes confusion among them. The problem is aggravated when images of a particular scene class are notably different. Convolutional Neural Networks (CNNs) have significantly boosted performance in scene recognition, albeit it is still far below from other recognition tasks (e.g., object or image recognition). In this paper, we describe a novel approach for scene recognition based on an end-to-end multi-modal CNN that combines image and context information by means of an attention module. Context information, in the shape of semantic segmentation, is used to gate features extracted from the RGB image by leveraging on information encoded in the semantic representation: the set of scene objects and stuff, and their relative locations. This gating process reinforces the learning of indicative scene content and enhances scene disambiguation by refocusing the receptive fields of the CNN towards them. Experimental results on four publicly available datasets show that the proposed approach outperforms every other state-of-the-art method while significantly reducing the number of network parameters. All the code and data used along this paper is available at https://github.com/vpulab/Semantic-Aware-Scene-Recognition


title: PAPR Reduction with Mixed-Numerology OFDM

abstract: High peak-to-average power ratio (PAPR) is a critical problem in orthogonal frequency-division multiplexing (OFDM). The fifth-generation New Radio (5G NR) facilitates the utilization of multiple heterogeneous bandwidth parts (BWPs), which complicates the PAPR problem even further and introduces inter-numerology interference (INI) between the BWPs. This paper proposes two novel schemes to reduce the PAPR of mixed-numerology OFDM signals. The first scheme is an original enhanced iterative clipping-and-error-filtering (ICEF) approach that cancels efficiently the INI along with PAPR reduction. This allows to achieve efficient PAPR reduction while being compatible with well-known windowed overlap-and-add (WOLA) processing. The second scheme is based on fast-convolution (FC) processing, where PAPR reduction is embedded in the FC filtering carried out using overlapping processing blocks. This allows one to use any existing block-wise PAPR reduction method to reduce the composite signals' PAPR with arbitrary BWP waveforms, and it is thus especially well suited for processing mixed-numerology composite waveforms carrying multiple BWPs with different OFDM numerologies. The performance of the proposed algorithms is evaluated in the 5G NR context, and the essential performance advantages are demonstrated and quantified.


title: LOFAR Measures the Hotspot Advance Speed of the High-Redshift Blazar S5 0836+710

abstract: Our goal is to study the termination of an AGN jet in the young universe and to deduce physical parameters of the jet and the intergalactic medium. We use LOFAR to image the long-wavelength radio emission of the high-redshift blazar S5 0836+710 on arcsecond scales between 120 MHz and 160 MHz. The LOFAR image shows a compact unresolved core and a resolved emission region about 1.5 arcsec to the southwest of the radio core. This structure is in general agreement with previous higher-frequency radio observations with MERLIN and the VLA. The southern component shows a moderately steep spectrum with a spectral index of about $\gtrsim -1$ while the spectral index of the core is flat to slightly inverted. In addition, we detect for the first time a resolved steep-spectrum halo with a spectral index of about $-1$ surrounding the core. The arcsecond-scale radio structure of S5 0836+710 can be understood as an FR II-like radio galaxy observed at a small viewing angle. The southern component can be interpreted as the region of the approaching jet's terminal hotspot and the halo-like diffuse component near the core can be interpreted as the counter-hotspot region. From the differential Doppler boosting of both features, we can derive the hotspot advance speed to $(0.01-0.036)$ c. At a constant advance speed, the derived age of the source would exceed the total lifetime of such a powerful FR II-like radio galaxy substantially. Thus, the hotspot advance speed must have been higher in the past in agreement with a scenario in which the originally highly relativistic jet has lost collimation due to the growth of instabilities and has transformed into an only mildly relativistic flow. Our data suggest that the density of the intergalactic medium around this distant ($z=2.22$) AGN could be substantially higher than the values typically found in less distant FR II radio galaxies.


title: Algebraic K-theory of generalized free products and functors Nil

abstract: In this paper, we extend Waldhausen's results on algebraic K-theory of generalized free produts in a more general setting and we give some properties of the Nil functors. As a consequence, we get new groups with trivial Whitehead groups.


title: Riemannian batch normalization for SPD neural networks

abstract: Covariance matrices have attracted attention for machine learning applications due to their capacity to capture interesting structure in the data. The main challenge is that one needs to take into account the particular geometry of the Riemannian manifold of symmetric positive definite (SPD) matrices they belong to. In the context of deep networks, several architectures for these matrices have recently been proposed. In our article, we introduce a Riemannian batch normalization (batchnorm) algorithm, which generalizes the one used in Euclidean nets. This novel layer makes use of geometric operations on the manifold, notably the Riemannian barycenter, parallel transport and non-linear structured matrix transformations. We derive a new manifold-constrained gradient descent algorithm working in the space of SPD matrices, allowing to learn the batchnorm layer. We validate our proposed approach with experiments in three different contexts on diverse data types: a drone recognition dataset from radar observations, and on emotion and action recognition datasets from video and motion capture data. Experiments show that the Riemannian batchnorm systematically gives better classification performance compared with leading methods and a remarkable robustness to lack of data.


title: It's Common Knowledge

abstract: We discuss some old common knowledge puzzles and introduce a lot of new common knowledge puzzles.


title: New Inequalities and Applications

abstract: This paper presents some new inequalities, the most important of which is the inequality given in Theorem 2.1. It can solve a class of inequalities by a unified method. An important application of the inequality given in Theorem 2.1 is to derive another new general form of inequality. The famous Nesbitt's inequality is a special case of this general form of inequality when n = 3. The new inequality in Theorem 2.1 proposed in this paper is easy to use and expand, and many new inequalities can be derived and obtained by direct calculation, so it has a wide range of applications. Many known inequalities can also be directly calculated by the inequalities proposed in this paper, and the calculation is simple and convenient.


title: The phaseless rank of a matrix

abstract: We consider the problem of finding the smallest rank of a complex matrix whose absolute values of the entries are given. We call this minimum the phaseless rank of the matrix of the entrywise absolute values. In this paper we study this quantity, extending a classic result of Camion and Hoffman and connecting it to the study of amoebas of determinantal varieties and of semidefinite representations of convex sets. As a consequence, we prove that the set of maximal minors of a matrix of indeterminates form an amoeba basis for the ideal they define, and we attain a new upper bound on the complex semidefinite extension complexity of polytopes, dependent only on their number of vertices and facets. We also highlight the connections between the notion of phaseless rank and the problem of finding large sets of complex equiangular lines or mutually unbiased bases.


title: On Yiu's Equilateral Triangles Associated with a Kiepert Hyperbola

abstract: In 2014, Paul Yiu constructed two equilateral triangles inscribed in a Kiepert hyperbola associated with a reference triangle. It was asserted that each of the equilateral triangles is triply perspective to the reference triangle, and in each case, the corresponding three perspectors are collinear. In this note, we give a proof of his assertions. Furthermore as an analogue of Lemoine's problem, we formulated and answered the question about how to recover the reference triangle given a Kiepert hyperbola, one of the two Fermat points and one vertex of the reference triangle.


title: Nanoscale characterization of the impact of beverages on the enamel surface of human teeth

abstract: Here we quantitatively evaluate the early stages of mechanical and morphological changes of polished human enamel surfaces induced by soft drinks using atomic force microscopy. With an increase of the immersion time in soft drinks, we found a significant increase of surface roughness (Ra) and a considerable decrease of elastic modulus (E) of the enamel. The prismatic structure of enamel was clearly observed after a one-hour immersion in Coca-Cola, which shows its strong erosion effect. A high surface roughness of enamel results in a high chance of cavities due to easier bacterial adhesion on rougher surface, while a drastic deterioration of the mechanical properties of the enamel weakens its protection property. Our findings show the variation of enamel surface at the very beginning stage of etching process by acidic drinks, which can also be applicable to the etching mechanism of enamel surface by other sources.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.bio-ph


title: Magnetic Calibration System With Interference Compensation

abstract: This paper describes a novel method for calibrating dc-precise magnetometers in the low field range (100 uT), which gives acceptable results even in laboratory conditions with significant magnetic interference. By introducing a closely mounted reference magnetometer and a specific calibration procedure, it is possible to compensate for the external magnetic field disturbances caused, e.g., by the local transportation operated with dc power supplies. The field compensation occurs only shortly after the calibrating coils are energized. In this case, the leakage of the coil's magnetic flux to the reference sensor due to the cancellation of the time-varying compensating field was negligible. When using 60 cm coils and reference sensor in 2.5 m distance, we were able to calculate magnetometer gains with a standard deviation of 91 ppm. We show that an overall uncertainty of 0.1% can be achieved.


title: Swap Stability in Schelling Games on Graphs

abstract: We study a recently introduced class of strategic games that is motivated by and generalizes Schelling's well-known residential segregation model. These games are played on undirected graphs, with the set of agents partitioned into multiple types; each agent either occupies a node of the graph and never moves away or aims to maximize the fraction of her neighbors who are of her own type. We consider a variant of this model that we call swap Schelling games, where the number of agents is equal to the number of nodes of the graph, and agents may {\em swap} positions with other agents to increase their utility. We study the existence, computational complexity and quality of equilibrium assignments in these games, both from a social welfare perspective and from a diversity perspective.


title: Search for low-energy neutrinos from astrophysical sources with Borexino

abstract: We report on searches for neutrinos and antineutrinos from astrophysical sources performed with the Borexino detector at the Laboratori Nazionali del Gran Sasso in Italy. Electron antineutrinos ($\bar{\nu}_e$) are detected in an organic liquid scintillator through the inverse $\beta$-decay reaction. In the present work we set model-independent upper limits in the energy range 1.8-16.8 MeV on neutrino fluxes from unknown sources that improve our previous results, on average, by a factor 2.5. Using the same data set, we first obtain experimental constraints on the diffuse supernova $\bar{\nu}_e$ fluxes in the previously unexplored region below 8 MeV. A search for $\bar{\nu}_e$ in the solar neutrino flux is also presented: the presence of $\bar{\nu}_e$ would be a manifestation of a non-zero anomalous magnetic moment of the neutrino, making possible its conversion to antineutrinos in the strong magnetic field of the Sun. We obtain a limit for a solar $\bar{\nu}_e$ flux of 384 cm$^{-2}$s$^{-1}$ (90% C.L.), assuming an undistorted solar $^{8}$B neutrinos energy spectrum, that corresponds to a transition probability $p_{ \nu_e \rightarrow \bar\nu_{e}}<$ 7.2$\times$10$^{-5}$ (90% C.L.) for E$_{\bar {\nu}_e}$ $>$ 1.8 MeV. At lower energies, by investigating the spectral shape of elastic scattering events, we obtain a new limit on solar $^{7}$Be-$\nu_e$ conversion into $\bar{\nu}_e$ of $p_{ \nu_e \rightarrow \bar \nu_{e}}<$ 0.14 (90% C.L.) at 0.862 keV. Last, we investigate solar flares as possible neutrino sources and obtain the strongest up-to-date limits on the fluence of neutrinos of all flavor neutrino below 3-7 ,MeV. Assuming the neutrino flux to be proportional to the flare's intensity, we exclude an intense solar flare as the cause of the observed excess of events in run 117 of the Cl-Ar Homestake experiment.


title: Remembering Winter Was Coming: Character-Oriented Video Summaries of TV Series

abstract: Today's popular TV series tend to develop continuous, complex plots spanning several seasons, but are often viewed in controlled and discontinuous conditions. Consequently, most viewers need to be re-immersed in the story before watching a new season. Although discussions with friends and family can help, we observe that most viewers make extensive use of summaries to re-engage with the plot. Automatic generation of video summaries of TV series' complex stories requires, first, modeling the dynamics of the plot and, second, extracting relevant sequences. In this paper, we tackle plot modeling by considering the social network of interactions between the characters involved in the narrative: substantial, durable changes in a major character's social environment suggest a new development relevant for the summary. Once identified, these major stages in each character's storyline can be used as a basis for completing the summary with related sequences. Our algorithm combines such social network analysis with filmmaking grammar to automatically generate character-oriented video summaries of TV series from partially annotated data. We carry out evaluation with a user study in a real-world scenario: a large sample of viewers were asked to rank video summaries centered on five characters of the popular TV series Game of Thrones, a few weeks before the new, sixth season was released. Our results reveal the ability of character-oriented summaries to re-engage viewers in television series and confirm the contributions of modeling the plot content and exploiting stylistic patterns to identify salient sequences.


title: Efficiency at the maximum power of the power law dissipative Carnot-like Heat engines with non-adiabatic dissipation

abstract: We study the efficiency at maximum power of non-adiabatic dissipative (internally dissipative friction in finite time adiabatic processes) Carnot-like heat engines operate in finite time under the power law dissipation regime. We find that the non-adiabatic dissipation does not influence the universal minimum and maximum bounds on the efficiency at maximum power obtained in the generalized dissipative Carnot-like heat engines which does not take in to account the non-adiabatic dissipation.


title: Random Error Sampling-based Recurrent Neural Network Architecture Optimization

abstract: Recurrent neural networks are good at solving prediction problems. However, finding a network that suits a problem is quite hard because their performance is strongly affected by their architecture configuration. Automatic architecture optimization methods help to find the most suitable design, but they are not extensively adopted because of their high computational cost. In this work, we introduce the Random Error Sampling-based Neuroevolution (RESN), an evolutionary algorithm that uses the mean absolute error random sampling, a training-free approach to predict the expected performance of an artificial neural network, to optimize the architecture of a network. We empirically validate our proposal on three prediction problems, and compare our technique to training-based architecture optimization techniques and to neuroevolutionary approaches. Our findings show that we can achieve state-of-the-art error performance and that we reduce by half the time needed to perform the optimization.


title: Regression Models Using Shapes of Functions as Predictors

abstract: Functional variables are often used as predictors in regression problems. A commonly-used parametric approach, called {\it scalar-on-function regression}, uses the $\ltwo$ inner product to map functional predictors into scalar responses. This method can perform poorly when predictor functions contain undesired phase variability, causing phases to have disproportionately large influence on the response variable. One past solution has been to perform phase-amplitude separation (as a pre-processing step) and then use only the amplitudes in the regression model. Here we propose a more integrated approach, termed elastic functional regression model (EFRM), where phase-separation is performed inside the regression model, rather than as a pre-processing step. This approach generalizes the notion of phase in functional data, and is based on the norm-preserving time warping of predictors. Due to its invariance properties, this representation provides robustness to predictor phase variability and results in improved predictions of the response variable over traditional models. We demonstrate this framework using a number of datasets involving gait signals, NMR data, and stock market prices.


title: The Discovery of the Long-Period, Eccentric Planet Kepler-88 d and System Characterization with Radial Velocities and Photodynamical Analysis

abstract: We present the discovery of Kepler-88 d ($P_d = 1403\pm14$ days, $M\mathrm{sin}i_d = 965\pm44\,M_\oplus = 3.04\pm0.14\,M_J$, $e_d = 0.41\pm0.03$) based on six years of radial velocity (RV) follow-up from the W. M. Keck Observatory HIRES spectrograph. Kepler-88 has two previously identified planets. Kepler-88 b (KOI-142.01) transits in the NASA \Kepler\ photometry and has very large transit timing variations. \citet{Nesvorny2013} perfomed a dynamical analysis of the TTVs to uniquely identify the orbital period and mass of the perturbing planet (Kepler-88 c), which was later was confirmed with RVs from the Observatoire de Haute-Provence (OHP, Barros et al. 2014). To fully explore the architecture of this system, we performed photodynamical modeling on the \Kepler\ photometry combined with the RVs from Keck and OHP and stellar parameters from spectroscopy and Gaia. Planet d is not detectable in the photometry, and long-baseline RVs are needed to ascertain its presence. A photodynamical model simultaneously optimized to fit the RVs and \Kepler\ photometry yields the most precise planet masses and orbital properties yet for b and c: $P_b = 10.91647\pm0.00014\,\mathrm{days}$, $M_b=9.5\pm1.2\,M_\oplus$, $P_c=22.2649\pm0.0007\,\mathrm{days}$, and $M_c=214.1\pm5.3\,M_\oplus$. The photodynamical solution also finds that planets b and c have low eccentricites and low mutual inclination, are apsidally anti-aligned, and have conjunctions on the same hemisphere of the star. Continued RV follow-up of systems with small planets will improve our understanding of the link between inner planetary system architectures and giant planets.


title: A well-balanced scheme for the simulation tool-kit A-MaZe: implementation, tests, and first applications to stellar structure

abstract: Characterizing stellar convection in multiple dimensions is a topic at the forefront of stellar astrophysics. Numerical simulations are an essential tool for this task. We present an extension of the existing numerical tool-kit A-MaZe that enables such simulations of stratified flows in a gravitational field. The finite-volume based, cell-centered, and time-explicit hydrodynamics solver of A-MaZe was extended such that the scheme is now well-balanced in both momentum and energy. The algorithm maintains an initially static balance between gravity and pressure to machine precision. Quasi-stationary convection in slab-geometry preserves gas energy (internal plus kinetic) on average despite strong local up- and down-drafts. By contrast, a more standard numerical scheme is demonstrated to result in substantial gains of energy within a short time on purely numerical grounds. The test is further used to point out the role of dimensionality, viscosity, and Rayleigh number for compressible convection. Applications to a young sun in 2D and 3D, covering a part of the inner radiative zone as well as the outer convective zone, demonstrate that the scheme meets its initial design goal. Comparison with results obtained for a physically identical setup with a time-implicit code show qualitative agreement.


title: Energy asymptotics of a Dirichlet to Neumann problem related to water waves

abstract: We consider a Dirichlet to Neumann operator $\mathcal{L}_a$ arising in a model for water waves, with a nonlocal parameter $a\in(-1,1)$. We deduce the expression of the operator in terms of the Fourier transform, highlighting a local behavior for small frequencies and a nonlocal behavior for large frequencies. We further investigate the $ \Gamma $-convergence of the energy associated to the equation $ \mathcal{L}_a(u)=W'(u) $, where $W$ is a double-well potential. When $a\in(-1,0]$ the energy $\Gamma$-converges to the classical perimeter, while for $a\in(0,1)$ the $\Gamma$-limit is a new nonlocal operator, that in dimension $n=1$ interpolates the classical and the nonlocal perimeter.


title: The Renormalised Bogoliubov-Fr\"ohlich Hamiltonian

abstract: The Bogoliubov-Fr\"ohlich Hamiltonian models the interaction of an impurity with the excitations of a Bose-Einstein condensate. It has been observed that the dependence of the ground state energy on the ultraviolet cutoff differs significantly from what would be expected from similar well-known models. We give a detailed explanation of this UV behaviour, and provide an explicit representation of the renormalised Hamiltonian.

categories: cond-mat.quant-gas math-ph math.MP quant-ph


title: Furstenberg sets in finite fields: Explaining and improving the Ellenberg-Erman proof

abstract: A $(k,m)$-Furstenberg set is a subset $S \subset \mathbb{F}_q^n$ with the property that each $k$-dimensional subspace of $\mathbb{F}_q^n$ can be translated so that it intersects $S$ in at least $m$ points. Ellenberg and Erman proved that $(k,m)$-Furstenberg sets must have size at least $C_{n,k}m^{n/k}$, where $C_{n,k}$ is a constant depending only $n$ and $k$. In this paper, we adopt the same proof strategy as Ellenberg and Erman, but use more elementary techniques than their scheme-theoretic method. By modifying certain parts of the argument, we obtain an improved bound on $C_{n,k}$, and our improved bound is nearly optimal for an algebraic generalization the main combinatorial result. We also extend our analysis to give lower bounds for sets that have large intersection with shifts of a specific family of higher-degree co-dimension $n-k$ varieties, instead of just co-dimension $n-k$ subspaces.


title: Trapped Bose-Einstein Condensates with Attractive s-wave Interaction

abstract: Within the framework of the Gaussian-state theory, we show that the quantum many-body ground state of a trapped condensate with weakly attractive interaction is a single-mode squeezed vacuum state, as oppose to the coherent state under repulsive interaction. The spatial mode of the squeezed-state condensates satisfies a Gross-Pitaevskii like equation in which the interaction strength is augmented by a factor $3$ due to the large particle fluctuation of the squeezed state. We also study the collective excitations of the condensates by the tangential space projection, which leads to new two-particle excitations and confirms the phase transition from coherent-state to squeezed-state condensates. Our investigation clarifies the quantum states of the attractive condensates and will shed new light on research of the droplet phases in dipolar and multicomponent condensates.


title: Edge superconductivity in Multilayer WTe2 Josephson junction

abstract: WTe2, as a type-II Weyl semimetal, has 2D Fermi arcs on the (001) surface in the bulk and 1D helical edge states in its monolayer. These features have recently attracted wide attention in condensed matter physics. However, in the intermediate regime between the bulk and monolayer, the edge states have not been resolved owing to its closed band gap which makes the bulk states dominant. Here, we report the signatures of the edge superconductivity by superconducting quantum interference measurements in multilayer WTe2 Josephson junctions and we directly map the localized supercurrent. In thick WTe2 (~60 nm), the supercurrent is uniformly distributed by bulk states with symmetric Josephson effect ($\left|I_c^+(B)\right|=\left|I_c^-(B)\right|$). In thin WTe2 (10 nm), however, the supercurrent becomes confined to the edge and its width reaches up to 1.4 um and exhibits non-symmetric behavior $\left|I_c^+(B)\right|\neq \left|I_c^-(B)\right|$. The ability to tune the edge domination by changing thickness and the edge superconductivity establishes WTe2 as a promising topological system with exotic quantum phases and a rich physics.


title: Black hole entropy from trace dynamics and non-commutative geometry

abstract: Spontaneous localisation is a falsifiable, phenomenological, mechanism for explaining the absence of macroscopic position superpositions, currently being tested for in the laboratory. The theory of trace dynamics provides a possible theoretical origin for spontaneous localisation. We have recently proposed how to employ non-commutative geometry to include gravity in trace dynamics, and suggested the emergence of classical space-time geometry via spontaneous localisation. In our theory, which we call non-commutative matter gravity, a black hole arises from the spontaneous localisation of an entangled state of a large number of `atoms of space-time-matter [STM]'. Prior to localisation, the non-commutative curvature of an STM atom is described by the spectral action of non-commutative geometry. By using the techniques of statistical thermodynamics from trace dynamics, we show that the gravitational entropy of a Schwarzschild black hole results from the microstates of the entangled STM atoms and is given (subject to certain assumptions) by the classical Euclidean gravitational action. This action, in turn, equals the Bekenstein-Hawking entropy (Area/$4{L_P}^2$) of the black hole. We argue that spontaneous localisation is related to black-hole evaporation through the fluctuation-dissipation theorem.


title: Listening to the shape of a drum

abstract: The aim of this work is to link the quasiconformal geometry of a Euclidean domain $U$ to the spectral properties of its Dirichlet integral $\D$, through the algebra of multipliers $\M(H^{1,2}(U))$ of the Sobolev space. In the main result we prove that a homeomorphism $\gamma:U\to\gamma(U)$ between Euclidean domains, giving rise to an algebraic isomorphism $a\mapsto a\circ\gamma$ between $\M(H^{1,2}(\gamma(V)))$ and $\M(H^{1,2}(V))$ for any relatively compact domain $V\subseteq U$ and leaving invariant the corresponding fundamental tones (first non zero eigenvalues) of $\D$ \[ \mu_1(\gamma(V),a)=\mu_1(V,a\circ\gamma)\, , \] is quasiconformal. A companion characterization hold true for bounded distortion maps. In the converse direction we prove that for $n\ge 3$\\ i) the M\"obius group $G(\R^n)$ acts isometrically on the algebra of multipliers $\M(H^{1,2}_e(\R^n))$ of the extended space $H^{1,2}_e(\R^n)$\\ ii) $(\D,H^{1,2}(\R^n))$ is a closable quadratic form on $L^2(\R^n,\Gamma[a])$ with respect to the energy measure $\Gamma[a]=|\nabla a|^2\, dx$ of any $a\in \M(H^{1,2}_e(\R^n))$\\ iii) for any $\gamma\in G(\R^n)$, the form closure $(\D,\F^a)$ of $(\D,H^{1,2}(\R^n))$ is a Dirichlet form on $L^2(\R^n,\Gamma[a])$, unitarily equivalent to $(\D,\F^{a\circ\gamma})$ on $L^2(\R^n,\Gamma[a\circ\gamma])$. The results are based on connections between fundamental tones and ergodic properties of multipliers: in particular, it is shown that the fundamental tone of $(\D,\F^a)$ on $L^2(U,\Gamma[a])$ is non vanishing $\mu_1(U,a)>0$ for any fully supported $a\in\M(H^{1,2}(U))$, provided there exists a spectral gap for the usual Laplacian.


title: Are Adversarial Robustness and Common Perturbation Robustness Independent Attributes ?

abstract: Neural Networks have been shown to be sensitive to common perturbations such as blur, Gaussian noise, rotations, etc. They are also vulnerable to some artificial malicious corruptions called adversarial examples. The adversarial examples study has recently become very popular and it sometimes even reduces the term "adversarial robustness" to the term "robustness". Yet, we do not know to what extent the adversarial robustness is related to the global robustness. Similarly, we do not know if a robustness to various common perturbations such as translations or contrast losses for instance, could help with adversarial corruptions. We intend to study the links between the robustnesses of neural networks to both perturbations. With our experiments, we provide one of the first benchmark designed to estimate the robustness of neural networks to common perturbations. We show that increasing the robustness to carefully selected common perturbations, can make neural networks more robust to unseen common perturbations. We also prove that adversarial robustness and robustness to common perturbations are independent. Our results make us believe that neural network robustness should be addressed in a broader sense.


title: ALIME: Autoencoder Based Approach for Local Interpretability

abstract: Machine learning and especially deep learning have garneredtremendous popularity in recent years due to their increased performanceover other methods. The availability of large amount of data has aidedin the progress of deep learning. Nevertheless, deep learning models areopaque and often seen as black boxes. Thus, there is an inherent need tomake the models interpretable, especially so in the medical domain. Inthis work, we propose a locally interpretable method, which is inspiredby one of the recent tools that has gained a lot of interest, called localinterpretable model-agnostic explanations (LIME). LIME generates singleinstance level explanation by artificially generating a dataset aroundthe instance (by randomly sampling and using perturbations) and thentraining a local linear interpretable model. One of the major issues inLIME is the instability in the generated explanation, which is caused dueto the randomly generated dataset. Another issue in these kind of localinterpretable models is the local fidelity. We propose novel modificationsto LIME by employing an autoencoder, which serves as a better weightingfunction for the local model. We perform extensive comparisons withdifferent datasets and show that our proposed method results in bothimproved stability, as well as local fidelity.


title: Self-organizing memristive nanowire networks with structural plasticity emulate biological neuronal circuits

abstract: Acting as artificial synapses, two-terminal memristive devices are considered fundamental building blocks for the realization of artificial neural networks. Organized into large arrays with a top-down approach, memristive devices in conventional crossbar architecture demonstrated the implementation of brain-inspired computing for supervised and unsupervised learning. Alternative way using unconventional systems consisting of many interacting nano-parts have been proposed for the realization of biologically plausible architectures where the emergent behavior arises from a complexity similar to that of biological neural circuits. However, these systems were unable to demonstrate bio-realistic implementation of synaptic functionalities with spatio-temporal processing of input signals similarly to our brain. Here we report on emergent synaptic behavior of biologically inspired nanoarchitecture based on self-assembled and highly interconnected nanowire (NW) networks realized with a bottom up approach. The operation principle of this system is based on the mutual electrochemical interaction among memristive NWs and NW junctions composing the network and regulating its connectivity depending on the input stimuli. The functional connectivity of the system was shown to be responsible for heterosynaptic plasticity that was experimentally demonstrated and modelled in a multiterminal configuration, where the formation of a synaptic pathway between two neuron terminals is responsible for a variation in synaptic strength also at non-stimulated terminals. These results highlight the ability of nanowire memristive architectures for building brain-inspired intelligent systems based on complex networks able to physically compute the information arising from multi-terminal inputs.

categories: physics.app-ph cond-mat.dis-nn cond-mat.mtrl-sci cs.ET


title: Delay-Distance Correlation Study for IP Geolocation

abstract: Although many classical IP geolocation algorithms are suitable to rich-connected networks, their performances are seriously affected in poor-connected networks with weak delay-distance correlation. This paper tries to improve the performances of classical IP geolocation algorithms by finding rich-connected sub-networks inside poor-connected networks. First, a new delay-distance correlation model (RTD-Corr model) is proposed. It builds the relationship between delay-distance correlation and actual network factors such as the tortuosity of the network path, the ratio of propagation delay and the direct geographical distance. Second, based on the RTD-Corr model and actual network characteristics, this paper discusses about how to find rich-connected networks inside China Internet which is a typical actual poor-connected network. Then we find rich-connected sub-networks of China Internet through a large-scale network measurement which covers three major ISPs and thirty provinces. At last, based on the founded rich-connected sub-networks, we modify two classical IP geolocation algorithms and the experiments in China Internet show that their accuracy is significantly increased.


title: Deterministic assembly of a charged quantum dot-micropillar cavity device

abstract: Developing future quantum communication may rely on the ability to engineer cavity-mediated interactions between photons and solid-state artificial atoms, in a deterministic way. Here, we report a set of technological and experimental developments for the deterministic coupling between the optical mode of a micropillar cavity and a quantum dot trion transition. We first identify a charged transition through in-plane magnetic field spectroscopy, and then tune the optical cavity mode to its energy via in-situ lithography. In addition, we design an asymmetric tunneling barrier to allow the optical trapping of the charge, assisted by a quasi-resonant pumping scheme, in order to control its occupation probability. We evaluate the generation of a positively-charged quantum dot through second order auto-correlation measurements of its resonance fluorescence, and the quality of light-matter interaction for these spin-photon interfaces is assessed by measuring the performance of the device as a single-photon source.


title: Empirical Notes on the Interaction Between Continuous Kernel Fuzzing and Development

abstract: Fuzzing has been studied and applied ever since the 1990s. Automated and continuous fuzzing has recently been applied also to open source software projects, including the Linux and BSD kernels. This paper concentrates on the practical aspects of continuous kernel fuzzing in four open source kernels. According to the results, there are over 800 unresolved crashes reported for the four kernels by the syzkaller/syzbot framework. Many of these have been reported relatively long ago. Interestingly, fuzzing-induced bugs have been resolved in the BSD kernels more rapidly. Furthermore, assertions and debug checks, use-after-frees, and general protection faults account for the majority of bug types in the Linux kernel. About 23% of the fixed bugs in the Linux kernel have either went through code review or additional testing. Finally, only code churn provides a weak statistical signal for explaining the associated bug fixing times in the Linux kernel.


title: Polymer-derived SiOC Replica of Material Extrusion-based 3-D Printed Plastics

abstract: A promising method for obtaining ceramic components with additive manufacturing (AM) is to use a two-step process of first printing the artifact in polymer and then converting it to ceramic using pyrolysis to form polymer derived ceramics (PDCs). AM of ceramic components using PDCs has been demonstrated with a number of high-cost techniques, but data is lacking for fused filament fabrication (FFF)-based 3-D printing. This study investigates the potential to use the lower-cost, more widespread and accessible FFF-based 3-D printing of PDCs. Low-cost FFF machines have a resolution limit set by the nozzle width, which is inferior to the resolutions obtained with expensive SLA or SLS AM systems. To match the performance a partial PDC conversion is used here, where only the outer surface of the printed polymer frame is converted to ceramic. Here the FFF-based 3-D printed sample is coated with a preceramic polymer and then it is converted into the corresponding PDC sample with a high temperature pyrolysis process. A screening experiment is performed on commercial filaments to obtain ceramic 3-D prints by surface coating both hard thermoplastics: poly lactic acid (PLA), polycarbonate (PC), nylon alloys, polypropylene (PP), polyethylene terephthalate glycol (PETG), polyethylene terephthalate (PET), and co-polyesters; and flexible materials including: flexible PLA, thermoplastic elastomer and thermoplastic polyurethane filaments. Mass and volume changes were quantified for the soaking and pyrolysis steps to form a hollow ceramic skin. All 3-D printing materials extruded at 250 microns successfully produced ceramics skins of less than 100 microns. Details on the advantages and disadvantages of the different 3-D printing polymer precursors are discussed for this processing regime. The results are analyzed and discussed in order to provide guidance for more widespread application of AM of PDCs.


title: Pulsed electron spin resonance spectroscopy in the Purcell regime

abstract: When spin relaxation is governed by spontaneous emission of a photon into the resonator used for signal detection (the Purcell effect), the relaxation time $T_1$ depends on the spin-resonator frequency detuning $\delta$ and coupling constant $g$. We analyze the consequences of this unusual dependence for the amplitude and temporal shape of a spin-echo in a number of different experimental situations. When the coupling $g$ is distributed inhomogeneously, we find that the effective spin-echo relaxation time measured in a saturation recovery sequence strongly depends on the parameters of the detection echo. When the spin linewidth is larger than the resonator bandwidth, the Fourier components of the echo relax with different characteristic times, which implies that the temporal shape of the echo becomes dependent on the repetition time of the experiment. We provide experimental evidence of these effects with an ensemble of donor spins in silicon at millikelvin temperatures measured by a superconducting micro-resonator.


title: Structure, superconductivity, and magnetism in Rb1-xFe1.6Se2-zSz

abstract: The single-crystal growth, stoichiometry, and structure of Rb1-xFe2-ySe2-zSz crystals with substitution of Se by S are reported. The variation of the magnetic and thermodynamic parameters of samples was studied by differential-scanning calorimetry, magnetic susceptibility, conductivity, and specific heat. The experimental results are discussed within a T-z phase diagram, which includes vacancy-ordered and vacancy-disordered antiferromagnetic (AFM), superconducting (SC), and non-superconducting phases. The structural study revealed change in the local environment of the Fe tetrahedrons depending on substitution: a reduction of the Fe-Fe and Fe-Ch(chalcogen) bond lengths and a tendency for the six out of eight bond angles to approach values for a regular tetrahedron suggesting a reduction of structural distortions with substitution. With increasing substitution, a lowering of the superconducting transition temperature Tc was observed; the percolation threshold for the SC state is located at the substitution z = 1.2. The SC state was found to coexist with the AFM state that persists in all samples independent of substitution. The temperature of the transition into the AFM state TN shows a monotonous decrease indicating a weakening of the AFM interactions with increasing substitution. The AFM phase exhibits an iron-vacancy-ordered structure below the structural transition at Ts. The temperature Ts shows a non-monotonous variation: a decrease with increasing z up to 1.3, followed by an increase for further increasing z. The suppression of the superconductivity with substitution is accompanied by a significant reduction of the density of states at the Fermi energy and a weakening of the electronic correlations in the studied system.


title: Online Optimization of Wireless Powered Mobile-Edge Computing for Heterogeneous Industrial Internet of Things

abstract: A spurt of progress in wireless power transfer (WPT) and mobile edge computing (MEC) provides a promising approach for Industrial Internet of Things (IIoT) to enhance the quality and productivity of manufacturing. Scheduling in such a scenario is challenging due to congested wireless channels, time-dependent energy constraints, complicated device heterogeneity, and prohibitive signaling overheads. In this paper, we first propose an online algorithm, called energy-aware resource scheduling (ERS), to maximize the system utility comprising throughput and fairness, with consideration on both system sustainability and stability. Based on Lyapunov optimization and convex optimization techniques, the proposed algorithm achieves asymptotic optimality for heterogeneous IIoT systems without prior knowledge of network state information (NSI). Subsequently, we extend the ERS algorithm to a more realistic scenario where the overhead and delay of NSI feedbacks are nonnegligible. The optimal scheduling decisions of the scenario are provided, and the optimality loss on system utility under outdated NSI is analyzed. Simulations verify our theoretical claims and demonstrate the gains of our proposed ERS algorithm over alternative benchmark schemes.


title: A comparative study of quaternionic rotational Dirac equation and its interpretation

abstract: In this study, we develop the generalized Dirac like four-momentum equation for rotating spin-half particles in four-dimensional quaternionic algebra. The generalized quaternionic Dirac equation consists the rotational energy and angular momentum of particle and anti-particle. Accordingly, we also discuss the four vector form of quaternionic relativistic mass, moment of inertia and rotational energy-momentum in Euclidean space-time. The quaternionic four angular momentum (i.e. the rotational analogy of four linear momentum) predicts the dual energy (rest mass energy and pure rotational energy) and dual momentum (linear like momentum and pure rotational momentum). Further, the solutions of quaternionic rotational Dirac energy-momentum are obtained by using one, two and four-component of quaternionic spinor. We also demonstrate the solutions of quaternionic plane wave equation which gives the rotational frequency and wave propagation vector of Dirac particles and anti-particles in terms of quaternionic form.


title: Towards a reliable approach on scaling in data acquisition

abstract: Data acquisition is an important process in the functioning of any control system. Usually, the acquired signal is analogic, representing a continuous physical measure, and it should be processed in a digital system based on an analog to digital converter (ADC) and a microcontroller. The ADC provides the converted value in ADC units, but the system and its operator need the value expressed in physical units. In this paper we propose a novel design solution for the scaling module, which is a key component of a digital measurement system. The scaling module refers to fitting the sensor result of a variable number of bits depending on the ADC resolution into physical units. A general method for scaling is proposed and a SageMath script is presented for obtaining easily the scaling function. In the last part of the paper, the proposed method is validated in a case study, by calculus, and it is implemented on a low-cost development system in order to create a wireless sensor node.


title: High-Fidelity State-of-Charge Estimation of Li-Ion Batteries Using Machine Learning

abstract: This paper proposes a way to augment the existing machine learning algorithm applied to state-of-charge estimation by introducing a form of pulse injection to the running battery cells. It is believed that the information contained in the pulse responses can be interpreted by a machine learning algorithm whereas other techniques are difficult to decode due to the nonlinearity. The sensitivity analysis of the amplitude of the current pulse is given through simulation, allowing the researchers to select the appropriate current level with respect to the desired accuracy improvement. A multi-layer feedforward neural networks is trained to acquire the nonlinear relationship between the pulse train and the ground-truth SoC. The experimental data is trained and the results are shown to be promising with less than 2\% SoC estimation error using layer sizes in the range of 10 - 10,000 trained in 0 - 1 million epochs. The testing procedure specifically designed for the proposed technique is explained and provided. The implementation of the proposed strategy is also discussed. The detailed system layout to perform the augmented SoC estimation integrated in the existing active balancing hardware has also been given.


title: A scalable algorithm for identifying multiple sensor faults using disentangled RNNs

abstract: The problem of detecting and identifying sensor faults is critical for efficient, safe, regulatory-compliant and sustainable operations of modern systems. Their increasing complexity brings new challenges for the Sensor Fault Detection and Isolation (SFD-SFI) tasks. One of the key enablers for any SFD-SFI methods employed in modern complex sensor systems, is the so-called analytical redundancy, which is nothing but building an analytical model of the sensors observations (either derived from first principles or identified from historical data in a data-driven fashion). In a nutshell, SFD amounts to generate and to monitor residuals by comparing the sensor measurements with the model predictions with the idea that the faulty sensors will result in large residuals (i.e. the defective sensors generate measurement that are inconsistent with their expected behavior represented by the model). In this paper we introduce a disentangled Recurrent Neural Network (RNN) with the objective to cope with the \textit{smearing-out} effect, i.e. the propagation of a sensor fault to the non-faulty sensors resulting in large misleading residuals. Moreover, the introduction of a probabilistic model for the residual generation allows us to develop a novel procedure for the identification of the faulty sensors. The computational complexity of the proposed algorithm is linear in the number of sensors as opposed to the combinatorial nature of the SFI problem. Finally, we empirically verify the performances of the proposed SFD-SFI architecture using a real data set collected at a petrochemical plant.


title: On Distribution Patterns of Power Flow Solutions

abstract: A fundamental challenge in computer analysis of power flow is the rigorous understanding of the impact of different loading levels on the solutions of the power flow equation. This letter presents a comprehensive study of possible numerical solutions that may arise as the loading level varies. In particular, a type of "false" load flow solutions is reported for the first time as a legitimate numerical solutions but with no engineering justification. The existence and the mechanism of why this category of solutions exist are rigorously analyzed. The probability mass function of voltage solution is shown to be less dependent on loading levels. Furthermore, numbers of all actual solutions and those solutions within engineering limits are summarized. This letter presents a first attempt to compute such huge numbers of solutions to the tested systems, and analyze their distribution patterns. All solution sets investigated in this letter are posted online associated with this letter to support any further research purposes.