title: On Few Shot Learning of Dynamical Systems: A Koopman Operator Theoretic Approach

abstract: In this paper, we propose a novel algorithm for learning the Koopman operator of a dynamical system from a \textit{small} amount of training data. In many applications of data-driven modeling, e.g. biological network modeling, cybersecurity, modeling the Internet of Things, or smart grid monitoring, it is impossible to obtain regularly sampled time-series data with a sufficiently high sampling frequency. In such situations the existing Dynamic Mode Decomposition (DMD) or Extended Dynamic Mode Decomposition (EDMD) algorithms for Koopman operator computation often leads to a low fidelity approximate Koopman operator. To this end, this paper proposes an algorithm which can compute the Koopman operator efficiently when the training data-set is sparsely sampled across time. In particular, the proposed algorithm enriches the small training data-set by appending artificial data points, which are treated as noisy observations. The larger, albeit noisy data-set is then used to compute the Koopman operator, using techniques from Robust Optimization. The efficacy of the proposed algorithm is also demonstrated on three different dynamical systems, namely a linear network of oscillators, a nonlinear system and a dynamical system governed by a Partial Differential Equation (PDE).


title: TypeShift: A User Interface for Visualizing the Typing Production Process

abstract: TypeShift is a tool for visualizing linguistic patterns in the timing of typing production. Language production is a complex process which draws on linguistic, cognitive and motor skills. By visualizing holistic trends in the typing process, TypeShift aims to elucidate the often noisy information signals that are used to represent typing patterns, both at the word-level and character-level. It accomplishes this by enabling a researcher to compare and contrast specific linguistic phenomena, and compare an individual typing session to multiple group averages. Finally, although TypeShift was originally designed for typing data, it can easy be adapted to accommodate speech data, as well. A web demo is available at https://angoodkind.shinyapps.io/TypeShift/. The source code can be accessed at https://github.com/angoodkind/TypeShift.


title: Phonon Hall Viscosity in Magnetic Insulators

abstract: The Phonon Hall Viscosity is the leading term evincing time-reversal symmetry breaking in the low energy description of lattice phonons. It may generate phonon Berry curvature, and can be observed experimentally through the acoustic Faraday effect and thermal Hall transport. We present a systematic procedure to obtain the phonon Hall viscosity induced by phonon-magnon interactions in magnetic insulators under an external magnetic field. We obtain a general symmetry criterion that leads to non-zero Faraday rotation and Hall conductivity, and clarify the interplay between lattice symmetry, spin-orbit-coupling, external magnetic field and magnetic ordering. The symmetry analysis is verified through a microscopic calculation. By constructing the general symmetry-allowed effective action that describes the spin dynamics and spin-lattice coupling, and then integrating out the spin fluctuations, the leading order time-reversal breaking term in the phonon effective action, i.e. the phonon Hall viscosity, can be obtained. The analysis of the square lattice antiferromagnet for a cuprate Mott insulator, Sr$_2$CuO$_2$Cl$_2$, is presented explicitly, and the procedure described here can be readily generalized to other magnetic insulators.


title: MeGA-CDA: Memory Guided Attention for Category-Aware Unsupervised Domain Adaptive Object Detection

abstract: Existing approaches for unsupervised domain adaptive object detection perform feature alignment via adversarial training. While these methods achieve reasonable improvements in performance, they typically perform category-agnostic domain alignment, thereby resulting in negative transfer of features. To overcome this issue, in this work, we attempt to incorporate category information into the domain adaptation process by proposing Memory Guided Attention for Category-Aware Domain Adaptation (MeGA-CDA). The proposed method consists of employing category-wise discriminators to ensure category-aware feature alignment for learning domain-invariant discriminative features. However, since the category information is not available for the target samples, we propose to generate memory-guided category-specific attention maps which are then used to route the features appropriately to the corresponding category discriminator. The proposed method is evaluated on several benchmark datasets and is shown to outperform existing approaches.


title: Translating the Unseen? Yoruba-English MT in Low-Resource, Morphologically-Unmarked Settings

