title: Spoiler in a Textstack: How Much Can Transformers Help?

abstract: This paper presents our research regarding spoiler detection in reviews. In this use case, we describe the method of fine-tuning and organizing the available text-based model tasks with the latest deep learning achievements and techniques to interpret the models' results. Until now, spoiler research has been rarely described in the literature. We tested the transfer learning approach and different latest transformer architectures on two open datasets with annotated spoilers (ROC AUC above 81\% on TV Tropes Movies dataset, and Goodreads dataset above 88\%). We also collected data and assembled a new dataset with fine-grained annotations. To that end, we employed interpretability techniques and measures to assess the models' reliability and explain their results.


title: Topological quantum catalyst: the case of two-dimensional traversing nodal line states associated with high catalytic performance for hydrogen evolution reaction

abstract: Topological quantum catalysts (TQCs), where metallic surface states from nontrivial band topology serve as the mechanism to favor heterogeneous catalysis processes, have been well demonstrated in three dimensional (3D) examples but have been rarely discussed in 2D scale. Here, we develop a design scheme to realize 2D TQCs with showing traversing nodal line at the Brillouin zone boundary, large Fermi arc on the edge, and nearly zero Gibbs free energy ({\Delta}GH*) for hydrogen evolution reaction (HER). We demonstrate the 2D Cu2C2N4 sheet is a such example. The material manifests an open nodal line traversing the whole k-path S-Y. It shows a long Fermi arc that spans the entire edge boundary, which is robust against spin-orbit coupling and the H adsorption. As the result, the edge of Cu2C2N4 sheet is relatively active for HER catalysis with possessing a {\Delta}GH* as low as 0.10 eV, which is comparable with that of Pt and superior to other traditional catalysts and 3D TQCs as well. Our work offers an effective route to develop high performance HER catalysis without containing noble metals by utilizing 2D TQCs with traversing nodal line.


title: Cohomology of the Schr\"odinger-Virasoro conformal algebra

abstract: Both the basic cohomology groups and the reduced cohomology groups of the Schr\"odinger-Virasoro conformal algebra with trivial coefficients are completely determined.


title: Visual Semantics Allow for Textual Reasoning Better in Scene Text Recognition

abstract: Existing Scene Text Recognition (STR) methods typically use a language model to optimize the joint probability of the 1D character sequence predicted by a visual recognition (VR) model, which ignore the 2D spatial context of visual semantics within and between character instances, making them not generalize well to arbitrary shape scene text. To address this issue, we make the first attempt to perform textual reasoning based on visual semantics in this paper. Technically, given the character segmentation maps predicted by a VR model, we construct a subgraph for each instance, where nodes represent the pixels in it and edges are added between nodes based on their spatial similarity. Then, these subgraphs are sequentially connected by their root nodes and merged into a complete graph. Based on this graph, we devise a graph convolutional network for textual reasoning (GTR) by supervising it with a cross-entropy loss. GTR can be easily plugged in representative STR models to improve their performance owing to better textual reasoning. Specifically, we construct our model, namely S-GTR, by paralleling GTR to the language model in a segmentation-based STR baseline, which can effectively exploit the visual-linguistic complementarity via mutual learning. S-GTR sets new state-of-the-art on six challenging STR benchmarks and generalizes well to multi-linguistic datasets. Code is available at https://github.com/adeline-cs/GTR.


title: Multi-initialization Optimization Network for Accurate 3D Human Pose and Shape Estimation

abstract: 3D human pose and shape recovery from a monocular RGB image is a challenging task. Existing learning based methods highly depend on weak supervision signals, e.g. 2D and 3D joint location, due to the lack of in-the-wild paired 3D supervision. However, considering the 2D-to-3D ambiguities existed in these weak supervision labels, the network is easy to get stuck in local optima when trained with such labels. In this paper, we reduce the ambituity by optimizing multiple initializations. Specifically, we propose a three-stage framework named Multi-Initialization Optimization Network (MION). In the first stage, we strategically select different coarse 3D reconstruction candidates which are compatible with the 2D keypoints of input sample. Each coarse reconstruction can be regarded as an initialization leads to one optimization branch. In the second stage, we design a mesh refinement transformer (MRT) to respectively refine each coarse reconstruction result via a self-attention mechanism. Finally, a Consistency Estimation Network (CEN) is proposed to find the best result from mutiple candidates by evaluating if the visual evidence in RGB image matches a given 3D reconstruction. Experiments demonstrate that our Multi-Initialization Optimization Network outperforms existing 3D mesh based methods on multiple public benchmarks.


title: Inverse source problems for the stochastic wave equations: far-field patterns

abstract: This paper addresses the direct and inverse source problems for the stochastic acoustic, biharmonic, electromagnetic, and elastic wave equations in a unified framework. The driven source is assumed to be a centered generalized microlocally isotropic Gaussian random field, whose covariance and relation operators are classical pseudo-differential operators. Given the random source, the direct problems are shown to be well-posed in the sense of distributions and the regularity of the solutions are given. For the inverse problems, we demonstrate by ergodicity that the principal symbols of the covariance and relation operators can be uniquely determined by a single realization of the far-field pattern averaged over the frequency band with probability one.


title: Tractable and Near-Optimal Adversarial Algorithms for Robust Estimation in Contaminated Gaussian Models

abstract: Consider the problem of simultaneous estimation of location and variance matrix under Huber's contaminated Gaussian model. First, we study minimum $f$-divergence estimation at the population level, corresponding to a generative adversarial method with a nonparametric discriminator and establish conditions on $f$-divergences which lead to robust estimation, similarly to robustness of minimum distance estimation. More importantly, we develop tractable adversarial algorithms with simple spline discriminators, which can be implemented via nested optimization such that the discriminator parameters can be fully updated by maximizing a concave objective function given the current generator. The proposed methods are shown to achieve minimax optimal rates or near-optimal rates depending on the $f$-divergence and the penalty used. This is the first time such near-optimal error rates are established for adversarial algorithms with linear discriminators under Huber's contamination model. We present simulation studies to demonstrate advantages of the proposed methods over classic robust estimators, pairwise methods, and a generative adversarial method with neural network discriminators.


title: Robust Secretary and Prophet Algorithms for Packing Integer Programs

abstract: We study the problem of solving Packing Integer Programs (PIPs) in the online setting, where columns in $[0,1]^d$ of the constraint matrix are revealed sequentially, and the goal is to pick a subset of the columns that sum to at most $B$ in each coordinate while maximizing the objective. Excellent results are known in the secretary setting, where the columns are adversarially chosen, but presented in a uniformly random order. However, these existing algorithms are susceptible to adversarial attacks: they try to "learn" characteristics of a good solution, but tend to over-fit to the model, and hence a small number of adversarial corruptions can cause the algorithm to fail. In this paper, we give the first robust algorithms for Packing Integer Programs, specifically in the recently proposed Byzantine Secretary framework. Our techniques are based on a two-level use of online learning, to robustly learn an approximation to the optimal value, and then to use this robust estimate to pick a good solution. These techniques are general and we use them to design robust algorithms for PIPs in the prophet model as well, specifically in the Prophet-with-Augmentations framework. We also improve known results in the Byzantine Secretary framework: we make the non-constructive results algorithmic and improve the existing bounds for single-item and matroid constraints.


title: The Serverless Computing Survey: A Technical Primer for Design Architecture

abstract: The development of cloud infrastructures inspires the emergence of cloud-native computing. As the most promising architecture for deploying microservices, serverless computing has recently attracted more and more attention in both industry and academia. Due to its inherent scalability and flexibility, serverless computing becomes attractive and more pervasive for ever-growing Internet services. Despite the momentum in the cloud-native community, the existing challenges and compromises still wait for more advanced research and solutions to further explore the potentials of the serverless computing model. As a contribution to this knowledge, this article surveys and elaborates the research domains in the serverless context by decoupling the architecture into four stack layers: Virtualization, Encapsule, System Orchestration, and System Coordination. Inspired by the security model, we highlight the key implications and limitations of these works in each layer, and make suggestions for potential challenges to the field of future serverless computing.


title: Tempering of Au nanoclusters: capturing the temperature-dependent competition among structural motifs

abstract: A computational approach to determine the equilibrium structures of nanoclusters in the whole temperature range from 0 K to melting is developed. Our approach relies on Parallel Tempering Molecular Dynamics (PTMD) simulations complemented by Harmonic Superposition Approximation (HSA) calculations and global optimization searches, thus combining the accuracy of global optimization and HSA in describing the low-energy part of configuration space, together with the PTDM thorough sampling of high-energy configurations. This combined methodology is shown to be instrumental towards revealing the temperature-dependent structural motifs in Au nanoclusters of sizes 90, 147, and 201 atoms. The reported phenomenology is particularly rich, displaying a size- and temperature-dependent competition between the global energy minimum and other structural motifs. In the case of Au$_{90}$ and Au$_{147}$, the global minimum is also the dominant structure at finite temperatures. In contrast, the Au$_{201}$ cluster undergoes a solid-solid transformation at low temperature (< 200 K). Results indicate that PTMD and HSA very well agree at intermediate temperatures, between 300 and 400 K. For higher temperatures, PTMD gives an accurate description of equilibrium, while HSA fails in describing the melting range. On the other hand, HSA is more efficient in catching low-temperature structural transitions. Finally, we describe the elusive structures close to the melting region which can present complex and defective geometries, that are otherwise difficult to characterize through experimental imaging.


title: Possible halo structure of $^{62,72}$Ca by forbidden-state-free locally peaked Gaussians

