title: Traffic Flow Combination Forecasting Method Based on Improved LSTM and ARIMA

abstract: Traffic flow forecasting is hot spot research of intelligent traffic system construction. The existing traffic flow prediction methods have problems such as poor stability, high data requirements, or poor adaptability. In this paper, we define the traffic data time singularity ratio in the dropout module and propose a combination prediction method based on the improved long short-term memory neural network and time series autoregressive integrated moving average model (SDLSTM-ARIMA), which is derived from the Recurrent Neural Networks (RNN) model. It compares the traffic data time singularity with the probability value in the dropout module and combines them at unequal time intervals to achieve an accurate prediction of traffic flow data. Then, we design an adaptive traffic flow embedded system that can adapt to Java, Python and other languages and other interfaces. The experimental results demonstrate that the method based on the SDLSTM - ARIMA model has higher accuracy than the similar method using only autoregressive integrated moving average or autoregressive. Our embedded traffic prediction system integrating computer vision, machine learning and cloud has the advantages such as high accuracy, high reliability and low cost. Therefore, it has a wide application prospect.


title: Thawing and Freezing Quintessence Models: A thermodynamic Consideration

abstract: Thawing and freezing quintessence models are compared thermodynamically. Both of them are found to disobey the Generalized Second Law of Thermodynamics. However, for freezing models, there is still a scope as this breakdown occurs in the past, deep inside the radiation dominated era, when a standard scalar field model with a pressureless matter is not a correct description of the matter content. The thawing model has a pathological breakdown in terms of thermodynamics in a finite future.


title: Models of quantum permutations

abstract: For $N\ge 4$ we present a series of *-homomorphisms $\varphi_n:C(S_N^+)\rightarrow B_n$ where $S_N^+$ is the quantum permutation group. They are not necessarily representations of the quantum group $S_N^+$ but they yield good operator algebraic models of quantum permutation matrices. The C*-algebras $B_n$ allow the construction of an inverse limit $B_{\infty}$ which defines a compact matrix quantum group $S_N\subsetneq G\subseteq S_N^+$. We know $G=S_N^+$ for $N=4,5$ from Banica's work, but we have to leave open the case $N\ge 6$.


title: Resolution of SU(3) Outer Multiplicity Problem and the $SU(3)\otimes SU(3)$ Invariant Group $SO(4,2)$

abstract: We resolve the SU(3) outer multiplicity problem by defining all possible $SU(3)\otimes SU(3)$ invariant operators in terms of SU(3) Schwinger bosons. We show that the elementary invariant operators relevant to the outer multiplicity problem form SO(4,2) algebra. Further, they enable us to construct a family of operators any one of which can be used to distinguish repeating representations present in the reduction of the direct product of two SU(3) irreducible representations.


title: Deep Learning of Compressed Sensing Operators with Structural Similarity Loss

abstract: Compressed sensing (CS) is a signal processing framework for efficiently reconstructing a signal from a small number of measurements, obtained by linear projections of the signal. In this paper we present an end-to-end deep learning approach for CS, in which a fully-connected network performs both the linear sensing and non-linear reconstruction stages. During the training phase, the sensing matrix and the non-linear reconstruction operator are jointly optimized using Structural similarity index (SSIM) as loss rather than the standard Mean Squared Error (MSE) loss. We compare the proposed approach with state-of-the-art in terms of reconstruction quality under both losses, i.e. SSIM score and MSE score.


title: Quantum R\'enyi relative entropies on density spaces of $C^*$-algebras: their symmetries and their essential difference

abstract: We extend the definitions of different types of quantum R\'enyi relative entropy from the finite dimensional setting of density matrices to density spaces of $C^*$-algebras. We show that those quantities (which trivially coincide in the classical commutative case) are essentially different on non-commutative algebras in the sense that none of them can be transformed to another one by any surjective transformation between density spaces. Besides, we determine the symmetry groups of density spaces corresponding to each of those quantum R\'enyi relative entropies and find that they are identical. Similar results concerning the Umegaki and the Belavkin-Staszewksi relative entropies are also presented.


title: A CNN-Based Super-Resolution Technique for Active Fire Detection on Sentinel-2 Data

abstract: Remote Sensing applications can benefit from a relatively fine spatial resolution multispectral (MS) images and a high revisit frequency ensured by the twin satellites Sentinel-2. Unfortunately, only four out of thirteen bands are provided at the highest resolution of 10 meters, and the others at 20 or 60 meters. For instance the Short-Wave Infrared (SWIR) bands, provided at 20 meters, are very useful to detect active fires. Aiming to a more detailed Active Fire Detection (AFD) maps, we propose a super-resolution data fusion method based on Convolutional Neural Network (CNN) to move towards the 10-m spatial resolution the SWIR bands. The proposed CNN-based solution achieves better results than alternative methods in terms of some accuracy metrics. Moreover we test the super-resolved bands from an application point of view by monitoring active fire through classic indices. Advantages and limits of our proposed approach are validated on specific geographical area (the mount Vesuvius, close to Naples) that was damaged by widespread fires during the summer of 2017.


title: Learning Feature Embeddings for Discriminant Model based Tracking

abstract: After observing that the features used in most online discriminatively trained trackers are not optimal, in this paper, we propose a novel and effective architecture to learn optimal feature embeddings for online discriminative tracking. Our method, called DCFST, integrates the solver of a discriminant model that is differentiable and has a closed-form solution into convolutional neural networks. Then, the resulting network can be trained in an end-to-end way, obtaining optimal feature embeddings for the discriminant model-based tracker. As an instance, we apply the popular ridge regression model in this work to demonstrate the power of DCFST. Extensive experiments on six public benchmarks, OTB2015, NFS, GOT10k, TrackingNet, VOT2018, and VOT2019, show that our approach is efficient and generalizes well to class-agnostic target objects in online tracking, thus achieves state-of-the-art accuracy, while running beyond the real-time speed. Code will be made available.


title: BPM for the masses: empowering participants of Cognitive Business Processes

abstract: Authoring, developing, monitoring, and analyzing business processes has requires both domain and IT expertise since Business Process Management tools and practices have focused on enterprise applications and not end users. There are trends, however, that can greatly lower the bar for users to author and analyze their own processes. One emerging trend is the attention on blockchains as a shared ledger for parties collaborating on a process. Transaction logs recorded in a standard schema and stored in the open significantly reduces the effort to monitor and apply advanced process analytics. A second trend is the rapid maturity of machine learning algorithms, in particular deep learning models, and their increasing use in enterprise applications. These cognitive technologies can be used to generate views and processes customized for an end user so they can modify them and incorporate best practices learned from other users' processes. Keywords: BPM, cognitive computing, blockchain, privacy, machine learning


title: Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing

abstract: The factories of the future require efficient interconnection of their physical machines into the cyber space to cope with the emerging need of an increased uptime of machines, higher performance rates, an improved level of productivity and a collective collaboration along the supply chain. With the rapid growth of the Internet of Things (IoT), and its application in industrial areas, the so called Industrial Internet of Things (IIoT)/Industry 4.0 emerged. However, further to the rapid growth of IoT/IIoT systems, cyber attacks are an emerging threat and simple manual security testing can often not cope with the scale of large IoT/IIoT networks. In this paper, we suggest to extract metadata from commonly used diagrams and models in a typical software development process, to automate the process of threat modelling, security analysis and penetration testing, without detailed prior security knowledge. In that context, we present requirements and recommendations for metadata in IoT/IIoT models that are needed as necessary input parameters of security assurance tools.


title: Probabilistic model predictive safety certification for learning-based control

abstract: Reinforcement learning (RL) methods have demonstrated their efficiency in simulation environments. However, many applications for which RL offers great potential, such as autonomous driving, are also safety critical and require a certified closed-loop behavior in order to meet safety specifications in the presence of physical constraints. This paper introduces a concept, called probabilistic model predictive safety certification (PMPSC), which can be combined with any RL algorithm and provides provable safety certificates in terms of state and input chance constraints for potentially large-scale systems. The certificate is realized through a stochastic tube that safely connects the current system state with a terminal set of states, that is known to be safe. A novel formulation in terms of a convex receding horizon problem allows a recursively feasible real-time computation of such probabilistic tubes, despite the presence of possibly unbounded disturbances. A design procedure for PMPSC relying on bayesian inference and recent advances in probabilistic set invariance is presented. Using a numerical car simulation, the method and its design procedure are illustrated by enhancing a simple RL algorithm with safety certificates.


title: Towards Enterprise-Ready AI Deployments Minimizing the Risk of Consuming AI Models in Business Applications

abstract: The stochastic nature of artificial intelligence (AI) models introduces risk to business applications that use AI models without careful consideration. This paper offers an approach to use AI techniques to gain insights on the usage of the AI models and control how they are deployed to a production application. Keywords: artificial intelligence (AI), machine learning, microservices, business process


title: Full Wave Function Optimization with Quantum Monte Carlo -- A study of the Dissociation Energies of ZnO, FeO, FeH, and CrS

abstract: The dissociation energies of four transition metal dimers are determined using diffusion Monte Carlo. The Jastrow, CI, and molecular orbital parameters of the wave function are both partially and fully optimized with respect to the variational energy. The pivotal role is thereby ascribable to the optimization of the molecular orbital parameters of a complete active space wave function in the presence of a Jastrow correlation function. Excellent results are obtained for ZnO, FeO, FeH, and CrS. In addition, potential energy curves are computed for the first three compounds at multi-reference diffusion Monte Carlo (MR-DMC) level, from which spectroscopic constants such as the equilibrium bond distance, the harmonic frequency, and the anharmonicity are extracted. All of those quantities agree well with the experiment. Furthermore, it is shown for CrS that a restricted active space calculation can yield improved initial orbitals by including single and double excitations from the original active space into a set of virtual orbitals. We demonstrated in this study that the fixed-node error in DMC can be systematically reduced for multi-reference systems by orbital optimization in compact active spaces. While DMC calculations with a large number of determinants are possible and very accurate, our results demonstrate that compact wave functions may be sufficient in order to obtain accurate nodal surfaces, which determine the accuracy of DMC, even in the case of transition metal compounds.


