title: Inverted structure perovskite solar cells: A theoretical study

abstract: We analysed perovskite CH3NH3PbI3-xClx inverted planner structure solar cell with nickel oxide (NiO) and spiro-MeOTAD as hole conductors. This structure is free from electron transport layer. The thickness is optimized for NiO and spiro-MeOTAD hole conducting materials and the devices do not exhibit any significant variation for both hole transport materials. The back metal contact work function is varied for NiO hole conductor and observed that Ni and Co metals may be suitable back contacts for efficient carrier dynamics. The solar photovoltaic performance showed a linear decrease in efficiency with increasing temperature. The electron affinity and band gap of transparent conducting oxide and NiO layers are varied to understand their impact on conduction and valence band offsets. A range of suitable band gap and electron affinity values are found essential for efficient device performance.


title: Self-Motion of the 3-PPPS Parallel Robot with Delta-Shaped Base

abstract: This paper presents the kinematic analysis of the 3-PPPS parallel robot with an equi-lateral mobile platform and an equilateral-shaped base. Like the other 3-PPPS robots studied in the literature, it is proved that the parallel singularities depend only on the orientation of the end-effector. The quaternion parameters are used to represent the singularity surfaces. The study of the direct kinematic model shows that this robot admits a self-motion of the Cardanic type. This explains why the direct kinematic model admits an infinite number of solutions in the center of the workspace at the "home" position but has never been studied until now.


title: Low-temperature resistance in metals without inversion Center

abstract: The well known quadratic low-temperature dependence of resistance in ordinary metals habitually serves as the criterium of applicability of the Landau Fermi liquid theory to the description of electron liquid in concrete material. Such a type of behavior is determined by momentum relaxation due to the electron-electron scattering.Here I consider this problem in the metals without inversion center. It is shown that the corresponding scattering time at temperatures much smaller than the spin-orbit coupling is practically temperature independent.


title: Learning Linear Temporal Properties

abstract: We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiability problems in propositional Boolean logic and produces a smallest LTL formula (in terms of the number of subformulas) that is consistent with the given data. Our second learning algorithm, on the other hand, combines the SAT-based learning algorithm with classical algorithms for learning decision trees. The result is a learning algorithm that scales to real-world scenarios with hundreds of examples, but can no longer guarantee to produce minimal consistent LTL formulas. We compare both learning algorithms and demonstrate their performance on a wide range of synthetic benchmarks. Additionally, we illustrate their usefulness on the task of understanding executions of a leader election protocol.


title: Representation and reconstruction of covariance operators in linear inverse problems

abstract: We introduce a framework for the reconstruction and representation of functions in a setting where these objects cannot be directly observed, but only indirect and noisy measurements are available, namely an inverse problem setting. The proposed methodology can be applied either to the analysis of indirectly observed functional images or to the associated covariance operators, representing second-order information, and thus lying on a non-Euclidean space. To deal with the ill-posedness of the inverse problem, we exploit the spatial structure of the sample data by introducing a flexible regularizing term embedded in the model. Thanks to its efficiency, the proposed model is applied to MEG data, leading to a novel approach to the investigation of functional connectivity.


title: Refined Hilbert schemes, E-polynomials, and the number of generators of finite colength ideals in the plane

abstract: The study of the stratification associated to the number of generators of the ideals in the punctual Hilbert scheme of points on the affine plain goes back to the '70s. In this paper, we present an elegant formula for the E-polynomials of these strata.


title: Tsallis' Quantum q-Fields

abstract: We generalize several well known quantum equations to a Tsallis' q-scenario, and provide a quantum version of some classical fields associated to them in recent literature. We refer to the q-Schr\"odinger, q-Klein-Gordon, q-Dirac, and q-Proca equations advanced in, respectively, [Phys. Rev. Lett. {\bf 106}, 140601 (2011), EPL {\bf 118}, 61004 (2017) and references therein]. Also, we introduce here equations corresponding to q-Yang-Mills fields, both in the Abelian and not-Abelian instances. We show how to define the q-Quantum Field Theories corresponding to the above equations, introduce the pertinent actions, and obtain motion equations via the minimum action principle. These q-fields are meaningful at very high energies (TeVs) for $q=1.15$, high ones (GeVs) for $q=1.001$, and low energies (MeVs)for $q=1.000001$ [Nucl. Phys. A {\bf 955} (2016) 16 and references therein]. (See the Alice experiment of LHC). Surprisingly enough, these q-fields are simultaneously q-exponential functions of the usual linear fields' logarithms.


title: Prosody Modifications for Question-Answering in Voice-Only Settings

abstract: Many popular form factors of digital assistants---such as Amazon Echo, Apple Homepod, or Google Home---enable the user to hold a conversation with these systems based only on the speech modality. The lack of a screen presents unique challenges. To satisfy the information need of a user, the presentation of the answer needs to be optimized for such voice-only interactions. In this paper, we propose a task of evaluating the usefulness of audio transformations (i.e., prosodic modifications) for voice-only question answering. We introduce a crowdsourcing setup where we evaluate the quality of our proposed modifications along multiple dimensions corresponding to the informativeness, naturalness, and ability of the user to identify key parts of the answer. We offer a set of prosodic modifications that highlight potentially important parts of the answer using various acoustic cues. Our experiments show that some of these prosodic modifications lead to better comprehension at the expense of only slightly degraded naturalness of the audio.


title: Low-Complexity Decoder for Overloaded Uniquely Decodable Synchronous CDMA

abstract: We consider the problem of designing a low-complexity decoder for antipodal uniquely decodable (UD) /errorless code sets for overloaded synchronous code-division multiple access (CDMA) systems, where the number of signals Kamax is the largest known for the given code length L. In our complexity analysis, we illustrate that compared to maximum-likelihood (ML) decoder, which has an exponential computational complexity for even moderate code lengths, the proposed decoder has a quasi-quadratic computational complexity. Simulation results in terms of bit-error-rate (BER) demonstrate that the performance of the proposed decoder has only a 1-2 dB degradation in signal-to-noise ratio (SNR) at a BER of 10^-3 when compared to ML. Moreover, we derive the proof of the minimum Manhattan distance of such UD codes and we provide the proofs for the propositions; these proofs constitute the foundation of the formal proof for the maximum number users Kamax for L=8 .


title: Symbolic Computation via Program Transformation

abstract: Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in fact practical, to use a compiler-based strategy instead. Using compiler tooling, we propose and implement a transformation which takes a standard program and outputs a program that performs semantically equivalent, but partially symbolic, computation. The transformed program maintains symbolic values internally and operates directly on them hence the program can be processed by a tool without support for symbolic manipulation. The main motivation for the transformation is in symbolic verification, but there are many other possible use-cases, including test generation and concolic testing. Moreover using the transformation simplifies tools, since the symbolic computation is handled by the program directly. We have implemented the transformation at the level of LLVM bitcode. The paper includes an experimental evaluation, based on an explicit-state software model checker as a verification backend.


title: AGIL: Learning Attention from Human for Visuomotor Tasks

abstract: When intelligent agents learn visuomotor behaviors from human demonstrations, they may benefit from knowing where the human is allocating visual attention, which can be inferred from their gaze. A wealth of information regarding intelligent decision making is conveyed by human gaze allocation; hence, exploiting such information has the potential to improve the agents' performance. With this motivation, we propose the AGIL (Attention Guided Imitation Learning) framework. We collect high-quality human action and gaze data while playing Atari games in a carefully controlled experimental setting. Using these data, we first train a deep neural network that can predict human gaze positions and visual attention with high accuracy (the gaze network) and then train another network to predict human actions (the policy network). Incorporating the learned attention model from the gaze network into the policy network significantly improves the action prediction accuracy and task performance.


title: Attention Incorporate Network: A network can adapt various data size

abstract: In traditional neural networks for image processing, the inputs of the neural networks should be the same size such as 224*224*3. But how can we train the neural net model with different input size? A common way to do is image deformation which accompany a problem of information loss (e.g. image crop or wrap). Sequence model(RNN, LSTM, etc.) can accept different size of input like text and audio. But one disadvantage for sequence model is that the previous information will become more fragmentary during the transfer in time step, it will make the network hard to train especially for long sequential data. In this paper we propose a new network structure called Attention Incorporate Network(AIN). It solve the problem of different size of inputs including: images, text, audio, and extract the key features of the inputs by attention mechanism, pay different attention depends on the importance of the features not rely on the data size. Experimentally, AIN achieve a higher accuracy, better convergence comparing to the same size of other network structure


title: Rotation Equivariant CNNs for Digital Pathology

abstract: We propose a new model for digital pathology segmentation, based on the observation that histopathology images are inherently symmetric under rotation and reflection. Utilizing recent findings on rotation equivariant CNNs, the proposed model leverages these symmetries in a principled manner. We present a visual analysis showing improved stability on predictions, and demonstrate that exploiting rotation equivariance significantly improves tumor detection performance on a challenging lymph node metastases dataset. We further present a novel derived dataset to enable principled comparison of machine learning models, in combination with an initial benchmark. Through this dataset, the task of histopathology diagnosis becomes accessible as a challenging benchmark for fundamental machine learning research.


title: Neural Proximal Gradient Descent for Compressive Imaging

