title: Opers for higher states of quantum KdV models

abstract: We study the ODE/IM correspondence for all states of the quantum $\widehat{\mathfrak{g}}$-KdV model, where $\widehat{\mathfrak{g}}$ is the affinization of a simply-laced simple Lie algebra $\mathfrak{g}$. We construct quantum $\widehat{\mathfrak{g}}$-KdV opers as an explicit realization of the class of opers introduced by Feigin and Frenkel, which are defined by fixing the singularity structure at $0$ and $\infty$, and by allowing a finite number of additional singular terms with trivial monodromy. We prove that the generalized monodromy data of the quantum $\widehat{\mathfrak{g}}$-KdV opers satisfy the Bethe Ansatz equations of the quantum $\widehat{\mathfrak{g}}$-KdV model. The trivial monodromy conditions are equivalent to a complete system of algebraic equations for the additional singularities.


title: Quantum dynamics and spectroscopy of dihalogens in solid matrices. II. Theoretical aspects and G-MCTDH simulations of time-resolved coherent Raman spectra of Schr\"odinger cat states of the embedded $\mathrm{I_2 Kr_{18}}$ cluster

abstract: This companion paper to [D. Picconi et al., J. Chem. Phys. 150 (2019)] presents quantum dynamical simulations, using the Gaussian-based multiconfigurational time-dependent Hartree (G-MCTDH) method, of time-resolved coherent Raman four-wave-mixing spectroscopic experiments for the iodine molecule embedded in a cryogenic crystal krypton matrix. These experiments monitor the time-evolving vibrational coherence between two wave packets created in a quantum superposition (i. e. a 'Schr\"odinger cat state') by a pair of pump pulses which induce electronic $B\ ^3\Pi_u\left(0^+\right) \longleftarrow X\ ^1\Sigma_g^+$ transitions. A theoretical description of the spectroscopic measurement is developed, which elucidates the connection between the nonlinear signals and the wave packet coherence. The analysis provides an effective means to simulate the spectra for several different optical conditions with a minimum number of quantum dynamical propagations. The G-MCTDH method is used to calculate and interpret the time-resolved coherent Raman spectra of two selected initial superpositions for a $\mathrm{I_2 Kr_{18}}$ cluster embedded in a frozen Kr cage. The time- and frequency-dependent signals carry information about the molecular mechanisms of dissipation and decoherence, which involve vibrational energy transfer to the stretching mode of the four 'belt' Kr atoms. The details of these processes and the number of active solvent modes depend in a non-trivial way on the specific initial superposition.


title: BOLIB: Bilevel Optimization LIBrary of test problems

abstract: This chapter presents the Bilevel Optimization LIBrary of the test problems (BOLIB for short), which contains a collection of test problems, with continuous variables, to help support the development of numerical solvers for bilevel optimization. The library contains 173 examples with 138 nonlinear, 24 linear, and 11 simple bilevel optimization problems. This BOLIB collection is probably the largest bilevel optimization library of test problems. Moreover, as the library is computationenabled with the MATLAB m-files of all the examples, it provides a uniform basis for testing and comparing algorithms. The library, together with all the related codes, is freely available at biopt.github.io/bolib.


title: InGAN: Capturing and Remapping the "DNA" of a Natural Image

abstract: Generative Adversarial Networks (GANs) typically learn a distribution of images in a large image dataset, and are then able to generate new images from this distribution. However, each natural image has its own internal statistics, captured by its unique distribution of patches. In this paper we propose an "Internal GAN" (InGAN) - an image-specific GAN - which trains on a single input image and learns its internal distribution of patches. It is then able to synthesize a plethora of new natural images of significantly different sizes, shapes and aspect-ratios - all with the same internal patch-distribution (same "DNA") as the input image. In particular, despite large changes in global size/shape of the image, all elements inside the image maintain their local size/shape. InGAN is fully unsupervised, requiring no additional data other than the input image itself. Once trained on the input image, it can remap the input to any size or shape in a single feedforward pass, while preserving the same internal patch distribution. InGAN provides a unified framework for a variety of tasks, bridging the gap between textures and natural images.


title: Accurate control of a pan-tilt system based on parameterization of rotational motion

abstract: A pan-tilt camera system has been adopted by a variety of fields since it can cover a wide range of region compared to a single fixated camera setup. Yet many studies rely on factory-assembled and calibrated platforms and assume an ideal rotation where rotation axes are perfectly aligned with the optical axis of the local camera. However, in a user-created setup where a pan-tilting mechanism is arbitrarily assembled, the kinematic configurations may be inaccurate or unknown, violating ideal rotation. These discrepancies in the model with the real physics result in erroneous servo manipulation of the pan-tilting system. In this paper, we propose an accurate control mechanism for arbitrarily-assembled pan-tilt camera systems. The proposed method formulates pan-tilt rotations as motion along great circle trajectories and calibrates its model parameters, such as positions and vectors of rotation axes, in 3D space. Then, one can accurately servo pan-tilt rotations with pose estimation from inverse kinematics of their transformation. The comparative experiment demonstrates out-performance of the proposed method, in terms of accurately localizing target points in world coordinates, after being rotated from their captured camera frames.


title: AIR: Anywhere Immersive Reality with User-Perspective Projection

abstract: Projection-based augmented reality (AR) has much potential, but is limited in that it requires burdensome installations and prone to geometric distortions on display surface. To overcome these limitations, we propose AIR. It can be carried and placed anywhere to project AR using pan/tilting motors, while providing the user with distortion-free projection of a correct 3D view.


title: $R$-matrix with Time-dependence Theory for Ultrafast Atomic Processes in Arbitrary Light Fields

abstract: We describe an ab initio and non-perturbative $R$-matrix with time-dependence theory for ultrafast atomic processes in light fields of arbitrary polarization. The theory is applicable to complex, multielectron atoms and atomic ions subject to ultrashort (particularly few-femtosecond and attosecond) laser pulses with any given ellipticity, and generalizes previous time-dependent $R$-matrix techniques restricted to linearly polarized fields. We discuss both the fundamental equations, required to propagate the multielectron wavefunction in time, as well as the computational developments necessary for their efficient numerical solution. To verify the accuracy of our approach, we investigate the two-photon ionization of He, irradiated by a pair of time-delayed, circularly polarized, femtosecond laser pulses, and compare photoelectron momentum distributions, in the polarization plane, with those obtained from recent time-dependent close-coupling calculations. The predictive capabilities of our approach are further demonstrated through a study of single-photon detachment from F$^{-}$ in a circularly polarized, femtosecond laser pulse, where the relative contribution of the co- and counter-rotating $2p$ electrons is quantified.


title: Learning to Caption Images through a Lifetime by Asking Questions

abstract: In order to bring artificial agents into our lives, we will need to go beyond supervised learning on closed datasets to having the ability to continuously expand knowledge. Inspired by a student learning in a classroom, we present an agent that can continuously learn by posing natural language questions to humans. Our agent is composed of three interacting modules, one that performs captioning, another that generates questions and a decision maker that learns when to ask questions by implicitly reasoning about the uncertainty of the agent and expertise of the teacher. As compared to current active learning methods which query images for full captions, our agent is able to ask pointed questions to improve the generated captions. The agent trains on the improved captions, expanding its knowledge. We show that our approach achieves better performance using less human supervision than the baselines on the challenging MSCOCO dataset.


title: Fuzzy expert system for prediction of prostate cancer

abstract: A fuzzy expert system (FES) for the prediction of prostate cancer (PC) is prescribed in this article. Age, prostate-specific antigen (PSA), prostate volume (PV) and $\%$ Free PSA ($\%$FPSA) are fed as inputs into the FES and prostate cancer risk (PCR) is obtained as the output. Using knowledge based rules in Mamdani type inference method the output is calculated. If PCR $\ge 50\%$, then the patient shall be advised to go for a biopsy test for confirmation. The efficacy of the designed FES is tested against a clinical data set. The true prediction for all the patients turns out to be $68.91\%$ whereas only for positive biopsy cases it rises to $73.77\%$. This simple yet effective FES can be used as supportive tool for decision making in medical diagnosis.


title: Improving robustness of classifiers by training against live traffic

abstract: Deep learning models are known to be overconfident in their predictions on out of distribution inputs. This is a challenge when a model is trained on a particular input dataset, but receives out of sample data when deployed in practice. Recently, there has been work on building classifiers that are robust to out of distribution samples by adding a regularization term that maximizes the entropy of the classifier output on out of distribution data. However, given the challenge that it is not always possible to obtain out of distribution samples, the authors suggest a GAN based alternative that is independent of specific knowledge of out of distribution samples. From this existing work, we also know that having access to the true out of sample distribution for regularization works significantly better than using samples from the GAN. In this paper, we make the following observation: in practice, the out of distribution samples are contained in the traffic that hits a deployed classifier. However, the traffic will also contain a unknown proportion of in-distribution samples. If the entropy over of all of the traffic data were to be naively maximized, this will hurt the classifier performance on in-distribution data. To effectively leverage this traffic data, we propose an adaptive regularization technique (based on the maximum predictive probability score of a sample) which penalizes out of distribution samples more heavily than in distribution samples in the incoming traffic. This ensures that the overall performance of the classifier does not degrade on in-distribution data, while detection of out-of-distribution samples is significantly improved by leveraging the unlabeled traffic data. We show the effectiveness of our method via experiments on natural image datasets.


title: Causal Fermion Systems: Discrete Space-Times, Causation and Finite Propagation Speed

abstract: The theory of causal fermion systems is a recent approach to fundamental physics. Giving quantum mechanics, general relativity and quantum field theory as limiting cases, it is a candidate for a unified physical theory. The dynamics is described by a novel variational principle, the so-called causal action principle. The causal action principle does not rely on a presupposed space-time structure. Instead, it is a variational principle for space-time itself as well as for all structures in space-time (like particles, fields, etc.). After a general motivation and introduction, we report on mathematical results for two-particle causal fermion systems which state that every minimizer describes a discrete space-time. We explain and make precise that on scales which are much larger than the scale of the microscopic space-time structures, the dynamics of a causal fermion system respects causality with a finite speed of propagation.


