title: Towards Light-weight and Real-time Line Segment Detection

abstract: Previous deep learning-based line segment detection (LSD) suffers from the immense model size and high computational cost for line prediction. This constrains them from real-time inference on computationally restricted environments. In this paper, we propose a real-time and light-weight line segment detector for resource-constrained environments named Mobile LSD (M-LSD). We design an extremely efficient LSD architecture by minimizing the backbone network and removing the typical multi-module process for line prediction found in previous methods. To maintain competitive performance with a light-weight network, we present novel training schemes: Segments of Line segment (SoL) augmentation, matching and geometric loss. SoL augmentation splits a line segment into multiple subparts, which are used to provide auxiliary line data during the training process. Moreover, the matching and geometric loss allow a model to capture additional geometric cues. Compared with TP-LSD-Lite, previously the best real-time LSD method, our model (M-LSD-tiny) achieves competitive performance with 2.5% of model size and an increase of 130.5% in inference speed on GPU. Furthermore, our model runs at 56.8 FPS and 48.6 FPS on the latest Android and iPhone mobile devices, respectively. To the best of our knowledge, this is the first real-time deep LSD available on mobile devices. Our code is available.


title: Deep Transfer Learning for Classification of Variable Sources

abstract: Ongoing or upcoming surveys such as Gaia, ZTF, or LSST will observe light-curves of billons or more astronomical sources. This presents new challenges for identifying interesting and important types of variability. Collecting a sufficient number of labelled data for training is difficult, however, especially in the early stages of a new survey. Here we develop a single-band light-curve classifier based on deep neural networks, and use transfer learning to address the training data paucity problem by conveying knowledge from one dataset to another. First we train a neural network on 16 variability features extracted from the light-curves of OGLE and EROS-2 variables. We then optimize this model using a small set (e.g. 5%) of periodic variable light-curves from the ASAS dataset in order to transfer knowledge inferred from OGLE/EROS-2 to a new ASAS classifier. With this we achieve good classification results on ASAS, thereby showing that knowledge can be successfully transferred between datasets. We demonstrate similar transfer learning using Hipparcos and ASAS-SN data. We therefore find that it is not necessary to train a neural network from scratch for every new survey, but rather that transfer learning can be used even when only a small set of labelled data is available in the new survey.


title: PIGLeT: Language Grounding Through Neuro-Symbolic Interaction in a 3D World

abstract: We propose PIGLeT: a model that learns physical commonsense knowledge through interaction, and then uses this knowledge to ground language. We factorize PIGLeT into a physical dynamics model, and a separate language model. Our dynamics model learns not just what objects are but also what they do: glass cups break when thrown, plastic ones don't. We then use it as the interface to our language model, giving us a unified model of linguistic form and grounded meaning. PIGLeT can read a sentence, simulate neurally what might happen next, and then communicate that result through a literal symbolic representation, or natural language. Experimental results show that our model effectively learns world dynamics, along with how to communicate them. It is able to correctly forecast "what happens next" given an English sentence over 80% of the time, outperforming a 100x larger, text-to-text approach by over 10%. Likewise, its natural language summaries of physical interactions are also judged by humans as more accurate than LM alternatives. We present comprehensive analysis showing room for future work.


title: Characteristics of Interplanetary Discontinuities in the Inner Heliosphere Revealed by Parker Solar Probe

abstract: We present a statistical analysis for the characteristics and spatial evolution of the interplanetary discontinuities (IDs) in the solar wind, from 0.13 to 0.9 au, by using the Parker Solar Probe measurements on Orbits 4 and 5. 3948 IDs have been collected, including 2511 rotational discontinuities (RDs) and 557 tangential discontinuities (TDs), with the remnant unidentified. The statistical results show that (1) the ID occurrence rate decreases from 200 events/day at 0.13 au to 1 events/day at 0.9 au, following a spatial scaling r-2.00, (2) the RD to TD ratio decreases quickly with the heliocentric distance, from 8 at r<0.3 au to 1 at r>0.4 au, (3) the magnetic field tends to rotate across the IDs, 45{\deg} for TDs and 30{\deg} for RDs in the pristine solar wind within 0.3 au, (4) a special subgroup of RDs exist within 0.3 au, characterized by small field rotation angles and parallel or antiparallel propagations to the background magnetic fields, (5) the TD thicknesses normalized by local ion inertial lengths (di) show no clear spatial scaling and generally range from 5 to 35 di, and the normalized RD thicknesses follow r-1.09 spatial scaling, (6) the outward (anti-sunward) propagating RDs predominate in all RDs, with the propagation speeds in the plasma rest frame proportional to r-1.03. This work could improve our understandings for the ID characteristics and evolutions and shed light on the study of the turbulent environment in the pristine solar wind.


title: Schur Functors and Categorified Plethysm

abstract: It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a "plethory": a monoid in the category of birings with its substitution monoidal structure. We show that similarly the category of Schur functors is a "2-plethory", which descends to give the plethory structure on symmetric functions. Thus, much of the structure of symmetric functions exists at a higher level in the category of Schur functors.


title: Dynamical quantum phase transition in quantum spin chains with gapless phases

abstract: The dynamical quantum phase transitions (DQPTs) in quantum spin chains with gapless phases after a sudden quench are studied. We mainly consider the general systems with asymmetrical quasiparticle excitation spectra and obtain the general expression of the Loschmidt echo as well as the general conditions for the occurrence of DQPTs. As two examples, we study the DQPTs in the \emph{XY} chains with Dzyaloshinskii-Moriya interaction and \emph{XZY-YZX} type of three-site interaction. It's found that the DQPTs may not occur in the quench across the quantum phase transitions regardless of whether the quench is from the gapless phase to gapped phase or from the gapped phase to gapless phase. This is different from the DQPTs in the case of quench from the gapped phase to gapped phase, in which the DQPTs will always appear. Besides, we also analyze the different reasons for the absence of DQPTs in the quench from the gapless phase and the gapped phase.


title: Responses to COVID-19 with Probabilistic Programming

abstract: The COVID-19 pandemic left its unique mark on the 21st century as one of the most significant disasters in history, triggering governments all over the world to respond with a wide range of interventions. However, these restrictions come with a substantial price tag. It is crucial for governments to form anti-virus strategies that balance the trade-off between protecting public health and minimizing the economic cost. This work proposes a probabilistic programming method to quantify the efficiency of major non-pharmaceutical interventions. We present a generative simulation model that accounts for the economic and human capital cost of adopting such strategies, and provide an end-to-end pipeline to simulate the virus spread and the incurred loss of various policy combinations. By investigating the national response in 10 countries covering four continents, we found that social distancing coupled with contact tracing is the most successful policy, reducing the virus transmission rate by 96\% along with a 98\% reduction in economic and human capital loss. Together with experimental results, we open-sourced a framework to test the efficacy of each policy combination.


title: An optimized PyCBC search for gravitational waves from intermediate-mass black hole mergers

abstract: The detection of intermediate-mass black holes (IMBHs) i.e. those with mass $\sim 100$-$10^5 M_\odot$, is an emerging goal of gravitational-wave (GW) astronomy with wide implications for cosmology and tests of strong-field gravity. Current PyCBC-based searches for compact binary mergers, which matched filter the detector data against a set of template waveforms, have so far detected or confirmed several GW events. However, the sensitivity of these searches to signals arising from mergers of IMBH binaries is not optimal. Here, we present a new optimised PyCBC-based search for such signals. Our search benefits from using a targeted template bank, stricter signal-noise discriminators and a lower matched-filter frequency cut-off. In particular, for a population of simulated signals with isotropically distributed spins, we improve the sensitive volume-time product over previous PyCBC-based searches, at an inverse false alarm rate of 100 years, by a factor of 1.5 to 3 depending on the total binary mass. We deploy this new search on Advanced LIGO-Virgo data from the first half of the third observing run. The search does not identify any new significant IMBH binaries but does confirm the detection of the short-duration GW signal GW190521 with a false alarm rate of 1 in 727 years.


title: Experimental Realization of Schumacher's Information Geometric Bell Inequality

abstract: Quantum mechanics can produce correlations that are stronger than classically allowed. This stronger-than-classical correlation is the "fuel" for quantum computing. In 1991 Schumacher forwarded a beautiful geometric approach, analogous to the well-known result of Bell, to capture non-classicality of this correlation for a singlet state. He used well-established information distance defined on an ensemble of identically-prepared states. He calculated that for certain detector settings used to measure the entangled state, the resulting geometry violated a triangle inequality -- a violation that is not possible classically. This provided a novel information-based geometric Bell inequality in terms of a "covariance distance." Here we experimentally-reproduce his construction and demonstrate a definitive violation for a Bell state of two photons based on the usual spontaneous parametric down-conversion in a paired BBO crystal. The state we produced had a visibility of $V_{ad}=0.970$. We discuss generalizations to higher dimensional multipartite quantum states.


title: Single-frequency integrated laser on erbium-doped lithium niobate on insulator

abstract: The erbium-doped Lithium niobate on insulator (Er:LNOI) platform has great promise in the application of telecommunication, microwave photonics, and quantum photonics due to its excellent electro-optic, piezo-electric, nonlinear nature as well as the gain characteristics in the telecommunication C-band. Here, we report a single-frequency Er:LNOI integrated laser based on dual-cavity structure. Facilitated by the Vernier effect and gain competition, the single-frequency laser can operate stably at 1531-nm wavelength with a 1484-nm pump laser. The output laser has a power of 0.31 uW, a linewidth of 1.2 MHz, and a side mode suppression ratio (SMSR) of 31 dB. Our work allows the direct integration of this laser source with existing LNOI components and paves the way for a fully integrated LNOI system.