abstract: Recovering high-resolution images from limited sensory data typically leads to a serious ill-posed inverse problem, demanding inversion algorithms that effectively capture the prior information. Learning a good inverse mapping from training data faces severe challenges, including: (i) scarcity of training data; (ii) need for plausible reconstructions that are physically feasible; (iii) need for fast reconstruction, especially in real-time applications. We develop a successful system solving all these challenges, using as basic architecture the recurrent application of proximal gradient algorithm. We learn a proximal map that works well with real images based on residual networks. Contraction of the resulting map is analyzed, and incoherence conditions are investigated that drive the convergence of the iterates. Extensive experiments are carried out under different settings: (a) reconstructing abdominal MRI of pediatric patients from highly undersampled Fourier-space data and (b) superresolving natural face images. Our key findings include: 1. a recurrent ResNet with a single residual block unrolled from an iterative algorithm yields an effective proximal which accurately reveals MR image details. 2. Our architecture significantly outperforms conventional non-recurrent deep ResNets by 2dB SNR; it is also trained much more rapidly. 3. It outperforms state-of-the-art compressed-sensing Wavelet-based methods by 4dB SNR, with 100x speedups in reconstruction time.


title: The cosmological nature of the dark Universe

abstract: This paper deals with the cancellation mechanism, which identifies the energy density of space-time expansion in an empty universe with the zero-point energy density and avoids the scale discrepancy with the observed energy density (cosmological constant problem). Using an intrinsic degree of freedom which describes the coupling of a variable cosmological term $\Lambda$ with non-relativistic matter and radiation, the following consequences are demonstrated by coupling only a small contribution of $\Lambda$ with non-relativistic matter. First, the standard model of cosmology with a positive cosmological constant can be generalised such that the missing mass problem of dark matter is solved by an overall negative variable cosmological term. Second, the model under consideration is compatible with constraints from the standard model of particle physics. Third, an equation of state parameter of dark matter is derived which agrees with observations of rotational curves of galaxies. Moreover, the creation and annihilation process of dark matter is presented.


title: Bayesian with Gaussian process based missing input imputation scheme for reconstructing magnetic equilibria in real time

