title: A unified view of likelihood ratio and reparameterization gradients and an optimal importance sampling scheme

abstract: Reparameterization (RP) and likelihood ratio (LR) gradient estimators are used throughout machine and reinforcement learning; however, they are usually explained as simple mathematical tricks without providing any insight into their nature. We use a first principles approach to explain LR and RP, and show a connection between the two via the divergence theorem. The theory motivated us to derive optimal importance sampling schemes to reduce LR gradient variance. Our newly derived distributions have analytic probability densities and can be directly sampled from. The improvement for Gaussian target distributions was modest, but for other distributions such as a Beta distribution, our method could lead to arbitrarily large improvements, and was crucial to obtain competitive performance in evolution strategies experiments.


title: 3rd-order Spectral Representation Method: Part I -- Multi-dimensional random fields with fast Fourier transform implementation

abstract: This paper introduces a generalised 3rd-order Spectral Representation Method for the simulation of multi-dimensional stochastic fields with asymmetric non-linearities. The simulated random fields satisfy a prescribed Power Spectrum and Bispectrum. The general d-dimensional simulation equations are presented and the method is applied to simulate 2D and 3D random fields. The differences between samples generated by the proposed methodology and the existing classical Spectral Representation Method are analysed. An important feature of this methodology is that the formula can be implemented efficiently with the Fast Fourier Transform, details of which are presented. Computational savings are shown to grow exponentially with dimensionality as a testament of the scalability of the simulation methodology.


title: Investigation of nitrogen polar p-type doped GaN/AlxGa(1-x)N superlattices for applications in wide-bandgap p-type field effect transistors

abstract: In this study the MOCVD growth and electrical properties of N-polar modulation doped p-AlGaN/GaN superlattices (SLs) were investigated. Hole sheet charge density and mobility were studied as a function of the concentration of the p-type dopant Mg in the SL and the number of SL periods. Room temperature Hall measurements were carried out to determine the hole mobility and the sheet charge density. While the hole density increased with increasing number of SL periods, the hole mobility was largely unaffected.Hole mobilities as high as 18cm2/Vs at a simultaneous high hole density of 6.5e13 cm-2 were observed for N-polar SLs with a Mg modulation doping of 7.5e18 cm-3. For comparable uniformly doped Ga-polar SL samples, a mobility of 11cm2/Vs was measured. Lowest sheet resistance in the GaN/AlGaN materials system of 5kOhm/sq is also reported. Test-structure transistors were also fabricated to investigate the applicability of these SL structures, with planar device resulting in a current of 5mA/mm, and a FinFET structure resulting in a current of over 100mA/mm.


title: High-Pressure Gaseous Argon TPC for the DUNE Near Detector

abstract: The DUNE Near Detector design consists of multiple components, each designed to produce complementary constraints on flux and neutrino interaction systematic uncertainties for the oscillation analyses. One of these subdetectors is a magnetized high-pressure gaseous-argon TPC (HPgTPC), which will provide fine-grained tracking in a low-density detector, using the same target nucleus as the DUNE far detector. With its low momentum threshold for particle detection, the HPgTPC will be able to constrain one of the most crucial - and least-well understood - uncertainties for the oscillation analysis: nuclear effects in neutrino-argon interactions. These proceedings describe the current design, physics goals, and projected performance of the HPgTPC, as well as the ongoing R&D work at Fermilab, in which a test-stand TPC is being built and will be operated at up to 10 atm pressure.


title: Algorithm and hardness results on neighborhood total domination in graphs

abstract: A set $D\subseteq V$ of a graph $G=(V,E)$ is called a neighborhood total dominating set of $G$ if $D$ is a dominating set and the subgraph of $G$ induced by the open neighborhood of $D$ has no isolated vertex. Given a graph $G$, \textsc{Min-NTDS} is the problem of finding a neighborhood total dominating set of $G$ of minimum cardinality. The decision version of \textsc{Min-NTDS} is known to be \textsf{NP}-complete for bipartite graphs and chordal graphs. In this paper, we extend this \textsf{NP}-completeness result to undirected path graphs, chordal bipartite graphs, and planar graphs. We also present a linear time algorithm for computing a minimum neighborhood total dominating set in proper interval graphs. We show that for a given graph $G=(V,E)$, \textsc{Min-NTDS} cannot be approximated within a factor of $(1-\varepsilon)\log |V|$, unless \textsf{NP$\subseteq$DTIME($|V|^{O(\log \log |V|)}$)} and can be approximated within a factor of $O(\log \Delta)$, where $\Delta$ is the maximum degree of the graph $G$. Finally, we show that \textsc{Min-NTDS} is \textsf{APX}-complete for graphs of degree at most $3$.


title: Integrating AI into Radiology workflow: Levels of research, production, and feedback maturity

abstract: This report represents a roadmap for integrating Artificial Intelligence (AI)-based image analysis algorithms into existing Radiology workflows such that: (1) radiologists can significantly benefit from enhanced automation in various imaging tasks due to AI; and (2) radiologists' feedback is utilized to further improve the AI application. This is achieved by establishing three maturity levels where: (1) research enables the visualization of AI-based results/annotations by radiologists without generating new patient records; (2) production allows the AI-based system to generate results stored in an institution's Picture Archiving and Communication System; and (3) feedback equips radiologists with tools for editing the AI inference results for periodic retraining of the deployed AI systems, thereby allowing the continuous organic improvement of AI-based radiology-workflow solutions. A case study (i.e., detection of brain metastases with T1-weighted contrast-enhanced 3D MRI) illustrates the deployment details of a particular AI-based application according to the aforementioned maturity levels. It is shown that the given AI application significantly improves with the feedback coming from radiologists; the number of incorrectly detected brain metastases (false positives) reduces from 14.2 to 9.12 per patient with the number of subsequently annotated datasets increasing from 93 to 217 as a result of radiologist adjudication.


title: Real-time Data Driven Precision Estimator for RAVEN-II Surgical Robot End Effector Position

abstract: Surgical robots have been introduced to operating rooms over the past few decades due to their high sensitivity, small size, and remote controllability. The cable-driven nature of many surgical robots allows the systems to be dexterous and lightweight, with diameters as low as 5mm. However, due to the slack and stretch of the cables and the backlash of the gears, inevitable uncertainties are brought into the kinematics calculation. Since the reported end effector position of surgical robots like RAVEN-II is directly calculated using the motor encoder measurements and forward kinematics, it may contain relatively large error up to 10mm, whereas semi-autonomous functions being introduced into abdominal surgeries require position inaccuracy of at most 1mm. To resolve the problem, a cost-effective, real-time and data-driven pipeline for robot end effector position precision estimation is proposed and tested on RAVEN-II. Analysis shows an improved end effector position error of around 1mm RMS traversing through the entire robot workspace without high-resolution motion tracker.


title: Tell-the-difference: Fine-grained Visual Descriptor via a Discriminating Referee

abstract: In this paper, we investigate a novel problem of telling the difference between image pairs in natural language. Compared to previous approaches for single image captioning, it is challenging to fetch linguistic representation from two independent visual information. To this end, we have proposed an effective encoder-decoder caption framework based on Hyper Convolution Net. In addition, a series of novel feature fusing techniques for pairwise visual information fusing are introduced and a discriminating referee is proposed to evaluate the pipeline. Because of the lack of appropriate datasets to support this task, we have collected and annotated a large new dataset with Amazon Mechanical Turk (AMT) for generating captions in a pairwise manner (with 14764 images and 26710 image pairs in total). The dataset is the first one on the relative difference caption task that provides descriptions in free language. We evaluate the effectiveness of our model on two datasets in the field and it outperforms the state-of-the-art approach by a large margin.


title: Search for Standard Model Production of Four Top Quarks

abstract: This talk describes efforts towards a first measurement of the standard model production of four top quarks with results based on up to the full LHC Run 2 dataset collected at CMS at $\sqrt{s}=13\mathrm{TeV}$. It includes interpretations of this measurement to constrain properties of the Higgs Boson and new physics scenarios including dark matter.


title: Restoration of marker occluded hematoxylin and eosin stained whole slide histology images using generative adversarial networks

abstract: It is common for pathologists to annotate specific regions of the tissue, such as tumor, directly on the glass slide with markers. Although this practice was helpful prior to the advent of histology whole slide digitization, it often occludes important details which are increasingly relevant to immuno-oncology due to recent advancements in digital pathology imaging techniques. The current work uses a generative adversarial network with cycle loss to remove these annotations while still maintaining the underlying structure of the tissue by solving an image-to-image translation problem. We train our network on up to 300 whole slide images with marker inks and show that 70% of the corrected image patches are indistinguishable from originally uncontaminated image tissue to a human expert. This portion increases 97% when we replace the human expert with a deep residual network. We demonstrated the fidelity of the method to the original image by calculating the correlation between image gradient magnitudes. We observed a revival of up to 94,000 nuclei per slide in our dataset, the majority of which were located on tissue border.


title: Composite Molecules and Decoupling in Reaction Diffusion Models

abstract: The Gray-Scott model can be thought of as an effective theory at large spatiotemporal scales coming from a more fundamental theory valid at shorter spatiotemporal scales. The more fundamental theory includes a composite molecule which is trilinear in the molecules of the Gray-Scott model as was shown in the recent derivation of the Gray-Scott model from the master equation. Here we show that at a classical level, ignoring the fluctuations describable in a Langevin description, the late time dynamics of the more fundamental theory leads to the same pattern formation as found in the Gray-Scott model with suitable choices of the parameters describing the diffusion of the composite molecule.


title: A remark on vanishing geodesic distances in infinite dimensions

abstract: We observe that a vanishing geodesic distance arising from a weak Riemannian metric in a Hilbert manifold can be constructed.


title: Whatcha lookin' at? DeepLIFTing BERT's Attention in Question Answering

