title: Optimal electro-mechanical control of the excitonic fine structures of droplet epitaxial quantum dots

abstract: The intrinsic fine structure splittings (FSSs) of the exciton states of semiconductor quantum dots (QDs) are known to be the major obstacle for realizing the QD-based entangled photon pair emitters. In this study, we present a theoretical and computational investigation of the excitonic fine structures of droplet-epitaxial (DE) GaAs/AlGaAs QDs under the electro-mechanical control of micro-machined piezoelectricity actuators. From the group theory analysis with numerical confirmation based on the developed exciton theory, we reveal the general principle for the optimal design of micro-machined actuators whose application on to an elongated QD can certainly suppress its FSS. We show that the use of two independently tuning stresses is sufficient to achieve the FSS-elimination but is not always necessary as widely deemed. The use of a single tuning stress to eliminate the FSS of an elongated QD is possible as long as the crystal structure of the actuator material is in coincidence with that of the QD. As a feasible example, we show that a {\it single} symmetric bi-axial stress naturally generated from the $(001)$ PMN-PT actuator can be used as a single tuning knob to make the full FSS-elimination for elongated DE GaAs QDs.


title: Optimization temperature sensitivity using the optically detected magnetic resonance spectrum of a nitrogen-vacancy center ensemble

abstract: Temperature sensing with nitrogen vacancy (NV) centers using quantum techniques is very promising and further development is expected. Recently, the optically detected magnetic resonance (ODMR) spectrum of a high-density ensemble of the NV centers was reproduced with noise parameters [inhomogeneous magnetic field, inhomogeneous strain (electric field) distribution, and homogeneous broadening] of the NV center ensemble. In this study, we use ODMR to estimate the noise parameters of the NV centers in several diamonds. These parameters strongly depend on the spin concentration. This knowledge is then applied to theoretically predict the temperature sensitivity. Using the diffraction-limited volume of 0.1 micron^3, which is the typical limit in confocal microscopy, the optimal sensitivity is estimated to be around 0.76 mK/Hz^(1/2) with an NV center concentration of 5.0e10^17/cm^3. This sensitivity is much higher than previously reported sensitivities, demonstrating the excellent potential of temperature sensing with NV centers.


title: Hybrid Precoding Based on Non-Uniform Quantization Codebook to Reduce Feedback Overhead in Millimeter Wave MIMO Systems

abstract: In this paper, we focus on the design of the hybrid analog/digital precoding in millimeter wave multiple-input multiple-output (MIMO) systems. To reduce the feedback overhead, we propose two non-uniform quantization (NUQ) codebook based hybrid precoding schemes for two main hybrid precoding implementations, i.e., the full-connected structure and the sub-connected structure. Specifically, we firstly group the angles of the arrive/departure (AOAs/AODs) of the scattering paths into several spatial lobes by exploiting the sparseness property of the millimeter wave in the angular domain, which divides the total angular domain into effective spatial lobes' coverage angles and ineffective coverage angles. Then, we map the quantization bits non-uniformly to different coverage angles and construct NUQ codebooks, where high numbers of quantization bits are employed for the effective coverage angles to quantize AoAs/AoDs and zero quantization bit is employed for ineffective coverage angles. Finally, two low-complexity hybrid analog/digital precoding schemes are proposed based on NUQ codebooks. Simulation results demonstrate that, the proposed two NUQ codebook based hybrid precoding schemes achieve near-optimal spectral efficiencies and show the superiority in reducing the feedback overhead compared with the uniform quantization (UQ) codebook based works, e.g., at least 12.5% feedback overhead could be reduced for a system with 144/36 transmitting/receiving antennas.


title: $SU(1,1|N)$ superconformal mechanics with fermionic gauge symmetry

abstract: We study superpaticle models with fermionic gauge symmetry on the coset spaces of the $SU(1,1|N)$ supergroup. We first construct $SU(1,1|N)$ supersymmetric extension of a particle on $AdS_2$ possessing the $\kappa$-symmetry. Including angular degrees of freedom and extending this model to a superparticle on the $AdS_2\times \mathbb{CP}^{N-1}$ background with two-form flux, one breaks the $\kappa$-symmetry down to a fermionic gauge symmetry with one parameter. A link of the background field configuration to the near horizon black hole geometries is discussed.


title: A Deep Learning Approach for Multimodal Deception Detection

abstract: Automatic deception detection is an important task that has gained momentum in computational linguistics due to its potential applications. In this paper, we propose a simple yet tough to beat multi-modal neural model for deception detection. By combining features from different modalities such as video, audio, and text along with Micro-Expression features, we show that detecting deception in real life videos can be more accurate. Experimental results on a dataset of real-life deception videos show that our model outperforms existing techniques for deception detection with an accuracy of 96.14% and ROC-AUC of 0.9799.


title: Proxyeconomics, the inevitable corruption of proxy-based competition

abstract: When society maintains a competitive system to promote an abstract goal, competition by necessity relies on imperfect proxy measures. For instance profit is used to measure value to consumers, patient volumes to measure hospital performance, or the Journal Impact Factor to measure scientific value. Here we note that \textit{any proxy measure in a competitive societal system becomes a target for the competitors, promoting corruption of the measure}, suggesting a general applicability of what is best known as Campbell's or Goodhart's Law. Indeed, prominent voices have argued that the scientific reproducibility crisis or inaction to the threat of global warming represent instances of such competition induced corruption. Moreover, competing individuals often report that competitive pressures limit their ability to act according to the societal goal, suggesting lock-in. However, despite the profound implications, we lack a coherent theory of such a process. Here we propose such a theory, formalized as an agent based model, integrating insights from complex systems theory, contest theory, behavioral economics and cultural evolution theory. The model reproduces empirically observed patterns at multiple levels. It further suggests that any system is likely to converge towards an equilibrium level of corruption determined by i) the information captured in the proxy and ii) the strength of an intrinsic incentive towards the societal goal. Overall, the theory offers mechanistic insight to subjects as diverse as the scientific reproducibility crisis and the threat of global warming.


title: Dexterous Manipulation Graphs

abstract: We propose the Dexterous Manipulation Graph as a tool to address in-hand manipulation and reposition an object inside a robot's end-effector. This graph is used to plan a sequence of manipulation primitives so to bring the object to the desired end pose. This sequence of primitives is translated into motions of the robot to move the object held by the end-effector. We use a dual arm robot with parallel grippers to test our method on a real system and show successful planning and execution of in-hand manipulation.


title: Laser-controlled field effect in graphene/hexagonal boron nitride heterostructures

abstract: The possibility of modification of the local properties of hexagonal boron nitride (h-BN) by laser irradiation is investigated. Investigations conducted using both Raman spectroscopy and electrostatic force microscopy were performed. Laser light induced modifications are found to cause no structural changes. However, they have impact on Raman spectra and local charge state of the material. They are also shown to be stable in time and during electrical grounding of the sample. The mechanism of photoionization of deep defects present in h-BN is proposed to explain the observed phenomenon. The discussed effect opens up new method of nanostructurization of h-BN based planar heterostructures.


title: Fast prediction and evaluation of eccentric inspirals using reduced-order models

abstract: A large number of theoretically predicted waveforms are required by matched-filtering searches for the gravitational-wave signals produced by compact binary coalescence. In order to substantially alleviate the computational burden in gravitational-wave searches and parameter estimation without degrading the signal detectability, we propose a novel reduced-order-model (ROM) approach with applications to adiabatic 3PN-accurate inspiral waveforms of sources that evolve on either highly or slightly eccentric orbits. We provide a singular-value decomposition-based reduced-basis method in the frequency domain to generate reduced-order approximations of any gravitational waves with acceptable accuracy and precision within the parameter range of the model. We construct efficient reduced bases comprised of a relatively small number of the most relevant waveforms over 3-dimensional parameter-space covered by the template bank (total mass $2.15M_{\odot} \leq M \leq 215M_{\odot}$, mass ratio $0.01 \leq q \leq 1$, and initial orbital eccentricity $0 \leq e_{0} \leq 0.95$). The ROM is designed to predict signals in the frequency band from 10 Hz to 2 kHz for aLIGO and aVirgo design sensitivity. Beside moderating the data reduction, finer sampling of fiducial templates improves the accuracy of surrogates. Considerable increase in the speedup from several hundreds to thousands can be achieved by evaluating surrogates for low-mass systems especially when combined with high-eccentricity.


title: Induced-Gravity GUT-Scale Higgs Inflation in Supergravity

abstract: Models of induced-gravity inflation are formulated within Supergravity employing as inflaton the Higgs field which leads to a spontaneous breaking of a U(1)B-L symmetry at Mgut=2x10^16 GeV. We use a renormalizable superpotential, fixed by a U(1) R symmetry, and Kahler potentials which exhibit a quadratic non-minimal coupling to gravity with or without an independent kinetic mixing in the inflaton sector. In both cases we find inflationary solutions of Starobinsky type whereas in the latter case, others (more marginal) which resemble those of linear inflation arise too. In all cases the inflaton mass is predicted to be of the order of 10^13~GeV. Extending the superpotential of the model with suitable terms, we show how the MSSM mu parameter can be generated. Also, non-thermal leptogenesis can be successfully realized, provided that the gravitino is heavier than about 10 TeV.


title: Floquet topological phases in a spin-1/2 double kicked rotor

