title: Spline-Based Adaptive Cancellation of Even-Order Intermodulation Distortions in LTE-A/5G RF Transceivers

abstract: Radio frequency transceivers operating in in-band full-duplex or frequency-division duplex mode experience strong transmitter leakage. Combined with receiver nonlinearities, this causes intermodulation products in the baseband, possibly with higher power than the desired receive signal. In order to restore the receiver signal-to-noise ratio in such scenarios, we propose two novel digital self-interference cancellation approaches based on spline interpolation. Both employ a Wiener structure, thereby matching the baseband model of the intermodulation effect. Unlike most state-of-the-art spline-based adaptive learning schemes, the proposed concept allows for complex-valued in- and out-put signals. The optimization of the model parameters is based on the stochastic gradient descent concept, where the convergence is supported by an appropriate step-size normalization. Additionally, we provide a gain control scheme and enable pipelining in order to facilitate a hardware implementation. An optional input transform improves the performance consistency for correlated sequences. In a realistic interference scenario, the proposed algorithms clearly outperform a state-of-the-art least mean squares variant with comparable complexity, which is specifically tailored to second-order intermodulation distortions. The high flexibility of the spline interpolation allows the spline-based Wiener models to match the performance of the kernel recursive least squares algorithm at less than 0.6% of the arithmetic operations.


title: Unsupervised One-shot Learning of Both Specific Instances and Generalised Classes with a Hippocampal Architecture

abstract: Established experimental procedures for one-shot machine learning do not test the ability to learn or remember specific instances of classes, a key feature of animal intelligence. Distinguishing specific instances is necessary for many real-world tasks, such as remembering which cup belongs to you. Generalisation within classes conflicts with the ability to separate instances of classes, making it difficult to achieve both capabilities within a single architecture. We propose an extension to the standard Omniglot classification-generalisation framework that additionally tests the ability to distinguish specific instances after one exposure and introduces noise and occlusion corruption. Learning is defined as an ability to classify as well as recall training samples. Complementary Learning Systems (CLS) is a popular model of mammalian brain regions believed to play a crucial role in learning from a single exposure to a stimulus. We created an artificial neural network implementation of CLS and applied it to the extended Omniglot benchmark. Our unsupervised model demonstrates comparable performance to existing supervised ANNs on the Omniglot classification task (requiring generalisation), without the need for domain-specific inductive biases. On the extended Omniglot instance-recognition task, the same model also demonstrates significantly better performance than a baseline nearest-neighbour approach, given partial occlusion and noise.


title: Limit theorems and ergodicity for general bootstrap random walks

abstract: Given the increments of a simple symmetric random walk $(X_n)_{n\ge0}$, we characterize all possible ways of recycling these increments into a simple symmetric random walk $(Y_n)_{n\ge0}$ adapted to the filtration of $(X_n)_{n\ge0}$. We study the long term behavior of a suitably normalized two-dimensional process $((X_n,Y_n))_{n\ge0}$. In particular, we provide necessary and sufficient conditions for the process to converge to a two-dimensional Brownian motion (possibly degenerate). We also discuss cases in which the limit is not Gaussian. Finally, we provide a simple necessary and sufficient condition for the ergodicity of the recycling transformation, thus generalizing results from Dubins and Smorodinsky (1992) and Fujita (2008), and solving the discrete version of the open problem of the ergodicity of the general L\'evy transformation (see Mansuy and Yor, 2006).


title: Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions

abstract: Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for determining control actions. In practice, measurement model uncertainty can lead to error in state estimates that degrades these guarantees. In this paper, we seek to unify techniques from control theory and machine learning to synthesize controllers that achieve safety in the presence of measurement model uncertainty. We define the notion of a Measurement-Robust Control Barrier Function (MR-CBF) as a tool for determining safe control inputs when facing measurement model uncertainty. Furthermore, MR-CBFs are used to inform sampling methodologies for learning-based perception systems and quantify tolerable error in the resulting learned models. We demonstrate the efficacy of MR-CBFs in achieving safety with measurement model uncertainty on a simulated Segway system.


title: Quantum queer supergroups via v-differential operators

abstract: By using certain quantum differential operators, we construct a super representation for the quantum queer supergroup U_v(q_n). The underlying space of this representation is a deformed polynomial superalgebra in 2n^2 variables whose homogeneous components can be used as the underlying spaces of queer q-Schur superalgebras. We then extend the representation to its formal power series algebra which contains a (super) submodule isomorphic to the regular representation of U_v(q_n). A monomial basis M for U_v(q_n) plays a key role in proving the isomorphism. In this way, we may present the quantum queer supergroup U_v(q_n) by another new basis L together with some explicit multiplication formulas by the generators. As an application, similar presentations are obtained for queer q-Schur superalgebras via the above mentioned homogeneous components. The existence of the bases M and L and the new presentation show that the seminal construction of quantum gl_n established by Beilinson-Lusztig-MacPherson thirty years ago extends to this "queer" quantum supergroup via a completely different approach.


title: PIINET: A 360-degree Panoramic Image Inpainting Network Using a Cube Map

abstract: Inpainting has been continuously studied in the field of computer vision. As artificial intelligence technology developed, deep learning technology was introduced in inpainting research, helping to improve performance. Currently, the input target of an inpainting algorithm using deep learning has been studied from a single image to a video. However, deep learning-based inpainting technology for panoramic images has not been actively studied. We propose a 360-degree panoramic image inpainting method using generative adversarial networks (GANs). The proposed network inputs a 360-degree equirectangular format panoramic image converts it into a cube map format, which has relatively little distortion and uses it as a training network. Since the cube map format is used, the correlation of the six sides of the cube map should be considered. Therefore, all faces of the cube map are used as input for the whole discriminative network, and each face of the cube map is used as input for the slice discriminative network to determine the authenticity of the generated image. The proposed network performed qualitatively better than existing single-image inpainting algorithms and baseline algorithms.


title: COVI-AgentSim: an Agent-based Model for Evaluating Methods of Digital Contact Tracing

abstract: The rapid global spread of COVID-19 has led to an unprecedented demand for effective methods to mitigate the spread of the disease, and various digital contact tracing (DCT) methods have emerged as a component of the solution. In order to make informed public health choices, there is a need for tools which allow evaluation and comparison of DCT methods. We introduce an agent-based compartmental simulator we call COVI-AgentSim, integrating detailed consideration of virology, disease progression, social contact networks, and mobility patterns, based on parameters derived from empirical research. We verify by comparing to real data that COVI-AgentSim is able to reproduce realistic COVID-19 spread dynamics, and perform a sensitivity analysis to verify that the relative performance of contact tracing methods are consistent across a range of settings. We use COVI-AgentSim to perform cost-benefit analyses comparing no DCT to: 1) standard binary contact tracing (BCT) that assigns binary recommendations based on binary test results; and 2) a rule-based method for feature-based contact tracing (FCT) that assigns a graded level of recommendation based on diverse individual features. We find all DCT methods consistently reduce the spread of the disease, and that the advantage of FCT over BCT is maintained over a wide range of adoption rates. Feature-based methods of contact tracing avert more disability-adjusted life years (DALYs) per socioeconomic cost (measured by productive hours lost). Our results suggest any DCT method can help save lives, support re-opening of economies, and prevent second-wave outbreaks, and that FCT methods are a promising direction for enriching BCT using self-reported symptoms, yielding earlier warning signals and a significantly reduced spread of the virus per socioeconomic cost.


title: Well-posedness for a modified nonlinear Schrodinger equation modeling the formation of rogue waves

abstract: The Cauchy problem for a higher order modification of the nonlinear Shcrodinger equation (MNLS) on the line is shown to be well-posed in Sobolev spaces with exponent $\ge 0$. This result is achieved by demonstrating that the associated integral operator is a contraction on a Bourgain space that has been adapted to the particular linear symbol present in the equation. the ctraction is proved by using microlocal analysis and a new trilinear estimate.


title: Photoproduction of the $f_2(1270)$ meson using the CLAS detector

abstract: The quark structure of the $f_2(1270)$ meson has, for many years, been assumed to be a pure quark-antiquark ($q\bar{q}$) resonance with quantum numbers $J^{PC} = 2^{++}$. Recently, it was proposed that the $f_2(1270)$ is a molecular state made from the attractive interaction of two $\rho$-mesons. Such a state would be expected to decay strongly to final states with charged pions, due to the dominant decay $\rho \to \pi^+ \pi^-$, whereas decay to two neutral pions would likely be suppressed. Here, we measure for the first time the reaction $\gamma p \to \pi^0 \pi^0 p$, using the CLAS detector at Jefferson Lab for incident beam energies between 3.6-5.4~GeV. Differential cross sections, $d\sigma / dt$, for $f_2(1270)$ photoproduction are extracted with good precision, due to low backgrounds, and are compared with theoretical calculations.


title: Doping-induced superconductivity in the topological semimetal Mo5Si3

abstract: Chemical doping of topological materials may provide a possible route for realizing topological superconductivity. However, all such cases known so far are based on chalcogenides. Here we report the discovery of superconductivity induced by Re doping in the topological semimetal Mo$_{5}$Si$_{3}$ with a tetragonal structure. Partial substitution of Re for Mo in Mo$_{5-x}$Re$_{x}$Si$_{3}$ results in an anisotropic shrinkage of the unit cell up to the solubility limit of approximately $x$ = 2. Over a wide doping range (0.5 $\leq$ $x$ $\leq$ 2), these silicides are found to be weakly coupled superconductors with a fully isotropic gap. $T_{\rm c}$ increases monotonically with $x$ from 1.67 K to 5.78 K, the latter of which is the highest among superconductors of the same structural type. This trend in $T_{\rm c}$ correlates well with the variation of the number of valence electrons, and is mainly ascribed to the enhancement of electron-phonon coupling. In addition, band structure calculations reveal that superconducting Mo$_{5-x}$Re$_{x}$Si$_{3}$ exhibits nontrivial band topology characterized by $Z_{2}$ invariants (1;000) or (1;111) depending on the Re doping level. Our results suggest that transition metal silicides are a fertile ground for the exploration of candidate topological superconductors.


