title: Towards Clustering-friendly Representations: Subspace Clustering via Graph Filtering

abstract: Finding a suitable data representation for a specific task has been shown to be crucial in many applications. The success of subspace clustering depends on the assumption that the data can be separated into different subspaces. However, this simple assumption does not always hold since the raw data might not be separable into subspaces. To recover the ``clustering-friendly'' representation and facilitate the subsequent clustering, we propose a graph filtering approach by which a smooth representation is achieved. Specifically, it injects graph similarity into data features by applying a low-pass filter to extract useful data representations for clustering. Extensive experiments on image and document clustering datasets demonstrate that our method improves upon state-of-the-art subspace clustering techniques. Especially, its comparable performance with deep learning methods emphasizes the effectiveness of the simple graph filtering scheme for many real-world applications. An ablation study shows that graph filtering can remove noise, preserve structure in the image, and increase the separability of classes.


title: Smoothed Multi-View Subspace Clustering

abstract: In recent years, multi-view subspace clustering has achieved impressive performance due to the exploitation of complementary imformation across multiple views. However, multi-view data can be very complicated and are not easy to cluster in real-world applications. Most existing methods operate on raw data and may not obtain the optimal solution. In this work, we propose a novel multi-view clustering method named smoothed multi-view subspace clustering (SMVSC) by employing a novel technique, i.e., graph filtering, to obtain a smooth representation for each view, in which similar data points have similar feature values. Specifically, it retains the graph geometric features through applying a low-pass filter. Consequently, it produces a ``clustering-friendly" representation and greatly facilitates the downstream clustering task. Extensive experiments on benchmark datasets validate the superiority of our approach. Analysis shows that graph filtering increases the separability of classes.


title: Anomaly Detection in Dynamic Graphs via Transformer

abstract: Detecting anomalies for dynamic graphs has drawn increasing attention due to their wide applications in social networks, e-commerce, and cybersecurity. Recent deep learning-based approaches have shown promising results over shallow methods. However, they fail to address two core challenges of anomaly detection in dynamic graphs: the lack of informative encoding for unattributed nodes and the difficulty of learning discriminate knowledge from coupled spatial-temporal dynamic graphs. To overcome these challenges, in this paper, we present a novel Transformer-based Anomaly Detection framework for DYnamic graphs (TADDY). Our framework constructs a comprehensive node encoding strategy to better represent each node's structural and temporal roles in an evolving graphs stream. Meanwhile, TADDY captures informative representation from dynamic graphs with coupled spatial-temporal patterns via a dynamic graph transformer model. The extensive experimental results demonstrate that our proposed TADDY framework outperforms the state-of-the-art methods by a large margin on six real-world datasets.


title: HIFIR: Hybrid Incomplete Factorization with Iterative Refinement for Preconditioning Ill-conditioned and Singular Systems

abstract: We introduce a software package called HIFIR for preconditioning sparse, unsymmetric, ill-conditioned, and potentially singular systems. HIFIR computes a hybrid incomplete factorization, which combines multilevel incomplete LU factorization with a truncated, rank-revealing QR factorization on the final Schur complement. This novel hybridization is based on the new theory of approximate generalized inverse and $\epsilon$-accuracy. It enables near-optimal preconditioners for consistent systems and enables flexible GMRES to solve inconsistent systems when coupled with iterative refinement. In this paper, we focus on some practical algorithmic and software issues of HIFIR. In particular, we introduce a new inverse-based rook pivoting into ILU, which improves the robustness and the overall efficiency for some ill-conditioned systems by significantly reducing the size of the final Schur complement for some systems. We also describe the software design of HIFIR in terms of its efficient data structures for supporting rook pivoting in a multilevel setting, its template-based generic programming interfaces for mixed-precision real and complex values in C++, and its user-friendly high-level interfaces in MATLAB and Python. We demonstrate the effectiveness of HIFIR for ill-conditioned or singular systems arising from several applications, including the Helmholtz equation, linear elasticity, stationary incompressible Navier--Stokes equations, and time-dependent advection-diffusion equation.


title: Counting lattice paths by crossings and major index I: the corner-flipping bijections

abstract: We solve two problems regarding the enumeration of lattice paths in $\mathbb{Z}^2$ with steps $(1,1)$ and $(1,-1)$ with respect to the major index, defined as the sum of the positions of the valleys, and to the number of certain crossings. The first problem considers crossings of a single path with a fixed horizontal line. The second one counts pairs of paths with respect to the number of times they cross each other. Our proofs introduce lattice path bijections with convenient visual descriptions, and the answers are given by remarkably simple formulas involving $q$-binomial coefficients.


title: Design Principles for High Temperature Superconductors with Hydrogen-based Alloy Backbone at Moderate Pressure

abstract: Hydrogen-based superconductors provide a route to the long-sought goal of room-temperature superconductivity, but the high pressures required to metallize these materials limit their immediate application. For example, carbonaceous sulfur hydride, the first room-temperature superconductor, can reach a critical temperature (Tc) of 288 K only at the extreme pressure of 267 GPa. The next recognized challenge is the realization of room-temperature superconductivity at significantly lower pressures. Here, we propose a strategy for the rational design of high-temperature superconductors at low pressures by alloying small-radius elements and hydrogen to form ternary hydride superconductors with alloy backbones. We identify a hitherto unknown fluorite-type backbone in compositions of the form AXH8, which exhibit high temperature superconductivity at moderate pressures. The Fm-3m phase of LaBeH8, with a fluorite-type H-Be alloy backbone, is predicted to be metastable and superconducting with a Tc ~ 191 K at 50 GPa; a substantially lower pressure than that required by the geometrically similar clathrate hydride LaH10 (170 GPa). Our approach paves the way for finding high-Tc ternary hydride superconductors at conditions close to ambient pressures.


title: Accelerated quantum Monte Carlo with mitigated error on noisy quantum computer

abstract: Quantum Monte Carlo and quantum simulation are both important tools for understanding quantum many-body systems. As a classical algorithm, quantum Monte Carlo suffers from the sign problem, preventing its application to most fermion systems and real time dynamics. In this paper, we introduce a novel non-variational algorithm using quantum simulation as a subroutine to accelerate quantum Monte Carlo by easing the sign problem. The quantum subroutine can be implemented with shallow circuits and, by incorporating error mitigation, can reduce the Monte Carlo variance by several orders of magnitude even when the circuit noise is significant. As such, the proposed quantum algorithm is applicable to near-term noisy quantum hardware.


title: Identifying intracity freight trip ends from heavy truck GPS trajectories

abstract: Intracity heavy truck freight trips are basic data in city freight system planning and management. In the big data era, massive heavy truck GPS trajectories can be acquired cost effectively in real-time. Identifying freight trip ends (origins and destinations) from heavy truck GPS trajectories is an outstanding problem. Although previous studies proposed a variety of trip end identification methods from different perspectives, these studies subjectively defined key threshold parameters and ignored the complex intracity heavy truck travel characteristics. Here, we propose a data-driven trip end identification method in which the speed threshold for identifying truck stops and the multilevel time thresholds for distinguishing temporary stops and freight trip ends are objectively defined. Moreover, an appropriate time threshold level is dynamically selected by considering the intracity activity patterns of heavy trucks. Furthermore, we use urban road networks and point-of-interest (POI) data to eliminate misidentified trip ends to improve method accuracy. The validation results show that the accuracy of the method we propose is 87.45%. Our method incorporates the impact of the city freight context on truck trajectory characteristics, and its results can reflect the spatial distribution and chain patterns of intracity heavy truck freight trips, which have a wide range of practical applications.


title: Engineered Bacteria Computationally Solve Chemically Generated 2X2 Maze Problems

abstract: Maze generating and solving are challenging problems in mathematics and computing. Here we generated simple 2X2 maze problems applying four chemicals and created a set of engineered bacteria, which in a mixed population worked as a computational solver for any such problem. The input-output matrices of a mathematical maze were mapped through a truth table, where the logic values of four chemical inputs determined the sixteen different 2X2 maze problems on a chemical space. Our engineered bacteria, which consisted of six different genetic logic circuits and distributed among six cell populations processed the chemical information and solved the problems by expressing or not expressing four different fluorescent proteins. The three available solutions were visualized by glowing bacteria and for the thirteen no solution cases no bacteria glowed. Thus, our system not only solved the maze problems but also showed the number of solvable and unsolvable problems. This work presented a new and abstract cellular computational way towards maze problems and may have significance in biocomputation and synthetic biology.


title: On Logics of Perfect Paradefinite Algebras

abstract: The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus obtained (PP-algebras) is shown to be term-equivalent to the variety of involutive Stone algebras, introduced by R. Cignoli and M. Sagastume, and more recently studied from a logical perspective by M. Figallo-L. Cant\'u and by S. Marcelino-U. Rivieccio. This equivalence plays an important role in the investigation of the 1-assertional logic and of the order-preserving logic associated to PP-algebras. The latter logic (here called PP<=) is characterized by a single 6-valued matrix and is shown to be a Logic of Formal Inconsistency and Formal Undeterminedness. We axiomatize PP<= by means of an analytic finite Hilbert-style calculus, and we present an axiomatization procedure that covers the logics corresponding to other classes of De Morgan algebras enriched by a perfection operator.


title: Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks

