title: JCMT BISTRO Survey observations of the Ophiuchus Molecular Cloud: Dust grain alignment properties inferred using a Ricean noise model

abstract: The dependence of polarization fraction $p$ on total intensity $I$ in polarized submillimeter emission measurements is typically parameterized as $p\propto I^{-\alpha}$ $(\alpha \leq 1)$, and used to infer dust grain alignment efficiency in star-forming regions, with an index $\alpha=1$ indicating near-total lack of alignment of grains with the magnetic field. In this work we demonstrate that the non-Gaussian noise characteristics of polarization fraction may produce apparent measurements of $\alpha \sim 1$ even in data with significant signal-to-noise in Stokes $Q$, $U$ and $I$ emission, and so with robust measurements of polarization angle. We present a simple model demonstrating this behavior, and propose a criterion by which well-characterized measurements of polarization fraction may be identified. We demonstrate that where our model is applicable, $\alpha$ can be recovered by fitting the $p-I$ relationship with the mean of the Rice distribution, without statistical debiasing of polarization fraction. We apply our model to JCMT BISTRO Survey POL-2 850$\mu$m observations of three clumps in the Ophiuchus Molecular Cloud, finding that in the externally-illuminated Oph A region, $\alpha\approx 0.34$, while in the more isolated Oph B and C, despite their differing star formation histories, $\alpha \sim 0.6-0.7$. Our results thus suggest that dust grain alignment in dense gas is more strongly influenced by incident interstellar radiation field than by star formation history. We further find that grains may remain aligned with the magnetic field at significantly higher gas densities than has previously been believed, thus allowing investigation of magnetic field properties within star-forming clumps and cores.


title: Detection and Prediction of Users Attitude Based on Real-Time and Batch Sentiment Analysis of Facebook Comments

abstract: The most of the people have their account on social networks (e.g. Facebook, Vkontakte) where they express their attitude to different situations and events. Facebook provides only the positive mark as a like button and share. However, it is important to know the position of a certain user on posts even though the opinion is negative. Positive, negative and neutral attitude can be extracted from the comments of users. Overall information about positive, negative and neutral opinion can bring the understanding of how people react in a position. Moreover, it is important to know how attitude is changing during the time period. The contribution of the paper is a new method based on sentiment text analysis for detection and prediction negative and positive patterns for Facebook comments which combines (i) real-time sentiment text analysis for pattern discovery and (ii) batch data processing for creating opinion forecasting algorithm. To perform forecast we propose two-steps algorithm where: (i) patterns are clustered using unsupervised clustering techniques and (ii) trend prediction is performed based on finding the nearest pattern from the certain cluster. Case studies show the efficiency and accuracy (Avg. MAE = 0.008) of the proposed method and its practical applicability. Also, we discovered three types of users attitude patterns and described them.


title: Towards Optimal Off-Policy Evaluation for Reinforcement Learning with Marginalized Importance Sampling

abstract: Motivated by the many real-world applications of reinforcement learning (RL) that require safe-policy iterations, we consider the problem of off-policy evaluation (OPE) -- the problem of evaluating a new policy using the historical data obtained by different behavior policies -- under the model of nonstationary episodic Markov Decision Processes (MDP) with a long horizon and a large action space. Existing importance sampling (IS) methods often suffer from large variance that depends exponentially on the RL horizon $H$. To solve this problem, we consider a marginalized importance sampling (MIS) estimator that recursively estimates the state marginal distribution for the target policy at every step. MIS achieves a mean-squared error of $$ \frac{1}{n} \sum\nolimits_{t=1}^H\mathbb{E}_{\mu}\left[\frac{d_t^\pi(s_t)^2}{d_t^\mu(s_t)^2} \mathrm{Var}_{\mu}\left[\frac{\pi_t(a_t|s_t)}{\mu_t(a_t|s_t)}\big( V_{t+1}^\pi(s_{t+1}) + r_t\big) \middle| s_t\right]\right] + \tilde{O}(n^{-1.5}) $$ where $\mu$ and $\pi$ are the logging and target policies, $d_t^{\mu}(s_t)$ and $d_t^{\pi}(s_t)$ are the marginal distribution of the state at $t$th step, $H$ is the horizon, $n$ is the sample size and $V_{t+1}^\pi$ is the value function of the MDP under $\pi$. The result matches the Cramer-Rao lower bound in \citet{jiang2016doubly} up to a multiplicative factor of $H$. To the best of our knowledge, this is the first OPE estimation error bound with a polynomial dependence on $H$. Besides theory, we show empirical superiority of our method in time-varying, partially observable, and long-horizon RL environments.


title: A Ride-Matching Strategy For Large Scale Dynamic Ridesharing Services Based on Polar Coordinates

abstract: In this paper, we study a challenging problem of how to pool multiple ride-share trip requests in real time under an uncertain environment. The goals are better performance metrics of efficiency and acceptable satisfaction of riders. To solve the problem effectively, an objective function that compromises the benefits and losses of dynamic ridesharing service is proposed. The Polar Coordinates based Ride-Matching strategy (PCRM) that can adapt to the satisfaction of riders on board is also addressed. In the experiment, large scale data sets from New York City (NYC) are applied. We do a case study to identify the best set of parameters of the dynamic ridesharing service with a training set of 135,252 trip requests. In addition, we also use a testing set containing 427,799 trip requests and two state-of-the-art approaches as baselines to estimate the effectiveness of our method. The experimental results show that on average 38% of traveling distance can be saved, nearly 100% of passengers can be served and each rider only spends an additional 3.8 minutes in ridesharing trips compared to single rider service.


title: Frequency-Dependent Perceptual Quantisation for Visually Lossless Compression Applications

abstract: The default quantisation algorithms in the state-of-the-art High Efficiency Video Coding (HEVC) standard, namely Uniform Reconstruction Quantisation (URQ) and Rate-Distortion Optimised Quantisation (RDOQ), do not take into account the perceptual relevance of individual transform coefficients. In this paper, a Frequency-Dependent Perceptual Quantisation (FDPQ) technique for HEVC is proposed. FDPQ exploits the well-established Modulation Transfer Function (MTF) characteristics of the linear transformation basis functions by taking into account the Euclidean distance of an AC transform coefficient from the DC coefficient. As such, in luma and chroma Cb and Cr Transform Blocks (TBs), FDPQ quantises more coarsely the least perceptually relevant transform coefficients (i.e., the high frequency AC coefficients). Conversely, FDPQ preserves the integrity of the DC coefficient and the very low frequency AC coefficients. Compared with RDOQ, which is the most widely used transform coefficient-level quantisation technique in video coding, FDPQ successfully achieves bitrate reductions of up to 41%. Furthermore, the subjective evaluations confirm that the FDPQ-coded video data is perceptually indistinguishable (i.e., visually lossless) from the raw video data for a given Quantisation Parameter (QP).


title: Bayesian parametric analytic continuation of Green's functions

abstract: Bayesian parametric analytic continuation (BPAC) is proposed for the analytic continuation of noisy imaginary-time Green's function data as, e.g., obtained by continuous-time quantum Monte Carlo simulations (CTQMC). Within BPAC, the spectral function is inferred from a suitable set of parametrized basis functions. Bayesian model comparison then allows to assess the reliability of different parametrizations. The required evidence integrals of such a model comparison are determined by nested sampling. Compared to the maximum entropy method (MEM), routinely used for the analytic continuation of CTQMC data, the presented approach allows to infer whether the data support specific structures of the spectral function. We demonstrate the capability of BPAC in terms of CTQMC data for an Anderson impurity model (AIM) that shows a generalized Kondo scenario and compare the BPAC reconstruction to the MEM as well as to the spectral function obtained from the real-time fork tensor product state impurity solver where no analytic continuation is required. Furthermore, we present a combination of MEM and BPAC and its application to an AIM arising from the ab initio treatment of SrVO$_3$.


title: Making targeted black-box evasion attacks effective and efficient

abstract: We investigate how an adversary can optimally use its query budget for targeted evasion attacks against deep neural networks in a black-box setting. We formalize the problem setting and systematically evaluate what benefits the adversary can gain by using substitute models. We show that there is an exploration-exploitation tradeoff in that query efficiency comes at the cost of effectiveness. We present two new attack strategies for using substitute models and show that they are as effective as previous query-only techniques but require significantly fewer queries, by up to three orders of magnitude. We also show that an agile adversary capable of switching through different attack techniques can achieve pareto-optimal efficiency. We demonstrate our attack against Google Cloud Vision showing that the difficulty of black-box attacks against real-world prediction APIs is significantly easier than previously thought (requiring approximately 500 queries instead of approximately 20,000 as in previous works).


title: Solving the regulator problem for the one-dimensional Schrodinger equation via backstepping

abstract: We investigate the regulator problem (tracking and disturbance rejection) for a system (plant) described by a boundary controlled anti-stable linear one-dimensional Schrodinger equation, using the backstepping approach. The output to be controlled is not required to be measurable and its observation operator is assumed to be admissible for a certain operator semigroup that is related to the operator semigroup of the original plant. We consider both the state feedback and the output feedback regulator problem. In the latter case, the measurement from the Schrodinger equation is taken at the boundary. First we show that the open-loop system is well-posed. We design a state feedback control law that solves the regulator problem by the backstepping method. Then, a finite-dimensional reference observer and an infinite-dimensional disturbance observer are designed. Putting these together, we obtain an output feedback controller with internal loop that achieves output regulation.


title: Possible emergence of a skyrmion phase in ferroelectric GaMo$_4$S$_8$

