title: Sharper Analysis for Minibatch Stochastic Proximal Point Methods: Stability, Smoothness, and Deviation

abstract: The stochastic proximal point (SPP) methods have gained recent attention for stochastic optimization, with strong convergence guarantees and superior robustness to the classic stochastic gradient descent (SGD) methods showcased at little to no cost of computational overhead added. In this article, we study a minibatch variant of SPP, namely M-SPP, for solving convex composite risk minimization problems. The core contribution is a set of novel excess risk bounds of M-SPP derived through the lens of algorithmic stability theory. Particularly under smoothness and quadratic growth conditions, we show that M-SPP with minibatch-size $n$ and iteration count $T$ enjoys an in-expectation fast rate of convergence consisting of an $\mathcal{O}\left(\frac{1}{T^2}\right)$ bias decaying term and an $\mathcal{O}\left(\frac{1}{nT}\right)$ variance decaying term. In the small-$n$-large-$T$ setting, this result substantially improves the best known results of SPP-type approaches by revealing the impact of noise level of model on convergence rate. In the complementary small-$T$-large-$n$ regime, we provide a two-phase extension of M-SPP to achieve comparable convergence rates. Moreover, we derive a near-tight high probability (over the randomness of data) bound on the parameter estimation error of a sampling-without-replacement variant of M-SPP. Numerical evidences are provided to support our theoretical predictions when substantialized to Lasso and logistic regression models.


title: Statistical Inference for Ultrahigh Dimensional Location Parameter Based on Spatial Median

abstract: Motivated by the widely used geometric median-of-means estimator in machine learning, this paper studies statistical inference for ultrahigh dimensionality location parameter based on the sample spatial median under a general multivariate model, including simultaneous confidence intervals construction, global tests, and multiple testing with false discovery rate control. To achieve these goals, we derive a novel Bahadur representation of the sample spatial median with a maximum-norm bound on the remainder term, and establish Gaussian approximation for the sample spatial median over the class of hyperrectangles. In addition, a multiplier bootstrap algorithm is proposed to approximate the distribution of the sample spatial median. The approximations are valid when the dimension diverges at an exponentially rate of the sample size, which facilitates the application of the spatial median in the ultrahigh dimensional region. The proposed approaches are further illustrated by simulations and analysis of a genomic dataset from a microarray study.


title: Logically at Factify 2: A Multi-Modal Fact Checking System Based on Evidence Retrieval techniques and Transformer Encoder Architecture

abstract: In this paper, we present the Logically submissions to De-Factify 2 challenge (DE-FACTIFY 2023) on the task 1 of Multi-Modal Fact Checking. We describes our submissions to this challenge including explored evidence retrieval and selection techniques, pre-trained cross-modal and unimodal models, and a cross-modal veracity model based on the well established Transformer Encoder (TE) architecture which is heavily relies on the concept of self-attention. Exploratory analysis is also conducted on this Factify 2 data set that uncovers the salient multi-modal patterns and hypothesis motivating the architecture proposed in this work. A series of preliminary experiments were done to investigate and benchmarking different pre-trained embedding models, evidence retrieval settings and thresholds. The final system, a standard two-stage evidence based veracity detection system, yields weighted avg. 0.79 on both val set and final blind test set on the task 1, which achieves 3rd place with a small margin to the top performing system on the leaderboard among 9 participants.


title: Compress-and-Forward via Multilevel Coding and Trellis Coded Quantization

abstract: Compress-forward (CF) relays can improve communication rates even when the relay cannot decode the source signal. Efficient implementation of CF is a topic of contemporary interest, in part because of its potential impact on wireless technologies such as cloud-RAN. There exists a gap between the performance of CF implementations in the high spectral efficiency regime and the corresponding information theoretic achievable rates. We begin by re-framing a dilemma causing this gap, and propose an approach for its mitigation. We utilize trellis coded quantization (TCQ) at the relay together with multi-level coding at the source and relay, in a manner that facilitates the calculation of bit LLRs at the destination for joint decoding. The contributions of this work include designing TCQ for end-to-end relay performance, since a distortion-minimizing TCQ is suboptimum. The reported improvements include a 1dB gain over prior results for PSK modulation.


title: Positivity-preserving entropy filtering for the ideal magnetohydrodynamics equations

abstract: In this work, we present a positivity-preserving adaptive filtering approach for discontinuous spectral element approximations of the ideal magnetohydrodynamics equations. This approach combines the entropy filtering method (Dzanic and Witherden, J. Comput. Phys., 468, 2022) for shock capturing in gas dynamics along with the eight-wave method for enforcing a divergence-free magnetic field. Due to the inclusion of non-conservative source terms, an operator-splitting approach is introduced to ensure that the positivity and entropy constraints remain satisfied by the discrete solution. Furthermore, a computationally efficient algorithm for solving the optimization process for this nonlinear filtering approach is presented. The resulting scheme can robustly resolve strong discontinuities on general unstructured grids without tunable parameters while recovering high-order accuracy for smooth solutions. The efficacy of the scheme is shown in numerical experiments on various problems including extremely magnetized blast waves and three-dimensional magnetohydrodynamic instabilities.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn physics.plasm-ph


title: SFI-Swin: Symmetric Face Inpainting with Swin Transformer by Distinctly Learning Face Components Distributions

abstract: Image inpainting consists of filling holes or missing parts of an image. Inpainting face images with symmetric characteristics is more challenging than inpainting a natural scene. None of the powerful existing models can fill out the missing parts of an image while considering the symmetry and homogeneity of the picture. Moreover, the metrics that assess a repaired face image quality cannot measure the preservation of symmetry between the rebuilt and existing parts of a face. In this paper, we intend to solve the symmetry problem in the face inpainting task by using multiple discriminators that check each face organ's reality separately and a transformer-based network. We also propose "symmetry concentration score" as a new metric for measuring the symmetry of a repaired face image. The quantitative and qualitative results show the superiority of our proposed method compared to some of the recently proposed algorithms in terms of the reality, symmetry, and homogeneity of the inpainted parts.


title: Intrinsic convergence of the homological Taylor tower for $r$-immersions in $\mathbb R^n$

abstract: For an integer $r\ge 2$, the space of $r$-immersions of $M$ in $\mathbb R^n$ is defined to be the space of immersions of $M$ in $\mathbb R^n$ such that at most $r-1$ points of $M$ are mapped to the same point in $\mathbb R^n$. The space of $r$-immersions lies "between" the embeddings and the immersions. We calculate the connectivity of the layers in the homological Taylor tower for the space of $r$-immersions in $\mathbb R^n$ (modulo immersions), and give conditions that guarantee that the connectivity of the maps in the tower approaches infinity as one goes up the tower. We also compare the homological tower with the homotopical tower, and show that up to degree $2r-1$ there is a "Hurewicz isomorphism" between the first non-trivial homotopy groups of the layers of the two towers.


title: Free divisors, blowup algebras of Jacobian ideals, and maximal analytic spread

abstract: Free divisors form a celebrated class of hypersurfaces which has been extensively studied in the past fifteen years. Our main goal is to introduce four new families of homogeneous free divisors and investigate central aspects of the blowup algebras of their Jacobian ideals. For instance, for all families the Rees algebra and its special fiber are shown to be Cohen-Macaulay -- a desirable feature in blowup algebra theory. Moreover, we raise the problem of when the analytic spread of the Jacobian ideal of a (not necessarily free) polynomial is maximal, and we characterize this property with tools ranging from cohomology to asymptotic depth. In addition, as an application, we give an ideal-theoretic homological criterion for homaloidal divisors, i.e., hypersurfaces whose polar maps are birational.


title: Transceiver Cooperative Learning-aided Semantic Communications Against Mismatched Background Knowledge Bases

abstract: Semantic communications learned on background knowledge bases (KBs) have been identified as a promising technology for communications between intelligent agents. Existing works assume that transceivers of semantic communications share the same KB. However, intelligent transceivers may suffer from the communication burden or worry about privacy leakage to exchange data in KBs. Besides, the transceivers may independently learn from the environment and dynamically update their KBs, leading to timely sharing of the KBs infeasible. All these cause the mismatch between the KBs, which may result in a semantic-level misunderstanding on the receiver side. To address this issue, we propose a transceiver cooperative learning-assisted semantic communication (TCL-SC) scheme against mismatched KBs. In TCL-SC, the transceivers cooperatively train semantic encoder and decoder neuron networks (NNs) of the same structure based on their own KBs. They periodically share the parameters of NNs. To reduce the communication overhead of parameter sharing, parameter quantization is adopted. Moreover, we discuss the impacts of the number of communication rounds on the performance of semantic communication systems. Experiments on real-world data demonstrate that our proposed TCL-SC can reduce the semantic-level misunderstanding on the receiver side caused by the mismatch between the KBs, especially at the low signal-to-noise (SNR) ratio regime.


title: A Semi-supervised Approach for Activity Recognition from Indoor Trajectory Data

abstract: The increasingly wide usage of location aware sensors has made it possible to collect large volume of trajectory data in diverse application domains. Machine learning allows to study the activities or behaviours of moving objects (e.g., people, vehicles, robot) using such trajectory data with rich spatiotemporal information to facilitate informed strategic and operational decision making. In this study, we consider the task of classifying the activities of moving objects from their noisy indoor trajectory data in a collaborative manufacturing environment. Activity recognition can help manufacturing companies to develop appropriate management policies, and optimise safety, productivity, and efficiency. We present a semi-supervised machine learning approach that first applies an information theoretic criterion to partition a long trajectory into a set of segments such that the object exhibits homogeneous behaviour within each segment. The segments are then labelled automatically based on a constrained hierarchical clustering method. Finally, a deep learning classification model based on convolutional neural networks is trained on trajectory segments and the generated pseudo labels. The proposed approach has been evaluated on a dataset containing indoor trajectories of multiple workers collected from a tricycle assembly workshop. The proposed approach is shown to achieve high classification accuracy (F-score varies between 0.81 to 0.95 for different trajectories) using only a small proportion of labelled trajectory segments.


