title: SourceFinder: Finding Malware Source-Code from Publicly Available Repositories

abstract: Where can we find malware source code? This question is motivated by a real need: there is a dearth of malware source code, which impedes various types of security research. Our work is driven by the following insight: public archives, like GitHub, have a surprising number of malware repositories. Capitalizing on this opportunity, we propose, SourceFinder, a supervised-learning approach to identify repositories of malware source code efficiently. We evaluate and apply our approach using 97K repositories from GitHub. First, we show that our approach identifies malware repositories with 89% precision and 86% recall using a labeled dataset. Second, we use SourceFinder to identify 7504 malware source code repositories, which arguably constitutes the largest malware source code database. Finally, we study the fundamental properties and trends of the malware repositories and their authors. The number of such repositories appears to be growing by an order of magnitude every 4 years, and 18 malware authors seem to be "professionals" with well-established online reputation. We argue that our approach and our large repository of malware source code can be a catalyst for research studies, which are currently not possible.


title: The interpretation of protoplanetary disc wind diagnostic lines from X-ray photoevaporation and analytical MHD models

abstract: High resolution spectra of typical wind diagnostics ([OI] 6300 \r{A} and other forbidden emission lines) can often be decomposed into multiple components: high-velocity components with blueshifts up to several 100 km/s are usually attributed to fast jets, while narrow (NLVC) and broad (BLVC) low-velocity components are believed to trace slower disc winds. Under the assumption that the line-broadening is dominated by Keplerian rotation, several studies have found that the BLVCs should trace gas launched between 0.05 and 0.5 au and correlations between the properties of BLVCs and NLVCs have been interpreted as evidence for the emission tracing an extended MHD wind and not a photoevaporative wind. We calculated synthetic line profiles obtained from detailed photoionisation calculations of an X-ray photoevaporation model and a simple MHD wind model and analyzed the emission regions of different diagnostic lines and the resulting spectral profiles. The photoevaporation model reproduces most of the observed NLVCs but not the BLVCs or HVCs. The MHD model is able to reproduce all components but produces Keplerian double peaks at average inclinations that are rarely observed. The combination of MHD and photoevaporative winds could solve this problem. Our results suggest that the Gaussian decomposition does not allow for a clear distinction of flux from different wind regions and that the line broadening is often dominated by the velocity gradient in the outflow rather than by Keplerian rotation. We show that observed correlations between BLVC and NLVC do not necessarily imply a common origin in an extended MHD wind.


title: Self-Attention Dense Depth Estimation Network for Unrectified Video Sequences

abstract: The dense depth estimation of a 3D scene has numerous applications, mainly in robotics and surveillance. LiDAR and radar sensors are the hardware solution for real-time depth estimation, but these sensors produce sparse depth maps and are sometimes unreliable. In recent years research aimed at tackling depth estimation using single 2D image has received a lot of attention. The deep learning based self-supervised depth estimation methods from the rectified stereo and monocular video frames have shown promising results. We propose a self-attention based depth and ego-motion network for unrectified images. We also introduce non-differentiable distortion of the camera into the training pipeline. Our approach performs competitively when compared to other established approaches that used rectified images for depth estimation.


title: On the free rotations of rigid bodies with a liquid-filled gap

abstract: We consider the system constituted by a hollow rigid body whose cavity contains a homogeneous rigid ball, and let the gap between the solids be entirely filled by a viscous incompressible fluid. We investigate the free rotations of the whole system, i.e., motions driven only by the inertia of the fluid-solids system once an initial angular momentum is imparted on the whole system. We prove the existence of global weak solutions and local strong solutions to the equations of motion. In addition, we prove that the fluid velocity as well as the inner core angular velocity relative to the outer solid converge to zero as time approaches infinity.


title: On Incorporating Structural Information to improve Dialogue Response Generation

abstract: We consider the task of generating dialogue responses from background knowledge comprising of domain specific resources. Specifically, given a conversation around a movie, the task is to generate the next response based on background knowledge about the movie such as the plot, review, Reddit comments etc. This requires capturing structural, sequential and semantic information from the conversation context and the background resources. This is a new task and has not received much attention from the community. We propose a new architecture that uses the ability of BERT to capture deep contextualized representations in conjunction with explicit structure and sequence information. More specifically, we use (i) Graph Convolutional Networks (GCNs) to capture structural information, (ii) LSTMs to capture sequential information and (iii) BERT for the deep contextualized representations that capture semantic information. We analyze the proposed architecture extensively. To this end, we propose a plug-and-play Semantics-Sequences-Structures (SSS) framework which allows us to effectively combine such linguistic information. Through a series of experiments we make some interesting observations. First, we observe that the popular adaptation of the GCN model for NLP tasks where structural information (GCNs) was added on top of sequential information (LSTMs) performs poorly on our task. This leads us to explore interesting ways of combining semantic and structural information to improve the performance. Second, we observe that while BERT already outperforms other deep contextualized representations such as ELMo, it still benefits from the additional structural information explicitly added using GCNs. This is a bit surprising given the recent claims that BERT already captures structural information. Lastly, the proposed SSS framework gives an improvement of 7.95% over the baseline.


title: Accounting for location uncertainty in distance sampling data

abstract: Ecologists use distance sampling to estimate the abundance of plants and animals while correcting for undetected individuals. By design, data collection is simplified by requiring only the distances from a transect to the detected individuals be recorded. Compared to traditional design-based methods that require restrictive assumption and limit the use of distance sampling data, model-based approaches enable broader applications such as spatial prediction, inferring species-habitat relationships, unbiased estimation from preferentially sampled transects, and integration into multi-type data models. Unfortunately, model-based approaches require the exact location of each detected individual in order to incorporate environmental and habitat characteristics as predictor variables. We modified model-based methods for distance sampling data by including a probability distribution that accounts for location uncertainty generated when only the distances are recorded. We tested and demonstrated our method using a simulation experiment and by modeling the habitat use of Dickcissels (Spiza americana) using distance sampling data collected from the Konza Prairie in Kansas, USA. Our results showed that ignoring location uncertainty can result in biased coefficient estimates and predictions. However, accounting for location uncertainty remedies the issue and results in reliable inference and prediction. Like other types of measurement error, hierarchical models can accommodate the data collection process thereby enabling reliable inference. Our approach is a significant advancement for the analysis of distance sampling data because it remedies the deleterious effects of location uncertainty and requires only distances be recorded. In turn, this enables historical distance sampling data sets to be compatible with modern data collection and modeling practices.


title: Augmenting reality: On the shared history of perceptual illusion and video projection mapping

abstract: Perceptual illusions based on the spatial correspondence between objects and displayed images have been pursued by artists and scientists since the 15th century, mastering optics to create crucial techniques as the linear perspective and devices as the Magic Lantern. Contemporary video projection mapping inherits and further extends this drive to produce perceptual illusions in space by incorporating the required real time capabilities for dynamically superposing the imaginary onto physical objects under fluid real world conditions. A critical milestone has been reached in the creation of the technical possibilities for all encompassing, untethered synthetic reality experiences available to the plain senses, where every surface may act as a screen and the relation to everyday objects is open to alterations.


title: Knudsen diffusivity in random billiards: spectrum, geometry, and computation

abstract: We develop an analytical framework and numerical approach to obtain the coefficient of self-diffusivity for the transport of a rarefied gas in channels in the limit of large Knudsen number. This framework provides a method for determining the influence of channel surface microstructure on the value of diffusivity that is particularly effective when the microstructure exhibits relatively low roughness. This method is based on the observation that the Markov transition (scattering) operator determined by the microstructure, under the condition of weak surface scattering, has a universal form given, up to a multiplicative constant, by the classical Legendre differential operator. We also show how characteristic numbers of the system -- namely geometric parameters of the microstructure, the spectral gap of a Markov operator, and the tangential momentum accommodation coefficient of a commonly used model of surface scattering -- are all related. Examples of microstructures are investigated to illustrate the relation of these quantities numerically and analytically.


title: Observation of Odderon Effects at LHC energies -- A Real Extended Bialas-Bzdak Model Study

abstract: The unitarily extended Bialas-Bzdak model of elastic proton-proton scattering is applied, without modifications, to describe the differential cross-section of elastic proton-antiproton collisions in the TeV energy range, and to extrapolate these differential cross-sections to LHC energies. In this model-dependent study we find that the differential cross-sections of elastic proton-proton collision data at 2.76 and 7 TeV energies differ significantly from the differential cross-section of elastic proton-antiproton collisions extrapolated to these energies. The elastic proton-proton differential cross-sections, extrapolated to 1.96 TeV energy with the help of this extended Bialas-Bzdak model do not differ significantly from that of elastic proton-antiproton collisions, within the theoretical errors of the extrapolation. Taken together these results provide a model-dependent, but statistically significant evidence for a crossing-odd component of the elastic scattering amplitude at the at least 7.08 sigma level. From the reconstructed Odderon and Pomeron amplitudes, we determine the $\sqrt{s}$ dependence of the corresponding total and differential cross-sections.


title: Is it possible to suspend the spread of an epidemic infection? The dynamic Monte Carlo approach

abstract: We study a dynamics of the epidemiological infection spreading at different values of the risk factor $\beta$ (a control parameter) with the using of dynamic Monte Carlo approach (DMC). In our toy model, the infection transmits due to contacts of randomly moving individuals. We show that the behavior of recovereds critically depends on the $\beta$ value. For sub-critical values $\beta<\beta_{c}\sim 0.6$, the number of infected cases asymptotically converges to zero, such that for a moderate risk factor the infection may disappear with time. Our simulations shown that over time, the properties of such a system asymptotically become close to the critical transition in 2D percolation system. We also analyzed an extended system, which includes two additional parameters: the limits of taking on/off quarantine state. It is found that the early quarantine off does result in the irregular (with positive Lyapunov exponent) oscillatory dynamics of infection. If the lower limit of the quarantine off is small enough, the recovery dynamics acquirers a characteristic nonmonotonic shape with several damped peaks. The dynamics of infection spreading in case of the individuals with immunity is studied too.


