title: Fibonacci identities from Jordan Identities

abstract: In this paper, we connect two well established theories, the Fibonacci numbers and the Jordan algebras. We give a series of matrices, from literature, used to obtain recurrence relations of second-order and polynomial sequences. We also give some identities known in special Jordan Algebras. The matrices play a bridge role between both theories. The mentioned matrices connect both areas of mathematics, special Jordan algebras and recurrence relations, to obtain new identities and classic identities in Fibonacci numbers, Lucas numbers, Pell numbers, binomial transform, tribonacci numbers, and polynomial sequences among others. The list of identities in this paper contains just a few examples of many that the reader can find using this technique.


title: The recurrence formulas for primes and non-trivial zeros of the Riemann zeta function

abstract: In this article, we explore the Riemann zeta function with a perspective on primes and non-trivial zeros. We develop the Golomb's recurrence formula for the $n$th+1 prime, and assuming (RH), we propose an analytical recurrence formula for the $n$th+1 non-trivial zero of the Riemann zeta function. Thus all non-trivial zeros up the $n$th order must be known to generate the $n$th+1 non-trivial zero. We also explore a variation of the recurrence formulas for primes based on the prime zeta function, which will be a basis for the development of the recurrence formulas for non-trivial zeros based on the secondary zeta function. In the last part, we review the presented formulas and outline the duality between primes and non-trivial zeros. The proposed formula implies that all primes can be converted into an individual non-trivial zero (assuming RH), and conversely, all non-trivial zeros can be converted into an individual prime (not assuming RH). Also, throughout this article, we summarize numerical computation and verify the presented results to high precision.


title: Tunneling through an Eternal Traversable Wormhole

abstract: The Maldacena-Qi model describes two copies of the Sachdev-Ye-Kitaev model coupled with an additional coupling, and is dual to the Jackiw-Teitelboim gravity which exhibits an eternal traversable wormhole in the low-temperature limit. In this work, we study an experimental consequence of the existence of the traversable wormhole by considering the tunneling spectroscopy for the Maldacena-Qi model. Comparing to the high-temperature black hole phase where the bulk geometry is disconnected, we find that both the tunneling probability and the differential conductance in the low-temperature wormhole phase show non-trivial oscillation, which directly provides an unambiguous signature of the underlying $\operatorname{SL}(2)$ symmetry of the bulk geometry. We also perform bulk calculations in both high and low-temperature phases, which match the results from the boundary quantum theory.


title: Decomposing Identification Gains and Evaluating Instrument Identification Power for Partially Identified Average Treatment Effects

abstract: This paper examines the identification power of instrumental variables (IVs) for average treatment effect (ATE) in partially identified models. We decompose the ATE identification gains into components of contributions driven by IV relevancy, IV strength, direction and degree of treatment endogeneity, and matching via exogenous covariates. Our decomposition is demonstrated with graphical illustrations, simulation studies and an empirical example of childbearing and women's labour supply. Our analysis offers insights for understanding the complex role of IVs in ATE identification and for selecting IVs in practical policy designs. Simulations also suggest potential uses of our analysis for detecting irrelevant instruments.


title: Blockchain-based Federated Learning for Device Failure Detection in Industrial IoT

abstract: Device failure detection is one of most essential problems in industrial internet of things (IIoT). However, in conventional IIoT device failure detection, client devices need to upload raw data to the central server for model training, which might lead to disclosure of sensitive business data. Therefore, in this paper, to ensure client data privacy, we propose a blockchain-based federated learning approach for device failure detection in IIoT. First, we present a platform architecture of blockchain-based federated learning systems for failure detection in IIoT, which enables verifiable integrity of client data. In the architecture, each client periodically creates a Merkle tree in which each leaf node represents a client data record, and stores the tree root on a blockchain. Further, to address the data heterogeneity issue in IIoT failure detection, we propose a novel centroid distance weighted federated averaging (CDW\_FedAvg) algorithm taking into account the distance between positive class and negative class of each client dataset. In addition, to motivate clients to participate in federated learning, a smart contact based incentive mechanism is designed depending on the size and the centroid distance of client data used in local model training. A prototype of the proposed architecture is implemented with our industry partner, and evaluated in terms of feasibility, accuracy and performance. The results show that the approach is feasible, and has satisfactory accuracy and performance.


title: Tableau Stabilization and Lattice Paths

abstract: If one attaches shifted copies of a skew tableau to the right of itself and rectifies, at a certain point the copies no longer experience vertical slides, a phenomenon called tableau stabilization. While tableau stabilization was originally developed to construct the sufficiently large rectangular tableaux fixed by given powers of promotion, the purpose of this paper is to improve the original bound on tableau stabilization to the number of rows of the skew tableau. In order to prove this bound, we encode increasing subsequences as lattice paths and show that various operations on these lattice paths weakly increase the maximum combined length of the increasing subsequences.


title: QiaoNing at SemEval-2020 Task 4: Commonsense Validation and Explanation system based on ensemble of language model

abstract: In this paper, we present language model system submitted to SemEval-2020 Task 4 competition: "Commonsense Validation and Explanation". We participate in two subtasks for subtask A: validation and subtask B: Explanation. We implemented with transfer learning using pretrained language models (BERT, XLNet, RoBERTa, and ALBERT) and fine-tune them on this task. Then we compared their characteristics in this task to help future researchers understand and use these models more properly. The ensembled model better solves this problem, making the model's accuracy reached 95.9% on subtask A, which just worse than human's by only 3% accuracy.


title: Moment-Based Ensemble Control

abstract: Controlling a large population, in the limit, a continuum, of structurally identical dynamical systems with parametric variations is a pervasive task in diverse applications in science and engineering. However, the severely underactuated nature and the inability to avail comprehensive state feedback information of such ensemble systems raise significant challenges in analysis and design of ensemble systems. In this paper, we propose a moment-based ensemble control framework, which incorporates and expands the method of moments in probability theory to control theory. In particular, we establish an equivalence between ensemble systems and their moment systems in terms of control and their controllability properties by extending the Hausdorff moment problem from the perspectives of differential geometry and dynamical systems. The developments enable the design of moment-feedback control laws for closing the loop in ensemble systems using the aggregated type of measurements. The feasibility of this closed-loop control design procedure is validated both mathematically and numerically.


title: Utilizing Citation Network Structure to Predict Citation Counts: A Deep Learning Approach

abstract: With the advancement of science and technology, the number of academic papers published in the world each year has increased almost exponentially. While a large number of research papers highlight the prosperity of science and technology, they also give rise to some problems. As we all know, academic papers are the most intuitive embodiment of the research results of scholars, which can reflect the level of researchers. It is also the evaluation standard for decision-making such as promotion and allocation of funds. Therefore, how to measure the quality of an academic paper is very important. The most common standard for measuring academic papers is the number of citation counts of papers, because this indicator is widely used in the evaluation of scientific publications, and it also serves as the basis for many other indicators (such as the h-index). Therefore, it is very important to be able to accurately predict the citation counts of academic papers. This paper proposes an end-to-end deep learning network, DeepCCP, which combines the effect of information cascade and looks at the citation counts prediction problem from the perspective of information cascade prediction. DeepCCP directly uses the citation network formed in the early stage of the paper as the input, and the output is the citation counts of the corresponding paper after a period of time. DeepCCP only uses the structure and temporal information of the citation network, and does not require other additional information, but it can still achieve outstanding performance. According to experiments on 6 real data sets, DeepCCP is superior to the state-of-the-art methods in terms of the accuracy of citation count prediction.


title: Stellar X-ray activity across the Hertzsprung-Russell diagram. I. Catalogs

abstract: Stellar magnetic activity provides substantial information on the magnetic dynamo and the coronal heating process. We present a catalog of X-ray activity for about 6000 stars, based on the $Chandra$ and $Gaia$ DR2 data. We also classified more than 3000 stars as young stellar objects, dwarf stars, or giant stars. By using the stars with valid stellar parameters and classifications, we studied the distribution of X-ray luminosity ($L_X$) and the ratio of X-ray-to-bolometric luminosities ($R_X$), the positive relation between $L_X$, $R_X$, and hardness ratio, and the long-term X-ray variation. This catalog can be used to investigate some important scientific topics, including the activity-rotation relation, the comparison between different activity indicators, and the activities of interesting objects (e.g., A-type stars and giants). As an example, we use the catalog to study the activity-rotation relation, and find that the young stellar objects, dwarfs, and giants fall on a single sequence in the relation $R_X$ versus Rossby number, while the giants do not follow the relation $R_X$ versus $P_{\rm rot}^{-2}R^{-4}$ valid for dwarfs.


title: Once Upon A Time In Visualization: Understanding the Use of Textual Narratives for Causality

abstract: Causality visualization can help people understand temporal chains of events, such as messages sent in a distributed system, cause and effect in a historical conflict, or the interplay between political actors over time. However, as the scale and complexity of these event sequences grows, even these visualizations can become overwhelming to use. In this paper, we propose the use of textual narratives as a data-driven storytelling method to augment causality visualization. We first propose a design space for how textual narratives can be used to describe causal data. We then present results from a crowdsourced user study where participants were asked to recover causality information from two causality visualizations--causal graphs and Hasse diagrams--with and without an associated textual narrative. Finally, we describe CAUSEWORKS, a causality visualization system for understanding how specific interventions influence a causal model. The system incorporates an automatic textual narrative mechanism based on our design space. We validate CAUSEWORKS through interviews with experts who used the system for understanding complex events.


title: A Genetic Feature Selection Based Two-stream Neural Network for Anger Veracity Recognition