abstract: Bayesian optimization (BO) is a powerful approach for optimizing black-box, expensive-to-evaluate functions. To enable a flexible trade-off between the cost and accuracy, many applications allow the function to be evaluated at different fidelities. In order to reduce the optimization cost while maximizing the benefit-cost ratio, in this paper, we propose Batch Multi-fidelity Bayesian Optimization with Deep Auto-Regressive Networks (BMBO-DARN). We use a set of Bayesian neural networks to construct a fully auto-regressive model, which is expressive enough to capture strong yet complex relationships across all the fidelities, so as to improve the surrogate learning and optimization performance. Furthermore, to enhance the quality and diversity of queries, we develop a simple yet efficient batch querying method, without any combinatorial search over the fidelities. We propose a batch acquisition function based on Max-value Entropy Search (MES) principle, which penalizes highly correlated queries and encourages diversity. We use posterior samples and moment matching to fulfill efficient computation of the acquisition function and conduct alternating optimization over every fidelity-input pair, which guarantees an improvement at each step. We demonstrate the advantage of our approach on four real-world hyperparameter optimization applications.


title: An Improved Single Step Non-autoregressive Transformer for Automatic Speech Recognition

abstract: Non-autoregressive mechanisms can significantly decrease inference time for speech transformers, especially when the single step variant is applied. Previous work on CTC alignment-based single step non-autoregressive transformer (CASS-NAT) has shown a large real time factor (RTF) improvement over autoregressive transformers (AT). In this work, we propose several methods to improve the accuracy of the end-to-end CASS-NAT, followed by performance analyses. First, convolution augmented self-attention blocks are applied to both the encoder and decoder modules. Second, we propose to expand the trigger mask (acoustic boundary) for each token to increase the robustness of CTC alignments. In addition, iterated loss functions are used to enhance the gradient update of low-layer parameters. Without using an external language model, the WERs of the improved CASS-NAT, when using the three methods, are 3.1%/7.2% on Librispeech test clean/other sets and the CER is 5.4% on the Aishell1 test set, achieving a 7%~21% relative WER/CER improvement. For the analyses, we plot attention weight distributions in the decoders to visualize the relationships between token-level acoustic embeddings. When the acoustic embeddings are visualized, we find that they have a similar behavior to word embeddings, which explains why the improved CASS-NAT performs similarly to AT.


title: Quantized Neural Networks via {-1, +1} Encoding Decomposition and Acceleration

abstract: The training of deep neural networks (DNNs) always requires intensive resources for both computation and data storage. Thus, DNNs cannot be efficiently applied to mobile phones and embedded devices, which severely limits their applicability in industrial applications. To address this issue, we propose a novel encoding scheme using {-1, +1} to decompose quantized neural networks (QNNs) into multi-branch binary networks, which can be efficiently implemented by bitwise operations (i.e., xnor and bitcount) to achieve model compression, computational acceleration, and resource saving. By using our method, users can achieve different encoding precisions arbitrarily according to their requirements and hardware resources. The proposed mechanism is highly suitable for the use of FPGA and ASIC in terms of data storage and computation, which provides a feasible idea for smart chips. We validate the effectiveness of our method on large-scale image classification (e.g., ImageNet), object detection, and semantic segmentation tasks. In particular, our method with low-bit encoding can still achieve almost the same performance as its high-bit counterparts.


title: Medical Matting: A New Perspective on Medical Segmentation with Uncertainty

abstract: It is difficult to accurately label ambiguous and complex shaped targets manually by binary masks. The weakness of binary mask under-expression is highlighted in medical image segmentation, where blurring is prevalent. In the case of multiple annotations, reaching a consensus for clinicians by binary masks is more challenging. Moreover, these uncertain areas are related to the lesions' structure and may contain anatomical information beneficial to diagnosis. However, current studies on uncertainty mainly focus on the uncertainty in model training and data labels. None of them investigate the influence of the ambiguous nature of the lesion itself.Inspired by image matting, this paper introduces alpha matte as a soft mask to represent uncertain areas in medical scenes and accordingly puts forward a new uncertainty quantification method to fill the gap of uncertainty research for lesion structure. In this work, we introduce a new architecture to generate binary masks and alpha mattes in a multitasking framework, which outperforms all state-of-the-art matting algorithms compared. The proposed uncertainty map is able to highlight the ambiguous regions and a novel multitasking loss weighting strategy we presented can improve performance further and demonstrate their concrete benefits. To fully-evaluate the effectiveness of our proposed method, we first labelled three medical datasets with alpha matte to address the shortage of available matting datasets in medical scenes and prove the alpha matte to be a more efficient labeling method than a binary mask from both qualitative and quantitative aspects.


title: Elliptic stable envelopes and 3d mirror symmetry

abstract: In this thesis we discuss various classical problems in enumerative geometry. We are focused on ideas and methods which can be used explicitly for practical computations. Our approach is based on studying the limits of elliptic stable envelopes with shifted equivariant or Kahler variables from elliptic cohomology to K-theory. We prove that for a variety X we can obtain K-theoretic stable envelopes for the variety X^G of the G-fixed points of X, where G is a cyclic group acting on X preserving the symplectic form. We formalize the notion of symplectic duality, also known as 3-dimensional mirror symmetry. We obtain a factorization theorem about the limit of elliptic stable envelopes to a wall, which generalizes the result of M.Aganagic and A.Okounkov. This approach allows us to extend the action of quantum groups, quantum Weyl groups, R-matrices etc., to actions on the K-theory of the symplectic dual variety. In the case of the Hilbert scheme of points in plane, our results imply the conjectures of E.Gorsky and A.Negut. We propose a new approach to K-theoretic quantum difference equations.

categories: math.AG hep-th math-ph math.KT math.MP math.RT


title: GEM: A General Evaluation Benchmark for Multimodal Tasks

abstract: In this paper, we present GEM as a General Evaluation benchmark for Multimodal tasks. Different from existing datasets such as GLUE, SuperGLUE, XGLUE and XTREME that mainly focus on natural language tasks, GEM is a large-scale vision-language benchmark, which consists of GEM-I for image-language tasks and GEM-V for video-language tasks. Comparing with existing multimodal datasets such as MSCOCO and Flicker30K for image-language tasks, YouCook2 and MSR-VTT for video-language tasks, GEM is not only the largest vision-language dataset covering image-language tasks and video-language tasks at the same time, but also labeled in multiple languages. We also provide two baseline models for this benchmark. We will release the dataset, code and baseline models, aiming to advance the development of multilingual multimodal research.


title: Gradual Domain Adaptation via Self-Training of Auxiliary Models

abstract: Domain adaptation becomes more challenging with increasing gaps between source and target domains. Motivated from an empirical analysis on the reliability of labeled source data for the use of distancing target domains, we propose self-training of auxiliary models (AuxSelfTrain) that learns models for intermediate domains and gradually combats the distancing shifts across domains. We introduce evolving intermediate domains as combinations of decreasing proportion of source data and increasing proportion of target data, which are sampled to minimize the domain distance between consecutive domains. Then the source model could be gradually adapted for the use in the target domain by self-training of auxiliary models on evolving intermediate domains. We also introduce an enhanced indicator for sample selection via implicit ensemble and extend the proposed method to semi-supervised domain adaptation. Experiments on benchmark datasets of unsupervised and semi-supervised domain adaptation verify its efficacy.


title: ICINet: ICI-Aware Neural Network Based Channel Estimation for Rapidly Time-Varying OFDM Systems

abstract: A novel intercarrier interference (ICI)-aware orthogonal frequency division multiplexing (OFDM) channel estimation network ICINet is presented for rapidly time-varying channels. ICINet consists of two components: a preprocessing deep neural subnetwork (PreDNN) and a cascaded residual learning-based neural subnetwork (CasResNet). By fully taking into account the impact of ICI, the proposed PreDNN first refines the initial channel estimates in a subcarrier-wise fashion. In addition, the CasResNet is designed to further enhance the estimation accuracy. The proposed cascaded network is compatible with any pilot patterns and robust against mismatched system configurations. Simulation results verify the superiority of ICINet over existing networks in terms of better performance and much less complexity.


title: Polynomial Hulls of Arcs and Curves II

abstract: We prove that if a compact set E in complex Euclidean space is contained in an arc J, then there is a choice of J whose polynomial hull is the union of J and the polynomial hull of E. This strengthens an earlier result of the author. We also correct an inaccuracy in the statement, and fill a gap in the proof, of that earlier result.


title: Propagation-induced limits to high harmonic generation in 3D Dirac semimetals

abstract: 3D Dirac semimetals (DSMs) are promising materials for terahertz high harmonic generation (HHG). We show that 3D DSMs' high nonlinearity opens up a regime of nonlinear optics where extreme subwavelength current density features develop within nanoscale propagation distances of the driving field. Our results reveal orders-of-magnitude enhancement in HHG intensity with thicker 3D DSM films, and show that these subwavelength features fundamentally limit HHG enhancement beyond an optimal film thickness. This decrease in HHG intensity beyond the optimal thickness constitutes an effective propagation-induced dephasing. Our findings highlight the importance of propagation dynamics in nanofilms of extreme optical nonlinearity.


title: Development of a conversing and body temperature scanning autonomously navigating robot to help screen for COVID-19

abstract: Throughout the COVID-19 pandemic, the most common symptom displayed by patients has been a fever, leading to the use of temperature scanning as a preemptive measure to detect potential carriers of the virus. Human employees with handheld thermometers have been used to fulfill this task, however this puts them at risk as they cannot be physically distanced and the sequential nature of this method leads to great inconveniences and inefficiency. The proposed solution is an autonomously navigating robot capable of conversing and scanning people's temperature to detect fevers and help screen for COVID-19. To satisfy this objective, the robot must be able to (1) navigate autonomously, (2) detect and track people, and (3) get individuals' temperature reading and converse with them if it exceeds 38{\deg}C. An autonomously navigating mobile robot is used with a manipulator controlled using a face tracking algorithm, and an end effector consisting of a thermal camera, smartphone, and chatbot. The goal is to develop a functioning solution that performs the above tasks. In addition, technical challenges encountered and their engineering solutions will be presented, and recommendations will be made for enhancements that could be incorporated when approaching commercialization.