title: Principal component trajectories for modeling spectrally-continuous dynamics as forced linear systems

abstract: Delay embeddings of time series data have emerged as a promising coordinate basis for data-driven estimation of the Koopman operator, which seeks a linear representation for observed nonlinear dynamics. Recent work has demonstrated the efficacy of Dynamic Mode Decomposition (DMD) for obtaining finite-dimensional Koopman approximations in delay coordinates. In this paper we demonstrate how nonlinear dynamics with sparse Fourier spectra can be (i) represented by a superposition of principal component trajectories (PCT) and (ii) modeled by DMD in this coordinate space. For continuous or mixed (discrete and continuous) spectra, DMD can be augmented with an external forcing term. We present a method for learning linear control models in delay coordinates while simultaneously discovering the corresponding exogeneous forcing signal in a fully unsupervised manner. This extends the existing DMD with control (DMDc) algorithm to cases where a control signal is not known a priori. We provide examples to validate the learned forcing against a known ground truth and illustrate their statistical similarity. Finally we offer a demonstration of this method applied to real-world power grid load data to show its utility for diagnostics and interpretation on systems in which somewhat periodic behavior is strongly forced by unknown and unmeasurable environmental variables.


title: The Drell-Yan process with pions and polarized nucleons

abstract: The Drell-Yan process provides important information on the internal structure of hadrons including transverse momentum dependent parton distribution functions (TMDs). In this work we present calculations for all leading twist structure functions describing the pion induced Drell-Yan process. The non-perturbative input for the TMDs is taken from the light-front constituent quark model, the spectator model, and available parametrizations of TMDs extracted from the experimental data. TMD evolution is implemented at Next-to-Leading Logarithmic precision for the first time for all asymmetries. Our results are compatible with the first experimental information, help to interpret the data from ongoing experiments, and will allow one to quantitatively assess the models in future when more precise data will become available.


title: Compactness of Hankel operators with continuous symbols on convex domains

