title: GateKeeper-GPU: Fast and Accurate Pre-Alignment Filtering in Short Read Mapping

abstract: At the last step of short read mapping, the candidate locations of the reads on the reference genome are verified to compute their differences from the corresponding reference segments using sequence alignment algorithms. Calculating the similarities and differences between two sequences is still computationally expensive since approximate string matching techniques traditionally inherit dynamic programming algorithms with quadratic time and space complexity. We introduce GateKeeper-GPU, a fast and accurate pre-alignment filter that efficiently reduces the need for expensive sequence alignment. GateKeeper-GPU provides two main contributions: first, improving the filtering accuracy of GateKeeper (a lightweight pre-alignment filter), and second, exploiting the massive parallelism provided by the large number of GPU threads of modern GPUs to examine numerous sequence pairs rapidly and concurrently. By reducing the work, GateKeeper-GPU provides an acceleration of 2.9x to sequence alignment and up to 1.4x speedup to the end-to-end execution time of a comprehensive read mapper (mrFAST). GateKeeper-GPU is available at https://github.com/BilkentCompGen/GateKeeper-GPU.


title: Dynamic Information Sharing and Punishment Strategies

abstract: In this paper we study the problem of information sharing among rational self-interested agents as a dynamic game of asymmetric information. We assume that the agents imperfectly observe a Markov chain and they are called to decide whether they will share their noisy observations or not at each time instant. We utilize the notion of conditional mutual information to evaluate the information being shared among the agents. The challenges that arise due to the inter-dependence of agents' information structure and decision-making are exhibited. For the finite horizon game we prove that agents do not have incentive to share information. In contrast, we show that cooperation can be sustained in the infinite horizon case by devising appropriate punishment strategies which are defined over the agents' beliefs on the system state. We show that these strategies are closed under the best-response mapping and that cooperation can be the optimal choice in some subsets of the state belief simplex. We characterize these equilibrium regions, prove uniqueness of a maximal equilibrium region and devise an algorithm for its approximate computation.


title: A Notion of Entropy for Causal Fermion Systems

abstract: A notion of entropy is introduced for causal fermion systems. This entropy is a measure of the state of disorder of a causal fermion system at a given time compared to the vacuum. The definition is given both in the finite and infinite-dimensional settings. General properties of the entropy are analyzed.


title: $\mathcal{H}$-matrix approximability of inverses of FEM matrices for the time-harmonic Maxwell equations

abstract: The inverse of the stiffness matrix of the time-harmonic Maxwell equation with perfectly conducting boundary conditions is approximated in the blockwise low-rank format of ${\mathcal H}$-matrices. We prove that root exponential convergence in the block rank can be achieved if the block structure conforms to a standard admissibility criterion.


title: Zeeman term for the N\'eel vector in a two sublattice antiferromagnet using Dzyaloshinsky-Moriya interaction and magnetic field

abstract: We theoretically investigate the dynamics of solitons in two sublattice antiferromagnets under external perturbations, focusing on the effect of Dzyaloshinsky-Moriya (DM) interactions. To this end, we construct a micromagnetic field theory for the antiferromagnet in the presence of the external magnetic field, DM interaction, and spin-transfer torque. In particular, we show external magnetic field and spin current couple to N\'eel vector in a Zeeman-like manner when DM interactions present, which can be used to efficiently drive antiferromagnetic solitons of different dimensions. Besides, we study the effect of straining the local lattice. It can serve as an external handle on the N\'eel field inertia and thus dynamical properties. Our findings may find applications in antiferromagnetic spintronics.


title: Going Deeper Into Face Detection: A Survey

abstract: Face detection is a crucial first step in many facial recognition and face analysis systems. Early approaches for face detection were mainly based on classifiers built on top of hand-crafted features extracted from local image regions, such as Haar Cascades and Histogram of Oriented Gradients. However, these approaches were not powerful enough to achieve a high accuracy on images of from uncontrolled environments. With the breakthrough work in image classification using deep neural networks in 2012, there has been a huge paradigm shift in face detection. Inspired by the rapid progress of deep learning in computer vision, many deep learning based frameworks have been proposed for face detection over the past few years, achieving significant improvements in accuracy. In this work, we provide a detailed overview of some of the most representative deep learning based face detection methods by grouping them into a few major categories, and present their core architectural designs and accuracies on popular benchmarks. We also describe some of the most popular face detection datasets. Finally, we discuss some current challenges in the field, and suggest potential future research directions.


title: Realistic face animation generation from videos

abstract: 3D face reconstruction and face alignment are two fundamental and highly related topics in computer vision. Recently, some works start to use deep learning models to estimate the 3DMM coefficients to reconstruct 3D face geometry. However, the performance is restricted due to the limitation of the pre-defined face templates. To address this problem, some end-to-end methods, which can completely bypass the calculation of 3DMM coefficients, are proposed and attract much attention. In this report, we introduce and analyse three state-of-the-art methods in 3D face reconstruction and face alignment. Some potential improvement on PRN are proposed to further enhance its accuracy and speed.


title: A Tale of Two Representations: Energy and Time in Photoabsorption

abstract: This essay is based on a talk at Advances in Atomic, Molecular, and Optical Sciences 2020 (AAMOS20) in a symposium honoring Prof. S. T. Manson's decades-long contribution to photoabsorption studies. Quantum physics introduced into physics pairs of conjugate quantities bearing a specific complementary relationship, energy and time being one such pair. This gives rise to two alternative representations, a time-dependent and a time-independent one, seemingly very different but both capable of embracing the same physics. They give complementary descriptions and insight, with technical questions, theoretical and experimental, determining which may be the more convenient and practicable at any juncture. Two recent topics, Cooper minima in photoabsorption in Cl$^-$ and Ar, and angular-momentum barrier tunneling of $f$ photoelectrons from Se in WSe$_2$, provide illustrative examples, also of the role that technological developments over the past five decades played in our approach to and understanding of phenomena.


title: Generating Negations of Probability Distributions

abstract: Recently it was introduced a negation of a probability distribution. The need for such negation arises when a knowledge-based system can use the terms like NOT HIGH, where HIGH is represented by a probability distribution (pd). For example, HIGH PROFIT or HIGH PRICE can be considered. The application of this negation in Dempster-Shafer theory was considered in many works. Although several negations of probability distributions have been proposed, it was not clear how to construct other negations. In this paper, we consider negations of probability distributions as point-by-point transformations of pd using decreasing functions defined on [0,1] called negators. We propose the general method of generation of negators and corresponding negations of pd, and study their properties. We give a characterization of linear negators as a convex combination of Yager and uniform negators.


title: Quadratic Convergence of Smoothing Newton's Method for 0/1 Loss Optimization

abstract: It has been widely recognized that the 0/1 loss function is one of the most natural choices for modelling classification errors, and it has a wide range of applications including support vector machines and 1-bit compressed sensing. Due to the combinatorial nature of the 0/1 loss function, methods based on convex relaxations or smoothing approximations have dominated the existing research and are often able to provide approximate solutions of good quality. However, those methods are not optimizing the 0/1 loss function directly and hence no optimality has been established for the original problem. This paper aims to study the optimality conditions of the 0/1 function minimization, and for the first time to develop Newton's method that directly optimizes the 0/1 function with a local quadratic convergence under reasonable conditions. Extensive numerical experiments demonstrate its superior performance as one would expect from Newton-type methods.ions. Extensive numerical experiments demonstrate its superior performance as one would expect from Newton-type methods.


title: NMRPy: a novel NMR scripting system to implement artificial intelligence and advanced applications

abstract: Background: Software is an important windows to offer a variety of complex instrument control and data processing for nuclear magnetic resonance (NMR) spectrometer. NMR software should allow researchers to flexibly implement various functionality according to the requirement of applications. Scripting system can offer an open environment for NMR users to write custom programs with basic libraries. Emerging technologies, especially multivariate statistical analysis and artificial intelligence, have been successfully applied to NMR applications such as metabolomics and biomacromolecules. Scripting system should support more complex NMR libraries, which will enable the emerging technologies to be easily implemented in the scripting environment. Result: Here, a novel NMR scripting system named "NMRPy" is introduced. In the scripting system, both Java based NMR methods and original CPython based libraries are supported. A module was built as a bridge to integrate the runtime environment of Java and CPython. It works as an extension in CPython environment, as well as interacts with Java part by Java Native Interface. Leveraging the bridge, Java based instrument control and data processing methods can be called as a CPython style. Compared with traditional scripting system, NMRPy is easier for NMR researchers to develop complex functionality with fast numerical computation, multivariate statistical analysis, deep learning etc. Non-uniform sampling and protein structure prediction methods based on deep learning can be conveniently integrated into NMRPy. Conclusion: NMRPy offers a user-friendly environment to implement custom functionality leveraging its powerful basic NMR and rich CPython libraries. NMR applications with emerging technologies can be easily integrated. The scripting system is free of charge and can be downloaded by visiting http://www.spinstudioj.net/nmrpy.


title: Structural Characterization of Many-Particle Systems on Approach to Hyperuniform States

