title: Optomechanical ground-state cooling in a continuous and efficient electro-optic transducer

abstract: The demonstration of a quantum link between microwave and optical frequencies would be an important step towards the realization of a quantum network of superconducting processors. A major impediment to quantum electro-optic transduction in all platforms explored to date is noise added by thermal occupation of modes involved in the transduction process, and it has proved difficult to realize low thermal occupancy concurrently with other desirable features like high duty cycle and high efficiency. In this work, we present an efficient and continuously operating electro-optomechanical transducer whose mechanical mode has been optically sideband-cooled to its quantum ground state. The transducer achieves a maximum efficiency of 47% and minimum input-referred added noise of 3.2 photons in upconversion. Moreover, the thermal occupancy of the transducer's microwave mode is minimally affected by continuous laser illumination with power more than two orders of magnitude greater than that required for optomechanical ground-state cooling.


title: IoT Analytics and Blockchain

abstract: The Internet of Things (IoT) is revolutionizing human life with the idea of interconnecting everyday used devices (Things) and making them smart. By establishing a communication network between devices, the IoT system aids in automating tasks and making them efficient and powerful. The sensors and the physical world, connected over a network, involve a massive amount of data. The data collection and sharing possess a critical threat of being stolen and manipulated over the network. These inadequate data security and privacy issues in IoT systems raise concerns about maintaining authentication of IoT data. Blockchain, a tempter-resistant ledger, has emerged as a viable alternative to provide security features. Blockchain technologies with decentralized structures can help resolve IoT structure issues and protect against a single point of failure. While providing robust security features, Blockchain also bears various critical challenges in the IoT environment to adapt. This paper presents a survey on state-of-the-art Blockchain technologies focusing on IoT applications. With Blockchain protocols and data structures, the IoT applications are outlined, along with possible advancements and modifications.


title: Extrinsic ferroelectricity originated from oxygen vacancy drift in HfO2-based films

abstract: It is generally accepted that oxygen vacancies play a central role in the emergence of ferroelectricity for HfO2-based materials, but the underlying mechanism still remains elusive. Herein, starting from the basic characterization circuit, we propose that the observed ferroelectricity is extrinsic. A key finding is that charged oxygen vacancies oscillate within the sample under repeated electric pulses, yielding a nonlinear current which behaves similarly to the polarization current for a normal ferroelectric. This unwanted current signal results in a ferroelectric-like hysteresis loop with both remnant polarization and coercive field in good agreements with experimental values, given a charged oxygen vacancy concentration in the vicinity of 1*10^20/cm^3. Moreover, it is possible to exploit this mechanism to reproduce the effects of wake-up, split-up and limited endurance that are of crucial relevance for the device applications.


title: New Methods & Metrics for LFQA tasks

abstract: Long-form question answering (LFQA) tasks require retrieving the documents pertinent to a query, using them to form a paragraph-length answer. Despite considerable progress in LFQA modeling, fundamental issues impede its progress: i) train/validation/test dataset overlap, ii) absence of automatic metrics and iii) generated answers not being "grounded" in retrieved documents. This work addresses every one these critical bottlenecks, contributing natural language inference/generation (NLI/NLG) methods and metrics that make significant strides to their alleviation.


title: The Entropy Shift and Extremality Shift at Zero Temperature

abstract: There is a well-established connection between the higher-derivative corrections to the black hole entropy and the black hole extremality bound. The particular combination of EFT coefficients $c_i$ that controls the mass shift at fixed charge and temperature also controls the entropy shift at fixed charge and mass in the limit where the mass approaches the uncorrected value for the extremal mass. In this note, we use the classical entropy function formalism to examine the entropy corrections at exactly zero temperature, or at the corrected value for the extremal mass. We find that the zero-temperature entropy shift (a) is unrelated to the mass shift, (b) is $\mathcal{O}(c_i)$ in the EFT coefficients, rather than $\mathcal{O}(\sqrt{c_i})$, as is the constant-mass entropy shift, and (c) is negative in the example of the EFT arising at low energies from QED plus gravity.


title: Model selection and sensitivity analysis in the biomechanics of soft tissues: a case study on the human knee meniscus

abstract: Soft tissues - such as ligaments and tendons - primarily consist of solid (collagen, predominantly) and liquid phases. Understanding the interaction between such components and how they change under physiological loading sets the basis for elucidating the essential link between their internal structure and mechanical behaviour. In fact, the internal heterogeneous structure of this kind of tissues leads to a wide range of mechanical behaviours, which then determine their own function(s). Characterising these behaviours implies an important experimental effort in terms of tissue harvesting, samples preparation and implementation of testing protocols - which, often, are not standardised. These issues lead to several difficulties in both collecting and providing comparable and reliable information. In order to model the behaviours of heterogeneous tissues and identify material parameters, a large volume of reproducible experimental data is required; unfortunately, such an amount of information is often not available. In reality, most of the studies that are focused on the identification of material parameters, are largely based on small sets of experimental data, which present a large variability. Such a large variability opens on to uncertainties in the estimation of material parameters, as reported in the literature. Hence, the use of a rigorous probabilistic framework, that is able to address uncertainties due to paucity of data, is of paramount importance in the field of biomechanics; in this perspective, Bayesian inference represents a promising approach. This study was focused on the analysis of the knee meniscus as a paradigmatic example of human soft tissue.


title: Cellular Noetherian algebras with finite global dimension are split quasi-hereditary

abstract: We prove that cellular Noetherian algebras with finite global dimension are split quasi-hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi-hereditary structure is unique, up to equivalence. In the process, we establish that a split quasi-hereditary algebra is semi-perfect if and only if the ground ring is a local commutative Noetherian ring. We give a formula to determine the global dimension of a split quasi-hereditary algebra over a commutative regular Noetherian ring (with finite Krull dimension) in terms of the ground ring and finite-dimensional split quasi-hereditary algebras. For the general case, we give upper bounds for the finitistic dimension of split quasi-hereditary algebras over arbitrary commutative Noetherian rings. We apply these results to Schur algebras over regular Noetherian rings and to Schur algebras over quotients rings of the integers.


title: Novel approaches in Hadron Spectroscopy

abstract: The last two decades have witnessed the discovery of a myriad of new and unexpected hadrons. The future holds more surprises for us, thanks to new-generation experiments. Understanding the signals and determining the properties of the states requires a parallel theoretical effort. To make full use of available and forthcoming data, a careful amplitude modeling is required, together with a sound treatment of the statistical uncertainties, and a systematic survey of the model dependencies. We review the contributions made by the Joint Physics Analysis Center to the field of hadron spectroscopy.


title: Summation method in optimal control problem with delay

abstract: We describe a summation procedure for the construction of the optimal solution in null controllability problem for differential equation with distributed delay


title: Upper bounds on chromatic number of $\mathbb{E}^n$ in low dimensions

