title: Exploring the Potential of Machine Translation for Generating Named Entity Datasets: A Case Study between Persian and English

abstract: This study focuses on the generation of Persian named entity datasets through the application of machine translation on English datasets. The generated datasets were evaluated by experimenting with one monolingual and one multilingual transformer model. Notably, the CoNLL 2003 dataset has achieved the highest F1 score of 85.11%. In contrast, the WNUT 2017 dataset yielded the lowest F1 score of 40.02%. The results of this study highlight the potential of machine translation in creating high-quality named entity recognition datasets for low-resource languages like Persian. The study compares the performance of these generated datasets with English named entity recognition systems and provides insights into the effectiveness of machine translation for this task. Additionally, this approach could be used to augment data in low-resource language or create noisy data to make named entity systems more robust and improve them.


title: Design and Sample Size Determination for Multiple-dose Randomized Phase II Trials for Dose Optimization

abstract: The conventional more-is-better dose selection paradigm, which targets the maximum tolerated dose (MTD), is not suitable for the development of targeted therapies and immunotherapies as the efficacy of these novel therapies may not increase with the dose. The U.S. Food and Drug Administration (FDA) has launched Project Optimus "to reform the dose optimization and dose selection paradigm in oncology drug development", and recently published a draft guidance on dose optimization, which outlines various approaches to achieve this goal. One highlighted approach involves conducting a randomized phase II trial following the completion of a phase I trial, where multiple doses (typically including the MTD and one or two doses lower than the MTD) are compared to identify the optimal dose that maximizes the benefit-risk tradeoff. This paper focuses on the design of such a multiple-dose randomized trial, specifically the determination of the sample size. We propose a MERIT (Multiple-dosE RandomIzed Trial design for dose optimization based on toxicity and efficacy) design that can be easily implemented with pre-calculated decision boundaries included in the protocol. We generalized the standard definitions of type I error and power to accommodate the unique characteristics of dose optimization and derived a decision rule along with an algorithm to determine the optimal sample size. Simulation studies demonstrate that the resulting MERIT design has desirable operating characteristics. To facilitate the implementation of the MERIT design, we provide software, available at www.trialdesign.org.


title: $H^p$-Norm estimates of the partial derivatives and Schwarz lemma for $\alpha$-harmonic functions

abstract: Suppose $\alpha>-1$ and $1\leq p \leq \infty$. Let $f=P_{\alpha}[F]$ be an $\alpha$-harmonic mapping on $\mathbb{D}$ with the boundary $F$ being absolute continuous and $\dot{F}\in L^p(0,2\pi)$, where $\dot{F}(e^{i\theta}):=\frac{dF(e^{i\theta})}{d\theta}$. In this paper, we investigate the membership of $f_z$ and $f_{\overline{z}}$ in the space $\mathcal{H}_{\mathcal{G}}^{p}(\mathbb{D})$, the generalized Hardy space. We prove, if $\alpha>0$, then both $f_z$ and $f_{\overline{z}}$ are in $\mathcal{H}_{\mathcal{G}}^{p}(\mathbb{D})$. If $\alpha<0$, then $f_z$ and $f_{\overline{z}}\in \mathcal{H}_{\mathcal{G}}^{p}(\mathbb{D})$ if and only if $f$ is analytic. Finally, we investigate a Schwartz Lemma for $\alpha$-harmonic functions.


title: On Existence of Must-Include Paths and Cycles in Undirected Graphs

abstract: Given an undirected graph $G=(V,E)$ and vertices $s,t,w_1,w_2\in V$, we study finding whether there exists a simple path $P$ from $s$ to $t$ such that $w_1,w_2 \in P$. As a sub-problem, we study the question: given an undirected graph and three of its edges, does there exist a simple cycle containing all those edges? We provide necessary and sufficient conditions for the existence of such paths and cycles, and develop efficient algorithms to solve this and related problems.


title: Laser Cooling of Nuclear Magnons

abstract: The initialization of nuclear spin to its ground state is challenging due to its small energy scale compared with thermal energy, even at cryogenic temperature. In this Letter, we propose an opto-nuclear quadrupolar effect, whereby two-color optical photons can efficiently interact with nuclear spins. Leveraging such an optical interface, we demonstrate that nuclear magnons, the collective excitations of nuclear spin ensemble, can be cooled down optically. Under feasible experimental conditions, laser cooling can suppress the population and entropy of nuclear magnons by more than two orders of magnitude, which could facilitate the application of nuclear spins in quantum information science.


title: Two-photon Interface of Nuclear Spins Based on the Opto-Nuclear Quadrupolar Effect

abstract: Photons and nuclear spins are two well-known building blocks in quantum information science and technology. Establishing an efficient interface between optical photons and nuclear spins, while highly desirable for hybridizing these two quantum systems, is challenging because the interactions between nuclear spins and the environment are usually weak in magnitude, and there is also a formidable gap between nuclear spin frequencies and optical frequencies. In this work, we propose an opto-nuclear quadrupolar (ONQ) effect, whereby optical photons can be efficiently coupled to nuclear spins, similar to Raman scattering. Compared to previous works, ancilla electron spins are not required for the ONQ effect. This leads to advantages such as applicability in defect-free nonmagnetic crystals and longer nuclear spin coherence time. In addition, the frequency of the optical photons can be arbitrary, so they can be fine-tuned to minimize the material heating and to match telecom wavelengths for long-distance communications. Using perturbation theory and first-principles calculations, we demonstrate that the ONQ effect is stronger by several orders of magnitude than other nonlinear optical effects that could couple to nuclear spins. Based on this rationale, we propose promising applications of the ONQ effect, including quantum memory, quantum transduction, and materials isotope spectroscopy. We also discuss issues relevant to the experimental demonstration of the ONQ effect.


title: Twist Angle, Strain, Corrugation and Moire Unit cell in Twisted Bilayer Graphene

abstract: This work put forward a comprehensive study of moire pattern in commensurate twisted bilayer graphene (TBG) to determine the connection of moire period with corresponding twist angle. Using the understanding of moire pattern, computational codes are developed to simulate the planar positions of carbon atoms lying in a large specimen of commensurate twisted bilayer graphene (CTBG) with any commensurate twist angle. With the help of simulated moire patterns of CTBG it is demonstrated that for many commensurate twist angles the apparent moire period may be quite different from the actual moire period, and the same moire pattern may have multiple slightly different values of the apparent moire period. These multiple slightly different values of the apparent moire period show that strain and broken rotational symmetry in moire pattern of CTBG are intrinsic. From various values of apparent moire period, the apparent strain in moire pattern of CTBG is calculated for many commensurate twist angles; the calculated values of apparent strain are in good agreement with experimentally reported values. Taking some insight from available experimental data related to twisted bilayer graphene systems and conventional bilayer graphene systems, corrugation in CTBG is modelled and incorporated with the simulated positions of carbon atoms.


title: Multilingual Content Moderation: A Case Study on Reddit

abstract: Content moderation is the process of flagging content based on pre-defined platform rules. There has been a growing need for AI moderators to safeguard users as well as protect the mental health of human moderators from traumatic content. While prior works have focused on identifying hateful/offensive language, they are not adequate for meeting the challenges of content moderation since 1) moderation decisions are based on violation of rules, which subsumes detection of offensive speech, and 2) such rules often differ across communities which entails an adaptive solution. We propose to study the challenges of content moderation by introducing a multilingual dataset of 1.8 Million Reddit comments spanning 56 subreddits in English, German, Spanish and French. We perform extensive experimental analysis to highlight the underlying challenges and suggest related research problems such as cross-lingual transfer, learning under label noise (human biases), transfer of moderation models, and predicting the violated rule. Our dataset and analysis can help better prepare for the challenges and opportunities of auto moderation.


title: On open algebraic surfaces of general type whose log canonical maps composed of a pencil

abstract: Let $(S,D)$ be a minimal log pair of general type with $S$ a smooth projective surface and $D$ a simple normal corssing reduced divisor on $S$. We assume that its log canonial linear system $|K_S+D|$ is composed of a penciel, let $f\colon S\to B$ be the fiberation induced by the linear system $|K_S+D|$ and $F$ be a general fiber of $f$. Let $b$ (resp. $g$) be the genus of the base curve $B$ (resp. general fiber $F$) and $k=D\cdot F$ the intersection number. We show that 1. If $k>0$ and $b\geq 2$ then $2\leq g+k \leq 3$, when $g+k=3$ we have $b=2$ and $h^1(S,K_S+D)=0$. 2. Suppose $p_a(D)\leq 2(l+q(S))+1-h^{1,1}(S)$ where $l$ is the number of irreducible components of $D$, then we have $g\leq 5$ for $p_g(S,D)\gg 0$. Moreover if $p_g(S)=0$, then we have $g\leq 3$.


title: Jointly Complementary&Competitive Influence Maximization with Concurrent Ally-Boosting and Rival-Preventing

abstract: In this paper, we propose a new influence spread model, namely, Complementary\&Competitive Independent Cascade (C$^2$IC) model. C$^2$IC model generalizes three well known influence model, i.e., influence boosting (IB) model, campaign oblivious (CO)IC model and the IC-N (IC model with negative opinions) model. This is the first model that considers both complementary and competitive influence spread comprehensively under multi-agent environment. Correspondingly, we propose the Complementary\&Competitive influence maximization (C$^2$IM) problem. Given an ally seed set and a rival seed set, the C$^2$IM problem aims to select a set of assistant nodes that can boost the ally spread and prevent the rival spread concurrently. We show the problem is NP-hard and can generalize the influence boosting problem and the influence blocking problem. With classifying the different cascade priorities into 4 cases by the monotonicity and submodularity (M\&S) holding conditions, we design 4 algorithms respectively, with theoretical approximation bounds provided. We conduct extensive experiments on real social networks and the experimental results demonstrate the effectiveness of the proposed algorithms. We hope this work can inspire abundant future exploration for constructing more generalized influence models that help streamline the works of this area.


title: Augmenting endometriosis analysis from ultrasound data with deep learning