abstract: In order to efficiently describe nucleon orbits around a heavy core nucleus, we propose locally peaked Gaussians orthogonalized to the occupied bound states in the core. We show the advantage of those functions in both numerical stability and fast convergence by taking examples of touchstone calcium isotopes $^{62,72}$Ca in $^{60,70}{\rm Ca}+n+n$ three-body models. Both weakly bound configurations and continuum coupling effect are taken into account. We evaluate the neutron radii and the occupation probabilities of two-neutron configurations not only for the ground state but also for some particle-bound excited states by varying the strength of the core-neutron interaction. The emergence of the halo structure in the ground state depends on the energy difference between $2s_{1/2}$ and $0g_{9/2}$ orbits. Two-neutron [consisting of $(s_{1/2})^2$ configuration] and one-neutron [consisting of $(g_{9/2}s_{1/2})$ configuration] halo structure of $^{62}$Ca can coexist in narrow energy spacing provided that both of $2s_{1/2}$ and $0g_{9/2}$ orbits are almost degenerate and barely bound. The ground-state structure of $^{72}$Ca is likely to be a two-neutron halo, although its emergence depends on the position of the $2s_{1/2}$ level.


title: Difference of Composition operators over Bergman spaces with exponential weights

abstract: In this paper, we obtain a complete characterization for the compact difference of two composition operators acting on Bergman spaces with weight $\omega=e^{-\eta}$, $\Delta\eta>0$ in terms of the $\eta$-derived pseudodistance of two analytic self maps. In addition, we provide simple inducing maps which support our main result. We also study the topological path component of the space of all bounded composition operators on $A^2(\omega)$ endowed with the Hilbert-Schmidt norm topology.


title: Not All Voxels Are Equal: Semantic Scene Completion from the Point-Voxel Perspective

abstract: We revisit Semantic Scene Completion (SSC), a useful task to predict the semantic and occupancy representation of 3D scenes, in this paper. A number of methods for this task are always based on voxelized scene representations for keeping local scene structure. However, due to the existence of visible empty voxels, these methods always suffer from heavy computation redundancy when the network goes deeper, and thus limit the completion quality. To address this dilemma, we propose our novel point-voxel aggregation network for this task. Firstly, we transfer the voxelized scenes to point clouds by removing these visible empty voxels and adopt a deep point stream to capture semantic information from the scene efficiently. Meanwhile, a light-weight voxel stream containing only two 3D convolution layers preserves local structures of the voxelized scenes. Furthermore, we design an anisotropic voxel aggregation operator to fuse the structure details from the voxel stream into the point stream, and a semantic-aware propagation module to enhance the up-sampling process in the point stream by semantic labels. We demonstrate that our model surpasses state-of-the-arts on two benchmarks by a large margin, with only depth images as the input.


title: nvBench: A Large-Scale Synthesized Dataset for Cross-Domain Natural Language to Visualization Task

abstract: NL2VIS - which translates natural language (NL) queries to corresponding visualizations (VIS) - has attracted more and more attention both in commercial visualization vendors and academic researchers. In the last few years, the advanced deep learning-based models have achieved human-like abilities in many natural language processing (NLP) tasks, which clearly tells us that the deep learning-based technique is a good choice to push the field of NL2VIS. However, a big balk is the lack of benchmarks with lots of (NL, VIS) pairs. We present nvBench, the first large-scale NL2VIS benchmark, containing 25,750 (NL, VIS) pairs from 750 tables over 105 domains, synthesized from (NL, SQL) benchmarks to support cross-domain NL2VIS task. The quality of nvBench has been extensively validated by 23 experts and 300+ crowd workers. Deep learning-based models training using nvBench demonstrate that nvBench can push the field of NL2VIS.


title: Learning Aligned Cross-Modal Representation for Generalized Zero-Shot Classification

abstract: Learning a common latent embedding by aligning the latent spaces of cross-modal autoencoders is an effective strategy for Generalized Zero-Shot Classification (GZSC). However, due to the lack of fine-grained instance-wise annotations, it still easily suffer from the domain shift problem for the discrepancy between the visual representation of diversified images and the semantic representation of fixed attributes. In this paper, we propose an innovative autoencoder network by learning Aligned Cross-Modal Representations (dubbed ACMR) for GZSC. Specifically, we propose a novel Vision-Semantic Alignment (VSA) method to strengthen the alignment of cross-modal latent features on the latent subspaces guided by a learned classifier. In addition, we propose a novel Information Enhancement Module (IEM) to reduce the possibility of latent variables collapse meanwhile encouraging the discriminative ability of latent variables. Extensive experiments on publicly available datasets demonstrate the state-of-the-art performance of our method.


title: 1-to-1 or 1-to-n? Investigating the effect of function inlining on binary similarity analysis

abstract: Binary similarity analysis is critical to many code-reuse-related issues and "1-to-1" mechanism is widely applied, where one function in a binary file is matched against one function in a source file or binary file. However, we discover that function mapping is a more complex problem of "1-to-n" or even "n-to-n" due to the existence of function inlining. In this paper, we investigate the effect of function inlining on binary similarity analysis. We first construct 4 inlining-oriented datasets for four similarity analysis tasks, including code search, OSS reuse detection, vulnerability detection, and patch presence test. Then, we further study the extent of function inlining, the performance of existing works under function inlining, and the effectiveness of existing inlining-simulation strategies. Results show that the proportion of function inlining can reach nearly 70%, while most existing works neglect it and use "1-to-1" mechanism. The mismatches cause a 30% loss in performance during code search and a 40% loss during vulnerability detection. Moreover, two existing inlining-simulation strategies can only recover 60% of the inlined functions. We discover that inlining is usually cumulative when optimization increases. Conditional inlining and incremental inlining are suggested to design low-cost and high-coverage inlining-simulation strategies.


title: Three-dimensional fundamental diagram of particle system of 5 neighbors with two conserved densities

abstract: We discuss a particle system of 5 neighbors with two independent conserved densities. The mean momentum uniquely depends on a pair of the densities and a three-dimensional fundamental diagram is obtained. It shows the phase transition of behavior of asymptotic solution to the system. Moreover, we propose two other systems which have the similar unique dependency obtained numerically.

categories: math-ph cond-mat.stat-mech math.MP nlin.CG nlin.SI


title: Black branes with cosmological constant

abstract: We study neutral black branes with flat and curved worldvolumes in the presence of a negative cosmological constant. We reduce the equations governing the dynamics of such objects to one second--order ODE and perform various asymptotic expansions of the resulting equation. We also analyze regular geometries which have the same symmetries as the branes and interpolate between an empty interior and AdS asymptotics. We show that the dynamics of such spacetimes is governed by the Abel equation.


title: Quark-quark interaction and quark matter in neutron stars

abstract: Hyperon ($Y$) mixing in neutron-star matter brings about a remarkable softening of the equation of state (EoS) and the maximum mass is reduced to a value far less than $2M_{\odot}$. One idea to avoid this "hyperon puzzle in neutron stars" is to assume that the many-body repulsions work universally for every kind of baryons. The other is to take into account the quark deconfinement phase transitions from a hadronic EoS to a sufficiently stiff quark-matter EoS. In the present approach, both effects are handled in a common framework. As well as the hadronic matter, the quark matter with the two-body quark-quark interactions are treated within the Brueckner-Bethe-Goldstone theory beyond the mean field frameworks, where interaction parameters are based on the terrestrial data. The derived mass-radius relations of neutron stars show that maximum masses reach over $2M_{\odot}$ even in the cases of including hadron-quark phase transitions, being consistent with the recent observations for maximum masses and radii of neutron stars by the NICER measurements and the other multimessenger data.


title: Coupled effects of channels and synaptic dynamics in stochastic modelling of healthy and Parkinson's-disease-affected brains

abstract: Our brain is a complex information processing network in which the nervous system receives information from the environment to quickly react to incoming events or learns from experience to sharp our memory. In the nervous system, the brain states translate collective activities of neurons interconnected via synaptic connections. In this paper, we study coupled effects of channels and synaptic dynamics under the stochastic influence of healthy brain cells with applications to Parkinson's disease (PD). In particular, we investigate the effects of random inputs in a subthalamic nucleus (STN) cell membrane potential model. The STN bursting phenomena and parkinsonian hypokinetic motor symptoms are closely connected, as electrical and chemical maneuvers modulating STN bursts are sufficient to ameliorate or mimic parkinsonian motor deficits. Deep brain stimulation (DBS) of the STN is an important surgical technique used in the treatment to improve PD symptoms. Our numerical results show that the random inputs strongly affect the spiking activities of the STN neuron not only in the case of healthy cells but also in the case of PD cells in the presence of DBS treatment. Specifically, the existence of a random refractory period together with random input current in the system may substantially influence an increased irregularity of spike trains of the output neurons.


title: Constrained tensor factorization for computational phenotyping and mortality prediction in patients with cancer

abstract: Background: The increasing adoption of electronic health records (EHR) across the US has created troves of computable data, to which machine learning methods have been applied to extract useful insights. EHR data, represented as a three-dimensional analogue of a matrix (tensor), is decomposed into two-dimensional factors that can be interpreted as computational phenotypes. Methods: We apply constrained tensor factorization to derive computational phenotypes and predict mortality in cohorts of patients with breast, prostate, colorectal, or lung cancer in the Northwestern Medicine Enterprise Data Warehouse from 2000 to 2015. In our experiments, we examined using a supervised term in the factorization algorithm, filtering tensor co-occurrences by medical indication, and incorporating additional social determinants of health (SDOH) covariates in the factorization process. We evaluated the resulting computational phenotypes qualitatively and by assessing their ability to predict five-year mortality using the area under the curve (AUC) statistic. Results: Filtering by medical indication led to more concise and interpretable phenotypes. Mortality prediction performance (AUC) varied under the different experimental conditions and by cancer type (breast: 0.623 - 0.694, prostate: 0.603 - 0.750, colorectal: 0.523 - 0.641, and lung: 0.517 - 0.623). Generally, prediction performance improved with the use of a supervised term and the incorporation of SDOH covariates. Conclusion: Constrained tensor factorization, applied to sparse EHR data of patients with cancer, can discover computational phenotypes predictive of five-year mortality. The incorporation of SDOH variables into the factorization algorithm is an easy-to-implement and effective way to improve prediction performance.