title: All-Hex Meshing Strategies For Densely Packed Spheres

abstract: We develop an all-hex meshing strategy for the interstitial space in beds of densely packed spheres that is tailored to turbulent flow simulations based on the spectral element method (SEM). The SEM achieves resolution through elevated polynomial order N and requires two to three orders of magnitude fewer elements than standard finite element approaches do. These reduced element counts place stringent requirements on mesh quality and conformity. Our meshing algorithm is based on a Voronoi decomposition of the sphere centers. Facets of the Voronoi cells are tessellated into quads that are swept to the sphere surface to generate a high-quality base mesh. Refinements to the algorithm include edge collapse to remove slivers, node insertion to balance resolution, localized refinement in the radial direction about each sphere, and mesh optimization. We demonstrate geometries with 10^2-10^5 spheres using approximately 300 elements per sphere (for three radial layers), along with mesh quality metrics, timings, flow simulations, and solver performance.


title: Multilingual Speech Translation with Unified Transformer: Huawei Noah's Ark Lab at IWSLT 2021

abstract: This paper describes the system submitted to the IWSLT 2021 Multilingual Speech Translation (MultiST) task from Huawei Noah's Ark Lab. We use a unified transformer architecture for our MultiST model, so that the data from different modalities (i.e., speech and text) and different tasks (i.e., Speech Recognition, Machine Translation, and Speech Translation) can be exploited to enhance the model's ability. Specifically, speech and text inputs are firstly fed to different feature extractors to extract acoustic and textual features, respectively. Then, these features are processed by a shared encoder--decoder architecture. We apply several training techniques to improve the performance, including multi-task learning, task-level curriculum learning, data augmentation, etc. Our final system achieves significantly better results than bilingual baselines on supervised language pairs and yields reasonable results on zero-shot language pairs.


title: Gradient play in stochastic games: stationary points, convergence, and sample complexity

abstract: We study the performance of the gradient play algorithm for stochastic games (SGs), where each agent tries to maximize its own total discounted reward by making decisions independently based on current state information which is shared between agents. Policies are directly parameterized by the probability of choosing a certain action at a given state. We show that Nash equilibria (NEs) and first-order stationary policies are equivalent in this setting, and give a local convergence rate around strict NEs. Further, for a subclass of SGs called Markov potential games (which includes the setting with identical rewards as an important special case), we design a sample-based reinforcement learning algorithm and give a non-asymptotic global convergence rate analysis for both exact gradient play and our sample-based learning algorithm. Our result shows that the number of iterations to reach an $\epsilon$-NE scales linearly, instead of exponentially, with the number of agents. Local geometry and local stability are also considered, where we prove that strict NEs are local maxima of the total potential function and fully-mixed NEs are saddle points.


title: Agent mental models and Bayesian rules as a tool to create opinion dynamics models

abstract: Traditional models of opinion dynamics provide a simple approach to understanding human behavior in basic social scenarios. However, when it comes to issues such as polarization and extremism, we require a more nuanced understanding of human biases and cognitive tendencies. In this paper, we propose an approach to modeling opinion dynamics by integrating mental models and assumptions of individuals agents using Bayesian-inspired methods. By exploring the relationship between human rationality and Bayesian theory, we demonstrate the efficacy of these methods in describing how opinions evolve. Our analysis leverages the Continuous Opinions and Discrete Actions (CODA) model, applying Bayesian-inspired rules to account for key human behaviors such as confirmation bias, motivated reasoning, and our reluctance to change opinions. Through this, we obtain update rules that offer deeper insights into the dynamics of extreme opinions. Our work sheds light on the role of human biases in shaping opinion dynamics and highlights the potential of Bayesian-inspired modeling to provide more accurate predictions of real-world scenarios. Keywords: Opinion dynamics, Bayesian methods, Cognition, CODA, Agent-based models


title: Iterative Hierarchical Attention for Answering Complex Questions over Long Documents

abstract: We propose a new model, DocHopper, that iteratively attends to different parts of long, hierarchically structured documents to answer complex questions. Similar to multi-hop question-answering (QA) systems, at each step, DocHopper uses a query $q$ to attend to information from a document, combines this ``retrieved'' information with $q$ to produce the next query. However, in contrast to most previous multi-hop QA systems, DocHopper is able to ``retrieve'' either short passages or long sections of the document, thus emulating a multi-step process of ``navigating'' through a long document to answer a question. To enable this novel behavior, DocHopper does not combine document information with $q$ by concatenating text to the text of $q$, but by combining a compact neural representation of $q$ with a compact neural representation of a hierarchical part of the document, which can potentially be quite large. We experiment with DocHopper on four different QA tasks that require reading long and complex documents to answer multi-hop questions, and show that DocHopper achieves state-of-the-art results on three of the datasets. Additionally, DocHopper is efficient at inference time, being 3--10 times faster than the baselines.


title: The primitive equations approximation of the anisotropic horizontally viscous Navier-Stokes equations

abstract: In this paper, we provide rigorous justification of the hydrostatic approximation and the derivation of primitive equations as the small aspect ratio limit of the incompressible three-dimensional Navier-Stokes equations in the anisotropic horizontal viscosity regime. Setting $\varepsilon >0$ to be the small aspect ratio of the vertical to the horizontal scales of the domain, we investigate the case when the horizontal and vertical viscosities in the incompressible three-dimensional Navier-Stokes equations are of orders $O(1)$ and $O(\varepsilon^\alpha)$, respectively, with $\alpha>2$, for which the limiting system is the primitive equations with only horizontal viscosity as $\varepsilon$ tends to zero. In particular we show that for "well prepared" initial data the solutions of the scaled incompressible three-dimensional Navier-Stokes equations converge strongly, in any finite interval of time, to the corresponding solutions of the anisotropic primitive equations with only horizontal viscosities, as $\varepsilon$ tends to zero, and that the convergence rate is of order $O\left(\varepsilon^\frac\beta2\right)$, where $\beta=\min\{\alpha-2,2\}$. Note that this result is different from the case $\alpha=2$ studied in [Li, J.; Titi, E.S.: \emph{The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: Rigorous justification of the hydrostatic approximation}, J. Math. Pures Appl., \textbf{124} \rm(2019), 30--58], where the limiting system is the primitive equations with full viscosities and the convergence is globally in time and its rate of order $O\left(\varepsilon\right)$.


title: Comoving mesh method for certain classes of moving boundary problems

abstract: A Lagrangian-type numerical scheme called the "comoving mesh method" or CMM is developed for numerically solving certain classes of moving boundary problems which include, for example, the classical Hele-Shaw flow problem and the well-known mean curvature flow problem. This finite element scheme exploits the idea that the normal velocity field of the moving boundary can be extended throughout the entire domain of definition of the problem using, for instance, the Laplace operator. Then, the boundary as well as the finite element mesh of the domain are easily updated at every time step by moving the nodal points along this velocity field. The feasibility of the method, highlighting its practicality, is illustrated through various numerical experiments. Also, in order to examine the accuracy of the proposed scheme, the experimental order of convergences between the numerical and manufactured solutions for these examples are also calculated.


title: Hybrid Generative Models for Two-Dimensional Datasets

abstract: Two-dimensional array-based datasets are pervasive in a variety of domains. Current approaches for generative modeling have typically been limited to conventional image datasets and performed in the pixel domain which do not explicitly capture the correlation between pixels. Additionally, these approaches do not extend to scientific and other applications where each element value is continuous and is not limited to a fixed range. In this paper, we propose a novel approach for generating two-dimensional datasets by moving the computations to the space of representation bases and show its usefulness for two different datasets, one from imaging and another from scientific computing. The proposed approach is general and can be applied to any dataset, representation basis, or generative model. We provide a comprehensive performance comparison of various combinations of generative models and representation basis spaces. We also propose a new evaluation metric which captures the deficiency of generating images in pixel space.


title: Iterated integrals and unipotent periods on families of marked elliptic curves

abstract: We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.


title: Quantum Dynamical Simulation of a Transversal Stern--Gerlach Interferometer

abstract: Originally conceived as a gedankenexperiment, an apparatus consisting of two Stern--Gerlach apparatuses joined in an inverted manner touched on the fundamental question of the reversibility of evolution in quantum mechanics. Theoretical analysis showed that uniting the two partial beams requires an extreme level of experimental control, making the proposal in its original form unrealizable in practice. In this work we revisit the above question in a numerical study concerning the possibility of partial-beam recombination in a spin-coherent manner. Using the Suzuki--Trotter numerical method of wave propagation and a configurable, approximation-free magnetic field, a simulation of a transversal Stern--Gerlach interferometer under ideal conditions is performed. The result confirms what has long been hinted at by theoretical analyses: the transversal Stern--Gerlach interferometer quantum dynamics is fundamentally irreversible even when perfect control of the associated magnetic fields and beams is assumed.


title: One-Loop Correction to the AdS/BCFT Partition Function in the Three Dimensional Pure Gravity

abstract: We calculate the tree-level partition function of Euclidean BTZ black hole with the end of the world branes (ETW branes) for arbitrary tension and the one-loop partition function of Euclidean thermal $AdS_{3}$ in the presence of a tensionless ETW brane with the Neumann boundary condition. At the tree level, our results match with the previous ones in non-rotating cases, but at the one-loop level, our results contain unexpected terms, which contain the fluctuations of the ghost fields. However particularly in the case where the chemical potential is zero, we get a similar form as the original result in AdS/CFT case, but the exponent is slightly changed. In this case the ghost contribution looks going away and the partition function becomes physical in a sense that the coefficients of the expansion in powers of $q$ are positive, which means that the number of states at the level is always positive.