abstract: People can manipulate emotion expressions when interacting with others. For example, acted anger can be expressed when stimuli is not genuinely angry with an aim to manipulate the observer. In this paper, we aim to examine if the veracity of anger can be recognized with observers' pupillary data with computational approaches. We use Genetic-based Feature Selection (GFS) methods to select time-series pupillary features of of observers who observe acted and genuine anger of the video stimuli. We then use the selected features to train a simple fully connected neural work and a two-stream neural network. Our results show that the two-stream architecture is able to achieve a promising recognition result with an accuracy of 93.58% when the pupillary responses from both eyes are available. It also shows that genetic algorithm based feature selection method can effectively improve the classification accuracy by 3.07%. We hope our work could help daily research such as human machine interaction and psychology studies that require emotion recognition .


title: SilkViser:A Visual Explorer of Blockchain-based Cryptocurrency Transaction Data

abstract: Many blockchain-based cryptocurrencies provide users with online blockchain explorers for viewing online transaction data. However, traditional blockchain explorers mostly present transaction information in textual and tabular forms. Such forms make understanding cryptocurrency transaction mechanisms difficult for novice users (NUsers). They are also insufficiently informative for experienced users (EUsers) to recognize advanced transaction information. This study introduces a new online cryptocurrency transaction data viewing tool called SilkViser. Guided by detailed scenario and requirement analyses, we create a series of appreciating visualization designs, such as paper ledger-inspired block and blockchain visualizations and ancient copper coin-inspired transaction visualizations, to help users understand cryptocurrency transaction mechanisms and recognize advanced transaction information. We also provide a set of lightweight interactions to facilitate easy and free data exploration. Moreover, a controlled user study is conducted to quantitatively evaluate the usability and effectiveness of SilkViser. Results indicate that SilkViser can satisfy the requirements of NUsers and EUsers. Our visualization designs can compensate for the inexperience of NUsers in data viewing and attract potential users to participate in cryptocurrency transactions.


title: Scotogenic neutrino masses and dark matter stability from residual gauge symmetry

abstract: In the context of the $\mathrm{SU(3)_c \otimes SU(3)_L \otimes U(1)_X \otimes U(1)_{N}}$ (3-3-1-1) extension of the standard model, we show how the spontaneous breaking of the gauge symmetry gives rise to a residual symmetry which accounts for dark matter stability and small neutrino masses in a scotogenic fashion. As a special feature, the gauge structure implies that one of the light neutrinos is massless and, as a result, there is a lower bound for the $0\nu\beta\beta$ decay rate.


title: A Survey on Machine Learning from Few Samples

abstract: Few sample learning (FSL) is significant and challenging in the field of machine learning. The capability of learning and generalizing from very few samples successfully is a noticeable demarcation separating artificial intelligence and human intelligence since humans can readily establish their cognition to novelty from just a single or a handful of examples whereas machine learning algorithms typically entail hundreds or thousands of supervised samples to guarantee generalization ability. Despite the long history dated back to the early 2000s and the widespread attention in recent years with booming deep learning technologies, little surveys or reviews for FSL are available until now. In this context, we extensively review 300+ papers of FSL spanning from the 2000s to 2019 and provide a timely and comprehensive survey for FSL. In this survey, we review the evolution history as well as the current progress on FSL, categorize FSL approaches into the generative model based and discriminative model based kinds in principle, and emphasize particularly on the meta learning based FSL approaches. We also summarize several recently emerging extensional topics of FSL and review the latest advances on these topics. Furthermore, we highlight the important FSL applications covering many research hotspots in computer vision, natural language processing, audio and speech, reinforcement learning and robotic, data analysis, etc. Finally, we conclude the survey with a discussion on promising trends in the hope of providing guidance and insights to follow-up researches.


title: Semi-parametric modeling of SARS-CoV-2 transmission using tests, cases, deaths, and seroprevalence data

abstract: Mechanistic models fit to streaming surveillance data are critical to understanding the transmission dynamics of an outbreak as it unfolds in real-time. However, transmission model parameter estimation can be imprecise, and sometimes even impossible, because surveillance data are noisy and not informative about all aspects of the mechanistic model. To partially overcome this obstacle, Bayesian models have been proposed to integrate multiple surveillance data streams. We devised a modeling framework for integrating SARS-CoV-2 diagnostics test and mortality time series data, as well as seroprevalence data from cross-sectional studies, and tested the importance of individual data streams for both inference and forecasting. Importantly, our model for incidence data accounts for changes in the total number of tests performed. We model the transmission rate, infection-to-fatality ratio, and a parameter controlling a functional relationship between the true case incidence and the fraction of positive tests as time-varying quantities and estimate changes of these parameters nonparametrically. We compare our base model against modified versions which do not use diagnostics test counts or seroprevalence data to demonstrate the utility of including these often unused data streams. We apply our Bayesian data integration method to COVID-19 surveillance data collected in Orange County, California between March 2020 and February 2021 and find that 32--72\% of the Orange County residents experienced SARS-CoV-2 infection by mid-January, 2021. Despite this high number of infections, our results suggest that the abrupt end of the winter surge in January 2021 was due to both behavioral changes and a high level of accumulated natural immunity.


title: FusionNet: Enhanced Beam Prediction for mmWave Communications Using Sub-6GHz Channel and A Few Pilots

abstract: In this paper, we propose a new downlink beamforming strategy for mmWave communications using uplink sub-6GHz channel information and a very few mmWave pilots. Specifically, we design a novel dual-input neural network, called FusionNet, to extract and exploit the features from sub-6GHz channel and a few mmWave pilots to accurately predict mmWave beam. To further improve the beamforming performance and avoid over-fitting, we develop two data pre-processing approaches utilizing channel sparsity and data augmentation. The simulation results demonstrate superior performance and robustness of the proposed strategy compared to the existing one that purely relies on the sub-6GHz information, especially in the low signal-to-noise ratio (SNR) regions.


title: A Novel Event-based Non-intrusive Load Monitoring Algorithm

abstract: Non-intrusive load monitoring (NILM), aims to infer the power profiles of appliances from the aggregated power signal via purely analytical methods. Existing NILM methods are susceptible to various issues such as the noise and transient spikes of the power signal, overshoots at the mode transition times, close consumption values by different appliances, and unavailability of a large training dataset. This paper proposes a novel event-based NILM classification algorithm mitigating these issues. The proposed algorithm (i) filters power consumption signals and accurately detects all events, (ii) extracts specific features of appliances, such as operation modes and their respective power consumption intervals, from their power consumption signals in the training dataset, and (iii) labels with high accuracy each detected event of the aggregated signal with an appliance mode transition. The algorithm is validated using REDD with the results showing its effectiveness to accurately disaggregate low frequency measured data by existing smart meters.


title: Efficient Personalized Community Detection via Genetic Evolution

abstract: Personalized community detection aims to generate communities associated with user need on graphs, which benefits many downstream tasks such as node recommendation and link prediction for users, etc. It is of great importance but lack of enough attention in previous studies which are on topics of user-independent, semi-supervised, or top-K user-centric community detection. Meanwhile, most of their models are time consuming due to the complex graph structure. Different from these topics, personalized community detection requires to provide higher-resolution partition on nodes that are more relevant to user need while coarser manner partition on the remaining less relevant nodes. In this paper, to solve this task in an efficient way, we propose a genetic model including an offline and an online step. In the offline step, the user-independent community structure is encoded as a binary tree. And subsequently an online genetic pruning step is applied to partition the tree into communities. To accelerate the speed, we also deploy a distributed version of our model to run under parallel environment. Extensive experiments on multiple datasets show that our model outperforms the state-of-arts with significantly reduced running time.


title: Active Gate Drive with Gate-Drain Discharge Compensation for Voltage Balancing in Series-Connected SiC MOSFETs

abstract: Imbalanced voltage sharing during the turn-off transient is a challenge for series-connected silicon carbide (SiC) MOSFET application. This article first discusses the influence of the gate-drain discharge deviation on the voltage imbalance ratio, and its primary causes are also presented and verified by LTspice simulation. Accordingly, a novel active gate drive, which aims to compensate the discharge difference between devices connected in series, is proposed and analyzed. By only using the original output of the driving IC, the proposed gate drive is realized by implementing an auxiliary circuit on the existing commercial gate drive. Therefore, unlike other active gate drives for balancing control, no extra isolations for power/signal are needed, and the number of the devices in series is unlimited. The auxiliary circuit includes three sub-circuits as a high-bandwidth current sink for regulating switching performance, a relative low-frequency but reliable sampling and control circuit for closed-loop control, and a trigger combining the former and the latter. The operational principle and the design guideline for each part are presented in detail. Experimental results validate the performance of the proposed gate drive and its voltage balancing control algorithm.


title: Weighted Information Filtering, Smoothing, and Out-of-Sequence Measurement Processing

abstract: We consider the problem of state estimation in dynamical systems and propose a different mechanism for handling unmodeled system uncertainties. Instead of injecting random process noise, we assign different weights to measurements so that more recent measurements are assigned more weight. A specific choice of exponentially decaying weight function results in an algorithm with essentially the same recursive structure as the Kalman filter. It differs, however, in the manner in which old and new data are combined. While in the classical KF, the uncertainty associated with the previous estimate is inflated by adding the process noise covariance, in the present case, the uncertainty inflation is done by multiplying the previous covariance matrix by an exponential factor. This difference allows us to solve a larger variety of problems using essentially the same algorithm. We thus propose a unified and optimal, in the least-squares sense, method for filtering, prediction, smoothing and general out-of-sequence updates. All of these tasks require different Kalman-like algorithms when addressed in the classical manner.


title: Length-optimal tool path planning for freeform surfaces with preferred feed directions

abstract: This paper presents a new method to generate tool paths for machining freeform surfaces represented either as parametric surfaces or as triangular meshes. This method allows for the optimal tradeoff between the preferred feed direction field and the constant scallop height, and yields a minimized overall path length. The optimality is achieved by formulating tool path planning as a Poisson problem that minimizes a simple, quadratic energy. This Poisson formulation considers all tool paths at once, without resorting to any heuristic sampling or initial tool path choosing as in existing methods, and is thus a globally optimal solution. Finding the optimal tool paths amounts to solving a well-conditioned sparse linear system, which is computationally convenient and efficient. Tool paths are represented with an implicit scheme that can completely avoid the challenging topological issues of path singularities and self-intersections seen in previous methods. The presented method has been validated with a series of examples and comparisons.