title: Fully nonlinear elliptic equations on compact manifolds with a flat hyperK\"ahler metric

abstract: Mainly motivated by a conjecture of Alesker and Verbitsky, we study a class of fully non-linear elliptic equations on certain compact hyperhermitian manifolds. By adapting the approach of Sz\'{e}kelyhidi to the hypercomplex setting, we prove some a priori estimates for solutions to such equations under the assumption of existence of $\mathcal{C}$-subsolutions. In the estimate of the quaternionic Laplacian, we need to further assume the existence of a flat hyperk\"ahler metric. As an application of our results we prove that the quaternionic analogue of the Hessian equation and Monge-Amp\`ere equation for $(n-1)$-plurisubharmonic functions can always be solved on compact flat hyperk\"ahler manifolds.


title: The evolution of barred galaxies in the EAGLE simulations

abstract: We study the morphologies of 3,964 galaxies and their progenitors with $M_\star > 10^{10} M_\odot$ in the reference EAGLE hydrodynamical simulation from redshifts $z=1$ to $z=0$, concentrating on the redshift evolution of the bar fraction. We apply two convolutional neural networks (CNNs) to classify 35,082 synthetic g-band images across 10 snapshots in redshift. We identify galaxies as either barred or unbarred, while also classifying each sample into one of four morphological types: elliptical (E), lenticular (S0), spiral (Sp), and irregular/miscellaneous (IrrM). We find that the bar fraction is roughly constant between $z = 0.0$ to $z = 0.5$ (32% to 33%), before exhibiting a general decline to 26% out to $z = 1$. The bar fraction is highest in spiral galaxies, from 49% at $z = 0$ to 39% at $z = 1$. The bar fraction in S0s is lower, ranging from 22% to 18%, with similar values for the miscellaneous category. Under 5% of ellipticals were classified as barred. We find that the bar fraction is highest in low mass galaxies ($M_\star \leq 10^{10.5} M_\odot$). Through tracking the evolution of galaxies across each snapshot, we find that some barred galaxies undergo episodes of bar creation, destruction and regeneration, with a mean bar lifetime of 2.24 Gyr. We further find that incidences of bar destruction are more commonly linked to major merging, while minor merging and accretion is linked to both bar creation and destruction.


title: Decoding gender differences: Intellectual profiles of children with specific learning disabilities

abstract: There has been a significant amount of debate around gender differences in intellectual functioning, however, most of this research concerns typically developing populations and lacks research into atypically developing populations and those with specific learning disabilities (SLD). To address this, we examined performance on the WISC-IV in children with SLDs (N=1238, N female= 539, Age range = 7-16 years). We further divided the sample into those with specific deficits in reading, mathematics, and those with mixed disorder. Results indicate that gender predicts significant differences in the working memory index and processing speed index only, indicating a small but significant female superiority. Results also show different profiles for the different disorders investigated, with some gender differences emerging. The most prominent gender difference appears to be in the coding subtest indicating a female advantage, particularly in those with SLDs with mathematical difficulties. We discuss the theoretical and clinical implications of the findings.


title: Counting substructures and eigenvalues I: triangles

abstract: Motivated by the counting results for color-critical subgraphs by Mubayi [Adv. Math., 2010], we study the phenomenon behind Mubayi's theorem from a spectral perspective and start up this problem with the fundamental case of triangles. We prove tight bounds on the number of copies of triangles in a graph with a prescribed number of vertices and edges and spectral radius. Let $n$ and $m$ be the order and size of a graph. Our results extend those of Nosal, who proved there is one triangle if the spectral radius is more than $\sqrt{m}$, and of Rademacher, who proved there are at least $\lfloor\frac{n}{2}\rfloor$ triangles if the number of edges is more than that of 2-partite Tur\'an graph. These results, together with two spectral inequalities due to Bollob\'as and Nikiforov, can be seen as a solution to the case of triangles of a problem of finding spectral versions of Mubayi's theorem. In addition, we give a short proof of the following inequality due to Bollob\'as and Nikiforov [J. Combin. Theory Ser. B, 2007]: $t(G)\geq \frac{\lambda(G)(\lambda^2(G)-m)}{3}$ and characterize the extremal graphs. Some problems are proposed in the end.


title: Counterfactual Memorization in Neural Language Models

abstract: Modern neural language models that are widely used in various NLP tasks risk memorizing sensitive information from their training data. Understanding this memorization is important in real world applications and also from a learning-theoretical perspective. An open question in previous studies of language model memorization is how to filter out "common" memorization. In fact, most memorization criteria strongly correlate with the number of occurrences in the training set, capturing memorized familiar phrases, public knowledge, templated texts, or other repeated data. We formulate a notion of counterfactual memorization which characterizes how a model's predictions change if a particular document is omitted during training. We identify and study counterfactually-memorized training examples in standard text datasets. We estimate the influence of each memorized training example on the validation set and on generated texts, showing how this can provide direct evidence of the source of memorization at test time.


title: Realtime Global Attention Network for Semantic Segmentation

abstract: In this paper, we proposed an end-to-end realtime global attention neural network (RGANet) for the challenging task of semantic segmentation. Different from the encoding strategy deployed by self-attention paradigms, the proposed global attention module encodes global attention via depth-wise convolution and affine transformations. The integration of these global attention modules into a hierarchy architecture maintains high inferential performance. In addition, an improved evaluation metric, namely MGRID, is proposed to alleviate the negative effect of non-convex, widely scattered ground-truth areas. Results from extensive experiments on state-of-the-art architectures for semantic segmentation manifest the leading performance of proposed approaches for robotic monocular visual perception.


title: Analyzing Scientific Publications using Domain-Specific Word Embedding and Topic Modelling

abstract: The scientific world is changing at a rapid pace, with new technology being developed and new trends being set at an increasing frequency. This paper presents a framework for conducting scientific analyses of academic publications, which is crucial to monitor research trends and identify potential innovations. This framework adopts and combines various techniques of Natural Language Processing, such as word embedding and topic modelling. Word embedding is used to capture semantic meanings of domain-specific words. We propose two novel scientific publication embedding, i.e., PUB-G and PUB-W, which are capable of learning semantic meanings of general as well as domain-specific words in various research fields. Thereafter, topic modelling is used to identify clusters of research topics within these larger research fields. We curated a publication dataset consisting of two conferences and two journals from 1995 to 2020 from two research domains. Experimental results show that our PUB-G and PUB-W embeddings are superior in comparison to other baseline embeddings by a margin of ~0.18-1.03 based on topic coherence.


title: Anisotropic thermal expansion and electronic transitions in the Co$_3$BO$_5$ ludwigite

abstract: The investigations of the crystal structure, magnetic and electronic properties of the Co$_3$BO$_5$ at high temperatures were carried out using powder x-ray diffraction, magnetic susceptibility, electrical resistivity, and thermopower measurements. The orthorhombic symmetry (Sp.gr. Pbam) was established at 300 K and no evidence of structural phase transitions was found up to 1000 K. The thermal expansion of the crystal lattice is strongly anisotropic. At $T<T_c=550$ K, a large thermal expansion along the c-axis is observed with simultaneous contraction along a-axis. The activation energy of the conductivity decreases significantly at high temperatures and follows the thermal expansion variation, that exhibits two electronic transitions at ~500 and ~700 K, in coincidence with the anomalies of the heat capacity. Electronic transport was found to be a dominant conduction mechanism in the entire temperature range. The temperature dependence of the effective magnetic moment reflects the evolution of the spin state of Co$^{3+}$ ions towards the spin crossover to a high spin state. The interrelation between the crystal structure and electronic properties is discussed.


title: Accuracy and Application Scope Analysis for Linearized Branch Flow Model in Radial Distribution Systems

abstract: An in-depth analysis of linearized branch flow (LBF) model considering current injection and absolute value of impedance is proposed in this paper. The form of LBF model is based on two equations: the current injection to meet KCL and the voltage drop to meet KVL. By representing the absolute value of complex load power with the current injection, LBF model is much simpler than alternating current power flow (ACPF) model. The results on theoretical analysis and numerical studies show that LBF exhibits the high accuracy in bus voltage magnitude but a poor performance in branch flow. Moreover, LBF is also compared with fast decoupled linearized power flow (FDLPF) model to verify its efficiency, thus proving its superiority for fast evaluation of large-scale distribution systems with high accuracy in voltage magnitude. Finally, this paper analyzes three factors to lower LBF's errors of branch flow, as well as LBF's possible application scope.


title: Generalized L-functions for meromorphic modular forms and their relation to the Riemann zeta function

abstract: In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written in terms of the Riemann zeta function.


title: Multiple RIS-Assisted Mixed FSO-RF Transmission Over Generalized Fading Channels