abstract: Polar lacunar spinels, such as GaV$_4$S$_8$ and GaV$_4$Se$_8$, were proposed to host skyrmion phases under magnetic field. In this work, we put forward, as a candidate for N\'eel-type skyrmion lattice, the isostructural GaMo$_4$S$_8$, here systematically studied via both first-principles calculations and Monte Carlo simulations of model Hamiltonian. Electric polarization, driven by Jahn-Teller distortion, is predicted to arise in GaMo$_4$S$_8$, showing a comparable size but an opposite sign with respect to that evaluated in V-based counterparts and explained in terms of different electron counting arguments and resulting distortions. Interestingly, a larger spin-orbit coupling of 4d orbitals with respect to 3d orbitals in vanadium-spinels leads to stronger Dzyaloshinskii-Moriya interactions, which are beneficial to stabilize a cycloidal spin texture, as well as smaller-sized skyrmions (radius<10 nm). Furthermore, the possibly large exchange anisotropy of GaMo4S8 may lead to a ferroelectric-ferromagnetic ground state, as an alternative to the ferroelectric-skyrmionic one, calling for further experimental verification.


title: Photon bunching in a rotating reference frame

abstract: Although quantum physics is well understood in inertial reference frames (flat spacetime), a current challenge is the search for experimental evidence of non-trivial or unexpected behaviour of quantum systems in non-inertial frames. Here, we present a novel test of quantum mechanics in a non-inertial reference frame: we consider Hong-Ou-Mandel (HOM) interference on a rotating platform and study the effect of uniform rotation on the distinguishability of the photons. Both theory and experiments show that the rotational motion induces a relative delay in the photon arrival times at the exit beamsplitter and that this delay is observed as a shift in the position of the HOM dip. This experiment can be extended to a full general relativistic test of quantum physics using satellites in Earth orbit and indicates a new route towards the use of photonic technologies for investigating quantum mechanics at the interface with relativity.


title: Optimal Convergence for Stochastic Optimization with Multiple Expectation Constraints

abstract: In this paper, we focus on the problem of stochastic optimization where the objective function can be written as an expectation function over a closed convex set. We also consider multiple expectation constraints which restrict the domain of the problem. We extend the cooperative stochastic approximation algorithm from Lan and Zhou [2016] to solve the particular problem. We close the gaps in the previous analysis and provide a novel proof technique to show that our algorithm attains the optimal rate of convergence for both optimality gap and constraint violation when the functions are generally convex. We also compare our algorithm empirically to the state-of-the-art and show improved convergence in many situations.


title: Effective Use of Variational Embedding Capacity in Expressive End-to-End Speech Synthesis

abstract: Recent work has explored sequence-to-sequence latent variable models for expressive speech synthesis (supporting control and transfer of prosody and style), but has not presented a coherent framework for understanding the trade-offs between the competing methods. In this paper, we propose embedding capacity (the amount of information the embedding contains about the data) as a unified method of analyzing the behavior of latent variable models of speech, comparing existing heuristic (non-variational) methods to variational methods that are able to explicitly constrain capacity using an upper bound on representational mutual information. In our proposed model (Capacitron), we show that by adding conditional dependencies to the variational posterior such that it matches the form of the true posterior, the same model can be used for high-precision prosody transfer, text-agnostic style transfer, and generation of natural-sounding prior samples. For multi-speaker models, Capacitron is able to preserve target speaker identity during inter-speaker prosody transfer and when drawing samples from the latent prior. Lastly, we introduce a method for decomposing embedding capacity hierarchically across two sets of latents, allowing a portion of the latent variability to be specified and the remaining variability sampled from a learned prior. Audio examples are available on the web.


title: Smocked Metric Spaces and their Tangent Cones

abstract: We introduce the notion of a smocked metric spaces and explore the balls and geodesics in a collection of different smocked spaces. We find their rescaled Gromov-Hausdorff limits and prove these tangent cones at infinity exist, are unique, and are normed spaces. We close with a variety of open questions suitable for advanced undergraduates, masters students, and doctoral students.


title: A Coarse-to-Fine Framework for Learned Color Enhancement with Non-Local Attention

abstract: Automatic color enhancement is aimed to adaptively adjust photos to expected styles and tones. For current learned methods in this field, global harmonious perception and local details are hard to be well-considered in a single model simultaneously. To address this problem, we propose a coarse-to-fine framework with non-local attention for color enhancement in this paper. Within our framework, we propose to divide enhancement process into channel-wise enhancement and pixel-wise refinement performed by two cascaded Convolutional Neural Networks (CNNs). In channel-wise enhancement, our model predicts a global linear mapping for RGB channels of input images to perform global style adjustment. In pixel-wise refinement, we learn a refining mapping using residual learning for local adjustment. Further, we adopt a non-local attention block to capture the long-range dependencies from global information for subsequent fine-grained local refinement. We evaluate our proposed framework on the commonly using benchmark and conduct sufficient experiments to demonstrate each technical component within it.


title: Point interactions with bias potentials

abstract: We develop an approach on how to define single-point interactions under the application of external fields. The essential feature relies on an asymptotic method based on the one-point approximation of multi-layered heterostructures that are subject to bias potentials. In this approach , the zero-thickness limit of the transmission matrices of specific structures is analyzed and shown to result in matrices connecting the two-sided boundary conditions of the wave function at the origin. The reflection and transmission amplitudes are computed in terms of these matrix elements as well as biased data. Several one-point interaction models of two- and three-terminal devices are elaborated. The typical transistor in the semiconductor physics is modeled in the "squeezed limit'' as a $\delta$- and a $\delta'$-potentialand referred to as a "point" transistor. The basic property of these one-point interaction models is the existence of several extremely sharp peaks as an applied voltage tunes, at which the transmission amplitude is non-zero, while beyond these resonance values, the heterostructure behaves as a fully reflecting wall. The location of these peaks referred to as a "resonance set" is shown to depend on both system parameters and applied voltages. An interesting effect of resonant transmission through a $\delta$-like barrier under the presence of an adjacent well is observed. This transmission occurs at a countable set of the well depth values.


title: Insights on heterogeneity in blinking mechanisms and non-ergodicity using sub-ensemble statistical analysis of single quantum-dots

abstract: Photo-luminescence intermittency (blinking) in semiconductor nanocrystals (NCs), a phenomenon ubiquitous to single-emitters, is generally considered to be temporally random intensity fluctuations between bright (On) and dark (Off) states. However, individual quantum-dots (QDs) rarely exhibit such telegraphic signal, and yet, the vast majority of single-NC blinking data are analyzed using a single fixed threshold, which generates binary trajectories. Further, blinking dynamics can vary dramatically over NCs in the ensemble, and it is unclear whether the exponents (m) of single-particle On-/Off-time distributions (P(t)-On/Off), which are used to validate mechanistic models of blinking, are narrowly distributed or not. Here, we sub-classify an ensemble based on the emissivity of QDs, and subsequently compare the (sub)ensemble behaviors. To achieve this, we analyzed a large number (>1000) of intensity trajectories for a model system, Mn+2 doped ZnCdS QDs, which exhibits diverse blinking dynamics. An intensity histogram dependent thresholding method allowed us to construct distributions of relevant blinking parameters (such as m). Interestingly, we find that single QD P(t)-On/Off s follow either truncated power law or power law, and their relative proportion vary over sub-populations. Our results reveal a remarkable variation in m(On/Off) amongst as well as within sub-ensembles, which implies multiple blinking mechanisms being operational among various QDs. We further show that the m(On/Off) obtained via cumulative single-particle P(t)-On/Off is clearly distinct from the weighted mean value of all single-particle m(On/Off), an evidence for the lack of ergodicity. Thus, investigation and analyses of a large number of QDs, albeit for a limited time-span of few decades, is crucial to characterize possible blinking mechanisms and heterogeneity therein


title: Decay of solitary waves

abstract: In this paper we consider the decay rate of solitary-wave solutions to some classes of non-linear and non-local dispersive equations, including for example the Whitham equation and a Whitham--Boussinesq system. The dispersive term is represented by a Fourier multiplier operator that has a real analytic symbol, and we show that all supercritical solitary-wave solutions decay exponentially, and moreover provide the exact decay rate, which in general will depend on the speed of the wave. We also prove that solitary waves have only one crest and are symmetric for some class of equations.


title: Kinetic investigation of water-cation interaction in clinoptilolite at room temperature

abstract: The kinetics of water adsorption by a natural zeolite (clinoptilolite) sample has been investigated by high-frequency AC current intensity measurements. According to the achieved kinetic results, cations should play a relevant role in the clinoptilolite hydration, in fact most of adsorbed water stay in the cationic sites. The water molecules associate with cation one-by-one. In particular, the forced adsorption of water molecules in a wet atmosphere is a quite slow process, while water desorption in air or dry atmosphere is a spontaneous and fast process. The observed increase of cation mobility could be adequately explained by assuming an arrangement of water molecules between the cation and the negatively charged oxygens contained in the cationic site. Such molecular arrangement could increase the strength of both dipole-cation and hydrogen bond interactions.


title: Twin semigroups and delay equations

abstract: In the standard theory of delay equations, the fundamental solution does not 'live' in the state space. To eliminate this age-old anomaly, we enlarge the state space. As a consequence, we lose the strong continuity of the solution operators and this, in turn, has as a consequence that the Riemann integral no longer suffices for giving meaning to the variation-of-constants formula. To compensate, we develop the Stieltjes-Pettis integral in the setting of a norming dual pair of spaces. Part I provides general theory, Part II deals with "retarded" equations, and in Part III we show how the Stieltjes integral enables incorporation of unbounded perturbations corresponding to neutral delay equations.


title: Secure Beamforming in MISO NOMA Backscatter Device Aided Symbiotic Radio Networks

abstract: Symbiotic radio (SR) networks are possible solutions to the future low-power wireless communications for massive Internet of Things devices. In this paper, we investigate a multiple-input-single-output non-orthogonal multiple access (NOMA) backscatter device (BD) aided SR network with a potential eavesdropper. In the network, a base station (BS) broadcasts signals to a central user and a cell-edge user using the NOMA protocol. With ambient backscatter modulation, the BD transmits its own messages to the central user over incident signals from the BS. We propose a constrained concave convex procedure-based algorithm which maximizes the $\epsilon$-outage secrecy rate from the BD to the central user under the achievable secrecy rate constraints from the BS to the central and cell-edge users. Simulation results illustrate that our proposed network achieves a much larger secrecy rate region than the orthogonal multiple access (OMA) network.