abstract: The double kicked rotor model is a physically realizable extension of the paradigmatic kicked rotor model in the study of quantum chaos. Even before the concept of Floquet topological phases became widely known, the discovery of the Hofstadter butterfly spectrum in the double kicked rotor model [J. Wang and J. Gong, Phys. Rev. A 77, 031405 (2008)] already suggested the importance of periodic driving to the generation of unconventional topological matter. In this work, we explore Floquet topological phases of a double kicked rotor with an extra spin-1/2 degree of freedom. The latter has been experimentally engineered in a quantum kicked rotor recently by loading Rb87 condensates into a periodically pulsed optical lattice. Under the on-resonance condition, the spin-1/2 double kicked rotor admits fruitful topological phases due to the interplay between its external and internal degrees of freedom. Each of these topological phases is characterized by a pair of winding numbers, whose combination predicts the number of topologically protected 0 and \pi-quasienergy edge states in the system. Topological phases with arbitrarily large winding numbers can be easily found by tuning the kicking strength. We discuss an experimental proposal to realize this model in kicked Rb87 condensates, and suggest to detect its topological invariants by measuring the mean chiral displacement in momentum space.


title: The $p$-Gelfand Phillips Property in Spaces of Operators and Dunford-Pettis like sets

abstract: The $p$-Gelfand Phillips property ($1\le p<\infty$) is studied in spaces of operators. Dunford - Pettis type like sets are studied in Banach spaces. We discuss Banach spaces $X$ with the property that every $p$-convergent operator $T:X\to Y$ is weakly compact, for every Banach space $Y$.


title: Quantum Interference Controls the Electron Spin Dynamics in n-GaAs

abstract: Manifestations of quantum interference effects in macroscopic objects are rare. Weak localization is one of the few examples of such effects showing up in the electron transport through solid state. Here we show that weak localization becomes prominent also in optical spectroscopy via detection of the electron spin dynamics. In particular, we find that weak localization controls the free electron spin relaxation in semiconductors at low temperatures and weak magnetic fields by slowing it down by almost a factor of two in $n$-doped GaAs in the metallic phase. The weak localization effect on the spin relaxation is suppressed by moderate magnetic fields of about 1 T, which destroy the interference of electron trajectories, and by increasing the temperature. The weak localization suppression causes an anomalous decrease of the longitudinal electron spin relaxation time $T_1$ with magnetic field, in stark contrast with well-known magnetic field induced increase in $T_1$. This is consistent with transport measurements which show the same variation of resistivity with magnetic field. Our discovery opens a vast playground to explore quantum magneto-transport effects optically in the spin dynamics.


title: Joint Training for Neural Machine Translation Models with Monolingual Data

abstract: Monolingual data have been demonstrated to be helpful in improving translation quality of both statistical machine translation (SMT) systems and neural machine translation (NMT) systems, especially in resource-poor or domain adaptation tasks where parallel data are not rich enough. In this paper, we propose a novel approach to better leveraging monolingual data for neural machine translation by jointly learning source-to-target and target-to-source NMT models for a language pair with a joint EM optimization method. The training process starts with two initial NMT models pre-trained on parallel data for each direction, and these two models are iteratively updated by incrementally decreasing translation losses on training data. In each iteration step, both NMT models are first used to translate monolingual data from one language to the other, forming pseudo-training data of the other NMT model. Then two new NMT models are learnt from parallel data together with the pseudo training data. Both NMT models are expected to be improved and better pseudo-training data can be generated in next step. Experiment results on Chinese-English and English-German translation tasks show that our approach can simultaneously improve translation quality of source-to-target and target-to-source models, significantly outperforming strong baseline systems which are enhanced with monolingual data for model training including back-translation.


title: Poisson cylinders in hyperbolic space

abstract: We consider the Poisson cylinder model in $d$-dimensional hyperbolic space. We show that in contrast to the Euclidean case, there is a phase transition in the connectivity of the collection of cylinders as the intensity parameter varies. We also show that for any non-trivial intensity, the diameter of the collection of cylinders is infinite.


title: Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems

abstract: Motivated by the need for adaptive, secure and responsive scheduling in a great range of computing applications, including human-centered and time-critical applications, this paper proposes a scheduling framework that seamlessly adds resource-awareness to any parallel application. In particular, we introduce a learning-based framework for dynamic placement of parallel threads to Non-Uniform Memory Access (NUMA) architectures. Decisions are taken independently by each thread in a decentralized fashion that significantly reduces computational complexity. The advantage of the proposed learning scheme is the ability to easily incorporate any multi-objective criterion and easily adapt to performance variations during runtime. Under the multi-objective criterion of maximizing total completed instructions per second (i.e., both computational and memory-access instructions), we provide analytical guarantees with respect to the expected performance of the parallel application. We also compare the performance of the proposed scheme with the Linux operating system scheduler in an extensive set of applications, including both computationally and memory intensive ones. We have observed that performance improvement could be significant especially under limited availability of resources and under irregular memory-access patterns.


title: Localizing Faults in Cloud Systems

abstract: By leveraging large clusters of commodity hardware, the Cloud offers great opportunities to optimize the operative costs of software systems, but impacts significantly on the reliability of software applications. The lack of control of applications over Cloud execution environments largely limits the applicability of state-of-the-art approaches that address reliability issues by relying on heavyweight training with injected faults. In this paper, we propose \emph(LOUD}, a lightweight fault localization approach that relies on positive training only, and can thus operate within the constraints of Cloud systems. \emph{LOUD} relies on machine learning and graph theory. It trains machine learning models with correct executions only, and compensates the inaccuracy that derives from training with positive samples, by elaborating the outcome of machine learning techniques with graph theory algorithms. The experimental results reported in this paper confirm that \emph{LOUD} can localize faults with high precision, by relying only on a lightweight positive training.


title: Cross-lingual and Multilingual Speech Emotion Recognition on English and French

abstract: Research on multilingual speech emotion recognition faces the problem that most available speech corpora differ from each other in important ways, such as annotation methods or interaction scenarios. These inconsistencies complicate building a multilingual system. We present results for cross-lingual and multilingual emotion recognition on English and French speech data with similar characteristics in terms of interaction (human-human conversations). Further, we explore the possibility of fine-tuning a pre-trained cross-lingual model with only a small number of samples from the target language, which is of great interest for low-resource languages. To gain more insights in what is learned by the deployed convolutional neural network, we perform an analysis on the attention mechanism inside the network.


title: Could a Hexagonal Sunspot Have Been Observed During the Maunder Minimum?

abstract: The Maunder Minimum was the period between 1645 and 1715 whose main characteristic was abnormally low and prolonged solar activity. However, some authors have doubted this low level of solar activity during that period by questioning the accuracy and objectivity of the observers. This work presents a particular case of a sunspot observed during the Maunder Minimum with an unusual shape of its umbra and penumbra: a hexagon. This sunspot was observed by Cassini in November 1676, just at the core of the Maunder Minimum. This historical observation is compared with a twin case that occurred recently in May 2016. The conclusion reached is that Cassini's record is another example of the good quality observations made during the Maunder Minimum, showing the meticulousness of the astronomers of that epoch. This sunspot observation made by Cassini does not support the conclusions of Zolotova and Ponyavin (Astrophys. J. 800, 42, 2015) that professional astronomers in the 17th century only registered round sunspots. Finally, a discussion is given of the importance of this kind of unusual sunspot record for a better assessment of the true level of solar activity in the Maunder Minimum.


title: A correlation-hole approach to the electric double layer with counter-ions only

abstract: We study a classical system of identically charged counter-ions near a planar wall carrying a uniform surface charge density. The equilibrium statistical mechanics of the system depends on a single dimensionless coupling parameter. A new self-consistent theory of the correlation-hole type is proposed which leads to a modified Poisson-Boltzmann integral equation for the density profile, convenient for analytical progress and straightforward to solve numerically. The exact density profiles are recovered in the limits of weak and strong couplings. In contrast to previous theoretical attempts of the test-charge family, the density profiles fulfill the contact-value theorem at all values of the coupling constant, and exhibit the mean-field decay at asymptotically large distances from the wall, as expected. We furthermore show that the density corrections at large couplings exhibit the proper dependence on coupling parameter and distance to the charged wall. The numerical results for intermediate values of the coupling provide accurate density profiles which are in good agreement with those obtained by Monte-Carlo simulations. The crossover to mean-field behavior at large distance is studied in detail.


title: Computing Bayes factors to measure evidence from experiments: An extension of the BIC approximation

abstract: Bayesian inference affords scientists with powerful tools for testing hypotheses. One of these tools is the Bayes factor, which indexes the extent to which support for one hypothesis over another is updated after seeing the data. Part of the hesitance to adopt this approach may stem from an unfamiliarity with the computational tools necessary for computing Bayes factors. Previous work has shown that closed form approximations of Bayes factors are relatively easy to obtain for between- groups methods, such as an analysis of variance or t-test. In this paper, I extend this approximation to develop a formula for the Bayes factor that directly uses information that is typically reported for ANOVAs (e.g., the F ratio and degrees of freedom). After giving two examples of its use, I report the results of simulations which show that even with minimal input, this approximate Bayes factor produces similar results to existing software solutions.


title: Conjugacy in Patience Sorting monoids

abstract: The cyclic shift graph of a monoid is the graph whose vertices are the elements of the monoid and whose edges connect elements that are cyclic shift related. The Patience Sorting algorithm admits two generalizations to words, from which two kinds of monoids arise, the $\mathrm{rps}$ monoid and the $\mathrm{lps}$ (also known as Bell) monoid. Like other monoids arising from combinatorial objects such as the plactic and the sylvester, the connected components of the cyclic shift graph of the $\mathrm{rps}$ monoid consists of elements that have the same number of each of its composing symbols. In this paper, with the aid of the computational tool SageMath, we study the diameter of the connected components from the cyclic shift graph of the $\mathrm{rps}$ monoid. Within the theory of monoids, the cyclic shift relation, among other relations, generalizes the relation of conjugacy for groups. We examine several of these relations for both the $\mathrm{rps}$ and the $\mathrm{lps}$ monoids.


title: Rounding the arithmetic mean value of the square roots of the first $n$ integers

abstract: In this article we study the arithmetic mean value $\Sigma(n)$ of the square roots of the first $n$ integers. For this quantity, we develop an asymptotic expression, and derive a formula for its integer part which has been conjectured recently in the work of M. Merca. Furthermore, we address the numerical evaluation of $\Sigma(n)$ for large $n\gg 1$.