abstract: Endometriosis is a non-malignant disorder that affects 176 million women globally. Diagnostic delays result in severe dysmenorrhea, dyspareunia, chronic pelvic pain, and infertility. Therefore, there is a significant need to diagnose patients at an early stage. Our objective in this work is to investigate the potential of deep learning methods to classify endometriosis from ultrasound data. Retrospective data from 100 subjects were collected at the Rutgers Robert Wood Johnson University Hospital (New Brunswick, NJ, USA). Endometriosis was diagnosed via laparoscopy or laparotomy. We designed and trained five different deep learning methods (Xception, Inception-V4, ResNet50, DenseNet, and EfficientNetB2) for the classification of endometriosis from ultrasound data. Using 5-fold cross-validation study we achieved an average area under the receiver operator curve (AUC) of 0.85 and 0.90 respectively for the two evaluation studies.


title: Numerical Hermitian Yang-Mills Connection for Bundles on Quotient Manifold

abstract: We extend the previous computations of Hermitian Yang-Mills connections for bundles on complete intersection Calabi-Yau manifolds to bundles on their free quotients. Bundles on quotient manifolds are often defined by equivariant bundles on corresponding covering spaces. Combining equivariant structure and generalized Donaldson's algorithm, we develop a systematic approach to compute connections of holomorphic poly-stable bundles on quotient manifolds. With it, we construct the connections of an $SU(3)$ bundle on $Z_5$ quotient of quintic and an $SU(5)$ bundle on $Z_3 \times Z_3$ quotient of Bi-cubic. For both of these examples, the algorithm converges as expected and gives a good approximation of Hermitian Yang-Mills connections, which will be important for heterotic model building in Calabi-Yau compactification.


title: Estimates of partial derivatives for harmonic functions on the unit disc

abstract: Let $f = P[F]$ denote the Poisson integral of $F$ in the unit disk $\mathbb{D}$ with $F$ is an absolute continuous in the unit circle $\mathbb{T}$ and $\dot{F}\in L^p(\mathbb{T})$, where $\dot{F}(e^{it}) = \frac{d}{dt} F(e^{it})$ and $p \in [1,\infty]$. Recently, Chen et al. (J. Geom. Anal., 2021) extended Zhu's results (J. Geom. Anal., 2020) and proved that (i) if $f$ is a harmonic mapping and $1 \leq p < \infty$, then $f_z$ and $\overline{f_{\overline{z}}} \in B^p(\mathbb{D})$, the Bergman spaces of $\mathbb{D}$. Moreover, (ii) under additional conditions as $f$ being harmonic quasiregular mapping in \cite{Zhu} or $f$ being harmonic elliptic mapping in \cite{CPW}, they proved that $f_z$ and $\overline{f_{\overline{z}}}\in H^p(\mathbb{D})$, the Hardy space of $\mathbb{D}$, for $1 \leq p \leq \infty$. The aim of this paper is to extend these results by showing that (ii) holds for $p\in(1,\infty)$ without any extra conditions and for $p=1$ or $p=\infty$, $f_z$ and $\overline{f_{\bar{z}}}\in H^p(\mathbb{D})$ if and only if $H(\dot{F})\in L^p(\mathbb{T})$, the Hilbert transform of $\dot{F}$ and in that case, it yields $zf_z=P[\frac{\dot{F}+iH(\dot{F})}{2i}]$.


title: Breaking the Communication-Privacy-Accuracy Tradeoff with $f$-Differential Privacy

abstract: We consider a federated data analytics problem in which a server coordinates the collaborative data analysis of multiple users with privacy concerns and limited communication capability. The commonly adopted compression schemes introduce information loss into local data while improving communication efficiency, and it remains an open problem whether such discrete-valued mechanisms provide any privacy protection. In this paper, we study the local differential privacy guarantees of discrete-valued mechanisms with finite output space through the lens of $f$-differential privacy (DP). More specifically, we advance the existing literature by deriving tight $f$-DP guarantees for a variety of discrete-valued mechanisms, including the binomial noise and the binomial mechanisms that are proposed for privacy preservation, and the sign-based methods that are proposed for data compression, in closed-form expressions. We further investigate the amplification in privacy by sparsification and propose a ternary stochastic compressor. By leveraging compression for privacy amplification, we improve the existing methods by removing the dependency of accuracy (in terms of mean square error) on communication cost in the popular use case of distributed mean estimation, therefore breaking the three-way tradeoff between privacy, communication, and accuracy. Finally, we discuss the Byzantine resilience of the proposed mechanism and its application in federated learning.


title: Anharmonic electron-phonon coupling in ultrasoft and locally disordered perovskites

abstract: Anharmonicity and local disorder (polymorphism) are ubiquitous in perovskite physics, inducing various phenomena observed in scattering and spectroscopy experiments. Several of these phenomena still lack interpretation from first-principles since, hitherto, no approach is available to account for anharmonicity and disorder in electron-phonon couplings. Here, relying on the special displacement method, we develop a unified treatment of both and demonstrate that electron-phonon coupling is strongly influenced when we employ polymorphous perovskite networks. We uncover that polymorphism in halide perovskites leads to vibrational dynamics far from the ideal noninteracting phonon picture and drives the gradual change in their band gap around phase transition temperatures. We also clarify that combined band gap corrections arising from disorder, spin-orbit coupling, exchange-correlation functionals of high accuracy, and electron-phonon coupling are all essential. Our findings agree with experiments, suggesting that polymorphism is the key to address pending questions on perovskites' technological applications.


title: Bracket words along Hardy field sequences

abstract: We study bracket words, which are a far-reaching generalisation of Sturmian words, along Hardy field sequences, which are a far-reaching generalisation of Piatetski--Shapiro sequences $\lfloor n^c \rfloor$. We show that thus obtained sequences are deterministic (i.e., they have sub-exponential subword complexity) and satisfy Sarnak's conjecture.


title: Thickness dependence of superconductivity in FeSe films

abstract: The films of FeSe on substrates have attracted attention because of their unusually high-temperature (Tc) superconducting properties whose origins continue to be debated. To disentangle the competing effects of the substrate and interlayer and intralayer processes, we present here results of density functional theory (DFT)-based analysis of the electronic structure of unsupported FeSe films consisting of 1 to 5 layers (1L-5L). Furthermore, by solving the Bardeen-Schrieffer-Cooper (BCS) equation with spin-wave exchange attraction derived from the Hubbard model, we find the superconducting critical temperature Tc for 1L-5L and bulk FeSe systems in reasonable agreement with experimental data. Our results point to the importance of correlation effects in superconducting properties of single- and multi-layer FeSe films, independently of the role of substrate.


title: Energy Efficient Homes: The Social and Spatial Patterns of Residential Energy Efficiency in England

abstract: Poor energy efficiency of homes is a major problem with urgent environmental and social implications. Housing in the UK relies heavily on fossil fuels for energy supply and has some of the lowest energy efficiency in Europe. We explore spatial variations in energy efficiency across England using data from Energy Performance Certificates (EPCs), which cover approximately half of the residential stock (14M homes between 2008-22). We examine variations between authorities after accounting for the composition of the housing stock in terms of its fixed characteristics of property type, building age and size. We explore variations in terms of geographical and social context (region, urban-rural and deprivation), which gives a picture of the scale of the challenge each faces. We also examine variations in relation to the more readily upgraded factors, such as glazing types, and in relation to local participation in improvement programmes which gives some insight into local actions or progress achieved.


title: BiofilmScanner: A Computational Intelligence Approach to Obtain Bacterial Cell Morphological Attributes from Biofilm Image

abstract: Desulfovibrio alaskensis G20 (DA-G20) is utilized as a model for sulfate-reducing bacteria (SRB) that are associated with corrosion issues caused by microorganisms. SRB-based biofilms are thought to be responsible for the billion-dollar-per-year bio-corrosion of metal infrastructure. Understanding the extraction of the bacterial cells' shape and size properties in the SRB-biofilm at different growth stages will assist with the design of anti-corrosion techniques. However, numerous issues affect current approaches, including time-consuming geometric property extraction, low efficiency, and high error rates. This paper proposes BiofilScanner, a Yolact-based deep learning method integrated with invariant moments to address these problems. Our approach efficiently detects and segments bacterial cells in an SRB image while simultaneously invariant moments measure the geometric characteristics of the segmented cells with low errors. The numerical experiments of the proposed method demonstrate that the BiofilmScanner is 2.1x and 6.8x faster than our earlier Mask-RCNN and DLv3+ methods for detecting, segmenting, and measuring the geometric properties of the cell. Furthermore, the BiofilmScanner achieved an F1-score of 85.28% while Mask-RCNN and DLv3+ obtained F1-scores of 77.67% and 75.18%, respectively.


title: Investigating global and topological order of states by local measurement and classical communication: Study on SPT phase diagrams by quantum energy teleportation

abstract: Distinguishing non-local orders, including global and topological orders of states through solely local measurements and classical communications (LOCC) is a highly non-trivial and challenging task since the topology of states is determined by the global characteristics of the many-body system, such as the system's symmetry and the topological space it is based on. Here we report that we reproduced the phase diagram of Ising model and symmetry protected topological (SPT) phases using the quantum energy teleportation protocol, which foresees non-trivial energy transfer between remote observers using the entanglement nature of the ground state and LOCC. The model we use includes the Haldane model, the AKLT model and the Kitaev model. Therefore our method paves a new general experimental framework to determine and quantify phase transitions in various condensed matter physics and statistical mechanics.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el hep-th


title: Rewriting Modulo Traced Comonoid Structure

abstract: In this paper we adapt previous work on rewriting string diagrams using hypergraphs to the case where the underlying category has a traced comonoid structure, in which wires can be forked and the outputs of a morphism can be connected to its input. Such a structure is particularly interesting because any traced Cartesian (dataflow) category has an underlying traced comonoid structure. We show that certain subclasses of hypergraphs are fully complete for traced comonoid categories: that is to say, every term in such a category has a unique corresponding hypergraph up to isomorphism, and from every hypergraph with the desired properties, a unique term in the category can be retrieved up to the axioms of traced comonoid categories. We also show how the framework of double pushout rewriting (DPO) can be adapted for traced comonoid categories by characterising the valid pushout complements for rewriting in our setting. We conclude by presenting a case study in the form of recent work on an equational theory for sequential circuits: circuits built from primitive logic gates with delay and feedback. The graph rewriting framework allows for the definition of an operational semantics for sequential circuits.