title: Glider Brauer-Severi varietes of central simple algebras

abstract: The glider Brauer-Severy variety GBS(A) of a central simple algebra A over a field K is introduced as the set of all irreducible left glider ideals in A for some filtration FA. For fields we deduce that GBS(K) equals R(K) x Z, the product of the Riemann surface of K and the ring of integers Z. For a csa A over K it turns out that GBS(A) = BS(A) x GBS(K), where BS(A) denotes the classical Brauer-Severi variety of A.


title: A Two-Step Graph Convolutional Decoder for Molecule Generation

abstract: We propose a simple auto-encoder framework for molecule generation. The molecular graph is first encoded into a continuous latent representation $z$, which is then decoded back to a molecule. The encoding process is easy, but the decoding process remains challenging. In this work, we introduce a simple two-step decoding process. In a first step, a fully connected neural network uses the latent vector $z$ to produce a molecular formula, for example CO$_2$ (one carbon and two oxygen atoms). In a second step, a graph convolutional neural network uses the same latent vector $z$ to place bonds between the atoms that were produced in the first step (for example a double bond will be placed between the carbon and each of the oxygens). This two-step process, in which a bag of atoms is first generated, and then assembled, provides a simple framework that allows us to develop an efficient molecule auto-encoder. Numerical experiments on basic tasks such as novelty, uniqueness, validity and optimized chemical property for the 250k ZINC molecules demonstrate the performances of the proposed system. Particularly, we achieve the highest reconstruction rate of 90.5\%, improving the previous rate of 76.7\%. We also report the best property improvement results when optimization is constrained by the molecular distance between the original and generated molecules.


title: Non-deterministic semantics for quantum states

abstract: In this work we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated to infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories based in orthomodular lattices, allowing to study post-quantum models using logical techniques.


title: Overlap of electron shells in $\beta$ and double-$\beta$ decays

abstract: The $\beta$ and double-$\beta$ decay channels, which are not accompanied by excitation of the electron shells, are suppressed due to the nonorthogonality of the electron wave functions of the parent and daughter atoms. The effect is sensitive to the contribution of the outer electron shells. Since valence electrons participate in chemical bonding and collectivize in metals, the decay rates of the unstable nuclides are modified when they are embedded in a host material. Core electrons are less affected by the environment, and their overlap amplitudes are more stable. The suppression effect is estimated for $ \beta^- $ decay of $^{87}$Kr, electron capture in $^{163}$Ho, and $2\beta^-$ decays of $^{76}$Ge, $^{100}$Mo, $^{130}$Te, and $^{136}$Xe. The overlap amplitude of the electron shells enters the relationship between the half-life of neutrinoless $2\beta$ decay and the effective electron neutrino Majorana mass.


title: Scale independent $R^2$ inflation

abstract: Weyl (scale) invariant theories of scalars and gravity can generate all mass scales spontaneously. In this paper we study a particularly simple version -- scale invariant $R^2$ gravity -- and show that, during an inflationary period, it leads to fluctuations which, for a particular parameter choice, are almost indistinguishable from normal $R^2$ inflation. Current observations place tight constraints on the primary coupling constant of this theory and predict a tensor to scalar ratio, $0.0033 > r > 0.0026$, which is testable with the next generation of cosmic microwave background experiments.


title: Asymptotically Optimal Change Point Detection for Composite Hypothesis in State Space Models

abstract: This paper investigates change point detection in state space models, in which the pre-change distribution $f^{\theta_0}$ is given, while the poster distribution $f^{\theta}$ after change is unknown. The problem is to raise an alarm as soon as possible after the distribution changes from $f^{\theta_0}$ to $f^{\theta}$, under a restriction on the false alarms. We investigate theoretical properties of a weighted Shiryayev-Roberts-Pollak (SRP) change point detection rule in state space models. By making use of a Markov chain representation for the likelihood function, exponential embedding of the induced Markovian transition operator, nonlinear Markov renewal theory, and sequential hypothesis testing theory for Markov random walks, we show that the weighted SRP procedure is second-order asymptotically optimal. To this end, we derive an asymptotic approximation for the expected stopping time of such a stopping scheme when the change time $\omega = 1$. To illustrate our method we apply the results to two types of state space models: general state Markov chains and linear state space models.


title: Class-specific Differential Detection in Diffractive Optical Neural Networks Improves Inference Accuracy

abstract: Diffractive deep neural networks have been introduced earlier as an optical machine learning framework that uses task-specific diffractive surfaces designed by deep learning to all-optically perform inference, achieving promising performance for object classification and imaging. Here we demonstrate systematic improvements in diffractive optical neural networks based on a differential measurement technique that mitigates the non-negativity constraint of light intensity. In this scheme, each class is assigned to a separate pair of photodetectors, behind a diffractive network, and the class inference is made by maximizing the normalized signal difference between the detector pairs. Moreover, by utilizing the inherent parallelization capability of optical systems, we reduced the signal coupling between the positive and negative detectors of each class by dividing their optical path into two jointly-trained diffractive neural networks that work in parallel. We further made use of this parallelization approach, and divided individual classes among multiple jointly-trained differential diffractive neural networks. Using this class-specific differential detection in jointly-optimized diffractive networks, our simulations achieved testing accuracies of 98.52%, 91.48% and 50.82% for MNIST, Fashion-MNIST and grayscale CIFAR-10 datasets, respectively. Similar to ensemble methods practiced in machine learning, we also independently-optimized multiple differential diffractive networks that optically project their light onto a common detector plane, and achieved testing accuracies of 98.59%, 91.06% and 51.44% for MNIST, Fashion-MNIST and grayscale CIFAR-10, respectively. Through these systematic advances in designing diffractive neural networks, the reported classification accuracies set the state-of-the-art for an all-optical neural network design.


title: A Component-Based Approach to Traffic Data Wrangling