title: Domination versus edge domination

abstract: We propose the conjecture that the domination number $\gamma(G)$ of a $\Delta$-regular graph $G$ with $\Delta\geq 1$ is always at most its edge domination number $\gamma_e(G)$, which coincides with the domination number of its line graph. We prove that $\gamma(G)\leq \left(1+\frac{2(\Delta-1)}{\Delta 2^{\Delta}}\right)\gamma_e(G)$ for general $\Delta\geq 1$, and $\gamma(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)\gamma_e(G)$ for $\Delta=3$. Furthermore, we verify our conjecture for cubic claw-free graphs.


title: A Toy Model for the Dynamical Discrepancies on Galactic Scales

abstract: In this study a simple toy model solution to the missing gravity problem on galactic scales is reverse engineered from galactic data via imposing broad assumptions. It is shown that the toy model solution can be written in terms of baryonic quantities, is highly similar to pseudo-isothermal dark matter on galactic scales and can accommodate the same observations. In this way, the toy model solution is similar to MOND modified gravity in the Bekenstein-Milgrom formulation. However, it differs in the similarity to pseudo-isothermal dark matter and in the functional form. In loose terms, it is shown that pseudo-isothermal dark matter can be written in terms of baryonic quantities. The required form suggests that it may be worth looking into a mechanism that can increase the magnitude of the post-Newtonian correction from general relativity for low accelerations.


title: Forecasting the Remittances of the Overseas Filipino Workers in the Philippines

abstract: This study aims to find a Box-Jenkins time series model for the monthly OFW's remittance in the Philippines. Forecasts of OFW's remittance for the years 2018 and 2019 will be generated using the appropriate time series model. The data were retrieved from the official website of Bangko Sentral ng Pilipinas. There are 108 observations, 96 of which were used in model building and the remaining 12 observations were used in forecast evaluation. ACF and PACF were used to examine the stationarity of the series. Augmented Dickey Fuller test was used to confirm the stationarity of the series. The data was found to have a seasonal component, thus, seasonality has been considered in the final model which is SARIMA (2,1,0)x(0,0,2)_12. There are no significant spikes in the ACF and PACF of residuals of the final model and the L-jung Box Q* test confirms further that the residuals of the model are uncorrelated. Also, based on the result of the Shapiro-Wilk test for the forecast errors, the forecast errors can be considered a Gaussian white noise. Considering the results of diagnostic checking and forecast evaluation, SARIMA (2,1,0)x(0,0,2)_12 is an appropriate model for the series. All necessary computations were done using the R statistical software.


title: Algorithms for arithmetic groups with the congruence subgroup property

abstract: We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP.


title: ETTR Bounds and Approximation Solutions of Blind Rendezvous Policies in Cognitive Radio Networks with Random Channel States

abstract: In this paper, we consider the multichannel rendezvous problem in cognitive radio networks (CRNs) where the probability that two users hopping on the same channel have a successful rendezvous is a function of channel states. The channel states are modeled by stochastic processes with joint distributions known to users. However, the exact state of a channel at any time is not observable. We first consider two channel models: (i) the fast time-varying channel model (where the channel states are assumed to be independent and identically distributed in each time slot), and (ii) the slow time-varying channel model (where the channel states remain unchanged over time). Among the classes of the blind rendezvous policies that randomly hop on channels according to certain channel selection probabilities, we show the optimal channel selection policy that minimizes the expected time-to-rendezvous (ETTR) is the single selection policy that hops on the ``best'' channel all the time in the fast time-varying channel model. However, for the slow time-varying channel model, it is much more difficult to find the optimal channel selection policy. By using the majorization ordering, we derive a lower bound and an upper bound for the ETTR under the assumption that the channel states are exchangeable random variables. Bases on these bounds, we then prove various approximation solutions. We then extend our results to general channel models where the joint distribution of the channel states is only assumed to be stationary in time.


title: Towards the Tunka-Rex Virtual Observatory

abstract: The Tunka Radio Extension (Tunka-Rex) is a cosmic-ray detector operating since 2012. The detection principle of Tunka-Rex is based on the radio technique, which impacts data acquisition and storage. In this paper we give a first detailed overview of the concept of the Tunka-Rex Virtual Observatory (TRVO), a framework for open access to the Tunka-Rex data, which currently is under active development and testing. We describe the structure of the data, main features of the interface and possible applications of the TRVO.


title: Searches for TeV gamma-ray counterparts to Gravitational Wave events with H.E.S.S

abstract: The search for electromagnetic counterparts for gravitational waves events is one of the main topics of multi-messenger Astrophysics. Among these searches is the one for high energy gamma-ray emission with the H.E.S.S. Imaging Atmospheric Cherenkov Telescopes in Namibia. During their second Observation Run O2, the Advanced Virgo detector in Italy and the two advanced LIGO detectors in Washington and Louisiana while conducting joint observations, detected for the first time, on August $14^{th}$, 2017 a transient GW signal due to the coalescence of two stellar masses black holes, an event labeled GW170814. The alert announcing the event was issued two hours later and H.E.S.S. observations could be scheduled for the nights of $16^{th}$, $17^{th}$ and $18^{th}$ August 2017. Three days after the binary BH merger, on August $17^{th}$, the coalescence of two neutron star was detected for the first time, followed by a GRB detection by Fermi's GBM starting a new era in multi-messenger Astronomy. Observations started 5.3 h after the merge and contained the counterpart SSS17a that was identified several hours later. It stands as the first data obtained by a ground-based pointing instrument on this object. In this contribution, we will present the results of the search of high-energy gamma ray emission as electromagnetic counterpart of these two GW events. No significant gamma ray emission was detected for either event. Nevertheless upper limit maps were derived constraining, for the first time, the non-thermal, high-energy emission on the remnant of a three detector binary black hole coalescence (GW170814), and a binary neutron star coalescence (GW170817).


title: On the Relationship Between Measures of Relative Efficiency for Random Signal Detection

abstract: Relative efficiency (RE), the Pitman asymptotic relative efficiency (ARE) and efficacy are important relative performance measures of signal detection techniques. These measures allow comparing two detectors in terms of the relative sample sizes they require to achieve the same prescribed level of false alarm and detection probabilities. While the finite-sample-size measure RE is useful to analyze the small sample behavior of detectors, in practice it is difficult to compute. In the limit as the signal strength approaches zero at an appropriate rate, the RE converges to an asymptotic limit only for very large sample sizes. This limiting ratio of the number of samples is the ARE, which lends analytical tractability, but does not provide insights into the finite sample behavior of detectors which is important for practical applications. This led researchers to study the convergence of RE to ARE, and has been well-reported for the problem of constant signal detection in additive, independent, and identically distributed noise. When the signal to be detected is random ({\ie}, unknown), such a convergence analysis is lacking in the literature and is the focus of this paper. A relationship between RE and ARE for random signal detection is established. We use the higher-order terms in the Taylor series expansion of the mean of the test statistic under the alternative hypothesis to derive this formula. We present preliminary remarks on the convergence of RE to ARE for random signals in comparison to that for constant signal detection.


title: A novel music-based game with motion capture to support cognitive and motor function in the elderly

abstract: This paper presents a novel game prototype that uses music and motion detection as preventive medicine for the elderly. Given the aging populations around the globe, and the limited resources and staff able to care for these populations, eHealth solutions are becoming increasingly important, if not crucial, additions to modern healthcare and preventive medicine. Furthermore, because compliance rates for performing physical exercises are often quite low in the elderly, systems able to motivate and engage this population are a necessity. Our prototype uses music not only to engage listeners, but also to leverage the efficacy of music to improve mental and physical wellness. The game is based on a memory task to stimulate cognitive function, and requires users to perform physical gestures to mimic the playing of different musical instruments. To this end, the Microsoft Kinect sensor is used together with a newly developed gesture detection module in order to process users' gestures. The resulting prototype system supports both cognitive functioning and physical strengthening in the elderly.


title: Laser-Induced Dissociative Recombination of Carbon Dioxide

abstract: We experimentally investigate laser-induced dissociative recombination of CO$_2$ in linearly polarized strong laser fields with coincidence measurements. Our results show laser-induced dissociation processes originate from an electron recombination process after laser-induced double ionization. After double ionization of CO$_2$, one electron is recaptured by the CO$_2^{2+}$ and localized to O$^+$ or CO$^+$ in the following dissociation process. We found that the probability of electron localization to O$^{+}$ is much higher than that to CO$^+$. Further, our measurements reveal that the recombination probability of the first ionized electron is three times as high as that of the second ionized electron. Our work may trigger further experimental and theoretical studies on involved nuclear and electron dynamics in laser-induced dissociative recombination of molecules and their applications in controlling molecular dissociation with ultrashort laser pulses.


title: Algebraic properties of perfect structures

abstract: A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this paper we study general algebraic properties of perfect structures and characterize all perfect structures with identity or unity matrix $M$. Next, we consider a graph product generalizing most standard products (e.g. Cartesian, tensor, normal, lexicographic graph products). For this product we propose a construction of perfect structures and prove that it can be reversed for eigenvectors. Finally, we apply obtained results to calculate the spectra of several classes of graphs and to prove some properties of perfect colorings.


title: Non-Asymptotic Pure Exploration by Solving Games