title: HomoDistil: Homotopic Task-Agnostic Distillation of Pre-trained Transformers

abstract: Knowledge distillation has been shown to be a powerful model compression approach to facilitate the deployment of pre-trained language models in practice. This paper focuses on task-agnostic distillation. It produces a compact pre-trained model that can be easily fine-tuned on various tasks with small computational costs and memory footprints. Despite the practical benefits, task-agnostic distillation is challenging. Since the teacher model has a significantly larger capacity and stronger representation power than the student model, it is very difficult for the student to produce predictions that match the teacher's over a massive amount of open-domain training data. Such a large prediction discrepancy often diminishes the benefits of knowledge distillation. To address this challenge, we propose Homotopic Distillation (HomoDistil), a novel task-agnostic distillation approach equipped with iterative pruning. Specifically, we initialize the student model from the teacher model, and iteratively prune the student's neurons until the target width is reached. Such an approach maintains a small discrepancy between the teacher's and student's predictions throughout the distillation process, which ensures the effectiveness of knowledge transfer. Extensive experiments demonstrate that HomoDistil achieves significant improvements on existing baselines.


title: On Optimal Tradeoffs between EFX and Nash Welfare

abstract: A major problem in fair division is how to allocate a set of indivisible resources among agents fairly and efficiently. The goal of this work is to characterize the tradeoffs between two well-studied measures of fairness and efficiency -- envy freeness up to any item (EFX) for fairness, and Nash welfare for efficiency -- by saying, for given constants $\alpha$ and $\beta$, whether there exists an $\alpha$-EFX allocation that guarantees a $\beta$-fraction of the maximum Nash welfare ($\beta$-MNW). For additive valuations, we show that for any $\alpha \in [0,1]$, there exists a partial allocation that is $\alpha$-EFX and $\frac{1}{\alpha+1}$-MNW, and this tradeoff is tight (for any $\alpha$). We also show that for $\alpha\in[0,\varphi-1 \approx 0.618]$ these partial allocations can be turned into complete allocations where all items are assigned. Furthermore, for any $\alpha \in [0, 1/2]$, we show that the tight tradeoff of $\alpha$-EFX and $\frac{1}{\alpha+1}$-MNW with complete allocations holds for the more general setting of subadditive valuations. Our results improve upon the current state of the art, for both additive and subadditive valuations, and match the best-known approximations of EFX under complete allocations, regardless of Nash welfare guarantees. Notably, our constructions for additive valuations also provide EF1 and constant approximations for maximin share guarantees.


title: Magnitude Matters: Fixing SIGNSGD Through Magnitude-Aware Sparsification in the Presence of Data Heterogeneity

abstract: Communication overhead has become one of the major bottlenecks in the distributed training of deep neural networks. To alleviate the concern, various gradient compression methods have been proposed, and sign-based algorithms are of surging interest. However, SIGNSGD fails to converge in the presence of data heterogeneity, which is commonly observed in the emerging federated learning (FL) paradigm. Error feedback has been proposed to address the non-convergence issue. Nonetheless, it requires the workers to locally keep track of the compression errors, which renders it not suitable for FL since the workers may not participate in the training throughout the learning process. In this paper, we propose a magnitude-driven sparsification scheme, which addresses the non-convergence issue of SIGNSGD while further improving communication efficiency. Moreover, the local update scheme is further incorporated to improve the learning performance, and the convergence of the proposed method is established. The effectiveness of the proposed scheme is validated through experiments on Fashion-MNIST, CIFAR-10, and CIFAR-100 datasets.


title: Effect of a guide field on the turbulence like properties of magnetic reconnection

abstract: The effect of an external guide field on the turbulence-like properties of magnetic reconnection is studied using five different 2.5D kinetic particle-in-cell (PIC) simulations. The magnetic energy spectrum is found to exhibit a slope of approximately -5/3 in the inertial range, independent of the guide field. On the contrary, the electric field spectrum, in the inertial range steepens more with the guide field and approaches a slope of -5/3. In addition, spectral analysis of the different terms of the generalized Ohm's law is performed and found to be consistent with PIC simulations of turbulence and MMS observations. Finally, guide field effect on the energy transfer behavior is examined using von-K\'arm\'an Howarth (vKH) equation based on incompressible Hall-MHD. The general characteristics of the vKH equation with constant rate of energy transfer in the inertial range, is consistent in all the simulations. This suggests that the qualitative behavior of energy spectrum, and energy transfer in reconnection is similar to that of turbulence, indicating that reconnection fundamentally involves an energy cascade.


title: Interpretable Medical Image Visual Question Answering via Multi-Modal Relationship Graph Learning

abstract: Medical visual question answering (VQA) aims to answer clinically relevant questions regarding input medical images. This technique has the potential to improve the efficiency of medical professionals while relieving the burden on the public health system, particularly in resource-poor countries. Existing medical VQA methods tend to encode medical images and learn the correspondence between visual features and questions without exploiting the spatial, semantic, or medical knowledge behind them. This is partially because of the small size of the current medical VQA dataset, which often includes simple questions. Therefore, we first collected a comprehensive and large-scale medical VQA dataset, focusing on chest X-ray images. The questions involved detailed relationships, such as disease names, locations, levels, and types in our dataset. Based on this dataset, we also propose a novel baseline method by constructing three different relationship graphs: spatial relationship, semantic relationship, and implicit relationship graphs on the image regions, questions, and semantic labels. The answer and graph reasoning paths are learned for different questions.


title: A bandwidth theorem for graph transversals

abstract: Given a collection $\mathcal{G}=(G_1,\dots, G_h)$ of graphs on the same vertex set $V$ of size $n$, an $h$-edge graph $H$ on the vertex set $V$ is a $\mathcal{G}$-transversal if there exists a bijection $\lambda : E(H) \rightarrow [h]$ such that $e\in E(G_{\lambda(e)})$ for each $e\in E(H)$. The conditions on the minimum degree $\delta(\mathcal{G})=\min_{i\in[h]}\{ \delta(G_i)\}$ for finding a spanning $\mathcal{G}$-transversal isomorphic to a graph $H$ have been actively studied when $H$ is a Hamilton cycle, an $F$-factor, a spanning tree with maximum degree $o(n/\log n)$ and a power of a Hamilton cycle, etc. In this paper, we determined the asymptotically tight threshold on $\delta(\mathcal{G})$ for finding a $\mathcal{G}$-transversal isomorphic to $H$ when $H$ is a general $n$-vertex graph with bounded maximum degree and $o(n)$-bandwidth. This provides a transversal generalization of the celebrated Bandwidth theorem by B\"ottcher, Schacht and Taraz.


title: Symmetric spaces as adjoint orbits and their geometries

abstract: We realize specific classical symmetric spaces, like the semi-K\"ahler symmetric spaces discovered by Berger, as cotangent bundles of symmetric flag manifolds. These realizations enable us to describe these cotangent bundles' geodesics and Lagrangian submanifolds. As a final application, we present the first examples of vector bundles over simply connected manifolds with nonnegative curvature that cannot accommodate metrics with nonnegative sectional curvature, even though their associated unit sphere bundles can indeed accommodate such metrics. Our examples are derived from explicit bundle constructions over symmetric flag spaces.


title: An overview of differentiable particle filters for data-adaptive sequential Bayesian inference

abstract: By approximating posterior distributions with weighted samples, particle filters (PFs) provide an efficient mechanism for solving non-linear sequential state estimation problems. While the effectiveness of particle filters has been recognised in various applications, their performance relies on the knowledge of dynamic models and measurement models, as well as the construction of effective proposal distributions. An emerging trend involves constructing components of particle filters using neural networks and optimising them by gradient descent, and such data-adaptive particle filtering approaches are often called differentiable particle filters. Due to the expressiveness of neural networks, differentiable particle filters are a promising computational tool for performing inference on sequential data in complex, high-dimensional tasks, such as vision-based robot localisation. In this paper, we review recent advances in differentiable particle filters and their applications. We place special emphasis on different design choices for key components of differentiable particle filters, including dynamic models, measurement models, proposal distributions, optimisation objectives, and differentiable resampling techniques.


title: Chronology of the chemical enrichment of the old Galactic stellar populations

abstract: The Milky Way accreted several smaller satellite galaxies in its history. These mergers added stars and gas to the Galaxy and affected the properties of the pre-existing stellar populations. Stellar chemical abundances and ages are needed to establish the chronological order of events that occur before, during, and after such mergers. We report precise ages ($\sim$6.5%) and chemical abundances for the Titans, a sample of old metal-poor dwarfs and subgiants with accurate atmospheric parameters. We also obtain ages with an average precision of 10% for a selected sample of dwarf stars from the GALAH survey. We used these stars, located within $\sim$1 kiloparsec of the Sun, to analyse the chronology of the chemical evolution of in-situ and accreted metal-poor stellar populations. We determined ages by isochrone fitting. For the Titans, we determined abundances of Mg, Si, Ca, Ti, Ni, Ba, and Eu using spectrum synthesis. The [Mg/Fe] abundances of the GALAH stars were re-scaled to be consistent with the abundances of the Titans. We separated stellar populations by primarily employing chemical abundances and orbits. We find that star formation in the so-called Gaia-Enceladus or Gaia-Sausage galaxy, the last major system to merge with the Milky Way, lasted at least 3 billion years and got truncated 9.6 $\pm$ 0.2 billion years ago. This marks with very high precision the last stage of its merging process. We also identified stars of a heated metal-poor in-situ population with virtually null net rotation, probably disturbed by several of the early Milky Way mergers. We show that this population is more metal rich than Gaia-Enceladus at any time. The sequence of events uncovered in our analysis supports the hypothesis that Gaia-Enceladus truncated the formation of the high-$\alpha$ disc and caused the gas infall that forms the low-$\alpha$ disc, in agreement with theoretical predictions.