abstract: We produce an increasing amount of data. This is positive as it allows us to make better informed decisions if we can base them on a lot of data. However, in many domains the `raw' data that is produced, is not usable for analysis due to unreadable format, errors, noise, inconsistencies or other factors. An example of such domain is traffic -- traffic data can be used for impactful decision-making from short-term problems to large-scale infrastructure projects. We call the process of preparing data for consumption Data Wrangling. Several data wrangling tools exist that are easy to use and provide general functionality. However, no one tool is capable of performing complex domain-specific data wrangling operations. The author of this project has chosen two popular programming languages for data science -- R and Python -- for implementing traffic data wrangling operators as web services. These web services expose HTTP (Hypertext Transfer Protocol) REST (Representational State Transfer) APIs (Application Programming Interfaces), which can be used for integrating the services into another system. As traffic data analysts often lack the necessary programming skills required for working with complex services, an abstraction layer was designed by the author. In the abstraction layer, the author wrapped the data wrangling services inside Taverna components -- this made the services usable via an easy-to-use GUI (Graphical User Interface) provided by Taverna Workbench, which is a program suitable for carrying out data wrangling tasks. This also enables reuse of the components in other workflows. The data wrangling components were tested and validated by using them for two common traffic data wrangling requests. Datasets from Transport for Greater Manchester (TfGM) and the Met Office were used to carry out the experiments.


title: Lifschitz tail for alloy-type models driven by the fractional Laplacian

abstract: We establish precise asymptotics near zero of the integrated density of states for the random Schr\"{o}dinger operators $(-\Delta)^{\alpha/2} + V^{\omega}$ in $L^2(\mathbb R^d)$ for the full range of $\alpha\in(0,2]$ and a fairly large class of random nonnegative alloy-type potentials $V^{\omega}$. The IDS exhibits the Lifschitz tail singularity. We prove the existence of the limit $$\lim_{s\to 0} s^{d/\alpha}\ln\ell([0,s]) = -C \left(\lambda_d^{(\alpha)}\right)^{d/\alpha},$$ with $C \in (0,\infty]$. The constant $C$ is is finite if and only if the common distribution of the lattice random variables charges $\left\{0\right\}$. In this case, the constant $C$ is expressed explicitly in terms of such a probability. In the limit formula, $\lambda_d^{(\alpha)}$ denotes the Dirichlet ground-state eigenvalue of the operator $(-\Delta)^{\alpha/2}$ in the unit ball in $\mathbb R^d.$


title: GSI: GPU-friendly Subgraph Isomorphism

abstract: Subgraph isomorphism is a well-known NP-hard problem that is widely used in many applications, such as social network analysis and query over the knowledge graph. Due to the inherent hardness, its performance is often a bottleneck in various real-world applications. Therefore, we address this by designing an efficient subgraph isomorphism algorithm leveraging features of GPU architecture, such as massive parallelism and memory hierarchy. Existing GPU-based solutions adopt a two-step output scheme, performing the same join process twice in order to write intermediate results concurrently. They also lack GPU architecture-aware optimizations that allow scaling to large graphs. In this paper, we propose a GPU-friendly subgraph isomorphism algorithm, GSI. Different from existing edge join-based GPU solutions, we propose a Prealloc-Combine strategy based on the vertex-oriented framework, which avoids joining-twice in existing solutions. Also, a GPU-friendly data structure (called PCSR) is proposed to represent an edge-labeled graph. Extensive experiments on both synthetic and real graphs show that GSI outperforms the state-of-the-art algorithms by up to several orders of magnitude and has good scalability with graph size scaling to hundreds of millions of edges.


title: The driving force behind the distortion of one-dimensional monatomic chains - Peierls theorem revisited

abstract: The onset of distortion in one-dimensional monatomic chains with partially filled valence bands is considered to be well-established by the Peierls theorem, which associates the distortion with the formation of a band gap and a subsequent gain in energy. Employing modern total energy methods on the test cases of lithium, sodium and carbon chains, we reveal that the distortion is not universal, but conditional upon the balance between distorting and stabilizing forces. Furthermore, in all systems studied, the electrostatic interactions between the electrons and ions act as the main driving force for distortion, rather than the electron band lowering at the Fermi level as is commonly believed. The main stabilizing force which drives the chains toward their symmetric arrangement is derived from the electronic kinetic energy. Both forces are affected by the external conditions, e.g. stress, and consequently the instability of one-dimensional nanowires is conditional upon them. This brings a new perspective to the field of one-dimensional metals, and may shed new light on the distortion of more complex structures.


title: Limit Theorems in Warsserstein Distance for Empirical Measures of Diffusion Processes on Riemannian Manifolds

abstract: Let $M$ be a compact connected Riemannian manifold possibly with a boundary, let $V\in C^2(M)$ such that $\mu(d x):=e^{V(x)}d x$ is a probability measure, and let $\{\lambda_i\}_{i\ge 1} $ be all non-trivial eigenvalues of $-L$ with Neumann boundary condition if the boundary exists. Then the empirical measures $\{\mu_t\}_{t>0}$ of the diffusion process generated by $L$ (with reflecting boundary if the boundary exists) satisfy $$ \lim_{t\to \infty} \big\{t \mathbb E^x [W_2(\mu_{t},\mu)^2]\big\}= \sum_{i=1}^\infty\frac 2 {\lambda_i^2}\ \text{ uniformly\ in\ } x\in M,$$ where $\mathbb E^x$ denotes the expectation for the diffusion process starting at point $x$, $W_2$ is the $L^2$-Warsserstein distance induced by the Riemannian metric. The limit is finite if and only if $d\le 3$, and in this case we derive the following central limit theorem: $$\lim_{t\to\infty} \sup_{x\in M} \Big|\mathbb P^x(t W_2(\mu_{t},\mu)^2<a)- \mathbb P\Big( \sum_{k=1}^\infty \frac{2\xi_k^2}{\lambda_k^2}<a\Big)\Big|=0, \ \ a\ge 0,$$ where $\mathbb P^x$ is the probability with respect to $\mathbb E^x$, and $\{\xi_k\}_{k\ge 1}$ are i.i.d. standard Gaussian random variables. Moreover, when $d\ge 4$ we prove that the main order of $\mathbb E^x[W_2(\mu_{t},\mu)^2]$ is $t^{-\frac 2 {d-2}}$ as $t\to\infty$. Moreover, when $d\ge 4$ the main order of $\mathbb E^x[W_2(\mu_{t},\mu)^2]$ is $t^{-\frac 2 {d-2}}$ as $t\to\infty$. Finally, we establish the long-time large deviation principle for $\{W_2(\mu_t,\mu)^2\}_{t\ge 0}$ with a good rate function given by the information with respect to $\mu$.


title: News Labeling as Early as Possible: Real or Fake?

abstract: Making disguise between real and fake news propagation through online social networks is an important issue in many applications. The time gap between the news release time and detection of its label is a significant step towards broadcasting the real information and avoiding the fake. Therefore, one of the challenging tasks in this area is to identify fake and real news in early stages of propagation. However, there is a trade-off between minimizing the time gap and maximizing accuracy. Despite recent efforts in detection of fake news, there has been no significant work that explicitly incorporates early detection in its model. In this paper, we focus on accurate early labeling of news, and propose a model by considering earliness both in modeling and prediction. The proposed method utilizes recurrent neural networks with a novel loss function, and a new stopping rule. Given the context of news, we first embed it with a class-specific text representation. Then, we utilize the available public profile of users, and speed of news diffusion, for early labeling of the news. Experiments on real datasets demonstrate the effectiveness of our model both in terms of early labelling and accuracy, compared to the state of the art baseline and models.


title: An Automaton Group with PSPACE-Complete Word Problem

abstract: We construct an automaton group with a PSPACE-complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namely EXPSPACE-complete, compressed word problem and acts over a binary alphabet. Thus, it is optimal in terms of the alphabet size. Our construction directly simulates the computation of a Turing machine in an automaton group and, therefore, seems to be quite versatile. It combines two ideas: the first one is a construction used by D'Angeli, Rodaro and the first author to obtain an inverse automaton semigroup with a PSPACE-complete word problem and the second one is to utilize a construction used by Barrington to simulate Boolean circuits of bounded degree and logarithmic depth in the group of even permutations over five elements.


title: Measurement of prompt D$^0$, D$^+$, D$^{*+}$, and D$^+_s$ production in p-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV

abstract: The measurement of the production of prompt D$^0$, D$^+$, D$^{*+}$, and D$^+_s$ mesons in proton$-$lead (p$-$Pb) collisions at the centre-of-mass energy per nucleon pair of $\sqrt{s_{\rm NN}}$ = 5.02 TeV, with an integrated luminosity of $292\pm 11$ $\mu$b$^{-1}$, are reported. Differential production cross sections are measured at mid-rapidity ($-0.96<y_{\rm cms}<0.04$) as a function of transverse momentum ($p_{\rm T}$) in the intervals $0< p_{\rm T} < 36$ GeV/$c$ for D$^0$, $1< p_{\rm T} <36$ GeV/$c$ for D$^+$ and D$^{*+}$, and $2< p_{\rm T} <24$ GeV/$c$ for D$^+_s$ mesons. For each species, the nuclear modification factor $R_{\rm pPb}$ is calculated as a function of $p_{\rm T}$ using a proton-proton (pp) reference measured at the same collision energy. The results are compatible with unity in the whole $p_{\rm T}$ range. The average of the non-strange D mesons $R_{\rm pPb}$ is compared with theoretical model predictions that include initial-state effects and parton transport model predictions. The $p_{\rm T}$ dependence of the D$^0$, D$^+$, and D$^{*+}$ nuclear modification factors is also reported in the interval $1< p_{\rm T} < 36$ GeV/$c$ as a function of the collision centrality, and the central-to-peripheral ratios are computed from the D-meson yields measured in different centrality classes. The results are further compared with charged-particle measurements and a similar trend is observed in all the centrality classes. The ratios of the $p_{\rm T}$-differential cross sections of D$^0$, D$^+$, D$^{*+}$, and D$^+_s$ mesons are also reported. The D$^+_s$ and D$^+$ yields are compared as a function of the charged-particle multiplicity for several $p_{\rm T}$ intervals. No modification in the relative abundances of the four species is observed with respect to pp collisions within the statistical and systematic uncertainties.


title: Exact results for the Casimir force of a three-dimensional model of relativistic Bose gas in a film geometry

abstract: Recently it has been suggested that relativistic Bose gas of some type can be playing role in issues like dark matter, dark energy, and in some cosmological problems. In the current article we investigate one known exactly solvable model of three-dimensional statistical-mechanical model of relativistic Bose gas that takes into account the existence of both particles and antiparticles. We derive exact expressions for the behavior of the Casimir force for the system subjected to film geometry under periodic boundary conditions. We show that the Casimir force between the plates is attractive, monotonic as a function of the temperature scaling variable, with a scaling function that approaches at low temperatures a universal negative constant equal to the corresponding one for two-component three dimensional Gaussian system. The force decays with the distance in a power law near and below the bulk critical temperature $T_c$ of the Bose condensate and exponentially above $T_c$. We obtain closed form exact expression for the Casimir amplitude $\Delta_{\rm Cas}^{\rm RBG} =-4\zeta(3)/(5\pi)$. We establish the precise correspondence of the scaling function of the free energy of the model with the scaling functions of two other well-known models of statistical mechanics - the spherical model and the imperfect Bose gas model.


title: Parity odd Fragmentation Functions

abstract: Quantum chromodynamics is a non-Abelian gauge theory of strong interactions, in which the parity symmetry can be violated by the non-trivial $\theta$-vacuum tunneling effects. The $\theta$-vacuum induces the local parity odd domains. Those reactions that occur in these domains can be affected by the tunneling effects and quantities become parity odd. In this paper we consider the fragmentation process where parity odd fragmentation functions are introduced. We present the fragmentation functions by decomposing the quark-quark correlator. Among the total 16 fragmentation functions, 8 of them are parity conserved, and the others are parity violated. They have a one-to-one correspondence. Positivity bounds of these one dimensional fragmentation functions are shown. To be explicit, we also introduce a operator definition of the parity odd correlator. According to the definition, we give a proof that the parity odd fragmentation functions are local quantities and vanish when sum over all the hadrons h.


title: Erwin L. Hahn: A Biographical Memoir

abstract: Erwin Louis Hahn was one of the most innovative and influential physical scientists in recent history, impacting generations of scientists through his work in nuclear magnetic resonance (NMR), optics, and the intersection of these two fields. Starting with his discovery of the spin echo, a phenomenon of monumental significance and practical importance, Hahn launched a major revolution in how we think about spin physics, with numerous implications to follow in many other areas of science. Students of NMR and coherent optics quickly discover that many of the key concepts and techniques in these fields derive directly from his work.


title: Generalized matrix functions on a linear sum of permutation matrices and their cousins

abstract: A generalized matrix function is a generalization of determinant and permanent function. In this paper, we introduced the formula for the value of a generalized matrix function of a linear sum of permutation matrices. We show that a linear sum of permutation matrices satisfies the permanent dominance conjecture. Finally, we apply the result to some cousins of permutation matrices.


title: The Effects of the Introduction of Bitcoin Futures on the Volatility of Bitcoin Returns

abstract: This paper investigates the effects of the launch of Bitcoin futures on the intraday volatility of Bitcoin. Based on one-minute price data collected from four cryptocurrency exchanges, we first examine the change in realized volatility after the introduction of Bitcoin futures to investigate their aggregate effects on the intraday volatility of Bitcoin. We then analyze the effects in more detail utilizing the discrete Fourier transform. We show that although the Bitcoin market became more volatile immediately after the introduction of Bitcoin futures, over time it has become more stable than it was before the introduction.


title: Time-dependent $\mathcal{PT}$-symmetric quantum mechanics in generic non-Hermitian systems

abstract: $\mathcal{PT}$-symmetric quantum mechanics has been considered an important theoretical framework for understanding physical phenomena in $\mathcal{PT}$-symmetric systems, with a number of $\mathcal{PT}$-symmetry related applications. This line of research was made possible by the introduction of a time-independent metric operator to redefine the inner product of a Hilbert space. To treat the dynamics of generic non-Hermitian systems under equal footing, we advocate in this work the use of a time-dependent metric operator for the inner-product between time-evolving states. This treatment makes it possible to always interpret the dynamics of arbitrary (finite-dimensional) non-Hermitian systems in the framework of time-dependent $\mathcal{PT}$-symmetric quantum mechanics, with unitary time evolution, real eigenvalues of an energy observable, and quantum measurement postulate all restored. Our work sheds new lights on generic non-Hermitian systems and spontaneous $\mathcal{PT}$-symmetry breaking in particular. We also illustrate possible applications of our formulation with well-known examples in quantum thermodynamics.


title: The LLV decomposition of hyper-Kaehler cohomology

abstract: Looijenga--Lunts and Verbitsky showed that the cohomology of a compact hyper-K\"ahler manifold $X$ admits a natural action by the Lie algebra $\mathfrak{so} (4, b_2(X)-2)$, generalizing the Hard Lefschetz decomposition for compact K\"ahler manifolds. In this paper, we determine the Looijenga--Lunts--Verbitsky (LLV) decomposition for all known examples of compact hyper-K\"ahler manifolds, and propose a general conjecture on the weights occurring in the LLV decomposition, which in particular determines strong bounds on the second Betti number $b_2(X)$ of hyper-K\"ahler manifolds. Specifically, in the $K3^{[n]}$ and $\mathrm{Kum}_n$ cases, we give generating series for the formal characters of the associated LLV representations, which generalize the well-known G\"ottsche formulas for the Euler numbers, Betti numbers, and Hodge numbers for these series of hyper-K\"ahler manifolds. For the two exceptional cases of O'Grady we refine the known results on their cohomology. In particular, we note that the LLV decomposition leads to a simple proof for the Hodge numbers of hyper-K\"ahler manifolds of O'Grady 10 type. In a different direction, for all known examples of hyper-K\"ahler manifolds, we establish the so-called Nagai's conjecture on the monodromy of degenerations of hyper-K\"ahler manifolds. More consequentially, we note that Nagai's conjecture is a first step towards a more general and more natural conjecture, that we state here. Finally, we prove that this new conjecture is satisfied by the known types of hyper-K\"ahler manifolds.


title: A generalization of Selfridge's question

abstract: Selfridge asked to investigate the pairs $(m,n)$ of natural numbers for which $2^m - 2^n$ divides $x^m - x^n$ for all integers $x.$ This question was answered by different mathematicians by showing that there are only finitely many such pairs. Let $R$ be the ring of integers of a number field $\K$ and $M_n(R)$ be ring of all $n \times n$ matrices over $R$. In this article, we prove a generalization of Selfridge's question in the case of $M_n(R)$.


title: High-resolution observations with ARTEMIS-JLS and the NRH. III. Spectroscopy and imaging of fiber bursts

abstract: Aims: We study the characteristics of intermediate drift bursts (fibers) embedded in the July 14, 2000 large solar event. Methods: We used dynamic spectra from the acousto-optic analyzer (SAO) of the ARTEMIS-JLS solar radiospectrograph, in conjunction with high time resolution images from the Nanc cay Radioheliograph (NRH) and EUV images from TRACE . We computed both 2-dimensional and 1-dimensional images and applied high pass time filtering to the images and the dynamic spectrum in order to enhance the fibers. For the study of the background continuum emission we used images averaged over several seconds. Results: All fibers in the SAO dynamic spectra are identifiable in the NRH images. Fibers were first detected after the primary energy release in a moving type IV, probably associated with the rapid eastward expansion of the flare and the postflare loop arcade. They appeared as a 10% modulation of the continuum intensity. The fibers and the continuum were strongly circularly polarized in the ordinary mode sense, indicating fundamental plasma emission. We detected discrete fiber sources along two ~300, Mm long parallel stripes, apparently segments of large scale loops encompassing both the EUV loops and the flux rope. We found multiple fiber emissions at slightly different positions and times; their consecutive appearance can give the impression of apparent motion with supra-luminal velocities. Images of individual fibers were very similar at 432.0 and 327.0 MHz. From the position shift of the sources and the time delays at low and high frequencies we estimated, for a well observed group of fibers, the exciter speed and the frequency scale length along the loops; we obtained consistent values from imaging and spectral data, supporting the whistler origin of the fiber emission. The fibers in absorption and in emission are very similar as manifestations of the same wave train.


title: Antipodes, preantipodes and Frobenius functors

abstract: We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a bialgebra, tightening the connection between Hopf and Frobenius properties.


title: Compatible actions of Lie algebras

abstract: We study compatible actions (introduced by Brown and Loday in their work on the non-abelian tensor product of groups) in the category of Lie algebras over a fixed ring. We describe the Peiffer product via a new diagrammatic approach, which specializes to the known definitions both in the case of groups and of Lie algebras. We then use this approach to transfer a result linking compatible actions and pairs of crossed modules over a common base object $L$ from groups to Lie algebras. Finally, we show that the Peiffer product, naturally endowed with a crossed module structure, has the universal property of the coproduct in $\mathbf{XMod}_L(\mathbf{Lie}_R)$.


title: Metallic edge states in zig-zag vertically-oriented MoS2 nanowalls

abstract: The remarkable properties of layered materials such as MoS2 strongly depend on their dimensionality. Beyond manipulating their dimensions, it has been predicted that the electronic properties of MoS2 can also be tailored by carefully selecting the type of edge sites exposed. However, achieving full control over the type of exposed edge sites while simultaneously modifying the dimensionality of the nanostructures is highly challenging. Here we adopt a topdown approach based on focus ion beam in order to selectively pattern the exposed edge sites. This strategy allows us to select either the armchair (AC) or the zig-zag (ZZ) edges in the MoS2 nanostructures, as confirmed by high-resolution transmission electron microscopy measurements. The edge-type dependence of the local electronic properties in these MoS2 nanostructures is studied by means of electron energy-loss spectroscopy measurements. This way, we demonstrate that the ZZ-MoS2 nanostructures exhibit clear fingerprints of their predicted metallic character. Our results pave the way towards novel approaches for the design and fabrication of more complex nanostructures based on MoS2 and related layered materials for applications in fields such as electronics, optoelectronics, photovoltaics, and photocatalysts.


title: Massive higher spin fields in the frame-like multispinor formalism

abstract: In this paper, a gauge invariant description of massive higher spin bosonic and fermionic particles in frame-like Lagrangian and unfolded formalism in (A)dS${}_4$ is built. A complete set of gauge invariant object is also constructed and the Lagrangian is rewritten in terms of these objects. The unitarity of the theories is studied alongside with the partially massless limits. The calculations are carried out in the multispinor formalism, which simplifies them and is particularly convenient for the supersymmetry studies.


title: Convergence in Density of Splitting AVF Scheme for Stochastic Langevin Equation

abstract: In this article, we study the density function of the numerical solution of the splitting averaged vector field (AVF) scheme for the stochastic Langevin equation. To deal with the non-globally monotone coefficient in the considered equation, we first present the exponential integrability properties of the exact and numerical solutions. Then we show the existence and smoothness of the density function of the numerical solution by proving its uniform non-degeneracy in Malliavin sense. In order to analyze the approximate error between the density function of the exact solution and that of the numerical solution, we derive the optimal strong convergence rate in every Malliavin--Sobolev norm of the numerical scheme via Malliavin calculus. Combining the approximation result of Donsker's delta function and the smoothness of the density functions, we prove that the convergence rate in density coincides with the optimal strong convergence rate of the numerical scheme.


title: The Aharonov-Bohm phase is locally generated (like all other quantum phases)

abstract: In the Aharonov-Bohm (AB) effect, a superposed charge acquires a detectable phase by enclosing an infinite solenoid, in a region where the solenoid's electric and magnetic fields are zero. Its generation seems therefore explainable only by the local action of gauge-dependent potentials, not of gauge-independent fields. This was recently challenged by Vaidman, who explained the phase by the solenoid's current interacting with the electron's field (at the solenoid). Still, his model has a residual non-locality: it does not explain how the phase, generated at the solenoid, is detectable on the charge. In this paper we solve this non-locality explicitly, by quantising the field. We show that the AB phase is mediated locally by the entanglement between the charge and the photons, like all electromagnetic phases. We also predict a gauge-invariant value for the phase difference at each point along the charge's path. We propose a realistic experiment to measure this phase difference locally, by partial quantum state tomography on the charge, without closing the interference loop.


title: Modified symmetry technique for mitigation of flow leak near corners for compressible inviscid fluid flow

abstract: Using the standard symmetry technique for applying boundary conditions for free slip and flat walls with corners will lead to flow leak through the wall near corners (violation of no penetration condition) and a corresponding error in prediction of pressure. Also, prescribing a state at the corner as a boundary condition is not possible. In this paper, a method for tackling the `corner point state' problem is given and modifications to the standard symmetry technique are proposed to mitigate flow leak near the corner. Using this modified symmetry technique, numerical solutions to the Euler equations for flows over forward facing and backward facing step are computed employing the Shu-Osher conservative finite difference scheme with WENO-NP3 reconstruction (with a formal order of accuracy in space of 3), Lax-Freidrichs flux splitting, and TVD-RK3 time discretisation. It is shown that using this modified symmetry technique leads to mitigation of flow leak near the corner and a better prediction of shock structure even on coarse meshes.


