title: Partial differential equation-based inference of migration and proliferation mechanisms in cancer cell populations

abstract: Targeting signaling pathways that drive cancer cell migration or proliferation is a common therapeutic approach. A popular experimental technique, the scratch assay, measures the migration and proliferation-driven cell monolayer formation. Scratch assay analyses do not differentiate between migration and proliferation effects and do not attempt to measure dynamic effects. To improve upon these methods, we combine high-throughput scratch assays, continuous video microscopy, and variational system identification (VSI) to infer partial differential equation (PDE) models of cell migration and proliferation. We capture the evolution of cell density fields over time using live cell microscopy and automated image processing. We employ VSI techniques to identify cell density dynamics modeled with first-order kinetics of advection-diffusion-reaction systems. We present a comparison of our methods to results obtained using traditional inference approaches on previously analyzed 1-dimensional scratch assay data. We demonstrate the application of this pipeline on high throughput 2-dimensional scratch assays and find that decreasing serum levels can decrease random cell migration by approximately 20%. Our integrated experimental and computational pipeline can be adapted for automatically quantifying the effect of biological perturbations on cell migration and proliferation in various cell lines.


title: Estimating Treatment Effects in Continuous Time with Hidden Confounders

abstract: Estimating treatment effects plays a crucial role in causal inference, having many real-world applications like policy analysis and decision making. Nevertheless, estimating treatment effects in the longitudinal setting in the presence of hidden confounders remains an extremely challenging problem. Recently, there is a growing body of work attempting to obtain unbiased ITE estimates from time-dynamic observational data by ignoring the possible existence of hidden confounders. Additionally, many existing works handling hidden confounders are not applicable for continuous-time settings. In this paper, we extend the line of work focusing on deconfounding in the dynamic time setting in the presence of hidden confounders. We leverage recent advancements in neural differential equations to build a latent factor model using a stochastic controlled differential equation and Lipschitz constrained convolutional operation in order to continuously incorporate information about ongoing interventions and irregularly sampled observations. Experiments on both synthetic and real-world datasets highlight the promise of continuous time methods for estimating treatment effects in the presence of hidden confounders.


title: Logarithmic spirals in 2d perfect fluids

abstract: We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on $\mathbb{S}$. We show that this system is locally well-posed in $L^p, p\geq 1$ as well as for atomic measures, that is logarithmic spiral vortex sheets. In particular, we realize the dynamics of logarithmic vortex sheets as the well-defined limit of logarithmic solutions which could be smooth in the angle. Furthermore, our formulation not only allows for a simple proof of existence and bifurcation for non-symmetric multi branched logarithmic spiral vortex sheets but also provides a framework for studying asymptotic stability of self-similar dynamics. We give a complete characterization of the long time behavior of logarithmic spirals. We prove global well-posedness for bounded logarithmic spirals as well as data that admit at most logarithmic singularities. This is due to the observation that the local circulation of the vorticity around the origin is a strictly monotone quantity of time. We are then able to show a dichotomy in the long time behavior, solutions either blow up (either in finite or infinite time) or completely homogenize. In particular, bounded logarithmic spirals should converge to constant steady states. For logarithmic spiral sheets, the dichotomy is shown to be even more drastic where only finite time blow up or complete homogenization of the fluid can and does occur.


title: GRAFS: Graphical Faceted Search System to Support Conceptual Understanding in Exploratory Search

abstract: When people search for information about a new topic within large document collections, they implicitly construct a mental model of the unfamiliar information space to represent what they currently know and guide their exploration into the unknown. Building this mental model can be challenging as it requires not only finding relevant documents, but also synthesizing important concepts and the relationships that connect those concepts both within and across documents. This paper describes a novel interactive approach designed to help users construct a mental model of an unfamiliar information space during exploratory search. We propose a new semantic search system to organize and visualize important concepts and their relations for a set of search results. A user study ($n=20$) was conducted to compare the proposed approach against a baseline faceted search system on exploratory literature search tasks. Experimental results show that the proposed approach is more effective in helping users recognize relationships between key concepts, leading to a more sophisticated understanding of the search topic while maintaining similar functionality and usability as a faceted search system.


title: Matching Algorithms under Diversity-Based Reservations

abstract: Selection under category or diversity constraints is a ubiquitous and widely-applicable problem that is encountered in immigration, school choice, hiring, and healthcare rationing. These diversity constraints are typically represented by minimum and maximum quotas on various categories or types. We undertake a detailed comparative study of applicant selection algorithms with respect to the diversity goals.


title: Robust and Versatile Bipedal Jumping Control through Reinforcement Learning

abstract: This work aims to push the limits of agility for bipedal robots by enabling a torque-controlled bipedal robot to perform robust and versatile dynamic jumps in the real world. We present a reinforcement learning framework for training a robot to accomplish a large variety of jumping tasks, such as jumping to different locations and directions. To improve performance on these challenging tasks, we develop a new policy structure that encodes the robot's long-term input/output (I/O) history while also providing direct access to a short-term I/O history. In order to train a versatile jumping policy, we utilize a multi-stage training scheme that includes different training stages for different objectives. After multi-stage training, the policy can be directly transferred to a real bipedal Cassie robot. Training on different tasks and exploring more diverse scenarios lead to highly robust policies that can exploit the diverse set of learned maneuvers to recover from perturbations or poor landings during real-world deployment. Such robustness in the proposed policy enables Cassie to succeed in completing a variety of challenging jump tasks in the real world, such as standing long jumps, jumping onto elevated platforms, and multi-axes jumps.


title: Estimating Optimal Policy Value in General Linear Contextual Bandits

abstract: In many bandit problems, the maximal reward achievable by a policy is often unknown in advance. We consider the problem of estimating the optimal policy value in the sublinear data regime before the optimal policy is even learnable. We refer to this as $V^*$ estimation. It was recently shown that fast $V^*$ estimation is possible but only in disjoint linear bandits with Gaussian covariates. Whether this is possible for more realistic context distributions has remained an open and important question for tasks such as model selection. In this paper, we first provide lower bounds showing that this general problem is hard. However, under stronger assumptions, we give an algorithm and analysis proving that $\widetilde{\mathcal{O}}(\sqrt{d})$ sublinear estimation of $V^*$ is indeed information-theoretically possible, where $d$ is the dimension. We then present a more practical, computationally efficient algorithm that estimates a problem-dependent upper bound on $V^*$ that holds for general distributions and is tight when the context distribution is Gaussian. We prove our algorithm requires only $\widetilde{\mathcal{O}}(\sqrt{d})$ samples to estimate the upper bound. We use this upper bound and the estimator to obtain novel and improved guarantees for several applications in bandit model selection and testing for treatment effects.


title: ALMA ACA study of the H$_2$S/OCS ratio in low-mass protostars

abstract: The identification of the main sulfur reservoir on its way from the diffuse interstellar medium to the cold dense star-forming cores and eventually to protostars is a long-standing problem. Despite sulfur's astrochemical relevance, the abundance of S-bearing molecules in dense cores and regions around protostars is still insufficiently constrained. The goal of this investigation is to derive the gas-phase H$_2$S/OCS ratio for several low-mass protostars, which could provide crucial information about the physical and chemical conditions in the birth cloud of Sun-like stars. Using ALMA ACA Band 6 observations, H$_2$S, OCS, and their isotopologs are searched for in 10 Class 0/I protostars with different source properties such as age, mass, and environmental conditions. An LTE model is used to fit synthetic spectra to the detected lines and to derive the column densities based solely on optically thin lines. The H$_2$S and OCS column densities span four orders of magnitude across the sample. The H$_2$S/OCS ratio is found to be in the range from 0.2 to above 9.7. IRAS 16293-2422 A and Ser-SMM3 have the lowest ratio, while BHR71-IRS1 has the highest. Only the H$_2$S/OCS ratio of BHR71-IRS1 agress within uncertainties with the ratio in comet 67P/C$-$G. The determined gas-phase H$_2$S/OCS ratios can be below the upper limits on the solid-state ratios by as much as an order of magnitude. The H$_2$S/OCS ratio depends significantly on the environment of the birth cloud, such as UV-irradiation and heating received prior to the formation of a protostar. The highly isolated birth environment of BHR71-IRS1 is hypothesized to be the reason for its high gaseous H$_2$S/OCS ratio due to lower rates of photoreactions and more efficient hydrogenation reactions under such dark, cold conditions. The gaseous inventory of S-bearing molecules in BHR71-IRS1 appears to be most similar to that of interstellar ices.


title: A direct probing method of an inverse problem for the Eikonal equation

abstract: In this paper, we propose a direct probing method for the inverse problem based on the Eikonal equation. For the Eikonal equation with a point source, the viscosity solution represents the least travel time of wave fields from the source to the point at the high-frequency limit. The corresponding inverse problem is to determine the inhomogeneous wave-speed distribution from the first-arrival time data at the measurement surfaces corresponding to distributed point sources, which is called transmission travel-time tomography. At the low-frequency regime, the reconstruction approximates the frequency-depend wave-speed distribution. We analyze the Eikonal inverse problem and show that it is highly ill-posed. Then we developed a direct probing method that incorporates the solution analysis of the Eikonal equation and several aspects of the velocity models. When the wave-speed distribution has a small variation from the homogeneous medium, we reconstruct the inhomogeneous media using the filtered back projection method. For the high-contrast media, we assume a background medium and develop the adjoint-based back projection method to identify the variations of the medium from the assumed background.


title: Realizability of Some Combinatorial Sequences

abstract: A sequence $a=(a_n)_{n=1}^\infty$ of non-negative integers is called realizable if there is a self-map $T:X\to X$ on a set $X$ such that $a_n$ is equal to the number of periodic points of $T$ in $X$ of (not necessarily exact) period $n$, for all $n\geq1$. The sequence $a$ is called almost realizable if there exists a positive integer $m$ such that $(ma_n)_{n=1}^\infty$ is realizable. In this article, we show that certain wide classes of integer sequences are realizable, which contain many famous combinatorial sequences, such as the sequences of Ap\'ery numbers of both kinds, central Delannoy numbers, Franel numbers, Domb numbers, Zagier numbers, and central trinomial coefficients. We also show that the sequences of Catalan numbers, Motzkin numbers, and large and small Schr\"oder numbers are not almost realizable.