abstract: Translating between languages where certain features are marked morphologically in one but absent or marked contextually in the other is an important test case for machine translation. When translating into English which marks (in)definiteness morphologically, from Yor\`ub\'a which uses bare nouns but marks these features contextually, ambiguities arise. In this work, we perform fine-grained analysis on how an SMT system compares with two NMT systems (BiLSTM and Transformer) when translating bare nouns in Yor\`ub\'a into English. We investigate how the systems what extent they identify BNs, correctly translate them, and compare with human translation patterns. We also analyze the type of errors each model makes and provide a linguistic description of these errors. We glean insights for evaluating model performance in low-resource settings. In translating bare nouns, our results show the transformer model outperforms the SMT and BiLSTM models for 4 categories, the BiLSTM outperforms the SMT model for 3 categories while the SMT outperforms the NMT models for 1 category.


title: Threat Modeling of Cyber-Physical Systems in Practice

abstract: Traditional Cyber-physical Systems(CPSs) were not built with cybersecurity in mind. They operated on separate Operational Technology (OT) networks. As these systems now become more integrated with Information Technology (IT) networks based on IP, they expose vulnerabilities that can be exploited by the attackers through these IT networks. The attackers can control such systems and cause behavior that jeopardizes the performance and safety measures that were originally designed into the system. In this paper, we explore the approaches to identify threats to CPSs and ensure the quality of the created threat models. The study involves interviews with eleven security experts working in security consultation companies, software engineering companies, an Original Equipment Manufacturer (OEM),and ground and areal vehicles integrators. We found through these interviews that the practitioners use a combination of various threat modeling methods, approaches, and standards together when they perform threat modeling of given CPSs. key challenges practitioners face are: they cannot transfer the threat modeling knowledge that they acquire in a cyber-physical domain to other domains, threat models of modified systems are often not updated, and the reliance on mostly peer-evaluation and quality checklists to ensure the quality of threat models. The study warns about the difficulty to develop secure CPSs and calls for research on developing practical threat modeling methods for CPSs, techniques for continuous threat modeling, and techniques to ensure the quality of threat models.


title: Superradiant stability of five and six-dimensional extremal Reissner-Nordstrom black holes

abstract: The superradiant stability of five and six-dimensional extremal Reissner-Nordstrom black holes under charged massive scalar perturbation is studied. In each case, it is analytically proved that the effective potential experienced by the scalar perturbation has only one maximum outside the black hole horizon and no potential well exists for the superradiance modes. So the five and six-dimensional extremal Reissner-Nordstrom black holes are superradiantly stable. In the proof, we develop a new method which is based on the Descartes' rule of signs for the polynomial equations. Our results generalize the previous study that four-dimensional extremal Reissner-Nordstrom black hole is superradiantly stable under charged massive scalar perturbation.


title: 2-local derivations on the twisted Heisenberg-Virasoro algebra

abstract: 2-local derivation is a generalized derivation for a Lie algebra, which plays an important role to the study of local properties of the structure of the Lie algebra. In this paper, we prove that every 2-local derivation on the twisted Heisenberg-Virasoro algebra is a derivation.


title: Painlev\'{e} IV, $\sigma-$Form and the Deformed Hermite Unitary Ensembles

abstract: We study the Hankel determinant generated by a deformed Hermite weight with one jump $w(z,t,\gamma)=e^{-z^2+tz}|z-t|^{\gamma}(A+B\theta(z-t))$, where $A\geq 0$, $A+B\geq 0$, $t\in\textbf{R}$, $\gamma>-1$ and $z\in\textbf{R}$. By using the ladder operators for the corresponding monic orthogonal polynomials, and their relative compatibility conditions, we obtain a series of difference and differential equations to describe the relations among $\alpha_n$, $\beta_n$, $R_n(t)$ and $r_n(t)$. Especially, we find that the auxiliary quantities $R_n(t)$ and $r_n(t)$ satisfy the coupled Riccati equations, and $R_n(t)$ satisfies a particular Painlev\'{e} IV equation. Based on above results, we show that $\sigma_n(t)$ and $\hat{\sigma}_n(t)$, two quantities related to the Hankel determinant and $R_n(t)$, satisfy the continuous and discrete $\sigma-$form equations, respectively. In the end, we also discuss the large $n$ asymptotic behavior of $R_n(t)$, which produce the expansion of the logarithmic of the Hankel determinant and the asymptotic of the second order differential equation of the monic orthogonal polynomials.


title: Carbon Free High Loading Silicon Anodes Enabled by Sulfide Solid Electrolytes for Robust All Solid-State Batteries

abstract: The development of silicon anodes to replace conventional graphite in efforts to increase energy densities of lithium-ion batteries has been largely impeded by poor interfacial stability against liquid electrolytes. Here, stable operation of 99.9 weight% micro-Si (uSi) anode is enabled by utilizing the interface passivating properties of sulfide based solid-electrolytes. Bulk to surface characterization, as well as quantification of interfacial components showed that such an approach eliminates continuous interfacial growth and irreversible lithium losses. In uSi || layered-oxide full cells, high current densities at room temperature (5 mA cm 2), wide operating temperature (-20{\deg}C to 80{\deg}C) and high loadings (>11 mAh cm-2) were demonstrated for both charge and discharge operations. The promising battery performance can be attributed to both the desirable interfacial property between uSi and sulfide electrolytes, as well as the unique chemo-mechanical behavior of the Li-Si alloys.


title: Quantum interpolating ensemble: Biorthogonal polynomials and average entropies

abstract: The density matrix formalism is a fundamental tool in studying various problems in quantum information processing. In the space of density matrices, the most well-known measures are the Hilbert-Schmidt and Bures-Hall ensembles. In this work, the averages of quantum purity and von Neumann entropy for an ensemble that interpolates between these two major ensembles are explicitly calculated for finite-dimensional systems. The proposed interpolating ensemble is a specialization of the $\theta$-deformed Cauchy-Laguerre two-matrix model and new results for this latter ensemble are given in full generality, including the recurrence relations satisfied by their associated bi-orthogonal polynomials when $\theta$ assumes positive integer values.


title: Exploring self-consistency of the equations of axion electrodynamics in Weyl semimetals

abstract: Recent works have provided evidence that an axial anomaly can arise in Weyl semimetals. If this is the case, then the electromagnetic response of Weyl semimetals should be governed by the equations of axion electrodynamics. These equations capture both the chiral magnetic and anomalous Hall effects in the limit of linear response, while at higher orders their solutions can provide detectable electromagnetic signatures of the anomaly. In this work, we consider three versions of axion electrodynamics that have been proposed in the Weyl semimetal literature. These versions differ in the form of the chiral magnetic term and in whether or not the axion is treated as a dynamical field. In each case, we look for solutions to these equations for simple sample geometries subject to applied external fields. We find that in the case of a linear chiral magnetic term generated by a non-dynamical axion, self-consistent solutions can generally be obtained. In this case, the magnetic field inside of the Weyl semimetal can be magnified significantly, providing a testable signature for experiments. Self-consistent solutions can also be obtained for dynamical axions, but only in cases where the chiral magnetic term vanishes identically. Finally, for a nonlinear form of the chiral magnetic term frequently considered in the literature, we find that there are no self-consistent solutions aside from a few special cases.


title: GANav: Efficient Terrain Segmentation for Robot Navigation in Unstructured Outdoor Environments

abstract: We propose GANav, a novel group-wise attention mechanism to identify safe and navigable regions in off-road terrains and unstructured environments from RGB images. Our approach classifies terrains based on their navigability levels using coarse-grained semantic segmentation. Our novel group-wise attention loss enables any backbone network to explicitly focus on the different groups' features with low spatial resolution. Our design leads to efficient inference while maintaining a high level of accuracy compared to existing SOTA methods. Our extensive evaluations on the RUGD and RELLIS-3D datasets shows that GANav achieves an improvement over the SOTA mIoU by 2.25-39.05% on RUGD and 5.17-19.06% on RELLIS-3D. We interface GANav with a deep reinforcement learning-based navigation algorithm and highlight its benefits in terms of navigation in real-world unstructured terrains. We integrate our GANav-based navigation algorithm with ClearPath Jackal and Husky robots, and observe an increase of 10% in terms of success rate, 2-47% in terms of selecting the surface with the best navigability and a decrease of 4.6-13.9% in trajectory roughness. Further, GANav reduces the false positive rate of forbidden regions by 37.79%. Code, videos, and a full technical report are available at https://gamma.umd.edu/offroad/.


title: Bottlenecks in Blockchain Consensus Protocols

abstract: Most of the Blockchain permissioned systems employ Byzantine fault-tolerance (BFT) consensus protocols to ensure that honest validators agree on the order for appending entries to their ledgers. In this paper, we study the performance and the scalability of prominent consensus protocols, namely PBFT, Tendermint, HotStuff, and Streamlet, both analytically via load formulas and practically via implementation and evaluation. Under identical conditions, we identify the bottlenecks of these consensus protocols and show that these protocols do not scale well as the number of validators increases. Our investigation points to the communication complexity as the culprit. Even when there is enough network bandwidth, the CPU cost of serialization and deserialization of the messages limits the throughput and increases the latency of the protocols. To alleviate the bottlenecks, the most useful techniques include reducing the communication complexity, rotating the hotspot of communications, and pipelining across consensus instances.


title: Graph-based Pyramid Global Context Reasoning with a Saliency-aware Projection for COVID-19 Lung Infections Segmentation

abstract: Coronavirus Disease 2019 (COVID-19) has rapidly spread in 2020, emerging a mass of studies for lung infection segmentation from CT images. Though many methods have been proposed for this issue, it is a challenging task because of infections of various size appearing in different lobe zones. To tackle these issues, we propose a Graph-based Pyramid Global Context Reasoning (Graph-PGCR) module, which is capable of modeling long-range dependencies among disjoint infections as well as adapt size variation. We first incorporate graph convolution to exploit long-term contextual information from multiple lobe zones. Different from previous average pooling or maximum object probability, we propose a saliency-aware projection mechanism to pick up infection-related pixels as a set of graph nodes. After graph reasoning, the relation-aware features are reversed back to the original coordinate space for the down-stream tasks. We further construct multiple graphs with different sampling rates to handle the size variation problem. To this end, distinct multi-scale long-range contextual patterns can be captured. Our Graph-PGCR module is plug-and-play, which can be integrated into any architecture to improve its performance. Experiments demonstrated that the proposed method consistently boost the performance of state-of-the-art backbone architectures on both of public and our private COVID-19 datasets.


title: Assignments of the $X(4140)$, $X(4500)$, $X(4630)$ and $X(4685)$ based on the QCD sum rules

abstract: In this article, we take into account our previous calculations based on the QCD sum rules, and tentatively assign the $X(4630)$ as the $D_s^*\bar{D}_{s1}-D_{s1}\bar{D}_s^*$ tetraquark molecular state or $[cs]_P[\bar{c}\bar{s}]_A+[cs]_A[\bar{c}\bar{s}]_P$ tetraquark state with the $J^{PC}=1^{-+}$, and assign the $X(3915)$ and $X(4500)$ as the 1S and 2S $[cs]_A[\bar{c}\bar{s}]_A$ tetraquark states respectively with the $J^{PC}=0^{++}$. Then we extend our previous works to investigate the LHCb's new tetraquark candidate $X(4685)$ as the first radial excited state of the $X(4140)$ with the QCD sum rules, and obtain the mass $M_{X}=4.70\pm0.12\,\rm{GeV}$, which is in very good agreement with the experimental value $4684 \pm 7 {}^{+13}_{-16}\,\rm{MeV}$. Furthermore, we investigate the two-meson scattering state contributions in details, and observe that the two-meson scattering states alone cannot saturate the QCD sum rules, the contributions of the tetraquark states play an un-substitutable role, we can saturate the QCD sum rules with or without the two-meson scattering states.


abstract: 2-local derivation is a generalized derivation for a Lie algebra, which plays an important role to the study of local properties of the structure of the Lie algebra. In this paper, we prove that every 2-local derivation on the conformal Galilei algebra is a derivation.


title: Inverse Kohn-Sham Density Functional Theory: Progress and Challenges

abstract: Inverse Kohn-Sham (iKS) problems are needed to fully understand the one-to-one mapping between densities and potentials on which Density Functional Theory is based. They are also important to advance computational schemes that rely on density-to-potential inversions such as the Optimized Effective Potential method and various techniques for density-based embedding. Unlike the forward Kohn-Sham problems, numerical iKS problems are ill-posed and can be unstable. We discuss some of the fundamental and practical difficulties of iKS problems with constrained-optimization methods on finite basis sets. Various factors that affect the performance are systematically compared and discussed, both analytically and numerically, with a focus on two of the most practical methods: the Wu-Yang method (WY) and partial-differential-equation constrained-optimization (PDE-CO). Our analysis of the WY and PDE-CO highlights the limitation of finite basis sets and the importance of regularization. We introduce two new ideas that will hopefully contribute to making iKS problems more tractable: (1) A correction to the WY method that utilizes the null space of the relevant Hessian matrices; and (2) A finite potential basis-set implementation of the PDE-CO method. We provide an overall strategy for performing numerical density-to-potential inversions that can be directly adopted in practice. We also provide an Appendix with several examples that can be used for benchmarking.


title: The superradiant stability of Kerr-Newman black holes

abstract: In this article, the superradiation stability of Kerr-Newman black holes is discussed by introducing the condition used in Kerr black holes y into them. Moreover, the motion equation of the minimal coupled scalar perturbation in a Kerr-Newman black hole is divided into angular and radial parts. Hod proved\cite{12} that the Kerr black hole should be superradiantly stable under massive scalar perturbation when $\mu \ge \sqrt{2}m\Omega_H$, where $\mu$ is the mass. In this article, a new variable y is added here to expand the results of the above article. When $\sqrt{2(a^2+Q^2)}/{r^2_+}< \omega< m\varOmega_H+q\varPhi_H$,particularly $\mu \ge \sqrt{2}(m\varOmega_H+q\varPhi_H)$,so the Kerr-Newman black hole is superradiantly stable at that time.


title: Preliminary Study on Forced Oscillation of Power System with Quadratic Nonlinearity

abstract: Forced oscillation (FO) is a significant concern threating the power system stability. Its mechanisms are mostly studied via linear models. However, FO amplitude is increasing, e.g., Nordic and Western American FOs, which can stimulate power system nonlinearity. Hence, this paper incorporates nonlinearity in FO mechanism analysis. The multi-scale technique is employed in solving the forced oscillation equation to handle the quadratic nonlinearity. The amplitude-frequency characteristic curves and first-order approximate expressions are derived. The frequency deviation and jumping phenomenon caused by nonlinearity are discovered and further analyzed by comparing with linear models. This paper provides a preliminary research for nonlinear FOs of power system, and more characteristics should be further analysis in the near future.


title: The Anomalous 21-cm Absorption at High Redshifts

abstract: The EDGES collaboration has reported the detection of a global 21-cm signal with a plateau centered at 76 MHz (i.e., redshift 17.2), with an amplitude of 500^(+200)_(-500) mK. This anomalous measurement does not comport with standard cosmology, which can only accommodate an amplitude < 230 mK. Nevertheless, the line profile's redshift range (15 < z < 20) suggests a possible link to Pop III star formation and an implied evolution out of the `dark ages.' Given this tension with the standard model, we here examine whether the observed 21-cm signal is instead consistent with the results of recent modeling based on the alternative Friedmann-Lemaitre-Robertson-Walker cosmology known as the R_h=ct universe, showing that--in this model--the CMB radiation might have been rethermalized by dust ejected into the IGM by the first-generation stars at redshift z < 16. We find that the requirements for this process to have occurred would have self-consistently established an equilibrium spin temperature T_s~3.4 K in the neutral hydrogen, via the irradiation of the IGM by deep penetrating X-rays emitted at the termination shocks of Pop III supernova remnants. Such a dust scenario has been strongly ruled out for the standard model, so the spin temperature (~3.3 K) inferred from the 21-cm absorption feature appears to be much more consistent with the R_h=ct profile than that implied by LCDM, for which adiabatic cooling would have established a spin temperature T_s(z=17.2)~6 K.