abstract: There has been great success recently in tackling challenging NLP tasks by neural networks which have been pre-trained and fine-tuned on large amounts of task data. In this paper, we investigate one such model, BERT for question-answering, with the aim to analyze why it is able to achieve significantly better results than other models. We run DeepLIFT on the model predictions and test the outcomes to monitor shift in the attention values for input. We also cluster the results to analyze any possible patterns similar to human reasoning depending on the kind of input paragraph and question the model is trying to answer.


title: Optimal Dynamic Futures Portfolio in a Regime-Switching Market Framework

abstract: We study the problem of dynamically trading futures in a regime-switching market. Modeling the underlying asset price as a Markov-modulated diffusion process, we present a utility maximization approach to determine the optimal futures trading strategy. This leads to the analysis of the associated system of Hamilton-Jacobi-Bellman (HJB) equations, which are reduced to a system of linear ODEs. We apply our stochastic framework to two models, namely, the Regime-Switching Geometric Brownian Motion (RS-GBM) model and Regime-Switching Exponential Ornstein-Uhlenbeck (RS-XOU) model. Numerical examples are provided to illustrate the investor's optimal futures positions and portfolio value across market regimes.


title: Singular integrals in the rational Dunkl setting

abstract: On $\mathbb R^N$ equipped with a normalized root system $R$ and a multiplicity function $k\geq 0$ let us consider a (non-radial) kernel $K(\mathbf x)$ which has properties similar to those from the classical theory. We prove that a singular integral Dunkl convolution operator associated with the kernel $K$ is bounded on $L^p$ for $1<p<\infty$ and of weak-type (1,1). Further we study a maximal function related to the Dunkl convolutions with truncation of $K$.


title: Low Noise Cold Electronics System for SBND LAr TPC

abstract: The Short Baseline Near Detector (SBND) is one of three liquid argon (LAr) neutrino detectors sitting in the Booster Neutrino Beam (BNB) at Fermilab as part of the Short Baseline Neutrino (SBN) program. The detector is in a cryostat holding 260-ton of LAr and consists of four 2.5 m (L) $\times$ 4 m (W) Anode Plane Assembles (APAs) and two Cathode Plane Assemblies (CPAs), which leads to 11,264 Time Projection Chamber (TPC) readout channels and two separate 2 m long drift regions. As an enabling technology, Cold Electronics (CE) developed for cryogenic temperature operation makes possible an optimum balance among various design and performance requirements for such large sized detectors. Brookhaven National Laboratory (BNL) has been leading the R&D and implementation of the entire front-end CE system for LAr TPC readout in collaboration with other SBND institutes. The front-end readout electronics system includes the cold front-end electronics placed close to the wire electrodes, which detects and digitizes the charge signal in LAr, as well as the warm interface electronics placed on the signal feed-through flange outside of the cryostat, which further organizes and transmits the digitized signal to the DAQ system. An extensive study of electronics suitable for 77 K - 300 K, including the custom designed front-end ASIC and commercial components, e.g. ADC and FPGA, has been made to meet requirements such as low noise, low power consumption, high reliability and long lifetime. Furthermore, an integral design concept of APA, CE, feed-through, warm interface electronics with local diagnostics, grounding and isolation rules has been practiced with vertical slice test stands to make projection of the CE performance in the SBND detector.


title: Graph Clustering in All Parameter Regimes

abstract: Resolution parameters in graph clustering represent a size and quality trade-off. We address the task of efficiently solving a parameterized graph clustering objective for all values of a resolution parameter. Specifically, we consider an objective we call LambdaPrime, involving a parameter $\lambda \in (0,1)$. This objective is related to other parameterized clustering problems, such as parametric generalizations of modularity, and captures a number of specific clustering problems as special cases, including sparsest cut and cluster deletion. While previous work provides approximation results for a single resolution parameter, we seek a set of approximately optimal clusterings for all values of $\lambda$ in polynomial time. In particular, we ask the question, how small a family of clusterings suffices to optimize -- or to approximately optimize -- the LambdaPrime objective over the full possible spectrum of $\lambda$? We obtain a family of logarithmically many clusterings by solving the parametric linear programming relaxation of LambdaPrime at a logarithmic number of parameter values, and round their solutions using existing approximation algorithms. We prove that this number is tight up to a constant factor. Specifically, for a certain class of ring graphs, a logarithmic number of feasible solutions is required to provide a constant-factor approximation for the LambdaPrime LP relaxation in all parameter regimes. We additionally show that for any graph with $n$ nodes and $m$ edges, there exists a set of $m$ or fewer clusterings such that for every $\lambda \in (0,1)$, the family contains an exact solution to the LambdaPrime objective. There also exists a set of $O(\log n)$ clusterings that provide a $(1+\varepsilon)$-approximate solution in all parameter regimes; we demonstrate simple graph classes for which these bounds are tight.


title: Common and Sidorenko Linear Equations

abstract: A linear equation with coefficients in $\mathbb{F}_q$ is common if the number of monochromatic solutions in any two-coloring of $\mathbb{F}_q^n$ is asymptotically (as $n \to \infty$) at least the number expected in a random two-coloring. The linear equation is Sidorenko if the number of solutions in any dense subset of $\mathbb{F}_q^n$ is asymptotically at least the number expected in a random set of the same density. In this paper, we characterize those linear equations which are common, and those which are Sidorenko. The main novelty is a construction based on choosing random Fourier coefficients that shows that certain linear equations do not have these properties. This solves problems posed in a paper of Saad and Wolf.


title: It is high time we let go of the Mersenne Twister

abstract: When the Mersenne Twister made his first appearance in 1997 it was a powerful example of how linear maps on $\mathbf F_2$ could be used to generate pseudorandom numbers. In particular, the easiness with which generators with long periods could be defined gave the Mersenne Twister a large following, in spite of the fact that such long periods are not a measure of quality, and they require a large amount of memory. Even at the time of its publication, several defects of the Mersenne Twister were predictable, but they were somewhat obscured by other interesting properties. Today the Mersenne Twister is the default generator in C compilers, the Python language, the Maple mathematical computation system, and in many other environments. Nonetheless, knowledge accumulated in the last $20$ years suggests that the Mersenne Twister has, in fact, severe defects, and should never be used as a general-purpose pseudorandom number generator. Many of these results are folklore, or are scattered through very specialized literature. This paper surveys these results for the non-specialist, providing new, simple, understandable examples, and it is intended as a guide for the final user, or for language implementors, so that they can take an informed decision about whether to use the Mersenne Twister or not.


title: Reflectivity and PDE of VUV4 Hamamatsu SiPMs in Liquid Xenon

abstract: Understanding reflective properties of materials and photodetection efficiency (PDE) of photodetectors is important for optimizing energy resolution and sensitivity of the next generation neutrinoless double beta decay, direct detection dark matter, and neutrino oscillation experiments that will use noble liquid gases, such as nEXO, DARWIN, DarkSide-20k, and DUNE. Little information is currently available about reflectivity and PDE in liquid noble gases, because such measurements are difficult to conduct in a cryogenic environment and at short enough wavelengths. Here we report a measurement of specular reflectivity and relative PDE of Hamamatsu VUV4 silicon photomultipliers (SiPMs) with 50 micrometer micro-cells conducted with xenon scintillation light (~175 nm) in liquid xenon. The specular reflectivity at 15 deg. incidence of three samples of VUV4 SiPMs is found to be 30.4+/-1.4%, 28.6+/-1.3%, and 28.0+/-1.3%, respectively. The PDE at normal incidence differs by +/-8% (standard deviation) among the three devices. The angular dependence of the reflectivity and PDE was also measured for one of the SiPMs. Both the reflectivity and PDE decrease as the angle of incidence increases. This is the first measurement of an angular dependence of PDE and reflectivity of a SiPM in liquid xenon.


title: G-equivariance of formal models of flag varieties

abstract: Let $\mathbb{G}$ be a split connected reductive group scheme over the ring of integers $\mathfrak{o}$ of a finite extension $L|\mathbb{Q}_p$ and $\lambda\in X(\mathbb{T})$ an algebraic character of a split maximal torus $\mathbb{T}\subseteq\mathbb{G}$. Let us also consider $X^{\text{rig}}$ the rigid analytic flag variety of $\mathbb{G}$ and $G=\mathbb{G}(L)$. In the first part of this paper, we introduce a family of $\lambda$-twisted differential operators on a formal model $\mathfrak{Y}$ of $X^{\text{rig}}$. We compute their global sections and we prove coherence together with several cohomological properties. In the second part, we define the category of coadmissible $G$-equivariant arithmetic $\mathcal{D}(\lambda)$-modules over the family of formal models of the rigid flag variety $X^{\text{rig}}$. We show that if $\lambda$ is such that $\lambda + \rho$ is dominant and regular ($\rho$ being the Weyl character), then the preceding category is anti-equivalent to the category of admissible locally analytic $G$-representations, with central character $\lambda$. In particular, we generalize the results of Huyghe-Patel-Strauch-Schmidt for algebraic characters (cf. [25] in the text).


title: A Reversible Structural Phase Transition by Electrochemical Ion Injection into a Conjugated Polymer

abstract: We find that conjugated polymers can undergo reversible structural phase transitions during electrochemical oxidation and ion injection. We study poly[2,5-bis(thiophenyl)-1,4-bis(2-(2-(2-methoxyethoxy)ethoxy)ethoxy)benzene] (PB2T-TEG), a conjugated polymer with glycolated side chains. Using grazing incidence wide angle X-ray scattering (GIWAXS), we show that, in contrast to previously known polymers, this polymer switches between two structurally distinct crystalline phases associated with electrochemical oxidation/reduction in an aqueous electrolyte. Importantly, we show that this unique phase change behavior has important physical consequences for ion transport. Notably, using moving front experiments visualized by both optical microscopy and super-resolution photoinduced force microscopy (PiFM), we show that a propagating ion front in PB2T-TEG exhibits non-Fickian transport, retaining a sharp step-edge profile, in stark contrast to the Fickian diffusion more commonly observed. This structural phase transition is reminiscent of those accompanying ion uptake in inorganic materials like LiFePO$_{4}$. We propose that engineering similar properties in future conjugated polymers may enable the realization of new materials with superior performance in electrochemical energy storage or neuromorphic memory applications.