title: PRGC: Potential Relation and Global Correspondence Based Joint Relational Triple Extraction

abstract: Joint extraction of entities and relations from unstructured texts is a crucial task in information extraction. Recent methods achieve considerable performance but still suffer from some inherent limitations, such as redundancy of relation prediction, poor generalization of span-based extraction and inefficiency. In this paper, we decompose this task into three subtasks, Relation Judgement, Entity Extraction and Subject-object Alignment from a novel perspective and then propose a joint relational triple extraction framework based on Potential Relation and Global Correspondence (PRGC). Specifically, we design a component to predict potential relations, which constrains the following entity extraction to the predicted relation subset rather than all relations; then a relation-specific sequence tagging component is applied to handle the overlapping problem between subjects and objects; finally, a global correspondence component is designed to align the subject and object into a triple with low-complexity. Extensive experiments show that PRGC achieves state-of-the-art performance on public benchmarks with higher efficiency and delivers consistent performance gain on complex scenarios of overlapping triples.


title: Continuity of Topic, Interaction, and Query: Learning to Quote in Online Conversations

abstract: Quotations are crucial for successful explanations and persuasions in interpersonal communications. However, finding what to quote in a conversation is challenging for both humans and machines. This work studies automatic quotation generation in an online conversation and explores how language consistency affects whether a quotation fits the given context. Here, we capture the contextual consistency of a quotation in terms of latent topics, interactions with the dialogue history, and coherence to the query turn's existing content. Further, an encoder-decoder neural framework is employed to continue the context with a quotation via language generation. Experiment results on two large-scale datasets in English and Chinese demonstrate that our quotation generation model outperforms the state-of-the-art models. Further analysis shows that topic, interaction, and query consistency are all helpful to learn how to quote in online conversations.


title: LEO Satellite Constellations for 5G and Beyond: How Will They Reshape Vertical Domains?

abstract: The rapid development of communication technologies in the past decades has provided immense vertical opportunities for individuals and enterprises. However, conventional terrestrial cellular networks have unfortunately neglected the huge geographical digital divide, since high bandwidth wireless coverage is concentrated to urban areas. To meet the goal of ``connecting the unconnected'', integrating low Earth orbit (LEO) satellites with the terrestrial cellular networks has been widely considered as a promising solution. In this article, we first introduce the development roadmap of LEO satellite constellations (SatCons), including early attempts in LEO satellites with the emerging LEO constellations. Further, we discuss the unique opportunities of employing LEO SatCons for the delivery of integrating 5G networks. Specifically, we present their key performance indicators, which offer important guidelines for the design of associated enabling techniques, and then discuss the potential impact of integrating LEO SatCons with typical 5G use cases, where we engrave our vision of various vertical domains reshaped by LEO SatCons. Technical challenges are finally provided to specify future research directions.


title: Bad Characters: Imperceptible NLP Attacks

abstract: Several years of research have shown that machine-learning systems are vulnerable to adversarial examples, both in theory and in practice. Until now, such attacks have primarily targeted visual models, exploiting the gap between human and machine perception. Although text-based models have also been attacked with adversarial examples, such attacks struggled to preserve semantic meaning and indistinguishability. In this paper, we explore a large class of adversarial examples that can be used to attack text-based models in a black-box setting without making any human-perceptible visual modification to inputs. We use encoding-specific perturbations that are imperceptible to the human eye to manipulate the outputs of a wide range of Natural Language Processing (NLP) systems from neural machine-translation pipelines to web search engines. We find that with a single imperceptible encoding injection -- representing one invisible character, homoglyph, reordering, or deletion -- an attacker can significantly reduce the performance of vulnerable models, and with three injections most models can be functionally broken. Our attacks work against currently-deployed commercial systems, including those produced by Microsoft and Google, in addition to open source models published by Facebook, IBM, and HuggingFace. This novel series of attacks presents a significant threat to many language processing systems: an attacker can affect systems in a targeted manner without any assumptions about the underlying model. We conclude that text-based NLP systems require careful input sanitization, just like conventional applications, and that given such systems are now being deployed rapidly at scale, the urgent attention of architects and operators is required.


title: Networks obtained by Implicit-Explicit Method: Discrete-time distributed median solver

abstract: In the purpose of making the consensus algorithm robust to outliers, consensus on the median value has recently attracted some attention. It has its applicability in for instance constructing a resilient distributed state estimator. Meanwhile, most of the existing works consider continuous-time algorithms and uses high-gain and discontinuous vector fields. This issues a problem of the need for smaller time steps and yielding chattering when discretizing by explicit method for its practical use. Thus, in this paper, we highlight that these issues vanish when we utilize instead Implicit-Explicit Method, for a broader class of networks designed by the blended dynamics approach. In particular, for undirected and connected graphs, we propose a discrete-time distributed median solver that does not suffer from chattering. We also verify by simulation that it has a smaller iteration number required to arrive at a steady-state.


title: A Neural Edge-Editing Approach for Document-Level Relation Graph Extraction

abstract: In this paper, we propose a novel edge-editing approach to extract relation information from a document. We treat the relations in a document as a relation graph among entities in this approach. The relation graph is iteratively constructed by editing edges of an initial graph, which might be a graph extracted by another system or an empty graph. The way to edit edges is to classify them in a close-first manner using the document and temporally-constructed graph information; each edge is represented with a document context information by a pretrained transformer model and a graph context information by a graph convolutional neural network model. We evaluate our approach on the task to extract material synthesis procedures from materials science texts. The experimental results show the effectiveness of our approach in editing the graphs initialized by our in-house rule-based system and empty graphs.


title: Generating various airfoil shapes with required lift coefficient using conditional variational autoencoders

abstract: Multiple shapes must be obtained in the mechanical design process to satisfy the required design specifications. The inverse design problem has been analyzed in previous studies to obtain such shapes. However, finding multiple shapes in a short computation period is difficult while using the conventional methods. This paper proposes the use of the conditional variational autoencoders (CVAE) with normal distribution, denoted by N-CVAE, along with the von Mises-Fischer distribution, denoted by S-CVAE, to find multiple solutions for the inverse design problems. Both the CVAE models embed shapes into a latent space. The S-CVAE enables the separation of data in the latent space, whereas the N-CVAE embeds the data in a narrow space. These different features are used for various tasks in this study. In one of the tasks, the dataset consists of only one type of data and generates similar airfoils. Here, S-CVAE outperforms N-CVAE because it can separate the data. Another task involves combining different types of airfoils and generating new types of data. N-CVAE is useful in this instance since it embeds different shapes in the same latent area, due to which, the model outputs intermediate shapes of different types. The shape-generation capability of S-CVAE and N-CVAE are experimentally compared in this study.


title: Complementary junction field-effect transistor logic gate operational at 300$^\circ$C with 1.4 V supply voltage

abstract: Integrated circuits (ICs) that can operate at high temperature have a wide variety of applications in the fields of automotive, aerospace, space exploration, and deep-well drilling. Conventional silicon-based complementary metal-oxide-semiconductor (CMOS) circuits cannot work at higher than 200 $^\circ$C, leading to the use of wide bandgap semiconductor, especially silicon carbide (SiC). However, high-density defects at an oxide-SiC interface make it impossible to predict electrical characteristics of SiC CMOS logic gates in a wide temperature range and high supply voltage (typically ${\geqq 15}$ V) is required to compensate their large logic threshold voltage shift. Here, we show that SiC complementary logic gates composed of p- and n-channel junction field-effect transistors (JFETs) operate at 300 $^\circ$C with a supply voltage as low as 1.4 V. The logic threshold voltage shift of the complementary JFET (CJFET) inverter is 0.2 V from room temperature to 300 $^\circ$C. Furthermore, temperature dependencies of the static and dynamic characteristics of the CJFET inverter are well explained by a simple analytical model of SiC JFETs. This allows us to perform electronic circuit simulation, leading to superior designability of complex circuits or memories based on SiC CJFET technology, which operate within a wide temperature range.


title: Stability of the semi-implicit method for the Cahn-Hilliard equation with logarithmic potentials

abstract: We consider the two-dimensional Cahn-Hilliard equation with logarithmic potentials and periodic boundary conditions. We employ the standard semi-implicit numerical scheme which treats the linear fourth-order dissipation term implicitly and the nonlinear term explicitly. Under natural constraints on the time step we prove strict phase separation and energy stability of the semi-implicit scheme. This appears to be the first rigorous result for the semi-implicit discretization of the Cahn-Hilliard equation with singular potentials.


title: Sharing in a Trustless World: Privacy-Preserving Data Analytics with Potentially Cheating Participants

abstract: Lack of trust between organisations and privacy concerns about their data are impediments to an otherwise potentially symbiotic joint data analysis. We propose DataRing, a data sharing system that allows mutually mistrusting participants to query each others' datasets in a privacy-preserving manner while ensuring the correctness of input datasets and query answers even in the presence of (cheating) participants deviating from their true datasets. By relying on the assumption that if only a small subset of rows of the true dataset are known, participants cannot submit answers to queries deviating significantly from their true datasets. We employ differential privacy and a suite of cryptographic tools to ensure individual privacy for each participant's dataset and data confidentiality from the system. Our results show that the evaluation of 10 queries on a dataset with 10 attributes and 500,000 records is achieved in 90.63 seconds. DataRing could detect cheating participant that deviates from its true dataset in few queries with high accuracy.


title: SAGE: Stealthy Attack GEneration for Cyber-Physical Systems

