title: Investigation of photon emitters in Ce-implanted hexagonal boron nitride

abstract: Color centers in hexagonal boron nitride (hBN) are presently attracting broad interest as a novel platform for nanoscale sensing and quantum information processing. Unfortunately, their atomic structures remain largely elusive and only a small percentage of the emitters studied thus far has the properties required to serve as optically addressable spin qubits. Here, we use confocal fluorescence microscopy at variable temperature to study a new class of point defects produced via cerium ion implantation in thin hBN flakes. We find that, to a significant fraction, emitters show bright room-temperature emission, and good optical stability suggesting the formation of Ce-based point defects. Using density functional theory (DFT) we calculate the emission properties of candidate emitters, and single out the CeVB center - formed by an interlayer Ce atom adjacent to a boron vacancy - as one possible microscopic model. Our results suggest an intriguing route to defect engineering that simultaneously exploits the singular properties of rare-earth ions and the versatility of two-dimensional material hosts.


title: Disarranged Zone Learning (DZL): An unsupervised and dynamic automatic stenosis recognition methodology based on coronary angiography

abstract: We proposed a novel unsupervised methodology named Disarranged Zone Learning (DZL) to automatically recognize stenosis in coronary angiography. The methodology firstly disarranges the frames in a video, secondly it generates an effective zone and lastly trains an encoder-decoder GRU model to learn the capability to recover disarranged frames. The breakthrough of our study is to discover and validate the Sequence Intensity (Recover Difficulty) is a measure of Coronary Artery Stenosis Status. Hence, the prediction accuracy of DZL is used as an approximator of coronary stenosis indicator. DZL is an unsupervised methodology and no label engineering effort is needed, the sub GRU model in DZL works as a self-supervised approach. So DZL could theoretically utilize infinitely huge amounts of coronary angiographies to learn and improve performance without laborious data labeling. There is no data preprocessing precondition to run DZL as it dynamically utilizes the whole video, hence it is easy to be implemented and generalized to overcome the data heterogeneity of coronary angiography. The overall average precision score achieves 0.93, AUC achieves 0.8 for this pure methodology. The highest segmented average precision score is 0.98 and the highest segmented AUC is 0.87 for coronary occlusion indicator. Finally, we developed a software demo to implement DZL methodology.


title: Solutions to nonlocal nonisospectral (2+1)-dimensional breaking soliton equations

abstract: Nonlocal reductions of a nonisospectral (2+1)-dimensional breaking soliton Ablowitz-Kaup-Newell-Segur equation are discussed on the base of double Wronskian reduction technique. Various types of solutions, including soliton solutions and Jordan-block solutions, for the resulting nonlocal equations are derived. Dynamics of these obtained solutions are analyzed and illustrated.


title: A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances

abstract: In recent years, we have witnessed tremendous progress in deep reinforcement learning (RL) for tasks such as Go, Chess, video games, and robot control. Nevertheless, other combinatorial domains, such as AI planning, still pose considerable challenges for RL approaches. The key difficulty in those domains is that a positive reward signal becomes {\em exponentially rare} as the minimal solution length increases. So, an RL approach loses its training signal. There has been promising recent progress by using a curriculum-driven learning approach that is designed to solve a single hard instance. We present a novel {\em automated} curriculum approach that dynamically selects from a pool of unlabeled training instances of varying task complexity guided by our {\em difficulty quantum momentum} strategy. We show how the smoothness of the task hardness impacts the final learning results. In particular, as the size of the instance pool increases, the ``hardness gap'' decreases, which facilitates a smoother automated curriculum based learning process. Our automated curriculum approach dramatically improves upon the previous approaches. We show our results on Sokoban, which is a traditional PSPACE-complete planning problem and presents a great challenge even for specialized solvers. Our RL agent can solve hard instances that are far out of reach for any previous state-of-the-art Sokoban solver. In particular, our approach can uncover plans that require hundreds of steps, while the best previous search methods would take many years of computing time to solve such instances. In addition, we show that we can further boost the RL performance with an intricate coupling of our automated curriculum approach with a curiosity-driven search strategy and a graph neural net representation.


title: Anti-aliasing Deep Image Classifiers using Novel Depth Adaptive Blurring and Activation Function

abstract: Deep convolutional networks are vulnerable to image translation or shift, partly due to common down-sampling layers, e.g., max-pooling and strided convolution. These operations violate the Nyquist sampling rate and cause aliasing. The textbook solution is low-pass filtering (blurring) before down-sampling, which can benefit deep networks as well. Even so, non-linearity units, such as ReLU, often re-introduce the problem, suggesting that blurring alone may not suffice. In this work, first, we analyse deep features with Fourier transform and show that Depth Adaptive Blurring is more effective, as opposed to monotonic blurring. To this end, we outline how this can replace existing down-sampling methods. Second, we introduce a novel activation function -- with a built-in low pass filter, to keep the problem from reappearing. From experiments, we observe generalisation on other forms of transformations and corruptions as well, e.g., rotation, scale, and noise. We evaluate our method under three challenging settings: (1) a variety of image translations; (2) adversarial attacks -- both $\ell_{p}$ bounded and unbounded; and (3) data corruptions and perturbations. In each setting, our method achieves state-of-the-art results and improves clean accuracy on various benchmark datasets.


title: The isomorphism problem for plain groups is in $\Sigma_3^{\mathsf{P}}$