title: MetaView: Few-shot Active Object Recognition

abstract: In robot sensing scenarios, instead of passively utilizing human captured views, an agent should be able to actively choose informative viewpoints of a 3D object as discriminative evidence to boost the recognition accuracy. This task is referred to as active object recognition. Recent works on this task rely on a massive amount of training examples to train an optimal view selection policy. But in realistic robot sensing scenarios, the large-scale training data may not exist and whether the intelligent view selection policy can be still learned from few object samples remains unclear. In this paper, we study this new problem which is extremely challenging but very meaningful in robot sensing -- Few-shot Active Object Recognition, i.e., to learn view selection policies from few object samples, which has not been considered and addressed before. We solve the proposed problem by adopting the framework of meta learning and name our method "MetaView". Extensive experiments on both category-level and instance-level classification tasks demonstrate that the proposed method can efficiently resolve issues that are hard for state-of-the-art active object recognition methods to handle, and outperform several baselines by large margins.


title: Estimating and Improving Fairness with Adversarial Learning

abstract: Fairness and accountability are two essential pillars for trustworthy Artificial Intelligence (AI) in healthcare. However, the existing AI model may be biased in its decision marking. To tackle this issue, we propose an adversarial multi-task training strategy to simultaneously mitigate and detect bias in the deep learning-based medical image analysis system. Specifically, we propose to add a discrimination module against bias and a critical module that predicts unfairness within the base classification model. We further impose an orthogonality regularization to force the two modules to be independent during training. Hence, we can keep these deep learning tasks distinct from one another, and avoid collapsing them into a singular point on the manifold. Through this adversarial training method, the data from the underprivileged group, which is vulnerable to bias because of attributes such as sex and skin tone, are transferred into a domain that is neutral relative to these attributes. Furthermore, the critical module can predict fairness scores for the data with unknown sensitive attributes. We evaluate our framework on a large-scale public-available skin lesion dataset under various fairness evaluation metrics. The experiments demonstrate the effectiveness of our proposed method for estimating and improving fairness in the deep learning-based medical image analysis system.


title: Counterfactuals and Causability in Explainable Artificial Intelligence: Theory, Algorithms, and Applications

abstract: There has been a growing interest in model-agnostic methods that can make deep learning models more transparent and explainable to a user. Some researchers recently argued that for a machine to achieve a certain degree of human-level explainability, this machine needs to provide human causally understandable explanations, also known as causability. A specific class of algorithms that have the potential to provide causability are counterfactuals. This paper presents an in-depth systematic review of the diverse existing body of literature on counterfactuals and causability for explainable artificial intelligence. We performed an LDA topic modelling analysis under a PRISMA framework to find the most relevant literature articles. This analysis resulted in a novel taxonomy that considers the grounding theories of the surveyed algorithms, together with their underlying properties and applications in real-world data. This research suggests that current model-agnostic counterfactual algorithms for explainable AI are not grounded on a causal theoretical formalism and, consequently, cannot promote causability to a human decision-maker. Our findings suggest that the explanations derived from major algorithms in the literature provide spurious correlations rather than cause/effects relationships, leading to sub-optimal, erroneous or even biased explanations. This paper also advances the literature with new directions and challenges on promoting causability in model-agnostic approaches for explainable artificial intelligence.


title: Muonium hydride: the lowest density crystal

abstract: A muonium hydride molecule is a bound state of muonium and hydrogen atoms. It has half the mass of a parahydrogen molecule and very similar electronic properties in its ground state. The phase diagram of an assembly of such particles is investigated by first principle quantum simulations. In the bulk limit, the low-temperature equilibrium phase is a crystal of extraordinarily low density, lower than that of any other known atomic or molecular crystal. Despite the low density and particle mass, the melting temperature is surprisingly high (close to 9 K). No (metastable) supersolid phase is observed. We investigated the physical properties of nanoscale clusters (up to 200 particles) of muonium hydride and found the superfluid response to be greatly enhanced compared to that of parahydrogen clusters. The possible experimental realization of these systems is discussed.


title: RNA Alternative Splicing Prediction with Discrete Compositional Energy Network

abstract: A single gene can encode for different protein versions through a process called alternative splicing. Since proteins play major roles in cellular functions, aberrant splicing profiles can result in a variety of diseases, including cancers. Alternative splicing is determined by the gene's primary sequence and other regulatory factors such as RNA-binding protein levels. With these as input, we formulate the prediction of RNA splicing as a regression task and build a new training dataset (CAPD) to benchmark learned models. We propose discrete compositional energy network (DCEN) which leverages the hierarchical relationships between splice sites, junctions and transcripts to approach this task. In the case of alternative splicing prediction, DCEN models mRNA transcript probabilities through its constituent splice junctions' energy values. These transcript probabilities are subsequently mapped to relative abundance values of key nucleotides and trained with ground-truth experimental measurements. Through our experiments on CAPD, we show that DCEN outperforms baselines and ablation variants.


title: Adaptive Coding for Matrix Multiplication at Edge Networks

abstract: Edge computing is emerging as a new paradigm to allow processing data at the edge of the network, where data is typically generated and collected, by exploiting multiple devices at the edge collectively. However, exploiting the potential of edge computing is challenging mainly due to the heterogeneous and time-varying nature of edge devices. Coded computation, which advocates mixing data in sub-tasks by employing erasure codes and offloading these sub-tasks to other devices for computation, is recently gaining interest, thanks to its higher reliability, smaller delay, and lower communication cost. In this paper, our focus is on characterizing the cost-benefit trade-offs of coded computation for practical edge computing systems, and develop an adaptive coded computation framework. In particular, we focus on matrix multiplication as a computationally intensive task, and develop an adaptive coding for matrix multiplication (ACM^2) algorithm by taking into account the heterogeneous and time varying nature of edge devices. ACM^2 dynamically selects the best coding policy by taking into account the computing time, storage requirements as well as successful decoding probability. We show that ACM^2 improves the task completion delay significantly as compared to existing coded matrix multiplication algorithms.


title: Divergence and Consensus in Majority Rule

abstract: We investigate majority rule dynamics in a population with two classes of people, each with two opinion states $\pm 1$, and with tunable interactions between people in different classes. In an update, a randomly selected group adopts the majority opinion if all group members belong to the same class; if not, majority rule is applied with probability $\epsilon$. Consensus is achieved in a time that scales logarithmically with population size if $\epsilon\geq \epsilon_c=\frac{1}{9}$. For $\epsilon <\epsilon_c$, the population can get trapped in a polarized state, with one class preferring the $+1$ state and the other preferring $-1$. The time to escape this polarized state and reach consensus scales exponentially with population size.


title: Cascaded Filtering Using the Sigma Point Transformation (Extended Version)

abstract: It is often convenient to separate a state estimation task into smaller "local" tasks, where each local estimator estimates a subset of the overall system state. However, neglecting cross-covariance terms between state estimates can result in overconfident estimates, which can ultimately degrade the accuracy of the estimator. Common cascaded filtering techniques focus on the problem of modelling cross-covariances when the local estimators share a common state vector. This letter introduces a novel cascaded and decentralized filtering approach that approximates the cross-covariances when the local estimators consider distinct state vectors. The proposed estimator is validated in simulations and in experiments on a three-dimensional attitude and position estimation problem. The proposed approach is compared to a naive cascaded filtering approach that neglects cross-covariance terms, a sigma point-based Covariance Intersection filter, and a full-state filter. In both simulations and experiments, the proposed filter outperforms the naive and the Covariance Intersection filters, while performing comparatively to the full-state filter.


title: Greedy Approximation Algorithms for Active Sequential Hypothesis Testing

abstract: In the problem of active sequential hypothesis testing (ASHT), a learner seeks to identify the true hypothesis from among a known set of hypotheses. The learner is given a set of actions and knows the random distribution of the outcome of any action under any true hypothesis. Given a target error $\delta>0$, the goal is to sequentially select the fewest number of actions so as to identify the true hypothesis with probability at least $1 - \delta$. Motivated by applications in which the number of hypotheses or actions is massive (e.g., genomics-based cancer detection), we propose efficient (greedy, in fact) algorithms and provide the first approximation guarantees for ASHT, under two types of adaptivity. Both of our guarantees are independent of the number of actions and logarithmic in the number of hypotheses. We numerically evaluate the performance of our algorithms using both synthetic and real-world DNA mutation data, demonstrating that our algorithms outperform previously proposed heuristic policies by large margins.


title: Uncovering the Benefits and Challenges of Continuous Integration Practices

abstract: In 2006, Fowler and Foemmel defined ten core Continuous Integration (CI) practices that could increase the speed of software development feedback cycles and improve software quality. Since then, these practices have been widely adopted by industry and subsequent research has shown they improve software quality. However, there is poor understanding of how organizations implement these practices, of the benefits developers perceive they bring, and of the challenges developers and organizations experience in implementing them. In this paper, we discuss a multiple-case study of three small- to medium-sized companies using the recommended suite of ten CI practices. Using interviews and activity log mining, we learned that these practices are broadly implemented but how they are implemented varies depending on their perceived benefits, the context of the project, and the CI tools used by the organization. We also discovered that CI practices can create new constraints on the software process that hurt feedback cycle time. For researchers, we show that how CI is implemented varies, and thus studying CI (for example, using data mining) requires understanding these differences as important context for research studies. For practitioners, our findings reveal in-depth insights on the possible benefits and challenges from using the ten practices, and how project context matters.


title: Weighted Simplicial Complexes and Weighted Analytic Torsions

abstract: A weighted simplicial complex is a simplicial complex with values (called weights) on the vertices. In this paper, we consider weighted simplicial complexes with $\mathbb{R}^2$-valued weights. We study the weighted homology and the weighted analytic torsion for such weighted simplicial complexes.


title: Quantum K-nearest neighbor classification algorithm based on Hamming distance

abstract: K-nearest neighbor classification algorithm is one of the most basic algorithms in machine learning, which determines the sample's category by the similarity between samples. In this paper, we propose a quantum K-nearest neighbor classification algorithm with Hamming distance. In this algorithm, quantum computation is firstly utilized to obtain Hamming distance in parallel. Then, a core sub-algorithm for searching the minimum of unordered integer sequence is presented to find out the minimum distance. Based on these two sub-algorithms, the whole quantum frame of K-nearest neighbor classification algorithm is presented. At last, it is shown that the proposed algorithm can achieve a quadratical speedup by analyzing its time complexity briefly.