title: Topological spin textures in chiral magnets on the honeycomb lattice with magnetic fields

abstract: Topological spin textures, like skyrmions, have significant potential for spintronics applications. The main purpose of this work is to study further the topological spin textures on the discrete lattice with magnetic fields. In this work, we study a classical rotated Heisenberg model with Dzyaloshinskii-Moriya interaction, bond-dependent anisotropy and easy-axis anisotropy on the honeycomb lattice via Monte Carlo simulations. We mainly focus on phase diagrams with magnetic fields, especially on the non-trivial phases only existing with fields. The results demonstrate the emergence of field-induced incommensurate skyrmion superlattice including mixed skyrmion-bimeron states, ferromagnetic star, vortex and z-vortex superlattice. We systematically analyze structures of these topological spin textures through spin configurations, structure factors, topological charge and vector chirality. We hope that our results could be useful for the identification of topological phases experimentally.


title: Robust multi-sensor Generalized Labeled Multi-Bernoulli filter

abstract: This paper proposes an efficient and robust algorithm to estimate target trajectories with unknown target detection profiles and clutter rates using measurements from multiple sensors. In particular, we propose to combine the multi-sensor Generalized Labeled Multi-Bernoulli (MS-GLMB) filter to estimate target trajectories and robust Cardinalized Probability Hypothesis Density (CPHD) filters to estimate the clutter rates. The target detection probability is augmented to the filtering state space for joint estimation. Experimental results show that the proposed robust filter exhibits near-optimal performance in the sense that it is comparable to the optimal MS-GLMB operating with true clutter rate and detection probability. More importantly, it outperforms other studied filters when the detection profile and clutter rate are unknown and time-variant. This is attributed to the ability of the robust filter to learn the background parameters on-the-fly.


title: Rethinking Re-Sampling in Imbalanced Semi-Supervised Learning

abstract: Semi-Supervised Learning (SSL) has shown its strong ability in utilizing unlabeled data when labeled data is scarce. However, most SSL algorithms work under the assumption that the class distributions are balanced in both training and test sets. In this work, we consider the problem of SSL on class-imbalanced data, which better reflects real-world situations. In particular, we decouple the training of the representation and the classifier, and systematically investigate the effects of different data re-sampling techniques when training the whole network including a classifier as well as fine-tuning the feature extractor only. We find that data re-sampling is of critical importance to learn a good classifier as it increases the accuracy of the pseudo-labels, in particular for the minority classes in the unlabeled data. Interestingly, we find that accurate pseudo-labels do not help when training the feature extractor, rather contrariwise, data re-sampling harms the training of the feature extractor. This finding is against the general intuition that wrong pseudo-labels always harm the model performance in SSL. Based on these findings, we suggest to re-think the current paradigm of having a single data re-sampling strategy and develop a simple yet highly effective Bi-Sampling (BiS) strategy for SSL on class-imbalanced data. BiS implements two different re-sampling strategies for training the feature extractor and the classifier and integrates this decoupled training into an end-to-end framework. In particular, BiS progressively changes the data distribution during training such that in the beginning the feature extractor is trained effectively, while towards the end of the training the data is re-balanced such that the classifier is trained reliably. We benchmark our proposed bi-sampling strategy extensively on popular datasets and achieve state-of-the-art performances.


title: Improving Formality Style Transfer with Context-Aware Rule Injection

abstract: Models pre-trained on large-scale regular text corpora often do not work well for user-generated data where the language styles differ significantly from the mainstream text. Here we present Context-Aware Rule Injection (CARI), an innovative method for formality style transfer (FST). CARI injects multiple rules into an end-to-end BERT-based encoder and decoder model. It learns to select optimal rules based on context. The intrinsic evaluation showed that CARI achieved the new highest performance on the FST benchmark dataset. Our extrinsic evaluation showed that CARI can greatly improve the regular pre-trained models' performance on several tweet sentiment analysis tasks.


title: Evolution of the metallic state of LaNiO$_3$/LaAlO$_3$ superlattices measured by $^8$Li $\beta$-detected NMR

abstract: Using ion-implanted $^8$Li $\beta$-detected NMR, we study the evolution of the correlated metallic state of LaNiO$_3$ in a series of LaNiO$_3$/LaAlO$_3$ superlattices as a function of bilayer thickness. Spin-lattice relaxation measurements in an applied field of 6.55 T reveal two equal amplitude components: one with metallic ($T$-linear) $1/T_{1}$, and a second with a more complex $T$-dependence. The metallic character of the slow relaxing component is only weakly affected by the LaNiO$_3$ thickness, while the fast component is much more sensitive, exhibiting the opposite temperature dependence (increasing towards low $T$) in the thinnest, most magnetic samples. The origin of this bipartite relaxation is discussed.


title: A note on extremal digraphs containing at most $t$ walks of length $k$ with the same endpoints

abstract: Let $n,k,t$ be positive integers. What is the maximum number of arcs in a digraph on $n$ vertices in which there are at most $t$ distinct walks of length $k$ with the same endpoints? In this paper, we prove that the maximum number is equal to $n(n-1)/2$ and the extremal digraph are the transitive tournaments when $k\ge n-1\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$. Based on this result, we may determine the maximum numbers and the extremal digraphs for $k\ge \max\{2t+1,2\left\lceil \sqrt{2t+9/4}+1/2\right\rceil+3\}$ and $n$ is sufficiently large, which generalises the existing results. A conjecture is also presented.


title: Cash versus Kind: Benchmarking a Child Nutrition Program against Unconditional Cash Transfers in Rwanda

abstract: We benchmark a multi-dimensional child nutrition intervention against an unconditional cash transfer of equal cost. Randomized variation in transfer amounts allows us to estimate impacts of cash transfers at expenditure levels equivalent to the in-kind program, as well as to estimate the return to increasing cash transfer values. While neither the in-kind program nor a cost-equivalent transfer costing \$124 per household moves core child outcomes within a year, cash transfers create significantly greater consumption than the in-kind alternative. A larger cash transfer costing \$517 substantially improves consumption and investment outcomes and drives modest improvements in dietary diversity and child growth.


title: Game-Theoretic Frameworks for Epidemic Spreading and Human Decision Making: A Review

abstract: This review presents and reviews various solved and open problems in developing, analyzing, and mitigating epidemic spreading processes under human decision-making. We provide a review of a range of epidemic models and explain the pros and cons of different epidemic models. We exhibit the art of coupling epidemic models and decision models in the existing literature. {More specifically, we provide answers to fundamental questions in human decision-making amid epidemics, including what interventions to take to combat the disease, who are decision-makers, when to take interventions, and how to make interventions.} Among many decision models, game-theoretic models have become increasingly crucial in modeling human responses/behavior amid epidemics in the last decade. In this review, we motivate the game-theoretic approach to human decision-making amid epidemics. This review provides an overview of the existing literature by developing a multi-dimensional taxonomy, which categorizes existing literature based on multiple dimensions, including 1) types of games, such as differential games, stochastic games, evolutionary games, and static games; 2) types of interventions, such as social distancing, vaccination, quarantine, taking antidotes, etc.; 3) the types of decision-makers, such as individuals, adversaries, and central authorities at different hierarchical levels. A fine-grained dynamic game framework is proposed to capture the essence of game-theoretic decision-making amid epidemics. We showcase three representative {frameworks} with unique ways of integrating game-theoretic decision-making into the epidemic models from a vast body of literature. {Each of the three framework has a unique way of modeling, conducting analytical analysis, and deriving results.} In the end, we identify several main open problems and research gaps left to be addressed and filled.


title: Necessary conditions for feedback stabilization and safety

abstract: Brockett's necessary condition yields a test to determine whether a system can be made to stabilize about some operating point via continuous, purely state-dependent feedback. For many real-world systems, however, one wants to stabilize sets which are more general than a single point. One also wants to control such systems to operate safely by making obstacles and other "dangerous" sets repelling. We generalize Brockett's necessary condition to the case of stabilizing general compact subsets having a nonzero Euler characteristic in general ambient state spaces (smooth manifolds). Using this generalization, we also formulate a necessary condition for the existence of "safe" control laws. We illustrate the theory in concrete examples and for some general classes of systems including a broad class of nonholonomically constrained Lagrangian systems. We also show that, for the special case of stabilizing a point, the specialization of our general stabilizability test is stronger than Brockett's.


title: A Voxel Graph CNN for Object Classification with Event Cameras

abstract: Event cameras attract researchers' attention due to their low power consumption, high dynamic range, and extremely high temporal resolution. Learning models on event-based object classification have recently achieved massive success by accumulating sparse events into dense frames to apply traditional 2D learning methods. Yet, these approaches necessitate heavy-weight models and are with high computational complexity due to the redundant information introduced by the sparse-to-dense conversion, limiting the potential of event cameras on real-life applications. This study aims to address the core problem of balancing accuracy and model complexity for event-based classification models. To this end, we introduce a novel graph representation for event data to exploit their sparsity better and customize a lightweight voxel graph convolutional neural network (\textit{EV-VGCNN}) for event-based classification. Specifically, (1) using voxel-wise vertices rather than previous point-wise inputs to explicitly exploit regional 2D semantics of event streams while keeping the sparsity;(2) proposing a multi-scale feature relational layer (\textit{MFRL}) to extract spatial and motion cues from each vertex discriminatively concerning its distances to neighbors. Comprehensive experiments show that our model can advance state-of-the-art classification accuracy with extremely low model complexity (merely 0.84M parameters).