title: Self-testing mutually unbiased bases in the prepare-and-measure scenario

abstract: Mutually unbiased bases (MUBs) constitute the canonical example of incompatible quantum measurements. One standard application of MUBs is the task known as quantum random access code (QRAC), in which classical information is encoded in a quantum system, and later part of it is recovered by performing a quantum measurement. We analyse a specific class of QRACs, known as the $2^{d} \to 1$ QRAC, in which two classical dits are encoded in a $d$-dimensional quantum system. It is known that among rank-1 projective measurements MUBs give the best performance. We show (for every $d$) that this cannot be improved by employing non-projective measurements. Moreover, we show that the optimal performance can only be achieved by measurements which are rank-1 projective and mutually unbiased. In other words, the $2^{d} \to 1$ QRAC is a self-test for a pair of MUBs in the prepare-and-measure scenario. To make the self-testing statement robust we propose measures which characterise how well a pair of (not necessarily projective) measurements satisfies the MUB conditions and show how to estimate these measures from the observed performance. Similarly, we derive explicit bounds on operational quantities like the incompatibility robustness or the amount of uncertainty generated by the uncharacterised measurements. For low dimensions the robustness of our bounds is comparable to that of currently available technology, which makes them relevant for existing experiments. Lastly, our results provide essential support for a recently proposed method for solving the long-standing existence problem of MUBs.


title: Strong and radiative decays of the low-lying $D$-wave singly heavy baryons

abstract: The strong and radiative decays of the low-lying $\lambda$-mode $D$-wave $\Lambda_{c(b)}$, $\Sigma_{c(b)}$, $\Xi_{c(b)}$, $\Xi_{c(b)}'$, and $\Omega_{c(b)}$ baryons are studied in a constituent quark model. Our calculation shows the following: (i) The missing $\lambda$-mode $D$-wave $\Omega_{c(b)}$, $\Lambda_{b}$, and $\Xi_{b}$ baryons have a relatively narrow decay width of a few MeV or a few tens of MeV and their dominant strong and radiative decay channels can be ideal for searching for their signals in future experiments. (ii) The $\lambda$-mode $1D$-wave excitations in the $\Sigma_{c(b)}$ and $\Xi_{c(b)}'$ families appear to have a relatively broad width of $\sim 50-200$ MeV.Most of the $1D$-wave states have large decay rates into the $1P$-wave heavy baryons via the pionic or kaonic strong decay processes, which should be taken seriously in future observations. (iii) Both $\Lambda_c(2860)$ and $\Xi_c(3050)$ seem to favor the $J^P=3/2^+$ excitation $|^2D_{\lambda\lambda} \frac{3}{2}^+ \rangle$ of $\bar{\mathbf{3}}_F$, while both $\Lambda_c(2880)$ and $\Xi_c(3080)$ may be assigned as the $J^P=5/2^+$ excitation $|^2D_{\lambda\lambda} \frac{5}{2}^+ \rangle$ of $\bar{\mathbf{3}}_F$. The nature of $\Xi_c(3050)$ and $\Xi_c(3080)$ could be tested by the radiative transitions $\Xi_c(3055)^0\to \Xi_c(2790)^0 \gamma$ and $\Xi_c(3080)^0 \to \Xi_c(2815)^0 \gamma$, respectively.


title: The generalized Brans-Dicke theory and its cosmology

abstract: A generalized Brans-Dicke (GBD) theory is proposed and studied in this paper. The interesting property has been found in the GBD theory, for example it can naturally solve the problem of \gamma value emerging in f(R) modified gravity without introducing the so-called chameleon mechanism. In addition, it can be found that the GBD theory could solve some problems existing in other theories. (1) The $f(R)$ theory is equivalent to the BD theory with a potential (abbreviated as BDV) for taking a specific value of the BD parameter \omega=0, where the specific choice: \omega=0 is quite exceptional, and it is hard to understand the corresponding absence of the kinetic-energy term for the field. However, fields in the GBD own the non-disappeared dynamical effect. (2) In the double scalar-fields quintom model, it is required to include both the canonical quintessence field and the non-canonical phantom field in order to make the state parameter to cross over w=-1, while several fundamental problems are associated with phantom field, such as the problem of negative kinetic term and the fine-tuning problem, etc. While, in the GBD model, the state parameter of geometrical dark energy can cross over the phantom boundary as achieved in the quintom model, without bearing the problems existing in the quintom model. (3) The GBD theory tends to investigate the physics from the viewpoint of geometry, while the BDV or the two scalar-fields quintom model tends to solve physical problems from the viewpoint of matter. It is possible that several special characteristics of scalar fields could be revealed through studies of geometrical gravity in the GBD. As an example, we investigate the potential V of the BD scalar field, and an effective form of V could be given by studying on the GBD theory. And, it seems that a viable condition for the BD theory could be found.


title: A Catalog of Post-starburst Quasars from Sloan Digital Sky Survey Data Release 7

abstract: We present a catalog of nearby (z $\leq$ 0.5) quasars with significant features of post-starburst stellar populations in their optical spectra, so-called post-starburst quasars, or PSQs. After carefully decomposing spectra from the Sloan Digital Sky Survey (SDSS) Data Release 7 (DR7) Quasar Catalog into quasar and host-galaxy components, we derive a sample of 208 PSQs. Their host-galaxy components have strong H\delta\ absorption ($\rm EW \geq 6 \AA$) indicating a significant contribution of an intermediate-aged stellar population formed in a burst of star formation within the past 1 Gyr, which makes them potentially useful for studying the co-evolution of supermassive black holes and their host galaxies.


title: A Benchmark Problem in Transportation Networks

abstract: In this note, we propose a case study of freeway traffic flow modeled as a hybrid system. We describe two general classes of networks that model flow along a freeway with merging onramps. The admission rate of traffic flow from each onramp is metered via a control input. Both classes of networks are easily scaled to accommodate arbitrary state dimension. The model is discrete-time and possesses piecewise-affine dynamics. Moreover, we present several control objectives that are especially relevant for traffic flow management. The proposed model is flexible and extensible and offers a benchmark for evaluating tools and techniques developed for hybrid systems.


title: An Event-based Diffusion LMS Strategy

abstract: We consider a wireless sensor network consists of cooperative nodes, each of them keep adapting to streaming data to perform a least-mean-squares estimation, and also maintain information exchange among neighboring nodes in order to improve performance. For the sake of reducing communication overhead, prolonging batter life while preserving the benefits of diffusion cooperation, we propose an energy-efficient diffusion strategy that adopts an event-based communication mechanism, which allow nodes to cooperate with neighbors only when necessary. We also study the performance of the proposed algorithm, and show that its network mean error and MSD are bounded in steady state. Numerical results demonstrate that the proposed method can effectively reduce the network energy consumption without sacrificing steady-state network MSD performance significantly.


title: Two-qubit causal structures and the geometry of positive qubit-maps

abstract: We study quantum causal inference in a set-up proposed by Ried et al. [Nat. Phys. 11, 414 (2015)] in which a common-cause scenario can be mixed with a cause-effect scenario, and for which it was found that quantum mechanics can bring an advantage in distinguishing the two scenarios: Whereas in classical statistics, interventions such as randomized trials are needed, a quantum observational scheme can be enough to detect the causal structure if the common cause results from a maximally entangled state. We analyze this setup in terms of the geometry of unital positive but not completely positive qubit-maps, arising from the mixture of qubit-channels and steering maps. We find the range of mixing parameters that can generate given correlations, and prove a quantum advantage in a more general setup, allowing arbitrary unital channels and initial states with fully mixed reduced states. This is achieved by establishing new bounds on signed singular values of sums of matrices. Based on the geometry, we quantify and identify the origin of the quantum advantage depending on the observed correlations, and discuss how additional constraints can lead to a unique solution of the problem.


title: Exploiting the Potential of Standard Convolutional Autoencoders for Image Restoration by Evolutionary Search

abstract: Researchers have applied deep neural networks to image restoration tasks, in which they proposed various network architectures, loss functions, and training methods. In particular, adversarial training, which is employed in recent studies, seems to be a key ingredient to success. In this paper, we show that simple convolutional autoencoders (CAEs) built upon only standard network components, i.e., convolutional layers and skip connections, can outperform the state-of-the-art methods which employ adversarial training and sophisticated loss functions. The secret is to employ an evolutionary algorithm to automatically search for good architectures. Training optimized CAEs by minimizing the $\ell_2$ loss between reconstructed images and their ground truths using the ADAM optimizer is all we need. Our experimental results show that this approach achieves 27.8 dB peak signal to noise ratio (PSNR) on the CelebA dataset and 40.4 dB on the SVHN dataset, compared to 22.8 dB and 33.0 dB provided by the former state-of-the-art methods, respectively.


title: Possible three-dimensional nematic odd-parity superconductivity in Sr$_2$RuO$_4$

abstract: The superconducting pairing in Sr$_2$RuO$_4$ is widely considered to be chiral $p$-wave with $\vec{d}_{\boldsymbol k} \sim (k_x + ik_y)\hat{z}$, which belongs to the $E_u$ representation of the crystalline $D_{4h}$ group. However, this superconducting order appears hard to reconcile with a number of key experiments. In this paper, based on symmetry analysis we discuss the possibility of odd-parity pairing with inherent three-dimensional (3D) character enforced by the inter-orbital interlayer coupling and the sizable spin-orbit coupling (SOC) in the material. We focus on a yet unexplored $E_u$ pairing, which contains finite $(k_z \hat x$, $k_z \hat y)$-component in the gap function. Under appropriate circumstances a novel time-reversal invariant nematic pairing can be realized. This nematic superconducting state could make contact with some puzzling observations on Sr$_2$RuO$_4$, such as the absence of spontaneous edge current and no evidences of split transitions under uniaxial strains.