title: On an upper bound of the degree of polynomial identities regarding linear recurrence sequences

abstract: Let $(F_n)_{n\geq 0}$ be the Fibonacci sequence given by $F_{n+2}=F_{n+1}+F_n$, for $n\geq 0$, where $F_0=0$ and $F_1=1$. There are several interesting identities involving this sequence such as $F_n^2+F_{n+1}^2=F_{2n+1}$, for all $n\geq 0$. Inspired by this naive identity, in 2012, Chaves, Marques and Togb\'e proved that if $(G_m)_m$ is a linear recurrence sequence (under weak assumptions) and $G_n^s+\cdots +G_{n+k}^s\in (G_m)_m$, for infinitely many positive integers $n$, then $s$ is bounded by an effectively computable constant depending only on $k$ and the parameters of $G_m$. In this paper, we generalize this result, proving, in particular, that if $(G_m)_m$ and $ (H_m)_m$ are linear recurrence sequences (also under weak assumptions), $R(z) \in \mathbb{C}[z]$, and $ \epsilon_0R(G_n)+\epsilon_1R(G_{n+1})+\cdots +\epsilon_{k-1}R(G_{n+k-1})+R(G_{n+k})$ belongs to $(H_m)_m$, for infinitely many positive integers $n$, then the degree of $R(z)$ is bounded by an effectively computable constant depending only on the upper and lower bounds of the $\epsilon_i$'s and the parameters of $G_m$ (but surprisingly not on $k$).


title: Removing Non-Stationary Knowledge From Pre-Trained Language Models for Entity-Level Sentiment Classification in Finance

abstract: Extraction of sentiment signals from news text, stock message boards, and business reports, for stock movement prediction, has been a rising field of interest in finance. Building upon past literature, the most recent works attempt to better capture sentiment from sentences with complex syntactic structures by introducing aspect-level sentiment classification (ASC). Despite the growing interest, however, fine-grained sentiment analysis has not been fully explored in non-English literature due to the shortage of annotated finance-specific data. Accordingly, it is necessary for non-English languages to leverage datasets and pre-trained language models (PLM) of different domains, languages, and tasks to best their performance. To facilitate finance-specific ASC research in the Korean language, we build KorFinASC, a Korean aspect-level sentiment classification dataset for finance consisting of 12,613 human-annotated samples, and explore methods of intermediate transfer learning. Our experiments indicate that past research has been ignorant towards the potentially wrong knowledge of financial entities encoded during the training phase, which has overestimated the predictive power of PLMs. In our work, we use the term "non-stationary knowledge'' to refer to information that was previously correct but is likely to change, and present "TGT-Masking'', a novel masking pattern to restrict PLMs from speculating knowledge of the kind. Finally, through a series of transfer learning with TGT-Masking applied we improve 22.63% of classification accuracy compared to standalone models on KorFinASC.


title: Gaps on the intersection numbers of sections on a rational elliptic surface

abstract: Given a rational elliptic surface X over an algebraically closed field, we investigate whether a given natural number k can be the intersection number of two sections of X. If not, we say that k a gap number. We try to answer when gap numbers exist, how they are distributed and how to identify them. We use Mordell-Weil lattices as our main tool, which connects the investigation to the classical problem of representing integers by positive-definite quadratic forms.


title: Gaudin Hamiltonians on unitarizable modules over classical Lie (super)algebras

abstract: Let $M$ be a tensor product of unitarizable irreducible highest weight modules over the Lie (super)algebra $\mathcal{G}$, where $\mathcal{G}$ is $\mathfrak{gl}(m|n)$, $\mathfrak{osp}(2m|2n)$ or $\mathfrak{spo}(2m|2n)$. We show, using super duality, that the singular eigenvectors of the (super) Gaudin Hamiltonians for $\mathcal{G}$ on $M$ can be obtained from the singular eigenvectors of the Gaudin Hamiltonians for the corresponding Lie algebras on some tensor products of finite-dimensional irreducible modules. As a consequence, the (super) Gaudin Hamiltonians for $\mathcal{G}$ are diagonalizable on the space spanned by singular vectors of $M$ and hence on $M$. In particular, we establish the diagonalization of the Gaudin Hamiltonians, associated to any of the orthogonal Lie algebra $\mathfrak{so}(2n)$ and the symplectic Lie algebra $\mathfrak{sp}(2n)$, on the tensor product of infinite-dimensional unitarizable irreducible highest weight modules.


title: A Newton-CG based augmented Lagrangian method for finding a second-order stationary point of nonconvex equality constrained optimization with complexity guarantees

abstract: In this paper we consider finding a second-order stationary point (SOSP) of nonconvex equality constrained optimization when a nearly feasible point is known. In particular, we first propose a new Newton-CG method for finding an approximate SOSP of unconstrained optimization and show that it enjoys a substantially better complexity than the Newton-CG method [56]. We then propose a Newton-CG based augmented Lagrangian (AL) method for finding an approximate SOSP of nonconvex equality constrained optimization, in which the proposed Newton-CG method is used as a subproblem solver. We show that under a generalized linear independence constraint qualification (GLICQ), our AL method enjoys a total inner iteration complexity of $\widetilde{\cal O}(\epsilon^{-7/2})$ and an operation complexity of $\widetilde{\cal O}(\epsilon^{-7/2}\min\{n,\epsilon^{-3/4}\})$ for finding an $(\epsilon,\sqrt{\epsilon})$-SOSP of nonconvex equality constrained optimization with high probability, which are significantly better than the ones achieved by the proximal AL method [60]. Besides, we show that it has a total inner iteration complexity of $\widetilde{\cal O}(\epsilon^{-11/2})$ and an operation complexity of $\widetilde{\cal O}(\epsilon^{-11/2}\min\{n,\epsilon^{-5/4}\})$ when the GLICQ does not hold. To the best of our knowledge, all the complexity results obtained in this paper are new for finding an approximate SOSP of nonconvex equality constrained optimization with high probability. Preliminary numerical results also demonstrate the superiority of our proposed methods over the ones in [56,60].


title: Scholar Ranking 2023: Ranking of Computer Science Departments Based on Faculty Citations

abstract: Scholar Ranking 2023 is the second edition of U.S. Computer Science (CS) departments ranking based on faculty citation measures. Using Google Scholar, we gathered data about publication citations for 5,574 tenure-track faculty from 185 U.S. universities. For each faculty, we extracted their t10 index, defined as the number of citations received by their 10th highest cited paper. For each department, we calculated four quality metrics: median t10 (m10), the geometric mean of t10 (g10), and the number of well-cited faculty with t10 above 40% (c40) and 60% (c60) of the national average. We fitted a linear regression model using those four measures to match the 2022 U.S. News ranking scores of CS doctoral programs. The resulting model provides Scholar Ranking 2023, which can be found at https://chi.temple.edu/csranking.


title: Applying Automated Machine Translation to Educational Video Courses

abstract: We studied the capability of automated machine translation in the online video education space by automatically translating Khan Academy videos with state-of-the-art translation models and applying text-to-speech synthesis and audio/video synchronization to build engaging videos in target languages. We also analyzed and established two reliable translation confidence estimators based on round-trip translations in order to efficiently manage translation quality and reduce human translation effort. Finally, we developed a deployable system to deliver translated videos to end users and collect user corrections for iterative improvement.


title: Exploration in Model-based Reinforcement Learning with Randomized Reward

abstract: Model-based Reinforcement Learning (MBRL) has been widely adapted due to its sample efficiency. However, existing worst-case regret analysis typically requires optimistic planning, which is not realistic in general. In contrast, motivated by the theory, empirical study utilizes ensemble of models, which achieve state-of-the-art performance on various testing environments. Such deviation between theory and empirical study leads us to question whether randomized model ensemble guarantee optimism, and hence the optimal worst-case regret? This paper partially answers such question from the perspective of reward randomization, a scarcely explored direction of exploration with MBRL. We show that under the kernelized linear regulator (KNR) model, reward randomization guarantees a partial optimism, which further yields a near-optimal worst-case regret in terms of the number of interactions. We further extend our theory to generalized function approximation and identified conditions for reward randomization to attain provably efficient exploration. Correspondingly, we propose concrete examples of efficient reward randomization. To the best of our knowledge, our analysis establishes the first worst-case regret analysis on randomized MBRL with function approximation.


title: Ion sensors with crown ether-functionalized nanodiamonds

abstract: Alkali metal ions such as sodium and potassium cations play fundamental roles in biology. Developing highly sensitive and selective methods to both detect and quantify these ions is of considerable importance for medical diagnostics and bioimaging. Fluorescent nanoparticles have emerged as powerful tools for nanoscale imaging, but their optical properties need to be supplemented with specificity to particular chemical and biological signals in order to provide further information about biological processes. Nitrogen-vacancy (NV) centers in diamond are particularly attractive as fluorescence markers, thanks to their optical stability, biocompatibility and further ability to serve as highly sensitive quantum sensors of temperature, magnetic and electric fields in ambient conditions. In this work, by covalently grafting crown ether structures on the surface of nanodiamonds (NDs), we build sensors that are capable of detecting specific alkali ions such as sodium cations. We will show that the presence of these metal ions modifies the charge state of NV centers inside the ND, which can then be read out by measuring their photoluminescence spectrum. Our work paves the way for designing selective biosensors based on NV centers in diamond.


title: Evidence of high-mass star formation through multi-scale mass accretion in hub-filament-system clouds

abstract: We present a statistical study of a sample of 17 hub-filament-system (HFS) clouds of high-mass star formation using high-angular resolution ($\sim$1-2 arcsecond) ALMA 1.3mm and 3mm continuum data. The sample includes 8 infrared (IR)-dark and 9 IR-bright types, which correspond to an evolutionary sequence from the IR-dark to IR-bright stage. The central massive clumps and their associated most massive cores are observed to follow a trend of increasing mass ($M$) and mass surface density ($\Sigma$) with evolution from IR-dark to IR-bright stage. In addition, a mass-segregated cluster of young stellar objects (YSOs) are revealed in both IR-dark and IR-bright HFSs with massive YSOs located in the hub and the population of low-mass YSOs distributed over larger areas. Moreover, outflow feedback in all HFSs are found to escape preferentially through the inter-filamentary diffuse cavities, suggesting that outflows would render a limited effect on the disruption of the HFSs and ongoing high-mass star formation therein. From the above observations, we suggest that high-mass star formation in the HFSs can be described by a multi-scale mass accretion/transfer scenario, from hub-composing filaments through clumps down to cores, that can naturally lead to a mass-segregated cluster of stars.