title: Toward a Secure Crowdsourced Location Tracking System

abstract: Low-energy Bluetooth devices have become ubiquitous and widely used for different applications. Among these, Bluetooth trackers are becoming popular as they allow users to track the location of their physical objects. To do so, Bluetooth trackers are often built-in within other commercial products connected to a larger crowdsourced tracking system. Such a system, however, can pose a threat to the security and privacy of the users, for instance, by revealing the location of a user's valuable object. In this paper, we introduce a set of security properties and investigate the state of commercial crowdsourced tracking systems, which present common design flaws that make them insecure. Leveraging the results of our investigation, we propose a new design for a secure crowdsourced tracking system (SECrow), which allows devices to leverage the benefits of the crowdsourced model without sacrificing security and privacy. Our preliminary evaluation shows that SECrow is a practical, secure, and effective crowdsourced tracking solution


title: Discontinuous Named Entity Recognition as Maximal Clique Discovery

abstract: Named entity recognition (NER) remains challenging when entity mentions can be discontinuous. Existing methods break the recognition process into several sequential steps. In training, they predict conditioned on the golden intermediate results, while at inference relying on the model output of the previous steps, which introduces exposure bias. To solve this problem, we first construct a segment graph for each sentence, in which each node denotes a segment (a continuous entity on its own, or a part of discontinuous entities), and an edge links two nodes that belong to the same entity. The nodes and edges can be generated respectively in one stage with a grid tagging scheme and learned jointly using a novel architecture named Mac. Then discontinuous NER can be reformulated as a non-parametric process of discovering maximal cliques in the graph and concatenating the spans in each clique. Experiments on three benchmarks show that our method outperforms the state-of-the-art (SOTA) results, with up to 3.5 percentage points improvement on F1, and achieves 5x speedup over the SOTA model.


title: Question-aware Transformer Models for Consumer Health Question Summarization

abstract: Searching for health information online is becoming customary for more and more consumers every day, which makes the need for efficient and reliable question answering systems more pressing. An important contributor to the success rates of these systems is their ability to fully understand the consumers' questions. However, these questions are frequently longer than needed and mention peripheral information that is not useful in finding relevant answers. Question summarization is one of the potential solutions to simplifying long and complex consumer questions before attempting to find an answer. In this paper, we study the task of abstractive summarization for real-world consumer health questions. We develop an abstractive question summarization model that leverages the semantic interpretation of a question via recognition of medical entities, which enables the generation of informative summaries. Towards this, we propose multiple Cloze tasks (i.e. the task of filing missing words in a given context) to identify the key medical entities that enforce the model to have better coverage in question-focus recognition. Additionally, we infuse the decoder inputs with question-type information to generate question-type driven summaries. When evaluated on the MeQSum benchmark corpus, our framework outperformed the state-of-the-art method by 10.2 ROUGE-L points. We also conducted a manual evaluation to assess the correctness of the generated summaries.


title: Integer Coordinates for Intrinsic Geometry Processing

abstract: In this work, we present a general, efficient, and provably robust representation for intrinsic triangulations. These triangulations have emerged as a powerful tool for robust geometry processing of surface meshes, taking a low-quality mesh and retriangulating it with high-quality intrinsic triangles. However, existing representations either support only edge flips, or do not offer a robust procedure to recover the common subdivision, that is, how the intrinsic triangulation sits along the original surface. To build a general-purpose robust structure, we extend the framework of normal coordinates, which have been deeply studied in topology, as well as the more recent idea of roundabouts from geometry processing, to support a variety of mesh processing operations like vertex insertions, edge splits, etc. The basic idea is to store an integer per mesh edge counting the number of times a curve crosses that edge. We show that this paradigm offers a highly effective representation for intrinsic triangulations with strong robustness guarantees. The resulting data structure is general and efficient, while offering a guarantee of always encoding a valid subdivision. Among other things, this allows us to generate a high-quality intrinsic Delaunay refinement of all manifold meshes in the challenging Thingi10k dataset for the first time. This enables a broad class of existing surface geometry algorithms to be applied out-of-the-box to low-quality triangulations.


title: Concurrent Adversarial Learning for Large-Batch Training

abstract: Large-batch training has become a commonly used technique when training neural networks with a large number of GPU/TPU processors. As batch size increases, stochastic optimizers tend to converge to sharp local minima, leading to degraded test performance. Current methods usually use extensive data augmentation to increase the batch size, but we found the performance gain with data augmentation decreases as batch size increases, and data augmentation will become insufficient after certain point. In this paper, we propose to use adversarial learning to increase the batch size in large-batch training. Despite being a natural choice for smoothing the decision surface and biasing towards a flat region, adversarial learning has not been successfully applied in large-batch training since it requires at least two sequential gradient computations at each step, which will at least double the running time compared with vanilla training even with a large number of processors. To overcome this issue, we propose a novel Concurrent Adversarial Learning (ConAdv) method that decouple the sequential gradient computations in adversarial learning by utilizing staled parameters. Experimental results demonstrate that ConAdv can successfully increase the batch size on ResNet-50 training on ImageNet while maintaining high accuracy. In particular, we show ConAdv along can achieve 75.3\% top-1 accuracy on ImageNet ResNet-50 training with 96K batch size, and the accuracy can be further improved to 76.2\% when combining ConAdv with data augmentation. This is the first work successfully scales ResNet-50 training batch size to 96K.


title: Millisecond Pulsars from Accretion Induced Collapse as the Origin of the Galactic Centre Gamma-ray Excess Signal

abstract: Gamma-ray data from the Fermi-Large Area Telescope reveal an unexplained, apparently diffuse, signal from the Galactic bulge that peaks near 2 GeV with an approximately spherical intensity profile $\propto r^{-2.4}$ that extends to angular radial scales of at least 10 degrees, possibly to 20 degrees. The origin of this "Galactic Centre Excess" (GCE) has been debated with proposed sources prominently including self-annihilating dark matter and a hitherto undetected population of millisecond pulsars (MSPs). However, the conventional channel for the generation of MSPs has been found to predict too many low mass X-ray binary (LMXB) systems and, because of the expected large natal kicks, may not accommodate the close spatial correspondence between the GCE signal and stars in the bulge. Here we report a binary population synthesis forward model that demonstrates that an MSP population arising from the accretion induced collapse (AIC) of O-Ne white dwarfs in Galactic bulge binaries can naturally reproduce the morphology, spectral shape, and intensity of the GCE signal while also obeying LMXB constraints. Synchrotron emission from MSP-launched cosmic ray electrons and positrons may simultaneously explain the mysterious, microwave "haze" from the inner Galaxy


title: Axion model with the ${\rm SU}(6)$ unification

abstract: We propose an ${\rm SU}(6)$ unified theory that solves the strong ${\it CP}$ problem with a high-quality axion. This is achieved by an automatic global Peccei-Quinn ${\rm U}(1)_{\rm PQ}$ symmetry and the gauged discrete $\mathbb{Z}_{4{\cal R}}$ symmetry. With the axion mass predictions of $m_a \sim {\cal O}(10^{-3} ) - {\cal O}(0.1) \,{\rm eV}$, as well as a universal axion-photon coupling in the unification models, the QCD axion can be probed in the upcoming experiments of IAXO. An intermediate gauge symmetry breaking scale characterized by the axion decay constant is obtained by the Peccei-Quinn quality argument, which is likely to achieve a successful leptogenesis through the type-I seesaw mechanism. The Higgs sector at the electroweak scale is a type-II two-Higgs-doublet model. The gauge coupling unification is possible with the supersymmetric extension.


title: Witnessing entanglement via the geometric phase in a impurity-doped Bose-Einstein condensate

abstract: We propose a theoretical scheme to witness quantum entanglement via the geometric phase in an impurity-doped Bose-Einstein condensate (BEC), which is a micro-macro quantum system consisting of two Rydberg impurity qubits and the BEC. We calculate the geometric phase of the impurity qubits in the presence of the initial micro-micro and micro-macro entanglement, respectively. It is demonstrated that the geometric phase of the impurity qubits can witness not only inter-qubit micro-micro entanglement, but also qubit-BEC micro-macro entanglement. Our work provide a new insight to witness micro-micro and micro-macro entanglement in a impurity-doped BEC.


title: Locally Valid and Discriminative Prediction Intervals for Deep Learning Models

abstract: Crucial for building trust in deep learning models for critical real-world applications is efficient and theoretically sound uncertainty quantification, a task that continues to be challenging. Useful uncertainty information is expected to have two key properties: It should be valid (guaranteeing coverage) and discriminative (more uncertain when the expected risk is high). Moreover, when combined with deep learning (DL) methods, it should be scalable and affect the DL model performance minimally. Most existing Bayesian methods lack frequentist coverage guarantees and usually affect model performance. The few available frequentist methods are rarely discriminative and/or violate coverage guarantees due to unrealistic assumptions. Moreover, many methods are expensive or require substantial modifications to the base neural network. Building upon recent advances in conformal prediction [13, 33] and leveraging the classical idea of kernel regression, we propose Locally Valid and Discriminative prediction intervals (LVD), a simple, efficient, and lightweight method to construct discriminative prediction intervals (PIs) for almost any DL model. With no assumptions on the data distribution, such PIs also offer finite-sample local coverage guarantees (contrasted to the simpler marginal coverage). We empirically verify, using diverse datasets, that besides being the only locally valid method for DL, LVD also exceeds or matches the performance (including coverage rate and prediction accuracy) of existing uncertainty quantification methods, while offering additional benefits in scalability and flexibility.