title: Extinction and non-extinction profiles for the sub-critical fast diffusion equation with weighted source

abstract: We establish both extinction and non-extinction self-similar profiles for the following fast diffusion equation with a weighted source term $$ \partial_tu=\Delta u^m+|x|^{\sigma}u^p, $$ posed for $(x,t)\in\real^N\times(0,\infty)$, $N\geq3$, in the sub-critical range of the fast diffusion equation $0<m<m_c=(N-2)/N$. We consider $\sigma>0$ and $\max\{p_c(\sigma),1\}<p<p_L(\sigma)$, where $$ p_c(\sigma)=\frac{m(N+\sigma)}{N-2}, \qquad p_L(\sigma)=1+\frac{\sigma(1-m)}{2}. $$ We show that, on the one hand, positive self-similar solutions at any time $t>0$, in the form $$ u(x,t)=t^{\alpha}f(|x|t^{\beta}), \qquad f(\xi)\sim C\xi^{-(N-2)/m}, \qquad \alpha>0, \ \beta>0 $$ exist, provided $0<m<m_s=(N-2)/(N+2)$ and $p_s(\sigma)=m(N+2\sigma+2)/(N-2)<p<p_L(\sigma)$. On the other hand, we prove that there exists $p_0(\sigma)\in(p_c(\sigma),p_s(\sigma))$ such that self-similar solutions presenting finite time extinction are established both for $p\in(p_0(\sigma),p_s(\sigma))$ and for $p\in(p_s(\sigma),p_L(\sigma))$, but with profiles $f(\xi)$ having different spatially decreasing tails as $|x|\to\infty$. We also prove non-existence of self-similar solutions in complementary ranges of exponents to the ones described above or if $m\geq m_c$.


title: Supersolidity-related phenomena in holographic superfluid: cnoidal wave

abstract: The candidate of supersolid-like state, cnoidal wave, is investigated in finite temperature holographic superfluid model for the first time. We find by giving different source $a_x$ for the particle current density $\langle j^{x}\rangle$, different kinds of superflow states can be obtained numerically. And based on $a_x$, three limiting cases of cnoidal waves can be found easily as well as the general cnoidal wave solution. The chemical potential $\mu$ and particle current density $\langle j^x \rangle$, as functions of source $a_x$, are calculated for these superflow states and are compared with homogeneous superflow. We find as we increasing $a_x$, cnoidal waves will enter into the uniform limit, which reflects in the confluence of the behavior of $\mu(a_x)$ and $\langle j^x(a_x) \rangle$ between cnoidal wave and homogeneous superflow. Based on the quasi-normal modes, we show the cnodial waves are always dynamically unstable due to the finite temperature, while the energetic stability is influenced by the particle current density. All these evidences manifest that the cnoidal wave can be seen as an \textcolor{black}{unstable excited states} with supersolidity in finite temperature superfluid system.


title: Triple birthday matches in the Senate: Lies, damned lies and chatGPT

abstract: Our question is ``What is the probability that at least three members of the senate share the same birthday?'' Before the pandemic, I asked this question in several popular math talks I gave at universities across the country. Inspired by ChatGPT's abysmal failure to answer the question, I have recently come back to this problem and now have a more satisfactory answer, thanks in no small part to what I learned form a page of Wolfram's Math World, which I located by a Google search.


title: An efficient numerical method for charged particle transport based on hybrid collision model and machine learning

abstract: Charged particle transport is an important energy transport mode in the combustion process of inertial confinement fusion plasma. On the one hand, charged particles inside the hot spot have a strong non-equilibrium effect, so it is necessary to solve the Boltzmann transport equation to simulate the energy transport process of charged particles accurately. On the other hand, charged particle transport has the characteristics of high collision frequency and complex blocking power, so the calculation amount of the traditional Monte Carlo algorithm is difficult to bear under the existing calculation conditions. Aiming at the computational bottleneck caused by the large Coulomb potential collision cross-section, we developed a hybrid collision model which greatly reduced the computational cost while maintaining the second-order accuracy of the collision process. In order to solve the computational bottleneck caused by the complex blocking power model, we developed a neural network model based on machine learning to achieve formal unity and efficient calculation of different blocking power. Based on the calculation method, we developed the charged particle transport MC function modules of the RDMG program and LARED-S program and applied them to the study of critical target performance of inertial confinement fusion, which showed good computational efficiency and accuracy.


title: Transcendental properties of entropy-constrained sets: Part II

abstract: In this work, we address the question of the impossibility of certain single-letter formulas by exploiting the semi-algebraic nature of various entropy-constrained sets. The focus lies on studying the properties of the level sets of relative entropy, mutual information, and R\'{e}nyi entropies. We analyze the transcendental structure of the set of states in which one of the aforementioned entropy quantities is fixed. Our results rule out (semi)algebraic single-shot characterizations of these entropy measures with bounded ancilla for both the classical and quantum cases.


title: An Explainable Collaborative Dialogue System using a Theory of Mind

abstract: Eva is a neuro-symbolic domain-independent multimodal collaborative dialogue system that takes seriously that the purpose of task-oriented dialogue is to assist the user. To do this, the system collaborates by inferring their intentions and plans, detects obstacles to success, finds plans to overcome them or to achieve higher-level goals, and plans its actions, including speech acts, to help users accomplish those goals. In doing so, the system maintains and reasons with its own declaratively-specified beliefs, goals and intentions, and explicitly reasons about those of its user. Because Eva can track different users' mental states, it can engage multiple agents in multi-party dialogues. Reasoning is accomplished with a modal Horn-clause meta-interpreter that enables computable inference within the subset of logic implemented. The system employs both hierarchical and backward-chaining planning, operating over a rich modal logic-based knowledge and action representation. The planning and reasoning subsystems obey the principles of persistent goals and intentions including: 1) The formation and decomposition of intentions to perform complex actions, 2) the conditions under which persistent goals and intentions can be given up, and 3) persistent goal and intention revision using the relativizing formulas that are created during the planning process. The system treats its speech acts just like its other actions. This general approach enables Eva to plan a variety of speech acts, including requests, informs, questions, confirmations, offers, acceptances, and emotive expressions. Because the dialogue engine is a planner, as the dialogue proceeds, the system can flexibly generate, execute, and potentially repair its plans using physical, digital, and speech actions. Importantly, Eva can explain its utterances because it has created a plan that caused it to utter them.


title: Ap\'ery sets and the ideal class monoid of a numerical semigroup

abstract: The aim of this article is to study the ideal class monoid $\mathcal{C}\ell(S)$ of a numerical semigroup $S$ introduced by V. Barucci and F. Khouja. We prove new bounds on the cardinality of $\mathcal{C}\ell(S)$. We observe that $\mathcal{C}\ell(S)$ is isomorphic to the monoid of ideals of $S$ whose smallest element is 0, which helps to relate $\mathcal{C}\ell(S)$ to the Ap\'ery sets and the Kunz coordinates of $S$. We study some combinatorial and algebraic properties of $\mathcal{C}\ell(S)$, including the reduction number of ideals, and the Hasse diagrams of $\mathcal{C}\ell(S)$ with respect to inclusion and addition. From these diagrams we can recover some notable invariants of the semigroup. Lastly, we prove some results about irreducible elements, atoms, quarks and primes of $(\mathcal{C}\ell(S),+)$. Idempotent ideals coincide with over-semigroups and idempotent quarks correspond to unitary extensions of the semigroup. We show that a numerical semigroup is irreducible if and only if $\mathcal{C}\ell(S)$ has at most two quarks.


title: Wrapyfi: A Python Wrapper for Integrating Robots, Sensors, and Applications across Multiple Middleware

abstract: Message oriented and robotics middleware play an important role in facilitating robot control, abstracting complex functionality, and unifying communication patterns between sensors and devices. However, using multiple middleware frameworks presents a challenge in integrating different robots within a single system. To address this challenge, we present Wrapyfi, a Python wrapper supporting multiple message oriented and robotics middleware, including ZeroMQ, YARP, ROS, and ROS 2. Wrapyfi also provides plugins for exchanging deep learning framework data, without additional encoding or preprocessing steps. Using Wrapyfi eases the development of scripts that run on multiple machines, thereby enabling cross-platform communication and workload distribution. We finally present the three communication schemes that form the cornerstone of Wrapyfi's communication model, along with examples that demonstrate their applicability.


title: Weakly Supervised Label Learning Flows

abstract: Supervised learning usually requires a large amount of labelled data. However, attaining ground-truth labels is costly for many tasks. Alternatively, weakly supervised methods learn with cheap weak signals that only approximately label some data. Many existing weakly supervised learning methods learn a deterministic function that estimates labels given the input data and weak signals. In this paper, we develop label learning flows (LLF), a general framework for weakly supervised learning problems. Our method is a generative model based on normalizing flows. The main idea of LLF is to optimize the conditional likelihoods of all possible labelings of the data within a constrained space defined by weak signals. We develop a training method for LLF that trains the conditional flow inversely and avoids estimating the labels. Once a model is trained, we can make predictions with a sampling algorithm. We apply LLF to three weakly supervised learning problems. Experiment results show that our method outperforms many baselines we compare against.


title: Scaling Laws for Multilingual Neural Machine Translation

abstract: In this work, we provide a large-scale empirical study of the scaling properties of multilingual neural machine translation models. We examine how increases in the model size affect the model performance and investigate the role of the training mixture composition on the scaling behavior. We find that changing the weightings of the individual language pairs in the training mixture only affect the multiplicative factor of the scaling law. In particular, we observe that multilingual models trained using different mixing rates all exhibit the same scaling exponent. Through a novel joint scaling law formulation, we compute the effective number of parameters allocated to each language pair and examine the role of language similarity in the scaling behavior of our models. We find little evidence that language similarity has any impact. In contrast, the direction of the multilinguality plays a significant role, with models translating from multiple languages into English having a larger number of effective parameters per task than their reversed counterparts. Finally, we leverage our observations to predict the performance of multilingual models trained with any language weighting at any scale, significantly reducing efforts required for language balancing in large multilingual models. Our findings apply to both in-domain and out-of-domain test sets and to multiple evaluation metrics, such as ChrF and BLEURT.