title: Impact of temporal connectivity patterns on epidemic process

abstract: To provide a comprehensive view for dynamics of and on many real-world temporal networks, we investigate the interplay of temporal connectivity patterns and spreading phenomena, in terms of the susceptible-infected-removed (SIR) model on the modified activity-driven temporal network (ADTN) with memory. In particular, we focus on how the epidemic threshold of the SIR model is affected by the heterogeneity of nodal activities and the memory strength in temporal and static regimes, respectively. While strong ties (memory) between nodes inhibit the spread of epidemic to be localized, the heterogeneity of nodal activities enhances it to be globalized initially. Since the epidemic threshold of the SIR model is very sensitive to the degree distribution of nodes in static networks, we test the SIR model on the modified ADTNs with the possible set of the activity exponents and the memory exponents that generates the same degree distributions in temporal networks. We also discuss the role of spatiotemporal scaling properties of the largest cluster and the maximum degree in the epidemic threshold. It is observed that the presence of highly active nodes enables to trigger the initial spread of epidemic in a short period of time, but it also limits its final spread to the entire network. This implies that there is the trade-off between the spreading time of epidemic and its outbreak size. Finally, we suggest the phase diagram of the SIR model on ADTNs and the optimal condition for the spread of epidemic under the circumstances.


title: On the Mean Residual Life of Cantor-Type Distributions: Properties and Economic Applications