abstract: Pure exploration (aka active testing) is the fundamental task of sequentially gathering information to answer a query about a stochastic environment. Good algorithms make few mistakes and take few samples. Lower bounds (for multi-armed bandit models with arms in an exponential family) reveal that the sample complexity is determined by the solution to an optimisation problem. The existing state of the art algorithms achieve asymptotic optimality by solving a plug-in estimate of that optimisation problem at each step. We interpret the optimisation problem as an unknown game, and propose sampling rules based on iterative strategies to estimate and converge to its saddle point. We apply no-regret learners to obtain the first finite confidence guarantees that are adapted to the exponential family and which apply to any pure exploration query and bandit structure. Moreover, our algorithms only use a best response oracle instead of fully solving the optimisation problem.


title: A Refined Non-asymptotic Tail Bound of Sub-Gaussian Matrix

abstract: In this paper, we obtain a refined non-asymptotic tail bound for the largest singular value (the soft edge) of sub-Gaussian matrix. As an application, we use the obtained theorem to compute the tail bound of the Gaussian Toeplitz matrix.


title: Itinerant Ferromagnetism in p-doped Monolayers of MoS2

abstract: Density functional theory is used to explore the possibility of inducing impurity band ferromagnetism in monolayers of semiconducting MoS2 by introducing holes into the narrow Mo 4d band that forms the top of the valence band. A large out of plane anisotropy is found for unpaired spins bound to the substitutional acceptor impurities V, Nb and Ta that couple ferromagnetically for all but the shortest separations. Using the separation dependent exchange interactions as input to Monte Carlo calculations, we estimate ordering temperatures as a function of the impurity concentration. For about 9% of V impurities, Curie temperatures in excess of 160 K are predicted. The singlet formation at short separations that limits the ordering temperature is explained and we suggest how it can be circumvented.


title: Enabling security and High Energy Efficiency in the Internet of Things with Massive MIMO Hybrid Precoding

abstract: Recently, the security of Internet of Things (IoT) has been an issue of great concern. Physical layer security methods can help IoT networks achieve information-theoretical secrecy. Nevertheless, utilizing physical security methods, such as artificial noise (AN) may cost extra power, which leads to low secure energy efficiency. In this paper, the hybrid precoding technique is employed to improve the secure energy efficiency of the IoT network. A secure energy efficiency optimization problem is formulated for the IoT network. Due to the non-convexity of the problem and the feasible domain, the problem is firstly transformed into a tractable suboptimal form. Then a secure hybrid precoding energy efficient (SEEHP) algorithm is proposed to tackle the problem. Numerical results indicate that the proposed SEEHP algorithm achieves higher secure energy efficiency compared with three existing physical layer security algorithms, especially when the number of transmit antennas is large.


title: Probing the ionosphere by the pulsar B0950+08 with help of RadioAstron ground-space baselines

abstract: The ionospheric scattering of pulses emitted by PSR B0950+08 is measured using the 10-m RadioAstron Space Radio Telescope, the 300-m Arecibo Radio Telescope and the 14x25-m Westerbork Synthesis Radio Telescope (WSRT) at a frequency band between 316 and 332 MHz. We analyse this phenomenon based on a simulated model of the phase difference obtained between antennas that are widely separated by nearly 25 Earth diameters. We present a technique for processing and analysing the ionospheric total electron content (TEC) at the ground stations of the ground-space interferometer. This technique allows us to derive almost synchronous half-hour structures of the TEC in the ionosphere at an intercontinental distance between the Arecibo and WSRT stations. We find that the amplitude values of the detected structures are approximately twice as large as the values for the TEC derived in the International Reference Ionosphere (IRI) project. Furthermore, the values of the TEC outside these structures are almost the same as the corresponding values found by the IRI. According to a preliminary analysis, the detected structures were observed during a geomagnetic storm with a minimum Dst index of ~75 nT generated by interplanetary disturbances, and may be due to the influence of interplanetary and magnetospheric phenomena on ionospheric disturbances. We show that the Space Very Long Baseline Interferometry provides us with new opportunities to study the TEC, and we demonstrate the capabilities of this instrument to research the ionosphere.


title: Riemannian optimization on the simplex of positive definite matrices

abstract: In this work, we generalize the probability simplex constraint to matrices, i.e., $\mathbf{X}_1 + \mathbf{X}_2 + \ldots + \mathbf{X}_K = \mathbf{I}$, where $\mathbf{X}_i \succeq 0$ is a symmetric positive semidefinite matrix of size $n\times n$ for all $i = \{1,\ldots,K \}$. By assuming positive definiteness of the matrices, we show that the constraint set arising from the matrix simplex has the structure of a smooth Riemannian submanifold. We discuss a novel Riemannian geometry for the matrix simplex manifold and show the derivation of first- and second-order optimization related ingredients.


title: Learning Causal State Representations of Partially Observable Environments

abstract: Intelligent agents can cope with sensory-rich environments by learning task-agnostic state abstractions. In this paper, we propose an algorithm to approximate causal states, which are the coarsest partition of the joint history of actions and observations in partially-observable Markov decision processes (POMDP). Our method learns approximate causal state representations from RNNs trained to predict subsequent observations given the history. We demonstrate that these learned state representations are useful for learning policies efficiently in reinforcement learning problems with rich observation spaces. We connect causal states with causal feature sets from the causal inference literature, and also provide theoretical guarantees on the optimality of the continuous version of this causal state representation under Lipschitz assumptions by proving equivalence to bisimulation, a relation between behaviorally equivalent systems. This allows for lower bounds on the optimal value function of the learned representation, which is tight given certain assumptions. Finally, we empirically evaluate causal state representations using multiple partially observable tasks and compare with prior methods.


title: Thermal X-ray emission identified from the millisecond pulsar PSR J1909-3744

abstract: Pulsating thermal X-ray emission from millisecond pulsars can be used to obtain constraints on the neutron star equation of state, but to date only five such sources have been identified. Of these five millisecond pulsars, only two have well constrained neutron star masses, which improve the determination of the radius via modelling of the X-ray waveform. We aim to find other millisecond pulsars that already have well constrained mass and distance measurements that show pulsed thermal X-ray emission in order to obtain tight constraints on the neutron star equation of state. The millisecond pulsar PSR~J1909--3744 has an accurately determined mass, M = 1.54$\pm$0.03 M$_\odot$ (1 $\sigma$ error) and distance, D = 1.07$\pm$0.04 kpc. We analysed {\em XMM-Newton} data of this 2.95 ms pulsar to identify the nature of the X-ray emission. We show that the X-ray emission from PSR~J1909--3744 appears to be dominated by thermal emission from the polar cap. Only a single component model is required to fit the data. The black-body temperature of this emission is kT=0.26\ud{0.03}{0.02} keV and we find a 0.2--10 keV un-absorbed flux of 1.1 $\times$ 10$^{-14}$ erg cm$^{-2}$ s$^{-1}$ or an un-absorbed luminosity of 1.5 $\times$ 10$^{30}$ erg s$^{-1}$. Thanks to the previously determined mass and distance constraints of the neutron star PSR~J1909--3744, and its predominantly thermal emission, deep observations of this object with future X-ray facilities should provide useful constraints on the neutron star equation of state.


title: Functions with isotropic sections

abstract: We prove a local version of a recently established theorem by Myroshnychenko, Ryabogin and the second named author. More specifically, we show that if $n\geq 3$, $g:\mathbb{S}^{n-1}\to\mathbb{R}$ is an even bounded measurable function, $U$ is an open subset of $\mathbb{S}^{n-1}$ and the restriction (section) of $f$ onto any great sphere perpendicular to $U$ is isotropic, then ${\cal C}(g)|_U=c+\langle a,\cdot\rangle$ and ${\cal R}(g)|_U=c'$, for some fixed constants $c,c'\in\mathbb{R}$ and for some fixed vector $a\in \mathbb{R}^n$. Here, ${\cal C}(g)$ denotes the cosine transform and ${\cal R}(g)$ denotes the Funk transform of $g$. However, we show that $g$ does not need to be equal to a constant almost everywhere in $U^\perp:=\bigcup_{u\in U}(\mathbb{S}^{n-1}\cap u^\perp)$. For the needs of our proofs, we obtain a new generalization of a result from classical differential geometry, in the setting of convex hypersurfaces, that we believe is of independent interest.


title: Pilot-tone assisted 16-QAM photonic wireless bridge operating at 250 GHz

abstract: A photonic wireless bridge operating at a carrier frequency of 250 GHz is proposed and demonstrated. To mitigate the phase noise of the free-running lasers present in such a link, the tone-assisted carrier recovery is used. Compared to the blind phase noise compensation (PNC) algorithm, this technique exhibited penalties of 0.15 dB and 0.46 dB when used with aggregated Lorentzian linewidths of 28 kHz and 359 kHz, respectively, and 20 GBd 16-quadrature amplitude modulation (QAM) signals. The wireless bridge is also demonstrated in a wavelength division multiplexing (WDM) scenario, where 5 optical channels are generated and sent to the Tx remote antenna unit (RAU). In this configuration, the full band from 224 GHz to 294 GHz is used. Finally, a 50 Gbit/s transmission is achieved with the proposed wireless bridge in single channel configuration. The wireless transmission distance is limited to 10 cm due to the low power emitted by the uni-travelling carrier photodiode used in the experiments. However, link budget calculations based on state-of-the-art THz technology show that distances >1000 m can be achieved with this approach.


title: Lattice Unruh effect and world-line entanglement for the XXZ chain

abstract: For the XXZ chain, we discuss the relation between a lattice version of Unruh effect and the ground-state entanglement on the basis of the corner Hamiltonian. We find that the lattice Unruh temperature is interpreted as $\beta_\lambda = 2\pi/a$ with an effective acceleration $a=\pi/\lambda$, where $\lambda$ denotes the anisotropy parameter of the XXZ chain. Using quantum Monte Carlo simulation for the corner Hamiltonian at $\beta_\lambda$, we demonstrate that world lines of spins surrounding the entangle point provides an intuitive understanding the quantum entanglement. We also propose an XXZ-chain analogue of the detector for the thermalized entanglement spectrum with use of the angular time evolution defined by the corner Hamiltonian.


