title: Planning low-carbon distributed power systems: Evaluating the role of energy storage

abstract: This paper introduces a mathematical formulation of energy storage systems into a generation capacity expansion framework to evaluate the role of energy storage in the decarbonization of distributed power systems. The modeling framework accounts for dynamic charging/discharging efficiencies and maximum cycling powers as well as cycle and calendar degradation of a Li-ion battery system. Results from a small-scale distributed power system indicate that incorporating the dynamic efficiencies and cycling powers of batteries in the generation planning problem does not significantly change the optimal generation portfolio, while adding substantial computational burden. In contrast, accounting for battery degradation leads to substantially different generation expansion outcomes, especially in deep decarbonization scenarios with larger energy storage capacities. Under the assumptions used in this study, it is found that battery energy storage is economically viable for 2020 only under strict carbon emission constraints. In contrast, given the projected technology advances and corresponding cost reductions, battery energy storage exhibits an attractive option to enable deep decarbonization in 2050.


title: UniNet: Next Term Course Recommendation using Deep Learning

abstract: Course enrollment recommendation is a relevant task that helps university students decide what is the best combination of courses to enroll in the next term. In particular, recommender system techniques like matrix factorization and collaborative filtering have been developed to try to solve this problem. As these techniques fail to represent the time-dependent nature of academic performance datasets we propose a deep learning approach using recurrent neural networks that aims to better represent how chronological order of course grades affects the probability of success. We have shown that it is possible to obtain a performance of 81.10% on AUC metric using only grade information and that it is possible to develop a recommender system with academic student performance prediction. This is shown to be meaningful across different student GPA levels and course difficulties


title: Note on Sunflowers

abstract: A sunflower with p petals consists of p sets whose pairwise intersections are identical. The goal of the sunflower problem is to find the smallest r=r(p,k) such that any family of r^k distinct k-element sets contains a sunflower with p petals. Building upon a breakthrough of Alweiss, Lovett, Wu and Zhang from 2019, Rao proved that r=O(p log(pk)) suffices; this bound was reproved by Tao in 2020. In this short note we record that r=O(p log k) suffices, by using a minor variant of the probabilistic part of these recent proofs.


title: On propagation of regularities and evolution of radius of analyticity in the solution of the fifth order KdV-BBM model

abstract: We consider the initial value problem (IVP) associated to a fifth order KdV-BBM type model that describes the propagation of unidirectional water waves. We prove that the regularity in the initial data propagates in the solution, in other words no singularities can appear or disappear in the solution to this model. We also prove the local well-posedness of the IVP in the space of the analytic functions, the so called Gevrey class. Furthermore, we discuss the evolution of radius of analyticity in such class by providing explicit formulas for upper and lower bounds.


title: Endogenous Stochastic Arbitrage Bubbles and the Black--Scholes model

abstract: This paper develops a model that incorporates the presence of stochastic arbitrage explicitly in the Black--Scholes equation. Here, the arbitrage is generated by a stochastic bubble, which generalizes the deterministic arbitrage model obtained in the literature. It is considered to be a generic stochastic dynamic for the arbitrage bubble, and a generalized Black--Scholes equation is then derived. The resulting equation is similar to that of the stochastic volatility models, but there are no undetermined parameters as the market price of risk. The proposed theory has asymptotic behaviors that are associated with the weak and strong arbitrage bubble limits. For the case where the arbitrage bubble's volatility is zero (deterministic bubble), the weak limit corresponds to the usual Black-Scholes model. The strong limit case also give a Black--Scholes model, but the underlying asset's mean value replaces the interest rate. When the bubble is stochastic, the theory also has weak and strong asymptotic limits that give rise to option price dynamics that are similar to the Black--Scholes model. Explicit formulas are derived for Gaussian and lognormal stochastic bubbles. Consequently, the Black--Scholes model can be considered to be a "low energy" limit of a more general stochastic model.


title: Huygens' principle for the generalized Dirac operator in curved spacetime

abstract: In this article we give sufficient conditions for the generalized Dirac operator to obey the incomplete Huygens principle, as well as necessary and sufficient conditions to obey the Huygens principle by the Dirac operator in the curved spacetime of the Friedmann-Lema\^itre-Robertson-Walker models of cosmology.


title: A Benchmark Study of the Contemporary Toxicity Detectors on Software Engineering Interactions