abstract: Let $\Omega$ be a bounded convex domain in $\mathbb{C}^{n}$, $n\geq 2$, $1\leq q\leq (n-1)$, and $\phi\in C(\bar{\Omega})$. If the Hankel operator $H^{q-1}_{\phi}$ on $(0,q-1)$--forms with symbol $\phi$ is compact, then $\phi$ is holomorphic along $q$--dimensional analytic (actually, affine) varieties in the boundary. We also prove a partial converse: if the boundary contains only `finitely many' varieties, $1\leq q\leq n$, and $\phi\in C(\bar{\Omega})$ is analytic along the ones of dimension $q$ (or higher), then $H^{q-1}_{\phi}$ is compact.


title: Machine Learning for recognition of minerals from multispectral data

abstract: Machine Learning (ML) has found several applications in spectroscopy, including being used to recognise minerals and estimate elemental composition. In this work, we present novel methods for automatic mineral identification based on combining data from different spectroscopic methods. We evaluate combining data from three spectroscopic methods: vibrational Raman scattering, reflective Visible-Near Infrared (VNIR), and Laser-Induced Breakdown Spectroscopy (LIBS). These methods were paired into Raman + VNIR, Raman + LIBS and VNIR + LIBS, and different methods of data fusion applied to each pair to classify minerals. The methods presented here are shown to outperform the use of a single data source by a significant margin. Additionally, we present a Deep Learning algorithm for mineral classification from Raman spectra that outperforms previous state-of-the-art methods. Our approach was tested on various open access experimental Raman (RRUFF) and VNIR (USGS, Relab, ECOSTRESS), as well as synthetic LIBS NIST spectral libraries. Our cross-validation tests show that multi-method spectroscopy paired with ML paves the way towards rapid and accurate characterization of rocks and minerals.


title: Ecumenical modal logic

abstract: The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz' system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings. Prawitz' main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. In a recent work, Ecumenical sequent calculi and a nested system were presented, and some very interesting proof theoretical properties of the systems were established. In this work we extend Prawitz' Ecumenical idea to alethic K-modalities.


title: Efficient and Effective ER with Progressive Blocking

abstract: Blocking is a mechanism to improve the efficiency of Entity Resolution (ER) which aims to quickly prune out all non-matching record pairs. However, depending on the distributions of entity cluster sizes, existing techniques can be either (a) too aggressive, such that they help scale but can adversely affect the ER effectiveness, or (b) too permissive, potentially harming ER efficiency. In this paper, we propose a new methodology of progressive blocking (pBlocking) to enable both efficient and effective ER, which works seamlessly across different entity cluster size distributions. pBlocking is based on the insight that the effectiveness-efficiency trade-off is revealed only when the output of ER starts to be available. Hence, pBlocking leverages partial ER output in a feedback loop to refine the blocking result in a data-driven fashion. Specifically, we bootstrap pBlocking with traditional blocking methods and progressively improve the building and scoring of blocks until we get the desired trade-off, leveraging a limited amount of ER results as a guidance at every round. We formally prove that pBlocking converges efficiently ($O(n log^2 n)$ time complexity, where n is the total number of records). Our experiments show that incorporating partial ER output in a feedback loop can improve the efficiency and effectiveness of blocking by 5x and 60% respectively, improving the overall F-score of the entire ER process up to 60%.


title: On the Comparison of Popular End-to-End Models for Large Scale Speech Recognition

abstract: Recently, there has been a strong push to transition from hybrid models to end-to-end (E2E) models for automatic speech recognition. Currently, there are three promising E2E methods: recurrent neural network transducer (RNN-T), RNN attention-based encoder-decoder (AED), and Transformer-AED. In this study, we conduct an empirical comparison of RNN-T, RNN-AED, and Transformer-AED models, in both non-streaming and streaming modes. We use 65 thousand hours of Microsoft anonymized training data to train these models. As E2E models are more data hungry, it is better to compare their effectiveness with large amount of training data. To the best of our knowledge, no such comprehensive study has been conducted yet. We show that although AED models are stronger than RNN-T in the non-streaming mode, RNN-T is very competitive in streaming mode if its encoder can be properly initialized. Among all three E2E models, transformer-AED achieved the best accuracy in both streaming and non-streaming mode. We show that both streaming RNN-T and transformer-AED models can obtain better accuracy than a highly-optimized hybrid model.


title: Interferences between Bogoliubov excitations and their impact on the evidence of superfluidity in a paraxial fluid of light

abstract: Paraxial fluids of light represent an alternative platform to atomic Bose-Einstein condensates and superfluid liquids for the study of the quantum behaviour of collective excitations. A key step in this direction is the precise characterization of the Bogoliubov dispersion relation, as recently shown in two experiments. However, the predicted interferences between the phonon excitations that would be a clear signature of the collective superfluid behaviour have not been observed to date. Here, by analytically, numerically, and experimentally exploring the phonon phase-velocity, we observe the presence of interferences between counter-propagating Bogoliubov excitations and demonstrate their critical impact on the measurement of the dispersion relation. These results are evidence of a key signature of light superfluidity and provide a novel characterization tool for quantum simulations with photons.


title: Quantum Confinement Induced Metal-Insulator Transition in Strongly Correlated Quantum Wells of SrVO$_3$ Superlattice

abstract: Dynamical mean-field theory (DMFT) has been employed in conjunction with density functional theory (DFT+DMFT) to investigate the metal-insulator transition (MIT) of strongly correlated $3d$ electrons due to quantum confinement. We shed new light on the microscopic mechanism of the MIT and previously reported anomalous subband mass enhancement, both of which arise as a direct consequence of the quantization of V $xz(yz)$ states in the SrVO$_3$ layers. We therefore show that quantum confinement can sensitively tune the strength of electron correlations, leading the way to applying such approaches in other correlated materials.


title: Bipartite Distance for Shape-Aware Landmark Detection in Spinal X-Ray Images

abstract: Scoliosis is a congenital disease that causes lateral curvature in the spine. Its assessment relies on the identification and localization of vertebrae in spinal X-ray images, conventionally via tedious and time-consuming manual radiographic procedures that are prone to subjectivity and observational variability. Reliability can be improved through the automatic detection and localization of spinal landmarks. To guide a CNN in the learning of spinal shape while detecting landmarks in X-ray images, we propose a novel loss based on a bipartite distance (BPD) measure, and show that it consistently improves landmark detection performance.


title: Null Reductions of M5-Branes

abstract: We perform a general reduction of an M5-brane on a spacetime that admits a null Killing vector, including couplings to background 4-form fluxes and possible twisting of the normal bundle. We give the non-abelian extension of this action and present its supersymmetry transformations. The result is a class of supersymmetric non-lorentzian gauge theories in 4+1 dimensions, which depend on the geometry of the six-dimensional spacetime. These can be used for DLCQ constructions of M5-branes reduced on various manifolds.


title: Magnetohydrostatic modeling of AR11768 based on a SUNRISE/IMaX vector magnetogram

abstract: Context. High resolution magnetic field measurements are routinely done only in the solar photosphere. Higher layers like the chromosphere and corona can be modeled by extrapolating the photospheric magnetic field upward. In the solar corona, plasma forces can be neglected and the Lorentz force vanishes. This is not the case in the upper photosphere and chromosphere where magnetic and non-magnetic forces are equally important. One way to deal with this problem is to compute the plasma and magnetic field self-consistently with a magnetohydrostatic (MHS) model. Aims. We aim to derive the magnetic field, plasma pressure and density of AR11768 by applying the newly developed extrapolation technique to the SUNRISE/IMaX data. Methods. An optimization method is used for the MHS modeling. The initial conditions consist of a nonlinear force-free field (NLFFF) and a gravity-stratified atmosphere. Results. In the non-force-free layer, which is spatially resolved by the new code, Lorentz forces are effectively balanced by the gas pressure gradient force and the gravity force. The pressure and density are depleted in strong field regions, which is consistent with observations. Denser plasma, however, is also observed at some parts of the active region edges. In the chromosphere, the fibril-like plasma structures trace the magnetic field nicely. Bright points in SUNRISE/SuFI 3000 {$\AA$} images are often accompanied by the plasma pressure and electric current concentrations. In addition, the average of angle between MHS field lines and the selected chromospheric fibrils is $11.8^\circ$, which is smaller than those computed from the NLFFF model ($15.7^\circ$) and linear MHS model ($20.9^\circ$). This indicates that the MHS solution provides a better representation of the magnetic field in the chromosphere.


title: Coherent representation of fields and deformation quantization

abstract: Motivated by some well-known results in the phase space description of quantum optics and quantum information theory, we aim to describe the formalism of quantum field theory by explicitly considering the holomorphic representation for a scalar field within the deformation quantization program. Notably, the symbol of a symmetric ordered operator in terms of holomorphic variables may be straightforwardly obtained by the quantum field analogue of the Husimi distribution associated with a normal ordered operator. This relation also allows establishing a $c$-equivalence between the Moyal and the normal star-products. In addition, by writing the density operator in terms of coherent states we are able to directly introduce a series representation of the Wigner functional distribution which may be convenient in order to calculate probability distributions of quantum field observables without performing formal phase space integrals at all.


title: Behavior near the origin of $f'(u^\ast)$ in radial singular extremal solutions

abstract: Consider the semilinear elliptic equation $-\Delta u=\lambda f(u)$ in the unit ball $B_1\subset \mathbb{R}^N$, with Dirichlet data $u|_{\partial B_1}=0$, where $\lambda\geq 0$ is a real parameter and $f$ is a $C^1$ positive, nondecreasing and convex function in $[0,\infty)$ such that $f(s)/s\rightarrow\infty$ as $s\rightarrow\infty$. In this paper we study the behavior of $f'(u^\ast)$ near the origin when $u^\ast$, the extremal solution of the previous problem associated to $\lambda=\lambda^\ast$, is singular. This answers to an open problems posed by Brezis and V\'azquez.


title: Classical and Quantum Algorithms for Constructing Text from Dictionary Problem

abstract: We study algorithms for solving the problem of constructing a text (long string) from a dictionary (sequence of small strings). The problem has an application in bioinformatics and has a connection with the Sequence assembly method for reconstructing a long DNA sequence from small fragments. The problem is constructing a string $t$ of length $n$ from strings $s^1,\dots, s^m$ with possible intersections. We provide a classical algorithm with running time $O\left(n+L +m(\log n)^2\right)=\tilde{O}(n+L)$ where $L$ is the sum of lengths of $s^1,\dots,s^m$. We provide a quantum algorithm with running time $O\left(n +\log n\cdot(\log m+\log\log n)\cdot \sqrt{m\cdot L}\right)=\tilde{O}\left(n +\sqrt{m\cdot L}\right)$. Additionally, we show that the lower bound for the classical algorithm is $\Omega(n+L)$. Thus, our classical algorithm is optimal up to a log factor, and our quantum algorithm shows speed-up comparing to any classical algorithm in a case of non-constant length of strings in the dictionary.


title: Deficiency in Signed Graphs

abstract: We introduce the concept of deficiency in signed graphs. The deficiency of a coloration is the number of unused colors. We classify the deficiency of 2-chromatic graphs. There are four decision problems about the minimum and maximum deficiency of a 3-chromatic signed graph. We answer two of them with a polynomial-time algorithm for deciding the maximum deficiency of a 3-chromatic signed graph.


title: The Chromatic Number of Joins of Signed Graphs

abstract: We introduce joins of signed graphs and explore the chromatic number of the all-positive and all-negative joins. We prove an analogue to the theorem that the chromatic number of the join of two graphs equals the sum of their chromatic numbers. Given two signed graphs, the chromatic number of the all-positive and all-negative join is usually less than the sum of their chromatic numbers, by an amount that depends on the new concept of deficiency of a signed-graph coloration.


title: On the elementary information content of thermodynamic ensembles

abstract: Extending the definition of phase-space (Wigner) quantum projectors to thermodynamic ensembles usually results into an efficient platform for quantifying their elementary information content. Given the spectral decomposition profile of a thermalized quantum system, general expressions for the quantum purity quantifier, $\mathcal{P}(\beta)$, and for phase-space projectors related to the quantum fidelity, $\mathcal{F}(\beta)$, are explicitly derived in terms of an explicit correspondence with the related partition function, $\mathcal{Z}(\beta)$. Besides quantifying the storage of information capacity of thermodynamical ensembles, the tools here introduced extend the role of the partition function in expressing the quantum behavior of thermodynamic ensembles.


title: Fully-discrete finite element approximation for a family of degenerate parabolic problems

abstract: The aim of this work is to show an abstract framework to analyze the numerical approximation by using a finite element method in space and a Backward-Euler scheme in time of a family of degenerate parabolic problems. We deduce sufficient conditions to ensure that the fully-discrete problem has a unique solution and to prove quasi-optimal error estimates for the approximation. Finally, we show a degenerate parabolic problem which arises from electromagnetic applications and deduce its well-posedness and convergence by using the developed abstract theory, including numerical tests to illustrate the performance of the method and confirm the theoretical results. Keywords: parabolic degenerate equations, parabolic-elliptic equations, finite element method, backward Euler scheme, fully-discrete approximation, error estimates, eddy current model.


title: A simple real-space scheme for periodic Dirac operators

abstract: We address in this work the question of the discretization of two-dimensional periodic Dirac Hamiltonians. Standard finite differences methods on rectangular grids are plagued with the so-called Fermion doubling problem, which creates spurious unphysical modes. The classical way around the difficulty used in the physics community is to work in the Fourier space, with the inconvenience of having to compute the Fourier decomposition of the coefficients in the Hamiltonian and related convolutions. We propose in this work a simple real-space method immune to the Fermion doubling problem and applicable to all two-dimensional periodic lattices. The method is based on spectral differentiation techniques. We apply our numerical scheme to the study of flat bands in graphene subject to periodic magnetic fields and in twisted bilayer graphene.


title: The Tools and Tactics Used in Intimate Partner Surveillance: An Analysis of Online Infidelity Forums

abstract: Abusers increasingly use spyware apps, account compromise, and social engineering to surveil their intimate partners, causing substantial harms that can culminate in violence. This form of privacy violation, termed intimate partner surveillance (IPS), is a profoundly challenging problem to address due to the physical access and trust present in the relationship between the target and attacker. While previous research has examined IPS from the perspectives of survivors, we present the first measurement study of online forums in which (potential) attackers discuss IPS strategies and techniques. In domains such as cybercrime, child abuse, and human trafficking, studying the online behaviors of perpetrators has led to better threat intelligence and techniques to combat attacks. We aim to provide similar insights in the context of IPS. We identified five online forums containing discussion of monitoring cellphones and other means of surveilling an intimate partner, including three within the context of investigating relationship infidelity. We perform a mixed-methods analysis of these forums, surfacing the tools and tactics that attackers use to perform surveillance. Via qualitative analysis of forum content, we present a taxonomy of IPS strategies used and recommended by attackers, and synthesize lessons for technologists seeking to curb the spread of IPS.


title: Mechanical relations between conductive and radiative heat transfer

abstract: We present a general nonequilibrium Green's function formalism for modeling heat transfer in systems characterized by linear response that establishes the formal algebraic relationships between phonon and radiative conduction, and reveals how upper bounds for the former can also be applied to the latter. We also propose an extension of this formalism to treat systems susceptible to the interplay of conductive and radiative heat transfer, which becomes relevant in atomic systems and at nanometric and smaller separations where theoretical descriptions which treat each phenomenon separately may be insufficient. We illustrate the need for such coupled descriptions by providing predictions for a low-dimensional system of carbyne wires in which the total heat transfer can differ from the sum of its radiative and conductive contributions. Our framework has ramifications for understanding heat transfer between large bodies that may approach direct contact with each other or that may be coupled by atomic, molecular, or interfacial film junctions.


title: Unsupervised Anomaly Detection in Journal-Level Citation Networks

abstract: Journal Impact Factor is a popular metric for determining the quality of a journal in academia. The number of citations received by a journal is a crucial factor in determining the impact factor, which may be misused in multiple ways. Therefore, it is crucial to detect citation anomalies for further identifying manipulation and inflation of impact factor. Citation network models the citation relationship between journals in terms of a directed graph. Detecting anomalies in the citation network is a challenging task which has several applications in spotting citation cartels and citation stack and understanding the intentions behind the citations. In this paper, we present a novel approach to detect the anomalies in a journal-level scientific citation network, and compare the results with the existing graph anomaly detection algorithms. Due to the lack of proper ground-truth, we introduce a journal-level citation anomaly dataset which consists of synthetically injected citation anomalies and use it to evaluate our methodology. Our method is able to predict the anomalous citation pairs with a precision of 100\% and an F1-score of 86%. We further categorize the detected anomalies into various types and reason out possible causes. We also analyze our model on the Microsoft Academic Search dataset - a real-world citation dataset and interpret our results using a case study, wherein our results resemble the citations and SCImago Journal Rank (SJR) rating-change charts, thus indicating the usefulness of our method. We further design `Journal Citation Analysis Tool', an interactive web portal which, given the citation network as an input, shows the journal-level anomalous citation patterns and helps users analyze citation patterns of a given journal over the years.


title: Chook -- A comprehensive suite for generating binary optimization problems with planted solutions