title: Building robust classifiers through generation of confident out of distribution examples

abstract: Deep learning models are known to be overconfident in their predictions on out of distribution inputs. There have been several pieces of work to address this issue, including a number of approaches for building Bayesian neural networks, as well as closely related work on detection of out of distribution samples. Recently, there has been work on building classifiers that are robust to out of distribution samples by adding a regularization term that maximizes the entropy of the classifier output on out of distribution data. To approximate out of distribution samples (which are not known apriori), a GAN was used for generation of samples at the edges of the training distribution. In this paper, we introduce an alternative GAN based approach for building a robust classifier, where the idea is to use the GAN to explicitly generate out of distribution samples that the classifier is confident on (low entropy), and have the classifier maximize the entropy for these samples. We showcase the effectiveness of our approach relative to state-of-the-art on hand-written characters as well as on a variety of natural image datasets.


title: Fast and Accurate Reconstruction of Pan-Tilt RGB-D Scans via Axis Bound Registration

abstract: A fast and accurate algorithm is presented for registering scans from an RGB-D camera on a pan-tilt platform. The pan-tilt RGB-D camera rotates and scans the entire scene in an automated fashion. The proposed algorithm exploits the movement of the camera that is bound by the two rotation axes of the servo motors so as to realize fast and accurate registration of acquired point clouds. The rotation parameters, including the rotation axes, pan-tilt transformations and the servo control mechanism, are calibrated beforehand. Subsequently, fast global registration can be performed during online operation with transformation matrices formed by the calibrated rotation axes and angles. In local registration, features are extracted and matched between two scenes. False-positive correspondences, whose distances to the rotation trajectories exceed a threshold, are rejected. Then, a more accurate registration can be achieved by minimizing the residual distances between corresponding points, while transformations are bound to the rotation axes. Finally, the preliminary alignment result is input to the iterative closed point algorithm to compute the final transformation. Results of comparative experiments validate that the proposed method outperforms state-of-the-art algorithms of various approaches based on camera calibration, global registration, and simultaneous-localization-and-mapping in terms of root-mean-square error and computation time.


title: Universal Streaming of Subset Norms

