title: Enumerating Unique Computational Graphs via an Iterative Graph Invariant

abstract: In this report, we describe a novel graph invariant for computational graphs (colored directed acylic graphs) and how we used it to generate all distinct computational graphs up to isomorphism for small graphs. The algorithm iteratively applies isomorphism-invariant operations, which take into account the graph structure and coloring, and outputs a fixed-length hash that is identical for all isomorphic computational graphs. While the algorithm cannot perfectly distinguish all pairs of non-isomorphic computational graphs, we suggest that it may be useful as a heuristic for comparing graphs.


title: An Automated Testing Framework for Conversational Agents

abstract: Conversational agents are systems with a conversational interface that afford interaction in spoken language. These systems are becoming prevalent and are preferred in various contexts and for many users. Despite their increasing success, the automated testing infrastructure to support the effective and efficient development of such systems compared to traditional software systems is still limited. Automated testing framework for conversational systems can improve the quality of these systems by assisting developers to write, execute, and maintain test cases. In this paper, we introduce our work-in-progress automated testing framework, and its realization in the Python programming language. We discuss some research problems in the development of such an automated testing framework for conversational agents. In particular, we point out the problems of the specification of the expected behavior, known as test oracles, and semantic comparison of utterances.


title: Bayesian Methods for Multiple Mediators: Relating Principal Stratification and Causal Mediation in the Analysis of Power Plant Emission Controls

abstract: Emission control technologies installed on power plants are a key feature of many air pollution regulations in the US. While such regulations are predicated on the presumed relationships between emissions, ambient air pollution, and human health, many of these relationships have never been empirically verified. The goal of this paper is to develop new statistical methods to quantify these relationships. We frame this problem as one of mediation analysis to evaluate the extent to which the effect of a particular control technology on ambient pollution is mediated through causal effects on power plant emissions. Since power plants emit various compounds that contribute to ambient pollution, we develop new methods for multiple intermediate variables that are measured contemporaneously, may interact with one another, and may exhibit joint mediating effects. Specifically, we propose new methods leveraging two related frameworks for causal inference in the presence of mediating variables: principal stratification and causal mediation analysis. We define principal effects based on multiple mediators, and also introduce a new decomposition of the total effect of an intervention on ambient pollution into the natural direct effect and natural indirect effects for all combinations of mediators. Both approaches are anchored to the same observed-data models, which we specify with Bayesian nonparametric techniques. We provide assumptions for estimating principal causal effects, then augment these with an additional assumption required for causal mediation analysis. The two analyses, interpreted in tandem, provide the first empirical investigation of the presumed causal pathways that motivate important air quality regulatory policies.


title: Leakage-Resilient Non-Malleable Secret Sharing in Non-compartmentalized Models

abstract: Non-malleable secret sharing was recently proposed by Goyal and Kumar in independent tampering and joint tampering models for threshold secret sharing (STOC18) and secret sharing with general access structure (CRYPTO18). The idea of making secret sharing non-malleable received great attention and by now has generated many papers exploring new frontiers in this topic, such as multiple-time tampering and adding leakage resiliency to the one-shot tampering model. Non-compartmentalized tampering model was first studied by Agrawal et.al (CRYPTO15) for non-malleability against permutation composed with bit-wise independent tampering, and shown useful in constructing non-malleable string commitments. We initiate the study of leakage-resilient secret sharing in the non-compartmentalized model. The leakage adversary can corrupt several players and obtain their shares, as in normal secret sharing. The leakage adversary can apply arbitrary affine functions with bounded total output length to the full share vector and obtain the outputs as leakage. These two processes can be both non-adaptive and do not depend on each other, or both adaptive and depend on each other with arbitrary ordering. We construct such leakage-resilient secret sharing schemes and achieve constant information ratio (the scheme for non-adaptive adversary is near optimal). We then explore making the non-compartmentalized leakage-resilient secret sharing also non-malleable against tampering. We consider a tampering model, where the adversary can use the shares obtained from the corrupted players and the outputs of the global leakage functions to choose a tampering function from a tampering family F. We give two constructions of such leakage-resilient non-malleable secret sharing for the case F is the bit-wise independent tampering and, respectively, for the case F is the affine tampering functions.


title: Nearest neighbor decoding for Tardos fingerprinting codes

abstract: Over the past decade, various improvements have been made to Tardos' collusion-resistant fingerprinting scheme [Tardos, STOC 2003], ultimately resulting in a good understanding of what is the minimum code length required to achieve collusion-resistance. In contrast, decreasing the cost of the actual decoding algorithm for identifying the potential colluders has received less attention, even though previous results have shown that using joint decoding strategies, deemed too expensive for decoding, may lead to better code lengths. Moreover, in dynamic settings a fast decoder may be required to provide answers in real-time, further raising the question whether the decoding costs of score-based fingerprinting schemes can be decreased with a smarter decoding algorithm. In this paper we show how to model the decoding step of score-based fingerprinting as a nearest neighbor search problem, and how this relation allows us to apply techniques from the field of (approximate) nearest neighbor searching to obtain decoding times which are sublinear in the total number of users. As this does not affect the encoding and embedding steps, this decoding mechanism can easily be deployed within existing fingerprinting schemes, and this may bring a truly efficient joint decoder closer to reality. Besides the application to fingerprinting, similar techniques can be used to decrease the decoding costs of group testing methods, which may be of independent interest.


title: Online PCB Defect Detector On A New PCB Defect Dataset

abstract: Previous works for PCB defect detection based on image difference and image processing techniques have already achieved promising performance. However, they sometimes fall short because of the unaccounted defect patterns or over-sensitivity about some hyper-parameters. In this work, we design a deep model that accurately detects PCB defects from an input pair of a detect-free template and a defective tested image. A novel group pyramid pooling module is proposed to efficiently extract features of a large range of resolutions, which are merged by group to predict PCB defect of corresponding scales. To train the deep model, a dataset is established, namely DeepPCB, which contains 1,500 image pairs with annotations including positions of 6 common types of PCB defects. Experiment results validate the effectiveness and efficiency of the proposed model by achieving $98.6\%$ mAP @ 62 FPS on DeepPCB dataset. This dataset is now available at: https://github.com/tangsanli5201/DeepPCB.


title: Hazard assessment of potential storm tide inundation at Southeast China coast

abstract: Hazard assessment of storm tide is addressed for Southeast China coast in this study. In particular, we pay attention to the scarcely discussed issue of storm tide inundation. The main procedures of hazard assessment are: 1) non-stationary tropical cyclone intensification (TCI) and sea level rise (SLR) for the study area are analyzed based on the long-term historical database; 2) four typical scenarios of storm tide are examined using the surge-tide-wave coupled hydrodynamic model; 3) the potential inundated regions are identified on the GIS platform. The distributions of water elevation show that high water elevation tends to occur in the bays and around the estuaries. Without considering the impacts of TCI and SLR, the maximal water elevations caused by the typhoon wind of 100-year recurrence period can reach as high as 6.06 m, 5.82 m and 5.67 m around Aojiang, Feiyunjiang and Oujiang river estuaries, respectively. In this circumstance, about 533 km2 area is under the threat of storm tide inundation. TCI and SLR due to climate change can further deteriorate the situation and enhance the risk of inundation there. The maximal water elevations at the aforementioned three estuaries considering the potential non-stationary TCI and SLR in 2100s can be as high as 7.02m, 6.67 m, 6.44m, respectively. The corresponding potential inundation area expands by 50% compared with the situation without considering TCI and SLR. In addition, the remotely sensed maps and inundation durations of the hardest hit regions are provided as well.


title: Context-Based Dynamic Pricing with Online Clustering

abstract: We consider a context-based dynamic pricing problem of online products, which have low sales. Sales data from Alibaba, a major global online retailer, illustrate the prevalence of low-sale products. For these products, existing single-product dynamic pricing algorithms do not work well due to insufficient data samples. To address this challenge, we propose pricing policies that concurrently perform clustering over product demand and set individual pricing decisions on the fly. By clustering data and identifying products that have similar demand patterns, we utilize sales data from products within the same cluster to improve demand estimation for better pricing decisions. We evaluate the algorithms using regret, and the result shows that when product demand functions come from multiple clusters, our algorithms significantly outperform traditional single-product pricing policies. Numerical experiments using a real dataset from Alibaba demonstrate that the proposed policies, compared with several benchmark policies, increase the revenue. The results show that online clustering is an effective approach to tackling dynamic pricing problems associated with low-sale products.


title: On quasi $\kappa$-metrizable spaces

abstract: The aim of this paper is to investigate the class of quasi $\kappa$-metrizable spaces. This class is invariant with respect to arbitrary products and contains Shchepin's $\kappa$-metrizable spaces as a proper subclass.


title: Real-Time Trajectory Planning for AGV in the Presence of Moving Obstacles: A First-Search-Then-Optimization Approach

abstract: This paper focuses on automatic guided vehicle (AGV) trajectory planning in the presence of moving obstacles with known but complicated trajectories. In order to achieve good solution precision, optimality and unification, the concerned task should be formulated as an optimal control problem, and then discretized into a nonlinear programming (NLP) problem, which is numerically optimized thereafter. Without a near-feasible or near-optimal initial guess, the NLP-solving process is usually slow. With the purpose of accelerating the NLP solution, a search-based rough planning stage is added to generate appropriate initial guesses. Concretely, a continuous state space is formulated, which consists of Cartesian product of 2D configuration space and a time dimension. The rough trajectory is generated by a graph-search based planner, namely the A* algorithm. Herein, the nodes in the graph are constructed by discretizing the aforementioned continuous spatio-temporal space. Through this first-search-then-optimization framework, optimal solutions to unified trajectory planning problems can be obtained fast. Simulations have been conducted to verify the real-time performance of our proposal.


title: Using Persistent Homology to Quantify a Diurnal Cycle in Hurricane Felix