title: Platoon Leader Selection, User Association and Resource Allocation on a C-V2X based highway: A Reinforcement Learning Approach

abstract: We consider the problem of dynamic platoon leader selection, user association, channel assignment, and power allocation on a cellular vehicle-to-everything (C-V2X) based highway, where multiple vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) links share the frequency resources. There are multiple roadside units (RSUs) on a highway, and vehicles can form platoons, which has been identified as an advanced use case to increase road efficiency. The traditional optimization methods, requiring global channel information at a central controller, are not viable for high-mobility vehicular networks. To deal with this challenge, we propose a distributed multi-agent reinforcement learning (MARL) for resource allocation (RA). Each platoon leader, acting as an agent, can collaborate with other agents for joint sub-band selection and power allocation for its V2V links, and joint user association and power control for its V2I links. Moreover, each platoon can dynamically select the vehicle most suitable to be the platoon leader. We aim to maximize the V2V and V2I packet delivery probability in the desired latency using the deep Q-learning algorithm. Simulation results indicate that our proposed MARL outperforms the centralized hill-climbing algorithm, and platoon leader selection helps to improve both V2V and V2I performance.


title: Multiscale simulations of growth-dominated Sb$_2$Te phase-change material for non-volatile photonic applications

abstract: Chalcogenide phase-change materials (PCMs) are widely applied in electronic and photonic applications, such as non-volatile memory and neuro-inspired computing. Doped Sb$_2$Te alloys are now gaining increasing attention for on-chip photonic applications, due to their growth-driven crystallization features. However, it remains unknown whether Sb$_2$Te also forms a metastable crystalline phase upon nanoseconds crystallization in devices, similar to the case of nucleation-driven Ge-Sb-Te alloys. Here, we carry out ab initio simulations to understand the changes in optical properties of amorphous Sb$_2$Te upon crystallization and post annealing. During the continuous transformation process, changes in the dielectric function are highly wavelength-dependent from the visible-light range towards the telecommunication band. Our finite-difference time-domain simulations based on the ab initio input reveal key differences in device output for color display and photonic memory applications upon tellurium ordering. Our work serves as an example of how multiscale simulations of materials can guide practical photonic phase-change applications.


title: Finding Lookalike Customers for E-Commerce Marketing

abstract: Customer-centric marketing campaigns generate a large portion of e-commerce website traffic for Walmart. As the scale of customer data grows larger, expanding the marketing audience to reach more customers is becoming more critical for e-commerce companies to drive business growth and bring more value to customers. In this paper, we present a scalable and efficient system to expand targeted audience of marketing campaigns, which can handle hundreds of millions of customers. We use a deep learning based embedding model to represent customers and an approximate nearest neighbor search method to quickly find lookalike customers of interest. The model can deal with various business interests by constructing interpretable and meaningful customer similarity metrics. We conduct extensive experiments to demonstrate the great performance of our system and customer embedding model.


title: Adapting Datacenter Capacity for Greener Datacenters and Grid

abstract: Cloud providers are adapting datacenter (DC) capacity to reduce carbon emissions. With hyperscale datacenters exceeding 100 MW individually, and in some grids exceeding 15% of power load, DC adaptation is large enough to harm power grid dynamics, increasing carbon emissions, power prices, or reduce grid reliability. To avoid harm, we explore coordination of DC capacity change varying scope in space and time. In space, coordination scope spans a single datacenter, a group of datacenters, and datacenters with the grid. In time, scope ranges from online to day-ahead. We also consider what DC and grid information is used (e.g. real-time and day-ahead average carbon, power price, and compute backlog). For example, in our proposed PlanShare scheme, each datacenter uses day-ahead information to create a capacity plan and shares it, allowing global grid optimization (over all loads, over entire day). We evaluate DC carbon emissions reduction. Results show that local coordination scope fails to reduce carbon emissions significantly (3.2%--5.4% reduction). Expanding coordination scope to a set of datacenters improves slightly (4.9%--7.3%). PlanShare, with grid-wide coordination and full-day capacity planning, performs the best. PlanShare reduces DC emissions by 11.6%--12.6%, 1.56x--1.26x better than the best local, online approach's results. PlanShare also achieves lower cost. We expect these advantages to increase as renewable generation in power grids increases. Further, a known full-day DC capacity plan provides a stable target for DC resource management.


title: "A Handbook of Integer Sequences" Fifty Years Later

abstract: Until 1973 there was no database of integer sequences. Someone coming across the sequence 1, 2, 4, 9, 21, 51, 127,... would have had no way of discovering that it had been studied since 1870 (today these are called the Motzkin numbers, and form entry A001006 in the database). Everything changed in 1973 with the publication of "A Handbook of Integer Sequences", which listed 2372 entries. This report describes the fifty-year evolution of the database from the "Handbook" to its present form as "The On-Line Encyclopedia of Integer Sequences" (or OEIS), which contains 360,000 entries, receives a million visits a day, and has been cited 10,000 times, often with a comment saying "discovered thanks to the OEIS".


title: MOTOR: A Time-To-Event Foundation Model For Structured Medical Records

abstract: We present a self-supervised, time-to-event (TTE) foundation model called MOTOR (Many Outcome Time Oriented Representations) which is pretrained on timestamped sequences of events in electronic health records (EHR) and health insurance claims. TTE models are used for estimating the probability distribution of the time until a specific event occurs, which is an important task in medical settings. TTE models provide many advantages over classification using fixed time horizons, including naturally handling censored observations, but are challenging to train with limited labeled data. MOTOR addresses this challenge by pretraining on up to 55M patient records (9B clinical events). We evaluate MOTOR's transfer learning performance on 19 tasks, across 3 patient databases (a private EHR system, MIMIC-IV, and Merative claims data). Task-specific models adapted from MOTOR improve time-dependent C statistics by 4.6% over state-of-the-art, improve label efficiency by up to 95% ,and are more robust to temporal distributional shifts. We further evaluate cross-site portability by adapting our MOTOR foundation model for six prediction tasks on the MIMIC-IV dataset, where it outperforms all baselines. MOTOR is the first foundation model for medical TTE predictions and we release a 143M parameter pretrained model for research use at [redacted URL].


title: $\Gamma$-convergent LDG method for large bending deformations of bilayer plates

abstract: Bilayer plates are slender structures made of two thin layers of different materials. They react to environmental stimuli and undergo large bending deformations with relatively small actuation. The reduced model is a constrained minimization problem for the second fundamental form, with a given spontaneous curvature that encodes material properties, subject to an isometry constraint. We design a local discontinuous Galerkin (LDG) method which imposes a relaxed discrete isometry constraint and controls deformation gradients at barycenters of elements. We prove $\Gamma$-convergence of LDG, design a fully practical gradient flow, which gives rise to a linear scheme at every step, and show energy stability and control of the isometry defect. We extend the $\Gamma$-convergence analysis to piecewise quadratic creases. We also illustrate the performance of the LDG method with several insightful simulations of large deformations, one including a curved crease.


title: Reproducing formulas associated to translation generated systems on Nilpotent Lie Groups

abstract: Let $G$ be a connected, simply connected, nilpotent Lie group whose irreducible unitary representations are square-integrable modulo the center. We obtain characterization results for reproducing formulas associated with the left translation generated systems in $ L^2(G)$. Unlike the previous study of discrete frames on the nilpotent Lie groups, the current research occurs within the set up of continuous frames, which means the resulting reproducing formulas are given in terms of integral representations instead of discrete sums. As a consequence of our results for the Heisenberg group, a reproducing formula associated with the orthonormal Gabor systems of $L^2(\mathbb R^d)$ is obtained.


title: 3D Diffusion MRI Using Simultaneous Multi-slab with Blipped-CAIPI (Blipped-SMSlab) in a 4D K-space Framework

abstract: Purpose: To develop an efficient simultaneous multi-slab imaging method with blipped-controlled aliasing in parallel imaging (blipped-SMSlab) in a 4D k-space framework, and demonstrate its efficacy in high-resolution diffusion MRI (dMRI). Theory and Methods: First, the SMSlab 4D k-space signal expression is formulated, and the phase interferences from intra-slab and inter-slab encodings on the same physical z axis are analyzed. Then, the blipped-SMSlab dMRI sequence is designed, with blipped-CAIPI gradients for inter-slab encoding, and a 2D multi-band accelerated navigator for inter-kz-shot phase correction. Third, strategies are developed to remove the phase interferences, by RF phase modulation and/or phase correction during reconstruction, thus decoupling intra-slab and inter-slab encodings that are otherwise entangled. In vivo experiments are performed to validate the blipped-SMSlab method, and preliminarily evaluate its performance in high-resolution dMRI compared with traditional 2D imaging. Results: In the 4D k-space framework, inter-slab and intra-slab phase interferences of blipped-SMSlab are successfully removed using the proposed strategies. Compared with non-CAIPI sampling, the blipped-SMSlab acquisition reduces the g-factor and g-factor-related SNR penalty by about 12%. In addition, in vivo experiments show the SNR advantage of blipped-SMSlab dMRI over traditional 2D dMRI for 1.3 and 1.0 mm isotropic resolution imaging with matched acquisition time. Conclusion: Removing inter-slab and intra-slab phase interferences enables SMSlab dMRI with blipped-CAIPI in a 4D k-space framework. The proposed blipped-SMSlab dMRI is demonstrated to be more SNR-efficient than 2D dMRI and thus capable of high-quality, high-resolution fiber orientation detection.