title: Adjoint twisted Reidemeister torsion and Gram matrices

abstract: We compute the adjoint twisted Reidemeister torsion for closed oriented hyperbolic $3$-manifolds and for hyperbolic $3$-manifolds with toroidal boundary. In our formula, we consider the manifold as obtained by doing a Dehn-filling along suitable boundary components of a fundamental shadow link complement, and the formula is in terms of the logarithmic holonomy of the meridians of the boundary components. As an important special case, we also write down a formula of the adjoint twisted Reidemeister torsion for the double of a hyperbolic $3$-manifold with totally geodesic boundary in terms of the edge lengths of a geometric ideal triangulation of the manifold. These unexpected formulas were inspired by, and played an important role in, the study of the asymptotic expansion of quantum invariants\,\cite{WY}.


title: The Determinants of Democracy Revisited: An Instrumental Variable Bayesian Model Averaging Approach

abstract: Identifying the real causes of democracy is an ongoing debate. We contribute to the literature by examining the robustness of a comprehensive list of 42 potential determinants of democracy. We take a step forward and employ Instrumental Variable Bayesian Model Averaging (IVBMA) method to tackle endogeneity explicitly. Using the data of 111 countries, our IVBMA results mark arable land as the most persistent predictor of democracy with a posterior inclusion probability (PIP) of 0.961. Youth population (PIP: 0.893), life expectancy (PIP: 0.839), and GDP per capita (PIP: 0.758) are the next critical independent variables. In a subsample of 80 developing countries, in addition to arable land (PIP: 0.919), state fragility proves to be a significant determinant of democracy (PIP: 0.779).


title: Robust Point Cloud Registration Framework Based on Deep Graph Matching

abstract: 3D point cloud registration is a fundamental problem in computer vision and robotics. There has been extensive research in this area, but existing methods meet great challenges in situations with a large proportion of outliers and time constraints, but without good transformation initialization. Recently, a series of learning-based algorithms have been introduced and show advantages in speed. Many of them are based on correspondences between the two point clouds, so they do not rely on transformation initialization. However, these learning-based methods are sensitive to outliers, which lead to more incorrect correspondences. In this paper, we propose a novel deep graph matchingbased framework for point cloud registration. Specifically, we first transform point clouds into graphs and extract deep features for each point. Then, we develop a module based on deep graph matching to calculate a soft correspondence matrix. By using graph matching, not only the local geometry of each point but also its structure and topology in a larger range are considered in establishing correspondences, so that more correct correspondences are found. We train the network with a loss directly defined on the correspondences, and in the test stage the soft correspondences are transformed into hard one-to-one correspondences so that registration can be performed by singular value decomposition. Furthermore, we introduce a transformer-based method to generate edges for graph construction, which further improves the quality of the correspondences. Extensive experiments on registering clean, noisy, partial-to-partial and unseen category point clouds show that the proposed method achieves state-of-the-art performance. The code will be made publicly available at https://github.com/fukexue/RGM.


title: Student-Teacher Feature Pyramid Matching for Anomaly Detection

abstract: Anomaly detection is a challenging task and usually formulated as an one-class learning problem for the unexpectedness of anomalies. This paper proposes a simple yet powerful approach to this issue, which is implemented in the student-teacher framework for its advantages but substantially extends it in terms of both accuracy and efficiency. Given a strong model pre-trained on image classification as the teacher, we distill the knowledge into a single student network with the identical architecture to learn the distribution of anomaly-free images and this one-step transfer preserves the crucial clues as much as possible. Moreover, we integrate the multi-scale feature matching strategy into the framework, and this hierarchical feature matching enables the student network to receive a mixture of multi-level knowledge from the feature pyramid under better supervision, thus allowing to detect anomalies of various sizes. The difference between feature pyramids generated by the two networks serves as a scoring function indicating the probability of anomaly occurring. Due to such operations, our approach achieves accurate and fast pixel-level anomaly detection. Very competitive results are delivered on the MVTec anomaly detection dataset, superior to the state of the art ones.


title: High-Resolution Segmentation of Tooth Root Fuzzy Edge Based on Polynomial Curve Fitting with Landmark Detection

abstract: As the most economical and routine auxiliary examination in the diagnosis of root canal treatment, oral X-ray has been widely used by stomatologists. It is still challenging to segment the tooth root with a blurry boundary for the traditional image segmentation method. To this end, we propose a model for high-resolution segmentation based on polynomial curve fitting with landmark detection (HS-PCL). It is based on detecting multiple landmarks evenly distributed on the edge of the tooth root to fit a smooth polynomial curve as the segmentation of the tooth root, thereby solving the problem of fuzzy edge. In our model, a maximum number of the shortest distances algorithm (MNSDA) is proposed to automatically reduce the negative influence of the wrong landmarks which are detected incorrectly and deviate from the tooth root on the fitting result. Our numerical experiments demonstrate that the proposed approach not only reduces Hausdorff95 (HD95) by 33.9% and Average Surface Distance (ASD) by 42.1% compared with the state-of-the-art method, but it also achieves excellent results on the minute quantity of datasets, which greatly improves the feasibility of automatic root canal therapy evaluation by medical image computing.


title: Sequential Competitive Facility Location: Exact and Approximate Algorithms

abstract: We study a competitive facility location problem (CFLP), where two firms sequentially open new facilities within their budgets, in order to maximize their market shares of demand that follows a probabilistic choice model. This process is a Stackelberg game and admits a bilevel mixed-integer nonlinear program (MINLP) formulation. We derive an equivalent, single-level MINLP reformulation and exploit the problem structures to derive two valid inequalities, based on submodularity and concave overestimation, respectively. We use the two valid inequalities in a branch-and-cut algorithm to find globally optimal solutions. Then, we propose an approximation algorithm to find good-quality solutions with a constant approximation guarantee. We develop several extensions by considering general facility-opening costs, outside competitors, as well as diverse facility-planning decisions, and discuss solution approaches for each extension. We conduct numerical studies to demonstrate that the exact algorithm significantly accelerates the computation of CFLP on large-sized instances that have not been solved optimally or even heuristically by existing methods, and the approximation algorithm can quickly find high-quality solutions. We derive managerial insights based on sensitivity analysis of different settings that affect customers' probabilistic choices and the ensuing demand.


title: ARVo: Learning All-Range Volumetric Correspondence for Video Deblurring

abstract: Video deblurring models exploit consecutive frames to remove blurs from camera shakes and object motions. In order to utilize neighboring sharp patches, typical methods rely mainly on homography or optical flows to spatially align neighboring blurry frames. However, such explicit approaches are less effective in the presence of fast motions with large pixel displacements. In this work, we propose a novel implicit method to learn spatial correspondence among blurry frames in the feature space. To construct distant pixel correspondences, our model builds a correlation volume pyramid among all the pixel-pairs between neighboring frames. To enhance the features of the reference frame, we design a correlative aggregation module that maximizes the pixel-pair correlations with its neighbors based on the volume pyramid. Finally, we feed the aggregated features into a reconstruction module to obtain the restored frame. We design a generative adversarial paradigm to optimize the model progressively. Our proposed method is evaluated on the widely-adopted DVD dataset, along with a newly collected High-Frame-Rate (1000 fps) Dataset for Video Deblurring (HFR-DVD). Quantitative and qualitative experiments show that our model performs favorably on both datasets against previous state-of-the-art methods, confirming the benefit of modeling all-range spatial correspondence for video deblurring.


title: Weighted Inequalities For The Numerical Radius

abstract: In this article, we obtain several new weighted bounds for the numerical radius of a Hilbert space operator. The significance of the obtained results is the way they generalize many existing results in the literature; where certain values of the weights imply some known results, or refinements of these results. In the end, we present some numerical examples that show how our results refine the well known results in the literature, related to this topic.


title: Developing a Data-Driven Categorical Taxonomy of Emotional Expressions in Real World Human Robot Interactions

abstract: Emotions are reactions that can be expressed through a variety of social signals. For example, anger can be expressed through a scowl, narrowed eyes, a long stare, or many other expressions. This complexity is problematic when attempting to recognize a human's expression in a human-robot interaction: categorical emotion models used in HRI typically use only a few prototypical classes, and do not cover the wide array of expressions in the wild. We propose a data-driven method towards increasing the number of known emotion classes present in human-robot interactions, to 28 classes or more. The method includes the use of automatic segmentation of video streams into short (<10s) videos, and annotation using the large set of widely-understood emojis as categories. In this work, we showcase our initial results using a large in-the-wild HRI dataset (UE-HRI), with 61 clips randomly sampled from the dataset, labeled with 28 different emojis. In particular, our results showed that the "skeptical" emoji was a common expression in our dataset, which is not often considered in typical emotion taxonomies. This is the first step in developing a rich taxonomy of emotional expressions that can be used in the future as labels for training machine learning models, towards more accurate perception of humans by robots.


title: Deepfake Videos in the Wild: Analysis and Detection

abstract: AI-manipulated videos, commonly known as deepfakes, are an emerging problem. Recently, researchers in academia and industry have contributed several (self-created) benchmark deepfake datasets, and deepfake detection algorithms. However, little effort has gone towards understanding deepfake videos in the wild, leading to a limited understanding of the real-world applicability of research contributions in this space. Even if detection schemes are shown to perform well on existing datasets, it is unclear how well the methods generalize to real-world deepfakes. To bridge this gap in knowledge, we make the following contributions: First, we collect and present the largest dataset of deepfake videos in the wild, containing 1,869 videos from YouTube and Bilibili, and extract over 4.8M frames of content. Second, we present a comprehensive analysis of the growth patterns, popularity, creators, manipulation strategies, and production methods of deepfake content in the real-world. Third, we systematically evaluate existing defenses using our new dataset, and observe that they are not ready for deployment in the real-world. Fourth, we explore the potential for transfer learning schemes and competition-winning techniques to improve defenses.