abstract: The diurnal cycle of tropical cyclones (TCs) is a daily cycle in clouds that appears in satellite images and may have implications for TC structure and intensity. The diurnal pattern can be seen in infrared (IR) satellite imagery as cyclical pulses in the cloud field that propagate radially outward from the center of nearly all Atlantic-basin TCs. These diurnal pulses, a distinguishing characteristic of the TC diurnal cycle, begin forming in the storm's inner core near sunset each day and appear as a region of cooling cloud-top temperatures. The area of cooling takes on a ring-like appearance as cloud-top warming occurs on its inside edge and the cooling moves away from the storm overnight, reaching several hundred kilometers from the circulation center by the following afternoon. The state-of-the-art TC diurnal cycle measurement has a limited ability to analyze the behavior beyond qualitative observations. We present a method for quantifying the TC diurnal cycle using one-dimensional persistent homology, a tool from Topological Data Analysis, by tracking maximum persistence and quantifying the cycle using the discrete Fourier transform. Using Geostationary Operational Environmental Satellite IR imagery data from Hurricane Felix (2007), our method is able to detect an approximate daily cycle.


title: An Antenna Array Initial Condition Calibration Method for Integrated Optical Phased Array

abstract: This paper presents a modified rotating element electric field vector (modified REV) method to calibrate the antenna array initial condition of an optical phased array (OPA) device. The new method follows a similar sequential individual antenna phase calibration process while it modifies the algorithm to avoid possible {\pi} phase error in traditional REV when large initial phase distribution and finite optical power measurement accuracy present. We show that the method produces statistically more accurate and predictable calibration result which is highly desired in practice.


title: Hyperpolarized relaxometry based nuclear T1 noise spectroscopy in hybrid diamond quantum registers

abstract: Understanding the origins of spin lifetimes in hybrid quantum systems is a matter of current importance in several areas of quantum information and sensing. Methods that spectrally map spin relaxation processes provide insight into their origin and can motivate methods to mitigate them. In this paper, using a combination of hyperpolarization and precision field cycling over a wide range (1mT-7T), we map frequency dependent relaxation in a prototypical hybrid system of 13C nuclear spins in diamond coupled to Nitrogen Vacancy centers. Nuclear hyperpolarization through the optically pumped NV electrons allows signal time savings for the measurements exceeding million-fold over conventional methods. We observe that 13C lifetimes show a dramatic field dependence, growing rapidly with field up to 100mT and saturating thereafter. Through a systematic study with increasing substitutional electron (P1 center) concentration as well as 13C enrichment levels, we identify the operational relaxation channels for the nuclei in different field regimes. In particular, we demonstrate the dominant role played by the 13C nuclei coupling to the interacting P1 electronic spin bath. These results pave the way for quantum control techniques for dissipation engineering to boost spin lifetimes in diamond, with applications ranging from engineered quantum memories to hyperpolarized 13C imaging.


title: An inverse seesaw model with global $U(1)_H$ symmetry

abstract: We propose an inverse seesaw model based on hidden global symmetry $U(1)_H$ in which we realize tiny neutrino masses with rather natural manner taking into account relevant experimental bounds. The small Majorana mass for inverse seesaw mechanism is induced via small vacuum expectation value of a triplet scalar field whose Yukawa interactions with standard model fermions are controlled by $U(1)_H$. We discuss the phenomenology of the exotic particles present in the model including the Goldstone boson coming from breaking of the global symmetry, and explore testability at the Large Hadron Collider experiments.


title: Fra\"iss\'e limit via forcing

abstract: Given a Fra\"{i}ss\'{e} class $\mathcal{K}$ and an infinite cardinal $\kappa,$ we define a forcing notion which adds a structure of size $\kappa$ using elements of $\mathcal{K}$, which extends the Fra\"{i}ss\'{e} construction in the case $\kappa=\omega.$


title: Single-shot wideband active microrheology of viscoelastic fluids using pulse-scanned optical tweezers

abstract: We present a fast active microrheology technique exploring the phase response of a microscopic probe particle trapped in a linear viscoelastic fluid using optical tweezers under an external perturbation. Thus, we experimentally determine the cumulative response of the probe to an entire repertoire of sinusoidal excitations simultaneously by applying a spatial square pulse as an excitation to the trapped probe. The square pulse naturally contains the fundamental sinusoidal frequency component and higher odd harmonics, so that we measure the phase response of the probe over a very wide frequency band in a single shot. We then determine the responses to individual harmonics using a lock-in algorithm, and compare the phase shifts to those obtained theoretically by solving the equation of motion of the probe particle confined in a harmonic potential in the fluid in the presence of a sinusoidal perturbation. We go on to relate the phase response of the probe to the complex shear modulus $G^{*}(\omega)$, and proceed to verify our technique in a mixture of polyacrylamide and water, which we compare with known values in literature and obtain very good agreement. Our method ensures that any drifts in time are almost entirely ruled out from the data, with the added advantage of high speed and ease of use.


title: Twitch Plays Pokemon, Machine Learns Twitch: Unsupervised Context-Aware Anomaly Detection for Identifying Trolls in Streaming Data

abstract: With the increasing importance of online communities, discussion forums, and customer reviews, Internet "trolls" have proliferated thereby making it difficult for information seekers to find relevant and correct information. In this paper, we consider the problem of detecting and identifying Internet trolls, almost all of which are human agents. Identifying a human agent among a human population presents significant challenges compared to detecting automated spam or computerized robots. To learn a troll's behavior, we use contextual anomaly detection to profile each chat user. Using clustering and distance-based methods, we use contextual data such as the group's current goal, the current time, and the username to classify each point as an anomaly. A user whose features significantly differ from the norm will be classified as a troll. We collected 38 million data points from the viral Internet fad, Twitch Plays Pokemon. Using clustering and distance-based methods, we develop heuristics for identifying trolls. Using MapReduce techniques for preprocessing and user profiling, we are able to classify trolls based on 10 features extracted from a user's lifetime history.


title: A new nonmonotone adaptive trust region algorithm

abstract: In this paper, we propose a new and efficient nonmonotone adaptive trust region algorithm to solve unconstrained optimization problems. This algorithm incorporates two novelties: it benefits from a radius dependent shrinkage parameter for adjusting the trust region radius that avoids undesirable directions and it exploits a new strategy to prevent sudden increments of objective function values in nonmonotone trust region techniques. Global convergence of this algorithm is investigated under some mild conditions. Numerical experiments demonstrate the efficiency and robustness of the proposed algorithm in solving a collection of unconstrained optimization problems from the CUTEst package.


title: Hydrostatic limit for exclusion process with slow boundary revisited

abstract: We revisit in this short article the hydrostatic limit for the exclusion process with slow boundary. The original proof of this result relies on estimates of the correlation functions. We achieve the same result based on analysis of two different time scales, which do not need any information about the correlation functions.


title: Data-driven Estimation of the Power Flow Jacobian Matrix in High Dimensional Space

abstract: The Jacobian matrix is the core part of power flow analysis, which is the basis for power system planning and operations. This paper estimates the Jacobian matrix in high dimensional space. Firstly, theoretical analysis and model-based calculation of the Jacobian matrix are introduced to obtain the benchmark value. Then, the estimation algorithms based on least-squared errors and the deviation estimation based on the neural network are studied in detail, including the theories, equations, derivations, codes, advantages and disadvantages, and application scenes. The proposed algorithms are data-driven and sensitive to up-to-date topology parameters and state variables. The efforts are validate by comparing the results to benchmark values.


title: Electron-Phonon Coupling from $\textit{Ab Initio}$ Linear-Response Theory within the $GW$ Method: Correlation-Enhanced Interactions and Superconductivity in Ba$_{1-x}$K$_x$BiO$_3$

abstract: We present a new first-principles linear-response theory of changes due to perturbations in the quasiparticle self-energy operator within the $GW$ method. This approach, named $GW$ perturbation theory ($GW$PT), is applied to calculate the electron-phonon ($e$-ph) interactions with the full inclusion of the $GW$ non-local, energy-dependent self-energy effects, going beyond density-functional perturbation theory. Avoiding limitations of the frozen-phonon technique, $GW$PT gives access to $e$-ph matrix elements at the $GW$ level for all phonons and scattering processes, and the computational cost scales linearly with the number of phonon modes (wavevectors and branches) investigated. We demonstrate the capabilities of $GW$PT by studying the $e$-ph coupling and superconductivity in Ba$_{0.6}$K$_{0.4}$BiO$_3$. We show that many-electron correlations significantly enhance the $e$-ph interactions for states near the Fermi surface, and explain the observed high superconductivity transition temperature of Ba$_{0.6}$K$_{0.4}$BiO$_3$ as well as its doping dependence.


title: A Novel Error Performance Analysis Methodology for OFDM-IM

abstract: Orthogonal frequency-division multiplexing with index modulation (OFDM-IM) has become a high-profile candidate for the modulation scheme in next generation networks, and many works have been published to analyze it in recent years. Error performance is one of the most important and interesting aspects of OFDM-IM, which has been analyzed in most works. However, most of them employ two key approximations to derive the closed-form expressions of block error rate (BLER) and/or average bit error rate (BER). The first one is to utilize the union bound assisted by the pairwise error probability (PEP) analysis, and the second one is to employ an exponential approximation of Q-function. In this letter, we apply Craig's formula to analyze the error performance for OFDM-IM in place of the exponential approximation. Because Craig's formula is the exact expression of Q-function, the accuracy of analytical results regarding error performance for OFDM-IM can be improved. We examine the proposed error performance analysis methodology based on Craig's formula by investigating both average BLER and BER.


title: Statistical signature of vortex filaments in classic turbulence: dog or tail?

