title: Quantum Kernel Method in the Presence of Noise

abstract: Kernel method in machine learning consists of encoding input data into a vector in a Hilbert space called the feature space and modeling the target function as a linear map on the feature space. Given a cost function, computing such an optimal linear map requires computation of a kernel matrix whose entries equal the inner products of feature vectors. In the quantum kernel method it is assumed that the feature vectors are quantum states in which case the quantum kernel matrix is given in terms of the overlap of quantum states. In practice, to estimate entries of the quantum kernel matrix one should apply, e.g., the SWAP-test and the number of such SWAP-tests is a relevant parameter in evaluating the performance of the quantum kernel method. Moreover, quantum systems are subject to noise, so the quantum states as feature vectors cannot be prepared exactly and this is another source of error in the computation of the quantum kernel matrix. Taking both the above considerations into account, we prove a bound on the performance (generalization error) of the quantum kernel method.


title: Large-scale Text-to-Image Generation Models for Visual Artists' Creative Works

abstract: Large-scale Text-to-image Generation Models (LTGMs) (e.g., DALL-E), self-supervised deep learning models trained on a huge dataset, have demonstrated the capacity for generating high-quality open-domain images from multi-modal input. Although they can even produce anthropomorphized versions of objects and animals, combine irrelevant concepts in reasonable ways, and give variation to any user-provided images, we witnessed such rapid technological advancement left many visual artists disoriented in leveraging LTGMs more actively in their creative works. Our goal in this work is to understand how visual artists would adopt LTGMs to support their creative works. To this end, we conducted an interview study as well as a systematic literature review of 72 system/application papers for a thorough examination. A total of 28 visual artists covering 35 distinct visual art domains acknowledged LTGMs' versatile roles with high usability to support creative works in automating the creation process (i.e., automation), expanding their ideas (i.e., exploration), and facilitating or arbitrating in communication (i.e., mediation). We conclude by providing four design guidelines that future researchers can refer to in making intelligent user interfaces using LTGMs.


title: Increasing Visual Awareness in Multimodal Neural Machine Translation from an Information Theoretic Perspective

abstract: Multimodal machine translation (MMT) aims to improve translation quality by equipping the source sentence with its corresponding image. Despite the promising performance, MMT models still suffer the problem of input degradation: models focus more on textual information while visual information is generally overlooked. In this paper, we endeavor to improve MMT performance by increasing visual awareness from an information theoretic perspective. In detail, we decompose the informative visual signals into two parts: source-specific information and target-specific information. We use mutual information to quantify them and propose two methods for objective optimization to better leverage visual signals. Experiments on two datasets demonstrate that our approach can effectively enhance the visual awareness of MMT model and achieve superior results against strong baselines.


title: Full exceptional collections and stability conditions for Dynkin quivers

abstract: For a stability condition $\sigma$ on a triangulated category, Dimitrov-Katzarkov introduced the notion of a $\sigma$-exceptional collection. In this paper, we study full $\sigma$-exceptional collections in the derived category of an acyclic quiver. In particular, we prove that any stability condition $\sigma$ on the derived category of a Dynkin quiver admits a full $\sigma$-exceptional collection.


title: Analytical Volume Analysis for the Finite-time Controllable Region of the Linear Discrete-time Systems

abstract: In this paper, the works on the analytical volume analysis for the controllable regions of the linear discrete-time (LDT) systems in papers \cite{zhaomw202001} and \cite {zhaomw202004} are discussed further and a new theorem on the analytical computing for the finite-time controllability zonotope (controllable region) of LDT systems are proven. And then, three analytical factors describing the control capability of the systems are deconstructed successfully from the analytical volume expression of the controllable region. Finally, the theorem is generalized to three cases: the narrow controllable region, the matrix $A$ with $n$ negative eigenvalues, the linear continuous-time systems.


title: TLDW: Extreme Multimodal Summarisation of News Videos

abstract: Multimodal summarisation with multimodal output is drawing increasing attention due to the rapid growth of multimedia data. While several methods have been proposed to summarise visual-text contents, their multimodal outputs are not succinct enough at an extreme level to address the information overload issue. To the end of extreme multimodal summarisation, we introduce a new task, eXtreme Multimodal Summarisation with Multimodal Output (XMSMO) for the scenario of TL;DW - Too Long; Didn't Watch, akin to TL;DR. XMSMO aims to summarise a video-document pair into a summary with an extremely short length, which consists of one cover frame as the visual summary and one sentence as the textual summary. We propose a novel unsupervised Hierarchical Optimal Transport Network (HOT-Net) consisting of three components: hierarchical multimodal encoders, hierarchical multimodal fusion decoders, and optimal transport solvers. Our method is trained, without using reference summaries, by optimising the visual and textual coverage from the perspectives of the distance between the semantic distributions under optimal transport plans. To facilitate the study on this task, we collect a large-scale dataset XMSMO-News by harvesting 4,891 video-document pairs. The experimental results show that our method achieves promising performance in terms of ROUGE and IoU metrics.


title: On the sharp constant in the Bianchi-Egnell stability inequality

abstract: This note is concerned with the Bianchi-Egnell inequality, which quantifies the stability of the Sobolev inequality, and its generalization to fractional exponents $s \in (0, \frac{d}{2})$. We prove that in dimension $d \geq 2$ the best constant \[ c_{BE}(s) = \inf_{f \in \dot{H}^s(\mathbb R^d) \setminus \mathcal M} \frac{\|(-\Delta)^{s/2} f\|_{L^2(\mathbb R^d)}^2 - S_{d,s} \|f\|_{L^{2^*}(\mathbb R^d)}^2}{\text{dist}_{\dot{H}^s(\mathbb R^d)}(f, \mathcal M)^2} \] is strictly smaller than the spectral gap constant $\frac{4s}{d+2s+2}$ associated to sequences which converge to the manifold $\mathcal M$ of Sobolev optimizers. In particular, $c_{BE}(s)$ cannot be asymptotically attained by such sequences. Our proof relies on a precise expansion of the Bianchi-Egnell quotient along a well-chosen sequence of test functions converging to $\mathcal M$.


title: Direct Computing on Control Capability for Linear Continuous-time Systems Based on Hurwitz Matrix

abstract: In this paper, based on the controllable canonical form and the Hurwitz matrix of the Hurwitz stability criterion, an analytical volume computing method for the smooth controllability zonotope for the linear continuous-time(LCT) systems, without of help of the eigenvalue computing of the systems, is presented. And then, the computing method is generlized to the volume computing of the controllability ellipsoid of the LCT systems. Because the controllability zonotope and ellipsoid are directly related to control capability and their volumes are the main index describing the control capability, the new volume computing methods proposed in this paper can help greatly the computing, analysis and optimization of the control capability of LCT systems.


title: End-to-end Two-dimensional Sound Source Localization With Ad-hoc Microphone Arrays

abstract: Conventional sound source localization methods are mostly based on a single microphone array that consists of multiple microphones. They are usually formulated as the estimation of the direction of arrival problem. In this paper, we propose a deep-learning-based end-to-end sound source localization method with ad-hoc microphone arrays, where an ad-hoc microphone array is a set of randomly distributed microphone arrays that collaborate with each other. It can produce two-dimensional locations of speakers with only a single microphone per node. Specifically, we divide a targeted indoor space into multiple local areas. We encode each local area by a one-hot code, therefore, the node and speaker locations can be represented by the one-hot codes. Accordingly, the sound source localization problem is formulated as such a classification task of recognizing the one-hot code of the speaker given the one hot codes of the microphone nodes and their speech recordings. An end-to-end spatial-temporal deep model is designed for the classification problem. It utilizes a spatial-temporal attention architecture with a fusion layer inserted in the middle of the architecture, which is able to handle arbitrarily different numbers of microphone nodes during the model training and test. Experimental results show that the proposed method yields good performance in highly reverberant and noisy environments.


title: HQNAS: Auto CNN deployment framework for joint quantization and architecture search

abstract: Deep learning applications are being transferred from the cloud to edge with the rapid development of embedded computing systems. In order to achieve higher energy efficiency with the limited resource budget, neural networks(NNs) must be carefully designed in two steps, the architecture design and the quantization policy choice. Neural Architecture Search(NAS) and Quantization have been proposed separately when deploying NNs onto embedded devices. However, taking the two steps individually is time-consuming and leads to a sub-optimal final deployment. To this end, we propose a novel neural network design framework called Hardware-aware Quantized Neural Architecture Search(HQNAS) framework which combines the NAS and Quantization together in a very efficient manner using weight-sharing and bit-sharing. It takes only 4 GPU hours to discover an outstanding NN policy on CIFAR10. It also takes only %10 GPU time to generate a comparable model on Imagenet compared to the traditional NAS method with 1.8x decrease of latency and a negligible accuracy loss of only 0.7%. Besides, our method can be adapted in a lifelong situation where the neural network needs to evolve occasionally due to changes of local data, environment and user preference.


title: Streaming PAC-Bayes Gaussian process regression with a performance guarantee for online decision making

abstract: As a powerful Bayesian non-parameterized algorithm, the Gaussian process (GP) has performed a significant role in Bayesian optimization and signal processing. GPs have also advanced online decision-making systems because their posterior distribution has a closed-form solution. However, its training and inference process requires all historic data to be stored and the GP model to be trained from scratch. For those reasons, several online GP algorithms, such as O-SGPR and O-SVGP, have been specifically designed for streaming settings. In this paper, we present a new theoretical framework for online GPs based on the online probably approximately correct (PAC) Bayes theory. The framework offers both a guarantee of generalized performance and good accuracy. Instead of minimizing the marginal likelihood, our algorithm optimizes both the empirical risk function and a regularization item, which is in proportion to the divergence between the prior distribution and posterior distribution of parameters. In addition to its theoretical appeal, the algorithm performs well empirically on several regression datasets. Compared to other online GP algorithms, ours yields a generalization guarantee and very competitive accuracy.


title: Survey of Deep Learning for Autonomous Surface Vehicles in the Marine Environment