title: Transport in exclusion processes with one-step memory: density dependence and optimal acceleration

abstract: We study a lattice gas of persistent walkers, in which each site is occupied by at most one particle and the direction each particle attempts to move to depends on its last step. We analyse the mean squared displacement (MSD) of the particles as a function of the particle density and their persistence (the tendency to continue moving in the same direction). For positive persistence the MSD behaves as expected: it increases with the persistence and decreases with the density. However, for strong anti-persistence we find two different regimes, in which the dependence of the MSD on the density is non-monotonic. For very strong anti-persistence there is an optimal density at which the MSD reaches a maximum. In an intermediate regime, the MSD as a function of the density exhibits both a minimum and a maximum, a phenomenon which has not been observed before. We derive a mean-field theory which qualitatively explains this behaviour.


title: Magnetic interactions in the tripod-kagome antiferromagnet Mg$_{2}$Gd$_{3}$Sb$_{3}$O$_{14}$ probed by static magnetometry and high-field ESR spectroscopy

abstract: We report an experimental study of the static magnetization $M(H,T)$ and high-field electron spin resonance (ESR) of polycrystalline \MgGd, a representative member of the newly discovered class of the so-called tripod-kagome antiferromagnets where the isotropic Gd$^{3+}$ spins ($S = 7/2$) form a two-dimensional kagome spin-frustrated lattice. It follows from the analysis of the low-$T$ $M(H)$-curves that the Gd$^{3+}$ spins are coupled by a small isotropic antiferromagnetic (AFM) exchange interaction $|J| \approx$ 0.3\,K. The $M(H,T)$-dependences measured down to 0.5\,K evidence a long-range AFM order at $T_{\text{N}} = 1.7$\,K and its rapid suppression at higher fields $\geq 4$\,T. ESR spectra measured in fields up to 15\,T are analyzed considering possible effects of demagnetizing fields, single-ion anisotropy and spin-spin correlations. While the demagnetization effects due to a large sample magnetization in high fields and its shape anisotropy become relevant at low temperatures, the broadening of the ESR line commencing already at $T\lesssim 30$\,K may indicate the onset of the spin-spin correlations far above the ordering temperature due to the geometrical spin frustration in this compound.


title: On The Dimension of The Subfield Subcodes of 1-Point Hermitian Codes

abstract: Subfield subcodes of algebraic-geometric codes are good candidates for the use in post-quantum cryptosystems, provided their true parameters such as dimension and minimum distance can be determined. In this paper we present new values of the true dimension of subfield subcodes of $1$--point Hermitian codes, including the case when the subfield is not binary.


title: Bayesian influence diagnostics and outlier detection for meta-analysis of diagnostic test accuracy

abstract: Meta-analyses of diagnostic test accuracy (DTA) studies have been gaining prominence in research in clinical epidemiology and health technology development. In these DTA meta-analyses, some studies may have markedly different characteristics from the others, and potentially be inappropriate to include. The inclusion of these "outlying" studies might lead to biases, yielding misleading results. In addition, there might be influential studies that have notable impacts on the results. In this article, we propose Bayesian methods for detecting outlying studies and their influence diagnostics in DTA meta-analyses. Synthetic influence measures based on the bivariate hierarchical Bayesian random effects models are developed because the overall influences of individual studies should be simultaneously assessed by the two outcome variables and their correlation information. We propose four synthetic measures for influence analyses: (1) relative distance, (2) standardized residual, (3) Bayesian p-value, and (4) influence statistic on the area under the summary receiver operating characteristic curve. We also show conventional univariate Bayesian influential measures can be applied to the bivariate random effects models, which can be used as marginal influential measures. We illustrate the effectiveness of the proposed methods by applying them to a DTA meta-analysis of ultrasound in screening for vesicoureteral reflux among children with urinary tract infections.


title: Snaking branches of planar BCC fronts in the 3D Brusselator

abstract: We present results of the application of the numerical continuation and bifurcation package pde2path to the 3D Brusselator model, focusing on snaking branches of planar fronts between body centered cubes (BCCs) and the spatial homogeneous solution, and on planar fronts between BCCs and tubes (also called square prisms). These solutions also yield approximations of localized BCCs, and of BCCs embedded in a background of tubes (or vice versa). Additionally, we compute some moving fronts between lamellas and tubes. To give some theoretical background, and to aid the numerics for the full system, we use the Maxwell points for the cubic amplitude system over the BCC lattice.


title: Correlations and transport in exclusion processes with general finite memory

abstract: We consider the correlations and the hydrodynamic description of random walkers with a general finite memory moving on a $d$ dimensional hypercubic lattice. We derive a drift-diffusion equation and identify a memory-dependent critical density. Above the critical density, the effective diffusion coefficient decreases with the particles' propensity to move forward and below the critical density it increases with their propensity to move forward. If the correlations are neglected the critical density is exactly $1/2$. We also derive a low-density approximation for the same time correlations between different sites. We perform simulations on a one-dimensional system with one-step memory and find good agreement between our analytical derivation and the numerical results. We also consider the previously unexplored special case of totally anti-persistent particles. Generally, the correlation length converges to a finite value. However in the special case of totally anti-persistent particles and density $1/2$, the correlation length diverges with time. Furthermore, connecting a system of totally anti-persistent particles to external particle reservoirs creates a new phenomenon: In almost all systems, regardless of the precise details of the microscopic dynamics, when a system is connected to a reservoir, the mean density of particle at the edge is the same as the reservoir following the zeroth law of thermodynamics. In a totally anti-persistent system, however, the density at the edge is always higher than in the reservoir. We find a qualitative description of this phenomenon which agrees reasonably well with the numerics.


title: Unambiguous Electrical Detection of Spin-Charge Conversion in Lateral Spin-Valves

abstract: Efficient detection of spin-charge conversion is crucial for advancing our understanding of emergent phenomena in spin-orbit-coupled nanostructures. Here, we provide proof of principle of an electrical detection scheme of spin-charge conversion that enables full disentanglement of competing spin-orbit coupling transport phenomena in diffusive lateral channels i.e. the inverse spin Hall effect (ISHE) and the spin galvanic effect (SGE). A suitable detection geometry in an applied oblique magnetic field is shown to provide direct access to spin-charge transport coefficients through a simple symmetry analysis of the output non-local resistance. The scheme is robust against tilting of the spin-injector magnetization, disorder and spurious non-spin related contributions to the non-local signal, and can be used to probe spin-charge conversion effects in both spin-valve and hybrid optospintronic devices.


title: Advances and challenges in single-molecule electron transport

abstract: Electronic transport properties for single-molecule junctions have been widely measured by several techniques, including mechanically controllable break junctions, electromigration break junctions or by means of scanning tunneling microscopes. In parallel, many theoretical tools have been developed and refined for describing such transport properties and for obtaining numerical predictions. Most prominent among these theoretical tools are those based upon density functional theory. In this review, theory and experiment are critically compared and this confrontation leads to several important conclusions. The theoretically predicted trends nowadays reproduce the experimental findings quite well for series of molecules with a single well-defined control parameter, such as the length of the molecules. The quantitative agreement between theory and experiment usually is less convincing, however. Many reasons for quantitative discrepancies can be identified, from which one may decide that qualitative agreement is the best one may expect with present modeling tools. For further progress, benchmark systems are required that are sufficiently well-defined by experiment to allow quantitative testing of the approximation schemes underlying the theoretical modeling. Several key experiments can be identified suggesting that the present description may even be qualitatively incomplete in some cases. Such key experimental observations and their current models are also discussed here, leading to several suggestions for extensions of the models towards including dynamic image charges, electron correlations, and polaron formation.


title: A Framework for Evaluating Agricultural Ontologies

abstract: An ontology is a formal representation of domain knowledge, which can be interpreted by machines. In recent years, ontologies have become a major tool for domain knowledge representation and a core component of many knowledge management systems, decision support systems and other intelligent systems, inter alia, in the context of agriculture. A review of the existing literature on agricultural ontologies, however, reveals that most of the studies, which propose agricultural ontologies, are lacking an explicit evaluation procedure. This is undesired because without well-structured evaluation processes, it is difficult to consider the value of ontologies to research and practice. Moreover, it is difficult to rely on such ontologies and share them on the Semantic Web or between semantic aware applications. With the growing number of ontology-based agricultural systems and the increasing popularity of the Semantic Web, it becomes essential that such development and evaluation methods are put forward to guide future efforts of ontology development. Our work contributes to the literature on agricultural ontologies, by presenting a method for evaluating agricultural ontologies, which seems to be missing from most existing studies on agricultural ontologies. The framework supports the matching of appropriate evaluation methods for a given ontology based on the ontology's purpose.


title: Dynamics of phases and chaos in models of locally coupled conservative or dissipative oscillators

abstract: We discuss Hamiltonian model of oscillator lattice with local coupling. Model describes spatial modes of nonlinear Schr\"{o}dinger equation with periodic tilted potential. The Hamiltonian system manifests reversibility of Topaj - Pikovsky phase oscillator lattice. Furthermore, the Hamiltonian system has invariant manifolds with dynamics exactly equivalent to the Topaj - Pikovsky model. We demonstrate the complexity of dynamics with results of numerical simulations. We also propose two dissipative models close to Topaj - Pikovsky system.


title: The Modular X- and Gamma-Ray Sensor (MXGS)of the ASIM Payload on the International Space Station