abstract: In this paper, we analyze the performance of a reconfigurable intelligent surface (RIS)-assisted multi-hop transmission by employing multiple RIS units to enable favorable communication for a mixed free-space optical (FSO) and radio-frequency (RF) system. We consider a single-element RIS since it is hard to realize phase compensation for multiple-element RIS in the multi-hop scenario. We develop statistical results for the product of the signal-to-noise ratio (SNR) of the cascaded multiple RIS-equipped wireless communication. We use decode-and-forward (DF) and fixed-gain (FG) relaying protocols to mix multi-RIS transmissions over RF and FSO technologies and derive probability density and distribution functions for both the relaying schemes by considering independent and nonidentical double generalized gamma (dGG) distribution models for RF transmissions with line-of-sight (LOS) and inverse-Gamma shadowing effect and atmospheric turbulence for FSO system combined with pointing errors. We analyze the outage probability, and average bit-error rate (BER) performance of the considered system. We also present an asymptotic analysis of the outage probability using gamma functions to provide insight into the considered system in the high SNR regime. We use computer simulations to validate the derived analytical expressions and demonstrate the performance for different system parameters on the RIS-assisted multi-hop transmissions for a vehicular communication system.


title: Short composite rotation robust against two common systematic errors

abstract: Systematic errors hinder precise quantum control. Pulse length errors (PLEs) and off-resonance errors (OREs) are typical systematic errors that are encountered during one-qubit control. A composite pulse (CP) can help compensate for the effects of systematic errors during quantum operation. Several CPs that are robust against either PLE or ORE have been identified. However, few attempts have been made to construct CPs that are robust against both errors (bi-robust). We develop a novel bi-robust CP for one-qubit operations by modifying a PLE robust CP, which exhibits a shorter operation time than that of previously developed bi-robust CPs.


title: Redy: Remote Dynamic Memory Cache

abstract: Redy is a cloud service that provides high performance caches using RDMA-accessible remote memory. An application can customize the performance of each cache with a service level objective (SLO) for latency and throughput. By using remote memory, it can leverage stranded memory and spot VM instances to reduce the cost of its caches and improve data center resource utilization. Redy automatically customizes the resource configuration for the given SLO, handles the dynamics of remote memory regions, and recovers from failures. The experimental evaluation shows that Redy can deliver its promised performance and robustness under remote memory dynamics in the cloud. We augment a production key-value store, FASTER, with a Redy cache. When the working set exceeds local memory, using Redy is significantly faster than spilling to SSDs.


title: Error Estimates of a Fully Discrete Multiphysics Finite Element Method for a Nonlinear Poroelasticity Model

abstract: In this paper, we propose a multiphysics finite element method for a nonlinear poroelasticity model. To better describe the processes of deformation and diffusion, we firstly reformulate the nonlinear fluid-solid coupling problem into a fluid-fluid coupling problem by a multiphysics approach. Then we design a fully discrete time-stepping scheme to use multiphysics finite element method with $P_2-P_1-P_1$ element pairs for the space variables and backward Euler method for the time variable, and we adopt the Newton iterative method to deal with the nonlinear term. Also, we derive the discrete energy laws and the optimal convergence order error estimates without any assumption on the nonlinear stress-strain relation. Finally, we show some numerical examples to verify the rationality of theoretical analysis and there is no "locking phenomenon".


title: A new ranking scheme for modern data and its application to two-sample hypothesis testing

abstract: Rank-based approaches are among the most popular nonparametric methods for univariate data in tackling statistical problems such as hypothesis testing due to their robustness and effectiveness. However, they are unsatisfactory for more complex data. In the era of big data, high-dimensional and non-Euclidean data, such as networks and images, are ubiquitous and pose challenges for statistical analysis. Existing multivariate ranks such as component-wise, spatial, and depth-based ranks do not apply to non-Euclidean data and have limited performance for high-dimensional data. Instead of dealing with the ranks of observations, we propose two types of ranks applicable to complex data based on a similarity graph constructed on observations: a graph-induced rank defined by the inductive nature of the graph and an overall rank defined by the weight of edges in the graph. To illustrate their utilization, both the new ranks are used to construct test statistics for the two-sample hypothesis testing, which converge to the $\chi_2^2$ distribution under the permutation null distribution and some mild conditions of the ranks, enabling an easy type-I error control. Simulation studies show that the new method exhibits good power under a wide range of alternatives compared to existing methods. The new test is illustrated on the New York City taxi data for comparing travel patterns in consecutive months and a brain network dataset comparing male and female subjects.


title: Non-trivial bounds on 2, 3, 4, and 5-torsion in class groups of number fields, conditional on standard $L$-function conjectures

abstract: We prove new conditional bounds on the the $m$-torsion of class groups of number fields of any fixed degree, for $m=2$, $3$, $4$, and $5$. Our methods first recast the problem in the language of class groups of Galois modules, which allows us to relate these torsion subgroups to Selmer groups of elliptic curves. We then obtain a global estimate using the refined BSD conjecture, in a similar way to how one normally uses the Brauer-Siegel bound. Our methods are potentially very general, but rely on the existence of motives with very special $\mathbb{Z}/m\mathbb{Z}$-cohomology. In particular, the restriction to $m=2$, $3$, $4$, and $5$ stems from needing an elliptic curve over $\mathbb{Q}$ with $m$-torsion subgroup isomorphic to $\mathbb{Z}/m\mathbb{Z}\oplus\mu_m$.


title: Chirality dependence in charge and heat transport in thermal QCD

abstract: In the presence of weak magnetic field ($B$), novel phenomena, similar to Hall effect in condensed matter physics, emerge both in charge and heat transport in a thermal QCD medium. Here, we have employed the kinetic theory approach within a quasiparticle framework, wherein the effective masses for left (L) and right-handed (R) chiral modes of quarks are seen different, lifting the prevalent degeneracy. Another implication of weak $B$ is that the coefficients assume a tensorial structure: The diagonal elements represent the usual conductivities: $\sigma_{\text{Ohmic}}$ and $\kappa_0$ as the coefficients of charge and heat transport, respectively and the off-diagonal elements denote their Hall counterparts: $\sigma_{\text{Hall}}$ and $\kappa_1$, respectively. Finally, we have derived some coefficients, namely, the Knudsen number and Lorenz number in Wiedemann-Franz law. Lorenz number and Hall-Lorenz number for L-mode increases and for R-mode decreases with a magnetic field. it does not remain constant with $T$ hence violating the Wiedemann-Franz law.


title: Effect of incoherent electron-hole pairs on high harmonic generation in an atomically thin semiconductor

abstract: High harmonic generation (HHG) in solids reflects the underlying nonperturbative nonlinear dynamics of electrons in a strong light field and is a powerful tool for ultrafast spectroscopy of electronic structures. Photo-carrier doping allows us to understand the carrier dynamics and the correlations between the carriers in the HHG process. Here, we study the effect of incoherent electron-hole pairs on HHG in an atomically thin semiconductor. The experimentally observed response to photo-carrier doping is successfully reproduced in numerical simulations incorporating the photo-excited carrier distribution, excitonic Coulomb interaction and electron-electron scattering effects. The simulation results reveal that the presence of photo-carriers enhances the intraband current that contributes to high harmonics below the absorption edge. We also clarify that the excitation-induced dephasing process rather than the phase-space filling effect is the dominant mechanism reducing the higher order harmonics above the absorption edge. Our work provides a deeper understanding of high harmonic spectroscopy and the optimum conditions for generating extreme ultraviolet light from solids.


title: Measurements using a prototype array of plastic scintillator bars for reactor based electron anti-neutrino detection

abstract: We report measurement of reactor based electron anti-neutrinos from a prototype array of plastic scintillator bars ( mini-ISMRAN ) located inside Dhruva research reactor hall, BARC. The detector setup took data for 128 days for reactor on (RON) and 51 days for reactor off (ROFF) condition. A detailed analysis procedure is developed to select the anti-neutrino candidate events based on the energy deposition, number of bars hit as well as topological event selection criteria in position and time. Each of these selection criteria are compared with Monte Carlo based simulations and further an embedding technique is used to estimate the efficiencies from a data driven background study. The obtained anti-neutrino like events in RON condition are 218 $\pm$ 50 (stat) $\pm$ 37 (sys) after background subtraction. The obtained results are compared with theoretical estimation which yields 214 $\pm$ 32 (sys) anti-neutrino events for the RON condition.


title: Supraventricular Tachycardia Detection and Classification Model of ECG signal Using Machine Learning

abstract: Investigation on the electrocardiogram (ECG) signals is an essential way to diagnose heart disease since the ECG process is noninvasive and easy to use. This work presents a supraventricular arrhythmia prediction model consisting of a few stages, including filtering of noise, a unique collection of ECG characteristics, and automated learning classifying model to classify distinct types, depending on their severity. We de-trend and de-noise a signal to reduce noise to better determine functionality before extractions are performed. After that, we present one R-peak detection method and Q-S detection method as a part of necessary feature extraction. Next parameters are computed that correspond to these features. Using these characteristics, we have developed a classification model based on machine learning that can successfully categorize different types of supraventricular tachycardia. Our findings suggest that decision-tree-based models are the most efficient machine learning models for supraventricular tachycardia arrhythmia. Among all the machine learning models, this model most efficiently lowers the crucial signal misclassification of supraventricular tachycardia. Experimental results indicate satisfactory improvements and demonstrate a superior efficiency of the proposed approach with 97% accuracy.


title: Sensitivity studies on the CKM angle $\gamma$ in $\Lambda_b^0 \to D\Lambda$ decays

abstract: The sensitivity of the CKM angle $\gamma$ in $\Lambda_b^0 \to D \Lambda$ decays has been studied using the decay parameter $\alpha$ as an observable in addition to the decay rate asymmetry. Feasibility studies show that adding this observable improves the sensitivity on $\gamma$ by up to 60\% and makes the decays one of the most promising places to measure angle $\gamma$ and to search for $C\!P$ violation in $b$-baryon decays.


title: Deep ensembles in bioimage segmentation