title: The Wave Trace and Birkhoff Billiards

abstract: The purpose of this article is to develop a Hadamard-Riesz type parametrix for the wave propagator in bounded planar domains with smooth, strictly convex boundary. This parametrix then allows us to rederive an oscillatory integral representation for the wave trace appearing in \cite{MaMe82} and compute its principal symbol explicitly in terms of geometric data associated to the billiard map. This results in new formulas for the wave invariants. The order of the principal symbol, which appears to be inconsistent in the works of \cite{MaMe82} and \cite{Popov1994}, is also corrected. In those papers, the principal symbol was never actually computed and to our knowledge, this paper contains the first explicit formulas for the principal symbol of the wave trace. The wave trace formulas we provide are localized near both simple lengths corresponding to nondegenerate periodic orbits and degenerate lengths associated to one parameter families of periodic orbits tangent to a single rational caustic. Existence of a Hadamard-Riesz type parametrix with explicit symbol and phase calculations in the interior appears to be new in the literature, with the exception of the author's previous work \cite{Vig18} in the special case of elliptical domains. This allows us to circumvent the symbol calculus in \cite{DuGu75} and \cite{HeZe12} when computing trace formulas, which are instead derived from integrating our explicit parametrix over the diagonal.


title: Exponents of Jacobians of Graphs and Regular Matroids

abstract: Let $G$ be a finite undirected multigraph with no self-loops. The Jacobian $\operatorname{Jac}(G)$ is a finite abelian group associated with $G$ whose cardinality is equal to the number of spanning trees of $G$. There are only a finite number of biconnected graphs $G$ such that the exponent of $\operatorname{Jac}(G)$ equals $2$ or $3$. The definition of a Jacobian can also be extended to regular matroids as a generalization of graphs. We prove that there are finitely many connected regular matroids $M$ such that $\operatorname{Jac}(M)$ has exponent $2$ and characterize all such matroids.


title: Measurement error as a missing data problem

abstract: This article focuses on measurement error in covariates in regression analyses in which the aim is to estimate the association between one or more covariates and an outcome, adjusting for confounding. Error in covariate measurements, if ignored, results in biased estimates of parameters representing the associations of interest. Studies with variables measured with error can be considered as studies in which the true variable is missing, for either some or all study participants. We make the link between measurement error and missing data and describe methods for correcting for bias due to covariate measurement error with reference to this link, including regression calibration (conditional mean imputation), maximum likelihood and Bayesian methods, and multiple imputation. The methods are illustrated using data from the Third National Health and Nutrition Examination Survey (NHANES III) to investigate the association between the error-prone covariate systolic blood pressure and the hazard of death due to cardiovascular disease, adjusted for several other variables including those subject to missing data. We use multiple imputation and Bayesian approaches that can address both measurement error and missing data simultaneously. Example data and R code are provided in supplementary materials.


title: Building Damage Detection in Satellite Imagery Using Convolutional Neural Networks

abstract: In all types of disasters, from earthquakes to armed conflicts, aid workers need accurate and timely data such as damage to buildings and population displacement to mount an effective response. Remote sensing provides this data at an unprecedented scale, but extracting operationalizable information from satellite images is slow and labor-intensive. In this work, we use machine learning to automate the detection of building damage in satellite imagery. We compare the performance of four different convolutional neural network models in detecting damaged buildings in the 2010 Haiti earthquake. We also quantify how well the models will generalize to future disasters by training and testing models on different disaster events.


title: Ambient temperature fluctuations exhibit inverse-cubic spectral behavior over time scales from a minute to a day

abstract: Ambient temperature fluctuations are of importance in a wide variety of scientific and technological arenas. In a series of experiments carried out in our laboratory over an 18-month period, we discovered that these fluctuations exhibit $1/f^3$ spectral behavior over the frequency range $1.0 \times 10^{-5} \le f \le 2.5 \times 10^{-2}$ Hz, corresponding to $40$ s $ \le T_f \le 1.2$ d, where $T_f = 1/f$. This result emerges over a broad range of conditions. For longer time periods, $1.2 < T_f \le 11.6$ d, corresponding to the frequency range $1.0 \times 10^{-6} \le f < 1.0 \times 10^{-5}$ Hz, we observed $1/f^2$ spectral behavior. This latter result is in agreement with that observed in data collected at European weather stations. Scalograms computed from our data are consistent with the periodograms.


title: Seeing topological edge and bulk currents in time-of-flight images

abstract: Here we provide a general methodology to directly measure the topological currents emerging in the optical lattice implementation of the Haldane model. Alongside the edge currents supported by gapless edge states, transverse currents can emerge in the bulk of the system whenever the local potential is varied in space, even if it does not cause a phase transition. In optical lattice implementations the overall harmonic potential that traps the atoms provides the boundaries of the topological phase that supports the edge currents, as well as providing the potential gradient across the topological phase that gives rise to the bulk current. Both the edge and bulk currents are resilient to several experimental parameters such as trapping potential, temperature and disorder. We propose to investigate the properties of these currents directly from time-of-flight images with both short-time and long-time expansions.


title: Descriptions of Relativistic Dynamics with World Line Condition

abstract: In this paper a generalized form of relativistic dynamics is presented: A realization of the Poincar\'e algebra is provided in terms of vector fields on the tangent bundle of a simultaneity surface in $\mathbb{R}^4$. The construction of this realization is explicitly shown to clarify the role of the commutation relations of the Poincar\'e algebra versus their description in terms of Poisson brackets in the no-interaction theorem. Moreover, a geometrical analysis of the ``eleventh generator'' formalism introduced by Sudarshan and Mukunda is outlined, this formalism being at the basis of many proposals which evaded the no-interaction theorem.


title: Search for chargino-neutralino production using an emulated recursive jigsaw reconstruction technique in three-lepton final states with the ATLAS detector

abstract: A search for supersymmetry through the pair production of electroweakinos is presented in a three-lepton final state. The analyzed proton-proton collision data taken at a centre-of-mass energy of $\sqrt{s} = 13$ TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of $139$ fb$^{-1}$. The search emulates the recursive jigsaw reconstruction technique using conventional analysis variables, searching for low-mass chargino-neutralino pair production that decays to on-shell $W$ and $Z$ bosons. The technique is validated and the excess seen previously in 2015 and 2016 data is studied while incorporating new data.


title: The Statistical Performance of Matching-Adjusted Indirect Comparisons

abstract: Indirect comparisons of treatment-specific outcomes across separate studies often inform decision-making in the absence of head-to-head randomized comparisons. Differences in baseline characteristics between study populations may introduce confounding bias in such comparisons. Matching-adjusted indirect comparison (MAIC) (Signorovitch et al., 2010) has been used to adjust for differences in observed baseline covariates when the individual patient-level data (IPD) are available for only one study and aggregate data (AGD) are available for the other study. The approach weights outcomes from the IPD using estimates of trial selection odds that balance baseline covariates between the IPD and AGD. With the increasing use of MAIC, there is a need for formal assessments of its statistical properties. In this paper we formulate identification assumptions for causal estimands that justify MAIC estimators. We then examine large sample properties and evaluate strategies for estimating standard errors without the full IPD from both studies. The finite-sample bias of MAIC and the performance of confidence intervals based on different standard error estimators are evaluated through simulations. The method is illustrated through an example comparing placebo arm and natural history outcomes in Duchenne muscular dystrophy.


title: An Unpublished Debate Brought to Light: Karl Popper's Enterprise against the Logic of Quantum Mechanics

abstract: Karl Popper published, in 1968, a paper that allegedly found a flaw in a very influential article of Birkhoff and von Neumann, which pioneered the field of "quantum logic". Nevertheless, nobody rebutted Popper's criticism in print for several years. This has been called in the historiographical literature an "unsolved historical issue". Although Popper's proposal turned out to be merely based on misinterpretations and was eventually abandoned by the author himself, this paper aims at providing a resolution to such historical open issues. I show that (i) Popper's paper was just the tip of an iceberg of a much vaster campaign conducted by Popper against quantum logic (which encompassed several more unpublished papers that I retrieved); and (ii) that Popper's paper stimulated a heated debate that remained however confined within private correspondence.


title: Forward Kinematics Kernel for Improved Proxy Collision Checking

abstract: Kernel functions may be used in robotics for comparing different poses of a robot, such as in collision checking, inverse kinematics, and motion planning. These comparisons provide distance metrics often based on joint space measurements and are performed hundreds or thousands of times a second, continuously for changing environments. Few examples exist in creating new kernels, despite their significant effect on computational performance and robustness in robot control and planning. We introduce a new kernel function based on forward kinematics (FK) to compare robot manipulator configurations. We integrate our new FK kernel into our proxy collision checker, Fastron, that previously showed significant speed improvements to collision checking and motion planning. With the new FK kernel, we realize a two-fold speedup in proxy collision check speed, 8 times less memory, and a boost in classification accuracy from 75% to over 95% for a 7 degrees-of-freedom robot arm compared to the previously-used radial basis function kernel. Compared to state-of-the-art geometric collision checkers, with the FK kernel, collision checks are now 9 times faster. To show the broadness of the approach, we apply Fastron FK in OMPL across a wide variety of motion planners, showing unanimously faster robot planning.


title: When Nash Meets Stackelberg