abstract: In this paper, we consider the mean residual life (MRL) function of the Cantor distribution and study its properties. We show that the MRL function is continuous at all points, locally decreasing at all points outside the Cantor set and has a unique fixed point which we explicitly determine. These properties readily extend to the parametric family of p-singular, Cantor type distributions introduced by Mandelbrot (1983). The findings offer evidence that, contrary to common perceptions, Cantor-type distributions are tractable enough to be considered for practical applications. We provide such an example from the field of economics in which Cantor-type distributions can be used to model markets with recurrent bandwagon effects and show that earlier anticipated bandwagon effects lead to higher monopolistic prices. We conclude with a simple implementation of the algorithm by Chalice (1991) to plot Cantor-type distributions.


title: Defending Against Universal Attacks Through Selective Feature Regeneration

abstract: Deep neural network (DNN) predictions have been shown to be vulnerable to carefully crafted adversarial perturbations. Specifically, image-agnostic (universal adversarial) perturbations added to any image can fool a target network into making erroneous predictions. Departing from existing defense strategies that work mostly in the image domain, we present a novel defense which operates in the DNN feature domain and effectively defends against such universal perturbations. Our approach identifies pre-trained convolutional features that are most vulnerable to adversarial noise and deploys trainable feature regeneration units which transform these DNN filter activations into resilient features that are robust to universal perturbations. Regenerating only the top 50% adversarially susceptible activations in at most 6 DNN layers and leaving all remaining DNN activations unchanged, we outperform existing defense strategies across different network architectures by more than 10% in restored accuracy. We show that without any additional modification, our defense trained on ImageNet with one type of universal attack examples effectively defends against other types of unseen universal attacks.


title: Non-perturbative determination of improvement coefficients b_m and b_A-b_P and normalisation factor Z_m*Z_P/Z_A with N_f=3 Wilson fermions

abstract: We determine non-perturbatively the normalisation constant Z_m*Z_P/Z_A as well as the Symanzik coefficients b_m and b_A-b_P, required in O(a) improved quark mass renormalisation with Wilson fermions. The strategy underlying their computation involves simulations in N_f=3 QCD with O(a) improved massless sea and non-degenerate valence quarks in the finite-volume Schroedinger functional scheme. Our results, which cover the typical gauge coupling range of large-volume N_f=2+1 QCD simulations with Wilson fermions at lattice spacings below 0.1 fm, are of particular use for the non-perturbative calculation of O(a) improved renormalised quark masses.


title: Roe- Strichartz Theorem on Two Step Nilpotent Lie Groups

abstract: Strichartz characterized eigenfunctions of the Laplacian on Euclidean spaces by boundedness conditions which generalized a result of Roe for the one-dimensional case. He also proved an analogous statement for the sublaplacian on the Heisenberg groups. In this paper, we extend this result to connected, simply connected two step nilpotent Lie groups.


title: How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques

abstract: Background: Over the years, Automated Program Repair (APR) has attracted much attention from both academia and industry since it can reduce the costs in fixing bugs. However, how to assess the patch correctness remains to be an open challenge. Two widely adopted ways to approach this challenge, including manually checking and validating using automated generated tests, are biased (i.e., suffering from subjectivity and low precision respectively). Aim: To address this concern, we propose to conduct an empirical study towards understanding the correct patches that are generated by existing state-of-the-art APR techniques, aiming at providing guidelines for future assessment of patches. Method: To this end, we first present a Literature Review (LR) on the reported correct patches generated by recent techniques on the Defects4J benchmark and collect 177 correct patches after a process of sanity check. We investigate how these machine-generated correct patches achieve semantic equivalence, but syntactic difference compared with developer-provided ones, how these patches distribute in different projects and APR techniques, and how the characteristics of a bug affect the patches generated for it. Results: Our main findings include 1) we do not need to fix bugs exactly like how developers do since we observe that 25.4% (45/177) of the correct patches generated by APR techniques are syntactically different from developer-provided ones; 2) the distribution of machine-generated correct patches diverges for the aspects of Defects4J projects and APR techniques; and 3) APR techniques tend to generate patches that are different from those by developers for bugs with large patch sizes. Conclusion: Our study not only verifies the conclusions from previous studies but also highlights implications for future study towards assessing patch correctness.


title: Shear viscosity of pseudo hard-spheres

abstract: We present molecular dynamics simulations of pseudo hard sphere fluid (generalized WCA potential with exponents (50, 49) proposed by Jover et al. J. Chem. Phys 137, (2012)) using GROMACS package. The equation of state and radial distribution functions at contact are obtained from simulations and compared to the available theory of true hard spheres (HS) and available data on pseudo hard spheres. The comparison shows agreements with data by Jover et al. and the Carnahan-Starling equation of HS. The shear viscosity is obtained from the simulations and compared to the Enskog expression and previous HS simulations. It is demonstrated that the PHS potential reproduces the HS shear viscosity accurately.


title: Collision model for non-Markovian quantum trajectories

abstract: We present an algorithm to simulate genuine, measurement-conditioned quantum trajectories for a class of non-Markovian systems, using a collision model for the environment. We derive two versions of the algorithm, the first corresponding to photodetection and the second to homodyne detection with a finite local oscillator amplitude. We use the algorithm to simulate trajectories for a system with delayed coherent feedback, as well as a system with a continuous memory.


title: Adversarial Mahalanobis Distance-based Attentive Song Recommender for Automatic Playlist Continuation

abstract: In this paper, we aim to solve the automatic playlist continuation (APC) problem by modeling complex interactions among users, playlists, and songs using only their interaction data. Prior methods mainly rely on dot product to account for similarities, which is not ideal as dot product is not metric learning, so it does not convey the important inequality property. Based on this observation, we propose three novel deep learning approaches that utilize Mahalanobis distance. Our first approach uses user-playlist-song interactions, and combines Mahalanobis distance scores between (i) a target user and a target song, and (ii) between a target playlist and the target song to account for both the user's preference and the playlist's theme. Our second approach measures song-song similarities by considering Mahalanobis distance scores between the target song and each member song (i.e., existing song) in the target playlist. The contribution of each distance score is measured by our proposed memory metric-based attention mechanism. In the third approach, we fuse the two previous models into a unified model to further enhance their performance. In addition, we adopt and customize Adversarial Personalized Ranking (APR) for our three approaches to further improve their robustness and predictive capabilities. Through extensive experiments, we show that our proposed models outperform eight state-of-the-art models in two large-scale real-world datasets.


title: The probabilistic superiority of stochastic symplectic methods via large deviations principles

abstract: It is well known that symplectic methods have been rigorously shown to be superior to non-symplectic ones especially in long-time computation, when applied to deterministic Hamiltonian systems. In this paper, we attempt to study the probabilistic superiority of stochastic symplectic methods by means of the theory of large deviations. We propose the concept of asymptotical preservation of numerical methods for large deviations principles associated with the exact solutions of the general stochastic Hamiltonian systems. Concerning that the linear stochastic oscillator is one of the typical stochastic Hamiltonian systems, we take it as the test equation in this paper to obtain precise results about the rate functions of large deviations principles for both exact and numerical solutions. Based on the G\"artner--Ellis theorem, we first study the large deviations principles of the mean position and the mean velocity for both the exact solution and its numerical approximations. Then, we prove that stochastic symplectic methods asymptotically preserve these two large deviations principles, but non-symplectic ones do not. This indicates that stochastic symplectic methods are able to approximate well the exponential decay speed of the "hitting probability" of the mean position and mean velocity of the stochastic oscillator. To the best of our knowledge, this is the first result about using large deviations principle to show the superiority of stochastic symplectic methods compared with non-symplectic ones in the existing literature.


title: Algebra of Concurrent Games

abstract: We introduce parallelism into the basic algebra of games to model concurrent game algebraically. Parallelism is treated as a new kind of game operation. The resulted algebra of concurrent games can be used widely to reason the parallel systems.


title: Finite dimensional irreducible representations of the nullity 2 centreless core $\mathfrak{g}_{2n,\rho}(\mathbb{C}_q)$

abstract: We study the finite-dimensional irreducible representations of the nullity 2 centreless core $\mathfrak{g}_{2n,\rho}(\mathbb{C}_q)$ by investigating the structure of the $\mathrm{BC}_n$-graded Lie algebra $\mathfrak{g}_{2n,\rho}(R)$, where $R$ is a unital involutory associative algebra over a field $k$ of characteristic zero.


title: Quasipositive braids and connected sums

abstract: We prove that the connected sum of two links is quasipositive if and onlyif each summand is quasipositive. The prove is based on the filling disk technique


title: Sensitivity of Deep Convolutional Networks to Gabor Noise