title: Calculation of the hyperfine structure of Dy, Ho, Cf, and Es

abstract: A recently developed version of the configuration interaction (CI) method for open shells with a large number of valence electrons has been used to study two heavy atoms, californium (Cf, Z= 98) and einsteinium (Es, Z= 99). Motivated by experimental work to measure the hyperfine structure (HFS) for these atoms, we perform the calculations of the magnetic dipole HFS constants $A$ and electric quadrupole HFS constant $B$ for the sake of interpretation of the measurements in terms of nuclear magnetic moment $\mu$ and electric quadrupole moment $Q$. For verification of our computations, we have also carried out similar calculations for the lighter homologs dysprosium (Dy, Z= 66) and holmium (Ho, Z= 67), whose electronic structures are similar to Cf and Es, respectively. We have conducted a revision of the nuclear moments of some isotopes of Es leading to an improved value of the magnetic moment of $^{253}$Es [$\mu$($^{253}$Es) = 4.20(13)$\mu_N$].


title: Instance Segmentation Based Graph Extraction for Handwritten Circuit Diagram Images

abstract: Handwritten circuit diagrams from educational scenarios or historic sources usually exist on analogue media. For deriving their functional principles or flaws automatically, they need to be digitized, extracting their electrical graph. Recently, the base technologies for automated pipelines facilitating this process shifted from computer vision to machine learning. This paper describes an approach for extracting both the electrical components (including their terminals and describing texts) as well their interconnections (including junctions and wire hops) by the means of instance segmentation and keypoint extraction. Consequently, the resulting graph extraction process consists of a simple two-step process of model inference and trivial geometric keypoint matching. The dataset itself, its preparation, model training and post-processing are described and publicly available.


title: Finite topologies for finite geometries

abstract: Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some remarks like that the general Lefschetz formula works for any continuous map on any finite topological space. We also noted that any higher order Wu characteristic as well as their cohomology are topological invariants which are not homotopy invariants. Energy theorems allow to express these topological invariants in terms of interaction energies of local open sets.


title: The progression of visual search in multiple item displays: First relational, then feature-based

abstract: It is well-known that visual attention can be tuned in a context-dependent manner to elementary features, such as searching for all redder items or the reddest item, supporting a relational theory of visual attention. However, in previous studies, the conditions were often conducive for relational search, allowing successfully selecting the target relationally on 50% of trials or more. Moreover, the search displays were often only sparsely populated and presented repeatedly, rendering it possible that relational search was based on context learning and not spontaneous. The present study tested the shape of the attentional tuning function in 36-item search displays, when the target never had a maximal feature value (e.g., was never the reddest or yellowest item), and when only the target colour but not the context colour was known. The first fixations on a trial showed that these displays still reliably evoked relational search, even when participants had no advance information about the context and no on-task training. Context learning further strengthened relational tuning on subsequent trials, but was not necessary for relational search. Analysing the progression of visual search within a singe trial showed that attention is first guided to the relationally maximal item (e.g., reddest), then the next-maximal (e.g., next-reddest) item, and so forth, before attention can hone in on target-matching features. In sum, the results support two tenets of the relational account, that information about the dominant feature in a display can be rapidly extracted and used to guide attention to the relatively best-matching features.


title: Resolution of the LHCb $\eta_c$ anomaly

abstract: Due to the heavy-quark symmetry of Non-Relativistic Quantum Chromodynamics (NRQCD), the cross-section for the production of $\eta_c$ can be predicted. This NRQCD prediction when confronted with data from the LHCb is seen to fail miserably. We address this LHCb $\eta_c$ anomaly in this paper using a new approach called modified NRQCD, an approach that has been shown to work extremely well for studying $J/\psi$, $\psi^{\prime}$ and $\chi_c$ production at the LHC. We show, in the present paper, that the predictions for $\eta_c$ production agrees very well with LHCb measurements at the three different values of energy that the experiment has presented data for. Modified NRQCD also explains the intriguing agreement of the LHCb $\eta_c$ data with the colour-singlet prediction. The remarkable agreement of the theoretical predictions with the LHCb data suggests that modified NRQCD is closer to apprehending the true dynamics of quarkonium production.


title: Numerical radius inequalities and estimation of zeros of polynomials

abstract: Let $A$ be a bounded linear operator defined on a complex Hilbert space and let $|A|=(A^*A)^{1/2}$ be the positive square root of $A$. Among other refinements of the well known numerical radius inequality $w^2(A)\leq \frac12 \|A^*A+AA^*\|$, we show that \begin{eqnarray*} w^2(A)&\leq&\frac{1}{4} w^2 \left(|A|+i|A^*|\right)+\frac{1}{8}\left\||A|^2+|A^*|^2\right \|+\frac{1}{4}w\left(|A||A^*|\right) &\leq& \frac12 \|A^*A+AA^*\|. \end{eqnarray*} Also, we develop inequalities involving numerical radius and spectral radius for the sum of the product operators, from which we derive the following inequalities $$ w^p(A) \leq \frac{1}{\sqrt{2} } w(|A|^p+i|A^*|^p )\leq \|A\|^p$$ for all $p\geq 1.$ Further, we derive new bounds for the zeros of complex polynomials.


title: Towards Real-Time Panoptic Narrative Grounding by an End-to-End Grounding Network

abstract: Panoptic Narrative Grounding (PNG) is an emerging cross-modal grounding task, which locates the target regions of an image corresponding to the text description. Existing approaches for PNG are mainly based on a two-stage paradigm, which is computationally expensive. In this paper, we propose a one-stage network for real-time PNG, termed End-to-End Panoptic Narrative Grounding network (EPNG), which directly generates masks for referents. Specifically, we propose two innovative designs, i.e., Locality-Perceptive Attention (LPA) and a bidirectional Semantic Alignment Loss (SAL), to properly handle the many-to-many relationship between textual expressions and visual objects. LPA embeds the local spatial priors into attention modeling, i.e., a pixel may belong to multiple masks at different scales, thereby improving segmentation. To help understand the complex semantic relationships, SAL proposes a bidirectional contrastive objective to regularize the semantic consistency inter modalities. Extensive experiments on the PNG benchmark dataset demonstrate the effectiveness and efficiency of our method. Compared to the single-stage baseline, our method achieves a significant improvement of up to 9.4% accuracy. More importantly, our EPNG is 10 times faster than the two-stage model. Meanwhile, the generalization ability of EPNG is also validated by zero-shot experiments on other grounding tasks.


title: Structural Equivalence in Subgraph Matching

abstract: Symmetry plays a major role in subgraph matching both in the description of the graphs in question and in how it confounds the search process. This work addresses how to quantify these effects and how to use symmetries to increase the efficiency of subgraph isomorphism algorithms. We introduce rigorous definitions of structural equivalence and establish conditions for when it can be safely used to generate more solutions. We illustrate how to adapt standard search routines to utilize these symmetries to accelerate search and compactly describe the solution space. We then adapt a state-of-the-art solver and perform a comprehensive series of tests to demonstrate these methods' efficacy on a standard benchmark set. We extend these methods to multiplex graphs and present results on large multiplex networks drawn from transportation systems, social media, adversarial attacks, and knowledge graphs.


title: eFIN: Enhanced Fourier Imager Network for generalizable autofocusing and pixel super-resolution in holographic imaging

abstract: The application of deep learning techniques has greatly enhanced holographic imaging capabilities, leading to improved phase recovery and image reconstruction. Here, we introduce a deep neural network termed enhanced Fourier Imager Network (eFIN) as a highly generalizable framework for hologram reconstruction with pixel super-resolution and image autofocusing. Through holographic microscopy experiments involving lung, prostate and salivary gland tissue sections and Papanicolau (Pap) smears, we demonstrate that eFIN has a superior image reconstruction quality and exhibits external generalization to new types of samples never seen during the training phase. This network achieves a wide autofocusing axial range of 0.35 mm, with the capability to accurately predict the hologram axial distances by physics-informed learning. eFIN enables 3x pixel super-resolution imaging and increases the space-bandwidth product of the reconstructed images by 9-fold with almost no performance loss, which allows for significant time savings in holographic imaging and data processing steps. Our results showcase the advancements of eFIN in pushing the boundaries of holographic imaging for various applications in e.g., quantitative phase imaging and label-free microscopy.


title: VIPER: A Plasma Wave Detection Instrument onboard Indian Venus Orbiter Spacecraft

abstract: Plasma waves are observed in almost all the solar system objects. The planetary ionospheres are capable of sustaining plasma waves which are observed there and play an important role in the ionospheric dynamics. Venus does not possess a global magnetic field unlike Earth. The solar EUV radiation ionizes the neutrals and generates a plasma environment around Venus which can sustain plasma waves. Very few attempts are made to observe all plasma waves that can exist around Venus and that too with instruments having a limited dynamic range such as with Pioneer Venus Orbiter and Venus Express. However, there are some other plasma waves which can exist around Venus but are yet to be observed.


title: Cursive Caption Text Detection in Videos

abstract: Textual content appearing in videos represents an interesting index for semantic retrieval of videos (from archives), generation of alerts (live streams) as well as high level applications like opinion mining and content summarization. One of the key components of such systems is the detection of textual content in video frames and the same makes the subject of our present study. This paper presents a robust technique for detection of textual content appearing in video frames. More specifically we target text in cursive script taking Urdu text as a case study. Detection of textual regions in video frames is carried out by fine-tuning object detectors based on deep convolutional neural networks for the specific case of text detection. Since it is common to have videos with caption text in multiple-scripts, cursive text is distinguished from Latin text using a script-identification module. Finally, detection and script identification are combined in a single end-to-end trainable system. Experiments on a comprehensive dataset of around 11,000 video frames report an F-measure of 0.91.


title: Explicit bounds on $\zeta(s)$ in the critical strip and a zero-free region