title: Interface induced Zeeman-protected superconductivity in ultrathin crystalline lead films

abstract: Two dimensional (2D) superconducting systems are of great importance to exploring exotic quantum physics. Recent development of fabrication techniques stimulates the studies of high quality single crystalline 2D superconductors, where intrinsic properties give rise to unprecedented physical phenomena. Here we report the observation of Zeeman-type spin-orbit interaction protected superconductivity (Zeeman-protected superconductivity) in 4 monolayer (ML) to 6 ML crystalline Pb films grown on striped incommensurate (SIC) Pb layers on Si(111) substrates by molecular beam epitaxy (MBE). Anomalous large in-plane critical field far beyond the Pauli limit is detected, which can be attributed to the Zeeman-protected superconductivity due to the in-plane inversion symmetry breaking at the interface. Our work demonstrates that in superconducting heterostructures the interface can induce Zeeman-type spin-orbit interaction (SOI) and modulate the superconductivity.


title: Entanglement conditions involving intensity correlations of optical fields: the case of multi-port interferometry

abstract: Normalized quantum Stokes operators introduced in [Phys. Rev. A {\bf 95}, 042113 (2017)] enable one to better observe non-classical correlations of entangled states of optical fields with undefined photon numbers. For a given run of an experiment the new quantum Stokes operators are defined by the differences of the measured intensities (or photon numbers) at the exits of a polarizer divided by their sum. It is this ratio that is to be averaged, and not the numerator and the denominator separately, as it is in the conventional approach. The new approach allows to construct more robust entanglement indicators against photon-loss noise, which can detect entangled optical states in situations in which witnesses using standard Stokes operators fail. Here we show an extension of this approach beyond phenomena linked with polarization. We discuss EPR-like experiments involving correlations produced by optical beams in a multi-mode bright squeezed vacuum state. EPR-inspired entanglement conditions for all prime numbers of modes are presented. The conditions are much more resistant to noise due to photon loss than similar ones which employ standard Glauber-like intensity, correlations.


title: A bootstrap test to detect prominent Granger-causalities across frequencies

abstract: Granger-causality in the frequency domain is an emerging tool to analyze the causal relationship between two time series. We propose a bootstrap test on unconditional and conditional Granger-causality spectra, as well as on their difference, to catch particularly prominent causality cycles in relative terms. In particular, we consider a stochastic process derived applying independently the stationary bootstrap to the original series. Our null hypothesis is that each causality or causality difference is equal to the median across frequencies computed on that process. In this way, we are able to disambiguate causalities which depart significantly from the median one obtained ignoring the causality structure. Our test shows power one as the process tends to non-stationarity, thus being more conservative than parametric alternatives. As an example, we infer about the relationship between money stock and GDP in the Euro Area via our approach, considering inflation, unemployment and interest rates as conditioning variables. We point out that during the period 1999-2017 the money stock aggregate M1 had a significant impact on economic output at all frequencies, while the opposite relationship is significant only at high frequencies.


title: Field-induced ordering in a random-bond quantum spin ladder compound with weak anisotropy

abstract: The field induced quantum phase transitions in the disorder-free and disordered samples of the spin ladder material (CH_3)_2CHNH_3Cu(Cl_{1-x}Br_x)_3 are studied using magnetic calorimetry and magnetic neutron diffraction on single crystal samples. Drastically different critical indexes and correlation lengths in the high field phase are found for two different orientations of the applied field. It is argued that for a field applied along the crystallographic c axis, as in previous studies [1], the transition is best described as an Ising transition in random field and anisotropy, rather than as a magnetic Bose Glass to Bose Condensate transition. [1] Tao Hong, A. Zheludev, H. Manaka, and L.- P. Regnault, Phys. Rev. B 81, 060410 (2010).


title: Orbital, spin and valley contributions to Zeeman splitting of excitonic resonances in MoSe$_2$, WSe$_2$ and WS$_2$ monolayers

abstract: We present a comprehensive optical study of the excitonic Zeeman effects in transition metal dichalcogenide monolayers, which are discussed comparatively for selected materials: MoSe$_2$, WSe$_2$ and WS$_2$. We introduce a simple semi-phenomenological description of the magnetic field evolution of individual electronic states in fundamental sub-bands by considering three additive components: valley, spin and orbital terms. We corroborate the validity of the proposed description by inspecting the Zeeman-like splitting of neutral and charged excitonic resonances in absorption-type spectra. The values of all three terms are estimated based on the experimental data, demonstrating the significance of the valley term for a consistent description of magnetic field evolution of optical resonances, particularly those corresponding to charged states. The established model is further exploited for discussion of magneto-luminescence data. We propose an interpretation of the observed large g-factor values of low energy emission lines, due to so-called bound/localized excitons in tungsten based compounds, based on the brightening mechanisms of dark excitonic states.


title: Measures that define a compact Cauchy transform

abstract: The aim of this work is to provide a geometric characterization of the positive Radon measures $\mu$ with compact support on the plane such that the associated Cauchy transform defines a compact operator from $L^2(\mu)$ to $L^2(\mu).$ It turns out that a crucial role is played by the density of the measure and by its Menger curvature.


title: An Arbitrary-Order Discontinuous Galerkin Method with One Unknown Per Element

abstract: We propose an arbitrary-order discontinuous Galerkin method for second-order elliptic problem on general polygonal mesh with only one degree of freedom per element. This is achieved by locally solving a discrete least-squares over a neighboring element patch. Under a geometrical condition on the element patch, we prove an optimal a priori error estimates for the energy norm and for the L$^2$ norm. The accuracy and the efficiency of the method up to order six on several polygonal meshes are illustrated by a set of benchmark problems.


title: Global analytic solutions of the semiconductor Boltzmann-Dirac-Benney equation with relaxation time approximation

abstract: The global existence of a solution of the semiconductor Boltzmann-Dirac-Benney equation \[ \partial_t f + \nabla\epsilon(p)\cdot\nabla_x f - \nabla \rho_f(x,t)\cdot\nabla_p f = \frac{\mathcal F_\lambda(p)-f}\tau, \quad x\in\mathbb{R}^d,\ p\in B, \ t>0 \] is shown for small $\tau>0$ assuming that the initial data are analytic and sufficiently close to $\mathcal F_\lambda$. This system contains an interaction potential $\rho_f(x,t):=\int_{B}f(x,p,t)dp$ being significantly more singular than the Coulomb potential, which causes major structural difficulties in the analysis. The semiconductor Boltzmann-Dirac-Benney equation is a model for ultracold atoms trapped in an optical lattice. Hence, the dispersion relation is given by $\epsilon(p) = -\sum_{i=1}^d$ $\cos(2\pi p_i)$, $p\in B=\mathbb{T}^d$ due to the optical lattice and the Fermi-Dirac distribution $\mathcal F_\lambda(p)=1/(1+\exp(-\lambda_0-\lambda_1\epsilon(p)))$ describes the equilibrium of ultracold fermionic clouds. This equation is closely related to the Vlasov-Dirac-Benney equation with $\epsilon(p)=\frac{p^2}2$, $p\in B=\mathbb R^d$ and r.h.s$.=0$, where the existence of a global solution is still an open problem. So far, only local existence and ill-posedness results were found for theses systems. The key technique is based of the ideas of Mouhot and Villani by using Gevrey-type norms which vary over time. The global existence result for small initial data is also shown for a far more general setting, namely \[\partial_t f + Lf=Q(f),\] where $L$ is a generator of an $C^0$-group with $\|e^{tL}\|\leq Ce^{\omega t}$ for all $t\in\mathbb R$ and $\omega>0$ and, where further additional analytic properties of $L$ and $Q$ are assumed.


title: Detecting Volcano Deformation in InSAR using Deep learning

abstract: Globally 800 million people live within 100 km of a volcano and currently 1500 volcanoes are considered active, but half of these have no ground-based monitoring. Alternatively, satellite radar (InSAR) can be employed to observe volcanic ground deformation, which has shown a significant statistical link to eruptions. Modern satellites provide large coverage with high resolution signals, leading to huge amounts of data. The explosion in data has brought major challenges associated with timely dissemination of information and distinguishing volcano deformation patterns from noise, which currently relies on manual inspection. Moreover, volcano observatories still lack expertise to exploit satellite datasets, particularly in developing countries. This paper presents a novel approach to detect volcanic ground deformation automatically from wrapped-phase InSAR images. Convolutional neural networks (CNN) are employed to detect unusual patterns within the radar data.


title: Dynamics of vortices in chiral media: the chiral propulsion effect

abstract: We study the motion of vortex filaments in chiral media, and find a semi-classical analog of the anomaly-induced chiral magnetic effect. The helical solitonic excitations on vortices in a parity-breaking medium are found to carry an additional energy flow along the vortex in the direction dictated by the sign of chirality imbalance; we call this new transport phenomenon the Chiral Propulsion Effect (CPE). The dynamics of the filament is described by a modified version of the localized induction equation in the parity-breaking background. We analyze the linear stability of simple vortex configurations, and study the effects of chiral media on the excitation spectrum and the growth rate of the unstable modes. It is also shown that, if the equation of motion of the filament is symmetric under the simultaneous reversal of parity and time, the resulting planar solution cannot transport energy.


title: Early-warning signals for bifurcations in random dynamical systems with bounded noise

abstract: We consider discrete-time one-dimensional random dynamical systems with bounded noise, which generate an associated set-valued dynamical system. We provide necessary and sufficient conditions for a discontinuous bifurcation of a minimal invariant set of the set-valued dynamical system in terms of the derivatives of the so-called extremal maps. We propose an algorithm for reconstructing the derivatives of the extremal maps from a time series that is generated by iterations of the original random dynamical system. We demonstrate that the derivative reconstructed for different parameters can be used as an early-warning signal to detect an upcoming bifurcation, and apply the algorithm to the bifurcation analysis of the stochastic return map of the Koper model, which is a three-dimensional multiple time scale ordinary differential equation used as prototypical model for the formation of mixed-mode oscillation patterns. We apply our algorithm to data generated by this map to detect an upcoming transition.