title: Families of hybridizable interior penalty discontinuous Galerkin methods for degenerate advection-diffusion-reaction problems

abstract: We analyze families of primal high-order hybridizable discontinuous Galerkin (HDG) methods for solving degenerate (second-order) elliptic problems. One major trouble regarding this class of PDEs concerns its mathematical nature, which may be nonuniform over the domain. Due to the local degeneracy of the diffusion term, it can be purely hyperbolic in a subregion and elliptic in the rest. This problem is thus quite delicate to solve since the exact solution is discontinuous at interfaces separating both elliptic and hyperbolic parts. The proposed HDG method is developed in a unified and compact fashion. It can efficiently handle pure diffusive or advective regimes and intermediate regimes that combine the above mechanisms for a wide range of P\'eclet numbers, including the delicate situation of local evanescent diffusion. To this end, an adaptive stabilization strategy based on the addition of jump-penalty terms is then considered. A $\theta$-upwind-based scheme is favored for the hyperbolic region, and an inspired Scharfetter--Gummel-based technique is preferred for the elliptic region. The well-posedness of the HDG method is also discussed by analyzing the consistency and discrete coercivity properties. Extensive numerical experiments are finally considered to verify the model's robustness for all the abovementioned regimes.


title: VA-GCN: A Vector Attention Graph Convolution Network for learning on Point Clouds

abstract: Owing to the development of research on local aggregation operators, dramatic breakthrough has been made in point cloud analysis models. However, existing local aggregation operators in the current literature fail to attach decent importance to the local information of the point cloud, which limits the power of the models. To fit this gap, we propose an efficient Vector Attention Convolution module (VAConv), which utilizes K-Nearest Neighbor (KNN) to extract the neighbor points of each input point, and then uses the elevation and azimuth relationship of the vectors between the center point and its neighbors to construct an attention weight matrix for edge features. Afterwards, the VAConv adopts a dual-channel structure to fuse weighted edge features and global features. To verify the efficiency of the VAConv, we connect the VAConvs with different receptive fields in parallel to obtain a Multi-scale graph convolutional network, VA-GCN. The proposed VA-GCN achieves state-of-the-art performance on standard benchmarks including ModelNet40, S3DIS and ShapeNet. Remarkably, on the ModelNet40 dataset for 3D classification, VA-GCN increased by 2.4% compared to the baseline.


title: Capacity of Entanglement in Local Operators

abstract: We study the time evolution of the excess value of capacity of entanglement between a locally excited state and ground state in free, massless fermionic theory and free Yang-Mills theory in four spacetime dimensions. Capacity has non-trivial time evolution and is sensitive to the partial entanglement structure, and shows a universal peak at early times. We define a quantity, the normalized "Page time", which measures the timescale when capacity reaches its peak. This quantity turns out to be a characteristic property of the inserted operator. This firmly establishes capacity as a valuable measure of entanglement structure of an operator, especially at early times similar in spirit to the Renyi entropies at late times. Interestingly, the time evolution of capacity closely resembles its evolution in microcanonical and canonical ensemble of the replica wormhole model in the context of the black hole information paradox.


title: Infinitesimals via Cauchy sequences: Refining the classical equivalence

abstract: A refinement of the classic equivalence relation among Cauchy sequences yields a useful infinitesimal-enriched number system. Such an approach can be seen as formalizing Cauchy's sentiment that a null sequence "becomes" an infinitesimal. We signal a little-noticed construction of a system with infinitesimals in a 1910 publication by Giuseppe Peano, reversing his earlier endorsement of Cantor's belittling of infinitesimals.


title: Non-Hermitian Maryland Model

abstract: Non-Hermitian systems with aperiodic order display phase transitions that are beyond the paradigm of Hermitian physics. Unfortunately, owing to the incommensurability of the potential most of known non-Hermitian models are not integrable. This motivates the search for exactly solvable models, where localization/delocalization phase transitions, mobility edges in complex plane and their topological nature can be unraveled. Here we present an exactly solvable model of quasi crystal, which is a non-pertrurbative non-Hermitian extension of a famous integrable model of quantum chaos proposed by Grempel {\it at al.} [Phys. Rev. Lett. {\bf 49}, 833 (1982)] and dubbed the Maryland model. Contrary to the Hermitian Maryland model, its non-Hermitian extension shows a richer scenario, with a localization-delocalization phase transition via topological mobility edges in complex energy plane.


title: Inverse Anderson transition in photonic cages

abstract: Transport inhibition via Anderson localization is ubiquitous in disordered periodic lattices. However, in crystals displaying only flat bands disorder can lift macroscopic band flattening, removing geometric localization and enabling transport in certain conditions. Such a striking phenomenon, dubbed inverse Anderson transition and predicted for three-dimensional flat band systems, has thus far not been directly observed. Here we suggest a simple quasi one-dimensional photonic flat band system, namely an Aharonov-Bohm photonic cage, in which correlated binary disorder induces an inverse Anderson transition and ballistic transport.


title: Multimodal Transportation with Ridesharing of Personal Vehicles

abstract: Many public transportation systems are unable to keep up with growing passenger demand as the population grows in urban areas. The slow or lack of improvements for public transportation pushes people to use private transportation modes, such as carpooling and ridesharing. However, the occupancy rate of personal vehicles has been dropping in many cities. In this paper, we describe a centralized transit system that integrates public transit and ridesharing, which matches drivers and transit riders such that the riders would result in shorter travel time using both transit and ridesharing. The optimization goal of the system is to assign as many riders to drivers as possible for ridesharing. We give an exact approach and approximation algorithms to achieve the optimization goal. As a case study, we conduct an extensive computational study to show the effectiveness of the transit system for different approximation algorithms, based on the real-world traffic data in Chicago City; the data sets include both public transit and ridesharing trip information. The experiment results show that our system is able to assign more than 60% of riders to drivers, leading to a substantial increase in occupancy rate of personal vehicles and reducing riders' travel time.


title: State transfer with separable optical beams and variational quantum algorithms with classical light