abstract: We derive explicit upper bounds for the Riemann zeta-function $\zeta(\sigma + it)$ on the lines $\sigma = 1 - k/(2^k - 2)$ for integer $k \ge 4$. This is used to show that the zeta-function has no zeroes in the region $$\sigma > 1 - \frac{\log\log|t|}{21.233\log|t|},\qquad |t| \ge 3.$$ This is the largest known zero-free region for $\exp(171) \le t \le \exp(5.3\cdot 10^{5})$. Our results rely on an explicit version of the van der Corput $A^nB$ process for bounding exponential sums.


title: Improving Energy Saving of One-sided Matrix Decompositions on CPU-GPU Heterogeneous Systems

abstract: One-sided dense matrix decompositions (e.g., Cholesky, LU, and QR) are the key components in scientific computing in many different fields. Although their design has been highly optimized for modern processors, they still consume a considerable amount of energy. As CPU-GPU heterogeneous systems are commonly used for matrix decompositions, in this work, we aim to further improve the energy saving of one-sided matrix decompositions on CPU-GPU heterogeneous systems. We first build an Algorithm-Based Fault Tolerance protected overclocking technique (ABFT-OC) to enable us to exploit reliable overclocking for key matrix decomposition operations. Then, we design an energy-saving matrix decomposition framework, Bi-directional Slack Reclamation(BSR), that can intelligently combine the capability provided by ABFT-OC and DVFS to maximize energy saving and maintain performance and reliability. Experiments show that BSR is able to save up to 11.7% more energy compared with the current best energy saving optimization approach with no performance degradation and up to 14.1% Energy * Delay^2 reduction. Also, BSR enables the Pareto efficient performance-energy trade-off, which is able to provide up to 1.43x performance improvement without costing extra energy.


title: Machining feature recognition using descriptors with range constraints for mechanical 3D models

abstract: In machining feature recognition, geometric elements generated in a three-dimensional computer-aided design model are identified. This technique is used in manufacturability evaluation, process planning, and tool path generation. Here, we propose a method of recognizing 16 types of machining features using descriptors, often used in shape-based part retrieval studies. The base face is selected for each feature type, and descriptors express the base face's minimum, maximum, and equal conditions. Furthermore, the similarity in the three conditions between the descriptors extracted from the target face and those from the base face is calculated. If the similarity is greater than or equal to the threshold, the target face is determined as the base face of the feature. Machining feature recognition tests were conducted for two test cases using the proposed method, and all machining features included in the test cases were successfully recognized. Also, it was confirmed through an additional test that the proposed method in this study showed better feature recognition performance than the latest artificial neural network.


title: Triangular spectra and their applications to derived categories of noetherian schemes

abstract: For a triangulated category $\mathcal{T}$, Matsui recently introduced a topological space $\mathrm{Spec}_\triangle(\mathcal{T})$ which we call the triangular spectrum of $\mathcal{T}$ as an analog of the Balmer spectrum introduced by Balmer for a tensor triangulated category. In the present paper, we use the triangular spectrum to reconstruct a noetherian scheme $X$ from its perfect derived category $\mathrm{D^{pf}}(X)$. As an application, we give an alternative proof of the Bondal-Orlov-Ballard reconstruction theorem. Moreover, we define the structure sheaf on $\mathrm{Spec}_\triangle(\mathcal{T})$ and compare the triangular spectrum and the Balmer spectrum as ringed spaces.


title: A Study on the Generality of Neural Network Structures for Monocular Depth Estimation

abstract: Monocular depth estimation has been widely studied, and significant improvements in performance have been recently reported. However, most previous works are evaluated on a few benchmark datasets, such as KITTI datasets, and none of the works provide an in-depth analysis of the generalization performance of monocular depth estimation. In this paper, we deeply investigate the various backbone networks (e.g.CNN and Transformer models) toward the generalization of monocular depth estimation. First, we evaluate state-of-the-art models on both in-distribution and out-of-distribution datasets, which have never been seen during network training. Then, we investigate the internal properties of the representations from the intermediate layers of CNN-/Transformer-based models using synthetic texture-shifted datasets. Through extensive experiments, we observe that the Transformers exhibit a strong shape-bias rather than CNNs, which have a strong texture-bias. We also discover that texture-biased models exhibit worse generalization performance for monocular depth estimation than shape-biased models. We demonstrate that similar aspects are observed in real-world driving datasets captured under diverse environments. Lastly, we conduct a dense ablation study with various backbone networks which are utilized in modern strategies. The experiments demonstrate that the intrinsic locality of the CNNs and the self-attention of the Transformers induce texture-bias and shape-bias, respectively.


title: Cluster Formation and Relaxation in Particle Rafts under Uniform Radial Expansion

abstract: Particle rafts floating at an air-liquid interface exhibit a variety of behaviors when interfacial flow is introduced. Motivated by previous experimental observations, the failure pattern of particle rafts under uniform radial expansion is reported in this paper. The expansion process is specifically designed to expand the system affinely in the radial direction and to keep the velocity gradient constant throughout. A strong resemblance to the results of particle rafts under uniform uniaxial expansion[1] is found. The size of the cluster emerging as the rafts are pulled apart scales inversely with the pulling velocity. This is a result of two competing velocities: the inter-particle separation speed provided by the flow and a size-dependent relaxation speed for clustering. A model, generalized from a one-dimensional linear (in)stability calculation, is in agreement with the failure morphology found for this radially expanded system. Nonlinear relaxation and particle rearrangement is observed after the initial clustering occurs. This is a feature unique to a two-dimensional system. With its easily accessible particle dynamics at the microscopic level, this system provides insights into the morphology controlled by two competing mechanisms in two or higher dimensions and across different scales.


title: Refined finite-size analysis of binary-modulation continuous-variable quantum key distribution

abstract: Recent studies showed the finite-size security of binary-modulation CV-QKD protocols against general attacks. However, they gave poor key-rate scaling against transmission distance. Here, we extend the security proof based on complementarity, which is used in the discrete-variable QKD, to the previously developed binary-modulation CV-QKD protocols with the reverse reconciliation under the finite-size regime and obtain large improvements in the key rates. Notably, the key rate in the asymptotic limit scales linearly against the attenuation rate, which is known to be optimal scaling but is not achieved in previous finite-size analyses. This refined security approach may offer full-fledged security proofs for other discrete-modulation CV-QKD protocols.


title: Fully H(gradcurl)-nonconforming Finite Element Method for The Singularly Perturbed Quad-curl Problem on Cubical Meshes

abstract: In this paper, we develop two fully nonconforming (both H(grad curl)-nonconforming and H(curl)-nonconforming) finite elements on cubical meshes which can fit into the Stokes complex. The newly proposed elements have 24 and 36 degrees of freedom, respectively. Different from the fully H(grad curl)-nonconforming tetrahedral finite elements in [9], the elements in this paper lead to a robust finite element method to solve the singularly perturbed quad-curl problem. To confirm this, we prove the optimal convergence of order $O(h)$ for a fixed parameter $\epsilon$ and the uniform convergence of order $O(h^{1/2})$ for any value of $\epsilon$. Some numerical examples are used to verify the correctness of the theoretical analysis.


title: Popcorn transitions and approach to conformality in homogeneous holographic nuclear matter

abstract: We study cold and dense nuclear matter by using the gauge/gravity duality. To this end we use the Witten-Sakai-Sugimoto model and the V-QCD models with an approach where the nuclear matter is taken to be spatially homogeneous. We focus on the ''popcorn'' transitions, which are phase transitions in the nuclear matter phases induced by changes in the layer structure of the configuration on the gravity side. We demonstrate that the equation of state for the homogeneous nuclear matter becomes approximately conformal at high densities, and compare our results to other approaches.


title: Augmented Quaternion and Augmented Unit Quaternion Optimization

abstract: In this paper, we introduce and explore augmented quaternions and augmented unit quaternions, and present an augmented unit quaternion optimization model. An augmented quaternion consist of a quaternion and a translation vector. The multiplication rule of augmented quaternion is defined. An augmented unit quaternion consists of a unit quaternion and a translation vector. The augmented unit quaternions form a Lie group. By means of augmented unit quaternions, we study the error model and kinematics. Then we formulate two classical problems in robot research, i.e., the hand-eye calibration problem and the simultaneous localization and mapping (SLAM) problem as augmented unit quaternion optimization problems, which are actually real smooth spherical equality constrained optimization problems. Comparing with the corresponding unit dual quaternion optimization model, the augmented unit quaternion optimization model has less variables and removes the orthogonality constraints.


title: Tight Convergence Rate in Subgradient Norm of the Proximal Point Algorithm

abstract: Proximal point algorithm has found many applications, and it has been playing fundamental roles in the understanding, design, and analysis of many first-order methods. In this paper, we derive the tight convergence rate in subgradient norm of the proximal point algorithm, which was conjectured by Taylor, Hendrickx and Glineur [SIAM J.~Optim., 27 (2017), pp.~1283--1313]. This sort of convergence results in terms of the residual (sub)gradient norm is particularly interesting when considering dual methods, where the dual residual gradient norm corresponds to the primal distance to feasibility.


title: A note on infinite series whose terms involve truncated degenerate exponentials

abstract: The degenerate exponentials play an important role in recent study on degenerate versions of many special numbers and polynomials, the degenerate gamma function, the degenerate umbral calculus and the degenerate q-umbral calculus. The aim of this note is to consider infinite series whose terms involve truncated degenerate exponentials together with several special numbers and to find either their values or some other expressions of them as finite sums.


title: A family of explicit Waring decompositions of a polynomial

abstract: In this paper we settle some polynomial identity which provides a family of explicit Waring decompositions of any monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ over a field $\Bbbk$. This gives an upper bound for the Waring rank of a given monomial and naturally leads to an explicit Waring decomposition of any homogeneous form and, eventually, of any polynomial via (de)homogenization. Note that such decomposition is very useful in many applications dealing with polynomial computations, symmetric tensor problems and so on. We discuss some computational aspect of our result as comparing with other known methods and also present a computer implementation for potential use in the end.


title: Deep Planar Parallax for Monocular Depth Estimation