title: BRST quantization of Yang-Mills theory: A purely Hamiltonian approach on Fock space

abstract: We develop the basic ideas and equations for the BRST quantization of Yang-Mills theories in an explicit Hamiltonian approach, without any reference to the Lagrangian approach at any stage of the development. We present a new representation of ghost fields that combines desirable self-adjointness properties with canonical anticommutation relations for ghost creation and annihilation operators, thus enabling us to characterize the physical states on a well-defined Fock space. The Hamiltonian is constructed by piecing together simple BRST invariant operators to obtain a minimal invariant extension of the free theory. It is verified that the evolution equations implied by the resulting minimal Hamiltonian provide a quantum version of the classical Yang-Mills equations. The modifications and requirements for the inclusion of matter are discussed in detail.


title: Fibres of Failure: Classifying errors in predictive processes

abstract: We describe Fibres of Failure (FiFa), a method to classify failure modes of predictive processes using the Mapper algorithm from Topological Data Analysis. Our method uses Mapper to build a graph model of input data stratified by prediction error. Groupings found in high-error regions of the Mapper model then provide distinct failure modes of the predictive process. We demonstrate FiFa on misclassifications of MNIST images with added noise, and demonstrate two ways to use the failure mode classification: either to produce a correction layer that adjusts predictions by similarity to the failure modes; or to inspect members of the failure modes to illustrate and investigate what characterizes each failure mode.


title: MAGAN: Aligning Biological Manifolds

abstract: It is increasingly common in many types of natural and physical systems (especially biological systems) to have different types of measurements performed on the same underlying system. In such settings, it is important to align the manifolds arising from each measurement in order to integrate such data and gain an improved picture of the system. We tackle this problem using generative adversarial networks (GANs). Recently, GANs have been utilized to try to find correspondences between sets of samples. However, these GANs are not explicitly designed for proper alignment of manifolds. We present a new GAN called the Manifold-Aligning GAN (MAGAN) that aligns two manifolds such that related points in each measurement space are aligned together. We demonstrate applications of MAGAN in single-cell biology in integrating two different measurement types together. In our demonstrated examples, cells from the same tissue are measured with both genomic (single-cell RNA-sequencing) and proteomic (mass cytometry) technologies. We show that the MAGAN successfully aligns them such that known correlations between measured markers are improved compared to other recently proposed models.


title: Context-Aware Learning using Transferable Features for Classification of Breast Cancer Histology Images

abstract: Convolutional neural networks (CNNs) have been recently used for a variety of histology image analysis. However, availability of a large dataset is a major prerequisite for training a CNN which limits its use by the computational pathology community. In previous studies, CNNs have demonstrated their potential in terms of feature generalizability and transferability accompanied with better performance. Considering these traits of CNN, we propose a simple yet effective method which leverages the strengths of CNN combined with the advantages of including contextual information, particularly designed for a small dataset. Our method consists of two main steps: first it uses the activation features of CNN trained for a patch-based classification and then it trains a separate classifier using features of overlapping patches to perform image-based classification using the contextual information. The proposed framework outperformed the state-of-the-art method for breast cancer classification.


title: A General Pipeline for 3D Detection of Vehicles

abstract: Autonomous driving requires 3D perception of vehicles and other objects in the in environment. Much of the current methods support 2D vehicle detection. This paper proposes a flexible pipeline to adopt any 2D detection network and fuse it with a 3D point cloud to generate 3D information with minimum changes of the 2D detection networks. To identify the 3D box, an effective model fitting algorithm is developed based on generalised car models and score maps. A two-stage convolutional neural network (CNN) is proposed to refine the detected 3D box. This pipeline is tested on the KITTI dataset using two different 2D detection networks. The 3D detection results based on these two networks are similar, demonstrating the flexibility of the proposed pipeline. The results rank second among the 3D detection algorithms, indicating its competencies in 3D detection.


title: Learning Filter Scale and Orientation In CNNs

abstract: Convolutional neural networks have many hyperparameters such as the filter size, number of filters, and pooling size, which require manual tuning. Though deep stacked structures are able to create multi-scale and hierarchical representations, manually fixed filter sizes limit the scale of representations that can be learned in a single convolutional layer. This paper introduces a new adaptive filter model that allows variable scale and orientation. The scale and orientation parameters of filters can be learned using back propagation. Therefore, in a single convolution layer, we can create filters of different scale and orientation that can adapt to small or large features and objects. The proposed model uses a relatively large base size (grid) for filters. In the grid, a differentiable function acts as an envelope for the filters. The envelope function guides effective filter scale and shape/orientation by masking the filter weights before the convolution. Therefore, only the weights in the envelope are updated during training. In this work, we employed a multivariate (2D) Gaussian as the envelope function and showed that it can grow, shrink, or rotate by updating its covariance matrix during back propagation training . We tested the new filter model on MNIST, MNIST-cluttered, and CIFAR-10 and compared the results with the networks that used conventional convolution layers. The results demonstrate that the new model can effectively learn and produce filters of different scales and orientations in a single layer. Moreover, the experiments show that the adaptive convolution layers perform equally; or better, especially when data includes objects of varying scale and noisy backgrounds.


title: Poisson Image Denoising Using Best Linear Prediction: A Post-processing Framework

abstract: In this paper, we address the problem of denoising images degraded by Poisson noise. We propose a new patch-based approach based on best linear prediction to estimate the underlying clean image. A simplified prediction formula is derived for Poisson observations, which requires the covariance matrix of the underlying clean patch. We use the assumption that similar patches in a neighborhood share the same covariance matrix, and we use off-the-shelf Poisson denoising methods in order to obtain an initial estimate of the covariance matrices. Our method can be seen as a post-processing step for Poisson denoising methods and the results show that it improves upon several Poisson denoising methods by relevant margins.


title: On the relationship between the diffuse reflection and bounce-back boundary condition in the continuum limit

abstract: In this work, we show that the widely used bounce-back boundary condition is an incomplete form of the diffuse reflection boundary condition at the continuum limit for lattice Boltzmann simulations. By utilizing this fact, we can force the diffuse reflection scheme to work at its continuum limit so that the no-slip boundary condition can be implemented without any non-physical slip velocity error being induced by the standard bounce-back scheme. The revised boundary formulation is validated numerically by solving a pressure-driven channel flow, a lid-driven cavity flow and channel flow around a square cylinder.


title: Image Dataset for Visual Objects Classification in 3D Printing

abstract: The rapid development in additive manufacturing (AM), also known as 3D printing, has brought about potential risk and security issues along with significant benefits. In order to enhance the security level of the 3D printing process, the present research aims to detect and recognize illegal components using deep learning. In this work, we collected a dataset of 61,340 2D images (28x28 for each image) of 10 classes including guns and other non-gun objects, corresponding to the projection results of the original 3D models. To validate the dataset, we train a convolutional neural network (CNN) model for gun classification which can achieve 98.16% classification accuracy.


title: On the spectral unfolding of chaotic and mixed systems

abstract: Random matrix theory (RMT) provides a framework to study the spectral fluctuations in physical systems. RMT is capable of making predictions for the fluctuations only after the removal of the secular properties of the spectrum. Spectral unfolding procedure is used to separate the local level fluctuations from overall energy dependence of the level separation. The unfolding procedure is not unique. Several studies showed that statistics of long-term correlation in the spectrum are very sensitive to the choice of the unfolding function in polynomial unfolding. This can give misleading results regarding the chaoticity of quantum systems. In this letter, we consider the spectra of ordered eigenvalues of large random matrices. We show that the main cause behind the reported sensitivity to the unfolding polynomial degree is the inclusion of specific extreme eigenvalue(s) in the unfolding process.


title: Lifespan of Solution to MHD Boundary Layer Equations with Analytic Perturbation of General Shear Flow

abstract: In this paper, we consider the lifespan of solution to the MHD boundary layer system as an analytic perturbation of general shear flow. By using the cancellation mechanism in the system observed in \cite{LXY1}, the lifespan of solution is shown to have a lower bound in the order of $\varepsilon^{-2+}$ if the strength of the perturbation is of the order of $\varepsilon$. Since there is no restriction on the strength of the shear flow and the lifespan estimate is larger than the one obtained for the classical Prandtl system in this setting, it reveals the stabilizing effect of the magnetic field on the electrically conducting fluid near the boundary.


title: General Non-Commutative Locally Compact Locally Hausdorff Stone Duality

abstract: We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality with an elementary class of inverse semigroups.


title: Fast and robust misalignment correction of Fourier ptychographic microscopy

abstract: Fourier ptychographi cmicroscopy(FPM) is a newly developed computational imaging technique that can provide gigapixel images with both high resolution (HR) and wide field of view (FOV). However, the positional misalignment of the LED array induces a degradation of the reconstruction, especially in the regions away from the optical axis. In this paper, we propose a robust and fast method to correct the LED misalignment of FPM, termed as misalignment correction for FPM (mcFPM). Although different regions in the FOV have different sensitivity to the LED misalignment, the experimental results show that mcFPM is robust to eliminate the degradation in each region. Compared with the state-of-the-art methods, mcFPM is much faster.


title: Speech Enhancement in Adverse Environments Based on Non-stationary Noise-driven Spectral Subtraction and SNR-dependent Phase Compensation

abstract: A two-step enhancement method based on spectral subtraction and phase spectrum compensation is presented in this paper for noisy speeches in adverse environments involving non-stationary noise and medium to low levels of SNR. The magnitude of the noisy speech spectrum is modified in the first step of the proposed method by a spectral subtraction approach, where a new noise estimation method based on the low frequency information of the noisy speech is introduced. We argue that this method of noise estimation is capable of estimating the non-stationary noise accurately. The phase spectrum of the noisy speech is modified in the second step consisting of phase spectrum compensation, where an SNR-dependent approach is incorporated to determine the amount of compensation to be imposed on the phase spectrum. A modified complex spectrum is obtained by aggregating the magnitude from the spectral subtraction step and modified phase spectrum from the phase compensation step, which is found to be a better representation of enhanced speech spectrum. Speech files available in the NOIZEUS database are used to carry extensive simulations for evaluation of the proposed method.