title: Computational Models for Academic Performance Estimation

abstract: Evaluation of students' performance for the completion of courses has been a major problem for both students and faculties during the work-from-home period in this COVID pandemic situation. To this end, this paper presents an in-depth analysis of deep learning and machine learning approaches for the formulation of an automated students' performance estimation system that works on partially available students' academic records. Our main contributions are (a) a large dataset with fifteen courses (shared publicly for academic research) (b) statistical analysis and ablations on the estimation problem for this dataset (c) predictive analysis through deep learning approaches and comparison with other arts and machine learning algorithms. Unlike previous approaches that rely on feature engineering or logical function deduction, our approach is fully data-driven and thus highly generic with better performance across different prediction tasks.


title: Some bounds for the annihilators of local cohomology and Ext modules

abstract: Let $\mathfrak a$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a non-negative integer. Let $M$ and $N$ be two finitely generated $R$-modules. In certain cases, we give some bounds under inclusion for the annihilators of $\operatorname{Ext}^t_R(M, N)$ and $\operatorname{H}^t_{\mathfrak a}(M)$ in terms of minimal primary decomposition of the zero submodule of $M$ which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.


title: DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

abstract: Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. Detecting and removing contract defects can avoid potential bugs and make programs more robust. Our previous work defined 20 contract defects for smart contracts and divided them into five impact levels. According to our classification, contract defects with seriousness level between 1-3 can lead to unwanted behaviors, e.g., a contract being controlled by attackers. In this paper, we propose DefectChecker, a symbolic execution-based approach and tool to detect eight contract defects that can cause unwanted behaviors of smart contracts on the Ethereum blockchain platform. DefectChecker can detect contract defects from smart contracts bytecode. We compare DefectChecker with key previous works, including Oyente, Mythril and Securify by using an open-source dataset. Our experimental results show that DefectChecker performs much better than these tools in terms of both speed and accuracy. We also applied DefectChecker to 165,621 distinct smart contracts on the Ethereum platform. We found that 25,815 of these smart contracts contain at least one of the contract defects that belongs to impact level 1-3, including some real-world attacks.


title: Strong rainbow disconnection in graphs

abstract: Let $G$ be a nontrivial edge-colored connected graph. An edge-cut $R$ of $G$ is called a {\it rainbow edge-cut} if no two edges of $R$ are colored with the same color. For two distinct vertices $u$ and $v$ of $G$, if an edge-cut separates them, then the edge-cut is called a {\it $u$-$v$-edge-cut}. An edge-colored graph $G$ is called \emph{strong rainbow disconnected} if for every two distinct vertices $u$ and $v$ of $G$, there exists a both rainbow and minimum $u$-$v$-edge-cut ({\it rainbow minimum $u$-$v$-edge-cut} for short) in $G$, separating them, and this edge-coloring is called a {\it strong rainbow disconnection coloring} (srd-{\it coloring} for short) of $G$. For a connected graph $G$, the \emph{strong rainbow disconnection number} (srd-{\it number} for short) of $G$, denoted by $\textnormal{srd}(G)$, is the smallest number of colors that are needed in order to make $G$ strong rainbow disconnected. In this paper, we first characterize the graphs with $m$ edges such that $\textnormal{srd}(G)=k$ for each $k \in \{1,2,m\}$, respectively, and we also show that the srd-number of a nontrivial connected graph $G$ equals the maximum srd-number among the blocks of $G$. Secondly, we study the srd-numbers for the complete $k$-partite graphs, $k$-edge-connected $k$-regular graphs and grid graphs. Finally, we show that for a connected graph $G$, to compute $\textnormal{srd}(G)$ is NP-hard. In particular, we show that it is already NP-complete to decide if $\textnormal{srd}(G)=3$ for a connected cubic graph. Moreover, we show that for a given edge-colored (with an unbounded number of colors) connected graph $G$ it is NP-complete to decide whether $G$ is strong rainbow disconnected.


title: Phase noise-immune unconditionally secured classical key distribution using doubly coupled Mach-Zehnder interferometer

abstract: Recently, new physics for unconditional security in a classical key distribution (USCKD) in a frame of a double Mach-Zehnder interferometer has been proposed and demonstrated as a proof of principle, where the unconditional security is unaffected by the no-cloning theorem of quantum key distribution protocols. Due to environmental phase fluctuations caused by temperature variations, atmospheric turbulences, or mechanical vibrations, active phase locking seems to be necessary for the two-channel transmission layout of USCKD. Here, the two-channel layout of USCKD is demonstrated to be an environmental noise-immune protocol especially for free space optical links, where the transmission distance is potentially unlimited if random phase noises are considered.


title: Refined Heinz operator inequalities and norm inequalities

abstract: In this article we study the Heinz and Hermite-Hadamard inequalities. We derive the whole series of refinements of these inequalities involving unitarily invariant norms, which improve some recent results, known from the literature. We also prove that if $A , B, X\in M_n(\mathbb{C})$ such that $A$ and $B$ are positive definite and $f$ is an operator monotone function on $(0,\infty)$. Then \begin{equation*} |||f(A)X-Xf(B)|||\leq \max\{||f'(A)||, ||f'(B)||\} |||AX-XB|||. \end{equation*} Finally we obtain a series of refinements of the Heinz operator inequalities, which were proved by Kittaneh and Krni\'c.


title: Efficiency Improvements for Encrypt-to-Self