title: Discrete representations of finitely generated groups into ${\rm PSL}(2,\mathbb{R})$

abstract: We prove a factorization theorem for Fuchsian groups similar to those proved by Agol and Liu for 3-manifold groups. As an application, we build Makanin-Razborov diagrams, which parametrize the collection of all discrete representations from an arbitrary but fixed finitely generated group $G$ to ${\rm PSL}(2, \mathbb{R})$. We define a new class of groups called ${\rm PSL}(2, \mathbb{R})$-discrete limit groups and then use the factorization theorem to obtain useful information about this class of groups.


title: Quantifying the trade-off between income stability and the number of members in a pooled annuity fund

abstract: The number of people who receive a stable income for life from a closed pooled annuity fund is studied. Income stability is defined as keeping the income within a specified tolerance of the initial income in a fixed proportion of future scenarios. The focus is on quantifying the effect of the number of members, which drives the level of idiosyncratic longevity risk in the fund, on the income stability. To do this, investment returns are held constant and systematic longevity risk is omitted. An analytical expression that closely approximates the number of fund members who receive a stable income is derived and is seen to be independent of the mortality model. An application of the result is to calculate the length of time for which the pooled annuity fund can provide the desired level of income stability


title: Loss re-scaling VQA: Revisiting the LanguagePrior Problem from a Class-imbalance View

abstract: Recent studies have pointed out that many well-developed Visual Question Answering (VQA) models are heavily affected by the language prior problem, which refers to making predictions based on the co-occurrence pattern between textual questions and answers instead of reasoning visual contents. To tackle it, most existing methods focus on enhancing visual feature learning to reduce this superficial textual shortcut influence on VQA model decisions. However, limited effort has been devoted to providing an explicit interpretation for its inherent cause. It thus lacks a good guidance for the research community to move forward in a purposeful way, resulting in model construction perplexity in overcoming this non-trivial problem. In this paper, we propose to interpret the language prior problem in VQA from a class-imbalance view. Concretely, we design a novel interpretation scheme whereby the loss of mis-predicted frequent and sparse answers of the same question type is distinctly exhibited during the late training phase. It explicitly reveals why the VQA model tends to produce a frequent yet obviously wrong answer, to a given question whose right answer is sparse in the training set. Based upon this observation, we further develop a novel loss re-scaling approach to assign different weights to each answer based on the training data statistics for computing the final loss. We apply our approach into three baselines and the experimental results on two VQA-CP benchmark datasets evidently demonstrate its effectiveness. In addition, we also justify the validity of the class imbalance interpretation scheme on other computer vision tasks, such as face recognition and image classification.


title: POMO: Policy Optimization with Multiple Optima for Reinforcement Learning

abstract: In neural combinatorial optimization (CO), reinforcement learning (RL) can turn a deep neural net into a fast, powerful heuristic solver of NP-hard problems. This approach has a great potential in practical applications because it allows near-optimal solutions to be found without expert guides armed with substantial domain knowledge. We introduce Policy Optimization with Multiple Optima (POMO), an end-to-end approach for building such a heuristic solver. POMO is applicable to a wide range of CO problems. It is designed to exploit the symmetries in the representation of a CO solution. POMO uses a modified REINFORCE algorithm that forces diverse rollouts towards all optimal solutions. Empirically, the low-variance baseline of POMO makes RL training fast and stable, and it is more resistant to local minima compared to previous approaches. We also introduce a new augmentation-based inference method, which accompanies POMO nicely. We demonstrate the effectiveness of POMO by solving three popular NP-hard problems, namely, traveling salesman (TSP), capacitated vehicle routing (CVRP), and 0-1 knapsack (KP). For all three, our solver based on POMO shows a significant improvement in performance over all recent learned heuristics. In particular, we achieve the optimality gap of 0.14% with TSP100 while reducing inference time by more than an order of magnitude.


title: To Push or To Pull: On Reducing Communication and Synchronization in Graph Computations

abstract: We reduce the cost of communication and synchronization in graph processing by analyzing the fastest way to process graphs: pushing the updates to a shared state or pulling the updates to a private state.We investigate the applicability of this push-pull dichotomy to various algorithms and its impact on complexity, performance, and the amount of used locks, atomics, and reads/writes. We consider 11 graph algorithms, 3 programming models, 2 graph abstractions, and various families of graphs. The conducted analysis illustrates surprising differences between push and pull variants of different algorithms in performance, speed of convergence, and code complexity; the insights are backed up by performance data from hardware counters.We use these findings to illustrate which variant is faster for each algorithm and to develop generic strategies that enable even higher speedups. Our insights can be used to accelerate graph processing engines or libraries on both massively-parallel shared-memory machines as well as distributed-memory systems.


title: Teaching Interactive Proofs to Mathematicians

abstract: This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case-of-study algebraic notions and properties, the use of the proof assistant Prototype Verification System PVS is promoted to interest mathematicians in the development of their mechanized proofs.


title: Isabelle/HOL as a Meta-Language for Teaching Logic

abstract: Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. The first is a formalization of System W (a system of classical propositional logic with only two primitive symbols), the second is the Natural Deduction Assistant (NaDeA), and the third is a one-sided sequent calculus that uses our Sequent Calculus Verifier (SeCaV). We describe each formalization in turn, concentrating on how we used them in our teaching, and commenting on features that are interesting or useful from a logic education perspective. In the conclusion, we reflect on the lessons learned and where they might lead us next.


title: Formalizing IMO Problems and Solutions in Isabelle/HOL

abstract: The International Mathematical Olympiad (IMO) is perhaps the most celebrated mental competition in the world and as such is among the greatest grand challenges for Artificial Intelligence (AI). The IMO Grand Challenge, recently formulated, requires to build an AI that can win a gold medal in the competition. We present some initial steps that could help to tackle this goal by creating a public repository of mechanically checked solutions of IMO Problems in the interactive theorem prover Isabelle/HOL. This repository is actively maintained by students of the Faculty of Mathematics, University of Belgrade, Serbia within the course "Introduction to Interactive Theorem Proving".


title: Lucas-Interpretation on Isabelle's Functions

abstract: Software tools of Automated Reasoning are too sophisticated for general use in mathematics education and respective reasoning, while Lucas-Interpretation provides a general concept for integrating such tools into educational software with the purpose to reliably and flexibly check formal input of students. This paper gives the first technically concise description of Lucas-Interpretation at the occasion of migrating a prototype implementation to the function package of the proof assistant Isabelle. The description shows straightforward adaptations of Isabelle's programming language and shows, how simple migration of the interpreter was, since the design (before the function package has been introduced to Isabelle) recognised appropriateness of Isabelle's terms as middle end. The paper gives links into the code in an open repository as invitation to readers for re-using the prototyped code or adopt the general concept. And since the prototype has been designed before the function package was implemented, the paper is an opportunity for recording lessons learned from Isabelle's development of code structure.


title: Canonical equivalence in anisotropic models for higher order theory of gravity

abstract: We show that as in the case of isotropic models, the `Dirac Algorithm' and `Modified Horowitz' Formalism' lead to identical phase-space structure of the Hamiltonian for the gravitational action with curvature squared terms, in anisotropic space-time, viz, Bianchi-I, Bianchi-III and Kantowski-Sachs models too.


title: Virtual Surfaces and Attitude Aware Planning and Behaviours for Negative Obstacle Navigation

abstract: This paper presents an autonomous navigation system for ground robots traversing aggressive unstructured terrain through a cohesive arrangement of mapping, deliberative planning and reactive behaviour modules. All systems are aware of terrain slope, visibility and vehicle orientation, enabling robots to recognize, plan and react around unobserved areas and overcome negative obstacles, slopes, steps, overhangs and narrow passageways. This is one of pioneer works to explicitly and simultaneously couple mapping, planning and reactive components in dealing with negative obstacles. The system was deployed on three heterogeneous ground robots for the DARPA Subterranean Challenge, and we present results in Urban and Cave environments, along with simulated scenarios, that demonstrate this approach.


title: netrd: A library for network reconstruction and graph distances