abstract: Deep Convolutional Networks (DCNs) have been shown to be sensitive to Universal Adversarial Perturbations (UAPs): input-agnostic perturbations that fool a model on large portions of a dataset. These UAPs exhibit interesting visual patterns, but this phenomena is, as yet, poorly understood. Our work shows that visually similar procedural noise patterns also act as UAPs. In particular, we demonstrate that different DCN architectures are sensitive to Gabor noise patterns. This behaviour, its causes, and implications deserve further in-depth study.


title: Uniqueness and Regularity of Unbounded Weak Solutions to a Class of Cross Diffusion Systems

abstract: We establish the uniqueness and regularity of weak (and very weak) solutions to a class of cross diffusion systems which is inspired by models in mathematical biology/ecology, in particular the Shigesada-Kawasaki-Teramoto (SKT) model in population biology. No boundedness assumption on these solutions is supposed here as known techniques for scalar equations such as maximum/comparison principles are generally unavailable for systems. Furthermore, for planar domains we show that unbounded weak solutions satisfying mild integrability conditions are in fact smooth.


title: S^1-equivariant contact homology for hypertight contact forms

abstract: In a previous paper, we showed that the original definition of cylindrical contact homology, with rational coefficients, is valid on a closed three-manifold with a dynamically convex contact form. However we did not show that this cylindrical contact homology is an invariant of the contact structure. In the present paper, we define "nonequivariant contact homology" and "S^1-equivariant contact homology", both with integer coefficients, for a contact form on a closed manifold in any dimension with no contractible Reeb orbits. We prove that these contact homologies depend only on the contact structure. Our construction uses Morse-Bott theory and is related to the positive S^1-equivariant symplectic homology of Bourgeois-Oancea. However, instead of working with Hamiltonian Floer homology, we work directly in contact geometry, using families of almost complex structures. When cylindrical contact homology can also be defined, it agrees with the tensor product of the S^1-equivariant contact homology with Q. We also present examples showing that the S^1-equivariant contact homology contains interesting torsion information. In a subsequent paper we will use obstruction bundle gluing to extend the above story to closed three-manifolds with dynamically convex contact forms, which in particular will prove that their cylindrical contact homology has a lift to integer coefficients which depends only on the contact structure.


title: Control-guided Communication: Efficient Resource Arbitration and Allocation in Multi-hop Wireless Control Systems

abstract: In future autonomous systems, wireless multi-hop communication is key to enable collaboration among distributed agents at low cost and high flexibility. When many agents need to transmit information over the same wireless network, communication becomes a shared and contested resource. Event-triggered and self-triggered control account for this by transmitting data only when needed, enabling significant energy savings. However, a solution that brings those benefits to multi-hop networks and can reallocate freed up bandwidth to additional agents or data sources is still missing. To fill this gap, we propose control-guided communication, a novel co-design approach for distributed self-triggered control over wireless multi-hop networks. The control system informs the communication system of its transmission demands ahead of time, and the communication system allocates resources accordingly. Experiments on a cyber-physical testbed show that multiple cart-poles can be synchronized over wireless, while serving other traffic when resources are available, or saving energy. These experiments are the first to demonstrate and evaluate distributed self-triggered control over low-power multi-hop wireless networks at update rates of tens of milliseconds.


title: Geodesics on Riemannian stacks

abstract: Metrics on Lie groupoids and differentiable stacks have been introduced recently, extending the Riemannian geometry of manifolds and orbifolds to more general singular spaces. Here we continue that theory, studying stacky curves on Riemannian stacks, measuring their length using stacky metrics, and introducing stacky geodesics. Our main results show that the length of stacky curves measure distances on the orbit space, characterize stacky geodesics as locally minimizing curves, and establish a stacky version of Hopf-Rinow Theorem. We include a concise overview that bypasses nonessential technicalities, and we lay stress on the examples of orbit spaces of isometric actions and leaf spaces of Riemannian foliations.


title: Penalisation of Long Treatment Time and Optimal Control of a Tumour Growth Model of Cahn-Hilliard

abstract: A distributed optimal control problem for a diffuse interface model, which physical context is that of tumour growth dynamics, is addressed. The system we deal with comprises a Cahn--Hilliard equation for the tumour fraction coupled with a reaction-diffusion for a nutrient species surrounding the tumourous cells. The cost functional to be minimised possesses some objective terms and it also penalises long treatments time, which may affect harm to the patients, and big aggregations of tumourous cells. Hence, the optimisation problem leads to the optimal strategy which reduces the time exposure of the patient to the medication and at the same time allows the doctors to achieve suitable clinical goals.


title: Robust Strategies for Affirming Kramers-Henneberger Atoms

abstract: Atoms exposed to high-frequency strong laser fields experience the ionization suppression due to the deformation of Kramers-Henneberger (KH) wave functions, which has not been confirmed yet in experiment. We propose a bichromatic pump-probe strategy to affirm the existence of KH states, which is formed by the pump pulse and ionized by the probe pulse. In the case of the single-photon ionization triggered by a vacuum ultra-violet probe pulse, the double-slit structure of KH atom is mapped to the photoelectron momentum distribution. In the case of the tunneling ionization induced by an infrared probe pulse, streaking in anisotropic Coulomb potential produces a characteristic momentum drift. Apart from bichromatic schemes, the non-Abelian geometric phase provides an alternative route to affirm the existence of KH states. Following specific loops in laser parameter space, a complete spin flipping transition could be achieved. Our proposal has advantages of being robust against focal-intensity average as well as ionization depletion, and is accessible with current laser facilities.


title: Road to Room-Temperature Superconductivity: Tc above 260 K in Lanthanum Superhydride under Pressure

abstract: The use of high pressure to realize superconductivity in the vicinity of room temperature has a long history, much of it focused on achieving this in hydrogen rich materials. This paper provides a brief overview of the work presented at this May 2018 conference, together with background on motivation and techniques, the theoretical predictions of superconductivity in lanthanum hydride, and the subsequent experimental confirmation. Theoretical calculations using density functional based structure search methods combined with BCS type models predicted a new class of dense, hydrogen rich materials superhydrides with superconducting critical temperatures in the vicinity of room temperature at and above 200 GPa pressures. The existence of a series of these phases in the La H system was subsequently confirmed experimentally, and techniques were developed for their syntheses and characterization, including measurements of structural and transport properties, at megabar pressures. Four probe electrical transport measurements of a cubic phase identified as LaH10 display signatures of superconductivity at temperatures above 260 K near 200 GPa. The results are supported by pseudo four probe conductivity measurements, critical current determinations, low-temperature xray diffraction, and magnetic susceptibility measurements. The measured high Tc is in excellent agreement with the original calculations. The experiments also reveal additional superconducting phases with Tc between 150 K and above 260 K. This effort highlights the novel physics in hydrogen-rich materials at high densities, the success of materials by design in the discovery and creation of new materials, and the possibility of new classes of superconductors Tc at and above room temperature.


title: On a thermodynamic framework for developing boundary conditions for Korteweg fluids

abstract: We provide a derivation of several classes of boundary conditions for fluids of Korteweg-type using a simple and transparent thermodynamic approach that automatically guarentees that the derived boundary conditions are compatible with the second law of thermodynamics. The starting assumption of our approach is to describe the boundary of the domain as the membrane separating two different continua, one inside the domain, and the other outside the domain. With this viewpoint one may employ the framework of continuum thermodynamics involving singular surfaces. This approach allows us to identify, for various classes of surface Helmholtz free energies, the corresponding surface entropy production mechanisms. By establishing the constitutive relations that guarantee that the surface entropy production is non-negative, we identify a new class of boundary conditions, which on one hand generalizes in a nontrivial manner the Navier's slip boundary conditions, and on the other hand describes dynamic and static contact angle conditions. We explore the general model in detail for a particular case of Korteweg fluid where the Helmholtz free energy in the bulk is that of a van der Waals fluid. We perform a series of numerical experiments to document the basic qualitative features of the novel boundary conditions and their practical applicability to model phenomena such as the contact angle hysteresis.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: Quantum impurity models from conformal field theory

abstract: The coupling between localized magnetic moments and itinerant electrons presents a plethora of interesting physics. The low-energy physics of some quantum impurity systems can be described using conformal field theory (CFT). In this paper, the connection between quantum impurity models and CFT is further strengthened as we construct a class of exactly solvable models with ground states given by CFT correlators. The method developed here is completely analytical and can be applied to fermions with an arbitrary number of colors and multiple impurities. Numerical calculations are performed to characterize certain aspects of our models for which we do not have analytical results.


title: Resource Management optimally in Non-Orthogonal Multiple Access Networks for fifth-generation by using game-theoretic

abstract: In this paper , we optimize the resource Allocation management by using game-Theory . In this paper we can optimize number of users in resource allocation management by using the user-sub-channel-soap matching algorithm (USMA) for non-orthogonal multiple access for fifth-generation networks by increase multiple access user and NOMA that is to accessible to 63 users. This method reduces interference between users , which include costs , and resource to access for other users.


title: Strategies to architect AI Safety: Defense to guard AI from Adversaries

abstract: The impact of designing for security of AI is critical for humanity in the AI era. With humans increasingly becoming dependent upon AI, there is a need for neural networks that work reliably, inspite of Adversarial attacks. The vision for Safe and secure AI for popular use is achievable. To achieve safety of AI, this paper explores strategies and a novel deep learning architecture. To guard AI from adversaries, paper explores combination of 3 strategies: 1. Introduce randomness at inference time to hide the representation learning from adversaries. 2. Detect presence of adversaries by analyzing the sequence of inferences. 3. Exploit visual similarity. To realize these strategies, this paper designs a novel architecture, Dynamic Neural Defense, DND. This defense has 3 deep learning architectural features: 1. By hiding the way a neural network learns from exploratory attacks using a random computation graph, DND evades attack. 2. By analyzing input sequence to cloud AI inference engine with LSTM, DND detects attack sequence. 3. By inferring with visual similar inputs generated by VAE, any AI defended by DND approach does not succumb to hackers. Thus, a roadmap to develop reliable, safe and secure AI is presented.


title: 3DFPN-HS$^2$: 3D Feature Pyramid Network Based High Sensitivity and Specificity Pulmonary Nodule Detection