abstract: Semantic segmentation consists in classifying each pixel of an image by assigning it to a specific label chosen from a set of all the available ones. During the last few years, a lot of attention shifted to this kind of task. Many computer vision researchers tried to apply autoencoder structures to develop models that can learn the semantics of the image as well as a low-level representation of it. In an autoencoder architecture, given an input, an encoder computes a low dimensional representation of the input that is then used by a decoder to reconstruct the original data. In this work, we propose an ensemble of convolutional neural networks (CNNs). In ensemble methods, many different models are trained and then used for classification, the ensemble aggregates the outputs of the single classifiers. The approach leverages on differences of various classifiers to improve the performance of the whole system. Diversity among the single classifiers is enforced by using different loss functions. In particular, we present a new loss function that results from the combination of Dice and Structural Similarity Index. The proposed ensemble is implemented by combining different backbone networks using the DeepLabV3+ and HarDNet environment. The proposal is evaluated through an extensive empirical evaluation on two real-world scenarios: polyp and skin segmentation. All the code is available online at https://github.com/LorisNanni.


title: Machine Learning-based Efficient Ventricular Tachycardia Detection Model of ECG Signal

abstract: In primary diagnosis and analysis of heart defects, an ECG signal plays a significant role. This paper presents a model for the prediction of ventricular tachycardia arrhythmia using noise filtering, a unique set of ECG features, and a machine learning-based classifier model. Before signal feature extraction, we detrend and denoise the signal to eliminate the noise for detecting features properly. After that necessary features have been extracted and necessary parameters related to these features are measured. Using these parameters, we prepared one efficient multiclass classifier model using a machine learning approach that can classify different types of ventricular tachycardia arrhythmias efficiently. Our results indicate that Logistic regression and Decision tree-based models are the most efficient machine learning models for detecting ventricular tachycardia arrhythmia. In order to diagnose heart diseases and find care for a patient, an early, reliable diagnosis of different types of arrhythmia is necessary. By implementing our proposed method, this work deals with the problem of reducing the misclassification of the critical signal related to ventricular tachycardia very efficiently. Experimental findings demonstrate satisfactory enhancements and demonstrate high resilience to the algorithm that we have proposed. With this assistance, doctors can assess this type of arrhythmia of a patient early and take the right decision at the proper time.


title: Temporal epistasis inference from more than 3,500,000 SARS-CoV-2 Genomic Sequences

abstract: We use Direct Coupling Analysis (DCA) to determine epistatic interactions between loci of variability of the SARS-CoV-2 virus, segmenting genomes by month of sampling. We use full-length, high-quality genomes from the GISAID repository up to October 2021, in total over 3,500,000 genomes. We find that DCA terms are more stable over time than correlations, but nevertheless change over time as mutations disappear from the global population or reach fixation. Correlations are enriched for phylogenetic effects, and in particularly statistical dependencies at short genomic distances, while DCA brings out links at longer genomic distance. We discuss the validity of a DCA analysis under these conditions in terms of a transient Quasi-Linkage Equilibrium state. We identify putative epistatic interaction mutations involving loci in Spike.


title: Most probable transition paths in piecewise-smooth stochastic differential equations

abstract: We develop a path integral framework for determining most probable paths in a class of systems of stochastic differential equations with piecewise-smooth drift and additive noise. This approach extends the Freidlin-Wentzell theory of large deviations to cases where the system is piecewise-smooth and may be non-autonomous. In particular, we consider an $n-$dimensional system with a switching manifold in the drift that forms an $(n-1)-$dimensional hyperplane and investigate noise-induced transitions between metastable states on either side of the switching manifold. To do this, we mollify the drift and use $\Gamma-$convergence to derive an appropriate rate functional for the system in the piecewise-smooth limit. The resulting functional consists of the standard Freidlin-Wentzell rate functional, with an additional contribution due to times when the most probable path slides in a crossing region of the switching manifold. We explore implications of the derived functional through two case studies, which exhibit notable phenomena such as non-unique most probable paths and noise-induced sliding in a crossing region.


title: Influence of Sequential Changes in the Crude Oil-Water Interfacial Tension on Spontaneous Imbibition in Oil-Wet Sandstone

abstract: Crude oil-water interfacial tension in petroleum reservoir is reduced or increased due to surfactant injection or surfactant retention, respectively. Changes in the interfacial tension crucially attribute to a governing capillary pressure and hence an oil displacement in spontaneous imbibition process. The current study attempts to elucidate an influence of such changes on spontaneous imbibition by replacing surfactant concentration consecutively with two approaches: sequential decrease and sequential increase in the interfacial tension. Two fluid flow directions were examined simultaneously: co-current and counter-current flows. With strongly oil-wet wettability, capillarity was a resisting element to oil displacement and therefore controlled by the oil-water interfacial tension. The sequential-reduced interfacial tension was found to weaken such resisting capillary force gradually and resulted in consecutive incremental oil production. On the contrary, the sequential-increased interfacial tension initiated the lowest interfacial tension fluid that produced an immediate large amount of oil, but did not much displace further oil. The current study observed a greater oil recovery obtained from a sequential reduction in the interfacial tension scheme (26.9%) compared to a conventional single reduction scheme (22.4%), with both schemes attaining same interfacial tension at last. In counter-current imbibition, same characteristics of oil displacement were observed as in co-current imbibition, with less oil produced and less sensitive to fluid changes due to negligible gravitational contribution.


title: Observation of nonlocal Josephson effect on double InAs nanowires

abstract: Short-range coherent coupling of two Josephson junctions (JJs) are predicted to generate a supercurrent in one JJ nonlocally modulated by the phase difference in the other. We report on observation of the nonlocal Josephson effect on double InAs nanowires as experimental evidence of the coherent coupling. We measured one JJ sharing one superconducting electrode with the other JJ and observed switching current oscillation as a control of the nonlocal phase difference. Our result is an important step toward engineering of novel superconducting phenomena with the short-range coherent coupling.


title: Optimal Model Averaging of Support Vector Machines in Diverging Model Spaces

abstract: Support vector machine (SVM) is a powerful classification method that has achieved great success in many fields. Since its performance can be seriously impaired by redundant covariates, model selection techniques are widely used for SVM with high dimensional covariates. As an alternative to model selection, significant progress has been made in the area of model averaging in the past decades. Yet no frequentist model averaging method was considered for SVM. This work aims to fill the gap and to propose a frequentist model averaging procedure for SVM which selects the optimal weight by cross validation. Even when the number of covariates diverges at an exponential rate of the sample size, we show asymptotic optimality of the proposed method in the sense that the ratio of its hinge loss to the lowest possible loss converges to one. We also derive the convergence rate which provides more insights to model averaging. Compared to model selection methods of SVM which require a tedious but critical task of tuning parameter selection, the model averaging method avoids the task and shows promising performances in the empirical studies.


title: Minimum Steps to reach to a Smaller Number in 3n+1/Collatz Process

abstract: Through computation and analyses, we show that a non-trivial cycle number must be infinite as the cycle length goes to infinity and bounded low and above (10 times lower bounds) dependent on the cycle length. A cycle number must be $m_1\geq978$ at the cycle length $s=485$; as the cycle length goes up to $s=17087915$, the cycle number must be $m_1\geq46449769^{821013301}$, which is approximately equal to $2^{2\times10^{10}}$, or $10^{6\times10^{9}}$.


title: Multiple Hook Removing Game Whose Starting Position is a Rectangular Young Diagram with the Unimodal Numbering

abstract: We introduce a new impartial game, named Multiple Hook Removing Game (MHRG for short). We also determine the $\mathcal{G}$-values of some game positions (including the starting positions) in MHRG$(m,n)$, the MHRG whose starting position is the rectangular Young diagram of size $m\times n$ with the unimodal numbering. In addition, we prove that MHRG$(m,n)$ is isomorphic, as games, to MHRG$(m,n+1)$ (if $m\le n$ and $m+n$ is even), and give a relationship between MHRG$(n,n+1)$ (and MHRG$(n,n)$) and HRG$(S_n)$, the Hook Removing Game in terms of shifted Young diagrams.


title: Weyl Geometry and Quantum Corrections

abstract: Recent research in the geometric formulation of quantum theory has implied that Weyl Geometry can be used to merge quantum theory and general relativity consistently as classical field theories. In the Weyl Geometric framework, it seems that both quantum theory and gravity can merge consistently, once quantum theory is geometrized. The extended differential geometry can modify the quantum mechanical results into a more general nonlinear framework. Author shows that, how the extended differential geometry modifies the known quantum equations and also the modification to the Maxwell's electromagnetic equations.


title: Error-bounded Approximate Time Series Joins Using Compact Dictionary Representations of Time Series

abstract: The matrix profile is an effective data mining tool that provides similarity join functionality for time series data. Users of the matrix profile can either join a time series with itself using intra-similarity join (i.e., self-join) or join a time series with another time series using inter-similarity join. By invoking either or both types of joins, the matrix profile can help users discover both conserved and anomalous structures in the data. Since the introduction of the matrix profile five years ago, multiple efforts have been made to speed up the computation with approximate joins; however, the majority of these efforts only focus on self-joins. In this work, we show that it is possible to efficiently perform approximate inter-time series similarity joins with error bounded guarantees by creating a compact "dictionary" representation of time series. Using the dictionary representation instead of the original time series, we are able to improve the throughput of an anomaly mining system by at least 20X, with essentially no decrease in accuracy. As a side effect, the dictionaries also summarize the time series in a semantically meaningful way and can provide intuitive and actionable insights. We demonstrate the utility of our dictionary-based inter-time series similarity joins on domains as diverse as medicine and transportation.


title: Machine learning for Earth System Science (ESS): A survey, status and future directions for South Asia