abstract: Over the last two decades, alongside the increased availability of large network datasets, we have witnessed the rapid rise of network science. For many systems, however, the data we have access to is not a direct description of the underlying network. More and more, we see the drive to study networks that have been inferred or reconstructed from non-network data---in particular, using time series data from the nodes in a system to infer likely connections between them. Selecting the most appropriate technique for this task is a challenging problem in network science. Different reconstruction techniques usually have different assumptions, and their performance varies from system to system in the real world. One way around this problem could be to use several different reconstruction techniques and compare the resulting networks. However, network comparison is also not an easy problem, as it is not obvious how best to quantify the differences between two networks, in part because of the diversity of tools for doing so. The netrd Python package seeks to address these two parallel problems in network science by providing, to our knowledge, the most extensive collection of both network reconstruction techniques and network comparison techniques (often referred to as graph distances) in a single library (https://github.com/netsiphd/netrd). In this article, we detail the two main functionalities of the netrd package. Along the way, we describe some of its other useful features. This package builds on commonly used Python packages and is already a widely used resource for network scientists and other multidisciplinary researchers. With ongoing open-source development, we see this as a tool that will continue to be used by all sorts of researchers to come.


title: Universal dynamics of mitochondrial networks: a finite-size scaling analysis

abstract: A growing body of evidence suggests that the structure of mitochondrial networks is poised near criticality, an intermediate regime lying in between order and disorder. Such description fits well with the idea that biological systems, in general, may benefit from the long-range correlations and large flexibility conferred by a critical regime. Despite the attractiveness of this proposal, a clear understanding of the possible scenarios leading these networks to criticality is still lacking. In this work, we compared the behavior of mitochondrial networks emerging from a dimensionless agent-based (AB) model and a spatially explicit (SE) model, in which nodes are embedded on a 2D lattice. In both scenarios, we described the position of the control parameter at which mitochondrial networks exhibit a dynamical phase transition as well as the size-dependency of several network features. Furthermore, we showed that the mitochondrial networks from mouse embryonic fibroblasts presented similar topologies to the ones generated using the AB model, while their universal behavior is better described by a SE model. Using finite-size scaling analysis conducted on models and empirical data we defined the universality classes they belong and provided the theoretical boundaries for the mechanisms governing mitochondrial network formation. Our findings predict the full repertoire of dynamical behavior expected for real mitochondrial networks under physiological and pathological conditions.


title: CliniQG4QA: Generating Diverse Questions for Domain Adaptation of Clinical Question Answering

abstract: Clinical question answering (QA) aims to automatically answer questions from medical professionals based on clinical texts. Studies show that neural QA models trained on one corpus may not generalize well to new clinical texts from a different institute or a different patient group, where large-scale QA pairs are not readily available for model retraining. To address this challenge, we propose a simple yet effective framework, CliniQG4QA, which leverages question generation (QG) to synthesize QA pairs on new clinical contexts and boosts QA models without requiring manual annotations. In order to generate diverse types of questions that are essential for training QA models, we further introduce a seq2seq-based question phrase prediction (QPP) module that can be used together with most existing QG models to diversify the generation. Our comprehensive experiment results show that the QA corpus generated by our framework can improve QA models on the new contexts (up to 8% absolute gain in terms of Exact Match), and that the QPP module plays a crucial role in achieving the gain.


title: Spin-wave dispersion and exchange stiffness in Nd$_2$Fe$_{14}$B and $R$Fe$_{11}$Ti ($R$=Y, Nd, Sm) from first-principles calculations

abstract: We theoretically investigate spin-wave dispersion in rare-earth magnet compounds by using first-principles calculations and a method we call the reciprocal-space algorithm (RSA). The value of the calculated exchange stiffness for Nd$_2$Fe$_{14}$B is within the range of reported experimental values. We find that the exchange stiffness is considerably anisotropic when only short-range exchange couplings are considered, whereas inclusion of long-range couplings weakens the anisotropy. In contrast, $R$Fe$_{11}$Ti ($R$=Y, Nd, Sm) shows large anisotropy in the exchange stiffness.


title: Magnetohydrodynamic Fast Sausage Waves in the Solar Corona

abstract: Characterized by cyclic axisymmetric perturbations to both the magnetic and fluid parameters, magnetohydrodynamic fast sausage modes (FSMs) have proven useful for solar coronal seismology given their strong dispersion. This review starts by summarizing the dispersive properties of the FSMs in the canonical configuration where the equilibrium quantities are transversely structured in a step fashion. With this preparation we then review the recent theoretical studies on coronal FSMs, showing that the canonical dispersion features have been better understood physically, and further exploited seismologically. In addition, we show that departures from the canonical equilibrium configuration have led to qualitatively different dispersion features, thereby substantially broadening the range of observations that FSMs can be invoked to account for. We also summarize the advances in forward modeling studies, emphasizing the intricacies in interpreting observed oscillatory signals in terms of FSMs. All these advances notwithstanding, we offer a list of aspects that remain to be better addressed, with the physical connection of coronal FSMs to the quasi-periodic pulsations in solar flares particularly noteworthy.


title: Evaluation of vulnerability reproducibility in container-based Cyber Range

abstract: A cyber range, a practical and highly educational information security exercise system, is difficult to implement in educational institutions because of the high cost of implementing and maintaining it. Therefore, there is a need for a cyber range that can be adopted and maintained at a low cost. Recently, container type virtualization is gaining attention as it can create a high-speed and high-density exercise environment. However, existing researches have not clearly shown the advantages of container virtualization for building exercise environments. And it is not clear whether the sufficient vulnerabilities are reproducible, which is required to conduct incident scenarios in cyber range. In this paper, we compare container virtualization with existing virtualization type and confirm that the amount of memory, CPU, and storage consumption can be reduced to less than 1/10 of the conventional virtualization methods. We also compare and verify the reproducibility of the vulnerabilities used in common exercise scenarios and confirm that 99.3% of the vulnerabilities are reproducible. The container-based cyber range can be used as a new standard to replace existing methods.


title: Evaluation of approaches for accommodating interactions and non-linear terms in multiple imputation of incomplete three-level data

abstract: Three-level data structures arising from repeated measures on individuals clustered within larger units are common in health research studies. Missing data are prominent in such studies and are often handled via multiple imputation (MI). Although several MI approaches can be used to account for the three-level structure, including adaptations to single- and two-level approaches, when the substantive analysis model includes interactions or quadratic effects these too need to be accommodated in the imputation model. In such analyses, substantive model compatible (SMC) MI has shown great promise in the context of single-level data. While there have been recent developments in multilevel SMC MI, to date only one approach that explicitly handles incomplete three-level data is available. Alternatively, researchers can use pragmatic adaptations to single- and two-level MI approaches, or two-level SMC-MI approaches. We describe the available approaches and evaluate them via simulation in the context of a three three-level random effects analysis models involving an interaction between the incomplete time-varying exposure and time, an interaction between the time-varying exposure and an incomplete time-fixed confounder, or a quadratic effect of the exposure. Results showed that all approaches considered performed well in terms of bias and precision when the target analysis involved an interaction with time, but the three-level SMC MI approach performed best when the target analysis involved an interaction between the time-varying exposure and an incomplete time-fixed confounder, or a quadratic effect of the exposure. We illustrate the methods using data from the Childhood to Adolescence Transition Study.


title: HAT-P-68b: A Transiting Hot Jupiter Around a K5 Dwarf Star

abstract: We report the discovery by the ground-based HATNet survey of the transiting exoplanet HAT-P-68b, which has a mass of 0.724 $\pm$ 0.043 $M_{Jup}$, and radius of 1.072 $\pm$ 0.012 $R_{Jup}$. The planet is in a circular P = 2.2984-day orbit around a moderately bright V = 13.937 $\pm$ 0.030 magnitude K dwarf star of mass 0.673 $+$ 0.020 $-$0.014 $M_{\odot}$, and radius 0.6726 $\pm$ 0.0069 $R_{\odot}$. The planetary nature of this system is confirmed through follow-up transit photometry obtained with the FLWO~1.2m telescope, high-precision RVs measured using Keck-I/HIRES, FLWO~1.5m/TRES, and OHP~1.9m/Sophie, and high-spatial-resolution speckle imaging from WIYN~3.5m/DSSI. HAT-P-68 is at an ecliptic latitude of $+3^{\circ}$ and outside the field of view of both the NASA TESS primary mission and the K2 mission. The large transit depth of 0.036 mag ($r$-band) makes HAT-P-68b a promising target for atmospheric characterization via transmission spectroscopy.


title: PersGNN: Applying Topological Data Analysis and Geometric Deep Learning to Structure-Based Protein Function Prediction

abstract: Understanding protein structure-function relationships is a key challenge in computational biology, with applications across the biotechnology and pharmaceutical industries. While it is known that protein structure directly impacts protein function, many functional prediction tasks use only protein sequence. In this work, we isolate protein structure to make functional annotations for proteins in the Protein Data Bank in order to study the expressiveness of different structure-based prediction schemes. We present PersGNN - an end-to-end trainable deep learning model that combines graph representation learning with topological data analysis to capture a complex set of both local and global structural features. While variations of these techniques have been successfully applied to proteins before, we demonstrate that our hybridized approach, PersGNN, outperforms either method on its own as well as a baseline neural network that learns from the same information. PersGNN achieves a 9.3% boost in area under the precision recall curve (AUPR) compared to the best individual model, as well as high F1 scores across different gene ontology categories, indicating the transferability of this approach.


title: Doping effects on the valence bond solid of Li$_{2}$RuO$_{3}$ with Mn substitution

abstract: $Li_{2}RuO_{3}$ with a honeycomb structure undergoes a drastic transition from a regular honeycomb lattice with the $C2/m$ space group to a valence bond solid state of the $P2_{1}/m$ space group with an extremely strong dimerization at 550 K. We synthesized $Li_{2}Ru_{1-x}Mn_{x}O_{3}$ with a full solid solution and investigated doping effects on the valence bond solid state as a function of Mn content. The valence bond solid state is found to be stable up to $x = 0.2$, based on our extensive experiments: structural studies, resistivity, and magnetic susceptibility. On the other hand, the extended x-ray absorption fine structure analyses show that the dimer local structure remains robust even above $x = 0.2$ with a minimal effect on the dimer bond length. This indicates that the locally-disordered dimer structure survives well into the Mn-rich phase even though the thermodynamically stable average structure has the $C2/m$ space group. Our results prove that the dimer formation in $Li_{2}RuO_{3}$ is predominantly a local phenomenon driven by the formation of orbitally-assisted metal-metal bonds and that these dimers are relatively robust against doping-induced disorder.


title: Lorentz Invariance Violation Limits from the Spectral Lag Transition of GRB~190114C

abstract: The spectral lags of gamma-ray bursts (GRBs) have been viewed as the most promising probes of the possible violations of Lorentz invariance (LIV). However, these constraints usually depend on the assumption of the unknown intrinsic time lag in different energy bands and the use of a single highest-energy photon. A new approach to test the LIV effects has been proposed by directly fitting the spectral lag behavior of a GRB with a well-defined transition from positive lags to negative lags. This method simultaneously provides a reasonable formulation of the intrinsic time lag and robust lower limits on the quantum-gravity energy scales ($E_{\rm QG}$). In this work, we perform a global fitting to the spectral lag data of GRB~190114C by considering the possible LIV effects based on a Bayesian approach. We then derive limits on $E_{\rm QG}$ and the coefficients of the Standard Model Extension. The Bayes factors output in our analysis shows a very strong evidence for the spectral-lag transition in GRB~190114C. Our constraints on a variety of isotropic and anisotropic coefficients for LIV are somewhat weaker than existing bounds, but they can be viewed as comparatively robust and have the promise to complement existing LIV constraints. The observations of GRBs with higher-energy emissions and higher temporal resolutions will contribute to a better formulation of the intrinsic time lag and more rigorous LIV constraints in the dispersive photon sector.


title: Multimodal Metric Learning for Tag-based Music Retrieval

abstract: Tag-based music retrieval is crucial to browse large-scale music libraries efficiently. Hence, automatic music tagging has been actively explored, mostly as a classification task, which has an inherent limitation: a fixed vocabulary. On the other hand, metric learning enables flexible vocabularies by using pretrained word embeddings as side information. Also, metric learning has already proven its suitability for cross-modal retrieval tasks in other domains (e.g., text-to-image) by jointly learning a multimodal embedding space. In this paper, we investigate three ideas to successfully introduce multimodal metric learning for tag-based music retrieval: elaborate triplet sampling, acoustic and cultural music information, and domain-specific word embeddings. Our experimental results show that the proposed ideas enhance the retrieval system quantitatively, and qualitatively. Furthermore, we release the MSD500, a subset of the Million Song Dataset (MSD) containing 500 cleaned tags, 7 manually annotated tag categories, and user taste profiles.


title: SMOT: Single-Shot Multi Object Tracking

abstract: We present single-shot multi-object tracker (SMOT), a new tracking framework that converts any single-shot detector (SSD) model into an online multiple object tracker, which emphasizes simultaneously detecting and tracking of the object paths. Contrary to the existing tracking by detection approaches which suffer from errors made by the object detectors, SMOT adopts the recently proposed scheme of tracking by re-detection. We combine this scheme with SSD detectors by proposing a novel tracking anchor assignment module. With this design SMOT is able to generate tracklets with a constant per-frame runtime. A light-weighted linkage algorithm is then used for online tracklet linking. On three benchmarks of object tracking: Hannah, Music Videos, and MOT17, the proposed SMOT achieves state-of-the-art performance.


title: Pulsational pair-instability and the mass gap of Population III Black Holes: Effects of overshooting

abstract: Since the discovery of GW190521, several proposals have been put forward to explain the formation of a black hole in the mass gap caused by (pulsational) pair-instability, $M = 65-130 M_\odot$. We calculate the mass ejection of Pop III stars by the pulsational pair-instability (PPI) process using a stellar evolution and hydrodynamical code. If a relatively small, but reasonable value is adopted for the overshooting parameter, the stars do not become red super giants during the PPI phase. We show that in this case most of the hydrogen envelope remains after the mass ejection by PPI. We find that the BH mass could be at most $M = 109 M_\odot$ below the mass range of pair-instability supernovae.


title: Mixed-Integer Optimization for Bio-Inspired Robust Power Network Design

abstract: Power systems are susceptible to natural threats including hurricanes and floods. Modern power grids are also increasingly threatened by cyber attacks. Existing approaches that help improve power system security and resilience may not be sufficient; this is evidenced by the continued challenge to supply energy to all customers during severe events. This paper presents an approach to address this challenge through bio-inspired power system network design to improve system reliability and resilience against disturbances. Inspired by naturally robust ecosystems, this paper considers the optimal ecological robustness that recognizes a unique balance between pathway efficiency and redundancy to ensure the survivability against disruptive events for given networks. This paper presents an approach that maximizes ecological robustness in transmission network design by formulating a mixed-integer nonlinear programming optimization problem with power system constraints. The results show the increase of the optimized power system's robustness and the improved reliability with less violations under N-x contingencies.


title: State sharding model on the blockchain

abstract: Blockchain is an incrementally updated ledger maintained by distributed nodes rather than centralized organizations. The current blockchain technology faces scalability issues, which include two aspects: low transaction throughput and high storage capacity costs. This paper studies the blockchain structure based on state sharding technology, and mainly solves the problem of non-scalability of block chain storage. This paper designs and implements the blockchain state sharding scheme, proposes a specific state sharding data structure and algorithm implementation, and realizes a complete blockchain structure so that the blockchain has the advantages of high throughput, processing a large number of transactions and saving storage costs. Experimental results show that a blockchain network with more than 100,000 nodes can be divided into 1024 shards. A blockchain network with this structure can process 500,000 transactions in about 5 seconds. If the consensus time of the blockchain is about 10 seconds, and the block generation time of the blockchain system of the sharding mechanism is 15 seconds, the transaction throughput can reach 33,000 tx/sec. Experimental results show that the throughput of the proposed protocol increases with the increase of the network node size. This confirms the scalability of the blockchain structure based on sharding technology.


title: Considerations in the Automatic Development of Electric Grid Restoration Plans

abstract: Power system restoration is a highly complex task that must be performed in a timely manner following a blackout. It is crucial to have the capability of developing a reliable restoration plan that can be adjusted quickly to different system conditions. This paper introduces a framework of an automated process that creates a restoration plan for a given power system. The required input includes the original system data under normal operating conditions and the status of the resources in the system that can be used for restoration. With a set of criteria to select as an option, the presented process can produce a restoration sequence in terms of which generator, load, branches, and breakers to close until a stopping criterion is met. The algorithm of the restoration process is described, and its application to a synthetic 200-bus case provides a restoration sequence from blackstart generating units to critical loads first and then to the rest of the system without violating any limits for frequency, voltage and branch loading.


title: One-step implementation of Toffoli gate for neutral atoms based on unconventional Rydberg pumping

abstract: Compared with the idea of universal quantum computation, a direct synthesis of a multiqubit logic gate can greatly improve the efficiency of quantum information processing tasks. Here we propose an efficient scheme to implement a three-qubit controlled-not (Toffoli) gate of neutral atoms based on unconventional Rydberg pumping. By adjusting the strengths of Rabi frequencies of driving fields, the Toffoli gate can be achieved within one step, which is also insensitive to the fluctuation of the Rydberg-Rydberg interaction. Considering different atom alignments, we can obtain a high-fidelity Toffoli gate at the same operation time $\sim 7~\mu s$. In addition, our scheme can be further extended to the four-qubit case without altering the operating time.


title: Semantic Labeling Using a Deep Contextualized Language Model

abstract: Generating schema labels automatically for column values of data tables has many data science applications such as schema matching, and data discovery and linking. For example, automatically extracted tables with missing headers can be filled by the predicted schema labels which significantly minimizes human effort. Furthermore, the predicted labels can reduce the impact of inconsistent names across multiple data tables. Understanding the connection between column values and contextual information is an important yet neglected aspect as previously proposed methods treat each column independently. In this paper, we propose a context-aware semantic labeling method using both the column values and context. Our new method is based on a new setting for semantic labeling, where we sequentially predict labels for an input table with missing headers. We incorporate both the values and context of each data column using the pre-trained contextualized language model, BERT, that has achieved significant improvements in multiple natural language processing tasks. To our knowledge, we are the first to successfully apply BERT to solve the semantic labeling task. We evaluate our approach using two real-world datasets from different domains, and we demonstrate substantial improvements in terms of evaluation metrics over state-of-the-art feature-based methods.


title: Adversarial defense for deep speaker recognition using hybrid adversarial training

abstract: Deep neural network based speaker recognition systems can easily be deceived by an adversary using minuscule imperceptible perturbations to the input speech samples. These adversarial attacks pose serious security threats to the speaker recognition systems that use speech biometric. To address this concern, in this work, we propose a new defense mechanism based on a hybrid adversarial training (HAT) setup. In contrast to existing works on countermeasures against adversarial attacks in deep speaker recognition that only use class-boundary information by supervised cross-entropy (CE) loss, we propose to exploit additional information from supervised and unsupervised cues to craft diverse and stronger perturbations for adversarial training. Specifically, we employ multi-task objectives using CE, feature-scattering (FS), and margin losses to create adversarial perturbations and include them for adversarial training to enhance the robustness of the model. We conduct speaker recognition experiments on the Librispeech dataset, and compare the performance with state-of-the-art projected gradient descent (PGD)-based adversarial training which employs only CE objective. The proposed HAT improves adversarial accuracy by absolute 3.29% and 3.18% for PGD and Carlini-Wagner (CW) attacks respectively, while retaining high accuracy on benign examples.


title: FLANNEL: Focal Loss Based Neural Network Ensemble for COVID-19 Detection

abstract: To test the possibility of differentiating chest x-ray images of COVID-19 against other pneumonia and healthy patients using deep neural networks. We construct the X-ray imaging data from two publicly available sources, which include 5508 chest x-ray images across 2874 patients with four classes: normal, bacterial pneumonia, non-COVID-19 viral pneumonia, and COVID-19. To identify COVID-19, we propose a Focal Loss Based Neural Ensemble Network (FLANNEL), a flexible module to ensemble several convolutional neural network (CNN) models and fuse with a focal loss for accurate COVID-19 detection on class imbalance data. FLANNEL consistently outperforms baseline models on COVID-19 identification task in all metrics. Compared with the best baseline, FLANNEL shows a higher macro-F1 score with 6% relative increase on Covid-19 identification task where it achieves 0.7833(0.07) in Precision, 0.8609(0.03) in Recall, and 0.8168(0.03) F1 score.


title: Deep Hurdle Networks for Zero-Inflated Multi-Target Regression: Application to Multiple Species Abundance Estimation

abstract: A key problem in computational sustainability is to understand the distribution of species across landscapes over time. This question gives rise to challenging large-scale prediction problems since (i) hundreds of species have to be simultaneously modeled and (ii) the survey data are usually inflated with zeros due to the absence of species for a large number of sites. The problem of tackling both issues simultaneously, which we refer to as the zero-inflated multi-target regression problem, has not been addressed by previous methods in statistics and machine learning. In this paper, we propose a novel deep model for the zero-inflated multi-target regression problem. To this end, we first model the joint distribution of multiple response variables as a multivariate probit model and then couple the positive outcomes with a multivariate log-normal distribution. By penalizing the difference between the two distributions' covariance matrices, a link between both distributions is established. The whole model is cast as an end-to-end learning framework and we provide an efficient learning algorithm for our model that can be fully implemented on GPUs. We show that our model outperforms the existing state-of-the-art baselines on two challenging real-world species distribution datasets concerning bird and fish populations.


title: COVID-FACT: A Fully-Automated Capsule Network-based Framework for Identification of COVID-19 Cases from Chest CT scans

abstract: The newly discovered Corona virus Disease 2019 (COVID-19) has been globally spreading and causing hundreds of thousands of deaths around the world as of its first emergence in late 2019. Computed tomography (CT) scans have shown distinctive features and higher sensitivity compared to other diagnostic tests, in particular the current gold standard, i.e., the Reverse Transcription Polymerase Chain Reaction (RT-PCR) test. Current deep learning-based algorithms are mainly developed based on Convolutional Neural Networks (CNNs) to identify COVID-19 pneumonia cases. CNNs, however, require extensive data augmentation and large datasets to identify detailed spatial relations between image instances. Furthermore, existing algorithms utilizing CT scans, either extend slice-level predictions to patient-level ones using a simple thresholding mechanism or rely on a sophisticated infection segmentation to identify the disease. In this paper, we propose a two-stage fully-automated CT-based framework for identification of COVID-19 positive cases referred to as the "COVID-FACT". COVID-FACT utilizes Capsule Networks, as its main building blocks and is, therefore, capable of capturing spatial information. In particular, to make the proposed COVID-FACT independent from sophisticated segmentation of the area of infection, slices demonstrating infection are detected at the first stage and the second stage is responsible for classifying patients into COVID and non-COVID cases. COVID-FACT detects slices with infection, and identifies positive COVID-19 cases using an in-house CT scan dataset, containing COVID-19, community acquired pneumonia, and normal cases. Based on our experiments, COVID-FACT achieves an accuracy of 90.82%, a sensitivity of 94.55%, a specificity of 86.04%, and an Area Under the Curve (AUC) of 0.98, while depending on far less supervision and annotation, in comparison to its counterparts.


title: Operational interpretation of the vacuum and process matrices for identical particles

abstract: This work overviews the single-particle two-way communication protocol recently introduced by del Santo and Daki\'c (dSD), and analyses it using the process matrix formalism. We give a detailed account of the importance and the operational meaning of the interaction of an agent with the vacuum -- in particular its role in the process matrix description. Our analysis shows that the interaction with the vacuum should be treated as an operation, on equal footing with all other interactions. This raises the issue of counting such operations in an operational manner. Motivated by this analysis, we apply the process matrix formalism to capped Fock spaces using the framework of second quantisation, in order to characterise protocols with an indefinite number of identical particles.


title: CT-CAPS: Feature Extraction-based Automated Framework for COVID-19 Disease Identification from Chest CT Scans using Capsule Networks

abstract: The global outbreak of the novel corona virus (COVID-19) disease has drastically impacted the world and led to one of the most challenging crisis across the globe since World War II. The early diagnosis and isolation of COVID-19 positive cases are considered as crucial steps towards preventing the spread of the disease and flattening the epidemic curve. Chest Computed Tomography (CT) scan is a highly sensitive, rapid, and accurate diagnostic technique that can complement Reverse Transcription Polymerase Chain Reaction (RT-PCR) test. Recently, deep learning-based models, mostly based on Convolutional Neural Networks (CNN), have shown promising diagnostic results. CNNs, however, are incapable of capturing spatial relations between image instances and require large datasets. Capsule Networks, on the other hand, can capture spatial relations, require smaller datasets, and have considerably fewer parameters. In this paper, a Capsule network framework, referred to as the "CT-CAPS", is presented to automatically extract distinctive features of chest CT scans. These features, which are extracted from the layer before the final capsule layer, are then leveraged to differentiate COVID-19 from Non-COVID cases. The experiments on our in-house dataset of 307 patients show the state-of-the-art performance with the accuracy of 90.8%, sensitivity of 94.5%, and specificity of 86.0%.


title: A pressure-correction and bound-preserving discretization of the phase-field method for variable density two-phase flows

abstract: In this paper, we present an efficient numerical algorithm for solving the time-dependent Cahn--Hilliard--Navier--Stokes equations that model the flow of two phases with different densities. The pressure-correction step in the projection method consists of a Poisson problem with a modified right-hand side. Spatial discretization is based on discontinuous Galerkin methods with piecewise linear or piecewise quadratic polynomials. Flux and slope limiting techniques successfully eliminate the bulk shift, overshoot and undershoot in the order parameter, which is shown to be bound-preserving. Several numerical results demonstrate that the proposed numerical algorithm is effective and robust for modeling two-component immiscible flows in porous structures and digital rocks.


title: Machine Learning (In) Security: A Stream of Problems

abstract: Machine Learning (ML) has been widely applied to cybersecurity and is considered state-of-the-art for solving many of the open issues in that field. However, it is very difficult to evaluate how good the produced solutions are, since the challenges faced in security may not appear in other areas. One of these challenges is the concept drift, which increases the existing arms race between attackers and defenders: malicious actors can always create novel threats to overcome the defense solutions, which may not consider them in some approaches. Due to this, it is essential to know how to properly build and evaluate an ML-based security solution. In this paper, we identify, detail, and discuss the main challenges in the correct application of ML techniques to cybersecurity data. We evaluate how concept drift, evolution, delayed labels, and adversarial ML impact the existing solutions. Moreover, we address how issues related to data collection affect the quality of the results presented in the security literature, showing that new strategies are needed to improve current solutions. Finally, we present how existing solutions may fail under certain circumstances, and propose mitigations to them, presenting a novel checklist to help the development of future ML solutions for cybersecurity.


title: VECO: Variable and Flexible Cross-lingual Pre-training for Language Understanding and Generation

abstract: Existing work in multilingual pretraining has demonstrated the potential of cross-lingual transferability by training a unified Transformer encoder for multiple languages. However, much of this work only relies on the shared vocabulary and bilingual contexts to encourage the correlation across languages, which is loose and implicit for aligning the contextual representations between languages. In this paper, we plug a cross-attention module into the Transformer encoder to explicitly build the interdependence between languages. It can effectively avoid the degeneration of predicting masked words only conditioned on the context in its own language. More importantly, when fine-tuning on downstream tasks, the cross-attention module can be plugged in or out on-demand, thus naturally benefiting a wider range of cross-lingual tasks, from language understanding to generation. As a result, the proposed cross-lingual model delivers new state-of-the-art results on various cross-lingual understanding tasks of the XTREME benchmark, covering text classification, sequence labeling, question answering, and sentence retrieval. For cross-lingual generation tasks, it also outperforms all existing cross-lingual models and state-of-the-art Transformer variants on WMT14 English-to-German and English-to-French translation datasets, with gains of up to 1~2 BLEU.


title: Castelnuovo-Mumford regularity of associated graded modules of k-Buchsbaum modules

abstract: Bounds on the Castelnuovo-Mumford regularity of the associated graded modules of k-Buchsbaum modules M are given in terms of k and some other invariants of M.


title: Realization of Incompressible Navier-Stokes Flow as Superposition of Transport Processes for Clebsch Potentials

abstract: In ideal fluids, Clebsch potentials occur as paired canonical variables associated with the Hamiltonian description of the Euler equations. This paper explores the properties of the incompressible Navier-Stokes equations when the velocity field is expressed through a complete set of paired Clebsch potentials. First, it is shown that the incompressible Navier-Stokes equations can be cast as a system of transport (convection-diffusion) equations where each Clebsch potential plays the role of a generalized distribution function. The diffusion operator associated with each Clebsch potential departs from the standard Laplacian due to a term depending on the Lie-bracket of the corresponding Clebsch pair. It is further shown that the Clebsch potentials can be used to define a Shannon-type entropy measure, i.e. a functional, different from energy and enstrophy, whose growth rate is non-negative. As a consequence, the flow must vanish at equilibrium. This functional can be interpreted as a measure of the topological complexity of the velocity field. In addition, the Clebsch parametrization enables the identification of a class of flows, larger than the class of two dimensional flows, possessing the property that the vortex stretching term identically vanishes and the growth rate of entrophy is non-positive.


title: Millimeter-wave Multi-mode Circular Antenna Array for Uni-cast Multi-cast and OAM Communication

abstract: This paper investigates multi-mode and orbital angular momentum (OAM) mode data transmission techniques by a using a circular antenna array, operating at 28 GHz. The classical mode excitation of the latter is modified such that in the horizontal plane the antenna array operates as multimode transmitter (i.e., it provides broad- , uni- and/or multi-cast transmission), while in the vertical direction OAM transmission occurs: this dual-functionality by a single antenna-array at 28 GHz is presented for the first time. Specifically, it can transmit/receive in either broad-, uni-, multi-cast mode in the horizontal plane and also, it is capable of generating up to 15 spatially orthogonal OAM modes in the vertical direction. The proposed circular array is designed using twelve, low-complexity, multi-layer microstrip patch antennas with high radiation efficiency. It was tested through full electromagnetic analysis in terms of impedance matching, mutual coupling and radiation pattern. It was, also, fabricated and measured: good agreement between simulated and measurement results was observed. The proposed antenna array is perfect candidate for high spectral efficiency data transmission for 5G and beyond wireless applications.


title: NILM as a regression versus classification problem: the importance of thresholding

abstract: Non-Intrusive Load Monitoring (NILM) aims to predict the status or consumption of domestic appliances in a household only by knowing the aggregated power load. NILM can be formulated as regression problem or most often as a classification problem. Most datasets gathered by smart meters allow to define naturally a regression problem, but the corresponding classification problem is a derived one, since it requires a conversion from the power signal to the status of each device by a thresholding method. We treat three different thresholding methods to perform this task, discussing their differences on various devices from the UK-DALE dataset. We analyze the performance of deep learning state-of-the-art architectures on both the regression and classification problems, introducing criteria to select the most convenient thresholding method.


title: Interpretable Machine Learning Models for Predicting and Explaining Vehicle Fuel Consumption Anomalies

abstract: Identifying anomalies in the fuel consumption of the vehicles of a fleet is a crucial aspect for optimizing consumption and reduce costs. However, this information alone is insufficient, since fleet operators need to know the causes behind anomalous fuel consumption. We combine unsupervised anomaly detection techniques, domain knowledge and interpretable Machine Learning models for explaining potential causes of abnormal fuel consumption in terms of feature relevance. The explanations are used for generating recommendations about fuel optimization, that are adjusted according to two different user profiles: fleet managers and fleet operators. Results are evaluated over real-world data from telematics devices connected to diesel and petrol vehicles from different types of industrial fleets. We measure the proposal regarding model performance, and using Explainable AI metrics that compare the explanations in terms of representativeness, fidelity, stability, contrastiveness and consistency with apriori beliefs. The potential fuel reductions that can be achieved is round 35%.


title: HHAR-net: Hierarchical Human Activity Recognition using Neural Networks

abstract: Activity recognition using built-in sensors in smart and wearable devices provides great opportunities to understand and detect human behavior in the wild and gives a more holistic view of individuals' health and well being. Numerous computational methods have been applied to sensor streams to recognize different daily activities. However, most methods are unable to capture different layers of activities concealed in human behavior. Also, the performance of the models starts to decrease with increasing the number of activities. This research aims at building a hierarchical classification with Neural Networks to recognize human activities based on different levels of abstraction. We evaluate our model on the Extrasensory dataset; a dataset collected in the wild and containing data from smartphones and smartwatches. We use a two-level hierarchy with a total of six mutually exclusive labels namely, "lying down", "sitting", "standing in place", "walking", "running", and "bicycling" divided into "stationary" and "non-stationary". The results show that our model can recognize low-level activities (stationary/non-stationary) with 95.8% accuracy and overall accuracy of 92.8% over six labels. This is 3% above our best performing baseline.


title: Constraining primordial black holes as dark matter at JUNO

abstract: As an attractive candidate for dark matter, the primordial black holes (PBHs) in the mass range ($10^{15} \sim 10^{16}$)$\mathrm{g}$ could be detected via their Hawking radiation, including neutrinos and antineutrinos of three flavors. In this paper, we investigate the possibility to constrain the PBH as dark matter by measuring (anti)neutrino signals at the large liquid-scintillator detector of Jiangmen Underground Neutrino Observatory (JUNO). Among six available detection channels, the inverse beta decay $\overline{\nu}^{}_e + p \to e^+ + n$ is shown to be most sensitive to the fraction $f^{}_{\rm PBH}$ of PBHs contributing to the dark matter abundance. Given the PBH mass $M^{}_{\rm PBH} = 10^{15}~{\rm g}$, we find that JUNO will be able to place an upper bound $f^{}_{\rm PBH} \lesssim 3\times 10^{-5}$, which is 20 times better than the current best limit $f^{}_{\rm PBH} \lesssim 6\times 10^{-4}$ from Super-Kamiokande. For heavier PBHs with a lower Hawking temperature, the (anti)neutrinos become less energetic, leading to a relatively weaker bound.


title: A characterization of $(\mathcal{I}, \mathcal{J})$-regular matrices

abstract: Let $\mathcal{I},\mathcal{J}$ be two ideals on $\mathbf{N}$ which contain the family $\mathrm{Fin}$ of finite sets. We provide necessary and sufficient conditions on the entries of an infinite real matrix $A=(a_{n,k})$ which maps $\mathcal{I}$-convergent bounded sequences into $\mathcal{J}$-convergent bounded sequences and preserves the corresponding ideal limits. The well-known characterization of regular matrices due to Silverman--Toeplitz corresponds to the case $\mathcal{I}=\mathcal{J}=\mathrm{Fin}$. Lastly, we provide some applications to permutation and diagonal matrices, which extend several known results in the literature.


title: Unsupervised Embedding of Hierarchical Structure in Euclidean Space

abstract: Deep embedding methods have influenced many areas of unsupervised learning. However, the best methods for learning hierarchical structure use non-Euclidean representations, whereas Euclidean geometry underlies the theory behind many hierarchical clustering algorithms. To bridge the gap between these two areas, we consider learning a non-linear embedding of data into Euclidean space as a way to improve the hierarchical clustering produced by agglomerative algorithms. To learn the embedding, we revisit using a variational autoencoder with a Gaussian mixture prior, and we show that rescaling the latent space embedding and then applying Ward's linkage-based algorithm leads to improved results for both dendrogram purity and the Moseley-Wang cost function. Finally, we complement our empirical results with a theoretical explanation of the success of this approach. We study a synthetic model of the embedded vectors and prove that Ward's method exactly recovers the planted hierarchical clustering with high probability.


title: Generating Radiology Reports via Memory-driven Transformer

abstract: Medical imaging is frequently used in clinical practice and trials for diagnosis and treatment. Writing imaging reports is time-consuming and can be error-prone for inexperienced radiologists. Therefore, automatically generating radiology reports is highly desired to lighten the workload of radiologists and accordingly promote clinical automation, which is an essential task to apply artificial intelligence to the medical domain. In this paper, we propose to generate radiology reports with memory-driven Transformer, where a relational memory is designed to record key information of the generation process and a memory-driven conditional layer normalization is applied to incorporating the memory into the decoder of Transformer. Experimental results on two prevailing radiology report datasets, IU X-Ray and MIMIC-CXR, show that our proposed approach outperforms previous models with respect to both language generation metrics and clinical evaluations. Particularly, this is the first work reporting the generation results on MIMIC-CXR to the best of our knowledge. Further analyses also demonstrate that our approach is able to generate long reports with necessary medical terms as well as meaningful image-text attention mappings.


title: Analysis of doorway states in a graphene structure

abstract: Doorway states, which are related to the strength function phenomenon and giant resonances, arise when two systems interact, one with a high density eigenvalue spectrum and the other with a comparatively low density. These concepts, first studied in nuclear physics in the 40's, are here analyzed from a theoretical point of view in special and simple graphene structures, obtained after applying appropriate voltages to a graphene sheet. The influence of the doorway states on the electronic transport in these systems is also studied. To analyze these effects we consider a two-dimensional model of two potential barriers of equal height but very different widths separated by a well.


title: Multi-Core Processor Scheduling with Respect to Data Bus Bandwidth

abstract: The paper considers the problem of scheduling software modules on a multi-core processor, taking into account the limited bandwidth of the data bus and the precedence constraints. Two problem formulations with different levels of problem-specific detail are suggested and both shown to be NP-hard. A mixed integer linear programming (MILP) model is proposed for the first problem formulation, and a greedy algorithm is developed for the second one. An experimental comparison of the results of the greedy algorithm and the MILP solutions found by CPLEX solver is carried out.


title: Bridging Text and Knowledge with Multi-Prototype Embedding for Few-Shot Relational Triple Extraction

abstract: Current supervised relational triple extraction approaches require huge amounts of labeled data and thus suffer from poor performance in few-shot settings. However, people can grasp new knowledge by learning a few instances. To this end, we take the first step to study the few-shot relational triple extraction, which has not been well understood. Unlike previous single-task few-shot problems, relational triple extraction is more challenging as the entities and relations have implicit correlations. In this paper, We propose a novel multi-prototype embedding network model to jointly extract the composition of relational triples, namely, entity pairs and corresponding relations. To be specific, we design a hybrid prototypical learning mechanism that bridges text and knowledge concerning both entities and relations. Thus, implicit correlations between entities and relations are injected. Additionally, we propose a prototype-aware regularization to learn more representative prototypes. Experimental results demonstrate that the proposed method can improve the performance of the few-shot triple extraction.


title: Ultranarrow spectral line of the radiation in double qubit-cavity ultrastrong coupling system

abstract: The ultrastrongly coupling (USC) system has very important research significance in quantum simulation and quantum computing. In this paper, the ultranarrow spectrum of a circuit QED system with two qubits ultrastrongly coupled to a single-mode cavity is studied. In the regime of USC, the JC model breaks down and the counter-rotating terms in the quantum Rabi Hamiltonian leads to the level anti-crossing in the energy spectrum. Choosing a single-photon driving field at the point of avoided-level crossing, we can get an equivalent four-level dressed state model, in which the dissipation of the two intermediate states is only related to the qubits decay. Due to the electron shelving of these two metastable states, a narrow peak appears in the cavity emission spectrum. Furthermore, we find that the physical origin for the spectral narrowing is the vacuum-induced quantum interference between two transition pathways. And this interference effect couples the slowly decaying incoherent components of the density matrix into the equations of the sidebands. This result provides a possibility for the study of quantum interference effect in the USC system.


title: Evaluation: from precision, recall and F-measure to ROC, informedness, markedness and correlation

abstract: Commonly used evaluation measures including Recall, Precision, F-Measure and Rand Accuracy are biased and should not be used without clear understanding of the biases, and corresponding identification of chance or base case levels of the statistic. Using these measures a system that performs worse in the objective sense of Informedness, can appear to perform better under any of these commonly used measures. We discuss several concepts and measures that reflect the probability that prediction is informed versus chance. Informedness and introduce Markedness as a dual measure for the probability that prediction is marked versus chance. Finally we demonstrate elegant connections between the concepts of Informedness, Markedness, Correlation and Significance as well as their intuitive relationships with Recall and Precision, and outline the extension from the dichotomous case to the general multi-class case.


title: The pulsating white dwarf G117-B15A: still the most stable optical clock known

abstract: The pulsating hydrogen atmosphere white dwarf star G 117-B15A has been observed since 1974. Its main pulsation period at 215.19738823(63) s, observed in optical light curves, varies by only (5.12+/-0.82)x10^{-15} s/s and shows no glitches, as pulsars do. The observed rate of period change corresponds to a change of the pulsation period by 1 s in 6.2 million years. We demonstrate that this exceptional optical clock can continue to put stringent limits on fundamental physics, such as constraints on interaction from hypothetical dark matter particles, as well as to search for the presence of external substellar companions.


title: Do Users Care about Ad's Performance Costs? Exploring the Effects of the Performance Costs of In-App Ads on User Experience

abstract: Context: In-app advertising is the primary source of revenue for many mobile apps. The cost of advertising (ad cost) is non-negligible for app developers to ensure a good user experience and continuous profits. Previous studies mainly focus on addressing the hidden performance costs generated by ads, including consumption of memory, CPU, data traffic, and battery. However, there is no research onanalyzing users' perceptions of ads' performance costs to our knowledge. Objective: To fill this gap and better understand the effects of performance costs of in-app ads on user experience, we conduct a study on analyzing user concerns about ads' performance costs. Method: First, we propose RankMiner, an approach to quantify user concerns about specific appissues, including performance costs. Then, based on the usage traces of 20 subject apps, we measure the performance costs of ads. Finally, we conduct correlation analysis on the performance costs and quantified user concerns to explore whether users complain more for higher performance costs. Results: Our findings include the following: (1) RankMiner can quantify users' concerns better than baselines by an improvement of 214% and 2.5% in terms of Pearson correlation coefficient (a metricfor computing correlations between two variables) and NDCG score (a metric for computing accuracyin prioritizing issues), respectively. (2) The performance costs of the with-ads versions are statistically significantly larger than those of no-ads versions with negligible effect size; (3) Users are moreconcerned about the battery costs of ads, and tend to be insensitive to ads' data traffic costs. Conclusion: Our study is complementary to previous work on in-app ads, and can encourage devel-opers to pay more attention to alleviating the most user-concerned performance costs, such as battery cost.


title: A 20 Gbps Data Transmitting ASIC with PAM4 for Particle Physics Experiments

abstract: We present the design principle and test results of a data transmitting ASIC, GBS20, for particle physics experiments. The goal of GBS20 will be an ASIC that employs two serializers each from the 10.24 Gbps lpGBT SerDes, sharing the PLL also from lpGBT. A PAM4 encoder plus a VCSEL driver will be implemented in the same die to use the same clock system, eliminating the need of CDRs in the PAM4 encoder. This way the transmitter module, GBT20, developed using the GBS20 ASIC, will have the exact lpGBT data interface and transmission protocol, with an output up to 20.48 Gbps over one fiber. With PAM4 embedded FPGAs at the receiving end, GBT20 will halve the fibers needed in a system and better use the input bandwidth of the FPGA. A prototype, GBS20v0 is fabricated using a commercial 65 nm CMOS technology. This prototype has two serializers and a PAM4 encoder sharing the lpGBT PLL, but no user data input. An internal PRBS generator provides data to the serializers. GBS20v0 is tested barely up to 20.48 Gbps. With lessons learned from this prototype, we are designing the second prototype, GBS20v1, that will have 16 user data input channels each at 1.28 Gbps. We present the design concept of the GBS20 ASIC and the GBT20 module, the preliminary test results, and lessons learned from GBS20v0 and the design of GBS20v1 which will be not only a test chip but also a user chip with 16 input data channels.


title: A Stochastic Maximum Principle for Forward-backward Stochastic Control Systems with Quadratic Generators and Sample-wise Constraints

abstract: This paper examines the stochastic maximum principle (SMP) for a forward-backward stochastic control system where the backward state equation is characterized by the backward stochastic differential equation (BSDE) with quadratic growth and the forward state at the terminal time is constrained in a convex set with probability one. With the help of the theory of BSDEs with quadratic growth and the bounded mean oscillation (BMO) martingales, we employ the terminal perturbation approach and Ekeland's variational principle to obtain a dynamic stochastic maximum principle. The main result has a wide range of applications in mathematical finance and we investigate a robust recursive utility maximization problem with bankruptcy prohibition as an example.


title: Atomic spin-wave control and spin-dependent kicks with shaped subnanosecond pulses

abstract: The absorption of traveling photons resonant with electric dipole transitions of an atomic gas naturally leads to electric dipole spin wave excitations. For a number of applications, it would be highly desirable to shape and coherently control the spatial waveform of the spin waves before spontaneous emission can occur. This paper details a recently developed optical control technique to achieve this goal, where counter-propagating, shaped sub-nanosecond pulses impart sub-wavelength geometric phases to the spin waves by cyclically driving an auxiliary transition. In particular, we apply this technique to reversibly shift the wave vector of a spin wave on the $D2$ line of laser-cooled $^{87}$Rb atoms, by driving an auxiliary $D1$ transition with shape-optimized pulses, so as to shut off and recall superradiance on demand. We investigate a spin-dependent momentum transfer during the spin-wave control process, which leads to a transient optical force as large as $\sim 1\hbar k$/ns, and study the limitations to the achieved $70\sim 75\%$ spin wave control efficiency by jointly characterizing the spin-wave control and matterwave acceleration. Aided by numerical modeling, we project potential future improvements of the control fidelity to the $99\%$ level when the atomic states are better prepared and by equipping a faster and more powerful pulse shaper. Our technique also enables a background-free measurement of the superradiant emission to unveil the precise scaling of the emission intensity and decay rate with optical depth.


title: Spin and mass currents near a moving magnetic obstacle in a two-component Bose-Einstein condensate

abstract: We study the spatial distributions of the spin and mass currents generated by a moving Gaussian magnetic obstacle in a symmetric, two-component Bose-Einstein condensate in two dimensions. We analytically describe the current distributions for a slow obstacle and show that the spin and the mass currents exhibit characteristic spatial structures resembling those of electromagnetic fields around dipole moments. When the obstacle's velocity increases, we numerically observe that the flow pattern maintains its overall structure while the spin polarization induced by the obstacle is enhanced with an increased spin current. We investigate the critical velocity of the magnetic obstacle based on the local criterion of Landau energetic instability and find that it decreases almost linearly as the magnitude of the obstacle's potential increases, which can be directly tested in current experiments.


title: Logic-guided Semantic Representation Learning for Zero-Shot Relation Classification

abstract: Relation classification aims to extract semantic relations between entity pairs from the sentences. However, most existing methods can only identify seen relation classes that occurred during training. To recognize unseen relations at test time, we explore the problem of zero-shot relation classification. Previous work regards the problem as reading comprehension or textual entailment, which have to rely on artificial descriptive information to improve the understandability of relation types. Thus, rich semantic knowledge of the relation labels is ignored. In this paper, we propose a novel logic-guided semantic representation learning model for zero-shot relation classification. Our approach builds connections between seen and unseen relations via implicit and explicit semantic representations with knowledge graph embeddings and logic rules. Extensive experimental results demonstrate that our method can generalize to unseen relation types and achieve promising improvements.


title: A 10 Gbps Driver/Receiver ASIC and Optical Modules for Particle Physics Experiments

abstract: We present the design and test results of a Drivers and Limiting AmplifierS ASIC operating at 10 Gbps (DLAS10) and three Miniature Optical Transmitter/Receiver/Transceiver modules (MTx+, MRx+, and MTRx+) based on DLAS10. DLAS10 can drive two Transmitter Optical Sub-Assemblies (TOSAs) of Vertical Cavity Surface Emitting Lasers (VCSELs), receive the signals from two Receiver Optical Sub-Assemblies (ROSAs) that have no embedded limiting amplifiers, or drive a VCSEL TOSA and receive the signal from a ROSA, respectively. Each channel of DLAS10 consists of an input Continuous Time Linear Equalizer (CTLE), a four-stage limiting amplifier (LA), and an output driver. The LA amplifies the signals of variable levels to a stable swing. The output driver drives VCSELs or impedance-controlled traces. DLAS10 is fabricated in a 65 nm CMOS technology. The die is 1 mm x 1 mm. DLAS10 is packaged in a 4 mm x 4 mm 24-pin quad-flat no-leads (QFN) package. DLAS10 has been tested in MTx+, MRx+, and MTRx+ modules. Both measured optical and electrical eye diagrams pass the 10 Gbps eye mask test. The input electrical sensitivity is 40 mVp-p, while the input optical sensitivity is -12 dBm. The total jitter of MRx+ is 29 ps (P-P) with a random jitter of 1.6 ps (RMS) and a deterministic jitter of 9.9 ps. Each MTx+/MTRx+ module consumes 82 mW/ch and 174 mW/ch, respectively.


title: Parasite infection in a cell population with deaths

abstract: We introduce a general class of branching Markov processes for the modelling of a parasite infection in a cell population. Each cell contains a quantity of parasites which evolves as a diffusion with positive jumps. The growth rate, diffusive function and positive jump rate of this quantity of parasites depend on its current value. The division rate of the cells also depends on the quantity of parasites they contain. At division, a cell gives birth to two daughter cells and shares its parasites between them. Cells may also die, at a rate which may depend on the quantity of parasites they contain. We study the long time behaviour of the parasite infection. In particular, we are interested in the quantity of parasites in a `typical' cell and on the survival of the cell population. We specifically focus on the influence of two parameters on the probability for the cell population to survive and/or contain the parasite infection: the law of the sharing of the parasites between the daughter cells at division and the form of the division and death rates of the cells as functions of the quantity of parasites they contain.


title: T-vectors: Weakly Supervised Speaker Identification Using Hierarchical Transformer Model

abstract: Identifying multiple speakers without knowing where a speaker's voice is in a recording is a challenging task. This paper proposes a hierarchical network with transformer encoders and memory mechanism to address this problem. The proposed model contains a frame-level encoder and segment-level encoder, both of them make use of the transformer encoder block. The multi-head attention mechanism in the transformer structure could better capture different speaker properties when the input utterance contains multiple speakers. The memory mechanism used in the frame-level encoders can build a recurrent connection that better capture long-term speaker features. The experiments are conducted on artificial datasets based on the Switchboard Cellular part1 (SWBC) and Voxceleb1 datasets. In different data construction scenarios (Concat and Overlap), the proposed model shows better performance comparaing with four strong baselines, reaching 13.3% and 10.5% relative improvement compared with H-vectors and S-vectors. The use of memory mechanism could reach 10.6% and 7.7% relative improvement compared with not using memory mechanism.


title: Disorder-induced superconductor to insulator transition and finite phase stiffness in two-dimensional phase-glass models

abstract: We study numerically the superconductor to insulator transition in two-dimensional phase-glass (or chiral-glass) models with varying degree of disorder. These models describe the effects of gauge disorder in superconductors due to random negative Josephson-junction couplings, or $\pi$ junctions. Two different models are considered, with binary and Gaussian distribution of quenched disorder, having nonzero mean. Monte Carlo simulations in the path-integral representation are used to determine the phase diagram and critical exponents. In addition to the usual superconducting and insulating phases, a chiral-glass phase occurs for sufficiently large disorder, with random local circulating currents of different chiralities. A transition from superconductor to insulator can take place via the intermediate chiral-glass phase. We find, however, that the chiral-glass state has a finite phase stiffness, being still a superconductor, instead of the Bose metal, which has been suggested by mean-field theory.


title: CNN based Multistage Gated Average Fusion (MGAF) for Human Action Recognition Using Depth and Inertial Sensors

abstract: Convolutional Neural Network (CNN) provides leverage to extract and fuse features from all layers of its architecture. However, extracting and fusing intermediate features from different layers of CNN structure is still uninvestigated for Human Action Recognition (HAR) using depth and inertial sensors. To get maximum benefit of accessing all the CNN's layers, in this paper, we propose novel Multistage Gated Average Fusion (MGAF) network which extracts and fuses features from all layers of CNN using our novel and computationally efficient Gated Average Fusion (GAF) network, a decisive integral element of MGAF. At the input of the proposed MGAF, we transform the depth and inertial sensor data into depth images called sequential front view images (SFI) and signal images (SI) respectively. These SFI are formed from the front view information generated by depth data. CNN is employed to extract feature maps from both input modalities. GAF network fuses the extracted features effectively while preserving the dimensionality of fused feature as well. The proposed MGAF network has structural extensibility and can be unfolded to more than two modalities. Experiments on three publicly available multimodal HAR datasets demonstrate that the proposed MGAF outperforms the previous state of the art fusion methods for depth-inertial HAR in terms of recognition accuracy while being computationally much more efficient. We increase the accuracy by an average of 1.5 percent while reducing the computational cost by approximately 50 percent over the previous state of the art.


title: Volumetric Medical Image Segmentation: A 3D Deep Coarse-to-fine Framework and Its Adversarial Examples

abstract: Although deep neural networks have been a dominant method for many 2D vision tasks, it is still challenging to apply them to 3D tasks, such as medical image segmentation, due to the limited amount of annotated 3D data and limited computational resources. In this chapter, by rethinking the strategy to apply 3D Convolutional Neural Networks to segment medical images, we propose a novel 3D-based coarse-to-fine framework to efficiently tackle these challenges. The proposed 3D-based framework outperforms their 2D counterparts by a large margin since it can leverage the rich spatial information along all three axes. We further analyze the threat of adversarial attacks on the proposed framework and show how to defense against the attack. We conduct experiments on three datasets, the NIH pancreas dataset, the JHMI pancreas dataset and the JHMI pathological cyst dataset, where the first two and the last one contain healthy and pathological pancreases respectively, and achieve the current state-of-the-art in terms of Dice-Sorensen Coefficient (DSC) on all of them. Especially, on the NIH pancreas segmentation dataset, we outperform the previous best by an average of over $2\%$, and the worst case is improved by $7\%$ to reach almost $70\%$, which indicates the reliability of our framework in clinical applications.


title: On the $\Delta$-property for complex space forms

abstract: Inspired by the work of Z. Lu and G. Tian [8], A. Loi, F. Salis and F. Zuddas address in [5] the problem of studying those K\"ahler manifolds satisfying the $\Delta$-property, i.e. such that on a neighborhood of each of its points the $k$-th power of the K\"ahler Laplacian is a polynomial function of the complex Euclidean Laplacian, for all positive integer $k$. In particular, they conjectured that if a K\"ahler manifold satisfies the $\Delta$-property then it is a complex space form. This paper is dedicated to the proof of the validity of this conjecture.


title: Finding Efficient Domination for $S_{1,1,5}$-Free Bipartite Graphs in Polynomial Time

abstract: A vertex set $D$ in a finite undirected graph $G$ is an {\em efficient dominating set} (e.d.s.\ for short) of $G$ if every vertex of $G$ is dominated by exactly one vertex of $D$. The \emph{Efficient Domination} (ED) problem, which asks for the existence of an e.d.s.\ in $G$, is \NP-complete for various $H$-free bipartite graphs, e.g., Lu and Tang showed that ED is \NP-complete for chordal bipartite graphs and for planar bipartite graphs; actually, ED is \NP-complete even for planar bipartite graphs with vertex degree at most 3 and girth at least $g$ for every fixed $g$. Thus, ED is \NP-complete for $K_{1,4}$-free bipartite graphs and for $C_4$-free bipartite graphs. In this paper, we show that ED can be solved in polynomial time for $S_{1,1,5}$-free bipartite graphs.


title: Distinguished varieties in a family of domains associated with spectral interpolation and operator theory

abstract: We find characterization for the distinguished varieties in the symmetrized polydisc $\mathbb G_n \; (n\geq 2)$ and thus generalize the work [\textit{J. Funct. Anal.}, 266 (2014), 5779 -- 5800] on $\mathbb G_2$ by the author and Shalit. We show that a distinguished variety $\Lambda$ in $\mathbb G_n$ is a part of an algebraic curve, which is a set-theoretic complete intersection, and that $\Lambda$ can be represented by the Taylor joint spectrum of $n-1$ commuting scalar matrices satisfying certain conditions. An $n$-tuple of commuting Hilbert space operators $(S_1, \dots ,S_{n-1},P)$ for which $\Gamma_n=\overline{\mathbb G_n}$ is a spectral set is called a $\Gamma_n$-contraction. To every $\Gamma_n$-contraction $(S_1, \dots ,S_{n-1},P)$ there is a unique operator tuple $(F_1, \dots , F_{n-1})$, called the $\mathcal F_O$-tuple of $(S_1, \dots ,S_{n-1},P)$, satisfying \[ S_i-S_{n-i}^*P=D_PF_iD_P \,,\quad i=1, \dots ,n-1. \] We produce concrete functional model for the pure isometric-operator tuples associated with $\Gamma_n$ and by an application of that model we establish that the $\Gamma_n$-contractions $(S_1, \dots ,S_{n-1},P)$ and $(S_1^*, \dots , S_{n-1}^*,P^*)$ admit normal $\partial \overline{ \Lambda}_{\Sigma}-$dilations for a unique distinguished variety $\Lambda_{\Sigma}$ in $\mathbb G_n$, when $\Lambda_{\Sigma}$ is determined by the $\mathcal F_O$-tuple of $(S_1, \dots ,S_{n-1}, P)$. Further, we show that the dilation of $(S_1^*, \dots ,S_{n-1}^*,P^*)$ is minimal and acts on the minimal unitary dilation space of $P^*$. Also, we show interplay between the distinguished varieties in $\mathbb G_2$ and $\mathbb G_{3}$.


title: LIFI: Towards Linguistically Informed Frame Interpolation

abstract: In this work, we explore a new problem of frame interpolation for speech videos. Such content today forms the major form of online communication. We try to solve this problem by using several deep learning video generation algorithms to generate the missing frames. We also provide examples where computer vision models despite showing high performance on conventional non-linguistic metrics fail to accurately produce faithful interpolation of speech. With this motivation, we provide a new set of linguistically-informed metrics specifically targeted to the problem of speech videos interpolation. We also release several datasets to test computer vision video generation models of their speech understanding.


title: Asteroid-Meteoroid Complexes

abstract: This is an overview of recent research on meteors and the parent bodies from which they are produced. While many meteor showers result from material ejected by comets, two out of the three strongest annual showers (the Geminids and the Quadrantids) are associated with objects whose physical properties are apparently those of asteroids. In the last decades dynamical and observational studies have confirmed the existence of a number of Asteroid-Meteoroid Complexes, comprising streams and several macroscopic, split fragments. Spectroscopy of meteor showers has been utilized to investigate the perihelion-dependent thermal alteration while in interplanetary space. In this chapter, we review characteristics of the complexes, including those of some minor streams. The scientific interest is to trace the physical and dynamical properties of the complexes back to the evolutionary pathways to learn about the variety of production processes of meteoroids to form streams. We also discuss open questions in the field for the next decade.


title: Exact WKB analysis of the vacuum pair production by time-dependent electric fields

abstract: We study the vacuum pair production by a time-dependent strong electric field based on the exact WKB analysis. We identify the generic structure of a Stokes graph for systems with the vacuum pair production and show that the number of produced pairs is given by a product of connection matrices for Stokes segments connecting pairs of turning points. We derive an explicit formula for the number of produced pairs, assuming the semi-classical limit. The obtained formula can be understood as a generalization of the divergent asymptotic series method by Berry, and is consistent with other semi-classical methods such as the worldline instanton method and the steepest descent evaluation of the Bogoliubov coefficients done by Brezin and Izykson. We also use the formula to discuss effects of time-dependence of the applied strong electric field including the interplay between the perturbative multi-photon pair production and non-peturbative Schwinger mechanism, and the dynamically assisted Schwinger mechanism.