title: Satellite imagery analysis for operational damage assessment in Emergency situations

abstract: When major disaster occurs the questions are raised how to estimate the damage in time to support the decision making process and relief efforts by local authorities or humanitarian teams. In this paper we consider the use of Machine Learning and Computer Vision on remote sensing imagery to improve time efficiency of assessment of damaged buildings in disaster affected area. We propose a general workflow that can be useful in various disaster management applications, and demonstrate the use of the proposed workflow for the assessment of the damage caused by the wildfires in California in 2017.


title: Robust positioning of drones for land use monitoring in strong terrain relief using vision-based navigation

abstract: For land use monitoring, the main problems are robust positioning in urban canyons and strong terrain reliefs with the use of GPS system only. Indeed, satellite signal reflection and shielding in urban canyons and strong terrain relief results in problems with correct positioning. Using GNSS-RTK does not solve the problem completely because in some complex situations the whole satellite's system works incorrectly. We transform the weakness (urban canyons and strong terrain relief) to an advantage. It is a vision-based navigation using a map of the terrain relief. We investigate and demonstrate the effectiveness of this technology in Chinese region Xiaoshan. The accuracy of the vision-based navigation system corresponds to the expected for these conditions. . It was concluded that the maximum position error based on vision-based navigation is 20 m and the maximum angle Euler error based on vision-based navigation is 0.83 degree. In case of camera movement, the maximum position error based on vision-based navigation is 30m and the maximum Euler angle error based on vision-based navigation is 2.2 degrees.


title: Calcium Removal From Cardiac CT Images Using Deep Convolutional Neural Network

abstract: Coronary calcium causes beam hardening and blooming artifacts on cardiac computed tomography angiography (CTA) images, which lead to overestimation of lumen stenosis and reduction of diagnostic specificity. To properly remove coronary calcification and restore arterial lumen precisely, we propose a machine learning-based method with a multi-step inpainting process. We developed a new network configuration, Dense-Unet, to achieve optimal performance with low computational cost. Results after the calcium removal process were validated by comparing with gold-standard X-ray angiography. Our results demonstrated that removing coronary calcification from images with the proposed approach was feasible, and may potentially improve the diagnostic accuracy of CTA.


title: Countable ordinal spaces and compact countable subsets of a metric space

abstract: We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve this goal, we use Transfinite Induction to construct a specific homeomorphism. In addition, we prove that for all metric space $(E,d)$, the cardinality of the set of all the equivalence classes $\mathscr{K}_E$, up to homeomorphisms, of compact countable subsets of $E$ is less than or equal to $\aleph_1$, i.e. $|\mathscr{K}_E| \le \aleph_1$. We also show that for all cardinal number $\kappa$ smaller than or equal to $\aleph_1$, there exists a metric space $(E_{\kappa}, d_{\kappa})$ such that $|\mathscr{K}_{E_{\kappa}}|= \kappa$.


title: Unravelling Robustness of Deep Learning based Face Recognition Against Adversarial Attacks

abstract: Deep neural network (DNN) architecture based models have high expressive power and learning capacity. However, they are essentially a black box method since it is not easy to mathematically formulate the functions that are learned within its many layers of representation. Realizing this, many researchers have started to design methods to exploit the drawbacks of deep learning based algorithms questioning their robustness and exposing their singularities. In this paper, we attempt to unravel three aspects related to the robustness of DNNs for face recognition: (i) assessing the impact of deep architectures for face recognition in terms of vulnerabilities to attacks inspired by commonly observed distortions in the real world that are well handled by shallow learning methods along with learning based adversaries; (ii) detecting the singularities by characterizing abnormal filter response behavior in the hidden layers of deep networks; and (iii) making corrections to the processing pipeline to alleviate the problem. Our experimental evaluation using multiple open-source DNN-based face recognition networks, including OpenFace and VGG-Face, and two publicly available databases (MEDS and PaSC) demonstrates that the performance of deep learning based face recognition algorithms can suffer greatly in the presence of such distortions. The proposed method is also compared with existing detection algorithms and the results show that it is able to detect the attacks with very high accuracy by suitably designing a classifier using the response of the hidden layers in the network. Finally, we present several effective countermeasures to mitigate the impact of adversarial attacks and improve the overall robustness of DNN-based face recognition.


title: On Periodic Solutions to Lagrangian System With Singularities

abstract: A Lagrangian system with singularities is considered. The configuration space is a non-compact manifold that depends on time. A set of periodic solutions has been found.


title: A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability

abstract: In recent years, a number of lightweight programs have been deployed in critical domains, such as in smart contracts based on blockchain technology. Therefore, the security and reliability of such programs should be guaranteed by the most credible technology. Higher-order logic theorem proving is one of the most reliable technologies for verifying the properties of programs. However, programs may be developed by different high-level programming languages, and a general, extensible, and reusable formal memory (GERM) framework that can simultaneously support different formal verification specifications, particularly at the code level, is presently unavailable for verifying the properties of programs. Therefore, the present work proposes a GERM framework to fill this gap. The framework simulates physical memory hardware structure, including a low-level formal memory space, and provides a set of simple, nonintrusive application programming interfaces and assistant tools using Coq that can support different formal verification specifications simultaneously. The proposed GERM framework is independent and customizable, and was verified entirely in Coq. We also present an extension of Curry-Howard isomorphism, denoted as execution-verification isomorphism (EVI), which combines symbolic execution and theorem proving for increasing the degree of automation in higher-order logic theorem proving assistant tools. We also implement a toy functional programming language in a generalized algebraic datatypes style and a formal interpreter in Coq based on the GERM framework. These implementations are then employed to demonstrate the application of EVI to a simple code segment.


title: Deep Defense: Training DNNs with Improved Adversarial Robustness

abstract: Despite the efficacy on a variety of computer vision tasks, deep neural networks (DNNs) are vulnerable to adversarial attacks, limiting their applications in security-critical systems. Recent works have shown the possibility of generating imperceptibly perturbed image inputs (a.k.a., adversarial examples) to fool well-trained DNN classifiers into making arbitrary predictions. To address this problem, we propose a training recipe named "deep defense". Our core idea is to integrate an adversarial perturbation-based regularizer into the classification objective, such that the obtained models learn to resist potential attacks, directly and precisely. The whole optimization problem is solved just like training a recursive network. Experimental results demonstrate that our method outperforms training with adversarial/Parseval regularizations by large margins on various datasets (including MNIST, CIFAR-10 and ImageNet) and different DNN architectures. Code and models for reproducing our results are available at https://github.com/ZiangYan/deepdefense.pytorch


title: Symplectic realisation of electric charge in fields of monopole distributions

abstract: We construct a symplectic realisation of the twisted Poisson structure on the phase space of an electric charge in the background of an arbitrary smooth magnetic monopole density in three dimensions. We use the extended phase space variables to study the classical and quantum dynamics of charged particles in arbitrary magnetic fields by constructing a suitable Hamiltonian that reproduces the Lorentz force law for the physical degrees of freedom. In the source-free case the auxiliary variables can be eliminated via Hamiltonian reduction, while for non-zero monopole densities they are necessary for a consistent formulation and are related to the extra degrees of freedom usually required in the Hamiltonian description of dissipative systems. We obtain new perspectives on the dynamics of dyons and motion in the field of a Dirac monopole, which can be formulated without Dirac strings. We compare our associative phase space formalism with the approach based on nonassociative quantum mechanics, reproducing extended versions of the characteristic translation group three-cocycles and minimal momentum space volumes, and prove that the two approaches are formally equivalent. We also comment on the implications of our symplectic realisation in the dual framework of non-geometric string theory and double field theory.

categories: hep-th math-ph math.MP math.QA math.SG quant-ph


title: Left ventricle segmentation By modelling uncertainty in prediction of deep convolutional neural networks and adaptive thresholding inference

abstract: Deep neural networks have shown great achievements in solving complex problems. However, there are fundamental problems that limit their real world applications. Lack of measurable criteria for estimating uncertainty in the network outputs is one of these problems. In this paper, we address this limitation by introducing deformation to the network input and measuring the level of stability in the network's output. We calculate simple random transformations to estimate the prediction uncertainty of deep convolutional neural networks. For a real use-case, we apply this method to left ventricle segmentation in MRI cardiac images. We also propose an adaptive thresholding method to consider the deep neural network uncertainty. Experimental results demonstrate state-of-the-art performance and highlight the capabilities of simple methods in conjunction with deep neural networks.


title: Yedrouj-Net: An efficient CNN for spatial steganalysis

abstract: For about 10 years, detecting the presence of a secret message hidden in an image was performed with an Ensemble Classifier trained with Rich features. In recent years, studies such as Xu et al. have indicated that well-designed convolutional Neural Networks (CNN) can achieve comparable performance to the two-step machine learning approaches. In this paper, we propose a CNN that outperforms the state-ofthe-art in terms of error probability. The proposition is in the continuity of what has been recently proposed and it is a clever fusion of important bricks used in various papers. Among the essential parts of the CNN, one can cite the use of a pre-processing filterbank and a Truncation activation function, five convolutional layers with a Batch Normalization associated with a Scale Layer, as well as the use of a sufficiently sized fully connected section. An augmented database has also been used to improve the training of the CNN. Our CNN was experimentally evaluated against S-UNIWARD and WOW embedding algorithms and its performances were compared with those of three other methods: an Ensemble Classifier plus a Rich Model, and two other CNN steganalyzers.