abstract: Classical electromagnetic fields and quantum mechanics -- both obey the principle of superposition alike. This opens up many avenues for simulation of a large variety of phenomena and algorithms, which have hitherto been considered quantum mechanical. In this paper, we propose two such applications. In the first, we introduce a new class of beams, called equivalent optical beams, in parallel with equivalent states introduced in [Bharath & Ravishankar, https://doi.org/10.1103/PhysRevA.89.062110]. These beams have the same information content for all practical purposes. Employing them, we show how to transfer information from one degree of freedom of classical light to another, without any need for classically entangled beams. Next, we show that quantum machine learning can be performed with OAM beams through the implementation of a quantum classifier circuit. We provide explicit protocols and explore the possibility of their experimental realization.


title: From ETH to algebraic relaxation of OTOCs in systems with conserved quantities

abstract: The relaxation of out-of-time-ordered correlators (OTOCs) has been studied as a mean to characterize the scrambling properties of a quantum system. We show that the presence of local conserved quantities typically results in, at the fastest, an algebraic relaxation of the OTOC provided (i) the dynamics is local and (ii) the system follows the eigenstate thermalization hypothesis. Our result relies on the algebraic scaling of the infinite-time value of OTOCs with system size, which is typical in thermalizing systems with local conserved quantities, and on the existence of finite speed of propagation of correlations for finite-range-interaction systems. We show that time-independence of the Hamiltonian is not necessary as the above conditions (i) and (ii) can occur in time-dependent systems, both periodic or aperiodic. We also remark that our result can be extended to systems with power-law interactions.


title: A note on Clifford bundles and certain Finsler type spaces

abstract: We study a relation between certain extensions of the Clifford bundle and Finsler type structures that naturally generalize the standard Clifford relation between (pseudo)-Riemannian metric structures and Dirac matrices. We show for flat metrics that there is a triangle map between Finsler structures constructed from an (pseudo)-Riemannian metric and $1$-forms on $M$, the extension of the Clifford bundle and relevant Dirac type operators.


title: "Why wouldn't someone think of democracy as a target?": Security practices & challenges of people involved with U.S. political campaigns

abstract: People who are involved with political campaigns face increased digital security threats from well-funded, sophisticated attackers, especially nation-states. Improving political campaign security is a vital part of protecting democracy. To identify campaign security issues, we conducted qualitative research with 28 participants across the U.S. political spectrum to understand the digital security practices, challenges, and perceptions of people involved in campaigns. A main, overarching finding is that a unique combination of threats, constraints, and work culture lead people involved with political campaigns to use technologies from across platforms and domains in ways that leave them--and democracy--vulnerable to security attacks. Sensitive data was kept in a plethora of personal and work accounts, with ad hoc adoption of strong passwords, two-factor authentication, encryption, and access controls. No individual company, committee, organization, campaign, or academic institution can solve the identified problems on their own. To this end, we provide an initial understanding of this complex problem space and recommendations for how a diverse group of experts can begin working together to improve security for political campaigns.


title: Improving Automatic Hate Speech Detection with Multiword Expression Features

abstract: The task of automatically detecting hate speech in social media is gaining more and more attention. Given the enormous volume of content posted daily, human monitoring of hate speech is unfeasible. In this work, we propose new word-level features for automatic hate speech detection (HSD): multiword expressions (MWEs). MWEs are lexical units greater than a word that have idiomatic and compositional meanings. We propose to integrate MWE features in a deep neural network-based HSD framework. Our baseline HSD system relies on Universal Sentence Encoder (USE). To incorporate MWE features, we create a three-branch deep neural network: one branch for USE, one for MWE categories, and one for MWE embeddings. We conduct experiments on two hate speech tweet corpora with different MWE categories and with two types of MWE embeddings, word2vec and BERT. Our experiments demonstrate that the proposed HSD system with MWE features significantly outperforms the baseline system in terms of macro-F1.


title: Reexamination of local spin polarization beyond global equilibrium in relativistic heavy ion collisions

abstract: We study local spin polarization in the relativistic hydrodynamic model. Generalizing the Wigner functions previously obtained from chiral kinetic theory by Y. Hidaka et al. [Phys. Rev. D 97, 016004 (2018)] to the massive case, we present the possible contributions up to the order of $\hbar$ from thermal vorticity, shear viscous tensor, other terms associated with the temperature and chemical-potential gradients, and electromagnetic fields to the local spin polarization. We then implement the (3+1)-dimensional viscous hydrodynamic model to study the spin polarizations from these sources with a small chemical potential and ignorance of electromagnetic fields by adopting an equation of state different from those in other recent studies. Although the shear correction alone upon the local polarization results in a sign and azimuthal-angle dependence more consistent with experimental observations, as also discovered in other recent studies, it is mostly suppressed by the contributions from thermal vorticity and other terms that yield an opposite trend. It is found that the total local spin polarization can be very sensitive to the equation of states, the ratio of shear viscosity to entropy density, and the freeze-out temperature.


title: Watching Smartly from the Bottom: Intrusion Detection revamped through Programmable Networks and Artificial Intelligence

abstract: The advent of Programmable Data Planes represents an outstanding evolution and complete revolution of the Software- Defined Networking paradigm. The capacity to define the entire behavior of forwarding devices by controlling the packet parsing procedures and executing custom operations enables offloading functionalities traditionally performed at the control plane. A recent research line has explored the possibility of even offloading to the data plane part of Artificial Intelligence algorithms, and more specifically, Machine Learning ones, to increase their accuracy and responsiveness (by having more detailed visibility of the traffic). This introduces a significant opportunity for evolution in the critical field of Intrusion Detection. However, offloading functionalities to the data plane is not a straightforward task. In this paper, we discuss how Programmable Data Planes might complement different stages of an Intrusion Detection System based on Machine Learning. We present two use cases that make evident the feasibility of this approach and highlight aspects that must be considered when addressing the challenge of deploying solutions leveraging data-plane functionalities.


title: Volta at SemEval-2021 Task 6: Towards Detecting Persuasive Texts and Images using Textual and Multimodal Ensemble

abstract: Memes are one of the most popular types of content used to spread information online. They can influence a large number of people through rhetorical and psychological techniques. The task, Detection of Persuasion Techniques in Texts and Images, is to detect these persuasive techniques in memes. It consists of three subtasks: (A) Multi-label classification using textual content, (B) Multi-label classification and span identification using textual content, and (C) Multi-label classification using visual and textual content. In this paper, we propose a transfer learning approach to fine-tune BERT-based models in different modalities. We also explore the effectiveness of ensembles of models trained in different modalities. We achieve an F1-score of 57.0, 48.2, and 52.1 in the corresponding subtasks.


title: Reinforced Iterative Knowledge Distillation for Cross-Lingual Named Entity Recognition

abstract: Named entity recognition (NER) is a fundamental component in many applications, such as Web Search and Voice Assistants. Although deep neural networks greatly improve the performance of NER, due to the requirement of large amounts of training data, deep neural networks can hardly scale out to many languages in an industry setting. To tackle this challenge, cross-lingual NER transfers knowledge from a rich-resource language to languages with low resources through pre-trained multilingual language models. Instead of using training data in target languages, cross-lingual NER has to rely on only training data in source languages, and optionally adds the translated training data derived from source languages. However, the existing cross-lingual NER methods do not make good use of rich unlabeled data in target languages, which is relatively easy to collect in industry applications. To address the opportunities and challenges, in this paper we describe our novel practice in Microsoft to leverage such large amounts of unlabeled data in target languages in real production settings. To effectively extract weak supervision signals from the unlabeled data, we develop a novel approach based on the ideas of semi-supervised learning and reinforcement learning. The empirical study on three benchmark data sets verifies that our approach establishes the new state-of-the-art performance with clear edges. Now, the NER techniques reported in this paper are on their way to become a fundamental component for Web ranking, Entity Pane, Answers Triggering, and Question Answering in the Microsoft Bing search engine. Moreover, our techniques will also serve as part of the Spoken Language Understanding module for a commercial voice assistant. We plan to open source the code of the prototype framework after deployment.


title: A one-phase Stefan problem with non-linear diffusion from highly competing two-species particle systems

abstract: We consider an interacting particle system with two species under strong competition dynamics between the two species. Then, through the hydrodynamic limit procedure for the microscopic model, we derive a one-phase Stefan type free boundary problem with non-linear diffusion, letting the competition rate divergent. Non-linearity of diffusion comes from a zero-range dynamics for one species while we impose the other species to weakly diffuse according to the Kawasaki dynamics for technical reasons, which macroscopically corresponds to the vanishing viscosity method.


title: Comprehensive Energy Footprint Benchmarking of Strong Parallel Electrified Powertrain

abstract: This work presents comprehensive energy management and in-depth energy footprint analysis of an electrified strong parallel commercial vehicle. We use the PS3 framework, validated real-world powertrain system models, and Pareto-optimal analysis to optimize fuel consumption and harmful pollutant emissions. The approach involves dynamic optimization of 13 states and 4 control levers with complex interactions between multiple subsystems for a parallel hybrid electric pick-up and delivery truck. These subsystems exhibit thermal, electrical, and mechanical dynamics at different time scales, and contain kinematic and combinatorial constraints, integer- and real-valued variables, interpolated look-up tables, and data maps. A Pareto-optimal solution is found by carefully optimizing fuel and NOx emissions to understand the energy footprint of the electrified powertrain. The presented results exhibit rich analysis and complex interactions among the powertrain subsystems to unearth a 7% improvement in its fuel consumption and 29% pollutant NOx reduction when compared to solution from a coarsely modeled powertrain system.


title: Overlap between usual and modified Bethe vectors

abstract: We consider the overlap of Bethe vectors of the XXX spin chain with a diagonal twist and the modified Bethe vectors with a general twist. We find a determinant representation for this overlap under one additional condition on the twist parameters. Such objects arise in the calculations of nonequilibrium physics.


title: Adversarial VQA: A New Benchmark for Evaluating the Robustness of VQA Models

abstract: Benefiting from large-scale pre-training, we have witnessed significant performance boost on the popular Visual Question Answering (VQA) task. Despite rapid progress, it remains unclear whether these state-of-the-art (SOTA) models are robust when encountering examples in the wild. To study this, we introduce Adversarial VQA, a new large-scale VQA benchmark, collected iteratively via an adversarial human-and-model-in-the-loop procedure. Through this new benchmark, we discover several interesting findings. (i) Surprisingly, we find that during dataset collection, non-expert annotators can easily attack SOTA VQA models successfully. (ii) Both large-scale pre-trained models and adversarial training methods achieve far worse performance on the new benchmark than over standard VQA v2 dataset, revealing the fragility of these models while demonstrating the effectiveness of our adversarial dataset. (iii) When used for data augmentation, our dataset can effectively boost model performance on other robust VQA benchmarks. We hope our Adversarial VQA dataset can shed new light on robustness study in the community and serve as a valuable benchmark for future work.


title: Real graded Lie algebras, Galois cohomology, and classification of trivectors in R^9

abstract: In this paper we classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was done by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C^9 as a theta-representation corresponding to a Z/3Z-grading of the simple complex Lie algebra of type E8. This divides the trivectors into three groups: nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology to obtain the classification over R. For the nilpotent orbits this is in principle rather straightforward and the main problem is to determine the first Galois cohomology sets of a long list of centralizers (we compute the centralizers using computer). For the semisimple and mixed orbits we develop new methods based on Galois cohomology, first and second. We also consider real theta-representations in general, and derive a number of results that are useful for the classification of their orbits.


title: Combination of component fault trees and Markov chains to analyze complex, software-controlled systems

abstract: Fault Tree analysis is a widely used failure analysis methodology to assess a system in terms of safety or reliability in many industrial application domains. However, with Fault Tree methodology there is no possibility to express a temporal sequence of events or state-dependent behavior of software-controlled systems. In contrast to this, Markov Chains are a state-based analysis technique based on a stochastic model. But the use of Markov Chains for failure analysis of complex safety-critical systems is limited due to exponential explosion of the size of the model. In this paper, we present a concept to integrate Markov Chains in Component Fault Tree models. Based on a component concept for Markov Chains, which enables the association of Markov Chains to system development elements such as components, complex or software-controlled systems can be analyzed w.r.t. safety or reliability in a modular and compositional way. We illustrate this approach using a case study from the automotive domain.


title: Volta at SemEval-2021 Task 9: Statement Verification and Evidence Finding with Tables using TAPAS and Transfer Learning

abstract: Tables are widely used in various kinds of documents to present information concisely. Understanding tables is a challenging problem that requires an understanding of language and table structure, along with numerical and logical reasoning. In this paper, we present our systems to solve Task 9 of SemEval-2021: Statement Verification and Evidence Finding with Tables (SEM-TAB-FACTS). The task consists of two subtasks: (A) Given a table and a statement, predicting whether the table supports the statement and (B) Predicting which cells in the table provide evidence for/against the statement. We fine-tune TAPAS (a model which extends BERT's architecture to capture tabular structure) for both the subtasks as it has shown state-of-the-art performance in various table understanding tasks. In subtask A, we evaluate how transfer learning and standardizing tables to have a single header row improves TAPAS' performance. In subtask B, we evaluate how different fine-tuning strategies can improve TAPAS' performance. Our systems achieve an F1 score of 67.34 in subtask A three-way classification, 72.89 in subtask A two-way classification, and 62.95 in subtask B.


title: The solitary solutions of nonlinear Klein-Gordon field with minimal length

abstract: The existence of a minimal length is predicted by theories of quantum gravity and it is generally accepted that this minimal length should be of the order of the Planck length and hence can be observed in high energy phenomenon. We study the implications of the presence of the minimal length on the Klein-Gordon filed with {\phi}4self-interaction. Considering the process of spontaneous symmetry breaking, the potential also includes the {\phi}3term. The consequent field equation is a fourth-order differential equation and is considered to have solitary solutions. The sech method is applied and the normalized solutions are obtained in closed forms and the energy spectrum of the solitary fields is determined. The modification parameter of the theory is estimated by the width and the energy of the obtained solitary fields.


title: ViTA: Visual-Linguistic Translation by Aligning Object Tags

abstract: Multimodal Machine Translation (MMT) enriches the source text with visual information for translation. It has gained popularity in recent years, and several pipelines have been proposed in the same direction. Yet, the task lacks quality datasets to illustrate the contribution of visual modality in the translation systems. In this paper, we propose our system under the team name Volta for the Multimodal Translation Task of WAT 2021 from English to Hindi. We also participate in the textual-only subtask of the same language pair for which we use mBART, a pretrained multilingual sequence-to-sequence model. For multimodal translation, we propose to enhance the textual input by bringing the visual information to a textual domain by extracting object tags from the image. We also explore the robustness of our system by systematically degrading the source text. Finally, we achieve a BLEU score of 44.6 and 51.6 on the test set and challenge set of the multimodal task.


title: Achromatic photonic tricouplers for application in nulling interferometry

abstract: Integrated-optic components are being increasingly used in astrophysics, mainly where accuracy and precision are paramount. One such emerging technology is nulling interferometry that targets high contrast and high angular resolution. Two of the most critical limitations encountered by nullers are rapid phase fluctuations in the incoming light causing instability in the interference and chromaticity of the directional couplers that prevent a deep broadband interferometric null. We explore the use of a tricoupler designed by ultrafast laser inscription that solves both issues. Simulations of a tricoupler, incorporated into a nuller, result in order of a magnitude improvement in null depth.


title: Information-Theoretic Analysis of Epistemic Uncertainty in Bayesian Meta-learning

abstract: The overall predictive uncertainty of a trained predictor can be decomposed into separate contributions due to epistemic and aleatoric uncertainty. Under a Bayesian formulation, assuming a well-specified model, the two contributions can be exactly expressed (for the log-loss) or bounded (for more general losses) in terms of information-theoretic quantities (Xu and Raginsky, 2020). This paper addresses the study of epistemic uncertainty within an information-theoretic framework in the broader setting of Bayesian meta-learning. A general hierarchical Bayesian model is assumed in which hyperparameters determine the per-task priors of the model parameters. Exact characterizations (for the log-loss) and bounds (for more general losses) are derived for the epistemic uncertainty -quantified by the minimum excess meta-risk (MEMR)- of optimal meta-learning rules. This characterization is leveraged to bring insights into the dependence of the epistemic uncertainty on the number of tasks and on the amount of per-task training data. Experiments are presented that use the proposed information-theoretic bounds, evaluated via neural mutual information estimators, to compare the performance of conventional learning and meta-learning as the number of meta-learning tasks increases.


title: Proactive Scheduling of Hydrogen Systems for Resilience Enhancement of Distribution Networks

abstract: Recent advances in smart grid technologies bring opportunities to better control the modern and complex power grids with renewable integration. The operation of power systems, especially distribution network (DN), is facing with preeminent challenges from cyber-physical-human (CPH) threats and natural disasters. In order to provide better response against threats and improve the resilience of power grid, proactive plans and operational schemes are required by system operators to minimize the damages caused by CPH threats. To that end, this paper proposes a proactive plan for DN operation by using hydrogen (H2) systems to enhance the resilience through cost-effective long-term energy storage. Unlike batteries, H2 energy can be stored in the storage tanks days before the extreme event, and transformed into power by fuel cell units in the post-event time to reduce load curtailment caused by CPH threats. The proposed framework is validated by testing on 33-node test feeder. Simulation results demonstrate that H2 systems can improve the resilience of DN during $N-m$ outages lasting for more than 10 hours.


title: UAV Aided Over-the-Air Computation

abstract: Over-the-air computation (AirComp) seamlessly integrates communication and computation by exploiting the waveform superposition property of multiple-access channels. Different from the existing works that focus on transceiver design of AirComp over static networks, this paper considers an unmanned aerial vehicle (UAV) aided AirComp system, where the UAV as a flying base station aggregates data from mobile sensors. The trajectory design of the UAV provides an additional degree of freedom to improve the performance of AirComp. Our goal is to minimize the time-averaged mean-squared error (MSE) of AirComp by jointly optimizing the UAV trajectory, receive normalizing factors, and sensors' transmit power. To this end, we first propose a novel and equivalent problem transformation by introducing intermediate variables. This reformulation leads to a convex subproblem when fixing any other two blocks of variables, thereby enabling efficient algorithm design based on the principle of block coordinate descent and alternating direction method of multipliers (ADMM) techniques. In particular, we derive the optimal closed-form solutions for normalizing factors and intermediate variables optimization subproblems. We also recast the convex trajectory design subproblem into an ADMM form and obtain the closed-form expressions for each variable updating. Simulation results show that the proposed algorithm achieves a smaller time-averaged MSE while reducing the simulation time by orders of magnitude compared to state-of-the-art algorithms.


title: Nonzero-sum risk-sensitive continuous-time stochastic games with ergodic costs

abstract: We study nonzero-sum stochastic games for continuous time Markov decision processes on a denumerable state space with risk-sensitive ergodic cost criterion. Transition rates and cost rates are allowed to be unbounded. Under a Lyapunov type stability assumption, we show that the corresponding system of coupled HJB equations admits a solution which leads to the existence of a Nash equilibrium in stationary strategies. We establish this using an approach involving principal eigenvalues associated with the HJB equations. Furthermore, exploiting appropriate stochastic representation of principal eigenfunctions, we completely characterize Nash equilibria in the space of stationary Markov strategies.


title: Reconciliation of Statistical and Spatial Sparsity For Robust Image and Image-Set Classification

abstract: Recent image classification algorithms, by learning deep features from large-scale datasets, have achieved significantly better results comparing to the classic feature-based approaches. However, there are still various challenges of image classifications in practice, such as classifying noisy image or image-set queries and training deep image classification models over the limited-scale dataset. Instead of applying generic deep features, the model-based approaches can be more effective and data-efficient for robust image and image-set classification tasks, as various image priors are exploited for modeling the inter- and intra-set data variations while preventing over-fitting. In this work, we propose a novel Joint Statistical and Spatial Sparse representation, dubbed \textit{J3S}, to model the image or image-set data for classification, by reconciling both their local patch structures and global Gaussian distribution mapped into Riemannian manifold. To the best of our knowledge, no work to date utilized both global statistics and local patch structures jointly via joint sparse representation. We propose to solve the joint sparse coding problem based on the J3S model, by coupling the local and global image representations using joint sparsity. The learned J3S models are used for robust image and image-set classification. Experiments show that the proposed J3S-based image classification scheme outperforms the popular or state-of-the-art competing methods over FMD, UIUC, ETH-80 and YTC databases.


title: A Coarse to Fine Question Answering System based on Reinforcement Learning

abstract: In this paper, we present a coarse to fine question answering (CFQA) system based on reinforcement learning which can efficiently processes documents with different lengths by choosing appropriate actions. The system is designed using an actor-critic based deep reinforcement learning model to achieve multi-step question answering. Compared to previous QA models targeting on datasets mainly containing either short or long documents, our multi-step coarse to fine model takes the merits from multiple system modules, which can handle both short and long documents. The system hence obtains a much better accuracy and faster trainings speed compared to the current state-of-the-art models. We test our model on four QA datasets, WIKEREADING, WIKIREADING LONG, CNN and SQuAD, and demonstrate 1.3$\%$-1.7$\%$ accuracy improvements with 1.5x-3.4x training speed-ups in comparison to the baselines using state-of-the-art models.


title: Divide and Rule: Recurrent Partitioned Network for Dynamic Processes

abstract: In general, many dynamic processes are involved with interacting variables, from physical systems to sociological analysis. The interplay of components in the system can give rise to confounding dynamic behavior. Many approaches model temporal sequences holistically ignoring the internal interaction which are impotent in capturing the protogenic actuation. Differently, our goal is to represent a system with a part-whole hierarchy and discover the implied dependencies among intra-system variables: inferring the interactions that possess causal effects on the sub-system behavior with REcurrent partItioned Network (REIN). The proposed architecture consists of (i) a perceptive module that extracts a hierarchical and temporally consistent representation of the observation at multiple levels, (ii) a deductive module for determining the relational connection between neurons at each level, and (iii) a statistical module that can predict the future by conditioning on the temporal distributional estimation. Our model is demonstrated to be effective in identifying the componential interactions with limited observation and stable in long-term future predictions experimented with diverse physical systems.


title: Neuron segmentation using 3D wavelet integrated encoder-decoder network

abstract: Motivation: 3D neuron segmentation is a key step for the neuron digital reconstruction, which is essential for exploring brain circuits and understanding brain functions. However, the fine line-shaped nerve fibers of neuron could spread in a large region, which brings great computational cost to the neuron segmentation. Meanwhile, the strong noises and disconnected nerve fibers bring great challenges to the task. Results: In this paper, we propose a 3D wavelet and deep learning based 3D neuron segmentation method. The neuronal image is first partitioned into neuronal cubes to simplify the segmentation task. Then, we design 3D WaveUNet, the first 3D wavelet integrated encoder-decoder network, to segment the nerve fibers in the cubes; the wavelets could assist the deep networks in suppressing data noises and connecting the broken fibers. We also produce a Neuronal Cube Dataset (NeuCuDa) using the biggest available annotated neuronal image dataset, BigNeuron, to train 3D WaveUNet. Finally, the nerve fibers segmented in cubes are assembled to generate the complete neuron, which is digitally reconstructed using an available automatic tracing algorithm. The experimental results show that our neuron segmentation method could completely extract the target neuron in noisy neuronal images. The integrated 3D wavelets can efficiently improve the performance of 3D neuron segmentation and reconstruction. Availability: The data and codes for this work are available at https://github.com/LiQiufu/3D-WaveUNet.


title: An adaptive scalable fully implicit algorithm based on stabilized finite element for reduced visco-resistive MHD

abstract: The magnetohydrodynamics (MHD) equations are continuum models used in the study of a wide range of plasma physics systems, including the evolution of complex plasma dynamics in tokamak disruptions. However, efficient numerical solution methods for MHD are extremely challenging due to disparate time and length scales, strong hyperbolic phenomena, and nonlinearity. Therefore the development of scalable, implicit MHD algorithms and high-resolution adaptive mesh refinement strategies is of considerable importance. In this work, we develop a high-order stabilized finite-element algorithm for the reduced visco-resistive MHD equations based on the MFEM finite element library (mfem.org). The scheme is fully implicit, solved with the Jacobian-free Newton-Krylov (JFNK) method with a physics-based preconditioning strategy. Our preconditioning strategy is a generalization of the physics-based preconditioning methods in [Chacon, et al, JCP 2002] to adaptive, stabilized finite elements. Algebraic multigrid methods are used to invert sub-block operators to achieve scalability. A parallel adaptive mesh refinement scheme with dynamic load-balancing is implemented to efficiently resolve the multi-scale spatial features of the system. Our implementation uses the MFEM framework, which provides arbitrary-order polynomials and flexible adaptive conforming and non-conforming meshes capabilities. Results demonstrate the accuracy, efficiency, and scalability of the implicit scheme in the presence of large scale disparity. The potential of the AMR approach is demonstrated on an island coalescence problem in the high Lundquist-number regime ($\ge 10^7$) with the successful resolution of plasmoid instabilities and thin current sheets.


title: Exploring Dynamic Selection of Branch Expansion Orders for Code Generation

abstract: Due to the great potential in facilitating software development, code generation has attracted increasing attention recently. Generally, dominant models are Seq2Tree models, which convert the input natural language description into a sequence of tree-construction actions corresponding to the pre-order traversal of an Abstract Syntax Tree (AST). However, such a traversal order may not be suitable for handling all multi-branch nodes. In this paper, we propose to equip the Seq2Tree model with a context-based Branch Selector, which is able to dynamically determine optimal expansion orders of branches for multi-branch nodes. Particularly, since the selection of expansion orders is a non-differentiable multi-step operation, we optimize the selector through reinforcement learning, and formulate the reward function as the difference of model losses obtained through different expansion orders. Experimental results and in-depth analysis on several commonly-used datasets demonstrate the effectiveness and generality of our approach. We have released our code at https://github.com/DeepLearnXMU/CG-RL.


title: Magnetic flux expulsion in a superconducting wire

abstract: An electric current generates a magnetic field, and magnetic fields cannot exist in the interior of type I superconductors. As a consequence of these two facts, electric currents can only flow near the surface of a type I superconducting wire so that the self-field vanishes in the interior. Here we examine how an electric current flowing through the entire cross-section of a normal conducting wire becomes a surface current when it enters a superconducting portion of the wire. This geometry provides insight into the dynamics of magnetic flux expulsion that is not apparent in the Meissner effect involving expulsion of an externally applied magnetic field. It provides clear evidence that the motion of magnetic field lines in superconductors is intimately tied to the motion of charge carriers, as occurs in classical plasmas (Alfven's theorem) and as proposed in the theory of hole superconductivity \cite{holesc}, in contradiction with the conventional London-BCS theory of superconductivity.


title: Graph-based Exercise- and Knowledge-Aware Learning Network for Student Performance Prediction

abstract: Predicting student performance is a fundamental task in Intelligent Tutoring Systems (ITSs), by which we can learn about students' knowledge level and provide personalized teaching strategies for them. Researchers have made plenty of efforts on this task. They either leverage educational psychology methods to predict students' scores according to the learned knowledge proficiency, or make full use of Collaborative Filtering (CF) models to represent latent factors of students and exercises. However, most of these methods either neglect the exercise-specific characteristics (e.g., exercise materials), or cannot fully explore the high-order interactions between students, exercises, as well as knowledge concepts. To this end, we propose a Graph-based Exercise- and Knowledge-Aware Learning Network for accurate student score prediction. Specifically, we learn students' mastery of exercises and knowledge concepts respectively to model the two-fold effects of exercises and knowledge concepts. Then, to model the high-order interactions, we apply graph convolution techniques in the prediction process. Extensive experiments on two real-world datasets prove the effectiveness of our proposed Graph-EKLN.


title: Hardness Sampling for Self-Training Based Transductive Zero-Shot Learning

abstract: Transductive zero-shot learning (T-ZSL) which could alleviate the domain shift problem in existing ZSL works, has received much attention recently. However, an open problem in T-ZSL: how to effectively make use of unseen-class samples for training, still remains. Addressing this problem, we first empirically analyze the roles of unseen-class samples with different degrees of hardness in the training process based on the uneven prediction phenomenon found in many ZSL methods, resulting in three observations. Then, we propose two hardness sampling approaches for selecting a subset of diverse and hard samples from a given unseen-class dataset according to these observations. The first one identifies the samples based on the class-level frequency of the model predictions while the second enhances the former by normalizing the class frequency via an approximate class prior estimated by an explored prior estimation algorithm. Finally, we design a new Self-Training framework with Hardness Sampling for T-ZSL, called STHS, where an arbitrary inductive ZSL method could be seamlessly embedded and it is iteratively trained with unseen-class samples selected by the hardness sampling approach. We introduce two typical ZSL methods into the STHS framework and extensive experiments demonstrate that the derived T-ZSL methods outperform many state-of-the-art methods on three public benchmarks. Besides, we note that the unseen-class dataset is separately used for training in some existing transductive generalized ZSL (T-GZSL) methods, which is not strict for a GZSL task. Hence, we suggest a more strict T-GZSL data setting and establish a competitive baseline on this setting by introducing the proposed STHS framework to T-GZSL.


title: A unified PAC-Bayesian framework for machine unlearning via information risk minimization

abstract: Machine unlearning refers to mechanisms that can remove the influence of a subset of training data upon request from a trained model without incurring the cost of re-training from scratch. This paper develops a unified PAC-Bayesian framework for machine unlearning that recovers the two recent design principles - variational unlearning (Nguyen et.al., 2020) and forgetting Lagrangian (Golatkar et.al., 2020) - as information risk minimization problems (Zhang,2006). Accordingly, both criteria can be interpreted as PAC-Bayesian upper bounds on the test loss of the unlearned model that take the form of free energy metrics.


title: Did I do that? Blame as a means to identify controlled effects in reinforcement learning

abstract: Identifying controllable aspects of the environment has proven to be an extraordinary intrinsic motivator to reinforcement learning agents. Despite repeatedly achieving State-of-the-Art results, this approach has only been studied as a proxy to a reward-based task and has not yet been evaluated on its own. Current methods are based on action-prediction. Humans, on the other hand, assign blame to their actions to decide what they controlled. This work proposes Controlled Effect Network (CEN), an unsupervised method based on counterfactual measures of blame to identify effects on the environment controlled by the agent. CEN is evaluated in a wide range of environments showing that it can accurately identify controlled effects. Moreover, we demonstrate CEN's capabilities as intrinsic motivator by integrating it in the state-of-the-art exploration method, achieving substantially better performance than action-prediction models.


title: Classes in Object-Oriented Modeling (UML): Further Understanding and Abstraction

abstract: Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.


title: Superconducting ground state of nonsymmorphic superconducting compound Zr$_{2}$Ir

abstract: The nonsymmorphic Zr$_{2}$Ir alloy is a possible topological semimetal candidate material and as such may be part of an exotic class of superconductors. Zr$_{2}$Ir is a superconductor with a transition temperature of 7.4 K with critical fields of 19.6(3) mT and 3.79(3) T, as determined by heat capacity and magnetisation. Zero field muon spin relaxation measurements show that time-reversal symmetry is preserved in these materials. The specific heat and transverse field muon spin rotation measurements rule out any possibility to have a nodal or anisotropic superconducting gap, revealing a conventional s-wave nature in the superconducting ground state. Therefore, this system is found to be conventional nonsymmorphic superconductor, with time-reversal symmetry being preserved and an isotropic superconducting gap.