abstract: Within the next several years, there will be a high level of autonomous technology that will be available for widespread use, which will reduce labor costs, increase safety, save energy, enable difficult unmanned tasks in harsh environments, and eliminate human error. Compared to software development for other autonomous vehicles, maritime software development, especially on aging but still functional fleets, is described as being in a very early and emerging phase. This introduces very large challenges and opportunities for researchers and engineers to develop maritime autonomous systems. Recent progress in sensor and communication technology has introduced the use of autonomous surface vehicles (ASVs) in applications such as coastline surveillance, oceanographic observation, multi-vehicle cooperation, and search and rescue missions. Advanced artificial intelligence technology, especially deep learning (DL) methods that conduct nonlinear mapping with self-learning representations, has brought the concept of full autonomy one step closer to reality. This paper surveys the existing work regarding the implementation of DL methods in ASV-related fields. First, the scope of this work is described after reviewing surveys on ASV developments and technologies, which draws attention to the research gap between DL and maritime operations. Then, DL-based navigation, guidance, control (NGC) systems and cooperative operations, are presented. Finally, this survey is completed by highlighting the current challenges and future research directions.


title: Robust Graph Filter Identification and Graph Denoising from Signal Observations

abstract: When facing graph signal processing tasks, the workhorse assumption is that the graph describing the support of the signals is known. However, in many relevant applications the available graph suffers from observation errors and perturbations. As a result, any method relying on the graph topology may yield suboptimal results if those imperfections are ignored. Motivated by this, we propose a novel approach for handling perturbations on the links of the graph and apply it to the problem of robust graph filter (GF) identification from input-output observations. Different from existing works, we formulate a non-convex optimization problem that operates in the vertex domain and jointly performs GF identification and graph denoising. As a result, on top of learning the desired GF, an estimate of the graph is obtained as a byproduct. To handle the resulting bi-convex problem, we design an algorithm that blends techniques from alternating optimization and majorization minimization, showing its convergence to a stationary point. The second part of the paper i) generalizes the design to a robust setup where several GFs are jointly estimated, and ii) introduces an alternative algorithmic implementation that reduces the computational complexity. Finally, the detrimental influence of the perturbations and the benefits resulting from the robust approach are numerically analyzed over synthetic and real-world datasets, comparing them with other state-of-the-art alternatives.


title: Contributions to the nucleon form factors from bubble and tadpole diagrams

abstract: The nonlocal chiral effective theory is applied to investigate the electromagnetic and strange form factors of nucleon. The bubble and tadpole diagrams are included in the calculation. With the contributions from bubble and tadpole diagrams, the obtained electromagnetic form factors are close to the results without these contributions as long as the low energy constants $c_1$ and $c_2$ are properly chosen, while the magnitudes of strange form factors become larger. Both the electromagnetic and strange form factors are still in good agreement with the experimental data.


title: STAR: Zero-Shot Chinese Character Recognition with Stroke- and Radical-Level Decompositions

abstract: Zero-shot Chinese character recognition has attracted rising attention in recent years. Existing methods for this problem are mainly based on either certain low-level stroke-based decomposition or medium-level radical-based decomposition. Considering that the stroke- and radical-level decompositions can provide different levels of information, we propose an effective zero-shot Chinese character recognition method by combining them. The proposed method consists of a training stage and an inference stage. In the training stage, we adopt two similar encoder-decoder models to yield the estimates of stroke and radical encodings, which together with the true encodings are then used to formalize the associated stroke and radical losses for training. A similarity loss is introduced to regularize stroke and radical encoders to yield features of the same characters with high correlation. In the inference stage, two key modules, i.e., the stroke screening module (SSM) and feature matching module (FMM) are introduced to tackle the deterministic and confusing cases respectively. In particular, we introduce an effective stroke rectification scheme in FMM to enlarge the candidate set of characters for final inference. Numerous experiments over three benchmark datasets covering the handwritten, printed artistic and street view scenarios are conducted to demonstrate the effectiveness of the proposed method. Numerical results show that the proposed method outperforms the state-of-the-art methods in both character and radical zero-shot settings, and maintains competitive performance in the traditional seen character setting.


title: Search for Quasi-Periodical Oscillations in Precursors of Short and Long Gamma Ray Bursts

abstract: The precursors of short and long Gamma Ray Bursts (SGRBs and LGRBs) can serve as probes of their progenitors, as well as shedding light on the physical processes of mergers or core-collapse supernovae. Some models predict the possible existence of Quasi-Periodically Oscillations (QPO) in the precursors of SGRBs. Although many previous studies have performed QPO search in the main emission of SGRBs and LGRBs, so far there was no systematic QPO search in their precursors. In this work, we perform a detailed QPO search in the precursors of SGRBs and LGRBs detected by Fermi/GBM from 2008 to 2019 using the power density spectrum (PDS) in frequency domain and Gaussian processes (GP) in time domain. We do not find any convinced QPO signal with significance above 3 $\sigma$, possibly due to the low fluxes of precursors. Finally, the PDS continuum properties of both the precursors and main emissions are also studied for the first time, and no significant difference is found in the distributions of the PDS slope for precursors and main emissions in both SGRBs and LGRBs.


title: On the necessity of separating MAC protocols into data and control planes

abstract: The network protocol architecture not only can be designed from the traditional view of layers, but also can be designed from the view of planes, i.e., the data, control and management planes. Media access control (MAC) is a function of the data link layer, and thus the MAC protocols involve of both the data and control planes. However, although the international wireless local area network (WLAN) standard, IEEE 802.11 or Wi-Fi, has developed over 20 years, the control plane of the MAC protocols is not explicitly described yet. Thus, does it need to separate the MAC protocols into data and control planes? If not, are there some problems in existing hybrid architecture? To answer above questions, we analyse the possible problems of the current MAC protocols in IEEE 802.11, particularly in std 802.11-2020. These problems can be seen as new starts for the next study of the WLAN for the next generation (WNG).


title: Indoor Smartphone SLAM with Learned Echoic Location Features

abstract: Indoor self-localization is a highly demanded system function for smartphones. The current solutions based on inertial, radio frequency, and geomagnetic sensing may have degraded performance when their limiting factors take effect. In this paper, we present a new indoor simultaneous localization and mapping (SLAM) system that utilizes the smartphone's built-in audio hardware and inertial measurement unit (IMU). Our system uses a smartphone's loudspeaker to emit near-inaudible chirps and then the microphone to record the acoustic echoes from the indoor environment. Our profiling measurements show that the echoes carry location information with sub-meter granularity. To enable SLAM, we apply contrastive learning to construct an echoic location feature (ELF) extractor, such that the loop closures on the smartphone's trajectory can be accurately detected from the associated ELF trace. The detection results effectively regulate the IMU-based trajectory reconstruction. Extensive experiments show that our ELF-based SLAM achieves median localization errors of $0.1\,\text{m}$, $0.53\,\text{m}$, and $0.4\,\text{m}$ on the reconstructed trajectories in a living room, an office, and a shopping mall, and outperforms the Wi-Fi and geomagnetic SLAM systems.


title: Brand New K-FACs: Speeding up K-FAC with Online Decomposition Updates

abstract: K-FAC (arXiv:1503.05671, arXiv:1602.01407) is a tractable implementation of Natural Gradient (NG) for Deep Learning (DL), whose bottleneck is computing the inverses of the so-called ``Kronecker-Factors'' (K-factors). RS-KFAC (arXiv:2206.15397) is a K-FAC improvement which provides a cheap way of estimating the K-factors inverses. In this paper, we exploit the exponential-average construction paradigm of the K-factors, and use online numerical linear algebra techniques to propose an even cheaper (but less accurate) way of estimating the K-factors inverses. In particular, we propose a K-factor inverse update which scales linearly in layer size. We also propose an inverse application procedure which scales linearly as well (the one of K-FAC scales cubically and the one of RS-KFAC scales quadratically). Overall, our proposed algorithm gives an approximate K-FAC implementation whose preconditioning part scales linearly in layer size (compare to cubic for K-FAC and quadratic for RS-KFAC). Importantly however, this update is only applicable in some circumstances (typically for all FC layers), unlike the RS-KFAC approach (arXiv:2206.15397). Numerical results show RS-KFAC's inversion error can be reduced with minimal CPU overhead by adding our proposed update to it. Based on the proposed procedure, a correction to it, and RS-KFAC, we propose three practical algorithms for optimizing generic Deep Neural Nets. Numerical results show that two of these outperform RS-KFAC for any target test accuracy on CIFAR10 classification with a slightly modified version of VGG16_bn. Our proposed algorithms achieve 91$\%$ test accuracy faster than SENG (the state of art implementation of empirical NG for DL; arXiv:2006.05924) but underperform it for higher test-accuracy.


title: Pareto Set Learning for Expensive Multi-Objective Optimization

abstract: Expensive multi-objective optimization problems can be found in many real-world applications, where their objective function evaluations involve expensive computations or physical experiments. It is desirable to obtain an approximate Pareto front with a limited evaluation budget. Multi-objective Bayesian optimization (MOBO) has been widely used for finding a finite set of Pareto optimal solutions. However, it is well-known that the whole Pareto set is on a continuous manifold and can contain infinite solutions. The structural properties of the Pareto set are not well exploited in existing MOBO methods, and the finite-set approximation may not contain the most preferred solution(s) for decision-makers. This paper develops a novel learning-based method to approximate the whole Pareto set for MOBO, which generalizes the decomposition-based multi-objective optimization algorithm (MOEA/D) from finite populations to models. We design a simple and powerful acquisition search method based on the learned Pareto set, which naturally supports batch evaluation. In addition, with our proposed model, decision-makers can readily explore any trade-off area in the approximate Pareto set for flexible decision-making. This work represents the first attempt to model the Pareto set for expensive multi-objective optimization. Experimental results on different synthetic and real-world problems demonstrate the effectiveness of our proposed method.


title: Hierarchical Pricing Game for Balancing the Charging of Ride-Hailing Electric Fleets