abstract: Most known algorithms in the streaming model of computation aim to approximate a single function such as an $\ell_p$-norm. In 2009, Nelson [\url{https://sublinear.info}, Open Problem 30] asked if it possible to design \emph{universal algorithms}, that simultaneously approximate multiple functions of the stream. In this paper we answer the question of Nelson for the class of \emph{subset $\ell_0$-norms} in the insertion-only frequency-vector model. Given a family of subsets $\mathcal{S}\subset 2^{[n]}$, we provide a single streaming algorithm that can $(1\pm \epsilon)$-approximate the subset-norm for every $S\in\mathcal{S}$. Here, the subset-$\ell_p$-norm of $v\in \mathbb{R}^n$ with respect to set $S\subseteq [n]$ is the $\ell_p$-norm of vector $v_{|S}$ (which denotes restricting $v$ to $S$, by zeroing all other coordinates). Our main result is a near-tight characterization of the space complexity of every family $\mathcal{S}\subset 2^{[n]}$ of subset-$\ell_0$-norms in insertion-only streams, expressed in terms of the "heavy-hitter dimension" of $\mathcal{S}$, a new combinatorial quantity that is related to the VC-dimension of $\mathcal{S}$. In contrast, we show that the more general turnstile and sliding-window models require a much larger space usage. All these results easily extend to $\ell_1$. In addition, we design algorithms for two other subset-$\ell_p$-norm variants. These can be compared to the Priority Sampling algorithm of Duffield, Lund and Thorup [JACM 2007], which achieves additive approximation $\epsilon\|{v}\|$ for all possible subsets ($\mathcal{S}=2^{[n]}$) in the entry-wise update model. One of our algorithms extends this algorithm to handle turnstile updates, and another one achieves multiplicative approximation given a family $\mathcal{S}$.


title: Towards the Sato-Tate Groups of Trinomial Hyperelliptic Curves

abstract: We consider the identity component of the Sato-Tate group of the Jacobian of curves of the form $$C_1\colon y^2=x^{2g+2}+c, C_2\colon y^2=x^{2g+1}+cx, C_3\colon y^2=x^{2g+1} +c,$$ where $g$ is the genus of the curve and $c\in\mathbb Q^*$ is constant. We approach this problem in three ways. First we use a theorem of Kani-Rosen to determine the splitting of Jacobians for $C_1$ curves of genus 4 and 5 and prove what the identity component of the Sato-Tate group is in each case. We then determine the splitting of Jacobians of higher genus $C_1$ curves by finding maps to lower genus curves and then computing pullbacks of differential 1-forms. In using this method, we are able to relate the Jacobians of curves of the form $C_1$, $C_2$, and $C_3$. Finally, we develop a new method for computing the identity component of the Sato-Tate groups of the Jacobians of the three families of curves. We use this method to compute many explicit examples, and find surprising patterns in the shapes of the identity components for these families of curves.


title: End-point corrections for the midpoint rule

abstract: In this paper we present a new family of rules for numerical integration. This family has up to half the error of the widely used Newton-Cotes rules when a sufficient number of points is evaluated and also much better numerical stability for high orders. These rules can be written as the midpoint rule with a correction term, providing a straightforward and computationally cheap way to obtain error estimations. The rules are interpolatory and use evenly spaced points, which makes them well suited for many practical applications. Their major potential disadvantage is the use of points outside the integration interval.


title: See-Saw Mechanism in the 2HDM through the simultaneous introduction of a singlet and triplet of Majorana

abstract: We consider the minimum extension of the SM denominated 2HDM-III, in which,it new coupling constants to the new Higgs field in the Lagrangian of Yukawa are added furtheremore a Majorana mass in generated via See-Saw mechanism SSM-I thus, the effective masses of the Dirac and Majorana neutrinos will be sensitive to te VEV of Higgs doublets and to the structure of the Yukawa constants. Then we consider the MSS-III,in which a $Z_{2}$ symmetry is imposed to Lagrangian 2HDM-III to attach a doublet to the particles of the SM, and the other doublet to the triplet of fermions included in this mechanism. Finally, the MSS-I+III is simultaneously implemented in the M2DH-III. This is important because the additional heavy fermions in the adjoint representation of the weak isoespin group $SU(2)$ allows them to interact with the gauge bosons, facilitating their production in the colliding experiments.


title: Classification of $p$-groups via their $2$-nilpotent multipliers

abstract: For a $p$-group of order $p^n$, it is known that the order of $2$-nilpotent multiplier is equal to $|\mathcal{M}^{(2)}(G)|=p^{\f12n(n-1)(n-2)+3-s_2(G)}$ for an integer $s_2(G)$. In this article, we characterize all of non abelian $p$-groups satisfying in $s_2(G)\in\{1,2,3\}.


title: A PMU-based Multivariate Model for Classifying Power System Events

abstract: Real-time transient event identification is essential for power system situational awareness and protection. The increased penetration of Phasor Measurement Units (PMUs) enhance power system visualization and real time monitoring and control. However, a malicious false data injection attack on PMUs can provide wrong data that might prompt the operator to take incorrect actions which can eventually jeopardize system reliability. In this paper, a multivariate method based on text mining is applied to detect false data and identify transient events by analyzing the attributes of each individual PMU time series and their relationship. It is shown that the proposed approach is efficient in detecting false data and identifying each transient event regardless of the system topology and loading condition as well as the coverage rate and placement of PMUs. The proposed method is tested on IEEE 30-bus system and the classification results are provided.


title: Nilpotent Lie algebras having the Schur multiplier of maximum dimension

abstract: Let $ L $ be an $ n $-dimensional nilpotent Lie algebra of nilpotency class $ c $ with the derived subalgebra of dimension $ m $. Recently, Rai proved that the dimension of Schur multiplier of $ L $ is bounded by $ \frac{1}{2}(n-m-1)(n+m)-\sum\limits_{i=2}^ {min\lbrace n-m,c\rbrace} n-m-i $. In this paper, we obtain the structure of all nilpotent Lie algebras that attain this bound.


title: Pseudotropical curves

abstract: We propose a generalization of tropical curves by dropping the rationality and integrality requirements while preserving the balancing condition. An interpretation of such curves as critical points of a certain quadratic functional allows us to settle the existence and uniqueness problem. The machinery of dual polygons and the intersection theory also generalize as expected. We study the homology of a compactified moduli space of rigid oriented marked curves. A weighted count of rational pseudotropical curves passing through a generic collection of points is interpreted via top-degree cycles on the moduli. We construct a family of such cycles using quantum tori Lie algebras and show that in the usual tropical case this gives the refined curve count of Block and G\"ottsche. Finally, we derive a recursive formula for this Lie-weighted count of rational pseudotropical curves.


title: On Compressing U-net Using Knowledge Distillation

abstract: We study the use of knowledge distillation to compress the U-net architecture. We show that, while standard distillation is not sufficient to reliably train a compressed U-net, introducing other regularization methods, such as batch normalization and class re-weighting, in knowledge distillation significantly improves the training process. This allows us to compress a U-net by over 1000x, i.e., to 0.1% of its original number of parameters, at a negligible decrease in performance.


title: A Family-based Graphical Approach for Testing Hierarchically Ordered Families of Hypotheses

abstract: In applications of clinical trials, tested hypotheses are often grouped as multiple hierarchically ordered families. To test such structured hypotheses, various gatekeeping strategies have been developed in the literature, such as series gatekeeping, parallel gatekeeping, tree-structured gatekeeping strategies, etc. However, these gatekeeping strategies are often either non-intuitive or less flexible when addressing increasingly complex logical relationships among families of hypotheses. In order to overcome the issue, in this paper, we develop a new family-based graphical approach, which can easily derive and visualize different gatekeeping strategies. In the proposed approach, a directed and weighted graph is used to represent the generated gatekeeping strategy where each node corresponds to a family of hypotheses and two simple updating rules are used for updating the critical value of each family and the transition coefficient between any two families. Theoretically, we show that the proposed graphical approach strongly controls the overall familywise error rate at a pre-specified level. Through some case studies and a real clinical example, we demonstrate simplicity and flexibility of the proposed approach.


title: The Unifed Distribution

abstract: We introduce a new distribution with support on (0,1) called unifed. It can be used as the response distribution for a GLM and it is suitable for data aggregation. We make a comparison to the beta regression. A link to an R package for working with the unifed is provided.


title: LSTM-based Network for Human Gait Stability Prediction in an Intelligent Robotic Rollator

abstract: In this work, we present a novel framework for on-line human gait stability prediction of the elderly users of an intelligent robotic rollator using Long Short Term Memory (LSTM) networks, fusing multimodal RGB-D and Laser Range Finder (LRF) data from non-wearable sensors. A Deep Learning (DL) based approach is used for the upper body pose estimation. The detected pose is used for estimating the body Center of Mass (CoM) using Unscented Kalman Filter (UKF). An Augmented Gait State Estimation framework exploits the LRF data to estimate the legs' positions and the respective gait phase. These estimates are the inputs of an encoder-decoder sequence to sequence model which predicts the gait stability state as Safe or Fall Risk walking. It is validated with data from real patients, by exploring different network architectures, hyperparameter settings and by comparing the proposed method with other baselines. The presented LSTM-based human gait stability predictor is shown to provide robust predictions of the human stability state, and thus has the potential to be integrated into a general user-adaptive control architecture as a fall-risk alarm.


title: A Deep Learning Approach for Multi-View Engagement Estimation of Children in a Child-Robot Joint Attention task

abstract: In this work we tackle the problem of child engagement estimation while children freely interact with a robot in their room. We propose a deep-based multi-view solution that takes advantage of recent developments in human pose detection. We extract the child's pose from different RGB-D cameras placed elegantly in the room, fuse the results and feed them to a deep neural network trained for classifying engagement levels. The deep network contains a recurrent layer, in order to exploit the rich temporal information contained in the pose data. The resulting method outperforms a number of baseline classifiers, and provides a promising tool for better automatic understanding of a child's attitude, interest and attention while cooperating with a robot. The goal is to integrate this model in next generation social robots as an attention monitoring tool during various CRI tasks both for Typically Developed (TD) children and children affected by autism (ASD).


title: Fidelity and visibility reduction in Majorana qubits by entanglement with environmental modes

abstract: We study the dynamics and readout of topological qubits encoded by zero-energy Majorana bound states in a topological superconductor. We take into account bosonic modes due to the electromagnetic environment which couple the Majorana manifold to above-gap continuum quasi-particles. This coupling causes the degenerate ground state of the topological superconductor to be dressed in a polaron-like manner by quasi-particle states and bosons, and the system to become gapless. Topological protection and hence full coherence is only maintained if the qubit is operated and read out within the low-energy spectrum of the dressed states. We discuss reduction of fidelity and/or visibility if this condition is violated by a quantum-dot readout that couples to the bare (undressed) Majorana modes. For a projective measurement of the bare Majorana basis, we formulate a Bloch-Redfield approach that is valid for weak Majorana-environment coupling and takes into account constraints imposed by fermion-number-parity conservation. Within the Markovian approximation, our results essentially confirm earlier theories of finite-temperature decoherence based on Fermi's golden rule. However, the full non-Markovian dynamics reveals, in addition, the fidelity reduction by a projective measurement. Using a spinless nanowire model with $p$-wave pairing, we provide quantitative results characterizing these effects.


title: Dislocation pattern formation in finite deformation crystal plasticity

abstract: Stressed dislocation pattern formation in crystal plasticity at finite deformation is demonstrated for the first time. Size effects are also demonstrated within the same mathematical model. The model involves two extra material parameters beyond the requirements of standard classical crystal plasticity theory. The dislocation microstructures shown are decoupled from deformation microstructures, and emerge without any consideration of latent hardening or constitutive assumptions related to cross-slip. Crystal orientation effects on the pattern formation and mechanical response are also demonstrated. The manifest irrelevance of the necessity of a multiplicative decomposition of the deformation gradient, a plastic distortion tensor, and the choice of a reference configuration in our model to describe the micromechanics of plasticity as it arises from the existence and motion of dislocations is worthy of note.


title: A Riemann-Hilbert correspondence for Cartier crystals

abstract: For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible $\mathbb Z/p \mathbb Z$-sheaves on the \'etale site $X_{\text{\'et}}$. The key intermediate step is to extend the category of locally finitely generated unit $\mathcal O_{F,X}$-modules for smooth schemes introduced by Emerton and Kisin to embeddable schemes. On the one hand, this category is equivalent to Cartier crystals. On the other hand, by using Emerton-Kisin's Riemann-Hilbert correspondence, we show that it is equivalent to Gabber's category of perverse sheaves in $D_c^b(X_{\text{\'et}},\mathbb Z/p \mathbb Z)$.


title: AnyThreat: An Opportunistic Knowledge Discovery Approach to Insider Threat Detection

abstract: Insider threat detection is getting an increased concern from academia, industry, and governments due to the growing number of malicious insider incidents. The existing approaches proposed for detecting insider threats still have a common shortcoming, which is the high number of false alarms (false positives). The challenge in these approaches is that it is essential to detect all anomalous behaviours which belong to a particular threat. To address this shortcoming, we propose an opportunistic knowledge discovery system, namely AnyThreat, with the aim to detect any anomalous behaviour in all malicious insider threats. We design the AnyThreat system with four components. (1) A feature engineering component, which constructs community data sets from the activity logs of a group of users having the same role. (2) An oversampling component, where we propose a novel oversampling technique named Artificial Minority Oversampling and Trapper REmoval (AMOTRE). AMOTRE first removes the minority (anomalous) instances that have a high resemblance with normal (majority) instances to reduce the number of false alarms, then it synthetically oversamples the minority class by shielding the border of the majority class. (3) A class decomposition component, which is introduced to cluster the instances of the majority class into subclasses to weaken the effect of the majority class without information loss. (4) A classification component, which applies a classification method on the subclasses to achieve a better separation between the majority class(es) and the minority class(es). AnyThreat is evaluated on synthetic data sets generated by Carnegie Mellon University. It detects approximately 87.5% of malicious insider threats, and achieves the minimum of false positives=3.36%.


title: A New Approach for Large Scale Multiple Testing with Application to FDR Control for Graphically Structured Hypotheses

abstract: In many large scale multiple testing applications, the hypotheses often have a known graphical structure, such as gene ontology in gene expression data. Exploiting this graphical structure in multiple testing procedures can improve power as well as aid in interpretation. However, incorporating the structure into large scale testing procedures and proving that an error rate, such as the false discovery rate (FDR), is controlled can be challenging. In this paper, we introduce a new general approach for large scale multiple testing, which can aid in developing new procedures under various settings with proven control of desired error rates. This approach is particularly useful for developing FDR controlling procedures, which is simplified as the problem of developing per-family error rate (PFER) controlling procedures. Specifically, for testing hypotheses with a directed acyclic graph (DAG) structure, by using the general approach, under the assumption of independence, we first develop a specific PFER controlling procedure and based on this procedure, then develop a new FDR controlling procedure, which can preserve the desired DAG structure among the rejected hypotheses. Through a small simulation study and a real data analysis, we illustrate nice performance of the proposed FDR controlling procedure for DAG-structured hypotheses.


title: Explainable Genetic Inheritance Pattern Prediction

abstract: Diagnosing an inherited disease often requires identifying the pattern of inheritance in a patient's family. We represent family trees with genetic patterns of inheritance using hypergraphs and latent state space models to provide explainable inheritance pattern predictions. Our approach allows for exact causal inference over a patient's possible genotypes given their relatives' phenotypes. By design, inference can be examined at a low level to provide explainable predictions. Furthermore, we make use of human intuition by providing a method to assign hypothetical evidence to any inherited gene alleles. Our analysis supports the application of latent state space models to improve patient care in cases of rare inherited diseases where access to genetic specialists is limited.


title: The semi-Markov beta-Stacy process: a Bayesian non-parametric prior for semi-Markov processes

abstract: The literature on Bayesian methods for the analysis of discrete-time semi-Markov processes is sparse. In this paper, we introduce the semi-Markov beta-Stacy process, a stochastic process useful for the Bayesian non-parametric analysis of semi-Markov processes. The semi-Markov beta-Stacy process is conjugate with respect to data generated by a semi-Markov process, a property which makes it easy to obtain probabilistic forecasts. Its predictive distributions are characterized by a reinforced random walk on a system of urns.


title: Mapping of the 2+1 Dirac-Moshinsky Oscillator Coupled to an External Isospin Field onto Jaynes-Cummings Model

abstract: In this paper, the 2+1 Dirac-Moshinsky oscillator (2+1 DMO) coupled to an external isospin field is mapped onto the Jaynes-Cummings model (JCM), which describes the interaction between two two-level systems and a quantum single-mode field. The time-dependent wave function and the density matrix are obtained in the two cases. In the first case, the quantum number state is considered, while in the second case, the coherent state is considered as an initial state. The effect of both the detuning parameter and the coherence angle are studied on the entanglement and on the population inversion. It has been shown that the coherent state gives good description than the number state for the entanglement and the population inversion.


title: Towards Gaussian Bayesian Network Fusion

abstract: Data sets are growing in complexity thanks to the increasing facilities we have nowadays to both generate and store data. This poses many challenges to machine learning that are leading to the proposal of new methods and paradigms, in order to be able to deal with what is nowadays referred to as Big Data. In this paper we propose a method for the aggregation of different Bayesian network structures that have been learned from separate data sets, as a first step towards mining data sets that need to be partitioned in an horizontal way, i.e. with respect to the instances, in order to be processed. Considerations that should be taken into account when dealing with this situation are discussed. Scalable learning of Bayesian networks is slowly emerging, and our method constitutes one of the first insights into Gaussian Bayesian network aggregation from different sources. Tested on synthetic data it obtains good results that surpass those from individual learning. Future research will be focused on expanding the method and testing more diverse data sets.


title: PowerCut and Obfuscator: An Exploration of the Design Space for Privacy-Preserving Interventions for Voice Assistants

abstract: The pervasive use of smart speakers has raised numerous privacy concerns. While work to date provides an understanding of user perceptions of these threats, limited research focuses on how we can mitigate these concerns, either through redesigning the smart speaker or through dedicated privacy-preserving interventions. In this paper, we present the design and prototyping of two privacy-preserving interventions: `Obfuscator' targeted at disabling recording at the microphones, and `PowerCut' targeted at disabling power to the smart speaker. We present our findings from a technology probe study involving 24 households that interacted with our prototypes; the primary objective was to gain a better understanding of the design space for technological interventions that might address these concerns. Our data and findings reveal complex trade-offs among utility, privacy, and usability and stresses the importance of multi-functionality, aesthetics, ease-of-use, and form factor. We discuss the implications of our findings for the development of subsequent interventions and the future design of smart speakers.


title: Toward a generalization of Kruskal's theorem on tensor decomposition

abstract: Kruskal's theorem states that a sum of product tensors constitutes a unique tensor rank decomposition if the so-called k-ranks of the product tensors are large. In this work, we propose a conjecture in which the k-rank condition of Kruskal's theorem is weakened to the standard notion of rank, and the conclusion is relaxed to a statement on the linear dependence of the product tensors. Our conjecture would imply a generalization of Kruskal's theorem. Several adaptations and generalizations of Kruskal's theorem have already been obtained, but these results still cannot certify uniqueness when the k-ranks are below a certain threshold. Our generalization would contain several of these results, and could certify uniqueness below this threshold. We prove our conjecture over an arbitrary field $\mathbb{F}$ when the underlying multipartite vector space takes any one of three forms: ${\mathbb{F}^{d_1}\otimes \mathbb{F}^{d_2}}, \;{\mathbb{F}^{d_1}\otimes\mathbb{F}^{d_2}\otimes \mathbb{F}^2,}$ or $\mathbb{F}^{d_1}\otimes \mathbb{F}^2 \otimes\cdots \otimes \mathbb{F}^2$. As a corollary to the third case, we prove that if $n$ product tensors form a circuit, then they have rank greater than one in at most $n-2$ subsystems. This is a quadratic improvement over a recent bound obtained by Ballico, and is sharp.


title: Discovering Molecular Functional Groups Using Graph Convolutional Neural Networks

abstract: Functional groups (FGs) are molecular substructures that are served as a foundation for analyzing and predicting chemical properties of molecules. Automatic discovery of FGs will impact various fields of research, including medicinal chemistry and material sciences, by reducing the amount of lab experiments required for discovery or synthesis of new molecules. In this paper, we investigate methods based on graph convolutional neural networks (GCNNs) for localizing FGs that contribute to specific chemical properties of interest. In our framework, molecules are modeled as undirected relational graphs with atoms as nodes and bonds as edges. Using this relational graph structure, we trained GCNNs in a supervised way on experimentally-validated molecular training sets to predict specific chemical properties, e.g., toxicity. Upon learning a GCNN, we analyzed its activation patterns to automatically identify FGs using four different explainability methods that we have developed: gradient-based saliency maps, Class Activation Mapping (CAM), gradient-weighted CAM (Grad-CAM), and Excitation Back-Propagation. Although these methods are originally derived for convolutional neural networks (CNNs), we adapt them to develop the corresponding suitable versions for GCNNs. We evaluated the contrastive power of these methods with respect to the specificity of the identified molecular substructures and their relevance for chemical functions. Grad-CAM had the highest contrastive power and generated qualitatively the best FGs. This work paves the way for automatic analysis and design of new molecules.


title: Solutions of systems with the Caputo-Fabrizio fractional delta derivative on time scales

abstract: Caputo-Fabrizio fractional delta derivatives on an arbitrary time scale are presented. When the time scale is chosen to be the set of real numbers, then the Caputo-Fabrizio fractional derivative is recovered. For isolated or partly continuous and partly discrete, i.e., hybrid time scales, one gets new fractional operators. We concentrate on the behavior of solutions to initial value problems with the Caputo-Fabrizio fractional delta derivative on an arbitrary time scale. In particular, the exponential stability of linear systems is studied. A necessary and sufficient condition for the exponential stability of linear systems with the Caputo-Fabrizio fractional delta derivative on time scales is presented. By considering a suitable fractional dynamic equation and the Laplace transform on time scales, we also propose a proper definition of Caputo-Fabrizio fractional integral on time scales. Finally, by using the Banach fixed point theorem, we prove existence and uniqueness of solution to a nonlinear initial value problem with the Caputo-Fabrizio fractional delta derivative on time scales.


title: Numerical observation of a glassy phase in the three-dimensional Coulomb glass

abstract: The existence of an equilibrium glassy phase for charges in a disordered potential with long-range electrostatic interactions has remained controversial for many years. Here we conduct an extensive numerical study of the disorder-temperature phase diagram of the three-dimensional Coulomb glass model using population annealing Monte Carlo to thermalize the system down to extremely low temperatures. Our results strongly suggest that, in addition to a charge order phase, a transition to a glassy phase can be observed, consistent with previous analytical and experimental studies.


title: Dynamic Measurement Scheduling for Adverse Event Forecasting using Deep RL

abstract: Current clinical practice to monitor patients' health follows either regular or heuristic-based lab test (e.g. blood test) scheduling. Such practice not only gives rise to redundant measurements accruing cost, but may even lead to unnecessary patient discomfort. From the computational perspective, heuristic-based test scheduling might lead to reduced accuracy of clinical forecasting models. Computationally learning an optimal clinical test scheduling and measurement collection, is likely to lead to both, better predictive models and patient outcome improvement. We address the scheduling problem using deep reinforcement learning (RL) to achieve high predictive gain and low measurement cost, by scheduling fewer, but strategically timed tests. We first show that in the simulation our policy outperforms heuristic-based measurement scheduling with higher predictive gain or lower cost measured by accumulated reward. We then learn a scheduling policy for mortality forecasting in the real-world clinical dataset (MIMIC3), our learned policy is able to provide useful clinical insights. To our knowledge, this is the first RL application on multi-measurement scheduling problem in the clinical setting.


title: Quantifying the uncertainty of variance partitioning estimates of ecological datasets

abstract: An important objective of experimental biology is the quantification of the relationship between predictor and response variables, a statistical analysis often termed variance partitioning (VP). In this paper, a series of simulations is presented, aiming to generate quantitative estimates of the expected statistical uncertainty of VP analyses. We demonstrate scenarios with considerable uncertainty in VP estimates, such that it significantly reduces the statistical reliability of the obtained results. Especially when a predictor variable of a dataset shows a low between-group variance, VP estimates may show a high margin of error. This becomes particularly important when the respective predictor variable only explains a small fraction of the overall variance, or the number of replicates is particularly small. Moreover, it is demonstrated that the expected error of VP estimates of a dataset can be approximated by bootstrap resampling, giving researchers a tool for the quantification of the uncertainty associated with an arbitrary VP analysis. The applicability of this method is demonstrated by a re-analysis of the Oribatid mite dataset introduced by Borcard and Legendre in 1994 and the Barro Colorado Island tree count dataset by Condit and colleagues. We believe that this study may encourage biologists to approach routine statistical analyses such as VP more critically, and report the error associated with them more frequently.


title: "Simple Dynamics" conjectures for some real Newton maps on the plane

abstract: We collect from several sources some of the most important results on the forward and backward limits of points under real and complex rational functions, and in particular real and complex Newton maps, and we provide numerical evidence that a fundamental result by B.Barna on the dynamics of Newton's method on the real line extends to the real plane.


title: Learning Speaker Representations with Mutual Information

abstract: Learning good representations is of crucial importance in deep learning. Mutual Information (MI) or similar measures of statistical dependence are promising tools for learning these representations in an unsupervised way. Even though the mutual information between two random variables is hard to measure directly in high dimensional spaces, some recent studies have shown that an implicit optimization of MI can be achieved with an encoder-discriminator architecture similar to that of Generative Adversarial Networks (GANs). In this work, we learn representations that capture speaker identities by maximizing the mutual information between the encoded representations of chunks of speech randomly sampled from the same sentence. The proposed encoder relies on the SincNet architecture and transforms raw speech waveform into a compact feature vector. The discriminator is fed by either positive samples (of the joint distribution of encoded chunks) or negative samples (from the product of the marginals) and is trained to separate them. We report experiments showing that this approach effectively learns useful speaker representations, leading to promising results on speaker identification and verification tasks. Our experiments consider both unsupervised and semi-supervised settings and compare the performance achieved with different objective functions.


title: A data-driven iteratively regularized Landweber iteration

abstract: We derive and analyse a new variant of the iteratively regularized Landweber iteration, for solving linear and nonlinear ill-posed inverse problems. The method takes into account training data, which are used to estimate the interior of a black box, which is used to define the iteration process. We prove convergence and stability for the scheme in infinite dimensional Hilbert spaces. These theoretical results are complemented by several numerical experiments for solving linear inverse problems for the Radon transform and a nonlinear inverse problem for Schlieren tomography.


title: Cross-Modulation Networks for Few-Shot Learning

abstract: A family of recent successful approaches to few-shot learning relies on learning an embedding space in which predictions are made by computing similarities between examples. This corresponds to combining information between support and query examples at a very late stage of the prediction pipeline. Inspired by this observation, we hypothesize that there may be benefits to combining the information at various levels of abstraction along the pipeline. We present an architecture called Cross-Modulation Networks which allows support and query examples to interact throughout the feature extraction process via a feature-wise modulation mechanism. We adapt the Matching Networks architecture to take advantage of these interactions and show encouraging initial results on miniImageNet in the 5-way, 1-shot setting, where we close the gap with state-of-the-art.


title: Positive semidefinite approximations to the cone of copositive kernels

abstract: It has been shown that the maximum stable set problem in some infinite graphs, and the kissing number problem in particular, reduces to a minimization problem over the cone of copositive kernels. Optimizing over this infinite dimensional cone is not tractable, and approximations of this cone have been hardly considered in literature. We propose two convergent hierarchies of subsets of copositive kernels, in terms of non-negative and positive definite kernels. We use these hierarchies and representation theorems for invariant positive definite kernels on the sphere to construct new SDP-based bounds on the kissing number. This results in fast-to-compute upper bounds on the kissing number that lie between the currently existing LP and SDP bounds.


title: Exact sequences of inner automorphisms of tensors

abstract: We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods afford can be applied to problems ranging from understanding algebraic structures to distinguishing entangled states in particle physics.


title: Collaboration Versus Cheating

abstract: We outline how we detected programming plagiarism in an introductory online course for a master's of science in computer science program, how we achieved a statistically significant reduction in programming plagiarism by combining a clear explanation of university and class policy on academic honesty reinforced with a short but formal assessment, and how we evaluated plagiarism rates before SIGand after implementing our policy and assessment.


title: Leak Test of Resistive Plate Chamber Gap by Monitoring Absolute Pressure

abstract: The India-based Neutrino Observatory Project (INO) is a proposed underground high energy physics experiment at Theni, India to study the neutrino oscillation parameters using atmospheric neutrinos. The 50 kton magnetised INO-ICAL detector will require approximately 30,000 of 2m$\times$2m Resistive Plate Chambers (RPC) as sensitive detectors and proposed to operate for about 20 years. For success of the experiment, each of the RPCs has to function without showing any significant aging during the period of operation. Hence, various tests including a proper leak test are performed during and after production. The methods of leak rate calculation using conventional manometer are valid only when both the volume of the test subject and ambient pressure are kept constant. But both these quantities for a RPC gas gap depend widely on the ambient pressure and temperature. A proper quantitative estimation of the leak rate cannot be acquired from such pressure measurements. By monitoring the absolute pressures, both outside and inside of an RPC, along with the temperature, its leakage rate can be estimated. During the test period, the supporting button spacers inside an RPC may get detached due to manufacturing defect. This effect also needs to be detected.


title: Interpreting Encoding and Decoding Models

abstract: Encoding and decoding models are widely used in systems, cognitive, and computational neuroscience to make sense of brain-activity data. However, the interpretation of their results requires care. Decoding models can help reveal whether particular information is present in a brain region in a format the decoder can exploit. Encoding models make comprehensive predictions about representational spaces. In the context of sensory systems, encoding models enable us to test and compare brain-computational models, and thus directly constrain computational theory. Encoding and decoding models typically include fitted linear-model components. Sometimes the weights of the fitted linear combinations are interpreted as reflecting, in an encoding model, the contribution of different sensory features to the representation or, in a decoding model, the contribution of different measured brain responses to a decoded feature. Such interpretations can be problematic when the predictor variables or their noise components are correlated and when priors (or penalties) are used to regularize the fit. Encoding and decoding models are evaluated in terms of their generalization performance. The correct interpretation depends on the level of generalization a model achieves (e.g. to new response measurements for the same stimuli, to new stimuli from the same population, or to stimuli from a different population). Significant decoding or encoding performance of a single model (at whatever level of generality) does not provide strong constraints for theory. Many models must be tested and inferentially compared for analyses to drive theoretical progress.


title: Interpretable Graph Convolutional Neural Networks for Inference on Noisy Knowledge Graphs

abstract: In this work, we provide a new formulation for Graph Convolutional Neural Networks (GCNNs) for link prediction on graph data that addresses common challenges for biomedical knowledge graphs (KGs). We introduce a regularized attention mechanism to GCNNs that not only improves performance on clean datasets, but also favorably accommodates noise in KGs, a pervasive issue in real-world applications. Further, we explore new visualization methods for interpretable modelling and to illustrate how the learned representation can be exploited to automate dataset denoising. The results are demonstrated on a synthetic dataset, the common benchmark dataset FB15k-237, and a large biomedical knowledge graph derived from a combination of noisy and clean data sources. Using these improvements, we visualize a learned model's representation of the disease cystic fibrosis and demonstrate how to interrogate a neural network to show the potential of PPARG as a candidate therapeutic target for rheumatoid arthritis.


title: Deep Levels and Mixed Conductivity in Organometallic Halide Perovskites

abstract: Understanding the type, formation energy and capture cross section of defects is one of the challenges in the field of organometallic halide perovskite (OMHP) devices. Currently, such understanding is limited, restricting the power conversion efficiencies of OMHPs solar cells from reaching their Shockley Queisser limit. Here, we report on deep level (DL) defects and their effect on free charge transport properties of single crystalline methylammonium lead bromide perovskite (MAPB). In order to determine DL activation energy and capture cross section we used photo-Hall effect spectroscopy (PHES) with enhanced illumination in both steady-state and dynamic regimes. This method has shown to be convenient due to the direct DL visualization by sub-bandgap photo-excitation of trapped carriers. DLs with activation energies of 1.05 eV, 1.5 eV, and 1.9 eV above valence band were detected. The hole capture cross section was found using photoconductivity relaxation after sub-bandgap photo-excitation. We found the DL defects responsible for non-radiative recombination and its impact on band alignment for the first time. Additionally, the transport properties of MAPB single crystal is measured by Time of Flight (ToF) at several biases. The analysis of ToF measurement further confirms increase of Hall mobility and the enhancement of hole transport produced by sub-bandgap illumination in MAPB devices. Our studies provide a strong evidence on deep levels in OMHPs and opens a richer picture of the role and properties of deep levels in MAPB single crystals as a system model for the first time. The deeper knowledge of the electrical structure of OMHP could open further opportunities in the development of more feasible technology.


title: HUMBI: A Large Multiview Dataset of Human Body Expressions

abstract: This paper presents a new large multiview dataset called HUMBI for human body expressions with natural clothing. The goal of HUMBI is to facilitate modeling view-specific appearance and geometry of gaze, face, hand, body, and garment from assorted people. 107 synchronized HD cameras are used to capture 772 distinctive subjects across gender, ethnicity, age, and physical condition. With the multiview image streams, we reconstruct high fidelity body expressions using 3D mesh models, which allows representing view-specific appearance using their canonical atlas. We demonstrate that HUMBI is highly effective in learning and reconstructing a complete human model and is complementary to the existing datasets of human body expressions with limited views and subjects such as MPII-Gaze, Multi-PIE, Human3.6M, and Panoptic Studio datasets.


title: VATE: a trade-off between memory and preserving time for high accuracy cardinalities estimation under sliding time window

abstract: Host cardinality is one of the important attributes in the field of network research. The cardinality estimation under sliding time window has become a research hotspot in recent years because of its high accuracy and small delay. This kind of algorithms preserve the time information of sliding time window by introducing more powerful counters. The more counters used in these algorithms, the higher the estimation accuracy of these algorithms. However, the available number of sliding counters is limited due to their large memory footprint or long state-maintenance time. To solve this problem, a new sliding counter, asynchronous timestamp (AT), is designed in this paper which has the advantages of less memory consumption and low state-maintenance time. AT can replace counters in existing algorithms. On the same device, more AT can be used to achieve higher accuracy. Based on AT, this paper designs a new multi-hosts cardinalities estimation algorithm VATE. VATE is also a parallel algorithm that can be deployed on GPU. With the parallel processing capability of GPU, VATE can estimate cardinalities of hosts in a 40 Gb/s high-speed network in real time at the time granularity of 1 second.


title: Efficient Butterfly Counting for Large Bipartite Networks

abstract: Bipartite networks are of great importance in many real-world applications. In bipartite networks, butterfly (i.e., a complete 2 x 2 biclique) is the smallest non-trivial cohesive structure and plays a key role. In this paper, we study the problem of efficient counting the number of butterflies in bipartite networks. The most advanced techniques are based on enumerating wedges which is the dominant cost of counting butterflies. Nevertheless, the existing algorithms cannot efficiently handle large-scale bipartite networks. This becomes a bottleneck in large-scale applications. In this paper, instead of the existing layer-priority-based techniques, we propose a vertex-priority-based paradigm BFC-VP to enumerate much fewer wedges; this leads to a significant improvement of the time complexity of the state-of-the-art algorithms. In addition, we present cache-aware strategies to further improve time efficiency while theoretically retaining the time complexity of BFC-VP. Moreover, we also show that our proposed techniques can work efficiently in external and parallel contexts. Our extensive empirical studies demonstrate that the proposed techniques can speed up the state-of-the-art techniques by up to two orders of magnitude for the real datasets.


title: $K$-weight bounds for $\gamma$-hyperelliptic semigroups

abstract: In this note, we show that {\it $\gamma$-hyperelliptic} numerical semigroups of genus $g \gg \gamma$ satisfy a refinement of a well-known characteristic weight inequality due to Torres. The refinement arises from substituting the usual notion of weight by an alternative version, the $K$-weight, which we previously introduced in the course of our study of unibranch curve singularities.


title: Learning Curriculum Policies for Reinforcement Learning

abstract: Curriculum learning in reinforcement learning is a training methodology that seeks to speed up learning of a difficult target task, by first training on a series of simpler tasks and transferring the knowledge acquired to the target task. Automatically choosing a sequence of such tasks (i.e. a curriculum) is an open problem that has been the subject of much recent work in this area. In this paper, we build upon a recent method for curriculum design, which formulates the curriculum sequencing problem as a Markov Decision Process. We extend this model to handle multiple transfer learning algorithms, and show for the first time that a curriculum policy over this MDP can be learned from experience. We explore various representations that make this possible, and evaluate our approach by learning curriculum policies for multiple agents in two different domains. The results show that our method produces curricula that can train agents to perform on a target task as fast or faster than existing methods.


title: Rectification in Spin-Orbit Materials Using Low Energy Barrier Magnets

abstract: The coupling of spin-orbit materials to high energy barrier ($\sim$40-60 $k_BT$) nano-magnets has attracted growing interest for exciting new physics and various spintronic applications. We predict that a coupling between the spin-momentum locking (SML) observed in spin-orbit materials and low-energy barrier magnets (LBM) should exhibit a unique multi-terminal rectification for arbitrarily small amplitude channel currents. The basic idea is to measure the charge current induced spin accumulation in the SML channel in the form of a magnetization dependent voltage using an LBM, either with an in-plane or perpendicular anisotropy (IMA or PMA). The LBM feels an instantaneous spin-orbit torque due to the accumulated spins in the channel which causes the average magnetization to follow the current, leading to the non-linear rectification. We discuss the frequency band of this multi-terminal rectification which can be understood in terms of the angular momentum conservation in the LBM. For a fixed spin-current from the SML channel, the frequency band is same for LBMs with IMA and PMA, as long as they have the same total magnetic moment in a given volume. The proposed all-metallic structure could find application as highly sensitive passive rf detectors and as energy harvesters from weak ambient sources where standard technologies may not operate.


title: Explaining the Ambiguity of Object Detection and 6D Pose From Visual Data

abstract: 3D object detection and pose estimation from a single image are two inherently ambiguous problems. Oftentimes, objects appear similar from different viewpoints due to shape symmetries, occlusion and repetitive textures. This ambiguity in both detection and pose estimation means that an object instance can be perfectly described by several different poses and even classes. In this work we propose to explicitly deal with this uncertainty. For each object instance we predict multiple pose and class outcomes to estimate the specific pose distribution generated by symmetries and repetitive textures. The distribution collapses to a single outcome when the visual appearance uniquely identifies just one valid pose. We show the benefits of our approach which provides not only a better explanation for pose ambiguity, but also a higher accuracy in terms of pose estimation.


title: On the Nash problem for surfaces in positive characteristic

abstract: This paper seeks to prove the bijectivity of the "Nash mapping" from the set of irreducible components of the scheme parametrizing analytic arcs on an algebraic surface $X$ whose origin is a singular point, into the set of irreducible components of the exceptional locus of a minimal desingularization $X'$ of $X$ when the base field has positive characteristic. The idea is to view the surface as a specialization of another defined over a field of characteristic zero. A number of related results are proved. Among them, the construction of a scheme of arcs for a suitable one parameter family of surfaces which, by using a theorem of M. Artin on lifting of normal surface singularities to characteristic zero, seems a reasonable candidate to be the desired tool. But there are some points, necessary for a complete proof, which are not verified yet.


title: On Bi-Objective convex-quadratic problems

abstract: In this paper we analyze theoretical properties of bi-objective convex-quadratic problems. We give a complete description of their Pareto set and prove the convexity of their Pareto front. We show that the Pareto set is a line segment when both Hessian matrices are proportional. We then propose a novel set of convex-quadratic test problems, describe their theoretical properties and the algorithm abilities required by those test problems. This includes in particular testing the sensitivity with respect to separability, ill-conditioned problems, rotational invariance, and whether the Pareto set is aligned with the coordinate axis.


title: A Behavioral Compact Model of 3D NAND Flash Memory

abstract: We present a behavioral compact model of 3D NAND flash memory for integrated circuits and system-level applications. This model is easy to implement, computationally efficient, fast, accurate and effectively accounts for the different parasitic capacitance coupling effects applicable to the 3D geometry of the vertical channel Macaroni body charge-trap flash memory. The model parameter extraction methodology is simple and can be extended to reproduce the electrical behavior of different 3D NAND flash memory architectures (with different page size, dimension, or number of stacked layers). We believe that the developed compact model would equip the circuit designers and system architects with an effective tool for design-exploration of 3D NAND flash memory devices for diverse unconventional analog applications.


title: Classifying a specific image region using convolutional nets with an ROI mask as input

abstract: Convolutional neural nets (CNN) are the leading computer vision method for classifying images. In some cases, it is desirable to classify only a specific region of the image that corresponds to a certain object. Hence, assuming that the region of the object in the image is known in advance and is given as a binary region of interest (ROI) mask, the goal is to classify the object in this region using a convolutional neural net. This goal is achieved using a standard image classification net with the addition of a side branch, which converts the ROI mask into an attention map. This map is then combined with the image classification net. This allows the net to focus the attention on the object region while still extracting contextual cues from the background. This approach was evaluated using the COCO object dataset and the OpenSurfaces materials dataset. In both cases, it gave superior results to methods that completely ignore the background region. In addition, it was found that combining the attention map at the first layer of the net gave better results than combining it at higher layers of the net. The advantages of this method are most apparent in the classification of small regions which demands a great deal of contextual information from the background.


title: SentiNet: Detecting Localized Universal Attacks Against Deep Learning Systems

abstract: SentiNet is a novel detection framework for localized universal attacks on neural networks. These attacks restrict adversarial noise to contiguous portions of an image and are reusable with different images -- constraints that prove useful for generating physically-realizable attacks. Unlike most other works on adversarial detection, SentiNet does not require training a model or preknowledge of an attack prior to detection. Our approach is appealing due to the large number of possible mechanisms and attack-vectors that an attack-specific defense would have to consider. By leveraging the neural network's susceptibility to attacks and by using techniques from model interpretability and object detection as detection mechanisms, SentiNet turns a weakness of a model into a strength. We demonstrate the effectiveness of SentiNet on three different attacks -- i.e., data poisoning attacks, trojaned networks, and adversarial patches (including physically realizable attacks) -- and show that our defense is able to achieve very competitive performance metrics for all three threats. Finally, we show that SentiNet is robust against strong adaptive adversaries, who build adversarial patches that specifically target the components of SentiNet's architecture.


title: In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation

abstract: Modern treatments for Type 1 diabetes (T1D) use devices known as artificial pancreata (APs), which combine an insulin pump with a continuous glucose monitor (CGM) operating in a closed-loop manner to control blood glucose levels. In practice, poor performance of APs (frequent hyper- or hypoglycemic events) is common enough at a population level that many T1D patients modify the algorithms on existing AP systems with unregulated open-source software. Anecdotally, the patients in this group have shown superior outcomes compared with standard of care, yet we do not understand how safe any AP system is since adverse outcomes are rare. In this paper, we construct generative models of individual patients' physiological characteristics and eating behaviors. We then couple these models with a T1D simulator approved for pre-clinical trials by the FDA. Given the ability to simulate patient outcomes in-silico, we utilize techniques from rare-event simulation theory in order to efficiently quantify the performance of a device with respect to a particular patient. We show a 72,000$\times$ speedup in simulation speed over real-time and up to 2-10 times increase in the frequency which we are able to sample adverse conditions relative to standard Monte Carlo sampling. In practice our toolchain enables estimates of the likelihood of hypoglycemic events with approximately an order of magnitude fewer simulations.


title: The wavelength dependence of interstellar polarization in the Local Hot Bubble

abstract: The properties of dust in the interstellar medium (ISM) nearest the Sun are poorly understood because the low column densities of dust toward nearby stars induce little photometric reddening, rendering the grains largely undetectable. Stellar polarimetry offers one pathway to deducing the properties of this diffuse material. Here we present multi-wavelength aperture polarimetry measurements of seven bright stars chosen to probe interstellar polarization near the edge of the Local Hot Bubble (LHB) - an amorphous region of relatively low density interstellar gas and dust extending ~70-150 pc from the Sun. The measurements were taken using the HIgh Precision Polarimetric Instrument (HIPPI) on the 3.9-m Anglo-Australian Telescope. HIPPI is an aperture stellar polarimeter with a demonstrated sensitivity of 4.3 parts-per-million (ppm). Of the stars observed two are polarized to a much greater degree than the others; they have a wavelength of maximum polarization ($\lambda_{max}$) of ~550 $\pm$ 20 nm - similar to that of stars beyond the LHB - and we conclude that they are in the wall of the LHB. The remaining five stars have polarizations of ~70 to 160 ppm, of these four have a much bluer $\lambda_{max}$, ~350 $\pm$ 50 nm. Bluer values of $\lambda_{max}$ may indicate grains shocked during the evolution of the Loop I Superbubble. The remaining star, HD 4150 is not well fit by a Serkowski curve, and may be intrinsically polarized.


title: Analytic Theory of Finite-size Effects in Supercell Modelings of Charged Interfaces

abstract: The Ewald3D sum with the tinfoil boundary condition (e3dtf) evaluates the electrostatic energy of a finite unit cell inside an infinitely periodic supercell. Although it has been used as a {\it de facto} standard treatment of electrostatics for simulations of extended polar or charged interfaces, the finite-size effect on simulated properties has yet to be fully understood. There is, however, an intuitive way to quantify the average effect arising from the difference between the e3dtf and Coulomb potentials on the response of mobile charges to contact surfaces with fixed charges and/or to an applied external electric field. While any charged interface formed by mobile countercharges that compensate the fixed charges slips upon the change of the acting electric field, the distance between a pair of oppositely charged interfaces is found to be nearly stationary, which allows an analytic finite-size correction to the amount of countercharges. Application of the theory to solvated electric double layers (insulator/electrolyte interfaces) predicts that the state of complete charge compensation is invariant with respect to solvent permittivities, which is confirmed by a proper analysis of simulation data in the literature.


title: Sequences of zeros of analytic function spaces and weighted superposition operators

abstract: We use properties of the sequences of zeros of certain spaces of analytic functions in the unit disc $\mathbb D$ to study the question of characterizing the weighted superposition operators which map one of these spaces into another. We also prove that for a large class of Banach spaces of analytic functions in $\mathbb D$, $Y$, we have that if the superposition operator $S_\varphi $ associated to the entire function $\varphi $ is a bounded operator from $X$, a certain Banach space of analytic functions in $\mathbb D$, into $Y$, then the superposition operator $S_{\varphi ^\prime }$ maps $X$ into $Y$.


title: Photoinduced Dynamics of Commensurate Charge Density Wave in 1T-TaS$_{2}$ Based on Three-Orbital Hubbard Model

abstract: We study the coupled charge-lattice dynamics in the commensurate charge density wave (CDW) phase of the layered compound 1T-TaS$_{2}$ driven by an ultrashort laser pulse. For describing its electronic structure, we employ a tight-binding model of previous studies including the effects of lattice distortion associated with the CDW order. We further add on-site Coulomb interactions and reproduce an energy gap at the Fermi level within a mean-field analysis. On the basis of coupled equations of motion for electrons and the lattice distortion, we numerically study their dynamics driven by an ultrashort laser pulse. We find that the CDW order decreases and even disappears during the laser irradiation while the lattice distortion is almost frozen. We also find that the lattice motion sets in on a longer time scale and causes a further decrease in the CDW order even after the laser irradiation.


title: Extreme Huygens' metasurfaces based on quasi-bound states in the continuum

abstract: We introduce the concept and a generic approach to realize Extreme Huygens' Metasurfaces by bridging the concepts of Huygens' conditions and optical bound states in the continuum. This novel paradigm allows creating Huygens' metasurfaces whose quality factors can be tuned over orders of magnitudes, generating extremely dispersive phase modulation. We validate this concept with a proof-of-concept experiment at the near-infrared wavelengths, demonstrating all-dielectric Huygens' metasurfaces with different quality factors. Our study points out a practical route for controlling the radiative decay rate while maintaining the Huygens' condition, complementing existing Huygens' metasurfaces whose bandwidths are relatively broad and complicated to tune. This novel feature can provide new insight for various applications, including optical sensing, dispersion engineering and pulse-shaping, tunable metasurfaces, metadevices with high spectral selectivity, and nonlinear meta-optics.


title: Approximate Identities and Lagrangian Poincar\'e Recurrence

abstract: In this note we discuss three interconnected problems about dynamics of Hamiltonian or, more generally, just smooth diffeomorphisms. The first two concern the existence and properties of the maps whose iterations approximate the identity map with respect to some norm, e.g., $C^1$- or $C^0$-norm for general diffeomorphisms and the $\gamma$-norm in the Hamiltonian case, and the third problem is the Lagrangian Poincar\'e recurrence conjecture.


title: Containers Orchestration with Cost-Efficient Autoscaling in Cloud Computing Environments

abstract: Containers are standalone, self-contained units that package software and its dependencies together. They offer lightweight performance isolation, fast and flexible deployment, and fine-grained resource sharing. They have gained popularity in better application management and deployment in recent years and are being widely used by organizations to deploy their increasingly diverse workloads such as web services, big data, and IoT in either proprietary clusters or cloud data centres. This has led to the emergence of container orchestration platforms, which are designed to manage the deployment of containerized applications in large-scale clusters. The majority of these platforms are tailored to optimize the scheduling of containers on a fixed-sized private cluster but are not enabled to autoscale the size of the cluster nor to consider features specific to public cloud environments. In this work, we propose a comprehensive container resource management approach that has three different objectives. The first one is to optimize the initial placement of containers by efficiently scheduling them on existing resources. The second one is to autoscale the number of resources at runtime based on the current cluster's workload. The third one is a rescheduling mechanism to further support the efficient use of resources by consolidating applications into fewer VMs when possible. Our algorithms are implemented as a plugin-scheduler for Kubernetes platform. We evaluated our framework and the effectiveness of the proposed algorithms on an Australian national cloud infrastructure. Our experiments demonstrate that considerable cost savings can be achieved by dynamically managing the cluster size and placement of applications. We find that our proposed approaches are capable of reducing the cost by 58% when compared to the default Kubernetes scheduler.


title: Plan-Recognition-Driven Attention Modeling for Visual Recognition

abstract: Human visual recognition of activities or external agents involves an interplay between high-level plan recognition and low-level perception. Given that, a natural question to ask is: can low-level perception be improved by high-level plan recognition? We formulate the problem of leveraging recognized plans to generate better top-down attention maps \cite{gazzaniga2009,baluch2011} to improve the perception performance. We call these top-down attention maps specifically as plan-recognition-driven attention maps. To address this problem, we introduce the Pixel Dynamics Network. Pixel Dynamics Network serves as an observation model, which predicts next states of object points at each pixel location given observation of pixels and pixel-level action feature. This is like internally learning a pixel-level dynamics model. Pixel Dynamics Network is a kind of Convolutional Neural Network (ConvNet), with specially-designed architecture. Therefore, Pixel Dynamics Network could take the advantage of parallel computation of ConvNets, while learning the pixel-level dynamics model. We further prove the equivalence between Pixel Dynamics Network as an observation model, and the belief update in partially observable Markov decision process (POMDP) framework. We evaluate our Pixel Dynamics Network in event recognition tasks. We build an event recognition system, ER-PRN, which takes Pixel Dynamics Network as a subroutine, to recognize events based on observations augmented by plan-recognition-driven attention.


title: An API for Development of User-Defined Scheduling Algorithms in Aneka PaaS Cloud Software: User Defined Schedulers in Aneka PaaS Cloud Software

abstract: Cloud computing has been developed as one of the prominent paradigm for providing on demand resources to the end user based on signed service level agreement and pay as use model. Cloud computing provides resources using multitenant architecture where infrastructure is generated from multiple or single geographical distributed cloud datacenters. Scheduling of cloud application requests to cloud infrastructure is one of the main research area in cloud computing. Researchers have developed many scheduling applications for which they have used different simulators available in the market such as CloudSim. Performance of any scheduling algorithm will be different when applied to real time cloud environment as compared to simulation software. Aneka is one of the prominent PaaS software which allows users to develop cloud application using various programming models and underline infrastructure. In this chapter, a scheduling API is developed over the Aneka software platform which can be easily integrated with the Aneka software. Users can develop their own scheduling algorithms using this API and integrate it with Aneka software so that they can test their scheduling algorithm in real cloud environment. The proposed API provides all the required functionalities to integrate and schedule private, public or hybrid cloud with the Aneka software.


title: Multi-modal Capsule Routing for Actor and Action Video Segmentation Conditioned on Natural Language Queries

abstract: In this paper, we propose an end-to-end capsule network for pixel level localization of actors and actions present in a video. The localization is performed based on a natural language query through which an actor and action are specified. We propose to encode both the video as well as textual input in the form of capsules, which provide more effective representation in comparison with standard convolution based features. We introduce a novel capsule based attention mechanism for fusion of video and text capsules for text selected video segmentation. The attention mechanism is performed via joint EM routing over video and text capsules for text selected actor and action localization. The existing works on actor-action localization are mainly focused on localization in a single frame instead of the full video. Different from existing works, we propose to perform the localization on all frames of the video. To validate the potential of the proposed network for actor and action localization on all the frames of a video, we extend an existing actor-action dataset (A2D) with annotations for all the frames. The experimental evaluation demonstrates the effectiveness of the proposed capsule network for text selective actor and action localization in videos, and it also improves upon the performance of the existing state-of-the art works on single frame-based localization.


title: The Wasserstein-Fisher-Rao metric for waveform based earthquake location

abstract: In our previous work [Chen el al., J. Comput. Phys., 373(2018)], the quadratic Wasserstein metric is successfully applied to the earthquake location problem. The actual earthquake hypocenter can be accurately recovered starting from initial values very far from the true ones. However, the seismic wave signals need to be normalized since the quadratic Wasserstein metric requires mass conservation. This brings a critical difficulty. Since the amplitude of a seismogram at a receiver is a good representation of the distance between the source and the receiver, simply normalizing the signals will cause the objective function in optimization process to be insensitive to the distance between the source and the receiver. When the data is contaminated with strong noise, the minimum point of the objective function will deviate and lead to a low accurate location result. To overcome the difficulty mentioned above, we apply the Wasserstein-Fisher-Rao (WFR) metric [Chizat et al., Found. Comput. Math., 18(2018)] to the earthquake location problem. The WFR metric is one of the newly developed metric in the unbalanced Optimal Transport theory. It does not require the normalization of the seismic signals. Thus, the amplitude of seismograms can be considered as a new constraint, which can substantially improve the sensitivity of the objective function to the distance between the source and the receiver. As a result, we can expect more accurate location results from the WFR metric based method compare to those based on quadratic Wasserstein metric under high-intensity noise. The numerical examples also demonstrate this.


title: Global solutions of $3$-D Navier-Stokes system with small unidirectional derivative

abstract: Given initial data $u_0=(u_0^\h,u_0^3)\in H^{-\d,0}\cap H^{\f12}(\R^3)$ with both~$\uh_0$ and~$\nabla_{\rm h}\uh_0$ belonging to ~$L^2(\R^3)\cap L^\infty(\R_\v;L^2(\R^2_\h))$ and $u_0^\h\in L^\infty(\R_\v, H^{-\d}(\R^2_\h))$ for some $\delta\in ]0,1[,$ if in addition $\pa_3u_0$ belongs to $H^{-\frac12,0}\cap H^{\frac12,0}(\R^3),$ we prove that the classical $3$-D Navier-Stokes system has a unique global Fujita-Kato solution provided that $\|\pa_3u_0\|_{H^{-\f12,0}}$ is sufficiently small compared to a constant which depends only on the norms of the initial data. In particular, this result provides some classes of large initial data which generate unique global solutions to 3-D Navier-Stokes system.


title: Unilateral Left-Tail Anderson Darling Test Based Spectrum Sensing with Laplacian Noise

abstract: This paper focuses on spectrum sensing under Laplacian noise. To remit the negative effects caused by heavy-tailed behavior of Laplacian noise, the fractional lower order moments (FLOM) technology is employed to pre-process the received samples before spectrum sensing. Via exploiting the asymmetrical difference between the distribution for the FLOM of received samples in the absence and presence of primary users, we formulate the spectrum sensing problem under Laplacian noise as a unilateral goodness-of-fit (GoF) test problem. Based on this test problem, we propose a new GoF-based detector which is called unilateral left-tail Anderson Darling (ULAD) detector. The analytical expressions for the theoretical performance, in terms of false-alarm and detection probabilities, of the ULAD are derived. Moreover, a closed-form expression for the optimal detection threshold is also derived to minimize the total error rate. Simulation results are provided to validate the theoretical analyses and to demonstrate the superior performance of the proposed detector than others.


title: Heter-Sim: Heterogeneous multi-agent systems simulation by interactive data-driven optimization

abstract: Interactive multi-agent simulation algorithms are used to compute the trajectories and behaviors of different entities in virtual reality scenarios. However, current methods involve considerable parameter tweaking to generate plausible behaviors. We introduce a novel approach (Heter-Sim) that combines physics-based simulation methods with data-driven techniques using an optimization-based formulation. Our approach is general and can simulate heterogeneous agents corresponding to human crowds, traffic, vehicles, or combinations of different agents with varying dynamics. We estimate motion states from real-world datasets that include information about position, velocity, and control direction. Our optimization algorithm considers several constraints, including velocity continuity, collision avoidance, attraction, and direction control. To accelerate the computations, we reduce the search space for both collision avoidance and optimal solution computation. Heter-Sim can simulate tens or hundreds of agents at interactive rates and we compare its accuracy with real-world datasets and prior algorithms. We also perform user studies that evaluate the plausible behaviors generated by our algorithm and a user study that evaluates the plausibility of our algorithm via VR.


title: On variation of gradients of deep neural networks

abstract: We provide a theoretical explanation of the role of the number of nodes at each layer in deep neural networks. We prove that the largest variation of a deep neural network with ReLU activation function arises when the layer with the fewest nodes changes its activation pattern. An important implication is that deep neural network is a useful tool to generate functions most of whose variations are concentrated on a smaller area of the input space near the boundaries corresponding to the layer with the fewest nodes. In turn, this property makes the function more invariant to input transformation. That is, our theoretical result gives a clue about how to design the architecture of a deep neural network to increase complexity and transformation invariancy simultaneously.


title: The directed landscape

abstract: The conjectured limit of last passage percolation is a scale-invariant, independent, stationary increment process with respect to metric composition. We prove this for Brownian last passage percolation. We construct the Airy sheet and characterize it in terms of the Airy line ensemble. We also show that last passage geodesics converge to random functions with Holder-2/3- continuous paths. This work completes the construction of the central object in the Kardar-Parisi-Zhang universality class, the directed landscape.


title: Why walking is easier than pointing: Hydrodynamics of dry active matter

abstract: Although human beings have known about the phenomenon of "flocking"- that is, the coherent movement of large numbers of creatures (flocks of birds, schools of fish, herds of woolly mammoths, etc.)- since prehistoric times, it is only in the last two decades that we have begun to truly understand this phenomenon. In particular, the surprising fact that a very large collection of organisms in two dimensions cannot all {\it point} in the same direction, but can quite easily {\it move} in the same direction, can now be explained. In these lectures, I'll review one of the principle theoretical tools that made this possible: hydrodynamics. My intention is both to elucidate flocking- or, to use the specific technical mouthful, "polar ordered dry active fluids"-, and to use flocking as an illustration of how to use the hydrodynamic approach on new and unfamiliar systems.


title: Bulk properties of the Airy line ensemble

abstract: The Airy line ensemble is a central object in random matrix theory and last passage percolation defined by a determinantal formula. The goal of this paper is to provide a set of tools which allow for precise probabilistic analysis of the Airy line ensemble. The two main theorems are a representation in terms of independent Brownian bridges connecting a fine grid of points, and a modulus of continuity result for all lines. Along the way, we give tail bounds and moduli of continuity for nonintersecting Brownian ensembles, and a quick proof of tightness for Dyson's Brownian motion converging to the Airy line ensemble.


title: ECO: Egocentric Cognitive Mapping

abstract: We present a new method to localize a camera within a previously unseen environment perceived from an egocentric point of view. Although this is, in general, an ill-posed problem, humans can effortlessly and efficiently determine their relative location and orientation and navigate into a previously unseen environments, e.g., finding a specific item in a new grocery store. To enable such a capability, we design a new egocentric representation, which we call ECO (Egocentric COgnitive map). ECO is biologically inspired, by the cognitive map that allows human navigation, and it encodes the surrounding visual semantics with respect to both distance and orientation. ECO possesses three main properties: (1) reconfigurability: complex semantics and geometry is captured via the synthesis of atomic visual representations (e.g., image patch); (2) robustness: the visual semantics are registered in a geometrically consistent way (e.g., aligning with respect to the gravity vector, frontalizing, and rescaling to canonical depth), thus enabling us to learn meaningful atomic representations; (3) adaptability: a domain adaptation framework is designed to generalize the learned representation without manual calibration. As a proof-of-concept, we use ECO to localize a camera within real-world scenes---various grocery stores---and demonstrate performance improvements when compared to existing semantic localization approaches.


title: Lattice Calculation of the Proton Charge Radius

abstract: The charge radius of the proton has been measured in scattering and spectroscopy experiments using both electronic and muonic probes. The electronic and muonic measurements are discrepant at $5\sigma$, giving rise to what is known as the proton radius puzzle. With the goal of resolving this, we introduce a novel method of using lattice QCD to determine the isovector charge radius -- defined as the slope of the electric form factor at zero four-momentum transfer -- by introducing a mass splitting between the up and down quarks. This allows us to access timelike four-momentum transfers as well as spacelike ones, leading to potentially higher accuracy in determining the form factor slope at $Q^2 = 0$ by interpolation. In this preliminary study, we find a Dirac isovector radius squared of $0.320 \pm 0.074$ fm$^2$ at quark masses corresponding to $m_\pi = 450$ MeV. We compare the feasibility of this method with other approaches of determining the proton charge radius from lattice QCD.


title: Gravitational Theories with Torsion

abstract: We give a complete formulation of Poincare gauge theory, starting from the fibre bundle formulation to the resultant Riemann-Cartan spacetime. We also introduce several diverse gravity theories descendent from the Poincare gauge theory. Especially, the cosmological effect of the simple scalar-torsion (0^+) mode in Poincare gauge theory of gravity is studied. In the theory, we treat the geometric effect of torsion as an effective quantity, which behaves like dark energy and study the effective equation of state (EoS) of the model. We construct the extra dimension theory of teleparallel gravity by using differential forms. In particular, we discuss the Kaluza-Klein and braneworld scenarios by direct dimensional reduction and specifying the shape of fibre. The FLRW cosmological scenario of the braneworld theory in teleparallel gravity demonstrates its equivalence to general relativity (GR) in the field equations, namely they possess the same Friedmann equation.


title: A Survey of Fake News: Fundamental Theories, Detection Methods, and Opportunities

abstract: The explosive growth in fake news and its erosion to democracy, justice, and public trust has increased the demand for fake news detection and intervention. This survey reviews and evaluates methods that can detect fake news from four perspectives: (1) the false knowledge it carries, (2) its writing style, (3) its propagation patterns, and (4) the credibility of its source. The survey also highlights some potential research tasks based on the review. In particular, we identify and detail related fundamental theories across various disciplines to encourage interdisciplinary research on fake news. We hope this survey can facilitate collaborative efforts among experts in computer and information sciences, social sciences, political science, and journalism to research fake news, where such efforts can lead to fake news detection that is not only efficient but more importantly, explainable.


title: A Conjectured Integer Sequence Arising From the Exponential Integral

abstract: Let $f_0(z) = \exp(z/(1-z))$, $f_1(z) = \exp(1/(1-z))E_1(1/(1-z))$, where $E_1(x) = \int_x^\infty e^{-t}t^{-1}{\,d}t$. Let $a_n = [z^n]f_0(z)$ and $b_n = [z^n]f_1(z)$ be the corresponding Maclaurin series coefficients. We show that $a_n$ and $b_n$ may be expressed in terms of confluent hypergeometric functions. We consider the asymptotic behaviour of the sequences $(a_n)$ and $(b_n)$ as $n \to \infty$, showing that they are closely related, and proving a conjecture of Bruno Salvy regarding $(b_n)$. Let $\rho_n = a_n b_n$, so $\sum \rho_n z^n = (f_0\,\odot f_1)(z)$ is a Hadamard product. We obtain an asymptotic expansion $2n^{3/2}\rho_n \sim -\sum d_k n^{-k}$ as $n \to \infty$, where the $d_k\in\mathbb Q$, $d_0=1$. We conjecture that $2^{6k}d_k \in \mathbb Z$. This has been verified for $k \le 1000$.