abstract: Cyber-physical systems (CPS) have been increasingly attacked by hackers. Recent studies have shown that CPS are especially vulnerable to insider attacks, in which case the attacker has full knowledge of the systems configuration. To better prevent such types of attacks, we need to understand how insider attacks are generated. Typically, there are three critical aspects for a successful insider attack: (i) Maximize damage, (ii) Avoid detection and (iii) Minimize the attack cost. In this paper we propose a Stealthy Attack GEneration (SAGE) framework by formulizing a novel optimization problem considering these three objectives and the physical constraints of the CPS. By adding small worst-case perturbations to the system, the SAGE attack can generate significant damage, while remaining undetected by the systems monitoring algorithms. The proposed methodology is evaluated on several anomaly detection algorithms. The results show that SAGE attacks can cause severe damage while staying undetected and keeping the cost of an attack low. Our method can be accessed in the supplementary material of this paper to aid researcher and practitioners in the design and development of resilient CPS and detection algorithms.


title: Influence of agent's self-disclosure on human empathy

abstract: As AI technologies progress, social acceptance of AI agents, including intelligent virtual agents and robots, is becoming even more important for more applications of AI in human society. One way to improve the relationship between humans and anthropomorphic agents is to have humans empathize with the agents. By empathizing, humans act positively and kindly toward agents, which makes it easier for them to accept the agents. In this study, we focus on self-disclosure from agents to humans in order to increase empathy felt by humans toward anthropomorphic agents. We experimentally investigate the possibility that self-disclosure from an agent facilitates human empathy. We formulate hypotheses and experimentally analyze and discuss the conditions in which humans have more empathy toward agents. Experiments were conducted with a three-way mixed plan, and the factors were the agents' appearance (human, robot), self-disclosure (high-relevance self-disclosure, low-relevance self-disclosure, no self-disclosure), and empathy before/after a video stimulus. An analysis of variance (ANOVA) was performed using data from 918 participants. We found that the appearance factor did not have a main effect, and self-disclosure that was highly relevant to the scenario used facilitated more human empathy with a statistically significant difference. We also found that no self-disclosure suppressed empathy.These results support our hypotheses. This study reveals that self-disclosure represents an important characteristic of anthropomorphic agents which helps humans to accept them.


title: The dihedral hidden subgroup problem

abstract: We give an exposition of the hidden subgroup problem for dihedral groups from the point of view of the standard hidden subgroup quantum algorithm for finite groups. In particular, we recall the obstructions for strong Fourier sampling to succeed, but at the same time, show how the standard algorithm can be modified to establish polynomial quantum query complexity. Finally, we explain a new connection between the dihedral coset problem and cloning of quantum states.


title: Light Lies: Optical Adversarial Attack

abstract: A significant amount of work has been done on adversarial attacks that inject imperceptible noise to images to deteriorate the image classification performance of deep models. However, most of the existing studies consider attacks in the digital (pixel) domain where an image acquired by an image sensor with sampling and quantization has been recorded. This paper, for the first time, introduces an optical adversarial attack, which physically alters the light field information arriving at the image sensor so that the classification model yields misclassification. More specifically, we modulate the phase of the light in the Fourier domain using a spatial light modulator placed in the photographic system. The operative parameters of the modulator are obtained by gradient-based optimization to maximize cross-entropy and minimize distortions. We present experiments based on both simulation and a real hardware optical system, from which the feasibility of the proposed optical attack is demonstrated. It is also verified that the proposed attack is completely different from common optical-domain distortions such as spherical aberration, defocus, and astigmatism in terms of both perturbation patterns and classification results.


title: A three-dimensional hydrodynamics simulation of oxygen-shell burning in the final evolution of a fast-rotating massive star

abstract: We perform for the first time a 3D hydrodynamics simulation of the evolution of the last minutes pre-collapse of the oxygen shell of a fast-rotating massive star. This star has an initial mass of 38 M$_\odot$, a metallicity of $\sim$1/50 Z$_\odot$, an initial rotational velocity of 600 km s$^{-1}$, and experiences chemically homogeneous evolution. It has a silicon- and oxygen-rich (Si/O) convective layer at (4.7-17)$\times 10^{8}$ cm, where oxygen-shell burning takes place. The power spectrum analysis of the turbulent velocity indicates the dominance of the large-scale mode ($\ell \sim 3$), which has also been seen in non-rotating stars that have a wide Si/O layer. Spiral arm structures of density and silicon-enriched material produced by oxygen-shell burning appear in the equatorial plane of the Si/O shell. Non-axisymmetric, large-scale ($m \le 3$) modes are dominant in these structures. The spiral arm structures have not been identified in previous non-rotating 3D pre-supernova models. Governed by such a convection pattern, the angle-averaged specific angular momentum becomes constant in the Si/O convective layer, which is not considered in spherically symmetrical stellar evolution models. Such spiral arms and constant specific angular momentum might affect the ensuing explosion or implosion of the star.


title: Message Passing in Graph Convolution Networks via Adaptive Filter Banks