abstract: Due to the ever-increasing popularity of ride-hailing services and the indisputable shift towards alternative fuel vehicles, the intersection of the ride-hailing market and smart electric mobility provides an opportunity to trade different services to achieve societal optimum. In this work, we present a hierarchical, game-based, control mechanism for balancing the simultaneous charging of multiple ride-hailing fleets. The mechanism takes into account sometimes conflicting interests of the ride-hailing drivers, the ride-hailing company management, and the external agents such as power-providing companies or city governments that will play a significant role in charging management in the future. The upper-level control considers charging price incentives and models the interactions between the external agents and ride-hailing companies as a Reverse Stackelberg game with a single leader and multiple followers. The lower-level control motivates the revenue-maximizing drivers to follow the company operator's requests through surge pricing and models the interactions as a single leader, multiple followers Stackelberg game. We provide a pricing mechanism that ensures the existence of a unique Nash equilibrium of the upper-level game that minimizes the external agent's objective at the same time. We provide theoretical and experimental robustness analysis of the upper-level control with respect to parameters whose values depend on sensitive information that might not be entirely accessible to the external agent. For the lower-level algorithm, we combine the Nash equilibrium of the upper-level game with a quadratic mixed integer optimization problem to find the optimal surge prices. Finally, we illustrate the performance of the control mechanism in a case study based on real taxi data from the city of Shenzhen in China.


title: Urban form and COVID-19 cases and deaths in Greater London: an urban morphometric approach

abstract: The COVID-19 pandemic generated a considerable debate in relation to urban density. This is an old debate, originated in mid 19th century's England with the emergence of public health and urban planning disciplines. While popularly linked, evidence suggests that such relationship cannot be generally assumed. Furthermore, urban density has been investigated in a spatially coarse manner (predominantly at city level) and never contextualised with other descriptors of urban form. In this work, we explore COVID-19 and urban form in Greater London, relating a comprehensive set of morphometric descriptors (including built-up density) to COVID-19 deaths and cases, while controlling for socioeconomic, ethnicity, age, and co-morbidity. We describe urban form at individual building level and then aggregate information for official neighbourhoods, allowing for a detailed intra-urban representation. Results show that: i) control variables significantly explain more variance of both COVID-19 cases and deaths than the morphometric descriptors; ii) of what the latter can explain, built-up density is indeed the most associated, though inversely. The typical London neighbourhood with high levels of COVID-19 infections and deaths resembles a suburb, featuring a low-density urban fabric dotted by larger free-standing buildings and framed by a poorly inter-connected street network.


title: Constraints on the nuclear Schiff moment from its correlation with electromagnetic properties

abstract: We study the nuclear Schiff moments of $^{129}$Xe and $^{199}$Hg induced by the nucleon electric dipole moment using large-scale shell model calculations. For $^{129}$Xe, we find a linear relation between the leading-order contribution and magnetic moment, which would be useful in reducing the theoretical uncertainty. The conventional model space does not contain the $ 0g_{ 9/2 } $ and $ 0h_{ 9/2 } $ orbitals, which are connected to the spin-orbit partners by large matrix elements. Thus, to evaluate the influence of the relevant single-particle orbitals outside the conventional model space, we apply the quasiparticle vacua shell model method. Moreover, the next-to-leading-order contribution arises from parity and time-reversal violation inside the nucleus. We demonstrate that these secondary effects do not induce any significant disturbance to the correlation. Additionally, we report the shell model results for the nuclear Schiff moment coefficients of $^{199}$Hg. Compared to previous studies, the results obtained in this study are rather large, indicating a higher sensitivity to the neutron electric dipole moment.


title: BayesGmed: An R-package for Bayesian Causal Mediation Analysis

abstract: The past decade has seen an explosion of research in causal mediation analysis. However, most analytic tools developed so far rely on frequentist methods which may not be robust in the case of small sample sizes. In this paper, we propose a Bayesian approach for causal mediation analysis based on Bayesian g-formula. We created BayesGmed, an R-package for fitting Bayesian mediation models in R. The application of the methodology (and software tool) is demonstrated by a secondary analysis of data collected as part of the MUSICIAN study, a randomised controlled trial of remotely delivered cognitive behavioural therapy (tCBT) for people with chronic pain. We tested the hypothesis that the effect of tCBT would be mediated by improvements in active coping, passive coping, fear of movement and sleep problems. The analysis of MUSICIAN data shows that tCBT has better-improved patients' self-perceived change in health status compared to treatment as usual (TAU). The adjusted log-odds of tCBT compared to TAU range from 1.491 (0.452, 2.612) when adjusted for sleep problems to 2.264 (1.063, 3.610) when adjusted for fear of movement. Higher scores of fear of movement (log-odds, -0.141 (-0.245, -0.048)), passive coping (log-odds, -0.217 (-0.351, -0.104)), and sleep problem (log-odds, -0.179 (-0.291, -0.078)) leads to lower odds of a positive self-perceived change in health status. The result of BayesGmed, however, shows that none of the mediated effects are statistically significant. We compared BayesGmed with the mediation R package, and the results were comparable. Finally, our probabilistic sensitivity analysis using the BayesGmed tool shows that the direct and total effect of tCBT persists even for a large departure in the assumption of no unmeasured confounding.


title: This Patient Looks Like That Patient: Prototypical Networks for Interpretable Diagnosis Prediction from Clinical Text

abstract: The use of deep neural models for diagnosis prediction from clinical text has shown promising results. However, in clinical practice such models must not only be accurate, but provide doctors with interpretable and helpful results. We introduce ProtoPatient, a novel method based on prototypical networks and label-wise attention with both of these abilities. ProtoPatient makes predictions based on parts of the text that are similar to prototypical patients - providing justifications that doctors understand. We evaluate the model on two publicly available clinical datasets and show that it outperforms existing baselines. Quantitative and qualitative evaluations with medical doctors further demonstrate that the model provides valuable explanations for clinical decision support.


title: A Uniquely Solvable, Positivity-Preserving and Unconditionally Energy Stable Numerical Scheme for the Functionalized Cahn-Hilliard Equation with Logarithmic Potential

abstract: We propose and analyze a first-order finite difference scheme for the functionalized Cahn-Hilliard (FCH) equation with a logarithmic Flory-Huggins potential. The semi-implicit numerical scheme is designed based on a suitable convex-concave decomposition of the FCH free energy. We prove unique solvability of the numerical algorithm and verify its unconditional energy stability without any restriction on the time step size. Thanks to the singular nature of the logarithmic part in the Flory-Huggins potential near the pure states $\pm 1$, we establish the so-called positivity-preserving property for the phase function at a theoretic level. As a consequence, the numerical solutions will never reach the singular values $\pm 1$ in the point-wise sense and the fully discrete scheme is well defined at each time step. Next, we present a detailed optimal rate convergence analysis and derive error estimates in $l^{\infty}(0,T;L_h^2)\cap l^2(0,T;H^3_h)$ under a linear refinement requirement $\Delta t\leq C_1 h$. To achieve the goal, a higher order asymptotic expansion (up to the second order temporal and spatial accuracy) based on the Fourier projection is utilized to control the discrete maximum norm of solutions to the numerical scheme. We show that if the exact solution to the continuous problem is strictly separated from the pure states $\pm 1$, then the numerical solutions can be kept away from $\pm 1$ by a positive distance that is uniform with respect to the size of the time step and the grid. Finally, a few numerical experiments are presented. Convergence test is performed to demonstrate the accuracy and robustness of the proposed numerical scheme. Pearling bifurcation, meandering instability and spinodal decomposition are observed in the numerical simulations.


title: FIT: A Metric for Model Sensitivity

abstract: Model compression is vital to the deployment of deep learning on edge devices. Low precision representations, achieved via quantization of weights and activations, can reduce inference time and memory requirements. However, quantifying and predicting the response of a model to the changes associated with this procedure remains challenging. This response is non-linear and heterogeneous throughout the network. Understanding which groups of parameters and activations are more sensitive to quantization than others is a critical stage in maximizing efficiency. For this purpose, we propose FIT. Motivated by an information geometric perspective, FIT combines the Fisher information with a model of quantization. We find that FIT can estimate the final performance of a network without retraining. FIT effectively fuses contributions from both parameter and activation quantization into a single metric. Additionally, FIT is fast to compute when compared to existing methods, demonstrating favourable convergence properties. These properties are validated experimentally across hundreds of quantization configurations, with a focus on layer-wise mixed-precision quantization.


title: Entropy Regularized Reinforcement Learning with Cascading Networks

abstract: Deep Reinforcement Learning (Deep RL) has had incredible achievements on high dimensional problems, yet its learning process remains unstable even on the simplest tasks. Deep RL uses neural networks as function approximators. These neural models are largely inspired by developments in the (un)supervised machine learning community. Compared to these learning frameworks, one of the major difficulties of RL is the absence of i.i.d. data. One way to cope with this difficulty is to control the rate of change of the policy at every iteration. In this work, we challenge the common practices of the (un)supervised learning community of using a fixed neural architecture, by having a neural model that grows in size at each policy update. This allows a closed form entropy regularized policy update, which leads to a better control of the rate of change of the policy at each iteration and help cope with the non i.i.d. nature of RL. Initial experiments on classical RL benchmarks show promising results with remarkable convergence on some RL tasks when compared to other deep RL baselines, while exhibiting limitations on others.


title: An electronic-based model of the optical nonlinearity of low-electron-density-Drude materials

abstract: Low electron density Drude (LEDD) materials such as indium tin oxide (ITO) are receiving considerable attention because of their combination of CMOS compatibility, unique epsilon-near-zero (ENZ) behavior, and giant ultrafast nonlinear thermo-optic response. However, the understanding of the electronic and optical response of LEDD materials is so far based on simplistic extensions of known models of noble metals, frequently without the inclusion of the interplay among the lower electron density, relatively high Debye energy, and the non-parabolic band structure. To bridge this knowledge gap, this work provides a complete understanding of the nonlinear electronic-thermal-optical response of LEDD materials. In particular, we rely on state-of-the-art electron dynamics modeling, as well as the newly derived time-dependent permittivity model for LEDD materials under optical pumping within the adiabatic approximation. We find that unlike noble metals, the electron temperatures can reach the Fermi temperature, in which case the effective chemical potential dramatically decreases and even becomes negative, thus, transiently converting the Drude metal into a semiconductor. We further show that the nonlinear optical response of LEDD materials originating from the changes to the real part of the permittivity is due to the generation of non-thermal electrons. This resolves the argument about the rise time of the permittivity and shows that it is instantaneous. In this vein, we show that referring to the LEDD permittivity as having a ``saturable'' nonlinearity is unsuitable since its permittivity dynamics does not originate from population inversion. Finally, we analyze the probe pulse dynamics and unlike previous work, we obtain a quantitative agreement with the results of recent experiments.