title: T-Miner: A Generative Approach to Defend Against Trojan Attacks on DNN-based Text Classification

abstract: Deep Neural Network (DNN) classifiers are known to be vulnerable to Trojan or backdoor attacks, where the classifier is manipulated such that it misclassifies any input containing an attacker-determined Trojan trigger. Backdoors compromise a model's integrity, thereby posing a severe threat to the landscape of DNN-based classification. While multiple defenses against such attacks exist for classifiers in the image domain, there have been limited efforts to protect classifiers in the text domain. We present Trojan-Miner (T-Miner) -- a defense framework for Trojan attacks on DNN-based text classifiers. T-Miner employs a sequence-to-sequence (seq-2-seq) generative model that probes the suspicious classifier and learns to produce text sequences that are likely to contain the Trojan trigger. T-Miner then analyzes the text produced by the generative model to determine if they contain trigger phrases, and correspondingly, whether the tested classifier has a backdoor. T-Miner requires no access to the training dataset or clean inputs of the suspicious classifier, and instead uses synthetically crafted "nonsensical" text inputs to train the generative model. We extensively evaluate T-Miner on 1100 model instances spanning 3 ubiquitous DNN model architectures, 5 different classification tasks, and a variety of trigger phrases. We show that T-Miner detects Trojan and clean models with a 98.75% overall accuracy, while achieving low false positives on clean models. We also show that T-Miner is robust against a variety of targeted, advanced attacks from an adaptive attacker.


title: Persistence and convergence in parabolic-parabolic chemotaxis system with logistic source on $\mathbb{R}^{N}$

abstract: In the current paper, we consider the following parabolic-parabolic chemotaxis system with logistic source on $\mathbb{R}^{N}$, \begin{equation} \begin{cases} u_t=\Delta u-\chi\nabla\cdot ( u\nabla v) + u(a-bu),\quad x\in\mathbb{R}^{N}\,\,\, t>0\cr {v_t}=\Delta v -\lambda v+\mu u,\quad x\in \mathbb{R}^{N}\,\,\, t>0 \end{cases}(1) \end{equation} where $\chi, \ a,\ b,\ \lambda,\ \mu$ are positive constants and $N$ is a positive integer. We investigate the persistence and convergence in (1). To this end, we first prove, under the assumption $b>\frac{N\chi\mu}{4}$, the global existence of a unique classical solution $(u(x,t;u_0, v_0),v(x,t;u_0, v_0))$ of (1) with $u(x,0;u_0, v_0)=u_0(x)$ and $v(x,0;u_0, v_0)=v_0(x)$ for every nonnegative, bounded, and uniformly continuous function $u_0(x)$, and every nonnegative, bounded, uniformly continuous, and differentiable function $v_0(x)$. Next, under the same assumption $b>\frac{N\chi\mu}{4}$, we show that persistence phenomena occurs, that is, any globally defined bounded positive classical solution with strictly positive initial function $u_0$ is bounded below by a positive constant independent of $(u_0, v_0)$ when time is large. Finally, we discuss the asymptotic behavior of the global classical solution with strictly positive initial function $u_0$. We show that there is $K=K(a,\lambda,N)>\frac{N}{4}$ such that if $b>K \chi\mu$ and $\lambda\geq \frac{a}{2}$, then for every strictly positive initial function $u_0(\cdot)$, it holds that $$\lim_{t\to\infty}\big[\|u(x,t;u_0, v_0)-\frac{a}{b}\|_{\infty}+\|v(x,t;u_0, v_0)-\frac{\mu}{\lambda}\frac{a}{b}\|_{\infty}\big]=0.$$


title: Resource Distribution Under Spatiotemporal Uncertainty of Disease Spread: Stochastic versus Robust Approaches

abstract: We consider the problem of optimizing locations of distribution centers (DCs) and plans for distributing resources such as test kits and vaccines, under spatiotemporal uncertainties of disease spread and demand for the resources. We aim to balance the operational cost (including costs of deploying facilities, shipping, and storage) and quality of service (reflected by demand coverage), while ensuring equity and fairness of resource distribution across multiple populations. We compare a sample-based stochastic programming (SP) approach with a distributionally robust optimization (DRO) approach using a moment-based ambiguity set. Numerical studies are conducted on instances of distributing COVID-19 vaccines in the United States and test kits, to compare SP and DRO models with a deterministic formulation using estimated demand and with the current resource distribution plans implemented in the US. We demonstrate the results over distinct phases of the pandemic to estimate the cost and speed of resource distribution depending on scale and coverage, and show the ``demand-driven'' properties of the SP and DRO solutions. Our results further indicate that if the worst-case unmet demand is prioritized, then the DRO approach is preferred despite of its higher overall cost. Nevertheless, the SP approach can provide an intermediate plan under budgetary restrictions without significant compromises in demand coverage.


title: Checkpoint/Restart for Lagrangian particle mesh with AMR in community code FLASH-X

abstract: In this work we present the design decisions and advantages for accomplishing cross mesh format checkpoint-restart in community code FLASH-X. AMReX and Paramesh are the two AMR mesh formats developed and supported by FLASH-X. We also highlight strong and weak scaling study of existing HDF5 I/O checkpoint writing along with new ideas and results (presented during talk) for utilizing heterogeneous compute architectures for improved I/O performance.


title: The $d$-very ampleness of adjoint line bundles on quasi-elliptic surfaces

abstract: In this paper, we give a numerical criterion of Reider-type for the $d$-very ampleness of the adjoint line bundles on quasi-elliptic surfaces, and meanwhile we give a new proof of the vanishing theorem on quasi-elliptic surfaces emailed from Langer and show that it is the optimal version.


title: Connection matrices in combinatorial topological dynamics

abstract: Connection matrices are one of the central tools in Conley's approach to the study of dynamical systems, as they provide information on the existence of connecting orbits in Morse decompositions. They may be considered a generalisation of the boundary operator in the Morse complex in Morse theory. Their computability has recently been addressed by Harker, Mischaikow, and Spendlove in the context of lattice filtered chain complexes. In the current paper, we extend the recently introduced Conley theory for combinatorial vector and multivector fields on Lefschetz complexes by transferring the concept of connection matrix to this setting. This is accomplished by the notion of connection matrix for arbitrary poset filtered chain complexes, as well as an associated equivalence, which allows for changes in the underlying posets. We show that for the special case of gradient combinatorial vector fields in the sense of Forman, connection matrices are necessarily unique. Thus, the classical results of Reineck have a natural analogue in the combinatorial setting.


title: Tendon-Driven Soft Robotic Gripper for Berry Harvesting

abstract: Global berry production and consumption have significantly increased in recent years, coinciding with increased consumer awareness of the health-promoting benefits of berries. Among them, fresh market blackberries and raspberries are primarily harvested by hand to maintain post-harvest quality. However, fresh market berry harvesting is an arduous, costly endeavor that accounts for up to 50% of the worker hours. Additionally, the inconsistent forces applied during hand-harvesting can result in an 85% loss of marketable berries due to red drupelet reversion (RDR). Herein, we present a novel, tendon-driven soft robotic gripper with active contact force feedback control, which leverages the passive compliance of the gripper for the gentle harvesting of blackberries. The versatile gripper was able to apply a desired force as low as 0.5 N with a mean error of 0.046 N, while also holding payloads that produce forces as high as 18 N. Field test results indicate that the gripper is capable of harvesting berries with minimal berry damage, while maintaining a harvesting reliability of 95% and a harvesting rate of approximately 4.8 seconds per berry.


title: Long-range-ordered phase in a quantum Heisenberg chain with interactions beyond nearest neighbors

abstract: Spin ensembles coupled to optical cavities provide a powerful platform for engineering synthetic quantum matter. Recently, we demonstrated that cavity mediated infinite range interactions can induce fast scrambling in a Heisenberg $XXZ$ spin chain (Phys. Rev. Research {\bf 2}, 043399 (2020)). In this work, we analyze the kaleidoscope of quantum phases that emerge in this system from the interplay of these interactions. Employing both analytical spin-wave theory as well as numerical DMRG calculations, we find that there is a large parameter regime where the continuous $U(1)$ symmetry of this model is spontaneously broken and the ground state of the system exhibits $XY$ order. This kind of symmetry breaking and the consequent long range order is forbidden for short range interacting systems by the Mermin-Wagner theorem. Intriguingly, we find that the $XY$ order can be induced by even an infinitesimally weak infinite range interaction. Furthermore, we demonstrate that in the $U(1)$ symmetry broken phase, the half chain entanglement entropy violates the area law logarithmically. Finally, we discuss a proposal to verify our predictions in state-of-the-art quantum emulators.


title: Quadrupling the stored charge by extending the accessible density of states

abstract: Nanosized energy storage, energy-harvesting, and functional devices are the three key components for integrated self-power systems. Here, we report on nanoscale electrochemical devices with a nearly three-fold enhanced stored charge under the field effect. We demonstrated the field-effect transistor can not only work as a functional component in nanodevices but also serve as an amplifier for the nanosized energy storage blocks. This unusual increase in energy storage is attributed to having a wide range of accessible electronic density of states (EDOS), hence redox reactions are occurring within the nanowire and not being confined to the surface. Initial results with MoS2 suggest that this field effect modulated energy storage mechanism may also apply to many other redox-active materials. Our work demonstrates the novel application of the field-effect in energy storage devices as a universal strategy to improve ion diffusion and the surface-active ion concentration of the active material, which can greatly enhance the charge storage ability of nanoscale devices. The fabrication process of the field-effect energy storage device is also compatible with microtechnology and can be integrated into other microdevices and nanodevices.


title: Robust Reflection Removal with Reflection-free Flash-only Cues

abstract: We propose a simple yet effective reflection-free cue for robust reflection removal from a pair of flash and ambient (no-flash) images. The reflection-free cue exploits a flash-only image obtained by subtracting the ambient image from the corresponding flash image in raw data space. The flash-only image is equivalent to an image taken in a dark environment with only a flash on. We observe that this flash-only image is visually reflection-free, and thus it can provide robust cues to infer the reflection in the ambient image. Since the flash-only image usually has artifacts, we further propose a dedicated model that not only utilizes the reflection-free cue but also avoids introducing artifacts, which helps accurately estimate reflection and transmission. Our experiments on real-world images with various types of reflection demonstrate the effectiveness of our model with reflection-free flash-only cues: our model outperforms state-of-the-art reflection removal approaches by more than 5.23dB in PSNR, 0.04 in SSIM, and 0.068 in LPIPS. Our source code and dataset are publicly available at {github.com/ChenyangLEI/flash-reflection-removal}.