abstract: This article introduces a class of $Nash$ games among $Stackelberg$ players ($NASPs$), namely, a class of simultaneous non-cooperative games where the players solve sequential Stackelberg games. Specifically, each player solves a Stackelberg game where a leader optimizes a (parametrized) linear objective function subject to linear constraints while its followers solve convex quadratic problems subject to the standard optimistic assumption. Although we prove that deciding if a $NASP$ instance admits a Nash equilibrium is generally a $\Sigma^2_p$-hard decision problem, we devise two exact and computationally-efficient algorithms to compute and select Nash equilibria or certify that no equilibrium exists. We apply $NASPs$ to model the hierarchical interactions of international energy markets where climate-change aware regulators oversee the operations of profit-driven energy producers. By combining real-world data with our models, we find that Nash equilibria provide informative, and often counterintuitive, managerial insights for market regulators.


title: Nonlinear Optimization of District Heating Networks

abstract: We develop a complementarity-constrained nonlinear optimization model for the time-dependent control of district heating networks. The main physical aspects of water and heat flow in these networks are governed by nonlinear and hyperbolic 1d partial differential equations. In addition, a pooling-type mixing model is required at the nodes of the network to treat the mixing of different water temperatures. This mixing model can be recast using suitable complementarity constraints. The resulting problem is a mathematical program with complementarity constraints subject to nonlinear partial differential equations describing the physics. In order to obtain a tractable problem, we apply suitable discretizations in space and time, resulting in a finite-dimensional optimization problem with complementarity constraints for which we develop a suitable reformulation with improved constraint regularity. Moreover, we propose an instantaneous control approach for the discretized problem, discuss practically relevant penalty formulations, and present preprocessing techniques that are used to simplify the mixing model at the nodes of the network. Finally, we use all these techniques to solve realistic instances. Our numerical results show the applicability of our techniques in practice.


title: Imposing strong correlated energy spread on relativistic bunches with transverse deflecting cavities

abstract: We demonstrate a novel scheme for imposing and removing large energy chirp on relativistic electron bunches relying on the transverse-to-longitudinal mixing accomplished with a set of transverse deflecting cavities. The working principles of the new concept are explained using the first order matrix formalism in the approximation of the linear single-particle dynamics. The scheme demonstrates versatility regarding the average beam energy, and hence, positioning along the accelerator beamline. The performance of the scheme is numerically investigated with the elegant particle tracking code. It is shown that the associated nonlinear effects, causing emittance deterioration for the extreme quantities of the total energy spread can be effectively compensated by optimization of the Twiss parameters while relying on the eigen-emittance analysis. The impact of the longitudinal space charge effects on the beam dynamics in the proposed scheme is also investigated.


title: Transition fronts in unbounded domains with multiple branches

abstract: This paper is concerned with the existence and uniqueness of transition fronts of a general reaction-diffusion-advection equation in domains with multiple branches. In this paper, every branch in the domain is not necessary to be straight and we use the notions of almost-planar fronts to generalize the standard planar fronts. Under some assumptions of existence and uniqueness of almost-planar fronts with positive propagating speeds in extended branches, we prove the existence of entire solutions emanating from some almost-planar fronts in some branches. Then, we get that these entire solutions converge to almost-planar fronts in some of the rest branches as time increases if no blocking occurs in these branches. Finally, provided by the complete propagation of every front-like solution emanating from one almost-planar front in every branch, we prove that there is only one type of transition fronts, that is, the entire solutions emanating from some almost-planar fronts in some branches and converging to almost-planar fronts in the rest branches.


title: Mixed Pooling Multi-View Attention Autoencoder for Representation Learning in Healthcare

abstract: Distributed representations have been used to support downstream tasks in healthcare recently. Healthcare data (e.g., electronic health records) contain multiple modalities of data from heterogeneous sources that can provide complementary information, alongside an added dimension to learning personalized patient representations. To this end, in this paper we propose a novel unsupervised encoder-decoder model, namely Mixed Pooling Multi-View Attention Autoencoder (MPVAA), that generates patient representations encapsulating a holistic view of their medical profile. Specifically, by first learning personalized graph embeddings pertaining to each patient's heterogeneous healthcare data, it then integrates the non-linear relationships among them into a unified representation through multi-view attention mechanism. Additionally, a mixed pooling strategy is incorporated in the encoding step to learn diverse information specific to each data modality. Experiments conducted for multiple tasks demonstrate the effectiveness of the proposed model over the state-of-the-art representation learning methods in healthcare.


title: Triangulum-Andromeda overdensity: a region with a complex stellar population

abstract: The Triangulum--Andromeda (TriAnd) overdensity is a distant structure of the Milky Way located in the second Galactic quadrant well below the Galactic plane. Since its discovery, its nature has been under discussion, whether it could be old perturbations of the Galactic disk or the remains of a disrupted former dwarf galaxy. In this study, we investigate the kinematics and chemical composition in 13 stars selected as TriAnd candidates from 2MASS photometry. The sample was observed using the GRACES high-resolution spectrograph attached to the Gemini North telescope. Based on radial velocities obtained from the spectra and the astrometric data from GAIA, three different kinematic criteria were used to classify our sample stars as belonging to the TriAnd overdensity. The TriAnd confirmed members in our sample span a range in metallicities, including two metal-poor stars ([Fe/H] $\sim$ -1.3 dex). We show that the adopted kinematical classification also chemically segregates TriAnd and non-TriAnd members of our sample, indicating a unique chemical pattern of the TriAnd stars. Our results indicate different chemical patterns for the [Na/Fe], [Al/Fe], [Ba/Fe], and [Eu/Fe] ratios in the TriAnd stars when compared to the chemical pattern of the local disk; the paucity of studies chemically characterizing the outer disk population of the Milky Way is the main obstacle in establishing that the TriAnd population is chemically similar to field stars in the outer disk. But TriAnd chemical pattern is reminiscent of that found in outer disk open clusters, although the latter are significantly more metal-rich than TriAnd.


title: TCD-NPE: A Re-configurable and Efficient Neural Processing Engine, Powered by Novel Temporal-Carry-deferring MACs

abstract: In this paper, we first propose the design of Temporal-Carry-deferring MAC (TCD-MAC) and illustrate how our proposed solution can gain significant energy and performance benefit when utilized to process a stream of input data. We then propose using the TCD-MAC to build a reconfigurable, high speed, and low power Neural Processing Engine (TCD-NPE). We, further, propose a novel scheduler that lists the sequence of needed processing events to process an MLP model in the least number of computational rounds in our proposed TCD-NPE. We illustrate that our proposed TCD-NPE significantly outperform similar neural processing solutions that use conventional MACs in terms of both energy consumption and execution time.


title: Weak Exceptional Sequences

abstract: We introduce weak exceptional sequence of modules which can be viewed as another modification of the standard case, different than the works of Igusa-Todorov \cite{Igusa-Todorov} and Buan-Marsh \cite{Buan-Marsh}. For hereditary algebras it is equivalent to standard exceptional sequences. One important new feature is: if global dimension of algebra is greater than one, then the size of the full sequence can exceed the rank of the algebra. We use both cyclic and linear Nakayama algebras to test combinatorial aspects of this new sequence. For some particular classes we give closed form formulas which returns the number of the full weak exceptional sequences, and compare them with the number of exceptional sequences of types $\mathbb{A}$ and linear radical square zero Nakayama algebras \cite{sen19}.


title: A Feedback Motion Plan for Vehicles with Bounded Curvature Constraints

abstract: The use of a feedback motion plan instead of the decoupled scheme consisting of separate plan and control phases can facilitate the task of proving the properties of an autonomous system. The advantage of using a feedback motion plan is the possibility to validate the whole plan offline before its execution, which means that trajectories having different initial states can be tested simultaneously. In this paper, we formulate a feedback motion plan based on the extension of the \emph{wavefront expansion} to the case of vehicles having bounded curvature. Additionally, the use of a transition function and a Gaussian filter limits undesired oscillations in the resultant trajectories. The method is suitable for both single goal missions and path following. The paper illustrates the algorithm for the generation of the plan and presents simulation data containing example trajectories and analysis of tuning parameters. Finally, future developments are discussed.


title: Intelligent Physical Attack Against Mobile Robots With Obstacle-Avoidance

abstract: The security issue of mobile robots has attracted considerable attention in recent years. In this paper, we propose an intelligent physical attack to trap mobile robots into a preset position by learning the obstacle-avoidance mechanism from external observation. The salient novelty of our work lies in revealing the possibility that physical-based attacks with intelligent and advanced design can present real threats, while without prior knowledge of the system dynamics or access to the internal system. This kind of attack cannot be handled by countermeasures in traditional cyberspace security. To practice, the cornerstone of the proposed attack is to actively explore the complex interaction characteristic of the victim robot with the environment, and learn the obstacle-avoidance knowledge exhibited in the limited observations of its behaviors. Then, we propose shortest-path and hands-off attack algorithms to find efficient attack paths from the tremendous motion space, achieving the driving-to-trap goal with low costs in terms of path length and activity period, respectively. The convergence of the algorithms is proved and the attack performance bounds are further derived. Extensive simulations and real-life experiments illustrate the effectiveness of the proposed attack, beckoning future investigation for the new physical threats and defense on robotic systems.


title: Active versus Passive Coherent Equalization of Passive Linear Quantum Systems