title: The log tangent space of the log jet space

abstract: We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of schemes. We then compute the log K\"ahler differentials of the log jet and arc spaces after de Fernex and Docampo. We obtain some of their applications to the structure of the log jet space. We conclude with comparison remarks with other log jet spaces.


title: ResAttUNet: Detecting Marine Debris using an Attention activated Residual UNet

abstract: Currently, a significant amount of research has been done in field of Remote Sensing with the use of deep learning techniques. The introduction of Marine Debris Archive (MARIDA), an open-source dataset with benchmark results, for marine debris detection opened new pathways to use deep learning techniques for the task of debris detection and segmentation. This paper introduces a novel attention based segmentation technique that outperforms the existing state-of-the-art results introduced with MARIDA. The paper presents a novel spatial aware encoder and decoder architecture to maintain the contextual information and structure of sparse ground truth patches present in the images. The attained results are expected to pave the path for further research involving deep learning using remote sensing images. The code is available at https://github.com/sheikhazhanmohammed/SADMA.git


title: New hybrid quadrature schemes for weakly singular kernels applied to isogeometric boundary elements for 3D Stokes flow

abstract: This work proposes four novel hybrid quadrature schemes for the efficient and accurate evaluation of weakly singular boundary integrals (1/r kernel) on arbitrary smooth surfaces. Such integrals appear in boundary element analysis for several partial differential equations including the Stokes equation for viscous flow and the Helmholtz equation for acoustics. The proposed quadrature schemes apply a Duffy transform-based quadrature rule to surface elements containing the singularity and classical Gaussian quadrature to the remaining elements. Two of the four schemes additionally consider a special treatment for elements near to the singularity, where refined Gaussian quadrature and a new moment-fitting quadrature rule are used. The hybrid quadrature schemes are systematically studied on flat B-spline patches and on NURBS spheres considering two different sphere discretizations: An exact single-patch sphere with degenerate control points at the poles and an approximate discretization that consist of six patches with regular elements. The efficiency of the quadrature schemes is further demonstrated in boundary element analysis for Stokes flow, where steady problems with rotating and translating curved objects are investigated in convergence studies for both, mesh and quadrature refinement. Much higher convergence rates are observed for the proposed new schemes in comparison to classical schemes.


title: RevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory

abstract: Recent nano-technological advances enable the Monolithic 3D (M3D) integration of multiple memory and logic layers in a single chip with fine-grained connections. M3D technology leads to significantly higher main memory bandwidth and shorter latency than existing 3D-stacked systems. We show for a variety of workloads on a state-of-the-art M3D system that the performance and energy bottlenecks shift from the main memory to the core and cache hierarchy. Hence, there is a need to revisit current core and cache designs that have been conventionally tailored to tackle the memory bottleneck. Our goal is to redesign the core and cache hierarchy, given the fundamentally new trade-offs of M3D, to benefit a wide range of workloads. To this end, we take two steps. First, we perform a design space exploration of the cache and core's key components. We highlight that in M3D systems, (i) removing the shared last-level cache leads to similar or larger performance benefits than increasing its size or reducing its latency; (ii) improving L1 latency has a large impact on improving performance; (iii) wider pipelines are increasingly beneficial; (iv) the performance impact of branch speculation and pipeline frontend increases; (v) the current synchronization schemes limit parallel speedup. Second, we propose an optimized M3D system, RevaMp3D, where (i) using the tight connectivity between logic layers, we efficiently increase pipeline width, reduce L1 latency, and enable fine-grained synchronization; (ii) using the high-bandwidth and energy-efficient main memory, we alleviate the amplified energy and speculation bottlenecks by memoizing the repetitive fetched, decoded, and reordered instructions and turning off the relevant parts of the core pipeline when possible. RevaMp3D provides, on average, 81% speedup, 35% energy reduction, and 12.3% smaller area compared to the baseline M3D system.


title: Radii of spherical photon orbits around Kerr-Newman black holes

abstract: The spherical photon orbits around a black hole with constant radii are particular important in astrophysical observations of the black hole. In this paper, the equatorial and non-equatorial spherical photon orbits around Kerr-Newman black holes are studied. The radii of these orbits satisfy a sextic polynomial equation with three parameters, the rotation parameter $u$, charge parameter $w$ and effective inclination angle $v$. It is found that there are two polar orbits and one is inside and the other is outside the event horizon. For orbits in the equatorial plane around an extremal Kerr-Newman black hole , we find three positive solutions to the equation and provide analytical formulas for the radii of the three orbits. It is also found that a critical value of rotation parameter $u=\frac{1}{4}$ exists, above which only one retrograde orbit exists outside the event horizon and below which two orbits (one prograde and one retrograde) exist outside the event horizon. For orbits in the equatorial plane of a nonextremal Kerr-Newman black hole, there are four or two positive solutions. A critical curve in $(u,w)$-plane which separates the regions is also found. On this critical curve, the explicit formulas of three solutions are found. There always exist two equatorial photon orbits outside the event horizon in this case. For orbits between the above two special planes, there are four or two solutions to the general sextic equation. When the black hole is extremal, it is found that there is a critical inclination angle $v_{cr}$, below which only one orbit exists and above which two orbits exist outside the event horizon for a rapidly rotating black hole $u>\frac{1}{4}$. At this critical inclination angle, exact formula for the radii is also derived. Finally, a critical surface in parameter space of ($u,w,v$) is shown that separates regions with four or two solutions.


title: The Gaia-ESO Survey: Old super-metal-rich visitors from the inner Galaxy

abstract: We report the identification of a set of old super metal-rich dwarf stars with orbits of low eccentricity that reach a maximum height from the Galactic plane between ~0.5-1.5 kpc. We discuss their properties to understand their origins. We use data from the internal data release 6 of the Gaia-ESO Survey. We selected stars observed at high resolution with abundances of 21 species of 18 individual elements. We apply hierarchical clustering to group the stars with similar chemical abundances within the complete chemical abundance space. According to their chemical properties, this set of super metal-rich stars can be arranged into five subgroups. Four seem to follow a chemical enrichment flow, where nearly all abundances increase in lockstep with Fe. The fifth subgroup shows different chemical characteristics. All subgroups have the following features: median ages of the order of 7-9 Gyr, Solar or sub-Solar [Mg/Fe] ratios, maximum height between 0.5-1.5 kpc, low eccentricities, and a detachment from the expected metallicity gradient with guiding radius. The high metallicity of our stars is incompatible with a formation in the Solar neighbourhood. Their dynamic properties agree with theoretical expectations that these stars travelled from the inner Galaxy due to blurring and, most importantly, to churning. We suggest that most of this population's stars originated in the Milky Way's inner regions (inner disc and/or the bulge) and later migrated to the Solar neighbourhood. The region from where the stars originated had a complex chemical enrichment history, with contributions from supernovae types Ia and II and possibly asymptotic giant branch stars.


title: CDConv: A Benchmark for Contradiction Detection in Chinese Conversations

abstract: Dialogue contradiction is a critical issue in open-domain dialogue systems. The contextualization nature of conversations makes dialogue contradiction detection rather challenging. In this work, we propose a benchmark for Contradiction Detection in Chinese Conversations, namely CDConv. It contains 12K multi-turn conversations annotated with three typical contradiction categories: Intra-sentence Contradiction, Role Confusion, and History Contradiction. To efficiently construct the CDConv conversations, we devise a series of methods for automatic conversation generation, which simulate common user behaviors that trigger chatbots to make contradictions. We conduct careful manual quality screening of the constructed conversations and show that state-of-the-art Chinese chatbots can be easily goaded into making contradictions. Experiments on CDConv show that properly modeling contextual information is critical for dialogue contradiction detection, but there are still unresolved challenges that require future research.


title: Ground States of Attractive Bose Gases in Rotating Anharmonic Traps

abstract: This paper is concerned with ground states of attractive Bose gases confined in an anharmonic trap $V(x)=\omega(|x|^2+k|x|^4)$ rotating at the velocity $\Omega>0$, where $\omega>0$ denotes the trapping frequency, and $k>0$ represents the strength of the quartic term. It is known that for any $\Omega>0$, ground states exist in such traps if and only if $0<a<a^*$, where $a^*:=\|Q\|^{2}_{2}$ and $Q>0$ is the unique positive solution of $\Delta Q-Q+Q^{3}=0$ in $\mathbb{R}^2$. By analyzing the refined energies and expansions of ground states, we prove that there exists a constant $C>0$, independent of $0<a<a^*$, such that ground states do not have any vortex in the region $R(a):=\big\{x\in\mathbb{R}^2:\, |x|\leq C(a^*-a)^{-\frac{1-6\beta}{20}}\big\}$ as $a\nearrow a^*$, for the case where $\omega=\frac{3\Omega^2}{4}$, $k=\frac{1}{6}$, and $\Omega=C_0(a^*-a)^{-\beta}$ varies for some $\beta\in [0,\frac{1}{6})$ and $C_0>0$.


title: The ground state solutions of nonlinear Schr\"{o}dinger equations with Hardy weights on lattice graphs

abstract: In this paper, we study the nonlinear Schr\"{o}dinger equation $$ -\Delta u+(V(x)- \frac{\rho}{(|x|^2+1)})u=f(x,u) $$ on the lattice graph $\mathbb{Z}^N$ with $N\geq 3$, where $V$ is a bounded periodic potential and $0$ lies in a spectral gap of the Schr\"{o}dinger operator $-\Delta+V$. Under some assumptions on the nonlinearity $f$, we prove the existence and asymptotic behavior of ground state solutions with small $\rho\geq 0$ by the generalized linking theorem.