title: Deformations of compact Prym fibrations to Hitchin systems

abstract: We describe certain Lagrangian fibrations by Prym varieties on holomorphic symplectic varieties that deform to compactifications of Sp-Hitchin systems.


title: 130 mA/mm $\beta$-Ga$_2$O$_3$ MESFET with Low-Temperature MOVPE-Regrown Ohmic Contacts

abstract: We report on the demonstration of metalorganic vapor phase epitaxy-regrown (MOVPE) ohmic contacts in an all MOVPE-grown $\beta$-Ga$_2$O$_3$ metal-semiconductor field effect transistor (MESFET). The low-temperature (600$^{\circ}$C) heavy (n$^{+}$) Si-doped regrown layers exhibit extremely high conductivity with sheet resistance of 73 $\Omega$/$\square$ and record low metal/n$^{+}$-Ga$_2$O$_3$ contact resistance of 80 m$\Omega$.mm and specific contact resistivity of 8.3$\times$10$^{-7}$ $\Omega$.cm$^{2}$ were achieved. The fabricated MESFETs exhibit a maximum drain-to-source current of 130 mA/mm, a high I$_{ON}$/I$_{OFF}$ of $>$10$^{10}$ with a high power FOM of 25 MW/cm$^{2}$ were achieved without any field plates. Nanoparticle-assisted Raman thermometry, thermal modeling, and infrared thermography were performed to assess the device self-heating under the high current and power conditions. This demonstration shows the promise of MOVPE technique for the realization of high-performance lateral $\beta$-Ga$_2$O$_3$ devices and also highlights the need for device-level thermal management.


title: Observation of the tradeoff between internal quantum nonseparability and external classical correlations

abstract: The monogamy relations of entanglement are highly significant. However, they involve only amounts of entanglement shared by different subsystems. Results on monogamy relations between entanglement and other kinds of correlations, and particularly classical correlations, are very scarce. Here we experimentally observe a tradeoff relation between internal quantum nonseparability and external total correlations in a photonic system and found that even purely classical external correlations have a detrimental effect on internal nonseparability. The nonseparability we consider, measured by the concurrence, is between different degrees of freedom within the same photon, and the external classical correlations, measured by the standard quantum mutual information, are generated between the photons of a photon pair using the time-bin method. Our observations show that to preserve the internal entanglement in a system, it is necessary to maintain low external correlations, including classical ones, between the system and its environment.


title: Estimating Heterogeneous Treatment Effects for General Responses

abstract: Heterogeneous treatment effect models allow us to compare treatments at subgroup and individual levels, and are of increasing popularity in applications like personalized medicine, advertising, and education. In this talk, we first survey different causal estimands used in practice, which focus on estimating the difference in conditional means. We then propose DINA, the difference in natural parameters, to quantify heterogeneous treatment effect in exponential families and the Cox model. For binary outcomes and survival times, DINA is both convenient and more practical for modeling the influence of covariates on the treatment effect. Second, we introduce a meta-algorithm for DINA, which allows practitioners to use powerful off-the-shelf machine learning tools for the estimation of nuisance functions, and which is also statistically robust to errors in inaccurate nuisance function estimation. We demonstrate the efficacy of our method combined with various machine learning base-learners on simulated and real datasets.


title: Routing Towards Discriminative Power of Class Capsules

abstract: Capsule networks are recently proposed as an alternative to modern neural network architectures. Neurons are replaced with capsule units that represent specific features or entities with normalized vectors or matrices. The activation of lower layer capsules affects the behavior of the following capsules via routing links that are constructed during training via certain routing algorithms. We discuss the routing-by-agreement scheme in dynamic routing algorithm which, in certain cases, leads the networks away from optimality. To obtain better and faster convergence, we propose a routing algorithm that incorporates a regularized quadratic programming problem which can be solved efficiently. Particularly, the proposed routing algorithm targets directly on the discriminative power of class capsules making the correct decision on input instances. We conduct experiments on MNIST, MNIST-Fashion, and CIFAR-10 and show competitive classification results compared to existing capsule networks.


title: Hierarchical Self Attention Based Autoencoder for Open-Set Human Activity Recognition

abstract: Wearable sensor based human activity recognition is a challenging problem due to difficulty in modeling spatial and temporal dependencies of sensor signals. Recognition models in closed-set assumption are forced to yield members of known activity classes as prediction. However, activity recognition models can encounter an unseen activity due to body-worn sensor malfunction or disability of the subject performing the activities. This problem can be addressed through modeling solution according to the assumption of open-set recognition. Hence, the proposed self attention based approach combines data hierarchically from different sensor placements across time to classify closed-set activities and it obtains notable performance improvement over state-of-the-art models on five publicly available datasets. The decoder in this autoencoder architecture incorporates self-attention based feature representations from encoder to detect unseen activity classes in open-set recognition setting. Furthermore, attention maps generated by the hierarchical model demonstrate explainable selection of features in activity recognition. We conduct extensive leave one subject out validation experiments that indicate significantly improved robustness to noise and subject specific variability in body-worn sensor signals. The source code is available at: github.com/saif-mahmud/hierarchical-attention-HAR


title: Necessary and sufficient criterion of steering for two-qubit T states

abstract: Einstein-Podolsky-Rosen (EPR) steering is the ability that an observer persuades a distant observer to share entanglement by making local measurements. Determining a quantum state is steerable or unsteerable remains an open problem. Here, we derive a new steering inequality with infinite measurements corresponding to an arbitrary two-qubit T state, from consideration of EPR steering inequalities with N projective measurement settings for each side. In fact, the steering inequality is also a sufficient criterion for guaranteering that the T state is unsteerable. Hence, the steering inequality can be viewed as a necessary and sufficient criterion to distinguish whether the T state is steerable or unsteerable. In order to reveal the fact that the set composed of steerable states is the strict subset of the set made up of entangled states, we prove theoretically that all separable T states can not violate the steering inequality. Moreover, we put forward a method to estimate the maximum violation from concurrence for arbitrary two-qubit T states, which indicates that the T state is steerable if its concurrence exceeds 1/4.


title: A unifying view toward polyhedral products through panel structures

abstract: A panel structure on a topological space is just a locally finite family of closed subspaces. A space together with a panel structure is called a space with faces. In this paper, we define the notion of polyhedral product over a space with faces. This notion provides a unifying viewpoint on the constructions of polyhedral products and generalized moment-angle complexes in various settings. We compute the stable decomposition of these spaces and use it to study their cohomology ring structures by the partial diagonal maps. Besides, we can compute the equivariant cohomology ring of the moment-angle complex over a space with faces with respect to the canonical torus action. The calculation leads to a notion of topological face ring of a space with faces, which generalizes the classical notion of face ring of a simplicial complex. We will see that many known results in the study of polyhedral products and moment-angle complexes can be reinterpreted from our general theorems on the polyhedral product over a space with faces. Moreover, we can derive some new results via our approach in some settings.


title: Cohomology of moduli space of cubic fourfolds I

abstract: In this paper we compute the cohomology of moduli space of cubic fourfolds with ADE type singularities relying on Kirwan's blowup and Laza's GIT construction. More precisely, we obtain the Betti numbers of Kirwan's resolution of the moduli space. Furthermore, by applying decomposition theorem we obtain the Betti numbers of the intersection cohomology of Baily-Borel compactification of the moduli space.


title: Bio-JOIE: Joint Representation Learning of Biological Knowledge Bases

abstract: The widespread of Coronavirus has led to a worldwide pandemic with a high mortality rate. Currently, the knowledge accumulated from different studies about this virus is very limited. Leveraging a wide-range of biological knowledge, such as gene ontology and protein-protein interaction (PPI) networks from other closely related species presents a vital approach to infer the molecular impact of a new species. In this paper, we propose the transferred multi-relational embedding model Bio-JOIE to capture the knowledge of gene ontology and PPI networks, which demonstrates superb capability in modeling the SARS-CoV-2-human protein interactions. Bio-JOIE jointly trains two model components. The knowledge model encodes the relational facts from the protein and GO domains into separated embedding spaces, using a hierarchy-aware encoding technique employed for the GO terms. On top of that, the transfer model learns a non-linear transformation to transfer the knowledge of PPIs and gene ontology annotations across their embedding spaces. By leveraging only structured knowledge, Bio-JOIE significantly outperforms existing state-of-the-art methods in PPI type prediction on multiple species. Furthermore, we also demonstrate the potential of leveraging the learned representations on clustering proteins with enzymatic function into enzyme commission families. Finally, we show that Bio-JOIE can accurately identify PPIs between the SARS-CoV-2 proteins and human proteins, providing valuable insights for advancing research on this new disease.


title: On the asymptotic of Wright functions of the second kind

abstract: The asymptotic expansions of the Wright functions of the second kind, introduced by Mainardi [see Appendix F of his book {\it Fractional Calculus and Waves in Linear Viscoelasticity}, (2010)], $$ F_\sigma(x)=\sum_{n=0}^\infty \frac{(-x)^n}{n! \g(-n\sigma)}~,\quad M_\sigma(x)=\sum_{n=0}^\infty \frac{(-x)^n}{n! \g(-n\sigma+1-\sigma)}\quad(0<\sigma<1)$$ for $x\to\pm\infty$ are presented. The situation corresponding to the limit $\sigma\to1^-$ is considered, where $M_\sigma(x)$ approaches the Dirac delta function $\delta(x-1)$. Numerical results are given to demonstrate the accuracy of the expansions derived in the paper, together with graphical illustrations that reveal the transition to a Dirac delta function as $\sigma\to 1^-$.


title: Learning Cycle-Consistent Cooperative Networks via Alternating MCMC Teaching for Unsupervised Cross-Domain Translation