title: Quantum models based on finite groups

abstract: We consider a constructive modification of quantum-mechanical formalism. Replacement of a general unitary group by unitary representations of finite groups makes it possible to reproduce quantum formalism without loss of its empirical content. Since any linear representation of a finite group can be implemented as a subrepresentation of a permutation representation, quantum-mechanical problems can be formulated in terms of permutation groups. Reproducing quantum behavior in the framework of permutation representations of finite groups makes it possible to clarify the meaning of a number of physical concepts.


title: A simple proof of the theorem of Sklar and its extension to distribution functions

abstract: In this note we provide a quick proof of the Sklar's Theorem on the existence of copulas by using the generalized inverse functions as in the one dimensional case, but a little more sophisticated.


title: Thermodynamics of Radiation Pressure and Photon Momentum (Part 2)

abstract: We derive some of the properties of blackbody radiation using thermodynamic identities. A few of the results reported earlier (in Part 1 of the present paper) will be re-derived here from a different perspective. We argue that the fluctuations of thermal radiation can be expressed as the sum of two contributions: one resulting from classical considerations in the limit when Planck's constant h_bar goes to zero, and a second one that is rooted in the discrete nature of electromagnetic particles (photons). Johnson noise and the Nyquist theorem will be another topic of discussion, where the role played by blackbody radiation in generating noise within an electronic circuit will be emphasized. In the context of thermal fluctuations, we also analyze the various sources of noise in photodetection, relating the statistics of photo-electron counts to energy-density fluctuations associated with blackbody radiation. The remaining sections of the paper are devoted to an analysis of the thermodynamic properties of a monatomic gas under conditions of thermal equilibrium. This latter part of the paper aims to provide a basis for comparisons between a photon gas and a rarefied gas of identical rigid particles of matter.


title: Generalised Sierpinski Triangles