abstract: We explore quantitative descriptors that herald when a many-particle system in $d$-dimensional Euclidean space $\mathbb{R}^d$ approaches a hyperuniform state as a function of the relevant control parameter. We establish quantitative criteria to ascertain the extent of hyperuniform and nonhyperuniform distance-scaling regimes n terms of the ratio $B/A$, where $A$ is "volume" coefficient and $B$ is "surface-area" coefficient associated with the local number variance $\sigma^2(R)$ for a spherical window of radius $R$. To complement the known direct-space representation of the coefficient $B$ in terms of the total correlation function $h({\bf r})$, we derive its corresponding Fourier representation in terms of the structure factor $S({\bf k})$, which is especially useful when scattering information is available experimentally or theoretically. We show that the free-volume theory of the pressure of equilibrium packings of identical hard spheres that approach a strictly jammed state either along the stable crystal or metastable disordered branch dictates that such end states be exactly hyperuniform. Using the ratio $B/A$, the hyperuniformity index $H$ and the direct-correlation function length scale $\xi_c$, we study three different exactly solvable models as a function of the relevant control parameter, either density or temperature, with end states that are perfectly hyperuniform. We analyze equilibrium hard rods and "sticky" hard-sphere systems in arbitrary space dimension $d$ as a function of density. We also examine low-temperature excited states of many-particle systems interacting with "stealthy" long-ranged pair interactions as the temperature tends to zero. The capacity to identify hyperuniform scaling regimes should be particularly useful in analyzing experimentally- or computationally-generated samples that are necessarily of finite size.


title: Effective GPU Parallelization of Distributed and Localized Model Predictive Control

abstract: To effectively control large-scale distributed systems online, model predictive control (MPC) has to swiftly solve the underlying high-dimensional optimization. There are multiple techniques applied to accelerate the solving process in the literature, mainly attributed to software-based algorithmic advancements and hardware-assisted computation enhancements. However, those methods focus on arithmetic accelerations and overlook the benefits of the underlying system's structure. In particular, the existing decoupled software-hardware algorithm design that naively parallelizes the arithmetic operations by the hardware does not tackle the hardware overheads such as CPU-GPU and thread-to-thread communications in a principled manner. Also, the advantages of parallelizable subproblem decomposition in distributed MPC are not well recognized and exploited. As a result, we have not reached the full potential of hardware acceleration for MPC. In this paper, we explore those opportunities by leveraging GPU to parallelize the distributed and localized MPC (DLMPC) algorithm. We exploit the locality constraints embedded in the DLMPC formulation to reduce the hardware-intrinsic communication overheads. Our parallel implementation achieves up to 50x faster runtime than its CPU counterparts under various parameters. Furthermore, we find that the locality-aware GPU parallelization could halve the optimization runtime comparing to the naive acceleration. Overall, our results demonstrate the performance gains brought by software-hardware co-design with the information exchange structure in mind.


title: Graph Unlearning