abstract: Graph convolution networks, like message passing graph convolution networks (MPGCNs), have been a powerful tool in representation learning of networked data. However, when data is heterogeneous, most architectures are limited as they employ a single strategy to handle multi-channel graph signals and they typically focus on low-frequency information. In this paper, we present a novel graph convolution operator, termed BankGCN, which keeps benefits of message passing models, but extends their capabilities beyond `low-pass' features. It decomposes multi-channel signals on graphs into subspaces and handles particular information in each subspace with an adapted filter. The filters of all subspaces have different frequency responses and together form a filter bank. Furthermore, each filter in the spectral domain corresponds to a message passing scheme, and diverse schemes are implemented via the filter bank. Importantly, the filter bank and the signal decomposition are jointly learned to adapt to the spectral characteristics of data and to target applications. Furthermore, this is implemented almost without extra parameters in comparison with most existing MPGCNs. Experimental results show that the proposed convolution operator permits to achieve excellent performance in graph classification on a collection of benchmark graph datasets.


title: Extracting low energy signals from raw LArTPC waveforms using deep learning techniques -- A proof of concept

abstract: We investigate the feasibility of using deep learning techniques, in the form of a one-dimensional convolutional neural network (1D-CNN), for the extraction of signals from the raw waveforms produced by the individual channels of liquid argon time projection chamber (LArTPC) detectors. A minimal generic LArTPC detector model is developed to generate realistic noise and signal waveforms used to train and test the 1D-CNN, and evaluate its performance on low-level signals. We demonstrate that our approach overcomes the inherent shortcomings of traditional cut-based methods by extending sensitivity to signals with ADC values below their imposed thresholds. This approach exhibits great promise in enhancing the capabilities of future generation neutrino experiments like DUNE to carry out their low-energy neutrino physics programs.


title: Quantization of restricted Lagrangian subvarieties in positive characteristic

abstract: Bezrukavnikov and Kaledin introduced quantizations of symplectic varieties X in positive characteristic which endow the Poisson bracket on X with the structure of a restricted Lie algebra. We consider deformation quantization of line bundles on Lagrangian subvarieties Y of X to modules over such quantizations. If the ideal sheaf of Y is a restricted Lie subalgebra of the structure sheaf of X, we show that there is a certain cohomology class which vanishes if and only if a line bundle on Y admits a quantization.


title: Iterative Feature Matching: Toward Provable Domain Generalization with Logarithmic Environments

abstract: Domain generalization aims at performing well on unseen test environments with data from a limited number of training environments. Despite a proliferation of proposal algorithms for this task, assessing their performance both theoretically and empirically is still very challenging. Distributional matching algorithms such as (Conditional) Domain Adversarial Networks [Ganin et al., 2016, Long et al., 2018] are popular and enjoy empirical success, but they lack formal guarantees. Other approaches such as Invariant Risk Minimization (IRM) require a prohibitively large number of training environments -- linear in the dimension of the spurious feature space $d_s$ -- even on simple data models like the one proposed by [Rosenfeld et al., 2021]. Under a variant of this model, we show that both ERM and IRM cannot generalize with $o(d_s)$ environments. We then present an iterative feature matching algorithm that is guaranteed with high probability to yield a predictor that generalizes after seeing only $O(\log d_s)$ environments. Our results provide the first theoretical justification for a family of distribution-matching algorithms widely used in practice under a concrete nontrivial data model.


title: A Unified Generative Adversarial Network Training via Self-Labeling and Self-Attention

abstract: We propose a novel GAN training scheme that can handle any level of labeling in a unified manner. Our scheme introduces a form of artificial labeling that can incorporate manually defined labels, when available, and induce an alignment between them. To define the artificial labels, we exploit the assumption that neural network generators can be trained more easily to map nearby latent vectors to data with semantic similarities, than across separate categories. We use generated data samples and their corresponding artificial conditioning labels to train a classifier. The classifier is then used to self-label real data. To boost the accuracy of the self-labeling, we also use the exponential moving average of the classifier. However, because the classifier might still make mistakes, especially at the beginning of the training, we also refine the labels through self-attention, by using the labeling of real data samples only when the classifier outputs a high classification probability score. We evaluate our approach on CIFAR-10, STL-10 and SVHN, and show that both self-labeling and self-attention consistently improve the quality of generated data. More surprisingly, we find that the proposed scheme can even outperform class-conditional GANs.


title: Matching complexes of $\bf 3 \times n$ grid graphs

abstract: The matching complex of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. In the last few years the matching complexes of grid graphs have gained much attention among the topological combinatorists. In 2017, Braun and Hough obtained homological results related to the matching complexes of $2 \times n$ grid graphs. Further in 2019, Matsushita showed that the matching complexes of $2 \times n$ grid graphs are homotopy equivalent to a wedge of spheres. In this article we prove that the matching complexes of $3\times n$ grid graphs are homotopy equivalent to a wedge of spheres. We also give the comprehensive list of the dimensions of spheres appearing in the wedge.


title: Associated molecular and atomic clouds with X-ray shell of superbubble 30 Doradus C in the LMC

abstract: 30 Doradus C is a superbubble which emits the brightest nonthermal X- and TeV gamma-rays in the Local Group. In order to explore detailed connection between the high energy radiation and the interstellar medium, we have carried out new CO and HI observations using the Atacama Large Millimeter$/$Submillimeter Array (ALMA), Atacama Submillimeter Telescope Experiment, and the Australia Telescope Compact Array with resolutions of up to 3 pc. The ALMA data of $^{12}$CO($J$ = 1-0) emission revealed 23 molecular clouds with the typical diameters of $\sim$6-12 pc and masses of $\sim$600-10000 $M_{\odot}$. The comparison with the X-rays of $XMM$-$Newton$ at $\sim$3 pc resolution shows that X-rays are enhanced toward these clouds. The CO data were combined with the HI to estimate the total interstellar protons. Comparison of the interstellar proton column density and the X-rays revealed that the X-rays are enhanced with the total proton. These are most likely due to the shock-cloud interaction modeled by the magnetohydrodynamical simulations (Inoue et al. 2012, ApJ, 744, 71). Further, we note a trend that the X-ray photon index varies with distance from the center of the high-mass star cluster, suggesting that the cosmic-ray electrons are accelerated by one or multiple supernovae in the cluster. Based on these results we discuss the role of the interstellar medium in cosmic-ray particle acceleration.


title: Envy-freeness and Relaxed Stability for Lower-Quotas : A Parameterized Perspective

abstract: We consider the problem of assigning agents to resources under the two-sided preference list model where resources specify an upper-quota and a lower-quota, that is, respectively the maximum and minimum number of agents that can be assigned to it. Different notions of optimality including envy-freeness and relaxed stability are investigated for this setting and the goal is to compute a largest optimal matching. Krishnaa et al. [SAGT 2020] show that in this setting, the problem of computing a maximum size envy-free matching (MAXEFM) or a maximum size relaxed stable matching (MAXRSM) is not approximable within a certain constant factor unless P = NP. This work is the first investigation of parameterized complexity of MAXEFM and MAXRSM. We show that MAXEFM is W [1]-hard and MAXRSM is para-NP-hard when parameterized on several natural parameters derived from the instance. We present kernelization results and FPT algorithms for both problems parameterized on other relevant parameters.


title: On finiteness theorems of polynomial functions

abstract: Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence classes appearing in the space of real polynomial functions of degree not exceeding d. We also prove Fukuda's claim, Theorem 1.3, and its semialgebraic version Theorem 1.4, on the finiteness of the local R types appearing in the space of real polynomial functions of real polynomial function germs of degree not exceeding d.


title: Approximation Algorithms for Two-Bar Charts Packing Problem

abstract: In the Two-Bar Charts Packing Problem (2-BCPP), it is required to pack the bar charts (BCs) consisting of two bars into the horizontal unit-height strip of minimal length. The bars may move vertically within the strip, but it is forbidden to change the order and separate the chart's bars. Recently, for this new problem, which is a generalization of the Bin Packing Problem (BPP), Strip Packing Problem (SPP), and 2-Dimensional Vector Packing Problem (2-DVPP), several approximation algorithms with guaranteed estimates were proposed. However, after a preliminary analysis of the solutions constructed by approximation algorithms, we discerned that the guaranteed estimates are inaccurate. This fact inspired us to conduct a numerical experiment in which the approximate solutions are compared to each other and with the optimal ones. To construct the optimal solutions or lower bounds for optimum, we use the Boolean Linear Programming (BLP) formulation of 2-BCPP proposed earlier and apply the CPLEX package. We also use a database of instances for BPP with known optimal solutions to construct the instances for the 2-BCPP with known minimal packing length. The results of the simulation make up the main content of this paper.


title: Being Properly Improper

abstract: Properness for supervised losses stipulates that the loss function shapes the learning algorithm towards the true posterior of the data generating distribution. Unfortunately, data in modern machine learning can be corrupted or twisted in many ways. Hence, optimizing a proper loss function on twisted data could perilously lead the learning algorithm towards the twisted posterior, rather than to the desired clean posterior. Many papers cope with specific twists (e.g., label/feature/adversarial noise), but there is a growing need for a unified and actionable understanding atop properness. Our chief theoretical contribution is a generalization of the properness framework with a notion called twist-properness, which delineates loss functions with the ability to "untwist" the twisted posterior into the clean posterior. Notably, we show that a nontrivial extension of a loss function called $\alpha$-loss, which was first introduced in information theory, is twist-proper. We study the twist-proper $\alpha$-loss under a novel boosting algorithm, called PILBoost, and provide formal and experimental results for this algorithm. Our overarching practical conclusion is that the twist-proper $\alpha$-loss outperforms the proper $\log$-loss on several variants of twisted data.


title: Seeking celestial Positronium with an OH-suppressed diffraction-limited spectrograph

abstract: Celestially, Positronium (Ps), has only been observed through gamma-ray emission produced by its annihilation. However, in its triplet state, a Ps atom has a mean lifetime long enough for electronic transitions to occur between quantum states. This produces a recombination spectrum observable in principle at near IR wavelengths, where angular resolution greatly exceeding that of the gamma-ray observations is possible. However, the background in the NIR is dominated by extremely bright atmospheric hydroxyl (OH) emission lines. In this paper we present the design of a diffraction-limited spectroscopic system using novel photonic components - a photonic lantern, OH Fiber Bragg Grating filters, and a photonic TIGER 2-dimensional pseudo-slit - to observe the Ps Balmer alpha line at 1.3122 microns for the first time.


title: A Fresh Approach to Evaluate Performance in Distributed Parallel Genetic Algorithms

abstract: This work proposes a novel approach to evaluate and analyze the behavior of multi-population parallel genetic algorithms (PGAs) when running on a cluster of multi-core processors. In particular, we deeply study their numerical and computational behavior by proposing a mathematical model representing the observed performance curves. In them, we discuss the emerging mathematical descriptions of PGA performance instead of, e.g., individual isolated results subject to visual inspection, for a better understanding of the effects of the number of cores used (scalability), their migration policy (the migration gap, in this paper), and the features of the solved problem (type of encoding and problem size). The conclusions based on the real figures and the numerical models fitting them represent a fresh way of understanding their speed-up, running time, and numerical effort, allowing a comparison based on a few meaningful numeric parameters. This represents a set of conclusions beyond the usual textual lessons found in past works on PGAs. It can be used as an estimation tool for the future performance of the algorithms and a way of finding out their limitations.


title: Embedding Heterogeneous Networks into Hyperbolic Space Without Meta-path

abstract: Networks found in the real-world are numerous and varied. A common type of network is the heterogeneous network, where the nodes (and edges) can be of different types. Accordingly, there have been efforts at learning representations of these heterogeneous networks in low-dimensional space. However, most of the existing heterogeneous network embedding methods suffer from the following two drawbacks: (1) The target space is usually Euclidean. Conversely, many recent works have shown that complex networks may have hyperbolic latent anatomy, which is non-Euclidean. (2) These methods usually rely on meta-paths, which require domain-specific prior knowledge for meta-path selection. Additionally, different down-streaming tasks on the same network might require different meta-paths in order to generate task-specific embeddings. In this paper, we propose a novel self-guided random walk method that does not require meta-path for embedding heterogeneous networks into hyperbolic space. We conduct thorough experiments for the tasks of network reconstruction and link prediction on two public datasets, showing that our model outperforms a variety of well-known baselines across all tasks.


title: Exchange bias without directional anisotropy in Permalloy/CoO bilayers

abstract: We utilize transverse ac susceptibility measurements to characterize magnetic anisotropy in archetypal exchange-bias bilayers of ferromagnet Permalloy (Py) and antiferromagnet CoO. Unidirectional anisotropy is observed for thin Py, but becomes negligible at larger Py thicknesses, even though the directional asymmetry of the magnetic hysteresis loop remains significant. Additional magnetoelectronic measurements, magneto-optical imaging, as well as micromagnetic simulations show that these surprising behaviors are likely associated with asymmetry of spin flop distribution created in CoO during Py magnetization reversal, which facilitates the rotation of the latter back into its field-cooled direction. Our findings suggest new possibilities for efficient realization of multistable nanomagnetic systems for neuromorphic applications.


title: Realizing Neural Decoder at the Edge with Ensembled BNN

abstract: In this work, we propose extreme compression techniques like binarization, ternarization for Neural Decoders such as TurboAE. These methods reduce memory and computation by a factor of 64 with a performance better than the quantized (with 1-bit or 2-bits) Neural Decoders. However, because of the limited representation capability of the Binary and Ternary networks, the performance is not as good as the real-valued decoder. To fill this gap, we further propose to ensemble 4 such weak performers to deploy in the edge to achieve a performance similar to the real-valued network. These ensemble decoders give 16 and 64 times saving in memory and computation respectively and help to achieve performance similar to real-valued TurboAE.


title: Telefilters, telemirrors, and causality

abstract: We present new theoretical models for quantum optical mode-selective filters and mirrors using continuous-variable teleportation. We call these devices telefilters and telemirrors respectively. Both devices act as the identity channel on a mode of interest from an input multi-mode field while filtering or reflecting all the orthogonal modes. We utilise these models to analyse a causality problem in relativistic quantum optics, specifically the apparently acausal transmission and propagation of temporally delocalised wavepackets through mode-selective mirrors. Firstly, we show how telemirrors - and thus mode-selective operations generally - enact a fundamental time-delay on such wavepackets, which is necessary in order to prevent violations of causality. In an attempt to circumvent this delay, we next consider teleporting the independent temporal components of the input field separately and continuously, that is, performing operations on-the-run. In this scenario, the telemirror transmits the mode of interest as well as orthogonal modes which carry with them uncorrelated noise. In this scenario, the device may be considered mode-discriminating but not mode-selective.


title: A symmetry-inclusive algebraic approach to genome rearrangement

abstract: Of the many modern approaches to calculating evolutionary distance via models of genome rearrangement, most are tied to a particular set of genomic modelling assumptions and to a restricted class of allowed rearrangements. The "position paradigm", in which genomes are represented as permutations signifying the position (and orientation) of each region, enables a refined model-based approach, where one can select biologically plausible rearrangements and assign to them relative probabilities/costs. Here, one must further incorporate any underlying structural symmetry of the genomes into the calculations and ensure that this symmetry is reflected in the model. In our recently-introduced framework of {\em genome algebras}, each genome corresponds to an element that simultaneously incorporates all of its inherent physical symmetries. The representation theory of these algebras then provides a natural model of evolution via rearrangement as a Markov chain. Whilst the implementation of this framework to calculate distances for genomes with `practical' numbers of regions is currently computationally infeasible, we consider it to be a significant theoretical advance: one can incorporate different genomic modelling assumptions, calculate various genomic distances, and compare the results under different rearrangement models. The aim of this paper is to demonstrate some of these features.