abstract: Recent research has highlighted the utility of Planar Parallax Geometry in monocular depth estimation. However, its potential has yet to be fully realized because networks rely heavily on appearance for depth prediction. Our in-depth analysis reveals that utilizing flow-pretrain can optimize the network's usage of consecutive frame modeling, leading to substantial performance enhancement. Additionally, we propose Planar Position Embedding (PPE) to handle dynamic objects that defy static scene assumptions and to tackle slope variations that are challenging to differentiate. Comprehensive experiments on autonomous driving datasets, namely KITTI and the Waymo Open Dataset (WOD), prove that our Planar Parallax Network (PPNet) significantly surpasses existing learning-based methods in performance.


title: Behaviour of Ion Acoustic Soliton in a two-electron temperature plasmas of Multi-pole line cusp Plasma Device (MPD)

abstract: This article presents the experimental observations and characterization of Ion Acoustic Soliton (IAS) in a unique Multi-pole line cusp Plasma Device (MPD) device in which the magnitude of the pole-cusp magnetic field can be varied. And by varying the magnitude of the pole-cusp magnetic field, the proportions of two-electron-temperature components in the filament-produced plasmas of MPD can be varied. The solitons are experimentally characterized by measuring their amplitude-width relation and Mach numbers. The nature of the solitons is further established by making two counter-propagating solitons interact with each other. Later, the effect of the two-temperature electron population on soliton amplitude and width is studied by varying the magnitude of the pole cusp-magnetic field. It has been observed that different proportions of two-electron-temperature significantly influence the propagation of IAS. The amplitude of the soliton has been found to be following inversely with the effective electron temperature (Teff)


title: Subset verification and search algorithms for causal DAGs

abstract: Learning causal relationships between variables is a fundamental task in causal inference and directed acyclic graphs (DAGs) are a popular choice to represent the causal relationships. As one can recover a causal graph only up to its Markov equivalence class from observations, interventions are often used for the recovery task. Interventions are costly in general and it is important to design algorithms that minimize the number of interventions performed. In this work, we study the problem of identifying the smallest set of interventions required to learn the causal relationships between a subset of edges (target edges). Under the assumptions of faithfulness, causal sufficiency, and ideal interventions, we study this problem in two settings: when the underlying ground truth causal graph is known (subset verification) and when it is unknown (subset search). For the subset verification problem, we provide an efficient algorithm to compute a minimum sized interventional set; we further extend these results to bounded size non-atomic interventions and node-dependent interventional costs. For the subset search problem, in the worst case, we show that no algorithm (even with adaptivity or randomization) can achieve an approximation ratio that is asymptotically better than the vertex cover of the target edges when compared with the subset verification number. This result is surprising as there exists a logarithmic approximation algorithm for the search problem when we wish to recover the whole causal graph. To obtain our results, we prove several interesting structural properties of interventional causal graphs that we believe have applications beyond the subset verification/search problems studied here.


title: Combinatorial Fock spaces and quantum symmetric pairs

abstract: The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symmetric pair that plays the role of the quantized affine algebra. We describe how the action is related to the linkage principal for quantum groups at a root of unity and tensor product multiplicities.


title: Structure-Informed Shadow Removal Networks

abstract: Existing deep learning-based shadow removal methods still produce images with shadow remnants. These shadow remnants typically exist in homogeneous regions with low-intensity values, making them untraceable in the existing image-to-image mapping paradigm. We observe that shadows mainly degrade images at the image-structure level (in which humans perceive object shapes and continuous colors). Hence, in this paper, we propose to remove shadows at the image structure level. Based on this idea, we propose a novel structure-informed shadow removal network (StructNet) to leverage the image-structure information to address the shadow remnant problem. Specifically, StructNet first reconstructs the structure information of the input image without shadows and then uses the restored shadow-free structure prior to guiding the image-level shadow removal. StructNet contains two main novel modules: (1) a mask-guided shadow-free extraction (MSFE) module to extract image structural features in a non-shadow-to-shadow directional manner, and (2) a multi-scale feature & residual aggregation (MFRA) module to leverage the shadow-free structure information to regularize feature consistency. In addition, we also propose to extend StructNet to exploit multi-level structure information (MStructNet), to further boost the shadow removal performance with minimum computational overheads. Extensive experiments on three shadow removal benchmarks demonstrate that our method outperforms existing shadow removal methods, and our StructNet can be integrated with existing methods to improve them further.


title: Minimax Weight Learning for Absorbing MDPs

abstract: Reinforcement learning policy evaluation problems are often modeled as finite or discounted/averaged infinite-horizon MDPs. In this paper, we study undiscounted off-policy policy evaluation for absorbing MDPs. Given the dataset consisting of the i.i.d episodes with a given truncation level, we propose a so-called MWLA algorithm to directly estimate the expected return via the importance ratio of the state-action occupancy measure. The Mean Square Error (MSE) bound for the MWLA method is investigated and the dependence of statistical errors on the data size and the truncation level are analyzed. With an episodic taxi environment, computational experiments illustrate the performance of the MWLA algorithm.


title: $G$-spectra of cyclic defect

abstract: Brou\'{e}'s Abelian Defect Conjecture predicts interesting derived equivalences between derived categories of modular representations of finite groups. We investigate a generalization of Brou\'{e}'s Conjecture to ring spectrum coefficients and prove this generalization in the cyclic defect case, following an argument of Rouquier.


title: Hochschild cohomology of symmetric groups and generating functions,II

abstract: We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of degree one Hochschild cohomology as a sum of dimensions of centres of blocks of smaller symmetric groups. This in turn is a consequence of a general formula that makes more precise a theorem of our previous paper describing the generating functions for the dimensions of Hochschild cohomology of symmetric groups.


title: Long-Term Returns Estimation of Leveraged Indexes and ETFs

abstract: Daily leveraged exchange traded funds amplify gains and losses of their underlying benchmark indexes on a daily basis. The result of going long in a daily leveraged ETF for more than one day is less clear. Here, bounds are given for the log-returns of a leveraged ETF when going long for more than just one day. The bounds are quadratic in the daily log-returns of the underlying benchmark index, and they are used to find sufficient conditions for outperformance and underperformance of a leveraged ETF in relation to its underlying benchmark index. Results show that if the underlying benchmark index drops 10+\% over the course of 63 consecutive trading days, and the standard deviation of the benchmark index's daily log-returns is no more than .015, then going long in a -3x leveraged ETF during that period gives a log-return of at least 1.5 times the log-return of a short position in the underlying benchmark index. Results also show promise for a 2x daily leveraged S&P 500 ETF. If the average annual log-return of the S&P 500 index continues to be at least .0658, as it has been in the past, and the standard deviation of daily S&P 500 log-returns is under .0125, then a 2x daily leveraged S&P 500 ETF will perform at least as well as the S&P 500 index in the long-run.


title: Modeling of Four-Winged Micro Ornithopters Inspired by Dragonflies

abstract: In this paper, we present a full dynamical model of a four-winged micro ornithopter inspired by a dragonfly-type insect. The micro ornithopter is modeled as four articulated rigid body components (wings) connected to the main body via spherical joints. The dynamical model is derived using Lagrangian mechanics with intrinsic global coordinates, without relying on the common assumptions that neglect the wings-body interactions. Furthermore, the aerodynamic forces are modeled under the quasi-steady motion assumption without restricting the flapping frequency to be relatively high. This provides a full and elegant four-winged micro ornithopter model that captures the interaction between the body and the wings while avoiding the complexities and singularities associated with other coordinate representations (e.g., Euler angles). Simulation studies of the inertial effects of the relative motion between the different parts of the multibody system show the importance of considering the forces and torques, resulting from the wings-body interaction, in motion generation of these insects.


title: Linear Optical Quantum Computation with Frequency-Comb Qubits and Passive Devices

abstract: We propose a linear optical quantum computation scheme using time-frequency degree of freedom. In this scheme, a qubit is encoded in single-photon frequency combs, and manipulation of the qubits is performed using time-resolving detectors, beam splitters, and optical interleavers. This scheme does not require active devices such as high-speed switches and electro-optic modulators and is robust against temporal and spectral errors, which are mainly caused by the detectors' finite resolution. We show that current technologies almost meet the requirements for fault-tolerant quantum computation.


title: Information Scrambling and Entanglement Dynamics of Complex Brownian Sachdev-Ye-Kitaev Models

abstract: In this work, we study the information scrambling and the entanglement dynamics in the complex Brownian Sachdev-Ye-Kitaev (cBSYK) models, focusing on their dependence on the charge density $n$. We first derive the effective theory for scramblons in a single cBSYK model, which gives closed-form expressions for the late-time OTOC and operator size. In particular, the result for OTOC is consistent with numerical observations in [1]. We then study the entanglement dynamics in cBSYK chains. We derive the density dependence of the entanglement velocity for both R\'enyi entropies and the Von Neumann entropy, with a comparison to the butterfly velocity. We further consider adding repeated measurements and derive the effective theory of the measurement induced transition which shows $U(2)_L\otimes U(2)_R$ symmetry for non-interacting models.


title: Propagation of anisotropic Gabor wave front sets

abstract: We show a result on propagation of the anisotropic Gabor wave front set for linear operators with a tempered distribution Schwartz kernel. The anisotropic Gabor wave front set is parametrized by a positive parameter relating the space and frequency variables. The anisotropic Gabor wave front set of the Schwartz kernel is assumed to satisfy a graph type criterion. The result is applied to a class of evolution equations that generalizes the Schr\"odinger equation for the free particle. The Laplacian is replaced by any partial differential operator with constant coefficients, real symbol and order at least two.


title: Line-Torus Intersection for Ray Tracing: Alternative Formulations

abstract: Intersection algorithms are very important in computation of geometrical problems. Algorithms for a line intersection with linear or quadratic surfaces are quite efficient. However, algorithms for a line intersection with other surfaces are more complex and time consuming. In this case the object is usually closed into a simple bounding volume to speed up the cases when the given line cannot intersect the given object. In this paper new formulations of the line-torus intersection problem are given and new specification of the bounding volume for a torus is given as well. The presented approach is based on an idea of a line intersection with an envelope of rotating sphere that forms a torus. Due to this approach new bounding volume can be formulated which is more effective as it enables to detect cases when the line passes the "hole" of a torus, too.