title: Two-Timescale Transmission Design for RIS-Aided Cell-Free Massive MIMO Systems

abstract: This paper investigates the performance of a two-timescale transmission design for uplink reconfigurable intelligent surface (RIS)-aided cell-free massive multiple-input multiple-output (CF-mMIMO) systems. We consider the Rician channel model and design the passive beamforming of RISs based on the long-time statistical channel state information (CSI), while the central processing unit (CPU) utilizes the maximum ratio combining (MRC) technology to perform fully centralized processing based on the instantaneous overall channel, which are the superposition of the direct and RIS-reflected channels. Firstly, we derive the closed-form approximate expression of the uplink achievable rate for arbitrary numbers of access point (AP) antennas and RIS reflecting elements. Relying on the derived expressions, we theoretically analyze the benefits of deploying RIS into cell-free mMIMO systems and draw explicit insights. Then, based on the closed-form approximate rate expression under statistical CSI, we optimize the phase shifts of RISs based on the genetic algorithm (GA) to maximize the sum rate and minimum rate of users, respectively. Finally, the numerical results demonstrate the correctness of our derived expressions and the benefits of deploying large-size RISs into cell-free mMIMO systems. Also, we investigate the optimality and convergence behaviors of the GA to verify its effectiveness. To give more beneficial analysis, we give the closed-form expression of the energy efficiency and present numerical results to show the high energy efficiency of the system with the help of RISs. Besides, our results have revealed the benefits of distributed deployment of APs and RISs in the RIS-aided mMIMO system with cell-free networks.


title: Klyachko diagrams of monomial ideals

abstract: In this paper, we introduce the notion of a Klyachko diagram for a monomial ideal $I$ in a certain multi-graded polynomial ring, namely the Cox ring $R$ of a smooth complete toric variety, with irrelevant maximal ideal $B$. We present procedures to compute the Klyachko diagram of $I$ from its monomial generators, and to retrieve the $B-$saturation $I^{\mathrm{sat}}$ of $I$ from its Klyachko diagram. We use this description to compute the first local cohomology module $H^{1}_{B}(I)$. As an application, we find a formula for the Hilbert function of $I^{\mathrm{sat}}$, and a characterization of monomial ideals with constant Hilbert polynomial, in terms of their Klyachko diagram.


title: A lower bound for the smallest eigenvalue of a graph and an application to the associahedron graph

abstract: In this paper, we obtain a lower bound for the smallest eigenvalue of a regular graph containing many copies of a smaller fixed subgraph. This generalizes a result of Aharoni, Alon, and Berger in which the subgraph is a triangle. We apply our results to obtain a lower bound on the smallest eigenvalue of the associahedron graph, and we prove that this bound gives the correct order of magnitude of this eigenvalue. We also survey what is known regarding the second-largest eigenvalue of the associahedron graph.


title: Transmission spectroscopy of WASP-7 b with UVES -- Detection of Na I D$_2$ and tentative D$_1$ line absorption

abstract: Transmission spectroscopy is a prime technique to study the chemical composition and structure of exoplanetary atmospheres. Strong excess absorption signals have been detected in the optical Na I D1, 2 Fraunhofer lines during transits of hot Jupiters, which are attributed to the planetary atmospheres and allow us to constrain its structure. We study the atmosphere of WASP-7 b by means of high-resolution transit spectroscopy in the sodium lines. We analyzed a spectral transit time series of 89 high-resolution spectra of the hot Jupiter WASP-7 b that was observed using the Ultraviolet and Visual Echelle Spectrograph (UVES). We used the telluric lines for an accurate alignment of the spectra and carry out a telluric correction with molecfit. Stellar magnetic activity was monitored by investigating chromospheric lines such as the Ca II H and K and hydrogen H$\alpha$ lines. Finally, we obtained transmission spectra and light curves for various lines. The star shows no identifiable flares and, if any, marginal changes in activity during our observing run. The sodium transmission spectra and corresponding light curves clearly show signs of the Rossiter-McLaughlin effect (RM) and the stellar center-to-limb variation (CLV) that we modeled using synthetic spectra. A statistically significant, narrow absorption feature with a line contrast of 0.50$\pm$0.06% (at $\sim 8.3\sigma$ level) and a full width at half maximum (FWHM) of 0.13$\pm$0.02 A is detected at the location of the Na I D$_2$ line. For the Na I D$_1$ line signal, we derived a line contrast of 0.13$\pm$0.04% (at $\sim 3.2\sigma$ level), which we consider a tentative detection. In addition, we provide upper limits for absorption by the hydrogen Balmer lines (H$\alpha$, H$\beta$, and H$\gamma$), K I $\lambda$7699 A, Ca II H and K, and infra-red triplet (IRT) lines.


title: OST: Efficient One-stream Network for 3D Single Object Tracking in Point Clouds

abstract: Although recent Siamese network-based trackers have achieved impressive perceptual accuracy for single object tracking in LiDAR point clouds, they usually utilized heavy correlation operations to capture category-level characteristics only, and overlook the inherent merit of arbitrariness in contrast to multiple object tracking. In this work, we propose a radically novel one-stream network with the strength of the instance-level encoding, which avoids the correlation operations occurring in previous Siamese network, thus considerably reducing the computational effort. In particular, the proposed method mainly consists of a Template-aware Transformer Module (TTM) and a Multi-scale Feature Aggregation (MFA) module capable of fusing spatial and semantic information. The TTM stitches the specified template and the search region together and leverages an attention mechanism to establish the information flow, breaking the previous pattern of independent \textit{extraction-and-correlation}. As a result, this module makes it possible to directly generate template-aware features that are suitable for the arbitrary and continuously changing nature of the target, enabling the model to deal with unseen categories. In addition, the MFA is proposed to make spatial and semantic information complementary to each other, which is characterized by reverse directional feature propagation that aggregates information from shallow to deep layers. Extensive experiments on KITTI and nuScenes demonstrate that our method has achieved considerable performance not only for class-specific tracking but also for class-agnostic tracking with less computation and higher efficiency.


title: Fuzzy Positive Learning for Semi-supervised Semantic Segmentation

abstract: Semi-supervised learning (SSL) essentially pursues class boundary exploration with less dependence on human annotations. Although typical attempts focus on ameliorating the inevitable error-prone pseudo-labeling, we think differently and resort to exhausting informative semantics from multiple probably correct candidate labels. In this paper, we introduce Fuzzy Positive Learning (FPL) for accurate SSL semantic segmentation in a plug-and-play fashion, targeting adaptively encouraging fuzzy positive predictions and suppressing highly-probable negatives. Being conceptually simple yet practically effective, FPL can remarkably alleviate interference from wrong pseudo labels and progressively achieve clear pixel-level semantic discrimination. Concretely, our FPL approach consists of two main components, including fuzzy positive assignment (FPA) to provide an adaptive number of labels for each pixel and fuzzy positive regularization (FPR) to restrict the predictions of fuzzy positive categories to be larger than the rest under different perturbations. Theoretical analysis and extensive experiments on Cityscapes and VOC 2012 with consistent performance gain justify the superiority of our approach.


title: A Policy-based Approach to the SpecAugment Method for Low Resource E2E ASR

abstract: SpecAugment is a very effective data augmentation method for both HMM and E2E-based automatic speech recognition (ASR) systems. Especially, it also works in low-resource scenarios. However, SpecAugment masks the spectrum of time or the frequency domain in a fixed augmentation policy, which may bring relatively less data diversity to the low-resource ASR. In this paper, we propose a policy-based SpecAugment (Policy-SpecAugment) method to alleviate the above problem. The idea is to use the augmentation-select policy and the augmentation-parameter changing policy to solve the fixed way. These policies are learned based on the loss of validation set, which is applied to the corresponding augmentation policies. It aims to encourage the model to learn more diverse data, which the model relatively requires. In experiments, we evaluate the effectiveness of our approach in low-resource scenarios, i.e., the 100 hours librispeech task. According to the results and analysis, we can see that the above issue can be obviously alleviated using our proposal. In addition, the experimental results show that, compared with the state-of-the-art SpecAugment, the proposed Policy-SpecAugment has a relative WER reduction of more than 10% on the Test/Dev-clean set, more than 5% on the Test/Dev-other set, and an absolute WER reduction of more than 1% on all test sets.


title: Demystifying CNNs for Images by Matched Filters

abstract: The success of convolution neural networks (CNN) has been revolutionising the way we approach and use intelligent machines in the Big Data era. Despite success, CNNs have been consistently put under scrutiny owing to their \textit{black-box} nature, an \textit{ad hoc} manner of their construction, together with the lack of theoretical support and physical meanings of their operation. This has been prohibitive to both the quantitative and qualitative understanding of CNNs, and their application in more sensitive areas such as AI for health. We set out to address these issues, and in this way demystify the operation of CNNs, by employing the perspective of matched filtering. We first illuminate that the convolution operation, the very core of CNNs, represents a matched filter which aims to identify the presence of features in input data. This then serves as a vehicle to interpret the convolution-activation-pooling chain in CNNs under the theoretical umbrella of matched filtering, a common operation in signal processing. We further provide extensive examples and experiments to illustrate this connection, whereby the learning in CNNs is shown to also perform matched filtering, which further sheds light onto physical meaning of learnt parameters and layers. It is our hope that this material will provide new insights into the understanding, constructing and analysing of CNNs, as well as paving the way for developing new methods and architectures of CNNs.


title: Analysis of CKM-Favored Quasi-Two-Body $B \to D (R\to) K \pi$ Decays in PQCD Approach