title: A transformation-based approach for solving stiff two-point boundary value problems

abstract: A new approach for solving stiff boundary value problems for systems of ordinary differential equations is presented. Its idea essentially generalizes and extends that from arXiv:1601.04272v8. The approach can be viewed as a methodology framework that allows to enhance "stiffness resistance" capabilities of pretty much all the known numerical methods for solving two-point BVPs. The latter is demonstrated on the example of the {\it trapezoidal scheme} with the corresponding C++ source code available at \url{https://github.com/imathsoft/MathSoftDevelopment}. Results of numerical experiments are provided to support the theoretical conclusions.


title: Graph-based Joint Pandemic Concern and Relation Extraction on Twitter

abstract: Public concern detection provides potential guidance to the authorities for crisis management before or during a pandemic outbreak. Detecting people's concerns and attention from online social media platforms has been widely acknowledged as an effective approach to relieve public panic and prevent a social crisis. However, detecting concerns in time from massive information in social media turns out to be a big challenge, especially when sufficient manually labeled data is in the absence of public health emergencies, e.g., COVID-19. In this paper, we propose a novel end-to-end deep learning model to identify people's concerns and the corresponding relations based on Graph Convolutional Network and Bi-directional Long Short Term Memory integrated with Concern Graph. Except for the sequential features from BERT embeddings, the regional features of tweets can be extracted by the Concern Graph module, which not only benefits the concern detection but also enables our model to be high noise-tolerant. Thus, our model can address the issue of insufficient manually labeled data. We conduct extensive experiments to evaluate the proposed model by using both manually labeled tweets and automatically labeled tweets. The experimental results show that our model can outperform the state-of-art models on real-world datasets.


title: Floquet engineering of electric polarization with two-frequency drive

abstract: Electric polarization is a geometric phenomenon in solids and has a close relationship to the symmetry of the system. Here we propose a mechanism to dynamically induce and manipulate electric polarization by using an external light field. Specifically, we show that application of bicircular lights (BCLs) control the rotational symmetry of the system and can generate electric polarization. To this end, we use Floquet theory to study a system subjected to a two-frequency drive. We derive an effective Hamiltonian with high frequency expansions, for which the electric polarization is computed with the Berry phase formula. We demonstrate the dynamical control of polarization for a one-dimensional SSH chain, a square lattice model, and a honeycomb lattice model.


title: Nonvolatile bistable memory and Ising machine based on Micro-Electro-Mechanical Systems

abstract: We propose an Ising machine made of microelectromechanical systems (MEMS), where the annealing process is automatically executed by a dissipation mechanism. The core structure is a series of buckled plates. Two stable positions of each plate (left and right) represent its binary state acting as a bit so that a plate works as a mechanical memory. The electrostatic interaction between adjacent plates is introduced by applying voltage. Plates continue to flip between two stable buckled positions until the series of plates reaches a local minimum due to the damping of the mechanical motion. \red{First, we design Ising machines simulating a ferromagnetic (FM) interaction and an antiferromagnetic (AF) interaction separately. Then, we propose a fully-connected MEMS\ network representing a coexistence system of FM and AF interactions in an arbitrary way, by way of which an arbitrary combinatorial problem described by the Ising model can be solved.} The present mechanism works at room temperature without external magnetic field, which is very different from the standard classical or quantum annealing mechanism.


title: A Framework for Real-time Traffic Trajectory Tracking, Speed Estimation, and Driver Behavior Calibration at Urban Intersections Using Virtual Traffic Lanes

abstract: In a previous study, we presented VT-Lane, a three-step framework for real-time vehicle detection, tracking, and turn movement classification at urban intersections. In this study, we present a case study incorporating the highly accurate trajectories and movement classification obtained via VT-Lane for the purpose of speed estimation and driver behavior calibration for traffic at urban intersections. First, we use a highly instrumented vehicle to verify the estimated speeds obtained from video inference. The results of the speed validation show that our method can estimate the average travel speed of detected vehicles in real-time with an error of 0.19 m/sec, which is equivalent to 2% of the average observed travel speeds in the intersection of the study. Instantaneous speeds (at the resolution of 30 Hz) were found to be estimated with an average error of 0.21 m/sec and 0.86 m/sec respectively for free-flowing and congested traffic conditions. We then use the estimated speeds to calibrate the parameters of a driver behavior model for the vehicles in the area of study. The results show that the calibrated model replicates the driving behavior with an average error of 0.45 m/sec, indicating the high potential for using this framework for automated, large-scale calibration of car-following models from roadside traffic video data, which can lead to substantial improvements in traffic modeling via microscopic simulation.


title: Data Enforced: An Exploratory Impact Analysis of Automated Speed Enforcement in the District of Columbia

abstract: In 2015, the District of Columbia framed a Vision Zero mission and action plan, with a target of achieving zero traffic fatalities by 2024. This study examines the impacts of Automated Speed Enforcement (ASE) and its role in achieving the goals of Vision Zero. Independent datasets containing detailed information about traffic crashes, ASE camera locations, and citation records, and driving speeds across the District's streets were collected, combined, and analyzed to identify patterns and trends in crashes, speed limit violations, and speeding behavior before and after the ASE camera installation. The results of this exploratory analysis confirm the safety benefits of ASE systems in Washington, D.C. The study also provides a blueprint for the different means of evaluating the short-term impact of ASE systems using different data sources which can aid practitioners in better evaluating existing systems and support the decision-making process regarding future installations.


title: Calibrating the Davis-Chandrasekhar-Fermi method with numerical simulations: uncertainties in estimating the magnetic field strength from statistics of field orientations

abstract: The Davis-Chandrasekhar-Fermi (DCF) method is widely used to indirectly estimate the magnetic field strength from the plane-of-sky field orientation. In this work, we present a set of 3D MHD simulations and synthetic polarization images using radiative transfer of clustered massive star-forming regions. We apply the DCF method on the synthetic polarization maps to investigate its reliability in high-density molecular clumps and dense cores where self-gravity is significant. We investigate the validity of the assumptions of the DCF method step by step and compare the model and estimated field strength to derive the correction factors for the estimated uniform and total (rms) magnetic field strength at clump and core scales. The correction factors in different situations are catalogued. We find the DCF method works well in strong field cases. However, the magnetic field strength in weak field cases could be significantly overestimated by the DCF method when the turbulent magnetic energy is smaller than the turbulent kinetic energy. We investigate the accuracy of the angular dispersion function (ADF, a modified DCF method) method on the effects that may affect the measured angular dispersion and find that the ADF method correctly accounts for the ordered field structure, the beam-smoothing, and the interferometric filtering, but may not be applicable to account for the signal integration along the line of sight in most cases. Our results suggest that the DCF methods should be avoided to be applied below $\sim$0.1 pc scales if the effect of line-of-sight signal integration is not properly addressed.


title: Small Noise Perturbations in Multidimensional Case

abstract: In this paper we study zero-noise limits of $\alpha -$stable noise perturbed ODE's which are driven by an irregular vector field $A$ with asymptotics $% A(x)\sim \overline{a}(\frac{x}{\left\vert x\right\vert })\left\vert x\right\vert ^{\beta -1}x$ at zero, where $\overline{a}>0$ is a continuous function and $\beta \in (0,1)$. The results established in this article can be considered a generalization of those in the seminal works of Bafico \cite% {Ba} and Bafico, Baldi \cite{BB} to the multi-dimensional case.\ Our approach for proving these results is inspired by techniques in \cite% {PP_self_similar} and based on the analysis of an SDE for $t\longrightarrow \infty $, which is obtained through a transformation of the perturbed ODE.


title: A Squeezed Vacuum State Laser with Zero Diffusion

abstract: We propose a method for building a squeezed vacuum state laser with zero diffusion, which results from the introduction of the reservoir engineering technique into the laser theory. As well as the reservoir engineering, our squeezed vacuum laser demands the construction of an effective atom-field interaction. And by building an isomorphism between the cavity field operators in the effective and the Jaynes-Cummings Hamiltonians, we derive the equations of our effective laser directly from the conventional laser theory. Our method, which is less susceptible to errors than reservoir engineering, can be extended for the construction of other nonclassical state lasers, and our squeezed vacuum laser can contribute to the newly emerging field of gravitational interferometry.


title: Detox Browser -- Towards Filtering Sensitive Content On the Web

abstract: The annual consumption of web-based resources is increasing at a very fast rate, mainly due to an increase in affordability and accessibility of the internet. Many are relying on the web to get diverse perspectives, but at the same time, it can expose them to content that is harmful to their mental well-being. Catchy headlines and emotionally charged articles increase the number of readers which in turn increases ad revenue for websites. When a user consumes a large quantity of negative content, it adversely impacts the user's happiness and has a significant impact on his/her mood and state of mind. Many studies carried out during the COVID-19 pandemic has shown that people across the globe irrespective of their country of origin have experienced higher levels of anxiety and depression. Web filters can help in constructing a digital environment that is more suitable for people prone to depression, anxiety and stress. A significant amount of work has been done in the field of web filtering, but there has been limited focus on helping Highly Sensitive Persons (HSP's) or those with stress disorders induced by trauma. Through this paper, we propose detox Browser, a simple tool that enables end-users to tune out of or control their exposure to topics that can affect their mental well being. The extension makes use of sentiment analysis and keywords to filter out flagged content from google search results and warns users if any blacklisted topics are detected when navigating across websites