abstract: The Modular X- and Gamma-ray Sensor (MXGS) is an imaging and spectral X- and Gamma-ray instrument mounted on the starboard side of the Columbus module on the International Space Station. Together with the Modular Multi-Spectral Imaging Assembly (MMIA) (Chanrion et al. this issue) MXGS constitutes the instruments of the Atmosphere-Space Interactions Monitor (ASIM) (Neubert et al. this issue). The main objectives of MXGS are to image and measure the spectrum of X- and $\gamma$-rays from lightning discharges, known as Terrestrial Gamma-ray Flashes (TGFs), and for MMIA to image and perform high speed photometry of Transient Luminous Events (TLEs) and lightning discharges. With these two instruments specifically designed to explore the relation between electrical discharges, TLEs and TGFs, ASIM is the first mission of its kind.


title: Energy Efficient WSN: a Cross-layer Graph Signal Processing Solution to Information Redundancy

abstract: In this work an iterative solution to build a network lifetime-preserving sampling strategy for WSNs is presented. The paper describes the necessary steps to reconstruct a graph from application data. Once the graph structure is obtained, a sampling strategy aimed at finding the smallest number of concurrent sensors needed to reconstruct the data in the unsampled nodes within a specific error bound, is presented. An iterative method then divides the sensor nodes into sets to be sampled sequentially to increase lifetime. Results on a real-life dataset show that the reconstruction RMSE can be easily traded off for a larger number of disjoint sampling sets which improve the network lifetime linearly.


title: Restless dependent bandits with fading memory

abstract: We study the stochastic multi-armed bandit problem in the case when the arm samples are dependent over time and generated from so-called weak $\cC$-mixing processes. We establish a $\cC-$Mix Improved UCB agorithm and provide both problem-dependent and independent regret analysis in two different scenarios. In the first, so-called fast-mixing scenario, we show that pseudo-regret enjoys the same upper bound (up to a factor) as for i.i.d. observations; whereas in the second, slow mixing scenario, we discover a surprising effect, that the regret upper bound is similar to the independent case, with an incremental {\em additive} term which does not depend on the number of arms. The analysis of slow mixing scenario is supported with a minmax lower bound, which (up to a $\log(T)$ factor) matches the obtained upper bound.


title: The XXL Survey: XXXVIII. Scatters and correlations of X-ray proxies in the bright XXL cluster sample

abstract: Context. Scaling relations between cluster properties embody the formation and evolution of cosmic structure. Intrinsic scatters and correlations between X-ray properties are determined from merger history, baryonic processes, and dynamical state. Aims. We look for an unbiased measurement of the scatter covariance matrix between the three main X-ray observable quantities attainable in large X-ray surveys -- temperature, luminosity, and gas mass. This also gives us the cluster property with the lowest conditional intrinsic scatter at fixed mass. Methods. Intrinsic scatters and correlations can be measured under the assumption that the observable properties of the intra-cluster medium hosted in clusters are log-normally distributed around power-law scaling relations. The proposed method is self-consistent, based on minimal assumptions, and requires neither the external calibration by weak lensing, dynamical, or hydrostatic masses nor the knowledge of the mass completeness. Results. We analyzed the 100 brightest clusters detected in the XXL Survey and their X-ray properties measured within a fixed radius of 300 kpc. The gas mass is the less scattered proxy (~8%). The temperature (~20%) is intrinsically less scattered than the luminosity (~30%) but it is measured with a larger observational uncertainty. We found some evidence that gas mass, temperature and luminosity are positively correlated. Time-evolutions are in agreement with the self-similar scenario, but the luminosity-temperature and the gas mass-temperature relations are steeper. Conclusions. Positive correlations between X-ray properties can be determined by the dynamical state and the merger history of the halos. The slopes of the scaling relations are affected by radiative processes.


title: Modulation instability of obliquely propagating ion acoustic waves in a collisionless magnetized plasma consisting of nonthermal and isothermal electrons