title: Waltzing binaries: Probing line-of-sight acceleration of merging compact objects with gravitational waves

abstract: Line-of-sight acceleration of a compact binary coalescence (CBC) event would modulate the shape of the gravitational waves (GWs) it produces with respect to the corresponding non-accelerated CBC. Such modulations could be indicative of its astrophysical environment. We investigate the prospects of detecting this acceleration in future observing runs of the LIGO-Virgo-KAGRA network, as well as in next-generation (XG) detectors and the proposed DECIGO. We place the first observational constraints on this acceleration, for putative binary neutron star mergers GW170817 and GW190425. We find no evidence of line-of-sight acceleration in these events at $90\%$ confidence. Prospective constraints for the fifth observing run of the LIGO at A+ sensitivity suggest that accelerations for typical BNSs could be constrained with a precision of $a/c \sim 10^{-7}~[\mathrm{s}^{-1}]$, assuming a signal-to-noise ratio of $10$. These improve to $a/c \sim 10^{-9}~[\mathrm{s}^{-1}]$ in XG detectors, and $a/c \sim 10^{-16}~[\mathrm{s}^{-1}]$ in DECIGO. We also interpret these constraints in the context of mergers around supermassive black holes.


title: Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models

abstract: In this paper, we consider the problem of clustering graph nodes and sparsifying graph edges over distributed graphs, when graph edges with possibly edge duplicates are observed at physically remote sites. Although edge duplicates across different sites appear to be beneficial at the first glance, in fact they could make the clustering and sparsification more complicated since potentially their processing would need extra computations and communications. We propose the first communication-optimal algorithms for two well-established communication models namely the message passing and the blackboard models. Specifically, given a graph on $n$ nodes with edges observed at $s$ sites, our algorithms achieve communication costs $\tilde{O}(ns)$ and $\tilde{O}(n+s)$ ($\tilde{O}$ hides a polylogarithmic factor), which almost match their lower bounds, $\Omega(ns)$ and $\Omega(n+s)$, in the message passing and the blackboard models respectively. The communication costs are asymptotically the same as those under non-duplication models, under an assumption on edge distribution. Our algorithms can also guarantee clustering quality nearly as good as that of centralizing all edges and then applying any standard clustering algorithm. Moreover, we perform the first investigation of distributed constructions of graph spanners in the blackboard model. We provide almost matching communication lower and upper bounds for both multiplicative and additive spanners. For example, the communication lower bounds of constructing a $(2k-1)$-spanner in the blackboard with and without duplication models are $\Omega(s+n^{1+1/k}\log s)$ and $\Omega(s+n^{1+1/k}\max\{1,s^{-1/2-1/(2k)}\log s\})$ respectively, which almost match the upper bound $\tilde{O}(s+n^{1+1/k})$ for both models.


title: Remote Identification Trajectory Coverage in Urban Air Mobility Applications

abstract: As Urban Air Mobility (UAM) and Advanced Air Mobility (AAM) continue to mature, a safety-critical system that will need to be implemented in tandem is Remote Identification (Remote ID) for uncrewed aircraft systems (UAS). To ensure successful and efficient deployment (e.g., maximal surveillance of UAS trajectories), as well as to better understand secondary impacts (e.g., consumer privacy risks in collecting real-time UAS trajectory information), the coverage of broadcast-receive Remote ID architectures needs to be characterized. Motivated by this need, we examine theoretical and empirical trajectory coverage of several common Remote ID technologies (e.g., Bluetooth, Wi-Fi) deployed for urban package delivery missions, a commonly-cited use case for UAM and AAM. We derive methods to explicitly compute expected coverage proportions under idealized geometries, as well as conduct case studies with realistic city geographies and UAS path planning algorithms. An example of results include approximate magnitudes of Remote ID receivers needed (approximately 500-5000 receivers needed to achieve 50-95\% coverage for Bluetooth Legacy, and approximately 10-40 receivers needed for the same coverage range for Wi-Fi NAN/Beacon, assuming a cruise altitude of 200 feet) to achieve specific trajectory coverage proportions for San Francisco, California. Our analyses, combined with complementary works related to Remote ID bandwidth and deployment topologies, can help guide municipal authorities and AAM stakeholders in future Remote ID system deployments and upkeep.


title: The Half-Life of a Tweet

abstract: Twitter has started to share an impression_count variable as part of the available public metrics for every Tweet collected with Twitter's APIs. With the information about how often a particular Tweet has been shown to Twitter users at the time of data collection, we can learn important insights about the dissemination process of a Tweet by measuring its impression count repeatedly over time. With our preliminary analysis, we can show that on average the peak of impressions per second is 72 seconds after a Tweet was sent and that after 24 hours, no relevant number of impressions can be observed for ~95% of all Tweets. Finally, we estimate that the median half-life of a Tweet, i.e. the time it takes before half of all impressions are created, is about 80 minutes.


title: PAPRAS: Plug-And-Play Robotic Arm System

abstract: This paper presents a novel robotic arm system, named PAPRAS (Plug-And-Play Robotic Arm System). PAPRAS consists of a portable robotic arm(s), docking mount(s), and software architecture including a control system. By analyzing the target task spaces at home, the dimensions and configuration of PAPRAS are determined. PAPRAS's arm is light (less than 6kg) with an optimized 3D-printed structure, and it has a high payload (3kg) as a human-arm-sized manipulator. A locking mechanism is embedded in the structure for better portability and the 3D-printed docking mount can be installed easily. PAPRAS's software architecture is developed on an open-source framework and optimized for low-latency multiagent-based distributed manipulator control. A process to create new demonstrations is presented to show PAPRAS's ease of use and efficiency. In the paper, simulations and hardware experiments are presented in various demonstrations, including sink-to-dishwasher manipulation, coffee making, mobile manipulation on a quadruped, and suit-up demo to validate the hardware and software design.


title: Credal Bayesian Deep Learning

abstract: Uncertainty quantification and robustness to distribution shifts are important goals in machine learning and artificial intelligence. Although Bayesian Neural Networks (BNNs) allow for uncertainty in the predictions to be assessed, different sources of uncertainty are indistinguishable. We present Credal Bayesian Deep Learning (CBDL). Heuristically, CBDL allows to train an (uncountably) infinite ensemble of BNNs, using only finitely many elements. This is possible thanks to prior and likelihood finitely generated credal sets (FGCSs), a concept from the imprecise probability literature. Intuitively, convex combinations of a finite collection of prior-likelihood pairs are able to represent infinitely many such pairs. After training, CBDL outputs a set of posteriors on the parameters of the neural network. At inference time, such posterior set is used to derive a set of predictive distributions that is in turn utilized to distinguish between aleatoric and epistemic uncertainties, and to quantify them. The predictive set also produces either (i) a collection of outputs enjoying desirable probabilistic guarantees, or (ii) the single output that is deemed the best, that is, the one having the highest predictive lower probability -- another imprecise-probabilistic concept. CBDL is more robust than single BNNs to prior and likelihood misspecification, and to distribution shift. We show that CBDL is better at quantifying and disentangling different types of uncertainties than single BNNs, ensemble of BNNs, and Bayesian Model Averaging. In addition, we apply CBDL to two case studies to demonstrate its downstream tasks capabilities: one, for motion prediction in autonomous driving scenarios, and two, to model blood glucose and insulin dynamics for artificial pancreas control. We show that CBDL performs better when compared to an ensemble of BNNs baseline.


title: Table Tennis Stroke Detection and Recognition Using Ball Trajectory Data

abstract: In this work, the novel task of detecting and classifying table tennis strokes solely using the ball trajectory has been explored. A single camera setup positioned in the umpire's view has been employed to procure a dataset consisting of six stroke classes executed by four professional table tennis players. Ball tracking using YOLOv4, a traditional object detection model, and TrackNetv2, a temporal heatmap based model, have been implemented on our dataset and their performances have been benchmarked. A mathematical approach developed to extract temporal boundaries of strokes using the ball trajectory data yielded a total of 2023 valid strokes in our dataset, while also detecting services and missed strokes successfully. The temporal convolutional network developed performed stroke recognition on completely unseen data with an accuracy of 87.155%. Several machine learning and deep learning based model architectures have been trained for stroke recognition using ball trajectory input and benchmarked based on their performances. While stroke recognition in the field of table tennis has been extensively explored based on human action recognition using video data focused on the player's actions, the use of ball trajectory data for the same is an unexplored characteristic of the sport. Hence, the motivation behind the work is to demonstrate that meaningful inferences such as stroke detection and recognition can be drawn using minimal input information.


title: iPCA and stability of star quivers