abstract: Machine unlearning is a process of removing the impact of some training data from the machine learning (ML) models upon receiving removal requests. While straightforward and legitimate, retraining the ML model from scratch incurs a high computational overhead. To address this issue, a number of approximate algorithms have been proposed in the domain of image and text data, among which SISA is the state-of-the-art solution. It randomly partitions the training set into multiple shards and trains a constituent model for each shard. However, directly applying SISA to the graph data can severely damage the graph structural information, and thereby the resulting ML model utility. In this paper, we propose GraphEraser, a novel machine unlearning framework tailored to graph data. Its contributions include two novel graph partition algorithms and a learning-based aggregation method. We conduct extensive experiments on five real-world graph datasets to illustrate the unlearning efficiency and model utility of GraphEraser. It achieves 2.06$\times$ (small dataset) to 35.94$\times$ (large dataset) unlearning time improvement. On the other hand, GraphEraser achieves up to $62.5\%$ higher F1 score and our proposed learning-based aggregation method achieves up to $112\%$ higher F1 score.\footnote{Our code is available at \url{https://github.com/MinChen00/Graph-Unlearning}.}


title: On the Hierarchical Community Structure of Practical Boolean Formulas

abstract: Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap between practice and theory is a central problem in solver research. It is believed that SAT solvers exploit structure inherent in industrial instances, and hence there have been numerous attempts over the last 25 years at characterizing this structure via parameters. These can be classified as rigorous, i.e., they serve as a basis for complexity-theoretic upper bounds (e.g., backdoors), or correlative, i.e., they correlate well with solver run time and are observed in industrial instances (e.g., community structure). Unfortunately, no parameter proposed to date has been shown to be both strongly correlative and rigorous over a large fraction of industrial instances. Given the sheer difficulty of the problem, we aim for an intermediate goal of proposing a set of parameters that is strongly correlative and has good theoretical properties. Specifically, we propose parameters based on a graph partitioning called Hierarchical Community Structure (HCS), which captures the recursive community structure of a graph of a Boolean formula. We show that HCS parameters are strongly correlative with solver run time using an Empirical Hardness Model, and further build a classifier based on HCS parameters that distinguishes between easy industrial and hard random/crafted instances with very high accuracy. We further strengthen our hypotheses via scaling studies. On the theoretical side, we show that counterexamples which plagued community structure do not apply to HCS, and that there is a subset of HCS parameters such that restricting them limits the size of embeddable expanders.


title: (p, q)-Frame measures on LCA groups: Perturbations and Construction

abstract: Motivated to generalize the Fourier frame concept to Banach spaces we introduce (p, q)-Bessel/frame measures for a given finite measure on LCA groups. We also present a general way of constructing (p, q)-Bessel/frame measures for a given measure. Moreover, we prove that if a measure has an associated (p, q)-frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. Next, we show that if the measures $\mu$ and $\lambda$ without atoms whose supports form a packing pair, then $\mu\ast\lambda+\delta_g\ast\mu$ does not admit any (p, q)-frame measure. Finally, we analyze the stability of (p, q)-frame measures under small perturbations. We prove new theorems concerning the stability of (p, q)-frame measures under perturbation in both Hilbert spaces and Banach spaces.


title: Two-Stage Clustering of Human Preferences for Action Prediction in Assembly Tasks

abstract: To effectively assist human workers in assembly tasks a robot must proactively offer support by inferring their preferences in sequencing the task actions. Previous work has focused on learning the dominant preferences of human workers for simple tasks largely based on their intended goal. However, people may have preferences at different resolutions: they may share the same high-level preference for the order of the sub-tasks but differ in the sequence of individual actions. We propose a two-stage approach for learning and inferring the preferences of human operators based on the sequence of sub-tasks and actions. We conduct an IKEA assembly study and demonstrate how our approach is able to learn the dominant preferences in a complex task. We show that our approach improves the prediction of human actions through cross-validation. Lastly, we show that our two-stage approach improves the efficiency of task execution in an online experiment, and demonstrate its applicability in a real-world robot-assisted IKEA assembly.


title: Thermal transmittance prediction based on the application of artificial neural networks on heat flux method results

abstract: Deep energy renovation of building stock came more into focus in the European Union due to energy efficiency related directives. Many buildings that must undergo deep energy renovation are old and may lack design/renovation documentation, or possible degradation of materials might have occurred in building elements over time. Thermal transmittance (i.e. U-value) is one of the most important parameters for determining the transmission heat losses through building envelope elements. It depends on the thickness and thermal properties of all the materials that form a building element. In-situ U-value can be determined by ISO 9869-1 standard (Heat Flux Method - HFM). Still, measurement duration is one of the reasons why HFM is not widely used in field testing before the renovation design process commences. This paper analyzes the possibility of reducing the measurement time by conducting parallel measurements with one heat-flux sensor. This parallelization could be achieved by applying a specific class of the Artificial Neural Network (ANN) on HFM results to predict unknown heat flux based on collected interior and exterior air temperatures. After the satisfying prediction is achieved, HFM sensor can be relocated to another measuring location. Paper shows a comparison of four ANN cases applied to HFM results for a measurement held on one multi-layer wall - multilayer perceptron with three neurons in one hidden layer, long short-term memory with 100 units, gated recurrent unit with 100 units and combination of 50 long short-term memory units and 50 gated recurrent units. The analysis gave promising results in term of predicting the heat flux rate based on the two input temperatures. Additional analysis on another wall showed possible limitations of the method that serves as a direction for further research on this topic.


title: Secure quantum communication through a wormhole

abstract: An accumulation of theoretical evidence contribute to the picture of gravity as a manifestation of quantum entanglement in a certain many-body quantum system. This is in particular expresses in the ER=EPR conjecture, which relates gravitational Einstein-Rosen (ER) bridge with the Einstein-Podolsky-Rosen (EPR) quantum entangled pairs or, more generally, with the so-called Thermofield Double State. In this letter, the ER=EPR conjecture is employed to introduce unitary quantum teleportation protocol, which \emph{recycles} the entanglement forming traversable generalization of the Einstein-Rosen bridge. In consequence, the wormhole remains unaffected by the quantum teleportation. Furthermore, it is shown that the protocol guarantees the unconditional security of the quantum communication. Performance of the protocol is demonstrated in a simple setting with the use of 5-qubit Santiago IBM quantum computer, giving fidelities above the $2/3$ classical limit for a representative set of teleported states. Security of the protocol has been supported by experimental studies performed with the use of the noisy quantum processor. Possible generalization of the protocol, which may have relevance in the context of macroscopic gravitational configurations, is also considered.


title: Type $C$ Webs

abstract: We define a $\mathbb{C}(q)$-linear pivotal category $\mathbf{Web}(\mathfrak{sp}_{2n})$ and prove that it is equivalent to the full subcategory of finite-dimensional representations of $U_q(\mathfrak{sp}_{2n})$ tensor-generated by the fundamental representations. This answers the type $C$ case of the main open problem from Kuperberg's 1996 paper "Spiders for rank 2 Lie algebras" (arXiv:q-alg/9712003).


title: Tensor Networks for Multi-Modal Non-Euclidean Data

abstract: Modern data sources are typically of large scale and multi-modal natures, and acquired on irregular domains, which poses serious challenges to traditional deep learning models. These issues are partially mitigated by either extending existing deep learning algorithms to irregular domains through graphs, or by employing tensor methods to alleviate the computational bottlenecks imposed by the Curse of Dimensionality. To simultaneously resolve both these issues, we introduce a novel Multi-Graph Tensor Network (MGTN) framework, which leverages on the desirable properties of graphs, tensors and neural networks in a physically meaningful and compact manner. This equips MGTNs with the ability to exploit local information in irregular data sources at a drastically reduced parameter complexity, and over a range of learning paradigms such as regression, classification and reinforcement learning. The benefits of the MGTN framework, especially its ability to avoid overfitting through the inherent low-rank regularization properties of tensor networks, are demonstrated through its superior performance against competing models in the individual tensor, graph, and neural network domains.


title: Entanglement Spheres and a UV-IR connection in Effective Field Theories

abstract: We show that long-distance quantum correlations probe short-distance physics. Two disjoint regions of the latticized, massless scalar field vacuum are numerically demonstrated to become separable at distances beyond the negativity sphere, which extends to infinity in the continuum limit. The size of this quantum coherent volume is determined by the highest momentum mode supported in the identical regions, each of diameter $d$. More generally, effective field theories (EFTs), describing a system up to a given momentum scale $\Lambda$, are expected to share this feature -- entanglement between regions of the vacuum depends upon the UV-completion beyond a separation proportional to $\Lambda$. Through calculations extended to three-dimensions, the magnitude of the negativity at which entanglement becomes sensitive to UV physics in an EFT (lattice or otherwise) is conjectured to scale as $\sim e^{-\Lambda d}$, independent of the number of spatial dimensions. It is concluded that two-region vacuum entanglement at increasing separations depends upon the structure of the theory at increasing momentum scales. This phenomenon may be manifest in perturbative QCD processes.


title: General fractional integrals and derivatives of arbitrary order

abstract: In this paper, we introduce the general fractional integrals and derivatives of arbitrary order and study some of their basic properties and particular cases. First, a suitable generalization of the Sonine condition is presented and some important classes of the kernels that satisfy this condition are introduced. Whereas the kernels of the general fractional derivatives with these kernels possess the integrable singularities at the point zero, the kernels of the general fractional integrals can be - depending on their order - both singular and continuous at the origin. For the general fractional integrals and derivatives of arbitrary order with the kernels introduced in this paper, two fundamental theorems of fractional calculus are formulated and proved.


title: Global and local synaptic regulation determine the stability of homeostatic plasticity

abstract: Neurons regulate the distribution of signaling components across an extended tree-like cellular structure using both local and global feedback control. This is hypothesized to allow homeostatic control of the electrical activity of a neuron and at the same time enable normalization of distribution of inputs received from other cells. The performance and robustness of these mechanisms are poorly understood, and are subject to nonlinearities, making their analysis difficult. Firstly, we formally show that global homeostasis of electrical activity and local activity-dependent degradation can coexist under sufficient timescale separation. The interplay of the two feedback mechanisms is also analyzed through simulations, which reveal a bidirectional effect (stabilizing and destabilizing) of activity-dependent degradation on the overall neuron performance.


title: Three-dimensional transformable modular kirigami based programmable architected materials

abstract: Metamaterials achieve unprecedented properties from designed architected structures. However, they are often constructed from a single repeating building block that exhibits monotonic shape changes with single degree of freedom, thereby leading to specific spatial forms and limited reconfigurability. Here we introduce a transformable three-dimensional modular kirigami with multiple degrees of freedom that could reconfigure into versatile distinct daughter building blocks. Consequently, the combinatorial and spatial modular assembly of these building blocks could create a wealth of reconfigurable architected materials with diverse structures and unique properties, including reconfigurable 1D periodic column-like materials with bifurcated states, 2D lattice-like architected materials with phase transition of chirality, as well as 3D quasiperiodic yet frustration-free multilayered architected materials in a long-range order with programmable deformation modes. Our strategy opens an avenue to design a new class of modular reconfigurable metamaterials that are reprogrammable and reusable for potential multifunctionality in architectural, phononic, mechanical, and robotic applications.


title: Counterexamples for high-degree generalizations of the Schr\"odinger maximal operator

abstract: In 1980 Carleson posed a question on the minimal regularity of an initial data function in a Sobolev space $H^s(\mathbb{R}^n)$ that implies pointwise convergence for the solution of the linear Schr\"odinger equation. After progress by many authors, this was recently resolved (up to the endpoint) by Bourgain, whose counterexample construction for the Schr\"odinger maximal operator proved a necessary condition on the regularity, and Du and Zhang, who proved a sufficient condition. Analogues of Carleson's question remain open for many other dispersive PDE's. We develop a flexible new method to approach such problems, and prove that for any integer $k\geq 2$, if a degree $k$ generalization of the Schr\"odinger maximal operator is bounded from $H^s(\mathbb{R}^n)$ to $L^1(B_n(0,1))$, then $s \geq \frac{1}{4} + \frac{n-1}{4((k-1)n+1)}.$ In dimensions $n \geq 2$, for every degree $k \geq 3$, this is the first result that exceeds a long-standing barrier at $1/4$. Our methods are number-theoretic, and in particular apply the Weil bound, a consequence of the truth of the Riemann Hypothesis over finite fields.


title: eXtended Artificial Intelligence: New Prospects of Human-AI Interaction Research

abstract: Artificial Intelligence (AI) covers a broad spectrum of computational problems and use cases. Many of those implicate profound and sometimes intricate questions of how humans interact or should interact with AIs. Moreover, many users or future users do have abstract ideas of what AI is, significantly depending on the specific embodiment of AI applications. Human-centered-design approaches would suggest evaluating the impact of different embodiments on human perception of and interaction with AI. An approach that is difficult to realize due to the sheer complexity of application fields and embodiments in reality. However, here XR opens new possibilities to research human-AI interactions. The article's contribution is twofold: First, it provides a theoretical treatment and model of human-AI interaction based on an XR-AI continuum as a framework for and a perspective of different approaches of XR-AI combinations. It motivates XR-AI combinations as a method to learn about the effects of prospective human-AI interfaces and shows why the combination of XR and AI fruitfully contributes to a valid and systematic investigation of human-AI interactions and interfaces. Second, the article provides two exemplary experiments investigating the aforementioned approach for two distinct AI-systems. The first experiment reveals an interesting gender effect in human-robot interaction, while the second experiment reveals an Eliza effect of a recommender system. Here the article introduces two paradigmatic implementations of the proposed XR testbed for human-AI interactions and interfaces and shows how a valid and systematic investigation can be conducted. In sum, the article opens new perspectives on how XR benefits human-centered AI design and development.


title: Strategically-Motivated Advanced Persistent Threat: Definition, Process, Tactics and a Disinformation Model of Counterattack

abstract: Advanced persistent threat (APT) is widely acknowledged to be the most sophisticated and potent class of security threat. APT refers to knowledgeable human attackers that are organized, highly sophisticated and motivated to achieve their objectives against a targeted organization(s) over a prolonged period. Strategically-motivated APTs or S-APTs are distinct in that they draw their objectives from the broader strategic agenda of third parties such as criminal syndicates, nation-states, and rival corporations. In this paper we review the use of the term - Advanced Persistent Threat - and present a formal definition. We then draw on military science, the science of organized conflict, for a theoretical basis to develop a rigorous and holistic model of the stages of an APT operation which we subsequently use to explain how S-APTs execute their strategically motivated operations using tactics, techniques and procedures. Finally, we present a general disinformation model, derived from situation awareness theory, and explain how disinformation can be used to attack the situation awareness and decision making of not only S-APT operators, but also the entities that back them.


title: Extensions and crossed modules of $n$-Lie Rinehart algebras

abstract: We introduce a notion of $n$-Lie Rinehart algebras as a generalization of Lie Rinehart algebras to $n$-ary case. This notion is also an algebraic analogue of $n$-Lie algebroids. We develop representation theory and describe a cohomology complex of $n$-Lie Rinehart algebras. Furthermore, we investigate extension theory of $n$-Lie Rinehart algebras by means of $2$-cocycles. Finally, we introduce crossed modules of $n$-Lie Rinehart algebras to gain a better understanding of their third dimensional cohomology groups.


title: Universal tradeoff relation between speed, uncertainty, and dissipation in nonequilibrium stationary states

abstract: We derive universal thermodynamic inequalities that bound from below the moments of first-passage times of stochastic currents in nonequilibrium stationary states of Markov jump processes in the limit where the thresholds that define the first-passage problem are large. These inequalities describe a tradeoff between speed, uncertainty, and dissipation in nonequilibrium processes, which are quantified, respectively, with the moments of the first-passage times of stochastic currents, the splitting probability, and the mean entropy production rate. Near equilibrium, the inequalities imply that mean first-passage times are lower bounded by the Van't Hoff-Arrhenius law, whereas far from thermal equilibrium the bounds describe a universal speed limit for rate processes. When the current is the stochastic entropy production, then the bounds are equalities, a remarkable property that follows from the fact that the exponentiated negative entropy production is a martingale.


title: Deep Learning Schemes For Parabolic Nonlocal Integro-Differential Equations

abstract: In this paper we consider the numerical approximation of nonlocal integro differential parabolic equations via neural networks. These equations appear in many recent applications, including finance, biology and others, and have been recently studied in great generality starting from the work of Caffarelli and Silvestre. Based in the work by Hure, Pham and Warin, we generalize their Euler scheme and consistency result for Backward Forward Stochastic Differential Equations to the nonlocal case. We rely on L\`evy processes and a new neural network approximation of the nonlocal part to overcome the lack of a suitable good approximation of the nonlocal part of the solution.


title: Unclonable Encryption, Revisited

abstract: Unclonable encryption, introduced by Broadbent and Lord (TQC'20), is an encryption scheme with the following attractive feature: given a ciphertext, an adversary cannot create two ciphertexts both of which decrypt to the same message as the original ciphertext. We revisit this notion and show the following: - Reusability: The constructions proposed by Broadbent and Lord have the disadvantage that they either guarantee one-time security (that is, the encryption key can only be used once to encrypt the message) in the plain model or they guaranteed security in the random oracle model. We construct unclonable encryption schemes with semantic security. We present two constructions (for public-key and private-key settings) from minimal cryptographic assumptions. - Lower Bound and Generalized Construction: We revisit the information-theoretic one-time secure construction of Broadbent and Lord. The success probability of the adversary in their construction was guaranteed to be $0.85^n$, where $n$ is the length of the message. It was interesting to understand whether the ideal success probability of (negligibly close to) $0.5^n$ was unattainable. We generalize their construction to be based on a broader class of monogamy of entanglement games. We demonstrate a simple cloning attack that succeeds with probability $0.71^n$ against a class of schemes including that of Broadbent and Lord. We also present a $0.75^n$ cloning attack exclusively against their scheme. - Implication to Copy-Protection: We show that unclonable encryption, satisfying a stronger property, called unclonable-indistinguishability (defined by Broadbent and Lord), implies copy-protection for a simple class of unlearnable functions. While we currently don't have encryption schemes satisfying this stronger property, this implication demonstrates a new path to construct copy-protection.


title: On the Stability of Nonlinear Receding Horizon Control: A Geometric Perspective

abstract: %!TEX root = LCSS_main_max.tex The widespread adoption of nonlinear Receding Horizon Control (RHC) strategies by industry has led to more than 30 years of intense research efforts to provide stability guarantees for these methods. However, current theoretical guarantees require that each (generally nonconvex) planning problem can be solved to (approximate) global optimality, which is an unrealistic requirement for the derivative-based local optimization methods generally used in practical implementations of RHC. This paper takes the first step towards understanding stability guarantees for nonlinear RHC when the inner planning problem is solved to first-order stationary points, but not necessarily global optima. Special attention is given to feedback linearizable systems, and a mixture of positive and negative results are provided. We establish that, under certain strong conditions, first-order solutions to RHC exponentially stabilize linearizable systems. Surprisingly, these conditions can hold even in situations where there may be \textit{spurious local minima.} Crucially, this guarantee requires that state costs applied to the planning problems are in a certain sense `compatible' with the global geometry of the system, and a simple counter-example demonstrates the necessity of this condition. These results highlight the need to rethink the role of global geometry in the context of optimization-based control.


title: A colimit presentation of $\mathcal{D}(G(K))$ via the Bott-Samelson hypercover

abstract: Let $G$ be a semisimple, simply connected algebraic group over an algebraically closed field of characteristic zero. We prove that the $\infty$-category of D-modules on the loop group of $G$ is equivalent to the monoidal colimit of the $\infty$-categories of D-modules on the standard parahoric subgroups. This also follows from arXiv:2009.10998, but the present paper gives a simpler proof. The idea is to develop a combinatorial model for the path space of a simplicial complex, in which 'paths' are sequences of adjacent simplices, and to use a generalized version of hyperdescent for D-modules. We also give two more applications of this hyperdescent theorem: triviality of D-modules on the 'schematic Bruhat-Tits building,' which was first established by Varshavsky using a different method, and triviality of D-modules on the `simplicial affine Springer resolution.'


title: On the linear stability of $\ell$-boson stars with respect to radial perturbations

abstract: In previous work we constructed new boson star solutions consisting of a family of massive complex scalar fields minimally coupled to gravity in which the individual fields have angular momentum, yet the configuration as a whole is static and spherically symmetric. In the present article we study the linear stability of these $\ell$-boson stars with respect to time-dependent, radial perturbations. The pulsation equations, governing the dynamics of such perturbations are derived, generalizing previous work initiated by M. Gleiser, and shown to give rise to a two-channel Schr\"odinger operator. Using standard tools from the literature, we show that for each fixed value $\ell$ of the angular momentum number, there exists a family of $\ell$-boson stars which are linearly stable with respect to radial fluctuations; in this case the perturbations oscillate in time with given characteristic frequencies which are computed and compared with the results from a nonlinear numerical simulation. Further, there is also a family of $\ell$-boson stars which are linearly unstable. The two families are separated by the configuration with maximum mass. These results are qualitatively similar to the corresponding stability results of the standard boson stars with $\ell=0$, and they imply the existence of new stable configurations that are more massive and compact than usual boson stars.


title: Naturally Light Dirac Neutrinos from $SO(10) \times U(1)_\psi$

abstract: A new solution is presented where the right-handed neutrino $\nu_R$ in $SO(10)$ pairs up with $\nu_L$ to form a naturally light Dirac neutrino. It is based on the framework of $E_6 \to SO(10) \times U(1)_\psi$, then $SO(10) \to SU(5) \times U(1)_\chi$.


title: Observation of intermolecular Coulombic decay in liquid water

abstract: We report the first observation of intermolecular Coulombic decay (ICD) in liquid water following inner-valence ionization. By combining a monochromatized table-top high-harmonic source with a liquid micro-jet, we recorded electron-electron coincidence spectra at two photon energies that identify the ICD electrons, together with the photoelectrons originating from the 2a1 inner-valence band of liquid water. Our results confirm the importance of ICD as a source of low-energy electrons in bulk liquid water and provide quantitative results for modeling the velocity distribution of the slow electrons that are thought to dominate radiation damage in aqueous environments.


title: Sliding vectors, line bivectors, and torque

abstract: This paper is a modern exposition of old ideas. The setting is a Euclidian space $E$ of dimension $n$ with associated vector space $V$ of dimension $n$. A (non-zero) sliding vector is a vector in $V$ that is free to move, but only within a line $L$ of $E$. The set of sliding vectors has dimension $2n-1$. This set is naturally embedded in a vector space of dimension ${n +1 \choose 2}$. An element of this vector space will be called a line bivector. Other terms used in applications are screw and wrench. There is a nice description of line bivectors in terms of Grassmann algebra in a projective representation. It is shown that this abstract description has a concrete realization in terms of moment functions from $E$ to bivectors over $V$. The literature in physics and engineering mainly deals with the special case $n=3$. The results of the paper apply in this case and to its most common application, where the vectors in $V$ represent force and the bivectors over $V$ represent torque. It concludes with a discussion of duality, such as that of force and velocity or of torque and angular velocity.


title: Hundreds of weak lensing shear-selected clusters from the Hyper Suprime-Cam Subaru Strategic Program S19A data

abstract: We use the Hyper Suprime-Cam Subaru Strategic Program S19A shape catalog to construct weak lensing shear-selected cluster samples. From aperture mass maps covering $\sim 510$~deg$^2$ created using a truncated Gaussian filter, we construct a catalog of 187 shear-selected clusters that correspond to mass map peaks with the signal-to-noise ratio larger than 4.7. Most of the shear-selected clusters have counterparts in optically-selected clusters, from which we estimate the purity of the catalog to be higher than 95\%. The sample can be expanded to 418 shear-selected clusters with the same signal-to-noise ratio cut by optimizing the shape of the filter function and by combining weak lensing mass maps created with several different background galaxy selections. We argue that dilution and obscuration effects of cluster member galaxies can be mitigated by using background source galaxy samples and adopting the filter function with its inner boundary larger than about $2'$. The large samples of shear-selected clusters that are selected without relying on any baryonic tracer are useful for detailed studies of cluster astrophysics and cosmology.


title: H-GAN: the power of GANs in your Hands

abstract: We present HandGAN (H-GAN), a cycle-consistent adversarial learning approach implementing multi-scale perceptual discriminators. It is designed to translate synthetic images of hands to the real domain. Synthetic hands provide complete ground-truth annotations, yet they are not representative of the target distribution of real-world data. We strive to provide the perfect blend of a realistic hand appearance with synthetic annotations. Relying on image-to-image translation, we improve the appearance of synthetic hands to approximate the statistical distribution underlying a collection of real images of hands. H-GAN tackles not only the cross-domain tone mapping but also structural differences in localized areas such as shading discontinuities. Results are evaluated on a qualitative and quantitative basis improving previous works. Furthermore, we relied on the hand classification task to claim our generated hands are statistically similar to the real domain of hands.


title: Confidence Intervals for Seroprevalence

abstract: This paper concerns the construction of confidence intervals in standard seroprevalence surveys. In particular, we discuss methods for constructing confidence intervals for the proportion of individuals in a population infected with a disease using a sample of antibody test results and measurements of the test's false positive and false negative rates. We begin by documenting erratic behavior in the coverage probabilities of standard Wald and percentile bootstrap intervals when applied to this problem. We then consider two alternative sets of intervals constructed with test inversion. The first set of intervals are approximate, using either asymptotic or bootstrap approximation to the finite-sample distribution of a chosen test statistic. We consider several choices of test statistic, including maximum likelihood estimators and generalized likelihood ratio statistics. We show with simulation that, at empirically relevant parameter values and sample sizes, the coverage probabilities for these intervals are close to their nominal level and are approximately equi-tailed. The second set of intervals are shown to contain the true parameter value with probability at least equal to the nominal level, but can be conservative in finite samples.


title: Forced ignition of laminar premixed spherical flames in evaporating fuel droplet mists

abstract: This study aims to build a theoretical model to describe the ignition process of spherical spray flame laden with fuel droplets under overall fuel-lean condition. Two characteristic fronts are introduced to reveal where the evaporation starts and ends in the ignition process. The results demonstrate that the flame has been strengthened with extra fuel droplet adding while the minimum ignition energy (MIE) is decreased. The evolution of the two evaporation fronts in the flame kernel and propagating branches has also be revealed coupled with the evaporation zone length.


title: Interlayer-Exciton Based Nonvolatile Valleytronic Memory

abstract: Analogous to conventional charge-based electronics, valleytronics aims at encoding data via the valley degree of freedom, enabling new routes for information processing. Long-lived interlayer excitons (IXs) in van der Waals heterostructures (HSs) stacked by transition metal dichalcogenides (TMDs) carry valley-polarized information and thus could find promising applications in valleytronic devices. Although great progress of studies on valleytronic devices has been achieved, nonvolatile valleytronic memory, an indispensable device in valleytronics, is still lacking up to date. Here, we demonstrate an IX-based nonvolatile valleytronic memory in a WS2/WSe2 HS. In this device, the emission characteristics of IXs exhibit a large excitonic/valleytronic hysteresis upon cyclic-voltage sweeping, which is ascribed to the chemical-doping of O2/H2O redox couple trapped between the TMDs and substrate. Taking advantage of the large hysteresis, the first nonvolatile valleytronic memory has been successfully made, which shows a good performance with retention time exceeding 60 minutes. These findings open up an avenue for nonvolatile valleytronic memory and could stimulate more investigations on valleytronic devices.


title: Encoding strongly-correlated many-boson wavefunctions on a photonic quantum computer: application to the attractive Bose-Hubbard model

abstract: Variational quantum algorithms (VQA) are considered as some of the most promising methods to determine the properties of complex strongly correlated quantum many-body systems, especially from the perspective of devices available in the near term. In this context, the development of efficient quantum circuit ansatze to encode a many-body wavefunction is one of the keys for the success of a VQA. Great efforts have been invested to study the potential of current quantum devices to encode the eigenstates of fermionic systems, but little is known about the encoding of bosonic systems. In this work, we investigate the encoding of the ground state of the (simple but rich) attractive Bose-Hubbard model using a Continuous-Variable (CV) photonic-based quantum circuit. We introduce two different ansatz architectures and demonstrate that the proposed continuous variable quantum circuits can efficiently encode (with a fidelity higher than 99%) the strongly correlated many-boson wavefunction with just a few layers, in all many-body regimes and for different number of bosons and initial states. Beyond the study of the suitability of the ansatz to approximate the ground states of many-boson systems, we also perform initial evaluations of the use of the ansatz in a variational quantum eigensolver algorithm to find it through energy minimization. To this end we also introduce a scheme to measure the Hamiltonian energy in an experimental system, and study the effect of sampling noise.


title: 'Just because you are right, doesn't mean I am wrong': Overcoming a Bottleneck in the Development and Evaluation of Open-Ended Visual Question Answering (VQA) Tasks

abstract: GQA~\citep{hudson2019gqa} is a dataset for real-world visual reasoning and compositional question answering. We found that many answers predicted by the best vision-language models on the GQA dataset do not match the ground-truth answer but still are semantically meaningful and correct in the given context. In fact, this is the case with most existing visual question answering (VQA) datasets where they assume only one ground-truth answer for each question. We propose Alternative Answer Sets (AAS) of ground-truth answers to address this limitation, which is created automatically using off-the-shelf NLP tools. We introduce a semantic metric based on AAS and modify top VQA solvers to support multiple plausible answers for a question. We implement this approach on the GQA dataset and show the performance improvements. Code and data are available in this link \url{https://github.com/luomancs/alternative_answer_set.git}.


title: Nonparametric tests for treatment effect heterogeneity in observational studies

abstract: We consider the problem of testing for treatment effect heterogeneity in observational studies, and propose a nonparametric test based on multisample U-statistics. To account for potential confounders, we use reweighted data where the weights are determined by estimated propensity scores. The proposed method does not require any parametric assumptions on the outcomes and bypasses the need for modeling the treatment effect for each study subgroup. We establish the asymptotic normality for the test statistic, and demonstrate its superior numerical performance over several competing approaches via simulation studies. Two real data applications including an employment program evaluation study and a mental health study of China's one-child policy are also discussed.


title: MT-lib: A Topology-aware Message Transfer Library for Graph500 on Supercomputers

abstract: We present MT-lib, an efficient message transfer library for messages gather and scatter in benchmarks like Graph500 for Supercomputers. Our library includes MST version as well as new-MST version. The MT-lib is deliberately kept light-weight, efficient and friendly interfaces for massive graph traverse. MST provides (1) a novel non-blocking communication scheme with sending and receiving messages asynchronously to overlap calculation and communication;(2) merging messages according to the target process for reducing communication overhead;(3) a new communication mode of gathering intra-group messages before forwarding between groups for reducing communication traffic. In MT-lib, there are (1) one-sided message; (2) two-sided messages; and (3) two-sided messages with buffer, in which dynamic buffer expansion is built for messages delivery. We experimented with MST and then testing Graph500 with MST on Tianhe supercomputers. Experimental results show high communication efficiency and high throughputs for both BFS and SSSP communication operations.


title: On Hallucination and Predictive Uncertainty in Conditional Language Generation

abstract: Despite improvements in performances on different natural language generation tasks, deep neural models are prone to hallucinating facts that are incorrect or nonexistent. Different hypotheses are proposed and examined separately for different tasks, but no systematic explanations are available across these tasks. In this study, we draw connections between hallucinations and predictive uncertainty in conditional language generation. We investigate their relationship in both image captioning and data-to-text generation and propose a simple extension to beam search to reduce hallucination. Our analysis shows that higher predictive uncertainty corresponds to a higher chance of hallucination. Epistemic uncertainty is more indicative of hallucination than aleatoric or total uncertainties. It helps to achieve better results of trading performance in standard metric for less hallucination with the proposed beam search variant.


title: Invariant algebras of matrices and symmetric polynomials of partitions

abstract: For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite, $1$-Auslander-Gorenstein, and gendo-symmetric algebra, and that the extension $S_n(c,R)\subseteq M_n(R)$ is separable and Frobenius. Further, we study the isomorphism problem of invariant matrix algebras. Let $\sigma$ be a permutation in the symmetric group $\Sigma_n$ and $c_{\sigma}$ the corresponding permutation matrix in $M_n(R)$. We give sufficient and necessary conditions for the invariant algebra $S_n(c_{\sigma},R)$ to be semisimple. If $R$ is an algebraically closed field, we establish a combinatoric characterization of when two semisimple invariant $R$-algebras are isomorphic in terms of the cycle types of permutations.


title: Noise Injection-based Regularization for Point Cloud Processing

abstract: Noise injection-based regularization, such as Dropout, has been widely used in image domain to improve the performance of deep neural networks (DNNs). However, efficient regularization in the point cloud domain is rarely exploited, and most of the state-of-the-art works focus on data augmentation-based regularization. In this paper, we, for the first time, perform systematic investigation on noise injection-based regularization for point cloud-domain DNNs. To be specific, we propose a series of regularization techniques, namely DropFeat, DropPoint and DropCluster, to perform noise injection on the point feature maps at the feature level, point level and cluster level, respectively. We also empirically analyze the impacts of different factors, including dropping rate, cluster size and dropping position, to obtain useful insights and general deployment guidelines, which can facilitate the adoption of our approaches across different datasets and DNN architectures. We evaluate our proposed approaches on various DNN models for different point cloud processing tasks. Experimental results show our approaches enable significant performance improvement. Notably, our DropCluster brings 1.5%, 1.3% and 0.8% higher overall accuracy for PointNet, PointNet++ and DGCNN, respectively, on ModelNet40 shape classification dataset. On ShapeNet part segmentation dataset, DropCluster brings 0.5%, 0.5% and 0.2% mean Intersection-over-union (IoU) increase for PointNet, PointNet++ and DGCNN, respectively. On S3DIS semantic segmentation dataset, DropCluster improves the mean IoU of PointNet, PointNet++ and DGCNN by 3.2%, 2.9% and 3.7%, respectively. Meanwhile, DropCluster also enables the overall accuracy increase for these three popular backbone DNNs by 2.4%, 2.2% and 1.8%, respectively.


title: A portable and flexible implementation of the Wang--Landau algorithm in order to determine the Density of States

abstract: In this work we develop an implementation of the Wang--Landau algorithm [Phys. Rev. Lett. \textbf{86}, 2050-2053 (2001)]. This algorithm allows us to find the density of states (DOS), a function that, for a given system, describes the proportion of states that have a certain energy. The implementation uses the Python language for the algorithm itself, and it can take advantage of any library, such as the powerful LAMMPS library, for the computation of energy. Therefore, the resulting implementation is simple and flexible without sacrificing efficiency. This implementation also considers recent developments in the parallelization of the code for faster computation. We establish the soundness and effectiveness of our implementation by studying well-known systems such as the Ising model, the Lennard--Jones and EAM solids. We have found that our implementation can find the DOS with very good precision in a reasonable amount of time. Therefore, we are equipped with a very powerful and flexible implementation that can be easily used in order to study more realistic models of matter.


title: Magnetically Arrested Disks in Quiescent Black-Hole Binaries: Formation Scenario, Observable Signatures, and Potential PeVatrons

abstract: We propose magnetically arrested disks (MADs) in quiescent black-hole (BH) binaries as the origin of the multiwavelength emission, and argue that this class of sources can dominate the cosmic-ray spectrum around the knee. X-ray luminosities of Galactic BH binaries in the quiescent state are far below the Eddington luminosity, and thus, radiatively inefficient accretion flows (RIAFs) are formed in the inner region. Strong thermal and turbulent pressures in RIAFs produce outflows, which can create large-scale poloidal magnetic fields. These fields are carried to the vicinity of the BH by the rapid inflow motion, forming a MAD. Inside the MAD, non-thermal protons and electrons are naturally accelerated by magnetic reconnections or stochastic acceleration by turbulence. Both thermal and non-thermal electrons emit broadband photons via synchrotron emission, which are broadly consistent with the optical and X-ray data of the quiescent BH X-ray binaries. Moreover, protons are accelerated up to PeV energies and diffusively escape from these MADs, which can account for the cosmic-ray intensity around the knee energy.


title: On the inductive blockwise Alperin weight condition for the unipotent blocks of finite groups of Lie type E_6

abstract: In this article, we consider the finite exceptional groups of Lie type $E_6$ and $^2E_6$. We prove the inductive blockwise Alperin weight condition holds for unipotent $l$-blocks of $E_6^{\varepsilon}(q)$ if $2,3\nmid q$, $l\geq 5$


title: Quasi-two-body $B_{(s)}\to V \pi\pi$ Decays with Resonance $f_0(980)$ in PQCD Approach

abstract: Motivated by the measurements of branching fractions of the quasi-two-body decays $B^0\to K^{*0}(f_0(980)\to )\pi^+\pi^-$ and $B^0\to \rho^0(f_0(980)\to )\pi^+\pi^-$, we study the charmless $B\to V (f_0(980)\to ) \pi^+\pi^-$ decays in the perturbative QCD approach. Supposing that $f_0(980)$ is a two-quark state and mixture of $n\bar n=(u\bar u+d\bar d)/\sqrt 2$ and $s\bar s$ with the mixing angle $\theta$, we calculate the branching fractions of these decays with the new introduced $s$-wave $\pi^+\pi^-$-pair wave function. When the mixing angle $\theta$ lies in the range $[135^{\circ}, 155^{\circ}]$, the calculated branching fractions of the $B^0\to K^{*0}f_0(980)\to K^{*0}\pi^+\pi^-$ and $B^0\to \rho^0f_0(980)\to \rho^0\pi^+\pi^-$ decays are in agreement with the experimental data. The branching fractions of other decays could be measured in the current LHCb and Belle II experiments. Considering the isospin symmetry, we also estimate the branching fractions of the quasi-two-body decays $B\to Vf_0(980)\to V\pi^0\pi^0$, which are half of those the corresponding decays $B\to Vf_0(980)\to V\pi^+\pi^-$. Moreover, the direct $CP$ asymmetries of these decays are also calculated, and some of them can be tested in the current experiments.


title: Why is neural connection weight a weak predictor of correlated neural activity?

abstract: As the field of connectomics has matured, it has expanded from mapping the existence of connections between brain components to measuring the strength of connections. This information is increasingly accessible via methodologies such as pairing functional magnetic resonance (MR) imaging and MR tractography in the same human subject, as well as novel methods in non-human animals using optogenetics. Systems and network neuroscience have in recent years focused extensively on explaining correlation patterns of functional activity in the brain in terms of the degree of connectedness of brain components, the so-called functional connectivity-structural connectivity relationship (SC-FC). What has been surprising has been how low the SC-FC correlations are. Why is it that brain parts that are more well-connected appear not to engender more correlated activity between them? Several explanations have been proposed but one possibility has not been considered: perhaps more neural activity doesn't imply more functional involvement. This article examines this possibility and proposes a new general framework for understanding brain network dynamics based on the design constraints of large-scale network communication systems. With this new perspective, we may start to answer the article's main question, and perhaps others.


title: On the equivalence of contraction and Koopman approaches for nonlinear stability and control

abstract: In this paper we prove new connections between two frameworks for analysis and control of nonlinear systems: the Koopman operator framework and contraction analysis. Each method, in different ways, provides exact and global analyses of nonlinear systems by way of linear systems theory. The main results of this paper show equivalence between contraction and Koopman approaches for a wide class of stability analysis and control design problems. In particular: stability or stablizability in the Koopman framework implies the existence of a contraction metric (resp. control contraction metric) for the nonlinear system. Further in certain cases the converse holds: contraction implies the existence of a set of observables with which stability can be verified via the Koopman framework. We provide results for the cases of autonomous and time-varying systems, as well as orbital stability of limit cycles. Furthermore, the converse claims are based on a novel relation between the Koopman method and construction of a Kazantzis-Kravaris-Luenberger observer. We also provide a byproduct of the main results, that is, a new method to learn contraction metrics from trajectory data via linear system identification.


title: Accurate Assessment via Process Data

abstract: Accurate assessment of students' ability is the key task of a test. Assessments based on final responses are the standard. As the infrastructure advances, substantially more information is observed. One of such instances is the process data that is collected by computer-based interactive items, which contain a student's detailed interactive processes. In this paper, we show both theoretically and empirically that appropriately including such information in the assessment will substantially improve relevant assessment precision. The precision is measured empirically by out-of-sample test reliability.


title: Community Detection in General Hypergraph via Graph Embedding

abstract: Conventional network data has largely focused on pairwise interactions between two entities, yet multi-way interactions among multiple entities have been frequently observed in real-life hypergraph networks. In this article, we propose a novel method for detecting community structure in general hypergraph networks, uniform or non-uniform. The proposed method introduces a null vertex to augment a non-uniform hypergraph into a uniform multi-hypergraph, and then embeds the multi-hypergraph in a low-dimensional vector space such that vertices within the same community are close to each other. The resultant optimization task can be efficiently tackled by an alternative updating scheme. The asymptotic consistencies of the proposed method are established in terms of both community detection and hypergraph estimation, which are also supported by numerical experiments on some synthetic and real-life hypergraph networks.


title: External Correlates of Adult Digital Problem-Solving Behavior: Log Data Analysis of a Large-Scale Assessment

abstract: Using the action sequence data (i.e., log data) from the problem-solving in technology-rich environments assessment on the 2012 Programme for the International Assessment of Adult Competencies survey, the current study examines the associations between adult digital problem-solving behavior and several demographic and cognitive variables. Action sequence features extracted using multidimensional scaling (Tang, Wang, He, Liu, & Ying, 2019) and sequence-to-sequence autoencoders (Tang, Wang, Liu, & Ying, 2019) were used to predict test-taker external characteristics. Features extracted from action sequences were consistently found to contain more information on demographic and cognitive characteristics than final scores. Partial least squares analyses further revealed systematic associations between behavioral patterns and demographic/cognitive characteristics.


title: StreamTable: An Area Proportional Visualization for Tables with Flowing Streams

abstract: Let $M$ be a two-dimensional table with each cell weighted by a nonzero positive number. A StreamTable visualization of $M$ represents the columns as non-overlapping vertical streams and the rows as horizontal stripes such that the intersection between a stream and a stripe is a rectangle with area equal to the weight of the corresponding cell. To avoid large wiggle of the streams, it is desirable to keep the consecutive cells in a stream to be adjacent. Let $B$ be the smallest axis-aligned bounding box containing the StreamTable. Then the difference between the area of $B$ and the sum of the weights is referred to as the excess area. We attempt to optimize various StreamTable aesthetics (e.g., minimizing excess area, or maximizing cell adjacencies in streams). (A) If the row permutation is fixed and the row heights are given, then we give an $O(rc)$-time algorithm to optimize these aesthetics, where $r$ and $c$ are the number of rows and columns, respectively. (B) If the row permutation is fixed but the row heights can be chosen, then we discuss a technique to compute an aesthetic (but not necessarily optimal) StreamTable by solving a quadratically-constrained quadratic program, followed by iterative improvements. If the row heights are restricted to be integers, then we prove the problem to be NP-hard. (C) If the row permutations can be chosen, then we show that it is NP-hard to find a row permutation that optimizes the area or adjacency aesthetics.


title: Control Ability with Time Attributy for Linear Continous-time Systems

abstract: In this paper, the control ability with time attributy for the linear continuous-time (LCT) systems are defined and analyzed by the volume computing for the controllability region. Firstly, a relation theorem about the open-loop control ability, the control strategy space (\textit{i.e.}, the solution space of the input variable for control problems), and the some closed-loop performance for the LCT systems is purposed and proven. This theorem shows us the necessity to optimize the control ability for the practical engineering problems. Secondly, recurssive volume-computing algorithms with the low computing complexities for the finite-time controllability region are discussed. Finally, two analytical volume computations of the infinite-time controllability region for the systems with $n$ different and repeated real eigenvalues are deduced, and then by deconstructing the volume computing equations, 3 classes of the shape factors are constructed. These analytical volume and shape factors can describe accurately the size and shape of the controllability region. Because the time-attribute control ability for LCT systems is directly related to the controllability region with the unit input variables, based on these analytical expressions on the volume and shape factors, the time-attribute control ability can be computed and optimized conveniently.


title: LSG-CPD: Coherent Point Drift with Local Surface Geometry for Point Cloud Registration

abstract: Probabilistic point cloud registration methods are becoming more popular because of their robustness. However, unlike point-to-plane variants of iterative closest point (ICP) which incorporate local surface geometric information such as surface normals, most probabilistic methods (e.g., coherent point drift (CPD)) ignore such information and build Gaussian mixture models (GMMs) with isotropic Gaussian covariances. This results in sphere-like GMM components which only penalize the point-to-point distance between the two point clouds. In this paper, we propose a novel method called CPD with Local Surface Geometry (LSG-CPD) for rigid point cloud registration. Our method adaptively adds different levels of point-to-plane penalization on top of the point-to-point penalization based on the flatness of the local surface. This results in GMM components with anisotropic covariances. We formulate point cloud registration as a maximum likelihood estimation (MLE) problem and solve it with the Expectation-Maximization (EM) algorithm. In the E step, we demonstrate that the computation can be recast into simple matrix manipulations and efficiently computed on a GPU. In the M step, we perform an unconstrained optimization on a matrix Lie group to efficiently update the rigid transformation of the registration. The proposed method outperforms state-of-the-art algorithms in terms of accuracy and robustness on various datasets captured with range scanners, RGBD cameras, and LiDARs. Also, it is significantly faster than modern implementations of CPD. The source code is available at https://github.com/ChirikjianLab/LSG-CPD.git.


title: Thermodynamics and Heat Engines of Black Holes with Born-Infeld-type Electrodynamics

abstract: In this paper we have studied electrically charged black holes in a new model of nonlinear electrodynamics introduced by Kruglov in Ref. [1]. There are two parameters for the theory and the black hole could have up to two horizons. Thermodynamics is studied in the extended phase space where the pressure is proportional to the cosmological constant. First law and the Smarr formula are derived. There are phase transitions similar to the Van der Waals liquid-gas phase transitions. Black hole is also studied as a heat engine and have discussed how the parameters in the nonlinear electrodynamics theory effect the efficiency of the heat engine.


title: Accurate and Reliable Forecasting using Stochastic Differential Equations

abstract: It is critical yet challenging for deep learning models to properly characterize uncertainty that is pervasive in real-world environments. Although a lot of efforts have been made, such as heteroscedastic neural networks (HNNs), little work has demonstrated satisfactory practicability due to the different levels of compromise on learning efficiency, quality of uncertainty estimates, and predictive performance. Moreover, existing HNNs typically fail to construct an explicit interaction between the prediction and its associated uncertainty. This paper aims to remedy these issues by developing SDE-HNN, a new heteroscedastic neural network equipped with stochastic differential equations (SDE) to characterize the interaction between the predictive mean and variance of HNNs for accurate and reliable regression. Theoretically, we show the existence and uniqueness of the solution to the devised neural SDE. Moreover, based on the bias-variance trade-off for the optimization in SDE-HNN, we design an enhanced numerical SDE solver to improve the learning stability. Finally, to more systematically evaluate the predictive uncertainty, we present two new diagnostic uncertainty metrics. Experiments on the challenging datasets show that our method significantly outperforms the state-of-the-art baselines in terms of both predictive performance and uncertainty quantification, delivering well-calibrated and sharp prediction intervals.


title: Distilling Virtual Examples for Long-tailed Recognition

abstract: We tackle the long-tailed visual recognition problem from the knowledge distillation perspective by proposing a Distill the Virtual Examples (DiVE) method. Specifically, by treating the predictions of a teacher model as virtual examples, we prove that distilling from these virtual examples is equivalent to label distribution learning under certain constraints. We show that when the virtual example distribution becomes flatter than the original input distribution, the under-represented tail classes will receive significant improvements, which is crucial in long-tailed recognition. The proposed DiVE method can explicitly tune the virtual example distribution to become flat. Extensive experiments on three benchmark datasets, including the large-scale iNaturalist ones, justify that the proposed DiVE method can significantly outperform state-of-the-art methods. Furthermore, additional analyses and experiments verify the virtual example interpretation, and demonstrate the effectiveness of tailored designs in DiVE for long-tailed problems.


title: Inter-particle adhesion regulates the surface roughness of growing dense three-dimensional active particle aggregates

abstract: Activity and self-generated motion are fundamental features observed in many living and non-living systems. Given that inter-particle adhesive forces are known to regulate particle dynamics, we investigate how adhesion strength controls the boundary growth and roughness in an active particle aggregate. Using particle based simulations incorporating both activity (birth, death and growth) and systematic physical interactions (elasticity and adhesion), we establish that inter-particle adhesion strength ($f^{ad}$) controls the surface roughness of a densely packed three-dimensional(3D) active particle aggregate expanding into a highly viscous medium. We discover that the surface roughness of a 3D active particle aggregate increases in proportion to the inter-particle adhesion strength, $f^{ad}$. We show that asymmetry in the radial and tangential active particle mean squared displacement (MSD) suppresses 3D surface roughness at lower adhesion strengths. By analyzing the statistical properties of particle displacements at the aggregate periphery, we determine that the 3D surface roughness is driven by the movement of active particle towards the core at high inter-particle adhesion strengths. Our results elucidate the physics controlling the expansion of adhesive 3D active particle collectives into a highly viscous medium, with implications into understanding stochastic interface growth in active matter systems characterized by self generated particle flux.


title: Non-uniqueness of massless transverse-traceless graviton

abstract: We study a theory of minimally modified gravity called cuscuton/VCDM that propagates only two gravitational degrees of freedom. Despite being apparently different from general relativity (GR), it is in principle possible that this theory might be obtained via a field redefinition starting from the GR action. This would make the vacuum theory equivalent to GR and the theory would differ from GR only in the presence of matter. In this paper, studying the dispersion relation of gravitational waves and the dynamics of the Bianchi-I universe, we prove that such a field redefinition does not exist and that the theory differs from GR already in vacuum.


title: PQ-type adjacency polytopes of join graphs

abstract: PQ-type adjacency polytopes $\nabla^{\rm PQ}_G$ are lattice polytopes arising from finite graphs $G$. There is a connection between $\nabla^{\rm PQ}_G$ and the engineering problem known as power-flow study, which models the balance of electric power on a network of power generation. In particular, the normalized volume of $\nabla^{\rm PQ}_G$ plays a central role. In the present paper, we focus the case where $G$ is a join graph. In fact, formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ of a join graph $G$ are presented. Moreover, we give explicit formulas of the $h^*$-polynomial and the normalized volume of $\nabla^{\rm PQ}_G$ when $G$ is a complete multipartite graph or a wheel graph.


title: Definition and Analytical Expression on State Observe Ability for Linear Discrete-time Systems with the Bounded Noise Energy

abstract: In this article, the definition on the observe ability and its relation to the signal detecting performance are studied systematically for the linear discrete-time(LDT) systems. Firstly, to define and analyze the observe ability for the practical systems with the measured noise, six kinds of bounded noise models are classified. For the noise energy bounded case, the observability ellipsoid and the image observability ellipsoid are defined by the state observed error and then a novel concept on the LDT systems, called as the observe ability, is proposed. Based on that, some theorems and properties about the observe ability and the signal detecting performances are given and proven, and then the reason that to maximize the observe ability is to optimize the signal detecting performances is established. Secondly, a dual relation between the observability ellipsoid and the controllability ellipsoid, which volumes and radii are respectively with some inverse relations, is stated and proven. Accordingly, the analytical computing equations for the volume of the two observability ellipsoids are got and some analytical shape factors of these ellipsoids are deconstructed. Based on these effective compting for the volumes, radii, and shape factors, analyzing and optimizing for the observe ability can be carried out. Thirdly, to compare rationally the state observe ability between the different systems or different system parameters, the normalization of the output variables, the state variables, and the system models are discussed. Finally, some numerical experiments and their results show the effectiveness of the computing and comparing methods for the observe ability.


title: Connected and Automated Vehicle Distributed Control for On-ramp Merging Scenario: A Virtual Rotation Approach

abstract: In this study, we propose a rotation-based connected automated vehicle (CAV) distributed cooperative control strategy for an on-ramp merging scenario. By assuming the mainline and ramp line are straight, we firstly design a virtual rotation approach that transfers the merging problem to a virtual car following (CF) problem to reduce the complexity and dimension of the cooperative CAVs merging control. Based on this concept, a multiple-predecessor virtual CF model and a unidirectional multi-leader communication topology are developed to determine the longitudinal behavior of each CAV. Specifically, we exploit a distributed feedback and feedforward longitudinal controller in preparation for actively generating gaps for merging CAVs, reducing the voids caused by merging, and ensuring safety and traffic efficiency during the process. To ensure the disturbance attenuation property of this system, practical string stability is mathematically proved for the virtual CF controllers to prohibit the traffic oscillation amplification through the traffic stream. Moreover, as a provision for extending the virtual CF application scenarios of any curvy ramp geometry, we utilize a curvilinear coordinate to model the two-dimensional merging control, and further design a local lateral controller based on an extended linear-quadratic regulator to regulate the position deviation and angular deviation of the lane centerlines. For the purpose of systematically evaluating the control performance of the proposed methods, numerical simulation experiments are conducted. As the results indicate, the proposed controllers can actively reduce the void and meanwhile guarantee the damping of traffic oscillations in the merging control area.


title: An Affective Approach for Behavioral Performance Estimation and Induction

abstract: Emotions have a major interactive role in defining how humans interact with their environment by encoding their perception to external events and accordingly, influencing their cognition and decision-making process. Therefore, increasing attention has been directed toward integrating human affective states into system design in order to optimize the quality of task performance. In this work, we seize on the significant correlation between emotions and behavioral performance that is reported in several psychological studies and develop an online closed-loop design framework for Human-Robot Interaction (HRI). The proposed approach monitors the behavioral performance based on the levels of Pleasure, Arousal, and Dominance (PAD) states for the human operator and when required, applies an external stimulus which is selected to induce an improvement in performance. The framework is implemented on an HRI task involving a human operator teleoperating an articulated robotic manipulator. Our statistical analysis shows a significant decrease in pleasure, arousal, and dominance states as the behavioral performance deteriorates $(p < 0.05)$. Our closed-loop experiment that uses an audio stimulus to improve emotional state shows a significant improvement in the behavioral performance of certain subjects.


title: HiT: Hierarchical Transformer with Momentum Contrast for Video-Text Retrieval

abstract: Video-Text Retrieval has been a hot research topic with the growth of multimedia data on the internet. Transformer for video-text learning has attracted increasing attention due to its promising performance. However, existing cross-modal transformer approaches typically suffer from two major limitations: 1) Exploitation of the transformer architecture where different layers have different feature characteristics is limited; 2) End-to-end training mechanism limits negative sample interactions in a mini-batch. In this paper, we propose a novel approach named Hierarchical Transformer (HiT) for video-text retrieval. HiT performs Hierarchical Cross-modal Contrastive Matching in both feature-level and semantic-level, achieving multi-view and comprehensive retrieval results. Moreover, inspired by MoCo, we propose Momentum Cross-modal Contrast for cross-modal learning to enable large-scale negative sample interactions on-the-fly, which contributes to the generation of more precise and discriminative representations. Experimental results on the three major Video-Text Retrieval benchmark datasets demonstrate the advantages of our method.


title: Manifold Optimization for High Accuracy Spatial Location Estimation Using Ultrasound Waves

abstract: This paper reports the design of a high-accuracy spatial location estimation method using ultrasound waves by exploiting the fixed geometry of the transmitters. Assuming an isosceles triangle antenna configuration, where three antennas are placed as the vertices of an isosceles triangle, the spatial location problem can be formulated as a non-convex optimization problem whose interior is shown to admit a Riemannian manifold structure. Our investigation of the geometry of the newly introduced manifold (i.e., the manifold of all isosceles triangles in R3) enables the design of highly efficient optimization algorithms. Simulations are presented to compare the performance of the proposed approach with popular methods from the literature. The results suggest that the proposed Riemannian-based methods outperform the state-of-the-art methods. Furthermore, the proposed Riemannian methods require much less computation time compared to popular generic non-convex approaches.


title: Cubic Equations Through the Looking Glass of Sylvester

abstract: One can hardly believe that there is still something to be said about cubic equations. To dodge this doubt, we will instead try and say something about Sylvester. He doubtless found a way of solving cubic equations. As mentioned by Rota, it was the only method in this vein that he could remember. We realize that in the generic case Sylvester's magnificent approach aimed at reduced cubic equations boils down to an easy identity expressing a cubic polynomial as a sum of two third powers of linear forms. This leads to Cardano's formula for cubic equations involving the third roots of unity.


title: Realizing high Near-Room-Temperature Thermoelectric Performance in n-type Ag2Se through Rashba Effect and Entropy Engineering

abstract: Although there are enormous numbers of high-temperature thermoelectric materials present, designing a near-room-temperature especially n-type thermoelectric material with high zT is extremely challenging. Generally, pristine Ag2Se exhibits unusual low thermal conductivity along with high electrical conductivity and Seebeck coefficient, which leads to high thermoelectric performance (n-type) at room temperature. Herein, we report a pseudoternary phase, Ag2Se0.5Te0.25S0.25, which shows improved thermoelectric performance (zT ~ 2.1 at 400 K). Density functional theory reveals that the Rashba type of spin-dependent band spitting originated because of Te-doping, enhancing carrier mobility. Using density functional perturbation theory, we hereby realize that the intrinsic carrier mobility is not only controlled by carrier effective mass, neither deformation potential theory, instead it is substantially limited by longitudinal optical phonon scattering. In fact, locally off-centered S atoms and rising configurational entropy via substitution of Te and S atoms in Ag2Se significantly reduce the lattice thermal conductivity (klat ~ 0.34 at 400 K). In order to accurately obtain electrical as well as thermal transport coefficient, we adopt deformation potential theory based on Boltzmann transport formalism. The combined consequence of the Rashba effect coupled with configurational entropy synergistically results in such high thermoelectric performance with the development of new n-type thermoelectric material working at the near-room-temperature regime.


title: Adaptive Autonomy in Human-on-the-Loop Vision-Based Robotics Systems

abstract: Computer vision approaches are widely used by autonomous robotic systems to sense the world around them and to guide their decision making as they perform diverse tasks such as collision avoidance, search and rescue, and object manipulation. High accuracy is critical, particularly for Human-on-the-loop (HoTL) systems where decisions are made autonomously by the system, and humans play only a supervisory role. Failures of the vision model can lead to erroneous decisions with potentially life or death consequences. In this paper, we propose a solution based upon adaptive autonomy levels, whereby the system detects loss of reliability of these models and responds by temporarily lowering its own autonomy levels and increasing engagement of the human in the decision-making process. Our solution is applicable for vision-based tasks in which humans have time to react and provide guidance. When implemented, our approach would estimate the reliability of the vision task by considering uncertainty in its model, and by performing covariate analysis to determine when the current operating environment is ill-matched to the model's training data. We provide examples from DroneResponse, in which small Unmanned Aerial Systems are deployed for Emergency Response missions, and show how the vision model's reliability would be used in addition to confidence scores to drive and specify the behavior and adaptation of the system's autonomy. This workshop paper outlines our proposed approach and describes open challenges at the intersection of Computer Vision and Software Engineering for the safe and reliable deployment of vision models in the decision making of autonomous systems.


title: Formality of little disks and algebraic geometry

abstract: We construct a canonical chain of formality quasiisomorphisms for the operad of chains on framed little disks and the operad of chains on little disks. The construction is done in terms of logarithmic algebraic geometry and is remarkable for being rational (and indeed definable integrally) in de Rham cohomology.


title: Friends and Foes in Learning from Noisy Labels

abstract: Learning from examples with noisy labels has attracted increasing attention recently. But, this paper will show that the commonly used CIFAR-based datasets and the accuracy evaluation metric used in the literature are both inappropriate in this context. An alternative valid evaluation metric and new datasets are proposed in this paper to promote proper research and evaluation in this area. Then, friends and foes are identified from existing methods as technical components that are either beneficial or detrimental to deep learning from noisy labeled examples, respectively, and this paper improves and combines technical components from the friends category, including self-supervised learning, new warmup strategy, instance filtering and label correction. The resulting F&F method significantly outperforms existing methods on the proposed nCIFAR datasets and the real-world Clothing1M dataset.


title: Asymptotic expansion of relative quantum invariants

abstract: We propose Asymptotic Expansion Conjectures of the relative Reshetikhin-Turaev invariants, of the relative Turaev-Viro invariants and of the discrete Fourier transforms of the quantum 6j-symbols, and prove them for families of special cases. The significance of these expansions is that we do not specify the way that the sequence of the colorings converges to the limit. As a consequence, the terms in the expansion will have to depend on the index r, but the dependence is in a way that the terms are purely geometric invariants of the metrics on the underlying manifold and only the metrics vary with r.


title: Rational nef and anti-nef polytopes are not uniform

abstract: We give two examples which show that rational nef and anti-nef polytopes are not uniform even for klt surface pairs, answering a question of Chen-Han. We also show that rational nef polytopes are uniform when the Cartier indices are uniformly bounded.


title: $3D$-flows Generated by the Curl of a Vector Potential \& Maurer-Cartan Equations

abstract: We examine $3D$ flows $\mathbf{\dot{x}}=\mathbf{v}({\bf x})$ admitting vector identity $M\mathbf{v} = \nabla \times \mathbf{A}$ for a multiplier $M$ and a potential field $\mathbf{A}$. It is established that, for those systems, one can complete the vector field $\mathbf{v}$ into a basis fitting an $\mathfrak{sl}(2)$-algebra. Accordingly, in terms of covariant quantities, the structure equations determine a set of equations in Maurer-Cartan form. This realization permits one to obtain the potential field as well as to investigate the (bi-)Hamiltonian character of the system. The latter occurs if the system has a time-independent first integral. In order to exhibit the theoretical results on some concrete cases, three examples are provided, namely the Gulliot system, a system with a non-integrable potential, and the Darboux-Halphen system in symmetric polynomials.


title: A Benchmark and Comprehensive Survey on Knowledge Graph Entity Alignment via Representation Learning

abstract: In the last few years, the interest in knowledge bases has grown exponentially in both the research community and the industry due to their essential role in AI applications. Entity alignment is an important task for enriching knowledge bases. This paper provides a comprehensive tutorial-type survey on representative entity alignment techniques that use the new approach of representation learning. We present a framework for capturing the key characteristics of these techniques, propose two datasets to address the limitation of existing benchmark datasets, and conduct extensive experiments using the proposed datasets. The framework gives a clear picture of how the techniques work. The experiments yield important results about the empirical performance of the techniques and how various factors affect the performance. One important observation not stressed by previous work is that techniques making good use of attribute triples and relation predicates as features stand out as winners.


title: PnG BERT: Augmented BERT on Phonemes and Graphemes for Neural TTS

abstract: This paper introduces PnG BERT, a new encoder model for neural TTS. This model is augmented from the original BERT model, by taking both phoneme and grapheme representations of text as input, as well as the word-level alignment between them. It can be pre-trained on a large text corpus in a self-supervised manner, and fine-tuned in a TTS task. Experimental results show that a neural TTS model using a pre-trained PnG BERT as its encoder yields more natural prosody and more accurate pronunciation than a baseline model using only phoneme input with no pre-training. Subjective side-by-side preference evaluations show that raters have no statistically significant preference between the speech synthesized using a PnG BERT and ground truth recordings from professional speakers.


title: Invertible Image Signal Processing

abstract: Unprocessed RAW data is a highly valuable image format for image editing and computer vision. However, since the file size of RAW data is huge, most users can only get access to processed and compressed sRGB images. To bridge this gap, we design an Invertible Image Signal Processing (InvISP) pipeline, which not only enables rendering visually appealing sRGB images but also allows recovering nearly perfect RAW data. Due to our framework's inherent reversibility, we can reconstruct realistic RAW data instead of synthesizing RAW data from sRGB images without any memory overhead. We also integrate a differentiable JPEG compression simulator that empowers our framework to reconstruct RAW data from JPEG images. Extensive quantitative and qualitative experiments on two DSLR demonstrate that our method obtains much higher quality in both rendered sRGB images and reconstructed RAW data than alternative methods.


title: Coordinated Motion Planning Through Randomized k-Opt

abstract: This paper examines the approach taken by team gitastrophe in the CG:SHOP 2021 challenge. The challenge was to find a sequence of simultaneous moves of square robots between two given configurations that minimized either total distance travelled or makespan (total time). Our winning approach has two main components: an initialization phase that finds a good initial solution, and a $k$-opt local search phase which optimizes this solution. This led to a first place finish in the distance category and a third place finish in the makespan category.


title: Correction of a theorem in the Wiener index on fuzzy graphs

abstract: In an article entitled The Counterexample of a theorem in Wiener index of a fuzzy graph and application to illegal immigration networks, we have shown a few examples of incorrect proof of a theorem in the Wiener index. Now, in this article, we will prove it by correcting the desired theorem. We have also used the same method as the author to prove it. There are other methods of proof.