title: A Time-Accurate Inflow Coupling for Zonal LES

abstract: Generating turbulent inflow data is a challenging task in zonal Large Eddy Simulation (zLES) and often relies on predefined DNS data to generate synthetic turbulence with the correct statistics. The more accurate, but more involved alternative is to use instantaneous data from a precursor simulation. Using instantaneous data as an inflow condition allows to conduct high fidelity simulations of subdomains of e.g. an aircraft including all non-stationary or rare events. In this paper we introduce a tool-chain that is capable of interchanging highly resolved spatial and temporal data between flow solvers with different discretization schemes. To accomplish this, we use interpolation algorithms suitable for scattered data in order to interpolate spatially. In time we use one-dimensional interpolation schemes for each degree of freedom. The results show that we can get stable simulations that map all flow features from the source data into a new target domain. Thus, the coupling is capable of mapping arbitrary data distributions and formats into a new domain while also recovering and conserving turbulent structures and scales. The necessary time and space resolution requirements can be defined knowing the resolution requirements of the used numerical scheme in the target domain.


title: Quantum Walk on Orbit Spaces

abstract: Inspired by the covering-space method in path integral on multiply connected spaces, we here present a universal formula of time-evolution kernels for continuous- and discrete-time quantum walks on orbit spaces. In this note, we focus on the case in which walkers' configuration space is the orbit space $\Lambda/\Gamma$, where $\Lambda$ is an arbitrary lattice and $\Gamma$ is a discrete group whose action on $\Lambda$ has no fixed points. We show that the time-evolution kernel on $\Lambda/\Gamma$ can be written as a weighted sum of time-evolution kernels on $\Lambda$, where the summation is over the orbit of initial point in $\Lambda$ and weight factors are given by a one-dimensional unitary representation of $\Gamma$. Focusing on one dimension, we present a number of examples of the formula. We also present universal formulas of resolvent kernels, canonical density matrices, and unitary representations of arbitrary groups in quantum walks on $\Lambda/\Gamma$, all of which are constructed in exactly the same way as for the time-evolution kernel.


title: Few-shot Semantic Segmentation with Support-induced Graph Convolutional Network

abstract: Few-shot semantic segmentation (FSS) aims to achieve novel objects segmentation with only a few annotated samples and has made great progress recently. Most of the existing FSS models focus on the feature matching between support and query to tackle FSS. However, the appearance variations between objects from the same category could be extremely large, leading to unreliable feature matching and query mask prediction. To this end, we propose a Support-induced Graph Convolutional Network (SiGCN) to explicitly excavate latent context structure in query images. Specifically, we propose a Support-induced Graph Reasoning (SiGR) module to capture salient query object parts at different semantic levels with a Support-induced GCN. Furthermore, an instance association (IA) module is designed to capture high-order instance context from both support and query instances. By integrating the proposed two modules, SiGCN can learn rich query context representation, and thus being more robust to appearance variations. Extensive experiments on PASCAL-5i and COCO-20i demonstrate that our SiGCN achieves state-of-the-art performance.


title: Thermodynamics in Stochastic Conway Game of Life

abstract: Cellular automata can simulate many complex physical phenomena using the power of simple rules. The presented methodological platform expresses the concept of programmable matter in which Newtons laws of motion are one of examples. Energy has been introduced as the equivalent of the Game of Life mass, which can be treated as first level of approximation. The temperature presence and propagation was calculated for various lattice topology and boundary conditions by using the Shannon entropy measure. The conducted study provides strong evidence that despite not fulfillment the principle of mass and energy conservation, the entropy, mass distribution and temperatures approaches thermodynamic equilibrium. In addition, the described cellular automata system transits from positive to a negative temperatures that stabilizes and can be treated as a signature of system dynamical equilibrium. Furthermore the system dynamics was presented in case of few species of cellular automata competing for maximum presence on given lattice with different boundary conditions.


title: Near-optimal stochastic MIMO signal detection with a mixture of t-distribution prior

abstract: Multiple-input multiple-output (MIMO) systems will play a crucial role in future wireless communication, but improving their signal detection performance to increase transmission efficiency remains a challenge. To address this issue, we propose extending the discrete signal detection problem in MIMO systems to a continuous one and applying the Hamiltonian Monte Carlo method, an efficient Markov chain Monte Carlo algorithm. In our previous studies, we have used a mixture of normal distributions for the prior distribution. In this study, we propose using a mixture of t-distributions, which further improves detection performance. Based on our theoretical analysis and computer simulations, the proposed method can achieve near-optimal signal detection with polynomial computational complexity. This high-performance and practical MIMO signal detection could contribute to the development of the 6th-generation mobile network.


title: On the principal frequency of non-homogeneous membranes

abstract: We obtained estimates for first eigenvalues of the Dirichlet boundary value problem for elliptic operators in divergence form (i.e. for the principal frequency of non-homogeneous membranes) in bounded domains $\Omega \subset \mathbb C$ satisfying quasihyperbolic boundary conditions. The suggested method is based on the quasiconformal composition operators on Sobolev spaces and their applications to constant estimates in the corresponding Sobolev-Poincar\'e inequalities. We also prove a variant of the Rayleigh-Faber-Khran inequality for a special case of these elliptic operators.


title: The Algonauts Project 2023 Challenge: How the Human Brain Makes Sense of Natural Scenes