abstract: This survey focuses on the current problems in Earth systems science where machine learning algorithms can be applied. It provides an overview of previous work, ongoing work at the Ministry of Earth Sciences, Gov. of India, and future applications of ML algorithms to some significant earth science problems. We provide a comparison of previous work with this survey, a mind map of multidimensional areas related to machine learning and a Gartner's hype cycle for machine learning in Earth system science (ESS). We mainly focus on the critical components in Earth Sciences, including atmospheric, Ocean, Seismology, and biosphere, and cover AI/ML applications to statistical downscaling and forecasting problems.


title: Skyrmion nucleation on the surface of a topological insulator

abstract: Skyrmion nucleation induced by spin-transfer torques at an interface of a topological insulator and a ferromagnetic insulator is investigated. Due to strong spin-orbit coupling on a surface of topological insulators, which enhances the effect of spin torques, efficient manipulation of skyrmions is expected, and therefore, topological insulators could provide the ideal platform to achieve high-performance skyrmionic devices. Using micromagnetic simulations and energetics, we evaluate properties of the skyrmion nucleation on a surface of topological insulators, such as nucleation time, critical electric field, and skyrmion numbers. We show that the nucleation time is inversely proportional to the applied electric field. We also identify the Gilbert damping and temperature dependencies of the critical field. Furthermore, we analytically evaluate the effect of the Dzyaloshinskii-Moriya interaction and demonstrate that the temperature dependence can be explained by the reduction of a magnon excitation gap due to the self-energy corrections.


title: Phase-field, dislocation based plasticity and damage coupled model: modelling and application to single crystal superalloys

abstract: In the present work, we propose a novel model coupling phase-field, dislocation density based plasticity and damage. The dislocation density governing equations are constructed based on evolutions of mobile and immobile dislocations. Mechanisms including dislocation multiplication, annihilation, mobile-immobile transfer due to dislocation interactions and block of interfaces are incorporated in the model. Especially, the "swallow-gap" problem surrounding the coarsened second phase, which often appears in dislocation and phase-field coupled simulations, is solved in the present model. Moreover, the phenomenon of dislocation cutting into the second phase during tertiary creep, which has rarely been considered in previous phase-field simulations of single crystal superalloys, is successfully captured in the present model with the coupling of damage. The long range stresses induced by external loading, coherent interface misfit, plastic activity and damage, as well as the short range stresses induced by antiphase boundary, dislocation line tension and forest dislocation trapping are considered in the dynamics of the model. High temperature $\langle 001 \rangle$ creep simulations of single crystal superalloys under 200 MPa and 350 MPa are conducted using the coupled model and compared with experiments. The results show that simulated phase microstructures, dislocations and creep properties principally agree with experiments during the whole creep stage, in terms of both microscopic and macroscopic features.


title: Envy-free division in the presence of a dragon

abstract: We prove several results addressing the envy-free division problem in the presence of an unpredictable (secretive) player, called the "dragon". There are two basic scenarios. 1. There are $r-1$ players and a dragon. Once the "cake" is divided into $r$ parts, the dragon makes his choice and grabs one of the pieces. After that the players want to divide the remaining pieces in an envy-free fashion. 2. There are $r+1$ players who divide the cake into $r$ pieces. A ferocious dragon comes and swallows one of the players. The players want to cut the cake in advance in such a way that no matter who is the unlucky player swallowed by the dragon, the remaining players can share the tiles in an envy-free manner. In both settings the players are allowed to choose degenerate pieces of the cake. Moreover, they construct in advance both a cut of the cake and a "decision tree", allowing them to minimize the uncertainty of what pieces can be given to each of the players.


title: SGTR: End-to-end Scene Graph Generation with Transformer

abstract: Scene Graph Generation (SGG) remains a challenging visual understanding task due to its compositional property. Most previous works adopt a bottom-up two-stage or a point-based one-stage approach, which often suffers from high time complexity or sub-optimal designs. In this work, we propose a novel SGG method to address the aforementioned issues, formulating the task as a bipartite graph construction problem. To solve the problem, we develop a transformer-based end-to-end framework that first generates the entity and predicate proposal set, followed by inferring directed edges to form the relation triplets. In particular, we develop a new entity-aware predicate representation based on a structural predicate generator that leverages the compositional property of relationships. Moreover, we design a graph assembling module to infer the connectivity of the bipartite scene graph based on our entity-aware structure, enabling us to generate the scene graph in an end-to-end manner. Extensive experimental results show that our design is able to achieve the state-of-the-art or comparable performance on two challenging benchmarks, surpassing most of the existing approaches and enjoying higher efficiency in inference. We hope our model can serve as a strong baseline for the Transformer-based scene graph generation. Code is available: https://github.com/Scarecrow0/SGTR


title: Analysis of the Delay Distribution in Cellular Networks by Using Stochastic Geometry

abstract: In this paper, with the aid of the mathematical tool of stochastic geometry, we introduce analytical and computational frameworks for the distribution of three different definitions of delay, i.e., the time that it takes for a user to successfully receive a data packet, in large-scale cellular networks. We also provide an asymptotic analysis of one of the delay distributions, which can be regarded as the packet loss probability of a given network. To mitigate the inherent computational difficulties of the obtained analytical formulations in some cases, we propose efficient numerical approximations based on the numerical inversion method, the Riemann sum, and the Beta distribution. Finally, we demonstrate the accuracy of the obtained analytical formulations and the corresponding approximations against Monte Carlo simulation results, and unveil insights on the delay performance with respect to several design parameters, such as the decoding threshold, the transmit power, and the deployment density of the base stations. The proposed methods can facilitate the analysis and optimization of cellular networks subject to reliability constraints on the network packet delay that are not restricted to the local (average) delay, e.g., in the context of delay sensitive applications.


title: Holomorphic maps from complex discs intersecting families of hypersurfaces

abstract: In this paper, we establish second main theorems for holomorphic maps with finite growth index on complex discs intersecting families of hypersurfaces (moving and fixed) in projective varieties, where the small term is detailed estimate for various cases. Our results are generalizations and extensions of many previous second main theorems for holomorphic maps from $\mathbb C$ intersecting with hypersurfaces (moving and fixed) or moving hyperplanes.


title: Design studies of a continuous-wave normal conducting buncher for European X-FEL

abstract: A three-cell 1.3 GHz, Normal Conducting (NC) buncher is designed for a possible future upgrade of the European XFEL to operate in a continuous-wave (CW) / long pulse (LP) mode. The RF geometry of the buncher is optimized for high shunt impedance, large mode separation as well as multipacting free in the operation range. The bunchersupport cavity voltage of 400 kV with an RF power dissipation of 14 kW. A tapered waveguide-based RF power coupler is designed to feed the RF power to the buncher. The RF power coupler port is optimized for field asymmetry compensation. The thermal load due to RF power dissipation is analyzed using Multiphysics simulations in CST and a simplified cooling scheme is designed.


title: A matheuristic algorithm for the single-source capacitated facility location problem and its variants

abstract: This article presents a matheuristic algorithm for the single-source capacitated facility location problem (SSCFLP) and its variants: SSCFLP with K facilities (SSCKFLP), SSCFLP with contiguous service areas (CFLSAP), and SSCFLP with K facilities and contiguous service areas (CKFLSAP). The algorithm starts from an initial solution, and iteratively improves the solution by exactly solving large neighborhood-based sub-problems. The performance of the algorithm is tested on 5 sets of SSCFLP benchmark instances. Among the 272 instances, 191 optimal solutions are found, and 35 best-known solutions are updated. For the largest set of instances with 300-1000 facilities and 300-1500 customers (Avella and Boccia 2009), the proposed algorithm outperforms existing methods in terms of the solution quality and the computational time. Furthermore, based on two geographic areas, two sets of instances are generated to test the algorithm for solving SSCFLP and its variants. The solutions found by the proposed algorithm approximate optimal solutions or the lower bounds with average gaps of 0.07% for SSCFLP, 0.22% for CFLSAP, 0.04% for SSCKFLP, and 0.13% for CKFLSAP.


title: Identification of misreported beliefs

abstract: It is well-known that subjective beliefs cannot be identified with traditional choice data unless we impose the strong assumption that preferences are state-independent. This is seen as one of the biggest pitfalls of incentivized belief elicitation. The two common approaches are either to exogenously assume that preferences are state-independent, or to use intractable elicitation mechanisms that require an awful lot of hard-to-get non-traditional choice data. In this paper we use a third approach, introducing a novel methodology that retains the simplicity of standard elicitation mechanisms without imposing the awkward state-independence assumption. The cost is that instead of insisting on full identification of beliefs, we seek identification of misreporting. That is, we elicit beliefs with a standard simple elicitation mechanism, and then by means of a single additional observation we can tell whether the reported beliefs deviate from the actual beliefs, and if so, in which direction they do.


title: Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving

abstract: Many practical engineering systems and their components have multiple performance levels and failure modes. If these systems form a monotonically increasing structure function (system model) with respect to the performance of their components and also if all of their components affect the overall system performance, then they are said to be multistate coherent systems. Traditionally, the reliability analysis of these multistate coherent systems has been carried out using paper-and-pencil or simulation based methods. The former method is often prone to human errors, while the latter requires high computational resources for large and complex systems having components with multiple operational states. As a complimentary approach, we propose to use Higher-order-logic (HOL) theorem proving to develop a sound reasoning framework to analyze the reliability of multistate coherent systems in this paper. This framework allows us to formally verify generic mathematical properties about multistate coherent systems with an arbitrary number of components and their states. Particularly, we present the HOL formalization of series and parallel multistate coherent systems and formally verify their deterministic and probabilistic properties using the HOL4 theorem prover. For illustration purposes, we present the formal reliability analysis of the multistate oil and gas pipeline to demonstrate the effectiveness of our proposed framework.