title: An Open-Source, Physics-Based, Tropical Cyclone Downscaling Model with Intensity-Dependent Steering

abstract: An open-source, physics-based tropical cyclone downscaling model is developed, in order to generate a large climatology of tropical cyclones. The model is composed of three primary components: (1) a random seeding process that determines genesis, (2) an intensity-dependent beta-advection model that determines the track, and (3) a non-linear differential equation set that determines the intensification rate. The model is entirely forced by the large-scale environment. Downscaling ERA5 reanalysis data shows that the model is generally able to reproduce observed tropical cyclone climatology, such as the global seasonal cycle, genesis locations, track density, and lifetime maximum intensity distributions. Inter-annual variability in tropical cyclone count and power-dissipation is also well captured, on both basin-wide and global scales. Regional tropical cyclone hazard estimated by this model is also analyzed using return period maps and curves. In particular, the model is able to reasonably capture the observed return period curves of landfall intensity in various sub-basins around the globe. The incorporation of an intensity-dependent steering flow is shown to lead to regionally dependent changes in power dissipation and return periods. Advantages and disadvantages of this model, compared to other downscaling models, are also discussed.


title: Distributional Offline Policy Evaluation with Predictive Error Guarantees

abstract: We study the problem of estimating the distribution of the return of a policy using an offline dataset that is not generated from the policy, i.e., distributional offline policy evaluation (OPE). We propose an algorithm called Fitted Likelihood Estimation (FLE), which conducts a sequence of Maximum Likelihood Estimation (MLE) and has the flexibility of integrating any state-of-the-art probabilistic generative models as long as it can be trained via MLE. FLE can be used for both finite-horizon and infinite-horizon discounted settings where rewards can be multi-dimensional vectors. Our theoretical results show that for both finite-horizon and infinite-horizon discounted settings, FLE can learn distributions that are close to the ground truth under total variation distance and Wasserstein distance, respectively. Our theoretical results hold under the conditions that the offline data covers the test policy's traces and that the supervised learning MLE procedures succeed. Experimentally, we demonstrate the performance of FLE with two generative models, Gaussian mixture models and diffusion models. For the multi-dimensional reward setting, FLE with diffusion models is capable of estimating the complicated distribution of the return of a test policy.


title: Attacks in Adversarial Machine Learning: A Systematic Survey from the Life-cycle Perspective