abstract: Let $\chi(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $\chi(\mathbb{E}^5)\le 140$, $\chi(\mathbb{E}^n)\le 7^{n/2}$ for $n\in\{6,8,24\}$, $\chi(\mathbb{E}^7)\le 1372$, $\chi(\mathbb{E}^{9})\leq 17253$, and $\chi(\mathbb{E}^n)\le 3^n$ for all $n\le 38$ and $n=48,49$.


title: Over-the-Air Computation with DFT-spread OFDM for Federated Edge Learning

abstract: In this study, we propose an over-the-air computation (AirComp) scheme for federated edge learning (FEEL) without channel state information (CSI) at the edge devices (EDs) or the edge server (ES). The proposed scheme relies on non-coherent communication techniques for achieving distributed training by majority vote (MV). In this work, the votes, i.e., the signs of the local gradients, from the EDs are represented with the pulse-position modulation (PPM) symbols constructed with discrete Fourier transform (DFT)-spread orthogonal frequency division multiplexing (OFDM) (DFT-s-OFDM). By taking the delay spread and time-synchronization errors into account, the MV at the ES is obtained with an energy detector. Hence, the proposed scheme does not require CSI at the EDs and ES. We also prove the convergence of the distributed training when the MV is obtained with the proposed scheme under fading channel. Through simulations, we show that the proposed scheme provides a high test accuracy in fading channels while resulting in lower peak-to-mean envelope power ratio (PMEPR) symbols.


title: Variational symmetries of Lagrangian systems with higher-order derivatives

abstract: We discuss an elementary derivation of variational symmetries and corresponding integrals of motion for the Lagrangian systems depending on acceleration. Providing several examples, we make the manuscript accessible to a wide range of readers with interest in higher-order Lagrangians and symmetries. The discussed technique is also applicable to the Lagrangian systems with higher-order derivatives.


title: Effective Methods for Norm-Form Equations

abstract: While effective resolution of Thue equations has been well understood since the work of Baker in the 1960s, similar results for norm-form equations in more than two variables have proven difficult to achieve. In 1983, Vojta was able to address the case of three variables over totally complex and Galois number fields. In this paper, we extend his results to effectively resolve several new classes of norm-form equations. In particular, we completely and effectively settle the question of norm-form equations over totally complex Galois sextic fields.


title: Thermal convection in a HeleShaw cell with the dependence of thermal diffusivity on temperature

abstract: The investigation of thermal convection of a fluid with the dependence of thermal diffusivity on temperature in a vertical Hele Shaw cell heated from below has been fulfilled theoretically.The expression for equilibrium temperature distribution in a cavity has been derived analytically. It has been found that the dependence of temperature on the vertical coordinate looks like a square rootlaw.The linear stability of mechanical equilibrium state against small normal perturbations has been investigated by means of Galerkin method. It has been shown that the most dangerous perturbation in a cavity under considerationis described by the mode which corresponds to the two vortexsteady flow. The numerical simulation of overcritical steady and oscillatory flows has been carried out in the approximation of plane trajectories.This simplification of theoretical modelis consistent with all experimental data on thermal convection in similar cavities. It has been shown that the inclusion of the dependence of thermal diffusivity on temperature into the mathematical model leads to the up down symmetry breakdown for the small values of over criticality.


title: Sinogram upsampling using Primal-Dual UNet for undersampled CT and radial MRI reconstruction

abstract: Computed tomography and magnetic resonance imaging are two widely used clinical imaging modalities for non-invasive diagnosis. However, both of these modalities come with certain problems. CT uses harmful ionising radiation, and MRI suffers from slow acquisition speed. Both problems can be tackled by undersampling, such as sparse sampling. However, such undersampled data leads to lower resolution and introduces artefacts. Several techniques, including deep learning based methods, have been proposed to reconstruct such data. However, the undersampled reconstruction problem for these two modalities was always considered as two different problems and tackled separately by different research works. This paper proposes a unified solution for both sparse CT and undersampled radial MRI reconstruction, achieved by applying Fourier transform-based pre-processing on the radial MRI and then finally reconstructing both modalities using sinogram upsampling combined with filtered back-projection. The Primal-Dual network is a deep learning based method for reconstructing sparsely-sampled CT data. This paper introduces Primal-Dual UNet, which improves the Primal-Dual network in terms of accuracy and reconstruction speed. The proposed method resulted in an average SSIM of 0.932\textpm0.021 while performing sparse CT reconstruction for fan-beam geometry with a sparsity level of 16, achieving a statistically significant improvement over the previous model, which resulted in 0.919\textpm0.016. Furthermore, the proposed model resulted in 0.903\textpm0.019 and 0.957\textpm0.023 average SSIM while reconstructing undersampled brain and abdominal MRI data with an acceleration factor of 16, respectively - statistically significant improvements over the original model, which resulted in 0.867\textpm0.025 and 0.949\textpm0.025.


title: A CNN-BiLSTM Model with Attention Mechanism for Earthquake Prediction

abstract: Earthquakes, as natural phenomena, have continuously caused damage and loss of human life historically. Earthquake prediction is an essential aspect of any society's plans and can increase public preparedness and reduce damage to a great extent. Nevertheless, due to the stochastic character of earthquakes and the challenge of achieving an efficient and dependable model for earthquake prediction, efforts have been insufficient thus far, and new methods are required to solve this problem. Aware of these issues, this paper proposes a novel prediction method based on attention mechanism (AM), convolution neural network (CNN), and bi-directional long short-term memory (BiLSTM) models, which can predict the number and maximum magnitude of earthquakes in each area of mainland China-based on the earthquake catalog of the region. This model takes advantage of LSTM and CNN with an attention mechanism to better focus on effective earthquake characteristics and produce more accurate predictions. Firstly, the zero-order hold technique is applied as pre-processing on earthquake data, making the model's input data more proper. Secondly, to effectively use spatial information and reduce dimensions of input data, the CNN is used to capture the spatial dependencies between earthquake data. Thirdly, the Bi-LSTM layer is employed to capture the temporal dependencies. Fourthly, the AM layer is introduced to highlight its important features to achieve better prediction performance. The results show that the proposed method has better performance and generalize ability than other prediction methods.


title: Anomaly Matching Across Dimensions and Supersymmetric Cardy Formulae

abstract: 't Hooft anomalies are known to induce specific contributions to the effective action at finite temperature. We present a general method to directly calculate such contributions from the anomaly polynomial of a given theory, including a term which involves a $U(1)$ connection for the thermal circle isometry. Based on this observation, we show that the asymptotic behavior of the superconformal index of $4d$ $\mathcal{N}=1$ theories on the "second sheet" can be calculated by integrating the anomaly polynomial on a particular background. The integration is then performed by an equivariant method to reproduce known results. Our method only depends on the anomaly polynomial and therefore the result is applicable to theories without known Lagrangian formulation. We also present a new formula that relates the behavior of $6d$ $\mathcal{N}=(1,0)$ SCFTs on the second sheet to the anomaly polynomial.


title: Optimization landscape in the simplest constrained random least-square problem

abstract: We analyze statistical features of the ``optimization landscape'' in a random version of one of the simplest constrained optimization problems of the least-square type: finding the best approximation for the solution of an overcomplete system of $M>N$ linear equations $({\bf a}_k,{\bf x})=b_k, \, k=1,\ldots,M$ on the $N-$sphere ${\bf x}^2=N$. We treat both the $N-$component vectors ${\bf a}_k$ and parameters $b_k$ as independent mean zero real Gaussian random variables. First, we derive the exact expressions for the mean number of stationary points of the least-square loss function in the framework of the Kac-Rice approach combined with the Random Matrix Theory for Wishart Ensemble, and then perform its asymptotic analysis as $N\to \infty$ at a fixed $\alpha=M/N>1$ in various regimes. In particular, this analysis allows to extract the Large Deviation Function for the density of the smallest Lagrange multiplier $\lambda_{min}$ associated with the problem, and in this way to find its most probable value. This can be further used to predict the asymptotic minimal value ${\cal E}_{min}$ of the loss function as $N\to \infty$. Finally, we develop an alternative approach based on the replica trick to conjecture the form of the Large Deviation function for the density of ${\cal E}_{min}$ at $N\gg 1$. As a by-product, we find the value of the {\it compatibility threshold} $\alpha_c$ which is the minimal value of the asymptotic ratio $M/N$ such that the random linear system on the $N-$sphere is typically compatible.

categories: math-ph cond-mat.dis-nn cond-mat.stat-mech math.MP


title: Localizable sets and the localization of a ring at a localizable set

abstract: The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a localizable set is a generalization of localization of a ring/module at a denominator set. For a semiprime left Goldie ring, it is proven that the set of maximal left localizable sets that contain all regular elements is equal to the set of maximal left denominator sets (and they are explicitly described). For a semiprime Goldie ring, it is proven that the following five sets coincide: the maximal Ore sets, the maximal denominator sets, the maximal left or right or two-sided localizable sets that contain all regular elements (and they are explicitly described).


title: TOI 560 : Two Transiting Planets Orbiting a K Dwarf Validated with iSHELL, PFS and HIRES RVs

abstract: We validate the presence of a two-planet system orbiting the 0.15--1.4 Gyr K4 dwarf TOI 560 (HD 73583). The system consists of an inner moderately eccentric transiting mini-Neptune (TOI 560 b, $P = 6.3980661^{+0.0000095}_{-0.0000097}$ days, $e=0.294^{+0.13}_{-0.062}$, $M= 0.94^{+0.31}_{-0.23}M_{Nep}$) initially discovered in the Sector 8 \tess\ mission observations, and a transiting mini-Neptune (TOI 560 c, $P = 18.8805^{+0.0024}_{-0.0011}$ days, $M= 1.32^{+0.29}_{-0.32}M_{Nep}$) discovered in the Sector 34 observations, in a rare near-1:3 orbital resonance. We utilize photometric data from \tess\, \textit{Spitzer}, and ground-based follow-up observations to confirm the ephemerides and period of the transiting planets, vet false positive scenarios, and detect the photo-eccentric effect for TOI 560 b. We obtain follow-up spectroscopy and corresponding precise radial velocities (RVs) with the iSHELL spectrograph at the NASA Infrared Telescope Facility and the HIRES Spectrograph at Keck Observatory to validate the planetary nature of these signals, which we combine with published PFS RVs from Magellan Observatory. We detect the masses of both planets at $> 3-\sigma$ significance. We apply a Gaussian process (GP) model to the \tess\ light curves to place priors on a chromatic radial velocity GP model to constrain the stellar activity of the TOI 560 host star, and confirm a strong wavelength dependence for the stellar activity demonstrating the ability of NIR RVs in mitigating stellar activity for young K dwarfs. TOI 560 is a nearby moderately young multi-planet system with two planets suitable for atmospheric characterization with James Webb Space Telescope (JWST) and other upcoming missions. In particular, it will undergo six transit pairs separated by $<$6 hours before June 2027.


title: Tree exploration in dual-memory model

abstract: We study the problem of online tree exploration by a deterministic mobile agent. Our main objective is to establish what features of the model of the mobile agent and the environment allow linear exploration time. We study agents that, upon entering to a node, do not receive as input the edge via which they entered. In such a model, deterministic memoryless exploration is infeasible, hence the agent needs to be allowed to use some memory. The memory can be located at the agent or at each node. The existing lower bounds show that if the memory is either only at the agent or only at the nodes, then the exploration needs superlinear time. We show that tree exploration in dual-memory model, with constant memory at the agent and logarithmic at each node is possible in linear time when one of two additional features is present: fixed initial state of the memory at each node (so called clean memory) or a single movable token. We present two algorithms working in linear time for arbitrary trees in these two models. On the other hand, in our lower bound we show that if the agent has a single bit of memory and one bit is present at each node, then exploration may require quadratic time on paths, if the initial memory at nodes could be set arbitrarily (so called dirty memory). This shows that having clean node memory or a token allows linear exploration of trees in the model with two types of memory, but having neither of those features may lead to quadratic exploration time even on a simple path.


title: Acoustic scene classification using auditory datasets

abstract: The approach used not only challenges some of the fundamental mathematical techniques used so far in early experiments of the same trend but also introduces new scopes and new horizons for interesting results. The physics governing spectrograms have been optimized in the project along with exploring how it handles the intense requirements of the problem at hand. Major contributions and developments brought under the light, through this project involve using better mathematical techniques and problem-specific machine learning methods. Improvised data analysis and data augmentation for audio datasets like frequency masking and random frequency-time stretching are used in the project and hence are explained in this paper. In the used methodology, the audio transforms principle were also tried and explored, and indeed the insights gained were used constructively in the later stages of the project. Using a deep learning principle is surely one of them. Also, in this paper, the potential scopes and upcoming research openings in both short and long term tunnel of time has been presented. Although much of the results gained are domain-specific as of now, they are surely potent enough to produce novel solutions in various different domains of diverse backgrounds.


title: A Linear-Time Algorithm for Steady-State Analysis of Electromigration in General Interconnects

abstract: Electromigration (EM) is a key reliability issue in deeply scaled technology nodes. Traditional EM methods first filter immortal wires using the Blech criterion, and then perform EM analysis based on Black's equation on the remaining wires. The Blech criterion is based on finding the steady-state stress in a two-terminal wire segment, but most on-chip structures are considerably more complex. Current-density-based assessment methodologies, i.e., Black's equation and the Blech criterion, which are predominantly used to detect EM-susceptible wires, do not capture the physics of EM, but alternative physics-based methods involve the solution of differential equations and are slow. This paper uses first principles, based on solving fundamental stress equations that relate electron wind and back-stress forces to the stress evolution in an interconnect, and devises a technique that analyzes any general tree or mesh interconnect structure to test for immortality. The resulting solution is extremely computationally efficient and its computation time is linear in the number of metal segments. Two variants of the method are proposed: a current-density-based method that requires traversals of the interconnect graph, and a voltage-based formulation negates the need for any traversals. The methods are applied to large interconnect networks for determining the steady-state stress at all nodes and test all segments of each network for immortality. The proposed model is applied to a variety of tree and mesh structures and is demonstrated to be fast. By construction, it is an exact solution and it is demonstrated to match much more computationally expensive numerical simulations.


title: Effects of rotation and Coulomb type potential on the spin-1/2 Aharonov-Bohm problem

abstract: In this work, we investigate how both rotation and a Coulomb potential affect the quantum mechanical description of a spin-$1/2$ particle in the presence of the Aharonov-Bohm effect. We employ the method of the self-adjoint extensions in the framework of the Pauli-Schr\"odinger equation. We discuss the role of the spin degree of freedom on this problem, find the energy spectrum, and investigate the results in detail.


title: Retrieving Effective Acoustic Impedance and Refractive Index for Size Mismatch Samples

abstract: In this paper, we have presented an analytical solution to extract the effective properties of acoustic metamaterials from the measured complex transmission and reflection coefficients when the metamaterial and impedance tube have different sizes. We have first modeled this problem as a bilayer metamaterial located inside a duct and treated the air gap as a separate domain. Then we have mathematically proved that the effective properties of acoustic metamaterial can be obtained by solving a set of eight linear equations when the dimensions are known. Finally, we have evaluated the proposed method with results from numerical simulations. It is shown that the proposed method can calculate the effective refractive index and impedance with an error of below 1\%. This method provides an efficient approach to analyzing the effective properties of acoustic metamaterials of various sizes.


title: Well-posedness and singularity formation for the Kolmogorov two-equation model of turbulence in 1-D

abstract: We study the Kolomogorov two-equation model of turbulence in one space dimension. Two are the main results of the paper. First of all, we establish a local well-posedness theory in Sobolev spaces even in the case of vanishing mean turbulent kinetic energy. Then, we show that, in general, those solutions must blow up in finite time. To the best of our knowledge, these results are the first establishing the well-posedness of the system for vanishing initial data and the occurence of finite time singularities for the model under study.


title: Conformal bridge transformation, $\mathcal{PT}$- and super- symmetry

abstract: Supersymmetric extensions of the 1D and 2D Swanson models are investigated by applying the conformal bridge transformation (CBT) to the first order Berry-Keating Hamiltonian multiplied by $i$ and its conformally neutral enlargements. The CBT plays the role of the Dyson map that transforms the models into supersymmetric generalizations of the 1D and 2D harmonic oscillator systems, allowing us to define pseudo-Hermitian conjugation and a suitable inner product. In the 1D case, we construct a $\mathcal{PT}$-invariant supersymmetric model with $N$ subsystems by using the conformal generators of supersymmetric free particle, and identify its complete set of the true bosonic and fermionic integrals of motion. We also investigate an exotic $N=2$ supersymmetric generalization, in which the higher order supercharges generate nonlinear superalgebras. We generalize the construction for the 2D case to obtain the $\mathcal{PT}$-invariant supersymmetric systems that transform into the spin-1/2 Landau problem with and without an additional Aharonov-Bohm flux, where in the latter case, the well-defined integrals of motion appear only when the flux is quantized. We also build a 2D supersymmetric Hamiltonian related to the "exotic rotational invariant harmonic oscillator" system governed by a dynamical parameter $\gamma$. The bosonic and fermionic hidden symmetries for this model are shown to exist for rational values of $\gamma$.


title: Mallows permutation models with $L^1$ and $L^2$ distances I: hit and run algorithms and mixing times

abstract: Mallows permutation model, introduced by Mallows in statistical ranking theory, is a class of non-uniform probability measures on the symmetric group $S_n$. The model depends on a distance metric $d(\sigma,\tau)$ on $S_n$, which can be chosen from a host of metrics on permutations. In this paper, we focus on Mallows permutation models with $L^1$ and $L^2$ distances, respectively known in the statistics literature as Spearman's footrule and Spearman's rank correlation. Unlike most of the random permutation models that have been analyzed in the literature, Mallows permutation models with $L^1$ and $L^2$ distances do not have an explicit expression for their normalizing constants. This poses challenges to the task of sampling from these Mallows models. In this paper, we consider hit and run algorithms for sampling from both models. Hit and run algorithms are a unifying class of Markov chain Monte Carlo (MCMC) algorithms including the celebrated Swendsen-Wang and data augmentation algorithms. For both models, we show order $\log{n}$ mixing time upper bounds for the hit and run algorithms. This demonstrates much faster mixing of the hit and run algorithms compared to local MCMC algorithms such as the Metropolis algorithm. The proof of the results on mixing times is based on the path coupling technique, for which a novel coupling for permutations with one-sided restrictions is involved. Extensions of the hit and run algorithms to weighted versions of the above models, a two-parameter permutation model that involves the $L^1$ distance and Cayley distance, and lattice permutation models in dimensions greater than or equal to $2$ are also discussed. The order $\log{n}$ mixing time upper bound pertains to the two-parameter permutation model.


title: On the Lie-solvability of Novikov algebras

abstract: We prove that any Novikov algebra over a field of characteristic $\neq 2$ is Lie-solvable if and only if its commutator ideal $[N,N]$ is right nilpotent. We also construct examples of infinite-dimensional Lie-solvable Novikov algebras $N$ with non nilpotent commutator ideal $[N,N]$.


title: Tunneling conductivity fast modulated by optically-dressed electrons in graphene and a dice lattice

abstract: Based on the transmission coefficient of tunneling electrons, we have presented tunneling current and conductivity across a square-potential barrier for both graphene and $\alpha$-$\mathcal{T}_3$ lattices under a linearly-polarized off-resonant dressing field. The presence of such a dressing field introduces an anisotropy factor in the energy dispersion of tunneling electrons so that the cross section of a Dirac-cone appears as elliptical. Consequently, the field-polarization controlled major axis of the ellipse will be misaligned with the normal direction of a barrier layer in the tunneling system, which exhibits an asymmetric Klein-paradox for an off-normal-direction tunneling. The resulting tunneling current in this system is calculated by using a transmission coefficient and a longitudinal group velocity (different from a longitudinal momentum) of electrons. By presenting numerically calculated tunneling conductivity modified by a laser dressing field, we demonstrate a significant enhancement of electrical conductivity by external laser-field intensity, which is expected to be crucial in application of ultrafast optical modulation of opto-electronic devices for photo-detection and fiber-optic communication.


title: Exploration Strategies for Tactile Graphics Displayed by Electrovibration on a Touchscreen

abstract: Advancements in surface haptics technology have given rise to the development of interactive applications displaying tactile content on touch surfaces such as images, signs, diagrams, plots, charts, graphs, maps, networks, and tables. In those applications, users manually explore the touch surface to interact with the tactile data using some intuitive strategies. The user's exploration strategy, tactile data's complexity, and tactile rendering method all affect the user's haptic perception, which plays a critical role in design and prototyping of those applications. In this study, we conducted experiments with human participants to investigate the recognition rate and time of five tactile shapes rendered by electrovibration on a touchscreen using three different methods and displayed in prototypical orientation and non-prototypical orientations. The results showed that the correct recognition rate of the shapes was higher when the haptically active area was larger. However, as the number of edges increased, the recognition time increased and the recognition rate dropped significantly, arriving to a value slightly higher than the chance rate of 20% for non-prototypical octagon. We also recorded the participants' finger movements on the touchscreen to examine their haptic exploration strategies. Our analyses revealed that the participants first used global scanning to extract the coarse features of the displayed shapes, and then they applied local scanning to identify finer details, but needed another global scan for final confirmation in the case of non-prototypical shapes, possibly due to the current limitations of electrovibration technology in displaying tactile stimuli to a user. We observed that it was highly difficult to follow the edges of shapes and recognize shapes with more than five edges under electrovibration when a single finger was used for exploration.


title: Langevin and Navier-Stokes Simulation of Three-Dimensional Protoplasmic Streaming

abstract: In this paper, we report the numerical results obtained using the Langevin Navier-Stokes (LNS) simulation of the velocity distribution of three-dimensional (3D) protoplasmic streaming in plant cells, such as those of {\it Nitella flexilis}. The LNS simulations are performed on 3D cylinders discretized by regular cubes in which fluid velocities are activated by boundary velocities parallel and nonparallel to the longitudinal direction and a random Brownian force with strength $D$. We find that, for a finite $D$, the velocity distribution $h(V), V\!=\!|\vec{V}|$, has two different peaks at a small non-zero $V$ and a finite $V$, and the distribution $h(V_z)$ for $|V_z|$ along the longitudinal direction also has a peak at finite $V_z$. These results are in good agreement with the reported velocity distributions observed using laser Doppler velocimetry. Moreover, we study the effects of the Brownian force on biological material mixing and find that mixing along the $\vec{V}$ direction enhanced by the nonparallel circular motion is further improved by the Brownian force in the experimentally relevant region of $D$. In addition, the experimentally relevant $D$ is found to be consistent with the expectation from the fluctuation dissipation relation between the random stress and viscosity in the LNS equation of Landau and Lifschitz for incompressible fluids.


title: Critical Behavior of the Three-Dimensional Random Anisotropy Heisenberg Model

abstract: We have studied the critical properties of the three-dimensional random anisotropy Heisenberg model by means of numerical simulations using the Parallel Tempering method. We have simulated the model with two different disorder distributions, cubic and isotropic ones, with two different {anisotropy} strengths for each disorder class. For the case of the anisotropic disorder, we have found evidences of universality by finding critical exponents and universal dimensionless ratios independent of the strength of the disorder. In the case of isotropic disorder distribution the situation is very involved: we have found two phase transitions in the magnetization channel which are merging for larger lattices remaining a zero magnetization low temperature phase. Studying this region using a spin glass order parameter we have found evidences for a spin glass phase transition. We have estimated effective critical exponents for the spin glass phase transition for the different values of the strength of the isotropic disorder, discussing the cross-over regime.


title: Geometry of logarithmic derivations of hyperplane arrangements

abstract: We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projective dimension results due to Ziegler and Kung--Schenck.


title: Bilingual Speech Recognition by Estimating Speaker Geometry from Video Data

abstract: Speech recognition is very challenging in student learning environments that are characterized by significant cross-talk and background noise. To address this problem, we present a bilingual speech recognition system that uses an interactive video analysis system to estimate the 3D speaker geometry for realistic audio simulations. We demonstrate the use of our system in generating a complex audio dataset that contains significant cross-talk and background noise that approximate real-life classroom recordings. We then test our proposed system with real-life recordings. In terms of the distance of the speakers from the microphone, our interactive video analysis system obtained a better average error rate of 10.83% compared to 33.12% for a baseline approach. Our proposed system gave an accuracy of 27.92% that is 1.5% better than Google Speech-to-text on the same dataset. In terms of 9 important keywords, our approach gave an average sensitivity of 38% compared to 24% for Google Speech-to-text, while both methods maintained high average specificity of 90% and 92%. On average, sensitivity improved from 24% to 38% for our proposed approach. On the other hand, specificity remained high for both methods (90% to 92%).


title: Quark spin-orbit correlations in the proton

abstract: Generalized transverse momentum-dependent parton distributions (GTMDs) provide a comprehensive framework for imaging the internal structure of the proton. In particular, by encoding the simultaneous distribution of quark transverse positions and momenta, they allow one to directly access longitudinal quark orbital angular momentum, and, moreover, to correlate it with the quark helicity. The relevant GTMD is evaluated through a lattice calculation of a proton matrix element of a quark bilocal operator (the separation in which is Fourier conjugate to the quark momentum) featuring a momentum transfer (which is Fourier conjugate to the quark position), as well as the Dirac structure appropriate for capturing the quark helicity. The weighting by quark transverse position requires a derivative with respect to momentum transfer, which is obtained in unbiased fashion using a direct derivative method. The lattice calculation is performed directly at the physical pion mass, using domain wall fermions to mitigate operator mixing effects. Both the Jaffe-Manohar as well as the Ji quark spin-orbit correlations are extracted, yielding evidence for a strong quark spin-orbit coupling in the proton.


title: PreDisM: Pre-Disaster Modelling With CNN Ensembles for At-Risk Communities

abstract: The machine learning community has recently had increased interest in the climate and disaster damage domain due to a marked increased occurrences of natural hazards (e.g., hurricanes, forest fires, floods, earthquakes). However, not enough attention has been devoted to mitigating probable destruction from impending natural hazards. We explore this crucial space by predicting building-level damages on a before-the-fact basis that would allow state actors and non-governmental organizations to be best equipped with resource distribution to minimize or preempt losses. We introduce PreDisM that employs an ensemble of ResNets and fully connected layers over decision trees to capture image-level and meta-level information to accurately estimate weakness of man-made structures to disaster-occurrences. Our model performs well and is responsive to tuning across types of disasters and highlights the space of preemptive hazard damage modelling.


title: On the Dirichlet-to-Neumann operator for the Connection Laplacian

abstract: We study the relationship between the symbol of the Dirichlet-to-Neumann operator associated with a connection Laplacian, and the geometry on and near the boundary. As a consequence, we show that the geometric data on the boundary, and when the dimension of the base is greater than two all corresponding normal derivatives, are determined by the symbol.


title: ToxTree: descriptor-based machine learning models for both hERG and Nav1.5 cardiotoxicity liability predictions

abstract: Drug-mediated blockade of the voltage-gated potassium channel(hERG) and the voltage-gated sodium channel (Nav1.5) can lead to severe cardiovascular complications. This rising concern has been reflected in the drug development arena, as the frequent emergence of cardiotoxicity from many approved drugs led to either discontinuing their use or, in some cases, their withdrawal from the market. Predicting potential hERG and Nav1.5 blockers at the outset of the drug discovery process can resolve this problem and can, therefore, decrease the time and expensive cost of developing safe drugs. One fast and cost-effective approach is to use in silico predictive methods to weed out potential hERG and Nav1.5 blockers at the early stages of drug development. Here, we introduce two robust 2D descriptor-based QSAR predictive models for both hERG and Nav1.5 liability predictions. The machine learning models were trained for both regression, predicting the potency value of a drug, and multiclass classification at three different potency cut-offs (i.e. 1$\mu$M, 10$\mu$M, and 30$\mu$M), where ToxTree-hERG Classifier, a pipeline of Random Forest models, was trained on a large curated dataset of 8380 unique molecular compounds. Whereas ToxTree-Nav1.5 Classifier, a pipeline of kernelized SVM models, was trained on a large manually curated set of 1550 unique compounds retrieved from both ChEMBL and PubChem publicly available bioactivity databases. The proposed hERG inducer outperformed most metrics of the state-of-the-art published model and other existing tools. Additionally, we are introducing the first Nav1.5 liability predictive model achieving a Q4 = 74.9% and a binary classification of Q2 = 86.7% with MCC = 71.2% evaluated on an external test set of 173 unique compounds. The curated datasets used in this project are made publicly available to the research community.


title: Effect of uranium deficiency on normal and superconducting properties in unconventional superconductor UTe$_2$

abstract: Single crystals of the unconventional superconductor UTe$_2$ have been grown in various conditions which result in different superconducting transition temperature as well as normal state properties. Stoichiometry of the samples has been characterized by the single-crystal X-ray crystallography and electron microprobe analyses. Superconducting samples are nearly stoichiometric within an experimental error of about 1 \%, while non-superconducting sample significantly deviates from the ideal composition. The superconducting UTe$_2$ showed that the large density of states was partially gapped in the normal state, while the non-superconducting sample is characterized by the relatively large electronic specific heat as reported previously.


title: Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch

abstract: The Security-Constrained Economic Dispatch (SCED) is a fundamental optimization model for Transmission System Operators (TSO) to clear real-time energy markets while ensuring reliable operations of power grids. In a context of growing operational uncertainty, due to increased penetration of renewable generators and distributed energy resources, operators must continuously monitor risk in real-time, i.e., they must quickly assess the system's behavior under various changes in load and renewable production. Unfortunately, systematically solving an optimization problem for each such scenario is not practical given the tight constraints of real-time operations. To overcome this limitation, this paper proposes to learn an optimization proxy for SCED, i.e., a Machine Learning (ML) model that can predict an optimal solution for SCED in milliseconds. Motivated by a principled analysis of the market-clearing optimizations of MISO, the paper proposes a novel ML pipeline that addresses the main challenges of learning SCED solutions, i.e., the variability in load, renewable output and production costs, as well as the combinatorial structure of commitment decisions. A novel Classification-Then-Regression architecture is also proposed, to further capture the behavior of SCED solutions. Numerical experiments are reported on the French transmission system, and demonstrate the approach's ability to produce, within a time frame that is compatible with real-time operations, accurate optimization proxies that produce relative errors below $0.6\%$.


title: Electrostatically interacting Wannier qubits in curved space

abstract: Derivation of tight-binding model from Schroedinger formalism for various topologies of position-based semiconductor qubits is presented in this work in case of static and time-dependent electric fields. Simplistic tight-binding model allows for description of single-electron devices at large integration scale. The case of two electrostatically Wannier qubits (that are also known as position based qubits) in Schroedinger model is presented with omission spin degrees of freedom. The concept of programmable quantum matter can be implemented in the chain of coupled semiconductor quantum dots. Indeed highly integrated and developed cryogenic CMOS nanostructures can be mapped to coupled quantum dots, whose connectivity can be controlled by voltage applied across transistor gates as well as external magnetic field. Using anti-correlation principle arising from Coulomb repulsion interaction between electrons one can implement classical and quantum inverter (Classical/Quantum Swap gate) and many other logical gates. This anti-correlation will be weaken due to the fact of quantumness of physical process is bringing coexistence of correlation and anti-correlation at the same time. One of the central results presented in this work relies on the emergence of dissipation processes during smooth bending of semiconductor nanowires both in the case of classical and quantum picture. We observe strong localization of wave-packet due to nanowire bending. The obtained results can be mapped to problem of electron in curved space, so they can be expressed by programmable position-dependent metric embedded in Schroedinger equation. Indeed semiconductor quantum dot system is capable of mimicking the curved space what provides bridge between fundamental and applied science present in implementation of single-electron devices.


title: Observation of Moir\'e Flat Bands in Sonic Crystals

abstract: Recently, artificial moire superlattices of classical waves have aroused tremendous interest, inspired by the newly emergent twistronics that focuses on the peculiar electronic properties induced by flat bands. However, so far, the moire flat bands have not been observed directly. Here, we report the first experimental observation of ultraflat bands in moire sonic crystals with frequency-momentum spectra, together with a real-space visualization of the hallmark localized states. Strikingly different from the established magic angle mechanism for twisted bilayer graphene, the flat bands are formed by weakly coupled moire potential-well states inside a wide band gap, and can be realized over a broad range of twist angles. The average group velocity of the moire localized states, as a faithful reflection of the band flatness, decays exponentially with the moire period of the acoustic structure. Our findings, applicable to all artificial crystals, enable new possibilities for manipulating classical waves with moire structures.

categories: cond-mat.mtrl-sci cond-mat.str-el physics.app-ph physics.class-ph


title: Geometric structures on Lie groupoids and differentiable stacks

abstract: In this PhD thesis, we have studied certain geometric structures over Lie groupoids and differentiable stacks. This thesis is based on the work [arXiv:2103.04560, arXiv:2012.08447, arXiv:2012.08442, arXiv:1907.00375]. In [arXiv:1907.00375], we have discussed the correspondence between two notions of a gerbe over a stack. In [arXiv:2012.08447], we have developed the notion of Chern-Weil map for principal bundles over a Lie groupoid when the Lie groupoid is equipped with a connection. In [arXiv:2012.08442], we discuss the notion of connection on the principal bundle over a Deligne Mumford stack using the notion of Atiyah sequence. The work in [arXiv:2103.04560] introduces the notion of a topological groupoid extension and discusses the correspondence between (Morita equivalent classes of) topological groupoid extensions and gerbes over topological stacks.


title: Dihedralization of Minimal Surfaces in $\mathbb{R}^3$

abstract: It is a well known phenomenon that many classical minimal surfaces in Euclidean space also exist with higher dihedral symmetry. More precisely, these surfaces are solutions to free boundary problems in a wedge bounded by two vertical planes with varying angle. We will study the limit of such surfaces when the angle converges to 0. In many cases, these limits are simpler than the original surface, and can be used in conjunction with the implicit function theorem to give new existence proofs of the original surfaces with small dihedral angle. This approach has led to the discovery of new minimal surfaces as well.


title: Fifty ways to build a deuteron: a variational calculation of two-nucleon systems

abstract: A variational study of two-nucleon systems with lattice quantum chromodynamics is performed using a wide range of interpolating operators: dibaryon operators built from products of momentum-projected nucleons, hexaquark operators built from six spatially localized quarks, and quasi-local operators inspired by two-nucleon bound-state wavefunctions in nuclear effective field theories. Correlation-function matrices involving products of these operators are constructed by computing timeslice-to-all quark propagators with sparsening techniques. Comparisons between results obtained using the same gauge-field ensemble but different interpolating-operator sets demonstrate that interpolating-operator dependence can lead to significant effects on the two-nucleon energy spectra obtained using both variational and non-variational methods.


title: When Scattering Transform Meets Non-Gaussian Random Processes, a Double Scaling Limit Result

abstract: We explore the finite dimensional distributions of the second-order scattering transform of a class of non-Gaussian processes when all the scaling parameters go to infinity simultaneously. For frequently used wavelets, we find a coupling rule for the scale parameters of the wavelet transform within the first and second layers such that the limit exists. The coupling rule is explicitly expressed in terms of the Hurst index of the long range dependent inputs. More importantly, the spectral density function of the limiting process can be explicitly expressed in terms of the Hurst index of the long-range dependent input process and the Fourier transform of the mother wavelet. To obtain these results, we first show that the scattering transform of a class of non-Gaussian processes can be approximated by the second-order scattering transform of Gaussian processes when the scale parameters are sufficiently large. Secondly, for each approximation process, which is still a non-Gaussian random process, we show that its doubling scaling limit exists by the moment method. The long-range dependent non-Gaussian model considered in this work is realized by real data, and assumptions are supported by numerical results.


title: Proposal for a Lorenz qubit

abstract: Nonlinear qubit master equations have recently been shown to exhibit rich dynamical phenomena such as period doubling, Hopf bifurcation, and strange attractors usually associated with classical nonlinear systems. Here we investigate nonlinear qubit models that support tunable Lorenz attractors. A Lorenz qubit could be realized experimentally by combining qubit torsion, generated by real or simulated mean field dynamics, with linear amplification and dissipation. This would extend engineered Lorenz systems to the quantum regime, allowing for their direct experimental study and possible application to quantum information processing.


title: A Brief History of Updates of Answer-Set Programs

abstract: Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words, the problem of characterising the result of bringing up-to-date a logic program when the world it describes changes. Whereas the state-of-the-art approaches are guided by the same basic intuitions and aspirations as belief updates in the context of classical logic, they build upon fundamentally different principles and methods, which have prevented a unifying framework that could embrace both belief and rule updates. In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.


title: Video Joint Modelling Based on Hierarchical Transformer for Co-summarization

abstract: Video summarization aims to automatically generate a summary (storyboard or video skim) of a video, which can facilitate large-scale video retrieval and browsing. Most of the existing methods perform video summarization on individual videos, which neglects the correlations among similar videos. Such correlations, however, are also informative for video understanding and video summarization. To address this limitation, we propose Video Joint Modelling based on Hierarchical Transformer (VJMHT) for co-summarization, which takes into consideration the semantic dependencies across videos. Specifically, VJMHT consists of two layers of Transformer: the first layer extracts semantic representation from individual shots of similar videos, while the second layer performs shot-level video joint modelling to aggregate cross-video semantic information. By this means, complete cross-video high-level patterns are explicitly modelled and learned for the summarization of individual videos. Moreover, Transformer-based video representation reconstruction is introduced to maximize the high-level similarity between the summary and the original video. Extensive experiments are conducted to verify the effectiveness of the proposed modules and the superiority of VJMHT in terms of F-measure and rank-based evaluation.


title: Online Change-point Detection for Matrix-valued Time Series with Latent Two-way Factor Structure

abstract: This paper proposes a novel methodology for the online detection of changepoints in the factor structure of large matrix time series. Our approach is based on the well-known fact that, in the presence of a changepoint, a factor model can be rewritten as a model with a larger number of common factors. In turn, this entails that, in the presence of a changepoint, the number of spiked eigenvalues in the second moment matrix of the data increases. Based on this, we propose two families of procedures - one based on the fluctuations of partial sums, and one based on extreme value theory - to monitor whether the first non-spiked eigenvalue diverges after a point in time in the monitoring horizon, thereby indicating the presence of a changepoint. Our procedure is based only on rates; at each point in time, we randomise the estimated eigenvalue, thus obtaining a normally distributed sequence which is $i.i.d.$ with mean zero under the null of no break, whereas it diverges to positive infinity in the presence of a changepoint. We base our monitoring procedures on such sequence. Extensive simulation studies and empirical analysis justify the theory.


title: Reentrance of metal-insulator transition and magnetic competitions on a triangular lattice with second nearest-neighbor hopping

abstract: The $120^{\circ}$ antiferromagnetism (AFM) is widely believed as the magnetic ground state of the triangular systems because of the geometrical frustration. The emergence of novel magnetism, such as the row-wise AFM in Mn/Cu(111) and Sn/Si(111), reveals the importance of the longer-range hopping on magnetic competitions in realistic material systems. By utilizing advanced many-body techniques, we systematically studied the isotropic triangular Hubbard model with second nearest-neighbor hopping $t^{\prime}$, including both the single- and the two-particle responses. We found that both electronic and magnetic phase transitions show a clear dependence on $t^{\prime}/t$. Consequently, we observed a remarkable reentrance of the metal-insulator transition and a crossover between the $120^{\circ}$- and the row-wise AFM. The Fermi surface (FS) shows two distinct structures with the nesting vectors consistent with the magnetic correlations. When $t^{\prime}$ evolves from 0 to 1, the correlated Fermi surface demonstrates a Lifschitz transition between the two nesting structures, and exotic phases like the featureless insulating state can be realized. Our work sheds light on the engineering of electronic and magnetic correlations of correlated triangular surfaces via longer-range hopping. The rich phase diagram and the high degree of tunability make the triangular lattice with longer-range hopping a more realistic platform to study the emergent magnetic competitions.


title: Photoinduced Phase Transition in Two-Band model on Penrose Tiling

abstract: We study the effects of the photo irradiation on the band insulating state in the two-band Hubbard model on the Penrose tiling. Examining the time- and site-dependent physical quantities, we find that the excitionic state is dynamically induced with site-dependent order parameters. It is also clarified that, in the excitonic state induced by the photo irradiation, local oscillatory behavior appears in the electron number as well as in the order parameter, which should be characteristic of the quasiperiodic lattice.


title: Rogers-Ramanujan type identities and Chebyshev Polynomials of the third kind

abstract: It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev polynomials of the third kind, we further extend Andrews' way in the studying of Rogers--Ramanujan type identities. By fitting this Bailey pair into different weak forms of Bailey's lemma, we obtain a companion identity to Dyson's favorite one and also many other Rogers--Ramanujan type identities. Furthermore, as immediate consequences, we also obtain some results related to Appell--Lerch series and the generalized Hecke--type series.


title: High-temperature quantum spin Hall states in buckled III-V-monolayer/SiO$_{2}

abstract: After establishing the fundamental understanding and the high throughput topological characterization of nearly all inorganic three-dimensional materials, the general interest and the demand of functional applications drive the research of topological insulators to the exploration of systems with a more robust topological nature and fewer fabrication challenges. The successful demonstration of the room-temperature quantum spin Hall (QSH) states in bismuthene/SiC(0001), thus, triggers the search of two-dimensional topological systems that are experimentally easy to access and of even larger topological gaps. In this work, we propose a family of III-V honeycomb monolayers on SiO$_{2}$ to be the next generation of large gap QSH systems, based on which a spintronic device may potentially operate at room temperature due to its enlarged topological gap ($\sim$ 900 meV) as compared to bismuthene/SiC(0001). Fundamentally, this also realizes a band-inversion type QSH insulator that is distinct to the Kane-Mele type bismuthene/SiC(0001).


title: Leaderless Consensus of Heterogeneous Multiple Euler-Lagrange Systems with Unknown Disturbance

abstract: This paper studies the leaderless consensus problem of {heterogeneous} multiple networked Euler-Lagrange systems subject to persistent disturbances with unknown constant biases, amplitudes, initial phases, and frequencies. The main characteristic of this study is that none of the agents has information of a common reference model or of a common reference trajectory. Therefore, the agents must simultaneously and in a distributed way: achieve consensus to a common reference model (group model); achieve consensus to a common reference trajectory; {and} reject the unknown disturbances. We show that this is possible via a suitable combination of techniques of distributed `observers', internal model principle, and adaptive regulation. The proposed design generalizes recent results on group model learning, which have been studied for linear agents over undirected networks. In this work, group model learning is achieved for Euler-Lagrange dynamics over directed networks in the presence of persistent unknown disturbances.


title: An efficient mining scheme for high utility itemsets

abstract: Knowledge discovery in databases aims at finding useful information, which can be deployed for decision making. The problem of high utility itemset mining has specifically garnered huge research focus in the past decade, as it aims to find the patterns from the databases that conform to an objective utility function. Several algorithms exist in literature to mine the high utility items from the databases; however, most of them require large execution time and have high memory consumption. In this paper, we propose a new algorithm, R-Miner, based on a novel data structure, called the residue maps, that stores the utility information of an item directly and is used for the mining process. Several experiments are undertaken to assess the efficacy of the proposed algorithm against the benchmark algorithms. The experimental results indicate that the R-Miner algorithm outperforms the state-of-the-art mining algorithms.


title: Prime thick subcategories on elliptic curves

abstract: We classify all prime thick subcategories in the derived category of coherent sheaves on elliptic curves, and determine the Serre invariant locus of Matsui spectrum of derived category of coherent sheaves on any smooth projective curves.


title: The Statistical Complexity of Interactive Decision Making

abstract: A fundamental challenge in interactive learning and decision making, ranging from bandit problems to reinforcement learning, is to provide sample-efficient, adaptive learning algorithms that achieve near-optimal regret. This question is analogous to the classical problem of optimal (supervised) statistical learning, where there are well-known complexity measures (e.g., VC dimension and Rademacher complexity) that govern the statistical complexity of learning. However, characterizing the statistical complexity of interactive learning is substantially more challenging due to the adaptive nature of the problem. The main result of this work provides a complexity measure, the Decision-Estimation Coefficient, that is proven to be both necessary and sufficient for sample-efficient interactive learning. In particular, we provide: 1. a lower bound on the optimal regret for any interactive decision making problem, establishing the Decision-Estimation Coefficient as a fundamental limit. 2. a unified algorithm design principle, Estimation-to-Decisions (E2D), which transforms any algorithm for supervised estimation into an online algorithm for decision making. E2D attains a regret bound that matches our lower bound up to dependence on a notion of estimation performance, thereby achieving optimal sample-efficient learning as characterized by the Decision-Estimation Coefficient. Taken together, these results constitute a theory of learnability for interactive decision making. When applied to reinforcement learning settings, the Decision-Estimation Coefficient recovers essentially all existing hardness results and lower bounds. More broadly, the approach can be viewed as a decision-theoretic analogue of the classical Le Cam theory of statistical estimation; it also unifies a number of existing approaches -- both Bayesian and frequentist.


title: Quantum codes constructed from cyclic codes over the ring $\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q+v^3\mathbb{F}_q+v^4\mathbb{F}_q$

abstract: In this article, we investigate properties of cyclic codes over a finite non-chain ring $\mathbb{F}_q+v\mathbb{F}_q+v^2\mathbb{F}_q+v^3\mathbb{F}_q+v^4\mathbb{F}_q,$ where $q=p^r,$ $r$ is a positive integer, $p$ is an odd prime, $4 \mid (p-1),$ and $v^5=v.$ As an application, we construct several quantum error correcting codes over the finite field $\mathbb{F}_q.$


title: Lindbladian dynamics of the Sachdev-Ye-Kitaev model

abstract: We study the Lindbladian dynamics of the Sachdev-Ye-Kitaev (SYK) model, where the SYK model is coupled to Markovian reservoirs with jump operators that are either linear or quadratic in the Majorana fermion operators. Here, the linear jump operators are non-random while the quadratic jump operators are sampled from a Gaussian distribution. In the limit of large $N$, where $N$ is the number of Majorana fermion operators, and also in the limit of large $N$ and $M$, where $M$ is the number of jump operators, the SYK Lindbladians are analytically tractable, and we obtain their stationary Green's functions, from which we can read off the decay rate. For finite $N$, we also study the distribution of the eigenvalues of the SYK Lindbladians.


title: Leptoquark and vector-like quark extended models as the explanation of the muon $g-2$ anomaly

abstract: Leptoquark (LQ) models can be the solution to the $(g-2)_{\mu}$ anomaly because of the chiral enhancements. In this work, we consider the models extended by the LQ and vector-like quark (VLQ) simultaneously, which can be used to explain the anomaly because of the top quark and top partner (denoted as $T$) mixing. For the one LQ and one VLQ extended models, there are contributions from the top and $T$ quark. In the minimal LQ models, only the $R_2$ and $S_1$ representations can lead to the chiral enhancements. Here, we find one new $S_3$ solution to the anomaly in the presence of $(X,T,B)_{L,R}$ triplet. We also consider the one LQ and two VLQ extended models, which can solve the anomaly even in the absence of top interactions and mixings. Then, we propose new LQ search channels under the constraints of $(g-2)_{\mu}$. Besides the traditional $t\mu$ decay channel, the LQ can also decay into $T\mu$ final states, which will lead to the characteristic multi-top and multi-muon signals at hadron colliders.


title: A Compact Neural Network-based Algorithm for Robust Image Watermarking

abstract: Digital image watermarking seeks to protect the digital media information from unauthorized access, where the message is embedded into the digital image and extracted from it, even some noises or distortions are applied under various data processing including lossy image compression and interactive content editing. Traditional image watermarking solutions easily suffer from robustness when specified with some prior constraints, while recent deep learning-based watermarking methods could not tackle the information loss problem well under various separate pipelines of feature encoder and decoder. In this paper, we propose a novel digital image watermarking solution with a compact neural network, named Invertible Watermarking Network (IWN). Our IWN architecture is based on a single Invertible Neural Network (INN), this bijective propagation framework enables us to effectively solve the challenge of message embedding and extraction simultaneously, by taking them as a pair of inverse problems for each other and learning a stable invertible mapping. In order to enhance the robustness of our watermarking solution, we specifically introduce a simple but effective bit message normalization module to condense the bit message to be embedded, and a noise layer is designed to simulate various practical attacks under our IWN framework. Extensive experiments demonstrate the superiority of our solution under various distortions.


title: Vision Transformer for Small-Size Datasets

abstract: Recently, the Vision Transformer (ViT), which applied the transformer structure to the image classification task, has outperformed convolutional neural networks. However, the high performance of the ViT results from pre-training using a large-size dataset such as JFT-300M, and its dependence on a large dataset is interpreted as due to low locality inductive bias. This paper proposes Shifted Patch Tokenization (SPT) and Locality Self-Attention (LSA), which effectively solve the lack of locality inductive bias and enable it to learn from scratch even on small-size datasets. Moreover, SPT and LSA are generic and effective add-on modules that are easily applicable to various ViTs. Experimental results show that when both SPT and LSA were applied to the ViTs, the performance improved by an average of 2.96% in Tiny-ImageNet, which is a representative small-size dataset. Especially, Swin Transformer achieved an overwhelming performance improvement of 4.08% thanks to the proposed SPT and LSA.


title: Structure of octonionic Hilbert spaces with applications in the Parseval equality and Cayley-Dickson algebras

abstract: Contrary to the simple structure of the tensor product of the quaternionic Hilbert space, the octonionic situation becomes more involved. It turns out that an octonionic Hilbert space can be decomposed as an orthogonal direct sum of two subspaces, each of them isomorphic to a tensor product of an irreducible octonionic Hilbert space with a real Hilbert space. As an application, we find that for a given orthogonal basis the octonionic Parseval equality holds if and only if the basis is weak associative. Fortunately, there always exists a weak associative orthogonal basis in an octonionic Hilbert space. This completely removes the obstacles caused by the failure of the octonionic Parseval equality. As another application, we provide a new approach to studythe Cayley-Dickson algebras, which turn out to be specific examples of octonionic Hilbert spaces. An explicit weak associative orthonormal basis is constructed in each Cayley-Dickson algebra.


title: Estimating Parameters of the Tree Root in Heterogeneous Soil Environments via Mask-Guided Multi-Polarimetric Integration Neural Network

abstract: Ground-penetrating radar (GPR) has been used as a non-destructive tool for tree root inspection. Estimating root-related parameters from GPR radargrams greatly facilitates root health monitoring and imaging. However, the task of estimating root-related parameters is challenging as the root reflection is a complex function of multiple root parameters and root orientations. Existing methods can only estimate a single root parameter at a time without considering the influence of other parameters and root orientations, resulting in limited estimation accuracy under different root conditions. In addition, soil heterogeneity introduces clutter in GPR radargrams, making the data processing and interpretation even harder. To address these issues, a novel neural network architecture, called mask-guided multi-polarimetric integration neural network (MMI-Net), is proposed to automatically and simultaneously estimate multiple root-related parameters in heterogeneous soil environments. The MMI-Net includes two sub-networks: a MaskNet that predicts a mask to highlight the root reflection area to eliminate interfering environmental clutter, and a ParaNet that uses the predicted mask as guidance to integrate, extract, and emphasize informative features in multi-polarimetric radargrams for accurate estimation of five key root-related parameters. The parameters include the root depth, diameter, relative permittivity, horizontal and vertical orientation angles. Experimental results demonstrate that the proposed MMI-Net achieves high estimation accuracy in these root-related parameters. This is the first work that takes the combined contributions of root parameters and spatial orientations into account and simultaneously estimates multiple root-related parameters. The data and code implemented in the paper can be found at https://haihan-sun.github.io/GPR.html.


title: Multiple Randomization Designs

abstract: In this study we introduce a new class of experimental designs. In a classical randomized controlled trial (RCT), or A/B test, a randomly selected subset of a population of units (e.g., individuals, plots of land, or experiences) is assigned to a treatment (treatment A), and the remainder of the population is assigned to the control treatment (treatment B). The difference in average outcome by treatment group is an estimate of the average effect of the treatment. However, motivating our study, the setting for modern experiments is often different, with the outcomes and treatment assignments indexed by multiple populations. For example, outcomes may be indexed by buyers and sellers, by content creators and subscribers, by drivers and riders, or by travelers and airlines and travel agents, with treatments potentially varying across these indices. Spillovers or interference can arise from interactions between units across populations. For example, sellers' behavior may depend on buyers' treatment assignment, or vice versa. This can invalidate the simple comparison of means as an estimator for the average effect of the treatment in classical RCTs. We propose new experiment designs for settings in which multiple populations interact. We show how these designs allow us to study questions about interference that cannot be answered by classical randomized experiments. Finally, we develop new statistical methods for analyzing these Multiple Randomization Designs.


title: Fluctuated spin-orbital texture of Rashba-split surface states in real and reciprocal space

abstract: Spin-orbit interaction (SOI) in low-dimensional systems, namely Rashba systems and the edge states of topological materials, is extensively studied in this decade as a promising source to realize various fascinating spintronic phenomena, such as the source of the spin current and spin-mediated energy conversion. Here, we show the odd fluctuation in the spin-orbital texture in a surface Rashba system on Bi/InAs(110)-(2$\times$1) by spin- and angle-resolved photoelectron spectroscopy and a numerical simulation based on a density-functional theory (DFT) calculation. The surface state shows a paired parabolic dispersion with the spin degeneracy lifted by the Rashba effect. Although its spin polarization should be fixed in a particular direction based on the Rashba model, the observed spin polarization varies greatly and even reverses its sign depending on the wavenumber. DFT calculations also reveal that the spin directions of two inequivalent Bi chains on the surface change from nearly parallel (canted-parallel) to anti-parallel in real space in the corresponding wavevector region. These results point out an oversimplification of the nature of spin in Rashba and Dirac systems and provide more freedom than expected for spin manipulation of photoelectrons.


title: Evaluating Software User Feedback Classifiers on Unseen Apps, Datasets, and Metadata

abstract: Listening to user's requirements is crucial to building and maintaining high quality software. Online software user feedback has been shown to contain large amounts of information useful to requirements engineering (RE). Previous studies have created machine learning classifiers for parsing this feedback for development insight. While these classifiers report generally good performance when evaluated on a test set, questions remain as to how well they extend to unseen data in various forms. This study evaluates machine learning classifiers performance on feedback for two common classification tasks (classifying bug reports and feature requests). Using seven datasets from prior research studies, we investigate the performance of classifiers when evaluated on feedback from different apps than those contained in the training set and when evaluated on completely different datasets (coming from different feedback platforms and/or labelled by different researchers). We also measure the difference in performance of using platform-specific metadata as a feature in classification. We demonstrate that classification performance is similar on feedback from unseen apps compared to seen apps in the majority of cases tested. However, the classifiers do not perform well on unseen datasets. We show that multi-dataset training or zero shot classification approaches can somewhat mitigate this performance decrease. Finally, we find that using metadata as features in classifying bug reports and feature requests does not lead to a statistically significant improvement in the majority of datasets tested. We discuss the implications of these results on developing user feedback classification models to analyse and extract software requirements.


title: Antagonistic interactions can stabilise fixed points in heterogeneous linear dynamical systems

abstract: We analyse the stability of large, linear dynamical systems of variables that interact through a fully connected random matrix and have inhomogeneous growth rates. We show that in the absence of correlations between the coupling strengths, a system with interactions is always less stable than a system without interactions. Contrarily to the uncorrelated case, interactions that are antagonistic, i.e., characterised by negative correlations, can stabilise linear dynamical systems. In particular, when the strength of the interactions is not too strong, systems with antagonistic interactions are more stable than systems without interactions. These results are obtained with an exact theory for the spectral properties of fully connected random matrices with diagonal disorder.


title: Notes on the diameter of the complement of the power graph of a finite group

abstract: We determine the diameter of every connected component of the complement of the power graph and the enhanced power graph of a finite group, which completely answers two questions by Peter J. Cameron.


title: The Nielsen realization problem for high degree del Pezzo surfaces

abstract: Let $M$ be a smooth $4$-manifold underlying some del Pezzo surface of degree $d \geq 6$. We consider the smooth Nielsen realization problem for $M$: which finite subgroups of $\text{Mod}(M) = \pi_0(\text{Homeo}^+(M))$ have lifts to $\text{Diff}^+(M) \leq \text{Homeo}^+(M)$ under the quotient map $\pi: \text{Homeo}^+(M) \to \text{Mod}(M)$? We give a complete classification of such finite subgroups of $\text{Mod}(M)$ for $d \geq 7$ and a partial answer for $d = 6$. For the cases $d \geq 8$, the quotient map $\pi$ admits a section with image contained in $\text{Diff}^+(M)$. For the case $d = 7$, we show that all finite order elements of $\text{Mod}(M)$ have lifts to $\text{Diff}^+(M)$, but there are finite subgroups of $\text{Mod}(M)$ that do not lift to $\text{Diff}^+(M)$. We prove that the condition of whether a finite subgroup $G \leq \text{Mod}(M)$ lifts to $\text{Diff}^+(M)$ is equivalent to the existence of a certain equivariant connected sum realizing $G$. For the case $d = 6$, we show this equivalence for all maximal finite subgroups $G \leq \text{Mod}(M)$.


title: Lattice fermions as spectral graphs

abstract: We study lattice fermions from the viewpoint of spectral graph theory (SGT). We find that a fermion defined on a certain lattice is identified as a spectral graph. SGT helps us investigate the number of zero eigenvalues of lattice Dirac operators even on the non-torus and non-regular lattice, leading to understanding of the number of fermion species (doublers) on lattices with arbitrary topologies. The procedure of application of SGT to lattice fermions is summarized as follows: (1) One investigates a spectral graph corresponding to a lattice fermion. (2) One obtains a matrix corresponding to the graph. (3) One finds zero eigenvalues of the matrix by use of the discrete Fourier transformation (DFT). (4) By taking an infinite-volume and continuum limits, one finds the number of species. We apply this procedure to the known lattice fermion formulations including Naive fermions, Wilson fermions and Domain-wall fermions, and reproduce the known fact on the number of species. We also apply it to the lattice fermion on the discretized four-dimensional hyperball and discuss the number of fermion species on the bulk. In the end of the paper, we discuss the application of the analysis to lattice fermions on generic lattices with arbitrary topologies, which could lead to constructing a new theorem regarding the number of species.


title: Deep Treatment-Adaptive Network for Causal Inference

abstract: Causal inference is capable of estimating the treatment effect (i.e., the causal effect of treatment on the outcome) to benefit the decision making in various domains. One fundamental challenge in this research is that the treatment assignment bias in observational data. To increase the validity of observational studies on causal inference, representation based methods as the state-of-the-art have demonstrated the superior performance of treatment effect estimation. Most representation based methods assume all observed covariates are pre-treatment (i.e., not affected by the treatment), and learn a balanced representation from these observed covariates for estimating treatment effect. Unfortunately, this assumption is often too strict a requirement in practice, as some covariates are changed by doing an intervention on treatment (i.e., post-treatment). By contrast, the balanced representation learned from unchanged covariates thus biases the treatment effect estimation.


title: Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs

abstract: Under-approximations of reachable sets and tubes have been receiving growing research attention due to their important roles in control synthesis and verification. Available under-approximation methods applicable to continuous-time linear systems typically assume the ability to compute transition matrices and their integrals exactly, which is not feasible in general, and/or suffer from high computational costs. In this note, we attempt to overcome these drawbacks for a class of linear time-invariant (LTI) systems, where we propose a novel method to under-approximate finite-time forward reachable sets and tubes, utilizing approximations of the matrix exponential and its integral. In particular, we consider the class of continuous-time LTI systems with an identity input matrix and initial and input values belonging to full dimensional sets that are affine transformations of closed unit balls. The proposed method yields computationally efficient under-approximations of reachable sets and tubes, when implemented using zonotopes, with first-order convergence guarantees in the sense of the Hausdorff distance. To illustrate its performance, we implement our approach in three numerical examples, where linear systems of dimensions ranging between 2 and 200 are considered.


title: Krull--Gabriel dimension of Cohen--Macaulay modules over hypersurfaces of countable Cohen--Macaulay representation type

abstract: We calculate the Krull--Gabriel dimension of the functor category of the (stable) category of maximal Cohen--Macaulay modules over hypersurfaces of countable Cohen--Macaulay representation type. We show that the Krull--Gabriel dimension is $0$ if the hypersurface is of finite Cohen--Macaulay representation type and that is $2$ if the hypersurface is of countable but not finite Cohen--Macaulay representation type.


title: Realization of an Error-Correcting Surface Code with Superconducting Qubits

abstract: Quantum error correction is a critical technique for transitioning from noisy intermediate-scale quantum (NISQ) devices to fully fledged quantum computers. The surface code, which has a high threshold error rate, is the leading quantum error correction code for two-dimensional grid architecture. So far, the repeated error correction capability of the surface code has not been realized experimentally. Here, we experimentally implement an error-correcting surface code, the distance-3 surface code which consists of 17 qubits, on the \textit{Zuchongzhi} 2.1 superconducting quantum processor. By executing several consecutive error correction cycles, the logical error can be significantly reduced after applying corrections, achieving the repeated error correction of surface code for the first time. This experiment represents a fully functional instance of an error-correcting surface code, providing a key step on the path towards scalable fault-tolerant quantum computing.


title: Estimation based on nearest neighbor matching: from density ratio to average treatment effect

abstract: Nearest neighbor (NN) matching as a tool to align data sampled from different groups is both conceptually natural and practically well-used. In a landmark paper, Abadie and Imbens (2006) provided the first large-sample analysis of NN matching under, however, a crucial assumption that the number of NNs, $M$, is fixed. This manuscript reveals something new out of their study and shows that, once allowing $M$ to diverge with the sample size, an intrinsic statistic in their analysis actually constitutes a consistent estimator of the density ratio. Furthermore, through selecting a suitable $M$, this statistic can attain the minimax lower bound of estimation over a Lipschitz density function class. Consequently, with a diverging $M$, the NN matching provably yields a doubly robust estimator of the average treatment effect and is semiparametrically efficient if the density functions are sufficiently smooth and the outcome model is appropriately specified. It can thus be viewed as a precursor of double machine learning estimators.


title: Block Modeling-Guided Graph Convolutional Neural Networks

abstract: Graph Convolutional Network (GCN) has shown remarkable potential of exploring graph representation. However, the GCN aggregating mechanism fails to generalize to networks with heterophily where most nodes have neighbors from different classes, which commonly exists in real-world networks. In order to make the propagation and aggregation mechanism of GCN suitable for both homophily and heterophily (or even their mixture), we introduce block modeling into the framework of GCN so that it can realize "block-guided classified aggregation", and automatically learn the corresponding aggregation rules for neighbors of different classes. By incorporating block modeling into the aggregation process, GCN is able to aggregate information from homophilic and heterophilic neighbors discriminately according to their homophily degree. We compared our algorithm with state-of-art methods which deal with the heterophily problem. Empirical results demonstrate the superiority of our new approach over existing methods in heterophilic datasets while maintaining a competitive performance in homophilic datasets.


title: Duck swarm algorithm: theory, numerical optimization, and applications

abstract: A swarm intelligence-based optimization algorithm, named Duck Swarm Algorithm (DSA), is proposed in this study, which is inspired by the searching for food sources and foraging behaviors of the duck swarm. Two rules are modeled from the finding food and foraging of the duck, which corresponds to the exploration and exploitation phases of the proposed DSA, respectively. The performance of the DSA is verified by using multiple CEC benchmark functions, where its statistical (best, mean, standard deviation, and average running-time) results are compared with seven well-known algorithms like Particle swarm optimization (PSO), Firefly algorithm (FA), Chicken swarm optimization (CSO), Grey wolf optimizer (GWO), Sine cosine algorithm (SCA), and Marine-predators algorithm (MPA), and Archimedes optimization algorithm (AOA). Moreover, the Wilcoxon rank-sum test, Friedman test, and convergence curves of the comparison results are utilized to prove the superiority of the DSA against other algorithms. The results demonstrate that DSA is a high-performance optimization method in terms of convergence speed and exploration-exploitation balance for solving the numerical optimization problems. Also, DSA is applied for the optimal design of six engineering constrained optimization problems and the node optimization deployment task of the Wireless Sensor Network (WSN). Overall, the comparison results revealed that the DSA is a promising and very competitive algorithm for solving different optimization problems.


title: Automatic Configuration for Optimal Communication Scheduling in DNN Training

abstract: ByteScheduler partitions and rearranges tensor transmissions to improve the communication efficiency of distributed Deep Neural Network (DNN) training. The configuration of hyper-parameters (i.e., the partition size and the credit size) is critical to the effectiveness of partitioning and rearrangement. Currently, ByteScheduler adopts Bayesian Optimization (BO) to find the optimal configuration for the hyper-parameters beforehand. In practice, however, various runtime factors (e.g., worker node status and network conditions) change over time, making the statically-determined one-shot configuration result suboptimal for real-world DNN training. To address this problem, we present a real-time configuration method (called AutoByte) that automatically and timely searches the optimal hyper-parameters as the training systems dynamically change. AutoByte extends the ByteScheduler framework with a meta-network, which takes the system's runtime statistics as its input and outputs predictions for speedups under specific configurations. Evaluation results on various DNN models show that AutoByte can dynamically tune the hyper-parameters with low resource usage, and deliver up to 33.2\% higher performance than the best static configuration in ByteScheduler.


title: Mind the Gap: Cross-Lingual Information Retrieval with Hierarchical Knowledge Enhancement

abstract: Cross-Lingual Information Retrieval (CLIR) aims to rank the documents written in a language different from the user's query. The intrinsic gap between different languages is an essential challenge for CLIR. In this paper, we introduce the multilingual knowledge graph (KG) to the CLIR task due to the sufficient information of entities in multiple languages. It is regarded as a "silver bullet" to simultaneously perform explicit alignment between queries and documents and also broaden the representations of queries. And we propose a model named CLIR with hierarchical knowledge enhancement (HIKE) for our task. The proposed model encodes the textual information in queries, documents and the KG with multilingual BERT, and incorporates the KG information in the query-document matching process with a hierarchical information fusion mechanism. Particularly, HIKE first integrates the entities and their neighborhood in KG into query representations with a knowledge-level fusion, then combines the knowledge from both source and target languages to further mitigate the linguistic gap with a language-level fusion. Finally, experimental results demonstrate that HIKE achieves substantial improvements over state-of-the-art competitors.


title: Design, Manufacturing, and Controls of a Prismatic Quadruped Robot: PRISMA

abstract: Most of the quadrupeds developed are highly actuated, and their control is hence quite cumbersome. They need advanced electronics equipment to solve convoluted inverse kinematic equations continuously. In addition, they demand special and costly sensors to autonomously navigate through the environment as traditional distance sensors usually fail because of the continuous perturbation due to the motion of the robot. Another challenge is maintaining the continuous dynamic stability of the robot while walking, which requires complicated and state-of-the-art control algorithms. This paper presents a thorough description of the hardware design and control architecture of our in-house prismatic joint quadruped robot called the PRISMA. We aim to forge a robust and kinematically stable quadruped robot that can use elementary control algorithms and utilize conventional sensors to navigate an unknown environment. We discuss the benefits and limitations of the robot in terms of its motion, different foot trajectories, manufacturability, and controls.


title: Event-based clinical findings extraction from radiology reports with pre-trained language model

abstract: Radiology reports contain a diverse and rich set of clinical abnormalities documented by radiologists during their interpretation of the images. Comprehensive semantic representations of radiological findings would enable a wide range of secondary use applications to support diagnosis, triage, outcomes prediction, and clinical research. In this paper, we present a new corpus of radiology reports annotated with clinical findings. Our annotation schema captures detailed representations of pathologic findings that are observable on imaging ("lesions") and other types of clinical problems ("medical problems"). The schema used an event-based representation to capture fine-grained details, including assertion, anatomy, characteristics, size, count, etc. Our gold standard corpus contained a total of 500 annotated computed tomography (CT) reports. We extracted triggers and argument entities using two state-of-the-art deep learning architectures, including BERT. We then predicted the linkages between trigger and argument entities (referred to as argument roles) using a BERT-based relation extraction model. We achieved the best extraction performance using a BERT model pre-trained on 3 million radiology reports from our institution: 90.9%-93.4% F1 for finding triggers 72.0%-85.6% F1 for arguments roles. To assess model generalizability, we used an external validation set randomly sampled from the MIMIC Chest X-ray (MIMIC-CXR) database. The extraction performance on this validation set was 95.6% for finding triggers and 79.1%-89.7% for argument roles, demonstrating that the model generalized well to the cross-institutional data with a different imaging modality. We extracted the finding events from all the radiology reports in the MIMIC-CXR database and provided the extractions to the research community.