title: Homological Dimensions Relative to Preresolving Subcategories II

abstract: Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in $\mathscr{A}$, the $\mathscr{T}$-projective (respectively, $\mathscr{T}$-injective) dimensions of any two terms can sometimes induce an upper bound of that of the third term by using the same comparison expressions. We show that if $\mathscr{T}$ contains all projective (respectively, injective) objects of $\mathscr{A}$, then the above assertion holds true if and only if $\mathscr{T}$ is resolving (respectively, coresolving). As applications, we get that a left and right Noetherian ring $R$ is $n$-Gorenstein if and only if the Gorenstein projective (respectively, injective, flat) dimension of any left $R$-module is at most $n$. In addition, in several cases, for a subcategory $\mathscr{C}$ of $\mathscr{T}$, we show that the finitistic $\mathscr{C}$-projective and $\mathscr{T}$-projective dimensions of $\mathscr{A}$ are identical.


title: On Deligne's conjecture for symmetric fifth $L$-functions of modular forms

abstract: We prove Deligne's conjecture for symmetric fifth $L$-functions of elliptic newforms of weight greater than $5$. As a consequence, we establish period relations between motivic periods associated to an elliptic newform and the Betti-Whittaker periods of its symmetric cube functorial lift to ${\rm GL}_4$.


title: Integrating Physics-Based Modeling with Machine Learning for Lithium-Ion Batteries

abstract: Mathematical modeling of lithium-ion batteries (LiBs) is a primary challenge in advanced battery management. This paper proposes two new frameworks to integrate physics-based models with machine learning to achieve high-precision modeling for LiBs. The frameworks are characterized by informing the machine learning model of the state information of the physical model, enabling a deep integration between physics and machine learning. Based on the frameworks, a series of hybrid models are constructed, through combining an electrochemical model and an equivalent circuit model, respectively, with a feedforward neural network. The hybrid models are relatively parsimonious in structure and can provide considerable voltage predictive accuracy under a broad range of C-rates, as shown by extensive simulations and experiments. The study further expands to conduct aging-aware hybrid modeling, leading to the design of a hybrid model conscious of the state-of-health to make prediction. The experiments show that the model has high voltage predictive accuracy throughout a LiB's cycle life.


title: Disentanglement by Cyclic Reconstruction

abstract: Deep neural networks have demonstrated their ability to automatically extract meaningful features from data. However, in supervised learning, information specific to the dataset used for training, but irrelevant to the task at hand, may remain encoded in the extracted representations. This remaining information introduces a domain-specific bias, weakening the generalization performance. In this work, we propose splitting the information into a task-related representation and its complementary context representation. We propose an original method, combining adversarial feature predictors and cyclic reconstruction, to disentangle these two representations in the single-domain supervised case. We then adapt this method to the unsupervised domain adaptation problem, consisting of training a model capable of performing on both a source and a target domain. In particular, our method promotes disentanglement in the target domain, despite the absence of training labels. This enables the isolation of task-specific information from both domains and a projection into a common representation. The task-specific representation allows efficient transfer of knowledge acquired from the source domain to the target domain. In the single-domain case, we demonstrate the quality of our representations on information retrieval tasks and the generalization benefits induced by sharpened task-specific representations. We then validate the proposed method on several classical domain adaptation benchmarks and illustrate the benefits of disentanglement for domain adaptation.


title: X-ray spectral-timing variability of 1A 0535+262 during the 2020 giant outburst

abstract: The Be/X-ray binary 1A 0535+262 underwent a giant X-ray outburst in November 2020, peaking at $\sim1\times 10^{38}$ erg s$^{-1}$ (1--100 keV, 1.8 kpc), the brightest outburst recorded for this source so far. Our goal is to search for patterns of correlated spectral and timing behavior that can be used to characterize the accretion states in hard X-ray transient pulsars. We have studied the evolution of the spectral continuum emission using hardness-intensity diagrams and the aperiodic variability of the source. The hardness-intensity diagram displays three distinct branches that can be identified with different accretion regimes. The characteristic frequency of the noise components correlates with the luminosity. Our observations cover the highest end of this correlation, at luminosities not previously sampled. We have found evidence for a flattening of the correlation at those high luminosities, which might indicate that the accretion disk reached the closest distance from the neutron star surface during the peak of the outburst. We also find evidence for hysteresis in the spectral and timing parameters: at the same luminosity level, the spectrum is harder and the characteristic noise frequency larger during the rise than during the decay of the outburst.


title: Parameter identifiability of a deep feedforward ReLU neural network

abstract: The possibility for one to recover the parameters-weights and biases-of a neural network thanks to the knowledge of its function on a subset of the input space can be, depending on the situation, a curse or a blessing. On one hand, recovering the parameters allows for better adversarial attacks and could also disclose sensitive information from the dataset used to construct the network. On the other hand, if the parameters of a network can be recovered, it guarantees the user that the features in the latent spaces can be interpreted. It also provides foundations to obtain formal guarantees on the performances of the network. It is therefore important to characterize the networks whose parameters can be identified and those whose parameters cannot. In this article, we provide a set of conditions on a deep fully-connected feedforward ReLU neural network under which the parameters of the network are uniquely identified-modulo permutation and positive rescaling-from the function it implements on a subset of the input space.


title: An exact dynamic programming algorithm, lower and upper bounds, applied to the large block sale problem

abstract: In this article, we address a class of non convex, integer, non linear mathematical programs using dynamic programming. The mathematical program considered, whose properties are studied in this article, may be used to model the optimal liquidation problem of a single asset portfolio, held in a very large quantity, in a low volatility and perfect memory market, with few market participants. In this context, the Portfolio Manager's selling actions convey information to market participants, which in turn lower bid prices and further penalize the liquidation proceeds we attempt to maximize. We show the problem can be solved exactly using Dynamic Programming (DP) in polynomial time. However, exact resolution is only efficient for small instances. For medium size and large instances, we introduce dedicated heuristics which provide thin admissible solutions, hence tight lower bounds for the initial problem. We also benchmark them against a commercial solver, such as LocalSolver [7]. We are also interested in the continuously relaxed problem, which is non convex. Firstly, we use continuous solutions, obtained by free solver NLopt [26] and transform them into thin admissible solutions of the discrete problem. Secondly, we provide, under some convexity assumptions, an upper bound for the continuous relaxation, and hence for the initial (integer) problem. Numerical experiments confirm the quality of proposed heuristics (lower bounds), which often reach the optimal, or prove very tight, for small and medium size instances, with a very fast CPU time. Our upper bound, however, is not tight.


title: Doppler velocity-based algorithm for Clustering and Velocity Estimation of moving objects

abstract: We propose a Doppler velocity-based cluster and velocity estimation algorithm based on the characteristics of FMCW LiDAR which achieves highly accurate, single-scan, and real-time motion state detection and velocity estimation. We prove the continuity of the Doppler velocity on the same object. Based on this principle, we achieve the distinction between moving objects and stationary background via region growing clustering algorithm. The obtained stationary background will be used to estimate the velocity of the FMCW LiDAR by the least-squares method. Then we estimate the velocity of the moving objects using the estimated LiDAR velocity and the Doppler velocity of moving objects obtained by clustering. To ensure real-time processing, we set the appropriate least-squares parameters. Meanwhile, to verify the effectiveness of the algorithm, we create the FMCW LiDAR model on the autonomous driving simulation platform CARLA for spawning data. The results show that our algorithm can process at least a 4.5million points and estimate the velocity of 150 moving objects per second under the arithmetic power of the Ryzen 3600x CPU, with a motion state detection accuracy of over 99% and estimated velocity accuracy of 0.1 m/s.


title: DeepGANTT: A Scalable Deep Learning Scheduler for Backscatter Networks

abstract: Novel backscatter communication techniques enable battery-free sensor tags to interoperate with unmodified standard IoT devices, extending a sensor network's capabilities in a scalable manner. Without requiring additional dedicated infrastructure, the battery-free tags harvest energy from the environment, while the IoT devices provide them with the unmodulated carrier they need to communicate. A schedule coordinates the provision of carriers for the communications of battery-free devices with IoT nodes. Optimal carrier scheduling is an NP-hard problem that limits the scalability of network deployments. Thus, existing solutions waste energy and other valuable resources by scheduling the carriers suboptimally. We present DeepGANTT, a deep learning scheduler that leverages graph neural networks to efficiently provide near-optimal carrier scheduling. We train our scheduler with relatively small optimal schedules obtained from a constraint optimization solver, achieving a performance within 3% of the optimal scheduler. Without the need to retrain, DeepGANTT generalizes to networks 6x larger in the number of nodes and 10x larger in the number of tags than those used for training, breaking the scalability limitations of the optimal scheduler and reducing carrier utilization by up to 50% compared to the state-of-the-art heuristic. Our scheduler efficiently reduces energy and spectrum utilization in backscatter networks.


title: Is Importance Weighting Incompatible with Interpolating Classifiers?

abstract: Importance weighting is a classic technique to handle distribution shifts. However, prior work has presented strong empirical and theoretical evidence demonstrating that importance weights can have little to no effect on overparameterized neural networks. Is importance weighting truly incompatible with the training of overparameterized neural networks? Our paper answers this in the negative. We show that importance weighting fails not because of the overparameterization, but instead, as a result of using exponentially-tailed losses like the logistic or cross-entropy loss. As a remedy, we show that polynomially-tailed losses restore the effects of importance reweighting in correcting distribution shift in overparameterized models. We characterize the behavior of gradient descent on importance weighted polynomially-tailed losses with overparameterized linear models, and theoretically demonstrate the advantage of using polynomially-tailed losses in a label shift setting. Surprisingly, our theory shows that using weights that are obtained by exponentiating the classical unbiased importance weights can improve performance. Finally, we demonstrate the practical value of our analysis with neural network experiments on a subpopulation shift and a label shift dataset. When reweighted, our loss function can outperform reweighted cross-entropy by as much as 9% in test accuracy. Our loss function also gives test accuracies comparable to, or even exceeding, well-tuned state-of-the-art methods for correcting distribution shifts.