abstract: Accurate detection of pulmonary nodules with high sensitivity and specificity is essential for automatic lung cancer diagnosis from CT scans. Although many deep learning-based algorithms make great progress for improving the accuracy of nodule detection, the high false positive rate is still a challenging problem which limited the automatic diagnosis in routine clinical practice. In this paper, we propose a novel pulmonary nodule detection framework based on a 3D Feature Pyramid Network (3DFPN) to improve the sensitivity of nodule detection by employing multi-scale features to increase the resolution of nodules, as well as a parallel top-down path to transit the high-level semantic features to complement low-level general features. Furthermore, a High Sensitivity and Specificity (HS$^2$) network is introduced to eliminate the falsely detected nodule candidates by tracking the appearance changes in continuous CT slices of each nodule candidate. The proposed framework is evaluated on the public Lung Nodule Analysis (LUNA16) challenge dataset. Our method is able to accurately detect lung nodules at high sensitivity and specificity and achieves $90.4\%$ sensitivity with 1/8 false positive per scan which outperforms the state-of-the-art results $15.6\%$.


title: Weil representations via abstract data and Heisenberg groups: a comparison

abstract: Let $B$ be a ring, not necessarily commutative, having an involution $*$ and let ${\mathrm U}_{2m}(B)$ be the unitary group of rank $2m$ associated to a hermitian or skew hermitian form relative to $*$. When $B$ is finite, we construct a Weil representation of ${\mathrm U}_{2m}(B)$ via Heisenberg groups and find its explicit matrix form on the Bruhat elements. As a consequence, we derive information on generalized Gauss sums. On the other hand, there is an axiomatic method to define a Weil representation of ${\mathrm U}_{2m}(B)$, and we compare the two Weil representations thus obtained under fairly general hypotheses. When $B$ is local, not necessarily finite, we compute the index of the subgroup of ${\mathrm U}_{2m}(B)$ generated by its Bruhat elements. Besides the independent interest, this subgroup and index are involved in the foregoing comparison of Weil representations.


title: Multichannel remote polarization control enabled by nanostructured Liquid Crystalline Networks

abstract: In this article we demonstrate that a grating fabricated through nanoscale volumetric crosslinking of a liquid crystalline polymer enables remote polarization control over the diffracted channels. This functionality is a consequence of the responsivity of liquid crystal networks upon light stimuli. Tuning the photonic response of the device is obtained thanks to both a refractive index and a shape change of the grating elements induced by a molecular rearrangement under irradiation. In particular, the material anisotropy allows for nontrivial polarization state management over multiple beams. Absence of any liquid component and a time response down to 0.2 milliseconds make our device appealing in the fields of polarimetry and optical communications.

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


title: Splitting-based domain decomposition methods for two-phase flow with different rock types

abstract: In this paper, we are concerned with the global pressure formulation of immiscible incompressible two-phase flow between different rock types. We develop for this problem two robust schemes based on domain decomposition (DD) methods and operator-splitting techniques. The first scheme follows a sequential procedure in which the (global) pressure, the saturation-advection and the saturation-diffusion problems are fully decoupled. In this scheme, each problem is treated individually using various DD approaches and specialized numerical methods. The coupling between the different problems is explicit and the time-marching is with no iterations. To adapt to different time scales of problem components and different rock types, the novel scheme uses a multirate time stepping strategy, by taking multiple finer time steps for saturation-advection within one coarse time step for saturation-diffusion and pressure, and permits independent time steps for the advection step in the different rocks. In the second scheme, we review the classical Implicit Pressure--Explicit Saturation (IMPES) method (by decoupling only pressure and saturation) in the context of multirate coupling schemes and nonconforming-in-time DD approaches. For the discretization, the saturation-advection problem is approximated with the explicit Euler method in time, and in space with the cell-centered finite volume method of first order of Godunov type. The saturation-diffusion problem is approximated in time with the implicit Euler method and in space with the mixed finite element method, as in the pressure problem. Finally, in a series of numerical experiments, we investigate the practicality of the proposed schemes, the accuracy-in-time of the multirate and nonconforming time strategies, and compare the convergence of various DD methods within each approach.


title: A gradual, semi-discrete approach to generative network training via explicit Wasserstein minimization

abstract: This paper provides a simple procedure to fit generative networks to target distributions, with the goal of a small Wasserstein distance (or other optimal transport costs). The approach is based on two principles: (a) if the source randomness of the network is a continuous distribution (the "semi-discrete" setting), then the Wasserstein distance is realized by a deterministic optimal transport mapping; (b) given an optimal transport mapping between a generator network and a target distribution, the Wasserstein distance may be decreased via a regression between the generated data and the mapped target points. The procedure here therefore alternates these two steps, forming an optimal transport and regressing against it, gradually adjusting the generator network towards the target distribution. Mathematically, this approach is shown to minimize the Wasserstein distance to both the empirical target distribution, and also its underlying population counterpart. Empirically, good performance is demonstrated on the training and testing sets of the MNIST and Thin-8 data. The paper closes with a discussion of the unsuitability of the Wasserstein distance for certain tasks, as has been identified in prior work [Arora et al., 2017, Huang et al., 2017].


title: Linear Optimization of Polynomials and Rational Functions over Boxes

abstract: In this paper, we investigate the problem of finding tight linear lower bounding functions for multivariate polynomials over boxes. These functions are obtained by the expansion of polynomials into Bernstein form and using the linear least squares function. Convergence properties of the given polynomials to their lower bounds are shown with respect to raising the degree, width of the box and subdivision. Subsequently, we provide a new method for constructing an affine lower bounding function for a multivariate rational function based on the Bernstein control points, the convex hull of a non-positive polynomial $s$ and degree elevation. Numerical comparisons with the well known Bernstein constant lower bounding function are finally given.


title: Devolatilization of Subducting Slabs, Part II: Volatile Fluxes and Storage

abstract: Subduction is a crucial part of the long-term water and carbon cycling between Earth's exosphere and interior. However, there is broad disagreement over how much water and carbon is liberated from subducting slabs to the mantle wedge and transported to island-arc volcanoes. In the companion paper Part I, we parameterize the metamorphic reactions involving H$_2$O and CO$_2$ for representative subducting lithologies. On this basis, a two-dimensional reactive transport model is constructed in this Part II. We assess the various controlling factors of CO$_2$ and H$_2$O release from subducting slabs. Model results show that up-slab fluid flow directions produce a flux peak of CO$_2$ and H$_2$O at subarc depths. Moreover, infiltration of H$_2$O-rich fluids sourced from hydrated slab mantle enhances decarbonation or carbonation at lithological interfaces, increases slab surface fluxes, and redistributes CO$_2$ from basalt and gabbro layers to the overlying sedimentary layer. As a result, removal of the cap sediments (by diapirism or off-scraping) leads to elevated slab surface CO$_2$ and H$_2$O fluxes. The modelled subduction efficiency (the percentage of initially subducted volatiles retained until $\sim$200 km deep) of H$_2$O and CO$_2$ is increased by open-system effects due to fractionation within the interior of lithological layers.


title: 5 Parallel Prism: A topology for pipelined implementations of convolutional neural networks using computational memory

abstract: In-memory computing is an emerging computing paradigm that could enable deeplearning inference at significantly higher energy efficiency and reduced latency. The essential idea is to map the synaptic weights corresponding to each layer to one or more computational memory (CM) cores. During inference, these cores perform the associated matrix-vector multiply operations in place with O(1) time complexity, thus obviating the need to move the synaptic weights to an additional processing unit. Moreover, this architecture could enable the execution of these networks in a highly pipelined fashion. However, a key challenge is to design an efficient communication fabric for the CM cores. Here, we present one such communication fabric based on a graph topology that is well suited for the widely successful convolutional neural networks (CNNs). We show that this communication fabric facilitates the pipelined execution of all state of-the-art CNNs by proving the existence of a homomorphism between one graph representation of these networks and the proposed graph topology. We then present a quantitative comparison with established communication topologies and show that our proposed topology achieves the lowest bandwidth requirements per communication channel. Finally, we present a concrete example of mapping ResNet-32 onto an array of CM cores.


title: Homotopy transfer and formality

abstract: In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a homology-level degree twisting automorphism using a unit of multiplicative order at least $n$. Here we give another proof of this result of independent interest and under slightly different hypotheses. We use the homotopy transfer theorem and an explicit inductive procedure in order to kill the higher operations. As an application of our result, we prove formality with coefficients in the $p$-adic integers of certain dg-algebras coming from hyperplane and toric arrangements and configuration spaces.


title: Paraconsistency, resolution and relevance

abstract: Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones. Direct (instead of refutational) reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical fallacies of relevance.


title: On a theorem of S\'ark\"ozy for difference sets and shifted primes

abstract: We show that if the difference of two elements of a set $A \subseteq [N]$ is never one less than a prime number, then $|A| = O (N \exp (-c (\log N)^{1/3}))$ for some absolute constant $c>0$.


title: Anomalous Decay of Quantum Resistance Oscillations of Two Dimensional Helical Electrons in Magnetic Field

abstract: Shubnikov de Haas resistance oscillations of highly mobile two dimensional helical electrons propagating on a conducting surface of strained HgTe 3D topological insulator are studied in magnetic fields B tilted by angle $\theta$ from the normal to the conducting layer. Strong decrease of oscillation amplitude A is observed with the tilt: $A \sim \exp(-\xi/cos(\theta))$, where $\xi$ is a constant. Evolution of the oscillations with temperature T shows that the parameter $\xi$ contains two terms: $\xi=\xi_1+\xi_2 T$. The temperature independent term, $\xi_1$, describes reduction of electron mean free path in magnetic field B pointing toward suppression of the topological protection of the electron states against impurity scattering. The temperature dependent term, $\xi_2 T$, indicates increase of the reciprocal velocity of 2D helical electrons suggesting modification of the electron spectrum in magnetic fields.