abstract: The family of Generalised Sierpinski triangles consist of the classical Sierpinski triangle, the previously well investigated Pedal triangle and two new triangular shaped fractal objects denoted by $\triangle FNN$ and $\triangle FFN$. All of the generalised Sierpinski triangles are defined in terms of iterated functions systems (IFS's) found by generalising the classic IFS used for the Sierpinski triangle. In this paper the new IFSs for the two new types of fractal triangles are defined, the dimensions of the triangles are analysed, and applications for pedagogical use and tiling theory discussed.


title: A theory of sequence indexing and working memory in recurrent neural networks

abstract: To accommodate structured approaches of neural computation, we propose a class of recurrent neural networks for indexing and storing sequences of symbols or analog data vectors. These networks with randomized input weights and orthogonal recurrent weights implement coding principles previously described in vector symbolic architectures (VSA), and leverage properties of reservoir computing. In general, the storage in reservoir computing is lossy and crosstalk noise limits the retrieval accuracy and information capacity. A novel theory to optimize memory performance in such networks is presented and compared with simulation experiments. The theory describes linear readout of analog data, and readout with winner-take-all error correction of symbolic data as proposed in VSA models. We find that diverse VSA models from the literature have universal performance properties, which are superior to what previous analyses predicted. Further, we propose novel VSA models with the statistically optimal Wiener filter in the readout that exhibit much higher information capacity, in particular for storing analog data. The presented theory also applies to memory buffers, networks with gradual forgetting, which can operate on infinite data streams without memory overflow. Interestingly, we find that different forgetting mechanisms, such as attenuating recurrent weights or neural nonlinearities, produce very similar behavior if the forgetting time constants are aligned. Such models exhibit extensive capacity when their forgetting time constant is optimized for given noise conditions and network size. These results enable the design of new types of VSA models for the online processing of data streams.


title: Unknot Recognition Through Quantifier Elimination

abstract: Unknot recognition is one of the fundamental questions in low dimensional topology. In this work, we show that this problem can be encoded as a validity problem in the existential fragment of the first-order theory of real closed fields. This encoding is derived using a well-known result on SU(2) representations of knot groups by Kronheimer-Mrowka. We further show that applying existential quantifier elimination to the encoding enables an UnKnot Recogntion algorithm with a complexity of the order $2^{\mathcal{O}(n)}$, where $n$ is the number of crossings in the given knot diagram. Our algorithm is simple to describe and has the same runtime as the currently best known unknot recognition algorithms.


title: Global Regularity of Three-Dimensional Ricci Limit Spaces

abstract: We construct a global homeomorphism from any 3D Ricci limit space to a smooth manifold, that is locally bi-Holder. This extends the recent work of Miles Simon and the second author, and we build upon their techniques. A key step in our proof is the construction of local "pyramid Ricci flows", existing on uniform regions of spacetime, that are inspired by Hochard's partial Ricci flows.


title: A survey on the unconditional convergence and the invertibility of multipliers with implementation

abstract: The paper presents a survey over frame multipliers and related concepts. In particular, it includes a short motivation of why multipliers are of interest to consider, a review as well as extension of recent results, devoted to the unconditional convergence of multipliers, sufficient and/or necessary conditions for the invertibility of multipliers, and representation of the inverse via Neumann-like series and via multipliers with particular parameters. Multipliers for frames with specific structure, namely, Gabor and wavelet multipliers, are also considered. Some of the results for the representation of the inverse multiplier are implemented in Matlab codes and the algorithms are described.


title: Embeddability and quasi-isometric classification of partially commutative groups

abstract: The main goal of this note is to suggest an algebraic approach to the quasi-isometric classification of partially commutative groups (alias right-angled Artin groups). More precisely, we conjecture that if the partially commutative groups $\mathbb{G}(\Delta)$ and $\mathbb{G}(\Gamma)$ are quasi-isometric, then $\mathbb{G}(\Delta)$ is a (nice) subgroup of $\mathbb{G}(\Gamma)$ and vice-versa. We show that the conjecture holds for all known cases of quasi-isometric classification of partially commutative groups, namely for the classes of $n$-tress and atomic graphs. As in the classical Mostow rigidity theory for irreducible lattices, we relate the quasi-isometric rigidity of the class of atomic partially commutative groups with the algebraic rigidity, that is with the co-Hopfian property of their $\mathbb{Q}$-completions.


title: Highly parallelisable simulations of time-dependent viscoplastic fluid flow simulations with structured adaptive mesh refinement

abstract: We present the extension of an efficient and highly parallelisable framework for incompressible fluid flow simulations to viscoplastic fluids. The system is governed by incompressible conservation of mass, the Cauchy momentum equation and a generalised Newtonian constitutive law. In order to simulate a wide range of viscoplastic fluids, we employ the Herschel-Bulkley model for yield-stress fluids with nonlinear stress-strain dependency above the yield limit. We utilise Papanastasiou regularisation in our algorithm to deal with the singularity in apparent viscosity. The resulting system of partial differential equations is solved using the IAMR code (Incompressible Adaptive Mesh Refinement), which uses second-order Godunov methodology for the advective terms and semi-implicit diffusion in the context of an approximate projection method to solve on adaptively refined meshes. By augmenting the IAMR code with the ability to simulate regularised Herschel-Bulkley fluids, we obtain efficient numerical software for time-dependent viscoplastic flow in three dimensions, which can be used to investigate systems not considered previously due to computational expense. We validate results from simulations using this new capability against previously published data for Bingham plastics and power-law fluids in the two-dimensional lid-driven cavity. In doing so, we expand the range of Bingham and Reynolds numbers which have been considered in the benchmark tests. Moreover, extensions to time-dependent flow of Herschel-Bulkley fluids and three spatial dimensions offer new insights into the flow of viscoplastic fluids in this test case, and we provide missing benchmark results for these extensions.


title: An explicit staggered-grid method for numerical simulation of large-scale natural gas pipeline networks

abstract: We present an explicit second order staggered finite difference (FD) discretization scheme for forward simulation of natural gas transport in pipeline networks. By construction, this discretization approach guarantees that the conservation of mass condition is satisfied exactly. The mathematical model is formulated in terms of density, pressure, and mass flux variables, and as a result permits the use of a general equation of state to define the relation between the gas density and pressure for a given temperature. In a single pipe, the model represents the dynamics of the density by propagation of a non-linear wave according to a variable wave speed. We derive compatibility conditions for linking domain boundary values to enable efficient, explicit simulation of gas flows propagating through a network with pressure changes created by gas compressors. We compare Kiuchi's implicit method and an explicit operator splitting method with our staggered grid method, and perform numerical experiments to validate the convergence order of the new method. In addition, we perform several computations to investigate the influence of non-ideal equation of state models and temperature effects into pipeline simulations with boundary conditions over various time and space scales.


title: Technical Report about Tiramisu: a Three-Layered Abstraction for Hiding Hardware Complexity from DSL Compilers

abstract: High-performance DSL developers work hard to take advantage of modern hardware. The DSL compilers have to build their own complex middle-ends before they can target a common back-end such as LLVM, which only handles single instruction streams with SIMD instructions. We introduce Tiramisu, a common middle-end that can generate efficient code for modern processors and accelerators such as multicores, GPUs, FPGAs and distributed clusters. Tiramisu introduces a novel three-level IR that separates the algorithm, how that algorithm is executed, and where intermediate data are stored. This separation simplifies optimization and makes targeting multiple hardware architectures from the same algorithm easier. As a result, DSL compilers can be made considerably less complex with no loss of performance while immediately targeting multiple hardware or hardware combinations such as distributed nodes with both CPUs and GPUs. We evaluated Tiramisu by creating a new middle-end for the Halide and Julia compilers. We show that Tiramisu extends Halide and Julia with many new capabilities including the ability to: express new algorithms (such as recurrent filters and non-rectangular iteration spaces), perform new complex loop nest transformations (such as wavefront parallelization, loop shifting and loop fusion) and generate efficient code for more architectures (such as combinations of distributed clusters, multicores, GPUs and FPGAs). Finally, we demonstrate that Tiramisu can generate very efficient code that matches the highly optimized Intel MKL gemm (generalized matrix multiplication) implementation, we also show speedups reaching 4X in Halide and 16X in Julia due to optimizations enabled by Tiramisu.


title: Tractable and Scalable Schatten Quasi-Norm Approximations for Rank Minimization

abstract: The Schatten quasi-norm was introduced to bridge the gap between the trace norm and rank function. However, existing algorithms are too slow or even impractical for large-scale problems. Motivated by the equivalence relation between the trace norm and its bilinear spectral penalty, we define two tractable Schatten norms, i.e.\ the bi-trace and tri-trace norms, and prove that they are in essence the Schatten-$1/2$ and $1/3$ quasi-norms, respectively. By applying the two defined Schatten quasi-norms to various rank minimization problems such as MC and RPCA, we only need to solve much smaller factor matrices. We design two efficient linearized alternating minimization algorithms to solve our problems and establish that each bounded sequence generated by our algorithms converges to a critical point. We also provide the restricted strong convexity (RSC) based and MC error bounds for our algorithms. Our experimental results verified both the efficiency and effectiveness of our algorithms compared with the state-of-the-art methods.


title: Structural correlations and dependent scattering mechanism on the radiative properties of random media

abstract: The dependent scattering mechanism is known to have a significant impact on the radiative properties of random media containing discrete scatterers. Here we theoretically demonstrate the role of dependent scattering on the radiative properties of disordered media composed of nonabsorbing, dual-dipolar particles. Based on our theoretical formulas for the radiative properties for such media, we investigate the dependent scattering effects, including the effect of modification of the electric and magnetic dipole excitations and the far-field interference effect, both induced and influenced by the structural correlations. We study in detail how the structural correlations play a role in the dependent scattering mechanism by using two types of particle system, i.e., the hard-sphere system and the sticky-hard-sphere system. We show that the inverse stickiness parameter, which controls the interparticle adhesive force and thus the particle correlations, can tune the radiative properties significantly. Particularly, increasing the surface stickiness can result in a higher scattering coefficient and a larger asymmetry factor. The results also imply that in the present system, the far-field interference effect plays a dominant role in the radiative properties while the effect of modification of the electric and magnetic dipole excitations is more subtle. Our study is promising in understanding and manipulating the radiative properties of dual-dipolar random media.


title: Distributed Multivariate Regression Modeling For Selecting Biomarkers Under Data Protection Constraints

abstract: The discovery of clinical biomarkers requires large patient cohorts and is aided by a pooled data approach across institutions. In many countries, data protection constraints, especially in the clinical environment, forbid the exchange of individual-level data between different research institutes, impeding the conduct of a joint analyses. To circumvent this problem, only non-disclosive aggregated data is exchanged, which is often done manually and requires explicit permission before transfer, i.e., the number of data calls and the amount of data should be limited. This does not allow for more complex tasks such as variable selection, as only simple aggregated summary statistics are typically transferred. Other methods have been proposed that require more complex aggregated data or use input data perturbation, but these methods can either not deal with a high number of biomarkers or lose information. Here, we propose a multivariable regression approach for identifying biomarkers by automatic variable selection based on aggregated data in iterative calls, which can be implemented under data protection constraints. The approach can be used to jointly analyze data distributed across several locations. To minimize the amount of transferred data and the number of calls, we also provide a heuristic variant of the approach. When performing global data standardization, the proposed method yields the same results as pooled individual-level data analysis. In a simulation study, the information loss introduced by local standardization is seen to be minimal. In a typical scenario, the heuristic decreases the number of data calls from more than 10 to 3, rendering manual data releases feasible. To make our approach widely available for application, we provide an implementation of the heuristic version incorporated in the DataSHIELD framework.\


title: Strong Convergence of a Stochastic Rosenbrock-type Scheme for the Finite Element Discretization of Semilinear SPDEs Driven by Multiplicative and Additive Noise

abstract: This paper aims to investigate the numerical approximation of a general second order parabolic stochastic partial differential equation(SPDE) driven by multiplicative and additive noise. Our main interest is on such SPDEs where the nonlinear part is stronger than the linear part, usually called stochastic dominated transport equations. Most standard numerical schemes lose their good stability properties on such equations, including the current linear implicit Euler method. We discretise the SPDE in space by the finite element method and propose a new scheme in time appropriate for such equations, called stochastic Rosenbrock-Type scheme, which is based on the local linearisation of the semi-discrete problem obtained after space discretisation. We provide a strong convergence of the new fully discrete scheme toward the exact solution for multiplicative and additive noise. Our convergence rates are in agreement with results in the literature. Numerical experiments to sustain our theoretical results are provided.


title: Autonomic Vehicular Networks: Safety, Privacy, Cybersecurity and Societal Issues

abstract: Safety, efficiency, privacy, and cybersecurity can be achieved jointly in self-organizing networks of communicating vehicles of various automated driving levels. The underlying approach, solutions and novel results are briefly exposed. We explain why we are faced with a crucial choice regarding motorized society and cyber surveillance.


title: Graph Kernels based on High Order Graphlet Parsing and Hashing

abstract: Graph-based methods are known to be successful in many machine learning and pattern classification tasks. These methods consider semi-structured data as graphs where nodes correspond to primitives (parts, interest points, segments, etc.) and edges characterize the relationships between these primitives. However, these non-vectorial graph data cannot be straightforwardly plugged into off-the-shelf machine learning algorithms without a preliminary step of -- explicit/implicit -- graph vectorization and embedding. This embedding process should be resilient to intra-class graph variations while being highly discriminant. In this paper, we propose a novel high-order stochastic graphlet embedding (SGE) that maps graphs into vector spaces. Our main contribution includes a new stochastic search procedure that efficiently parses a given graph and extracts/samples unlimitedly high-order graphlets. We consider these graphlets, with increasing orders, to model local primitives as well as their increasingly complex interactions. In order to build our graph representation, we measure the distribution of these graphlets into a given graph, using particular hash functions that efficiently assign sampled graphlets into isomorphic sets with a very low probability of collision. When combined with maximum margin classifiers, these graphlet-based representations have positive impact on the performance of pattern comparison and recognition as corroborated through extensive experiments using standard benchmark databases.


title: Computing the Cumulative Distribution Function and Quantiles of the limit of the Two-sided Kolmogorov-Smirnov Statistic

abstract: The cumulative distribution and quantile functions for the two-sided one sample Kolmogorov-Smirnov probability distributions are used for goodness-of-fit testing. The CDF is notoriously difficult to explicitly describe and to compute, and for large sample size use of the limiting distribution is an attractive alternative, with its lower computational requirements. No closed form solution for the computation of the quantiles is known. Computing the quantile function by a numeric root-finder for any specific probability may require multiple evaluations of both the CDF and its derivative. Approximations to both the CDF and its derivative can be used to reduce the computational demands. We show that the approximations in use inside the open source SciPy python software result in increased computation, not just reduced accuracy, and cause convergence failures in the root-finding. Then we provide alternate algorithms which restore accuracy and efficiency across the whole domain.


title: The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

abstract: In implementing evaluation strategies of the lambda-calculus, both correctness and efficiency of implementation are valid concerns. While the notion of correctness is determined by the evaluation strategy, regarding efficiency there is a larger design space that can be explored, in particular the trade-off between space versus time efficiency. Aiming at a unified framework that would enable the study of this trade-off, we introduce an abstract machine, inspired by Girard's Geometry of Interaction (GoI), a machine combining token passing and graph rewriting. We show soundness and completeness of our abstract machine, called the \emph{Dynamic GoI Machine} (DGoIM), with respect to three evaluations: call-by-need, left-to-right call-by-value, and right-to-left call-by-value. Analysing time cost of its execution classifies the machine as ``efficient'' in Accattoli's taxonomy of abstract machines.


title: Acceleration of Cosmic Rays in Supernova Shocks: elemental selectivity of the injection mechanism

abstract: Precise measurements of galactic cosmic rays revealed a significant difference between the rigidity spectral indices of protons and helium ions. This finding is a notable contrast to the commonly accepted theoretical prediction that supernova remnant (SNR) shocks accelerate protons and helium ions with the same rigidity alike. Most of the earlier explanations for the "paradox" appealed to SNR environmental factors, such as inhomogeneous $p$/He mixes in the shock upstream medium, variable ionization states of He, or a multi-SNR origin of the observed spectra. The newest observations, however, are in tension with most of them. In this paper, we show by self-consistent hybrid simulations that such special conditions are not vital for the explanation of the cosmic ray rigidity spectra. In particular, our simulations prove that an SNR shock can modify the chemical composition of accelerated cosmic rays by preferentially extracting them from a homogeneous background plasma without additional, largely untestable assumptions. Our results confirm the earlier theoretical predictions of how the efficiency of injection depends on the shock Mach number $M.$ Its increase with the charge-to-mass ratio saturates at a level that grows with $M.$ We have convolved the time-dependent injection rates of protons and helium ions, obtained from the simulations, with a decreasing shock strength over the active life of SNRs. The integrated SNR rigidity spectrum for $p$/He ratio compares well with the AMS-02 and PAMELA data.


title: Learning Human-Aware Path Planning with Fully Convolutional Networks

abstract: This work presents an approach to learn path planning for robot social navigation by demonstration. We make use of Fully Convolutional Neural Networks (FCNs) to learn from expert's path demonstrations a map that marks a feasible path to the goal as a classification problem. The use of FCNs allows us to overcome the problem of manually designing/identifying the cost-map and relevant features for the task of robot navigation. The method makes use of optimal Rapidly-exploring Random Tree planner (RRT*) to overcome eventual errors in the path prediction; the FCNs prediction is used as cost-map and also to partially bias the sampling of the configuration space, leading the planner to behave similarly to the learned expert behavior. The approach is evaluated in experiments with real trajectories and compared with Inverse Reinforcement Learning algorithms that use RRT* as underlying planner.