title: Goal-Directed Planning by Reinforcement Learning and Active Inference

abstract: What is the difference between goal-directed and habitual behavior? We propose a novel computational framework of decision making with Bayesian inference, in which everything is integrated as an entire neural network model. The model learns to predict environmental state transitions by self-exploration and generating motor actions by sampling stochastic internal states ${z}$. Habitual behavior, which is obtained from the prior distribution of ${z}$, is acquired by reinforcement learning. Goal-directed behavior is determined from the posterior distribution of ${z}$ by planning, using active inference which optimizes the past, current and future ${z}$ by minimizing the variational free energy for the desired future observation constrained by the observed sensory sequence. We demonstrate the effectiveness of the proposed framework by experiments in a sensorimotor navigation task with camera observations and continuous motor actions.


title: The study of doubly charmed pentaquark $c c \bar qqq$ with the SU(3) symmetry

abstract: We study the masses and lifetimes of doubly charmed pentaquark $P_{cc\bar qqq}(q=u,d,s)$ primarily. The operation of masses carried out by the doubly heavy triquark-diquark model, whose results suggests the existence of stable states $cc\bar s ud$ with the parity $J^P=\frac{1}{2}^-$. The roughly calculation about lifetimes show the short magnitudes, $(4.65^{+0.71}_{-0.55})\times 10^{-13}s $ for the parity $J^P=\frac{1}{2}^-$ and $(0.93^{+0.14}_{-0.11})\times 10^{-12} s $ for $J^P=\frac{3}{2}^-$. Since the pentaquark $cc\bar s ud$ is interpreted as the stable bound states against strong decays, then we will focus on the production and possible decay channels of the pentaquark in the next step, the study would be fairly valuable supports for future experiments. For completeness, we systematically studied the production from $\Omega_{ccc}$ and the decay modes in the framework SU(3) flavor symmetry, including the processes of semi-leptonic and two body non-leptonic decays. Synthetically, we make a collection of the golden channels.


title: Computations associated with the resonance arrangement

abstract: The resonance arrangement $\mathcal{A}_n$ is the arrangement of hyperplanes in $\mathbb{R}^n$ given by all hyperplanes of the form $\sum_{i \in I} x_i = 0$, where $I$ is a nonempty subset of $\{1,\dots,n\}$. We consider the characteristic polynomial $\chi(\mathcal{A}_n; t)$ of the resonance arrangement, whose value $R_n$ at $-1$ is of particular interest, and corresponds to counts of generalized retarded functions in quantum field theory, among other things. No formula is known for either the characteristic polynomial or $R_n$, though $R_n$ has been computed up to $n=8$. By exploiting symmetry and using computational methods, we compute the characteristic polynomial of $\mathcal{A}_9$, and thus obtain $R_9$. The coefficients of the characteristic polynomial are also equal to the so-called Betti numbers of the complexified hyperplane arrangement; that is, the coefficient of $t^{n-i}$ is denoted by the Betti number $b_i(\mathcal{A}_n)$. Explicit formulas are known for the Betti numbers up to $b_3(\mathcal{A}_n)$. Using computational methods, we also obtain an explicit formula for $b_4(\mathcal{A}_n)$, which gives the $t^{n-4}$ coefficient of the characteristic polynomial.


title: On a limit behaviour of a random walk penalised in the lower half-plane

abstract: We consider a random walk $\tilde S$ which has different increment distributions in positive and negative half-planes. In the upper half-plane the increments are mean-zero i.i.d. with finite variance. In the lower half-plane we consider two cases: increments are positive i.i.d. random variables with either a slowly varying tail or with a finite expectation. For the distributions with a slowly varying tails, we show that $\{\frac{1}{\sqrt n} \tilde S(nt)\}$ has no weak limit in $\De$; alternatively, the weak limit is a reflected Brownian motion.


title: Does gamification affect flow experience? A systematic literature review

abstract: In recent years, studies in different areas have used gamification to improve users' flow experience. However, due to the high variety of the conducted studies and the lack of secondary studies (e.g., systematic literature reviews) in this field, it is difficult to get the state-of-the-art of this research domain. To address this problem, we conducted a systematic literature review to identify i) which gamification design methods have been used in the studies about gamification and Flow Theory, ii) which gamification elements have been used in these studies, iii) which methods have been used to evaluate the users' flow experience in gamified settings, and iv) how gamification affects users' flow experience. The main results show that there is growing interest to this field, as the number of publications is increasing. The most significant interest is in the area of gamification in education. However, there is no unanimity regarding the preferred method of the study or the effects of gamification on users' experience. Our results highlight the importance of conducting new experimental studies investigating how gamification affects the users' flow experience in different gamified settings, applications and domains.


title: Investigating the Role of Negatives in Contrastive Representation Learning

abstract: Noise contrastive learning is a popular technique for unsupervised representation learning. In this approach, a representation is obtained via reduction to supervised learning, where given a notion of semantic similarity, the learner tries to distinguish a similar (positive) example from a collection of random (negative) examples. The success of modern contrastive learning pipelines relies on many parameters such as the choice of data augmentation, the number of negative examples, and the batch size; however, there is limited understanding as to how these parameters interact and affect downstream performance. We focus on disambiguating the role of one of these parameters: the number of negative examples. Theoretically, we show the existence of a collision-coverage trade-off suggesting that the optimal number of negative examples should scale with the number of underlying concepts in the data. Empirically, we scrutinize the role of the number of negatives in both NLP and vision tasks. In the NLP task, we find that the results broadly agree with our theory, while our vision experiments are murkier with performance sometimes even being insensitive to the number of negatives. We discuss plausible explanations for this behavior and suggest future directions to better align theory and practice.


title: Miniature Plasma Source for In-Situ Scanner Cleaning

abstract: EUV Lithography is the technology of choice for High-Volume Manufacturing (HVM) of sub-10nm lithography. One of the challenges is to enable in-situ cleaning of functional surfaces such as sensors, fiducials and interferometer mirrors without opening the scanner tool. Thermally created hydrogen radicals have been successfully used for this purpose. These sources have a limited cleaning speed and relatively high thermal load to the surface being cleaned. Here we present an alternative plasma-based technique to simultaneously create hydrogen radicals and hydrogen ions. This results in significantly improved cleaning speed while simultaneously reducing the overall thermal load. As an additional benefit, this plasma source has a minimized and flexible building volume to allow easy integration into various locations in the EUV lithographic scanner.


title: Edge states of a diffusion equation in one dimension: Rapid heat conduction to the heat bath

abstract: We propose a one-dimensional (1D) diffusion equation (heat equation) for systems in which the diffusion constant (thermal diffusivity) varies alternately with a spatial period $a$. We solve the time evolution of the field (temperature) profile from a given initial distribution, by diagonalising the Hamiltonian, i.e., the Laplacian with alternating diffusion constants, and expanding the temperature profile by its eigenstates. We show that there are basically phases with or without edge states. The edge states affect the heat conduction around heat baths. In particular, rapid heat transfer to heat baths would be observed in a short time regime, which is estimated to be $t<10^{-2}$s for $a\sim 10^{-3}$m system and $t< 1$s for $a\sim 10^{-2}$m system composed of two kinds of familiar metals such as titanium, zirconium and aluminium, gold, etc. We also discuss the effective lattice model which simplifies the calculation of edge states up to high energy. It is suggested that these high energy edge states also contribute to very rapid heat conduction in a very short time regime.


title: Universum GANs: Improving GANs through contradictions

abstract: Limited availability of labeled-data makes any supervised learning problem challenging. Alternative learning settings like semi-supervised and universum learning alleviate the dependency on labeled data, but still require a large amount of unlabeled data, which may be unavailable or expensive to acquire. GAN-based data generation methods have recently shown promise by generating synthetic samples to improve learning. However, most existing GAN based approaches either provide poor discriminator performance under limited labeled data settings; or results in low quality generated data. In this paper, we propose a Universum GAN game which provides improved discriminator accuracy under limited data settings, while generating high quality realistic data. We further propose an evolving discriminator loss which improves its convergence and generalization performance. We derive the theoretical guarantees and provide empirical results in support of our approach.


title: Indicators of Attack Failure: Debugging and Improving Optimization of Adversarial Examples

abstract: Evaluating robustness of machine-learning models to adversarial examples is a challenging problem. Many defenses have been shown to provide a false sense of robustness by causing gradient-based attacks to fail, and they have been broken under more rigorous evaluations. Although guidelines and best practices have been suggested to improve current adversarial robustness evaluations, the lack of automatic testing and debugging tools makes it difficult to apply these recommendations in a systematic manner. In this work, we overcome these limitations by: (i) categorizing attack failures based on how they affect the optimization of gradient-based attacks, while also unveiling two novel failures affecting many popular attack implementations and past evaluations; (ii) proposing six novel indicators of failure, to automatically detect the presence of such failures in the attack optimization process; and (iii) suggesting a systematic protocol to apply the corresponding fixes. Our extensive experimental analysis, involving more than 15 models in 3 distinct application domains, shows that our indicators of failure can be used to debug and improve current adversarial robustness evaluations, thereby providing a first concrete step towards automatizing and systematizing them. Our open-source code is available at: https://github.com/pralab/IndicatorsOfAttackFailure.