abstract: Automated filtering of toxic conversations may help an Open-source software (OSS) community to maintain healthy interactions among the project participants. Although, several general purpose tools exist to identify toxic contents, those may incorrectly flag some words commonly used in the Software Engineering (SE) context as toxic (e.g., 'junk', 'kill', and 'dump') and vice versa. To encounter this challenge, an SE specific tool has been proposed by the CMU Strudel Lab (referred as the `STRUDEL' hereinafter) by combining the output of the Perspective API with the output from a customized version of the Stanford's Politeness detector tool. However, since STRUDEL's evaluation was very limited with only 654 SE text, its practical applicability is unclear. Therefore, this study aims to empirically evaluate the Strudel tool as well as four state-of-the-art general purpose toxicity detectors on a large scale SE dataset. On this goal, we empirically developed a rubric to manually label toxic SE interactions. Using this rubric, we manually labeled a dataset of 6,533 code review comments and 4,140 Gitter messages. The results of our analyses suggest significant degradation of all tools' performances on our datasets. Those degradations were significantly higher on our dataset of formal SE communication such as code review than on our dataset of informal communication such as Gitter messages. Two of the models from our study showed significant performance improvements during 10-fold cross validations after we retrained those on our SE datasets. Based on our manual investigations of the incorrectly classified text, we have identified several recommendations for developing an SE specific toxicity detector.


title: Parameter estimation for Vasicek model driven by a general Gaussian noise

abstract: This paper developed an inference problem for Vasicek model driven by a general Gaussian process. We construct a least squares estimator and a moment estimator for the drift parameters of the Vasicek model, and we prove the consistency and the asymptotic normality. Our approach extended the result of Xiao and Yu (2018) for the case when noise is a fractional Brownian motion with Hurst parameter H \in [1/2,1).


title: Factorized Deep Generative Models for Trajectory Generation with Spatiotemporal-Validity Constraints

abstract: Trajectory data generation is an important domain that characterizes the generative process of mobility data. Traditional methods heavily rely on predefined heuristics and distributions and are weak in learning unknown mechanisms. Inspired by the success of deep generative neural networks for images and texts, a fast-developing research topic is deep generative models for trajectory data which can learn expressively explanatory models for sophisticated latent patterns. This is a nascent yet promising domain for many applications. We first propose novel deep generative models factorizing time-variant and time-invariant latent variables that characterize global and local semantics, respectively. We then develop new inference strategies based on variational inference and constrained optimization to encapsulate the spatiotemporal validity. New deep neural network architectures have been developed to implement the inference and generation models with newly-generalized latent variable priors. The proposed methods achieved significant improvements in quantitative and qualitative evaluations in extensive experiments.


title: Quantifying Uncertainty in Risk Assessment using Fuzzy Theory

abstract: Risk specialists are trying to understand risk better and use complex models for risk assessment, while many risks are not yet well understood. The lack of empirical data and complex causal and outcome relationships make it difficult to estimate the degree to which certain risk types are exposed. Traditional risk models are based on classical set theory. In comparison, fuzzy logic models are built on fuzzy set theory and are useful for analyzing risks with insufficient knowledge or inaccurate data. Fuzzy logic systems help to make large-scale risk management frameworks more simple. For risks that do not have an appropriate probability model, a fuzzy logic system can help model the cause and effect relationships, assess the level of risk exposure, rank key risks in a consistent way, and consider available data and experts'opinions. Besides, in fuzzy logic systems, some rules explicitly explain the connection, dependence, and relationships between model factors. This can help identify risk mitigation solutions. Resources can be used to mitigate risks with very high levels of exposure and relatively low hedging costs. Fuzzy set and fuzzy logic models can be used with Bayesian and other types of method recognition and decision models, including artificial neural networks and decision tree models. These developed models have the potential to solve difficult risk assessment problems. This research paper explores areas in which fuzzy logic models can be used to improve risk assessment and risk decision making. We will discuss the methodology, framework, and process of using fuzzy logic systems in risk assessment.


title: Biomedical Event Extraction with Hierarchical Knowledge Graphs

abstract: Biomedical event extraction is critical in understanding biomolecular interactions described in scientific corpus. One of the main challenges is to identify nested structured events that are associated with non-indicative trigger words. We propose to incorporate domain knowledge from Unified Medical Language System (UMLS) to a pre-trained language model via Graph Edge-conditioned Attention Networks (GEANet) and hierarchical graph representation. To better recognize the trigger words, each sentence is first grounded to a sentence graph based on a jointly modeled hierarchical knowledge graph from UMLS. The grounded graphs are then propagated by GEANet, a novel graph neural networks for enhanced capabilities in inferring complex events. On BioNLP 2011 GENIA Event Extraction task, our approach achieved 1.41% F1 and 3.19% F1 improvements on all events and complex events, respectively. Ablation studies confirm the importance of GEANet and hierarchical KG.


title: Almost Envy-free Repeated Matching in Two-sided Markets

abstract: A two-sided market consists of two sets of agents, each of whom have preferences over the other (Airbnb, Upwork, Lyft, Uber, etc.). We propose and analyze a repeated matching problem, where some set of matches occur on each time step, and our goal is to ensure fairness with respect to the cumulative allocations over an infinite time horizon. Our main result is a polynomial-time algorithm for additive, symmetric (v_i(j) = v_j(i)), and binary (v_i(j) \in \{a,1\}) valuations that both (1) guarantees "envy-freeness up to a single match" (EF1) and (2) selects a maximum weight matching on each time step. Thus for this class of valuations, fairness can be achieved without sacrificing economic efficiency. This result holds even for "dynamic valuations", i.e., valuations that change over time. Although symmetry is a strong assumption, we show that this result cannot be extended to asymmetric binary valuations: (1) and (2) together are impossible even when valuations do not change over time, and for dynamic valuations, even (1) alone is impossible. To our knowledge, this is the first analysis of envy-freeness in a repeated matching setting.


title: Analysis of the time-domain PML problem for Maxwell's equations in a waveguide

abstract: This paper is concerned with the mathematical analysis of the time-domain electromagnetic scattering problem in an infinite rectangular waveguide. A transparent boundary condition is developed to reformulate the problem into an equivalent initial boundary value problem in a bounded domain. The well-posedness and stability are obtained for the reduced problem. The perfectly matched layer method is studied to truncate the waveguide. It is shown that the truncated problem attains a unique solution. Moreover, an explicit error estimate is given between the solutions of the original scattering problem and the truncated problem. Based on the estimate, the stability and exponential convergence are established for the truncated problem. The optimal bound is achieved for the error with explicit dependence on the parameters of the perfectly matched layer.


title: When Federated Learning Meets Blockchain: A New Distributed Learning Paradigm

abstract: Motivated by the explosive computing capabilities at end user equipments, as well as the growing privacy concerns over sharing sensitive raw data, a new machine learning paradigm, named federated learning (FL) has emerged. By training models locally at each client and aggregating learning models at a central server, FL has the capability to avoid sharing data directly, thereby reducing privacy leakage. However, the traditional FL framework heavily relies on a single central server and may fall apart if such a server behaves maliciously. To address this single point of failure issue, this work investigates a blockchain assisted decentralized FL (BLADE-FL) framework, which can well prevent the malicious clients from poisoning the learning process, and further provides a self-motivated and reliable learning environment for clients. In detail, the model aggregation process is fully decentralized and the tasks of training for FL and mining for blockchain are integrated into each participant. In addition, we investigate the unique issues in this framework and provide analytical and experimental results to shed light on possible solutions.


title: On Certificate Management in Named Data Networking

abstract: Named Data Networking (NDN) secures network communications by requiring all data packets to be signed when produced. This requirement necessitates efficient and usable mechanisms to handle NDN certificate issuance and revocation, making these supporting mechanisms essential for NDN operations. In this paper, we first investigate and clarify core concepts related to NDN certificates and security design in general, and then present the model of NDN certificate management and its desired properties. We proceed with the design of a specific realization of NDN's certificate management, NDNCERT, evaluate it using a formal security analysis, and discuss the challenges in designing, implementing, and deploying the system, to share our experiences with other NDN security protocol development efforts.


title: The binary Gold function and its c-boomerang connectivity table

abstract: Here, we give a complete description of the c-Boomerang Connectivity Table for the Gold function over finite fields of even characteristic, by using double Weil sums. In the process we generalize a result of Boura and Canteaut (IACR Trans. Symmetric Cryptol. 2018(3) : 290-310, 2018) for the classical boomerang uniformity.


title: Multiplayer Support for the Arcade Learning Environment

abstract: The Arcade Learning Environment ("ALE") is a widely used library in the reinforcement learning community that allows easy programmatic interfacing with Atari 2600 games, via the Stella emulator. We introduce a publicly available extension to the ALE that extends its support to multiplayer games and game modes. This interface is additionally integrated with PettingZoo to allow for a simple Gym-like interface in Python to interact with these games. We additionally introduce experimental baselines for all environments included.


title: Semi-analytic pricing of double barrier options with time-dependent barriers and rebates at hit

abstract: We continue a series of papers devoted to construction of semi-analytic solutions for barrier options. These options are written on underlying following some simple one-factor diffusion model, but all the parameters of the model as well as the barriers are time-dependent. We managed to show that these solutions are systematically more efficient for pricing and calibration than, eg., the corresponding finite-difference solvers. In this paper we extend this technique to pricing double barrier options and present two approaches to solving it: the General Integral transform method and the Heat Potential method. Our results confirm that for double barrier options these semi-analytic techniques are also more efficient than the traditional numerical methods used to solve this type of problems.


title: Dual-path CNN with Max Gated block for Text-Based Person Re-identification

abstract: Text-based person re-identification(Re-id) is an important task in video surveillance, which consists of retrieving the corresponding person's image given a textual description from a large gallery of images. It is difficult to directly match visual contents with the textual descriptions due to the modality heterogeneity. On the one hand, the textual embeddings are not discriminative enough, which originates from the high abstraction of the textual descriptions. One the other hand,Global average pooling (GAP) is commonly utilized to extract more general or smoothed features implicitly but ignores salient local features, which are more important for the cross-modal matching problem. With that in mind, a novel Dual-path CNN with Max Gated block (DCMG) is proposed to extract discriminative word embeddings and make visual-textual association concern more on remarkable features of both modalities. The proposed framework is based on two deep residual CNNs jointly optimized with cross-modal projection matching (CMPM) loss and cross-modal projection classification (CMPC) loss to embed the two modalities into a joint feature space. First, the pre-trained language model, BERT, is combined with the convolutional neural network (CNN) to learn better word embeddings in the text-to-image matching domain. Second, the global Max pooling (GMP) layer is applied to make the visual-textual features focus more on the salient part. To further alleviate the noise of the maxed-pooled features, the gated block (GB) is proposed to produce an attention map that focuses on meaningful features of both modalities. Finally, extensive experiments are conducted on the benchmark dataset, CUHK-PEDES, in which our approach achieves the rank-1 score of 55.81% and outperforms the state-of-the-art method by 1.3%.


title: Examining the Relationship Between Convective Core Overshoot and Stellar Properties Using Asteroseismology

abstract: Core overshoot is a large source of uncertainty in constructing stellar models. Whether the amount of overshoot is constant or mass dependent is not completely known, even though models sometimes assume a mass-based trend. In this work we use asteroseismic data from stars observed by \textit{Kepler} to investigate the relationship between various stellar properties and the amount of overshoot needed to properly model a given star. We find a strong positive trend between stellar mass and overshoot amount for stars between 1.1 and 1.5 $M_\odot$, with a slope of 0.89. Additionally, we investigate how inferred stellar properties change as a function of overshoot. Our model grids show that the inferred stellar mass and radius can vary by as much as 14\% and 6\% respectively, depending on the extent of overshoot. This mass spread results in a commensurate spread in the ages.


title: Link Floer homology also detects split links

abstract: Inspired by work of Lipshitz-Sarkar, we show that the module structure on link Floer homology detects split links. Using results of Ni, Alishahi-Lipshitz, and Lipshitz-Sarkar, we establish an analogous detection result for sutured Floer homology.


title: TorchDyn: A Neural Differential Equations Library

abstract: Continuous-depth learning has recently emerged as a novel perspective on deep learning, improving performance in tasks related to dynamical systems and density estimation. Core to these approaches is the neural differential equation, whose forward passes are the solutions of an initial value problem parametrized by a neural network. Unlocking the full potential of continuous-depth models requires a different set of software tools, due to peculiar differences compared to standard discrete neural networks, e.g inference must be carried out via numerical solvers. We introduce TorchDyn, a PyTorch library dedicated to continuous-depth learning, designed to elevate neural differential equations to be as accessible as regular plug-and-play deep learning primitives. This objective is achieved by identifying and subdividing different variants into common essential components, which can be combined and freely repurposed to obtain complex compositional architectures. TorchDyn further offers step-by-step tutorials and benchmarks designed to guide researchers and contributors.


title: Predicting Geographic Information with Neural Cellular Automata

abstract: This paper presents a novel framework using neural cellular automata (NCA) to regenerate and predict geographic information. The model extends the idea of using NCA to generate/regenerate a specific image by training the model with various geographic data, and thus, taking the traffic condition map as an example, the model is able to predict traffic conditions by giving certain induction information. Our research verified the analogy between NCA and gene in biology, while the innovation of the model significantly widens the boundary of possible applications based on NCAs. From our experimental results, the model shows great potentials in its usability and versatility which are not available in previous studies. The code for model implementation is available at https://redacted.


title: $pi_t$- Enhancing the Precision of Eye Tracking using Iris Feature Motion Vectors

abstract: A new high-precision eye-tracking method has been demonstrated recently by tracking the motion of iris features rather than by exploiting pupil edges. While the method provides high precision, it suffers from temporal drift, an inability to track across blinks, and loss of texture matches in the presence of motion blur. In this work, we present a new methodology $pi_t$ to address these issues by optimally combining the information from both iris textures and pupil edges. With this method, we show an improvement in precision (S2S-RMS & STD) of at least 48% and 10% respectively while fixating a series of small targets and following a smoothly moving target. Further, we demonstrate the capability in the identification of microsaccades between targets separated by 0.2-degree.


title: A look at generalized perfect shuffles

abstract: Standard perfect shuffles involve splitting a deck of $2n$ cards into two stacks and interlacing the cards from the stacks. There are two ways that this interlacing can be done, commonly referred to as an in shuffle and an out shuffle, respectively. In 1983, Diaconis, Graham, and Kantor determined the permutation group generated by in and out shuffles on a deck of $2n$ cards for all $n$. Diaconis et al. concluded their work by asking whether similar results can be found for so-called generalized perfect shuffles. For these new shuffles, we split a deck of $mn$ cards into $m$ stacks and similarly interlace the cards with an in $m$-shuffle or out $m$-shuffle (denoted $I_m$ and $O_m$, respectively). In this paper, we find the structure of the group generated by these two shuffles for a deck of $m^k$ cards, together with $m^y$-shuffles, for all possible values of $m$, $k$, and $y$. The group structure is completely determined by $k/\gcd(y,k)$ and the parity of $y/\gcd(y,k)$. In particular, the group structure is independent of the value of $m$.


title: The seven-strand braid group is CAT(0)

abstract: We prove that the 7-strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer


title: Counteracting Inequality in Markets via Convex Pricing

abstract: We study market mechanisms for allocating divisible goods to competing agents with quasilinear utilities. For \emph{linear} pricing (i.e., the cost of a good is proportional to the quantity purchased), the First Welfare Theorem states that Walrasian equilibria maximize the sum of agent valuations. This ensures efficiency, but can lead to extreme inequality across individuals. Many real-world markets -- especially for water -- use \emph{convex} pricing instead, often known as increasing block tariffs (IBTs). IBTs are thought to promote equality, but there is a dearth of theoretical support for this claim. In this paper, we study a simple convex pricing rule and show that the resulting equilibria are guaranteed to maximize a CES welfare function. Furthermore, a parameter of the pricing rule directly determines which CES welfare function is implemented; by tweaking this parameter, the social planner can precisely control the tradeoff between equality and efficiency. Our result holds for any valuations that are homogeneous, differentiable, and concave. We also give an iterative algorithm for computing these pricing rules, derive a truthful mechanism for the case of a single good, and discuss Sybil attacks.


title: A Hybrid Simulation-based Duopoly Game Framework for Analysis of Supply Chain and Marketing Activities

abstract: A hybrid simulation-based framework involving system dynamics and agent-based simulation is proposed to address duopoly game considering multiple strategic decision variables and rich payoff, which cannot be addressed by traditional approaches involving closed-form equations. While system dynamics models are used to represent integrated production, logistics, and pricing determination activities of duopoly companies, agent-based simulation is used to mimic enhanced consumer purchasing behavior considering advertisement, promotion effect, and acquaintance recommendation in the consumer social network. The payoff function of the duopoly companies is assumed to be the net profit based on the total revenue and various cost items such as raw material, production, transportation, inventory and backorder. A unique procedure is proposed to solve and analyze the proposed simulation-based game, where the procedural components include strategy refinement, data sampling, gaming solving, and performance evaluation. First, design of experiment and estimated conformational value of information techniques are employed for strategy refinement and data sampling, respectively. Game solving then focuses on pure strategy equilibriums, and performance evaluation addresses game stability, equilibrium strictness, and robustness. A hypothetical case scenario involving soft-drink duopoly on Coke and Pepsi is considered to illustrate and demonstrate the proposed approach. Final results include P-values of statistical tests, confidence intervals, and simulation steady state analysis for different pure equilibriums.


title: On fully decoupled MSAV schemes for the Cahn-Hilliard-Navier-Stokes model of Two-Phase Incompressible Flows

abstract: We construct first- and second-order time discretization schemes for the Cahn-Hilliard-Navier-Stokes system based on the multiple scalar auxiliary variables approach (MSAV) approach for gradient systems and (rotational) pressure-correction for Navier-Stokes equations. These schemes are linear, fully decoupled, unconditionally energy stable, and only require solving a sequence of elliptic equations with constant coefficients at each time step. We carry out a rigorous error analysis for the first-order scheme, establishing optimal convergence rate for all relevant functions in different norms. We also provide numerical experiments to verify our theoretical results.


title: An Improved Approach of Intention Discovery with Machine Learning for POMDP-based Dialogue Management

abstract: An Embodied Conversational Agent (ECA) is an intelligent agent that works as the front end of software applications to interact with users through verbal/nonverbal expressions and to provide online assistance without the limits of time, location, and language. To help to improve the experience of human-computer interaction, there is an increasing need to empower ECA with not only the realistic look of its human counterparts but also a higher level of intelligence. This thesis first highlights the main topics related to the construction of ECA, including different approaches of dialogue management, and then discusses existing techniques of trend analysis for its application in user classification. As a further refinement and enhancement to prior work on ECA, this thesis research proposes a cohesive framework to integrate emotion-based facial animation with improved intention discovery. In addition, a machine learning technique is introduced to support sentiment analysis for the adjustment of policy design in POMDP-based dialogue management. The proposed research work is going to improve the accuracy of intention discovery while reducing the length of dialogues.


title: Multi Agent Path Finding with Awareness for Spatially Extended Agents

abstract: Path finding problems involve identification of a plan for conflict free movement of agents over a common road network. Most approaches to this problem handle the agents as point objects, wherein the size of the agent is significantly smaller than the road on which it travels. In this paper, we consider spatially extended agents which have a size comparable to the length of the road on which they travel. An optimal multi agent path finding approach for spatially-extended agents was proposed in the eXtended Conflict Based Search (XCBS) algorithm. As XCBS resolves only a pair of conflicts at a time, it results in deeper search trees in case of cascading or multiple (more than two agent) conflicts at a given location. This issue is addressed in eXtended Conflict Based Search with Awareness (XCBS-A) in which an agent uses awareness of other agents' plans to make its own plan. In this paper, we explore XCBS-A in greater detail, we theoretically prove its completeness and empirically demonstrate its performance with other algorithms in terms of variances in road characteristics, agent characteristics and plan characteristics. We demonstrate the distributive nature of the algorithm by evaluating its performance when distributed over multiple machines. XCBS-A generates a huge search space impacting its efficiency in terms of memory; to address this we propose an approach for memory-efficiency and empirically demonstrate the performance of the algorithm. The nature of XCBS-A is such that it may lead to suboptimal solutions, hence the final contribution of this paper is an enhanced approach, XCBS-Local Awareness (XCBS-LA) which we prove will be optimal and complete.


title: Singular equivalences induced by bimodules and quadratic monomial algebras

abstract: We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between the homotopy categories of acyclic complexes of injective modules. We give conditions on when a bimodule appears in a pair of bimodules, that defines a singular equivalence with level. We construct an explicit bimodule, which yields a singular equivalence between a quadratic monomial algebra and its associated algebra with radical square zero. Under certain conditions which include the Gorenstein cases, the bimodule does appear in a pair of bimodules defining a singular equivalence with level.


title: 3D Modeling and WebVR Implementation using Azure Kinect, Open3D, and Three.js

abstract: This paper proposes a method of extracting an RGB-D image usingAzure Kinect, a depth camera, creating afragment,i.e., 6D images (RGBXYZ), usingOpen3D, creatingit as a point cloud object, and implementing webVR usingthree.js. Furthermore, it presents limitations and potentials for development.


title: Out-Of-Bag Anomaly Detection

abstract: Data anomalies are ubiquitous in real world datasets, and can have an adverse impact on machine learning (ML) systems, such as automated home valuation. Detecting anomalies could make ML applications more responsible and trustworthy. However, the lack of labels for anomalies and the complex nature of real-world datasets make anomaly detection a challenging unsupervised learning problem. In this paper, we propose a novel model-based anomaly detection method, that we call Out-of- Bag anomaly detection, which handles multi-dimensional datasets consisting of numerical and categorical features. The proposed method decomposes the unsupervised problem into the training of a set of ensemble models. Out-of-Bag estimates are leveraged to derive an effective measure for anomaly detection. We not only demonstrate the state-of-the-art performance of our method through comprehensive experiments on benchmark datasets, but also show our model can improve the accuracy and reliability of an ML system as data pre-processing step via a case study on home valuation.


title: Not Low-Resource Anymore: Aligner Ensembling, Batch Filtering, and New Datasets for Bengali-English Machine Translation

abstract: Despite being the seventh most widely spoken language in the world, Bengali has received much less attention in machine translation literature due to being low in resources. Most publicly available parallel corpora for Bengali are not large enough; and have rather poor quality, mostly because of incorrect sentence alignments resulting from erroneous sentence segmentation, and also because of a high volume of noise present in them. In this work, we build a customized sentence segmenter for Bengali and propose two novel methods for parallel corpus creation on low-resource setups: aligner ensembling and batch filtering. With the segmenter and the two methods combined, we compile a high-quality Bengali-English parallel corpus comprising of 2.75 million sentence pairs, more than 2 million of which were not available before. Training on neural models, we achieve an improvement of more than 9 BLEU score over previous approaches to Bengali-English machine translation. We also evaluate on a new test set of 1000 pairs made with extensive quality control. We release the segmenter, parallel corpus, and the evaluation set, thus elevating Bengali from its low-resource status. To the best of our knowledge, this is the first ever large scale study on Bengali-English machine translation. We believe our study will pave the way for future research on Bengali-English machine translation as well as other low-resource languages. Our data and code are available at https://github.com/csebuetnlp/banglanmt.


title: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification

abstract: This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully online event on September 21-22, 2020. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.


title: Lyapunov-Based Reinforcement Learning for Decentralized Multi-Agent Control

abstract: Decentralized multi-agent control has broad applications, ranging from multi-robot cooperation to distributed sensor networks. In decentralized multi-agent control, systems are complex with unknown or highly uncertain dynamics, where traditional model-based control methods can hardly be applied. Compared with model-based control in control theory, deep reinforcement learning (DRL) is promising to learn the controller/policy from data without the knowing system dynamics. However, to directly apply DRL to decentralized multi-agent control is challenging, as interactions among agents make the learning environment non-stationary. More importantly, the existing multi-agent reinforcement learning (MARL) algorithms cannot ensure the closed-loop stability of a multi-agent system from a control-theoretic perspective, so the learned control polices are highly possible to generate abnormal or dangerous behaviors in real applications. Hence, without stability guarantee, the application of the existing MARL algorithms to real multi-agent systems is of great concern, e.g., UAVs, robots, and power systems, etc. In this paper, we aim to propose a new MARL algorithm for decentralized multi-agent control with a stability guarantee. The new MARL algorithm, termed as a multi-agent soft-actor critic (MASAC), is proposed under the well-known framework of "centralized-training-with-decentralized-execution". The closed-loop stability is guaranteed by the introduction of a stability constraint during the policy improvement in our MASAC algorithm. The stability constraint is designed based on Lyapunov's method in control theory. To demonstrate the effectiveness, we present a multi-agent navigation example to show the efficiency of the proposed MASAC algorithm.


title: Geometric Invariants of Recursive Group Orbit Stratification

abstract: The local Euler obstructions and the Euler characteristics of linear sections with all hyperplanes on a stratified projective variety are key geometric invariants in the study of singularity theory. Despite their importance, in general it is very hard to compute them. In this paper we consider a special type of singularity: the recursive group orbits. They are the group orbits of a sequence of $G_n$ representations $V_n$ satisfying certain assumptions. We introduce a new intrinsic invariant called the $c_{sm}$ invariant, and use it to give explicit formulas to the local Euler obstructions and the sectional Euler characteristics of such orbits. In particular, the matrix rank loci are examples of recursive group orbits. Thus as applications, we explicitly compute these geometry invariants for ordinary, skew-symmetric and symmetric rank loci. Our method is systematic and algebraic, thus works for algebraically closed field of characteristic $0$. Moreover, in the complex setting we also compute the stalk Euler characteristics of the Intersection Cohomology Sheaf complexes for all three types of rank loci.


title: Understanding Mention Detector-Linker Interaction in Neural Coreference Resolution

abstract: Despite significant recent progress in coreference resolution, the quality of current state-of-the-art systems still considerably trails behind human-level performance. Using the CoNLL-2012 and PreCo datasets, we dissect the best instantiation of the mainstream end-to-end coreference resolution model that underlies most current best-performing coreference systems, and empirically analyze the behavior of its two components: mention detector and mention linker. While the detector traditionally focuses heavily on recall as a design decision, we demonstrate the importance of precision, calling for their balance. However, we point out the difficulty in building a precise detector due to its inability to make important anaphoricity decisions. We also highlight the enormous room for improving the linker and show that the rest of its errors mainly involve pronoun resolution. We propose promising next steps and hope our findings will help future research in coreference resolution.


title: Repulsive Attention: Rethinking Multi-head Attention as Bayesian Inference

abstract: The neural attention mechanism plays an important role in many natural language processing applications. In particular, the use of multi-head attention extends single-head attention by allowing a model to jointly attend information from different perspectives. Without explicit constraining, however, multi-head attention may suffer from attention collapse, an issue that makes different heads extract similar attentive features, thus limiting the model's representation power. In this paper, for the first time, we provide a novel understanding of multi-head attention from a Bayesian perspective. Based on the recently developed particle-optimization sampling techniques, we propose a non-parametric approach that explicitly improves the repulsiveness in multi-head attention and consequently strengthens model's expressiveness. Remarkably, our Bayesian interpretation provides theoretical inspirations on the not-well-understood questions: why and how one uses multi-head attention. Extensive experiments on various attention models and applications demonstrate that the proposed repulsive attention can improve the learned feature diversity, leading to more informative representations with consistent performance improvement on various tasks.


title: Remarkable antibacterial activity of reduced graphene oxide functionalized by copper ions

abstract: Despite long-term efforts for exploring antibacterial agents or drugs, it remains challenging how to potentiate antibacterial activity and meanwhile minimize toxicity hazards to the environment. Here, we experimentally show that the functionality of reduced graphene oxide (rGO) through copper ions displays selective antibacterial activity significantly stronger than that of rGO itself and no toxicity to mammalian cells. Remarkably, this antibacterial activity is two orders of magnitude greater than the activity of its surrounding copper ions. We demonstrate that the rGO is functionalized through the cation-${\pi}$ interaction to massively adsorb copper ions to form a rGO-copper composite in solution and result in an extremely low concentration level of surrounding copper ions (less than ~0.5 ${\mu}M$). These copper ions on rGO are positively charged and strongly interact with negatively charged bacterial cells to selectively achieve antibacterial activity, while rGO exhibits the functionality to not only actuate rapid delivery of copper ions and massive assembly onto bacterial cells but also result in the valence shift in the copper ions from Cu$^{2+}$ into Cu$^{+}$ which greatly enhances the antibacterial activity. Notably, this functionality of rGO through cation-${\pi}$ interaction with copper ions can similarly achieve algaecidal activity but does not exert cytotoxicity against neutrally charged mammalian cells. The remarkable selective antibacterial activity from the rGO functionality as well as the inherent broad-spectrum-antibacterial physical mechanism represents a significant step toward the development of a novel antibacterial material and reagent without environmental hazards for practical application.


title: Multipliers for nonlinearities with monotone bounds

abstract: We consider Lurye (sometimes written Lur'e) systems whose nonlinear operator is characterised by a possibly multivalued nonlinearity that is bounded above and below by monotone functions. Stability can be established using a sub-class of the Zames-Falb multipliers. The result generalises similar approaches in the literature. Appropriate multipliers can be found using convex searches. Because the multipliers can be used for multivalued nonlinearities they can be applied after loop transformation. We illustrate the power of the new mutlipliers with two examples, one in continuous time and one in discrete time: in the first the approach is shown to outperform available stability tests in the literature; in the second we focus on the special case for asymmetric saturation with important consequences for systems with non-zero steady state exogenous signals.


title: Network and Station-Level Bike-Sharing System Prediction: A San Francisco Bay Area Case Study

abstract: The paper develops models for modeling the availability of bikes in the San Francisco Bay Area Bike Share System applying machine learning at two levels: network and station. Investigating BSSs at the station-level is the full problem that would provide policymakers, planners, and operators with the needed level of details to make important choices and conclusions. We used Random Forest and Least-Squares Boosting as univariate regression algorithms to model the number of available bikes at the station-level. For the multivariate regression, we applied Partial Least-Squares Regression (PLSR) to reduce the needed prediction models and reproduce the spatiotemporal interactions in different stations in the system at the network-level. Although prediction errors were slightly lower in the case of univariate models, we found that the multivariate model results were promising for the network-level prediction, especially in systems where there is a relatively large number of stations that are spatially correlated. Moreover, results of the station-level analysis suggested that demographic information and other environmental variables were significant factors to model bikes in BSSs. We also demonstrated that the available bikes modeled at the station-level at time t had a notable influence on the bike count models. Station neighbors and prediction horizon times were found to be significant predictors, with 15 minutes being the most effective prediction horizon time.


title: Twisted Rota-Baxter operators and Reynolds operators on Lie algebras and NS-Lie algebras

abstract: In this paper, we introduce twisted Rota-Baxter operators on Lie algebras as an operator analogue of twisted r-matrices. We construct a suitable $L_\infty$-algebra whose Maurer-Cartan elements are given by twisted Rota-Baxter operators. This allows us to define cohomology of a twisted Rota-Baxter operator. This cohomology can be seen as the Chevalley-Eilenberg cohomology of a certain Lie algebra with coefficients in a suitable representation. We study deformations of twisted Rota-Baxter operators from cohomological points of view. Some applications are given to Reynolds operators and twisted r-matrices. Next, we introduce a new algebraic structure, called NS-Lie algebras, that are related to twisted Rota-Baxter operators in the same way pre-Lie algebras are related to Rota-Baxter operators. We end this paper by considering twisted generalized complex structures on modules over Lie algebras.


title: Time-optimal variational control of bright matter-wave soliton

abstract: Motivated by recent experiments, we present the time-optimal variational control of bright matter-wave soliton trapped in a quasi-one-dimensional harmonic trap by manipulating the atomic attraction through Feshbach resonances. More specially, we first apply a time-dependent variational method to derive the motion equation for capturing the soliton's shape, and secondly combine inverse engineering with optimal control theory to design the atomic interaction for implementing time-optimal decompression. Since the time-optimal solution is of bang-bang type, the smooth regularization is further adopted to smooth the on-off controller out, thus avoiding the heating and atom loss, induced from magnetic field ramp across a Feshbach resonance in practice.


title: Comparing Feedback Linearization and Adaptive Backstepping Control for Airborne Orientation of Agile Ground Robots using Wheel Reaction Torque

abstract: In this paper, two nonlinear methods for stabilizing the orientation of a Four-Wheel Independent Drive and Steering (4WIDS) robot while in the air are analyzed, implemented in simulation, and compared. AGRO (the Agile Ground Robot) is a 4WIDS inspection robot that can be deployed into unsafe environments by being thrown, and can use the reaction torque from its four wheels to command its orientation while in the air. Prior work has demonstrated on a hardware prototype that simple PD control with hand-tuned gains is sufficient, but hardly optimal, to stabilize the orientation in under 500ms. The goal of this work is to decrease the stabilization time and reject disturbances using nonlinear control methods. A model-based Feedback Linearization (FL) was added to compensate for the nonlinear Coriolis terms. However, with external disturbances, model uncertainty and sensor noise, the FL controller does not guarantee stability. As an alternative, a second controller was developed using backstepping methods with an adaptive compensator for external disturbances, model uncertainty, and sensor offset. The controller was designed using Lyapunov analysis. A simulation was written using the full nonlinear dynamics of AGRO in an isotropic steering configuration in which control authority over its pitch and roll are equalized. The PD+FL control method was compared to the backstepping control method using the same initial conditions in simulation. Both the backstepping controller and the PD+FL controller stabilized the system within 250 milliseconds. The adaptive backstepping controller was also able to achieve this performance with the adaptation law enabled and compensating for offset noisy sinusoidal disturbances.


title: Estimation of Individual Device Contributions for Incentivizing Federated Learning

abstract: Federated learning (FL) is an emerging technique used to train a machine-learning model collaboratively using the data and computation resource of the mobile devices without exposing privacy-sensitive user data. Appropriate incentive mechanisms that motivate the data and mobile-device owner to participate in FL is key to building a sustainable platform for FL. However, it is difficult to evaluate the contribution level of the devices/owners to determine appropriate rewards without large computation and communication overhead. This paper proposes a computation-and communication-efficient method of estimating a participating device's contribution level. The proposed method enables such estimation during a single FL training process, there by reducing the need for traffic and computation overhead. The performance evaluations using the MNIST dataset show that the proposed method estimates individual participants' contributions accurately with 46-49% less computation overhead and no communication overhead than a naive estimation method.


title: Softmax Tempering for Training Neural Machine Translation Models

abstract: Neural machine translation (NMT) models are typically trained using a softmax cross-entropy loss where the softmax distribution is compared against smoothed gold labels. In low-resource scenarios, NMT models tend to over-fit because the softmax distribution quickly approaches the gold label distribution. To address this issue, we propose to divide the logits by a temperature coefficient, prior to applying softmax, during training. In our experiments on 11 language pairs in the Asian Language Treebank dataset and the WMT 2019 English-to-German translation task, we observed significant improvements in translation quality by up to 3.9 BLEU points. Furthermore, softmax tempering makes the greedy search to be as good as beam search decoding in terms of translation quality, enabling 1.5 to 3.5 times speed-up. We also study the impact of softmax tempering on multilingual NMT and recurrently stacked NMT, both of which aim to reduce the NMT model size by parameter sharing thereby verifying the utility of temperature in developing compact NMT models. Finally, an analysis of softmax entropies and gradients reveal the impact of our method on the internal behavior of NMT models.


title: Transport of pseudothermal photons through an anharmonic cavity

abstract: Under nonequilibrium conditions, quantum optical systems reveal unusual properties that might be distinct from those in condensed matter. The fundamental reason is that photonic eigenstates can have arbitrary occupation numbers, whereas in electronic systems these are limited by the Pauli principle. Here, we address the steady-state transport of pseudothermal photons between two waveguides connected through a cavity with Bose-Hubbard interaction between photons. One of the waveguides is subjected to a broadband incoherent pumping. We predict a continuous transition between the regimes of Lorentzian and Gaussian chaotic light emitted by the cavity. The rich variety of nonequilibrium transport regimes is revealed by the zero-frequency noise. There are three limiting cases, in which the noise-current relation is characterized by a power-law, $S\propto J^\gamma$. The Lorentzian light corresponds to Breit-Wigner-like transmission and $\gamma=2$. The Gaussian regime corresponds to many-body transport with the shot noise ($\gamma=1$) at large currents; at low currents, however, we find an unconventional exponent $\gamma=3/2$ indicating a nontrivial interplay between multi-photon transitions and incoherent pumping. The nonperturbative solution for photon dephasing is obtained in the framework of the Keldysh field theory and Caldeira-Leggett effective action. These findings might be relevant for experiments on photon blockade in superconducting qubits, thermal states transfer, and photon statistics probing.


title: Inverse transfer of magnetic helicity in direct numerical simulations of compressible isothermal turbulence: scaling laws

abstract: The inverse transfer of magnetic helicity is investigated through direct numerical simulations of large-scale-mechanically-driven turbulent flows in the isothermal ideal magnetohydrodynamics (MHD) framework. The mechanical forcing is either purely solenoidal or purely compressive and the turbulent steady-states considered exhibit root mean square (RMS) Mach numbers 0.1 $\lesssim$ M $\lesssim$ 11. A continuous small-scale electromotive forcing injects magnetic helical fluctuations, which lead to the build-up of ever larger magnetic structures. Spectral scaling exponents are observed which, for low Mach numbers, are consistent with previous research done in the incompressible case. Higher compressibility leads to flatter magnetic helicity scaling exponents. The deviations from the incompressible case are comparatively small for solenoidally-driven turbulence, even at high Mach numbers, as compared to those for compressively-driven turbulence, where strong deviations are already visible at relatively mild RMS Mach numbers M $\gtrsim$ 3. Compressible effects can thus play an important role in the inverse transfer of magnetic helicity, especially when the turbulence drivers are rather compressive. Theoretical results observed in the incompressible case can, however, be transferred to supersonic turbulence by an appropriate change of variables, using the Alfv\'en velocity in place of the magnetic field.


title: The Terwilliger algebra of the twisted Grassmann graph: the thin case

abstract: The Terwilliger algebra $T(x)$ of a finite connected simple graph $\Gamma$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $\Gamma$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$-module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$-modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case.


title: Phonon soft modes and para- to ferroelectric phase transitions

abstract: In this special issue of Physica A in memory of Professor Dietrich Stauffer, I first recall my impression on him while being his postdoc for a year at HLRZ. In the following scientific part, I discuss the theory of soft phonons with quartic nonlinear interactions. This is applied to the cubic crystal BaTiO$_3$ for phase transition from para- to ferroelectric phase.


title: Reply to "On the heat transfer across a vacuum gap mediated by Casimir force"

abstract: In a recent paper (arXiv:2003.00760) and a related article (Z. Naturforsch. A 75, 803-807), S.-A. Biehs et al. present erroneous interpretations of our work on the heat transfer driven by Casimir force. Here, we clarify several key concepts and refute their claims.


title: Difference-aware Knowledge Selection for Knowledge-grounded Conversation Generation

abstract: In a multi-turn knowledge-grounded dialog, the difference between the knowledge selected at different turns usually provides potential clues to knowledge selection, which has been largely neglected in previous research. In this paper, we propose a difference-aware knowledge selection method. It first computes the difference between the candidate knowledge sentences provided at the current turn and those chosen in the previous turns. Then, the differential information is fused with or disentangled from the contextual information to facilitate final knowledge selection. Automatic, human observational, and interactive evaluation shows that our method is able to select knowledge more accurately and generate more informative responses, significantly outperforming the state-of-the-art baselines. The codes are available at https://github.com/chujiezheng/DiffKS.


title: Exploring the Generalizability of Spatio-Temporal Traffic Prediction: Meta-Modeling and an Analytic Framework

abstract: The Spatio-Temporal Traffic Prediction (STTP) problem is a classical problem with plenty of prior research efforts that benefit from traditional statistical learning and recent deep learning approaches. While STTP can refer to many real-world problems, most existing studies focus on quite specific applications, such as the prediction of taxi demand, ridesharing order, traffic speed, and so on. This hinders the STTP research as the approaches designed for different applications are hardly comparable, and thus how an application-driven approach can be generalized to other scenarios is unclear. To fill in this gap, this paper makes three efforts: (i) we propose an analytic framework, called STAnalytic, to qualitatively investigate STTP approaches regarding their design considerations on various spatial and temporal factors, aiming to make different application-driven approaches comparable; (ii) we design a spatio-temporal meta-model, called STMeta, which can flexibly integrate generalizable temporal and spatial knowledge identified by STAnalytic, (iii) we build an STTP benchmark platform including ten real-life datasets with five scenarios to quantitatively measure the generalizability of STTP approaches. In particular, we implement STMeta with different deep learning techniques, and STMeta demonstrates better generalizability than state-of-the-art approaches by achieving lower prediction error on average across all the datasets.


title: Hybrid Beamforming for RIS-Empowered Multi-hop Terahertz Communications: A DRL-based Method

abstract: Wireless communication in the TeraHertz band (0.1--10 THz) is envisioned as one of the key enabling technologies for the future six generation (6G) wireless communication systems. However, very high propagation attenuations and molecular absorptions of THz frequencies often limit the signal transmission distance and coverage range. Benefited from the recent breakthrough on the reconfigurable intelligent surfaces (RIS) for realizing smart radio propagation environment, we propose a novel hybrid beamforming scheme for the multi-hop RIS-assisted communication networks to improve the coverage range at THz-band frequencies. We investigate the joint design of digital beamforming matrix at the BS and analog beamforming matrices at the RISs, by leveraging the recent advances in deep reinforcement learning (DRL) to combat the propagation loss. Simulation results show that our proposed scheme is able to improve 50\% more coverage range of THz communications compared with the benchmarks. Furthermore, it is also shown that our proposed DRL-based method is a state-of-the-art method to solve the NP-bard beamforming problem, especially when the signals at RIS-empowered THz communication networks experience multiple hops.


title: Stochastic Model Predictive Control with a Safety Guarantee for Automated Driving: Extended Version

abstract: Automated vehicles require efficient and safe planning to maneuver in uncertain environments. Largely this uncertainty is caused by other traffic participants, e.g., surrounding vehicles. Future motion of surrounding vehicles is often difficult to predict. Whereas robust control approaches achieve safe, yet conservative motion planning for automated vehicles, Stochastic Model Predictive Control (SMPC) provides efficient planning in the presence of uncertainty. Probabilistic constraints are applied to ensure that the maximal risk remains below a predefined level. However, safety cannot be ensured as probabilistic constraints may be violated, which is not acceptable for automated vehicles. Here, we propose an efficient trajectory planning framework with safety guarantees for automated vehicles. SMPC is applied to obtain efficient vehicle trajectories for a finite horizon. Based on the first optimized SMPC input, a guaranteed safe backup trajectory is planned using reachable sets. This backup is used to overwrite the SMPC input if necessary for safety. Recursive feasibility of the safe SMPC algorithm is proved. Highway simulations show the effectiveness of the proposed method regarding performance and safety.


title: Instance exploitation for learning temporary concepts from sparsely labeled drifting data streams

abstract: Continual learning from streaming data sources becomes more and more popular due to the increasing number of online tools and systems. Dealing with dynamic and everlasting problems poses new challenges for which traditional batch-based offline algorithms turn out to be insufficient in terms of computational time and predictive performance. One of the most crucial limitations is that we cannot assume having access to a finite and complete data set - we always have to be ready for new data that may complement our model. This poses a critical problem of providing labels for potentially unbounded streams. In the real world, we are forced to deal with very strict budget limitations, therefore, we will most likely face the scarcity of annotated instances, which are essential in supervised learning. In our work, we emphasize this problem and propose a novel instance exploitation technique. We show that when: (i) data is characterized by temporary non-stationary concepts, and (ii) there are very few labels spanned across a long time horizon, it is actually better to risk overfitting and adapt models more aggressively by exploiting the only labeled instances we have, instead of sticking to a standard learning mode and suffering from severe underfitting. We present different strategies and configurations for our methods, as well as an ensemble algorithm that attempts to maintain a sweet spot between risky and normal adaptation. Finally, we conduct a complex in-depth comparative analysis of our methods, using state-of-the-art streaming algorithms relevant to the given problem.


title: Computing Harmonic Maps and Conformal Maps on Point Clouds

abstract: We propose a novel meshless method to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3-space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its $\epsilon$-neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples for closed surfaces and topological disks.


title: Deriving Visual Semantics from Spatial Context: An Adaptation of LSA and Word2Vec to generate Object and Scene Embeddings from Images

abstract: Embeddings are an important tool for the representation of word meaning. Their effectiveness rests on the distributional hypothesis: words that occur in the same context carry similar semantic information. Here, we adapt this approach to index visual semantics in images of scenes. To this end, we formulate a distributional hypothesis for objects and scenes: Scenes that contain the same objects (object context) are semantically related. Similarly, objects that appear in the same spatial context (within a scene or subregions of a scene) are semantically related. We develop two approaches for learning object and scene embeddings from annotated images. In the first approach, we adapt LSA and Word2vec's Skipgram and CBOW models to generate two sets of embeddings from object co-occurrences in whole images, one for objects and one for scenes. The representational space spanned by these embeddings suggests that the distributional hypothesis holds for images. In an initial application of this approach, we show that our image-based embeddings improve scene classification models such as ResNet18 and VGG-11 (3.72\% improvement on Top5 accuracy, 4.56\% improvement on Top1 accuracy). In the second approach, rather than analyzing whole images of scenes, we focus on co-occurrences of objects within subregions of an image. We illustrate that this method yields a sensible hierarchical decomposition of a scene into collections of semantically related objects. Overall, these results suggest that object and scene embeddings from object co-occurrences and spatial context yield semantically meaningful representations as well as computational improvements for downstream applications such as scene classification.


title: Weak cosmic censorship conjecture in higher-dimensional black holes with nonlinear electrodynamic sources

abstract: The new version of the gedanken experiments proposed by Sorce and Wald are designed to test the validity of the weak cosmic censorship conjecture (WCCC) by overspinning or overcharging the Kerr-Newman black hole in Einstein-Maxwell gravity. Following their setup, in this paper, we investigate the WCCC in the higher-dimensional charged black hole with a nonlinear electrodynamics source. We derive the first and seconder order perturbation inequalities of the charged collision matter based on the Iyer-Wald formalism as well as the null energy conditions, and show that they share the similar form as that in Einstein-Maxwell gravity. As a result, we find that the static higher-dimensional nonlinear electrodynamics (HDNL) black holes cannot be overcharged after considering these two inequalities. Our result might indicate the validity of WCCC for more general HNDL and related systems.


title: Convex Subspace Clustering by Adaptive Block Diagonal Representation

abstract: Subspace clustering is a class of extensively studied clustering methods where the spectral-type approaches are its important subclass. Its key first step is to desire learning a representation coefficient matrix with block diagonal structure. To realize this step, many methods were successively proposed by imposing different structure priors on the coefficient matrix. These impositions can be roughly divided into two categories, i.e., indirect and direct. The former introduces the priors such as sparsity and low rankness to indirectly or implicitly learn the block diagonal structure. However, the desired block diagonalty cannot necessarily be guaranteed for noisy data. While the latter directly or explicitly imposes the block diagonal structure prior such as block diagonal representation (BDR) to ensure so-desired block diagonalty even if the data is noisy but at the expense of losing the convexity that the former's objective possesses. For compensating their respective shortcomings, in this paper, we follow the direct line to propose Adaptive Block Diagonal Representation (ABDR) which explicitly pursues block diagonalty without sacrificing the convexity of the indirect one. Specifically, inspired by Convex BiClustering, ABDR coercively fuses both columns and rows of the coefficient matrix via a specially designed convex regularizer, thus naturally enjoying their merits and adaptively obtaining the number of blocks. Finally, experimental results on synthetic and real benchmarks demonstrate the superiority of ABDR to the state-of-the-arts (SOTAs).


title: A System-Level Engineering Approach for Preliminary Performance Analysis and Design of Global Navigation Satellite System Constellations

abstract: This paper presents a system-level engineering approach for the preliminary coverage performance analysis and the design of a generic Global Navigation Satellite System (GNSS) constellation. This analysis accounts for both the coverage requirements and the robustness to transient or catastrophic failures of the constellation. The European GNSS, Galileo, is used as reference case to prove the effectiveness of the proposed tool. This software suite, named GNSS Coverage Analysis Tool (G-CAT), requires as input the state vector of each satellite of the constellation and provides the performance of the GNSS constellation in terms of coverage. The tool offers an orbit propagator, an attitude propagator, an algorithm to identify the visibility region on the Earth's surface from each satellite, and a counter function to compute how many satellites are in view from given locations on the Earth's surface. Thanks to its low computational burden, the tool can be adopted to compute the optimal number of satellites per each orbital plane by verifying if the coverage and accuracy requirements are fulfilled under the assumption of uniform in-plane angular spacing between coplanar satellites.


title: Tb/s Polar Successive Cancellation Decoder 16nm ASIC Implementation

abstract: This work presents an efficient ASIC implementation of successive cancellation (SC) decoder for polar codes. SC is a low-complexity depth-first search decoding algorithm, favorable for beyond-5G applications that require extremely high throughput and low power. The ASIC implementation of SC in this work exploits many techniques including pipelining and unrolling to achieve Tb/s data throughput without compromising power and area metrics. To reduce the complexity of the implementation, an adaptive log-likelihood ratio (LLR) quantization scheme is used. This scheme optimizes bit precision of the internal LLRs within the range of 1-5 bits by considering irregular polarization and entropy of LLR distribution in SC decoder. The performance cost of this scheme is less than 0.2 dB when the code block length is 1024 bits and the payload is 854 bits. Furthermore, some computations in SC take large space with high degree of parallelization while others take longer time steps. To optimize these computations and reduce both memory and latency, register reduction/balancing (R-RB) method is used. The final decoder architecture is called optimized polar SC (OPSC). The post-placement-routing results at 16nm FinFet ASIC technology show that OPSC decoder achieves 1.2 Tb/s coded throughput on 0.79 mm$^2$ area with 0.95 pJ/bit energy efficiency.


title: Wave propagation in random media, parameter estimation and damage detection via stochastic Fourier integral operators

abstract: This paper presents a new approach to modelling wave propagation in random, linearly elastic materials, namely by means of Fourier integral operators (FIOs). The FIO representation of the solution to the equations of motion can be used to identify the elastic parameters of the underlying media, as well as their statistical hyperparameters in the randomly perturbed case. A stochastic version of the FIO representation can be used for damage detection. Hypothesis tests are proposed and validated, which are capable of distinguishing between an undamaged and a damaged material, even in the presence of random material parameters. The paper presents both the theoretical fundamentals as well as a numerical experiment, in which the applicability of the proposed method is demonstrated.


title: Explicitly stable Fundamental Measure Theory models for classical density functional theory

abstract: The derivation of the state of the art tensorial versions of Fundamental Measure Theory (a form of classical Density Functional Theory for hard spheres) are re-examined in the light of the recently introduced concept of global stability of the density functional based on its boundedness (Lutsko and Lam, Phys. Rev. E 98, 012604 (2018)). It is shown that within the present paradigm, explicitly stability of the functional can be achieved only at the cost of giving up accuracy at low densities. It is argued that this is an acceptable trade-off since the main value of DFT lies in the study of dense systems. Explicit calculations for a wide variety of systems shows that a proposed explicitly stable functional is competitive in all ways with the popular White Bear model while sharing some of its weaknesses when applied to non-close-packed solids.


title: Real-time Lane detection and Motion Planning in Raspberry Pi and Arduino for an Autonomous Vehicle Prototype

abstract: This paper discusses a vehicle prototype that recognizes streets' lanes and plans its motion accordingly without any human input. Pi Camera 1.3 captures real-time video, which is then processed by Raspberry-Pi 3.0 Model B. The image processing algorithms are written in Python 3.7.4 with OpenCV 4.2. Arduino Uno is utilized to control the PID algorithm that controls the motor controller, which in turn controls the wheels. Algorithms that are used to detect the lanes are the Canny edge detection algorithm and Hough transformation. Elementary algebra is used to draw the detected lanes. After detection, the lanes are tracked using the Kalman filter prediction method. Then the midpoint of the two lanes is found, which is the initial steering direction. This initial steering direction is further smoothed by using the Past Accumulation Average Method and Kalman Filter Prediction Method. The prototype was tested in a controlled environment in real-time. Results from comprehensive testing suggest that this prototype can detect road lanes and plan its motion successfully.


title: Longformer for MS MARCO Document Re-ranking Task

abstract: Two step document ranking, where the initial retrieval is done by a classical information retrieval method, followed by neural re-ranking model, is the new standard. The best performance is achieved by using transformer-based models as re-rankers, e.g., BERT. We employ Longformer, a BERT-like model for long documents, on the MS MARCO document re-ranking task. The complete code used for training the model can be found on: https://github.com/isekulic/longformer-marco


title: Transform Domain Pyramidal Dilated Convolution Networks For Restoration of Under Display Camera Images

abstract: Under-display camera (UDC) is a novel technology that can make digital imaging experience in handheld devices seamless by providing large screen-to-body ratio. UDC images are severely degraded owing to their positioning under a display screen. This work addresses the restoration of images degraded as a result of UDC imaging. Two different networks are proposed for the restoration of images taken with two types of UDC technologies. The first method uses a pyramidal dilated convolution within a wavelet decomposed convolutional neural network for pentile-organic LED (P-OLED) based display system. The second method employs pyramidal dilated convolution within a discrete cosine transform based dual domain network to restore images taken using a transparent-organic LED (T-OLED) based UDC system. The first method produced very good quality restored images and was the winning entry in European Conference on Computer Vision (ECCV) 2020 challenge on image restoration for Under-display Camera - Track 2 - P-OLED evaluated based on PSNR and SSIM. The second method scored fourth position in Track-1 (T-OLED) of the challenge evaluated based on the same metrics.


title: Modal model theory

abstract: We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement $\varphi$ is possible in a structure (written $\Diamond\varphi$) if $\varphi$ is true in some extension of that structure, and $\varphi$ is necessary (written $\Box\varphi$) if it is true in all extensions of the structure. A principal case for us will be the class Mod(T) of all models of a given theory T---all graphs, all groups, all fields, or what have you---considered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, $k$-colorability, finiteness, countability, size continuum, size $\aleph_1$, $\aleph_2$, $\aleph_\omega$, $\beth_\omega$, first $\beth$-fixed point, first $\beth$-hyper-fixed-point and much more. A graph obeys the maximality principle $\Diamond\Box\varphi(a)\to\varphi(a)$ with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs.


title: Far-Field Automatic Speech Recognition

abstract: The machine recognition of speech spoken at a distance from the microphones, known as far-field automatic speech recognition (ASR), has received a significant increase of attention in science and industry, which caused or was caused by an equally significant improvement in recognition accuracy. Meanwhile it has entered the consumer market with digital home assistants with a spoken language interface being its most prominent application. Speech recorded at a distance is affected by various acoustic distortions and, consequently, quite different processing pipelines have emerged compared to ASR for close-talk speech. A signal enhancement front-end for dereverberation, source separation and acoustic beamforming is employed to clean up the speech, and the back-end ASR engine is robustified by multi-condition training and adaptation. We will also describe the so-called end-to-end approach to ASR, which is a new promising architecture that has recently been extended to the far-field scenario. This tutorial article gives an account of the algorithms used to enable accurate speech recognition from a distance, and it will be seen that, although deep learning has a significant share in the technological breakthroughs, a clever combination with traditional signal processing can lead to surprisingly effective solutions.


title: On non-empty cross-intersecting families

abstract: Let $2^{[n]}$ and $\binom{[n]}{i}$ be the power set and the class of all $i$-subsets of $\{1,2,\cdots,n\}$, respectively. We call two families $\mathscr{A}$ and $\mathscr{B}$ cross-intersecting if $A\cap B\neq \emptyset$ for any $A\in \mathscr{A}$ and $B\in \mathscr{B}$. In this paper we show that, for $n\geq k+l,l\geq r\geq 1,c>0$ and $\mathscr{A}\subseteq \binom{[n]}{k},\mathscr{B}\subseteq \binom{[n]}{l}$, if $\mathscr{A}$ and $\mathscr{B}$ are cross-intersecting and $\binom{n-r}{l-r}\leq|\mathscr{B}|\leq \binom{n-1}{l-1}$, then $$|\mathscr{A}|+c|\mathscr{B}|\leq \max\left\{\binom{n}{k}-\binom{n-r}{k}+c\binom{n-r}{l-r},\ \binom{n-1}{k-1}+c\binom{n-1}{l-1}\right\}$$ and the families $\mathscr{A}$ and $\mathscr{B}$ attaining the upper bound are also characterized. This generalizes the corresponding result of Hilton and Milner for $c=1$ and $r=k=l$, and implies a result of Tokushige and the second author (Theorem 1.3).


title: A Model for Reliable Uplink Transmissions in LoRaWAN

abstract: Long range wide area networks (LoRaWAN) technology provides a simple solution to enable low-cost services for low power internet-of-things (IoT) networks in various applications. The current evaluation of LoRaWAN networks relies on simulations or early testing, which are typically time consuming and prevent effective exploration of the design space. This paper proposes an analytical model to calculate the delay and energy consumed for reliable Uplink (UL) data delivery in Class A LoRaWAN. The analytical model is evaluated using a real network test-bed as well as simulation experiments based on the ns-3 LoRaWAN module. The resulting comparison confirms that the model accurately estimates the delay and energy consumed in the considered environment. The value of the model is demonstrated via its application to evaluate the impact of the number of end-devices and the maximum number of data frame retransmissions on delay and energy consumed for the confirmed UL data delivery in LoRaWAN networks. The model can be used to optimize different transmission parameters in future LoRaWAN networks.


title: Analysis of simultaneous inpainting and geometric separation based on sparse decomposition

abstract: Natural images are often the superposition of various parts of different geometric characteristics. For instance, an image might be a mixture of cartoon and texture structures. In addition, images are often given with missing data. In this paper, we develop a method for simultaneously decomposing an image to its two underlying parts and inpainting the missing data. Our separation inpainting method is based on and $l_1$ minimization approach, using two dictionaries, each sparsifying one of the image parts but not the other. We introduce a comprehensive convergence analysis of our method, in a general setting, utilizing the concepts of joint concentration, clustered sparsity, and cluster coherence. As the main application of our theory, we consider the problem of separating and inpainting an image to a cartoon and texture parts.


title: DVG-Face: Dual Variational Generation for Heterogeneous Face Recognition

abstract: Heterogeneous Face Recognition (HFR) refers to matching cross-domain faces and plays a crucial role in public security. Nevertheless, HFR is confronted with challenges from large domain discrepancy and insufficient heterogeneous data. In this paper, we formulate HFR as a dual generation problem, and tackle it via a novel Dual Variational Generation (DVG-Face) framework. Specifically, a dual variational generator is elaborately designed to learn the joint distribution of paired heterogeneous images. However, the small-scale paired heterogeneous training data may limit the identity diversity of sampling. In order to break through the limitation, we propose to integrate abundant identity information of large-scale visible data into the joint distribution. Furthermore, a pairwise identity preserving loss is imposed on the generated paired heterogeneous images to ensure their identity consistency. As a consequence, massive new diverse paired heterogeneous images with the same identity can be generated from noises. The identity consistency and identity diversity properties allow us to employ these generated images to train the HFR network via a contrastive learning mechanism, yielding both domain-invariant and discriminative embedding features. Concretely, the generated paired heterogeneous images are regarded as positive pairs, and the images obtained from different samplings are considered as negative pairs. Our method achieves superior performances over state-of-the-art methods on seven challenging databases belonging to five HFR tasks, including NIR-VIS, Sketch-Photo, Profile-Frontal Photo, Thermal-VIS, and ID-Camera. The related code will be released at https://github.com/BradyFU.


title: Vibrationally Resolved Coupled Cluster X-Ray Absorption Spectra from Vibrational Configuration Interaction Anharmonic Calculations

abstract: Vibrationally resolved near-edge x-ray absorption spectra at the K-edge for a number of small molecules have been computed from anharmonic vibrational configuration interaction calculations of the Franck-Condon factors. The potential energy surfaces for ground and core-excited states were obtained at the core-valence separated CC2, CCSD, CCSDR(3), and CC3 levels of theory, employing the Adaptive Density-Guided Approach (ADGA) scheme to select the single points at which to perform the energy calculations. We put forward an initial attempt to include pair-mode coupling terms to describe the potential of polyatomic molecules


title: Cooling-heating phase transition and critical behavior of the charged accelerating AdS black hole

abstract: We study the cooling-heating phase transition of the charged accelerating anti-de Sitter black hole in extended phase space, and investigate the critical behavior of this black hole in extended phase space. By calculating the thermodynamic quantities and state equation, we found that the charged accelerating AdS black hole as thermodynamic system is similar to the van der Waals system. The inversion temperature of this black hole is obtained, and cooling-heating and isenthalpic curves are plotted in T-P plane. Our results indicate that the inversion temperature for a given pressure increases with e, and the acceleration parameter has the opposite effect, which the cooling-heating curves decreases gradually with the the increases of a. We also analyse the influence of acceleration parameter on isenthalpic curves, implying that the phase transition point decreases with the increase of acceleration factor under constant pressure.


title: Accelerating Auxiliary Function-based Independent Vector Analysis

abstract: Independent Vector Analysis (IVA) is an effective approach for Blind Source Separation (BSS) of convolutive mixtures of audio signals. As a practical realization of an IVA-based BSS algorithm, the so-called AuxIVA update rules based on the Majorize-Minimize (MM) principle have been proposed which allow for fast and computationally efficient optimization of the IVA cost function. For many real-time applications, however, update rules for IVA exhibiting even faster convergence are highly desirable. To this end, we investigate techniques which accelerate the convergence of the AuxIVA update rules without extra computational cost. The efficacy of the proposed methods is verified in experiments representing real-world acoustic scenarios.


title: Discovery of a ~30-Year-Duration Post-Nova Pulsating Supersoft Source in the Large Magellanic Cloud

abstract: Supersoft X-ray sources (SSS) have been identified as white dwarfs accreting from binary companions and undergoing nuclear-burning of the accreted material on their surface. Although expected to be a relatively numerous population from both binary evolution models and their identification as Type Ia supernova progenitor candidates, given the very soft spectrum of SSSs relatively few are known. Here we report on the X-ray and optical properties of 1RXS J050526.3-684628, a previously unidentified accreting nuclear-burning white dwarf located in the Large Magellanic Cloud (LMC). XMM-Newton observations enabled us to study its X-ray spectrum and measure for the first time short period oscillations of ~170 s. By analysing newly obtained X-ray data by eROSITA, together with Swift observations and archival ROSAT data, we have followed its long-term evolution over the last 3 decades. We identify 1RXS J050526.3-684628 as a slowly-evolving post-nova SSS undergoing residual surface nuclear-burning, which finally reached its peak in 2013 and is now declining. Though long expected on theoretical grounds, such long-lived residual-burning objects had not yet been found. By comparison with existing models, we find that the effective temperature and luminosity evolution are consistent with a ~0.7 $M_{\odot}$ carbon-oxygen white dwarf accreting ~10$^{-9}~\rm{M}_{\odot}$/yr. Our results suggest there may be many more undiscovered SSSs and "missed" novae awaiting dedicated deep X-ray searches in the LMC and elsewhere.


title: MARS: Mixed Virtual and Real Wearable Sensors for Human Activity Recognition with Multi-Domain Deep Learning Model

abstract: Together with the rapid development of the Internet of Things (IoT), human activity recognition (HAR) using wearable Inertial Measurement Units (IMUs) becomes a promising technology for many research areas. Recently, deep learning-based methods pave a new way of understanding and performing analysis of the complex data in the HAR system. However, the performance of these methods is mostly based on the quality and quantity of the collected data. In this paper, we innovatively propose to build a large database based on virtual IMUs and then address technical issues by introducing a multiple-domain deep learning framework consisting of three technical parts. In the first part, we propose to learn the single-frame human activity from the noisy IMU data with hybrid convolutional neural networks (CNNs) in the semi-supervised form. For the second part, the extracted data features are fused according to the principle of uncertainty-aware consistency, which reduces the uncertainty by weighting the importance of the features. The transfer learning is performed in the last part based on the newly released Archive of Motion Capture as Surface Shapes (AMASS) dataset, containing abundant synthetic human poses, which enhances the variety and diversity of the training dataset and is beneficial for the process of training and feature transfer in the proposed method. The efficiency and effectiveness of the proposed method have been demonstrated in the real deep inertial poser (DIP) dataset. The experimental results show that the proposed methods can surprisingly converge within a few iterations and outperform all competing methods.


title: Scale-Localized Abstract Reasoning

abstract: We consider the abstract relational reasoning task, which is commonly used as an intelligence test. Since some patterns have spatial rationales, while others are only semantic, we propose a multi-scale architecture that processes each query in multiple resolutions. We show that indeed different rules are solved by different resolutions and a combined multi-scale approach outperforms the existing state of the art in this task on all benchmarks by 5-54%. The success of our method is shown to arise from multiple novelties. First, it searches for relational patterns in multiple resolutions, which allows it to readily detect visual relations, such as location, in higher resolution, while allowing the lower resolution module to focus on semantic relations, such as shape type. Second, we optimize the reasoning network of each resolution proportionally to its performance, hereby we motivate each resolution to specialize on the rules for which it performs better than the others and ignore cases that are already solved by the other resolutions. Third, we propose a new way to pool information along the rows and the columns of the illustration-grid of the query. Our work also analyses the existing benchmarks, demonstrating that the RAVEN dataset selects the negative examples in a way that is easily exploited. We, therefore, propose a modified version of the RAVEN dataset, named RAVEN-FAIR. Our code and pretrained models are available at https://github.com/yanivbenny/MRNet.


title: Learning-Based Massive Beamforming

abstract: Developing resource allocation algorithms with strong real-time and high efficiency has been an imperative topic in wireless networks. Conventional optimization-based iterative resource allocation algorithms often suffer from slow convergence, especially for massive multiple-input-multiple-output (MIMO) beamforming problems. This paper studies learning-based efficient massive beamforming methods for multi-user MIMO networks. The considered massive beamforming problem is challenging in two aspects. First, the beamforming matrix to be learned is quite high-dimensional in case with a massive number of antennas. Second, the objective is often time-varying and the solution space is not fixed due to some communication requirements. All these challenges make learning representation for massive beamforming an extremely difficult task. In this paper, by exploiting the structure of the most popular WMMSE beamforming solution, we propose convolutional massive beamforming neural networks (CMBNN) using both supervised and unsupervised learning schemes with particular design of network structure and input/output. Numerical results demonstrate the efficacy of the proposed CMBNN in terms of running time and system throughput.


title: Spectral study of V565 Mon: Probable FU Ori-like or chemically peculiar star

abstract: We present the detailed spectroscopic study of V565 Mon pre-main-sequence star, which is the illuminating star of Parsamian 17 cometary nebula. Observations were performed with 2.6 m telescope in Byurakan Astrophysical Observatory in 15 February 2018. Radial velocities and equivalent widths of the most prominent lines of V565 Mon are presented. We built the spectral energy distribution and estimated the main parameters of the star, for example obtained bolometric luminosity of V565 Mon is $L_{V565}\approx 130L_{\odot} $ . Considering all features of V565 Mon we came to conclusion that this young intermediate-mass star can belongs to some intermediate class between T Tau and HAeBe stars. Very unusual for a young star is the presence of strong absorption Ba II lines in the spectrum. Possible explanations on this issue are discussed. Hence, we think that V565 Mon is a unique example, which can help to understand some open questions in nucleosynthesis problem in young stars.


title: Robust 2D Assembly Sequencing via Geometric Planning with Learned Scores

abstract: To compute robust 2D assembly plans, we present an approach that combines geometric planning with a deep neural network. We train the network using the Box2D physics simulator with added stochastic noise to yield robustness scores--the success probabilities of planned assembly motions. As running a simulation for every assembly motion is impractical, we train a convolutional neural network to map assembly operations, given as an image pair of the subassemblies before and after they are mated, to a robustness score. The neural network prediction is used within a planner to quickly prune out motions that are not robust. We demonstrate this approach on two-handed planar assemblies, where the motions are one-step translations. Results suggest that the neural network can learn robustness to plan robust sequences an order of magnitude faster than physics simulation.


title: Lucas-Euler relations using balancing and Lucas-balancing polynomials

abstract: We establish some new combinatorial identities involving Euler polynomials and balancing (Lucas-balancing) polynomials. The derivations use elementary techniques and are based on functional equations for the respective generating functions. From these polynomial relations, we deduce interesting identities with Fibonacci and Lucas numbers, and Euler numbers. The results must be regarded as companion results to some Fibonacci-Bernoulli identities, which we derived in our previous paper.


title: Tiling by translates of a function: results and open problems

abstract: We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $\Lambda \subset \mathbb{R}$, if we have $\sum_{\lambda \in \Lambda} f(x-\lambda)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution of the translates, periodic and non-periodic tilings, and tilings at level zero. Fourier analysis plays an important role in the proofs. Some open problems are also given.


title: Robust generation of logical qubit singlet states with reverse engineering and optimal control with spin qubits

abstract: A protocol is proposed to generate singlet states of three logical qubits constructed by pairs of spins. Single and multiple operations of logical qubits are studied for the construction of an effective Hamiltonian, with which robust control fields are derived with invariant-based reverse engineering and optimal control. Moreover, systematic errors are further compensated by periodic modulation for better robustness. Furthermore, resistance to decoherence of the protocol is also shown with numerical simulations. Therefore, the protocol may provide useful perspectives for generations of logical qubit entanglement in spin systems.


title: ContourCNN: convolutional neural network for contour data classification

abstract: This paper proposes a novel Convolutional Neural Network model for contour data analysis (ContourCNN) and shape classification. A contour is a circular sequence of points representing a closed shape. For handling the cyclical property of the contour representation, we employ circular convolution layers. Contours are often represented sparsely. To address information sparsity, we introduce priority pooling layers that select features based on their magnitudes. Priority pooling layers pool features with low magnitudes while leaving the rest unchanged. We evaluated the proposed model using letters and digits shapes extracted from the EMNIST dataset and obtained a high classification accuracy.