abstract: The title of this paper echoes the title of a paragraph in the famous book by Frisch on classical turbulence. In the relevant chapter, the author discusses the role of the statistical dynamics of vortex filaments in the fascinating problem of turbulence and the possibility of a breakthrough in constructing an advanced theory. This aspect arose due to the large amount of evidence, both experimental and numerical, that the vorticity field in turbulent flows has a pronounced filamentary structure. In fact, there is unquestionably a strong relationship between the dynamics of chaotic vortex filaments and turbulent phenomena. However, the question arises as to whether the basic properties of turbulence (cascade, scaling laws. etc.) are a consequence of the dynamics of the vortex filaments (the `dog' concept), or whether the latter have only a marginal significance (the `tail' concept). Based on well-established results regarding the dynamics of quantized vortex filaments in superfluids, we illustrate how these dynamics can lead to the main elements of the theory of turbulence. We cover key topics such as the exchange of energy between different scales, the possible origin of Kolmogorov-type spectra and the free decay behavior.


title: An optomechanical platform with a 3-dimensional waveguide cavity

abstract: At low temperatures, microwave cavities are often preferred for the readout and control of a variety of systems. In this paper, we present design and measurements on an optomechanical device based on a 3-dimensional rectangular waveguide cavity. We show that by suitably modifying the electromagnetic field corresponding to the fundamental mode of the cavity, the equivalent circuit capacitance can be reduced to 29 fF. By coupling a mechanical resonator to the modified electromagnetic mode of the cavity, we achieved a capacitance participation ratio of 43 $\%$. We demonstrate an optomechanical cooperativity, $C$$\sim$40, characterized by performing measurements in the optomechanically-induced absorption (OMIA) limit. In addition, due to a low-impedance environment between the two-halves of the cavity, our design has the flexibility of incorporating a DC bias across the mechanical resonator, often a desired feature in tunable optomechanical devices.


title: Poisson's fundamental theorem of calculus via Taylor's formula

abstract: We use Taylor's formula with Lagrange remainder to make a modern adaptation of Poisson's proof of a version of the fundamental theorem of calculus in the case when the integral is defined by Euler sums, that is Riemann sums with left (or right) endpoints which are equally spaced. We discuss potential benefits for such an approach in basic calculus courses.


title: The role of magnetic order in VOCl

abstract: VOCl and other transition metal oxychlorides are candidate materials for next-generation rechargeable batteries. We have investigated the influence of the underlying magnetic order on the crystallographic and electronic structure by means of density functional theory. Our study shows that antiferromagnetic ordering explains the observed low-temperature monoclinic distortion of the lattice, which leads to a decreased distance between antiferromagnetically coupled V-V nearest neighbors. We also show that the existence of a local magnetic moment removes the previously suggested degeneracy of the occupied levels, in agreement with experiments. To describe the electronic structure, it turns out crucial to take the correct magnetic ordering into account, especially at elevated temperature.


title: Fast Pedestrian Detection based on T-CENTRIST in infrared image

abstract: Pedestrian detection is a research hotspot and a difficult issue in the computer vision such as the Intelligent Surveillance System, the Intelligent Transport System, robotics, and automotive safety. However, the human body's position, angle, and dress in a video scene are complicated and changeable, which have a great influence on the detection accuracy. In this paper, through the analysis on the pros and cons of Census Transform Histogram (CENTRIST), a novel feature is presented for human detection Ternary CENTRIST (T-CENTRIST). The T-CENTRIST feature takes the relationship between each pixel and its neighborhood pixels into account. Meanwhile, it also considers the relevancy among these neighborhood pixels. Therefore, the proposed feature description method can reflect the silhouette of pedestrian more adequately and accurately than that of CENTRIST. Second, we propose a fast pedestrian detection framework based on T-CENTRIST in infrared image, which introduces the idea of extended blocks and the integral image. Finally, experimental results verify the effectiveness of the proposed pedestrian detection method.


title: Osmosis, from molecular insights to large-scale applications

abstract: Osmosis is a universal phenomenon occurring in a broad variety of processes and fields. It is the archetype of entropic forces, both trivial in its fundamental expression - the van 't Hoff perfect gas law - and highly subtle in its physical roots. While osmosis is intimately linked with transport across membranes, it also manifests itself as an interfacial transport phenomenon: the so-called diffusio-osmosis and -phoresis, whose consequences are presently actively explored for example for the manipulation of colloidal suspensions or the development of active colloidal swimmers. Here we give a global and unifying view of the phenomenon of osmosis and its consequences with a multi-disciplinary perspective. Pushing the fundamental understanding of osmosis allows to propose new perspectives for different fields and we highlight a number of examples along these lines, for example introducing the concepts of osmotic diodes, active separation and far from equilibrium osmosis, raising in turn fundamental questions in the thermodynamics of separation. The applications of osmosis are also obviously considerable and span very diverse fields. Here we discuss a selection of phenomena and applications where osmosis shows great promises: osmotic phenomena in membrane science (with recent developments in separation, desalination, reverse osmosis for water purification thanks in particular to the emergence of new nanomaterials); applications in biology and health (in particular discussing the kidney filtration process); osmosis and energy harvesting (in particular, osmotic power and blue energy as well as capacitive mixing); applications in detergency and cleaning, as well as for oil recovery in porous media.

categories: cond-mat.soft cond-mat.stat-mech physics.app-ph physics.chem-ph physics.flu-dyn


title: Hydrodynamical simulations and similarity relations for eruptive mass loss from massive stars

abstract: Motivated by the eruptive mass loss inferred from Luminous Blue Variable (LBV) stars, we present 1D hydrodynamical simulations of the response from sudden energy injection into the interior of a very massive ($100 \, M_\odot$) star. For a fiducial case with total energy addition set to a factor $f=0.5$ of the net stellar binding energy, and applied within the stellar envelope, we detail the dynamical response that leads to ejection of the outermost $7.2 \, M_\odot$. We find that the ejecta's variations in time $t$ and radius $r$ for the velocity $v$, density $\rho$, and temperature $T$ are quite well fit by similarity forms in the variable $r/t \approx v$. Specifically the scaled density follows a simple exponential decline $\rho t^{3} \sim \exp (-r/v_{\rm o} t)$. This `exponential similarity' leads to analytic scaling relations for total ejecta mass $\Delta M$ and kinetic energy $\Delta K$ that agree well with the hydrodynamical simulations, with the specific-energy-averaged speed related to the exponential scale speed $v_{\rm o}$ through ${\bar v} \equiv \sqrt{2 \Delta K/\Delta M} = \sqrt{12} \, v_{\rm o}$, and a value comparable to the star's surface escape speed, $v_{\rm esc}$. Models with energy added in the core develop a surface shock breakout that propels an initial, higher-speed ejecta ($>$5000km s$^{-1}$), but the bulk of the ejected material still follows the same exponential similarity scalings with ${\bar v} \approx v_{\rm esc}$. A broader parameter study examines how the ejected mass and energy depends on the energy-addition factor $f$, for three distinct model series that locate the added energy in either the core, envelope, or near-surface. We conclude by discussing the relevance of these results for understanding LBV outbursts and other eruptive phenomena, such as failed supernovae and pulsational pair instability events.


title: LapEPI-Net: A Laplacian Pyramid EPI structure for Learning-based Dense Light Field Reconstruction

abstract: For dense sampled light field (LF) reconstruction problem, existing approaches focus on a depth-free framework to achieve non-Lambertian performance. However, they trap in the trade-off "either aliasing or blurring" problem, i.e., pre-filtering the aliasing components (caused by the angular sparsity of the input LF) always leads to a blurry result. In this paper, we intend to solve this challenge by introducing an elaborately designed epipolar plane image (EPI) structure within a learning-based framework. Specifically, we start by analytically showing that decreasing the spatial scale of an EPI shows higher efficiency in addressing the aliasing problem than simply adopting pre-filtering. Accordingly, we design a Laplacian Pyramid EPI (LapEPI) structure that contains both low spatial scale EPI (for aliasing) and high-frequency residuals (for blurring) to solve the trade-off problem. We then propose a novel network architecture for the LapEPI structure, termed as LapEPI-net. To ensure the non-Lambertian performance, we adopt a transfer-learning strategy by first pre-training the network with natural images then fine-tuning it with unstructured LFs. Extensive experiments demonstrate the high performance and robustness of the proposed approach for tackling the aliasing-or-blurring problem as well as the non-Lambertian reconstruction.


title: Detecting Colorized Images via Convolutional Neural Networks: Toward High Accuracy and Good Generalization

abstract: Image colorization achieves more and more realistic results with the increasing computation power of recent deep learning techniques. It becomes more difficult to identify the fake colorized images by human eyes. In this work, we propose a novel forensic method to distinguish between natural images (NIs) and colorized images (CIs) based on convolutional neural network (CNN). Our method is able to achieve high classification accuracy and cope with the challenging scenario of blind detection, i.e., no training sample is available from "unknown" colorization algorithm that we may encounter during the testing phase. This blind detection performance can be regarded as a generalization performance. First, we design and implement a base network, which can attain better performance in terms of classification accuracy and generalization (in most cases) compared with state-of-the-art methods. Furthermore, we design a new branch, which analyzes smaller regions of extracted features, and insert it into the above base network. Consequently, our network can not only improve the classification accuracy, but also enhance the generalization in the vast majority of cases. To further improve the performance of blind detection, we propose to automatically construct negative samples through linear interpolation of paired natural and colorized images. Then, we progressively insert these negative samples into the original training dataset and continue to train the network. Experimental results demonstrate that our method can achieve stable and high generalization performance when tested against different state-of-the-art colorization algorithms.


title: Learning Linear-Quadratic Regulators Efficiently with only $\sqrt{T}$ Regret

abstract: We present the first computationally-efficient algorithm with $\widetilde O(\sqrt{T})$ regret for learning in Linear Quadratic Control systems with unknown dynamics. By that, we resolve an open question of Abbasi-Yadkori and Szepesv\'ari (2011) and Dean, Mania, Matni, Recht, and Tu (2018).


title: Implementation of Reference Public Safety Scenarios in ns-3

abstract: During incidents and disasters it is fundamental to provide to first responders high performance and reliable communications, in order to improve their coordination capabilities and their awareness of the surrounding environment, and to allow them to promptly transmit and receive alerts on possible dangerous situations or emergencies. The accurate evaluation of the performance of different Public Safety Communication (PSC) networking and communications technologies is therefore of paramount importance, and the characterization of the scenario in which these technologies need to operate is fundamental to obtain meaningful results. In this paper, we present the implementation of three reference PSC scenarios, which are open source and made publicly available to the research community, describing the incidents, the mobility and applications of first responders, and providing examples on how a mmWave-based Radio Access Network (RAN) can support high-traffic use cases. Moreover, we present the implementation of two novel mobility models for ns-3, which can be used to enable the simulation of realistic PSC scenarios in ns-3.


title: Finite-size effects on sound damping in stable computer glasses

abstract: In this brief note we comment on the recent results presented in arXiv:1812.08736v1


title: Robust Sub-meter Level Indoor Localization - A Logistic Regression Approach

abstract: Indoor localization becomes a raising demand in our daily lives. Due to the massive deployment in the indoor environment nowadays, WiFi systems have been applied to high accurate localization recently. Although the traditional model based localization scheme can achieve sub-meter level accuracy by fusing multiple channel state information (CSI) observations, the corresponding computational overhead is significant. To address this issue, the model-free localization approach using deep learning framework has been proposed and the classification based technique is applied. In this paper, instead of using classification based mechanism, we propose to use a logistic regression based scheme under the deep learning framework, which is able to achieve sub-meter level accuracy (97.2cm medium distance error) in the standard laboratory environment and maintain reasonable online prediction overhead under the single WiFi AP settings. We hope the proposed logistic regression based scheme can shed some light on the model-free localization technique and pave the way for the practical deployment of deep learning based WiFi localization systems.


title: Orthogonal polynomials with the Prudnikov-type weights

abstract: New sequences of orthogonal polynomials with respect to the weight functions $e^{-x} \rho_\nu(x),\ e^{- 1/x} x^{-1} \rho_{\nu} (x), \rho_{\nu}(x)= 2 x^{\nu/2} K_\nu(2\sqrt x),\ x >0, \nu \in \mathbb{R}$, where $K_\nu(z)$ is the modified Bessel function, are investigated. The recurrence relations, explicit representations, generating functions and Rodrigues-type formulae are obtained.


title: Optimizing Online Matching for Ride-Sourcing Services with Multi-Agent Deep Reinforcement Learning

abstract: Ride-sourcing services are now reshaping the way people travel by effectively connecting drivers and passengers through mobile internets. Online matching between idle drivers and waiting passengers is one of the most key components in a ride-sourcing system. The average pickup distance or time is an important measurement of system efficiency since it affects both passengers' waiting time and drivers' utilization rate. It is naturally expected that a more effective bipartite matching (with smaller average pickup time) can be implemented if the platform accumulates more idle drivers and waiting passengers in the matching pool. A specific passenger request can also benefit from a delayed matching since he/she may be matched with closer idle drivers after waiting for a few seconds. Motivated by the potential benefits of delayed matching, this paper establishes a two-stage framework which incorporates a combinatorial optimization and multi-agent deep reinforcement learning methods. The multi-agent reinforcement learning methods are used to dynamically determine the delayed time for each passenger request (or the time at which each request enters the matching pool), while the combinatorial optimization conducts an optimal bipartite matching between idle drivers and waiting passengers in the matching pool. Two reinforcement learning methods, spatio-temporal multi-agent deep Q learning (ST-M-DQN) and spatio-temporal multi-agent actor-critic (ST-M-A2C) are developed. Through extensive empirical experiments with a well-designed simulator, we show that the proposed framework is able to remarkably improve system performances.


title: A Reed Muller-based approach for optimization of general binary quantum multiplexers

abstract: Previous work has provided methods for decomposing unitary matrices to series of quantum multiplexers, but the multiplexers created in this way are highly non-minimal. This paper presents a new approach for optimizing quantum multiplexers with arbitrary single-qubit quantum target functions. For quantum multiplexers, we define standard forms and two types of new forms: fixed polarity quantum forms (FPQF) and Kronecker quantum forms (KQF), which are analogous to Minterm Sum of Products forms, Fixed Polarity Reed-Muller (FPRM) forms, and Kronecker Reed-Muller (KRM) forms, respectively, for classical logic functions. Drawing inspiration from the usage of butterfly diagrams for FPRM and KRM forms, we devise a method to exhaustively construct all FPQF and KQF forms. Thus, the new forms can be used to optimize quantum circuits with arbitrary target unitary matrices, rather than only multi-controlled NOT gates such as CNOT, CCNOT, and their extensions. Experimental results on FPQF and KQF forms, as well as FPRM and KRM classical forms, applied to various target gates such as NOT, V, V+, Hadamard, and Pauli rotations, demonstrate that FPQF and KQF forms greatly reduce the gate cost of quantum multiplexers in both randomly generated data and FPRM benchmarks.


title: Behavior of active filaments near solid-boundary under linear shear flow

abstract: The steady-state behavior of a dilute suspension of self-propelled filaments confined between planar walls subjected to the Couette-flow is reported herein. The effect of hydrodynamics has been taken into account using a mesoscale simulation approach. We present a detailed analysis of positional and angular probability distributions of filaments with varying propulsive force and shear-flow. Distribution of centre-of-mass of the filament shows adsorption near the surfaces, which diminishes with the flow. The excess density of filaments decreases with Weissenberg number as $Wi^{-\beta}$ with an exponent $\beta \approx 0.8$, in the intermediate shear range ($1 < Wi < 30$). The angular orientational moment also decreases near the wall as $Wi^{-\delta}$ with $\delta \approx 1/5$; the variation in orientational moment near the wall is relatively slower than the bulk. It shows a strong dependence on the propulsive force near the wall, and it varies as $Pe^{-1/3}$ for large $Pe\ge 1$. The active filament shows orientational preference with flow near the surfaces, which splits into upstream and downstream swimming. The population splitting from a unimodal (propulsive force dominated regime) to bimodal phase (shear dominated regime) is identified in the parameter space of propulsive force and shear flow.


title: Multiple Document Representations from News Alerts for Automated Bio-surveillance Event Detection

abstract: Due to globalization, geographic boundaries no longer serve as effective shields for the spread of infectious diseases. In order to aid bio-surveillance analysts in disease tracking, recent research has been devoted to developing information retrieval and analysis methods utilizing the vast corpora of publicly available documents on the internet. In this work, we present methods for the automated retrieval and classification of documents related to active public health events. We demonstrate classification performance on an auto-generated corpus, using recurrent neural network, TF-IDF, and Naive Bayes log count ratio document representations. By jointly modeling the title and description of a document, we achieve 97% recall and 93.3% accuracy with our best performing bio-surveillance event classification model: logistic regression on the combined output from a pair of bidirectional recurrent neural networks.


title: Localized states of Dirac equation

abstract: In this paper, we introduce an extension of the Dirac equation, very similar to Dirac oscillator, that gives stationary localized wave packets as eigenstates of the equation. The extension to the Dirac equation is achieved through the replacement of the momentum operator by a PT-symmetric generalized momentum operator. In the 1D case, the solutions represent bound particles carrying spin having continuous energy spectrum, where the envelope parameter defines the width of the packet without affecting the dispersion relation of the original Dirac equation. In the 2D case, the solutions are localized wave packets and are eigenstates of the third component of total angular momentum and involve Bessel functions of integral order. In the 3D case, the solutions are localized spherical wave packets with definite total angular momentum.


title: Failure of rational approximation on some Cantor type sets

abstract: Let $A(K)$ be the algebra of continuous functions on a compact set $K\subset\mathbb C$ which are analytic on the interior of $K$, and $R(K)$ the closure (with the uniform convergence on $K$) of the functions that are analytic on a neighborhood of $K$. A counterexample of a question made by A. O'Farrell about the equality of the algebras $R(K)$ and $A(K)$ when $K=(K_{1}\times[0,1])\cup([0,1]\times K_{2})\subseteq\mathbb C$, with $K_{1}$ and $K_{2}$ compact subsets of $[0,1]$, is given. Also, the equality is proved with the assumption that $K_{1}$ has no interior.


title: Enumerative combinatorics on determinants and signed bigrassmannian polynomials

abstract: As an application of linear algebra for enumerative combinatorics, we introduce two new ideas, signed bigrassmannian polynomials and bigrassmannian determinant. First, a signed bigrassmannian polynomial is a variant of the statistic given by the number of bigrassmannian permutations below a permutation in Bruhat order as Reading suggested (2002) and afterward the author developed (2011). Second, bigrassmannian determinant is a $q$-analog of the determinant with respect to our statistic. It plays a key role for a determinantal expression of those polynomials. We further show that bigrassmannian determinant satisfies weighted condensation as a generalization of Dodgson, Jacobi-Desnanot and Robbins-Rumsey (1986).


title: Optimal Stabilization Control for Discrete-time Markov Jump Linear System with Control Input Delay

abstract: This paper will investigate the infinite horizon optimal control and stabilization problems for the Markov jump linear system (MJLS) subject to control input delay. Different from previous works, for the first time, the necessary and sufficient stabilization conditions are explored under explicit expressions, and the optimal controller for infinite horizon is designed with a coupled algebraic Riccati equation. By introducing a new type of Lyapunov equation, we show that under the exact observability assumption, the MJLS with control input delay is stabilizable in the mean square sense with the optimal controller if and only if a coupled algebraic Riccati equation has a unique positive definite solution. The presented results are parallel to the optimal control and stabilization for standard system with input delay.


title: Unifying Knowledge Graph Learning and Recommendation: Towards a Better Understanding of User Preferences

abstract: Incorporating knowledge graph (KG) into recommender system is promising in improving the recommendation accuracy and explainability. However, existing methods largely assume that a KG is complete and simply transfer the "knowledge" in KG at the shallow level of entity raw data or embeddings. This may lead to suboptimal performance, since a practical KG can hardly be complete, and it is common that a KG has missing facts, relations, and entities. Thus, we argue that it is crucial to consider the incomplete nature of KG when incorporating it into recommender system. In this paper, we jointly learn the model of recommendation and knowledge graph completion. Distinct from previous KG-based recommendation methods, we transfer the relation information in KG, so as to understand the reasons that a user likes an item. As an example, if a user has watched several movies directed by (relation) the same person (entity), we can infer that the director relation plays a critical role when the user makes the decision, thus help to understand the user's preference at a finer granularity. Technically, we contribute a new translation-based recommendation model, which specially accounts for various preferences in translating a user to an item, and then jointly train it with a KG completion model by combining several transfer schemes. Extensive experiments on two benchmark datasets show that our method outperforms state-of-the-art KG-based recommendation methods. Further analysis verifies the positive effect of joint training on both tasks of recommendation and KG completion, and the advantage of our model in understanding user preference. We publish our project at https://github.com/TaoMiner/joint-kg-recommender.


title: The Stokes limit in a three-dimensional chemotaxis-Navier-Stokes system

abstract: We consider initial-boundary value problems for the $\kappa$-dependent family of chemotaxis-(Navier--)Stokes systems \begin{align*} \left\{ \begin{array}{r@{\,}c@{\,}c@{\ }l@{\quad}l@{\quad}l@{\,}c} n_{t}&+&u\cdot\!\nabla n&=\Delta n-\nabla\!\cdot(n\nabla c),\ &x\in\Omega,& t>0,\\ c_{t}&+&u\cdot\!\nabla c&=\Delta c-cn,\ &x\in\Omega,& t>0,\\ u_{t}&+&\kappa(u\cdot\nabla)u&=\Delta u+\nabla P+n\nabla\phi,\ &x\in\Omega,& t>0,\\ &&\nabla\cdot u&=0,\ &x\in\Omega,& t>0, \end{array}\right. \end{align*} in a bounded domain $\Omega\subset\mathbb{R}^3$ with smooth boundary and given potential function $\phi\in C^{1+\beta}(\overline{\Omega})$ for some $\beta>0$. It is known that for fixed $\kappa\in\mathbb{R}$ an associated initial-boundary value problem possesses at least one global weak solution $(n^{(\kappa)},c^{(\kappa)},u^{(\kappa)})$, which after some waiting time becomes a classical solution of the system. In this work we will show that upon letting $\kappa\to0$ the solutions $(n^{(\kappa)},c^{(\kappa)},u^{(\kappa)})$ converge towards a weak solution of the Stokes variant $(\kappa=0)$ of the systems above with respect to the strong topology in certain Lebesgue and Sobolev spaces. We thereby extend the recently obtained result on the Stokes limit process for classical solutions in the two-dimensional setting to the more intricate three-dimensional case.


title: A new approach of the partial control method in chaotic systems

abstract: We present here a new approach of the partial control method, which is a useful control technique applied to transient chaotic dynamics affected by a bounded noise. Usually we want to avoid the escape of these chaotic transients outside a certain region $Q$ of the phase space. For that purpose, there exists a control bound such that for controls smaller than this bound trajectories are kept in a special subset of $Q$ called the safe set. The aim of this new approach is to go further, and to compute for every point of $Q$ the minimal control bound that would keep it in $Q$. This defines a special function that we call the safety function, which can provide the necessary information to compute the safe set once we choose a particular value of the control bound. This offers a generalized method where previous known cases are included, and its use encompasses more diverse scenarios.


title: A new Potential-Based Reward Shaping for Reinforcement Learning Agent

abstract: Potential-based reward shaping (PBRS) is a particular category of machine learning methods which aims to improve the learning speed of a reinforcement learning agent by extracting and utilizing extra knowledge while performing a task. There are two steps in the process of transfer learning: extracting knowledge from previously learned tasks and transferring that knowledge to use it in a target task. The latter step is well discussed in the literature with various methods being proposed for it, while the former has been explored less. With this in mind, the type of knowledge that is transmitted is very important and can lead to considerable improvement. Among the literature of both the transfer learning and the potential-based reward shaping, a subject that has never been addressed is the knowledge gathered during the learning process itself. In this paper, we presented a novel potential-based reward shaping method that attempted to extract knowledge from the learning process. The proposed method extracts knowledge from episodes' cumulative rewards. The proposed method has been evaluated in the Arcade learning environment and the results indicate an improvement in the learning process in both the single-task and the multi-task reinforcement learner agents.


title: Sensitivity of the intensity frontier experiments for neutrino and scalar portals: analytic estimates

abstract: In recent years, a number of intensity-frontier experiments have been proposed to search for feebly interacting particles with a mass in the GeV range. We show analytically how the characteristic shape of the sensitivity regions of such experiments - upper and lower boundaries of the probed region, the maximal mass reach - depends on the parameters of the experiments, taking the SHiP and the MATHUSLA experiments as an example. We find a good agreement of our estimates with the results of the Monte Carlo simulations.


title: Separating common (global and local) and distinct variation in multiple mixed types data sets

abstract: Multiple sets of measurements on the same objects obtained from different platforms may reflect partially complementary information of the studied system. The integrative analysis of such data sets not only provides us with the opportunity of a deeper understanding of the studied system, but also introduces some new statistical challenges. First, the separation of information that is common across all or some of the data sets, and the information that is specific to each data set is problematic. Furthermore, these data sets are often a mix of quantitative and discrete (binary or categorical) data types, while commonly used data fusion methods require all data sets to be quantitative. In this paper, we propose an exponential family simultaneous component analysis (ESCA) model to tackle the potential mixed data types problem of multiple data sets. In addition, a structured sparse pattern of the loading matrix is induced through a nearly unbiased group concave penalty to disentangle the global, local common and distinct information of the multiple data sets. A Majorization-Minimization based algorithm is derived to fit the proposed model. Analytic solutions are derived for updating all the parameters of the model in each iteration, and the algorithm will decrease the objective function in each iteration monotonically. For model selection, a missing value based cross validation procedure is implemented. The advantages of the proposed method in comparison with other approaches are assessed using comprehensive simulations as well as the analysis of real data from a chronic lymphocytic leukaemia (CLL) study. Availability: the codes to reproduce the results in this article are available at https://gitlab.com/uvabda.


title: A Comparative Study of Feature Selection Methods for Dialectal Arabic Sentiment Classification Using Support Vector Machine

abstract: Unlike other languages, the Arabic language has a morphological complexity which makes the Arabic sentiment analysis is a challenging task. Moreover, the presence of the dialects in the Arabic texts have made the sentiment analysis task is more challenging, due to the absence of specific rules that govern the writing or speaking system. Generally, one of the problems of sentiment analysis is the high dimensionality of the feature vector. To resolve this problem, many feature selection methods have been proposed. In contrast to the dialectal Arabic language, these selection methods have been investigated widely for the English language. This work investigated the effect of feature selection methods and their combinations on dialectal Arabic sentiment classification. The feature selection methods are Information Gain (IG), Correlation, Support Vector Machine (SVM), Gini Index (GI), and Chi-Square. A number of experiments were carried out on dialectical Jordanian reviews with using an SVM classifier. Furthermore, the effect of different term weighting schemes, stemmers, stop words removal, and feature models on the performance were investigated. The experimental results showed that the best performance of the SVM classifier was obtained after the SVM and correlation feature selection methods had been combined with the uni-gram model.


title: Prophet inequality for bipartite matching: merits of being simple and non adaptive

abstract: We consider Bayesian online selection problem of a matching in bipartite graphs, i.e., online weighted matching problem with edge arrivals where online algorithm knows distributions of weights, that corresponds to the intersection of two matroids in [Kleinberg and Wienberg STOC 12] model. We consider a simple class of non adaptive vertex-additive policies that assign static prices to all vertices in the graph and accept each edge only if its weight exceeds the sum of the prices of the edge's endpoints. We show existence of a vertex-additive policy with the expected payoff of at least one third of the prophet's payoff and present gradient decent type algorithm that quickly converges to the desired vector of vertex prices. This improves the adaptive online policy of [Kleinberg and Wienberg STOC 12] for the intersection of two matroids in two ways: our policy is non adaptive and has better approximation guarantee of $3$ instead of previous guarantee of $5.82$ against the prophet. We give a complementary lower bound of $2.25$ for any online algorithm in the bipartite matching setting.


title: Local geometry around B atoms in B/Si(111) from polarized x-ray absorption spectroscopy

abstract: The arrangement of B~atoms in a doped Si(111)-$(\sqrt{3}\times\sqrt{3})R30^{\circ}$:B system was studied using near-edge x-ray absorption fine structure (NEXAFS). Boron atoms were deposited via segregation from the bulk by flashing the sample repeatedly. The positions of B~atoms are determined by comparing measured polarized (angle-dependent) NEXAFS spectra with spectra calculated for various structural models based on ab-initio total energy calculations. It is found that most of boron atoms are located in sub-surface L$_{1}^{c}$ positions, beneath a Si atom. However, depending on the preparation method a significant portion of B~atoms may be located elsewhere. A possible location of these non-L$_{1}^{c}$-atoms is at the surface, next to those Si atoms which form the $(\sqrt{3}\times\sqrt{3})R30^{\circ}$ reconstruction.


title: The center of a Green biset functor

abstract: For a Green biset functor $A$, we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting the category of $A$-modules as a direct product of smaller abelian categories. We give explicit examples of such decompositions for some classical shifted representation functors. These constructions are inspired by similar ones for Mackey functors for a fixed finite group.


title: Physicists' $d=3+1$, $N=1$ superspace-time and supersymmetric QFTs from a tower construction in complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry and a purge-evaluation/index-contracting map

abstract: The complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry aspect of a superspace(-time) $\widehat{X}$ in Sec.\,1 of D(14.1) (arXiv:1808.05011 [math.DG]) together with the Spin-Statistics Theorem in Quantum Field Theory, which requires fermionic components of a superfield be anticommuting, lead us to the notion of towered superspace(-time) $\widehat{X}^{\widehat{\boxplus}}$ and the built-in purely even physics sector $X^{\mbox{physics}}$ from $\widehat{X}^{\widehat{\boxplus}}$. We use this to reproduce the $d=3+1$, $N=1$ Wess-Zumino model and the $d=3+1$, $N=1$ supersymmetric $U(1)$ gauge theory with matter --- as in, e.g., Chap.\,V and Chap.\,VI \& part of Chap.\,VII of the classical Supersymmetry \& Supergravity textbook by Julius Wess and Jonathan Bagger --- and, hence, recast physicists' two most basic supersymmetric quantum field theories solidly into the realm of (complexified ${\Bbb Z}/2$-graded) $C^\infty$-Algebraic Geometry. Some traditional differential geometers' ways of understanding supersymmetric quantum field theories are incorporated into the notion of a purge-evaluation/index-contracting map ${\cal P}:C^\infty(X^{\mbox{physics}})\rightarrow C^\infty(\widehat{X})$ in the setting. This completes for the current case a $C^\infty$-Algebraic Geometry language we sought for in D(14.1), footnote 2, that can directly link to the study of supersymmetry in particle physics. Once generalized to the nonabelian case in all dimensions and extended $N\ge 2$, this prepares us for a fundamental (as opposed to solitonic) description of super D-branes parallel to Ramond-Neveu-Schwarz fundamental superstrings


title: A pharmacokinetic model of lead absorption and calcium competitive dynamics

abstract: Lead is a naturally-occurring element. It has been known to man for a long time, and it is one of the longest established poisons. The current consensus is that no level of lead exposure should be deemed "safe." New evidence regarding the blood levels at which morbidities occur has prompted the CDC to reduce the screening guideline of 10 $\mu$g/dl to 2 $\mu$g/dl. Measurable cognitive decline (reduced IQ, academic deficits) have been found to occur at levels below 10mg/dl. Knowledge of lead pharmacology allows us to better understand its absorption and metabolization, mechanisms that produce its medical consequences. Based upon an original and very simplified compartmental model of Rabinowitz (1973) with only three major compartments (blood, bone and soft tissue), extensive biophysical models sprouted over the following two decades. However, none of these models have been specifically designed to use new knowledge of lead molecular dynamics to understand its deleterious effects on the brain. We build and analyze a compartmental model of lead pharmacokinetics, focused specifically on addressing neurotoxicity. We use traditional phase space methods, parameter sensitivity analysis and bifurcation theory to study the transitions in the system's behavior in response to various physiological parameters. We conclude that modeling the complex interaction of lead and calcium along their dynamic trajectory may successfully explain counter-intuitive effects on systemic function and neural behavior which could not be addressed by existing linear models. Our results encourage further efforts towards using nonlinear phenomenology in conjunction with empirically driven system parameters, to obtain a biophysical model able to provide clinical assessments and predictions.


title: Searching for the optimum conditions for silicene growth by calculations of the free energy

abstract: Very recently we developed an efficient method to calculate the free energy of 2D materials on substrates and achieved high calculation precision for graphene or $\gamma$-graphyne on copper substrates. In the present work, the method was further confirmed to be accurate by molecular dynamic simulations of silicene on Ag substrate using empirical potential and was applied to predict the optimum conditions based on \emph{ab initio} calculations for silicene growth on Ag (110) and Ag (111) surface, which are in good agreement with previous experimental observations.


title: A functional limit theorem for coin tossing Markov chains

abstract: We prove a functional limit theorem for Markov chains that, in each step, move up or down by a possibly state dependent constant with probability $1/2$, respectively. The theorem entails that the law of every one-dimensional regular continuous strong Markov process in natural scale can be approximated with such Markov chains arbitrarily well. The functional limit theorem applies, in particular, to Markov processes that cannot be characterized as solutions to stochastic differential equations. Our results allow to practically approximate such processes with irregular behavior; we illustrate this with Markov processes exhibiting sticky features, e.g., sticky Brownian motion and a Brownian motion slowed down on the Cantor set.


title: Afferent Fiber Activity-Induced Cytoplasmic Calcium Signaling in Parvalbumin-Positive Inhibitory Interneurons of the Spinal Cord Dorsal Horn

abstract: Neuronal calcium (Ca2+) signaling represents a molecular trigger for diverse central nervous system adaptations and maladaptions. The altered function of dorsal spinal inhibitory interneurons is strongly implicated in the mechanisms underlying central sensitization in chronic pain. Surprisingly little is known, however, about the characteristics and consequences of Ca2+ signaling in these cells, including whether and how they are changed following a peripheral insult or injury and how such alterations might influence maladaptive pain plasticity. As a first step towards clarifying the precise role of Ca2+ signaling in dorsal spinal inhibitory neurons for central sensitization, we established methods for characterizing Ca2+ signals in genetically defined populations of these cells. In particular, we employed recombinant adeno-associated viral vectors to deliver subcellularly targeted, genetically encoded Ca2+ indicators into parvalbumin-positive spinal inhibitory neurons. Using wide-field microscopy, we observed both spontaneous and afferent fiber activity triggered Ca2+ signals in these cells. We propose that these methods may be adapted in future studies for the precise characterization and manipulation of Ca2+ signaling in diverse spinal inhibitory neuron subtypes, thereby enabling the clarification of its role in the mechanisms underlying pain chronicity and opening the door for possibly novel treatment directions.


title: Plactic monoids satisfy nontrivial identities

abstract: It is shown that plactic monoids satisfy nontrivial identities.


title: Central invariants and enveloping algebras of braided Hom-Lie algebras

abstract: Let $(H,\alpha)$ be a monoidal Hom-Hopf algebra and $^{H}_{H}\mathcal{HYD}$ the Hom-Yetter-Drinfeld category over $(H,\alpha)$. Then in this paper, we first introduce the definition of braided Hom-Lie algebras and show that each monoidal Hom-algebra in $^{H}_{H}\mathcal{HYD}$ gives rise to a braided Hom-Lie algebra. Second, we prove that if $(A,\beta)$ is a sum of two $H$-commutative monoidal Hom-subalgebras, then the commutator Hom-ideal $[A,A]$ of $A$ is nilpotent. Also, we study the central invariant of braided Hom-Lie algebras as a generalization of generalized Lie algebras. Finally, we obtain a construction of the enveloping algebras of braided Hom-Lie algebras and show that the enveloping algebras are $H$-cocommutative Hom-Hopf algerbas.


title: A Lower Bound for Primality of Finite Languages

abstract: A regular language $L$ is said to be prime, if it is not the product of two non-trivial languages. Martens et al. settled the exact complexity of deciding primality for deterministic finite automata in 2010. For finite languages, Mateescu et al. and Wieczorek suspect the $\mathrm{NP}\text{ - }completeness$ of primality, but no actual bounds are given. Using techniques of Martens et al., we prove the $\mathrm{NP}$ lower bound and give a $\Pi_{2}^{\mathrm{P}}$ upper bound for deciding primality of finite languages given as deterministic finite automata.


title: Impact of Glasma on heavy quark observables in nucleus-nucleus collisions at LHC

abstract: In the pre-thermal equilibrium stage of relativistic heavy-ion collisions, a strong quasi-classical transverse gluon field emerges at about $\tau_0 \simeq 0.1 \, \rm fm/c$ and evolves together with their longitudinal counterparts according to the classical Yang-Mills (CYM) equations. Recently it has been shown that these fields induce a diffusion of charm quarks in momentum space resulting in a tilt of their spectrum without a significant drag. We find that in nucleus-nucleus collisions at LHC such a novel dynamics of charm quarks leads to an initial enhancement of the nuclear modification factor ($R_{AA}$) at $p_T$ larger than 2 GeV$/c$ contrary to the standard lore. Moreover, the same dynamics leads to a larger final elliptic flow ($v_2$) inducing a relation between $R_{AA}$ and $v_2$ that is quite close to the experimental measurements. Our study also shows that such an initial pre-thermal stage is unlikely to be described in terms of a standard drag and diffusion dynamics, because even if one tune such coefficients to reproduce the same $R_{AA}(p_T)$ this would imply a significantly smaller $v_2$.


title: Exploring Stereovision-Based 3-D Scene Reconstruction for Augmented Reality

abstract: Three-dimensional (3-D) scene reconstruction is one of the key techniques in Augmented Reality (AR), which is related to the integration of image processing and display systems of complex information. Stereo matching is a computer vision based approach for 3-D scene reconstruction. In this paper, we explore an improved stereo matching network, SLED-Net, in which a Single Long Encoder-Decoder is proposed to replace the stacked hourglass network in PSM-Net for better contextual information learning. We compare SLED-Net to state-of-the-art methods recently published, and demonstrate its superior performance on Scene Flow and KITTI2015 test sets.


title: Double coverings of arrangement complements and $2$-torsion in Milnor fiber homology

abstract: We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.


title: $3$-uniform hypergraphs without a cycle of length five

abstract: In this paper we show that the maximum number of hyperedges in a $3$-uniform hypergraph on $n$ vertices without a (Berge) cycle of length five is less than $(0.254 + o(1))n^{3/2}$, improving an estimate of Bollob\'as and Gy\H{o}ri. We obtain this result by showing that not many $3$-paths can start from certain subgraphs of the shadow.


title: Fully-Featured Attribute Transfer

abstract: Image attribute transfer aims to change an input image to a target one with expected attributes, which has received significant attention in recent years. However, most of the existing methods lack the ability to de-correlate the target attributes and irrelevant information, i.e., the other attributes and background information, thus often suffering from blurs and artifacts. To address these issues, we propose a novel Attribute Manifold Encoding GAN (AME-GAN) for fully-featured attribute transfer, which can modify and adjust every detail in the images. Specifically, our method divides the input image into image attribute part and image background part on manifolds, which are controlled by attribute latent variables and background latent variables respectively. Through enforcing attribute latent variables to Gaussian distributions and background latent variables to uniform distributions respectively, the attribute transfer procedure becomes controllable and image generation is more photo-realistic. Furthermore, we adopt a conditional multi-scale discriminator to render accurate and high-quality target attribute images. Experimental results on three popular datasets demonstrate the superiority of our proposed method in both performances of the attribute transfer and image generation quality.


title: Coefficient bounds for close-to-convex functions associated with vertical strip domain

abstract: By considering a certain univalent function in the open unit disk U, that maps U onto a strip domain, we introduce a new class of analytic and close-to-convex functions by means of a certain non-homogeneous Cauchy-Euler-type differential equation. We determine the coefficient bounds for functions in this new class. Relevant connections of some of the results obtained with those in earlier works are also provided.


title: On split regular BiHom-Poisson superalgebras

abstract: The paper introduces the class of split regular BiHom-Poisson superalgebras, which is a natural generalization of split regular Hom-Poisson algebras and split regular BiHom-Lie superalgebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular BiHom-Poisson superalgebras $A$ is of the form $A=U+\sum_{\a}I_\a$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_{\a}$, a well described ideal of $A$, satisfying $[I_\a, I_\b]+I_\a I_\b = 0$ if $[\a]\neq [\b]$. Under certain conditions, in the case of $A$ being of maximal length, the simplicity of the algebra is characterized.


title: Gain Stabilization of SiPMs with an Adaptive Power Supply

abstract: The gain of silicon photomultipliers (SiPMs) increases with bias voltage and decreases with temperature. To operate SiPMs at stable gain, the bias voltage can be readjusted to compensate for temperature changes. We have tested this concept with 30 SiPMs from three manufacturers (Hamamatsu, KETEK and CPTA) operating in a climate chamber at CERN by varying temperatures between $1^\circ \rm C$ and $48^\circ \rm C$. We built an adaptive power supply that uses a linear dependence of the bias voltage on temperature. We stabilized four SiPMs simultaneously with only one compensation parameter for the readjustment of the bias voltage of four SiPMs. For all tested Hamamatsu and CPTA SiPMs we achieved our goal of limiting gain changes to less than $\pm 0.5\%$ in the $20-30^\circ C$ temperature range.


title: On certain maximal hyperelliptic curves related to Chebyshev polynomials

abstract: We study hyperelliptic curves arising from Chebyshev polynomials. The aim of this paper is to characterize the pairs $(q,d)$ such that the hyperelliptic curve $\cC$ over a finite field $\FF_{q^2}$ corresponding to the equation $y^2 = \varphi_{d}(x)$ is maximal over the finite field $\FF_{q^2}$ of cardinality $q^2$. Here $\varphi_{d}(x)$ denotes the Chebyshev polynomial of degree $d$. The same question is studied for the curves corresponding to $y^2=(x\pm 2) \varphi_{d}(x)$, and also for $y^2=(x^2-4)\varphi_d(x)$.


title: $\mathcal{N}=4$ Super-Yang-Mills Correlators at Strong Coupling from String Theory and Localization

abstract: We compute $1/\lambda$ corrections to the four-point functions of half-BPS operators in $SU(N)$ $\mathcal{N}=4$ super-Yang-Mills theory at large $N$ and large 't Hooft coupling $\lambda=g_\text{YM}^2 N$ using two methods. Firstly, we relate integrals of these correlators to derivatives of the mass deformed $S^4$ free energy, which was computed at leading order in large $N$ and to all orders in $1/\lambda$ using supersymmetric localization. Secondly, we use AdS/CFT to relate these $1/\lambda$ corrections to higher derivative corrections to supergravity for scattering amplitudes of Kaluza-Klein scalars in IIB string theory on $AdS_5\times S^5$, which in the flat space limit are known from worldsheet calculations. These two methods match at the order corresponding to the tree level $R^4$ interaction in string theory, which provides a precise check of AdS/CFT beyond supergravity, and allow us to derive the holographic correlators to tree level $D^4R^4$ order. Combined with constraints from arXiv:1809.10670, our results can be used to derive CFT data to one-loop $D^4R^4$ order. Finally, we use AdS/CFT to fix these correlators in the limit where $N$ is taken to be large while $g_{\rm YM}$ is kept fixed. In this limit, we present a conjecture for the small mass limit of the $S^4$ partition function that includes all instanton corrections and is written in terms of the same Eisenstein series that appear in the study of string theory scattering amplitudes.


title: Reflexponents

abstract: Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.


title: Transition from Quantum Chaos to Localization in Spin Chains

abstract: Recent years have seen an increasing interest in quantum chaos and related aspects of spatially extended systems, such as spin chains. However, the results are strongly system dependent, generic approaches suggest the presence of many-body localization while analytical calculations for certain system classes, here referred to as the ``self-dual case'', prove adherence to universal (chaotic) spectral behavior. We address these issues studying the level statistics in the vicinity of the latter case, thereby revealing transitions to many-body localization as well as the appearance of several non-standard random-matrix universality classes.


title: Numerical study of Bose-Einstein condensation in the Kaniadakis-Quarati model for bosons

abstract: Kaniadakis and Quarati (1994) proposed a Fokker--Planck equation with quadratic drift as a PDE model for the dynamics of bosons in the spatially homogeneous setting. It is an open question whether this equation has solutions exhibiting condensates in finite time. The main analytical challenge lies in the continuation of exploding solutions beyond their first blow-up time while having a linear diffusion term. We present a thoroughly validated time-implicit numerical scheme capable of simulating solutions for arbitrarily large time, and thus enabling a numerical study of the condensation process in the Kaniadakis--Quarati model. We show strong numerical evidence that above the critical mass rotationally symmetric solutions of the Kaniadakis--Quarati model in 3D form a condensate in finite time and converge in entropy to the unique minimiser of the natural entropy functional at an exponential rate. Our simulations further indicate that the spatial blow-up profile near the origin follows a universal power law and that transient condensates can occur for sufficiently concentrated initial data.


title: Deep-learning inversion: a next generation seismic velocity-model building method

abstract: Seismic velocity is one of the most important parameters used in seismic exploration. Accurate velocity models are key prerequisites for reverse-time migration and other high-resolution seismic imaging techniques. Such velocity information has traditionally been derived by tomography or full-waveform inversion (FWI), which are time consuming and computationally expensive, and they rely heavily on human interaction and quality control. We investigate a novel method based on the supervised deep fully convolutional neural network (FCN) for velocity-model building (VMB) directly from raw seismograms. Unlike the conventional inversion method based on physical models, the supervised deep-learning methods are based on big-data training rather than prior-knowledge assumptions. During the training stage, the network establishes a nonlinear projection from the multi-shot seismic data to the corresponding velocity models. During the prediction stage, the trained network can be used to estimate the velocity models from the new input seismic data. One key characteristic of the deep-learning method is that it can automatically extract multi-layer useful features without the need for human-curated activities and initial velocity setup. The data-driven method usually requires more time during the training stage, and actual predictions take less time, with only seconds needed. Therefore, the computational time of geophysical inversions, including real-time inversions, can be dramatically reduced once a good generalized network is built. By using numerical experiments on synthetic models, the promising performances of our proposed method are shown in comparison with conventional FWI even when the input data are in more realistic scenarios. Discussions on the deep-learning methods, training dataset, lack of low frequencies, and advantages and disadvantages of the new method are also provided.


title: Experimental Twin-Field Quantum Key Distribution Through Sending-or-Not-Sending

abstract: Channel loss seems to be the most severe limitation on the practical application of long distance quantum key distribution. The idea of twin-field quantum key distribution can improve the key rate from the linear scale of channel loss in the traditional decoy-state method to the square root scale of the channel transmittance. However, the technical demanding is rather tough because it requests single photon level interference of two remote independent lasers. Here, we adopt the technology developed in the frequency and time transfer to lock two independent lasers' wavelengths and utilize additional phase reference light to estimate and compensate the fiber fluctuation. Further with a single photon detector with high detection rate, we demonstrate twin field quantum key distribution through the sending-or-not-sending protocol with realistic phase drift over 300 km optical fiber spools. We calculate the secure key rates with finite size effect. The secure key rate at 300 km ($1.96\times10^{-6}$) is higher than that of the repeaterless secret key capacity ($8.64\times10^{-7}$).


title: Bayesian Regularization: From Tikhonov to Horseshoe

abstract: Bayesian regularization is a central tool in modern-day statistical and machine learning methods. Many applications involve high-dimensional sparse signal recovery problems. The goal of our paper is to provide a review of the literature on penalty-based regularization approaches, from Tikhonov (Ridge, Lasso) to horseshoe regularization.


title: Unravelling the contribution of local structures to the anomalies of water: the synergistic action of several factors

abstract: We investigate the microscopic origin of water's anomalies by inspecting the hydrogen bond network (HBN) and the spatial organization of low-density-liquid (LDL) like and high-density-liquid (HDL) like environments. Specifically, we simulate --via classical molecular dynamics simulations-- the isobaric cooling of a sample composed by 512 water molecules from ambient to deeply undercooled conditions at three pressures, namely 1 bar, 400 bar and 1000 bar. \emph{In correspondence with the Widom line}, (i) the HDL-like dominating cluster undergoes fragmentation caused by the percolation of LDL-like aggregates following a spinodal-like kinetics; (ii) such fragmentation always occur s at a "critical" concentration of $\sim20-30\%$ in LDL; (iii) the HBN within LDL-like environments is characterized by an equal number of pentagonal and hexagonal rings that create a state of maximal frustration between a configuration that promotes crystallization (hexagonal ring) and a configuration that hinders it (pentagonal ring); (iv) the spatial organization of HDL-like environments shows a marked variation. Moreover, the inspection of the global symmetry shows that the intermediate-range order decreases in correspondence with the Wid om line, and such decrease becomes more pronounced upon increasing the pressure, hence supporting the hypothesis of a liquid-liquid critical point. Our results reveal and rationalize the complex microscopic origin of water's anomalies as the cooperative effect of several fac tors acting synergistically. Beyond implications for water, our findings may be extended to other materials displaying anomalous behaviours.


title: The Efficiency of Coherent Radiation from Relativistic Shocks

abstract: We discuss a mechanism for intense electromagnetic wave emission at an astrophysical relativistic shock in a magnetized collisionless plasma. At the magnetized shock, the particle reflection by a compressed magnetic field of the shock produces a ring-like distribution in momentum, which gives rise to plasma instabilities. Intense and coherent high-frequency electromagnetic waves will be emitted if the synchrotron maser instability (SMI) is excited, whereas non-propagating magnetic fluctuations will be generated when the Weibel instability (WI) is the dominant mode. The problem is of great astrophysical interest because if intense radiation is emitted, the interaction with the upstream medium induces a large-amplitude electrostatic field (or Wakefield), which may play a role for the acceleration of ultra-high-energy cosmic rays. We review our recent effort to measure the efficiency of the electromagnetic wave emission using fully self-consistent, two-dimensional (2D) particle-in-cell (PIC) simulations for pair plasmas. We found that the emission efficiency in 2D was systematically lower than one dimensional (1D) PIC simulation results. However, the power remains finite even when the WI is active to generate large-amplitude magnetic fluctuations. Astrophysical implications of the present results are briefly discussed.


title: Effects of Synaptic and Myelin Plasticity on Learning in a Network of Kuramoto Phase Oscillators

abstract: Models of learning typically focus on synaptic plasticity. However, learning is the result of both synaptic and myelin plasticity. Specifically, synaptic changes often co-occur and interact with myelin changes, leading to complex dynamic interactions between these processes. Here, we investigate the implications of these interactions for the coupling behavior of a system of Kuramoto oscillators. To that end, we construct a fully connected, one-dimensional ring network of phase oscillators whose coupling strength (reflecting synaptic strength) as well as conduction velocity (reflecting myelination) are each regulated by a Hebbian learning rule. We evaluate the behavior of the system in terms of structural (pairwise connection strength and conduction velocity) and functional connectivity (local and global synchronization behavior). We find that for conditions in which a system limited to synaptic plasticity develops two distinct clusters both structurally and functionally, additional adaptive myelination allows for functional communication across these structural clusters. Hence, dynamic conduction velocity permits the functional integration of structurally segregated clusters. Our results confirm that network states following learning may be different when myelin plasticity is considered in addition to synaptic plasticity, pointing towards the relevance of integrating both factors in computational models of learning.


title: "Touching to See" and "Seeing to Feel": Robotic Cross-modal SensoryData Generation for Visual-Tactile Perception

abstract: The integration of visual-tactile stimulus is common while humans performing daily tasks. In contrast, using unimodal visual or tactile perception limits the perceivable dimensionality of a subject. However, it remains a challenge to integrate the visual and tactile perception to facilitate robotic tasks. In this paper, we propose a novel framework for the cross-modal sensory data generation for visual and tactile perception. Taking texture perception as an example, we apply conditional generative adversarial networks to generate pseudo visual images or tactile outputs from data of the other modality. Extensive experiments on the ViTac dataset of cloth textures show that the proposed method can produce realistic outputs from other sensory inputs. We adopt the structural similarity index to evaluate similarity of the generated output and real data and results show that realistic data have been generated. Classification evaluation has also been performed to show that the inclusion of generated data can improve the perception performance. The proposed framework has potential to expand datasets for classification tasks, generate sensory outputs that are not easy to access, and also advance integrated visual-tactile perception.


title: Sensor Placement for Outage Identifiability in Power Distribution Networks

abstract: Accurate topology information is critical for effective operation of power distribution networks. Line outages change the operational topology of a distribution network. Hence, outage detection is an important task. Power distribution networks are operated as radial trees and are recently adopting the integration of advanced sensors to monitor the network in real time. In this paper, a dynamic-programming-based minimum cost sensor placement solution is proposed for outage identifiability. We propose a novel formulation of the sensor placement as a cost optimization problem involving binary placement decisions, and then provide an algorithm based on dynamic programming to solve it in polynomial time. The advantage of the proposed placement strategy is that it incorporates various types of sensors, is independent of time varying load statistics, has a polynomial execution time and is cost effective. Numerical results illustrating the proposed sensor placement solution are presented for multiple feeder models including standard IEEE test feeders.


title: Zero-Error Capacity of Duplication Channels

abstract: This paper is concerned with the problem of error-free communication over the i.i.d. duplication channel which acts on a transmitted sequence $ x_1 \cdots x_n $ by inserting a random number of copies of each symbol $ x_i $ next to the original symbol. The random variables representing the numbers of inserted copies at each position $ i $ are independent and take values in $ \{0, 1, \ldots, r\} $, where $ r $ is a fixed parameter. A more general model in which blocks of $ \ell $ consecutive symbols are being duplicated, and which is inspired by DNA-based data storage systems wherein the stored molecules are subject to tandem-duplication mutations, is also analyzed. A construction of optimal codes correcting all patterns of errors of this type is described, and the zero-error capacity of the duplication channel---the largest rate at which information can be transmitted through it in an error-free manner---is determined for each $ \ell $ and $ r $.


title: Electron-phonon coupling in a honeycomb borophene grown on Al(111) surface

abstract: Recently, a honeycomb borophene was reported to grow successfully on Al(111) surface. Since the metallic $\sigma$-bonding bands of honeycomb boron sheet play a crucial role in the 39 K superconductivity of MgB$_2$, it is physically interesting to examine whether similar property exists in this material. We have calculated the electronic structures and the electron-phonon coupling for honeycomb borophene by explicitly considering the substrate effect using first-principles density functional theory in conjunction with the Wannier interpolation technique. We find that the $sp^2$-hybridized $\sigma$-bonding bands of honeycomb borophene are metallized due to moderate charge transfer from the Al substrate, similar as in MgB$_2$. However, the electron-phonon coupling in honeycomb borophene is much weaker than in MgB$_2$ due to the hardening of the bond-stretching boron phonon modes and the reduction of phonon density of states. Nevertheless, the interlayer coupling between Al-associated phonons and electrons in borophene is strong. Based on this observation, we predict that a 6.5 K superconducting transition can be observed in a free-standing borophene decorated by a single Al layer, namely monolayer AlB$_2$. Accordingly, similar superconducting transition temperature could be expected in honeycomb borophene on Al(111).


title: Dynamics of continued fractions and distribution of modular symbols

abstract: We formulate a thermodynamical approach to the study of distribution of modular symbols, motivated by the work of Baladi-Vall\'ee. We introduce the modular partitions of continued fractions and observe that the statistics for modular symbols follow from the behavior of modular partitions. We prove the limit Gaussian distribution and residual equidistribution for modular partitions as a vector-valued random variable on the set of rationals whose denominators are up to a fixed positive integer by studying the spectral properties of transfer operator associated to the underlying dynamics. The approach leads to a few applications. We show an average version of conjectures of Mazur-Rubin on statistics for the period integrals of an elliptic newform. We further observe that the equidistribution of mod $p$ values of modular symbols leads to mod $p$ non-vanishing results for special modular $L$-values twisted by a Dirichlet character.


title: ODIN: ODE-Informed Regression for Parameter and State Inference in Time-Continuous Dynamical Systems

abstract: Parameter inference in ordinary differential equations is an important problem in many applied sciences and in engineering, especially in a data-scarce setting. In this work, we introduce a novel generative modeling approach based on constrained Gaussian processes and leverage it to build a computationally and data efficient algorithm for state and parameter inference. In an extensive set of experiments, our approach outperforms the current state of the art for parameter inference both in terms of accuracy and computational cost. It also shows promising results for the much more challenging problem of model selection.


title: Stability of Galerkin discretizations of a mixed space-time variational formulation of parabolic evolution equations

abstract: We analyze Galerkin discretizations of a new well-posed mixed space-time variational formulation of parabolic PDEs. For suitable pairs of finite element trial spaces, the resulting Galerkin operators are shown to be uniformly stable. The method is compared to two related space-time discretization methods introduced in [IMA J. Numer. Anal., 33(1) (2013), pp. 242-260] by R. Andreev and in [Comput. Methods Appl. Math., 15(4) (2015), pp. 551-566] by O. Steinbach.


title: Existence and uniqueness of monotone wavefronts in a nonlocal resource-limited model

abstract: We are revisiting the topic of travelling fronts for the food-limited (FL) model with spatio-temporal nonlocal reaction. These solutions are crucial for understanding the whole model dynamics. Firstly, we prove the existence of monotone wavefronts. In difference with all previous results formulated in terms of `sufficiently small parameters', our existence theorem indicates a reasonably broad and explicit range of the model key parameters allowing the existence of monotone waves. Secondly, numerical simulations realized on the base of our analysis show appearance of non-oscillating and non-monotone travelling fronts in the FL model. These waves were never observed before. Finally, invoking a new approach developed recently by Solar $et\ al$, we prove the uniqueness (for a fixed propagation speed, up to translation) of each monotone front.


title: Approximate leave-future-out cross-validation for Bayesian time series models

abstract: One of the common goals of time series analysis is to use the observed series to inform predictions for future observations. In the absence of any actual new data to predict, cross-validation can be used to estimate a model's future predictive accuracy, for instance, for the purpose of model comparison or selection. Exact cross-validation for Bayesian models is often computationally expensive, but approximate cross-validation methods have been developed, most notably methods for leave-one-out cross-validation (LOO-CV). If the actual prediction task is to predict the future given the past, LOO-CV provides an overly optimistic estimate because the information from future observations is available to influence predictions of the past. To properly account for the time series structure, we can use leave-future-out cross-validation (LFO-CV). Like exact LOO-CV, exact LFO-CV requires refitting the model many times to different subsets of the data. Using Pareto smoothed importance sampling, we propose a method for approximating exact LFO-CV that drastically reduces the computational costs while also providing informative diagnostics about the quality of the approximation.