abstract: We have studied the modulation instability of obliquely propagating ion acoustic waves in a collisionless magnetized warm plasma consisting of warm adiabatic ions and two different species of electrons at different temperatures. We have derived a nonlinear Schr{\"o}dinger equation using the standard reductive perturbation method to describe the nonlinear amplitude modulation of ion acoustic wave satisfying the dispersion relation of ion acoustic wave propagating at an arbitrary angle to the direction of the external uniform static magnetic field. We have investigated the correspondence between two nonlinear Schr{\"o}dinger equations $-$ one describes the amplitude modulation of ion acoustic waves propagating along any arbitrary direction to the direction of the magnetic field and other describes the amplitude modulation of ion acoustic waves propagating along the direction of the magnetic field. We have derived the instability condition and the maximum growth rate of instability of the modulated ion acoustic wave. We have seen that the region of existence of maximum growth rate of instability decreases with increasing values of the magnetic field intensity whereas the region of existence of the maximum growth rate of instability increases with increasing $\cos \theta$, where $\theta$ is the angle of propagation of the ion acoustic wave with the external uniform static magnetic field. Again, the maximum growth rate of instability increases with increasing $\cos \theta$ and also this maximum growth rate of instability increases with increasing $\beta_{e}$ upto a critical value of the wave number, where $\beta_{e}$ is the parameter associated with the nonthermal distribution of hotter electron species.


title: An Explicit Model for Ultra-thin Gate-All-Around Junctionless Nanowire FETs, Including 2D Quantum Confinement

abstract: In this paper, we develop an explicit model to predict the DC electrical behavior in ultra-thin surrounding gate junctionless nanowire FET. The proposed model takes into account 2D electrical and geometrical confinements of carrier charge density within few discrete sub-bands. Combining a parabolic approximation of the Poisson equation, first order perturbation theory for the Schrodinger subband energy eigenvalues, and Fermi-Dirac statistics for the confined carrier density leads to an explicit solution of the DC characteristic in ultra-thin junctionless devices. Validity of the model has been verified with technology computer-aided design simulations. The results confirms its validity for all regions of operation, i.e., from deep depletion to accumulation and from linear to saturation. This represents an essential step toward analysis of circuits based on junctionless nanowire devices.


title: Computing persistent homology of directed flag complexes

abstract: We present a new computing package Flagser, designed to construct the directed flag complex of a finite directed graph, and compute persistent homology for flexibly defined filtrations on the graph and the resulting complex. The persistent homology computation part of Flagser is based on the program Ripser [Bau18a], but is optimized specifically for large computations. The construction of the directed flag complex is done in a way that allows easy parallelization by arbitrarily many cores. Flagser also has the option of working with undirected graphs. For homology computations Flagser has an Approximate option, which shortens compute time with remarkable accuracy. We demonstrate the power of Flagser by applying it to the construction of the directed flag complex of digital reconstructions of brain microcircuitry by the Blue Brain Project and several other examples. In some instances we perform computation of homology. For a more complete performance analysis, we also apply Flagser to some other data collections. In all cases the hardware used in the computation, the use of memory and the compute time are recorded.


title: The classification of 2-reflective modular forms

abstract: The classification of reflective modular forms is an important problem in the theory of automorphic forms on orthogonal groups. In this paper, we develop an approach based on the theory of Jacobi forms to give a full classification of 2-reflective modular forms. We prove that there are only 3 lattices of signature $(2,n)$ having 2-reflective modular forms when $n\geq 14$. We show that there are exactly 51 lattices of type $2U\oplus L(-1)$ which admit 2-reflective modular forms and satisfy that $L$ has 2-roots. We further determine all 2-reflective modular forms giving arithmetic hyperbolic 2-reflection groups. This is the first attempt to classify reflective modular forms on lattices of arbitrary level.


title: Intercomparison of the POES/MEPED Loss Cone Electron Fluxes With the CMIP6 Parametrization

abstract: Quantitative measurements of medium energy electron (MEE) precipitation ($>$40 keV) are a key to understand the total effect of particle precipitation on the atmosphere. The Medium Energy Proton and Electron Detector (MEPED) instrument on board the NOAA/Polar Orbiting Environmental Satellites (POES) has two sets of electron telescopes pointing $\sim$0$^{\circ}$ and $\sim$90$^{\circ}$ to the local vertical. Pitch angle anisotropy, which varies with particle energy, location, and geomagnetic activity, makes the 0$^{\circ}$ detector measurements a lower estimate of the flux of precipitating electrons. In the solar forcing recommended for Coupled Model Intercomparison Project (CMIP) 6 (v3.2) MEE precipitation is parameterized by Ap based on 0$^{\circ}$ detector measurements hence providing a general underestimate of the flux level. In order to assess the accuracy of the Ap model, we compare the modeled electron fluxes with estimates of the loss cone fluxes using both detectors in combination with electron pitch angle distributions from theory of wave-particle interactions. The Ap model falls short in respect to reproducing the flux level and variability associated with strong geomagnetic storms (Ap $>$ 40) as well as the duration of corotating interaction region storms causing a systematic bias within a solar cycle. As the Ap-parameterized fluxes reach a plateau for Ap $>$ 40, the model's ability to reflect the flux level of previous solar cycles associated with generally higher Ap values is questioned. The objective of this comparison is to understand the potential uncertainty in the energetic particle precipitation applying the CMIP6 particle energy input in order to assess its subsequent impact on the atmosphere.


title: Depth induced regression medians and uniqueness

abstract: Notion of median in one dimension is a foundational element in nonparametric statistics. It has been extended to multi-dimensional cases both in location and in regression via notions of data depth. Regression depth (RD) and projection regression depth (PRD) represent the two most promising notions in regression. Carrizosa depth $D_C$ is another depth notion in regression.Depth induced regression medians (maximum depth estimators) serve as robust alternatives to the classical least squares estimator. The uniqueness of regression medians is indispensable in the discussion of their properties and the asymptotics (consistency and limiting distribution) of sample regression medians. Are the regression medians induced from RD, PRD, and $D_C$ unique? Answering this question is the main goal of this article. It is found that only the regression median induced from PRD possesses the desired uniqueness property. The conventional remedy measure for non-uniqueness, taking average of all medians, might yield an estimator that no longer possesses the maximum depth in both RD and $D_C$ cases. These and other findings indicate that the PRD and its induced median are highly favorable among their leading competitors.


title: Policy Optimization with Stochastic Mirror Descent

abstract: Improving sample efficiency has been a longstanding goal in reinforcement learning. This paper proposes $\mathtt{VRMPO}$ algorithm: a sample efficient policy gradient method with stochastic mirror descent. In $\mathtt{VRMPO}$, a novel variance-reduced policy gradient estimator is presented to improve sample efficiency. We prove that the proposed $\mathtt{VRMPO}$ needs only $\mathcal{O}(\epsilon^{-3})$ sample trajectories to achieve an $\epsilon$-approximate first-order stationary point, which matches the best sample complexity for policy optimization. The extensive experimental results demonstrate that $\mathtt{VRMPO}$ outperforms the state-of-the-art policy gradient methods in various settings.


title: Constraining primordial black holes in dark matter with kinematics of dwarf galaxies

abstract: We propose that the kinematical observations of dwarf galaxies can be used to constrain the primordial black hole's (PBH) abundance in dark matter since the presence of primordial black holes in star clusters will lead to the radial velocity dispersion of the system. For instance, using the velocity dispersion observations from Leo I we show that the primordial black hole fraction $f_{\rm PBH}\gtrsim 2.0\times(1~M_{\odot}/m_{\rm PBH})^2$ is ruled out at a 99.99\% confidence level. This method yields the most stringent limits on the PBH abundance at the mass scales $\sim (1-10^3)~M_{\odot}$ and tightly constrains the primordial origin of gravitational wave events observed by the LIGO experiments.


title: New approach for stochastic downscaling and bias correction of daily mean temperatures to a high-resolution grid

abstract: In applications of climate information, coarse-resolution climate projections commonly need to be downscaled to a finer grid. One challenge of this requirement is the modeling of sub-grid variability and the spatial and temporal dependence at the finer scale. Here, a post-processing procedure is proposed for temperature projections that addresses this challenge. The procedure employs statistical bias correction and stochastic downscaling in two steps. In a first step, errors that are related to spatial and temporal features of the first two moments of the temperature distribution at model scale are identified and corrected. Secondly, residual space-time dependence at the finer scale is analyzed using a statistical model, from which realizations are generated and then combined with appropriate climate change signal to form the downscaled projection fields. Using a high-resolution observational gridded data product, the proposed approach is applied in a case study where projections of two regional climate models from the EURO-CORDEX ensemble are bias-corrected and downscaled to a 1x1 km grid in the Trondelag area of Norway. A cross-validation study shows that the proposed procedure generates results that better reflect the marginal distributional properties of the data product and have better consistency in space and time than empirical quantile mapping.


title: Probabilistic Error Analysis for Inner Products

abstract: Probabilistic models are proposed for bounding the forward error in the numerically computed inner product (dot product, scalar product) between of two real $n$-vectors. We derive probabilistic perturbation bounds, as well as probabilistic roundoff error bounds for the sequential accumulation of the inner product. These bounds are non-asymptotic, explicit, and make minimal assumptions on perturbations and roundoffs. The perturbations are represented as independent, bounded, zero-mean random variables, and the probabilistic perturbation bound is based on Azuma's inequality. The roundoffs are also represented as bounded, zero-mean random variables. The first probabilistic bound assumes that the roundoffs are independent, while the second one does not. For the latter, we construct a Martingale that mirrors the sequential order of computations. Numerical experiments confirm that our bounds are more informative, often by several orders of magnitude, than traditional deterministic bounds -- even for small vector dimensions~$n$ and very stringent success probabilities. In particular the probabilistic roundoff error bounds are functions of $\sqrt{n}$ rather than~$n$, thus giving a quantitative confirmation of Wilkinson's intuition. The paper concludes with a critical assessment of the probabilistic approach.


title: Inelastic dark matter nucleus scattering

abstract: Direct detection experiments aim at the detection of dark matter in the form of weakly interacting massive particles (WIMPs) by searching for signals from elastic dark matter nucleus scattering. Additionally, inelastic scattering in which the nucleus is excited is expected from nuclear physics and provides an additional detectable signal. In the context of a low-energy effective field theory we investigate the experimental reach to these inelastic transitions for xenon-based detectors employing a dual-phase time projection chamber. We find that once a dark matter signal is established, inelastic transitions enhance the discovery reach and we show that they allow a better determination of the underlying particle physics.


title: Analysis and synthesis of feature map for kernel-based quantum classifier

abstract: A method for analyzing the feature map for the kernel-based quantum classifier is developed; that is, we give a general formula for computing a lower bound of the exact training accuracy, which helps us to see whether the selected feature map is suitable for linearly separating the dataset. We show a proof of concept demonstration of this method for a class of 2-qubit classifier, with several 2-dimensional dataset. Also, a synthesis method, that combines different kernels to construct a better-performing feature map in a lager feature space, is presented.


title: Fast Data: Moving beyond from Big Data's map-reduce

abstract: Big Data may not be the solution many are looking for. The latest rise of Big Data methods and systems is partly due to the new abilities these techniques provide, partly to the simplicity of the software design and partly because the buzzword itself has value to investors and clients. That said, popularity is not a measure for suitability and the Big Data approach might not be the best solution, or even an applicable one, to many common problems. Namely, time dependent problems whose solution may be bound or cached in any manner can benefit greatly from moving to partly stateless, flow oriented functions and data models. This paper presents such a model to substitute the traditional map-shuffle-reduce models.


title: Precursors to Rare Events in Stochastic Resonance

abstract: In stochastic resonance, a periodically forced Brownian particle in a double-well potential jumps between minima at rare increments, the prediction of which poses a major theoretical challenge. Here, we use a path-integral method to find a precursor to these transitions by determining the most probable (or "{optimal}") space-time path of a particle. We characterize the optimal path using a direct comparison principle between the Langevin and Hamiltonian dynamical descriptions, allowing us to express the jump condition in terms of the accumulation of noise around the stable periodic path. In consequence, as a system approaches a rare event these fluctuations approach one of the deterministic minimizers, thereby providing a precursor for predicting a stochastic transition. We demonstrate the method numerically, which allows us to determine whether a state is following a stable periodic path or will experience an incipient jump with a high probability. The vast range of systems that exhibit stochastic resonance behavior insures broad relevance of our framework, which allows one to extract precursor fluctuations from data.


title: An Unsupervised Bayesian Neural Network for Truth Discovery in Social Networks

abstract: The problem of estimating event truths from conflicting agent opinions in a social network is investigated. An autoencoder learns the complex relationships between event truths, agent reliabilities and agent observations. A Bayesian network model is proposed to guide the learning process by modeling the relationship of the autoencoder's outputs with different variables. At the same time, it also models the social relationships between agents in the network. The proposed approach is unsupervised and is applicable when ground truth labels of events are unavailable. A variational inference method is used to jointly estimate the hidden variables in the Bayesian network and the parameters in the autoencoder. Experiments on three real datasets demonstrate that our proposed approach is competitive with, and in most cases better than, several state-of-the-art benchmark methods.


title: State-Space Network Topology Identification from Partial Observations

abstract: In this work, we explore the state-space formulation of a network process to recover, from partial observations, the underlying network topology that drives its dynamics. To do so, we employ subspace techniques borrowed from system identification literature and extend them to the network topology identification problem. This approach provides a unified view of the traditional network control theory and signal processing on graphs. In addition, it provides theoretical guarantees for the recovery of the topological structure of a deterministic continuous-time linear dynamical system from input-output observations even though the input and state interaction networks might be different. The derived mathematical analysis is accompanied by an algorithm for identifying, from data, a network topology consistent with the dynamics of the system and conforms to the prior information about the underlying structure. The proposed algorithm relies on alternating projections and is provably convergent. Numerical results corroborate the theoretical findings and the applicability of the proposed algorithm.


title: Numerical simulations of viscous fingering in fractured porous media

abstract: The effect of heterogeneities induced by highly permeable fracture networks on viscous miscible fingering in porous media is examined using high-resolution numerical simulations. We consider the planar injection of a less viscous fluid into a two-dimensional fractured porous medium which is saturated with a more viscous fluid. This problem contains two sets of fundamentally different preferential flow regimes; the first is caused by the viscous fingering and the second is due to the permeability contrasts between the fractures and the rock matrix. We study the transition from the regime where the flow is dominated by the viscous instabilities, to the regime where the heterogeneities induced by the fractures define the flow paths. Our findings reveal that even minor permeability differences between the rock matrix and fractures significantly influence the behavior of viscous fingering. The interplay between the viscosity contrast and permeability contrast leads to the preferential channeling of the less viscous fluid through the fractures. Consequently, this channeling process stabilizes the displacement front within the rock matrix, ultimately suppressing the occurrence of viscous fingering, particularly for higher permeability contrasts. We explore three fracture geometries; two structured and one random configuration, and identify a complex interaction between these geometries and the development of unstable flow. While we find that the most important factor determining the effect of the fracture network is the ratio of fluid volume flowing through the fractures and the rock matrix, the exact point for the cross-over regime is dependent on the geometry of the fracture network.


title: Pseudo-representations of weight one are unramified

abstract: We prove that the determinant (pseudo-representation) associated to the Hecke algebra of Katz modular forms of weight one and level prime to p is unramified at p.


title: Four-variable $p$-adic triple product $L$-functions and the trivial zero conjecture

abstract: We construct the four-variable primitive $p$-adic $L$-functions associated with the triple product of Hida families and prove the explicit interpolation formulae at all critical values in the balanced range. Our construction is to carry out the $p$-adic interpolation of Garrett's integral representation of triple product $L$-functions via the $p$-adic Rankin-Selberg convolution method. As an application, we obtain the cyclotomic $p$-adic $L$-function for the motive associated with the triple product of elliptic curves and prove the trivial zero conjecture for this motive.


title: Structural, Electrical, Magnetic and Impedance Behaviour of NdFeO3 Modified Ba0.7Sr0.3TiO3 Ceramics

abstract: NdFeO3 modified polycrystalline ceramics with composition (NdFeO3)0.1-(Ba0.7Sr0.3TiO3)0.9 (NFBST) ceramics have been synthesized via solid-state reaction route. The Rietveld refinement of the XRD data confirmed the existence of a tetragonal phase (P4mm) and a hexagonal phase (P63/mmc) in the prepared sample. The coexistence of phases has been also further confirmed from the Raman spectroscopy. The SEM image revealed dense microstructure with well packed grains of different sizes. At room temperature lossy P-E loop and weak ferromagnetism is observed in NFBST system. Complex impedance spectroscopy (CIS) as a function of frequency (100 Hz to 1 MHz) at different temperatures (RT to 700K) has been employed to study the electrical behaviour in NFBST ceramic. Two semicircular arcs in the Cole-Cole plot manifested the grain and grain boundary contribution in overall impedance. The detail complex modulus analysis and ac fitted conductivity data authenticated correlated barrier hopping CBH to be responsible for electrical as well as conduction phenomena in NFBST. Oxygen vacancies are responsible for relaxation and conduction processes in NFBST ceramics as divulged from the activation energy values estimated from electrical impedance, modulus, and conductivity data.


title: Impact of Extrinsic Interface Traps and Doping Atoms on Conductivity of Graphene Field Effect Devices

abstract: Near-interfacial oxide traps and chemical impurities on the graphene surface or at the graphene-dielectric interface can be a source of intentional or unintentional doping of graphene sheet. The efficiency of such chemical doping can vary in a wide range depending on parameters of graphene field effect devices. Mechanisms of such sensitivity of doping efficiency to the device characteristics need to be understood. The objective of this paper is to theoretically derive the analytical relations, adapted to the explicit calculation of graphene chemical doping.


title: The coexistence of magnetism and ferroelectricity in 3d transition metal doped SnTe monolayer

abstract: The realization of multiferroicity in 2D nanomaterials is crucially important for designing advanced nanoelectronic devices such as non-volatile multistate data storage. In this work, the coexistence of ferromagnetism and ferroelectricity is reported in monolayer SnTe system by transition metal (TM) doping. Based on first-principles calculations, the spontaneous spin polarization could be realized by TM doping in ferroelectric SnTe monolayer. In addition to in-plane ferroelectric polarization, the out-of-plane ferroelectric polarization emerges in Mn (Fe)-doped SnTe monolayer due to the internal displacement of TM from the surface. Interestingly, the crystalline field centered on TM and interaction between the dopant and Te gradually enhanced with the increment of atomic number of doping elements, which explains why the formation energy decreases. The realization of multiferroics in SnTe monolayer could provide theoretical guidance for experimental preparation of low-dimensional multiferroic materials.


title: From IP ID to Device ID and KASLR Bypass (Extended Version)

abstract: IP headers include a 16-bit ID field. Our work examines the generation of this field in Windows (versions 8 and higher), Linux and Android, and shows that the IP ID field enables remote servers to assign a unique ID to each device and thus be able to identify subsequent transmissions sent from that device. This identification works across all browsers and over network changes. In modern Linux and Android versions, this field leaks a kernel address, thus we also break KASLR. Our work includes reverse-engineering of the Windows IP ID generation code, and a cryptanalysis of this code and of the Linux kernel IP ID generation code. It provides practical techniques to partially extract the key used by each of these algorithms, overcoming different implementation issues, and observing that this key can identify individual devices. We deployed a demo (for Windows) showing that key extraction and machine fingerprinting works in the wild, and tested it from networks around the world.


title: Conversion of Tycho-2 to Johnson-Cousins Magnitudes in the Gaia Era

abstract: We take advantage of the availability of precision parallax data from Gaia Data Release 2 together with machine learning to develop a set of equations for transforming Tycho-2 (VT, BT) magnitudes into the Johnson-Cousins (J-C) system. Starting with data for 558 standard stars with apparent magnitudes brighter than 11.0, we employed one step supervised learning with weight decay regularization and 10-fold cross validation to produce a set of transformation equations from Tycho-2 into J-C, which in turn were used to derive transformations of the Tycho-2 standard deviations into the J-C system. Both the aggregated cross validation data sets and the in-sample results from the final training were essentially unbiased (average errors << 1 mmag in both B and V) and had error standard deviations comparable to those of the input data. Comparison of errors in- and out-of-sample indicate modest generalization error growth. Moreover, testing of the distributions of the normalized errors indicated that the predicted standard deviations are accurate, enabling them to be reliably employed in the suitability ranking of comparison star candidates. These results thus enable utilization of a substantial portion of the 2.5 million star Tycho-2 data set as comparison stars for two-color bright star ensemble photometry.


title: Late-times asymptotic equation of state for a class of nonlocal theories of gravity

abstract: We investigate the behavior of the asymptotic late-times effective equation of state for a class of nonlocal theories of gravity. These theories modify the Einstein-Hilbert Lagrangian introducing terms containing negative powers of the d'Alembert operator acting on the Ricci scalar. We find that imposing vanishing initial conditions for the nonlocal content during the radiation-dominated epoch implies the same asymptotic late-times behavior for most of these models. In terms of the effective equation of state of the universe, we find that asymptotically $\omega_{ \rm eff} \rightarrow -1$, approaching the value given by a cosmological constant. On the other hand, unlike in the case of $\Lambda$CDM, the Hubble factor is a monotonic growing function that diverges asymptotically. We argue that this behavior is not a coincidence and discuss under which conditions this is to be expected in these nonlocal models.


title: Strongly bounded groups of various cardinalities

abstract: Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at least $2^{\aleph_0}$. We produce examples of strongly bounded groups of many cardinalities, including $\aleph_1$, answering a question of Yves de Cornulier [4]. In fact, any infinite group embeds as a subgroup of a strongly bounded group which is, at most, two cardinalities larger.


title: Impartial digraphs

abstract: We prove a conjecture of Fox, Huang, and Lee that characterizes directed graphs that have constant density in all tournaments: they are disjoint unions of trees that are each constructed in a certain recursive way.


title: Lepton Flavour violation in muon decays

abstract: The search for lepton flavour violation in charged lepton decays is highly sensitive to physics beyond the Standard Model. Among the possible processes, $\mu$-decays are considered to have the largest discovery potential in most of the standard model extensions. Many searches has been performed in the past, however no evidence has been found so far. Four dedicated experiments are in advanced state of preparation to improve the current associated sensibilities by 1-4 order of magnitudes for the charged lepton flavour violating processes $\mu\rightarrow \rm{e}\gamma$, $\mu\rightarrow \rm{e}$ conversion and $\mu\rightarrow \rm{eee}$. In this paper I present physics motivations, experimental challenges and construction status of the experiments, which are the studying above mentioned processes.


title: Renormalisation of pair correlations and their Fourier transforms for primitive block substitutions

abstract: For point sets and tilings that can be constructed with the projection method, one has a good understanding of the correlation structure, and also of the corresponding spectra, both in the dynamical and in the diffraction sense. For systems defined by substitution or inflation rules, the situation is less favourable, in particular beyond the much-studied class of Pisot substitutions. In this contribution, the geometric inflation rule is employed to access the pair correlation measures of self-similar and self-affine inflation tilings and their Fourier transforms by means of exact renormalisation relations. In particular, we look into sufficient criteria for the absence of absolutely continuous spectral contributions, and illustrate this with examples from the class of block substitutions. We also discuss the Frank-Robinson tiling, as a planar example with infinite local complexity and singular continuous spectrum.


title: Holographic interferences in strong-field ionization beyond the dipole approximation: The influence of the peak and focal volume averaged laser intensity

abstract: In strong-field ionization interferences between electron trajectories create a variety of interference structures in the final momentum distributions. Among them, the interferences between electron pathways that are driven directly to the detector and the ones that rescatter significantly with the parent ion lead to holography-type interference patterns that received great attention in recent years. In this work, we study the influence of the magnetic field component onto the holographic interference pattern, an effect beyond the electric dipole approximation, in experiment and theory. The experimentally observed nondipole signatures are analyzed via quantum trajectory Monte Carlo simulations. We provide explanations for the experimentally demonstrated asymmetry in the holographic interference pattern and its non-uniform photoelectron energy dependence as well as for the variation of the topology of the holography-type interference pattern along the laser field direction. Analytical scaling laws of the interference features are derived, and their direct relation to either the focal volume averaged laser intensities, or to the peak intensities are identified. The latter, in particular, provides a direct access to the peak intensity in the focal volume.


title: A Novel Deep Learning Based Approach for Left Ventricle Segmentation in Echocardiography: MFP-Unet

abstract: Segmentation of the Left ventricle (LV) is a crucial step for quantitative measurements such as area, volume, and ejection fraction. However, the automatic LV segmentation in 2D echocardiographic images is a challenging task due to ill-defined borders, and operator dependence issues (insufficient reproducibility). U-net, which is a well-known architecture in medical image segmentation, addressed this problem through an encoder-decoder path. Despite outstanding overall performance, U-net ignores the contribution of all semantic strengths in the segmentation procedure. In the present study, we have proposed a novel architecture to tackle this drawback. Feature maps in all levels of the decoder path of U-net are concatenated, their depths are equalized, and up-sampled to a fixed dimension. This stack of feature maps would be the input of the semantic segmentation layer. The proposed network yielded state-of-the-art results when comparing with results from U-net, dilated U-net, and deeplabv3, using the same dataset. An average Dice Metric (DM) of 0.945, Hausdorff Distance (HD) of 1.62, Jaccard Coefficient (JC) of 0.97, and Mean Absolute Distance (MAD) of 1.32 are achieved. The correlation graph, bland-altman analysis, and box plot showed a great agreement between automatic and manually calculated volume, area, and length.


title: A Winograd-based Integrated Photonics Accelerator for Convolutional Neural Networks

abstract: Neural Networks (NNs) have become the mainstream technology in the artificial intelligence (AI) renaissance over the past decade. Among different types of neural networks, convolutional neural networks (CNNs) have been widely adopted as they have achieved leading results in many fields such as computer vision and speech recognition. This success in part is due to the widespread availability of capable underlying hardware platforms. Applications have always been a driving factor for design of such hardware architectures. Hardware specialization can expose us to novel architectural solutions, which can outperform general purpose computers for tasks at hand. Although different applications demand for different performance measures, they all share speed and energy efficiency as high priorities. Meanwhile, photonics processing has seen a resurgence due to its inherited high speed and low power nature. Here, we investigate the potential of using photonics in CNNs by proposing a CNN accelerator design based on Winograd filtering algorithm. Our evaluation results show that while a photonic accelerator can compete with current-state-of-the-art electronic platforms in terms of both speed and power, it has the potential to improve the energy efficiency by up to three orders of magnitude.


title: Quantum secret sharing using weak coherent states

abstract: Secret sharing allows a trusted party (the dealer) to distribute a secret to a group of players, who can only access the secret cooperatively. Quantum secret sharing (QSS) protocols could provide unconditional security based on fundamental laws in physics. While the general security proof has been established recently in an entanglement-based QSS protocol, the tolerable channel loss is unfortunately rather small. Here we propose a continuous variable QSS protocol using conventional laser sources and homodyne detectors. In this protocol, a Gaussian-modulated coherent state (GMCS) prepared by one player passes through the secure stations of the other players sequentially, and each of the other players injects a locally prepared, independent GMCS into the circulating optical mode. Finally, the dealer measures both the amplitude and phase quadratures of the receiving optical mode using double homodyne detectors. Collectively, the players can use their encoded random numbers to estimate the measurement results of the dealer and further generate a shared key. Unlike the existing single photon based sequential QSS protocol, our scheme is intrinsically immune to Trojan horse attacks. Furthermore, the additional loss introduced by each player's system can be extremely small, which makes the protocol scalable to a large number of players. We prove the unconditional security of the proposed protocol against both eavesdroppers and dishonest players in the presence of high channel loss, and discuss various practical issues.


title: Keep soft robots soft -- a data-driven based trade-off between feed-forward and feedback control

abstract: Tracking control for soft robots is challenging due to uncertainties in the system model and environment. Using high feedback gains to overcome this issue results in an increasing stiffness that clearly destroys the inherent safety property of soft robots. However, accurate models for feed-forward control are often difficult to obtain. In this article, we employ Gaussian Process regression to obtain a data-driven model that is used for the feed-forward compensation of unknown dynamics. The model fidelity is used to adapt the feed-forward and feedback part allowing low feedback gains in regions of high model confidence.


title: Age and gender bias in pedestrian detection algorithms

abstract: Pedestrian detection algorithms are important components of mobile robots, such as autonomous vehicles, which directly relate to human safety. Performance disparities in these algorithms could translate into disparate impact in the form of biased accident outcomes. To evaluate the need for such concerns, we characterize the age and gender bias in the performance of state-of-the-art pedestrian detection algorithms. Our analysis is based on the INRIA Person Dataset extended with child, adult, male and female labels. We show that all of the 24 top-performing methods of the Caltech Pedestrian Detection Benchmark have higher miss rates on children. The difference is significant and we analyse how it varies with the classifier, features and training data used by the methods. Algorithms were also gender-biased on average but the performance differences were not significant. We discuss the source of the bias, the ethical implications, possible technical solutions and barriers.


title: Discrete Optimization of Ray Potentials for Semantic 3D Reconstruction

abstract: Dense semantic 3D reconstruction is typically formulated as a discrete or continuous problem over label assignments in a voxel grid, combining semantic and depth likelihoods in a Markov Random Field framework. The depth and semantic information is incorporated as a unary potential, smoothed by a pairwise regularizer. However, modelling likelihoods as a unary potential does not model the problem correctly leading to various undesirable visibility artifacts. We propose to formulate an optimization problem that directly optimizes the reprojection error of the 3D model with respect to the image estimates, which corresponds to the optimization over rays, where the cost function depends on the semantic class and depth of the first occupied voxel along the ray. The 2-label formulation is made feasible by transforming it into a graph-representable form under QPBO relaxation, solvable using graph cut. The multi-label problem is solved by applying alpha-expansion using the same relaxation in each expansion move. Our method was indeed shown to be feasible in practice, running comparably fast to the competing methods, while not suffering from ray potential approximation artifacts.


title: The spectroscopic binaries RV Tauri and DF Cygni

abstract: Aim: The focus of this paper is on two famous but still poorly understood RV Tauri stars: RV Tau and DF Cyg. We aim at confirming their suspected binary nature and deriving their orbital elements to investigate the impact of their orbits on the evolution of these systems. This research is embedded into a wider endeavour to study binary evolution of low- and intermediate-mass stars. Method: The high amplitude pulsations were cleaned from the radial-velocity data to better constrain the orbital motion. We used Gaia DR2 parallaxes in combination with the SEDs to compute their luminosities which were complemented with the ones computed using a period-luminosity-colour relation. The ratio of the circumstellar infrared flux to the photospheric flux obtained from the SEDs was used to estimate the orbital inclination of each system. Results: DF Cyg and RV Tau are binaries with spectroscopic orbital periods of 784$\pm$16 days and 1198$\pm$17 days, respectively. These orbital periods are found to be similar to the long-term periodic variability in the photometric time series, indicating that binarity indeed explains the long-term photometric variability. Both systems are surrounded by a circumbinary disc which is grazed by our line-of-sight. As a result, the stellar photometric flux is extinct periodically with the orbital period. Our derived orbital inclinations enabled us to obtain accurate companion masses for DF Cyg and RV Tau. Analysis of the Kepler photometry of DF Cyg revealed a power spectrum with side lobes around the fundamental pulsation frequency. This modulation corresponds to the spectroscopic orbital period and hence to the long-term photometric period. Finally we report on the evidence of high velocity absorption features related to the H$_{\alpha}$ profile in both objects, indicating outflows launched from around the companion.


title: Partitioning the Primes and Efficient Non-trivial Factor Generation using the Least Odd Partition Identity in Conjunction with Dirichlet Linear Progressions and the Reduced Residue System Modulo 18

abstract: In this work we introduce the numerical constant, LOPI, N LOPI is congruent to LOPI mod 18, equal to the lowest odd partition identity in conjunction with the reduced residue system Modulo 18, a complete disjoint covering residue system when considered in its whole set of residues from 0 to 17. By convolution of specific LOPI Dirichlet linear progressions for each LOPI superset, the non-prime elements of the 6 reduced residue congruence classes mod 18 are generated sequentially and uniquely. Through set generation and complete composite number subset generation based on the pattern of sequential factor generation for all composite numbers in each LOPI congruence class, multiplicity becomes a possible tool to define degree of primality. We show that the lowest sum of the digits of an integer, even or odd, is a constant unrestricted partition identity contained each natural number and is equal to one of the residues in Mod 18. We term this constant the lowest odd or even partition identity or LOPI or LEPI. When integers are viewed as partitions of the core LOPI-LEPI value, the infinite natural numbers represent the residues of Mod 18 as extended each time toward infinity by sequential cycles of 18. LOPI mod 18 is a factor generation system that demonstrates why the primes are not generated through convolution of specific Dirichlet linear progressions into the LOPI non-prime subset matrices, revealing the pattern of the primes to be actually six cyclic patterns. In querying the multiplicity in these 3,4 specific non prime matrices we suggest another definition of prime and non-prime based on this multiplicity, where 0 is Prime, 1 is a secondary prime and so on. An Ox, Ox3 efficient deterministic algorithm is attached describing the process of factor generation and primality testing.


title: New Pumping Technique for 2-dimensional VASS

abstract: We propose a new pumping technique for 2-dimensional vector addition systems with states (2-VASS) building on natural geometric properties of runs. We illustrate its applicability by reproving an exponential bound on the length of the shortest accepting run, and by proving a new pumping lemma for languages of 2-VASS. The technique is expected to be useful for settling questions concerning languages of 2-VASS, e.g., for establishing decidability status of the regular separability problem.


title: Approximating Unitary Preparations of Orthogonal Black Box States

abstract: In this paper, I take a step toward answering the following question: for m different small circuits that compute m orthogonal n qubit states, is there a small circuit that will map m computational basis states to these m states without any input leaving any auxiliary bits changed. While this may seem simple, the constraint that auxiliary bits always be returned to 0 on any input (even ones besides the m we care about) led me to use sophisticated techniques. I give an approximation of such a unitary in the m = 2 case that has size polynomial in the approximation error, and the number of qubits n.


title: The Coming Age of Pervasive Data Processing

abstract: Emerging Big Data analytics and machine learning applications require a significant amount of computational power. While there exists a plethora of large-scale data processing frameworks which thrive in handling the various complexities of data-intensive workloads, the ever-increasing demand of applications have made us reconsider the traditional ways of scaling (e.g., scale-out) and seek new opportunities for improving the performance. In order to prepare for an era where data collection and processing occur on a wide range of devices, from powerful HPC machines to small embedded devices, it is crucial to investigate and eliminate the potential sources of inefficiency in the current state of the art platforms. In this paper, we address the current and upcoming challenges of pervasive data processing and present directions for designing the next generation of large-scale data processing systems.