abstract: A Bayesian with GP(Gaussian Process)-based numerical method to impute a few missing magnetic signals caused by impaired magnetic probes during tokamak operations is developed such that the real-time reconstruction of magnetic equilibria, whose performance strongly depends on the measured magnetic signals and their intactness, are affected minimally. Likelihood of the Bayesian model constructed with the Maxwell's equations, specifically Gauss's law of magnetism and Amp\`ere's law, results in infinite number of solutions if two or more magnetic signals are missing. This undesirable characteristic of the Bayesian model is remediated by coupling the model with the Gaussian process. Our proposed numerical method infers the missing magnetic signals correctly in less than $1$\:msec suitable for real-time reconstruction of magnetic equilibria during tokamak operations. The method can also be used for a neural network that reconstructs magnetic equilibria trained with a complete set of magnetic signals. Without our proposed imputation method, such a neural network would become useless if missing signals are not tolerable by the network.


title: Theoretical study of ArH+ dissociative recombination and electron-impact vibrational excitation

abstract: Cross sections are presented for dissociative recombination and electron-impact vibrational excitation of the ArH+ molecular ion at electron energies appropriate for the interstellar environment. The R-matrix method is employed to determine the molecular structure data, i.e. the position and width of the resonance states. The cross sections and the corresponding Maxwellian rate coefficients are computed using a method based on the Multichannel Quantum Defect Theory. The main result of the paper is the very low dissociative recombination rate found at temperatures below 1000K. This is in agreement with the previous upper limit measurement in merged beams and offers a realistic explanation to the presence of ArH+ in exotic interstellar conditions.


title: Latent Space Representation for Shape Analysis and Learning

abstract: We propose a novel shape representation useful for analyzing and processing shape collections, as well for a variety of learning and inference tasks. Unlike most approaches that capture variability in a collection by using a template model or a base shape, we show that it is possible to construct a full shape representation by using the latent space induced by a functional map net- work, allowing us to represent shapes in the context of a collection without the bias induced by selecting a template shape. Key to our construction is a novel analysis of latent functional spaces, which shows that after proper regularization they can be endowed with a natural geometric structure, giving rise to a well-defined, stable and fully informative shape representation. We demonstrate the utility of our representation in shape analysis tasks, such as highlighting the most distorted shape parts in a collection or separating variability modes between shape classes. We further exploit our representation in learning applications by showing how it can naturally be used within deep learning and convolutional neural networks for shape classi cation or reconstruction, signi cantly outperforming existing point-based techniques.


title: CapsGAN: Using Dynamic Routing for Generative Adversarial Networks

abstract: In this paper, we propose a novel technique for generating images in the 3D domain from images with high degree of geometrical transformations. By coalescing two popular concurrent methods that have seen rapid ascension to the machine learning zeitgeist in recent years: GANs (Goodfellow et. al.) and Capsule networks (Sabour, Hinton et. al.) - we present: \textbf{CapsGAN}. We show that CapsGAN performs better than or equal to traditional CNN based GANs in generating images with high geometric transformations using rotated MNIST. In the process, we also show the efficacy of using capsules architecture in the GANs domain. Furthermore, we tackle the Gordian Knot in training GANs - the performance control and training stability by experimenting with using Wasserstein distance (gradient clipping, penalty) and Spectral Normalization. The experimental findings of this paper should propel the application of capsules and GANs in the still exciting and nascent domain of 3D image generation, and plausibly video (frame) generation.


title: End to End Brain Fiber Orientation Estimation using Deep Learning

abstract: In this work, we explore the various Brain Neuron tracking techniques, which is one of the most significant applications of Diffusion Tensor Imaging. Tractography provides us with a non-invasive method to analyze underlying tissue micro-structure. Understanding the structure and organization of the tissues facilitates us with a diagnosis method to identify any aberrations and provide acute information on the occurrences of brain ischemia or stroke, the mutation of neurological diseases such as Alzheimer, multiple sclerosis and so on. Time if of essence and accurate localization of the aberrations can help save or change a diseased life. Following up with the limitations introduced by the current Tractography techniques such as computational complexity, reconstruction errors during tensor estimation and standardization, we aim to elucidate these limitations through our research findings. We introduce an end to end Deep Learning framework which can accurately estimate the most probable likelihood orientation at each voxel along a neuronal pathway. We use Probabilistic Tractography as our baseline model to obtain the training data and which also serve as a Tractography Gold Standard for our evaluations. Through experiments we show that our Deep Network can do a significant improvement over current Tractography implementations by reducing the run-time complexity to a significant new level. Our architecture also allows for variable sized input DWI signals eliminating the need to worry about memory issues as seen with the traditional techniques. The advantage of this architecture is that it is perfectly desirable to be processed on a cloud setup and utilize the existing multi GPU frameworks to perform whole brain Tractography in minutes rather than hours. We evaluate our network with Gold Standard and benchmark its performance across several parameters.


title: Approaching central projections in AF-algebras

abstract: Let $A$ be a unital AF-algebra whose Murray-von Neumann order of projections is a lattice. For any two equivalence classes $[p]$ and $[q]$ of projections we write $[p]\sqsubseteq [q]$ iff for every primitive ideal $\mathfrak p$ of $A$ either $p/\mathfrak p\preceq q/\mathfrak p\preceq (1- q)/\mathfrak p$ or $p/\mathfrak p\succeq q/\mathfrak p \succeq (1-q)/\mathfrak p.$ We prove that $p$ is central iff $[p]$ is $\sqsubseteq$-minimal iff $[p]$ is a characteristic element in $K_0(A)$. If, in addition, $A$ is liminary, then each extremal state of $K_0(A)$ is discrete, $K_0(A)$ has general comparability, and $A$ comes equipped with a centripetal transformation $[p]\mapsto [p]^\Game$ that moves $p$ towards the center. The number $n(p) $ of $\Game$-steps needed by $[p]$ to reach the center has the monotonicity property $[p]\sqsubseteq [q]\Rightarrow n(p)\leq n(q).$ Our proofs combine the $K_0$-theoretic version of Elliott's classification, the categorical equivalence $\Gamma$ between MV-algebras and unital $\ell$-groups, and \L o\'s ultraproduct theorem for first-order logic.


title: Data learning from big data

abstract: Technology is generating a huge and growing availability of observa tions of diverse nature. This big data is placing data learning as a central scientific discipline. It includes collection, storage, preprocessing, visualization and, essentially, statistical analysis of enormous batches of data. In this paper, we discuss the role of statistics regarding some of the issues raised by big data in this new paradigm and also propose the name of data learning to describe all the activities that allow to obtain relevant knowledge from this new source of information.


title: A Multi-task Deep Learning Architecture for Maritime Surveillance using AIS Data Streams

abstract: In a world of global trading, maritime safety, security and efficiency are crucial issues. We propose a multi-task deep learning framework for vessel monitoring using Automatic Identification System (AIS) data streams. We combine recurrent neural networks with latent variable modeling and an embedding of AIS messages to a new representation space to jointly address key issues to be dealt with when considering AIS data streams: massive amount of streaming data, noisy data and irregular timesampling. We demonstrate the relevance of the proposed deep learning framework on real AIS datasets for a three-task setting, namely trajectory reconstruction, anomaly detection and vessel type identification.


title: State Classification with CNN

abstract: There is a plenty of research going on in field of object recognition, but object state recognition has not been addressed as much. There are many important applications which can utilize object state recognition, such as, in robotics, to decide for how to grab an object. A convolution neural network was designed to classify an image to one of its states. The approach used for training is transfer learning with Inception v3 module of GoogLeNet used as the pre-trained model. The model was trained on images of 18 cooking objects and tested on another set of cooking objects. The model was able to classify those images with 76% accuracy.


title: Determination of the spectral variation origin in high-order harmonic generation in noble gases

abstract: One key parameter in the high-order harmonic generation (HHG) phenomenon is the exact frequency of the generated harmonic field. Its deviation from perfect harmonics of the laser frequency can be explained considering (i) the single-atom laser-matter interaction and (ii) the spectral changes of the driving laser. In this work, we perform an experimental and theoretical study of the causes that generate spectral changes in the HHG radiation. We measured the driving laser spectral shift after high harmonic generation in long medium using a correction factor to take into account the multiple possible HHG initiation distances along the laser path. We separate out the contribution of laser spectral shift from the resultant high harmonic spectral shift in order to elucidate the microscopic effect of spectral shift in HHG. Therefore, in some cases we are able to identify the dominant electron trajectory from the experimental data. Our investigations lead to valuable conclusions about atomic dipole phase contribution to a high harmonic spectral shift. We demonstrate that the significant contribution of a long electron path leads to a high harmonic shift, which differs from that expected from the driving laser. Moreover, we assess the origin of the high-order harmonics spectral broadening and provide an explanation for the narrowest high harmonic spectral width in our experiment.


title: Efficient global optimization of constrained mixed variable problems

abstract: Due to the increasing demand for high performance and cost reduction within the framework of complex system design, numerical optimization of computationally costly problems is an increasingly popular topic in most engineering fields. In this paper, several variants of the Efficient Global Optimization algorithm for costly constrained problems depending simultaneously on continuous decision variables as well as on quantitative and/or qualitative discrete design parameters are proposed. The adaptation that is considered is based on a redefinition of the Gaussian Process kernel as a product between the standard continuous kernel and a second kernel representing the covariance between the discrete variable values. Several parameterizations of this discrete kernel, with their respective strengths and weaknesses, are discussed in this paper. The novel algorithms are tested on a number of analytical test-cases and an aerospace related design problem, and it is shown that they require fewer function evaluations in order to converge towards the neighborhoods of the problem optima when compared to more commonly used optimization algorithms.


title: Optical properties of spin coated and sol-gel dip coated cupric oxide thin films

abstract: Spin coating technique was employed to fabricate CuO films at different spin speeds for different time duration, and they were annealed at different temperatures for different time durations in air. These thin films were characterized using UV Visible spectrometer and solar cell simulator. As the spinning rate increases, the corresponding band gap energy of the thin film increases. However, the annealing temperature does not affect the optical band gap. Moreover, the optical band gap does not depend on the annealing time and spin time. It was observed that the optical band gap decreases with the number of CuO layers. The optical band gap values of CuO thin films were between 1.843 and 1.869 eV. Inclusion of the two additives enhances the photocurrent, photovoltage and efficiency. Photocurrent density can be enhanced from 0.1464 to 1.172 mA per cm2 using the additive ethylene glycol. Properties of CuO films synthesized using sol gel dip coating technique were compared with those of CuO films grown using spin coating method.


title: 31 Glitches in Twelve Radio Pulsars

abstract: Data are gathered from the Parkes pulsar data archive of twelve young radio pulsars, with the intervals of data for each pulsar ranged between 2.8 years and 6.8 years. 31 glitches are identified by using phase connection from "pulsar timing" technology, ranging from $1.7\times10^{-9}$ to $8.5\times10^{-6}$ at the change in relative glitch sizes $\Delta\nu/\nu$, where $\nu=1/P$ is the pulse frequency. 8 post-glitch behaviours of 13 published glitches are updated with 4 exponential recoveries observed. Detecting 18 new glitches has great significance, but only one exponential relaxation was discovered in these new glitches. The bimodal distribution of $\Delta\nu/\nu$, as before, is validated with peaks at $\sim 10^{-6}$ and $\sim 10^{-9}$. Moreover, all exponential decays were observed in large glitches, and have very low $Q$. It takes short time toward the extrapolation of the pre-glitch pulse frequency with the timescale of 40 or 80 days. Besides, most glitches exhibit a linear decrease in slow-down rate $|\dot{\nu}|$ and a permanent change in $\ddot{\nu}$ after glitch. In special, PSR J1341-6220 was detected 4 new glitches to compose a total of 27 glitches, rising in third place of the most actively glitching pulsars known with a glitch rate of $1.17$ glitches per year. Unusual post-glitch behaviours demonstrate long-lasting increase of $\nu$ for hundreds of days in PSR J1112--6103 and PSR J1614--5048.


title: When UEFA rules had inspired unfair behavior on the field

abstract: One of the most serious violations of fairness in sports is when a team has clear incentives to lose a match, which hurt a third, innocent team. This is shown to be not only a theoretical possibility as the recently identified incentive incompatibility of the qualification for UEFA club tournaments created such a situation. In particular, we present that SC Heerenveen was ex-ante interested in losing compared to playing a draw on its last match in the 2011/12 Eredivisie, the highest echelon of professional soccer in the Netherlands. In the absence of perverse incentives, the team would probably make more efforts to kick a goal, and a successful attack would send PSV Eindhoven to the more prestigious UEFA Champions League instead of the UEFA Europa League. Our example may inspire the governing bodies of major sports to consult more with the scientific community, especially before rule changes are implemented.


title: The Fermi-Walker Derivative in Galilean Space

abstract: In this study, we defined Fermi-Walker derivative in Galilean space $\mathbb{G}^3$. Fermi-Walker transport and non-rotating frame by using Fermi- Walker derivative are given in $\mathbb{G}^3$. Being conditions of Fermi-Walker transport and non-rotating frame are investigated along any curve for Frenet frame and Darboux frame.


title: Relaxed Elastic Line On An Oriented Surface In The Galilean Space

abstract: In this paper, we consider the classical variational problem in the Galilean space. we develop the Euler-Lagrange equations for a elastic line on an oriented surface in the Galilean 3-dimensional space $G_3$. Using the varia- tion method, we will try to give some characterization for the solution curve (the elastic line) of energy equation described by the total squared curvature function of a curve on an oriented surface in $G_3$. Finally, we will investigate whether or not the relaxed elastic curves are on a geodesic.


title: Rethinking Radiology: An Analysis of Different Approaches to BraTS

abstract: This paper discusses the deep learning architectures currently used for pixel-wise segmentation of primary and secondary glioblastomas and low-grade gliomas. We implement various models such as the popular UNet architecture and compare the performance of these implementations on the BRATS dataset. This paper will explore the different approaches and combinations, offering an in depth discussion of how they perform and how we may improve upon them using more recent advancements in deep learning architectures.


title: Quantitative Phase Imaging and Artificial Intelligence: A Review

abstract: Recent advances in quantitative phase imaging (QPI) and artificial intelligence (AI) have opened up the possibility of an exciting frontier. The fast and label-free nature of QPI enables the rapid generation of large-scale and uniform-quality imaging data in two, three, and four dimensions. Subsequently, the AI-assisted interrogation of QPI data using data-driven machine learning techniques results in a variety of biomedical applications. Also, machine learning enhances QPI itself. Herein, we review the synergy between QPI and machine learning with a particular focus on deep learning. Further, we provide practical guidelines and perspectives for further development.


title: Revising and Extending the Linear Response Theory for Statistical Mechanical Systems: Evaluating Observables as Predictors and Predictands

abstract: Linear response theory has developed into a formidable set of tools for studying the forced behaviour of a large variety of systems - including out of equilibrium ones. In this paper we provide a new angle on the problem, by studying under which conditions it is possible to perform predictions on the response of a given observable of a system to perturbations, using one or more other observables of the same system as predictors, and thus bypassing the need to know all the details of the acting forcing. Thus, we break the rigid separation between forcing and response, which is key in linear response theory, and revisit the concept of causality. As a result, the surrogate Green functions one constructs for predicting the response of the observable of interest may have support that is not necessarily limited to the nonnegative time axis. This implies that not all observables are equally good as predictands when a given forcing is applied, as result of the properties of their corresponding susceptibility. In particular, problems emerge from the presence of complex zeros. We derive general explicit formulas that, in absence of such pathologies, allow one to reconstruct the response of an observable of interest to N independent forcings by using as predictors N other observables. We provide a thorough test of the theory and of the possible pathologies by using numerical simulations of the paradigmatic Lorenz '96 model. Our results are potentially relevant for problems like the reconstruction of data from proxy signals, like in the case of paleoclimate, and, in general, the analysis of signals and feedbacks in complex systems where our knowledge on the system is limited, as in neurosciences. Our technique might also be useful for reconstructing the response to forcings of a spatially extended system in a given location by looking at the response in a separate location.

categories: cond-mat.stat-mech math.DS nlin.CD physics.ao-ph physics.data-an


title: Transmission of torque at the nanoscale

abstract: In macroscopic mechanical devices torque is transmitted through gearwheels and clutches. In the construction of devices at the nanoscale, torque and its transmission through soft materials will be a key component. However, this regime is dominated by thermal fluctuations leading to dissipation. Here we demonstrate the principle of torque transmission for a disc-like colloidal assembly exhibiting clutch-like behaviour, driven by $27$ particles in optical traps. These are translated on a circular path to form a rotating boundary that transmits torque to additional particles confined to the interior. We investigate this transmission and find that it is determined by solid-like or fluid-like behaviour of the device and a stick-slip mechanism reminiscent of macroscopic gearwheels slipping. The transmission behaviour is predominantly governed by the rotation rate of the boundary and the density of the confined system. We determine the efficiency of our device and thus optimise conditions to maximise power output.


title: Inequalities for quantum divergences and the Audenaert-Datta conjecture

abstract: Given two density matrices $\rho$ and $\sigma$, there are a number of different expressions that reduce to the $\alpha$-R\'enyi relative entropy of $\rho$ with respect to $\sigma$ in the classical case; i.e., when $\rho$ and $\sigma$ commute. Only those expressions for which the Data Processing Inequality (DPI) is valid are of potential interest as quantum divergences in quantum information theory. Audenaert and Datta have made a conjecture on the validity of the DPI for an interesting family of quantum generalizations of the $\alpha$ - R\'enyi relative entropies, the $\alpha-z$ - R\'enyi relative entropies. They and others have contributed to the partial solution of this conjecture. We review the problem, its context, and the methods that have been used to obtain the results that are known at present, presenting a unified treatment of developments that have unfolded in a number of different papers.


title: High-order residual distribution scheme for the time-dependent Euler equations of fluid dynamics

abstract: In the present work, a high order finite element type residual distribution scheme is designed in the framework of multidimensional compressible Euler equations of gas dynamics. The strengths of the proposed approximation rely on the generic spatial discretization of the model equations using a continuous finite element type approximation technique, while avoiding the solution of a large linear system with a sparse mass matrix which would come along with any standard ODE solver in a classical finite element approach to advance the solution in time. In this work, we propose a new Residual Distribution (RD) scheme, which provides an arbitrary explicit high order approximation of the smooth solutions of the Euler equations both in space and time. The design of the scheme via the coupling of the RD formulation \cite{mario,abg} with a Deferred Correction (DeC) type method \cite{shu-dec,Minion2}, allows to have the matrix associated to the update in time, which needs to be inverted, to be diagonal. The use of Bernstein polynomials as shape functions, guarantees that this diagonal matrix is invertible and ensures strict positivity of the resulting diagonal matrix coefficients. This work is the extension of \cite{enumath,Abgrall2017} to multidimensional systems. We have assessed our method on several challenging benchmark problems for one- and two-dimensional Euler equations and the scheme has proven to be robust and to achieve the theoretically predicted high order of accuracy on smooth solutions.


title: Writing Style Invariant Deep Learning Model for Historical Manuscripts Alignment

abstract: Historical manuscript alignment is a widely known problem in document analysis. Finding the differences between manuscript editions is mostly done manually. In this paper, we present a writer independent deep learning model which is trained on several writing styles, and able to achieve high detection accuracy when tested on writing styles not present in training data. We test our model using cross validation, each time we train the model on five manuscripts, and test it on the other two manuscripts, never seen in the training data. We've applied cross validation on seven manuscripts, netting 21 different tests, achieving average accuracy of $\%92.17$. We also present a new alignment algorithm based on dynamic sized sliding window, which is able to successfully handle complex cases.


title: Reconciling Multiple Genes Trees via Segmental Duplications and Losses

abstract: Reconciling gene trees with a species tree is a fundamental problem to understand the evolution of gene families. Many existing approaches reconcile each gene tree independently. However, it is well-known that the evolution of gene families is interconnected. In this paper, we extend a previous approach to reconcile a set of gene trees with a species tree based on segmental macro-evolutionary events, where segmental duplication events and losses are associated with cost $\delta$ and $\lambda$, respectively. We show that the problem is polynomial-time solvable when $\delta \leq \lambda$ (via LCA-mapping), while if $\delta > \lambda$ the problem is NP-hard, even when $\lambda = 0$ and a single gene tree is given, solving a long standing open problem on the complexity of the reconciliation problem. On the positive side, we give a fixed-parameter algorithm for the problem, where the parameters are $\delta/\lambda$ and the number $d$ of segmental duplications, of time complexity $O(\lceil \frac{\delta}{\lambda} \rceil^{d} \cdot n \cdot \frac{\delta}{\lambda})$. Finally, we demonstrate the usefulness of this algorithm on two previously studied real datasets: we first show that our method can be used to confirm or refute hypothetical segmental duplications on a set of 16 eukaryotes, then show how we can detect whole genome duplications in yeast genomes.


title: pp forward elastic scattering amplitudes at 7 and 8 TeV

abstract: We analyse the recent LHC data at 7 and 8 TeV for pp elastic scattering with special attention for the structure of the real part, which is shown to be crucial to describe the differential cross section in the forward region. We determine accurately the position of the zero of the real amplitude, which corresponds to the zero of a theorem by A. Martin.


title: Ergodicity of Invariant Capacity

abstract: In this paper, we investigate capacity preserving transformations and their ergodicity. We show that for any measurable transformation $\theta$ there always exists a $\theta$-invariant capacity. We investigate some limit properties under capacity spaces and then give the concept of ergodicity for a capacity preserving transformation. Based on this definition, we give several characterizations of ergodicity. In particular, we obtain a type of Birkhoff's ergodic theorem and prove that the ergodicity of $\theta$ with respect to an upper probability is equivalent to the strong law of large numbers.


title: Quantum Transport Properties of an Exciton Insulator/Superconductor Hybrid Junction

abstract: We present a theoretical study of electronic transport in a hybrid junction consisting of an excitonic insulator sandwiched between a normal and a superconducting electrode. The normal region is described as a two-band semimetal and the superconducting lead as a two-band superconductor. In the excitonic insulator region, the coupling between carriers in the two bands leads to an excitonic condensate and a gap $\Gamma$ in the quasiparticle spectrum. We identify four different scattering processes at both interfaces. Two types of normal reflection, intra- and inter-band; and two different Andreev reflections, one retro-reflective within the same band and one specular-reflective between the two bands. We calculate the differential conductance of the structure and show the existence of a minimum at voltages of the order of the excitonic gap. Our findings are useful towards the detection of the excitonic condensate and provide a plausible explanation of recent transport experiments on HgTe quantum wells and InAs/GaSb bilayer systems.


title: Real-time coherent diffraction inversion using deep generative networks

abstract: Phase retrieval, or the process of recovering phase information in reciprocal space to reconstruct images from measured intensity alone, is the underlying basis to a variety of imaging applications including coherent diffraction imaging (CDI). Typical phase retrieval algorithms are iterative in nature, and hence, are time-consuming and computationally expensive, precluding real-time imaging. Furthermore, iterative phase retrieval algorithms struggle to converge to the correct solution especially in the presence of strong phase structures. In this work, we demonstrate the training and testing of CDI NN, a pair of deep deconvolutional networks trained to predict structure and phase in real space of a 2D object from its corresponding far-field diffraction intensities alone. Once trained, CDI NN can invert a diffraction pattern to an image within a few milliseconds of compute time on a standard desktop machine, opening the door to real-time imaging.


title: $\ast$-operator frame for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$

abstract: In this paper, a new notion of frames is introduced: $\ast$-operator frame as generalization of $\ast$-frames in Hilbert $C^{\ast}$-modules introduced by A. Alijani and M. A. Dehghan \cite{Ali} and we establish some results.


title: Learning to Estimate Indoor Lighting from 3D Objects

abstract: In this work, we propose a step towards a more accurate prediction of the environment light given a single picture of a known object. To achieve this, we developed a deep learning method that is able to encode the latent space of indoor lighting using few parameters and that is trained on a database of environment maps. This latent space is then used to generate predictions of the light that are both more realistic and accurate than previous methods. To achieve this, our first contribution is a deep autoencoder which is capable of learning the feature space that compactly models lighting. Our second contribution is a convolutional neural network that predicts the light from a single image of a known object. To train these networks, our third contribution is a novel dataset that contains 21,000 HDR indoor environment maps. The results indicate that the predictor can generate plausible lighting estimations even from diffuse objects.


title: The topological trees with extreme Matula numbers

abstract: Denote by $p_m$ the $m$-th prime number ($p_1=2,~p_2=3,~p_3=5,~ p_4=7,~\ldots$). Let $T$ be a rooted tree with branches $T_1,T_2,\ldots,T_r$. The Matula number $M(T)$ of $T$ is $p_{M(T_1)}\cdot p_{M(T_2)}\cdot \ldots \cdot p_{M(T_r)}$, starting with $M(K_1)=1$. This number was put forward half a century ago by the American mathematician David Matula. In this paper, we prove that the star (consisting of a root and leaves attached to it) and the binary caterpillar (a binary tree whose internal vertices form a path starting at the root) have the smallest and greatest Matula number, respectively, over all topological trees (rooted trees without vertices of outdegree $1$) with a prescribed number of leaves -- the extreme values are also derived.


title: Modified Friedmann Equations from Tsallis Entropy

abstract: It was shown by Tsallis and Cirto that thermodynamical entropy of a gravitational system such as black hole must be generalized to the non-additive entropy, which is given by $S_h=\gamma A^{\beta}$, where $A$ is the horizon area and $\beta$ is the nonextensive parameter \cite{Tsa}. In this paper, by taking the entropy associated with the apparent horizon of the Friedmann-Robertson-Walker (FRW) Universe in the form of Tsallis entropy, and assuming the first law of thermodynamics, $dE=T_hdS_h+WdV$, holds on the apparent horizon, we are able to derive the corresponding Friedmann equations describing the dynamics of the universe with any spatial curvature. We also examine the time evolution of the total entropy and show that the generalized second law of thermodynamics is fulfilled in a region enclosed by the apparent horizon. Then, modifying the emergence proposal of gravity proposed by Padmanabhan and calculating the difference between the surface degrees of freedom and the bulk degrees of freedom in a region of space, we again arrive at the modified Friedmann equation of the FRW Universe with any spatial curvature which is the same as one obtained from the first law of thermodynamics. We also study the cosmological consequences of Tsallis cosmology. Interestingly enough, we find that this model can explain simultaneously the late time acceleration in the universe filled with pressureless matter without invoking dark energy, as well as the early deceleration. Besides, the age problem can be circumvented automatically for an accelerated universe and is estimated larger than $3/2$ age of the universe in standard cosmology. For $\beta=2/5$, we find $13.12$ Gyr $< t_0 < 16.32 $ Gyr, which is consistent with recent observations. We also comment on the density perturbation in the context of Tsallis cosmology.


title: Endoscopic navigation in the absence of CT imaging

abstract: Clinical examinations that involve endoscopic exploration of the nasal cavity and sinuses often do not have a reference image to provide structural context to the clinician. In this paper, we present a system for navigation during clinical endoscopic exploration in the absence of computed tomography (CT) scans by making use of shape statistics from past CT scans. Using a deformable registration algorithm along with dense reconstructions from video, we show that we are able to achieve submillimeter registrations in in-vivo clinical data and are able to assign confidence to these registrations using confidence criteria established using simulated data.


title: Sums of series involving central binomial coefficients & harmonic numbers

abstract: This paper contains a number of series whose coefficients are products of central binomial coefficients & harmonic numbers. An elegant sum involving $\zeta(2)$ and two other nice sums appear in the last section.


title: Brazil Nut Effect in Roads that Allow Cars and Motorbikes to Pass Through

abstract: In some countries, cars and motorbikes are allowed to pass through the same road. We observe a phenomenon similar to a Brazil nut effect (BNE) that frequently occurs on such roads, in which motorbikes (representations of small particles) segregate in front of cars (representations of large particles), although the motorbikes are initially located far behind the cars. Deep investigations of the BNE-like phenomena in such roads are reported here, where a combination of aerial views using a quad-copter camera and simulations is studied. We show for the first time that most phenomena observed in common BNEs are also observed in such roads.


title: Aggregating Predictions on Multiple Non-disclosed Datasets using Conformal Prediction

abstract: Conformal Prediction is a machine learning methodology that produces valid prediction regions under mild conditions. In this paper, we explore the application of making predictions over multiple data sources of different sizes without disclosing data between the sources. We propose that each data source applies a transductive conformal predictor independently using the local data, and that the individual predictions are then aggregated to form a combined prediction region. We demonstrate the method on several data sets, and show that the proposed method produces conservatively valid predictions and reduces the variance in the aggregated predictions. We also study the effect that the number of data sources and size of each source has on aggregated predictions, as compared with equally sized sources and pooled data.


title: Urbanization affects peak timing, prevalence, and bimodality of influenza pandemics in Australia: results of a census-calibrated model

abstract: We examine salient trends of influenza pandemics in Australia, a rapidly urbanizing nation. To do so, we implement state-of-the-art influenza transmission and progression models within a large-scale stochastic computer simulation, generated using comprehensive Australian census datasets from 2006, 2011, and 2016. Our results offer a simulation-based investigation of a population's sensitivity to pandemics across multiple historical time points, and highlight three significant trends in pandemic patterns over the years: increased peak prevalence, faster spreading rates, and decreasing spatiotemporal bimodality. We attribute these pandemic trends to increases in two key quantities indicative of urbanization: population fraction residing in major cities, and international air traffic. In addition, we identify features of the pandemic's geographic spread that we attribute to changes in the commuter mobility network. The generic nature of our model and the ubiquity of urbanization trends around the world make it likely for our results to be applicable in other rapidly urbanizing nations.


title: Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August 2017

abstract: Michael Gordon was a pioneer in the field of interactive theorem proving and hardware verification. In the 1970s, he had the vision of formally verifying system designs, proving their correctness using mathematics and logic. He demonstrated his ideas on real-world computer designs. His students extended the work to such diverse areas as the verification of floating-point algorithms, the verification of probabilistic algorithms and the verified translation of source code to correct machine code. He was elected to the Royal Society in 1994, and he continued to produce outstanding research until retirement. His achievements include his work at Edinburgh University helping to create Edinburgh LCF, the first interactive theorem prover of its kind, and the ML family of functional programming languages. He adopted higher-order logic as a general formalism for verification, showing that it could specify hardware designs from the gate level right up to the processor level. It turned out to be an ideal formalism for many problems in computer science and mathematics. His tools and techniques have exerted a huge influence across the field of formal verification.


title: Modeling Time-dependent CO$_2$ Intensities in Multi-modal Energy Systems with Storage

abstract: CO$_2$ emission reduction and increasing volatile renewable energy generation mandate stronger energy sector coupling and the use of energy storage. In such multi-modal energy systems, it is challenging to determine the effect of an individual player's consumption pattern onto overall CO$_2$ emissions. This, however, is often important to evaluate the suitability of local CO$_2$ reduction measures. Due to renewables' volatility, the traditional approach of using annual average CO$_2$ intensities per energy form is no longer accurate, but the time of consumption should be considered. Moreover, CO$_2$ intensities are highly coupled over time and different energy forms due to sector coupling and energy storage. We introduce and compare two novel methods for computing time-dependent CO$_2$ intensities, that address different objectives: the first method determines CO$_2$ intensities of the energy system as is. The second method analyzes how overall CO$_2$ emissions would change in response to infinitesimal demand changes. Given a digital twin of the energy system in form of a linear program, we show how to compute these sensitivities very efficiently. We present the results of both methods for two simulated test energy systems and discuss their different implications.


title: PubMed Labs: An experimental platform for improving biomedical literature search

abstract: PubMed is a freely accessible system for searching the biomedical literature, with approximately 2.5 million users worldwide on an average workday. We have recently developed PubMed Labs (www.pubmed.gov/labs), an experimental platform for users to test new features/tools and provide feedback, which enables us to make more informed decisions about potential changes to improve the search quality and overall usability of PubMed. In doing so, we hope to better meet our user needs in an era of information overload. Another novel aspect of PubMed Labs lies in its mobile-first and responsive layout, which offers better support for accessing PubMed on the increasingly popular use of mobile and small-screen devices. Currently, PubMed Labs only includes a core subset of PubMed functionalities, e.g. search, facets. We encourage users to test PubMed Labs and share their experience with us, based on which we expect to continuously improve PubMed Labs with more advanced features and better user experience.


title: Coherent two-photon emission from hydrogen molecules excited by counter-propagating laser pulses

abstract: We observed two-photon emission signals from the first vibrationally excited state of parahydrogen gas excited coherently by counter-propagating laser pulses. A single narrow-linewidth laser source was used to excite the parahydrogen molecules and induce the two-photon emission process. We measured how the signal energy depended on the detuning, target gas pressure, and input pulse energies. These results are qualitatively consistent with those obtained by numerical simulations based on the Maxwell-Bloch equations with one spatial dimension and one temporal dimension. This study of two-photon emission with counter-propagating injection is an important step toward neutrino mass spectroscopy.


title: An $L^{p}$--approach to the well-posedness of transport equations associated to a regular field

abstract: We investigate transport equations associated to a Lipschitz field on some subspace of $\mathbb{R}^N$ endowedwith a general measure $\mu$ in $L^{p}$-spaces $1 < p <\infty$, extending the results obtained in two previous contributions of the author in the $L^{1}$-context. We notably prove the well-posedness of boundary-value transport problems with a large variety of boundary conditions. New explicit formula for the transport semigroup are in particular given.


title: Physical properties of niobium based intermetallics (Nb3B; B = Os, Pt, Au): a DFT based ab-initio study

abstract: Structural, elastic and electronic band structure properties of A-15 type Nb-based intermetallic compounds Nb3B (B = Os, Pt, Au) have been revisited using first principles calculations based on the density functional theory (DFT). All these show excellent agreement with previous reports. More importantly, electronic bonding, charge density distribution and Fermi surface features have been studied in detail for the first time. Vickers hardness of these compounds is also studied. The Fermi surfaces of Nb3B contain both hole- and electron-like sheets, the features of which change systematically as one move from Os to Au. The electronic charge density distribution implies that Nb3Os, Nb3Pt and Nb3Au have a mixture of ionic and covalent bondings with a substantial metallic contribution. The charge transfer between the atomic species in these compounds has been explained via the Mulliken bond population analysis and the Hirshfeld population analysis. The bonding properties show a good correspondence to the electronic band structure derived electronic density of states (DOS) near the Fermi level. Debye temperature of Nb3B (B = Os, Pt, Au) have been estimated from the elastic constants and show a systematic behavior as a function of the B atomic species. We have discussed implications of the results obtained in this study in details in this paper.


title: Ubiquity in graphs I: Topological ubiquity of trees

abstract: Let $\triangleleft$ be a relation between graphs. We say a graph $G$ is \emph{$\triangleleft$-ubiquitous} if whenever $\Gamma$ is a graph with $nG \triangleleft \Gamma$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \triangleleft \Gamma$, where $\alpha G$ is the disjoint union of $\alpha$ many copies of $G$. The \emph{Ubiquity Conjecture} of Andreae, a well-known open problem in the theory of infinite graphs, asserts that every locally finite connected graph is ubiquitous with respect to the minor relation. In this paper, which is the first of a series of papers making progress towards the Ubiquity Conjecture, we show that all trees are ubiquitous with respect to the topological minor relation, irrespective of their cardinality. This answers a question of Andreae from 1979.


title: Contextual Hourglass Networks for Segmentation and Density Estimation

abstract: Hourglass networks such as the U-Net and V-Net are popular neural architectures for medical image segmentation and counting problems. Typical instances of hourglass networks contain shortcut connections between mirroring layers. These shortcut connections improve the performance and it is hypothesized that this is due to mitigating effects on the vanishing gradient problem and the ability of the model to combine feature maps from earlier and later layers. We propose a method for not only combining feature maps of mirroring layers but also feature maps of layers with different spatial dimensions. For instance, the method enables the integration of the bottleneck feature map with those of the reconstruction layers. The proposed approach is applicable to any hourglass architecture. We evaluated the contextual hourglass networks on image segmentation and object counting problems in the medical domain. We achieve competitive results outperforming popular hourglass networks by up to 17 percentage points.


title: Fully automated primary particle size analysis of agglomerates on transmission electron microscopy images via artificial neural networks

abstract: There is a high demand for fully automated methods for the analysis of primary particle size distributions of agglomerates on transmission electron microscopy images. Therefore, a novel method, based on the utilization of artificial neural networks, was proposed, implemented and validated. The training of the artificial neural networks requires large quantities (up to several hundreds of thousands) of transmission electron microscopy images of agglomerates consisting of primary particles with known sizes. Since the manual evaluation of such large amounts of transmission electron microscopy images is not feasible, a synthesis of lifelike transmission electron microscopy images as training data was implemented. The proposed method can compete with state-of-the-art automated imaging particle size methods like the Hough transformation, ultimate erosion and watershed transformation and is in some cases even able to outperform these methods. It is however still outperformed by the manual analysis.


title: The Gauss-Green theorem in stratified groups

abstract: We lay the foundations for a theory of divergence-measure fields in noncommutative stratified nilpotent Lie groups. Such vector fields form a new family of function spaces, which generalize in a sense the $BV$ fields. They provide the most general setting to establish Gauss-Green formulas for vector fields of low regularity on sets of finite perimeter. We show several properties of divergence-measure fields in stratified groups, ultimately achieving the related Gauss-Green theorem.


title: Hierarchy of GANs for learning embodied self-awareness model

abstract: In recent years several architectures have been proposed to learn embodied agents complex self-awareness models. In this paper, dynamic incremental self-awareness (SA) models are proposed that allow experiences done by an agent to be modeled in a hierarchical fashion, starting from more simple situations to more structured ones. Each situation is learned from subsets of private agent perception data as a model capable to predict normal behaviors and detect abnormalities. Hierarchical SA models have been already proposed using low dimensional sensorial inputs. In this work, a hierarchical model is introduced by means of a cross-modal Generative Adversarial Networks (GANs) processing high dimensional visual data. Different levels of the GANs are detected in a self-supervised manner using GANs discriminators decision boundaries. Real experiments on semi-autonomous ground vehicles are presented.


title: Homogenization Approaches to Multiphase Lattice Random Walks

abstract: This article analyzes several different homogenization approaches to the long-term properties of multiphase lattice random walks, recently introduced by Giona and Cocco, and characterized by different values of the hopping times and of the distance between neighboring sites in each lattice phase. Both parabolic and hyperbolic models are considered. While all the parabolic models deriving from microscopic Langevin equations driven by Wiener processes fail to predict the long-term hydrodynamic behavior observed in lattice models, the discontinuous parabolic model, in which the phase partition coefficient is a-priori imposed, provides the correct answer. The implications of this result as regards the connection between equilibrium constraints and non-equilibrium transport properties is thoroughly addressed.


title: Extended Coulomb liquid of paired hardcore boson model on a pyrochlore lattice

abstract: There is a growing interest in the $U(1)$ Coulomb liquid in both quantum materials in pyrochlore ice and cluster Mott insulators and cold atom systems. We explore a paired hardcore boson model on a pyrochlore lattice. This model is equivalent to the XYZ spin model that was proposed for rare-earth pyrochlores with "dipole-octupole" doublets. Since this model has no sign problem for quantum Monte Carlo (QMC) simulations in a large parameter regime, we carry out both analytical and QMC calculations. We find that the $U(1)$ Coulomb liquid is quite stable and spans a rather large portion of the phase diagram with boson pairing. Moreover, we numerically find thermodynamic evidence that the boson pairing could induce a possible $\mathbb{Z}_2$ liquid in the vicinity of the phase boundary between Coulomb liquid and $\mathbb{Z}_2$ symmetry-broken phase. Besides the materials' relevance with quantum spin ice, we point to quantum simulation with cold atoms on optical lattices.


title: The Galaxy Power Spectrum and Bispectrum in Redshift Space

abstract: We present the complete expression for the next-to-leading (1-loop) order galaxy power spectrum and the leading-order galaxy bispectrum in redshift space in the general bias expansion, or equivalently the effective field theory of biased tracers. We consistently include all line-of-sight dependent selection effects. These are degenerate with many, but not all, of the redshift-space distortion contributions, and have not been consistently derived before. Moreover, we show that, in the framework of effective field theory, a consistent bias expansion in redshift space must include these selection contributions. Physical arguments about the tracer sample considered and its observational selection have to be used to justify neglecting the selection contributions. In summary, the next-to-leading order galaxy power spectrum and leading-order galaxy bispectrum in the general bias expansion are described by 22 parameters, which reduces to 11 parameters if selection effects can be neglected. All contributions to the power spectrum can be written in terms of 28 independent loop integrals.


title: Baselines and a datasheet for the Cerema AWP dataset

abstract: This paper presents the recently published Cerema AWP (Adverse Weather Pedestrian) dataset for various machine learning tasks and its exports in machine learning friendly format. We explain why this dataset can be interesting (mainly because it is a greatly controlled and fully annotated image dataset) and present baseline results for various tasks. Moreover, we decided to follow the very recent suggestions of datasheets for dataset, trying to standardize all the available information of the dataset, with a transparency objective.


title: Sheep identity recognition, age and weight estimation datasets

abstract: Increased interest of scientists, producers and consumers in sheep identification has been stimulated by the dramatic increase in population and the urge to increase productivity. The world population is expected to exceed 9.6 million in 2050. For this reason, awareness is raised towards the necessity of effective livestock production. Sheep is considered as one of the main of food resources. Most of the research now is directed towards developing real time applications that facilitate sheep identification for breed management and gathering related information like weight and age. Weight and age are key matrices in assessing the effectiveness of production. For this reason, visual analysis proved recently its significant success over other approaches. Visual analysis techniques need enough images for testing and study completion. For this reason, collecting sheep images database is a vital step to fulfill such objective. We provide here datasets for testing and comparing such algorithms which are under development. Our collected dataset consists of 416 color images for different features of sheep in different postures. Images were collected fifty two sheep at a range of year from three months to six years. For each sheep, two images were captured for both sides of the body, two images for both sides of the face, one image from the top view, one image for the hip and one image for the teeth. The collected images cover different illumination, quality levels and angle of rotation. The allocated data set can be used to test sheep identification, weigh estimation, and age detection algorithms. Such algorithms are crucial for disease management, animal assessment and ownership.


title: Conjugate Words and Intersections of Geodesics in $H^2$

abstract: We investigate intersections of geodesic lines in $H^2$ and in an associated tree T, proving the following result. Let M be a punctured hyperbolic torus and let $\gamma$ be a closed geodesic in M. Any edge of any triangle formed by distinct geodesic lines in the preimage of $\gamma$ in $H^2$ is shorter then $\gamma$. However, a similar result does not hold in the tree T. Let W be a reduced and cyclically reduced word in $\pi_1(M) = <x,y>$. We construct several examples of triangles in T formed by distinct axes in T stabilized by conjugates of W such that an edge in those triangles is longer than L(W). We also prove that if W overlaps two of its conjugates in such a way that the overlaps cover all of W and the overlaps do not intersect, then there exists a decomposition $W = BC^kI; k > 0$, with B a terminal subword of C and I an initial subword of C.


title: Sturm attractors for quasilinear parabolic equations with singular coefficients

abstract: The goal of this paper is to construct explicitly the global attractors of parabolic equations with singular diffusion coefficients on the boundary, as it was done without the singular term for the semilinear case by Brunovsk'y and Fiedler (1986), generalized by Fiedler and Rocha (1996) and later for quasilinear equa- tions by the author (2017). In particular, we construct heteroclinic connections between hyperbolic equilibria, stating necessary and sufficient conditions for heteroclinics to occur. Such conditions can be computed through a permutation of the equilibria. Lastly, an example is computed yielding the well known Chafee-Infante attractor.


title: Polyethylene naphthalate film as a wavelength shifter in liquid argon detectors

abstract: Liquid argon-based scintillation detectors are important for dark matter searches and neutrino physics. Argon scintillation light is in the vacuum ultraviolet region, making it hard to be detected by conventional means. Polyethylene naphthalate (PEN), an optically transparent thermoplastic polyester commercially available as large area sheets or rolls, is proposed as an alternative wavelength shifter to the commonly-used tetraphenyl butadiene (TPB). By combining the existing literature data and spectrometer measurements relative to TPB, we conclude that the fluorescence yield and timing of both materials may be very close. The evidence collected suggests that PEN is a suitable replacement for TPB in liquid argon neutrino detectors, and is also a promising candidate for dark matter detectors. Advantages of PEN are discussed in the context of scaling-up existing technologies to the next generation of very large ktonne-scale detectors. Its simplicity has a potential to facilitate such scale-ups, revolutionizing the field.

categories: physics.ins-det astro-ph.IM astro-ph.SR hep-ex


title: Control and Readout Software in Superconducting Quantum Computing

abstract: Digital-to-analog converter (DAC) and analog-to-digital converter (ADC) as an important part of the superconducting quantum computer are used to control and readout the qubit states. The complexity of instrument manipulation increases rapidly as the number of qubits grows. Low-speed data transmission, imperfections of realistic instruments and coherent control of qubits are gradually highlighted which have become the bottlenecks in scaling up the number of qubits. To deal with the challenges, we present a solution in this study. Based on client-server (C/S) model, we develop two servers called Readout Server and Control Server for managing self-innovation digitizer, arbitrary waveform generator (AWG) and ultra-precision DC source which enable to implement physical experiments rapidly. Both Control Server and Readout Server consist three parts: resource manager, waveform engine and communication interface. The resource manager maps the resources of separate instruments to a unified virtual instrument and automatically aligns the timing of waveform channels. The waveform engine generates and processes the waveform for AWGs or captures and analyzes the data from digitizers. The communication interface is responsible for sending and receiving data in an efficient manner. We design a simple data link protocol for digitizers and a multi-threaded communication mechanism for AWGs. By using different network optimization strategies, both data transmission speed of digitizers and AWGs reach hundreds of Mbps through a single Gigabit-NIC.


title: Real-Time Betatron Tune Correction with the Precise Measurement of Magnet Current

abstract: The betatron tune, which is defined as the number of transverse oscillations in one turn of a ring accelerator, is one of the most important parameters. An undesired betatron tune increases the amplitude of the transverse oscillation so that many particles are lost from the ring sooner than designed. Since a betatron tune is controlled by the magnetic fields in the ring, the ripple of the magnet current directly displaces the betatron tune from its designated value. We have developed a system that corrects the betatron tune displacement using the measured magnet current at the J-PARC (Japan Proton Accelerator Research Complex) Main Ring. We adopted Field Programmable Gated Arrays (FPGA) to convert from the measured magnet current to the betatron tune in real time. Using the system, we have decreased the fluctuation of the betatron tune from 5.2e-4 to 3.3e-4 at the frequencies less than 250 Hz.


title: Higher-order topological insulators protected by inversion and rotoinversion symmetries

abstract: We prove the existence of higher-order topological insulators in: {\it i}) fourfold rotoinversion invariant bulk crystals, and {\it ii}) inversion-symmetric systems with or without an additional three-fold rotation symmetry. These states of matter are characterized by a non-trivial $\mathbb{Z}_2$ topological invariant, which we define in terms of symmetric hybrid Wannier functions of the filled bands, and can be readily calculated from the knowledge of the crystalline symmetry labels of the bulk band structure. The topological invariant determines the generic presence or absence of protected chiral gapless one-dimensional modes localized at the hinges between conventional gapped surfaces.


title: Inhibition of spreading in quantum random walks due to quenched Poisson-distributed disorder

abstract: We consider a quantum particle (walker) on a line who coherently chooses to jump to the left or right depending on the result of toss of a quantum coin. The lengths of the jumps are considered to be independent and identically distributed quenched Poisson random variables. We find that the spread of the walker is significantly inhibited, whereby it resides in the near-origin region, with respect to the case when there is no disorder. The scaling exponent of the quenched-averaged dispersion of the walker is sub-ballistic but super-diffusive. We also show that the features are universal to a class of sub- and super-Poissonian distributed quenched randomized jumps.


title: BSDEs driven by cylindrical martingales with application to approximate hedging in bond markets

abstract: We consider Lipschitz-type backward stochastic differential equations (BSDEs) driven by cylindrical martingales on the space of continuous functions. We show the existence and uniqueness of the solution of such infinite-dimensional BSDEs and prove that the sequence of solutions of corresponding finite-dimensional BSDEs approximates the original solution. We also consider the hedging problem in bond markets and prove that, for an approximately attainable contingent claim, the sequence of locally risk-minimizing strategies based on small markets converges to the generalized hedging strategy.


title: Optimization of RPCs read-out panel with electromagnetic simulation

abstract: With the upgrade of the RPCs [1]-[2] and the increase of its performances, the study and the optimization of the read-out panel is necessary in order to maintain the signal integrity and to reduce the intrinsic crosstalk. Through Electromagnetic Simulation, performed with CST Studio Suite, new panels design are tested and their crosstalk property are studied. The behavior of different type of panel is shown, in particular a panel with the decoupling strip connected through their characteristic impedance to the ground plane is simulated.


title: The Polarizations of Gravitational Waves

abstract: The direct detection of gravitational waves by LIGO/Virgo opened the possibility to test General Relativity and its alternatives in the high speed, strong field regime. Alternative theories of gravity generally predict more polarizations than General Relativity, so it is important to study the polarization contents of theories of gravity to reveal the nature of gravity. In this talk, we analyzed the polarizations contents of Horndeski theory and $f(R)$ gravity. We found out that in addition to the familiar plus and cross polarizations, a \emph{massless} Horndeski theory predicts an extra transverse polarization, and there is a mix of the pure longitudinal and transverse breathing polarizations in the \emph{massive} Horndeski theory and $f(R)$ gravity. It is possible to use pulsar timing arrays to detect the extra polarizations in these theories. We also pointed out that the classification of polarizations using Newman-Penrose variables cannot be applied to the massive modes. It cannot be used to classify polarizations in Einstein-\ae ther theory or generalized TeVeS theory, either.


title: Adaptive Denoising of Signals with Local Shift-Invariant Structure

abstract: We discuss the problem of adaptive discrete-time signal denoising in the situation where the signal to be recovered admits a "linear oracle" -- an unknown linear estimate that takes the form of convolution of observations with a time-invariant filter. It was shown by Juditsky and Nemirovski (2009) that when the $\ell_2$-norm of the oracle filter is small enough, such oracle can be "mimicked" by an efficiently computable adaptive estimate of the same structure with an observation-driven filter. The filter in question was obtained as a solution to the optimization problem in which the $\ell_\infty$-norm of the Discrete Fourier Transform (DFT) of the estimation residual is minimized under constraint on the $\ell_1$-norm of the filter DFT. In this paper, we discuss a new family of adaptive estimates which rely upon minimizing the $\ell_2$-norm of the estimation residual. We show that such estimators possess better statistical properties than those based on $\ell_\infty$-fit; in particular, we prove oracle inequalities for their $\ell_2$-loss and improved bounds for $\ell_2$- and pointwise losses. The oracle inequalities rely on the "approximate shift-invariance" assumption stating that the signal to be recovered is close to an (unknown) shift-invariant subspace. We also study the relationship of the approximate shift-invariance assumption with the "signal simplicity" assumption introduced in Juditsky and Nemirovski (2009) and discuss the application of the proposed approach to harmonic oscillations denoising.


title: Diffractive double quarkonium production at the LHC

abstract: In this paper we study the inclusive and diffractive double quarkonium production. Based on the nonrelativistic QCD (NRQCD) factorization formalism for the quarkonium production mechanism we estimate the rapidity and transverse momentum dependence of the cross section for the $J/\Psi J/\Psi$ and $\Upsilon \Upsilon$ production in diffractive processes at LHC energies. The contributions of the color-singlet and color-octet channels are estimated and predictions for the total cross sections in the kinematical regions of the LHC experiments are also presented. Our results demonstrate that the contribution of diffractive processes is not negligible and that its study can be useful to test the Resolved Pomeron model.


title: Search for pair production of higgsinos in final states with at least three $b$-tagged jets in $\sqrt{s} = 13$ TeV $pp$ collisions using the ATLAS detector

abstract: A search for pair production of the supersymmetric partners of the Higgs boson (higgsinos $\tilde{H}$) in gauge-mediated scenarios is reported. Each higgsino is assumed to decay to a Higgs boson and a gravitino. Two complementary analyses, targeting high- and low-mass signals, are performed to maximize sensitivity. The two analyses utilize LHC $pp$ collision data at a center-of-mass energy $\sqrt{s} = 13$ TeV, the former with an integrated luminosity of 36.1 fb$^{-1}$ and the latter with 24.3 fb$^{-1}$, collected with the ATLAS detector in 2015 and 2016. The search is performed in events containing missing transverse momentum and several energetic jets, at least three of which must be identified as $b$-quark jets. No significant excess is found above the predicted background. Limits on the cross-section are set as a function of the mass of the $\tilde{H}$ in simplified models assuming production via mass-degenerate higgsinos decaying to a Higgs boson and a gravitino. Higgsinos with masses between 130 and 230 GeV and between 290 and 880 GeV are excluded at the 95% confidence level. Interpretations of the limits in terms of the branching ratio of the higgsino to a $Z$ boson or a Higgs boson are also presented, and a 45% branching ratio to a Higgs boson is excluded for $m_{\tilde{H}} \approx 400$ GeV.


title: Quasi-potential Calculation and Minimum Action Method for Limit Cycle

abstract: We study the noise-induced escape from a stable limit cycle of a non-gradient dynamical system driven by a small additive noise. The fact that the optimal transition path in this case is infinitely long imposes a severe numerical challenge to resolve it in the minimum action method. We first consider the landscape of the quasi-potential near the limit cycle, which characterizes the minimal cost of the noise to drive the system far away form the limit cycle. We derive and compute the quadratic approximation of this quasi-potential near the limit cy- cle in the form of a positive definite solution to a matrix-valued periodic Riccati differential equation on the limit cycle. We then combine this local approxima- tion in the neighbourhood of the limit cycle with the minimum action method applied outside of the neighbourhood. The neighbourhood size is selected to be compatible with the path discretization error. By several numerical examples, we show that this strategy effectively improve the minimum action method to compute the spiral optimal escape path from limit cycles in various systems.


title: Randomized reference models for temporal networks

abstract: Many dynamical systems can be successfully analyzed by representing them as networks. Empirically measured networks and dynamic processes that take place in these situations show heterogeneous, non-Markovian, and intrinsically correlated topologies and dynamics. This makes their analysis particularly challenging. Randomized reference models (RRMs) have emerged as a general and versatile toolbox for studying such systems. Defined as random networks with given features constrained to match those of an input (empirical) network, they may, for example, be used to identify important features of empirical networks and their effects on dynamical processes unfolding in the network. RRMs are typically implemented as procedures that reshuffle an empirical network, making them very generally applicable. However, the effects of most shuffling procedures on network features remain poorly understood, rendering their use nontrivial and susceptible to misinterpretation. Here we propose a unified framework for classifying and understanding microcanonical RRMs (MRRMs) that sample networks with uniform probability. Focusing on temporal networks, we survey applications of MRRMs found in the literature, and we use this framework to build a taxonomy of MRRMs that proposes a canonical naming convention, classifies them, and deduces their effects on a range of important network features. We furthermore show that certain classes of MRRMs may be applied in sequential composition to generate new MRRMs from the existing ones surveyed in this article. We finally provide a tutorial showing how to apply a series of MRRMs to analyze how different network features affect a dynamic process in an empirical temporal network.

categories: physics.soc-ph cs.DM physics.data-an q-bio.QM


title: Robust identification of email tracking: A machine learning approach

abstract: Email tracking allows email senders to collect fine-grained behavior and location data on email recipients, who are uniquely identifiable via their email address. Such tracking invades user privacy in that email tracking techniques gather data without user consent or awareness. Striving to increase privacy in email communication, this paper develops a detection engine to be the core of a selective tracking blocking mechanism in the form of three contributions. First, a large collection of email newsletters is analyzed to show the wide usage of tracking over different countries, industries and time. Second, we propose a set of features geared towards the identification of tracking images under real-world conditions. Novel features are devised to be computationally feasible and efficient, generalizable and resilient towards changes in tracking infrastructure. Third, we test the predictive power of these features in a benchmarking experiment using a selection of state- of-the-art classifiers to clarify the effectiveness of model-based tracking identification. We evaluate the expected accuracy of the approach on out-of-sample data, over increasing periods of time, and when faced with unknown senders.


title: The Influence of One Strategic Agent on the Core of Stable Matchings

abstract: In this work, we analyze the influence of a single strategic agent on the quality of the other agents' matchings in a matching market. We consider a stable matching problem with $n$ men and $n$ women when preferences are drawn uniformly from the possible $(n!)^{2n}$ full ranking options. We focus on the effect of a single woman who reports a modified preferences list in a way that is optimal from her perspective. We show that in this case, the quality of the matching dramatically improves from the other women's perspective. When running the Gale--Shapley men-proposing algorithm, the expected women-rank is $O(\log^4 n)$ and almost surely the average women-rank is $O(\log^{2+\epsilon}n)$, rather than a rank of $O(\frac{n}{\log n})$ in both cases under a truthful regime. On the other hand, almost surely, the average men's rank is no better than $\Omega\left(\frac{n}{\log^{2+\epsilon}n}\right)$, compared to a rank of $O({\log n})$ under a truthful regime. All of the results hold for any matching algorithm that guarantees a stable matching, which suggests that the core convergence observed in real markets may be caused by the strategic behavior of the participants.


title: Cooling by Cooper pair splitting

abstract: The electrons forming a Cooper pair in a superconductor can be spatially separated preserving their spin entanglement by means of quantum dots coupled to both the superconductor and independent normal leads. We investigate the thermoelectric properties of such a Cooper pair splitter and demonstrate that cooling of a reservoir is an indication of non-local correlations induced by the entangled electron pairs. Moreover, we show that the device can be operated as a non-local thermoelectric heat engine. Both as a refrigerator and as a heat engine, the Cooper pair splitter reaches efficiencies close to the thermodynamic bounds. As such, our work introduces an experimentally accessible heat engine and a refrigerator driven by entangled electron pairs in which the role of quantum correlations can be tested.


title: Two-dome superconductivity in FeS induced by a Lifshitz transition

abstract: Among iron chalcogenide superconductors, FeS can be viewed as a simple, highly compressed relative of FeSe without nematic phase and with weaker electronic correlations. Under pressure, however, the superconductivity of stoichiometric FeS disappears and reappears, forming two domes. We perform electronic structure and spin fluctuation theory calculations for tetragonal FeS in order to analyze the nature of the superconducting order parameter. In the random phase approximation we find a gap function with d-wave symmetry at ambient pressure, in agreement with several reports of a nodal superconducting order parameter in FeS. Our calculations show that, as a function of pressure, the superconducting pairing strength decreases until a Lifshitz transition takes place at 4.6 GPa. As a hole pocket with a large density of states appears at the Lifshitz transition, the gap symmetry is altered to sign-changing s-wave. At the same time the pairing strength is severely enhanced and increases up to a new maximum at 5.5 GPa. Therefore, our calculations naturally explain the occurrence of two superconducting domes in FeS.


title: Neonatal EEG Interpretation and Decision Support Framework for Mobile Platforms

abstract: This paper proposes and implements an intuitive and pervasive solution for neonatal EEG monitoring assisted by sonification and deep learning AI that provides information about neonatal brain health to all neonatal healthcare professionals, particularly those without EEG interpretation expertise. The system aims to increase the demographic of clinicians capable of diagnosing abnormalities in neonatal EEG. The proposed system uses a low-cost and low-power EEG acquisition system. An Android app provides single-channel EEG visualization, traffic-light indication of the presence of neonatal seizures provided by a trained, deep convolutional neural network and an algorithm for EEG sonification, designed to facilitate the perception of changes in EEG morphology specific to neonatal seizures. The multifaceted EEG interpretation framework is presented and the implemented mobile platform architecture is analyzed with respect to its power consumption and accuracy.


title: Development of FEB Configuration Test Board for ATLAS NSW Upgrade

abstract: The FEB(front end board) configuration test board is developed aiming at meeting the requirement of testing the new generation ASIC(application-specific integrated circuit) chips and its configuration system for ATLAS NSW(New Small Wheel) upgrade, In this paper, some functions are developed in terms of the configurations of the key chips on the FEB, VMM3 and TDS2 using GBT-SCA. Additionally, a flexible communication protocol is designed, verifying the whole data link. It provides technical reference for prototype FEB key chip configuration and data readout, as well as the final system configuration.


title: Non-Hermitian Kondo effect in ultracold alkaline-earth atoms

abstract: We investigate the Kondo effect in an open quantum system, motivated by recent experiments with ultracold alkaline-earth(-like) atoms. Because of inelastic collisions and the associated atom losses, this system is described by a complex-valued Kondo interaction and provides a non-Hermitian extension of the Kondo problem. We show that the non-Hermiticity induces anomalous reversion of renormalization-group flows which violate the $g$-theorem due to non-unitarity and produce a quantum phase transition unique to non-Hermiticity. Furthermore, we exactly solve the non-Hermitian Kondo Hamiltonian using a generalized Bethe ansatz method and find the critical line consistent with the renormalization-group flow.


title: Non-Perturbative One-Loop Effective Action for QED with Yukawa Couplings

abstract: We derive the one-loop effective action for scalar, pseudoscalar, and electromagnetic fields coupled to a Dirac fermion in an extension of QED with Yukawa couplings. Using the Schwinger proper-time formalism and zeta-function regularization, we calculate the full non-perturbative effective action to one loop in the constant background field approximation. Our result is non-perturbative in the external fields, and goes beyond existing results in the literature which treat only the first non-trivial order involving the pseudoscalar. The result has an even and odd part, which are related to the modulus and phase of the fermion functional determinant. The even contribution to the effective action involves the modulus of the effective Yukawa couplings and is invariant under global chiral transformations while the odd contribution is proportional to the angle between the scalar and pseudoscalar couplings. In different limits the effective action reduces either to the Euler-Heisenberg effective action or the Coleman-Weinberg potential. We also comment on the relationship between the odd part of the effective action and the chiral anomaly in QED.


title: Discrete-time quantum walks generated by aperiodic fractal sequence of space coin operators

abstract: Properties of one dimensional discrete-time quantum walks are sensitive to the presence of inhomogeneities in the substrate, which can be generated by defining position dependent coin operators. Deterministic aperiodic sequences of two or more symbols provide ideal environments where these properties can be explored in a controlled way. This work discusses a two-coin model resulting from the construction rules that lead to the usual fractal Cantor set. Although the fraction of the less frequent coin $\rightarrow 0$ as the size of the chain is increased, it leaves peculiar properties in the walker dynamics. They are characterized by the wave function, from which results for the probability distribution and its variance, as well as the entanglement entropy were obtained. A number of results for different choices of the two coins are presented. The entanglement entropy has shown to be very sensitive to uncover subtle quantum effects present in the model.


title: Introducing the Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics

abstract: Robots have gained relevance in society, increasingly performing critical tasks. Nonetheless, robot security is being underestimated. Robotics security is a complex landscape, which often requires a cross-disciplinar perspective to which classical security lags behind. To address this issue, we present the Robot Security Framework (RSF), a methodology to perform systematic security assessments in robots. We propose, adapt and develop specific terminology and provide guidelines to enable a holistic security assessment following four main layers (Physical, Network, Firmware and Application). We argue that modern robotics should regard as equally relevant internal and external communication security. Finally, we advocate against "security by obscurity". We conclude that the field of security in robotics deserves further research efforts.


title: Adiabatic potentials of cesium $(nD_J)_2$ Rydberg-Rydberg macrodimers

abstract: Electrostatic multipole interactions generate long-range Rydberg-Rydberg macrodimer. We calculate the adiabatic potentials of cesium $(nD_{J})_2$ Rydberg macrodimers for principal quantum numbers $n$ ranging from 56 to 62, for $J=3/2$ and $5/2$, and for the allowed values of the conserved sum of the atomic angular-momentum components along the internuclear axis, $M$. For most combinations $(n, M, J)$ exactly one binding potential exists, which should give rise to Rydberg macrodimer states. We study the dependence of the adiabatic potentials on the size of the two-body basis sets used in the calculation, and on the maximal order, $q_{max}$, of the multipole terms included in the calculation. We determine the binding energies and lengths of the binding adiabatic potentials, and investigate their scaling behaviors as a function of the effective principal quantum number; these parameters are relevant to experimental preparation of Rydberg-atom macrodimers. Avoided crossings between adiabatic potentials affect the well shapes and the scaling behaviors differently in two distinct domains in $n$. We discuss an experimental scheme for preparing $(nD_J)_2$ Rydberg-atom macrodimers using two-color double-resonant photoassociation.


title: Equilibration in fermionic systems

abstract: The time evolution of a finite fermion system towards statistical equilibrium is investigated using analytical solutions of a nonlinear partial differential equation that had been derived earlier from the Boltzmann collision term. The solutions of this fermionic diffusion equation are rederived in closed form, evaluated exactly for simplified initial conditions, and applied to hadron systems at low energies in the MeV-range, as well as to quark systems at relativistic energies in the TeV-range where antiparticle production is abundant. Conservation laws for particle number including created antiparticles, and for the energy are discussed.


title: Parameter estimation for stochastic partial differential equations of second order

abstract: Stochastic partial differential equations of second order with two unknown parameters are studied. Based on ergodicity, two suitable families of minimum constrast estimators are introduced. Strong consistency and asymptotic normality of estimators are proved. The results are applied to hyperbolic equations perturbed by Brownian noise.