abstract: LHCb Collaboration studied the resonant structure of $B_s\to \overline{D}^0K^-\pi^+$ decays using the Dalitz plot analysis technique, based on a data sample corresponding to an integrated luminosity of $3.0{\rm fb}^{-1}$ of $pp$ collision. The $K^-\pi^+$ components have been analyzed in the amplitude model, where the decay amplitude is modeled to be the resonant contributions with respect to the intermediate resonances $K^*(892)$, $K_0^*(1430)$ and $K_2^*(1430)$. Motivated by the experimental results, we investigate the color-favored quasi-two-body $B \to \overline{D}^0K\pi$ decays in the framework of the perturbative QCD (PQCD) approach. We calculate the the branching fractions by introducing the appropriate wave functions of $K\pi$ pair. Our results are in agreement well the available data, and others can be tested in LHCb and Belle-II experiments. Using the narrow-width-approximation, we also extract the branching fractions of the corresponding two-body $B\to \overline D R$ decays, which agree to the previous theoretical calculations and the experimental data within the errors. There are no $CP$ asymmetries in these decays in the standard model, because these decays are all governed by only the tree operators.


title: Some Languages are More Equal than Others: Probing Deeper into the Linguistic Disparity in the NLP World

abstract: Linguistic disparity in the NLP world is a problem that has been widely acknowledged recently. However, different facets of this problem, or the reasons behind this disparity are seldom discussed within the NLP community. This paper provides a comprehensive analysis of the disparity that exists within the languages of the world. We show that simply categorising languages considering data availability may not be always correct. Using an existing language categorisation based on speaker population and vitality, we analyse the distribution of language data resources, amount of NLP/CL research, inclusion in multilingual web-based platforms and the inclusion in pre-trained multilingual models. We show that many languages do not get covered in these resources or platforms, and even within the languages belonging to the same language group, there is wide disparity. We analyse the impact of family, geographical location, GDP and the speaker population of languages and provide possible reasons for this disparity, along with some suggestions to overcome the same.


title: Inference on Extreme Quantiles of Unobserved Individual Heterogeneity

abstract: We develop a methodology for conducting inference on extreme quantiles of unobserved individual heterogeneity (heterogeneous coefficients, heterogeneous treatment effects, etc.) in a panel data or meta-analysis setting. Inference in such settings is challenging: only noisy estimates of unobserved heterogeneity are available, and approximations based on the central limit theorem work poorly for extreme quantiles. For this situation, under weak assumptions we derive an extreme value theorem and an intermediate order theorem for noisy estimates and appropriate rate and moment conditions. Both theorems are then used to construct confidence intervals for extremal quantiles. The intervals are simple to construct and require no optimization. Inference based on the intermediate order theorem involves a novel self-normalized intermediate order theorem. In simulations, our extremal confidence intervals have favorable coverage properties in the tail. Our methodology is illustrated with an application to firm productivity in denser and less dense areas.


title: Topological phase transition in commensurate multi-frequency Floquet Su-Schrieffer-Heeger model

abstract: Recently, Floquet systems have attracted a great deal of interest as they offer unprecedented ability to engineer topological states through the tuning of an external time-periodic drive. Consequentially, seeking new driving protocols that allow for more exotic topological phases and transitions becomes imperative for the Floquet engineer. In this paper, we study the Su-Schrieffer-Heeger model driven by two time-dependent periodic sources with commensurate frequencies and an amplitude modulation. Imposing more than one driving frequency allows us to realize even more exotic topological phases resulting from new couplings appearing in the Fourier space representation. Moreover, we find an experimentally practical method for sweeping the system through a topological phase transition by varying the amplitude mixture of the commensurate sources. We employ the local Chern marker, a real space representation of the Chern number, to simulate topological phase diagrams of the two-drive Floquet Hamiltonian in a variety of driving cases.


title: Local and global universality of random matrix cokernels

abstract: In this paper we study the cokernels of various random integral matrix models, including random symmetric, random skew-symmetric, and random Laplacian matrices. We provide a systematic method to establish universality under very general randomness assumption. Our highlights include both local and global universality of the cokernel statistics of all these models. In particular, we find the probability that a sandpile group of an Erdos-Renyi random graph is cyclic, answering a question of Lorenzini from 2008.


title: Transverse momentum spectra and suppression of charged hadrons in deformed Xe-Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV using HYDJET++ model

abstract: In this study, we systematically investigate deformed Xe-Xe collisions at 5.44 TeV center of mass energy. We exploit the Monte Carlo HYDJET++ model to compute transverse momentum ($p_{T}$) distribution, nuclear modification factor $R_{AA}$ and relative suppression in terms of $R_{CP}$ as a function of transverse momentum and centrality of collision of charged hadrons in body-body and tip-tip geometrical configurations, respectively. We have compared HYDJET++ model results to those from ALICE experimental data and AMPT model (String-Melting version) results. Minimum bias Xe-Xe collisions show a suitable match with ALICE experimental data at midrapidity. Average transverse momentum ($\langle p_{T} \rangle$) show strong centrality dependence. The contribution of hard parton scatterings to the total charged hadron yield is discussed. Both nuclear modification factor $R_{AA}$ and relative suppression $R_{CP}$ show a clear dependence on centrality as well as transverse momentum. The charged hadron observables show a clear dependence on the geometrical configuration of the collisions. HYDJET++ model justifies experimental data more closely than the AMPT model.


title: Comparing Synthetic Tabular Data Generation Between a Probabilistic Model and a Deep Learning Model for Education Use Cases

abstract: The ability to generate synthetic data has a variety of use cases across different domains. In education research, there is a growing need to have access to synthetic data to test certain concepts and ideas. In recent years, several deep learning architectures were used to aid in the generation of synthetic data but with varying results. In the education context, the sophistication of implementing different models requiring large datasets is becoming very important. This study aims to compare the application of synthetic tabular data generation between a probabilistic model specifically a Bayesian Network, and a deep learning model, specifically a Generative Adversarial Network using a classification task. The results of this study indicate that synthetic tabular data generation is better suited for the education context using probabilistic models (overall accuracy of 75%) than deep learning architecture (overall accuracy of 38%) because of probabilistic interdependence. Lastly, we recommend that other data types, should be explored and evaluated for their application in generating synthetic data for education use cases.


title: Towards Effective Image Manipulation Detection with Proposal Contrastive Learning

abstract: Deep models have been widely and successfully used in image manipulation detection, which aims to classify tampered images and localize tampered regions. Most existing methods mainly focus on extracting global features from tampered images, while neglecting the relationships of local features between tampered and authentic regions within a single tampered image. To exploit such spatial relationships, we propose Proposal Contrastive Learning (PCL) for effective image manipulation detection. Our PCL consists of a two-stream architecture by extracting two types of global features from RGB and noise views respectively. To further improve the discriminative power, we exploit the relationships of local features through a proxy proposal contrastive learning task by attracting/repelling proposal-based positive/negative sample pairs. Moreover, we show that our PCL can be easily adapted to unlabeled data in practice, which can reduce manual labeling costs and promote more generalizable features. Extensive experiments among several standard datasets demonstrate that our PCL can be a general module to obtain consistent improvement. The code is available at https://github.com/Sandy-Zeng/PCL.


title: Logical Relations for Partial Features and Automatic Differentiation Correctness

abstract: We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can be used to give a very straightforward proof of correctness of practical forward- and reverse-mode dual numbers style automatic differentiation (AD) on ML-family languages. The key idea is to combine it with a suitable open logical relations technique for reasoning about differentiable partial functions (a suitable lifting of the partiality monad to logical relations), which we introduce.


title: Multisubject Task-Related fMRI Data Processing via a Two-Stage Generalized Canonical Correlation Analysis

abstract: Functional magnetic resonance imaging (fMRI) is one of the most popular methods for studying the human brain. Task-related fMRI data processing aims to determine which brain areas are activated when a specific task is performed and is usually based on the Blood Oxygen Level Dependent (BOLD) signal. The background BOLD signal also reflects systematic fluctuations in regional brain activity which are attributed to the existence of resting-state brain networks. We propose a new fMRI data generating model which takes into consideration the existence of common task-related and resting-state components. We first estimate the common task-related temporal component, via two successive stages of generalized canonical correlation analysis and, then, we estimate the common task-related spatial component, leading to a task-related activation map. The experimental tests of our method with synthetic data reveal that we are able to obtain very accurate temporal and spatial estimates even at very low Signal to Noise Ratio (SNR), which is usually the case in fMRI data processing. The tests with real-world fMRI data show significant advantages over standard procedures based on General Linear Models (GLMs).


title: AskYourDB: An end-to-end system for querying and visualizing relational databases using natural language

abstract: Querying databases for the right information is a time consuming and error-prone task and often requires experienced professionals for the job. Furthermore, the user needs to have some prior knowledge about the database. There have been various efforts to develop an intelligence which can help business users to query databases directly. However, there has been some successes, but very little in terms of testing and deploying those for real world users. In this paper, we propose a semantic parsing approach to address the challenge of converting complex natural language into SQL and institute a product out of it. For this purpose, we modified state-of-the-art models, by various pre and post processing steps which make the significant part when a model is deployed in production. To make the product serviceable to businesses we added an automatic visualization framework over the queried results.


title: de-Broglie Wavelength Enhanced Weak Equivalence Principle Test for Atoms in Different Hyperfine States

abstract: We report a hyperfine-states related weak equivalence principle (WEP) test which searches for possible WEP violation signal in single atom interferometer. With the ground hyperfine states $\left|F=1\right\rangle$ and $\left|F=2\right\rangle$ of $^{87}$Rb atoms simultaneously scanned over different paths in a Raman Mach-Zehnder interferometer (MZI), the difference of the free fall accelerations for the atom in the two hyperfine states is encoded into the phase shift of the MZI, contributing a WEP test signal. The test signal can be extracted out by reversing the direction of the effective wave vector of the Raman laser to suppress direction-dependent disturbances. More importantly, de-Broglie wavelength of cold atoms can be utilized to enhance the test signal in our scheme, which helps to improve the upper bound of the WEP test for atoms in different hyperfine states to $2.9\times10^{-11}$, about one order of magnitude lower than the previous record.


title: Rainbow powers of a Hamilton cycle in G(n,p)