abstract: This paper studies the unsupervised cross-domain translation problem by proposing a generative framework, in which the probability distribution of each domain is represented by a generative cooperative network that consists of an energy-based model and a latent variable model. The use of generative cooperative network enables maximum likelihood learning of the domain model by MCMC teaching, where the energy-based model seeks to fit the data distribution of domain and distills its knowledge to the latent variable model via MCMC. Specifically, in the MCMC teaching process, the latent variable model parameterized by an encoder-decoder maps examples from the source domain to the target domain, while the energy-based model further refines the mapped results by Langevin revision such that the revised results match to the examples in the target domain in terms of the statistical properties, which are defined by the learned energy function. For the purpose of building up a correspondence between two unpaired domains, the proposed framework simultaneously learns a pair of cooperative networks with cycle consistency, accounting for a two-way translation between two domains, by alternating MCMC teaching. Experiments show that the proposed framework is useful for unsupervised image-to-image translation and unpaired image sequence translation.


title: RFN-Nest: An end-to-end residual fusion network for infrared and visible images

abstract: In the image fusion field, the design of deep learning-based fusion methods is far from routine. It is invariably fusion-task specific and requires a careful consideration. The most difficult part of the design is to choose an appropriate strategy to generate the fused image for a specific task in hand. Thus, devising learnable fusion strategy is a very challenging problem in the community of image fusion. To address this problem, a novel end-to-end fusion network architecture (RFN-Nest) is developed for infrared and visible image fusion. We propose a residual fusion network (RFN) which is based on a residual architecture to replace the traditional fusion approach. A novel detail-preserving loss function, and a feature enhancing loss function are proposed to train RFN. The fusion model learning is accomplished by a novel two-stage training strategy. In the first stage, we train an auto-encoder based on an innovative nest connection (Nest) concept. Next, the RFN is trained using the proposed loss functions. The experimental results on public domain data sets show that, compared with the existing methods, our end-to-end fusion network delivers a better performance than the state-of-the-art methods in both subjective and objective evaluation. The code of our fusion method is available at https://github.com/hli1221/imagefusion-rfn-nest


title: Reduction Free Normalisation for a proof irrelevant type of propositions

abstract: We show normalisation and decidability of convertibility for a type theory with a hierarchy of universes and a proof irrelevant type of propositions, close to the type system used in the proof assistant Lean. Contrary to previous arguments, the proof does not require explicitly to introduce a notion of neutral and normal forms.


title: Theoretical Study of Extrinsic Spin-current Generation in Ferromagnets Induced by Anisotropic Spin-flip Scattering

abstract: The spin Hall effect (SHE) and the magnetic spin Hall effect (MSHE) are responsible for electrical spin current generation, which is a key concept of modern spintronics. We theoretically investigated the spin conductivity induced by spin-dependent s-d scattering in a ferromagnetic 3d alloy model by employing microscopic transport theory based on the Kubo formula. We derived a novel extrinsic mechanism that contributes to both the SHE and MSHE. This mechanism can be understood as the contribution from anisotropic (spatial-dependent) spin-flip scattering due to the combination of the orbital-dependent anisotropic shape of s-d hybridization and spin flipping, with the orbital shift caused by spin-orbit interaction with the d-orbitals. We also show that this mechanism is valid under crystal-field splitting among the d-orbitals in either the cubic or tetragonal symmetry.


title: Learning Human Rewards by Inferring Their Latent Intelligence Levels in Multi-Agent Games: A Theory-of-Mind Approach with Application to Driving Data

abstract: Reward function, as an incentive representation that recognizes humans' agency and rationalizes humans' actions, is particularly appealing for modeling human behavior in human-robot interaction. Inverse Reinforcement Learning is an effective way to retrieve reward functions from demonstrations. However, it has always been challenging when applying it to multi-agent settings since the mutual influence between agents has to be appropriately modeled. To tackle this challenge, previous work either exploits equilibrium solution concepts by assuming humans as perfectly rational optimizers with unbounded intelligence or pre-assigns humans' interaction strategies a priori. In this work, we advocate that humans are bounded rational and have different intelligence levels when reasoning about others' decision-making process, and such an inherent and latent characteristic should be accounted for in reward learning algorithms. Hence, we exploit such insights from Theory-of-Mind and propose a new multi-agent Inverse Reinforcement Learning framework that reasons about humans' latent intelligence levels during learning. We validate our approach in both zero-sum and general-sum games with synthetic agents and illustrate a practical application to learning human drivers' reward functions from real driving data. We compare our approach with two baseline algorithms. The results show that by reasoning about humans' latent intelligence levels, the proposed approach has more flexibility and capability to retrieve reward functions that explain humans' driving behaviors better.


title: MTLHealth: A Deep Learning System for Detecting Disturbing Content in Student Essays

abstract: Essay submissions to standardized tests like the ACT occasionally include references to bullying, self-harm, violence, and other forms of disturbing content. Graders must take great care to identify cases like these and decide whether to alert authorities on behalf of students who may be in danger. There is a growing need for robust computer systems to support human decision-makers by automatically flagging potential instances of disturbing content. This paper describes MTLHealth, a disturbing content detection pipeline built around recent advances from computational linguistics, particularly pre-trained language model Transformer networks.


title: Subaru Hyper Suprime-Cam excavates colossal over- and under-dense structures over 360 deg2 out to z=1