abstract: The sciences of biological and artificial intelligence are ever more intertwined. Neural computational principles inspire new intelligent machines, which are in turn used to advance theoretical understanding of the brain. To promote further exchange of ideas and collaboration between biological and artificial intelligence researchers, we introduce the 2023 installment of the Algonauts Project challenge: How the Human Brain Makes Sense of Natural Scenes (http://algonauts.csail.mit.edu). This installment prompts the fields of artificial and biological intelligence to come together towards building computational models of the visual brain using the largest and richest dataset of fMRI responses to visual scenes, the Natural Scenes Dataset (NSD). NSD provides high-quality fMRI responses to ~73,000 different naturalistic colored scenes, making it the ideal candidate for data-driven model building approaches promoted by the 2023 challenge. The challenge is open to all and makes results directly comparable and transparent through a public leaderboard automatically updated after each submission, thus allowing for rapid model development. We believe that the 2023 installment will spark symbiotic collaborations between biological and artificial intelligence scientists, leading to a deeper understanding of the brain through cutting-edge computational models and to novel ways of engineering artificial intelligent agents through inductive biases from biological systems.


title: Grid-Adaptation for Wall-Modeled Large Eddy Simulation Using Unstructured High-Order Methods

abstract: The accuracy and computational cost of a large eddy simulation are highly dependent on the computational grid. Building optimal grids manually from a priori knowledge is not feasible in most practical use cases; instead, solution-adaptive strategies can provide a robust and cost-efficient method to generate a grid with the desired accuracy. We adapt the grid-adaptation algorithm developed by Toosi and Larsson to a Discontinuous Galerkin Spectral Elements Method (DGSEM) and show its potential on fully unstructured grids. The core of the method is the computation of the estimated modeling residual using the polynomial basis functions used in DGSEM, and the averaging of the estimated residual over each element. The final method is assessed in multiple channel flow test cases and for the transonic flow over an airfoil, in both cases making use of mortar interfaces between elements with hanging nodes. The method is found to be robust and reliable, and to provide solutions at up to 50% lower cost at comparable accuracy compared to when using human-generated grids.


title: A convergent entropy-dissipating BDF2 finite-volume scheme for a population cross-diffusion system

abstract: A second-order backward differentiation formula (BDF2) finite-volume discretization for a nonlinear cross-diffusion system arising in population dynamics is studied. The numerical scheme preserves the Rao entropy structure and conserves the mass. The existence and uniqueness of discrete solutions and their large-time behavior as well as the convergence of the scheme are proved. The proofs are based on the G-stability of the BDF2 scheme, which provides an inequality for the quadratic Rao entropy and hence suitable a priori estimates. The novelty is the extension of this inequality to the system case. Some numerical experiments in one and two space dimensions underline the theoretical results.


title: Safehaul: Risk-Averse Learning for Reliable mmWave Self-Backhauling in 6G Networks

abstract: Wireless backhauling at millimeter-wave frequencies (mmWave) in static scenarios is a well-established practice in cellular networks. However, highly directional and adaptive beamforming in today's mmWave systems have opened new possibilities for self-backhauling. Tapping into this potential, 3GPP has standardized Integrated Access and Backhaul (IAB) allowing the same base station serve both access and backhaul traffic. Although much more cost-effective and flexible, resource allocation and path selection in IAB mmWave networks is a formidable task. To date, prior works have addressed this challenge through a plethora of classic optimization and learning methods, generally optimizing a Key Performance Indicator (KPI) such as throughput, latency, and fairness, and little attention has been paid to the reliability of the KPI. We propose Safehaul, a risk-averse learning-based solution for IAB mmWave networks. In addition to optimizing average performance, Safehaul ensures reliability by minimizing the losses in the tail of the performance distribution. We develop a novel simulator and show via extensive simulations that Safehaul not only reduces the latency by up to 43.2% compared to the benchmarks but also exhibits significantly more reliable performance (e.g., 71.4% less variance in achieved latency).


title: Integrating features from lymph node stations for metastatic lymph node detection

abstract: Metastasis on lymph nodes (LNs), the most common way of spread for primary tumor cells, is a sign of increased mortality. However, metastatic LNs are time-consuming and challenging to detect even for professional radiologists due to their small sizes, high sparsity, and ambiguity in appearance. It is desired to leverage recent development in deep learning to automatically detect metastatic LNs. Besides a two-stage detection network, we here introduce an additional branch to leverage information about LN stations, an important reference for radiologists during metastatic LN diagnosis, as supplementary information for metastatic LN detection. The branch targets to solve a closely related task on the LN station level, i.e., classifying whether an LN station contains metastatic LN or not, so as to learn representations for LN stations. Considering that a metastatic LN station is expected to significantly affect the nearby ones, a GCN-based structure is adopted by the branch to model the relationship among different LN stations. At the classification stage of metastatic LN detection, the above learned LN station features, as well as the features reflecting the distance between the LN candidate and the LN stations, are integrated with the LN features. We validate our method on a dataset containing 114 intravenous contrast-enhanced Computed Tomography (CT) images of oral squamous cell carcinoma (OSCC) patients and show that it outperforms several state-of-the-art methods on the mFROC, maxF1, and AUC scores,respectively.


title: Splitting of doubly quantized vortices in holographic superfluid of finite temperature

abstract: The temperature effect on the linear instability and the splitting process of a doubly quantized vortex is studied. Using the linear perturbation theory to calculate out the quasi-normal modes of the doubly quantized vortex, we find that the imaginary part of the unstable mode increases with the temperature till some turning temperature, after which the imaginary part of the unstable mode decreases with the temperature. On the other hand, by the fully non-linear numerical simulations, we also examine the real time splitting process of the doubly quantized vortex, where not only do the split singly quantized vortex pair depart from each other, but also revolve around each other. In particular, the characteristic time scale for the splitting process is identified and its temperature dependence is found to be in good agreement with the linear instability analysis in the sense that the larger the imaginary part of the unstable mode is, the longer the splitting time is. Such a temperature effect is expected to be verified in the cold atom experiments in the near future.


title: Secure Communication for Spatially Correlated RIS-Aided Multiuser Massive MIMO Systems: Analysis and Optimization

abstract: This letter investigates the secure communication in a reconfigurable intelligent surface (RIS)-aided multiuser massive multiple-input multiple-output (MIMO) system exploiting artificial noise (AN). We first derive a closed-form expression of the ergodic secrecy rate under spatially correlated MIMO channels. By using this derived result, we further optimize the power fraction of AN in closed form and the RIS phase shifts by developing a gradient-based algorithm, which requires only statistical channel state information (CSI). Our analysis shows that spatial correlation at the RIS provides an additional dimension for optimizing the RIS phase shifts. Numerical simulations validate the analytical results which show the insightful interplay among the system parameters and the degradation of secrecy performance due to high spatial correlation at the RIS.


title: Enhanced photovoltaic effect in graphene-silicon Schottky junction under mechanical manipulation

abstract: Graphene-silicon Schottky junction (GSJ) which has the potential for large-scale manufacturing and integration can bring new opportunities to Schottky solar cells for photovoltaic (PV) power conversion. However, the essential power conversion limitation for these devices lies in the small open-circuit voltage ($V_{oc}$), which depends on the Schottky barrier height (SBH). In this study, we introduce an electromechanical method based on the flexoelectric effect to enhance the PV efficiency in GSJ. By atomic force microscope (AFM) tip-based indentation and in situ current measurement, the current-voltage (I-V) responses under flexoelectric strain gradient are obtained. The $V_{oc}$ is observed to increase for up to 20$\%$, leading to an evident improvement of the power conversion efficiency. Our studies suggest that strain gradient may offer unprecedented opportunities for the development of GSJ based flexo-photovoltaic applications.


title: Introducing Model Inversion Attacks on Automatic Speaker Recognition

abstract: Model inversion (MI) attacks allow to reconstruct average per-class representations of a machine learning (ML) model's training data. It has been shown that in scenarios where each class corresponds to a different individual, such as face classifiers, this represents a severe privacy risk. In this work, we explore a new application for MI: the extraction of speakers' voices from a speaker recognition system. We present an approach to (1) reconstruct audio samples from a trained ML model and (2) extract intermediate voice feature representations which provide valuable insights into the speakers' biometrics. Therefore, we propose an extension of MI attacks which we call sliding model inversion. Our sliding MI extends standard MI by iteratively inverting overlapping chunks of the audio samples and thereby leveraging the sequential properties of audio data for enhanced inversion performance. We show that one can use the inverted audio data to generate spoofed audio samples to impersonate a speaker, and execute voice-protected commands for highly secured systems on their behalf. To the best of our knowledge, our work is the first one extending MI attacks to audio data, and our results highlight the security risks resulting from the extraction of the biometric data in that setup.


title: Negative Results of Fusing Code and Documentation for Learning to Accurately Identify Sensitive Source and Sink Methods An Application to the Android Framework for Data Leak Detection

abstract: Apps on mobile phones manipulate all sorts of data, including sensitive data, leading to privacy-related concerns. Recent regulations like the European GDPR provide rules for the processing of personal and sensitive data, like that no such data may be leaked without the consent of the user. Researchers have proposed sophisticated approaches to track sensitive data within mobile apps, all of which rely on specific lists of sensitive source and sink API methods. The data flow analysis results greatly depend on these lists' quality. Previous approaches either used incomplete hand-written lists that quickly became outdated or relied on machine learning. The latter, however, leads to numerous false positives, as we show. This paper introduces CoDoC, a tool that aims to revive the machine-learning approach to precisely identify privacy-related source and sink API methods. In contrast to previous approaches, CoDoC uses deep learning techniques and combines the source code with the documentation of API methods. Firstly, we propose novel definitions that clarify the concepts of sensitive source and sink methods. Secondly, based on these definitions, we build a new ground truth of Android methods representing sensitive source, sink, and neither (i.e., no source or sink) methods that will be used to train our classifier. We evaluate CoDoC and show that, on our validation dataset, it achieves a precision, recall, and F1 score of 91% in 10-fold cross-validation, outperforming the state-of-the-art SuSi when used on the same dataset. However, similarly to existing tools, we show that in the wild, i.e., with unseen data, CoDoC performs poorly and generates many false positive results. Our findings, together with time-tested results of previous approaches, suggest that machine-learning models for abstract concepts such as privacy fail in practice despite good lab results.


title: Symmetry classes of dissipative topological insulators with edge dark state

abstract: We classify the dissipative topological insulators (TIs) with edge dark states (EDS) by using the 38-fold way of non-Hermitian systems in this paper. The dissipative dynamics of these quadratic open fermionic systems is captured by a non-Hermitian single-particle matrix which contains both the internal dynamics and the dissipation, refereed to as damping matrix $X$. And the dark states in these systems are the eigenmodes of $X$ which the eigenvalues' imaginary part vanishes. However, there is a constraint on $X$, namely that the modes in which the eigenvalues' imaginary parts are positive are forbidden. In other words, the imaginary line-gap of $X$ is ill-defined, so the topological band theory classifying the dark states can not be applied to $X$. To reveal the topological protection of EDS, we propose the double damping matrix $\tilde{X} = \text{diag}\left( X, X^* \right)$, where the imaginary line-gap is well defined. Thus, the 38-fold way can be applied to $\tilde{X}$, and the topological protection of the EDS is uncovered. Different from previous studies of EDS in purely dissipative dynamics, the EDS in the dissipative TIs are robust against the inclusion of Hamiltonians. Furthermore, the topological classification of $\tilde{X}$ not only reflects the topological protection of EDS in dissipative TIs but also provides a paradigm to predict the appearance of EDS in other open free fermionic systems.


title: A JWST NIRSpec Phase Curve for WASP-121b: Dayside Emission Strongest Eastward of the Substellar Point and Nightside Conditions Conducive to Cloud Formation

abstract: We present the first exoplanet phase curve measurement made with the JWST NIRSpec instrument, highlighting the exceptional stability of this newly-commissioned observatory for exoplanet climate studies. The target, WASP-121b, is an ultrahot Jupiter with an orbital period of 30.6 hr. We analyze two broadband light curves generated for the NRS1 and NRS2 detectors, covering wavelength ranges of 2.70-3.72 micron and 3.82-5.15 micron, respectively. Both light curves exhibit minimal systematics, with approximately linear drifts in the baseline flux level of 30 ppm/hr (NRS1) and 10 ppm/hr (NRS2). Assuming a simple brightness map for the planet described by a low-order spherical harmonic dipole, our light curve fits suggest that the phase curve peaks coincide with orbital phases $3.36 \pm 0.11$ deg (NRS1) and $2.66 \pm 0.12$ deg (NRS2) prior to mid-eclipse. This is consistent with the strongest dayside emission emanating from eastward of the substellar point. We measure planet-to-star emission ratios of $3,924 \pm 7$ ppm (NRS1) and $4,924 \pm 9$ ppm (NRS2) for the dayside hemisphere, and $136 \pm 8$ ppm (NRS1) and $630 \pm 10$ ppm (NRS2) for the nightside hemisphere. The latter nightside emission ratios translate to planetary brightness temperatures of $926 \pm 12$ K (NRS1) and $1,122 \pm 10$ K (NRS2), which are low enough for a wide range of refractory condensates to form, including enstatite and forsterite. A nightside cloud deck may be blocking emission from deeper, hotter layers of the atmosphere, potentially helping to explain why cloud-free 3D general circulation model simulations systematically over-predict the nightside emission for WASP-121b.


title: Probing the structural evolution along the fission path in the superheavy nucleus $^{256}$Sg

abstract: The evolution of structure property along the fission path in the superheavy nucleus $^{256}$Sg is predicted through the multi-dimensional potential-energy(or Routhian)-surface calculations,in which the phenomenological deformed Woods-Saxon potential is adopted. Calculated nuclear deformations and fission barriers for $^{256}_{106}$Sg$_{150}$ and its neighbors, e.g., $^{258,260}$Sg, $^{254}$Rf and $^{252}$No are presented and compared with other theoretical results. A series of energy maps and curves are provided and used to evaluate the corresponding shape-instability properties, especially in the directions of triaxial $\gamma$ and different hexadecapole deformations (e.g., $\alpha_{40}$, $\alpha_{42}$ and $\alpha_{44}$). It is found that the triaxial deformation may help the nucleus bypass the first fission-barrier of the axial case. After the first minimum in the nuclear energy surface, the fission pathway of the nucleus can be affected by $\gamma$ and hexadecapole deformation degrees of freedom. In addition, microscopic single-particle structure, pairing and Coriolis effects are briefly investigated and discussed.