abstract: We show that the threshold for having a rainbow copy of a power of a Hamilton cycle in a randomly edge colored copy of $G_{n,p}$ is within a constant factor of the uncolored threshold. Our proof requires $(1+\varepsilon)$ times the minimum number of colors.


title: Realistic, Animatable Human Reconstructions for Virtual Fit-On

abstract: We present an end-to-end virtual try-on pipeline, that can fit different clothes on a personalized 3-D human model, reconstructed using a single RGB image. Our main idea is to construct an animatable 3-D human model and try-on different clothes in a 3-D virtual environment. The existing frame by frame volumetric reconstruction of 3-D human models are highly resource-demanding and do not allow clothes switching. Moreover, existing virtual fit-on systems also lack realism due to predominantly being 2-D or not using user's features in the reconstruction. These shortcomings are due to either the human body or clothing model being 2-D or not having the user's facial features in the dressed model. We solve these problems by manipulating a parametric representation of the 3-D human body model and stitching a head model reconstructed from the actual image. Fitting the 3-D clothing models on the parameterized human model is also adjustable to the body shape of the input image. Our reconstruction results, in comparison with recent existing work, are more visually-pleasing.


title: Knowledge Prompting in Pre-trained Language Model for Natural Language Understanding

abstract: Knowledge-enhanced Pre-trained Language Model (PLM) has recently received significant attention, which aims to incorporate factual knowledge into PLMs. However, most existing methods modify the internal structures of fixed types of PLMs by stacking complicated modules, and introduce redundant and irrelevant factual knowledge from knowledge bases (KBs). In this paper, to address these problems, we introduce a seminal knowledge prompting paradigm and further propose a knowledge-prompting-based PLM framework KP-PLM. This framework can be flexibly combined with existing mainstream PLMs. Specifically, we first construct a knowledge sub-graph from KBs for each context. Then we design multiple continuous prompts rules and transform the knowledge sub-graph into natural language prompts. To further leverage the factual knowledge from these prompts, we propose two novel knowledge-aware self-supervised tasks including prompt relevance inspection and masked prompt modeling. Extensive experiments on multiple natural language understanding (NLU) tasks show the superiority of KP-PLM over other state-of-the-art methods in both full-resource and low-resource settings.


title: Learning 6-DoF Task-oriented Grasp Detection via Implicit Estimation and Visual Affordance

abstract: Currently, task-oriented grasp detection approaches are mostly based on pixel-level affordance detection and semantic segmentation. These pixel-level approaches heavily rely on the accuracy of a 2D affordance mask, and the generated grasp candidates are restricted to a small workspace. To mitigate these limitations, we first construct a novel affordance-based grasp dataset and propose a 6-DoF task-oriented grasp detection framework, which takes the observed object point cloud as input and predicts diverse 6-DoF grasp poses for different tasks. Specifically, our implicit estimation network and visual affordance network in this framework could directly predict coarse grasp candidates, and corresponding 3D affordance heatmap for each potential task, respectively. Furthermore, the grasping scores from coarse grasps are combined with heatmap values to generate more accurate and finer candidates. Our proposed framework shows significant improvements compared to baselines for existing and novel objects on our simulation dataset. Although our framework is trained based on the simulated objects and environment, the final generated grasp candidates can be accurately and stably executed in real robot experiments when the object is randomly placed on a support surface.


title: Advantages of OKID-ERA Identification in Control Systems. An Application to the Tennessee Eastman Plant

abstract: Data-driven OKID-ERA identification of the open-loop Tennessee Eastman plant is performed to obtain a linear model for control design purposes. Analysis such as numerical conditioning, output response errors, and zero-pole mappings highlight some definite advantages of the OKID-ERA approach when compared with models derived from typical linearization techniques. The plant under study is a recognized benchmark in the field of plant-wide control systems.


title: Two-fluid dynamics in driven YBa$_2$Cu$_3$O$_{6.48}$

abstract: Coherent optical excitation of certain phonon modes in YBa$_2$Cu$_3$O$_{6+x}$ has been shown to induce superconducting-like interlayer coherence at temperatures higher than $T_c$. Recent work has associated these phenomena to a parametric excitation and amplification of Josephson plasma polaritons, which are overdamped above $T_c$ but are made coherent by the phonon drive. However, the dissipative response of uncondensed quasiparticles, which do not couple in the same way to the phonon drive, has not been addressed. Here, we investigate both the enhancement of the superfluid density, $\omega\sigma_2(\omega)$, and the dissipative response of quasiparticles, $\sigma_1(\omega)$, by systematically tuning the duration and energy of the mid-infrared pulse while keeping the peak field fixed. We find that the photo-induced superfluid density saturates to the zero-temperature equilibrium value for pulses made longer than the phonon dephasing time, whilst the dissipative component continues to grow with increasing pulse duration. We show that superfluid and dissipation remain uncoupled as long as the drive is on, and identify an optimal regime of pump pulse durations for which the superconducting response is maximum and dissipation is minimized.


title: TransAlign: Fully Automatic and Effective Entity Alignment for Knowledge Graphs

abstract: The task of entity alignment between knowledge graphs (KGs) aims to identify every pair of entities from two different KGs that represent the same entity. Many machine learning-based methods have been proposed for this task. However, to our best knowledge, existing methods all require manually crafted seed alignments, which are expensive to obtain. In this paper, we propose the first fully automatic alignment method named TransAlign, which does not require any manually crafted seed alignments. Specifically, for predicate embeddings, TransAlign constructs a predicate-proximity-graph to automatically capture the similarity between predicates across two KGs by learning the attention of entity types. For entity embeddings, TransAlign first computes the entity embeddings of each KG independently using TransE, and then shifts the two KGs' entity embeddings into the same vector space by computing the similarity between entities based on their attributes. Thus, both predicate alignment and entity alignment can be done without manually crafted seed alignments. TransAlign is not only fully automatic, but also highly effective. Experiments using real-world KGs show that TransAlign improves the accuracy of entity alignment significantly compared to state-of-the-art methods.


title: Decoherence puzzle in measurements of photons originating from electron-positron annihilation

abstract: Entanglement of photons originating from the electron-positron annihilation has not been proven experimentally. Though the independent experiments performed so far unanimously confirm that correlation between the linear polarizations of back-to-back photons from the electron-positron annihilation is consistent with the assumption that these photons are entangled in polarization. Yet, unexpectedly, recent experiments differ as regards the correlation of polarization direction of back-to-back photons after the decoherence induced by scattering of one of these photons on the electron in the scattering material. In one of the experiments, the correlation before and after the decoherence of the photon state is the same and in the other experiment the scattering of one photon leads to a significant decrease in this correlation. Here we discuss this puzzle. The decoherent states were ensured by forcing one of the annihilation photons through prior scattering before the Compton kinematics based measurement of the polarization correlation. A comparison between the experimental setups used for the different measurements and the results obtained are briefly discussed, highlighting the parameters that are important for performing such measurements. Finally, the main features of the J-PET detector are presented with the schemes for performing similar measurements so that the results can be used as conclusive remarks for solving this puzzle. Solving the decoherence puzzle will have crucial consequences for basic studies of entanglement, as well as for the proposed application of polarisation of photons in positron emission tomography. In case if the correlation of polarisation of back-to-back photons from the electron-positron annihilation is the same before and after the scattering of these photons, then it will not be useful for the reduction of the scatter fraction in PET diagnostics.


title: From time-series transcriptomics to gene regulatory networks: a review on inference methods

abstract: Inference of gene regulatory networks has been an active area of research for around 20 years, leading to the development of sophisticated inference algorithms based on a variety of assumptions and approaches. With the always increasing demand for more accurate and powerful models, the inference problem remains of broad scientific interest. The abstract representation of biological systems through gene regulatory networks represents a powerful method to study such systems, encoding different amounts and types of information. In this review, we summarize the different types of inference algorithms specifically based on time-series transcriptomics, giving an overview of the main applications of gene regulatory networks in computational biology. This review is intended to give an updated overview of regulatory networks inference tools to biologists and researchers new to the topic and guide them in selecting the appropriate inference method that best fits their questions, aims and experimental data.


title: One-dimensional central measures on numberings of ordered sets

abstract: We describe one-dimensional central measures on numberings (tableaux) of ideals of partially ordered sets (posets). As the main example, we study the poset ${\Bbb Z}_+^d$ and the graph of its finite ideals, multidimensional Young tableaux; for $d=2$, it is the ordinary Young graph. The central measures are stratified by dimension; in the paper we give a complete description of the one-dimensional stratum and prove that every ergodic central measure is uniquely determined by its frequencies. The suggested method, in particular, gives the first purely combinatorial proof of E.~Thoma's theorem for one-dimensional central measures different from the Plancherel measure (which is of dimension~$2$).


title: On $\mathcal{I}$-covering images of metric spaces

abstract: Let $\mathcal{I}$ be an ideal on $\mathbb{N}$. A mapping $f:X\to Y$ is called an $\mathcal{I}$-covering mapping provided a sequence $\{y_{n}\}_{n\in\mathbb N}$ is $\mathcal{I}$-converging to a point $y$ in $Y$, there is a sequence $\{x_{n}\}_{n\in\mathbb N}$ converging to a point $x$ in $X$ such that $x\in f^{-1}(y)$ and each $x_n\in f^{-1}(y_n)$. In this paper we study the spaces with certain $\mathcal{I}$-$cs$-networks and investigate the characterization of the images of metric spaces under certain $\mathcal{I}$-covering mappings, which prompts us to discover $\mathcal{I}$-$csf$-networks. The following main results are obtained: (1) A space $X$ has an $\mathcal{I}$-$csf$-network if and only if $X$ is a continuous and $\mathcal{I}$-covering image of a metric space. (2) A space $X$ is an $\mathcal{I}$-$csf$-countable space if and only if $X$ is a continuous $\mathcal{I}$-covering and boundary $s$-image of a metric space. (3) A space $X$ has a point-countable $\mathcal{I}$-$cs$-network if and only if $X$ is a continuous $\mathcal{I}$-covering and $s$-image of a metric space.


title: D/M/1 Queue: Policies and Control