abstract: Integrated principal components analysis, or iPCA, is an unsupervised learning technique for grouped vector data recently defined by Tang and Allen. Like PCA, iPCA computes new axes that best explain the variance of the data, but iPCA is designed to handle corrupting influences by the elements within each group on one another - e.g. data about students at a school grouped into classrooms. Tang and Allen showed empirically that regularized iPCA finds useful features for such grouped data in practice. However, it is not yet known when unregularized iPCA generically exists. For contrast, PCA (which is a special case of iPCA) typically exists whenever the number of data points exceeds the dimension. We study this question and find that the answer is significantly more complicated than it is for PCA. Despite this complexity, we find simple sufficient conditions for a very useful case - when the groups are no more than half as large as the dimension and the total number of data points exceeds the dimension, iPCA generically exists. We also fully characterize the existence of iPCA in case all the groups are the same size. When all groups are not the same size, however, we find that the group sizes for which iPCA generically exists are the integral points in a non-convex union of polyhedral cones. Nonetheless, we exhibit an algorithm to decide whether iPCA generically exists that is polynomial time in the node dimensions (based on the affirmative answer for the saturation conjecture by Knutson and Tao as well as a very simple randomized algorithm.At its core, our approach identifies connections between iPCA and stability notions for star quivers, thus bringing tools from invariant theory and quiver representations to the table.


title: Interpret Your Care: Predicting the Evolution of Symptoms for Cancer Patients

abstract: Cancer treatment is an arduous process for patients and causes many side-effects during and post-treatment. The treatment can affect almost all body systems and result in pain, fatigue, sleep disturbances, cognitive impairments, etc. These conditions are often under-diagnosed or under-treated. In this paper, we use patient data to predict the evolution of their symptoms such that treatment-related impairments can be prevented or effects meaningfully ameliorated. The focus of this study is on predicting the pain and tiredness level of a patient post their diagnosis. We implement an interpretable decision tree based model called LightGBM on real-world patient data consisting of 20163 patients. There exists a class imbalance problem in the dataset which we resolve using the oversampling technique of SMOTE. Our empirical results show that the value of the previous level of a symptom is a key indicator for prediction and the weighted average deviation in prediction of pain level is 3.52 and of tiredness level is 2.27.


title: On the Existence and Properties of Left Invariant $k$-Symplectic Structures on Lie Groups with Bi-Invariant Pseudo-Riemannian Metric

abstract: $k$-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant $k$-symplectic structures on Lie groups having a bi-invariant pseudo-Riemannian metric. We show that compact semi-simple Lie groups and a large class of Lie groups having a bi-invariant pseudo-Riemannian metric does not carry any left invariant $k$-symplectic structure. This class contains the oscillator Lie groups which are the only solvable non abelian Lie groups having a bi-invariant Lorentzian metric. However, we built a natural left invariant $n$-symplectic structure on $\mathrm{SL}(n,\mathbb{R})$. Moreover, up to dimension 6, only three connected and simply connected Lie groups have a bi-invariant indecomposable pseudo-Riemannian metric and a left invariant k-symplectic structure, namely, the universal covering of $\mathrm{SL}(2, \mathbb{R})$ with a 2-symplectic structure, the universal covering of the Lorentz group $\mathrm{SO}(3, 1)$ with a 2-symplectic structure, and a 2-step nilpotent 6-dimensional connected and simply connected Lie group with both a 1-symplectic structure and a 2-symplectic structure.


title: Logarithms of Catalan generating functions: A combinatorial approach

abstract: We analyze the combinatorics behind the operation of taking the logarithm of the generating function $G_k$ for $k^\text{th}$ generalized Catalan numbers. We provide combinatorial interpretations in terms of lattice paths and in terms of tree graphs. Using explicit bijections, we are able to recover known closed expressions for the coefficients of $\log G_k$ by purely combinatorial means of enumeration. The non-algebraic proof easily generalizes to higher powers $\log^a G_k$, $a\geq 2$.


title: A Generalisation of a Result on Monotone Arithmetic Progressions in Permutations of the Positive Integers

abstract: A permutation of the positive integers avoiding monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$.


title: Spectral properties of size-invariant shape transformation

abstract: Size-invariant shape transformation is a technique of changing the shape of a domain while preserving its sizes under the Lebesgue measure. In quantum confined systems, this transformation leads to so-called quantum shape effects in the physical properties of confined particles associated with the Dirichlet spectrum of the confining medium. Here we show that the geometric couplings between levels generated by the size-invariant shape transformations cause nonuniform scaling in the eigenspectra. In particular, the nonuniform level scaling is characterized by two distinct spectral features: lowering of the first eigenvalue (ground state reduction) and changing of the spectral gaps (energy level splitting or degeneracy formation depending on the symmetries). We explain the ground state reduction by the increase in local breadth (i.e. parts of the domain becoming less confined) that is associated with the sphericity of these local portions of the domain. We accurately quantify the sphericity using two different measures: the radius of the inscribed $n$-sphere and the Hausdorff distance. Due to Rayleigh-Faber-Krahn inequality, the greater the sphericity, the lower the first eigenvalue. Then, level splitting or degeneracy, depending on the symmetries of the initial configuration, becomes a direct consequence of size-invariance dictating the eigenvalues to have the same asymptotic behavior due to Weyl law. Furthermore, we find that the ground state reduction causes a quantum thermal avalanche which is the underlying reason for the peculiar effect of spontaneous transitions to lower entropy states in systems exhibiting the quantum shape effect. Unusual spectral characteristics of size-preserving transformations can assist in designing confinement geometries that could lead to classically inconceivable quantum thermal machines.


title: Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generation

abstract: We introduce a method to measure uncertainty in large language models. For tasks like question answering, it is essential to know when we can trust the natural language outputs of foundation models. We show that measuring uncertainty in natural language is challenging because of "semantic equivalence" -- different sentences can mean the same thing. To overcome these challenges we introduce semantic entropy -- an entropy which incorporates linguistic invariances created by shared meanings. Our method is unsupervised, uses only a single model, and requires no modifications to off-the-shelf language models. In comprehensive ablation studies we show that the semantic entropy is more predictive of model accuracy on question answering data sets than comparable baselines.


title: CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

abstract: An increasing number of monitoring systems have been developed in smart cities to ensure that the real-time operations of a city satisfy safety and performance requirements. However, many existing city requirements are written in English with missing, inaccurate, or ambiguous information. There is a high demand for assisting city policymakers in converting human-specified requirements to machine-understandable formal specifications for monitoring systems. To tackle this limitation, we build CitySpec, the first intelligent assistant system for requirement specification in smart cities. To create CitySpec, we first collect over 1,500 real-world city requirements across different domains (e.g., transportation and energy) from over 100 cities and extract city-specific knowledge to generate a dataset of city vocabulary with 3,061 words. We also build a translation model and enhance it through requirement synthesis and develop a novel online learning framework with shielded validation. The evaluation results on real-world city requirements show that CitySpec increases the sentence-level accuracy of requirement specification from 59.02% to 86.64%, and has strong adaptability to a new city and a new domain (e.g., the F1 score for requirements in Seattle increases from 77.6% to 93.75% with online learning). After the enhancement from the shield function, CitySpec is now immune to most known textual adversarial inputs (e.g., the attack success rate of DeepWordBug after the shield function is reduced to 0% from 82.73%). We test the CitySpec with 18 participants from different domains. CitySpec shows its strong usability and adaptability to different domains, and also its robustness to malicious inputs.


title: Synchronizing Many Filesystems in Near Linear Time

abstract: Finding a provably correct subquadratic synchronization algorithm for many filesystem replicas is one of the main theoretical problems in Operational Transformation (OT) and Conflict-free Replicated Data Types (CRDT) frameworks. Based on the Algebraic Theory of Filesystems, which incorporates non-commutative filesystem commands natively, we developed and built a proof-of-concept implementation of an algorithm suite which synchronizes an arbitrary number of replicas. The result is provably correct, and the synchronized system is created in linear space and time after an initial sorting phase. It works by identifying conflicting command pairs and requesting one of the commands to be removed. The method can be guided to reach any of the theoretically possible synchronized states. The algorithm also allows asynchronous usage. After the client sends a synchronization request, the local replica remains available for further modifications. When the synchronization instructions arrive, they can be merged with the changes made since the synchronization request. The suite also works on filesystems with directed acyclic graph-based path structure in place of the traditional tree-like arrangement. Consequently, our algorithms apply to filesystems with hard or soft links as long as the links create no loops.


title: $k$-Fibonacci numbers which are Narayana's cows numbers

abstract: In this paper,we find all generalized Fibonacci numbers which are Narayana's cows numbers. In our proofs, we use both Baker's theory of nonzero linear forms in logarithms of algebraic numbers and the Baker-Davenport reduction method.


title: Physics-aware deep learning framework for linear elasticity

abstract: The paper presents an efficient and robust data-driven deep learning (DL) computational framework developed for linear continuum elasticity problems. The methodology is based on the fundamentals of the Physics Informed Neural Networks (PINNs). For an accurate representation of the field variables, a multi-objective loss function is proposed. It consists of terms corresponding to the residual of the governing partial differential equations (PDE), constitutive relations derived from the governing physics, various boundary conditions, and data-driven physical knowledge fitting terms across randomly selected collocation points in the problem domain. To this end, multiple densely connected independent artificial neural networks (ANNs), each approximating a field variable, are trained to obtain accurate solutions. Several benchmark problems including the Airy solution to elasticity and the Kirchhoff-Love plate problem are solved. Performance in terms of accuracy and robustness illustrates the superiority of the current framework showing excellent agreement with analytical solutions. The present work combines the benefits of the classical methods depending on the physical information available in analytical relations with the superior capabilities of the DL techniques in the data-driven construction of lightweight, yet accurate and robust neural networks. The models developed herein can significantly boost computational speed using minimal network parameters with easy adaptability in different computational platforms.


title: On The Fine Tuning and Physical Origin of Line-Locked Absorption Systems in Active Galaxies

abstract: Line locking (LL) of absorption line systems is a clear signature of the dynamical importance of radiation pressure force in driving astrophysical flows, with recent findings suggesting that it may be common in quasars exhibiting multiple intrinsic narrow absorption-line (NAL) systems. In this work we probe the phase space conducive to LL and follow the detailed kinematics of those systems that may lock at the velocity separation of the CIV $\lambda\lambda 1548.19,1550.77$ doublet. We find that a small volume of the phase-phase admits LL, suggesting a high-degree of fine-tuning between the physical properties of locked systems. The stability of LL against quasar luminosity variations is quantified with implications for the long-term variability amplitude of quasars and the velocity-separation statistic between multiple NAL systems. The high occurrence of LL by the CIV doublet implies that the hidden extreme-UV emission from quasars is unlikely to be significantly under-estimated by current models. Further, the ratio of the LL velocity to the outflow velocity may serve as a powerful constraint on the composition of the accelerating medium. We conclude that LL poses significant challenges to current theories for the formation of non-intervening NAL systems, and speculate that it may be a manifestation of expanding circumstellar shells around asymptotic giant branch (AGB) stars in the quasar-host bulge.


title: Ergodic characterization of non-ergodic anomalous diffusion processes

abstract: Canonical characterization techniques that rely upon mean squared displacement ($\mathrm{MSD}$) break down for non-ergodic processes, making it challenging to characterize anomalous diffusion from an individual time-series measurement. Non-ergodicity reigns when the time-averaged mean square displacement $\mathrm{TA}$-$\mathrm{MSD}$ differs from the ensemble-averaged mean squared displacement $\mathrm{EA}$-$\mathrm{MSD}$ even in the limit of long measurement series. In these cases, the typical theoretical results for ensemble averages cannot be used to understand and interpret data acquired from time averages. The difficulty then lies in obtaining statistical descriptors of the measured diffusion process that are not non-ergodic. We show that linear descriptors such as the standard deviation ($SD$), coefficient of variation ($CV$), and root mean square ($RMS$) break ergodicity in proportion to non-ergodicity in the diffusion process. In contrast, time series of descriptors addressing sequential structure and its potential nonlinearity: multifractality change in a time-independent way and fulfill the ergodic assumption, largely independent of the time series' non-ergodicity. We show that these findings follow the multiplicative cascades underlying these diffusion processes. Adding fractal and multifractal descriptors to typical linear descriptors would improve the characterization of anomalous diffusion processes. Two particular points bear emphasis here. First, as an appropriate formalism for encoding the nonlinearity that might generate non-ergodicity, multifractal modeling offers descriptors that can behave ergodically enough to meet the needs of linear modeling. Second, this capacity to describe non-ergodic processes in ergodic terms offers the possibility that multifractal modeling could unify several disparate non-ergodic diffusion processes into a common framework.


title: Active queue management for alleviating Internet congestion via a nonlinear differential equation with a variable delay

abstract: Active Queue Management (AQM) for mitigating Internet congestion has been addressed via various feedback control syntheses, especially P, PI, and PID regulators, by using a linear approximation where the ``round trip time'', i.e., the delay, is assumed to be constant. This constraint is lifted here by using a nonlinear modeling with a variable delay, introduced more than 20 years ago. This delay, intimately linked to the congestion phenomenon, may be viewed as a ``flat output.'' All other system variables, especially the control variable, i.e., the packet loss ratio, are expressed as a function of the delay and its derivatives: they are frozen if the delay is kept constant. This flatness-like property, which demonstrates the mathematical discrepancy of the linear approximation adopted until today, yields also our control strategy in two steps: Firstly, designing an open-loop control, thanks to straightforward flatness-based control techniques, and secondly, closing the loop via Model-Free Control (MFC) in order to take into account severe model mismatches, like, here, the number of TCP sessions. Several convincing computer simulations, which are easily implementable, are presented and discussed.


title: On K-semistable domains -- more examples

abstract: We compute K-semistable domains for various examples of log pairs.


title: TimeSOAP: Tracking high-dimensional fluctuations in complex molecular systems via time-variations of SOAP spectra

abstract: Many molecular systems and physical phenomena are controlled by local fluctuations and microscopic dynamical rearrangements of the constitutive interacting units that are often difficult to detect. This is the case, for example, of phase transitions, phase equilibria, nucleation events, and defect propagation, to mention a few. A detailed comprehension of local atomic environments and of their dynamic rearrangements is essential to understand such phenomena, and also to draw structure-property relationships useful to unveil how to control complex molecular systems. Considerable progresses in the development of advanced high-dimensional structural descriptors (e.g., Smooth Overlap of Atomic Position (SOAP), etc.) have certainly enhanced the representation of atomic-scale simulations data. However, despite such efforts, local dynamic environment rearrangements remain still difficult to elucidate. Here, exploiting the structural-rich description of atomic environments of SOAP and building on the concept of time-dependent local variations, we developed a time-dependent SOAP-based descriptor, TimeSOAP (tSOAP), which essentially tracks the time variations in the local SOAP environments surrounding each molecule (i.e., each SOAP center) in complex molecular systems along ensemble trajectories. We demonstrate how analysis of the time-series {tSOAP data and of their time-derivatives allows detecting dynamics domains and tracking instantaneous changes of local atomic arrangements (i.e., local fluctuations) in a variety of molecular systems. The approach is simple and general, and we expect will help to shed light on a variety of complex dynamical phenomena.


title: Iterative constructions of irreducible polynomials from isogenies

abstract: Let $S$ be a rational fraction and let $f$ be a polynomial over a finite field. Consider the transform $T(f)=\operatorname{numerator}(f(S))$. In certain cases, the polynomials $f$, $T(f)$, $T(T(f))\dots$ are all irreducible. For instance, in odd characteristic, this is the case for the rational fraction $S=(x^2+1)/(2x)$, known as the $R$-transform, and for a positive density of all irreducible polynomials $f$. We interpret these transforms in terms of isogenies of elliptic curves. Using complex multiplication theory, we devise algorithms to generate a large number of other rational fractions $S$, each of which yields infinite families of irreducible polynomials for a positive density of starting irreducible polynomials $f$.


title: Dynamic phase transition induced by active molecules simulating a facilitation mechanism in a supercooled liquid

abstract: The purpose of this work is to use active particles to study the effect of facilitation on supercooled liquids. To this end we investigate the behavior of a model supercooled liquid doped with intermittently active and intermittently slowed particles. To simulate a facilitation mechanism, the active particles are submitted intermittently to a force following the mobility of the most mobile molecule around, while the slowed particles are submitted to a friction force. We observe upon activation, a fluidization of the whole medium simultaneously to a large increase of the dynamic heterogeneity. This effect is reminiscent of the fluidization observed with molecular motors doping of the medium. When the mobility characteristic time used in the facilitation mechanism matches the physical time characterizing the spontaneous mobility aggregation of the material, we observe a phase transition associated with a structural aggregation of active molecules. This transition is accompanied by a sharp increase of the fluidization and dynamic heterogeneity.


title: Leveraging Prior Knowledge in Reinforcement Learning via Double-Sided Bounds on the Value Function

abstract: An agent's ability to leverage past experience is critical for efficiently solving new tasks. Approximate solutions for new tasks can be obtained from previously derived value functions, as demonstrated by research on transfer learning, curriculum learning, and compositionality. However, prior work has primarily focused on using value functions to obtain zero-shot approximations for solutions to a new task. In this work, we show how an arbitrary approximation for the value function can be used to derive double-sided bounds on the optimal value function of interest. We further extend the framework with error analysis for continuous state and action spaces. The derived results lead to new approaches for clipping during training which we validate numerically in simple domains.


title: S-duality in $T\bar{T}$-deformed CFT

abstract: $T\bar{T}$ deformed conformal field theories can be reformulated as worldsheet theories of non-critical strings. We use this correspondence to compute and study the $T\bar{T}$ deformed partition sum of a symmetric product CFT. We find that it takes the form of a partition sum of a second quantized string theory with a worldsheet given by the product of the seed CFT and a gaussian sigma model with the two-torus as target space. We show that deformed symmetric product theory admits a natural UV completion that exhibits a strong weak coupling $\mathbb{Z}_2$ duality that interchanges the momentum and winding numbers and maps the $T\bar{T}$-coupling $\lambda$ to its inverse $1/\lambda$. The $\mathbb{Z}_2$ duality is part of a full O$(2,2,\mathbb{Z})$-duality group that includes a PSL$(2,\mathbb{Z})$ acting on the complexified $T\bar{T}$ coupling. The duality symmetry eliminates the appearance of complex energies at strong coupling for all seed CFTs with central charge $c\leq 6$.


title: A minimal mass blow-up solution on a nonlinear quantum star graph

abstract: The main contribution of this article is the construction of a finite time blow-up solution to the mass-critical focusing nonlinear Schr\"odinger equation set on a metric star graph $\mathcal G$ with $N$ edges, for any $N\ge 2$. After establishing well-posedness of the corresponding Cauchy problem in $H^1(\mathcal G)$, we obtain the sharp threshold for global existence in terms of the mass of the ground state, called minimal mass. We then construct a minimal mass solution which blows up in finite time at the vertex of $\mathcal G$. The blow-up profile and blow-up speed are characterized explicitly.


title: Subdiffusion with particle immobilization process described by differential equation with Riemann--Liouville type fractional time derivative

abstract: An equation describing subdiffusion with possible immobilization of particles is derived by means of the continuous time random walk model. The equation contains a fractional time derivative of Riemann--Liouville type which is a differential-integral operator with the kernel defined by the Laplace transform. We propose the method for calculating the inverse Laplace transform providing the kernel in the time domain. In the long time limit the subdiffusion--immobilization process reaches a stationary state in which the probability density of a particle distribution is an exponential function.


title: Certified private data release for sparse Lipschitz functions

abstract: As machine learning has become more relevant for everyday applications, a natural requirement is the protection of the privacy of the training data. When the relevant learning questions are unknown in advance, or hyper-parameter tuning plays a central role, one solution is to release a differentially private synthetic data set that leads to similar conclusions as the original training data. In this work, we introduce an algorithm that enjoys fast rates for the utility loss for sparse Lipschitz queries. Furthermore, we show how to obtain a certificate for the utility loss for a large class of algorithms.


title: Strict Monotonicity of the global branch of solutions in the L2 norm and Uniqueness of the normalized ground states for various classes of PDEs: Two general Methods with some examples

abstract: We present two methods to prove the strict monotonicity of the global branch of solutions of some PDEs in the L2 norm, and the uniqueness of the corresponding normalized ground states. We will first discuss the key ideas and ingredients of each method. Then, we will apply them to various classes of PDEs. Our approach is applicable to other operators, domains and nonlinearities provided that some hypotheses are satisfied. Our general methods are novel and self-contained, they provide two approaches that address the challenging uniqueness and strict monotonicity issues.


title: Mimicking a Pathologist: Dual Attention Model for Scoring of Gigapixel Histology Images

abstract: Some major challenges associated with the automated processing of whole slide images (WSIs) includes their sheer size, different magnification levels and high resolution. Utilizing these images directly in AI frameworks is computationally expensive due to memory constraints, while downsampling WSIs incurs information loss and splitting WSIs into tiles and patches results in loss of important contextual information. We propose a novel dual attention approach, consisting of two main components, to mimic visual examination by a pathologist. The first component is a soft attention model which takes as input a high-level view of the WSI to determine various regions of interest. We employ a custom sampling method to extract diverse and spatially distinct image tiles from selected high attention areas. The second component is a hard attention classification model, which further extracts a sequence of multi-resolution glimpses from each tile for classification. Since hard attention is non-differentiable, we train this component using reinforcement learning and predict the location of glimpses without processing all patches of a given tile, thereby aligning with pathologist's way of diagnosis. We train our components both separately and in an end-to-end fashion using a joint loss function to demonstrate the efficacy of our proposed model. We employ our proposed model on two different IHC use cases: HER2 prediction on breast cancer and prediction of Intact/Loss status of two MMR biomarkers, for colorectal cancer. We show that the proposed model achieves accuracy comparable to state-of-the-art methods while only processing a small fraction of the WSI at highest magnification.


title: SimFair: A Unified Framework for Fairness-Aware Multi-Label Classification

abstract: Recent years have witnessed increasing concerns towards unfair decisions made by machine learning algorithms. To improve fairness in model decisions, various fairness notions have been proposed and many fairness-aware methods are developed. However, most of existing definitions and methods focus only on single-label classification. Fairness for multi-label classification, where each instance is associated with more than one labels, is still yet to establish. To fill this gap, we study fairness-aware multi-label classification in this paper. We start by extending Demographic Parity (DP) and Equalized Opportunity (EOp), two popular fairness notions, to multi-label classification scenarios. Through a systematic study, we show that on multi-label data, because of unevenly distributed labels, EOp usually fails to construct a reliable estimate on labels with few instances. We then propose a new framework named Similarity $s$-induced Fairness ($s_\gamma$-SimFair). This new framework utilizes data that have similar labels when estimating fairness on a particular label group for better stability, and can unify DP and EOp. Theoretical analysis and experimental results on real-world datasets together demonstrate the advantage of over existing methods $s_\gamma$-SimFair on multi-label classification tasks.


title: A robust multiplicity result in a generalized diffusive predator-prey model

abstract: This paper analyzes the generalized spatially heterogeneous diffusive predator-prey model introduced by the authors in \cite{LGMH20}, whose interaction terms depend on a saturation coefficient $m(x)\gneq0$. As the amplitude of the saturation term, measured by $\|m\|_\infty$, blows up to infinity, the existence of, at least, two coexistence states, is established in the region of the parameters where the semitrivial positive solution is linearly stable, regardless the sizes and the shapes of the remaining function coefficients in the setting of the model. In some further special cases, an $S$-shaped component of coexistence states can be constructed, which causes the existence of, at least, three coexistence states, though this multiplicity occurs within the parameter regions where the semitrivial positive solution is linearly unstable. Therefore, these multiplicity results inherit a rather different nature.


title: Intent Identification and Entity Extraction for Healthcare Queries in Indic Languages

abstract: Scarcity of data and technological limitations for resource-poor languages in developing countries like India poses a threat to the development of sophisticated NLU systems for healthcare. To assess the current status of various state-of-the-art language models in healthcare, this paper studies the problem by initially proposing two different Healthcare datasets, Indian Healthcare Query Intent-WebMD and 1mg (IHQID-WebMD and IHQID-1mg) and one real world Indian hospital query data in English and multiple Indic languages (Hindi, Bengali, Tamil, Telugu, Marathi and Gujarati) which are annotated with the query intents as well as entities. Our aim is to detect query intents and extract corresponding entities. We perform extensive experiments on a set of models in various realistic settings and explore two scenarios based on the access to English data only (less costly) and access to target language data (more expensive). We analyze context specific practical relevancy through empirical analysis. The results, expressed in terms of overall F1 score show that our approach is practically useful to identify intents and entities.


title: On cohomological dimension of group homomorphisms

abstract: The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a geometrically finite group $G$ the homological dimension of $\phi$ equals the cohomological dimension, $hd(\phi)= cd(\phi)$. THEOREM 2. For every homomorphism $\phi:G\to H$ of geometrically finite groups $cd(\phi\times\phi)=2cd(\phi)$.


title: The Fr\'echet derivative of the tensor t-function

abstract: The tensor t-function, a formalism that generalizes the well-known concept of matrix functions to third-order tensors, is introduced in [K. Lund, The tensor t-function: a definition for functions of third-order tensors, Numer. Linear Algebra Appl. 27 (3), e2288]. In this work, we investigate properties of the Fr\'echet derivative of the tensor t-function and derive algorithms for its efficient numerical computation. Applications in condition number estimation and nuclear norm minimization are explored. Numerical experiments implemented by the \texttt{t-Frechet} toolbox hosted at \url{https://gitlab.com/katlund/t-frechet} illustrate properties of the t-function Fr\'echet derivative, as well as the efficiency and accuracy of the proposed algorithms.


title: AutoDOViz: Human-Centered Automation for Decision Optimization

abstract: We present AutoDOViz, an interactive user interface for automated decision optimization (AutoDO) using reinforcement learning (RL). Decision optimization (DO) has classically being practiced by dedicated DO researchers where experts need to spend long periods of time fine tuning a solution through trial-and-error. AutoML pipeline search has sought to make it easier for a data scientist to find the best machine learning pipeline by leveraging automation to search and tune the solution. More recently, these advances have been applied to the domain of AutoDO, with a similar goal to find the best reinforcement learning pipeline through algorithm selection and parameter tuning. However, Decision Optimization requires significantly more complex problem specification when compared to an ML problem. AutoDOViz seeks to lower the barrier of entry for data scientists in problem specification for reinforcement learning problems, leverage the benefits of AutoDO algorithms for RL pipeline search and finally, create visualizations and policy insights in order to facilitate the typical interactive nature when communicating problem formulation and solution proposals between DO experts and domain experts. In this paper, we report our findings from semi-structured expert interviews with DO practitioners as well as business consultants, leading to design requirements for human-centered automation for DO with RL. We evaluate a system implementation with data scientists and find that they are significantly more open to engage in DO after using our proposed solution. AutoDOViz further increases trust in RL agent models and makes the automated training and evaluation process more comprehensible. As shown for other automation in ML tasks, we also conclude automation of RL for DO can benefit from user and vice-versa when the interface promotes human-in-the-loop.


title: Mean dimension of radial basis functions

abstract: We show that generalized multiquadric radial basis functions (RBFs) on $\mathbb{R}^d$ have a mean dimension that is $1+O(1/d)$ as $d\to\infty$ with an explicit bound for the implied constant, under moment conditions on their inputs. Under weaker moment conditions the mean dimension still approaches $1$. As a consequence, these RBFs become essentially additive as their dimension increases. Gaussian RBFs by contrast can attain any mean dimension between 1 and d. We also find that a test integrand due to Keister that has been influential in quasi-Monte Carlo theory has a mean dimension that oscillates between approximately 1 and approximately 2 as the nominal dimension $d$ increases.


title: Gravitational Vacuum Condensate Stars

abstract: Gravitational vacuum condensate stars, proposed as the endpoint of gravitational collapse consistent with quantum theory, are reviewed. Gravastars are cold, low entropy, maximally compact objects characterized by a surface boundary layer and physical surface tension instead of an event horizon. Within this thin boundary layer the effective vacuum energy changes rapidly, such that the interior of a non-rotating gravastar is a non-singular static patch of de Sitter space with eq. of state p=-rho. Remarkably, essentially this same result is obtained by extrapolating Schwarzschild's 1916 constant density interior solution to its compact limit, showing how the black hole singularity theorems and the Buchdahl compactness bound are evaded. The surface stress tensor on the horizon is determined by a modification of the Lanczos-Israel junction conditions for null hypersurfaces, which is applied to rotating gravastar solutions as well. The fundamental basis for the quantum phase transition at the horizon is the stress tensor of the conformal anomaly, depending upon a new light scalar field in the low energy effective action for gravity. This scalar conformalon field allows the effective value of the vacuum energy described as a condensate of an exact 4-form abelian gauge field to change at the horizon. The resulting effective theory thus replaces the fixed constant Lambda of classical general relativity, and its apparently unnaturally large sensitivity to UV physics, with a dynamical condensate whose ground state value in empty flat space is zero identically. This provides both a solution to the cosmological constant problem and an effective Lagrangian dynamical framework for the boundary layer and interior of gravitational condensate stars. The status of present observational constraints and prospects for detection of gravastars through their gravitational wave and echo signatures are discussed.


title: Forecasting Pressure Of Ventilator Using A Hybrid Deep Learning Model Built With Bi-LSTM and Bi-GRU To Simulate Ventilation

abstract: A ventilator simulation system can make mechanical ventilation easier and more effective. As a result, predicting a patient's ventilator pressure is essential when designing a simulation ventilator. We suggested a hybrid deep learning-based approach to forecast required ventilator pressure for patients. This system is made up of Bi-LSTM and Bi-GRU networks. The SELU activation function was used in our proposed model. MAE and MSE were used to examine the accuracy of the proposed model so that our proposed methodology can be applied to real-world problems. The model performed well against test data and created far too few losses. Major parts of our research were data collection, data analysis, data cleaning, building hybrid Bi-LSTM and Bi-GRU model, training the model, model evaluation, and result analysis. We compared the results of our research with some contemporary works, and our proposed model performed better than those models.


title: Classification via two-way comparisons

abstract: Given a weighted, ordered query set $Q$ and a partition of $Q$ into classes, we study the problem of computing a minimum-cost decision tree that, given any query $q$ in $Q$, uses equality tests and less-than comparisons to determine the class to which $q$ belongs. Such a tree can be much smaller than a lookup table, and much faster and smaller than a conventional search tree. We give the first polynomial-time algorithm for the problem. The algorithm extends naturally to the setting where each query has multiple allowed classes.