title: Limits of Eliashberg Theory and Bounds for Superconducting Transition Temperature

abstract: The discovery of record - breaking values of superconducting transition temperature $T_c$ in quite a number of hydrides under high pressure was an impressive demonstration of capabilities of electron - phonon mechanism of Cooper pairing. This lead to an increased interest to foundations and limitations of Eliashberg - McMillan theory as the main theory describing superconductivity in a system of electrons and phonons. Below we shall consider both elementary basics of this theory and a number of new results derived only recently. We shall discuss limitations on the value of the coupling constant related to lattice instability and a phase transition to another phase (CDW, bipolarons). Within the stable metallic phase the effective pairing constant may acquire arbitrary values. We consider extensions beyond the traditional adiabatic approximation. It is shown that Eliasberg - McMillan theory is also applicable in the strong antiadiabatic limit. The limit of very strong coupling, being most relevant for the physics of hydrides, is analyzed in details. We also discuss the bounds for $T_c$ appearing in this limit.


title: Hodge numbers are not derived invariants in positive characteristic

abstract: We study a pair of Calabi-Yau threefolds X and M, fibered in non-principally polarized Abelian surfaces and their duals, and an equivalence D^b(X) = D^b(M), building on work of Gross, Popescu, Bak, and Schnell. Over the complex numbers, X is simply connected while pi_1(M) = (Z/3)^2. In characteristic 3, we find that X and M have different Hodge numbers, which would be impossible in characteristic 0. In an appendix, we give a streamlined proof of Abuaf's result that the ring H^*(O) is a derived invariant of complex threefolds and fourfolds. A second appendix by Alexander Petrov gives a family of higher-dimensional examples to show that h^{0,3} is not a derived invariant in any positive characteristic.


title: Some uniform bounds for elliptic curves over $\mathbb Q$

abstract: We give explicit uniform bounds for several quantities relevant to the study of Galois representations attached to elliptic curves $E/\mathbb Q$. We consider in particular the subgroup of scalars in the image of Galois, the first Galois cohomology group with values in the torsion of $E$, and the Kummer extensions generated by points of infinite order in $E(\mathbb Q)$.


title: Labelling Drifts in a Fault Detection System for Wind Turbine Maintenance

abstract: A failure detection system is the first step towards predictive maintenance strategies. A popular data-driven method to detect incipient failures and anomalies is the training of normal behaviour models by applying a machine learning technique like feed-forward neural networks (FFNN) or extreme learning machines (ELM). However, the performance of any of these modelling techniques can be deteriorated by the unexpected rise of non-stationarities in the dynamic environment in which industrial assets operate. This unpredictable statistical change in the measured variable is known as concept drift. In this article a wind turbine maintenance case is presented, where non-stationarities of various kinds can happen unexpectedly. Such concept drift events are desired to be detected by means of statistical detectors and window-based approaches. However, in real complex systems, concept drifts are not as clear and evident as in artificially generated datasets. In order to evaluate the effectiveness of current drift detectors and also to design an appropriate novel technique for this specific industrial application, it is essential to dispose beforehand of a characterization of the existent drifts. Under the lack of information in this regard, a methodology for labelling concept drift events in the lifetime of wind turbines is proposed. This methodology will facilitate the creation of a drift database that will serve both as a training ground for concept drift detectors and as a valuable information to enhance the knowledge about maintenance of complex systems.


title: A Probabilistic Formulation of the Diffusion Coefficient in Porous Media as Function of Porosity

abstract: We investigate the upscaling of diffusive transport parameters as function of pore scale material structure using a stochastic framework. We focus on sub-REV (representative elementary volume) scale where the complexity of pore space geometry leads to a significant scatter of transport observations. We study a large data set of sub-REV measurements on porosity and transport ability being a dimensionless parameter representing the ratio of diffusive flow through the porous volume and through an empty volume. We characterize transport ability as probability distribution functions (PDFs) of porosity capturing the effect of pore structure differences among samples. We then investigate domain size effects and predict the REV scale. While scatter in porosity observation decrease linearly with increasing sample size, the observed scatter in transport ability converges towards a constant value larger zero. Our results confirm that differences in pore structure topology impact transport parameters at all scales. Consequently, the use of PDFs to describe the relationship of effective transport coefficients to porosity is advantageous to deterministic semi-empirical functions. We discuss the consequences and advocate the use of PDFs for effective parameters in both continuum equations and data interpretation of experimental or computational work. We believe that the presented statistics-based upscaling technique of sub-REV microscopy data provides a new tool in understanding, describing and predicting macroscopic transport behavior of micro-porous media.


title: Armstrong Liquid Bridge: Formation, Evolution and Breakup

abstract: In this paper, we experimentally explore the formation, evolution and breakup of Armstrong liquid bridge. The extremely complicated evolution stage is revealed, which involves many coupled processes including the morphology change, current variation, heat transfer, and water evaporation. By focusing on the final fate of this liquid bridge, we observe that the breakup occurs once an effective length ($\tilde{L}$) is reached. This effective length increases linearly with the applied voltage, implying a threshold electric field to sustain the liquid bridge. Moreover, by an introduced external flow, the lifetime of the liquid bridge can be controlled, while the effective length associated with the breakup is independent on the external flow rate. Hence, these findings remarkably demonstrate that the breakup of liquid bridge is directly correlated with the effective length. In order to understand this correlation, a simplified model of an electrified jet is employed to take the electric field into account. By the linear stability analysis, the attained phase diagram agrees with the experiments well. Although a more comprehensive theory is required to consider other factors such as the surface charges, these results might provide a fresh perspective on the ``century-old" Armstrong liquid bridge to further elucidate its underlying physical mechanism.


title: Inelastic spin-wave beam scattering by edge-localized spin waves in ferromagnetic thin film

abstract: Spin waves are promising chargeless information carriers for the future, energetically efficient beyond-CMOS systems. Among many advantages there are the ease of achieving nonlinearity, the variety of possible interactions, and excitation types. Although the rapidly developing magnonic research has already yielded impressive realizations, multi-mode nonlinear effects, particularly with the propagating waves and their nanoscale realizations, are still an open research problem. We study theoretically the dynamic interactions of the spin waves confined to the edge of a thin ferromagnetic film with the spin-wave beam incident at this edge. We found the inelastically scattered spin-wave beams at frequencies increased and decreased by the frequency of the edge spin-wave relative to the specularly reflected beam. We observed a strong dependence of the angular shift of the inelastic scattered spin-wave beam on the edge-mode frequency, which allowed us to propose a magnonic demultiplexing of the signal encoded in spin waves propagating along the edge. Since dynamic magnetostatic interactions, which are ubiquitous in the spin-wave dynamics, are decisive in this process, this indicates the possibility of implementing the presented effects, also in other configurations and their use in magnonic systems.


title: The $9$-connected Excluded Minors for the Class of Quasi-graphic Matroids

abstract: The class of quasi-graphic matroids, recently introduced by Geelen, Gerards, and Whittle, is minor closed and contains both the class of lifted-graphic matroids and the class of frame matroids, each of which generalises the class of graphic matroids. In this paper, we prove that the matroids $U_{3,7}$ and $U_{4,7}$ are the only $9$-connected excluded minors for the class of quasi-graphic matroids.


title: The Segal-Bargmann Transform in Clifford Analysis

abstract: The Segal-Bargmann transform plays an essential role in signal processing, quantum physics, infinite-dimensional analysis, function theory and further topics. The connection to signal processing is the short-time Fourier transform, which can be used to describe the Segal-Bargmann transform. The classical Segal-Bargmann transform $\mathcal{B}$ maps a square-integrable function to a holomorphic function square-integrable with respect to a Gaussian identity. In signal processing terms, a signal from the position space $L_2(\mathbb{R}^m,\mathbb{R})$ is mapped to the phase space of wave functions, or Fock space, $\mathcal{F}^2(\mathbb{C}^m,\mathbb{C})$. We extend the classical Segal-Bargmann transform to a space of Clifford algebra-valued functions. We show how the Segal-Bargmann transform is related to the short-time Fourier transform and use this connection to demonstrate that $\mathcal{B}$ is unitary up to a constant and maps Sommen's orthonormal Clifford Hermite functions $\left\{\phi_{l,k,j}\right\}$ to an orthonormal basis of the Segal-Bargmann module $\mathcal{F}^2(\mathbb{C}^m,\mathcal{C}\ell_m^{\mathbb{C}})$. We also lay out that the Segal-Bargmann transform can be expanded to a convergent series with a dictionary of $\mathcal{F}^2(\mathbb{C}^m,\mathcal{C}\ell_m^{\mathbb{C}})$. In other words, we analyse the signal $f$ on one basis and reconstruct it on a basis of the Segal-Bargmann module.


title: Variable-Grasping-Mode Gripper With Different Finger Structures For Grasping Small-Sized Items

abstract: This letter presents a novel small gripper capable of grasping various types of small-sized items from flat surfaces for the assembly of small devices. Using a single actuator, the proposed gripper realizes two grasping modes: parallel-grip and turn-over modes. The gripper's mode can be switched via contact with a flat surface, such as a table. Handling thin thicknesses and light weights are the key challenges faced in attempts to grasp small-sized items. Although parallel grippers are effective in handling small items, there is a limit to the thinness of objects that can be grasped by parallel grippers. Accordingly, the turn-over mode was adopted to grasp items that exceeded this threshold. In the turn-over mode, one finger lifts the item, while another finger holds the item from above to keep it from flicking out. The proposed gripper is capable of picking up several types of items from a table, including thin (0.05 mm) and lightweight (0.007 g) items.