abstract: We present Chook, an open-source Python-based tool to generate discrete optimization problems of tunable complexity with a priori known solutions. Chook provides a cross-platform unified environment for solution planting using a number of techniques, such as tile planting, Wishart planting, equation planting, and deceptive cluster loop planting. Chook also incorporates planted solutions for higher-order (beyond quadratic) binary optimization problems. The support for various planting schemes and the tunable hardness allows the user to generate problems with a wide range of complexity on different graph topologies ranging from hypercubic lattices to fully-connected graphs.


title: Orbital-Energy Splitting in Anion Ordered Ruddlesden-Popper Halide Perovskites for Tunable Optoelectronic Applications

abstract: The electronic orbital characteristics at the band edges plays an important role in determining the electrical, optical and defect properties of perovskite photovoltaic materials. It is highly desirable to establish the relationship between the underlying atomic orbitals and the optoelectronic properties as a guide to maximize the photovoltaic performance. Here, using first-principles calculations and taking anion ordered Ruddlesden-Popper (RP) phase halide perovskites Cs$_{n+1}$Ge$_n$I$_{n+1}$Cl$_{2n}$ as an example, we demonstrate how to rationally optimize the optoelectronic properties (e.g., band gap, transition dipole matrix elements, carrier effective masses, band width) through a simple band structure parameter. Our results show that reducing the splitting energy $|\Delta c|$ of p orbitals of B-site atom can effectively reduce the band gap and carrier effective masses while greatly improving the optical absorption in the visible region. Thereby, the orbital-property relationship with $\Delta c$ is well established through biaxial compressive strain. Finally, it is shown that this approach can be reasonably extended to several other non-cubic halide perovskites with similar p orbitals characteristics at the conduction band edges. Therefore, we believe that our proposed orbital engineering approach provides atomic-level guidance for understanding and optimizing the device performance of layered perovskite solar cells.


title: Consistent Second-Order Conic Integer Programming for Learning Bayesian Networks

abstract: Bayesian Networks (BNs) represent conditional probability relations among a set of random variables (nodes) in the form of a directed acyclic graph (DAG), and have found diverse applications in knowledge discovery. We study the problem of learning the sparse DAG structure of a BN from continuous observational data. The central problem can be modeled as a mixed-integer program with an objective function composed of a convex quadratic loss function and a regularization penalty subject to linear constraints. The optimal solution to this mathematical program is known to have desirable statistical properties under certain conditions. However, the state-of-the-art optimization solvers are not able to obtain provably optimal solutions to the existing mathematical formulations for medium-size problems within reasonable computational times. To address this difficulty, we tackle the problem from both computational and statistical perspectives. On the one hand, we propose a concrete early stopping criterion to terminate the branch-and-bound process in order to obtain a near-optimal solution to the mixed-integer program, and establish the consistency of this approximate solution. On the other hand, we improve the existing formulations by replacing the linear "big-$M$" constraints that represent the relationship between the continuous and binary indicator variables with second-order conic constraints. Our numerical results demonstrate the effectiveness of the proposed approaches.


title: An Observer Design for Visual Simultaneous Localisation and Mapping with Output Equivariance

abstract: Visual Simultaneous Localisation and Mapping (VSLAM) is a key enabling technology for small embedded robotic systems such as aerial vehicles. Recent advances in equivariant filter and observer design offer the potential of a new generation of highly robust algorithms with low memory and computation requirements for embedded system applications. This paper studies observer design on the symmetry group proposed in previous work by the authors, in the case where inverse depth measurements are available. Exploiting this symmetry leads to a simple fully non-linear gradient based observer with almost global asymptotic and local exponential stability properties. Simulation experiments verify the observer design, and demonstrate that the proposed observer achieves similar accuracy to the widely used Extended Kalman Filter with significant gains in processing time (linear verses quadratic bounds with respect to number of landmarks) and qualitative improvements in robustness.


title: Superconducting and Antiferromagnetic Properties of Dual-Phase V$_3$Ga

abstract: The binary compound V$_3$Ga can exhibit two near-equilibrium phases, consisting of the A15 structure that is superconducting, and the Heusler D0$_3$ structure that is semiconducting and antiferromagnetic. Density functional theory calculations show that the two phases are closely degenerate, being separated by only ~10 meV/atom. Magnetization measurements on bulk-grown samples show superconducting behavior below 14 K. These results indicate the possibility of using V$_3$Ga for quantum technology devices utilizing both superconductivity and antiferromagnetism at the same temperature.


title: Linear Permutations and their Compositional Inverses over $\mathbb{F}_{q^n}$

abstract: The use of permutation polynomials has appeared, along to their compositional inverses, as a good choice in the implementation of cryptographic systems. Hence, there has been a demand for constructions of these polynomials which coefficients belong to a finite field. As a particular case of permutation polynomial, involution is highly desired since its compositional inverse is itself. In this work, we present an effective way of how to construct several linear permutation polynomials over $\mathbb{F}_{q^n}$ as well as their compositional inverses using a decomposition of $\displaystyle{\frac{\mathbb{F}_q[x]}{\left\langle x^n -1 \right\rangle}}$ based on its primitive idempotents. As a consequence, an immediate construction of involutions is presented.


title: Pricing Temperature Derivatives under a Time-Changed Levy Model

abstract: The objective of the paper is to price weather contracts using temperature as the underlying process when the later follows a mean-reverting dynamics driven by a time-changed Brownian motion coupled to a Gamma Levy subordinator and time-dependent deterministic volatility. This type of model captures the complexity of the temperature dynamic providing a more accurate valuation of their associate weather contracts. An approximated price is obtained by a Fourier expansion of its characteristic function combined with a selection of the equivalent martingale measure following the Esscher transform proposed in Gerber and Shiu (1994).


title: Testing gravity using galaxy-galaxy lensing and clustering amplitudes in KiDS-1000, BOSS and 2dFLenS

abstract: The physics of gravity on cosmological scales affects both the rate of assembly of large-scale structure, and the gravitational lensing of background light through this cosmic web. By comparing the amplitude of these different observational signatures, we can construct tests that can distinguish general relativity from its potential modifications. We used the latest weak gravitational lensing dataset from the Kilo-Degree Survey, KiDS-1000, in conjunction with overlapping galaxy spectroscopic redshift surveys BOSS and 2dFLenS, to perform the most precise existing amplitude-ratio test. We measured the associated E_G statistic with 15-20% errors, in five dz = 0.1 tomographic redshift bins in the range 0.2 < z < 0.7, on projected scales up to 100 Mpc/h. The scale-independence and redshift-dependence of these measurements are consistent with the theoretical expectation of general relativity in a Universe with matter density Omega_m = 0.27 +/- 0.04. We demonstrate that our results are robust against different analysis choices, including schemes for correcting the effects of source photometric redshift errors, and compare the performance of angular and projected galaxy-galaxy lensing statistics.


title: Core swelling in spherical nuclei: An indication of the saturation of nuclear density

abstract: Background: Nuclear radius is one of the most important and basic properties of atomic nuclei and its evolution is closely related to the saturation of the nuclear density in the internal region but the systematics of the nuclear radii for the neutron-rich unstable nuclei is not well known. Purpose: Motivated by the recent interaction cross section measurement which indicates the 48Ca core swelling in the neutron-rich Ca isotopes, we explore the mechanism of the enhancement of the neutron and proton radii for spherical nuclei. Methods: Microscopic Hartree-Fock calculations with three sets of Skyrme-type effective interactions are performed for the neutron-rich Ca, Ni and Sn isotopes. The total reaction cross sections for the Ca isotopes are evaluated with the Glauber model to compare them with the recent cross section data. Results: We obtain good agreement with the measured cross sections and charge radii. The neutron and proton radii of the various "core" configurations are extracted from the full Hartree-Fock calculation and discuss the core swelling mechanism. Conclusions: The core swelling phenomena occur depending on the properties of the occupying valence single-neutron states to minimize the energy loss that comes from the saturation of the densities in the internal region, which appears to be prominent in light nuclei such as Ca isotopes.


title: Linear programming based evacuation models for a controlled freeway

abstract: A linear programming (LP) model is proposed to improve the performance of a controlled freeway during an emergency evacuation. Based on reasonable assumptions, the main relationships among key factors are kept without the uncertain impact of subordinate factors in this model. Three vital issues related to optimal freeway control during an emergency evacuation are addressed. How to properly realize some predetermined priorities assigned to some on-ramps during an emergency evacuation is analyzed through sensitivity analysis of objective function coefficients. The time-varying throughput capacity of freeway mainline and the storage capacities of on-ramps are also addressed by using sensitivity analysis of the right-hand side (RHS) of corresponding constraints. The last key issue we focused on is how to deal with the uncertain demand in a crude form by applying robust optimization. The methodology presented in this paper can help evacuation managers realize a coordinated ramp metering with predetermined priorities put on some on-ramps during an emergency evacuation. The result obtained by analyzing the impact of time-varying mainline capacity provides the evacuation manager a chance of using the extra capacity in some segments of mainline to buffer the traffic so as to reduce the congestion related to upstream on-ramps. To reduce the risk due to the possible infeasibility of deterministic control approaches in an uncertain situation, we apply an affinely adjustable robust counterpart (AARC) approach to deal with uncertain dynamic demands restricted to polyhedral sets. The preliminary numerical experiments show that the AARC approach provides us with a promising solution comparing to the sampling based stochastic approach.


title: UGC-VQA: Benchmarking Blind Video Quality Assessment for User Generated Content