title: Resonance-induced growth of number entropy in strongly disordered systems

abstract: We study the growth of the number entropy $S_N$ in one-dimensional number-conserving interacting systems with strong disorder, which are believed to display many-body localization. Recently a slow and small growth of $S_N$ has been numerically reported, which, if holding at asymptotically long times in the thermodynamic limit, would imply ergodicity and therefore the absence of true localization. By numerically studying $S_N$ in the disordered isotropic Heisenberg model we first reconfirm that, indeed, there is a small growth of $S_N$. However, we show that such growth is fully compatible with localization. To be specific, using a simple model that accounts for expected rare resonances we can analytically predict several main features of numerically obtained $S_N$: trivial initial growth at short times, a slow power-law growth at intermediate times, and the scaling of the saturation value of $S_N$ with the disorder strength. Because resonances crucially depend on individual disorder realizations, the growth of $S_N$ also heavily varies depending on the initial state, and therefore $S_N$ and von Neumann entropy can behave rather differently.


title: iSeg3D: An Interactive 3D Shape Segmentation Tool

abstract: A large-scale dataset is essential for learning good features in 3D shape understanding, but there are only a few datasets that can satisfy deep learning training. One of the major reasons is that current tools for annotating per-point semantic labels using polygons or scribbles are tedious and inefficient. To facilitate segmentation annotations in 3D shapes, we propose an effective annotation tool, named iSeg for 3D shape. It can obtain a satisfied segmentation result with minimal human clicks (< 10). Under our observation, most objects can be considered as the composition of finite primitive shapes, and we train iSeg3D model on our built primitive-composed shape data to learn the geometric prior knowledge in a self-supervised manner. Given human interactions, the learned knowledge can be used to segment parts on arbitrary shapes, in which positive clicks help associate the primitives into the semantic parts and negative clicks can avoid over-segmentation. Besides, We also provide an online human-in-loop fine-tuning module that enables the model perform better segmentation with less clicks. Experiments demonstrate the effectiveness of iSeg3D on PartNet shape segmentation. Data and codes will be made publicly available.


abstract: Modern visual systems have a wide range of potential applications in vision tasks for natural science research, such as aiding in species discovery, monitoring animals in the wild, and so on. However, real-world vision tasks may experience changes in environmental conditions, leading to shifts in how captured images are presented. To address this issue, we introduce Domain-Aware Continual Zero-Shot Learning (DACZSL), a task to recognize images of unseen categories in continuously changing domains. Accordingly, we propose a Domain-Invariant Network (DIN) to learn factorized features for shifting domains and improved textual representation for unseen classes. DIN continually learns a global shared network for domain-invariant and task-invariant features, and per-task private networks for task-specific features. Furthermore, we enhance the dual network with class-wise learnable prompts to improve class-level text representation, thereby improving zero-shot prediction of future unseen classes. To evaluate DACZSL, we introduce two benchmarks, DomainNet-CZSL and iWildCam-CZSL. Our results show that DIN significantly outperforms existing baselines by over 5% in harmonic accuracy and over 1% in backward transfer and achieves a new SoTA.


title: Deep Neuroevolution Squeezes More out of Small Neural Networks and Small Training Sets: Sample Application to MRI Brain Sequence Classification

abstract: Purpose: Deep Neuroevolution (DNE) holds the promise of providing radiology artificial intelligence (AI) that performs well with small neural networks and small training sets. We seek to realize this potential via a proof-of-principle application to MRI brain sequence classification. Methods: We analyzed a training set of 20 patients, each with four sequences/weightings: T1, T1 post-contrast, T2, and T2-FLAIR. We trained the parameters of a relatively small convolutional neural network (CNN) as follows: First, we randomly mutated the CNN weights. We then measured the CNN training set accuracy, using the latter as the fitness evaluation metric. The fittest child CNNs were identified. We incorporated their mutations into the parent CNN. This selectively mutated parent became the next generation's parent CNN. We repeated this process for approximately 50,000 generations. Results: DNE achieved monotonic convergence to 100% training set accuracy. DNE also converged monotonically to 100% testing set accuracy. Conclusions: DNE can achieve perfect accuracy with small training sets and small CNNs. Particularly when combined with Deep Reinforcement Learning, DNE may provide a path forward in the quest to make radiology AI more human-like in its ability to learn. DNE may very well turn out to be a key component of the much-anticipated meta-learning regime of radiology AI algorithms that can adapt to new tasks and new image types, similar to human radiologists.


title: Some features of the direct and inverse double Compton effect as applied to astrophysics

abstract: In the present paper, we consider the process of inverse double Compton (IDC) scattering in the context of astrophysical applications. It is assumed that the two hard X-ray photons emitted from an astrophysical source are scattered on a free electron and converted into a single soft photon of optical range. Using QED S-matrix formalism for the derivation of a cross-section of direct double Compton (DDC) and assuming detailed balance conditions we give an analytical expression for the cross-section of the IDC process. It is shown that at fixed energies of incident photons the inverse cross-section has no infra-red divergences and its behavior is completely defined by the spectral characteristics of the photon source itself, in particular, by the finite interaction time of radiation with an electron. Thus, even for the direct process, the problem of resolving infrared divergence actually refers to a real physical source of radiation in which photons are never actually plane waves. As a result the physical frequency profile of the scattered radiation for direct as well as inverse double Compton processes is a function of both the intensity and line shape of the incident photon field.


title: Gravitational particle production of superheavy massive particles in Quintessential Inflation II: $\alpha$-attractors

abstract: We compute the gravitational production of conformally coupled superheavy particles during the phase transition from the end of inflation to the beginning of kination for $\alpha$-attractors potentials in the context of Quintessential Inflation ($\alpha$-QI), showing that the maximum value of the reheating temperature, independently of the value of the parameter $\alpha$, is near $10^9$ GeV. This result, which contradicts the usual belief that the reheating via the production of superheavy massive particles leads to an inefficient reheating temperature, is due to the fact that in our numerical calculations we take into account the contribution of the large wavelength modes to the reheating temperature, which never happens in analytical calculations where only ultraviolet modes are considered.


title: Decompositions of Stratified Institutions

abstract: The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterised by states of the models. In this paper we further develop this theory by introducing a new technique for representing stratified institutions which is based on projecting to such simpler structures. On the one hand this can be used for developing general results applicable to a wide variety of already existing model theories with states, such as those based on some form of Kripke semantics. On the other hand this may serve as a template for defining new such model theories. In this paper we emphasise on the former application of this technique by developing general results on model amalgamation and on existence diagrams for stratified institutions. These are two most useful properties to have in institution theoretic model theory.


title: Toeplitz Least Squares Problems, Fast Algorithms and Big Data

abstract: In time series analysis, when fitting an autoregressive model, one must solve a Toeplitz ordinary least squares problem numerous times to find an appropriate model, which can severely affect computational times with large data sets. Two recent algorithms (LSAR and Repeated Halving) have applied randomized numerical linear algebra (RandNLA) techniques to fitting an autoregressive model to big time-series data. We investigate and compare the quality of these two approximation algorithms on large-scale synthetic and real-world data. While both algorithms display comparable results for synthetic datasets, the LSAR algorithm appears to be more robust when applied to real-world time series data. We conclude that RandNLA is effective in the context of big-data time series.


title: The K-homology of 2-dimensional Crystallographic Groups

abstract: In this paper we compute the topological K-homology of 2-dimensional crystal groups. Our method focuses on the fixed point of group action and simplifies the calculation of the K-homology of universal space. The result also verifies the Baum-Connes Conjecture of 2-dimensional crystal groups.


title: Distinguishing Transformative from Incremental Clinical Evidence: A Classifier of Clinical Research using Textual features from Abstracts and Citing Sentences

abstract: In clinical research and clinical decision-making, it is important to know if a study changes or only supports the current standards of care for specific disease management. We define such a change as transformative and a support as incremental research. It usually requires a huge amount of domain expertise and time for humans to finish such tasks. Faculty Opinions provides us with a well-annotated corpus on whether a research challenges or only confirms established research. In this study, a machine learning approach is proposed to distinguishing transformative from incremental clinical evidence. The texts from both abstract and a 2-year window of citing sentences are collected for a training set of clinical studies recommended and labeled by Faculty Opinions experts. We achieve the best performance with an average AUC of 0.755 (0.705-0.875) using Random Forest as the classifier and citing sentences as the feature. The results showed that transformative research has typical language patterns in citing sentences unlike abstract sentences. We provide an efficient tool for identifying those clinical evidence challenging or only confirming established claims for clinicians and researchers.


title: Nonlinear Topological Edge States: from Dynamic Delocalization to Thermalization

abstract: We consider a mechanical lattice inspired by the Su-Schrieffer-Heeger model along with cubic Klein-Gordon type nonlinearity. We investigate the long-time dynamics of the nonlinear edge states, which are obtained by nonlinear continuation of topological edge states of the linearized model. Linearly unstable edge states delocalize and lead to chaos and thermalization of the lattice. Linearly stable edge states also reach the same fate, but after a critical strength of perturbation is added to the initial edge state. We show that the thermalized lattice in all these cases shows an effective renormalization of the dispersion relation. Intriguingly, this renormalized dispersion relation displays a unique symmetry, i.e., its square is symmetric about a finite squared frequency, akin to the chiral symmetry of the linearized model.