abstract: Adversarial machine learning (AML) studies the adversarial phenomenon of machine learning, which may make inconsistent or unexpected predictions with humans. Some paradigms have been recently developed to explore this adversarial phenomenon occurring at different stages of a machine learning system, such as backdoor attack occurring at the pre-training, in-training and inference stage; weight attack occurring at the post-training, deployment and inference stage; adversarial attack occurring at the inference stage. However, although these adversarial paradigms share a common goal, their developments are almost independent, and there is still no big picture of AML. In this work, we aim to provide a unified perspective to the AML community to systematically review the overall progress of this field. We firstly provide a general definition about AML, and then propose a unified mathematical framework to covering existing attack paradigms. According to the proposed unified framework, we build a full taxonomy to systematically categorize and review existing representative methods for each paradigm. Besides, using this unified framework, it is easy to figure out the connections and differences among different attack paradigms, which may inspire future researchers to develop more advanced attack paradigms. Finally, to facilitate the viewing of the built taxonomy and the related literature in adversarial machine learning, we further provide a website, \ie, \url{http://adversarial-ml.com}, where the taxonomies and literature will be continuously updated.


title: Learning Language Representations with Logical Inductive Bias

abstract: Transformer architectures have achieved great success in solving natural language tasks, which learn strong language representations from large-scale unlabeled texts. In this paper, we seek to go further beyond and explore a new logical inductive bias for better language representation learning. Logic reasoning is known as a formal methodology to reach answers from given knowledge and facts. Inspired by such a view, we develop a novel neural architecture named FOLNet (First-Order Logic Network), to encode this new inductive bias. We construct a set of neural logic operators as learnable Horn clauses, which are further forward-chained into a fully differentiable neural architecture (FOLNet). Interestingly, we find that the self-attention module in transformers can be composed by two of our neural logic operators, which probably explains their strong reasoning performance. Our proposed FOLNet has the same input and output interfaces as other pretrained models and thus could be pretrained/finetuned by using similar losses. It also allows FOLNet to be used in a plug-and-play manner when replacing other pretrained models. With our logical inductive bias, the same set of ``logic deduction skills'' learned through pretraining are expected to be equally capable of solving diverse downstream tasks. For this reason, FOLNet learns language representations that have much stronger transfer capabilities. Experimental results on several language understanding tasks show that our pretrained FOLNet model outperforms the existing strong transformer-based approaches.


title: Nurse Scheduling Problem via PyQUBO

abstract: The nurse scheduling problem is a critical optimization challenge in healthcare management. It aims to balance staffing demands, nurse satisfaction, and patient care quality. Corresponding to the constraints inherent in this scheduling problem, we detail the mathematical formulation step-by-step. We then utilize a quantum-inspired technique, the simulated annealing algorithm, and a quadratic unconstrained binary optimization model to optimize workload and increase nurse preferences. Numerical experiments are implemented to show the capacity of our proposed techniques. Our findings indicate a promising direction for future research, with potential applications extending beyond nurse scheduling to other complex optimization problems.


title: The upper capacity topological entropy of free semigroup actions for certain non-compact sets,$II$

abstract: This paper's major purpose is to continue the work of Zhu and Ma[1]. To begin, the $\mathbf{g}$-almost product property, more general irregular and regular sets, and some new notions of the Banach upper density recurrent points and transitive points of free semigroup actions are introduced. Furthermore, under the $\mathbf{g}$-almost product property and other conditions, we coordinate the Banach upper recurrence, transitivity with (ir)regularity, and obtain lots of generalized multifractal analyses for general observable functions of free semigroup actions. Finally, statistical $\omega$-limit sets are used to consider the upper capacity topological entropy of the sets of Banach upper recurrent points and transitive points of free semigroup actions, respectively. Our analysis generalizes the results obtained by Huang, Tian and Wang[2], Pfister and Sullivan [3].


title: Liveness score-based regression neural networks for face anti-spoofing

abstract: Previous anti-spoofing methods have used either pseudo maps or user-defined labels, and the performance of each approach depends on the accuracy of the third party networks generating pseudo maps and the way in which the users define the labels. In this paper, we propose a liveness score-based regression network for overcoming the dependency on third party networks and users. First, we introduce a new labeling technique, called pseudo-discretized label encoding for generating discretized labels indicating the amount of information related to real images. Secondly, we suggest the expected liveness score based on a regression network for training the difference between the proposed supervision and the expected liveness score. Finally, extensive experiments were conducted on four face anti-spoofing benchmarks to verify our proposed method on both intra-and cross-dataset tests. The experimental results show our approach outperforms previous methods.


title: MedViT: A Robust Vision Transformer for Generalized Medical Image Classification

abstract: Convolutional Neural Networks (CNNs) have advanced existing medical systems for automatic disease diagnosis. However, there are still concerns about the reliability of deep medical diagnosis systems against the potential threats of adversarial attacks since inaccurate diagnosis could lead to disastrous consequences in the safety realm. In this study, we propose a highly robust yet efficient CNN-Transformer hybrid model which is equipped with the locality of CNNs as well as the global connectivity of vision Transformers. To mitigate the high quadratic complexity of the self-attention mechanism while jointly attending to information in various representation subspaces, we construct our attention mechanism by means of an efficient convolution operation. Moreover, to alleviate the fragility of our Transformer model against adversarial attacks, we attempt to learn smoother decision boundaries. To this end, we augment the shape information of an image in the high-level feature space by permuting the feature mean and variance within mini-batches. With less computational complexity, our proposed hybrid model demonstrates its high robustness and generalization ability compared to the state-of-the-art studies on a large-scale collection of standardized MedMNIST-2D datasets.


title: The Emerging Artificial Intelligence Protocol for Hierarchical Information Network

abstract: The recent development of artificial intelligence enables a machine to achieve a human level of intelligence. Problem-solving and decision-making are two mental abilities to measure human intelligence. Many scholars have proposed different models. However, there is a gap in establishing an AI-oriented hierarchical model with a multilevel abstraction. This study proposes a novel model known as the emerged AI protocol that consists of seven distinct layers capable of providing an optimal and explainable solution for a given problem.


title: New Objects in Scattering Theory with Symmetries

abstract: We consider 1D quantum scattering problem for a Hamiltonian with symmetries. We show that the proper treatment of symmetries in the spirit of homological algebra leads to new objects, generalizing the well known T- and K-matrices. Homological treatment implies that old objects and new ones are be combined in a differential. This differential arises from homotopy transfer of induced interaction and symmetries on solutions of free equations of motion. Therefore, old and new objects satisfy remarkable quadratic equations. We construct an explicit example in SUSY QM on $S^1$ demonstrating nontriviality of the above relation.


title: Stochastic Generative Flow Networks

abstract: Generative Flow Networks (or GFlowNets for short) are a family of probabilistic agents that learn to sample complex combinatorial structures through the lens of "inference as control". They have shown great potential in generating high-quality and diverse candidates from a given energy landscape. However, existing GFlowNets can be applied only to deterministic environments, and fail in more general tasks with stochastic dynamics, which can limit their applicability. To overcome this challenge, this paper introduces Stochastic GFlowNets, a new algorithm that extends GFlowNets to stochastic environments. By decomposing state transitions into two steps, Stochastic GFlowNets isolate environmental stochasticity and learn a dynamics model to capture it. Extensive experimental results demonstrate that Stochastic GFlowNets offer significant advantages over standard GFlowNets as well as MCMC- and RL-based approaches, on a variety of standard benchmarks with stochastic dynamics.


title: RePrompt: Automatic Prompt Editing to Refine AI-Generative Art Towards Precise Expressions

abstract: Generative AI models have shown impressive ability to produce images with text prompts, which could benefit creativity in visual art creation and self-expression. However, it is unclear how precisely the generated images express contexts and emotions from the input texts. We explored the emotional expressiveness of AI-generated images and developed RePrompt, an automatic method to refine text prompts toward precise expression of the generated images. Inspired by crowdsourced editing strategies, we curated intuitive text features, such as the number and concreteness of nouns, and trained a proxy model to analyze the feature effects on the AI-generated image. With model explanations of the proxy model, we curated a rubric to adjust text prompts to optimize image generation for precise emotion expression. We conducted simulation and user studies, which showed that RePrompt significantly improves the emotional expressiveness of AI-generated images, especially for negative emotions.


title: Designing a 3D-Aware StyleNeRF Encoder for Face Editing

abstract: GAN inversion has been exploited in many face manipulation tasks, but 2D GANs often fail to generate multi-view 3D consistent images. The encoders designed for 2D GANs are not able to provide sufficient 3D information for the inversion and editing. Therefore, 3D-aware GAN inversion is proposed to increase the 3D editing capability of GANs. However, the 3D-aware GAN inversion remains under-explored. To tackle this problem, we propose a 3D-aware (3Da) encoder for GAN inversion and face editing based on the powerful StyleNeRF model. Our proposed 3Da encoder combines a parametric 3D face model with a learnable detail representation model to generate geometry, texture and view direction codes. For more flexible face manipulation, we then design a dual-branch StyleFlow module to transfer the StyleNeRF codes with disentangled geometry and texture flows. Extensive experiments demonstrate that we realize 3D consistent face manipulation in both facial attribute editing and texture transfer. Furthermore, for video editing, we make the sequence of frame codes share a common canonical manifold, which improves the temporal consistency of the edited attributes.


title: Rethinking Memory Profiling and Migration for Multi-Tiered Large Memory Systems

abstract: Multi-tiered large memory systems call for rethinking of memory profiling and migration because of the unique problems unseen in the traditional memory systems with smaller capacity and fewer tiers. We develop MTM, an application-transparent page management system based on three principles: (1) connecting the control of profiling overhead with the profiling mechanism for high-quality profiling; (2) building a universal page migration policy on the complex multi-tiered memory for high performance; and (3) introducing huge page awareness. We evaluate MTM using common big-data applications with realistic working sets (hundreds of GB to 1 TB). MTM outperforms seven state-of-the-art solutions by up to 42% (17% on average)


title: Integrated sensing and full-duplex communication: Joint transceiver beamforming and power allocation

abstract: Beamforming design has been widely investigated for integrated sensing and communication (ISAC) systems with full-duplex (FD) sensing and half-duplex (HD) communication. To achieve higher spectral efficiency, in this paper, we extend existing ISAC beamforming design by considering the FD capability for both radar and communication. Specifically, we consider an ISAC system, where the base station (BS) performs target detection and communicates with multiple downlink users and uplink users reusing the same time and frequency resources. We jointly optimize the downlink dual-functional transmit signal and the uplink receive beamformers at the BS and the transmit power at the uplink users. The problem is formulated to minimize the total transmit power of the system while guaranteeing the communication and sensing requirements. The downlink and uplink transmissions are tightly coupled, making the joint optimization challenging. To handle this issue, we first determine the receive beamformers in closed forms with respect to the BS transmit beamforming and the user transmit power and then suggest an iterative solution to the remaining problem. We demonstrate via numerical results that the optimized FD communication-based ISAC leads to power efficiency improvement compared to conventional ISAC with HD communication.


title: Full Counting Statistics across the Entanglement Phase Transition of Non-Hermitian Hamiltonians with Charge Conservations

abstract: Performing quantum measurements produces not only the expectation value of a physical observable $O$ but also the probability distribution $P(o)$ of all possible outcomes $o$. The full counting statistics (FCS) $Z(\phi, O)\equiv \sum_o e^{i\phi o}P(o)$, a Fourier transform of this distribution, contains the complete information of the measurement outcome. In this work, we study the FCS of $Q_A$, the charge operator in subsystem $A$, for 1D systems described by non-Hermitian SYK-like models, which are solvable in the large-$N$ limit. In both the volume-law entangled phase for interacting systems and the critical phase for non-interacting systems, the conformal symmetry emerges, which gives $F(\phi, Q_A)\equiv \log Z(\phi, Q_A)\sim \phi^2\log |A|$. In short-range entangled phases, the FCS shows area-law behavior which can be approximated as $F(\phi, Q_A)\sim (1-\cos\phi) |\partial A|$ for $\zeta \gg J$, regardless of the presence of interactions. Our results suggest the FCS is a universal probe of entanglement phase transitions in non-Hermitian systems with conserved charges, which does not require the introduction of multiple replicas. We also discuss the consequence of discrete symmetry, long-range hopping, and generalizations to higher dimensions.

categories: quant-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Homoclinic orbits in Kerr-Newman black holes

abstract: We present the exact solutions of the homoclinic orbits for the timelike geodesics of the particle on the general nonequatorial orbits in the Kerr-Newman black holes. The homoclinic orbit is the separatrix between bound and plunging geodesics, a solution that asymptotes to an energetically bound, unstable spherical orbit. The solutions are written in terms of the elliptical integrals and the Jacobi elliptic functions of manifestly real functions of the Mino time where we focus on the effect from the charge of the black hole to the homoclinic orbits. The parameter space of the homoclinic solutions is explored. The nonequatorial homoclinic orbits in Kerr cases can be obtained by setting the charge of the black holes to be zero. The homoclinic orbits and the associated phase portrait as a function of the radial position and its derivation with respect to the Mino time are plotted using the analytical solutions. In particular, the solutions can reduce to the zero azimuthal angular moment homoclinic orbits for understanding the frame dragging effects from the spin as well as the charge of the black hole. The implications of the obtained results to observations are discussed.


title: Infinitely many Brake orbits of Tonelli Hamiltonian systems on the cotangent bundle

abstract: We prove that on the twisted cotangent bundle of a closed manifold with an exact magnetic form, a Hamiltonian system of a time-dependent Tonelli Hamiltonian function possesses infinitely many brake orbits. More precisely, by applying Legendre transform we show that there are infinitely many symmetric orbits of the dual Euler-Lagrange system on the configuration space. This result contains an assertion for the existence of infinitely many symmetric orbits of Tonelli Euler-Lagrange systems given by G. Lu at the end of [Lu09a, Remark 6.1]. In this paper, we will present a complete proof of this assertion.


title: Video-Text Retrieval by Supervised Sparse Multi-Grained Learning

abstract: While recent progress in video-text retrieval has been advanced by the exploration of better representation learning, in this paper, we present a novel multi-grained sparse learning framework, S3MA, to learn an aligned sparse space shared between the video and the text for video-text retrieval. The shared sparse space is initialized with a finite number of sparse concepts, each of which refers to a number of words. With the text data at hand, we learn and update the shared sparse space in a supervised manner using the proposed similarity and alignment losses. Moreover, to enable multi-grained alignment, we incorporate frame representations for better modeling the video modality and calculating fine-grained and coarse-grained similarities. Benefiting from the learned shared sparse space and multi-grained similarities, extensive experiments on several video-text retrieval benchmarks demonstrate the superiority of S3MA over existing methods. Our code is available at https://github.com/yimuwangcs/Better_Cross_Modal_Retrieval.


title: Orbifold theory for vertex algebras and Galois correspondence

abstract: Let $V$ be a simple vertex algebra of countable dimension, $G$ be a finite automorphism group of $V$ and $\sigma$ be a central element of $G$. Assume that ${\cal S}$ is a finite set of inequivalent irreducible $\sigma$-twisted $V$-modules such that ${\cal S}$ is invariant under the action of $G$. Then there is a finite dimensional semisimple associative algebra ${\cal A}_{\alpha}(G,{\cal S})$ for a suitable $2$-cocycle $\alpha$ naturally determined by the $G$-action on ${\cal S}$ such that $({\cal A}_{\alpha}(G,{\cal S}),V^G)$ form a dual pair on the sum $\cal M$ of $\sigma$-twisted $V$-modules in ${\cal S}$ in the sense that (1) the actions of ${\cal A}_{\alpha}(G,{\cal S})$ and $V^G$ on $\cal M$ commute, (2) each irreducible ${\cal A}_{\alpha}(G,{\cal S})$-module appears in $\cal M,$ (3) the multiplicity space of each irreducible ${\cal A}_{\alpha}(G,{\cal S})$-module is an irreducible $V^G$-module, (4) the multiplicitiy spaces of different irreducible ${\cal A}_{\alpha}(G,{\cal S})$-modules are inequivalent $V^G$-modules. As applications, every irreducible $\sigma$-twisted $V$-module is a direct sum of finitely many irreducible $V^G$-modules and irreducible $V^G$-modules appearing in different $G$-orbits are inequivalent. This result generalizes many previous ones. We also establish a bijection between subgroups of $G$ and subalgebras of $V$ containing $V^G.$


title: Whose Probabilities? About What? A Reply to Khrennikov

abstract: In a recent article, Khrennikov claims that a particular theorem about agreement between quantum measurement results poses a problem for the interpretation of quantum mechanics known as QBism. Considering the basic setup of that theorem in light of the meaning that QBism gives to probability shows that the claim is unfounded.


title: Electromagnetic Scattering by Bianisotropic Spheres

abstract: Electromagnetic fields in bulk bianisotropic media can be represented using plane waves whose k-vectors can be found using the index of refraction operator method and belong to the Fresnel wave surfaces that fall into one of the 5 hyperbolic classes that are used as the taxonomy of bianisotropic media [Durach et al., Appl. Sci., Opt. Comm. (2020), PIER (2022)]. It has been demonstrated that, alternatively, the linear combinations of vector spherical harmonics can be used as a set of solutions of vector Helmholtz equation in gyroelectric, gyromagnetic, and gyrotropic anisotropic media to develop Mie theory of scattering by anisotropic spheres [Lin, Chui, Phys. Rev. E (2004), Li, Ong, Zheng, Phys. Rev. E (2012)]. In this paper we introduce electromagnetic orbitals for bianisotropic media as linear combinations of vector spherical harmonics, which represent a set of solutions of Maxwells equations in bianisotropic media. Using these bianisotropic orbitals we develop a theory of scattering of electromagnetic radiation by bianisotropic spheres with arbitrary effective material parameters and sizes. As a by-product we obtain a simple expression for the expansion of a vector plane wave over vector spherical harmonics (cf. Sarkar, Halas, Phys. Rev. E (1997)). We obtain the polarizability expressions in Rayleigh limit of our theory in agreement with the previous results of the electrostatic approximation [Lakhtakia, J. Phys (1990), Sihvola, Mic. Opt. Tech. Lett. (1994)].


title: Uncorrelated Amplitude and Frequency Variations of the Harmonics in SX Phoenicis Star XX Cygni

abstract: Harmonics are quite common in pulsating stars, and they are always considered to mimic the behaviors of their independent parent pulsation modes and not taken as the key information for asteroseismology. Here, we report an SX Phoenicis star XX Cygni, whose periodogram is dominated by the fundamental frequency $f_{0} = 7.41481 \pm 0.00004\ \mathrm{cd}^{-1}$ and its 19 harmonics. According to the analysis of the archival data from \TESS, we find that both the amplitudes and frequencies of the fundamental mode and the harmonics vary within TESS Sectors 14-17 and 54-57, which might be caused by the contamination by neighbouring stars. What is more interesting is that, the harmonics show significantly uncorrelated amplitude and frequency variations over time. Some possible origins and interesting issues are proposed to scheme the further research of this hidden corner in current asteroseismology.


title: Bayesian quantification of strongly-interacting matter with color glass condensate initial conditions

abstract: A global Bayesian analysis of relativistic Pb + Pb collisions at $\sqrt{s}_{\rm NN}$ = 2.76 TeV is performed, using a multistage model consisting of an IP-Glasma initial state, a viscous fluid dynamical evolution, and a hadronic transport final state. The observables considered are from the soft sector hadronic final state. Posterior and Maximum a Posteriori parameter distributions that pertain to the IP-Glasma and hydrodynamic phases are obtained, including the shear and bulk specific viscosity of strong interacting matter. The first use of inference with transfer learning in heavy-ion analyses is presented, together with Bayes Model Averaging.


title: Delving into the Adversarial Robustness of Federated Learning

abstract: In Federated Learning (FL), models are as fragile as centrally trained models against adversarial examples. However, the adversarial robustness of federated learning remains largely unexplored. This paper casts light on the challenge of adversarial robustness of federated learning. To facilitate a better understanding of the adversarial vulnerability of the existing FL methods, we conduct comprehensive robustness evaluations on various attacks and adversarial training methods. Moreover, we reveal the negative impacts induced by directly adopting adversarial training in FL, which seriously hurts the test accuracy, especially in non-IID settings. In this work, we propose a novel algorithm called Decision Boundary based Federated Adversarial Training (DBFAT), which consists of two components (local re-weighting and global regularization) to improve both accuracy and robustness of FL systems. Extensive experiments on multiple datasets demonstrate that DBFAT consistently outperforms other baselines under both IID and non-IID settings.


title: Assessing Parameterized Geometric Models of Woven Composites using Image-Based Simulations

abstract: Mesoscale simulations of woven composites using parameterized analytical geometries offer a way to connect constituent material properties and their geometric arrangement to effective composite properties and performance. However, the reality of as-manufactured materials often differs from the ideal, both in terms of tow geometry and manufacturing heterogeneity. As such, resultant composite properties may differ from analytical predictions and exhibit significant local variations within a material. We employ mesoscale finite element method simulations to compare idealized analytical and as-manufactured woven composite materials and study the sensitivity of their effective properties to the mesoscale geometry. Three-dimensional geometries are reconstructed from X-ray computed tomography, image segmentation is performed using deep learning methods, and local fiber orientation is obtained using the structure tensor calculated from image scans. Suitable approximations to composite properties, using analytical unit cell calculations and effective media theory, are assessed. Our findings show that an analytical geometry and sub-unit cell geometry provide reasonable predictions for the effective thermal properties of a multi-layer production composite.


title: Quantum-Relaxation Based Optimization Algorithms: Theoretical Extensions

abstract: Quantum Random Access Optimizer (QRAO) is a quantum-relaxation based optimization algorithm proposed by Fuller et al. that utilizes Quantum Random Access Code (QRAC) to encode multiple variables of binary optimization in a single qubit. The approximation ratio bound of QRAO for the maximum cut problem is $0.555$ if the bit-to-qubit compression ratio is $3$x, while it is $0.625$ if the compression ratio is $2$x, thus demonstrating a trade-off between space efficiency and approximability. In this research, we extend the quantum-relaxation by using another QRAC which encodes three classical bits into two qubits (the bit-to-qubit compression ratio is $1.5$x) and obtain its approximation ratio for the maximum cut problem as $0.722$. Also, we design a novel quantum relaxation that always guarantees a $2$x bit-to-qubit compression ratio which is unlike the original quantum relaxation of Fuller~et~al. We analyze the condition when it has a non-trivial approximation ratio bound $\left(>\frac{1}{2}\right)$. We hope that our results lead to the analysis of the quantum approximability and practical efficiency of the quantum-relaxation based approaches.


title: Adoption and implication of the Biased-Annotator Competence Estimation (BACE) model into COVID-19 vaccine Twitter data: Human annotation for latent message features

abstract: Traditional quantitative content analysis approach (human coding method) has weaknesses, such as assuming all human coders are equally accurate once the intercoder reliability for training reaches a threshold score. We applied the Biased-Annotator Competence Estimation (BACE) model (Tyler, 2021), which draws on Bayesian modeling to improve human coding. An important contribution of this model is it takes each coder's potential biases and reliability into consideration and treats the "true" label of each message as a latent parameter, with quantifiable estimation uncertainties. In contrast, in conventional human coding, each message will receive a fixed label without estimates for measurement uncertainties. In this extended abstract, we first summarize the weaknesses of conventional human coding; and then apply the BACE model to COVID-19 vaccine Twitter data and compare BACE with other statistical models; finally, we discuss how the BACE model can be applied to improve human coding of latent message features.


title: Why Is Public Pretraining Necessary for Private Model Training?

abstract: In the privacy-utility tradeoff of a model trained on benchmark language and vision tasks, remarkable improvements have been widely reported with the use of pretraining on publicly available data. This is in part due to the benefits of transfer learning, which is the standard motivation for pretraining in non-private settings. However, the stark contrast in the improvement achieved through pretraining under privacy compared to non-private settings suggests that there may be a deeper, distinct cause driving these gains. To explain this phenomenon, we hypothesize that the non-convex loss landscape of a model training necessitates an optimization algorithm to go through two phases. In the first, the algorithm needs to select a good "basin" in the loss landscape. In the second, the algorithm solves an easy optimization within that basin. The former is a harder problem to solve with private data, while the latter is harder to solve with public data due to a distribution shift or data scarcity. Guided by this intuition, we provide theoretical constructions that provably demonstrate the separation between private training with and without public pretraining. Further, systematic experiments on CIFAR10 and LibriSpeech provide supporting evidence for our hypothesis.


title: Gradient-based Wang-Landau Algorithm: A Novel Sampler for Output Distribution of Neural Networks over the Input Space

abstract: The output distribution of a neural network (NN) over the entire input space captures the complete input-output mapping relationship, offering insights toward a more comprehensive NN understanding. Exhaustive enumeration or traditional Monte Carlo methods for the entire input space can exhibit impractical sampling time, especially for high-dimensional inputs. To make such difficult sampling computationally feasible, in this paper, we propose a novel Gradient-based Wang-Landau (GWL) sampler. We first draw the connection between the output distribution of a NN and the density of states (DOS) of a physical system. Then, we renovate the classic sampler for the DOS problem, the Wang-Landau algorithm, by replacing its random proposals with gradient-based Monte Carlo proposals. This way, our GWL sampler investigates the under-explored subsets of the input space much more efficiently. Extensive experiments have verified the accuracy of the output distribution generated by GWL and also showcased several interesting findings - for example, in a binary image classification task, both CNN and ResNet mapped the majority of human unrecognizable images to very negative logit values.


title: A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal

abstract: We give a presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, as a quotient of a polynomial ring by an explicit ideal. This is the torus-equivariant version of our previous result, which gives a presentation of the non-equivariant quantum $K$-theory ring of flag manifolds of type $A$. However, the method of proof for the torus-equivariant one is completely different from that for the non-equivariant one; our proof is based on the result in the $Q = 0$ limit, and uses Nakayama-type arguments to upgrade it to the quantum situation. Also, in contrast to the non-equivariant case in which we used the Chevalley formula, we make use of the inverse Chevalley formula for the torus-equivariant $K$-group of semi-infinite flag manifolds to obtain a relation which yields our presentation.


title: LC-NeRF: Local Controllable Face Generation in Neural Randiance Field

abstract: 3D face generation has achieved high visual quality and 3D consistency thanks to the development of neural radiance fields (NeRF). Recently, to generate and edit 3D faces with NeRF representation, some methods are proposed and achieve good results in decoupling geometry and texture. The latent codes of these generative models affect the whole face, and hence modifications to these codes cause the entire face to change. However, users usually edit a local region when editing faces and do not want other regions to be affected. Since changes to the latent code affect global generation results, these methods do not allow for fine-grained control of local facial regions. To improve local controllability in NeRF-based face editing, we propose LC-NeRF, which is composed of a Local Region Generators Module and a Spatial-Aware Fusion Module, allowing for local geometry and texture control of local facial regions. Qualitative and quantitative evaluations show that our method provides better local editing than state-of-the-art face editing methods. Our method also performs well in downstream tasks, such as text-driven facial image editing.


title: Understanding how the use of AI decision support tools affect critical thinking and over-reliance on technology by drug dispensers in Tanzania

abstract: The use of AI in healthcare is designed to improve care delivery and augment the decisions of providers to enhance patient outcomes. When deployed in clinical settings, the interaction between providers and AI is a critical component for measuring and understanding the effectiveness of these digital tools on broader health outcomes. Even in cases where AI algorithms have high diagnostic accuracy, healthcare providers often still rely on their experience and sometimes gut feeling to make a final decision. Other times, providers rely unquestioningly on the outputs of the AI models, which leads to a concern about over-reliance on the technology. The purpose of this research was to understand how reliant drug shop dispensers were on AI-powered technologies when determining a differential diagnosis for a presented clinical case vignette. We explored how the drug dispensers responded to technology that is framed as always correct in an attempt to measure whether they begin to rely on it without any critical thought of their own. We found that dispensers relied on the decision made by the AI 25 percent of the time, even when the AI provided no explanation for its decision.


title: A Picture May Be Worth a Thousand Lives: An Interpretable Artificial Intelligence Strategy for Predictions of Suicide Risk from Social Media Images

abstract: The promising research on Artificial Intelligence usages in suicide prevention has principal gaps, including black box methodologies, inadequate outcome measures, and scarce research on non-verbal inputs, such as social media images (despite their popularity today, in our digital era). This study addresses these gaps and combines theory-driven and bottom-up strategies to construct a hybrid and interpretable prediction model of valid suicide risk from images. The lead hypothesis was that images contain valuable information about emotions and interpersonal relationships, two central concepts in suicide-related treatments and theories. The dataset included 177,220 images by 841 Facebook users who completed a gold-standard suicide scale. The images were represented with CLIP, a state-of-the-art algorithm, which was utilized, unconventionally, to extract predefined features that served as inputs to a simple logistic-regression prediction model (in contrast to complex neural networks). The features addressed basic and theory-driven visual elements using everyday language (e.g., bright photo, photo of sad people). The results of the hybrid model (that integrated theory-driven and bottom-up methods) indicated high prediction performance that surpassed common bottom-up algorithms, thus providing a first proof that images (alone) can be leveraged to predict validated suicide risk. Corresponding with the lead hypothesis, at-risk users had images with increased negative emotions and decreased belonginess. The results are discussed in the context of non-verbal warning signs of suicide. Notably, the study illustrates the advantages of hybrid models in such complicated tasks and provides simple and flexible prediction strategies that could be utilized to develop real-life monitoring tools of suicide.


title: Scaling limit of a drainage network model on perturbed lattice

abstract: Study of random networks generally requires the nodes to be independently and uniformly distributed such as a Poisson point process. In this work, we venture beyond this standard paradigm and investigate a stochastic forest obtained from a drainage network model constructed on a randomly perturbed subset of $\mathbb{Z}^2$, where both horizontal and vertical perturbations are given by exponentially decaying unbounded discrete random variables and vertical perturbations are allowed in the upward direction only. We show that the resultant stochastic network is a single tree a.s. We further establish that as a collection of paths, under diffusive scaling the resultant network converges to the Brownian web.


title: The aggregation-diffusion equation with energy critical exponent

abstract: We consider a Keller-Segel model with non-linear porous medium type diffusion and nonlocal attractive power law interaction, focusing on potentials that are less singular than Newtonian interaction. Here, the nonlinear diffusion is chosen to be $m=\frac{2d}{d+2s}$ in such a way that the associated free energy is conformal invariant and there is a family of stationary solutions $U(x)=c\left(\frac{\lambda}{\lambda^2+|x-x_0|^2}\right)^{\frac{d+2s}{2}}$ for any constant $c$ and some $\lambda>0, x_0 \in \R^d.$ We analyze under which conditions on the initial data the regime that attractive forces are stronger than diffusion occurs and classify the global existence and finite time blow-up of dynamical solutions by virtue of stationary solutions. Precisely, solutions exist globally in time if the $L^m$ norm of the initial data $\|u_0\|_{L^m(\R^d)}$ is less than the $L^m$ norm of stationary solutions $\|U(x)\|_{L^m(\R^d)}$. Whereas there are blowing-up solutions for $\|u_0\|_{L^m(\R^d)}>\|U(x)\|_{L^m(\R^d)}$.


title: X-Adv: Physical Adversarial Object Attacks against X-ray Prohibited Item Detection

abstract: Adversarial attacks are valuable for evaluating the robustness of deep learning models. Existing attacks are primarily conducted on the visible light spectrum (e.g., pixel-wise texture perturbation). However, attacks targeting texture-free X-ray images remain underexplored, despite the widespread application of X-ray imaging in safety-critical scenarios such as the X-ray detection of prohibited items. In this paper, we take the first step toward the study of adversarial attacks targeted at X-ray prohibited item detection, and reveal the serious threats posed by such attacks in this safety-critical scenario. Specifically, we posit that successful physical adversarial attacks in this scenario should be specially designed to circumvent the challenges posed by color/texture fading and complex overlapping. To this end, we propose X-adv to generate physically printable metals that act as an adversarial agent capable of deceiving X-ray detectors when placed in luggage. To resolve the issues associated with color/texture fading, we develop a differentiable converter that facilitates the generation of 3D-printable objects with adversarial shapes, using the gradients of a surrogate model rather than directly generating adversarial textures. To place the printed 3D adversarial objects in luggage with complex overlapped instances, we design a policy-based reinforcement learning strategy to find locations eliciting strong attack performance in worst-case scenarios whereby the prohibited items are heavily occluded by other items. To verify the effectiveness of the proposed X-Adv, we conduct extensive experiments in both the digital and the physical world (employing a commercial X-ray security inspection system for the latter case). Furthermore, we present the physical-world X-ray adversarial attack dataset XAD.


title: Tiltan and graphs with no infinite paths

abstract: We prove the consistency of tiltan with the positive relation $\omega^*\cdot\omega_1\rightarrow(\omega^*\cdot\omega_1,{\rm infinite\ path})^2$.


title: EdgeVO: An Efficient and Accurate Edge-based Visual Odometry

abstract: Visual odometry is important for plenty of applications such as autonomous vehicles, and robot navigation. It is challenging to conduct visual odometry in textureless scenes or environments with sudden illumination changes where popular feature-based methods or direct methods cannot work well. To address this challenge, some edge-based methods have been proposed, but they usually struggle between the efficiency and accuracy. In this work, we propose a novel visual odometry approach called \textit{EdgeVO}, which is accurate, efficient, and robust. By efficiently selecting a small set of edges with certain strategies, we significantly improve the computational efficiency without sacrificing the accuracy. Compared to existing edge-based method, our method can significantly reduce the computational complexity while maintaining similar accuracy or even achieving better accuracy. This is attributed to that our method removes useless or noisy edges. Experimental results on the TUM datasets indicate that EdgeVO significantly outperforms other methods in terms of efficiency, accuracy and robustness.


title: One dimensional RCD spaces always satisfy the regular Weyl's law

abstract: Ambrosio, Honda, and Tewodrose proved that the regular Weyl's law is equivalent to a mild condition related to the infinitesimal behavior of the measure of balls in compact finite dimensional RCD spaces. Though that condition is seemed to always hold for any such spaces, however, Dai, Honda, Pan, and Wei recently show that for any integer n at least 2, there exists a compact RCD space of n dimension fails to satisfy the regular Weyl's law. In this short article we prove that one dimensional RCD spaces always satisfy the regular Weyl's law.


title: Free-electron Brewster radiation

abstract: Free-electron radiation offers an enticing route to create light emission at arbitrary spectral regime. However, this type of light emission is generally weak, which is intrinsically limited by the weak particle-matter interaction and unavoidably impedes the development of many promising applications, such as the miniaturization of free-electron radiation sources and high-energy particle detectors. Here we reveal a mechanism to enhance the particle-matter interaction by exploiting the pseudo-Brewster effect of gain materials - presenting an enhancement of at least four orders of magnitude for the light emission. This mechanism is enabled by the emergence of an unprecedented phase diagram that maps all phenomena of free-electron radiation into three distinct phases in a gain-thickness parameter space, namely the conventional, intermediate, and Brewster phases, when an electron penetrates a dielectric slab with a modest gain and a finite thickness. Essentially, our revealed mechanism corresponds to the free-electron radiation in the Brewster phase, which also uniquely features ultrahigh directionality, always at the Brewster angle, regardless of the electron velocity. Counterintuitively, we find that the intensity of this free-electron Brewster radiation is insensitive to the Fabry-Perot resonance condition and thus the variation of slab thickness, and moreover, a weaker gain could lead to a stronger enhancement for the light emission. The scheme of free-electron Brewster radiation, especially along with its compatibility with low-energy electrons, may enable the development of high-directionality high-intensity light sources at any frequency.


title: An extension to "A subsemigroup of the rook monoid"

abstract: A recent paper studied an inverse submonoid $M_n$ of the rook monoid, by representing the nonzero elements of $M_n$ via certain triplets belonging to $\mathbb{Z}^3$. In this short note, we allow the triplets to belong to $\mathbb{R}^3$. We thus study a new inverse monoid $\overline{M}_n$, which is a supermonoid of $M_n$. We point out similarities and find essential differences. We show that $\overline{M}_n$ is a noncommutative, periodic, combinatorial, fundamental, completely semisimple, and strongly $E^*$-unitary inverse monoid.


title: Semiclassical analysis, geometric representation and quantum ergodicity

abstract: In this paper, we prove the equidistribution property of high-frequency eigensections of a certain series of unitary flat bundles, using the mixture of semiclassical and geometric quantizations.


title: Mutual Exclusive Modulator for Long-Tailed Recognition

abstract: The long-tailed recognition (LTR) is the task of learning high-performance classifiers given extremely imbalanced training samples between categories. Most of the existing works address the problem by either enhancing the features of tail classes or re-balancing the classifiers to reduce the inductive bias. In this paper, we try to look into the root cause of the LTR task, i.e., training samples for each class are greatly imbalanced, and propose a straightforward solution. We split the categories into three groups, i.e., many, medium and few, according to the number of training images. The three groups of categories are separately predicted to reduce the difficulty for classification. This idea naturally arises a new problem of how to assign a given sample to the right class groups? We introduce a mutual exclusive modulator which can estimate the probability of an image belonging to each group. Particularly, the modulator consists of a light-weight module and learned with a mutual exclusive objective. Hence, the output probabilities of the modulator encode the data volume clues of the training dataset. They are further utilized as prior information to guide the prediction of the classifier. We conduct extensive experiments on multiple datasets, e.g., ImageNet-LT, Place-LT and iNaturalist 2018 to evaluate the proposed approach. Our method achieves competitive performance compared to the state-of-the-art benchmarks.


title: Microscopic Energy Storage Mechanism of Dielectric Polymer-Coated Supercapacitors

abstract: Supercapacitors have been attracting significant attention as promising energy storage devices. However, the voltage window limitation associated with electrolyte solutions has hindered the improvement of their capacitance. To address this issue and enhance the energy storage capabilities of general traditional supercapacitors, we put forward the dipole induced effects observed in the theoretical framework of the electric double-layer structure. The molecular dynamics results demonstrate that, compared to traditional systems, an improvement of over 50% in integral capacitance at low voltages is achieved. Moreover, a new material-based experimental results obtained from a dielectric supercapacitor employing a hydrated electrolyte solution corroborated the effectiveness of our proposed model, yielding consistent outcomes. We attribute the large capacitance variation to the reorientation of the dipoles, which induces the neutral-to-bilayer transition and the overscreening-to-steric transition, consistent with the polarization process of the polymer in the experiment. We further investigate the capacitance variations under different dipole parameters, such as varying the number of layers, different number densities and different spacings, thereby enriching the experimental results with additional conclusions not previously obtained. This work presents a novel approach that exploits dipole-induced capacitance effects, paving the way for further advances in the field of energy storage technology.


title: The operator splitting schemes revisited: primal-dual gap and degeneracy reduction by a unified analysis

abstract: We revisit the operator splitting schemes proposed in a recent work of [Some extensions of the operator splitting schemes based on Lagrangian and primal-dual: A unified proximal point analysis, Feng Xue, Optimization, 2022, doi: 10.1080/02331934.2022.2057309], and further analyze the convergence of the generalized Bregman distance and the primal-dual gap of these algorithms within a unified proximal point framework. The possibility of reduction to a simple resolvent is also discussed by exploiting the structure and possible degeneracy of the underlying metric.


title: Meta Computing

abstract: With the continuous improvement of information infrastructures, academia and industry have been constantly exploring new computing paradigms to fully exploit computing powers. In this paper, we propose Meta Computing, a new computing paradigm that aims to utilize all available computing resources hooked on the Internet, provide efficient, fault-tolerant, and personalized services with strong security and privacy guarantee, and virtualize the Internet as a giant computer, that is, ``Network-as-a-Computer, NaaC'', or ``Meta Computer'' for short, for any task or any person on-demand.


title: Self-supervised Cloth Reconstruction via Action-conditioned Cloth Tracking

abstract: State estimation is one of the greatest challenges for cloth manipulation due to cloth's high dimensionality and self-occlusion. Prior works propose to identify the full state of crumpled clothes by training a mesh reconstruction model in simulation. However, such models are prone to suffer from a sim-to-real gap due to differences between cloth simulation and the real world. In this work, we propose a self-supervised method to finetune a mesh reconstruction model in the real world. Since the full mesh of crumpled cloth is difficult to obtain in the real world, we design a special data collection scheme and an action-conditioned model-based cloth tracking method to generate pseudo-labels for self-supervised learning. By finetuning the pretrained mesh reconstruction model on this pseudo-labeled dataset, we show that we can improve the quality of the reconstructed mesh without requiring human annotations, and improve the performance of downstream manipulation task.


title: Tracing multiple scattering trajectories for deep optical imaging in scattering media

abstract: Multiple light scattering hampers imaging objects in complex scattering media. Approaches used in real practices mainly aim to filter out multiple scattering obscuring the ballistic waves that travel straight through the scattering medium. Here, we propose a method that makes the deterministic use of multiple scattering for microscopic imaging of an object embedded deep within scattering media. The proposed method finds a stack of multiple complex phase plates that generate similar light trajectories as the original scattering medium. By implementing the inverse scattering using the identified phase plates, our method rectifies multiple scattering and amplifies ballistic waves by almost 600 times, which leads to a substantial increase in imaging depth. Our study marks an important milestone in solving the longstanding high-order inverse scattering problems.


title: On Douglas-Rachford splitting that generally fails to be a proximal mapping: A degenerate proximal point analysis

abstract: Based on a degenerate proximal point analysis, we show that the Douglas-Rachford splitting can be reduced to a well-defined resolvent, but generally fails to be a proximal mapping. This extends the recent result of [Bauschke, Schaad and Wang. Math. Program., 168 (2018), pp. 55-61] to more general setting. The related concepts and consequences are also discussed. In particular, the results regarding the maximal and cyclic monotonicity are instrumental for analyzing many operator splitting algorithms.


title: Hysteresis and training effect in the electric control of spin current in Pt/Y3Fe5O12 heterostructures

abstract: We have reported on the hysteresis and training effect of spin current in Pt/Y3Fe5O12 heterostructures during subsequent cycles of ionic liquid gate voltage Vg. The inverse spin Hall effect voltage in spin pumping and spin Hall magnetoresistance exhibit diode-like behaviors in the first half cycle of Vg andalsoshowhysteresisinthe first cycle of Vg. Both the diode-like behavior and the hysteresis become weak and even vanish in the second cycle of Vg due to the training effect. The above experimental results can be well explained by the screening charge doping model, in which the charge and the local magnetic moment are asymmetrically distributed in the Pt layer. The applicability of this model is further confirmed by measurements of anisotropic magnetoresistance and ferromagnetic resonance. The diode-like behavior is attributed to interplay between the asymmetrically distributed local magnetic moment and the spin current relaxation in the Pt layer. The hysteresis and the training effect arise from the incompletely reversible process between oxidation and reduction of Pt atoms and the evolution of the surface morphology at the ionic liquid/Pt interface under electric gating. This work provides new insights to improve the functional performance of electrically controlled spin current devices.


title: Explicit deformation of the horospherical variety of type $\mathrm{G}_2$

abstract: We give two simple geometric constructions of a smooth family of projective varieties with central fiber isomorphic to the horospherical variety of type $\mathrm{G}_2$ and all other fibers isomorphic to the isotropic orthogonal Grassmannian $\mathrm{OGr}(2,7)$ and discuss briefly the derived category of this family.


title: Predicting structure-dependent Hubbard U parameters for assessing hybrid functional-level exchange via machine learning

abstract: DFT+U is a widely used treatment in the density functional theory (DFT) to deal with correlated materials that contain open-shell elements, whereby the quantitative and sometimes even qualitative failures of local and semilocal approximations can be corrected without much computational overhead. However, finding appropriate U parameters for a given system is non-trivial and usually requires computationally intensive and cumbersome first-principles calculations. In this Letter, we address this issue by building a machine learning (ML) model to predict material-specific U parameters only from the structural information. An ML model is trained for the Mn-O chemical system by calibrating their DFT+U electronic structures with the hybrid functional results of more than Mn-O 3000 structures. The model allows us to determine a reliable U value (MAE=0.128 eV, R2=0.97) for any given structure at nearly no computational cost; yet the obtained U value is as good as that obtained from the conventional first-principles methods. Further analysis reveals that the U value is primarily determined by the local chemical structure, especially the bond lengths, and this property is well captured by the ML model developed in this work. This concept of the ML U model is universally applicable and can considerably ease the usage of the DFT+U method by providing structure-specific, readily accessible U values.


title: Single-photon synchronization with a room-temperature atomic quantum memory

abstract: Efficient synchronization of single photons that are compatible with narrowband atomic transitions is an outstanding challenge, which could prove essential for photonic quantum information processing. Here we report on the synchronization of independently-generated single photons using a room-temperature atomic quantum memory. The photon source and the memory are interconnected by fibers and employ the same ladder-level atomic scheme. We store and retrieve the heralded single photons with end-to-end efficiency of $\eta_\text{e2e}=25\%$ and final anti-bunching of $g^{(2)}_\text{h}=0.023$. Our synchronization process results in over tenfold increase in the photon-pair coincidence rate, reaching a rate of more than $1000$ detected synchronized photon pairs per second. The indistinguishability of the synchronized photons is verified by a Hong-Ou-Mandel interference measurement.


title: Text Classification in the Wild: a Large-scale Long-tailed Name Normalization Dataset

abstract: Real-world data usually exhibits a long-tailed distribution,with a few frequent labels and a lot of few-shot labels. The study of institution name normalization is a perfect application case showing this phenomenon. There are many institutions worldwide with enormous variations of their names in the publicly available literature. In this work, we first collect a large-scale institution name normalization dataset LoT-insts1, which contains over 25k classes that exhibit a naturally long-tailed distribution. In order to isolate the few-shot and zero-shot learning scenarios from the massive many-shot classes, we construct our test set from four different subsets: many-, medium-, and few-shot sets, as well as a zero-shot open set. We also replicate several important baseline methods on our data, covering a wide range from search-based methods to neural network methods that use the pretrained BERT model. Further, we propose our specially pretrained, BERT-based model that shows better out-of-distribution generalization on few-shot and zero-shot test sets. Compared to other datasets focusing on the long-tailed phenomenon, our dataset has one order of magnitude more training data than the largest existing long-tailed datasets and is naturally long-tailed rather than manually synthesized. We believe it provides an important and different scenario to study this problem. To our best knowledge, this is the first natural language dataset that focuses on long-tailed and open-set classification problems.


title: Smooth Backfitting for Additive Hazard Rates

abstract: Smooth backfitting was first introduced in an additive regression setting via a direct projection alternative to the classic backfitting method by Buja, Hastie and Tibshirani. This paper translates the original smooth backfitting concept to a survival model considering an additively structured hazard. The model allows for censoring and truncation patterns occurring in many applications such as medical studies or actuarial reserving. Our estimators are shown to be a projection of the data into the space of multivariate hazard functions with smooth additive components. Hence, our hazard estimator is the closest nonparametric additive fit even if the actual hazard rate is not additive. This is different to other additive structure estimators where it is not clear what is being estimated if the model is not true. We provide full asymptotic theory for our estimators. We provide an implementation the proposed estimators that show good performance in practice even for high dimensional covariates.


title: Dynamic Private Task Assignment under Differential Privacy

abstract: Data collection is indispensable for spatial crowdsourcing services, such as resource allocation, policymaking, and scientific explorations. However, privacy issues make it challenging for users to share their information unless receiving sufficient compensation. Differential Privacy (DP) is a promising mechanism to release helpful information while protecting individuals' privacy. However, most DP mechanisms only consider a fixed compensation for each user's privacy loss. In this paper, we design a task assignment scheme that allows workers to dynamically improve their utility with dynamic distance privacy leakage. Specifically, we propose two solutions to improve the total utility of task assignment results, namely Private Utility Conflict-Elimination (PUCE) approach and Private Game Theory (PGT) approach, respectively. We prove that PUCE achieves higher utility than the state-of-the-art works. We demonstrate the efficiency and effectiveness of our PUCE and PGT approaches on both real and synthetic data sets compared with the recent distance-based approach, Private Distance Conflict-Elimination (PDCE). PUCE is always better than PDCE slightly. PGT is 50% to 63% faster than PDCE and can improve 16% utility on average when worker range is large enough.


title: SAT Requires Exhaustive Search

abstract: In this paper, by constructing extremely hard examples of CSP (with large domains) and SAT (with long clauses), we prove that such examples cannot be solved without exhaustive search, which is stronger than P $\neq$ NP. This constructive approach for proving impossibility results is very different (and missing) from those currently used in computational complexity theory, but is similar to that used by Kurt G\"{o}del in proving his famous logical impossibility results. Just as shown by G\"{o}del's results that proving formal unprovability is feasible in mathematics, the results of this paper show that proving computational hardness is not hard in mathematics. Specifically, proving lower bounds for many problems, such as 3-SAT, can be challenging because these problems have various effective strategies available for avoiding exhaustive search. However, in cases of extremely hard examples, exhaustive search may be the only viable option, and proving its necessity becomes more straightforward. Consequently, it makes the separation between SAT (with long clauses) and 3-SAT much easier than that between 3-SAT and 2-SAT. Finally, the main results of this paper demonstrate that the fundamental difference between the syntax and the semantics revealed by G\"{o}del's results also exists in CSP and SAT.


title: Non-solvable torsion-free virtually solvable groups

abstract: We show that a non-solvable, torsion-free, virtually solvable group $S$ must have Hirsch length $h(S)\geq10$. If $h(S)<14$ then $A_5$ is the only simple factor. If $S$ is virtually nilpotent and $h(S)\leq14$ then its Fitting subgroup has nilpotency class $\leq3$. (There are virtually abelian examples with $h(S)=15$, and this is known to be best possible for such groups.)


title: Magnetic bulk photovoltaic effect as a probe of magnetic structures of $EuSn_2As_2$

abstract: The bulk photovoltaic effect (BPVE) is a second-order optical process in noncentrosymmetric materials that converts the light into DC currents. BPVE is classified into shift current and injection current according to the generation mechanisms, whose dependence on the polarization of light is sensitive to the spatial and time-reversal symmetry of materials. In this work, we present a comprehensive study on the BPVE response of $EuSn_2As_2$ with different magnetic structures through symmetry analysis and first-principles calculation. We demonstrate that the interlayer antiferromagnetic (AFM) $EuSn_2As_2$ of even-layer breaks the inversion symmetry and has the second-order optical responses. Moreover, the bilayer AFM $EuSn_2As_2$ not only displays distinct BPVE responses when magnetic moments align in different directions, but also shows symmetry-related responses in two phases which have mutually perpendicular in-plane magnetic moments. Due to the dependence of BPVE responses on the polarization of light and magnetic symmetry, these magnetic structures can be distinguished by the circular polarized light with well-designed experiments. Our work demonstrates the feasibility of the BPVE response as a tool to probe the magnetic structure.


title: Sterile neutrino dark matter: relativistic freeze-out

abstract: Long-lived sterile neutrinos can play the role of dark matter. We consider the possibility that such neutrinos form a thermal bath with a singlet scalar, while not being in thermal equilibrium with the Standard Model fields. Eventually, the neutrino dark matter undergoes freeze-out in the dark sector, which can occur in both non-relativistic and relativistic regimes. To account for the latter possibility, we use the full Fermi-Dirac and Bose-Einstein distribution functions with effective chemical potential in the reaction rate computation. This allows us to study the freeze-out process in detail and also obtain the necessary thermalization conditions. We find that relativistic freeze-out occurs in a relatively small part of the parameter space. In contrast to the standard weakly-interacting-massive-particle (WIMP) scenario, the allowed dark matter masses extend to $10^4$ TeV without conflicting perturbativity.


title: A Bibliography of Multiple Sclerosis Lesions Detection Methods using Brain MRIs

abstract: Introduction: Multiple Sclerosis (MS) is a chronic disease that affects millions of people across the globe. MS can critically affect different organs of the central nervous system such as the eyes, the spinal cord, and the brain. Background: To help physicians in diagnosing MS lesions, computer-aided methods are widely used. In this regard, a considerable research has been carried out in the area of automatic detection and segmentation of MS lesions in magnetic resonance images (MRIs). Methodology: In this study, we review the different approaches that have been used in computer-aided detection and segmentation of MS lesions. Our review resulted in categorizing MS lesion segmentation approaches into six broad categories: data-driven, statistical, supervised machine learning, unsupervised machine learning, fuzzy, and deep learning-based techniques. We critically analyze the different techniques under these approaches and highlight their strengths and weaknesses. Results: From the study, we observe that a considerable amount of work, around 25% of related literature, is focused on statistical-based MS lesion segmentation techniques, followed by 21.15% for data-driven based methods, 19.23% for deep learning and 15.38% for supervised methods. Implication: The study points out the challenges/gaps to be addressed in future research. The study shows the work which has been done in last one decade in detection and segmentation of MS lesions. The results show that, in recent years, deep learning methods are outperforming all the others methods.


title: Transient photocurrent and optical absorption of disordered thin-film semiconductors: in-depth injection and nonlinear response

abstract: The time-of-flight method is a fundamental approach for characterizing the transport properties of semiconductors. Recently, the transient photocurrent and optical absorption kinetics have been simultaneously measured for thin films; pulsed-light excitation of thin films should give rise to non-negligible in-depth carrier injection. Yet, the effects of in-depth carrier injection on the transient currents and optical absorption have not yet been elucidated theoretically. Here, by considering the in-depth carrier injection in simulations, we found a 1/t^{1-alpha/2} initial time (t) dependence rather than the conventional $1/t^{1-alpha}$ dependence under a weak external electric field, where alpha<1 is the index of dispersive diffusion.The asymptotic transient currents are not influenced by the initial in-depth carrier injection and follow the conventional 1/t^{1+alpha} time dependence. We also present the relation between the field-dependent mobility coefficient and the diffusion coefficient when the transport is dispersive. The field dependence of the transport coefficients influences the transit time in the photocurrent kinetics dividing two power-law decay regimes. The classical Scher--Montroll theory predicts a_1+a_2=2 when the initial photocurrent decay is given by 1/t^{a_1} and the asymptotic photocurrent decay is given by 1/t^{a_2}. The results shed light on the interpretation of the power-law exponent of 1/t^{a_1} when a_1+a_2neq 2.


title: Connecting the Universe: Challenges, Mitigation, Advances, and Link Engineering

abstract: With the large number of deep space (DS) missions anticipated by the end of this decade, reliable-high capacity DS communication systems are needed more than ever. Nevertheless, existing DS communication technologies are far from meeting such a goal. Improving current systems does not only demand a system engineering leadership, but more crucially a well investigation in the potentials of emerging technologies in overcoming the challenges of the unique-ultra long DS communication channel. This project starts with a survey that highlights current technologies, trends, and advancements, investigates potentials, and identify challenges, and in essence, provide perspectives and propose solutions. It focuses on free-space optical (FSO) communication as a potential technology that can overcome the shortcomings of current radio frequency (RF)-based communication systems. To the best of our knowledge, in addition, it provides for the very first time a thoughtful discussion about implementing orbital angular momentum (OAM) for DS, identifies major related challenges, and proposes some novel solutions. Furthermore, we discuss DS modulations and coding schemes, as well as emerging receiver technologies and communication protocols. We also elaborate on how all of these technologies guarantee reliability, improve efficiency, offer capacity boosts, and enhance security in the unique DS environment. In addition to that, an extended study on the design and performance analysis of deep space optical communication (DSOC) is included, with the most suggested modulation for such a link being pulse position modulation (PPM) and a focus on the communication between Earth and the planet Mars, which is an important destination for space exploration.


title: Bell's Theorem Begs the Question

abstract: I demonstrate that Bell's theorem is based on circular reasoning and thus a fundamentally flawed argument. It unjustifiably assumes the additivity of expectation values for dispersion-free states of contextual hidden variable theories for non-commuting observables involved in Bell-test experiments, which is tautologous to assuming the bounds of $\pm2$ on the Bell-CHSH sum of expectation values. Its premises thus assume in a different guise the bounds of $\pm2$ it sets out to prove. Once this oversight is ameliorated from Bell's argument by identifying the impediment that leads to it and local realism is implemented correctly, the bounds on the Bell-CHSH sum of expectation values work out to be ${\pm2\sqrt{2}}$ instead of ${\pm2}$, thereby mitigating the conclusion of Bell's theorem. Consequently, what is ruled out by any of the Bell-test experiments is not local realism but the linear additivity of expectation values, which does not hold for non-commuting observables in any hidden variable theories to begin with.


title: Incident-aware Duplicate Ticket Aggregation for Cloud Systems

abstract: In cloud systems, incidents are potential threats to customer satisfaction and business revenue. When customers are affected by incidents, they often request customer support service (CSS) from the cloud provider by submitting a support ticket. Many tickets could be duplicate as they are reported in a distributed and uncoordinated manner. Thus, aggregating such duplicate tickets is essential for efficient ticket management. Previous studies mainly rely on tickets' textual similarity to detect duplication; however, duplicate tickets in a cloud system could carry semantically different descriptions due to the complex service dependency of the cloud system. To tackle this problem, we propose iPACK, an incident-aware method for aggregating duplicate tickets by fusing the failure information between the customer side (i.e., tickets) and the cloud side (i.e., incidents). We extensively evaluate iPACK on three datasets collected from the production environment of a large-scale cloud platform, Azure. The experimental results show that iPACK can precisely and comprehensively aggregate duplicate tickets, achieving an F1 score of 0.871 ~ 0.935 and outperforming state-of-the-art methods by 12.4% ~ 31.2%.


title: Rank-Minimizing and Structured Model Inference

abstract: While extracting information from data with machine learning plays an increasingly important role, physical laws and other first principles continue to provide critical insights about systems and processes of interest in science and engineering. This work introduces a method that infers models from data with physical insights encoded in the form of structure and that minimizes the model order so that the training data are fitted well while redundant degrees of freedom without conditions and sufficient data to fix them are automatically eliminated. The models are formulated via solution matrices of specific instances of generalized Sylvester equations that enforce interpolation of the training data and relate the model order to the rank of the solution matrices. The proposed method numerically solves the Sylvester equations for minimal-rank solutions and so obtains models of low order. Numerical experiments demonstrate that the combination of structure preservation and rank minimization leads to accurate models with orders of magnitude fewer degrees of freedom than models of comparable prediction quality that are learned with structure preservation alone.


title: Interactive Video Corpus Moment Retrieval using Reinforcement Learning

abstract: Known-item video search is effective with human-in-the-loop to interactively investigate the search result and refine the initial query. Nevertheless, when the first few pages of results are swamped with visually similar items, or the search target is hidden deep in the ranked list, finding the know-item target usually requires a long duration of browsing and result inspection. This paper tackles the problem by reinforcement learning, aiming to reach a search target within a few rounds of interaction by long-term learning from user feedbacks. Specifically, the system interactively plans for navigation path based on feedback and recommends a potential target that maximizes the long-term reward for user comment. We conduct experiments for the challenging task of video corpus moment retrieval (VCMR) to localize moments from a large video corpus. The experimental results on TVR and DiDeMo datasets verify that our proposed work is effective in retrieving the moments that are hidden deep inside the ranked lists of CONQUER and HERO, which are the state-of-the-art auto-search engines for VCMR.


title: Probabilistic Back-ends for Online Speaker Recognition and Clustering

abstract: This paper focuses on multi-enrollment speaker recognition which naturally occurs in the task of online speaker clustering, and studies the properties of different scoring back-ends in this scenario. First, we show that popular cosine scoring suffers from poor score calibration with a varying number of enrollment utterances. Second, we propose a simple replacement for cosine scoring based on an extremely constrained version of probabilistic linear discriminant analysis (PLDA). The proposed model improves over the cosine scoring for multi-enrollment recognition while keeping the same performance in the case of one-to-one comparisons. Finally, we consider an online speaker clustering task where each step naturally involves multi-enrollment recognition. We propose an online clustering algorithm allowing us to take benefits from the PLDA model such as the ability to handle uncertainty and better score calibration. Our experiments demonstrate the effectiveness of the proposed algorithm.


title: Intersections of Poisson $ k $-flats in constant curvature spaces

abstract: Poisson processes in the space of $k$-dimensional totally geodesic subspaces ($k$-flats) in a $d$-dimensional standard space of constant curvature $\kappa\in\{-1,0,1\}$ are studied, whose distributions are invariant under the isometries of the space. We consider the intersection processes of order $m$ together with their $(d-m(d-k))$-dimensional Hausdorff measure within a geodesic ball of radius $r$. Asymptotic normality for fixed $r$ is shown as the intensity of the underlying Poisson process tends to infinity for all $m$ satisfying $d-m(d-k)\geq 0$. For $\kappa\in\{-1,0\}$ the problem is also approached in the set-up where the intensity is fixed and $r$ tends to infinity. Again, if $2k\le d+1$ a central limit theorem is shown for all possible values of $m$. However, while for $\kappa=0$ asymptotic normality still holds if $2k>d+1$, we prove for $\kappa=-1$ convergence to a non-Gaussian infinitely divisible limit distribution in the special case $m=1$. The proof of asymptotic normality is based on the analysis of variances and general bounds available from the Malliavin--Stein method. We also show for general $\kappa\in\{-1,0,1\}$ that, roughly speaking, the variances within a general observation window $W$ are maximal if and only if $W$ is a geodesic ball having the same volume as $W$. Along the way we derive a new integral-geometric formula of Blaschke--Petkantschin type in a standard space of constant curvature.


title: A Mini-Chemical Scheme with Net Reactions for 3D GCMs II. 3D thermochemical modelling of WASP-39b and HD 189733b

abstract: The chemical inventory of hot Jupiter (HJ) exoplanets atmospheres continue to be observed by various ground and space based instruments in increasing detail and precision. It is expected that some HJs will exhibit strong non-equilibrium chemistry characteristics in their atmospheres, which might be inferred from spectral observations. We aim to model the three dimensional thermochemical non-equilibrium chemistry in the atmospheres of the HJs WASP-39b and HD 189733b. We couple a lightweight, reduced chemical network `mini-chem' that utilises net reaction rate tables to the Exo-FMS General Circulation Model (GCM). We perform GCM models of the exoplanets WASP-39b and HD 189733b as case studies of the coupled mini-chem scheme. The GCM results are then post-processed using the 3D radiative-transfer model gCMCRT to produce transmission and emission spectra to assess the impact of non-equilibrium chemistry on their observable properties. Both simulations show significant departures from chemical equilibrium (CE) due to the dynamical motions of the atmosphere. The spacial distribution of species generally follows closely the dynamical features of the atmosphere rather than the temperature field. Each molecular species exhibits a different quench level in the simulations, also dependent on the latitude of the planet. Major differences are seen in the transmission and emission spectral features between the CE and kinetic models. Our simulations indicate that considering the 3D kinetic chemical structures of HJ atmospheres has an important impact on physical interpretation of observational data. Drawing bulk atmospheric parameters from fitting feature strengths may lead to inaccurate interpretation of chemical conditions in the atmosphere of HJs. Our open source mini-chem module is simple to couple with contemporary HJ GCM models without substantially increasing required computational resources.


title: Mixed Semi-Supervised Generalized-Linear-Regression with applications to Deep-Learning and Interpolators

abstract: We present a methodology for using unlabeled data to design semi supervised learning (SSL) methods that improve the prediction performance of supervised learning for regression tasks. The main idea is to design different mechanisms for integrating the unlabeled data, and include in each of them a mixing parameter $\alpha$, controlling the weight given to the unlabeled data. Focusing on Generalized Linear Models (GLM) and linear interpolators classes of models, we analyze the characteristics of different mixing mechanisms, and prove that in all cases, it is invariably beneficial to integrate the unlabeled data with some nonzero mixing ratio $\alpha>0$, in terms of predictive performance. Moreover, we provide a rigorous framework to estimate the best mixing ratio $\alpha^*$ where mixed SSL delivers the best predictive performance, while using the labeled and unlabeled data on hand. The effectiveness of our methodology in delivering substantial improvement compared to the standard supervised models, in a variety of settings, is demonstrated empirically through extensive simulation, in a manner that supports the theoretical analysis. We also demonstrate the applicability of our methodology (with some intuitive modifications) to improve more complex models, such as deep neural networks, in real-world regression tasks.


title: SanskritShala: A Neural Sanskrit NLP Toolkit with Web-Based Interface for Pedagogical and Annotation Purposes

abstract: We present a neural Sanskrit Natural Language Processing (NLP) toolkit named SanskritShala (a school of Sanskrit) to facilitate computational linguistic analyses for several tasks such as word segmentation, morphological tagging, dependency parsing, and compound type identification. Our systems currently report state-of-the-art performance on available benchmark datasets for all tasks. SanskritShala is deployed as a web-based application, which allows a user to get real-time analysis for the given input. It is built with easy-to-use interactive data annotation features that allow annotators to correct the system predictions when it makes mistakes. We publicly release the source codes of the 4 modules included in the toolkit, 7 word embedding models that have been trained on publicly available Sanskrit corpora and multiple annotated datasets such as word similarity, relatedness, categorization, analogy prediction to assess intrinsic properties of word embeddings. So far as we know, this is the first neural-based Sanskrit NLP toolkit that has a web-based interface and a number of NLP modules. We are sure that the people who are willing to work with Sanskrit will find it useful for pedagogical and annotative purposes. SanskritShala is available at: https://cnerg.iitkgp.ac.in/sanskritshala. The demo video of our platform can be accessed at: https://youtu.be/x0X31Y9k0mw4.