abstract: Subaru Strategic Program with the Hyper-Suprime Cam (HSC-SSP) has proven to be successful with its extremely-wide area coverage in past years. Taking advantages of this feature, we report initial results from exploration and research of expansive over- and under-dense structures at $z=$ 0.3-1 based on the second Public Data Release where optical 5-band photometric data for $\sim$ eight million sources with $i<23$ mag are available over $\sim360$ square degrees. We not only confirm known superclusters but also find candidates of titanic over- and under-dense regions out to $z=1$. The mock data analysis suggests that the density peaks would involve one or more massive dark matter haloes ($>10^{14}$ M$_\odot$) of the redshift, and the density troughs tend to be empty of massive haloes over $>10$ comoving Mpc. Besides, the density peaks and troughs at $z<0.6$ are in part identified as positive and negative weak lensing signals respectively, in mean tangential shear profiles, showing a good agreement with those inferred from the full-sky weak lensing simulation. The coming extensive spectroscopic surveys will be able to resolve these colossal structures in three-dimensional space. The number density information over the entire survey field will be available as grid-point data on the website of the HSC-SSP data release (https://hsc.mtk.nao.ac.jp/ssp/data-release/).


title: Lorentz and Gale-Ryser theorems on general measure spaces

abstract: Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms of its cross sections, and extend it to general measure spaces.


title: Global solutions for $H^s$-critical nonlinear biharmonic Schr\"{o}dinger equation

abstract: We consider the nonlinear biharmonic Schr\"odinger equation $$i\partial_tu+(\Delta^2+\mu\Delta)u+f(u)=0,\qquad (\text{BNLS})$$ in the critical Sobolev space $H^s(\R^N)$, where $N\ge1$, $\mu=0$ or $-1$, $0<s<\min\{\fc N2,8\}$ and $f(u)$ is a nonlinear function that behaves like $\lambda\left|u\right|^{\alpha}u$ with $\lambda\in\mathbb{C},\alpha=\frac{8}{N-2s}$. We prove the existence and uniqueness of the global solutions to (BNLS) for the small initial data.


title: Orthogonal Attention: A Cloze-Style Approach to Negation Scope Resolution

abstract: Negation Scope Resolution is an extensively researched problem, which is used to locate the words affected by a negation cue in a sentence. Recent works have shown that simply finetuning transformer-based architectures yield state-of-the-art results on this task. In this work, we look at Negation Scope Resolution as a Cloze-Style task, with the sentence as the Context and the cue words as the Query. We also introduce a novel Cloze-Style Attention mechanism called Orthogonal Attention, which is inspired by Self Attention. First, we propose a framework for developing Orthogonal Attention variants, and then propose 4 Orthogonal Attention variants: OA-C, OA-CA, OA-EM, and OA-EMB. Using these Orthogonal Attention layers on top of an XLNet backbone, we outperform the finetuned XLNet state-of-the-art for Negation Scope Resolution, achieving the best results to date on all 4 datasets we experiment with: BioScope Abstracts, BioScope Full Papers, SFU Review Corpus and the *sem 2012 Dataset (Sherlock).


title: Robust noncoplanar magnetism in band filling-tuned (Nd$_{1-x}$Ca$_x$)$_2$Mo$_2$O$_7$

abstract: In the metallic pyrochlore Nd$_2$Mo$_2$O$_7$, the conducting Molybdenum sublattice adopts canted, yet nearly collinear ferromagnetic order with nonzero scalar spin chirality. The chemical potential may be controlled by replacing Nd$^{3+}$ with Ca$^{2+}$, while introducing only minimal additional disorder to the conducting states. Here, we demonstrate the stability of the canted ferromagnetic state, including the tilting angle of Molybdenum spins, in (Nd$_{1-x}$Ca$_{x}$)$_2$Mo$_2$O$_7$ (NCMO) with $x\le 0.15$ using magnetic susceptibility measurements. Mo-Mo and Mo-Nd magnetic couplings both change sign above $x=0.22$, where the canted ferromagnetic state gives way to a spin-glass metallic region. Contributions to the Curie-Weiss law from two magnetic sublattices are separated systematically.


title: Hermitian threefolds with vanishing real bisectional curvature

abstract: We examine the class of compact Hermitian manifolds with constant holomorphic sectional curvature. Such manifolds are conjectured to be K\"ahler (hence a complex space form) when the constant is non-zero and Chern flat (hence a quotient of a complex Lie group) when the constant is zero. The conjecture is known in complex dimension two but open in higher dimensions. In this paper, we establish a partial solution in complex dimension three by proving that any compact Hermitian threefold with zero real bisectional curvature must be Chern flat. Real bisectional curvature is a curvature notion introduced by Xiaokui Yang and the second named author in 2019, generalizing holomorphic sectional curvature. It is equivalent to the latter in the K\"ahler case and is slightly stronger in general.


title: Learn to Differ: Sim2Real Small Defection Segmentation Network

abstract: Recent studies on deep-learning-based small defection segmentation approaches are trained in specific settings and tend to be limited by fixed context. Throughout the training, the network inevitably learns the representation of the background of the training data before figuring out the defection. They underperform in the inference stage once the context changed and can only be solved by training in every new setting. This eventually leads to the limitation in practical robotic applications where contexts keep varying. To cope with this, instead of training a network context by context and hoping it to generalize, why not stop misleading it with any limited context and start training it with pure simulation? In this paper, we propose the network SSDS that learns a way of distinguishing small defections between two images regardless of the context, so that the network can be trained once for all. A small defection detection layer utilizing the pose sensitivity of phase correlation between images is introduced and is followed by an outlier masking layer. The network is trained on randomly generated simulated data with simple shapes and is generalized across the real world. Finally, SSDS is validated on real-world collected data and demonstrates the ability that even when trained in cheap simulation, SSDS can still find small defections in the real world showing the effectiveness and its potential for practical applications.


title: Bounded weak and strong time periodic solutions to a three-dimensional chemotaxis-Stokes model with porous medium diffusion

abstract: In this paper, we study the time periodic problem to a three-dimensional chemotaxis-Stokes model with porous medium diffusion $\Delta n^m$ and inhomogeneous mixed boundary conditions. By using a double-level approximation method and some iterative techniques, we obtain the existence and time-space uniform boundedness of weak time periodic solutions for any $m>1$. Moreover, we improve the regularity for $m\le\frac{4}{3}$ and show that the obtained periodic solutions are in fact strong periodic solutions.


title: On the light front surfaces in the phase space of hadrons in heavy-ion collisions

abstract: Surfaces corresponding to the constant values of the light front variable forms paraboloids in the phase space of the inclusively produced hadrons in heavy-ion collisions. In this paper, it is demonstrated with the simulated Au-Au collisions at $\sqrt{s} = 200$ GeV using the UrQMD event generator that the paraboloidal surface defined by a certain constant value of the light front variable divides the particles in the phase space into two groups such that the distributions of the square of the transverse momentum, the polar angle and the light front variable of particles belonging to one among them can be described with the Boltzmann distribution parameterised by the mass-dependent temperature.


title: Impact of stratification mechanisms on turbulent characteristics of stable open-channel flows

abstract: Flow over a surface can be stratified by imposing a fixed mean vertical temperature (density) gradient profile throughout or via cooling at the surface. These distinct mechanisms can act simultaneously to establish a stable stratification in a flow. Here, we perform a series of direct numerical simulations of open-channel flows to study adaptation of a neutrally stratified turbulent flow under the combined or independent action of the aforementioned mechanisms. We force the fully developed flow with a constant mass flow rate. This flow forcing technique enables us to keep the bulk Reynolds number constant throughout our investigation and avoid complications arising from the acceleration of the bulk flow when a constant pressure gradient approach were to be adopted to force the flow instead. When both stratification mechanisms are active, the dimensionless stratification perturbation number emerges as an external flow control parameter, in addition to the Reynolds, Froude, and Prandtl numbers. We demonstrate that significant deviations from the Monin-Obukhov similarity formulation are possible when both types of stratification mechanisms are active within an otherwise weakly stable flow, even when the flux Richardson number is well below 0.2. An extended version of the similarity theory due to Zilitinkevich and Calanca shows promise in predicting the dimensionless shear for cases where both types of stratification mechanisms are active, but the extended theory is less accurate for gradients of scalar. The degree of deviation from neutral dimensionless shear as a function of the vertical coordinate emerges as a qualitative measure of the strength of stable stratification for all the cases investigated in this study.


title: DMotion: Robotic Visuomotor Control with Unsupervised Forward Model Learned from Videos

abstract: Learning an accurate model of the environment is essential for model-based control tasks. Existing methods in robotic visuomotor control usually learn from data with heavily labelled actions, object entities or locations, which can be demanding in many cases. To cope with this limitation, we propose a method, dubbed DMotion, that trains a forward model from video data only, via disentangling the motion of controllable agent to model the transition dynamics. An object extractor and an interaction learner are trained in an end-to-end manner without supervision. The agent's motions are explicitly represented using spatial transformation matrices containing physical meanings. In the experiments, DMotion achieves superior performance on learning an accurate forward model in a Grid World environment, as well as a more realistic robot control environment in simulation. With the accurate learned forward models, we further demonstrate their usage in model predictive control as an effective approach for robotic manipulations.


title: Detecting Adversarial Examples from Sensitivity Inconsistency of Spatial-Transform Domain

abstract: Deep neural networks (DNNs) have been shown to be vulnerable against adversarial examples (AEs), which are maliciously designed to cause dramatic model output errors. In this work, we reveal that normal examples (NEs) are insensitive to the fluctuations occurring at the highly-curved region of the decision boundary, while AEs typically designed over one single domain (mostly spatial domain) exhibit exorbitant sensitivity on such fluctuations. This phenomenon motivates us to design another classifier (called dual classifier) with transformed decision boundary, which can be collaboratively used with the original classifier (called primal classifier) to detect AEs, by virtue of the sensitivity inconsistency. When comparing with the state-of-the-art algorithms based on Local Intrinsic Dimensionality (LID), Mahalanobis Distance (MD), and Feature Squeezing (FS), our proposed Sensitivity Inconsistency Detector (SID) achieves improved AE detection performance and superior generalization capabilities, especially in the challenging cases where the adversarial perturbation levels are small. Intensive experimental results on ResNet and VGG validate the superiority of the proposed SID.


title: Joint Coding and Scheduling Optimization for Distributed Learning over Wireless Edge Networks

abstract: Unlike theoretical distributed learning (DL), DL over wireless edge networks faces the inherent dynamics/uncertainty of wireless connections and edge nodes, making DL less efficient or even inapplicable under the highly dynamic wireless edge networks (e.g., using mmW interfaces). This article addresses these problems by leveraging recent advances in coded computing and the deep dueling neural network architecture. By introducing coded structures/redundancy, a distributed learning task can be completed without waiting for straggling nodes. Unlike conventional coded computing that only optimizes the code structure, coded distributed learning over the wireless edge also requires to optimize the selection/scheduling of wireless edge nodes with heterogeneous connections, computing capability, and straggling effects. However, even neglecting the aforementioned dynamics/uncertainty, the resulting joint optimization of coding and scheduling to minimize the distributed learning time turns out to be NP-hard. To tackle this and to account for the dynamics and uncertainty of wireless connections and edge nodes, we reformulate the problem as a Markov Decision Process and then design a novel deep reinforcement learning algorithm that employs the deep dueling neural network architecture to find the jointly optimal coding scheme and the best set of edge nodes for different learning tasks without explicit information about the wireless environment and edge nodes' straggling parameters. Simulations show that the proposed framework reduces the average learning delay in wireless edge computing up to 66% compared with other DL approaches. The jointly optimal framework in this article is also applicable to any distributed learning scheme with heterogeneous and uncertain computing nodes.


title: Fair-Share Allocations for Agents with Arbitrary Entitlements

abstract: We consider the problem of fair allocation of indivisible goods to $n$ agents, with no transfers. When agents have equal entitlements, the well established notion of the maximin share (MMS) serves as an attractive fairness criterion, where to qualify as fair, an allocation needs to give every agent at least a substantial fraction of her MMS. In this paper we consider the case of arbitrary (unequal) entitlements. We explain shortcomings in previous attempts that extend the MMS to unequal entitlements. Our conceptual contribution is the introduction of a new notion of a share, the AnyPrice share (APS), that is appropriate for settings with arbitrary entitlements. Even for the equal entitlements case, this notion is new, and satisfies $APS \ge MMS$, where the inequality is sometimes strict. We present two equivalent definitions for the APS (one as a minimization problem, the other as a maximization problem), and provide comparisons between the APS and previous notions of fairness. Our main result concerns additive valuations and arbitrary entitlements, for which we provide a polynomial-time algorithm that gives every agent at least a $\frac{3}{5}$-fraction of her APS. This algorithm can also be viewed as providing strategies in a certain natural bidding game, and these strategies secure each agent at least a $\frac{3}{5}$-fraction of her APS.


title: Bright correlated twin-beam generation and radiation shaping in high-gain parametric down-conversion with anisotropy

abstract: Uniaxial anisotropy in nonlinear birefringent crystals limits the efficiency of nonlinear optical interactions and breaks the spatial symmetry of light generated in the parametric down-conversion (PDC) process. Therefore, this effect is usually undesirable and must be compensated for. However, high gain may be used to overcome the destructive role of anisotropy and instead to use it for the generation of bright two-mode correlated twin-beams. In this work, we provide a rigorous theoretical description of the spatial properties of bright squeezed light in the presence of strong anisotropy. We investigate a single-crystal and a two-crystal configuration and demonstrate the generation of bright correlated twin-beams in such systems at high gain due to anisotropy. We explore the mode structure of the generated light and show how anisotropy, together with crystal spacing, can be used for radiation shaping.


title: Tunnel junctions with moir\'{e} superlattice as barrier

abstract: Recently, moir\'{e} superlattices have attracted considerable attentions because they are found to exhibit intriguing electronic phenomena of tunable Mott insulators and unconventional superconductivity. These phenomena are highly related to the physical mechanism of the interlayer coupling. However, up to now, there has not existed any theory that can completely interpret the experimental results of the interlayer conductance of moir\'{e} superlattice. In order to solve this problem, the superposition of periods and the corresponding coherence, which are the essential characteristics of moir\'{e} superlattice, should be considered more sufficiently. Therefore, it is quite necessary to introduce optical methods to study moir\'{e} superlattices. Here, we develop a theory for moir\'{e} superlattices which are founded on traditional optical scattering theory. The theory can interpret both the continuously decreasing background and the peak of the interlayer conductance observed in the experiments by a unified mechanism. We show that, the decreasing background of the interlayer conductance arises from the increasing strength of the interface potential, and the peak roots from the scattering resonance of the interface potential. The present work is crucial for understanding the interlayer coupling of the moir\'{e} superlattice, and provide a solid theoretical foundation for the application of moir\'{e} superlattice.