abstract: The paper considers the problem of equalization of passive linear quantum systems. While our previous work was concerned with the analysis and synthesis of passive equalizers, in this paper we analyze coherent quantum equalizers whose annihilation (respectively, creation) operator dynamics in the Heisenberg picture are driven by both quadratures of the channel output field. We show that the characteristics of the input field must be taken into consideration when choosing the type of the equalizing filter. In particular, we show that for thermal fields allowing the filter to process both quadratures of the channel output may not improve mean square accuracy of the input field estimate, in comparison with passive filters. This situation changes when the input field is `squeezed'.


title: Singular Perturbation Expansion for Utility Maximization with Order-$\epsilon$ Quadratic Transaction Costs

abstract: We present an expansion for portfolio optimization in the presence of small, instantaneous, quadratic transaction costs. Specifically, the magnitude of transaction costs has a coefficient that is of the order $\epsilon$ small, which leads to the optimization problem having an asymptotically-singular Hamilton-Jacobi-Bellman equation whose solution can be expanded in powers of $\sqrt\epsilon$. In this paper we derive explicit formulae for the first two terms of this expansion. Analysis and simulation are provided to show the behavior of this approximating solution.


title: Low Bit-Rate Speech Coding with VQ-VAE and a WaveNet Decoder

abstract: In order to efficiently transmit and store speech signals, speech codecs create a minimally redundant representation of the input signal which is then decoded at the receiver with the best possible perceptual quality. In this work we demonstrate that a neural network architecture based on VQ-VAE with a WaveNet decoder can be used to perform very low bit-rate speech coding with high reconstruction quality. A prosody-transparent and speaker-independent model trained on the LibriSpeech corpus coding audio at 1.6 kbps exhibits perceptual quality which is around halfway between the MELP codec at 2.4 kbps and AMR-WB codec at 23.05 kbps. In addition, when training on high-quality recorded speech with the test speaker included in the training set, a model coding speech at 1.6 kbps produces output of similar perceptual quality to that generated by AMR-WB at 23.05 kbps.


title: Continuous Phase Modulation With Faster-than-Nyquist Signaling for Channels With 1-bit Quantization and Oversampling at the Receiver

abstract: Continuous phase modulation (CPM) with 1-bit quantization at the receiver is promising in terms of energy and spectral efficiency. In this study, CPM waveforms with symbol durations significantly shorter than the inverse of the signal bandwidth are proposed, termed faster-than-Nyquist CPM. This configuration provides a better steering of zero-crossings as compared to conventional CPM. Numerical results confirm a superior performance in terms of BER in comparison with state-of-the-art methods, while having the same spectral efficiency and a lower oversampling factor. Moreover, the new waveform can be detected with low-complexity, which yields almost the same performance as using the BCJR algorithm.


title: State of Compact Architecture Search For Deep Neural Networks

abstract: The design of compact deep neural networks is a crucial task to enable widespread adoption of deep neural networks in the real-world, particularly for edge and mobile scenarios. Due to the time-consuming and challenging nature of manually designing compact deep neural networks, there has been significant recent research interest into algorithms that automatically search for compact network architectures. A particularly interesting class of compact architecture search algorithms are those that are guided by baseline network architectures. Such algorithms have been shown to be significantly more computationally efficient than unguided methods. In this study, we explore the current state of compact architecture search for deep neural networks through both theoretical and empirical analysis of four different state-of-the-art compact architecture search algorithms: i) group lasso regularization, ii) variational dropout, iii) MorphNet, and iv) Generative Synthesis. We examine these methods in detail based on a number of different factors such as efficiency, effectiveness, and scalability. Furthermore, empirical evaluations are conducted to compare the efficacy of these compact architecture search algorithms across three well-known benchmark datasets. While by no means an exhaustive exploration, we hope that this study helps provide insights into the interesting state of this relatively new area of research in terms of diversity and real, tangible gains already achieved in architecture design improvements. Furthermore, the hope is that this study would help in pushing the conversation forward towards a deeper theoretical and empirical understanding where the research community currently stands in the landscape of compact architecture search for deep neural networks, and the practical challenges and considerations in leveraging such approaches for operational usage.


title: Exploring the tension between nature and the Standard Model: the muon g-2

abstract: Anomalous magnetic moment of the muon (muon g-2) is one of the most precisely measured quantities in particle physics. At the same time, it can be evaluated in the Standard Model with an unprecedented accuracy. The Muon g-2 experiment at Fermilab has started the major data collection and the aimed four-fold increase in precision will shed light on the current discrepancy between the theory prediction and the measured value. This renders a comparable improvement of the precision in the SM theory an essential ingredient in order to fully exploit the expected increase of precision in experimental results. For all these reasons, the muon g-2 is considered to be a great testing ground for new physics. Hadronic contributions are the dominant sources of uncertainty in the theoretical prediction of the muon g-2. A reciprocal effort to a precise determination of the leading hadronic contribution to the muon g-2 using lattice gauge theories is a direct measurement of the hadronic contributions to the running of the fine structure constant recently proposed by the MUonE experiment. A hybrid strategy including both experimental and lattice data sets is expected to give an independent check of the dispersive results from $e^+e^-$ annihilation, which dominate the current world average.


title: Matrix Spectral Factorization for SA4 Multiwavelet

abstract: In this paper, we investigate Bauer's method for the matrix spectral factorization of an r-channel matrix product filter which is a halfband autocorrelation matrix. We regularize the resulting matrix spectral factors by an averaging approach and by multiplication by a unitary matrix. This leads to the approximate and exact orthogonal SA4 multiscaling functions. We also find the corresponding orthogonal multiwavelet functions, based on the QR decomposition.


title: Automated Ransomware Behavior Analysis: Pattern Extraction and Early Detection

abstract: Security operation centers (SOCs) typically use a variety of tools to collect large volumes of host logs for detection and forensic of intrusions. Our experience, supported by recent user studies on SOC operators, indicates that operators spend ample time (e.g., hundreds of man-hours) on investigations into logs seeking adversarial actions. Similarly, reconfiguration of tools to adapt detectors for future similar attacks is commonplace upon gaining novel insights (e.g., through internal investigation or shared indicators). This paper presents an automated malware pattern-extraction and early detection tool, testing three machine learning approaches: TF-IDF (term frequency-inverse document frequency), Fisher's LDA (linear discriminant analysis) and ET (extra trees/extremely randomized trees) that can (1) analyze freshly discovered malware samples in sandboxes and generate dynamic analysis reports (host logs); (2) automatically extract the sequence of events induced by malware given a large volume of ambient (un-attacked) host logs, and the relatively few logs from hosts that are infected with potentially polymorphic malware; (3) rank the most discriminating features (unique patterns) of malware and from the learned behavior detect malicious activity; and (4) allows operators to visualize the discriminating features and their correlations to facilitate malware forensic efforts. To validate the accuracy and efficiency of our tool, we design three experiments and test seven ransomware attacks (i.e., WannaCry, DBGer, Cerber, Defray, GandCrab, Locky, and nRansom). The experimental results show that TF-IDF is the best of the three methods to identify discriminating features, and ET is the most time-efficient and robust approach.


title: Divergence control of high-harmonic generation

abstract: We show that the divergence of extreme ultraviolet pulses from high harmonic generation, which is directly linked to the shape and size of the refocused beam, can be controlled by the relative delay between the fundamental and its intense orthogonally polarized second harmonic in two-color high-harmonic generation. We find that the divergence is minimized close to the delays were the number of emitted photons is maximized. These findings are rationalized as suppression and enhancement of long and short electron trajectories as function of the phase of the two-color laser field, respectively. The orthogonally polarized second harmonic introduces a lateral momentum component that can select one trajectory whereas it deflects the other. At the same time, the second harmonic profoundly influences the tunnel ionization process that initiates high-harmonic generation, which provides another trajectory gate. Our scheme for controlling the divergence facilitates larger numerical apertures for extreme ultraviolet microscopy. In addition, the associated reduction of the size of the focus is beneficial for extreme ultraviolet nonlinear optics and spectroscopy, as well as imaging and metrology of embedded structures.


title: Projective klt pairs with nef anti-canonical divisor

abstract: In this paper, we study a projective klt pair $(X, \Delta)$ with the nef anti-log canonical divisor $-(K_X+\Delta)$ and its maximally rationally connected fibration $\psi: X \dashrightarrow Y$. We prove that the numerical dimension of the anti-log canonical divisor $-(K_X+\Delta)$ on $X$ coincides with that of the anti-log canonical divisor $-(K_{X_y}+\Delta_{X_y})$ on a general fiber $X_y$ of $\psi: X \dashrightarrow Y$, which is an analogue of Ejiri-Gongyo's result formulated for the Kodaira dimension. As a corollary, we reveal a relation between positivity of the anti-canonical divisor and the rational connectedness, which gives a sharper estimate than the question posed by Hacon-$\mathrm{M^{c}}$Kernan. Moreover, in the case of $X$ being smooth, we show that a maximally rationally connected fibration $\psi: X \to Y$ can be chosen to be a morphism to a smooth projective variety $Y$ with numerically trivial canonical divisor, and further that it is locally trivial with respect to the pair $(X, \Delta)$, which can be seen as a generalization of Cao-H\"oring's structure theorem to klt pair cases. Finally, we study the structure of the slope rationally connected quotient for a pair $(X, \Delta)$ with $-(K_X +\Delta)$ nef, and obtain a structure theorem for projective orbifold surfaces.


title: Generic properties of dispersion relations for discrete periodic operators

abstract: An old problem in mathematical physics deals with the structure of the dispersion relation of the Schr\"odinger operator $-\Delta+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). The important notion of effective masses in solid state physics, as well as Liouville property, Green's function asymptotics, etc. hinge upon this property. The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist in some discrete situations. We start establishing the following dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters. The known counterexample has only two free parameters. This might be too tight for genericity to hold. We consider the maximal $Z^2$-periodic two-atomic nearest-cell interaction graph, with nine edges per unit cell and the discrete "Laplace-Beltrami" operator on it. We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for this graph. We show three different approaches to the genericity, which might be suitable in various situations. It is also proven in this case that adding more parameters does not destroy the genericity result. We list all "bad" periodic subgraphs of the one we consider and discover that in all these cases genericity fails for "trivial" reasons only.

categories: math-ph cond-mat.other math.AG math.CO math.MP


title: On the Status of Conservation Laws in Physics: Implications for Semiclassical Gravity

abstract: We start by surveying the history of the idea of a fundamental conservation law and briefly examine the role conservation laws play in different classical contexts. In such contexts we find conservation laws to be useful, but often not essential. Next we consider the quantum setting, where the conceptual problems of the standard formalism obstruct a rigorous analysis of the issue. We then analyze the fate of energy conservation within the various viable paths to address such conceptual problems; in all cases we find no satisfactory way to define a (useful) notion of energy that is generically conserved. Finally, we focus on the implications of this for the semiclassical gravity program and conclude that Einstein's equations cannot be said to always hold.


title: End-to-End Adversarial Shape Learning for Abdomen Organ Deep Segmentation

abstract: Automatic segmentation of abdomen organs using medical imaging has many potential applications in clinical workflows. Recently, the state-of-the-art performance for organ segmentation has been achieved by deep learning models, i.e., convolutional neural network (CNN). However, it is challenging to train the conventional CNN-based segmentation models that aware of the shape and topology of organs. In this work, we tackle this problem by introducing a novel end-to-end shape learning architecture -- organ point-network. It takes deep learning features as inputs and generates organ shape representations as points that located on organ surface. We later present a novel adversarial shape learning objective function to optimize the point-network to capture shape information better. We train the point-network together with a CNN-based segmentation model in a multi-task fashion so that the shared network parameters can benefit from both shape learning and segmentation tasks. We demonstrate our method with three challenging abdomen organs including liver, spleen, and pancreas. The point-network generates surface points with fine-grained details and it is found critical for improving organ segmentation. Consequently, the deep segmentation model is improved by the introduced shape learning as significantly better Dice scores are observed for spleen and pancreas segmentation.


title: Exploring Overall Contextual Information for Image Captioning in Human-Like Cognitive Style

abstract: Image captioning is a research hotspot where encoder-decoder models combining convolutional neural network (CNN) and long short-term memory (LSTM) achieve promising results. Despite significant progress, these models generate sentences differently from human cognitive styles. Existing models often generate a complete sentence from the first word to the end, without considering the influence of the following words on the whole sentence generation. In this paper, we explore the utilization of a human-like cognitive style, i.e., building overall cognition for the image to be described and the sentence to be constructed, for enhancing computer image understanding. This paper first proposes a Mutual-aid network structure with Bidirectional LSTMs (MaBi-LSTMs) for acquiring overall contextual information. In the training process, the forward and backward LSTMs encode the succeeding and preceding words into their respective hidden states by simultaneously constructing the whole sentence in a complementary manner. In the captioning process, the LSTM implicitly utilizes the subsequent semantic information contained in its hidden states. In fact, MaBi-LSTMs can generate two sentences in forward and backward directions. To bridge the gap between cross-domain models and generate a sentence with higher quality, we further develop a cross-modal attention mechanism to retouch the two sentences by fusing their salient parts as well as the salient areas of the image. Experimental results on the Microsoft COCO dataset show that the proposed model improves the performance of encoder-decoder models and achieves state-of-the-art results.


title: An explicit semi-Lagrangian, spectral method for solution of Lagrangian transport equations in Eulerian-Lagrangian formulations

abstract: An explicit high order semi-Lagrangian method is developed for solving Lagrangian transport equations in Eulerian-Lagrangian formulations. To ensure a semi-Lagrangian approximation that is consistent with an explicit Eulerian, discontinuous spectral element method (DSEM) discretization used for the Eulerian formulation, Lagrangian particles are seeded at Gauss quadrature collocation nodes within an element. The particles are integrated explicitly in time to obtain an advected polynomial solution at the advected Gauss quadrature locations. This approximation is mapped back in a semi-Lagrangian fashion to the Gauss quadrature points through a least squares fit using constraints for element boundary values and optional constraints for mass and energy preservation. An explicit time integration is used for the semi-Lagrangian approximation that is consistent with the grid based DSEM solver, which ensures that particles seeded at the Gauss quadrature points do not leave the element's bounds. The method is hence local and parallel and facilitates the solution of the Lagrangian formulation without the grid complexity, and parallelization challenges of a particle solver in particle-mesh methods. Numerical tests with one and two dimensional advection equation are carried out. The method converges exponentially. The use of mass and energy constraints can improve accuracy depending on the accuracy of the time integration.


title: A stable discontinuous Galerkin method for the perfectly matched layer for elastodynamics in first order form

abstract: We present a stable discontinuous Galerkin (DG) method with a perfectly matched layer (PML) for three and two space dimensional linear elastodynamics, in velocity-stress formulation, subject to well-posed linear boundary conditions. First, we consider the elastodynamics equation, in a cuboidal domain, and derive an unsplit PML truncating the domain using complex coordinate stretching. Leveraging the hyperbolic structure of the underlying system, we construct continuous energy estimates, in the time domain for the elastic wave equation, and in the Laplace space for a sequence of PML model problems, with variations in one, two and three space dimensions, respectively. They correspond to PMLs normal to boundary faces, along edges and in corners. Second, we develop a DG numerical method for the linear elastodynamics equation using physically motivated numerical flux and penalty parameters, which are compatible with all well-posed, internal and external, boundary conditions. When the PML damping vanishes, by construction, our choice of penalty parameters yield an upwind scheme and a discrete energy estimate analogous to the continuous energy estimate. Third, to ensure numerical stability of the discretization when PML damping is present, it is necessary to extend the numerical DG fluxes, and the numerical inter-element and boundary procedures, to the PML auxiliary differential equations. This is crucial for deriving discrete energy estimates analogous to the continuous energy estimates. By combining the DG spatial approximation with the high order ADER time stepping scheme and the accuracy of the PML we obtain an arbitrarily accurate wave propagation solver in the time domain. Numerical experiments are presented in two and three space dimensions corroborating the theoretical results.

categories: math.NA cs.DC cs.NA physics.comp-ph physics.geo-ph


title: Photometric Flaring Fraction of M dwarf Stars from the SkyMapper Southern Survey

abstract: We present our search for flares from M dwarf stars in the SkyMapper Southern Survey DR1, which covers nearly the full Southern hemisphere with six-filter sequences that are repeatedly observed in the passbands $uvgriz$. This allows us to identify bona-fide flares in single-epoch observations on timescales of less than four minutes. Using a correlation-based outlier search algorithm we find 254 flare events in the amplitude range of $\Delta u \sim 0.1$ to 5~mag. In agreement with previous work, we observe the flaring fraction of M dwarfs to increase from $\sim 30$ to $\sim $1,000 per million stars for spectral types M0 to M5. We also confirm the decrease in flare fraction with larger vertical distance from the Galactic plane that is expected from declining stellar activity with age. Based on precise distances from Gaia DR2, we find a steep decline in the flare fraction from the plane to 150~pc vertical distance and a significant flattening towards larger distances. We then reassess the strong type dependence in the flaring fraction with a volume-limited sample within a distance of 50~pc from the Sun: in this sample the trend disappears and we find instead a constant fraction of $\sim$1,650 per million stars for spectral types M1 to M5. Finally, large-amplitude flares with $\Delta i > 1$ mag are very rare with a fraction of $\sim 0.5$ per million M dwarfs. Hence, we expect that M-dwarf flares will not confuse SkyMapper's search for kilonovae from gravitational-wave events.


title: How do Planetary Radius and Gravity Influence the Surface Climate of Earth-like Planets?

abstract: About 4000 exoplanets have been confirmed since the year of 1992, and for most of the planets, the main parameters that can be measured are planetary radius and mass. Based on these two parameters, surface gravity can be estimated. In this work, we investigate the effects of varying radius and gravity on the climate of rapidly rotating terrestrial planets with assuming they have an ocean and Earth-like atmospheres (N$_2$, CO$_2$, and H$_2$O). Using a three-dimensional (3D) atmospheric general circulation model (GCM), we find that varying radius mainly influences the equator-to-pole surface temperature difference while varying gravity mainly influences the mean surface temperature. For planets of larger radii, the meridional atmospheric energy transport is weaker, which warms the tropics but cools high latitudes. For planets of larger gravities, the surface is globally cooler due to the fact that saturated vapor pressure depends on air temperature only and column water vapor mass is approximately equal to saturated vapor pressure over gravity multiplied by relative humidity. The relative humidity does not change much in our experiments. Ice albedo and water vapor feedbacks act to further amplify the effects of varying radius and gravity. These results suggest that radius and gravity are important factors for planetary climate, although they are not as critical as stellar flux, atmospheric composition and mass, and rotation rate. Future simulations are required to know how large the radius and gravity could influence the width of the habitable zone using 3D GCMs.


title: Quadrupolar interactions between acceptor pairs in p-doped semiconductors

abstract: We consider the interaction between acceptor pairs in doped semiconductors in the limit of large inter-acceptor separation relevant for low doping densities. Modeling individual acceptors via the spherical model of Baldereschi and Lipari, we calculate matrix elements of the quadrupole tensor between the four degenerate ground states and show that the acceptor has a nonzero quadrupole moment. As a result, the dominant contribution to the large-separation acceptor-acceptor interaction comes from direct (charge-density) terms rather than exchange terms. The quadrupole is the leading nonzero moment, so the electric quadrupole-quadrupole interaction dominates for large separation. We calculate the matrix elements of the quadrupole-quadrupole interaction Hamiltonian in a product-state basis and diagonalize, obtaining a closed-form expression for the energies and degeneracies of the sixteen-state energy spectrum. All dependence on material parameters enters via an overall prefactor, resulting in surprisingly simple and universal results. This simplicity is due, in part, to a mathematical happenstance, the nontrivial vanishing of a particular Wigner 6-j symbol. Results are relevant to the control of two-qubit interactions in quantum computing implementations based on acceptor spins, as well as calculations of the thermodynamic properties of insulating p-type semiconductors.


title: Solitary wave solutions to the Isobe-Kakinuma model for water waves

abstract: We consider the Isobe-Kakinuma model for two-dimensional water waves in the case of the flat bottom. The Isobe-Kakinuma model is a system of Euler-Lagrange equations for a Lagrangian approximating Luke's Lagrangian for water waves. We show theoretically the existence of a family of small amplitude solitary wave solutions to the Isobe-Kakinuma model in the long wave regime. Numerical analysis for large amplitude solitary wave solutions is also provided and suggests the existence of a solitary wave of extreme form with a sharp crest.


title: Heterogeneous multiscale methods for rough-wall laminar viscous flow

abstract: We develop numerical multiscale methods for viscous boundary layer flow. The goal is to derive effective boundary conditions, or wall laws, through high resolution simulations localized to the boundary coupled to a coarser simulation in the domain interior. The multiscale framework is analyzed in the context of laminar flow over a rough boundary. Asymptotic analysis shows that, up to a small perturbation, the method recovers the slip constant in the wall law derived from periodic homogenization theory. Numerical experiments illustrate the utility of the method for more general roughness patterns and fair field flow conditions.


title: Nonlocal quantum correlations under amplitude damping decoherence

abstract: Different nonlocal quantum correlations of entanglement, steering and Bell nonlocality are defined with the help of local hidden state (LHS) and local hidden variable (LHV) models. Considering their unique roles in quantum information processing, it is of importance to understand the individual nonlocal quantum correlation as well as their relationship. Here, we investigate the effects of amplitude damping decoherence on different nonlocal quantum correlations. In particular, we have theoretically and experimentally shown that the entanglement sudden death phenomenon is distinct from those of steering and Bell nonlocality. In our scenario, we found that all the initial states present sudden death of steering and Bell nonlocality, while only some of the states show entanglement sudden death. These results suggest that the environmental effect can be different for different nonlocal quantum correlations, and thus, it provides distinct operational interpretations of different quantum correlations.


title: Spatial Data Science: Closing the human-spatial computing-environment loop

abstract: Over the last decade, the term spatial computing has grown to have two different, though not entirely unrelated, definitions. The first definition of spatial computing stems from industry, where it refers primarily to new kinds of augmented, virtual, mixed-reality, and natural user interface technologies. A second definition coming out of academia takes a broader perspective that includes active research in geographic information science as well as the aforementioned novel UI technologies. Both senses reflect an ongoing shift toward increased interaction with computing interfaces and sensors embedded in the environment and how the use of these technologies influence how we behave and make sense of and even change the world we live in. Regardless of the definition, research in spatial computing is humming along nicely without the need to identify new research agendas or new labels for communities of researchers. However, as a field of research, it could be helpful to view spatial data science as the glue that coheres spatial computing with problem-solving and learning in the real world into a more holistic discipline.


title: Cellularity of centrosymmetric matrix algebras and Frobenius extensions

abstract: Centrosymmetric matrices of order $n$ over an arbitrary algebra $R$ form a subalgebra of the full $n\times n$ matrix algebra over $R$. It is called the centrosymmetric matrix algebra of order $n$ over $R$ and denoted by $S_n(R)$. We prove (1) $S_n(R)$ is Morita equivalent to $S_2(R)$ if $n$ is even, and to $S_3(R)$ if $n\ge 3$ is odd; (2) the full $n\times n$ matrix algebra over $R$ is a separable Frobenius extension of $S_n(R)$; and (3) if $R$ is a commutative ring, then $S_n(R)$ is a cellular $R$-algebra in the sense of Graham-Lehrer for all $n\ge 1$.


title: A Note on $C^2$ Ill-Posedness Results for the Zakharov System in Arbitrary Dimension

abstract: This work is concerned with the Cauchy problem for a Zakharov system with initial data in Sobolev spaces $H^k(\mathbb R^d)\!\times\!H^l(\mathbb R^d)\!\times\!H^{l-1}\!(\mathbb R^d)$. We recall the well-posedness and ill-posedness results known to date and establish new ill-posedness results. We prove $C^2$ ill-posedness for some new indices $(k,l)\in\mathbb R^2$. Moreover, our results are valid in arbitrary dimension. We believe that our detailed proofs are built on a methodical approach and can be adapted to obtain similar results for other systems and equations.


title: Contrarian effects and echo chamber formation in opinion dynamics

abstract: The relationship between the topology of a network and specific types of dynamics unfolding in networks constitutes a subject of substantial interest. One type of dynamics that has attracted increasing attention because of its several potential implications is opinion formation. A phenomenon of particular importance, known to take place in opinion formation, is echo chambers' appearance. In the present work, we approach this phenomenon, while emphasizing the influence of contrarian opinions in a multi-opinion scenario. To define the contrarian opinion, we considered the Underdog effect, which is the eventual tendency of people to support the less popular option. We also considered an adaptation of the Sznajd dynamics with the possibility of friendship rewiring, performed on several network models. We analyze the relationship between topology and opinion dynamics by considering two measurements: opinion diversity and network modularity. Two specific situations have been addressed: (i) the agents can reconnect only with others sharing the same opinion; and (ii) same as in the previous case, but with the agents reconnecting only within a limited neighborhood. This choice can be justified because, in general, friendship is a transitive property along with subsequent neighborhoods (e.g., two friends of a person tend to know each other). As the main results, we found that the Underdog effect, if strong enough, can balance the agents' opinions. On the other hand, this effect decreases the possibilities of echo-chamber formation. We also found that the restricted reconnection case reduced the chances of echo chamber formation and led to smaller echo chambers.


title: Magnetic imaging of antiferromagnetic domain walls

abstract: The control of domain walls or spin textures is crucial for spintronic applications of antiferromagnets. Despite many efforts, it has been challenging to directly visualize antiferromagnetic domains or domain walls with nanoscale resolution, especially in magnetic field. Here, we report magnetic imaging of domain walls in several uniaxial antiferromagnets, the topological insulator MnBi$_2$Te$_4$ family and the Dirac semimetal EuMnBi$_2$, using cryogenic magnetic force microscopy (MFM). Our MFM results reveal higher magnetic susceptibility or net moments inside the domain walls than in domains. Domain walls in these antiferromagnets form randomly with strong thermal and magnetic field dependences. The direct visualization of domain walls and domain structure in magnetic field will not only facilitate the exploration of intrinsic phenomena in topological antiferromagnets, but also open a new path toward control and manipulation of domain walls or spin textures in functional antiferromagnets.


title: Reinforcement learning with a network of spiking agents

abstract: Neuroscientific theory suggests that dopaminergic neurons broadcast global reward prediction errors to large areas of the brain influencing the synaptic plasticity of the neurons in those regions. We build on this theory to propose a multi-agent learning framework with spiking neurons in the generalized linear model (GLM) formulation as agents, to solve reinforcement learning (RL) tasks. We show that a network of GLM spiking agents connected in a hierarchical fashion, where each spiking agent modulates its firing policy based on local information and a global prediction error, can learn complex action representations to solve RL tasks. We further show how leveraging principles of modularity and population coding inspired from the brain can help reduce variance in the learning updates making it a viable optimization technique.


title: Torsion divisors of plane curves and Zariski pairs

abstract: In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples.


title: Performance of High-Mobility MIMO Communications with Doppler Diversity

abstract: A rapid change of channels in high-speed mobile communications will lead to difficulties in channel estimation and tracking but can also provide Doppler diversity. In this paper, the performance of a multiple-input multiple-output system with pilot-assisted repetition coding and spatial multiplexing is studied. With minimum mean square error (MMSE) channel estimation, an equivalent channel model and the corresponding system model are presented. Based on random matrix theory, asymptotic expressions of the normalized achievable sum rate of the linear receivers, such as the maximal ratio combining (MRC) receiver, MMSE receiver and MRC-like receiver, are derived. In addition, according to the symbol error rate of the MRC-like receiver, the maximum normalized Doppler diversity order and the minimum coding gain loss can be achieved when the repetition number and signal-to-noise ratio tend to infinity, and the corresponding conditions are derived. Based on the theoretical results, the impacts of different system configurations and channel parameters on the system performance are demonstrated.


title: Hierarchical Semantic Correspondence Learning for Post-Discharge Patient Mortality Prediction

abstract: Predicting patient mortality is an important and challenging problem in the healthcare domain, especially for intensive care unit (ICU) patients. Electronic health notes serve as a rich source for learning patient representations, that can facilitate effective risk assessment. However, a large portion of clinical notes are unstructured and also contain domain specific terminologies, from which we need to extract structured information. In this paper, we introduce an embedding framework to learn semantically-plausible distributed representations of clinical notes that exploits the semantic correspondence between the unstructured texts and their corresponding structured knowledge, known as semantic frame, in a hierarchical fashion. Our approach integrates text modeling and semantic correspondence learning into a single model that comprises 1) an unstructured embedding module that makes use of self-similarity matrix representations in order to inject structural regularities of different segments inherent in clinical texts to promote local coherence, 2) a structured embedding module to embed the semantic frames (e.g., UMLS semantic types) with deep ConvNet and 3) a hierarchical semantic correspondence module that embeds by enhancing the interactions between text-semantic frame embedding pairs at multiple levels (i.e., words, sentence, note). Evaluations on multiple embedding benchmarks on post discharge intensive care patient mortality prediction tasks demonstrate its effectiveness compared to approaches that do not exploit the semantic interactions between structured and unstructured information present in clinical notes.


title: Understanding population fluctuations through volunteered geographic information and novel indicators: The experience of Rakiura, Stewart Island, New Zealand

abstract: In an era of heterogeneous data, novel methods and volunteered geographic information provide opportunities to understand how people interact with a place. However, it is not enough to simply have such heterogeneous data, instead an understanding of its usability and reliability needs to be undertaken. Here, we draw upon the case study of Rakiura, Stewart Island where manifested passenger numbers across the Foveaux Strait are known. We have built a population model to ground truth such novel indicators. In our preliminary study, we find that a number of indicators offer the opportunity to understand fluctuations in populations. Some indicators (such as wastewater volumes) can suggest relative changes in populations in a raw form. While other indicators (such as TripAdvisor reviews or Instagram posts) require further data enrichment to get insights into population fluctuations. This research forms part of a larger research project looking to test and apply such novel indicators to inform disaster risk assessments.


title: Quantum fluctuations in a strongly interacting Bardeen-Cooper-Schrieffer polariton condensate at thermal equilibrium

abstract: Microcavity electron-hole-photon systems in two-dimensions are long anticipated to exhibit a crossover from Bose-Einstein condensate (BEC) to Bardeen-Cooper-Schrieffer (BCS) superfluid, when carrier density is tuned to reach the Mott transition density. Yet, theoretical understanding of such a BEC-BCS crossover largely relies on the mean-field framework and the nature of the carriers at the crossover remains unclear to some extent. Here, motivated by the recent demonstration of a BCS polariton laser {[}Hu \textit{et al.}, arXiv:1902.00142{]} and based on a simplified short-range description of the electron-hole attraction, we examine the role of quantum fluctuations in an exciton-polariton condensate at thermal equilibrium and determine the number of different type carriers at the crossover beyond mean-field. Near Mott density and with ultra-strong light-matter coupling, we find an unexpectedly large phase window for a strongly correlated BCS polariton condensate, where both fermionic Bogoliubov quasi-particles and bosonic excitons are significantly populated and strongly couple to photons. We predict its photoluminescence spectra and show that the upper polariton energy gets notably renormalized, giving rise to a high-energy side-peak at large carrier density, as observed in recent experiments.


title: Strong convergence to two-dimensional alternating Brownian motion processes

abstract: Flip-flop processes refer to a family of stochastic fluid processes which converge to either a standard Brownian motion (SBM) or to a Markov modulated Brownian motion (MMBM). In recent years, it has been shown that complex distributional aspects of the univariate SBM and MMBM can be studied through the limiting behaviour of flip-flop processes. Here, we construct two classes of bivariate flip-flop processes whose marginals converge strongly to SBMs and are dependent on each other, which we refer to as \emph{alternating} two-dimensional Brownian motion processes}. While the limiting bivariate processes are not Gaussian, they possess desirable qualities, such as being tractable and having a time-varying correlation coefficient function.


title: Hall Viscosity of Composite Fermions

abstract: Hall viscosity, also known as the Lorentz shear modulus, has been proposed as a topological property of a quantum Hall fluid. Using a recent formulation of the composite fermion theory on the torus, we evaluate the Hall viscosities for a large number of fractional quantum Hall states at filling factors of the form $\nu=n/(2pn\pm 1)$, where $n$ and $p$ are integers, from the explicit wave functions for these states. The calculated Hall viscosities $\eta^A$ agree with the expression $\eta^A=(\hbar/4) {\cal S}\rho$, where $\rho$ is the density and ${\cal S}=2p\pm n$ is the "shift" in the spherical geometry. We discuss the role of modular invariance of the wave functions, of the center-of-mass momentum, and also of the lowest-Landau-level projection. Finally, we show that the Hall viscosity for $\nu={n\over 2pn+1}$ may be derived analytically from the microscopic wave functions, provided that the overall normalization factor satisfies a certain behavior in the thermodynamic limit. This derivation should be applicable to a class of states in the parton construction, which are products of integer quantum Hall states with magnetic fields pointing in the same direction.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP


title: The Value of Summary Statistics for Anomaly Detection in Temporally-Evolving Networks: A Performance Evaluation Study

abstract: Network data has emerged as an active research area in statistics. Much of the focus of ongoing research has been on static networks that represent a single snapshot or aggregated historical data unchanging over time. However, most networks result from temporally-evolving systems that exhibit intrinsic dynamic behavior. Monitoring such temporally-varying networks to detect anomalous changes has applications in both social and physical sciences. In this work, we perform an evaluation study of summary statistics for anomaly detection in temporally-evolving networks by incorporating principles from statistical process monitoring. In contrast to previous studies, we deliberately incorporate temporal auto-correlation in our study. Other considerations in our comprehensive assessment include types and duration of anomaly, model type, and sparsity in temporally-evolving networks. We conclude that summary statistics can be valuable tools for network monitoring and often perform better than more complicated statistics.


title: Efficient Polynomial Chaos Expansion for Uncertainty Quantification in Power Systems

abstract: Growing uncertainty from renewable energy integration and distributed energy resources motivate the need for advanced tools to quantify the effect of uncertainty and assess the risks it poses to secure system operation. Polynomial chaos expansion (PCE) has been recently proposed as a tool for uncertainty quantification in power systems. The method produces results that are highly accurate, but has proved to be computationally challenging to scale to large systems. We propose a modified algorithm based on PCE with significantly improved computational efficiency that retains the desired high level of accuracy of the standard PCE. Our method uses computational enhancements by exploiting the sparsity structure and algebraic properties of the power flow equations. We show the scalability of the method on the 1354 pegase test system, assess the quality of the uncertainty quantification in terms of accuracy and robustness, and demonstrate an example application to solving the chance constrained optimal power flow problem.


title: Precisamos de uma Contabilidade Ambiental para as "Amaz\^onias" Paraense?

abstract: This paper has the following objectives: to understand the concepts of Environmental Accounting in Brazil; Make criticisms and propositions anchored in the reality or demand of environmental accounting for Amazonia Paraense. The methodological strategy was a critical analysis of Ferreira's books (2007); Ribeiro (2010) and Tinoco and Kraemer (2011) using their correlation with the scientific production of authors discussing the Paraense Amazon, besides our experience as researchers of this territory. As a result, we created three sections: one for understanding the current constructs of environmental accounting, one for criticism and one for propositions.


title: DeepVS: An Efficient and Generic Approach for Source Code Modeling Usage

abstract: The source code suggestions provided by current IDEs are mostly dependent on static type learning. These suggestions often end up proposing irrelevant suggestions for a peculiar context. Recently, deep learning-based approaches have shown great potential in the modeling of source code for various software engineering tasks. However, these techniques lack adequate generalization and resistance to acclimate the use of such models in a real-world software development environment. This letter presents \textit{DeepVS}, an end-to-end deep neural code completion tool that learns from existing codebases by exploiting the bidirectional Gated Recurrent Unit (BiGRU) neural net. The proposed tool is capable of providing source code suggestions instantly in an IDE by using pre-trained BiGRU neural net. The evaluation of this work is two-fold, quantitative and qualitative. Through extensive evaluation on ten real-world open-source software systems, the proposed method shows significant performance enhancement and its practicality. Moreover, the results also suggest that \textit{DeepVS} tool is capable of suggesting zero-day (unseen) code tokens by learning coding patterns from real-world software systems.


title: Optimal Codes Correcting a Single Indel / Edit for DNA-Based Data Storage

abstract: An indel refers to a single insertion or deletion, while an edit refers to a single insertion, deletion or substitution. In this paper, we investigate codes that combat either a single indel or a single edit and provide linear-time algorithms that encode binary messages into these codes of length n. Over the quaternary alphabet, we provide two linear-time encoders. One corrects a single edit with log n + O(log log n) redundancy bits, while the other corrects a single indel with log n + 2 redundant bits. These two encoders are order-optimal. The former encoder is the first known order-optimal encoder that corrects a single edit, while the latter encoder (that corrects a single indel) reduces the redundancy of the best known encoder of Tenengolts (1984) by at least four bits. Over the DNA alphabet, we impose an additional constraint: the GC-balanced constraint and require that exactly half of the symbols of any DNA codeword to be either C or G. In particular, via a modification of Knuth's balancing technique, we provide a linear-time map that translates binary messages into GC-balanced codewords and the resulting codebook is able to correct a single indel or a single edit. These are the first known constructions of GC-balanced codes that correct a single indel or a single edit.


title: Modular forms on indefinite orthogonal groups of rank three

abstract: We develop a theory of modular forms on the groups $\mathrm{SO}(3,n+1)$, $n \geq 3$. This is very similar to, but simpler, than the notion of modular forms on quaternionic exceptional groups, which was initiated by Gross-Wallach and Gan-Gross-Savin. We prove the results analogous to those of earlier papers of the author on modular forms on exceptional groups, except now in the familiar setting of classical groups. Moreover, in the setting of $\mathrm{SO}(3,n+1)$, there is a family of absolutely convergent Eisenstein series, which are modular forms. We prove that these Eisenstein series have algebraic Fourier coefficients, like the classical holomorphic Eisenstein series on $\mathrm{SO}(2,n)$. As an application, we prove that the so-called "next-to-minimal" modular form on quaternionic $E_8$ has rational Fourier expansion, under a mild local assumption.


title: SVRPF: An Improved Particle Filter for a Nonlinear/non-Gaussian Environment

abstract: The performance of a particle filter (PF) in nonlinear and non-Gaussian environments is often affected by particle degeneracy and impoverishment problems. In this paper, these two problems are re-assessed using the concepts of importance region (IR) selection and particle density (PD), where IR describes the distribution region of particles, and PD describes the density of particles in IR. Based on these two factors, a support vector regression PF (SVRPF) is proposed to overcome the problems from nonlinear and non-Gaussian environments, especially in regard to narrow observation noise. Furthermore, the consistency of the SVRPF and Bayes' filtering is demonstrated. A numerical simulation shows that the performance of the SVRPF is more stable than other filter algorithms. Provided that other conditions are the same, when the observation noise variance is 0.1 and 5, the root-mean-square errors of the SVRPF decrease by 0.5 and 0.03, respectively, compared with that of a general PF.


title: Classification of $\mathcal O_\infty$-stable $C^\ast$-algebras

abstract: I present a proof of Kirchberg's classification theorem: two separable, nuclear, $\mathcal O_\infty$-stable $C^\ast$-algebras are stably isomorphic if and only if they are ideal-related $KK$-equivalent. In particular, this provides a more elementary proof of the Kirchberg--Phillips theorem which is isolated in the paper to increase readability of this important special case.