abstract: Recent years have witnessed an explosion of user-generated content (UGC) videos shared and streamed over the Internet, thanks to the evolution of affordable and reliable consumer capture devices, and the tremendous popularity of social media platforms. Accordingly, there is a great need for accurate video quality assessment (VQA) models for UGC/consumer videos to monitor, control, and optimize this vast content. Blind quality prediction of in-the-wild videos is quite challenging, since the quality degradations of UGC content are unpredictable, complicated, and often commingled. Here we contribute to advancing the UGC-VQA problem by conducting a comprehensive evaluation of leading no-reference/blind VQA (BVQA) features and models on a fixed evaluation architecture, yielding new empirical insights on both subjective video quality studies and VQA model design. By employing a feature selection strategy on top of leading VQA model features, we are able to extract 60 of the 763 statistical features used by the leading models to create a new fusion-based BVQA model, which we dub the \textbf{VID}eo quality \textbf{EVAL}uator (VIDEVAL), that effectively balances the trade-off between VQA performance and efficiency. Our experimental results show that VIDEVAL achieves state-of-the-art performance at considerably lower computational cost than other leading models. Our study protocol also defines a reliable benchmark for the UGC-VQA problem, which we believe will facilitate further research on deep learning-based VQA modeling, as well as perceptually-optimized efficient UGC video processing, transcoding, and streaming. To promote reproducible research and public evaluation, an implementation of VIDEVAL has been made available online: \url{https://github.com/tu184044109/VIDEVAL_release}.


title: Enhancing Foreground Boundaries for Medical Image Segmentation

abstract: Object segmentation plays an important role in the modern medical image analysis, which benefits clinical study, disease diagnosis, and surgery planning. Given the various modalities of medical images, the automated or semi-automated segmentation approaches have been used to identify and parse organs, bones, tumors, and other regions-of-interest (ROI). However, these contemporary segmentation approaches tend to fail to predict the boundary areas of ROI, because of the fuzzy appearance contrast caused during the imaging procedure. To further improve the segmentation quality of boundary areas, we propose a boundary enhancement loss to enforce additional constraints on optimizing machine learning models. The proposed loss function is light-weighted and easy to implement without any pre- or post-processing. Our experimental results validate that our loss function are better than, or at least comparable to, other state-of-the-art loss functions in terms of segmentation accuracy.


title: Adjustable reach in a network centrality based on current flows

abstract: Centrality, which quantifies the "importance" of individual nodes, is among the most essential concepts in modern network theory. Most prominent centrality measures can be expressed as an aggregation of influence flows between pairs of nodes. As there are many ways in which influence can be defined, many different centrality measures are in use. Parametrized centralities allow further flexibility and utility by tuning the centrality calculation to the regime most appropriate for a given network. Here, we identify two categories of centrality parameters. Reach parameters control the attenuation of influence flows between distant nodes. Grasp parameters control the centrality's potential to send influence flows along multiple, often nongeodesic paths. Combining these categories with Borgatti's centrality types [S. P. Borgatti, Social Networks 27, 55-71 (2005)], we arrive at a novel classification system for parametrized centralities. Using this classification, we identify the notable absence of any centrality measures that are radial, reach parametrized, and based on acyclic, conservative flows of influence. We therefore introduce the ground-current centrality, which is a measure of precisely this type. Because of its unique position in the taxonomy, the ground-current centrality has significant advantages over similar centralities. We demonstrate that, compared to other conserved-flow centralities, it has a simpler mathematical description. Compared to other reach centralities, it robustly preserves an intuitive rank ordering across a wide range of network architectures. We also show that it produces a consistent distribution of centrality values among the nodes, neither trivially equally spread (delocalization), nor overly focused on a few nodes (localization). Other reach centralities exhibit both of these behaviors on regular networks and hub networks, respectively.


title: Few-body systems consisting of mesons

abstract: We present a work which is meant to inspire the few-body practitioners to venture into the study of new, more exotic, systems and to hadron physicists, working mostly on two-body problems, to move in the direction of studying related few-body systems. For this purpose we devote the discussions in the introduction to show how the input two-body amplitudes can be easily obtained using techniques of the chiral unitary theory, or its extensions to the heavy quark sector. We then briefly explain how these amplitudes can be used to solve the Faddeev equations or a simpler version obtained by treating the three-body scattering as that of a particle on a fixed center. Further, we give some examples of the results obtained by studying systems involving mesons. We have also addressed the field of many meson systems, which is currently almost unexplored, but for which we envisage a bright future. Finally, we give a complete list of works dealing with unconventional few-body systems involving one or several mesons, summarizing in this way the findings on the topic, and providing a motivation for those willing to investigate such systems.


title: On the distribution of multivariate Jacobi sums

abstract: Let $\mathbf{F}_q$ be a finite field of $q$ elements. We show that the normalized Jacobi sum $q^{-(m-1)/2}J(\chi_1,\dots,\chi_m)$ ($\chi_1\dotsm \chi_m$ nontrivial) is asymptotically equidistributed on the unit circle, when $\chi_1\in \mathcal{A}_1,\dots, \chi_m\in \mathcal{A}_m$ run through arbitrary sets of nontrivial multiplicative characters of $\mathbf{F}_q^\times$, if $\#\mathcal{A}_1\ge q^{\frac{1}{2}+\epsilon}$, $\#\mathcal{A}_2 \ge (\log q)^{\frac{1}{\delta}-1}$ for $\epsilon>\delta>0$ fixed and $q\to \infty$ or if $\#\mathcal{A}_1\#\mathcal{A}_2/q\to \infty$. This extends previous results of Xi, Z. Zheng, and the authors.


title: Unsupervised Feature Selection via Multi-step Markov Transition Probability

abstract: Feature selection is a widely used dimension reduction technique to select feature subsets because of its interpretability. Many methods have been proposed and achieved good results, in which the relationships between adjacent data points are mainly concerned. But the possible associations between data pairs that are may not adjacent are always neglected. Different from previous methods, we propose a novel and very simple approach for unsupervised feature selection, named MMFS (Multi-step Markov transition probability for Feature Selection). The idea is using multi-step Markov transition probability to describe the relation between any data pair. Two ways from the positive and negative viewpoints are employed respectively to keep the data structure after feature selection. From the positive viewpoint, the maximum transition probability that can be reached in a certain number of steps is used to describe the relation between two points. Then, the features which can keep the compact data structure are selected. From the viewpoint of negative, the minimum transition probability that can be reached in a certain number of steps is used to describe the relation between two points. On the contrary, the features that least maintain the loose data structure are selected. And the two ways can also be combined. Thus three algorithms are proposed. Our main contributions are a novel feature section approach which uses multi-step transition probability to characterize the data structure, and three algorithms proposed from the positive and negative aspects for keeping data structure. The performance of our approach is compared with the state-of-the-art methods on eight real-world data sets, and the experimental results show that the proposed MMFS is effective in unsupervised feature selection.


title: Digital twin, physics-based model, and machine learning applied to damage detection in structures

abstract: This work is interested in digital twins, and the development of a simplified framework for them, in the context of dynamical systems. Digital twin is an ingenious concept that helps on organizing different areas of expertise aiming at supporting engineering decisions related to a specific asset; it articulates computational models, sensors, learning, real time analysis, diagnosis, prognosis, and so on. In this framework, and to leverage its capacity, we explore the integration of physics-based models with machine learning. A digital twin is constructed for a damaged structure, where a discrete physics-based computational model is employed to investigate several damage scenarios. A machine learning classifier, that serves as the digital twin, is trained with data taken from a stochastic computational model. This strategy allows the use of an interpretable model (physics-based) to build a fast digital twin (machine learning) that will be connected to the physical twin to support real time engineering decisions. Different classifiers (quadratic discriminant, support vector machines, etc) are tested, and different model parameters (number of sensors, level of noise, damage intensity, uncertainty, operational parameters, etc) are considered to construct datasets for the training. The accuracy of the digital twin depends on the scenario analyzed. Through the chosen application, we are able to emphasize each step of a digital twin construction, including the possibility of integrating physics-based models with machine learning. The different scenarios explored yield conclusions that might be helpful for a large range of applications.


title: Pricing Energy Contracts under Regime Switching Time-Changed models

abstract: The shortcomings of the popular Black-Scholes-Merton (BSM) model have led to models which could more accurately model the behavior of the underlying assets in energy markets, particularly in electricity and future oil prices. In this paper we consider a class of regime switching time-changed Levy processes, which builds upon the BSM model by incorporating jumps through a random clock, as well as randomly varying parameters according to a two-state continuous-time Markov chain. We implement pricing methods based on expansions of the characteristic function as in \cite{Fourier}. Finally, we estimate the parameters of the model by incorporating historic energy data and option quotes using a variety of methods.


title: Diagonal Ridge pattern of different age populations found in Gaia DR2 with LAMOST Main-Sequence-Turn-Off and OB type Stars

abstract: We revisit the diagonal ridge feature (diagonal distributions in the $R, v_{\phi}$ plane) found in $Gaia$ and present timing analysis for it between Galactocentric distances of $R=7.5$ and 12 \,kpc, using Main-Sequence-Turn-Off and OB stars selected from the LAMOST Galactic spectroscopic surveys. We recover the ridge pattern in the $R$--$v_{\phi}$ plane color coded by mean radial velocity and find this feature is presented from very young (OB stars, few hundred \,Myr) to very old populations ($\tau$ = 9$-$14 \,Gyr). Meanwhile, some ridge features are also revealed in the metallicity [Fe/H], [$\alpha$/Fe] and $v_{z}$ distributions. In the $L_{Z}, v_{\phi}$ plane, one of the ridge patterns, with constant angular momentum per unit mass, shows variations with different age populations compared. However, the remaining two ones are relatively stable, implying there might have two kinds of ridge patterns with different dynamical origins and evolution.


title: Extracting low-dimensional psychological representations from convolutional neural networks

abstract: Deep neural networks are increasingly being used in cognitive modeling as a means of deriving representations for complex stimuli such as images. While the predictive power of these networks is high, it is often not clear whether they also offer useful explanations of the task at hand. Convolutional neural network representations have been shown to be predictive of human similarity judgments for images after appropriate adaptation. However, these high-dimensional representations are difficult to interpret. Here we present a method for reducing these representations to a low-dimensional space which is still predictive of similarity judgments. We show that these low-dimensional representations also provide insightful explanations of factors underlying human similarity judgments.


title: Predicted Photo-Induced Topological Phases in Organic Salt $\alpha$-(BEDT-TTF)$_2$I$_3$

abstract: The emergence of photo-induced topological phases and their phase transitions are theoretically predicted in organic salt $\alpha$-(BEDT-TTF)$_2$I$_3$, which possesses inclined Dirac cones in its band structure. By analyzing a photo-driven tight-binding model describing conduction electrons in the BEDT-TTF layer using the Floquet theorem, we demonstrate that irradiation with circularly polarized light opens a gap at the Dirac points, and the system eventually becomes a Chern insulator characterized by a quantized topological invariant. A rich phase diagram is obtained in plane of amplitude and frequency of light, which contains Chern insulator, semimetal, and normal insulator phases. We find that the photo-induced Hall conductivity provides a sensitive means to detect the predicted phase evolutions experimentally. This work contributes towards developing the optical manipulation of electronic states in matter through broadening the range of target materials that manifest photo-induced topological phase transitions.


title: Variations in the distribution of principally polarized abelian varieties among isogeny classes

abstract: We show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (for which the result was already known), as well as the order $R$ generated over $\mathbf{Z}$ by Frobenius and Verschiebung. For this latter order, we can use results of Louboutin to estimate the appropriate ratio of class numbers in terms of the size of the base field and the Frobenius angles of the isogeny class. The error terms in our estimates are quite large, but the trigonometric terms in the estimate are suggestive: Combined with a result of Vladut on the distribution of Frobenius angles of isogeny classes, they give a heuristic argument in support of the theorem of Katz and Sarnak on the limiting distribution of the multiset of Frobenius angles for principally polarized abelian varieties of a fixed dimension over finite fields.


title: The MeerKAT Telescope as a Pulsar Facility: System verification and early science results from MeerTime

abstract: We describe system verification tests and early science results from the pulsar processor (PTUSE) developed for the newly-commissioned 64-dish SARAO MeerKAT radio telescope in South Africa. MeerKAT is a high-gain (~2.8 K/Jy) low-system temperature (~18 K at 20cm) radio array that currently operates from 580-1670 MHz and can produce tied-array beams suitable for pulsar observations. This paper presents results from the MeerTime Large Survey Project and commissioning tests with PTUSE. Highlights include observations of the double pulsar J0737-3039A, pulse profiles from 34 millisecond pulsars from a single 2.5h observation of the Globular cluster Terzan 5, the rotation measure of Ter5O, a 420-sigma giant pulse from the Large Magellanic Cloud pulsar PSR J0540-6919, and nulling identified in the slow pulsar PSR J0633-2015. One of the key design specifications for MeerKAT was absolute timing errors of less than 5 ns using their novel precise time system. Our timing of two bright millisecond pulsars confirm that MeerKAT delivers exceptional timing. PSR J2241-5236 exhibits a jitter limit of <4 ns per hour whilst timing of PSR J1909-3744 over almost 11 months yields an rms residual of 66 ns with only 4 min integrations. Our results confirm that the MeerKAT is an exceptional pulsar telescope. The array can be split into four separate sub-arrays to time over 1000 pulsars per day and the future deployment of S-band (1750-3500 MHz) receivers will further enhance its capabilities.


title: Logarithmic derivations associated to line arrangements

abstract: In this paper we give full classification of rank 3 line arrangements in $\mathbb P^2$ (over a field of characteristic 0) that have a minimal logarithmic derivation of degree 3. The classification presents their defining polynomials, up to a change of variables, with their corresponding affine pictures. We also analyze the shape of such a logarithmic derivation, towards obtaining criteria for a line arrangement to possess a cubic minimal logarithmic derivation.


title: Mn-site doping and its effect on inverted hysteresis and thermomagnetic irreversibility behavior of antiferromagnetic Mn$_5$Si$_3$ alloy

abstract: The structural and magnetic behavior of Mn-site doped intermetallic manganese silicide alloys of nominal compositions Mn$_{5-x}$A$_x$Si$_3$ ($x$ = 0.05, 0.1, 0.2 and A = Ni, Cr) have been investigated with a focus to the inverted hysteresis behavior and thermomagnetic irreversibility. Room temperature x-ray powder diffraction data confirm that all the doped alloys crystallize in hexagonal $D8_8$ type structure with space group $P6_3/mcm$. The doped alloys are found to show paramagnetic (PM) - collinear antiferromagnetic (AFM2) - noncollinear antiferromagnetic (AFM1) transitions during cooling from room temperature. A significant decrease in the critical values of both AFM1-AFM2 transition temperatures and fields have been observed with the increasing Ni/Cr concentration. Inverted hysteresis loop, field-induced arrest, and thermomagnetic arrest, the key features of the undoped Mn$_5$Si$_3$ alloy, are found to be significantly affected by the Mn-site doping and eventually vanishes with 4\% doping.


title: On applications of quantum computing to plasma simulations

abstract: Quantum computing is gaining increased attention as a potential way to speed up simulations of physical systems, and it is also of interest to apply it to simulations of classical plasmas. However, quantum information science is traditionally aimed at modeling linear Hamiltonian systems of a particular form that is found in quantum mechanics, so extending the existing results to plasma applications remains a challenge. Here, we report a preliminary exploration of the long-term opportunities and likely obstacles in this area. First, we show that many plasma-wave problems are naturally representable in a quantumlike form and thus are naturally fit for quantum computers. Second, we consider more general plasma problems that include non-Hermitian dynamics (instabilities, irreversible dissipation) and nonlinearities. We show that by extending the configuration space, such systems can also be represented in a quantumlike form and thus can be simulated with quantum computers too, albeit that requires more computational resources compared to the first case. Third, we outline potential applications of hybrid quantum--classical computers, which include analysis of global eigenmodes and also an alternative approach to nonlinear simulations.


title: Constructing Human Motion Manifold with Sequential Networks

abstract: This paper presents a novel recurrent neural network-based method to construct a latent motion manifold that can represent a wide range of human motions in a long sequence. We introduce several new components to increase the spatial and temporal coverage in motion space while retaining the details of motion capture data. These include new regularization terms for the motion manifold, combination of two complementary decoders for predicting joint rotations and joint velocities, and the addition of the forward kinematics layer to consider both joint rotation and position errors. In addition, we propose a set of loss terms that improve the overall quality of the motion manifold from various aspects, such as the capability of reconstructing not only the motion but also the latent manifold vector, and the naturalness of the motion through adversarial loss. These components contribute to creating compact and versatile motion manifold that allows for creating new motions by performing random sampling and algebraic operations, such as interpolation and analogy, in the latent motion manifold.


title: Uncertainty Quantification and Composition Optimization for Alloy Additive Manufacturing Through a CALPHAD-based ICME Framework

abstract: During powder production, the pre-alloyed powder composition often deviates from the target composition leading to undesirable properties of additive manufacturing (AM) components. Therefore, we developed a method to perform high-throughput calculation and uncertainty quantification by using a CALPHAD-based ICME framework (CALPHAD: calculations of phase diagrams, ICME: integrated computational materials engineering) to optimize the composition, and took the high-strength low-alloy steel (HSLA) as a case study. We analyzed the process-structure-property relationships for 450,000 compositions around the nominal composition of HSLA-115. Properties that are critical for the performance, such as yield strength, impact transition temperature, and weldability, were evaluated to optimize the composition. With the same uncertainty as the initial composition, an optimized average composition has been determined, which increased the probability of achieving successful AM builds by 44.7%. The present strategy is general and can be applied to other alloy composition optimization to expand the choices of alloy for additive manufacturing. Such a method also calls for high-quality CALPHAD databases and predictive ICME models.


title: Multimodal Bayesian Registration of Noisy Functions using Hamiltonian Monte Carlo

abstract: Functional data registration is a necessary processing step for many applications. The observed data can be inherently noisy, often due to measurement error or natural process uncertainty, which most functional alignment methods cannot handle. A pair of functions can also have multiple optimal alignment solutions, which is not addressed in current literature. In this paper, a flexible Bayesian approach to functional alignment is presented, which appropriately accounts for noise in the data without any pre-smoothing required. Additionally, by running parallel MCMC chains, the method can account for multiple optimal alignments via the multi-modal posterior distribution of the warping functions. To most efficiently sample the warping functions, the approach relies on a modification of the standard Hamiltonian Monte Carlo to be well-defined on the infinite-dimensional Hilbert space. This flexible Bayesian alignment method is applied to both simulated data and real data sets to show its efficiency in handling noisy functions and successfully accounting for multiple optimal alignments in the posterior; characterizing the uncertainty surrounding the warping functions.


title: CodeMatcher: Searching Code Based on Sequential Semantics of Important Query Words

abstract: To accelerate software development, developers frequently search and reuse existing code snippets from a large-scale codebase, e.g., GitHub. Over the years, researchers proposed many information retrieval based models for code search, but they fail to connect the semantic gap between query and code. An early successful deep learning based model DeepCS solved this issue by learning the relationship between pairs of code methods and corresponding natural language descriptions. Two major advantages of DeepCS are the capability of understanding irrelevant/noisy keywords and capturing sequential relationships between words in query and code. In this paper, we proposed an IR-based model CodeMatcher that inherits the advantages of DeepCS, while it can leverage the indexing technique in the IR-based model to accelerate the search response time substantially. CodeMatcher first collects metadata for query words to identify irrelevant/noisy ones, then iteratively performs fuzzy search with important query words on the codebase that is indexed by the Elasticsearch tool, and finally reranks a set of returned candidate code according to how the tokens in the candidate code snippet sequentially matched the important words in a query. We verified its effectiveness on a large-scale codebase with ~41k repositories. Experimental results showed that CodeMatcher achieves an MRR of 0.60, outperforming DeepCS, CodeHow, and UNIF by 82%, 62%, and 46% respectively. Our proposed model is over 1.2k times faster than DeepCS. Moreover, CodeMatcher outperforms GitHub and Google search by 46% and 33% respectively in terms of MRR. We also observed that: fusing the advantages of IR-based and DL-based models is promising; improving the quality of method naming helps code search, since method name plays an important role in connecting query and code.


title: Dielectric Screening by 2D Substrates

abstract: Two-dimensional (2D) materials are increasingly being used as active components in nanoscale devices. Many interesting properties of 2D materials stem from the reduced and highly non-local electronic screening in two dimensions. While electronic screening within 2D materials has been studied extensively, the question still remains of how 2D substrates screen charge perturbations or electronic excitations adjacent to them. Thickness-dependent dielectric screening properties have recently been studied using electrostatic force microscopy (EFM) experiments. However, it was suggested that some of the thickness-dependent trends were due to extrinsic effects. Similarly, Kelvin probe measurements (KPM) indicate that charge fluctuations are reduced when BN slabs are placed on SiO$_2$, but it is unclear if this effect is due to intrinsic screening from BN. In this work, we use first principles calculations to study the fully non-local dielectric screening properties of 2D material substrates. Our simulations give results in good qualitative agreement with those from EFM experiments, for hexagonal boron nitride (BN), graphene and MoS$_2$, indicating that the experimentally observed thickness-dependent screening effects are intrinsic to the 2D materials. We further investigate explicitly the role of BN in lowering charge potential fluctuations arising from charge impurities on an underlying SiO$_2$ substrate, as observed in the KPM experiments. 2D material substrates can also dramatically change the HOMO-LUMO gaps of adsorbates, especially for small molecules, such as benzene. We propose a reliable and very quick method to predict the HOMO-LUMO gap of small physisorbed molecules on 2D and 3D substrates, using only the band gap of the substrate and the gas phase gap of the molecule.


title: Shareability of Quantum Steering and its Relation with Entanglement

abstract: Steerability is a characteristic of quantum correlations lying in between entanglement and Bell nonlocality. Understanding how these steering correlations can be shared between different parties has profound applications in ensuring security of quantum communication protocols. Here we show that at most two bipartite reduced states of a three qubit state can violate the three settings CJWR linear steering inequality contrary to two settings linear steering inequality. This result explains that quantum steering correlations have limited shareability properties and can sometimes even be nonmonogamous. In contrast to the two setting measurement scenario, three setting scenario turns out to be more useful to develop deeper understanding of shareability of tripartite steering correlations. Apart from distribution of steering correlations, several relations between reduced bipartite steering, different measures of bipartite entanglement of reduced states and genuine tripartite entanglement are presented here. The results enable detection of different kind of tripartite entanglement.


title: A Light-Weighted Convolutional Neural Network for Bitemporal SAR Image Change Detection

abstract: Recently, many Convolution Neural Networks (CNN) have been successfully employed in bitemporal SAR image change detection. However, most of the existing networks are too heavy and occupy a large volume of memory for storage and calculation. Motivated by this, in this paper, we propose a lightweight neural network to reduce the computational and spatial complexity and facilitate the change detection on an edge device. In the proposed network, we replace normal convolutional layers with bottleneck layers that keep the same number of channels between input and output. Next, we employ dilated convolutional kernels with a few non-zero entries that reduce the running time in convolutional operators. Comparing with the conventional convolutional neural network, our light-weighted neural network will be more efficient with fewer parameters. We verify our light-weighted neural network on four sets of bitemporal SAR images. The experimental results show that the proposed network can obtain better performance than the conventional CNN and has better model generalization, especially on the challenging datasets with complex scenes.


title: Quasilinear elliptic equations with sub-natural growth terms in bounded domains

abstract: We consider the existence of positive solutions to weighted quasilinear elliptic differential equations of the type \[ \begin{cases} - \Delta_{p, w} u = \sigma u^{q} & \text{in $\Omega$}, \\ u = 0 & \text{on $\partial \Omega$} \end{cases} \] in the sub-natural growth case $0 < q < p - 1$, where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$, $\Delta_{p, w}$ is a weighted $p$-Laplacian, and $\sigma$ is a nonnegative (locally finite) Radon measure on $\Omega$. We give criteria for the existence problem. For the proof, we investigate various properties of $p$-superharmonic functions, especially the solvability of Dirichlet problems with infinite measure data.


title: No point-localized photon states

abstract: The aim of this paper is to critically examine claims that it is possible to construct point-localized state vectors for the photon. We supply a brief proof of the impossibility of this. Then it is found that the authors making these claims use a non-standard scalar product, not equal to the quantum-mechanical one. This alternative scalar product is found to be proportional to a Dirac delta function in position for the state vectors they use, but the remaining elements of the proof, namely satisfying all three Newton-Wigner criteria, are lacking.


title: Analytic properties of Ohno function

abstract: Ohno's relation is a well-known relation on the field of the multiple zeta values and has an interpolation to complex function. In this paper, we call its complex function Ohno function and study it. We consider the region of absolute convergence, give some new expressions, and show new relations of the function. We also give a direct proof of the interpolation of Ohno's relation.


title: Comparison of Image Scale Calibration Techniques: Known Pairs, Drift Scans and Aperture Grating

abstract: We compared several techniques for calibrating angular separation between wide (>1 arcsec) pairs. These techniques are (i) reference pair calibration using {\alpha} Cen AB orbital parameters, (ii) the video drift method, and (iii) the utilisation of an aperture diffraction grating with red filters of different passbands. Separations of 62 pairs were determined using these 3 calibration techniques and compared. It was found that {\alpha} Cen AB and video drift methods are in good agreement. The use of the grating and filter (by measuring fringe spacing) proved unsatisfactory for the broad-band filters, and the use of a narrow band H{\alpha} filter with the grating, resulted in image scales that differed from those obtained using {\alpha} Cen AB reference pair calibration and the video drift method by 0.024 and 0.031 pixel/arcsec (px/arcsec) respectively. A more complete modelling of Fraunhofer diffraction of the H{\alpha} filter and grating produced a difference in image scale of 0.009 px/arcsec. A bias in the diffraction grating method of ~0.1% in the separation of pairs also revealed itself and could not be accounted for. We conclude that calibration against a known pair for which the separation and PA is known with high precision is probably the simplest and best way to undertake image scale calibration.


title: Bayesian network structure learning with causal effects in the presence of latent variables

abstract: Latent variables may lead to spurious relationships that can be misinterpreted as causal relationships. In Bayesian Networks (BNs), this challenge is known as learning under causal insufficiency. Structure learning algorithms that assume causal insufficiency tend to reconstruct the ancestral graph of a BN, where bi-directed edges represent confounding and directed edges represent direct or ancestral relationships. This paper describes a hybrid structure learning algorithm, called CCHM, which combines the constraint-based part of cFCI with hill-climbing score-based learning. The score-based process incorporates Pearl s do-calculus to measure causal effects and orientate edges that would otherwise remain undirected, under the assumption the BN is a linear Structure Equation Model where data follow a multivariate Gaussian distribution. Experiments based on both randomised and well-known networks show that CCHM improves the state-of-the-art in terms of reconstructing the true ancestral graph.


title: Efficient Discrete Feature Encoding for Variational Quantum Classifier

abstract: Recent days have witnessed significant interests in applying quantum-enhanced techniques for solving a variety of machine learning tasks. Variational methods that use quantum resources of imperfect quantum devices with the help of classical computing techniques are popular for supervised learning. Variational quantum classification (VQC) is one of such methods with possible quantum advantage in using quantum-enhanced features that are hard to compute by classical methods. Its performance depends on the mapping of classical features into a quantum-enhanced feature space. Although there have been many quantum-mapping functions proposed so far, there is little discussion on efficient mapping of discrete features, such as age group, zip code, and others, which are often significant for classifying datasets of interest. We first introduce the use of quantum random-access coding (QRAC) to map such discrete features efficiently into limited number of qubits for VQC. In numerical simulations, we present a range of encoding strategies and demonstrate their limitations and capabilities. We experimentally show that QRAC can help speeding up the training of VQC by reducing its parameters via saving on the number of qubits for the mapping. We confirm the effectiveness of the QRAC in VQC by experimenting on classification of real-world datasets with both simulators and real quantum devices.


title: Erasure Broadcast Channels with Intermittent Feedback

abstract: Achievable data rates in wireless systems rely heavily on the available channel state information (CSI) throughout the network. However, feedback links, which provide this information, are scarce, unreliable, and subject to security threats. In this work, we study the impact of having intermittent feedback links on the capacity region of the canonical two-user erasure broadcast channels. In our model, at any time instant, each receiver broadcasts its CSI, and at any other node, this information either becomes available with unit delay or gets erased. For this setting, we develop a new set of outer bounds to capture the intermittent nature of the feedback links. These outer bounds depend on the probability that the CSI from both receivers are erased at the transmitter. In particular, if at any time, the CSI from at least one of the two receivers is available at the other two nodes, then the outer-bounds match the capacity with global delayed CSI. We also provide capacity-achieving transmission strategies under certain scenarios, and we establish a connection between this problem and Blind Index Coding with feedback.


title: Integer colorings with forbidden rainbow sums

abstract: For a set of positive integers $A \subseteq [n]$, an $r$-coloring of $A$ is rainbow sum-free if it contains no rainbow Schur triple. In this paper we initiate the study of the rainbow Erd\H{o}s-Rothchild problem in the context of sum-free sets, which asks for the subsets of $[n]$ with the maximum number of rainbow sum-free $r$-colorings. We show that for $r=3$, the interval $[n]$ is optimal, while for $r\geq8$, the set $[\lfloor n/2 \rfloor, n]$ is optimal. We also prove a stability theorem for $r\geq4$. The proofs rely on the hypergraph container method, and some ad-hoc stability analysis.


title: Flow electrification of corona-charged polyethylene terephthalate film

abstract: Corona charging a free-standing polymer film can produce a quasi-permanent potential difference across the film thickness, while the absolute amplitude of surface voltage may be highly sensitive to the free charges. To precisely control the voltage distribution, we investigated the flow electrification technology, by exposing corona-charged polyethylene terephthalate films to a variety of sodium salt solutions. The surface voltage and the free charge density were adjusted by the salt concentration, the anion size, and the flow rate. The dipolar component of electric potential remained unchanged. This result has significant scientific interest and technological importance to surface treatment, filtration, energy harvesting, bio-actuation and bio-sensing, among others.


title: Controlling Length in Image Captioning

abstract: We develop and evaluate captioning models that allow control of caption length. Our models can leverage this control to generate captions of different style and descriptiveness.


title: Characteristics of aquatic biospheres on temperate planets around Sun-like stars and M-dwarfs

abstract: Aquatic biospheres reliant on oxygenic photosynthesis are expected to play an important role on Earth-like planets endowed with large-scale oceans insofar as carbon fixation (i.e., biosynthesis of organic compounds) is concerned. We investigate the properties of aquatic biospheres comprising Earth-like biota for habitable rocky planets orbiting Sun-like stars and late-type M-dwarfs such as TRAPPIST-1. In particular, we estimate how these characteristics evolve with the available flux of photosynthetically active radiation (PAR) and the ambient ocean temperature ($T_W$), the latter of which constitutes a key environmental variable. We show that many salient properties, such as the depth of the photosynthesis zone and the net primary productivity (i.e., the effective rate of carbon fixation), are sensitive to PAR flux and $T_W$ and decline substantially when the former is decreased or the latter is increased. We conclude by exploring the implications of our analysis for exoplanets around Sun-like stars and M-dwarfs.


title: Algorithms for reconstruction over single and multiple deletion channels

abstract: Recent advances in DNA sequencing technology and DNA storage systems have rekindled the interest in deletion channels. Multiple recent works have looked at variants of sequence reconstruction over a single and over multiple deletion channels, a notoriously difficult problem due to its highly combinatorial nature. Although works in theoretical computer science have provided algorithms which guarantee perfect reconstruction with multiple independent observations from the deletion channel, they are only applicable in the large blocklength regime and more restrictively, when the number of observations is also large. Indeed, with only a few observations, perfect reconstruction of the input sequence may not even be possible in most cases. In such situations, maximum likelihood (ML) and maximum aposteriori (MAP) estimates for the deletion channels are natural questions that arise and these have remained open to the best of our knowledge. In this work, we take steps to answer the two aforementioned questions. Specifically: 1. We show that solving for the ML estimate over the single deletion channel (which can be cast as a discrete optimization problem) is equivalent to solving its relaxation, a continuous optimization problem; 2. We exactly compute the symbolwise posterior distributions (under some assumptions on the priors) for both the single as well as multiple deletion channels. As part of our contributions, we also introduce tools to visualize and analyze error events, which we believe could be useful in other related problems concerning deletion channels.


title: Optical guiding in meter-scale plasma waveguides

abstract: We demonstrate a new highly tunable technique for generating meter-scale low density plasma waveguides. Such guides can enable electron acceleration to tens of GeV in a single stage. Plasma waveguides are imprinted in hydrogen gas by optical field ionization induced by two time-separated Bessel beam pulses: The first pulse, a J_0 beam, generates the core of the waveguide, while the delayed second pulse, here a J_8 or J_16 beam, generates the waveguide cladding. We demonstrate guiding of intense laser pulses over hundreds of Rayleigh lengths with on axis plasma densities as low as N_e0=5x10^16 cm^-3.


title: Privacy-Protection Drone Patrol System based on Face Anonymization

abstract: The robot market has been growing significantly and is expected to become 1.5 times larger in 2024 than what it was in 2019. Robots have attracted attention of security companies thanks to their mobility. These days, for security robots, unmanned aerial vehicles (UAVs) have quickly emerged by highlighting their advantage: they can even go to any hazardous place that humans cannot access. For UAVs, Drone has been a representative model and has several merits to consist of various sensors such as high-resolution cameras. Therefore, Drone is the most suitable as a mobile surveillance robot. These attractive advantages such as high-resolution cameras and mobility can be a double-edged sword, i.e., privacy infringement. Surveillance drones take videos with high-resolution to fulfill their role, however, those contain a lot of privacy sensitive information. The indiscriminate shooting is a critical issue for those who are very reluctant to be exposed. To tackle the privacy infringement, this work proposes face-anonymizing drone patrol system. In this system, one person's face in a video is transformed into a different face with facial components maintained. To construct our privacy-preserving system, we have adopted the latest generative adversarial networks frameworks and have some modifications on losses of those frameworks. Our face-anonymzing approach is evaluated with various public face-image and video dataset. Moreover, our system is evaluated with a customized drone consisting of a high-resolution camera, a companion computer, and a drone control computer. Finally, we confirm that our system can protect privacy sensitive information with our face-anonymzing algorithm while preserving the performance of robot perception, i.e., simultaneous localization and mapping.


title: Stochastic Modeling of Distance to Collision for Robot Manipulators

abstract: Evaluating distance to collision for robot manipulators is useful for assessing the feasibility of a robot configuration or for defining safe robot motion in unpredictable environments. However, distance estimation is a timeconsuming operation, and the sensors involved in measuring the distance are always noisy. A challenge thus exists in evaluating the expected distance to collision for safer robot control and planning. In this work, we propose the use of Gaussian process (GP) regression and the forward kinematics (FK) kernel (a similarity function for robot manipulators) to efficiently and accurately estimate distance to collision. We show that the GP model with the FK kernel achieves 70 times faster distance evaluations compared to a standard geometric technique, and up to 13 times more accurate evaluations compared to other regression models, even when the GP is trained on noisy distance measurements. We employ this technique in trajectory optimization tasks and observe 9 times faster optimization than with the noise-free geometric approach yet obtain similar optimized motion plans. We also propose a confidence-based hybrid model that uses model-based predictions in regions of high confidence and switches to a more expensive sensor-based approach in other areas, and we demonstrate the usefulness of this hybrid model in an application involving reaching into a narrow passage.


title: Recurrence in the evolution of air transport networks

abstract: Changes in air transport networks over time may be induced by competition among carriers, changes in regulations on airline industry, and socioeconomic events such as terrorist attacks and epidemic outbreaks. Such network changes may reflect corporate strategies of each carrier. In the present study, we propose a framework for analyzing evolution patterns in temporal networks in discrete time from the viewpoint of recurrence. Recurrence implies that the network structure returns to one relatively close to that in the past. We applied the proposed methods to four major carriers in the US from 1987 to 2019. We found that the carriers were different in terms of the autocorrelation, strength of periodicity, and changes in these quantities across decades. We also found that the network structure of the individual carriers abruptly changes from time to time. Such a network change reflects changes in their operation at their hub airports rather than famous socioeconomic events that look closely related to airline industry. The proposed methods are expected to be useful for revealing, for example, evolution of airline alliances and responses to natural disasters or infectious diseases, as well as characterizing evolution of social, biological, and other networks over time.


title: Moderate Deviations for the SSEP with a Slow Bond

abstract: We consider the one dimensional symmetric simple exclusion process with a slow bond. In this model, particles cross each bond at rate $N^2$, except one particular bond, the slow bond, where the rate is $N$. Above, $N$ is the scaling parameter. This model has been considered in the context of hydrodynamic limits, fluctuations and large deviations. We investigate moderate deviations from hydrodynamics and obtain a moderate deviation principle.


title: Quantum Hall studies of a Semi-Dirac Nanoribbon

abstract: Here we comprehensively investigate Landau levels, Hofstadter butterfly and transport properties of a semi-Dirac nanoribbon in a perpendicular magnetic field using a recently developed real-space implementation of the Kubo formula based on Kernel Polynomial Method. A Dirac ribbon is considered to compare and contrast our results for a semi-Dirac system. We find that the Landau levels being non-equidistant from each other for the semi-Dirac case (true for a Dirac as well), the flatness of the energy bands vanishes in the bulk and becomes dispersive for a semi-Dirac ribbon in contrast to a Dirac system. This feature is most discernible for intermediate values of the external field. We further compute the longitudinal ($\sigma_{xx}$ and $\sigma_{yy}$) and the transverse or Hall ($\sigma_{xy}$) conductivities where the Hall conductivity shows a familiar quantization, namely, $\sigma_{xy} \propto 2n$ (the factor `2' includes the spin degeneracy) which is highly distinct from a Dirac system, such as graphene. We also observe anisotropic behavior in magneto-transport in a semi-Dirac ribbon owing to the dispersion anomalies in two different longitudinal directions. Our studies may have important ramifications for monolayer phosphorene.


title: Thermal Insulating Polymer-Air Multilayer for Window Energy Efficiency

abstract: Polymer-air multilayer (PAM) was developed to decrease the heat loss through window glass panes. A PAM consists of a few polymer films separated from each other by air gaps. Thanks to the excellent optical properties of the polymer films, the visual transmittance of PAM is higher than 70%, and the haze is less than 2%. PAM not only has mechanisms to reduce the conductive and convective heat transfer, but also can obstruct the radiative heat transfer. With a 4~6 mm thick PAM coating, the U-factor of a glass pane can be lowered from above 1 Btu/{{h}{ft}^2{{\deg}F}} to 0.5~0.6 Btu/{{h}{ft}^2{{\deg}F}} .PAM is resilient and robust, relevant to the window retrofitting applications.