abstract: Recent work by Pijnenburg and Poettering (ESORICS'20) explores the novel cryptographic Encrypt-to-Self primitive that is dedicated to use cases of symmetric encryption where encryptor and decryptor coincide. The primitive is envisioned to be useful whenever a memory-bounded computing device is required to encrypt some data with the aim of temporarily depositing it on an untrusted storage device. While the new primitive protects the confidentiality of payloads as much as classic authenticated encryption primitives would do, it provides considerably better authenticity guarantees: Specifically, while classic solutions would completely fail in a context involving user corruptions, if an encrypt-to-self scheme is used to protect the data, all ciphertexts and messages fully remain unforgeable. To instantiate their encrypt-to-self primitive, Pijnenburg et al propose a mode of operation of the compression function of a hash function, with a carefully designed encoding function playing the central role in the serialization of the processed message and associated data. In the present work we revisit the design of this encoding function. Without questioning its adequacy for securely accomplishing the encrypt-to-self job, we improve on it from a technical/implementational perspective by proposing modifications that alleviate certain conditions that would inevitably require implementations to disrespect memory alignment restrictions imposed by the word-wise operation of modern CPUs, ultimately leading to performance penalties. Our main contributions are thus to propose an improved encoding function, to explain why it offers better performance, and to prove that it provides as much security as its predecessor. We finally report on our open-source implementation of the encrypt-to-self primitive based on the new encoding function.


title: A Framework for Private Matrix Analysis

abstract: We study private matrix analysis in the sliding window model where only the last $W$ updates to matrices are considered useful for analysis. We give first efficient $o(W)$ space differentially private algorithms for spectral approximation, principal component analysis, and linear regression. We also initiate and show efficient differentially private algorithms for two important variants of principal component analysis: sparse principal component analysis and non-negative principal component analysis. Prior to our work, no such result was known for sparse and non-negative differentially private principal component analysis even in the static data setting. These algorithms are obtained by identifying sufficient conditions on positive semidefinite matrices formed from streamed matrices. We also show a lower bound on space required to compute low-rank approximation even if the algorithm gives multiplicative approximation and incurs additive error. This follows via reduction to a certain communication complexity problem.


title: Symbolic dynamical scales: modes, orbitals, and transversals

abstract: We study classes of musical scales obtained from shift spaces in symbolic dynamics through the first symbol rule, which yields scales in any $n$-TET tuning system. The modes are thought as elements of orbit equivalence classes of cyclic shift actions on languages, and we study their orbitals and transversals. We present explicit formulations of the generating functions that allow us to deduce the orbital and transversal dimensions of classes of musical scales generated by vertex shifts, for all $n$, in particular for the 12-TET tuning system.


title: Low frequency radio observations of the `quiet' corona during the descending phase of sunspot cycle 24

abstract: We carried out a statistical study of the `quiet' solar corona during the descending phase of the sunspot cycle 24 (i.e. 2015 January - 2019 May) using data obtained with the Gauribidanur RAdioheliograPH (GRAPH) at 53 MHz and 80 MHz simultaneously. Our results show that the equatorial (east-west) diameters of the solar corona at the above two frequencies shrunk steadily. The decrease was found to be due to a gradual reduction in the coronal electron density ($N_{e}$). Independent estimates of $N_{e}$ in the equatorial region of the `background' corona using white-light coronagraph observations indicate a decline consistent with our findings.


title: BANANA at WNUT-2020 Task 2: Identifying COVID-19 Information on Twitter by Combining Deep Learning and Transfer Learning Models

abstract: The outbreak COVID-19 virus caused a significant impact on the health of people all over the world. Therefore, it is essential to have a piece of constant and accurate information about the disease with everyone. This paper describes our prediction system for WNUT-2020 Task 2: Identification of Informative COVID-19 English Tweets. The dataset for this task contains size 10,000 tweets in English labeled by humans. The ensemble model from our three transformer and deep learning models is used for the final prediction. The experimental result indicates that we have achieved F1 for the INFORMATIVE label on our systems at 88.81% on the test set.


title: Approaches, Challenges, and Applications for Deep Visual Odometry: Toward to Complicated and Emerging Areas

abstract: Visual odometry (VO) is a prevalent way to deal with the relative localization problem, which is becoming increasingly mature and accurate, but it tends to be fragile under challenging environments. Comparing with classical geometry-based methods, deep learning-based methods can automatically learn effective and robust representations, such as depth, optical flow, feature, ego-motion, etc., from data without explicit computation. Nevertheless, there still lacks a thorough review of the recent advances of deep learning-based VO (Deep VO). Therefore, this paper aims to gain a deep insight on how deep learning can profit and optimize the VO systems. We first screen out a number of qualifications including accuracy, efficiency, scalability, dynamicity, practicability, and extensibility, and employ them as the criteria. Then, using the offered criteria as the uniform measurements, we detailedly evaluate and discuss how deep learning improves the performance of VO from the aspects of depth estimation, feature extraction and matching, pose estimation. We also summarize the complicated and emerging areas of Deep VO, such as mobile robots, medical robots, augmented reality and virtual reality, etc. Through the literature decomposition, analysis, and comparison, we finally put forward a number of open issues and raise some future research directions in this field.


title: IVACS: Intelligent Voice Assistant for Coronavirus Disease (COVID-19) Self-Assessment

abstract: At the time of writing this paper, the world has around eleven million cases of COVID-19, scientifically known as severe acute respiratory syndrome corona-virus 2 (SARS-COV-2). One of the popular critical steps various health organizations are advocating to prevent the spread of this contagious disease is self-assessment of symptoms. Multiple organizations have already pioneered mobile and web-based applications for self-assessment of COVID-19 to reduce this global pandemic's spread. We propose an intelligent voice-based assistant for COVID-19 self-assessment (IVACS). This interactive assistant has been built to diagnose the symptoms related to COVID-19 using the guidelines provided by the Centers for Disease Control and Prevention (CDC) and the World Health Organization (WHO). The empirical testing of the application has been performed with 22 human subjects, all volunteers, using the NASA Task Load Index (TLX), and subjects performance accuracy has been measured. The results indicate that the IVACS is beneficial to users. However, it still needs additional research and development to promote its widespread application.


title: Pion production and absorption in heavy-ion collisions

abstract: Based on the isospin dependent transport model IBUU, the pion production and its absorption are thoroughly studied in the central collision of $Au+Au$ at a beam energy of 400 MeV/nucleon. It is found that the pions are firstly produced by the hard $\Delta$ decay at the average density around $1.75\rho_{0}$, whereas about 18\% of them are absorbed absolutely in the subsequent inelastic collisions. For the free pions observed, more than half of them have been scattered for one or more times before they are free from matter. And the more scattering numbers of pions, the higher the momentum they possess. These pions, due to longer time of their existence in high density nuclear matter, carry more information about the symmetry energy of the nuclear matter at high densities.


title: Ferrimagnetism Induced by Off-Site Coulomb Interaction in an Itinerant Electron System

abstract: Motivated by weak ferromagnetism (FM) in a $\tau$-type molecular conductor ($\tau$-MC), we examine its mechanism using a two-band extended Hubbard model. Applying the random phase approximation, we elucidate the uniform spin and charge fluctuations between unit cells in the presence of on-site and off-site interactions. Applying the mean-field approximation, we find the ordered state mixing with antiferromagnetism (AFM), weak FM, and charge ordering (CO) components in each unit cell: we classify this state as ferrimagnetism (FIM). We reveal the phase diagrams in the interaction and interaction-temperature spaces. The former shows that the off-site interaction induces FIM from pure AFM and the latter shows that lowering the temperature stabilizes FIM. To clarify the stabilization mechanism of the phases, we focus on the microscopic nature of the ordered states, including the band structure, Fermi surface, and density of states. We find that the FIM state is obtained from mixing features of AFM, CO, and FM; therefore, the emergence of FIM requires both the on-site and off-site interactions. Then, we discuss the effect of lowering the temperature and predict that the AFM gap assists the emergence of FIM based on AFM. This FIM state is possibly related to the observation of the weak FM in $\tau$-MC.


title: Asymptotic Convergence of Solutions for One-Dimensional Keller-Segel Equations

abstract: The second and third authors of this paper have constructed in [14] finite-dimensional attractors for the one-dimensional Keller-Segel equations. They have also remarked in [14, Section 7] that, when the sensitivity function is a linear function, the equations admit a global Lyapunov function. But at that moment they could not show the asymptotic convergence of solutions. This paper is then devoted to supplementing the results of [14, Section 7] by showing that, as $t \to \infty$, every solution necessarily converges to a stationary solution by using the {\L}ojasiewicz-Simon gradient inequality of the Lyapunov function.


title: On the influence of the fixed points of an automorphism to the structure of a group

abstract: Let $\alpha$ be a coprime automorphism of a group $G$ of prime order and let $P$ be an $\alpha$-invariant Sylow $p$-subgroup of $G$. Assume that $p\notin \pi(C_G(\alpha))$. Firstly, we prove that $G$ is $p$-nilpotent if and only if $C_{N_G(P)}(\alpha)$ centralizes $P$. In the case that $G$ is $Sz(2^r)$ and $PSL(2,2^r)$-free where $r=|\alpha|$, we show that $G$ is $p$-closed if and only if $C_G(\alpha)$ normalizes $P$. As a consequences of these two results, we obtain that $G\cong P\times H$ for a group $H$ if and only if $C_G(\alpha)$ centralizes $P$. We also prove a generalization of the Frobenius $p$-nilpotency theorem for groups admitting a group of automorphisms of coprime order.


title: Universal Layout Emulation for Long-Term Database Archival

abstract: Research on alternate media technologies, like film, synthetic DNA, and glass, for long-term data archival has received a lot of attention recently due to the media obsolescence issues faced by contemporary storage media like tape, Hard Disk Drives (HDD), and Solid State Disks (SSD). While researchers have developed novel layout and encoding techniques for archiving databases on these new media types, one key question remains unaddressed: How do we ensure that the decoders developed today will be available and executable by a user who is restoring an archived database several decades later in the future, on a computing platform that potentially does not even exist today? In this paper, we make the case for Universal Layout Emulation (ULE), a new approach for future-proof, long-term database archival that advocates archiving decoders together with the data to ensure successful recovery. In order to do so, ULE brings together concepts from Data Management and Digital Preservation communities by using emulation for archiving decoders. In order to show that ULE can be implemented in practice, we present the design and evaluation of Micr'Olonys, an end-to-end long-term database archival system that can be used to archive databases using visual analog media like film, microform, and archival paper.


title: Nano-mechanics driven by Andreev tunneling

abstract: We predict and analyze mechanical instability and corresponding self-sustained mechanical oscillations occurring in a nanoelectromechanical system composed of a metallic carbon nanotube (CNT) suspended between two superconducting leads and coupled to a scanning tunneling microscope (STM) tip. We show that such phenomena are realized in the presence of both the coherent Andreev tunneling between the CNT and superconducting leads, and an incoherent single electron tunneling between the voltage biased STM tip and CNT. Treating the CNT as a single-level quantum dot, we demonstrate that the mechanical instability is controlled by the Josephson phase difference, relative position of the electron energy level, and the direction of the charge flow. It is found numerically that the emergence of the self-sustained oscillations leads to a substantial suppression of DC electric current.


title: Apollonian depth, spinors, and the super-Dedekind tessellation

abstract: The configuration space of tricycles (triples of disks in contact) is shown to coincide with the complex plane resulting as a projective space costructed from the tangency and Pauli spinors. Remarkably, the fractal of the depth functions assumes a particularly simple and elegant form. Moreover, the factor space due to a certain symmetry group provides a parametrization of the Apollonian disk packings.


title: WS2-QDs Decorated RGO Lattice on e-textile: Development of Ultrasensitive Wearable Quantum Thermometer

abstract: We report the fabrication and human trial of a novel wearable temperature sensor based on WS2-QDs/RGO; which performs instant measurement like thermometer in a wide temperature range: 77K-398 K, in both static- and instant mode. The device is simple, scalable, flexible and cost-effective, where nanoscience and technology played a vital role behind its concept and realization. The WS2-QDs/RGO heterostructure is developed by decorating WS2-QDs on pre-RGO coated cotton textile. In static mode, the crucial parameters such as temperature coefficient of resistance (TCR) and thermal hysteresis (Hth) were analyzed in depth to get the intricate mechanism behind the working of a temperature sensor; and check its worthiness to be a better candidate in the field of temperature sensor. Temperature sensing data at both high- and low temperatures are very much encouraging; and endorses its viability. Human trial is conducted to make reliable and hassle free temperature monitoring like thermometer where the sensor device is found capable to measure accurate body temperature with exceptional resolution i.e. the minimum change in temperature the device can measure is ~0.06K in addition to, fast response- and recovery time ~1.4 s and 1.7 s respectively. In every sense, the developed sensor has exhibited highest degree of superiority vis-a-vis its counterpart commercial thermometer used in healthcare. Besides, the device has passed through all deformation test successfully and proved its mettle. This sensor device proved its flexibility and stability under various mechanical deformation(s), showing its promising potential for future generation wearable health monitoring devices. To the best of our knowledge, this is the first report on WS2 in general, and WS2-QDs, in specific, based temperature sensing device and its operational demonstration as of now.


title: Improved Error Performance in NOMA-based Diamond Relaying

abstract: Non-orthogonal multiple access (NOMA)-based cooperative relaying systems (CRS) has emerged as a solution to the spectral inefficiency problem of the conventional cooperative relaying systems thanks to the NOMA integration. Thus, as a subset of NOMA-CRS, the NOMA-based diamond relaying network (NOMA-DRN) also provides a performance gain in terms of throughput. However, the NOMA-DRN has a poor error performance due to the second phase (uplink), indeed, it has a error floor regardless of the transmit power, power allocation and channel qualities. To address this problem, in this paper, we propose a novel NOMA-DRN schemes where joint maximum likelihood (JML) decoding is implemented at the destination. Then, we define the performance metrics (i.e., bit error rate (BER) and the diversity order ) of the NOMA-DRN with the JML and analyze the computational complexity. Moreover, we demonstrate that the new NOMA-DRN with JML can cope with the error floor penalty of the conventional NOMA-DRN. Hence, a spectral efficient NOMA-CRS scheme can be achieved with high data reliability. Specifically, this improvement can reach to $\sim20-30dB$ in the transmit power which is superb gain in terms of energy efficiency perspective. Furthermore, with the proposed NOMA-DRN with the JML, the full diversity order can be achieved in the low-medium SNR region.


title: Von Neumann's No Hidden Variable Theorem

abstract: Von Neumann use 4 assumptions to derive the Hilbert space (HS) formulation of quantum mechanics (QM). Within this theory dispersion free ensembles do not exist. To accommodate a theory of quantum mechanics that allow dispersion free ensemble some of the assumptions need be modified. An existing formulation of QM, the phase space (PS) formulation allow dispersion free ensembles and thus is qualifies as an hidden variable theory. Within the PS theory we identify the violated assumption (dubbed I in the text) to be the one that requires that the value r for the quantity $\mathbb{R}$ implies the value f(r) for the quantity $f(\mathbb{R})$. We note that this violation arise due to tracking within c-number hidden variable theory of the operator ordering involved in HS theory as is required for a 1-1 correspondence between the theories.


title: An Improved Algorithm for Fast K-Word Proximity Search Based on Multi-Component Key Indexes

abstract: A search query consists of several words. In a proximity full-text search, we want to find documents that contain these words near each other. This task requires much time when the query consists of high-frequently occurring words. If we cannot avoid this task by excluding high-frequently occurring words from consideration by declaring them as stop words, then we can optimize our solution by introducing additional indexes for faster execution. In a previous work, we discussed how to decrease the search time with multi-component key indexes. We had shown that additional indexes can be used to improve the average query execution time up to 130 times if queries consisted of high-frequently occurring words. In this paper, we present another search algorithm that overcomes some limitations of our previous algorithm and provides even more performance gain. This is a pre-print of a contribution published in Arai K., Kapoor S., Bhatia R. (eds) Intelligent Systems and Applications. IntelliSys 2020. Advances in Intelligent Systems and Computing, vol 1251, published by Springer, Cham. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-55187-2_37


title: Automatic Dialect Adaptation in Finnish and its Effect on Perceived Creativity

abstract: We present a novel approach for adapting text written in standard Finnish to different dialects. We experiment with character level NMT models both by using a multi-dialectal and transfer learning approaches. The models are tested with over 20 different dialects. The results seem to favor transfer learning, although not strongly over the multi-dialectal approach. We study the influence dialectal adaptation has on perceived creativity of computer generated poetry. Our results suggest that the more the dialect deviates from the standard Finnish, the lower scores people tend to give on an existing evaluation metric. However, on a word association test, people associate creativity and originality more with dialect and fluency more with standard Finnish.


title: Adiabatic and Nonadiabatic Spin-transfer Torques in Antiferromagnets

abstract: Electron transport in magnetic orders and the magnetic orders dynamics have a mutual dependence, which provides the key mechanisms in spin-dependent phenomena. Recently, antiferromagnetic orders are focused on as the magnetic order, where current-induced spin-transfer torques, a typical effect of electron transport on the magnetic order, have been debatable mainly because of the lack of an analytic derivation based on quantum field theory. Here, we construct the microscopic theory of spin-transfer torques on the slowly-varying staggered magnetization in antiferromagnets with weak canting. In our theory, the electron is captured by bonding/antibonding states, each of which is the eigenstate of the system, doubly degenerates, and spatially spreads to sublattices because of electron hopping. The spin of the eigenstates depends on the momentum in general, and a nontrivial spin-momentum locking arises for the case with no site inversion symmetry, without considering any spin-orbit couplings. The spin current of the eigenstates includes an anomalous component proportional to a kind of gauge field defined by derivatives in momentum space and induces the adiabatic spin-transfer torques on the magnetization. Unexpectedly, we find that one of the nonadiabatic torques has the same form as the adiabatic spin-transfer torque, while the obtained forms for the adiabatic and nonadiabatic spin-transfer torques agree with the phenomenological derivation based on the symmetry consideration. This finding suggests that the conventional explanation for the spin-transfer torques in antiferromagnets should be changed. Our microscopic theory provides a fundamental understanding of spin-related physics in antiferromagnets.


title: Nonlinear reduced models for state and parameter estimation

abstract: State estimation aims at approximately reconstructing the solution $u$ to a parametrized partial differential equation from $m$ linear measurements, when the parameter vector $y$ is unknown. Fast numerical recovery methods have been proposed based on reduced models which are linear spaces of moderate dimension $n$ which are tailored to approximate the solution manifold $\mathcal{M}$ where the solution sits. These methods can be viewed as deterministic counterparts to Bayesian estimation approaches, and are proved to be optimal when the prior is expressed by approximability of the solution with respect to the reduced model. However, they are inherently limited by their linear nature, which bounds from below their best possible performance by the Kolmogorov width $d_m(\mathcal{M})$ of the solution manifold. In this paper we propose to break this barrier by using simple nonlinear reduced models that consist of a finite union of linear spaces $V_k$, each having dimension at most $m$ and leading to different estimators $u_k^*$. A model selection mechanism based on minimizing the PDE residual over the parameter space is used to select from this collection the final estimator $u^*$. Our analysis shows that $u^*$ meets optimal recovery benchmarks that are inherent to the solution manifold and not tied to its Kolmogorov width. The residual minimization procedure is computationally simple in the relevant case of affine parameter dependence in the PDE. In addition, it results in an estimator $y^*$ for the unknown parameter vector. In this setting, we also discuss an alternating minimization (coordinate descent) algorithm for joint state and parameter estimation, that potentially improves the quality of both estimators.


title: Strain-tunable magnetism and nodal loops in monolayer MnB

abstract: Designing two-dimensional (2D) materials with magnetic and topological properties has continuously attracted intense interest in fundamental science and potential applications. Here, on the basis of first-principles calculations, we predict the coexistence of antiferromagnetism and Dirac nodal loop (NL) in the monolayer MnB, where the band crossing points are very close to the Fermi Level. Remarkably, a moderate strain can induce an antiferromagnetic to ferromagnetic phase transition, driving the monolayer MnB to a ferromagnetic metal with Weyl NLs. Such a type of topological quantum phase transition has not been observed before. In addition, the symmetry-protected properties of the two types of NLs as well as the magnetic critical temperatures are investigated. The controllable magnetic and topological order in monolayer MnB offers a unique platform for exploring topological quantum phase transitions and realizing nanospintronic devices.


title: Accurate Correlation Energy Functional for Uniform Electron Gas from an Interpolation Ansatz without Fitting Parameters

abstract: We report an analytical representation of the correlation energy ec(rs, zeta) for a uniform electron gas (UEG), where rs is the Seitz radius or density parameter and zeta is the relative spin polarization. The new functional, called W20, is constructed to capture the known high-density and low-density limit (for zeta = 0 and 1) without any fitting parameters. The comparative assessment against the recent quantum Monte Carlo (QMC) results shows that the performance of the W20 functional is comparable to the popular parametrized UEG correlation functionals. On average, W20 agrees with QMC and PW92 [Phys. Rev. B 45, 13244 (1992)] within 0.01 eV, and W20 recovers the correct high- and low-density limits, whereas the QMC-data fitted UEG correlation functionals do not.


title: Participatory Budgeting with Cumulative Votes

abstract: In participatory budgeting we are given a set of projects---each with a cost, an available budget, and a set of voters who in some form express their preferences over the projects. The goal is to select---based on voter preferences---a subset of projects whose total cost does not exceed the budget. We propose several aggregation methods based on the idea of cumulative votes, e.g., for the setting when each voter is given one coin and she specifies how this coin should be split among the projects. We compare our aggregation methods based on (1) axiomatic properties, and (2) computer simulations. We identify one method, Minimal Transfers over Costs, that demonstrates particularly desirable behavior. In particular, it significantly improves on existing methods, satisfies a strong notion of proportionality, and, thus, is promising to be used in practice.


title: Active and inactive components of the streamwise velocity in wall-bounded turbulence

abstract: Townsend (1961) introduced the concept of active and inactive motions for wall-bounded turbulent flows, where the active motions are solely responsible for producing the Reynolds shear stress, the key momentum transport term in these flows. While the wall-normal component of velocity is associated exclusively with the active motions, the wall-parallel components of velocity are associated with both active and inactive motions. In this paper, we propose a method to segregate the active and inactive components of the 2-D energy spectrum of the streamwise velocity, thereby allowing us to test the self-similarity characteristics of the former which are central to theoretical models for wall-turbulence. The approach is based on analyzing datasets comprising two-point streamwise velocity signals coupled with a spectral linear stochastic estimation (SLSE) based procedure. The data considered span a friction Reynolds number range $Re_{\tau}$ $\sim$ ${\mathcal{O}}$($10^3$) -- ${\mathcal{O}}$($10^4$). The procedure linearly decomposes the full 2-D spectrum (${\Phi}$) into two components, ${\Phi}_{ia}$ and ${\Phi}_{a}$, comprising contributions predominantly from the inactive and active motions, respectively. This is confirmed by ${\Phi}_{a}$ exhibiting wall-scaling, for both streamwise and spanwise wavelengths, corresponding well with the Reynolds shear stress cospectra reported in the literature. Both ${\Phi}_{a}$ and ${\Phi}_{ia}$ are found to depict prominent self-similar characteristics in the inertially dominated region close to the wall, suggestive of contributions from Townsend's attached eddies. Inactive contributions from the attached eddies reveal pure $k^{-1}$-scaling for the associated 1-D spectra (where $k$ is the streamwise/spanwise wavenumber), lending empirical support to the attached eddy model of Perry & Chong (1982).


title: Epitaxial graphene/Ge interfaces: a minireview

abstract: The recent discovery of the ability to perform direct epitaxial growth of graphene layers on semiconductor Ge surfaces led to the huge interest to this topic. One of the reasons for this interest is the chance to overcome several present-day drawbacks on the way of the graphene integration in the modern semiconductor technology. The other one is connected with the fundamental studies of the new graphene-semiconductor interfaces, that might help with the deeper understanding of mechanisms, which governs graphene growth on different substrates as well as shed light on the interaction of graphene with these substrates, which range is now spread from metals to insulators. The present minireview gives a timely overview of the state-of-the-art in the field of studies of the graphene-Ge epitaxial interfaces and draw some perspective directions in this research area.


title: $In$ $situ$ and $operando$ characterisation techniques for solid oxide electrochemical cells: Recent advances

abstract: Oxygen activity and surface stability are two key parameters in the search for advanced materials for intermediate temperature solid oxide electrochemical cells, as overall device performance depends critically on them. In particular $in$ $situ$ and $operando$ characterisation techniques have accelerated the understanding of degradation processes and the identification of active sites, motivating the design and synthesis of improved, nanoengineered materials. In this short topical review we report on the latest developments of various sophisticated $in$ $situ$ and $operando$ characterization techniques, including Transmission and Scanning Electron Microscopy (TEM and SEM), surface-enhanced Raman spectroscopy (SERS), Electrochemical Impedance Spectroscopy (EIS), X-ray Diffraction (XRD) and synchrotron based X-ray photoelectron spectroscopy (XPS) and X-ray absorption spectroscopy (XAS), among others. We focus on their use in three emerging topics, namely: (i) the analysis of general electrochemical reactions and the surface defect chemistry of electrode materials; (ii) the evolution of electrode surfaces achieved by nanoparticle exsolution for enhanced oxygen activity and (iii) the study of surface degradation caused by Sr segregation, leading to reduced durability. For each of these topics we highlight the most remarkable examples recently published. We anticipate that ongoing improvements in the characterisation techniques and especially a complementary use of them by multimodal approaches will lead to improved knowledge of $operando$ processes, hence allowing a significant advancement in cell performance in the near future.


title: End-to-End Mutual Coupling Aware Communication Model for Reconfigurable Intelligent Surfaces: An Electromagnetic-Compliant Approach Based on Mutual Impedances

abstract: Reconfigurable intelligent surfaces (RISs) are an emerging technology for application to wireless networks. We introduce a physics and electromagnetic (EM) compliant communication model for analyzing and optimizing RIS-assisted wireless systems. The proposed model has four main notable attributes: (i) it is end-to-end, i.e., it is formulated in terms of an equivalent channel that yields a one-to-one mapping between the voltages fed into the ports of a transmitter and the voltages measured at the ports of a receiver; (ii) it is EM-compliant, i.e., it accounts for the generation and propagation of the EM fields; (iii) it is mutual coupling aware, i.e., it accounts for the mutual coupling among the sub-wavelength unit cells of the RIS; and (iv) it is unit cell aware, i.e., it accounts for the intertwinement between the amplitude and phase response of the unit cells of the RIS.


title: Multilinear Common Component Analysis via Kronecker Product Representation

abstract: We consider the problem of extracting a common structure from multiple tensor datasets. For this purpose, we propose multilinear common component analysis (MCCA) based on Kronecker products of mode-wise covariance matrices. MCCA constructs a common basis represented by linear combinations of the original variables which loses as little information of the multiple tensor datasets. We also develop an estimation algorithm for MCCA that guarantees mode-wise global convergence. Numerical studies are conducted to show the effectiveness of MCCA.


title: SemEval-2020 Task 11: Detection of Propaganda Techniques in News Articles

abstract: We present the results and the main findings of SemEval-2020 Task 11 on Detection of Propaganda Techniques in News Articles. The task featured two subtasks. Subtask SI is about Span Identification: given a plain-text document, spot the specific text fragments containing propaganda. Subtask TC is about Technique Classification: given a specific text fragment, in the context of a full document, determine the propaganda technique it uses, choosing from an inventory of 14 possible propaganda techniques. The task attracted a large number of participants: 250 teams signed up to participate and 44 made a submission on the test set. In this paper, we present the task, analyze the results, and discuss the system submissions and the methods they used. For both subtasks, the best systems used pre-trained Transformers and ensembles.


title: Higher dimensional generalizations of some theorems on normality of meromorphic functions

abstract: In [Israel J. Math, 2014], Grahl and Nevo obtained a significant improvement for the well-known normality criterion of Montel. They proved that for a family of meromorphic functions $\mathcal F$ in a domain $D\subset \mathbb C,$ and for a positive constant $\epsilon$, if for each $f\in \mathcal F$ there exist meromorphic functions $a_f,b_f,c_f$ such that $f$ omits $a_f,b_f,c_f$ in $D$ and $$\min\{\rho(a_f(z),b_f(z)), \rho(b_f(z),c_f(z)), \rho(c_f(z),a_f(z))\}\geq \epsilon,$$ for all $z\in D$, then $\mathcal F$ is normal in $D$. Here, $\rho$ is the spherical metric in $\widehat{\mathbb C}$. In this paper, we establish the high-dimensional versions for the above result and for the following well-known result of Lappan: A meromorphic function $ f$ in the unit disc $\triangle:=\{z\in\mathbb C: |z|<1\}$ is normal if there are five distinct values $a_1,\dots,a_5$ such that $$\sup\{(1-|z|^2)\frac{ |f '(z)|}{1+|f(z)|^2}: z\in f^{-1}\{a_1,\dots,a_5\}\} < \infty.$$


title: Orbit embedding for double flag varieties and Steinberg map

abstract: In the first half of this article, we review the Steinberg theory for double flag varieties for symmetric pairs. For a special case of the symmetric space of type AIII, we will consider $ X = GL_{2n}/P_{(n,n)} \times GL_n / B_n^+ \times GL_n / B_n^- $ on which $ K = GL_n \times GL_n $ acts diagonally. We give a classification of $ K $-orbits in $ X $, and explicit combinatorial description of the Steinberg maps. In the latter half, we develop the theory of embedding of a double flag variety into a larger one. This embedding is a powerful tool to study different types of double flag varieties in terms of the known ones. We prove an embedding theorem of orbits in full generality and give an example of type CI which is embedded into type AIII.


title: Inverted Channel Belts and Floodplain Clays to the East of Tempe Terra, Mars: Implications for Persistent Fluvial Activity on Early Mars

abstract: The climate on early Mars is one of the major unsolved problems. It is unclear whether early Mars was warm and wet or cold and icy. Morphological features on Mars such as sinuous ridges could provide critical constraints to address this issue. Here we investigate several sinuous ridges to the east of Tempe Terra, Mars and find they may have recorded persistent fluvial activity on early Mars. Our analysis indicates that these ridges may represent exhumation of the channel belts and overbank deposits formed from meander rivers over significant geologic time. Layered smectite-bearing minerals, distributed along the ridge flanks, could be detrital or authigenic floodplain clays. Our interpretation of the stratigraphic relationships indicates that the layered smectite-bearing materials lie between channel belt deposits, supporting the floodplain interpretation. Our results suggest that a persistent warming event has persisted for a geologically significant interval (>1500 yr) during the Noachian period of Mars.


title: A Generative Adversarial Approach To ECG Synthesis And Denoising

abstract: Generative Adversarial Networks (GAN) are known to produce synthetic data that are difficult to discern from real ones by humans. In this paper we present an approach to use GAN to produce realistically looking ECG signals. We utilize them to train and evaluate a denoising autoencoder that achieves state-of-the-art filtering quality for ECG signals. It is demonstrated that generated data improves the model performance compared to the model trained on real data only. We also investigate an effect of transfer learning by reusing trained discriminator network for denoising model.


title: HPSGD: Hierarchical Parallel SGD With Stale Gradients Featuring

abstract: While distributed training significantly speeds up the training process of the deep neural network (DNN), the utilization of the cluster is relatively low due to the time-consuming data synchronizing between workers. To alleviate this problem, a novel Hierarchical Parallel SGD (HPSGD) strategy is proposed based on the observation that the data synchronization phase can be paralleled with the local training phase (i.e., Feed-forward and back-propagation). Furthermore, an improved model updating method is unitized to remedy the introduced stale gradients problem, which commits updates to the replica (i.e., a temporary model that has the same parameters as the global model) and then merges the average changes to the global model. Extensive experiments are conducted to demonstrate that the proposed HPSGD approach substantially boosts the distributed DNN training, reduces the disturbance of the stale gradients and achieves better accuracy in given fixed wall-time.


title: The Mixture Graph-A Data Structure for Compressing, Rendering, and Querying Segmentation Histograms

abstract: In this paper, we present a novel data structure, called the Mixture Graph. This data structure allows us to compress, render, and query segmentation histograms. Such histograms arise when building a mipmap of a volume containing segmentation IDs. Each voxel in the histogram mipmap contains a convex combination (mixture) of segmentation IDs. Each mixture represents the distribution of IDs in the respective voxel's children. Our method factorizes these mixtures into a series of linear interpolations between exactly two segmentation IDs. The result is represented as a directed acyclic graph (DAG) whose nodes are topologically ordered. Pruning replicate nodes in the tree followed by compression allows us to store the resulting data structure efficiently. During rendering, transfer functions are propagated from sources (leafs) through the DAG to allow for efficient, pre-filtered rendering at interactive frame rates. Assembly of histogram contributions across the footprint of a given volume allows us to efficiently query partial histograms, achieving up to 178$\times$ speed-up over na$\mathrm{\"{i}}$ve parallelized range queries. Additionally, we apply the Mixture Graph to compute correctly pre-filtered volume lighting and to interactively explore segments based on shape, geometry, and orientation using multi-dimensional transfer functions.


title: A subexponential size triangulation of $\mathbb{R}P^n$

abstract: We address a long-standing and long-investigated problem in combinatorial topology, and break the exponential barrier for triangulations of real projective space, constructing a trianglation of $\mathbb{RP}^n$ of size $e^{(\frac{1}{2}+o(1))\sqrt{n}{\log n}}$.


title: Deep Learning for Automatic Spleen Length Measurement in Sickle Cell Disease Patients

abstract: Sickle Cell Disease (SCD) is one of the most common genetic diseases in the world. Splenomegaly (abnormal enlargement of the spleen) is frequent among children with SCD. If left untreated, splenomegaly can be life-threatening. The current workflow to measure spleen size includes palpation, possibly followed by manual length measurement in 2D ultrasound imaging. However, this manual measurement is dependent on operator expertise and is subject to intra- and inter-observer variability. We investigate the use of deep learning to perform automatic estimation of spleen length from ultrasound images. We investigate two types of approach, one segmentation-based and one based on direct length estimation, and compare the results against measurements made by human experts. Our best model (segmentation-based) achieved a percentage length error of 7.42%, which is approaching the level of inter-observer variability (5.47%-6.34%). To the best of our knowledge, this is the first attempt to measure spleen size in a fully automated way from ultrasound images.


title: Bringing Physical Physics Classroom Online -- Challenges of Online Teaching in the New Normal

abstract: The onset of the COVID-19 pandemic in 2020 has greatly impacted all forms of social activities globally, including traditional classroom activities across all levels of instruction (kindergarten to universities). While many countries have opted for suspension of lessons, this cannot continue indefinitely and alternative means to continue lessons must be developed. While online and blended learning (including MOOCs) have been an active subject of research and discourse during the pre-pandemic days, onset of the pandemic has suddenly created an immediacy to such means of course delivery, better than any administrator or teaching committee could have done. This creates both a gap and tension in terms of successful and engaging content delivery, where traditional modes of synchronous content delivery is now forced to be brought online. Yet, the situation provides educators with an opportunity to explore the merits and weaknesses of online learning. Thus, this article seeks to outline the challenges and paradigm shifts involved in such synchronous online learning as a replacement for traditional classroom learning, following our experience at SUTD of conducting a full 13-week online physics course between May to August 2020. At the same time, we reflect on the merits brought about by the availability of such technologies that can potentially be translated to the physical physics classrooms.


title: On the probabilistic feasibility of solutions in multi-agent optimization problems under uncertainty

abstract: We investigate the probabilistic feasibility of randomized solutions to two distinct classes of uncertain multi-agent optimization programs. We first assume that only the constraints of the program are affected by uncertainty, while the cost function is arbitrary. Leveraging recent a posteriori developments of the scenario approach, we provide probabilistic guarantees for all feasible solutions of the program under study. This result is particularly useful in cases where numerical difficulties related to the convergence of the solution-seeking algorithm hinder the exact quantification of the optimal solution. Furthermore, it can be applied to cases where the agents' incentives lead to a suboptimal solution, e.g., under a non-cooperative setting. We then focus on optimization programs where the cost function admits an aggregate representation and depends on uncertainty while constraints are deterministic. By exploiting the structure of the program under study and leveraging the so called support rank notion, we provide agent-independent robustness certificates for the optimal solution, i.e., the constructed bound on the probability of constraint violation does not depend on the number of agents, but only on the dimension of the agents' decision. This substantially reduces the number of samples required to achieve a certain level of probabilistic robustness as the number of agents increases. All robustness certificates provided in this paper are distribution-free and can be used alongside any optimization algorithm. Our theoretical results are accompanied by a numerical case study involving a charging control problem of a fleet of electric vehicles.


title: Synthesising Realistic Calcium Traces of Neuronal Populations Using GAN

abstract: Calcium imaging has become a powerful and popular technique to monitor the activity of large populations of neurons in vivo. However, for ethical considerations and despite recent technical developments, recordings are still constrained to a limited number of trials and animals. This limits the amount of data available from individual experiments and hinders the development of analysis techniques and models for more realistic sizes of neuronal populations. The ability to artificially synthesize realistic neuronal calcium signals could greatly alleviate this problem by scaling up the number of trials. Here, we propose a Generative Adversarial Network (GAN) model to generate realistic calcium signals as seen in neuronal somata with calcium imaging. To this end, we propose CalciumGAN, a model based on the WaveGAN architecture and train it on calcium fluorescent signals with the Wasserstein distance. We test the model on artificial data with known ground-truth and show that the distribution of the generated signals closely resembles the underlying data distribution. Then, we train the model on real calcium traces recorded from the primary visual cortex of behaving mice and confirm that the deconvolved spike trains match the statistics of the recorded data. Together, these results demonstrate that our model can successfully generate realistic calcium traces, thereby providing the means to augment existing datasets of neuronal activity for enhanced data exploration and modelling.


title: Deep Learning for the Analysis of Disruption Precursors based on Plasma Tomography

abstract: The JET baseline scenario is being developed to achieve high fusion performance and sustained fusion power. However, with higher plasma current and higher input power, an increase in pulse disruptivity is being observed. Although there is a wide range of possible disruption causes, the present disruptions seem to be closely related to radiative phenomena such as impurity accumulation, core radiation, and radiative collapse. In this work, we focus on bolometer tomography to reconstruct the plasma radiation profile and, on top of it, we apply anomaly detection to identify the radiation patterns that precede major disruptions. The approach makes extensive use of machine learning. First, we train a surrogate model for plasma tomography based on matrix multiplication, which provides a fast method to compute the plasma radiation profiles across the full extent of any given pulse. Then, we train a variational autoencoder to reproduce the radiation profiles by encoding them into a latent distribution and subsequently decoding them. As an anomaly detector, the variational autoencoder struggles to reproduce unusual behaviors, which includes not only the actual disruptions but their precursors as well. These precursors are identified based on an analysis of the anomaly score across all baseline pulses in two recent campaigns at JET.


title: Screening Rules and its Complexity for Active Set Identification

abstract: Screening rules were recently introduced as a technique for explicitly identifying active structures such as sparsity, in optimization problem arising in machine learning. This has led to new methods of acceleration based on a substantial dimension reduction. We show that screening rules stem from a combination of natural properties of subdifferential sets and optimality conditions, and can hence be understood in a unified way. Under mild assumptions, we analyze the number of iterations needed to identify the optimal active set for any converging algorithm. We show that it only depends on its convergence rate.


title: Multi-Way Number Partitioning: an Information-Theoretic View

abstract: The number partitioning problem is the problem of partitioning a given list of numbers into multiple subsets so that the sum of the numbers in each subset are as nearly equal as possible. We introduce two closely related notions of the "most informative" and "most compressible" partitions. Most informative partitions satisfy a principle of optimality property. We also give an exact algorithm (based on Huffman coding) with a running time of O(nlog(n)) in input size n to find the most compressible partition.


title: Efficient Pedestrian Detection in Top-View Fisheye Images Using Compositions of Perspective View Patches

abstract: Pedestrian detection in images is a topic that has been studied extensively, but existing detectors designed for perspective images do not perform as successfully on images taken with top-view fisheye cameras, mainly due to the orientation variation of people in such images. In our proposed approach, several perspective views are generated from a fisheye image and then concatenated to form a composite image. As pedestrians in this composite image are more likely to be upright, existing detectors designed and trained for perspective images can be applied directly without additional training. We also describe a new method of mapping detection bounding boxes from the perspective views to the fisheye frame. The detection performance on several public datasets compare favorably with state-of-the-art results.


title: Initial-boundary value and inverse problems for subdiffusion equations in $\mathbb{R}^N$

abstract: An initial-boundary value problem for a subdiffusion equation with an elliptic operator $A(D)$ in $\mathbb{R}^N$ is considered. The existence and uniqueness theorems for a solution of this problem are proved by the Fourier method. Considering the order of the Caputo time-fractional derivative as an unknown parameter, the corresponding inverse problem of determining this order is studied. It is proved, that the Fourier transform of the solution $\hat{u}(\xi, t)$ at a fixed time instance recovers uniquely the unknown parameter. Further, a similar initial-boundary value problem is investigated in the case when operator $A(D)$ is replaced by its power $A^\sigma$. Finally, the existence and uniqueness theorems for a solution of the inverse problem of determining both the orders of fractional derivatives with respect to time and the degree $ \sigma $ are proved. We also note that when solving the inverse problems, a decrease in the parameter $\rho$ of the Mettag-Leffler functions $E_\rho$ has been proved.


title: Higher-order Quasi-Monte Carlo Training of Deep Neural Networks

abstract: We present a novel algorithmic approach and an error analysis leveraging Quasi-Monte Carlo points for training deep neural network (DNN) surrogates of Data-to-Observable (DtO) maps in engineering design. Our analysis reveals higher-order consistent, deterministic choices of training points in the input data space for deep and shallow Neural Networks with holomorphic activation functions such as tanh. These novel training points are proved to facilitate higher-order decay (in terms of the number of training samples) of the underlying generalization error, with consistency error bounds that are free from the curse of dimensionality in the input data space, provided that DNN weights in hidden layers satisfy certain summability conditions. We present numerical experiments for DtO maps from elliptic and parabolic PDEs with uncertain inputs that confirm the theoretical analysis.


title: New Results on Delay Robustness of Consensus Algorithms

abstract: Consensus of autonomous agents is a benchmark problem in cooperative control. In this paper, we consider standard continuous-time averaging consensus policies (or Laplacian flows) over time-varying graphs and focus on robustness of consensus against communication delays. Such a robustness has been proved under the assumption of uniform quasi-strong connectivity of the graph. It is known, however, that the uniform connectivity is not necessary for consensus. For instance, in the case of undirected graph and undelayed communication consensus requires a much weaker condition of integral connectivity. In this paper, we show that the latter results remain valid in presence of unknown but bounded communication delays, furthermore, the condition of undirected graph can be substantially relaxed and replaced by the conditions of non-instantaneous type-symmetry. Furthermore, consensus can be proved for any feasible solution of the delay differential inequalities associated to the consensus algorithm. Such inequalities naturally arise in problems of containment control, distributed optimization and models of social dynamics.


title: DeePSD: Automatic Deep Skinning And Pose Space Deformation For 3D Garment Animation

abstract: We present a novel solution to the garment animation problem through deep learning. Our contribution allows animating any template outfit with arbitrary topology and geometric complexity. Recent works develop models for garment edition, resizing and animation at the same time by leveraging the support body model (encoding garments as body homotopies). This leads to complex engineering solutions that suffer from scalability, applicability and compatibility. By limiting our scope to garment animation only, we are able to propose a simple model that can animate any outfit, independently of its topology, vertex order or connectivity. Our proposed architecture maps outfits to animated 3D models into the standard format for 3D animation (blend weights and blend shapes matrices), automatically providing of compatibility with any graphics engine. We also propose a methodology to complement supervised learning with an unsupervised physically based learning that implicitly solves collisions and enhances cloth quality.


title: Optimal Scheduling Policy for Minimizing Age of Information with a Relay

abstract: We consider IoT sensor network where multiple sensors are connected to corresponding destination nodes via a relay. Thus, the relay schedules sensors to sample and destination nodes to update. The relay can select multiple sensors and destination nodes in each time. In order to minimize average weighted sum AoI, joint optimization of sampling and updating policy of the relay is investigated. For errorless and symmetric case where weights are equally given, necessary and sufficient conditions for optimality is found. Using this result, we obtain that the minimum average sum AoI in a closed-form expression which can be interpreted as fundamental limit of sum AoI in a single relay network. Also, for error-prone and symmetric case, we have proved that greedy policy achieves the minimum average sum AoI at the destination nodes. For general case, we have proposed scheduling policy obtained via reinforcement learning.


title: Towards Stronger Counterexamples to the Log-Approximate-Rank Conjecture

abstract: We give improved separations for the query complexity analogue of the log-approximate-rank conjecture i.e. we show that there are a plethora of total Boolean functions on $n$ input bits, each of which has approximate Fourier sparsity at most $O(n^3)$ and randomized parity decision tree complexity $\Theta(n)$. This improves upon the recent work of Chattopadhyay, Mande and Sherif (JACM '20) both qualitatively (in terms of designing a large number of examples) and quantitatively (improving the gap from quartic to cubic). We leave open the problem of proving a randomized communication complexity lower bound for XOR compositions of our examples. A linear lower bound would lead to new and improved refutations of the log-approximate-rank conjecture. Moreover, if any of these compositions had even a sub-linear cost randomized communication protocol, it would demonstrate that randomized parity decision tree complexity does not lift to randomized communication complexity in general (with the XOR gadget).


title: A relation between the crossing number and the height of a knotoid

abstract: Knotoids are open ended knot diagrams regarded up to Reidemeister moves and isotopies. The notion is introduced by V.~Turaev in 2012. Two most important numeric characteristics of a knotoid are the crossing number and the height. The latter is the least number of intersections between a diagram and an arc connecting its endpoints, where the minimum is taken over all representative diagrams and all such an arcs disjoint from crossings. In the paper we answer the question: are there any relations between the crossing number and the height of a knotoid. We prove that the crossing number of a knotoid is greater than or equal to twice the height of the knotoid. Combining the inequality with known lower bounds of the height we obtain a lower bounds of the crossing number of a knotoid via the extended bracket polynomial, the affine index polynomial and the arrow polynomial of the knotoid. As an application of our result we prove an upper bound for the length of a bridge in a minimal diagram of a classical knot: the number of crossings in a minimal diagram of a knot is greater than or equal to three times the length of a longest bridge in the diagram.


title: On Geometrical Properties of Certain Analytic functions

abstract: We introduce the class of analytic functions $$\mathcal{F}(\psi):= \left\{f\in \mathcal{A}: \left(\frac{zf'(z)}{f(z)}-1\right) \prec \psi(z),\; \psi(0)=0 \right\},$$ where $\psi$ is univalent and establish the growth theorem with some geometric conditions on $\psi$ and obtain the Koebe domain with some related sharp inequalities. Note that functions in this class may not be univalent. As an application, we obtain the growth theorem for the complete range of $\alpha$ and $\beta$ for the functions in the classes $\mathcal{BS}(\alpha):= \{f\in \mathcal{A} : ({zf'(z)}/{f(z)})-1 \prec {z}/{(1-\alpha z^2)},\; \alpha\in [0,1) \}$ and $\mathcal{S}_{cs}(\beta):= \{f\in \mathcal{A} : ({zf'(z)}/{f(z)})-1 \prec {z}/({(1-z)(1+\beta z)}),\; \beta\in [0,1) \}$, respectively which improves the earlier known bounds. The sharp Bohr-radii for the classes $S(\mathcal{BS}(\alpha))$ and $\mathcal{BS}(\alpha)$ are also obtained. A few examples as well as certain newly defined classes on the basis of geometry are also discussed.


title: On the construction of explosive relation algebras

abstract: Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation. The further study of this class of algebras led to many meaningful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90's, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of non-isomorphic expansions, referred to as explosive relation algebras. In this work we discuss some general techniques for constructing algebras of this type.


title: On the stability of periodic multi-solitons of the KdV equation

abstract: In this paper we obtain the following stability result for periodic multi-solitons of the KdV equation: We prove that under any given semilinear Hamiltonian perturbation of small size $\varepsilon > 0$, a large class of periodic multi-solitons of the KdV equation, including ones of large amplitude, are orbitally stable for a time interval of length at least $O(\varepsilon^{-2})$. To the best of our knowledge, this is the first stability result of such type for periodic multi-solitons of large size of an integrable PDE.


title: Time molecules with periodically driven interacting qubits

abstract: We provide numerical evidence for a temporal quantum-mechanical interference phenomenon: time molecules (TM). A variety of such stroboscopic states are observed in the dynamics of two interacting qubits subject to a periodic sequence of $\pi$-pulses with the period $T$. The TMs appear periodically in time and have a large duration, $\delta t_\mathrm{TM} \gg T$. All TMs demonstrate an almost zero value of the total polarization and a strong enhancement of the entanglement entropy $S$ up to the maximum value $S=\ln 2$ of a corresponding Bell state. The TMs are generated by the commensurability of the Floquet eigenvalues and the presence of maximally entangled Floquet eigenstates. The TMs remain stable with detuned system parameters and with an increased number of qubits. The TMs can be observed in microwave experiments with an array of superconducting qubits.


title: Precision calculations of the double radiative bottom-meson decays in soft-collinear effective theory

abstract: Employing the systematic framework of soft-collinear effective theory (SCET) we perform an improved calculation of the leading-power contributions to the double radiative $B_{d, \, s}$-meson decay amplitudes in the heavy quark expansion. We then construct the QCD factorization formulae for the subleading power contributions arising from the energetic photon radiation off the constituent light-flavour quark of the bottom meson at tree level. Furthermore, we explore the factorization properties of the subleading power correction from the effective SCET current $J^{(A2)}$ at ${\cal O} (\alpha_s^0)$. The higher-twist contributions to the $B_{d, \, s} \to \gamma \gamma $ helicity form factors from the two-particle and three-particle bottom-meson distribution amplitudes are evaluated up to the twist-six accuracy. In addition, the subleading power weak-annihilation contributions from both the current-current and QCD penguin operators are taken into account at the one-loop accuracy. We proceed to apply the operator-production-expansion-controlled dispersion relation for estimating the power-suppressed soft contributions to the double radiative $B_{d, \, s}$-meson decay form factors. Phenomenological explorations of the radiative $B_{d, \, s} \to \gamma \, \gamma$ decay observables in the presence of the neutral-meson mixing, including the CP-averaged branching fractions, the polarization fractions and the time-dependent CP asymmetries, are carried out subsequently with an emphasis on the numerical impacts of the newly computed ingredients together with the theory uncertainties from the shape parameters of the HQET bottom-meson distribution amplitudes.


title: MeerKAT's discovery of a radio relic in the bimodal merging cluster A2384

abstract: We present the discovery of a single radio relic located at the edge of the galaxy cluster A2384, using the MeerKAT radio telescope. A2384 is a nearby ($z$ = 0.092), low mass, complex bimodal, merging galaxy cluster that displays a dense X-ray filament ($\sim$ 700 kpc in length) between A2384(N) (Northern cluster) and A2384(S) (Southern cluster). The origin of the radio relic is puzzling. By using the MeerKAT observation of A2384, we estimate that the physical size of the radio relic is 824 $\times$ 264 kpc$^{2}$ and that it is a steep spectrum source. The radio power of the relic is $P_{1.4\mathrm{GHz}}$ $\sim$ (3.87 $\pm$ 0.40) $\times$ 10$^{23}$ W Hz$^{-1}$. This radio relic could be the result of shock wave propagation during the passage of the low-mass A2384(S) cluster through the massive A2384(N) cluster, creating a trail appearing as a hot X-ray filament. In the previous GMRT 325 MHz observation we detected a peculiar FR I radio galaxy interacting with the hot X-ray filament of A2384, but the extended radio relic was not detected; it was confused with the southern lobe of the FR I galaxy. This newly detected radio relic is elongated and perpendicular to the merger axis, as seen in other relic clusters. In addition to the relic, we notice a candidate radio ridge in the hot X-ray filament. The physical size of the radio ridge source is $\sim$ 182 $\times$ 129 kpc$^{2}$. Detection of the diffuse radio sources in the X-ray filament is a rare phenomenon, and could be a new class of radio source found between the two merging clusters of A2384(N) and A2384(S).