abstract: Equilibrium G/M/1-FIFO waiting times are exponentially distributed, as first proved by Smith (1953). For other client-sorting policies, such generality is not feasible. Assume that interarrival times are constant. Symbolics for the D/M/1-LIFO density are completely known; numerics for D/M/1-SIRO arise via an unpublished recursion due to Burke (1967). Consider a weighted sum of two costs, one from keeping clients waiting for treatment and the other from having the server idle. With this in mind, what is the optimal interarrival time and how does this depend on the choice of policy?


title: Normal submonoids and congruences on a monoid

abstract: A notion of {\em normal submonoid} of a monoid $M$ is introduced that generalizes the normal subgroups of a group. When ordered by inclusion, the set $\mathsf{NorSub}(M)$ of normal submonoids of $M$ is a complete lattice. Joins are explicitly described, and the lattice is computed for the finite full transformation monoids $T_n$, $n\geq 1$. It is also shown that $\mathsf{NorSub}(M)$ is modular for a specific family of commutative monoids, including all Krull monoids, and that, as a join semilattice, embeds isomorphically onto a join subsemilattice of the lattice $\mathsf{Cong}(M)$ of congruences on $M$. This leads to a new strategy for computing $\mathsf{Cong}(M)$ consisting of computing $\mathsf{NorSub}(M)$, and the lattices of the so called unital congruences on the quotients of $M$ modulo its normal submonoids. This provides a new perspective on Malcev computation of the congruences on $T_n$.


title: Search for medium effects using jets from bottom quarks in PbPb collisions at $\sqrt{s_\mathrm{NN}}$ = 5.02 TeV

abstract: The first study of the shapes of jets arising from bottom (b) quarks in heavy ion collisions is presented. Jet shapes are studied using charged hadron constituents as a function of their radial distance from the jet axis. Lead-lead (PbPb) collision data at a nucleon-nucleon center-of-mass energy of $\sqrt{s_\mathrm{NN}}$ = 5.02 TeV were recorded by the CMS detector at the LHC, with an integrated luminosity of 1.69 nb$^{-1}$. Compared to proton-proton collisions, a redistribution of the energy in b jets to larger distances from the jet axis is observed in PbPb collisions. This medium-induced redistribution is found to be substantially larger for b jets than for inclusive jets.


title: Investigating the Robustness of Natural Language Generation from Logical Forms via Counterfactual Samples

abstract: The aim of Logic2Text is to generate controllable and faithful texts conditioned on tables and logical forms, which not only requires a deep understanding of the tables and logical forms, but also warrants symbolic reasoning over the tables. State-of-the-art methods based on pre-trained models have achieved remarkable performance on the standard test dataset. However, we question whether these methods really learn how to perform logical reasoning, rather than just relying on the spurious correlations between the headers of the tables and operators of the logical form. To verify this hypothesis, we manually construct a set of counterfactual samples, which modify the original logical forms to generate counterfactual logical forms with rarely co-occurred table headers and logical operators. SOTA methods give much worse results on these counterfactual samples compared with the results on the original test dataset, which verifies our hypothesis. To deal with this problem, we firstly analyze this bias from a causal perspective, based on which we propose two approaches to reduce the model's reliance on the shortcut. The first one incorporates the hierarchical structure of the logical forms into the model. The second one exploits automatically generated counterfactual data for training. Automatic and manual experimental results on the original test dataset and the counterfactual dataset show that our method is effective to alleviate the spurious correlation. Our work points out the weakness of previous methods and takes a further step toward developing Logic2Text models with real logical reasoning ability.


title: Automatic Emergency Dust-Free solution on-board International Space Station with Bi-GRU (AED-ISS)

abstract: With a rising attention for the issue of PM2.5 or PM0.3, particulate matters have become not only a potential threat to both the environment and human, but also a harming existence to instruments onboard International Space Station (ISS). Our team is aiming to relate various concentration of particulate matters to magnetic fields, humidity, acceleration, temperature, pressure and CO2 concentration. Our goal is to establish an early warning system (EWS), which is able to forecast the levels of particulate matters and provides ample reaction time for astronauts to protect their instruments in some experiments or increase the accuracy of the measurements; In addition, the constructed model can be further developed into a prototype of a remote-sensing smoke alarm for applications related to fires. In this article, we will implement the Bi-GRU (Bidirectional Gated Recurrent Unit) algorithms that collect data for past 90 minutes and predict the levels of particulates which over 2.5 micrometer per 0.1 liter for the next 1 minute, which is classified as an early warning


title: Assessing the Optimality of LinDist3Flow for Optimal Tap Selection of Step Voltage Regulators in Unbalanced Distribution Networks

abstract: The adoption of distributed energy resources such as photovoltaics (PVs) has increased dramatically during the previous decade. The increased penetration of PVs into distribution networks (DNs) can cause voltage fluctuations that have to be mitigated. One of the key utility assets employed to this end are step-voltage regulators (SVRs). It is desirable to include tap selection of SVRs in optimal power flow (OPF) routines, a task that turns out to be challenging because the resultant OPF problem is nonconvex with added complexities stemming from accurate SVR modeling. While several convex relaxations based on semi-definite programming (SDP) have been presented in the literature for optimal tap selection, SDP-based schemes do not scale well and are challenging to implement in large-scale planning or operational frameworks. This paper deals with the optimal tap selection (OPTS) problem for wye-connected SVRs using linear approximations of power flow equations. Specifically, the $\textit{LinDist3Flow}$ model is adopted and the effective SVR ratio is assumed to be continuous--enabling the formulation of a problem called $\textit{LinDist3Flow-OPTS}$, which amounts to a linear program. The scalability and optimality gap of $\textit{LinDist3Flow-OPTS}$ are evaluated with respect to existing SDP-based and nonlinear programming techniques for optimal tap selection in three standard feeders, namely, the IEEE 13-bus, 123-bus, and 8500-node DNs. For all DNs considered, $\textit{LinDist3Flow-OPTS}$ achieves an optimality gap of approximately $1\%$ or less while significantly lowering the computational burden.


title: Dualities and equivalences of the category of relative Cohen-Macaulay modules

abstract: In this paper, we establish the global analogues of some dualities and equivalences in local algebra by developing the theory of relative Cohen-Macaulay modules. Let R be a commutative Noetherian ring (not necessarily local) with identity and a a proper ideal of R. The notions of a-relative dualizing modules and a-relative big Cohen-Macaulay modules are introduced. With the help of a-relative dualizing modules, we establish the global analogue of the duality on the subcategory of Cohen-Macaulay modules in local algebra. Lastly, we investigate the behavior of the subcategory of a-relative Cohen-Macaulay modules and a-relative generalized Cohen-Macaulay modules under Foxby equivalence.


abstract: Studies of ocean surface transport often invoke the "Eulerian-mean hypothesis": that wave-agnostic general circulation models neglecting explicit surface waves effects simulate the Eulerian-mean ocean velocity time-averaged over surface wave oscillations. Acceptance of the Eulerian-mean hypothesis motivates reconstructing the total, Lagrangian-mean surface velocity by adding Stokes drift to model output. Here, we show that the Eulerian-mean hypothesis is inconsistent, because wave-agnostic models cannot accurately simulate the Eulerian-mean velocity if Stokes drift is significant compared to the Eulerian-mean or Lagrangian-mean velocity. We conclude that Stokes drift should not be added to ocean general circulation model velocities. We additionally show the viability of the alternative "Lagrangian-mean hypothesis" using a theoretical argument and by comparing a wave-agnostic global ocean simulation with an explicitly wave-averaged simulation. We find that our wave-agnostic model accurately simulates the Lagrangian-mean velocity even though the Stokes drift is significant.


title: Gate-tunable quantum pathways of high harmonic generation in graphene

abstract: Under strong laser fields, electrons in solids radiate high-harmonic fields by travelling through quantum pathways in Bloch bands in the sub-laser-cycle timescales. Understanding these pathways in the momentum space through the high-harmonic radiation can enable an all-optical ultrafast probe to observe coherent lightwave-driven processes and measure electronic structures as recently demonstrated for semiconductors. However, such demonstration has been largely limited for semimetals because the absence of the bandgap hinders an experimental characterization of the exact pathways. In this study, by combining electrostatic control of chemical potentials with HHG measurement, we resolve quantum pathways of massless Dirac fermions in graphene under strong laser fields. Electrical modulation of HHG reveals quantum interference between the multi-photon interband excitation channels. As the light-matter interaction deviates beyond the perturbative regime, elliptically polarized laser fields efficiently drive massless Dirac fermions via an intricate coupling between the interband and intraband transitions, which is corroborated by our theoretical calculations. Our findings pave the way for strong-laser-field tomography of Dirac electrons in various quantum semimetals and their ultrafast electronics with a gate control.


title: COFAR: Commonsense and Factual Reasoning in Image Search

abstract: One characteristic that makes humans superior to modern artificially intelligent models is the ability to interpret images beyond what is visually apparent. Consider the following two natural language search queries - (i) "a queue of customers patiently waiting to buy ice cream" and (ii) "a queue of tourists going to see a famous Mughal architecture in India." Interpreting these queries requires one to reason with (i) Commonsense such as interpreting people as customers or tourists, actions as waiting to buy or going to see; and (ii) Fact or world knowledge associated with named visual entities, for example, whether the store in the image sells ice cream or whether the landmark in the image is a Mughal architecture located in India. Such reasoning goes beyond just visual recognition. To enable both commonsense and factual reasoning in the image search, we present a unified framework, namely Knowledge Retrieval-Augmented Multimodal Transformer (KRAMT), that treats the named visual entities in an image as a gateway to encyclopedic knowledge and leverages them along with natural language query to ground relevant knowledge. Further, KRAMT seamlessly integrates visual content and grounded knowledge to learn alignment between images and search queries. This unified framework is then used to perform image search requiring commonsense and factual reasoning. The retrieval performance of KRAMT is evaluated and compared with related approaches on a new dataset we introduce - namely COFAR. We make our code and dataset available at https://vl2g.github.io/projects/cofar