abstract: Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{\'e}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is decidable in $\mathsf{PSPACE}$ when the input is given in terms of so-called virtually free presentations. Here we consider the isomorphism problem for the class of \emph{plain groups}, that is, groups that are isomorphic to a free product of finitely many finite groups and finitely many copies of the infinite cyclic group. Every plain group is naturally and efficiently presented via an inverse-closed finite convergent length-reducing rewriting system. We prove that the isomorphism problem for plain groups given in this form lies in the polynomial time hierarchy, more precisely, in $\Sigma_3^{\mathsf{P}}$. This result is achieved by combining new geometric and algebraic characterisations of groups presented by inverse-closed finite convergent length-reducing rewriting systems developed in recent work of the second and third authors (2021) with classical finite group isomorphism results of Babai and Szemer\'edi (1984).


title: A causal fused lasso for interpretable heterogeneous treatment effects estimation

abstract: We propose a novel method for estimating heterogeneous treatment effects based on the fused lasso. By first ordering samples based on the propensity or prognostic score, we match units from the treatment and control groups. We then run the fused lasso to obtain piecewise constant treatment effects with respect to the ordering defined by the score. Similar to the existing methods based on discretizing the score, our methods yields interpretable subgroup effects. However, the existing methods fixed the subgroup a priori, but our causal fused lasso forms data-adaptive subgroups. We show that the estimator consistently estimates the treatment effects conditional on the score under very general conditions on the covariates and treatment. We demonstrate the performance of our procedure using extensive experiments that show that it can outperform state-of-the-art methods.


title: Asymptotics of the metal-surface Kohn-Sham exact exchange potential revisited

abstract: The asymptotics of the Kohn-Sham (KS) exact exchange potential $V_x(z)$ of a jelliumlike semi-infinite metal is investigated, in the framework of the optimized-effective-potential formalism of density-functional theory. Our numerical calculations clearly show that deep into the vacuum side of the surface $V_x(z) \propto e^2 \ln(az) / z$, with $a$ being a system-dependent constant, thus confirming the analytical calculations reported in Phys. Rev. B {\bf 81}, 121106(R) (2010). A criticism of this work published in Phys. Rev. B {\bf 85}, 115124 (2012) is shown to be incorrect. Our rigorous exchange-only results provide strong constraints both for the building of approximate exchange functionals and for the determination of the still unknown KS correlation potential.


title: Black Hole Zeroth Law in Horndeski Gravity

abstract: The four laws of black hole mechanics have been put forward for a long time. However, the zeroth law, which states that the surface gravity of a stationary black hole is a constant on the event horizon, still lacks universal proof in various modified gravitational theories. In this paper, we study the zeroth law {in a special Horndeski gravity}, which is an interesting gravitational theory with a nonminimally coupled scalar field. After assuming that {the nonminimally coupled scalar field has the same symmetries with the spacetime,} the minimally coupled matter fields satisfy the dominant energy condition and the Horndeski gravity has a smooth limit to Einstein gravity when the coupling constant approaches zero, we prove the zeroth law based on the gravitational equation in Horndeski gravity without any assumption to the spacetime symmetries.


title: Fully implicit local time-stepping methods for advection-diffusion problems in mixed formulations

abstract: This paper is concerned with numerical solution of transport problems in heterogeneous porous media. A semi-discrete continuous-in-time formulation of the linear advection-diffusion equation is obtained by using a mixed hybrid finite element method, in which the flux variable represents both the advective and diffusive flux, and the Lagrange multiplier arising from the hybridization is used for the discretization of the advective term. Based on global-in-time and nonoverlapping domain decomposition, we propose two implicit local time-stepping methods to solve the semi-discrete problem. The first method uses the time-dependent Steklov-Poincar\'e type operator and the second uses the optimized Schwarz waveform relaxation (OSWR) with Robin transmission conditions. For each method, we formulate a space-time interface problem which is solved iteratively. Each iteration involves solving the subdomain problems independently and globally in time; thus, different time steps can be used in the subdomains. The convergence of the fully discrete OSWR algorithm with nonmatching time grids is proved. Numerical results for problems with various Pecl\'et numbers and discontinuous coefficients, including a prototype for the simulation of the underground storage of nuclear waste, are presented to illustrate the performance of the proposed local time-stepping methods.


title: Quantum Max-Flow Min-Cut theorem

abstract: The max-flow min-cut theorem is a cornerstone result in combinatorial optimization. Calegari et al. (arXiv:0802.3208) initialized the study of quantum max-flow min-cut conjecture, which connects the rank of a tensor network and the min-cut. Cui et al. (arXiv:1508.04644) showed that this conjecture is false generally. In this paper, we establish a quantum max-flow min-cut theorem for a new definition of quantum maximum flow. In particular, we show that for any quantum tensor network, there are infinitely many $n$, such that quantum max-flow equals quantum min-cut, after attaching dimension $n$ maximally entangled state to each edge as ancilla. Our result implies that the ratio of the quantum max-flow to the quantum min-cut converges to $1$ as the dimension $n$ tends to infinity. As a direct application, we prove the validity of the asymptotical version of the open problem about the quantum max-flow and the min-cut, proposed in Cui et al. (arXiv:1508.04644 ).


title: The strong fractional choice number and the strong fractional paint number of graphs

abstract: This paper studies the strong fractional choice number $ch^s_f(G)$ and the strong fractional paint number $\chi^s_{f,P}(G)$ of a graph $G$. We prove that these parameters of any finite graph are rational numbers. On the other hand, for any positive integers $p,q$ satisfying $2 \le \frac{2p}{2q+1} \leq \lfloor\frac{p}{q}\rfloor$, there exists a graph $G$ with $ch^s_f(G) = \chi^s_{f,P}(G) = \frac{p}{q}$. The relationship between $\chi^s_{f,P}(G)$ and $ch^s_f(G)$ is explored. We prove that the gap $\chi^s_{f,P}(G)-ch^s_f(G)$ can be arbitrarily large. The strong fractional choice number of a family $\mathcal{G}$ of graphs is the supremum of the strong fractional choice number of graphs in $\mathcal{G}$. Let $\mathcal{P}$ denote the class of planar graphs and $\mathcal{P}_{k_1,\ldots, k_q}$ denote the class of planar graphs without $k_i$-cycles for $i=1,\ldots, q$. We prove that $3 + \frac{1}{2} \leq ch^s_f(\mathcal{P}_{ 4}) \leq 4$, $ch^s_f(\mathcal{P}_{ k})=4$ for $k \in \{5,6\}$, $3 +\frac{1}{12} \leq ch^s_f(\mathcal{P}_{ 4,5}) \leq 4$ and $ch^s_f(\mathcal{P}) \ge 4+\frac 13$. The last result improves the lower bound $4+\frac 29$ in [X. Zhu, multiple list colouring of planar graphs, Journal of Combin. Th. Ser. B,122(2017),794-799].


title: Quantum capacitive coupling between large-angle twisted graphene layers

abstract: Large-angle twisted bilayer graphene (tBLG) is known to be electronically decoupled due to the spatial separation of the Dirac cones corresponding to individual graphene layers in the reciprocal space. The close spacing between the layers causes strong capacitive coupling, opening possibilities for applications in atomically thin devices. Here, we present a self-consistent quantum capacitance model for the electrostatics of decoupled graphene layers, and further generalize it to deal with decoupled tBLG at finite magnetic field and large-angle twisted double bilayer graphene at zero magnetic field. We probe the capacitive coupling through the conductance, showing good agreement between simulations and experiments for all the systems considered. We also propose a new experiment utilizing the decoupling effect to induce a huge and tunable bandgap in bilayer graphene by applying a moderately low bias. Our model can be extended to systems composed of decoupled graphene multilayers as well as non-graphene systems, opening a new realm of quantum-capacitively coupled materials.


title: GROWN: GRow Only When Necessary for Continual Learning

abstract: Catastrophic forgetting is a notorious issue in deep learning, referring to the fact that Deep Neural Networks (DNN) could forget the knowledge about earlier tasks when learning new tasks. To address this issue, continual learning has been developed to learn new tasks sequentially and perform knowledge transfer from the old tasks to the new ones without forgetting. While recent structure-based learning methods show the capability of alleviating the forgetting problem, these methods start from a redundant full-size network and require a complex learning process to gradually grow-and-prune or search the network structure for each task, which is inefficient. To address this problem and enable efficient network expansion for new tasks, we first develop a learnable sparse growth method eliminating the additional pruning/searching step in previous structure-based methods. Building on this learnable sparse growth method, we then propose GROWN, a novel end-to-end continual learning framework to dynamically grow the model only when necessary. Different from all previous structure-based methods, GROWN starts from a small seed network, instead of a full-sized one. We validate GROWN on multiple datasets against state-of-the-art methods, which shows superior performance in both accuracy and model size. For example, we achieve 1.0\% accuracy gain on average compared to the current SOTA results on CIFAR-100 Superclass 20 tasks setting.


title: Design and Evaluate Recomposited OR-AND-XOR-PUF

abstract: Physical Unclonable Function (PUF) is a hardware security primitive with a desirable feature of low-cost. Based on the space of challenge-response pairs (CRPs), it has two categories:weak PUF and strong PUF. Though designing a reliable and secure lightweight strong PUF is challenging, there is continuing efforts to fulfill this gap due to wide range of applications enabled by strong PUF. It was prospected that the combination of MAX and MIN bit-wise operation is promising for improving the modeling resilience when MAX and MIN are employed in the PUF recomposition. The main rationale lies on the fact that each bit-wise might be mainly vulnerable to one specific type of modeling attack, combining them can have an improved holistic resilience. This work is to first evaluate the main PUF performance, in particular,uniformity and reliability of the OR-AND-XOR-PUF(OAX-PUF)-(x, y, z)-OAX-PUF. Compared with the most used l-XOR-PUF, the (x, y, z)-OAX-PUF eventually exhibits better reliability given l=x+y+z without degrading the uniformity retaining to be 50%. We further examine the modeling resilience of the (x, y, z)-OAX-PUF with four powerful attacking strategies to date, which are Logistic Regression (LR) attack, reliability assisted CMA-ES attack, multilayer perceptron (MLP) attack, and the most recent hybrid LR-reliability attack. In comparison with the XOR-APUF, the OAX-APUF successfully defeats the CAM-ES attack. However, it shows no notable modeling accuracy drop against other three attacks, though the attacking times have been greatly prolonged to LR and hybrid LR-reliability attacks. Overall, the OAX recomposition could be an alternative lightweight recomposition method compared to XOR towards constructing strong PUFs if the underlying PUF, e.g., FF-APUF, has exhibited improved resilience to modeling attack, because the OAX incurs smaller reliability degradation compared to XOR.


title: AI based Algorithms of Path Planning, Navigation and Control for Mobile Ground Robots and UAVs

abstract: As the demands of autonomous mobile robots are increasing in recent years, the requirement of the path planning/navigation algorithm should not be content with the ability to reach the target without any collisions, but also should try to achieve possible optimal or suboptimal path from the initial position to the target according to the robot's constrains in practice. This report investigates path planning and control strategies for mobile robots with machine learning techniques, including ground mobile robots and flying UAVs. In this report, the hybrid reactive collision-free navigation problem under an unknown static environment is investigated firstly. By combining both the reactive navigation and Q-learning method, we intend to keep the good characteristics of reactive navigation algorithm and Q-learning and overcome the shortcomings of only relying on one of them. The proposed method is then extended into 3D environments. The performance of the mentioned strategies are verified by extensive computer simulations, and good results are obtained. Furthermore, the more challenging dynamic environment situation is taken into our consideration. We tackled this problem by developing a new path planning method that utilizes the integrated environment representation and reinforcement learning. Our novel approach enables to find the optimal path to the target efficiently and avoid collisions in a cluttered environment with steady and moving obstacles. The performance of these methods is compared with other different aspects.


title: Enhancing Model Robustness and Fairness with Causality: A Regularization Approach

abstract: Recent work has raised concerns on the risk of spurious correlations and unintended biases in statistical machine learning models that threaten model robustness and fairness. In this paper, we propose a simple and intuitive regularization approach to integrate causal knowledge during model training and build a robust and fair model by emphasizing causal features and de-emphasizing spurious features. Specifically, we first manually identify causal and spurious features with principles inspired from the counterfactual framework of causal inference. Then, we propose a regularization approach to penalize causal and spurious features separately. By adjusting the strength of the penalty for each type of feature, we build a predictive model that relies more on causal features and less on non-causal features. We conduct experiments to evaluate model robustness and fairness on three datasets with multiple metrics. Empirical results show that the new models built with causal awareness significantly improve model robustness with respect to counterfactual texts and model fairness with respect to sensitive attributes.


title: Where Should Traffic Sensors Be Placed on Highways?

abstract: This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors are not installed. The substantial contribution of this paper is the utilization of control-theoretic observability analysis -- jointly with integer programming -- to determine traffic sensor locations based on the nonlinear dynamics and parameters of traffic networks. In particular, the celebrated asymmetric cell transmission model is used to guide the placement strategy jointly with observability analysis of nonlinear dynamic systems through Gramians. Thorough numerical case studies are presented to corroborate the proposed theoretical methods and various computational research questions are posed and addressed. The presented approach can also be extended to other models of traffic dynamics.


title: Creation of electrical knots and observation of DNA topology

abstract: Knots are fascinating topological structures that have been observed in various contexts, ranging from micro-worlds to macro-systems, and are conjectured to play a fundamental role in their respective fields. In order to characterize their physical properties, some topological invariants have been introduced, such as unknotting number, bridge number, Jones Polynomial and so on. While these invariants have been proven to theoretically describe the topological properties of knots, they have remained unexplored experimentally because of the difficulty associated with control. Herein, we report the creation of isolated electrical knots based on discrete distributions of impedances in electric circuits and observation of the unknotting number for the first time. Furthermore, DNA structure transitions under the action of enzymes were studied experimentally using electrical circuits, and the topological equivalence of DNA double strands was demonstrated. As the first experiment on the creation of electrical knots in real space, our work opens up the exciting possibility of exploring topological properties of DNA and some molecular strands using electric circuits.


title: DeepSCC: Source Code Classification Based on Fine-Tuned RoBERTa

abstract: In software engineering-related tasks (such as programming language tag prediction based on code snippets from Stack Overflow), the programming language classification for code snippets is a common task. In this study, we propose a novel method DeepSCC, which uses a fine-tuned RoBERTa model to classify the programming language type of the source code. In our empirical study, we choose a corpus collected from Stack Overflow, which contains 224,445 pairs of code snippets and corresponding language types. After comparing nine state-of-the-art baselines from the fields of source code classification and neural text classification in terms of four performance measures (i.e., Accuracy, Precision, Recall, and F1), we show the competitiveness of our proposed method DeepSCC


title: Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties

abstract: This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties. Based on the interval Taylor model of nonlinear functions, a sampled-data control barrier function (CBF) condition is proposed which ensures the forward invariance of a safe set for sampled-data systems. Reachable set overapproximation and Lasserre's hierarchy of polynomial optimization are used for finding the margin term in the sampled-data CBF condition. Sufficient conditions for a safe controller in the presence of measurement and actuation uncertainties are proposed, for CBFs with relative degree 1 and higher relative degree individually. The effectiveness of the proposed method is illustrated by two numerical examples and an experimental example that implements the proposed controller on the Crazyflie quadcopter in real-time.


title: Progressive Transmission and Inference of Deep Learning Models

abstract: Modern image files are usually progressively transmitted and provide a preview before downloading the entire image for improved user experience to cope with a slow network connection. In this paper, with a similar goal, we propose a progressive transmission framework for deep learning models, especially to deal with the scenario where pre-trained deep learning models are transmitted from servers and executed at user devices (e.g., web browser or mobile). Our progressive transmission allows inferring approximate models in the middle of file delivery, and quickly provide an acceptable intermediate outputs. On the server-side, a deep learning model is divided and progressively transmitted to the user devices. Then, the divided pieces are progressively concatenated to construct approximate models on user devices. Experiments show that our method is computationally efficient without increasing the model size and total transmission time while preserving the model accuracy. We further demonstrate that our method can improve the user experience by providing the approximate models especially in a slow connection.


title: Binary code optimization

abstract: This article shows that any type of binary data can be defined as a collection from codewords of variable length. This feature helps us to define an Injective and surjective function from the suggested codewords to the required codewords. Therefore, by replacing the new codewords, the binary data becomes another binary data regarding the intended goals. One of these goals is to reduce data size. It means that instead of the original codewords of each binary data, it replaced the Huffman codewords to reduce the data size. One of the features of this method is the result of positive compression for any type of binary data, that is, regardless of the size of the code table, the difference between the original data size and the data size after compression will be greater than or equal to zero. Another important and practical feature of this method is the use of symmetric codewords instead of the suggested codewords in order to create symmetry, reversibility and error resistance properties with two-way decoding.


title: Does deep learning model calibration improve performance in class-imbalanced medical image classification?

abstract: In medical image classification tasks, it is common to find that the number of normal samples far exceeds the number of abnormal samples. In such class-imbalanced situations, reliable training of deep neural networks continues to be a major challenge. Under these circumstances, the predicted class probabilities may be biased toward the majority class. Calibration has been suggested to alleviate some of these effects. However, there is insufficient analysis explaining when and whether calibrating a model would be beneficial in improving performance. In this study, we perform a systematic analysis of the effect of model calibration on its performance on two medical image modalities, namely, chest X-rays and fundus images, using various deep learning classifier backbones. For this, we study the following variations: (i) the degree of imbalances in the dataset used for training; (ii) calibration methods; and (iii) two classification thresholds, namely, default decision threshold of 0.5, and optimal threshold from precision-recall curves. Our results indicate that at the default operating threshold of 0.5, the performance achieved through calibration is significantly superior (p < 0.05) to using uncalibrated probabilities. However, at the PR-guided threshold, these gains are not significantly different (p > 0.05). This finding holds for both image modalities and at varying degrees of imbalance.


title: Rapid formation of Gas Giant Planets via Collisional Coagulation from Dust Grains to Planetary Cores

abstract: Gas-giant planets, such as Jupiter, Saturn and massive exoplanets, were formed via the gas accretion onto the solid cores each with a mass of roughly ten Earth masses. However, rapid radial migration due to disk-planet interaction prevents the formation of such massive cores via planetesimal accretion. Comparably rapid core growth via pebble accretion requires very massive protoplanetary disks because most pebbles fall into the central star. Although planetesimal formation, planetary migration, and gas-giant core formation have been studied with much effort, the full evolution path from dust to planets are still uncertain. Here we report the result of full simulations for collisional evolution from dust to planets in a whole disk. Dust growth with realistic porosity allows the formation of icy planetesimals in the inner disk (> 10 au), while pebbles formed in the outer disk drift to the inner disk and there grow to planetesimals. The growth of those pebbles to planetesimals suppresses their radial drift and supplies small planetesimals sustainably in the vicinity of cores. This enables rapid formation of sufficiently massive planetary cores within 0.2-0.4 million years, prior to the planetary migration. Our models shows first gas giants form at 2-7 au in rather common protoplanetary disks, in agreement with the exoplanet and solar systems.


title: Attention module improves both performance and interpretability of 4D fMRI decoding neural network

abstract: Decoding brain cognitive states from neuroimaging signals is an important topic in neuroscience. In recent years, deep neural networks (DNNs) have been recruited for multiple brain state decoding and achieved good performance. However, the open question of how to interpret the DNN black box remains unanswered. Capitalizing on advances in machine learning, we integrated attention modules into brain decoders to facilitate an in-depth interpretation of DNN channels. A 4D convolution operation was also included to extract temporo-spatial interaction within the fMRI signal. The experiments showed that the proposed model obtains a very high accuracy (97.4%) and outperforms previous researches on the 7 different task benchmarks from the Human Connectome Project (HCP) dataset. The visualization analysis further illustrated the hierarchical emergence of task-specific masks with depth. Finally, the model was retrained to regress individual traits within the HCP and to classify viewing images from the BOLD5000 dataset, respectively. Transfer learning also achieves good performance. A further visualization analysis shows that, after transfer learning, low-level attention masks remained similar to the source domain, whereas high-level attention masks changed adaptively. In conclusion, the proposed 4D model with attention module performed well and facilitated interpretation of DNNs, which is helpful for subsequent research.


title: Hierarchical Gaussian Process Models for Regression Discontinuity/Kink under Sharp and Fuzzy Designs

abstract: We propose nonparametric Bayesian estimators for causal inference exploiting Regression Discontinuity/Kink (RD/RK) under sharp and fuzzy designs. Our estimators are based on Gaussian Process (GP) regression and classification. The GP methods are powerful probabilistic machine learning approaches that are advantageous in terms of derivative estimation and uncertainty quantification, facilitating RK estimation and inference of RD/RK models. These estimators are extended to hierarchical GP models with an intermediate Bayesian neural network layer and can be characterized as hybrid deep learning models. Monte Carlo simulations show that our estimators perform comparably to and sometimes better than competing estimators in terms of precision, coverage and interval length. The hierarchical GP models considerably improve upon one-layer GP models. We apply the proposed methods to estimate the incumbency advantage of US house elections. Our estimations suggest a significant incumbency advantage in terms of both vote share and probability of winning in the next elections. Lastly we present an extension to accommodate covariate adjustment.


title: Generalized Cline's formula and Jacobson's lemma in a ring

abstract: We present new generalized Cline's formula and Jacobson's lemma for the g-Drazin inverse in a ring. These extend many known results, e.g., Chen and Abdolyousefi (Generalized Jacobson's Lemma in a Banach algebra, Comm. Algebra, {\bf 49}(2021), 3263--3272), Yan and Zeng (The generalized inverses of the products of two elements in a ring, Turk. J. Math., {\bf 44}(2020), 1744--1756).


title: Observer-based Control Barrier Functions for Safety Critical Systems

abstract: This paper considers the safety-critical control design problem with output measurements. An observer-based safety control framework that integrates the estimation error quantified observer and the control barrier function (CBF) approach is proposed. The function approximation technique is employed to approximate the uncertainties introduced by the state estimation error, and an adaptive CBF approach is proposed to design the safe controller which is obtained by solving a convex quadratic program (QP). Theoretical results for CBFs with a relative degree 1 and a higher relative degree are given individually. The effectiveness of the proposed control approach is demonstrated by two numerical examples.


title: Application of Artificial Neural Networks for Catalysis

abstract: Catalyst, as an important material, plays a crucial role in the development of chemical industry. By improving the performance of the catalyst, the economic benefit can be greatly improved. Artificial neural network (ANN), as one of the most popular machine learning algorithms, relies on its good ability of nonlinear transformation, parallel processing, self-learning, self-adaptation and good associative memory, has been widely applied to various areas. Through the optimization of catalyst by ANN, the consumption of time and resources can be greatly reduced and greater economic benefits can be obtained. In this review, we show how this powerful technique helps people address the highly complicated problems and accelerate the progress of the catalysis community.


title: Matching Models for Graph Retrieval

abstract: Graph Retrieval has witnessed continued interest and progress in the past few years. In thisreport, we focus on neural network based approaches for Graph matching and retrieving similargraphs from a corpus of graphs. We explore methods which can soft predict the similaritybetween two graphs. Later, we gauge the power of a particular baseline (Shortest Path Kernel)and try to model it in our product graph random walks setting while making it more generalised.


title: Information-Theoretic Characterization of the Generalization Error for Iterative Semi-Supervised Learning

abstract: Using information-theoretic principles, we consider the generalization error (gen-error) of iterative semi-supervised learning (SSL) algorithms that iteratively generate pseudo-labels for a large amount of unlabelled data to progressively refine the model parameters. In contrast to most previous works that {\em bound} the gen-error, we provide an {\em exact} expression for the gen-error and particularize it to the binary Gaussian mixture model. Our theoretical results suggest that when the class conditional variances are not too large, the gen-error decreases with the number of iterations, but quickly saturates. On the flip side, if the class conditional variances (and so amount of overlap between the classes) are large, the gen-error increases with the number of iterations. To mitigate this undesirable effect, we show that regularization can reduce the gen-error. The theoretical results are corroborated by extensive experiments on the MNIST and CIFAR datasets in which we notice that for easy-to-distinguish classes, the gen-error improves after several pseudo-labelling iterations, but saturates afterwards, and for more difficult-to-distinguish classes, regularization improves the generalization performance.


title: Revisiting the cosmic distance duality relation with machine learning reconstruction methods: the combination of HII galaxies and ultra-compact radio quasars

abstract: In this paper, we carry out an assessment of cosmic distance duality relation (CDDR) based on the latest observations of HII galaxies acting as standard candles and ultra-compact structure in radio quasars acting as standard rulers. Particularly, two machine learning reconstruction methods (Gaussian Process (GP) and Artificial Neural Network (ANN)) are applied to reconstruct the Hubble diagrams from observational data. We show that both approaches are capable of reconstructing the current constraints on possible deviations from the CDDR in the redshift range $z\sim 2.3$. Considering four different parametric methods of CDDR, which quantify deviations from the CDDR and the standard cosmological model, we compare the results of the two different machine learning approaches. It is observed that the validity of CDDR is in well agreement with the current observational data within $1\sigma$ based on the reconstructed distances through GP in the overlapping redshift domain. Moreover, we find that ultra-compact radio quasars could provide $10^{-3}$-level constraints on the violation parameter at high redshifts, when combined with the observations of HII galaxies. In the framework of ANN, one could derive robust constraints on the violation parameter at a precision of $10^{-2}$, with the validity of such distance duality relation within $2\sigma$ confidence level.


title: Multi-linear Tensor Autoregressive Models

abstract: Contemporary time series analysis has seen more and more tensor type data, from many fields. For example, stocks can be grouped according to Size, Book-to-Market ratio, and Operating Profitability, leading to a 3-way tensor observation at each month. We propose an autoregressive model for the tensor-valued time series, with autoregressive terms depending on multi-linear coefficient matrices. Comparing with the traditional approach of vectoring the tensor observations and then applying the vector autoregressive model, the tensor autoregressive model preserves the tensor structure and admits corresponding interpretations. We introduce three estimators based on projection, least squares, and maximum likelihood. Our analysis considers both fixed dimensional and high dimensional settings. For the former we establish the central limit theorems of the estimators, and for the latter we focus on the convergence rates and the model selection. The performance of the model is demonstrated by simulated and real examples.


title: Scheduling Optimization Techniques for Neural Network Training

abstract: Neural network training requires a large amount of computation and thus GPUs are often used for the acceleration. While they improve the performance, GPUs are underutilized during the training.This paper proposes out-of-order (ooo) backprop, an effective scheduling technique for neural network training. By exploiting the dependencies of gradient computations, ooo backprop enables to reorder their executions to make the most of the GPU resources. We show that the GPU utilization in single-GPU, data-parallel, and pipeline-parallel training can be commonly improve by applying ooo back-prop and prioritizing critical operations. We propose three scheduling algorithms based on ooo backprop. For single-GPU training, we schedule with multi-stream out-of-order computation to mask the kernel launch overhead. In data-parallel training, we reorder the gradient computations to maximize the overlapping of computation and parameter communication; in pipeline-parallel training, we prioritize critical gradient computations to reduce the pipeline stalls.We evaluate our optimizations with twelve neural networks including a light-weight computer vision model (MobileNet) and largeNLP models (BERT and GPT-3) with up to forty eight V100 GPUs.Our scheduling algorithms effectively improve the performance of single-GPU training as well as data- and pipeline-parallel training.Compared to the respective state of the art training systems, the throughput is substantially improved for single-GPU, data-parallel, and pipeline-parallel training.


title: Category bases that are equivalent to topologies

abstract: In view of the fact that many of the most familiar examples of category bases are equivalent to some topology, it is natural to ask whether category bases are always topological in nature. The answer is in the negative. In this paper, we show that under certain circumstances, a category base can be equivalent to a topology. So this work may be considered a continuation of similar type of works done earlier in this area.


title: Exploration of Artificial Intelligence-oriented Power System Dynamic Simulators

abstract: With the rapid development of artificial intelligence (AI), it is foreseeable that the accuracy and efficiency of dynamic analysis for future power system will be greatly improved by the integration of dynamic simulators and AI. To explore the interaction mechanism of power system dynamic simulations and AI, a general design of an AI-oriented power system dynamic simulator is proposed, which consists of a high-performance simulator with neural network supportability and flexible external and internal application programming interfaces (APIs). With the support of APIs, simulation-assisted AI and AI-assisted simulation form a comprehensive interaction mechanism between power system dynamic simulations and AI. A prototype of this design is implemented and made public based on a highly efficient electromechanical simulator. Tests of this prototype are carried out under four scenarios including sample generation, AI-based stability prediction, data-driven dynamic component modeling, and AI-aided stability control, which prove the validity, flexibility, and efficiency of the design and implementation of the AI-oriented power system dynamic simulator.


title: On the compatibility of quantum instruments

abstract: Incompatibility of quantum devices is a useful resource in various quantum information theoretical tasks, and it is at the heart of some fundamental features of quantum theory. While the incompatibility of measurements and quantum channels is well-studied, the incompatibility of quantum instruments has not been explored in much detail. In this work, we revise a notion of instrument compatibility introduced in the literature that we call traditional compatibility. Then, we introduce the new notion of parallel compatibility, and show that these two notions are inequivalent. Then, we argue that the notion of traditional compatibility is incomplete, and prove that while parallel compatibility captures measurement and channel compatibility, traditional compatibility does not. Hence, we propose parallel compatibility as the conceptually complete definition of compatibility of quantum instruments.


title: Subtractive mountain clustering algorithm applied to a chatbot to assist elderly people in medication intake

abstract: Errors in medication intake among elderly people are very common. One of the main causes for this is their loss of ability to retain information. The high amount of medicine intake required by the advanced age is another limiting factor. Thence, the design of an interactive aid system, preferably using natural language, to help the older population with medication is in demand. A chatbot based on a subtractive cluster algorithm, included in unsupervised learned models, is the chosen solution since the processing of natural languages is a necessary step in view to construct a chatbot able to answer questions that older people may pose upon themselves concerning a particular drug. In this work, the subtractive mountain clustering algorithm has been adapted to the problem of natural languages processing. This algorithm version allows for the association of a set of words into clusters. After finding the centre of every cluster -- the most relevant word, all the others are aggregated according to a defined metric adapted to the language processing realm. All the relevant stored information is processed, as well as the questions, by the algorithm. The correct processing of the text enables the chatbot to produce answers that relate to the posed queries. To validate the method, we use the package insert of a drug as the available information and formulate associated questions.


title: Bounding Box Tightness Prior for Weakly Supervised Image Segmentation

abstract: This paper presents a weakly supervised image segmentation method that adopts tight bounding box annotations. It proposes generalized multiple instance learning (MIL) and smooth maximum approximation to integrate the bounding box tightness prior into the deep neural network in an end-to-end manner. In generalized MIL, positive bags are defined by parallel crossing lines with a set of different angles, and negative bags are defined as individual pixels outside of any bounding boxes. Two variants of smooth maximum approximation, i.e., $\alpha$-softmax function and $\alpha$-quasimax function, are exploited to conquer the numeral instability introduced by maximum function of bag prediction. The proposed approach was evaluated on two pubic medical datasets using Dice coefficient. The results demonstrate that it outperforms the state-of-the-art methods. The codes are available at \url{https://github.com/wangjuan313/wsis-boundingbox}.


title: Vertex electrical model: lagrangian and non-negative properties

abstract: This note is a modest addition to the work arXiv:2109.13952. Here we construct an embedding of the space of electrical networks to the totally non-negative Lagrangian Grassmannian in a generic situation with the help of the technique of vertex integrable models of statistical mechanics.


title: A Sequential Addressing Subsampling Method for Massive Data Analysis under Memory Constraint

abstract: The emergence of massive data in recent years brings challenges to automatic statistical inference. This is particularly true if the data are too numerous to be read into memory as a whole. Accordingly, new sampling techniques are needed to sample data from a hard drive. In this paper, we propose a sequential addressing subsampling (SAS) method, that can sample data directly from the hard drive. The newly proposed SAS method is time saving in terms of addressing cost compared to that of the random addressing subsampling (RAS) method. Estimators (e.g., the sample mean) based on the SAS subsamples are constructed, and their properties are studied. We conduct a series of simulation studies to verify the finite sample performance of the proposed SAS estimators. The time cost is also compared between the SAS and RAS methods. An analysis of the airline data is presented for illustration purpose.


title: Anatomical Landmarks Localization for 3D Foot Point Clouds

abstract: 3D anatomical landmarks play an important role in health research. Their automated prediction/localization thus becomes a vital task. In this paper, we introduce a deformation method for 3D anatomical landmarks prediction. It utilizes a source model with anatomical landmarks which are annotated by clinicians, and deforms this model non-rigidly to match the target model. Two constraints are introduced in the optimization, which are responsible for alignment and smoothness, respectively. Experiments are performed on our dataset and the results demonstrate the robustness of our method, and show that it yields better performance than the state-of-the-art techniques in most cases.


title: Search for $\alpha$ condensed states in $^{13}$C using $\alpha$ inelastic scattering

abstract: We searched for the $\alpha$ condensed state in $^{13}$C by measuring the $\alpha$ inelastic scattering at $E_{\alpha} = 388$ MeV at forward angles including 0 degrees. We performed the distorted-wave Born-approximation calculation with the single-folding potential and the multipole decomposition analysis to determine the isoscalar transition strengths in $^{13}$C. We found a bump structure around $E_x = 12.5$ MeV due to the isoscalar monopole ($IS0$) transition. A peak-fit analysis suggested that this bump consisted of several $1/2^-$ states. We propose that this bump is due to the mirror state of the 13.5 MeV-state in $^{13}$N, which dominantly decays to the $\alpha$ condensed state in $^{12}$C. It was speculated that the $1/2^-$ states around $E_x = 12.5$ MeV were candidates for the $\alpha$ condensed state, but the $3\alpha + n$ orthogonality condition model suggests that the $\alpha$ condensed state is unlikely to emerge as the negative parity states. We also found two $1/2^+$ or $3/2^+$ states at $E_x = 14.5$ and 16.1 MeV excited with the isoscalar dipole ($IS1$) strengths. We suggest that the 16.1-MeV state is a possible candidate for the $\alpha$ condensed state predicted by the cluster-model calculations on the basis of the good correspondence between the experimental and calculated level structures. However, the theoretical $IS1$ transition strength for this state is significantly smaller than the measured value. Further experimental information is strongly desired to establish the $\alpha$ condensed state in $^{13}$C.


title: In situ formation of super-Earth/sub-Neptune driven by the planetary rotation

abstract: Kepler's observation shows that many of the detected planets are super-Earths. They are inside a range of critical masses overlapping the core masses (2-20 $M_{\bigoplus}$), which would trigger the runaway accretion and develop the gas giants. Thus, super-Earths/sub-Neptunes can be formed by restraining runaway growth of gaseous envelopes. We assess the effect of planetary rotation in delaying the mass growth. The centrifugal force, induced by spin, will offset a part of the gravitational force and deform the planet. Tracking the change in structure, we find that the temperature at the radiative-convective boundary (RCB) is approximate to the boundary temperature. Since rotation reduces the radiation energy densities in the convective and radiative layers, RCB will penetrate deeper. The cooling luminosity would decrease. Under this condition, the evolutionary timescale can exceed the disk lifetime (10 Myr), and a super-Earth/sub-Neptune could be formed after undergoing additional mass loss processes. In the dusty atmosphere, even a lower angular velocity can also promote a super-Earth/sub-Neptune forming. Therefore, we conclude that rotation can slow down the planet's cooling and then promote a super-Earth/sub-Neptune forming.


title: PL-EESR: Perceptual Loss Based END-TO-END Robust Speaker Representation Extraction

abstract: Speech enhancement aims to improve the perceptual quality of the speech signal by suppression of the background noise. However, excessive suppression may lead to speech distortion and speaker information loss, which degrades the performance of speaker embedding extraction. To alleviate this problem, we propose an end-to-end deep learning framework, dubbed PL-EESR, for robust speaker representation extraction. This framework is optimized based on the feedback of the speaker identification task and the high-level perceptual deviation between the raw speech signal and its noisy version. We conducted speaker verification tasks in both noisy and clean environment respectively to evaluate our system. Compared to the baseline, our method shows better performance in both clean and noisy environments, which means our method can not only enhance the speaker relative information but also avoid adding distortions.


title: Experimental Determination of Multi-Qubit Ground State via a Cluster Mean-Field Algorithm

abstract: A quantum eigensolver is designed under a multi-layer cluster mean-field (CMF) algorithm by partitioning a quantum system into spatially-separated clusters. For each cluster, a reduced Hamiltonian is obtained after a partial average over its environment cluster. The products of eigenstates from different clusters construct a compressed Hilbert space, in which an effective Hamiltonian is diagonalized to determine certain eigenstates of the whole Hamiltonian. The CMF method is numerically verified in multi-spin chains and experimentally studied in a fully-connected three-spin network, both yielding an excellent prediction of their ground states.


title: Artificial Intelligence For Breast Cancer Detection: Trends & Directions

abstract: In the last decade, researchers working in the domain of computer vision and Artificial Intelligence (AI) have beefed up their efforts to come up with the automated framework that not only detects but also identifies stage of breast cancer. The reason for this surge in research activities in this direction are mainly due to advent of robust AI algorithms (deep learning), availability of hardware that can train those robust and complex AI algorithms and accessibility of large enough dataset required for training AI algorithms. Different imaging modalities that have been exploited by researchers to automate the task of breast cancer detection are mammograms, ultrasound, magnetic resonance imaging, histopathological images or any combination of them. This article analyzes these imaging modalities and presents their strengths, limitations and enlists resources from where their datasets can be accessed for research purpose. This article then summarizes AI and computer vision based state-of-the-art methods proposed in the last decade, to detect breast cancer using various imaging modalities. Generally, in this article we have focused on to review frameworks that have reported results using mammograms as it is most widely used breast imaging modality that serves as first test that medical practitioners usually prescribe for the detection of breast cancer. Second reason of focusing on mammogram imaging modalities is the availability of its labeled datasets. Datasets availability is one of the most important aspect for the development of AI based frameworks as such algorithms are data hungry and generally quality of dataset affects performance of AI based algorithms. In a nutshell, this research article will act as a primary resource for the research community working in the field of automated breast imaging analysis.


title: CDRNet: Accurate Cup-to-Disc Ratio Measurement with Tight Bounding Box Supervision in Fundus Photography Using Deep Learning

abstract: The cup-to-disc ratio (CDR) is one of the most significant indicator for glaucoma diagnosis. Different from the use of costly fully supervised learning formulation with pixel-wise annotations in the literature, this study investigates the feasibility of accurate CDR measurement in fundus images using only tight bounding box supervision. For this purpose, we develop a two-task network named as CDRNet for accurate CDR measurement, one for weakly supervised image segmentation, and the other for bounding-box regression. The weakly supervised image segmentation task is implemented based on generalized multiple instance learning formulation and smooth maximum approximation, and the bounding-box regression task outputs class-specific bounding box prediction in a single scale at the original image resolution. To get accurate bounding box prediction, a class-specific bounding-box normalizer and an expected intersection-over-union are proposed. In the experiments, the proposed approach was evaluated by a testing set with 1200 images using CDR error and $F_1$ score for CDR measurement and dice coefficient for image segmentation. A grader study was conducted to compare the performance of the proposed approach with those of individual graders. The experimental results indicate that the proposed approach outperforms the state-of-the-art performance obtained from the fully supervised image segmentation (FSIS) approach using pixel-wise annotation for CDR measurement. Its performance is also better than those of individual graders. In addition, the proposed approach gets performance close to the state-of-the-art obtained from FSIS and the performance of individual graders for optic cup and disc segmentation. The codes are available at \url{https://github.com/wangjuan313/CDRNet}.


title: Kalman Bayesian Neural Networks for Closed-form Online Learning

abstract: Compared to point estimates calculated by standard neural networks, Bayesian neural networks (BNN) provide probability distributions over the output predictions and model parameters, i.e., the weights. Training the weight distribution of a BNN, however, is more involved due to the intractability of the underlying Bayesian inference problem and thus, requires efficient approximations. In this paper, we propose a novel approach for BNN learning via closed-form Bayesian inference. For this purpose, the calculation of the predictive distribution of the output and the update of the weight distribution are treated as Bayesian filtering and smoothing problems, where the weights are modeled as Gaussian random variables. This allows closed-form expressions for training the network's parameters in a sequential/online fashion without gradient descent. We demonstrate our method on several UCI datasets and compare it to the state of the art.


title: Fragmentation fraction $f_{\Omega_b}$ and the $\Omega_b\to \Omega J/\psi$ decay in the light-front formalism

abstract: One has measured $f_{\Omega_b}{\cal B}(\Omega_b^-\to \Omega^- J/\Psi)$ at the level of $10^{-6}$, where the fragmentation faction $f_{\Omega_b}$ is to evaluate the $b$-quark to $\Omega_b^-$ production rate. Using the $\Omega_b\to \Omega$ transition form factors calculated in the light-front quark model, we predict ${\cal B}(\Omega_b^-\to \Omega^- J/\Psi) =(5.3^{+3.3+3.8}_{-2.1-2.7})\times 10^{-4}$. In particular, we extract $f_{\Omega_b}=(0.54^{+0.34+0.39+0.21}_{-0.22-0.28-0.15})\times 10^{-2}$, demonstrating that the $b$ to $\Omega_b$ productions are much more difficult than the $b$ to $\Lambda_b(\Xi_b)$ ones. Since $f_{\Omega_b}$ has not been determined experimentally, $f_{\Omega_b}$ added to theoretical branching fractions can be compared to future measurements of the $\Omega_b$ decays.


title: Unified Likelihood Ratio Estimation for High- to Zero-frequency N-grams

abstract: Likelihood ratios (LRs), which are commonly used for probabilistic data processing, are often estimated based on the frequency counts of individual elements obtained from samples. In natural language processing, an element can be a continuous sequence of $N$ items, called an $N$-gram, in which each item is a word, letter, etc. In this paper, we attempt to estimate LRs based on $N$-gram frequency information. A naive estimation approach that uses only $N$-gram frequencies is sensitive to low-frequency (rare) $N$-grams and not applicable to zero-frequency (unobserved) $N$-grams; these are known as the low- and zero-frequency problems, respectively. To address these problems, we propose a method for decomposing $N$-grams into item units and then applying their frequencies along with the original $N$-gram frequencies. Our method can obtain the estimates of unobserved $N$-grams by using the unit frequencies. Although using only unit frequencies ignores dependencies between items, our method takes advantage of the fact that certain items often co-occur in practice and therefore maintains their dependencies by using the relevant $N$-gram frequencies. We also introduce a regularization to achieve robust estimation for rare $N$-grams. Our experimental results demonstrate that our method is effective at solving both problems and can effectively control dependencies.


title: Annotation Cost Reduction of Stream-based Active Learning by Automated Weak Labeling using a Robot Arm

abstract: Stream-based active learning (AL) is an efficient training data collection method, and it is used to reduce human annotation cost required in machine learning. However, it is difficult to say that the human cost is low enough because most previous studies have assumed that an oracle is a human with domain knowledge. In this study, we propose a method to replace a part of the oracle's work in stream-based AL by self-training with weak labeling using a robot arm. A camera attached to a robot arm takes a series of image data related to a streamed object, which should have the same label. We use this information as a weak label to connect a pseudo-label (estimated class label) and a target instance. Our method selects two data from a series of image data; high confidence data for correcting pseudo-labels and low confidence data for improving the performance of the classifier. We paired a pseudo-label provided to high confidence data with a target instance (low confidence data). By using this technique, we mitigate the inefficiency in self-training, that is, difficulty in creating pseudo-labeled training data with a high impact on the target classifier. In the experiments, we employed the proposed method in the classification task of objects on a belt conveyor. We evaluated the performance against human cost on multiple scenarios considering the temporal variation of data. The proposed method achieves the same or better performance as the conventional methods while reducing human cost.


title: Interactive Segmentation for COVID-19 Infection Quantification on Longitudinal CT scans

abstract: Consistent segmentation of COVID-19 patient's CT scans across multiple time points is essential to assess disease progression and response to therapy accurately. Existing automatic and interactive segmentation models for medical images only use data from a single time point (static). However, valuable segmentation information from previous time points is often not used to aid the segmentation of a patient's follow-up scans. Also, fully automatic segmentation techniques frequently produce results that would need further editing for clinical use. In this work, we propose a new single network model for interactive segmentation that fully utilizes all available past information to refine the segmentation of follow-up scans. In the first segmentation round, our model takes 3D volumes of medical images from two-time points (target and reference) as concatenated slices with the additional reference time point segmentation as a guide to segment the target scan. In subsequent segmentation refinement rounds, user feedback in the form of scribbles that correct the segmentation and the target's previous segmentation results are additionally fed into the model. This ensures that the segmentation information from previous refinement rounds is retained. Experimental results on our in-house multiclass longitudinal COVID-19 dataset show that the proposed model outperforms its static version and can assist in localizing COVID-19 infections in patient's follow-up scans.


title: Unsupervised paradigm for information extraction from transcripts using BERT

abstract: Audio call transcripts are one of the valuable sources of information for multiple downstream use cases such as understanding the voice of the customer and analyzing agent performance. However, these transcripts are noisy in nature and in an industry setting, getting tagged ground truth data is a challenge. In this paper, we present a solution implemented in the industry using BERT Language Models as part of our pipeline to extract key topics and multiple open intents discussed in the call. Another problem statement we looked at was the automatic tagging of transcripts into predefined categories, which traditionally is solved using supervised approach. To overcome the lack of tagged data, all our proposed approaches use unsupervised methods to solve the outlined problems. We evaluate the results by quantitatively comparing the automatically extracted topics, intents and tagged categories with human tagged ground truth and by qualitatively measuring the valuable concepts and intents that are not present in the ground truth. We achieved near human accuracy in extraction of these topics and intents using our novel approach


title: An Unsupervised Video Game Playstyle Metric via State Discretization

abstract: On playing video games, different players usually have their own playstyles. Recently, there have been great improvements for the video game AIs on the playing strength. However, past researches for analyzing the behaviors of players still used heuristic rules or the behavior features with the game-environment support, thus being exhausted for the developers to define the features of discriminating various playstyles. In this paper, we propose the first metric for video game playstyles directly from the game observations and actions, without any prior specification on the playstyle in the target game. Our proposed method is built upon a novel scheme of learning discrete representations that can map game observations into latent discrete states, such that playstyles can be exhibited from these discrete states. Namely, we measure the playstyle distance based on game observations aligned to the same states. We demonstrate high playstyle accuracy of our metric in experiments on some video game platforms, including TORCS, RGSK, and seven Atari games, and for different agents including rule-based AI bots, learning-based AI bots, and human players.


title: H\"older estimates for solutions of parabolic SPDEs

abstract: This paper considers second-order stochastic partial differential equations with additive noise given in a bounded domain of $\mathbb R^n$. We suppose that the coefficients of the noise are $L^p$-functions with sufficiently large $p$. We prove that the solutions are H\"older-continuous functions almost surely (a.s.) and that the respective H\"older norms have finite momenta of any order.


title: Information Elicitation Meets Clustering

abstract: In the setting where we want to aggregate people's subjective evaluations, plurality vote may be meaningless when a large amount of low-effort people always report "good" regardless of the true quality. "Surprisingly popular" method, picking the most surprising answer compared to the prior, handle this issue to some extent. However, it is still not fully robust to people's strategies. Here in the setting where a large number of people are asked to answer a small number of multi-choice questions (multi-task, large group), we propose an information aggregation method that is robust to people's strategies. Interestingly, this method can be seen as a rotated "surprisingly popular". It is based on a new clustering method, Determinant MaxImization (DMI)-clustering, and a key conceptual idea that information elicitation without ground-truth can be seen as a clustering problem. Of independent interest, DMI-clustering is a general clustering method that aims to maximize the volume of the simplex consisting of each cluster's mean multiplying the product of the cluster sizes. We show that DMI-clustering is invariant to any non-degenerate affine transformation for all data points. When the data point's dimension is a constant, DMI-clustering can be solved in polynomial time. In general, we present a simple heuristic for DMI-clustering which is very similar to Lloyd's algorithm for k-means. Additionally, we also apply the clustering idea in the single-task setting and use the spectral method to propose a new aggregation method that utilizes the second-moment information elicited from the crowds.


title: Pattern transformation in higher-order lumps of the Kadomtsev-Petviashvili I equation

abstract: Pattern formation in higher-order lumps of the Kadomtsev-Petviashvili I equation at large time is analytically studied. For a broad class of these higher-order lumps, we show that two types of solution patterns appear at large time. The first type of patterns comprise fundamental lumps arranged in triangular shapes, which are described analytically by root structures of the Yablonskii-Vorob'ev polynomials. As time evolves from large negative to large positive, this triangular pattern reverses itself along the x-direction. The second type of patterns comprise fundamental lumps arranged in non-triangular shapes in the outer region, which are described analytically by nonzero-root structures of the Wronskian-Hermit polynomials, together with possible fundamental lumps arranged in triangular shapes in the inner region, which are described analytically by root structures of the Yablonskii-Vorob'ev polynomials. When time evolves from large negative to large positive, the non-triangular pattern in the outer region switches its x and y directions, while the triangular pattern in the inner region, if it arises, reverses its direction along the x-axis. Our predicted patterns at large time are compared to true solutions, and excellent agreement is observed.


title: Adaptive Real-Time Grid Operation via Online Feedback Optimization with Sensitivity Estimation

abstract: In this paper we propose an approach based on an Online Feedback Optimization (OFO) controller with grid input-output sensitivity estimation for real-time grid operation, e.g., at subsecond time scales. The OFO controller uses grid measurements as feedback to update the value of the controllable elements in the grid, and track the solution of a time-varying AC Optimal Power Flow (AC-OPF). Instead of relying on a full grid model, e.g., grid admittance matrix, OFO only requires the steady-state sensitivity relating a change in the controllable inputs, e.g., power injections set-points, to a change in the measured outputs, e.g., voltage magnitudes. Since an inaccurate sensitivity may lead to a model-mismatch and jeopardize the performance, we propose a recursive least-squares estimation that enables OFO to learn the sensitivity from measurements during real-time operation, turning OFO into a model-free approach. We analytically certify the convergence of the proposed OFO with sensitivity estimation, and validate its performance on a simulation using the IEEE 123-bus test feeder, and comparing it against a state-of-the-art OFO with constant sensitivity.


title: Charm and multi-charm baryon measurements via strangeness tracking with the upgraded ALICE detector

abstract: We present a new method for detection of multiply charmed baryons via their decays into strange baryons, using `strangeness tracking'. This method makes use of the state-of-the-art upgraded silicon detectors in ALICE during Runs 3, 4 and beyond will enable the novel possibility of tracking strange hadrons directly before they decay, leading to a very significant improvement in impact-parameter resolution. In this work, we will discuss how this new technique will be crucial to distinguish secondary strange baryons originating from charm decays from primary strange baryons. This is a particularly interesting possibility for the $\Omega^{-}$ baryon coming from $\Omega_{\rm{c}}^{0}\rightarrow\Omega^{-}\pi^{+}$ decays, since there is no other relevant feeddown source for $\Omega^{-}$. This, in turn, means that the main $\Omega^{-}$ background for the $\Omega_{\rm{c}}$ measurement will point most accurately to the primary vertex, unlike pions or protons from other charm baryon decays. We will illustrate the achievable performance of strangeness tracking for the Run 3 configuration of ALICE with the upgraded Inner Tracking System, which is fully instrumented with silicon pixel detectors. Moreover, we will discuss the potential of this technique in a future experiment with an extensive silicon tracking detector with a first layer very close to the interaction point. Finally, we will also cover other potential major applications of strangeness tracking, including measurements of hypernuclei such as the $^{3}_{\Lambda}\rm{H}$.


title: Crossing the light line

abstract: We ask the question 'what happens to Bloch waves in gratings synthetically moving at near the speed of light?'. First we define a constant refractive index (CRI) model in which Bloch waves remain well defined as they break the light barrier, then show their dispersion rotating through 360 degrees from negative to positive and back again. Next we introduce the effective medium approximation (EMA) then refine it into a 4-wave model which proves to be highly accurate. Finally using the Bloch waves to expand a pulse of light we demonstrate sudden inflation of pulse amplitude combined with reversal of propagation direction as a luminal grating is turned on.


title: Graph Representation Learning for Spatial Image Steganalysis

abstract: In this paper, we introduce a graph representation learning architecture for spatial image steganalysis, which is motivated by the assumption that steganographic modifications unavoidably distort the statistical characteristics of the hidden graph features derived from cover images. In the detailed architecture, we translate each image to a graph, where nodes represent the patches of the image and edges indicate the local relationships between the patches. Each node is associated with a feature vector determined from the corresponding patch by a shallow convolutional neural network (CNN) structure. By feeding the graph to an attention network, the discriminative features can be learned for efficient steganalysis. Experiments indicate that the reported architecture achieves a competitive performance compared to the benchmark CNN model, which has shown the potential of graph learning for steganalysis.


title: Fingerprint Matching using the Onion Peeling Approach and Turning Function

abstract: Fingerprint, as one of the most popular and robust biometric traits, can be used in automatic identification and verification systems to identify individuals. Fingerprint matching is a vital and challenging issue in fingerprint recognition systems. Most fingerprint matching algorithms are minutiae-based. The minutiae in fingerprints can be determined by their discontinuity. Ridge ending and ridge bifurcation are two frequently used minutiae in most fingerprint-based matching algorithms. This paper presents a new minutiae-based fingerprint matching using the onion peeling approach. In the proposed method, fingerprints are aligned to find the matched minutiae points. Then, the nested convex polygons of matched minutiae points are constructed and the comparison between peer-to-peer polygons is performed by the turning function distance. Simplicity, accuracy, and low time complexity of the Onion peeling approach are three important factors that make it a standard method for fingerprint matching purposes. The performance of the proposed algorithm is evaluated on the database $FVC2002$. The results show that fingerprints of the same fingers have higher scores than different fingers. Since the fingerprints that the difference between the number of their layers is more than $2$ and the minutiae matching score lower than 0.15 are ignored, the better results are obtained.


title: Boost Neural Networks by Checkpoints

abstract: Training multiple deep neural networks (DNNs) and averaging their outputs is a simple way to improve the predictive performance. Nevertheless, the multiplied training cost prevents this ensemble method to be practical and efficient. Several recent works attempt to save and ensemble the checkpoints of DNNs, which only requires the same computational cost as training a single network. However, these methods suffer from either marginal accuracy improvements due to the low diversity of checkpoints or high risk of divergence due to the cyclical learning rates they adopted. In this paper, we propose a novel method to ensemble the checkpoints, where a boosting scheme is utilized to accelerate model convergence and maximize the checkpoint diversity. We theoretically prove that it converges by reducing exponential loss. The empirical evaluation also indicates our proposed ensemble outperforms single model and existing ensembles in terms of accuracy and efficiency. With the same training budget, our method achieves 4.16% lower error on Cifar-100 and 6.96% on Tiny-ImageNet with ResNet-110 architecture. Moreover, the adaptive sample weights in our method make it an effective solution to address the imbalanced class distribution. In the experiments, it yields up to 5.02% higher accuracy over single EfficientNet-B0 on the imbalanced datasets.


title: Be Aware of Your Leaders

abstract: Advances in blockchains have influenced the State-Machine-Replication (SMR) world and many state-of-the-art blockchain-SMR solutions are based on two pillars: Chaining and Leader-rotation. A predetermined round-robin mechanism used for Leader-rotation, however, has an undesirable behavior: crashed parties become designated leaders infinitely often, slowing down overall system performance. In this paper, we provide a new Leader-Aware SMR framework that, among other desirable properties, formalizes a Leader-utilization requirement that bounds the number of rounds whose leaders are faulty in crash-only executions. We introduce Carousel, a novel, reputation-based Leader-rotation solution to achieve Leader-Aware SMR. The challenge in adaptive Leader-rotation is that it cannot rely on consensus to determine a leader, since consensus itself needs a leader. Carousel uses the available on-chain information to determine a leader locally and achieves Liveness despite this difficulty. A HotStuff implementation fitted with Carousel demonstrates drastic performance improvements: it increases throughput over 2x in faultless settings and provided a 20x throughput increase and 5x latency reduction in the presence of faults.


title: Lectures on quantum supreme matter

abstract: These notes are based on lectures serving the advanced graduate education of the Delta Institute of Theoretical Physics in the Netherlands in autumn 2021. The goal is to explain in a language that can be understood by non-specialists very recent advances in quantum information and especially string theory suggesting the existence of entirely new forms of matter. These are metallic states characterized by an extremely dense many body entanglement, requiring the supremacy of the quantum computer to be completely enumerated. The holographic duality discovered in string theory appears to be a mathematical machinery capable of computing observable properties of such matter, suggesting the presence of universal general principles governing its phenomenology. The case is developing that these principles may well apply to the highly mysterious physical properties observed in the high temperature superconductors and other strongly interacting electron systems of condensed matter physics.

categories: cond-mat.str-el cond-mat.stat-mech cond-mat.supr-con hep-th quant-ph


title: Exact mobility edges for 1D quasiperiodic models

abstract: Mobility edges (ME), i.e. critical energies which separate absolutely continuous spectrum and purely point spectrum, is an important issue in quantum physics. So far there are two experimentally feasible 1D quasiperiodic models that have been discovered to have exact mobility edge. However, all the theoretical studies have remained at the numerical level. In this paper, we rigorously prove the existence and give the precise location of the MEs for these models.


title: Existence of solution for a class of heat equation involving the 1-Laplacian operator

abstract: This paper concerns the existence of global solutions for the following class of heat equation involving the 1-Laplacian operator of the Dirichlet problem $$ \left\{ \begin{array}{llc} u_{t}-\Delta_1 u=f(u) & \text{in}\ & \Omega\times (0, +\infty) , u =0 & \text{in} & \partial\Omega\times (0, +\infty), u(x,0)=u_{0}(x)& \text{in} &\Omega , \end{array}\right. \leqno{(P)} $$ where $\Omega \subset \mathbb{R}^N$ is a smooth bounded domain, $N \geq 1$ and $f:\mathbb{R}\to \mathbb{R}$ is a continuous function satisfying some technical conditions, and $\Delta_1 u=\text{div}\left(\frac{Du}{|Du|}\right)$ denotes the 1-Laplacian operator. The existence of global solution is done by using an approximation technique that consists in working with a class of $p$-Laplacian problem associated with $(P)$ and then taking the limit when $ p \to 1^+$ to get our results.


title: New function classes of Morrey-Campanato type and their applications

abstract: The aim of this paper is to introduce and investigative some new function classes of Morrey-Campanato type. Let $0<p<\infty$ and $0\leq \lambda<n+p$. We say that $f\in \mathcal{\bar{L}}^{p,\lambda}(\Omega)$ if $$\sup_{x_{0}\in \Omega,\rho>0}\rho^{-\lambda}\int_{\Omega(x_{0},\rho)}\big|f(x)-|f|_{\Omega(x_{0},\rho)}\big|^pdx<\infty,$$ where $\Omega(x_{0},\rho)=Q(x_{0},\rho)\cap \Omega$ and $Q(x,\rho)$ is denote the cube of $\mathbb{R}^n$. Some basic properties and characterizations of these classes are presented. If $0\leq \lambda<n$, the space is equivalent to related Morrey space. If $\lambda=n$, then $f \in \mathcal{\bar{L}}^{p,n}(\Omega)$ if and only if $f\in BMO(\Omega)$ with $f^{-}\in L^{\infty}(\Omega)$, where $f^{-}=-\min\{0,f\}$. If $n<\lambda\leq n+p$, the $\mathcal{\bar{L}}^{p,\lambda}(\Omega)$ functions establish an integral characterization of the nonnegative H\"{o}lder continue functions. As applications, this paper gives unified criterions on the necessity of bounded commutators of maximal functions.


title: Coverage Axis: Inner Point Selection for 3D Shape Skeletonization

abstract: In this paper, we present a simple yet effective formulation called Coverage Axis for 3D shape skeletonization. Inspired by the set cover problem, our key idea is to cover all the surface points using as few inside medial balls as possible. This formulation inherently induces a compact and expressive approximation of the Medial Axis Transform (MAT) of a given shape. Different from previous methods that rely on local approximation error, our method allows a global consideration of the overall shape structure, leading to an efficient high-level abstraction and superior robustness to noise. Another appealing aspect of our method is its capability to handle more generalized input such as point clouds and poor-quality meshes. Extensive comparisons and evaluations demonstrate the remarkable effectiveness of our method for generating compact and expressive skeletal representation to approximate the MAT.


title: Translating Images into Maps

abstract: We approach instantaneous mapping, converting images to a top-down view of the world, as a translation problem. We show how a novel form of transformer network can be used to map from images and video directly to an overhead map or bird's-eye-view (BEV) of the world, in a single end-to-end network. We assume a 1-1 correspondence between a vertical scanline in the image, and rays passing through the camera location in an overhead map. This lets us formulate map generation from an image as a set of sequence-to-sequence translations. Posing the problem as translation allows the network to use the context of the image when interpreting the role of each pixel. This constrained formulation, based upon a strong physical grounding of the problem, leads to a restricted transformer network that is convolutional in the horizontal direction only. The structure allows us to make efficient use of data when training, and obtains state-of-the-art results for instantaneous mapping of three large-scale datasets, including a 15% and 30% relative gain against existing best performing methods on the nuScenes and Argoverse datasets, respectively. We make our code available on https://github.com/avishkarsaha/translating-images-into-maps.


title: About fluid forces computation for Volume Penalization coupled with Lattice Boltzmann method (VP-LBM)

abstract: In this paper, two different approaches fluid forces computation approaches are compared in the frame of Volume Penalization - Lattice Boltzmann Method (VP-LBM). The first method, the momentum exchange method, uses the variation of the distribution functions near the fluid solid interface, while the second one, the stress integration method, allows direct integration of fluid forces onto this interface. Applied to the VP-LBM, which consists in penalizing the solid in the LBM, these two methods lead to significantly different results. The tests are performed to study on one hand the lift and drag coefficients of a Naca 0012 airfoil at different angles of attack, at Reynolds number 1000, and on the other hand, the particle sedimentation under gravity in a channel.


title: Coarse grained intermolecular interactions on quantum processors

abstract: Variational quantum algorithms (VQAs) are increasingly being applied in simulations of strongly-bound (covalently bonded) systems using full molecular orbital basis representations. The application of quantum computers to the weakly-bound intermolecular and non-covalently bonded regime however has remained largely unexplored. In this work, we develop a coarse-grained representation of the electronic response that is ideally suited for determining the ground state of weakly interacting molecules using a VQA. We require qubit numbers that grow linearly with the number of molecules and derive scaling behaviour for the number of circuits and measurements required, which compare favourably to traditional variational quantum eigensolver methods. We demonstrate our method on IBM superconducting quantum processors and show its capability to resolve the dispersion energy as a function of separation for a pair of non-polar molecules - thereby establishing a means by which quantum computers can model Van der Waals interactions directly from zero-point quantum fluctuations. Within this coarse-grained approximation, we conclude that current-generation quantum hardware is capable of probing energies in this weakly bound but nevertheless chemically ubiquitous and biologically important regime. Finally, we perform experiments on simulated and real quantum computers for systems of three, four and five oscillators as well as oscillators with anharmonic onsite binding potentials; the consequences of the latter are unexamined in large systems using classical computational methods but can be incorporated here with low computational overhead.


title: Density functionals with spin-density accuracy for open shells

abstract: Electrons in zero external magnetic field can be studied with density functional theory (DFT) or with spin-DFT (SDFT). The latter is normally used for open shell systems because its approximations appear to model better the exchange and correlation (xc) functional, but also because so far the application of DFT implied a closed-shell-like approximation. Correcting this error for open shells allows the approximate DFT xc functionals to become as accurate as those in SDFT. In the limit of zero magnetic field, the Kohn-Sham equations of SDFT emerge as the generalised KS equations of DFT.


title: Semantic-Guided Zero-Shot Learning for Low-Light Image/Video Enhancement

abstract: Low-light images challenge both human perceptions and computer vision algorithms. It is crucial to make algorithms robust to enlighten low-light images for computational photography and computer vision applications such as real-time detection and segmentation. This paper proposes a semantic-guided zero-shot low-light enhancement network (SGZ) which is trained in the absence of paired images, unpaired datasets, and segmentation annotation. Firstly, we design an enhancement factor extraction network using depthwise separable convolution for an efficient estimate of the pixel-wise light deficiency of an low-light image. Secondly, we propose a recurrent image enhancement network to progressively enhance the low-light image with affordable model size. Finally, we introduce an unsupervised semantic segmentation network for preserving the semantic information during intensive enhancement. Extensive experiments on benchmark datasets and a low-light video demonstrate that our model outperforms the previous state-of-the-art. We further discuss the benefits of the proposed method for low-light detection and segmentation. Code is available at https://github.com/ShenZheng2000/Semantic-Guided-Low-Light-Image-Enhancement


title: Gravitational effects on neutrino decoherence in Lense-Thirring metric

abstract: We analyze gravity effects on neutrino wave packet decoherence. As a specific example, we consider the gravitational field of a spinning spherical body described by the Lense-Thirring metric. By working in the weak-field limit and employing Gaussian wave packets, we show that the characteristic coherence length of neutrino oscillation processes is nontrivially affected, the corrections being dependent on the mass and angular velocity of the gravity source. Possible experimental implications are finally discussed.


title: A Robust Scheme for 3D Point Cloud Copy Detection

abstract: Most existing 3D geometry copy detection research focused on 3D watermarking, which first embeds ``watermarks'' and then detects the added watermarks. However, this kind of methods is non-straightforward and may be less robust to attacks such as cropping and noise. In this paper, we focus on a fundamental and practical research problem: judging whether a point cloud is plagiarized or copied to another point cloud in the presence of several manipulations (e.g., similarity transformation, smoothing). We propose a novel method to address this critical problem. Our key idea is first to align the two point clouds and then calculate their similarity distance. We design three different measures to compute the similarity. We also introduce two strategies to speed up our method. Comprehensive experiments and comparisons demonstrate the effectiveness and robustness of our method in estimating the similarity of two given 3D point clouds.


title: Graph Pointer Neural Networks

abstract: Graph Neural Networks (GNNs) have shown advantages in various graph-based applications. Most existing GNNs assume strong homophily of graph structure and apply permutation-invariant local aggregation of neighbors to learn a representation for each node. However, they fail to generalize to heterophilic graphs, where most neighboring nodes have different labels or features, and the relevant nodes are distant. Few recent studies attempt to address this problem by combining multiple hops of hidden representations of central nodes (i.e., multi-hop-based approaches) or sorting the neighboring nodes based on attention scores (i.e., ranking-based approaches). As a result, these approaches have some apparent limitations. On the one hand, multi-hop-based approaches do not explicitly distinguish relevant nodes from a large number of multi-hop neighborhoods, leading to a severe over-smoothing problem. On the other hand, ranking-based models do not joint-optimize node ranking with end tasks and result in sub-optimal solutions. In this work, we present Graph Pointer Neural Networks (GPNN) to tackle the challenges mentioned above. We leverage a pointer network to select the most relevant nodes from a large amount of multi-hop neighborhoods, which constructs an ordered sequence according to the relationship with the central node. 1D convolution is then applied to extract high-level features from the node sequence. The pointer-network-based ranker in GPNN is joint-optimized with other parts in an end-to-end manner. Extensive experiments are conducted on six public node classification datasets with heterophilic graphs. The results show that GPNN significantly improves the classification performance of state-of-the-art methods. In addition, analyses also reveal the privilege of the proposed GPNN in filtering out irrelevant neighbors and reducing over-smoothing.


title: ALMA Super-resolution Imaging of T Tau: r = 12 au Gap in the Compact Dust Disk around T Tau N

abstract: Based on Atacama Large Millimeter/submillimeter Array (ALMA) observations, compact protoplanetary disks with dust radii of $r\lesssim 20-40$ au were found to be dominant in nearby low-mass star formation regions. However, their substructures have not been investigated because of the limited spatial resolution achieved so far. We apply a newly developed super-resolution imaging technique utilizing sparse modeling (SpM) to explore several au-scale structures in such compact disks. SpM imaging can directly solve for the incomplete sampling of visibilities in the spatial frequency and potentially improve the fidelity and effective spatial resolution of ALMA images. Here, we present the results of the application to the T Tau system. We use the ALMA 1.3 mm continuum data and achieve an effective spatial resolution of $\sim 30\%$ (5 au) compared with the conventional CLEAN beam size at a resolution of 17 au. The reconstructed image reveals a new annular gap structure at $r= 12$ au in the T Tau N compact disk with a dust radius of 24 au, and resolves the T Tau Sa and Sb binary into two sources. If the observed gap structure in the T Tau N disk is caused by an embedded planet, we estimate a Saturn-mass planet when the viscous parameter of the disk is $10^{-3}$. Ultimately, ALMA observations with enough angular resolution and sensitivity should be able to verify the consistency of the super-resolution imaging and definitely confirm the existence of this disk substructure.


title: On the mode structure of imperfect fluids

abstract: This paper tries to obtain a simple picture of several aspects of the mode structure in relativistic non-equilibrium thermodynamics. Its pedagogical focus is on the relation between long-wavelength perturbation modes of the causal M\"{u}ller-Israel-Stewart (MIS) theory and those of the traditional Eckart theory. Principally, this issue was clarified in a series of papers by Hiscock and Lindblom (see [8-10]). Here, I put together some essential features which do not require the entire formalism of the complete theory.


title: LexGLUE: A Benchmark Dataset for Legal Language Understanding in English

abstract: Laws and their interpretations, legal arguments and agreements\ are typically expressed in writing, leading to the production of vast corpora of legal text. Their analysis, which is at the center of legal practice, becomes increasingly elaborate as these collections grow in size. Natural language understanding (NLU) technologies can be a valuable tool to support legal practitioners in these endeavors. Their usefulness, however, largely depends on whether current state-of-the-art models can generalize across various tasks in the legal domain. To answer this currently open question, we introduce the Legal General Language Understanding Evaluation (LexGLUE) benchmark, a collection of datasets for evaluating model performance across a diverse set of legal NLU tasks in a standardized way. We also provide an evaluation and analysis of several generic and legal-oriented models demonstrating that the latter consistently offer performance improvements across multiple tasks.


title: Class of quasiprobability distributions of work and initial quantum coherence

abstract: The work is a concept of fundamental importance in thermodynamics. An open question is how to describe the work fluctuation for quantum coherent processes in the presence of initial quantum coherence in the energy basis. With the aim of giving a unified description, here we introduce and study a class of quasiprobability distributions of work, which give an average work equal to the average energy change of the system and reduce to the two-projective measurement scheme for an initial incoherent state. Moreover, we characterize the work with the help of fluctuation relations. In particular, by considering the joint distribution of work and initial quantum coherence, we find a fluctuation theorem involving quantum coherence, from which follows a second law of thermodynamics in the case of initial thermal populations. Furthermore, we propose a way to measure the characteristic function of work and we discuss the negativity of the quasiprobability. The effects of coherence are also investigated for a simple system of a qubit.


title: Towards General Models of Player Experience: A Study Within Genres

abstract: To which degree can abstract gameplay metrics capture the player experience in a general fashion within a game genre? In this comprehensive study we address this question across three different videogame genres: racing, shooter, and platformer games. Using high-level gameplay features that feed preference learning models we are able to predict arousal accurately across different games of the same genre in a large-scale dataset of over 1,000 arousal-annotated play sessions. Our genre models predict changes in arousal with up to 74% accuracy on average across all genres and 86% in the best cases. We also examine the feature importance during the modelling process and find that time-related features largely contribute to the performance of both game and genre models. The prominence of these game-agnostic features show the importance of the temporal dynamics of the play experience in modelling, but also highlight some of the challenges for the future of general affect modelling in games and beyond.